(3,18) (4,20) (5,29) (6,23) (7,25) (8,19) (9,17) (11,28) (14,22) (15,21) 
nodes: 1101  conflicts: 68  modelTime: 670  solveTime: 1112  totalTime: 1790  modelSize: 41292  readTime: 8 size: 10