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_4.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C5000_H150_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 799
o 1117
o 1116
o 1115
o 1113
o 1111
o 1110
o 1109
o 1108
o 1107
o 1106
o 1105
o 1104
o 1103
o 1102
o 1101
o 1100
o 1099
o 1097
o 1096
o 1095
o 1094
o 1093
o 1092
o 1091
o 1089
o 1088
o 1087
o 1086
o 1085
o 1084
o 1083
o 1081
o 1079
o 1078
o 1076
o 1075
o 1074
o 1073
o 1072
o 1070
o 1069
o 1068
o 1067
o 1066
o 1065
o 1064
o 1063
o 1062
o 1061
o 1059
o 1058
o 1057
o 1054
o 1053
o 1052
o 1051
o 1050
o 1049
o 1047
o 1046
o 1045
o 1043
o 1042
o 1041
o 1039
o 1038
o 1036
o 1035
o 1034
o 1031
o 1029
o 1028
o 1027
o 1024
o 1023
o 1022
o 1021
o 1020
o 1019
o 1018
c 9306 branches 27744 propagates
c total generalized unit propagation = 21597, success = 42.13%
s OPTIMUM FOUND
c Optimal Solution = 1018
v -122 104 -142 -55 -150 145 -21 22 71 -119 -9 111 133 -116 -125 -61 -140 -81 -109 -75 26 -115 47 -118 79 -57 -85 90 -65 73 120 105 148 -112 -10 89 -141 -11 -34 -80 106 124 -146 -62 -30 -31 -27 103 20 -58 132 -18 -15 -83 -101 -70 130 -60 97 86 -64 147 -99 49 -136 -25 -29 88 -149 43 -137 -129 50 -108 -68 -94 54 -66 35 69 77 -38 7 -13 39 -93 -44 -32 -78 114 2 -46 6 45 -139 -126 76 84 -40 113 135 131 102 -5 -72 -1 -48 -41 -96 16 -117 53 127 -82 -4 -42 14 138 -91 59 63 -143 -95 87 128 -12 17 -121 37 -107 -110 -24 28 52 92 -100 -98 -33 -123 -144 -23 8 -51 19 134 -56 74 -67 -3 -36
22.479u 0.003s 0:22.63 99.2%	0+0k 0+0io 0pf+0w