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_100v_s2v100c1300_8.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1300_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 756
o 1153
o 1151
o 1150
o 1139
o 1138
o 1137
o 1136
o 1135
o 1131
o 1121
o 1119
o 1116
o 1114
o 1113
o 1112
o 1111
o 1109
o 1104
o 1103
o 1102
o 1100
o 1099
o 1097
o 1096
o 1093
o 1092
o 1089
o 1086
o 1085
o 1082
o 1078
o 1075
o 1074
o 1073
o 1071
o 1069
o 1067
o 1066
o 1064
o 1062
o 1059
o 1058
o 1057
o 1053
o 1052
o 1051
o 1041
o 1035
o 1033
o 1028
o 1022
o 1020
o 1012
o 1011
o 1008
o 1005
o 1004
o 1003
o 1001
o 1000
o 994
o 993
o 991
o 988
o 987
o 981
o 979
o 976
o 975
o 974
o 972
o 970
o 960
o 959
o 958
o 955
o 951
o 949
o 945
o 941
c 4942 branches 4489 propagates
c total generalized unit propagation = 11235, success = 41.75%
s OPTIMUM FOUND
c Optimal Solution = 941
v 1 14 -16 -18 -19 -21 -24 -28 -34 -35 37 38 -42 -53 59 -61 66 68 -71 72 74 85 88 -96 -3 2 -7 -11 13 -17 41 45 -46 -48 50 -57 60 67 70 -77 -78 86 87 -89 -94 -97 6 -9 12 25 -27 -51 52 -54 -62 65 69 -84 93 95 99 -100 -5 -4 8 -36 39 -75 -15 -20 -23 26 -29 -32 40 -49 56 92 98 -22 79 -80 81 30 -33 -47 63 -43 58 10 31 -73 82 -55 90 -44 83 -64 -76 -91
31.232u 0.002s 0:31.44 99.3%	0+0k 0+0io 0pf+0w