(1,19) (2,29) (3,17) (9,27) (10,22) (12,25) (14,18) (15,24) 
nodes: 682  conflicts: 98  modelTime: 669  solveTime: 775  totalTime: 1451  modelSize: 41300  readTime: 6 size: 8