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