(1,24) (2,21) (3,22) (4,26) (5,16) (10,29) (11,18) (12,25) (14,30) (15,20) 
nodes: 1232  conflicts: 77  modelTime: 668  solveTime: 1112  totalTime: 1787  modelSize: 41300  readTime: 7 size: 10