(1,16) (2,20) (3,19) (5,17) (6,11) (8,13) (9,12) (10,15) 
nodes: 224  conflicts: 23  modelTime: 770  solveTime: 470  totalTime: 1246  modelSize: 20646  readTime: 5 size: 8