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_120v_s2v120c1300_3.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1300_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1092
o 1091
o 1089
o 1085
o 1082
o 1081
o 1079
o 1071
o 1067
o 1063
o 1061
o 1058
o 1055
o 1046
o 1040
o 1037
o 1033
o 1032
o 1031
o 1025
o 1023
o 1020
o 1018
o 1017
o 1015
o 1012
o 1010
o 1008
o 1005
o 1004
o 1001
o 997
o 996
o 995
o 993
o 987
o 984
o 980
o 977
o 973
o 970
o 967
o 963
o 960
o 956
o 952
o 951
o 949
o 948
o 947
o 941
c 5481 branches 3189 propagates
c total generalized unit propagation = 14019, success = 38.16%
s OPTIMUM FOUND
c Optimal Solution = 941
v -119 -114 -115 -113 120 -112 111 109 -108 107 -106 117 -105 118 -104 -116 -103 -102 -110 101 -100 99 -98 97 96 -94 -95 93 -92 -90 89 88 87 86 85 -84 83 82 -81 -80 -79 78 -77 91 -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
37.256u 0.003s 0:37.36 99.7%	0+0k 0+0io 0pf+0w