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