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