(1,24) (2,27) (4,17) (5,18) (8,20) (14,19) (15,30) 
nodes: 922  conflicts: 101  modelTime: 675  solveTime: 1443  totalTime: 2126  modelSize: 41300  readTime: 8 size: 7