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