(3,22) (4,21) (5,20) (6,16) (8,29) (9,25) (10,30) (11,23) (13,19) (14,18) 
nodes: 1675  conflicts: 63  modelTime: 665  solveTime: 2190  totalTime: 2861  modelSize: 41292  readTime: 6 size: 10