(1,3) (2,30) (4,29) (5,28) (6,7) (8,22) (9,27) (10,21) (11,18) (12,14) (13,26) (15,19) (16,17) (20,23) (24,25) 
nodes: 33438  conflicts: 25  modelTime: 923  solveTime: 143261  totalTime: 144196  modelSize: 72275  readTime: 11 size: 15