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