(1,20) (2,18) (3,15) (4,14) (5,11) (6,13) (7,19) (8,16) (9,17) 
nodes: 434  conflicts: 2  modelTime: 666  solveTime: 728  totalTime: 1397  modelSize: 20646  readTime: 3 size: 9