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_9.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 2384
o 3453
o 3451
o 3442
o 3438
o 3427
o 3423
o 3421
o 3415
o 3413
o 3394
o 3390
o 3388
o 3387
o 3386
o 3380
o 3376
o 3370
o 3364
o 3362
o 3361
o 3359
o 3355
o 3354
o 3349
o 3343
o 3342
o 3339
o 3337
o 3332
o 3327
o 3326
o 3323
o 3317
o 3313
o 3300
o 3297
o 3282
o 3278
o 3271
o 3264
o 3254
o 3242
o 3241
o 3236
o 3235
o 3231
o 3225
o 3222
o 3220
o 3213
o 3206
o 3205
o 3201
o 3195
o 3190
o 3188
o 3181
o 3180
o 3179
o 3171
o 3169
o 3168
o 3156
o 3154
o 3139
o 3135
o 3132
o 3127
o 3125
o 3115
o 3113
o 3103
o 3098
o 3095
o 3088
o 3084
o 3080
o 3075
o 3074
o 3070
o 3068
o 3065
o 3064
o 3062
o 3060
o 3058
o 3045
o 3041
o 3038
o 3035
o 3034
o 3033
o 3031
o 3018
o 3005
o 3000
o 2990
o 2987
o 2985
o 2983
o 2982
o 2980
o 2979
o 2978
o 2977
o 2974
o 2973
o 2966
o 2964
o 2963
o 2959
o 2952
c 1192 branches 6744 propagates
c total generalized unit propagation = 4328, success = 18.30%
s OPTIMUM FOUND
c Optimal Solution = 2952
v -113 -72 -107 18 -103 32 -38 75 117 -58 106 48 135 -119 41 -109 -65 127 -9 85 63 -53 -121 -101 39 77 -7 -126 110 69 -133 -3 5 -68 137 -40 57 79 -64 -54 -128 -14 93 -129 60 -125 -46 -145 -89 -20 -97 -148 -66 1 -31 80 123 -71 -47 130 21 -111 -90 -33 6 -112 138 35 52 149 -124 -76 16 144 -120 -30 -37 81 73 -42 -88 -22 -28 -10 2 -108 -43 -115 -13 -67 -70 -122 17 -140 -102 95 -141 24 19 146 4 -23 29 44 -59 -78 83 -142 36 136 56 -15 -114 105 -50 86 91 8 -26 132 -49 139 -92 61 99 -84 12 51 -34 143 -74 116 -45 25 -55 134 -11 -96 -94 27 100 -147 -104 98 82 -62 -118 -150 -131 -87
4.579u 0.002s 0:04.61 99.1%	0+0k 0+0io 0pf+0w