Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat_ls-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_140v_s2v140c1500_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/140v/s2v140c1500_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat_ls/akmaxsat_ls
c initialized bestCost to 1058
o 1058
c first lower bound: 812
c 17668 branches 398 propagates
c total generalized unit propagation = 35735, success = 49.44%
s OPTIMUM FOUND
c Optimal Solution = 1058
v 134 138 -133 140 132 -131 -128 -126 -137 125 -129 122 121 -120 119 118 117 116 -115 -114 -127 136 -112 123 111 -110 -109 108 -113 107 -106 -105 124 -104 135 -103 -102 -101 100 -99 98 -97 -96 95 94 93 92 91 -130 139 -90 89 88 87 -86 85 84 -83 -82 -81 -80 79 78 -77 -76 75 74 73 72 71 -70 69 -68 67 66 65 -64 -63 -62 -61 -60 59 58 -57 56 -55 54 -53 52 -51 -50 49 -48 47 46 45 -44 -43 -42 41 -40 -39 38 -37 -36 -35 34 33 -32 -31 -30 29 28 27 26 -25 24 -23 -22 21 20 19 -18 17 -16 15 -14 13 12 -11 -10 -9 -8 7 -6 -5 4 3 2 1
185.649u 0.008s 3:05.87 99.8%	0+0k 0+0io 0pf+0w