(2,16) (3,11) (5,15) (6,12) (7,18) (8,17) (9,13) (10,19) 
nodes: 146  conflicts: 17  modelTime: 584  solveTime: 344  totalTime: 934  modelSize: 20646  readTime: 6 size: 8