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