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