(1,15) (2,14) (3,11) (4,17) (5,13) (6,20) (7,18) (8,16) 
nodes: 231  conflicts: 26  modelTime: 812  solveTime: 542  totalTime: 1359  modelSize: 20646  readTime: 5 size: 8