(5,17) (8,14) (9,11) (10,18) 
nodes: 196  conflicts: 59  modelTime: 711  solveTime: 653  totalTime: 1371  modelSize: 20646  readTime: 6 size: 4