(2,19) (3,14) (4,18) (5,20) (6,15) (8,12) (9,16) (10,11) 
nodes: 339  conflicts: 30  modelTime: 813  solveTime: 749  totalTime: 1568  modelSize: 20646  readTime: 5 size: 8