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
c first lower bound: 770
o 1068
o 1067
o 1065
o 1060
o 1058
o 1056
o 1055
o 1054
o 1053
o 1049
o 1043
o 1042
o 1039
o 1038
o 1037
o 1036
o 1034
o 1033
o 1032
o 1031
o 1030
o 1029
o 1028
o 1025
o 1022
o 1021
o 1019
o 1017
o 1016
o 1014
o 1011
o 1007
o 1003
o 1000
o 997
o 996
o 995
o 991
o 988
o 985
o 981
o 975
o 972
o 971
o 966
o 963
o 962
o 961
o 960
o 958
o 957
o 955
o 954
o 952
o 949
o 948
o 947
o 941
c 4959 branches 4524 propagates
c total generalized unit propagation = 11274, success = 42.30%
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
28.494u 0.003s 0:28.67 99.3%	0+0k 0+0io 0pf+0w