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