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