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