(1,16) (2,18) (4,14) (6,20) (7,17) (8,11) (9,13) (10,15) 
nodes: 214  conflicts: 32  modelTime: 770  solveTime: 440  totalTime: 1216  modelSize: 20646  readTime: 6 size: 8