(1,16) (2,10) (3,23) (4,24) (5,20) (6,26) (7,21) (9,28) (11,15) (12,17) (13,18) (14,22) (19,30) (27,29) 
nodes: 39487  conflicts: 69  modelTime: 1041  solveTime: 128115  totalTime: 129192  modelSize: 72278  readTime: 36 size: 14