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_s2v120c1400_4.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_4.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 802
o 1156
o 1155
o 1153
o 1144
o 1142
o 1138
o 1137
o 1135
o 1132
o 1130
o 1129
o 1128
o 1127
o 1126
o 1124
o 1123
o 1121
o 1120
o 1118
o 1117
o 1116
o 1114
o 1112
o 1110
o 1108
o 1107
o 1105
o 1100
o 1098
o 1097
o 1095
o 1091
o 1089
o 1088
o 1087
o 1086
o 1082
o 1081
o 1079
o 1078
o 1071
o 1070
o 1069
o 1068
o 1067
o 1065
o 1063
o 1060
o 1052
o 1050
o 1049
o 1045
o 1044
o 1042
o 1040
o 1038
o 1036
o 1033
o 1031
o 1029
o 1028
o 1025
o 1023
o 1022
o 1021
o 1020
o 1019
o 1018
o 1015
o 1014
o 1011
o 1009
o 1007
c 8849 branches 5988 propagates
c total generalized unit propagation = 20017, success = 42.84%
s OPTIMUM FOUND
c Optimal Solution = 1007
v -115 117 -113 -114 112 118 -109 -110 107 106 -105 104 -108 -103 119 102 -100 -98 97 111 -96 -95 -94 -93 92 91 -90 -88 -87 120 116 -86 85 101 84 -83 -82 -81 -80 79 78 -99 77 -76 -75 -74 73 -72 -71 70 -69 68 -67 -66 65 64 63 62 -61 60 89 -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
61.039u 0.005s 1:01.42 99.3%	0+0k 0+0io 0pf+0w