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_5.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 686
o 955
o 954
o 949
o 947
o 944
o 943
o 941
o 940
o 938
o 937
o 935
o 934
o 933
o 932
o 931
o 930
o 929
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
o 907
o 906
o 904
o 903
o 902
o 901
o 900
o 899
o 898
o 897
o 896
o 895
o 894
o 893
o 892
o 891
o 890
o 889
o 886
o 885
o 884
o 883
o 881
c 2408 branches 9855 propagates
c total generalized unit propagation = 6764, success = 33.49%
s OPTIMUM FOUND
c Optimal Solution = 881
v -40 -49 -90 69 -145 118 -61 117 -9 -7 -89 -47 -132 101 71 29 119 52 -97 149 -81 -115 70 116 15 -53 -85 6 -57 -8 -123 86 -24 72 95 126 10 37 -131 44 18 51 -140 113 137 -54 -125 1 99 -96 -43 -114 -107 -120 -31 -84 98 -50 -56 -4 83 -19 39 -12 26 -42 25 122 -138 -103 -36 87 -127 -65 105 -76 -75 62 -124 104 -134 -27 33 64 -80 128 28 112 -73 -66 67 32 30 -60 -142 17 59 -48 16 23 -45 135 21 129 144 93 108 82 -13 11 150 -106 91 94 143 -139 2 -74 147 -100 -63 58 130 68 92 -110 -77 133 -148 79 -88 22 -121 -14 38 146 -141 -3 136 -20 111 -34 5 78 46 35 -109 102 -55 -41
5.200u 0.001s 0:05.23 99.4%	0+0k 0+0io 0pf+0w