(2,15) (3,13) (5,14) (7,16) (8,17) (10,12) 
nodes: 228  conflicts: 55  modelTime: 714  solveTime: 630  totalTime: 1350  modelSize: 20646  readTime: 6 size: 6