(2,15) (3,14) (5,12) (6,18) (8,19) (10,20) 
nodes: 244  conflicts: 41  modelTime: 670  solveTime: 360  totalTime: 1036  modelSize: 20646  readTime: 6 size: 6