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