(2,18) (4,14) (6,19) (7,15) 
nodes: 217  conflicts: 67  modelTime: 748  solveTime: 268  totalTime: 1022  modelSize: 20646  readTime: 6 size: 4