(1,30) (2,21) (3,27) (4,23) (5,25) (6,16) (7,28) (8,19) (9,17) (10,29) (11,18) (12,20) (13,22) (14,24) 
nodes: 7126  conflicts: 32  modelTime: 661  solveTime: 13060  totalTime: 13727  modelSize: 41293  readTime: 6 size: 14