(1,28) (2,19) (3,27) (4,26) (5,20) (6,25) (7,23) (8,24) (9,29) (11,30) (12,22) (13,16) (14,18) (15,17) 
nodes: 17588  conflicts: 21  modelTime: 1192  solveTime: 59105  totalTime: 60306  modelSize: 41292  readTime: 9 size: 14