(1,14) (2,20) (3,11) (4,18) (6,12) (7,15) (8,16) (9,13) 
nodes: 208  conflicts: 24  modelTime: 669  solveTime: 434  totalTime: 1109  modelSize: 20646  readTime: 6 size: 8