(1,17) (2,20) (3,11) (4,13) (5,18) (6,14) (8,15) (9,19) (10,12) 
nodes: 1771  conflicts: 19  modelTime: 688  solveTime: 1417  totalTime: 2110  modelSize: 20646  readTime: 4 size: 9