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