(1,11) (2,14) (3,9) (4,21) (5,19) (6,25) (7,22) (8,18) (12,17) (13,23) (15,29) (16,26) (24,30) (27,28) 
nodes: 50801  conflicts: 59  modelTime: 966  solveTime: 176183  totalTime: 177160  modelSize: 72264  readTime: 11 size: 14