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