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_5.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/120v/s2v120c1400_5.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1203
o 1197
o 1192
o 1182
o 1174
o 1171
o 1170
o 1169
o 1164
o 1161
o 1160
o 1159
o 1157
o 1156
o 1152
o 1150
o 1149
o 1147
o 1145
o 1142
o 1140
o 1139
o 1137
o 1136
o 1134
o 1133
o 1130
o 1128
o 1127
o 1124
o 1122
o 1119
o 1116
o 1115
o 1114
o 1112
o 1110
o 1109
o 1108
c 58321 branches 5488 propagates
c total generalized unit propagation = 122034, success = 47.71%
s OPTIMUM FOUND
c Optimal Solution = 1108
v 118 117 -114 115 -111 -112 108 107 116 -119 106 -109 105 110 102 -103 104 101 120 -100 -97 96 95 -94 99 -93 92 -113 -91 -98 -90 89 -88 -87 86 85 -84 -83 82 -81 80 -79 78 -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
466.960u 0.014s 7:47.39 99.9%	0+0k 0+0io 0pf+0w