Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_random-_home_maxsat_benchmarks_wms_random_wmax2sat_140v_s2v140c1400_1.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/140v/s2v140c1400_1.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 709
o 1029
o 1027
o 1024
o 1020
o 1019
o 1015
o 1014
o 1013
o 1008
o 1006
o 1003
o 1001
o 1000
o 997
o 996
o 995
o 994
o 992
o 991
o 989
o 988
o 987
o 986
o 984
o 983
o 980
o 977
o 976
o 972
o 971
o 969
o 968
o 960
o 952
o 947
o 946
o 945
o 943
o 941
o 940
o 939
o 936
o 935
o 931
o 926
c 13616 branches 7046 propagates
c total generalized unit propagation = 31739, success = 42.36%
s OPTIMUM FOUND
c Optimal Solution = 926
v -139 -137 -140 -138 136 -135 133 -134 -131 -130 -128 -126 -127 129 -125 -123 122 -121 124 -120 -117 -116 115 114 -112 118 -111 -110 -108 107 -106 -105 132 -104 102 -101 113 -100 -109 99 98 97 -96 -95 94 -93 92 -91 103 -90 -89 -87 -86 85 88 -84 83 82 -81 -80 79 78 119 -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
116.532u 0.004s 1:57.58 99.1%	0+0k 0+0io 0pf+0w