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