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