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