(1,17) (2,26) (3,25) (4,28) (6,29) (10,19) (11,20) (13,18) (14,22) (15,23) 
nodes: 1150  conflicts: 70  modelTime: 678  solveTime: 1530  totalTime: 2216  modelSize: 41292  readTime: 8 size: 10