(1,16) (2,19) (3,17) (4,27) (5,28) (6,30) (8,25) (9,22) (10,21) (11,24) (12,20) (13,18) (14,29) (15,26) 
nodes: 8139  conflicts: 12  modelTime: 1190  solveTime: 29481  totalTime: 30680  modelSize: 41292  readTime: 9 size: 14