(1,13) (2,16) (3,14) (4,11) (6,17) (8,15) 
nodes: 105  conflicts: 39  modelTime: 643  solveTime: 147  totalTime: 796  modelSize: 20646  readTime: 6 size: 6