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_C5000_H150_1.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C5000_H150_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 810
o 1093
o 1091
o 1090
o 1087
o 1086
o 1085
o 1084
o 1083
o 1082
o 1081
o 1080
o 1079
o 1078
o 1077
o 1076
o 1075
o 1074
o 1073
o 1072
o 1070
o 1068
o 1067
o 1066
o 1065
o 1064
o 1063
o 1062
o 1061
o 1060
o 1059
o 1058
o 1057
o 1056
o 1055
o 1054
o 1053
o 1052
o 1051
o 1050
o 1049
o 1048
o 1046
o 1045
o 1044
o 1043
o 1041
o 1040
o 1039
o 1038
o 1037
o 1035
o 1034
o 1033
o 1032
o 1030
o 1029
o 1026
o 1024
o 1022
o 1021
o 1018
o 1016
o 1015
c 3967 branches 10805 propagates
c total generalized unit propagation = 10864, success = 34.84%
s OPTIMUM FOUND
c Optimal Solution = 1015
v 108 -106 -65 146 4 78 -98 56 75 25 -57 -109 -90 67 55 118 125 76 -41 85 -83 142 22 -51 107 -144 99 -88 74 62 -133 -58 -138 -130 -20 -16 70 36 -134 13 47 23 104 -121 10 -35 8 -86 -30 43 -105 94 -5 141 68 37 -95 91 46 116 34 115 -63 -27 -124 -72 117 -73 84 -40 14 32 3 -100 -11 -53 -92 -136 -29 -60 131 9 24 -18 -21 140 -19 143 -15 -148 69 103 61 -77 -113 -132 -127 -2 64 135 -26 7 -82 128 -147 38 149 50 97 59 -45 145 -6 87 -120 -112 71 -137 -150 111 -80 -44 -1 79 66 33 96 -49 39 102 -52 42 129 -81 93 -114 -126 -139 89 31 119 -17 28 -122 54 -123 110 -101 48 -12
5.509u 0.003s 0:05.52 99.6%	0+0k 0+0io 0pf+0w