Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_pmax3sat_hi_file_rpms_wcnf_L3_V100_C600_H100_7.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax3sat/hi/file_rpms_wcnf_L3_V100_C600_H100_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 0
o 30
o 28
o 27
o 26
o 25
o 24
o 23
o 22
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
c 22722 branches 38470 propagates
c total generalized unit propagation = 47476, success = 47.71%
s OPTIMUM FOUND
c Optimal Solution = 8
v -100 -48 -45 -84 -46 -86 -54 -29 88 50 19 -44 90 -6 37 18 14 82 32 -68 -87 -3 -62 4 92 13 9 39 79 -15 56 -59 98 -25 -58 43 -60 41 65 1 -40 96 12 -91 71 -67 -34 30 22 -17 -63 -77 23 26 -49 -70 -69 94 -64 -74 -75 61 35 8 -33 83 -66 11 55 47 -53 -7 31 -72 -78 99 16 -27 73 -24 97 2 89 21 5 -76 -93 -38 -36 -51 -52 28 81 85 -95 57 80 42 -10 20
11.002u 0.001s 0:11.07 99.3%	0+0k 0+0io 0pf+0w