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_2.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1600_2.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 1008
o 1450
o 1448
o 1446
o 1444
o 1440
o 1432
o 1426
o 1425
o 1421
o 1420
o 1418
o 1417
o 1415
o 1412
o 1410
o 1409
o 1406
o 1405
o 1403
o 1397
o 1393
o 1389
o 1384
o 1381
o 1377
o 1373
o 1371
o 1370
o 1368
o 1367
o 1366
o 1364
o 1359
o 1358
o 1352
o 1348
o 1342
o 1341
o 1340
o 1337
o 1334
o 1333
o 1331
o 1326
o 1321
o 1317
o 1311
o 1304
o 1303
o 1299
o 1297
o 1295
o 1292
o 1291
o 1285
o 1284
o 1280
o 1279
o 1276
o 1274
o 1273
o 1271
o 1265
c 27972 branches 4785 propagates
c total generalized unit propagation = 58012, success = 47.85%
s OPTIMUM FOUND
c Optimal Solution = 1265
v 1 2 -3 5 6 10 -11 -13 14 -19 -37 40 43 52 -58 -59 -60 -61 67 -68 69 70 -72 76 -77 78 79 81 -84 85 -95 -99 -18 -20 23 -28 36 39 42 -46 48 49 -53 -56 63 -66 73 -82 -88 89 92 94 96 16 24 31 32 38 45 -55 -71 -93 -98 -4 17 21 -29 30 -34 47 -65 7 -15 -33 41 62 86 22 25 -44 90 -97 100 -8 -26 51 64 -75 -83 9 -27 35 -74 -12 50 54 91 57 80 -87
216.319u 0.004s 3:36.57 99.8%	0+0k 0+0io 0pf+0w