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