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_6.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C5000_H150_6.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 782
o 1097
o 1095
o 1094
o 1093
o 1092
o 1091
o 1090
o 1089
o 1088
o 1087
o 1084
o 1083
o 1082
o 1076
o 1075
o 1074
o 1072
o 1071
o 1070
o 1068
o 1064
o 1063
o 1060
o 1059
o 1058
o 1057
o 1053
o 1051
o 1049
o 1048
o 1047
o 1045
o 1044
o 1043
o 1042
o 1040
o 1038
o 1037
o 1036
o 1034
o 1033
o 1031
o 1029
o 1028
o 1027
o 1026
o 1024
o 1022
o 1021
o 1018
o 1017
o 1014
o 1013
o 1012
o 1011
o 1007
o 1006
o 1005
c 2390 branches 9051 propagates
c total generalized unit propagation = 6912, success = 32.10%
s OPTIMUM FOUND
c Optimal Solution = 1005
v -142 34 122 -73 -18 143 -112 67 31 11 -33 -21 -91 -102 -65 -101 113 -134 -37 -84 -78 -30 -40 -22 36 -56 -16 -85 117 -35 23 135 -138 -24 89 17 43 -81 50 -116 -68 -52 -148 29 118 -61 53 -14 -141 75 -63 -146 42 64 -70 133 -71 12 -123 82 -2 130 108 104 -100 -77 39 87 19 126 98 -119 -86 41 128 -137 -62 93 -9 32 45 27 109 -88 49 -149 131 74 -79 -121 106 55 129 139 -59 -147 -8 -136 -90 46 -150 -145 48 -95 96 -7 94 -15 58 -110 5 -80 105 -120 72 -25 51 92 -125 140 1 -132 -57 103 20 107 54 -6 47 -111 -115 -99 124 44 -26 -3 -76 -10 83 60 -97 144 114 -66 127 -69 -28 38 4 -13
3.955u 0.001s 0:03.97 99.4%	0+0k 0+0io 0pf+0w