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