(1,20) (2,11) (3,14) (4,15) (5,12) (7,16) (9,13) (10,18) 
nodes: 163  conflicts: 21  modelTime: 817  solveTime: 574  totalTime: 1396  modelSize: 20658  readTime: 5 size: 8