(2,20) (3,17) (4,13) (6,15) (7,18) (8,11) (9,14) (10,19) 
nodes: 238  conflicts: 30  modelTime: 813  solveTime: 646  totalTime: 1465  modelSize: 20646  readTime: 6 size: 8