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
o 3462
o 3459
o 3451
o 3444
o 3440
o 3439
o 3433
o 3428
o 3423
o 3418
o 3414
o 3413
o 3411
o 3410
o 3406
o 3402
o 3400
o 3399
o 3397
o 3396
o 3394
o 3393
o 3386
o 3383
o 3376
o 3368
o 3366
o 3358
o 3352
o 3350
o 3342
o 3338
o 3336
o 3335
o 3325
o 3324
o 3321
o 3319
o 3318
o 3315
o 3314
o 3307
o 3303
o 3295
o 3293
o 3289
o 3287
o 3285
o 3284
o 3279
o 3277
o 3271
o 3269
o 3265
o 3263
o 3262
o 3259
o 3257
o 3253
o 3252
o 3244
o 3237
o 3233
o 3227
o 3225
o 3223
o 3216
o 3210
o 3204
o 3200
o 3197
o 3192
o 3187
o 3180
o 3174
o 3170
o 3163
o 3157
o 3156
o 3152
o 3148
o 3143
o 3136
o 3131
o 3127
o 3118
o 3110
o 3109
o 3106
o 3102
o 3100
o 3088
o 3085
o 3081
o 3079
o 3070
o 3068
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 1676 branches 6870 propagates
c total generalized unit propagation = 9976, success = 14.33%
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
27.166u 0.005s 0:27.18 99.9%	0+0k 0+0io 0pf+0w