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