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