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