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_C4500_H150_9.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 738
o 975
o 974
o 973
o 971
o 970
o 969
o 968
o 966
o 965
o 964
o 963
o 961
o 960
o 957
o 955
o 953
o 952
o 951
o 948
o 947
o 946
o 945
o 944
o 943
o 941
o 940
o 939
o 938
o 937
o 935
o 934
o 932
o 931
o 930
o 929
o 928
o 925
o 924
o 923
o 922
o 919
o 917
o 916
o 915
o 914
o 912
o 910
o 909
o 908
o 906
o 905
o 903
o 902
o 900
o 899
o 898
c 1648 branches 6187 propagates
c total generalized unit propagation = 5159, success = 28.16%
s OPTIMUM FOUND
c Optimal Solution = 898
v 70 -127 -13 97 73 149 53 31 68 26 121 144 -85 113 64 125 -138 -133 -1 15 -14 -10 -120 -62 -37 93 -87 136 91 145 -4 -123 20 132 30 102 -16 -61 -76 2 -78 -72 -36 -59 8 -92 -39 74 112 -17 7 79 6 67 -18 11 -110 -50 57 77 -65 28 -5 54 58 63 148 -124 -109 43 23 98 -150 27 -117 -56 -142 -25 84 -47 130 119 -104 -32 -106 -33 141 -111 143 96 140 -114 42 -29 -55 49 24 90 -81 99 38 -69 -34 40 -131 -41 12 52 -89 -139 22 95 66 -83 -108 60 -103 -82 -147 -134 -45 75 3 48 80 86 100 101 -115 118 -21 -137 51 88 146 46 35 116 -122 -71 -135 9 44 -129 19 107 -105 -128 -126 -94
2.079u 0.000s 0:02.08 99.5%	0+0k 0+0io 0pf+0w