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