(1,16) (2,14) (3,19) (4,12) (5,18) (7,15) 
nodes: 213  conflicts: 40  modelTime: 689  solveTime: 286  totalTime: 981  modelSize: 20646  readTime: 6 size: 6