(2,19) (3,15) (4,12) (6,14) (7,20) (8,13) (9,11) (10,18) 
nodes: 358  conflicts: 27  modelTime: 690  solveTime: 518  totalTime: 1214  modelSize: 20646  readTime: 6 size: 8