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