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_0.wcnf
Job file: /home/maxsat/benchmarks/wpms_random/wpmax2sat/me/file_rwpms_wcnf_L2_V150_C3500_H150_0.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 3640
o 3640
o 3638
o 3634
c 243 branches 910 propagates
c total generalized unit propagation = 1392, success = 17.17%
s OPTIMUM FOUND
c Optimal Solution = 3634
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
20.904u 0.017s 0:20.95 99.8%	0+0k 0+0io 0pf+0w