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_C2500_H150_2.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2539
o 2536
o 2513
o 2510
o 2509
o 2503
o 2500
o 2497
o 2493
o 2490
o 2486
o 2483
o 2480
o 2478
o 2474
o 2471
o 2468
o 2467
o 2466
o 2460
o 2457
o 2454
o 2451
o 2445
o 2444
o 2443
o 2439
o 2433
o 2431
o 2429
o 2423
o 2422
o 2420
o 2411
o 2405
o 2402
o 2397
o 2390
o 2387
o 2386
o 2384
o 2380
o 2378
o 2374
o 2366
o 2354
o 2353
o 2350
o 2344
o 2342
o 2339
o 2327
o 2324
o 2318
o 2316
o 2311
o 2308
o 2306
o 2304
o 2300
o 2287
o 2286
o 2281
o 2279
o 2276
o 2273
o 2268
o 2267
o 2261
o 2260
o 2257
o 2252
o 2242
o 2240
o 2236
o 2231
o 2230
o 2225
o 2224
o 2219
o 2213
o 2206
o 2205
o 2194
o 2191
o 2190
o 2186
o 2181
o 2177
o 2171
o 2170
o 2164
o 2161
o 2157
o 2153
o 2152
o 2148
o 2145
o 2144
o 2140
o 2138
o 2134
o 2128
o 2126
o 2121
o 2118
o 2113
c 947 branches 5518 propagates
c total generalized unit propagation = 7167, success = 9.79%
s OPTIMUM FOUND
c Optimal Solution = 2113
v 13 23 54 105 -108 89 95 136 -117 14 -101 38 133 127 -26 84 16 -106 71 121 -90 29 -125 76 1 -92 39 135 62 111 43 146 59 91 -12 64 82 35 36 120 104 143 -17 -80 -85 -79 -37 -114 -65 -57 -49 28 2 -30 -112 -115 140 -68 -33 97 18 103 22 119 -126 -20 21 -6 -75 -107 -52 93 -46 -4 3 87 -58 -55 -130 94 -27 48 -51 -40 -141 -47 -99 122 -25 128 -9 -24 -124 123 -53 -148 86 72 -96 118 -129 -78 50 66 132 19 -8 -109 -70 -10 -41 -44 -131 144 -139 -150 60 45 83 -5 -100 -74 -11 113 -34 -81 69 63 102 -116 -15 56 -149 42 -73 -61 -137 31 98 -134 -110 -88 138 32 -7 77 -142 -67 147 145
10.832u 0.005s 0:10.90 99.3%	0+0k 0+0io 0pf+0w