{"code":"E-CHECK-FAILED","message":"check failed for record 1 of 'jobs': a job uses a machine twice; each job must use every machine once","input_location":{"origin":"formats/jobshop/cases/duplicate-machine/input.txt","line":3,"column":1},"spec_location":{"origin":"formats/jobshop/jobshop.iris","line":21,"column":null},"context":"instance [1]","record_path":[0]}