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