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