(1,21) (7,29) (8,17) (9,24) (10,30) (11,20) (12,26) (14,25) (15,23) 
nodes: 462  conflicts: 103  modelTime: 668  solveTime: 751  totalTime: 1426  modelSize: 41300  readTime: 7 size: 9