(1,20) (5,24) (6,16) (7,19) (9,26) (10,21) (11,29) (13,17) (14,30) (15,27) 
nodes: 620  conflicts: 71  modelTime: 663  solveTime: 798  totalTime: 1469  modelSize: 41292  readTime: 7 size: 10