(1,20) (2,14) (3,19) (4,13) (5,11) (6,15) (9,12) (10,17) 
nodes: 376  conflicts: 13  modelTime: 763  solveTime: 653  totalTime: 1421  modelSize: 20646  readTime: 5 size: 8