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
o 3527
o 3526
o 3525
o 3524
o 3521
o 3520
o 3518
o 3516
o 3515
o 3494
o 3493
o 3492
o 3488
o 3481
o 3471
o 3469
o 3468
o 3463
o 3451
o 3447
o 3441
o 3437
o 3433
o 3429
o 3423
o 3421
o 3417
o 3412
o 3411
o 3405
o 3401
o 3400
o 3398
o 3393
o 3391
o 3390
o 3389
o 3388
o 3386
o 3384
o 3380
o 3378
o 3377
o 3375
o 3368
o 3361
o 3358
o 3354
o 3353
o 3347
o 3345
o 3340
o 3333
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 3299
o 3296
o 3294
o 3291
o 3285
o 3283
o 3282
o 3278
o 3275
o 3273
o 3271
o 3269
o 3265
o 3263
o 3262
o 3255
o 3252
o 3245
o 3243
o 3231
o 3228
o 3226
o 3223
o 3222
o 3220
o 3218
o 3217
o 3212
o 3206
o 3205
o 3203
o 3196
o 3195
o 3189
o 3183
o 3180
o 3174
o 3169
o 3167
o 3163
o 3161
o 3158
o 3152
o 3140
o 3138
o 3135
o 3134
o 3131
o 3127
o 3120
o 3117
o 3116
o 3113
o 3112
o 3111
o 3106
o 3104
o 3103
o 3095
o 3092
o 3087
o 3084
o 3083
o 3079
o 3071
o 3070
o 3069
o 3066
o 3063
o 3058
o 3053
o 3052
o 3046
o 3045
c 2255 branches 7118 propagates
c total generalized unit propagation = 11285, success = 16.94%
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
22.475u 0.008s 0:22.48 99.9%	0+0k 0+0io 0pf+0w