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