(1,14) (3,19) (4,11) (7,12) 
nodes: 108  conflicts: 61  modelTime: 674  solveTime: 223  totalTime: 903  modelSize: 20646  readTime: 6 size: 4