(1,14) (2,16) (3,13) (5,18) (7,17) (8,20) (10,12) 
nodes: 212  conflicts: 24  modelTime: 680  solveTime: 398  totalTime: 1083  modelSize: 20646  readTime: 5 size: 7