(3,15) (4,12) (5,16) (6,19) (8,20) (10,17) 
nodes: 283  conflicts: 42  modelTime: 697  solveTime: 799  totalTime: 1501  modelSize: 20646  readTime: 5 size: 6