(1,17) (2,13) (4,15) (7,20) (8,12) (9,14) (10,19) 
nodes: 253  conflicts: 32  modelTime: 768  solveTime: 459  totalTime: 1232  modelSize: 20646  readTime: 5 size: 7