(1,14) (2,20) (3,11) (4,18) (5,13) (6,19) (7,17) (8,12) (10,15) 
nodes: 209  conflicts: 10  modelTime: 670  solveTime: 436  totalTime: 1110  modelSize: 20646  readTime: 4 size: 9