(1,13) (2,12) (3,11) (4,16) (5,19) (6,14) (7,17) (8,20) (9,15) (10,18) 
nodes: 319  conflicts: 10  modelTime: 667  solveTime: 520  totalTime: 1192  modelSize: 20658  readTime: 5 size: 10