(1,17) (2,20) (3,18) (4,24) (5,29) (7,30) (8,21) (12,26) (13,23) (14,28) (15,25) 
nodes: 861  conflicts: 82  modelTime: 669  solveTime: 1111  totalTime: 1787  modelSize: 41292  readTime: 7 size: 11