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