(2,18) (3,16) (4,20) (5,19) (6,17) (7,11) (8,13) (10,12) 
nodes: 239  conflicts: 28  modelTime: 754  solveTime: 444  totalTime: 1204  modelSize: 20646  readTime: 6 size: 8