(2,26) (3,29) (4,23) (5,24) (6,21) (7,20) (9,18) (10,16) (11,28) (13,19) (15,25) 
nodes: 1451  conflicts: 65  modelTime: 660  solveTime: 1592  totalTime: 2259  modelSize: 41292  readTime: 7 size: 11