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