Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-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_ls/akmaxsat_ls
c initialized bestCost to 993
o 993
c first lower bound: 809
c 127 branches 711 propagates
c total generalized unit propagation = 265, success = 48.30%
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.388u 0.008s 0:01.41 97.8%	0+0k 0+0io 0pf+0w