Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-ms_random-_home_maxsat_benchmarks_ms_random_highgirth_4SAT_HG-4SAT-V100-C900-5.cnf
Job file: /home/maxsat/benchmarks/ms_random/highgirth/4SAT/HG-4SAT-V100-C900-5.cnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 19
o 18
o 17
o 16
o 15
o 14
o 13
o 12
o 11
o 10
o 9
o 8
o 7
o 6
o 5
o 4
o 3
o 2
o 1
c 1681011 branches 269318 propagates
c total generalized unit propagation = 3628215, success = 46.25%
s OPTIMUM FOUND
c Optimal Solution = 1
v -98 -90 66 26 37 38 71 85 42 5 -14 95 54 56 68 77 -59 -70 83 34 7 4 53 73 69 65 21 47 13 64 86 -23 15 -40 60 -76 57 -43 -87 35 -8 99 -20 -41 -16 17 -24 97 92 -32 6 -10 -74 -89 33 -30 100 81 -55 -28 -39 11 67 -63 -3 9 -46 -52 -31 -62 61 18 -79 -75 22 93 51 72 94 84 29 -48 -96 -91 58 -19 50 -45 1 -12 -27 88 -78 25 -82 49 80 2 36 -44
912.367u 0.003s 15:13.17 99.9%	0+0k 0+0io 0pf+0w