(1,30) (2,5) (3,15) (6,21) (7,24) (8,16) (9,18) (10,26) (11,12) (13,20) (14,17) (19,25) (22,29) (27,28) 
nodes: 87161  conflicts: 48  modelTime: 1694  solveTime: 336074  totalTime: 337787  modelSize: 72270  readTime: 19 size: 14