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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 240
o 239
o 237
o 235
o 234
o 232
o 230
o 228
o 224
o 222
o 220
o 219
o 218
o 216
o 215
o 211
o 207
o 206
o 202
o 198
o 186
o 185
o 184
o 181
o 177
o 173
o 169
o 168
o 166
o 165
o 162
o 160
o 155
o 152
o 151
o 149
o 148
o 144
o 143
o 141
o 140
o 139
o 138
o 137
o 133
o 132
o 131
o 130
o 128
o 127
o 126
o 125
o 123
o 118
o 117
o 113
o 111
o 107
o 106
o 103
o 102
o 97
o 96
o 93
o 91
o 89
o 88
o 87
o 86
o 84
o 83
o 82
o 76
o 75
o 74
o 67
o 64
o 63
c 40604 branches 32816 propagates
c total generalized unit propagation = 113836, success = 35.50%
s OPTIMUM FOUND
c Optimal Solution = 63
v -13 25 87 50 -48 42 94 -47 95 84 -38 20 -66 69 85 80 37 46 -86 33 -56 -34 54 55 -9 -81 -89 -6 -12 -17 -3 -61 7 40 91 30 -22 -88 -28 -79 -49 -78 -58 -71 -23 31 74 68 -62 75 36 -73 -57 -76 45 82 -35 26 67 27 -92 43 -14 -63 -10 59 -29 60 -41 -21 -96 15 -32 -70 100 2 4 -90 -19 11 1 -39 -18 -83 65 -8 5 -97 -64 -99 -93 -53 44 16 24 -77 -72 51 -98 -52
97.438u 0.000s 1:37.45 99.9%	0+0k 0+0io 0pf+0w