(1,17) (2,11) (3,16) (4,12) (8,19) (9,18) (10,20) 
nodes: 392  conflicts: 30  modelTime: 674  solveTime: 741  totalTime: 1420  modelSize: 20658  readTime: 5 size: 7