(1,17) (2,12) (3,20) (6,15) (7,16) (8,13) (10,18) 
nodes: 184  conflicts: 36  modelTime: 672  solveTime: 403  totalTime: 1081  modelSize: 20646  readTime: 6 size: 7