(1,16) (2,21) (3,28) (4,30) (5,22) (6,27) (8,26) (9,24) (10,23) (11,17) (12,20) (13,19) (14,18) (15,25) 
nodes: 74815  conflicts: 32  modelTime: 659  solveTime: 131983  totalTime: 132647  modelSize: 41292  readTime: 5 size: 14