(1,18) (2,25) (3,23) (8,27) (9,29) (10,17) (13,24) (14,16) 
nodes: 556  conflicts: 113  modelTime: 666  solveTime: 594  totalTime: 1287  modelSize: 41300  readTime: 27 size: 8