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