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
c first lower bound: 1863
o 2611
o 2606
o 2603
o 2600
o 2579
o 2576
o 2574
o 2573
o 2572
o 2566
o 2562
o 2561
o 2559
o 2557
o 2556
o 2554
o 2538
o 2537
o 2535
o 2534
o 2531
o 2530
o 2526
o 2515
o 2511
o 2510
o 2508
o 2507
o 2505
o 2502
o 2499
o 2496
o 2493
o 2492
o 2491
o 2489
o 2482
o 2480
o 2469
o 2464
o 2459
o 2446
o 2443
o 2431
o 2430
o 2429
o 2428
o 2427
o 2426
o 2419
o 2418
o 2417
o 2416
o 2415
o 2405
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 2355
o 2349
o 2345
o 2339
o 2332
c 349 branches 3140 propagates
c total generalized unit propagation = 1571, success = 8.47%
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
0.857u 0.002s 0:00.86 98.8%	0+0k 0+0io 0pf+0w