(1,12) (3,14) (4,16) (5,19) (6,15) (8,20) (10,13) 
nodes: 107  conflicts: 53  modelTime: 678  solveTime: 266  totalTime: 950  modelSize: 20646  readTime: 6 size: 7