(1,17) (2,15) (3,20) (4,18) (5,12) (6,19) (7,16) (8,11) (9,13) (10,14) 
nodes: 380  conflicts: 6  modelTime: 586  solveTime: 735  totalTime: 1326  modelSize: 20646  readTime: 5 size: 10