(1,14) (2,19) (3,17) (4,13) (5,11) (6,12) (7,20) (8,18) (9,15) (10,16) 
nodes: 160  conflicts: 7  modelTime: 733  solveTime: 644  totalTime: 1381  modelSize: 20658  readTime: 4 size: 10