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