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