(2,12) (3,11) (5,15) (6,19) (7,17) (9,20) (10,18) 
nodes: 539  conflicts: 41  modelTime: 717  solveTime: 889  totalTime: 1612  modelSize: 20646  readTime: 6 size: 7