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