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