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