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_9.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C5000_H150_9.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 808
o 1058
o 1057
o 1056
o 1055
o 1048
o 1047
o 1046
o 1045
o 1044
o 1043
o 1040
o 1039
o 1038
o 1037
o 1036
o 1034
o 1033
o 1031
o 1028
o 1027
o 1026
o 1024
o 1021
o 1020
o 1019
o 1018
o 1016
o 1015
o 1014
o 1012
o 1009
o 1007
o 1006
o 1005
o 1004
o 1002
o 1000
o 999
o 996
o 994
o 993
c 596 branches 3733 propagates
c total generalized unit propagation = 2321, success = 21.07%
s OPTIMUM FOUND
c Optimal Solution = 993
v 113 137 28 77 100 40 -126 -21 119 -15 -14 50 141 83 37 11 -24 -118 46 -7 66 -41 144 18 -112 31 -111 27 -44 -129 -64 -98 53 -20 -57 48 -122 79 -117 96 89 -78 56 -115 -51 35 -104 102 8 10 54 -59 -132 26 -4 107 -97 -147 63 -58 73 -88 -85 -150 -139 5 116 -39 45 86 6 -94 99 19 136 34 65 -61 148 -3 -67 -23 -92 90 125 87 131 120 -135 -1 49 -62 -84 -55 128 114 -142 127 138 -38 -140 80 -74 9 -123 108 30 145 110 -72 32 16 47 -42 133 93 60 -82 -68 -105 -103 -146 -91 -70 -124 -76 130 -121 43 2 -134 71 -69 22 75 -101 106 -149 -29 95 -33 -25 13 12 -81 -109 17 143 36 52
1.157u 0.004s 0:01.19 96.6%	0+0k 0+0io 0pf+0w