(2,17) (3,11) (4,15) (5,13) (6,18) (8,19) (9,12) 
nodes: 792  conflicts: 29  modelTime: 772  solveTime: 870  totalTime: 1647  modelSize: 20658  readTime: 5 size: 7