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