(1,13) (2,17) (5,18) (6,12) (9,16) (10,20) 
nodes: 131  conflicts: 39  modelTime: 686  solveTime: 324  totalTime: 1016  modelSize: 20646  readTime: 6 size: 6