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