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