(2,14) (3,11) (4,17) (6,19) (7,15) (8,20) (9,12) 
nodes: 242  conflicts: 36  modelTime: 768  solveTime: 495  totalTime: 1269  modelSize: 20646  readTime: 6 size: 7