(1,13) (2,20) (3,14) (4,5) (6,28) (7,8) (9,30) (10,11) (12,24) (15,16) (17,25) (18,23) (22,29) (26,27) 
nodes: 145273  conflicts: 49  modelTime: 1739  solveTime: 680510  totalTime: 682268  modelSize: 72262  readTime: 19 size: 14