(1,16) (4,20) (6,23) (8,18) (9,30) (11,25) (12,24) (14,28) (15,21) 
nodes: 500  conflicts: 74  modelTime: 669  solveTime: 566  totalTime: 1242  modelSize: 41300  readTime: 7 size: 9