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