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_5.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2587
o 2584
o 2581
o 2577
o 2569
o 2565
o 2561
o 2545
o 2544
o 2541
o 2540
o 2526
o 2525
o 2522
o 2521
o 2517
o 2516
o 2515
o 2511
o 2510
o 2508
o 2507
o 2505
o 2502
o 2495
o 2492
o 2490
o 2475
o 2474
o 2473
o 2472
o 2471
o 2464
o 2453
o 2452
o 2449
o 2447
o 2446
o 2443
o 2439
o 2427
o 2426
o 2418
o 2416
o 2415
o 2414
o 2413
o 2399
o 2395
o 2392
o 2391
o 2380
o 2378
o 2374
o 2371
o 2369
o 2368
o 2367
o 2366
o 2365
o 2361
o 2360
o 2359
o 2357
o 2350
o 2349
o 2345
o 2339
o 2332
c 318 branches 2310 propagates
c total generalized unit propagation = 2785, success = 5.64%
s OPTIMUM FOUND
c Optimal Solution = 2332
v 111 -33 -43 16 57 -26 112 -114 -84 -20 68 -27 -137 -96 -72 87 -104 -45 -108 -88 -133 109 -36 -129 86 95 -3 -56 81 -103 -127 -44 148 1 -48 4 71 -6 -29 123 -9 150 -135 106 -125 82 -91 -128 11 -117 -145 69 -132 92 140 -102 -76 -58 146 -32 -149 2 139 -130 120 -34 136 122 -78 -63 -73 -90 61 52 23 -59 -31 14 -37 -13 -94 55 -121 -5 -42 -35 105 85 -143 124 97 79 -147 24 -75 -54 116 50 -77 93 -101 -30 -41 -39 -49 25 -64 -53 -115 22 67 -70 107 -7 -141 -51 110 89 -119 -21 19 65 10 113 -40 80 138 -66 -12 -46 118 98 18 -47 -126 142 28 -8 -15 -134 38 -74 -83 -99 17 60 144 131 100 -62
4.327u 0.004s 0:04.33 99.7%	0+0k 0+0io 0pf+0w