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