(1,17) (4,14) (5,18) (6,11) 
nodes: 109  conflicts: 57  modelTime: 678  solveTime: 245  totalTime: 929  modelSize: 20646  readTime: 6 size: 4