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_4.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax3sat/hi/file_rwpms_wcnf_L3_V100_C700_H100_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 281
o 276
o 273
o 272
o 271
o 266
o 263
o 262
o 259
o 255
o 252
o 246
o 242
o 241
o 238
o 236
o 233
o 232
o 229
o 226
o 221
o 218
o 215
o 213
o 212
o 208
o 206
o 202
o 196
o 192
o 191
o 188
o 185
o 183
o 182
o 175
o 174
o 171
o 164
o 160
o 156
o 154
o 149
o 143
o 141
o 140
o 138
o 135
o 133
o 132
o 131
o 128
o 127
o 125
o 122
o 119
o 116
o 115
o 114
o 112
o 110
o 109
o 108
o 104
o 103
o 100
o 98
o 95
o 93
o 92
o 90
o 89
o 84
o 82
o 80
o 79
o 75
o 74
o 73
o 72
o 71
o 69
o 68
o 67
o 66
o 63
o 60
o 57
o 55
o 52
o 51
o 47
o 45
o 44
o 42
c 17664 branches 13955 propagates
c total generalized unit propagation = 49094, success = 35.59%
s OPTIMUM FOUND
c Optimal Solution = 42
v 21 -58 80 76 38 79 65 -42 -57 -82 53 17 9 48 61 -3 -91 -13 33 32 50 -36 -20 -60 45 -51 -93 -86 -75 -67 90 10 4 41 25 -37 40 -14 100 -5 -69 74 -49 52 64 -15 46 78 -81 -77 -47 -99 -7 -35 83 -55 -95 -2 22 -1 -29 -66 -73 -89 -94 -96 -72 8 11 -28 -88 68 -16 19 -31 24 -18 -23 -56 39 54 59 12 -43 84 -71 97 27 34 85 70 -62 98 -30 -63 -26 6 -92 -87 -44
35.244u 0.004s 0:35.31 99.8%	0+0k 0+0io 0pf+0w