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_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_ls/akmaxsat_ls
c initialized bestCost to 1005
o 1005
c first lower bound: 783
c 383 branches 1808 propagates
c total generalized unit propagation = 805, success = 47.70%
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
2.117u 0.009s 0:02.15 98.1%	0+0k 0+0io 0pf+0w