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