Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-pms_random-_home_maxsat_benchmarks_pms_random_pmax3sat_hi_file_rpms_wcnf_L3_V100_C600_H100_7.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/hi/file_rpms_wcnf_L3_V100_C600_H100_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 8
o 8
c first lower bound: 0
c 16528 branches 28275 propagates
c total generalized unit propagation = 33975, success = 48.65%
s OPTIMUM FOUND
c Optimal Solution = 8
v -100 -48 -45 -84 -46 -86 -54 -29 88 50 19 -44 90 -6 37 18 14 82 32 -68 -87 -3 -62 4 92 13 9 39 79 -15 -56 -59 98 -25 -58 43 -60 41 65 1 -40 96 12 -91 71 -67 -34 30 22 -17 -63 -77 23 26 -49 -70 -69 94 -64 -74 -75 61 35 8 -33 83 -66 11 55 47 -53 -7 31 -72 -78 99 16 -27 73 -24 97 2 -89 21 5 -76 -93 -38 -36 -51 -52 28 81 85 -95 57 80 42 -10 20
8.512u 0.006s 0:08.57 99.2%	0+0k 0+0io 0pf+0w