(1,12) (2,16) (3,11) (4,17) (5,13) (6,14) (8,20) (10,19) 
nodes: 848  conflicts: 9  modelTime: 813  solveTime: 1322  totalTime: 2140  modelSize: 20646  readTime: 5 size: 8