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_3.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C2500_H150_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 2704
o 2701
o 2700
o 2698
o 2692
o 2686
o 2684
o 2683
o 2678
o 2676
o 2675
o 2668
o 2666
o 2663
o 2659
o 2656
o 2650
o 2645
o 2637
o 2634
o 2631
o 2630
o 2626
o 2624
o 2623
o 2619
o 2617
o 2610
o 2605
o 2598
o 2597
o 2596
o 2589
o 2585
o 2583
o 2580
o 2575
o 2567
o 2566
o 2561
o 2554
o 2551
o 2548
o 2545
o 2542
o 2535
o 2532
o 2527
o 2525
o 2512
o 2502
o 2501
o 2496
o 2482
o 2471
o 2466
o 2460
o 2455
o 2449
o 2448
o 2439
o 2434
o 2425
o 2424
o 2419
o 2417
o 2411
o 2407
o 2405
o 2401
o 2399
o 2397
o 2389
o 2382
o 2381
o 2380
o 2379
o 2374
o 2368
o 2367
o 2361
o 2359
o 2353
o 2351
o 2346
o 2342
o 2339
c 598 branches 4589 propagates
c total generalized unit propagation = 5607, success = 7.49%
s OPTIMUM FOUND
c Optimal Solution = 2339
v 134 -110 3 133 -121 80 -92 38 -16 -142 -26 27 85 150 148 -144 -103 -2 -87 -83 17 -147 120 113 -138 122 139 -45 39 -25 62 79 -11 -123 -12 129 -101 -96 128 140 51 32 118 -34 -7 -89 -107 29 18 -42 -75 28 -24 -35 30 -105 -137 43 81 -108 -145 -111 95 46 -48 59 19 64 37 82 -146 -41 -44 47 -86 78 67 74 14 54 -58 69 -141 -76 -90 -97 -119 21 56 136 -33 -63 -61 -117 131 -91 -84 88 -55 6 94 -106 143 -50 66 5 22 8 149 -65 -4 127 -60 115 -71 -49 10 -53 132 23 98 -13 -135 -104 -40 57 -114 -102 125 1 -36 -72 73 126 -15 -130 68 -100 93 31 -52 124 70 20 -9 -116 109 99 77 112
8.107u 0.005s 0:08.12 99.7%	0+0k 0+0io 0pf+0w