(1,11) (2,12) (3,13) (5,17) (6,14) (7,15) (8,18) (9,20) (10,19) 
nodes: 125  conflicts: 9  modelTime: 670  solveTime: 334  totalTime: 1009  modelSize: 20658  readTime: 5 size: 9