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_C4500_H150_2.wcnf
Job file: /home/maxsat/benchmarks/pms_random/pmax2sat/hi/file_rpms_wcnf_L2_V150_C4500_H150_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 912
o 912
c first lower bound: 703
c 384 branches 1816 propagates
c total generalized unit propagation = 823, success = 46.78%
s OPTIMUM FOUND
c Optimal Solution = 912
v 146 92 71 122 -111 14 37 -104 -125 6 61 -64 40 -119 24 -116 -115 12 -56 39 51 -131 57 -143 76 79 129 134 -75 -31 47 -88 2 82 -114 -30 136 43 -8 -89 41 -120 32 83 85 -70 -45 27 -72 11 127 145 86 -73 15 50 -16 77 128 -49 -94 133 36 80 99 38 -148 150 -135 132 -52 -147 -96 -113 -124 103 -54 126 -110 67 -90 -78 -66 -1 121 68 -95 13 100 -118 -108 5 142 -59 -106 21 117 -123 -102 42 -105 62 -9 -34 -25 44 -130 23 29 -137 -69 55 -17 -60 18 112 65 144 -84 98 -81 -91 -93 26 149 141 -19 -3 -53 97 -107 -33 10 35 -138 -140 46 63 74 48 -28 -139 -101 -87 4 -20 -7 -58 -22 -109
1.999u 0.010s 0:02.04 98.0%	0+0k 0+0io 0pf+0w