(1,16) (2,18) (3,19) (4,20) (5,13) (6,17) (8,14) (9,15) 
nodes: 1768  conflicts: 29  modelTime: 489  solveTime: 1453  totalTime: 1947  modelSize: 20658  readTime: 5 size: 8