(2,15) (4,20) (5,11) (6,12) (7,13) (9,18) (10,19) 
nodes: 109  conflicts: 41  modelTime: 705  solveTime: 533  totalTime: 1243  modelSize: 20646  readTime: 5 size: 7