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