(1,18) (2,15) (5,13) (6,17) (7,14) (8,11) (9,16) (10,19) 
nodes: 631  conflicts: 17  modelTime: 681  solveTime: 1022  totalTime: 1708  modelSize: 20646  readTime: 5 size: 8