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