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