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