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_6.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 686
o 991
o 990
o 988
o 987
o 986
o 985
o 983
o 981
o 980
o 979
o 978
o 977
o 975
o 974
o 972
o 971
o 967
o 966
o 965
o 964
o 962
o 960
o 958
o 957
o 956
o 955
o 954
o 953
o 949
o 947
o 946
o 945
o 942
o 939
o 938
o 936
o 935
o 934
o 933
o 932
o 931
o 930
o 929
o 927
o 926
o 924
o 923
o 922
o 921
o 920
o 919
o 918
o 916
o 915
o 914
o 913
o 911
o 910
o 909
o 907
o 906
o 905
o 903
o 902
o 901
o 898
o 897
o 896
o 895
o 894
o 893
o 892
o 891
o 890
o 889
o 887
o 886
o 885
o 883
o 882
o 881
o 880
o 879
o 878
o 877
o 876
o 875
o 874
o 872
o 871
o 870
o 869
o 866
o 865
o 864
o 862
o 861
o 859
o 858
o 856
c 3534 branches 12968 propagates
c total generalized unit propagation = 10399, success = 30.89%
s OPTIMUM FOUND
c Optimal Solution = 856
v -6 115 -9 46 -138 -51 92 -107 36 24 -14 112 142 -140 -90 -33 -78 96 73 87 123 -82 41 -64 68 81 84 -130 -129 -57 63 58 -50 -137 143 71 -3 -31 104 -53 -45 23 -106 -70 -120 -28 -100 30 -131 -101 -54 44 -114 -7 22 39 -69 -4 80 -47 -74 102 150 132 -35 128 66 145 -136 98 49 147 32 -95 122 -37 -94 79 -56 -126 -52 -42 -13 118 -110 61 -16 -83 86 93 -8 -12 -134 99 -135 20 127 75 -21 117 -2 55 -65 -85 -72 -146 15 -133 149 10 113 29 -76 97 88 -124 -108 62 60 11 -121 119 -91 -34 -139 1 125 -43 48 17 105 141 -67 144 111 89 -25 -38 -103 -109 5 -148 -40 -26 18 -19 -59 27 -116 77
5.744u 0.002s 0:05.75 99.8%	0+0k 0+0io 0pf+0w