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