(1,15) (2,17) (3,11) (5,14) (6,12) (7,18) (8,13) (9,20) (10,19) 
nodes: 120  conflicts: 19  modelTime: 485  solveTime: 307  totalTime: 797  modelSize: 20658  readTime: 4 size: 9