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