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