(1,14) (2,11) (3,12) (6,13) (8,15) (9,19) (10,20) 
nodes: 961  conflicts: 27  modelTime: 768  solveTime: 1434  totalTime: 2207  modelSize: 20658  readTime: 5 size: 7