(1,14) (2,12) (3,20) (6,18) (8,17) (10,13) 
nodes: 305  conflicts: 36  modelTime: 586  solveTime: 440  totalTime: 1032  modelSize: 20646  readTime: 6 size: 6