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_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3000_H150_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 2511
o 3487
o 3485
o 3481
o 3477
o 3475
o 3470
o 3467
o 3462
o 3461
o 3460
o 3455
o 3451
o 3445
o 3443
o 3439
o 3432
o 3431
o 3425
o 3421
o 3420
o 3418
o 3417
o 3413
o 3410
o 3408
o 3407
o 3405
o 3404
o 3401
o 3400
o 3399
o 3397
o 3394
o 3393
o 3392
o 3391
o 3390
o 3389
o 3388
o 3386
o 3384
o 3380
o 3378
o 3377
o 3375
o 3368
o 3358
o 3357
o 3354
o 3347
o 3345
o 3340
o 3339
o 3337
o 3333
o 3332
o 3329
o 3327
o 3322
o 3319
o 3314
o 3312
o 3310
o 3309
o 3306
o 3305
o 3301
o 3300
o 3296
o 3294
o 3291
o 3285
o 3283
o 3282
o 3278
o 3275
o 3271
o 3269
o 3265
o 3263
o 3257
o 3251
o 3246
o 3243
o 3228
o 3226
o 3223
o 3222
o 3218
o 3217
o 3212
o 3206
o 3205
o 3204
o 3202
o 3196
o 3195
o 3194
o 3189
o 3183
o 3181
o 3180
o 3176
o 3175
o 3169
o 3167
o 3163
o 3162
o 3159
o 3157
o 3153
o 3152
o 3151
o 3144
o 3140
o 3138
o 3134
o 3131
o 3130
o 3128
o 3127
o 3126
o 3117
o 3113
o 3112
o 3111
o 3106
o 3105
o 3104
o 3103
o 3102
o 3095
o 3092
o 3087
o 3084
o 3083
o 3082
o 3080
o 3079
o 3072
o 3071
o 3070
o 3069
o 3066
o 3063
o 3058
o 3053
o 3052
o 3046
o 3045
c 2393 branches 10879 propagates
c total generalized unit propagation = 7192, success = 25.99%
s OPTIMUM FOUND
c Optimal Solution = 3045
v 115 102 42 -99 -28 85 -45 -29 8 48 -92 -35 -33 -126 74 -65 -26 107 123 -1 -80 16 109 117 -75 -56 -139 63 140 24 -88 -113 -104 -18 -120 69 -77 122 37 110 83 103 22 -68 23 -21 43 -5 -71 150 -135 4 6 86 59 17 132 146 125 131 -128 -121 50 -106 -91 -14 -108 87 133 -46 -39 -111 51 19 -81 130 -44 84 -129 -70 11 47 -76 -10 147 -32 -25 -142 -79 -64 67 95 -73 136 36 -41 7 105 -9 145 72 -112 2 101 -52 119 -141 149 12 -27 13 89 -15 116 137 148 134 -57 94 49 58 -98 -97 90 114 138 -60 30 -93 -61 3 -54 -124 -118 -55 -143 -96 127 -78 -62 -144 40 -100 -38 20 53 -82 -66 -34 31
10.962u 0.004s 0:10.97 99.9%	0+0k 0+0io 0pf+0w