(1,21) (2,19) (3,29) (6,26) (7,20) (8,30) (9,22) (12,16) (14,18) (15,17) 
nodes: 429  conflicts: 83  modelTime: 669  solveTime: 820  totalTime: 1497  modelSize: 41300  readTime: 8 size: 10