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
o 3507
o 3500
o 3485
o 3481
o 3478
o 3470
o 3466
o 3464
o 3458
o 3456
o 3453
o 3449
o 3441
o 3439
o 3436
o 3429
o 3428
o 3424
o 3420
o 3418
o 3415
o 3413
o 3411
o 3409
o 3408
o 3406
o 3394
o 3386
o 3384
o 3377
o 3370
o 3364
o 3362
o 3361
o 3355
o 3352
o 3345
o 3342
o 3339
o 3337
o 3332
o 3327
o 3326
o 3322
o 3317
o 3314
o 3313
o 3300
o 3298
o 3286
o 3282
o 3279
o 3278
o 3274
o 3270
o 3266
o 3254
o 3241
o 3236
o 3235
o 3231
o 3225
o 3222
o 3220
o 3213
o 3212
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 3128
o 3127
o 3125
o 3118
o 3115
o 3113
o 3104
o 3103
o 3102
o 3099
o 3098
o 3094
o 3085
o 3084
o 3080
o 3075
o 3074
o 3070
o 3068
o 3064
o 3061
o 3060
o 3058
o 3044
o 3042
o 3041
o 3038
o 3036
o 3035
o 3033
o 3031
o 3024
o 3011
o 3005
o 3004
o 2996
o 2990
o 2987
o 2985
o 2983
o 2982
o 2980
o 2979
o 2978
o 2977
o 2966
o 2964
o 2963
o 2959
o 2958
o 2952
c 1248 branches 5715 propagates
c total generalized unit propagation = 7831, success = 11.08%
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
10.744u 0.003s 0:10.81 99.3%	0+0k 0+0io 0pf+0w