mode=tight seed=3 trials=60000 nmax=28 kmax=6: {'instances': 60000, 'PC': 60000, 'LOC': 60000, 'ARB': 12107, 'mismatch': 0, 'constructed_and_verified': 60000, 'construct_fail': 0, 'open_case_with_PC': 59974, 'max_J': 6, 'restarts_after_tie': 0} (172s)
