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