(1,14) (6,19) (7,20) (8,18) 
nodes: 141  conflicts: 49  modelTime: 673  solveTime: 294  totalTime: 972  modelSize: 20646  readTime: 5 size: 4