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