(2,12) (3,11) (4,18) (5,16) (6,14) (8,17) (9,19) (10,20) 
nodes: 245  conflicts: 22  modelTime: 666  solveTime: 474  totalTime: 1146  modelSize: 20646  readTime: 6 size: 8