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