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