Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-pms_random-_home_maxsat_benchmarks_pms_random_pmax2sat_hi_file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4000_H150_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 585
o 805
o 804
o 802
o 801
o 800
o 799
o 797
o 796
o 795
o 794
o 792
o 791
o 790
o 789
o 788
o 787
o 786
o 785
o 784
o 783
o 782
o 781
o 780
o 779
o 778
o 777
o 776
o 775
o 774
o 773
o 772
o 771
o 770
o 769
o 768
o 767
o 766
o 765
o 764
c 10350 branches 27752 propagates
c total generalized unit propagation = 24035, success = 42.58%
s OPTIMUM FOUND
c Optimal Solution = 764
v 53 108 -37 114 -35 -32 -138 58 106 -111 -28 36 -57 6 -105 -76 -98 -112 -133 -39 -97 21 -107 -8 15 134 -31 71 68 -143 -2 -13 29 -100 -148 88 5 59 49 85 14 127 -51 75 63 128 126 -70 -17 119 -64 44 -115 -90 -16 65 -60 -144 103 -74 120 135 84 -132 -46 95 -92 80 -147 -47 -40 -54 77 -18 -91 -25 4 82 3 67 141 20 89 124 -102 52 86 43 -33 81 1 26 -12 45 66 -101 109 79 -30 -9 -38 -93 -116 19 -150 34 10 -117 -48 131 -145 7 55 -24 -61 -104 -94 -118 -96 -83 136 -11 -146 50 -72 -139 129 125 -56 121 69 62 122 -42 41 99 113 130 23 -149 142 -137 -73 87 -110 -140 -22 -78 27 -123
22.537u 0.001s 0:22.57 99.8%	0+0k 0+0io 0pf+0w