(3,11) (4,18) (5,19) (6,16) (7,14) (8,13) (10,15) 
nodes: 125  conflicts: 35  modelTime: 684  solveTime: 394  totalTime: 1085  modelSize: 20646  readTime: 6 size: 7