(2,14) (3,18) (6,17) (7,13) (8,12) (10,19) 
nodes: 344  conflicts: 26  modelTime: 682  solveTime: 598  totalTime: 1285  modelSize: 20646  readTime: 5 size: 6