(1,14) (2,18) (3,12) (4,15) (5,17) (6,19) (8,20) (9,13) (10,11) 
nodes: 190  conflicts: 20  modelTime: 731  solveTime: 723  totalTime: 1459  modelSize: 20658  readTime: 4 size: 9