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