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