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