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_7.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_7.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2566
o 2546
o 2544
o 2537
o 2534
o 2522
o 2519
o 2515
o 2513
o 2510
o 2509
o 2506
o 2502
o 2501
o 2499
o 2495
o 2490
o 2489
o 2486
o 2483
o 2477
o 2476
o 2466
o 2465
o 2464
o 2463
o 2457
o 2456
o 2449
o 2444
o 2442
o 2437
o 2434
o 2433
o 2427
o 2425
o 2419
o 2418
o 2412
o 2408
o 2406
o 2404
o 2398
o 2396
o 2391
o 2389
o 2387
o 2386
o 2384
o 2383
o 2382
o 2381
o 2380
o 2377
o 2376
o 2373
o 2367
o 2361
o 2359
o 2354
o 2351
o 2350
o 2348
o 2337
o 2329
o 2326
o 2323
o 2314
o 2311
o 2306
o 2304
o 2300
o 2299
o 2294
o 2291
o 2289
o 2283
o 2276
o 2275
o 2269
o 2268
o 2266
o 2261
o 2260
o 2259
o 2258
o 2253
o 2247
o 2243
o 2241
c 1107 branches 5113 propagates
c total generalized unit propagation = 7106, success = 12.47%
s OPTIMUM FOUND
c Optimal Solution = 2241
v 132 5 -35 58 -67 -56 119 -116 -22 95 124 -37 4 -85 -65 -101 46 9 61 60 146 28 -118 -18 106 -63 110 -136 -135 50 -32 -86 93 125 34 -73 111 40 -92 105 100 -91 80 -112 97 129 -84 -52 70 109 -8 45 88 113 94 44 -23 16 -99 134 138 -3 25 -38 -96 -82 71 -55 -43 -108 19 -26 122 -79 10 11 74 -81 -17 -139 77 -72 -117 98 -47 -68 -145 41 -137 1 57 48 -36 31 -69 -149 78 -114 -62 115 83 120 7 103 -27 59 -33 -39 147 -12 2 -89 -87 148 -30 -133 -143 -24 -102 -76 -29 -14 123 -66 -6 51 -128 126 140 -54 104 -90 53 42 -121 130 142 107 -21 -75 -49 20 131 -15 -150 141 13 -64 127 144
11.138u 0.003s 0:11.15 99.8%	0+0k 0+0io 0pf+0w