(1,16) (3,15) (4,18) (5,12) (6,17) (7,20) (10,19) 
nodes: 125  conflicts: 36  modelTime: 691  solveTime: 460  totalTime: 1157  modelSize: 20646  readTime: 6 size: 7