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