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