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_wpmax2sat_me_file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 2473
o 3492
o 3490
o 3478
o 3467
o 3462
o 3459
o 3454
o 3449
o 3444
o 3440
o 3437
o 3432
o 3427
o 3422
o 3417
o 3414
o 3413
o 3410
o 3408
o 3402
o 3396
o 3390
o 3387
o 3384
o 3380
o 3378
o 3375
o 3369
o 3367
o 3360
o 3353
o 3346
o 3345
o 3341
o 3340
o 3331
o 3327
o 3324
o 3321
o 3320
o 3313
o 3311
o 3304
o 3296
o 3295
o 3294
o 3292
o 3287
o 3279
o 3278
o 3276
o 3272
o 3269
o 3266
o 3263
o 3259
o 3256
o 3252
o 3247
o 3244
o 3240
o 3235
o 3233
o 3230
o 3229
o 3225
o 3224
o 3222
o 3218
o 3217
o 3216
o 3210
o 3207
o 3204
o 3201
o 3197
o 3193
o 3192
o 3189
o 3185
o 3179
o 3176
o 3172
o 3170
o 3169
o 3168
o 3167
o 3166
o 3165
o 3159
o 3158
o 3157
o 3156
o 3155
o 3154
o 3153
o 3150
o 3144
o 3142
o 3141
o 3140
o 3139
o 3138
o 3131
o 3127
o 3121
o 3118
o 3110
o 3109
o 3103
o 3102
o 3100
o 3089
o 3088
o 3085
o 3081
o 3079
o 3070
o 3068
o 3066
o 3064
o 3059
o 3058
o 3053
o 3051
o 3050
o 3049
o 3045
o 3039
o 3033
o 3026
o 3025
c 1718 branches 10423 propagates
c total generalized unit propagation = 5523, success = 25.29%
s OPTIMUM FOUND
c Optimal Solution = 3025
v -91 133 -76 21 -117 123 -22 -43 52 -143 107 -139 -119 -126 80 -62 1 92 -141 -65 13 -77 -69 128 -106 -25 -127 8 -56 50 -105 17 -64 -114 131 122 -18 113 -41 -103 137 -37 112 67 -35 15 102 -74 73 78 -36 31 100 -82 101 44 -6 125 84 -99 -26 71 34 88 27 7 -2 -12 24 -53 -30 -130 -146 39 45 120 -135 -85 54 79 -61 -32 83 -98 70 33 -72 93 -97 20 16 -129 -148 -38 89 -14 -28 -124 -66 -60 58 -104 -90 109 -118 -111 108 46 -121 132 23 -136 145 42 4 -81 -134 29 -116 -63 95 49 -96 -59 55 40 -115 -138 142 -87 75 149 -144 -86 147 48 -51 9 47 94 -140 10 -57 11 -19 110 -68 -5 -150 -3
10.762u 0.004s 0:10.77 99.9%	0+0k 0+0io 0pf+0w