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_s2v100c1600_8.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1600_8.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 1014
o 1390
o 1380
o 1369
o 1367
o 1363
o 1361
o 1350
o 1348
o 1345
o 1335
o 1324
o 1310
o 1306
o 1303
o 1301
o 1282
o 1279
o 1273
o 1262
o 1261
o 1259
o 1256
o 1255
o 1254
o 1252
o 1249
o 1248
o 1245
o 1241
o 1240
o 1238
o 1236
o 1230
o 1220
o 1216
o 1213
o 1212
o 1211
o 1209
o 1201
o 1199
o 1196
o 1191
o 1184
c 1717 branches 2746 propagates
c total generalized unit propagation = 4313, success = 35.61%
s OPTIMUM FOUND
c Optimal Solution = 1184
v -5 1 -6 -8 11 12 13 17 -25 26 27 -29 -30 -33 -35 37 -39 41 -44 46 48 -70 73 -77 -80 86 87 -90 -2 7 -9 -16 -23 28 -38 -40 -42 -49 55 -57 60 65 67 71 -75 -76 78 -89 91 96 -99 3 -4 -18 -21 -31 45 50 56 -58 61 -88 92 94 -98 14 19 32 34 47 63 -84 -97 -20 24 43 -52 -59 -68 -72 -74 -93 22 -66 -83 62 100 -36 -64 69 -82 -10 -54 -85 -81 -79 51 15 -95 53
11.516u 0.009s 0:11.54 99.7%	0+0k 0+0io 6pf+0w