(2,15) (3,16) (4,14) (6,11) (7,18) (8,20) (9,12) (10,17) 
nodes: 544  conflicts: 19  modelTime: 776  solveTime: 550  totalTime: 1331  modelSize: 20658  readTime: 5 size: 8