Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wpms_random-_home_maxsat_benchmarks_wpms_random_wpmax3sat_hi_file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C800_H100_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 231
o 229
o 226
o 224
o 222
o 221
o 220
o 217
o 209
o 207
o 205
o 203
o 201
o 200
o 199
o 197
o 196
o 195
o 194
o 188
o 182
o 176
o 174
o 173
o 171
o 170
o 165
o 164
o 163
o 162
o 161
o 160
o 156
o 154
o 153
o 150
o 149
o 148
o 147
o 146
o 145
o 144
o 141
o 136
o 134
o 132
o 131
o 130
o 129
o 128
o 127
o 123
o 122
o 121
o 120
o 116
o 115
o 114
o 113
o 112
o 111
o 107
o 102
o 100
o 99
o 98
o 95
o 93
o 91
o 87
o 84
o 83
o 82
o 80
c 33220 branches 25604 propagates
c total generalized unit propagation = 91901, success = 35.99%
s OPTIMUM FOUND
c Optimal Solution = 80
v 60 -34 44 -65 23 76 -43 -69 88 31 95 85 38 58 99 -39 -86 17 14 89 91 74 -3 -97 -40 46 98 75 -2 93 -16 -8 1 100 -13 32 36 -18 -42 7 92 -68 77 -22 -90 -70 63 19 -55 -81 -47 41 48 -9 -96 -72 29 25 -20 4 11 -28 79 -80 82 -71 73 -57 -52 -66 -94 -78 -30 -64 -62 37 45 35 54 59 -56 61 -6 -87 49 24 -21 27 -12 15 67 -10 51 5 33 84 50 -83 26 53
93.447u 0.001s 1:33.54 99.8%	0+0k 0+0io 0pf+0w