(1,18) (2,15) (6,14) (7,16) (8,11) (9,13) 
nodes: 151  conflicts: 35  modelTime: 643  solveTime: 324  totalTime: 972  modelSize: 20646  readTime: 5 size: 6