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