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