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