(1,16) (2,18) (3,17) (5,11) (6,20) (7,12) (8,13) (9,15) (10,14) 
nodes: 1558  conflicts: 24  modelTime: 687  solveTime: 1268  totalTime: 1960  modelSize: 20658  readTime: 5 size: 9