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