(2,11) (4,13) (6,16) (7,17) (8,18) (10,12) 
nodes: 126  conflicts: 49  modelTime: 678  solveTime: 315  totalTime: 998  modelSize: 20646  readTime: 5 size: 6