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