(1,14) (2,11) (3,20) (4,12) (5,13) (7,15) (8,16) (9,19) (10,17) 
nodes: 331  conflicts: 21  modelTime: 770  solveTime: 496  totalTime: 1271  modelSize: 20658  readTime: 5 size: 9