(1,15) (3,14) (4,18) (7,17) (8,19) (9,20) (10,12) 
nodes: 644  conflicts: 21  modelTime: 769  solveTime: 797  totalTime: 1571  modelSize: 20658  readTime: 5 size: 7