(2,27) (3,24) (4,20) (6,16) (7,18) (9,22) (11,25) (12,17) (13,30) (14,29) (15,28) 
nodes: 1410  conflicts: 61  modelTime: 669  solveTime: 1712  totalTime: 2388  modelSize: 41292  readTime: 7 size: 11