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