(1,11) (2,15) (3,14) (4,18) (5,13) (6,19) (7,16) (8,12) (10,17) 
nodes: 401  conflicts: 4  modelTime: 710  solveTime: 780  totalTime: 1496  modelSize: 20646  readTime: 5 size: 9