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_C700_H100_6.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 197
o 193
o 188
o 184
o 183
o 179
o 178
o 177
o 176
o 169
o 166
o 165
o 160
o 159
o 158
o 154
o 152
o 151
o 145
o 144
o 139
o 137
o 134
o 133
o 131
o 129
o 127
o 125
o 122
o 120
o 118
o 115
o 113
o 111
o 110
o 109
o 108
o 107
o 106
o 105
o 104
o 100
o 99
o 98
o 95
o 94
o 91
o 90
o 89
o 84
o 83
o 81
o 80
o 77
o 76
o 75
o 71
o 69
o 68
o 62
o 61
o 60
o 59
o 58
o 57
o 56
o 55
o 53
o 51
c 39641 branches 27522 propagates
c total generalized unit propagation = 106626, success = 37.01%
s OPTIMUM FOUND
c Optimal Solution = 51
v -60 19 -20 38 -28 92 -64 18 58 -79 15 -73 71 35 39 11 49 -50 -44 -88 13 37 -98 99 55 30 -87 -21 42 1 16 14 -29 -85 86 81 80 -4 -5 -45 -53 -9 52 10 -63 -33 -41 -25 54 -94 -59 17 95 -67 72 24 -31 -34 36 -97 -74 70 -66 46 -57 -96 27 -90 -91 62 51 -84 82 23 12 8 69 -77 -47 -22 -68 -76 89 -100 -43 32 48 6 -65 93 -78 61 83 -3 26 -56 -40 2 -7 -75
87.809u 0.006s 1:27.87 99.9%	0+0k 0+0io 0pf+0w