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