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