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