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_2.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 704
o 1005
o 1002
o 1000
o 999
o 998
o 996
o 994
o 993
o 991
o 990
o 988
o 986
o 984
o 983
o 982
o 980
o 979
o 977
o 975
o 973
o 972
o 971
o 970
o 969
o 966
o 964
o 963
o 962
o 961
o 960
o 958
o 957
o 956
o 953
o 952
o 951
o 949
o 947
o 945
o 943
o 942
o 940
o 939
o 938
o 936
o 935
o 934
o 933
o 932
o 931
o 929
o 928
o 927
o 926
o 923
o 922
o 921
o 918
o 917
o 916
o 915
o 913
o 912
c 2092 branches 8252 propagates
c total generalized unit propagation = 6151, success = 30.73%
s OPTIMUM FOUND
c Optimal Solution = 912
v 146 92 71 122 -111 14 37 -104 -125 6 61 -64 40 -119 24 -116 -115 12 -56 39 51 -131 57 -143 76 -79 129 134 -75 -31 47 -88 2 82 -114 -30 136 43 -8 89 41 -120 32 83 85 -70 -45 27 -72 11 127 145 86 -73 15 50 -16 77 128 -49 -94 133 36 80 99 38 -148 150 -135 132 -52 -147 -96 -113 -124 103 -54 126 -110 67 -90 -78 66 -1 121 68 -95 13 100 -118 -108 5 142 -59 -106 21 117 -123 -102 42 -105 62 -9 -34 -25 44 -130 23 29 -137 -69 55 -17 -60 18 112 65 144 -84 98 -81 -91 -93 26 149 141 -19 -3 -53 97 -107 -33 10 35 -138 -140 46 63 74 48 -28 -139 -101 -87 4 -20 -7 -58 22 -109
3.448u 0.001s 0:03.49 98.5%	0+0k 0+0io 0pf+0w