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_3.wcnf
Job file: /home/maxsat/benchmarks/wms_random/wmax2sat/100v/s2v100c1600_3.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 1055
o 1513
o 1510
o 1505
o 1504
o 1502
o 1497
o 1496
o 1495
o 1487
o 1480
o 1479
o 1478
o 1475
o 1473
o 1470
o 1467
o 1466
o 1464
o 1461
o 1458
o 1454
o 1451
o 1450
o 1447
o 1444
o 1439
o 1434
o 1431
o 1425
o 1424
o 1422
o 1418
o 1414
o 1409
o 1405
o 1398
o 1394
o 1384
o 1382
o 1380
o 1376
o 1374
o 1373
o 1368
o 1362
o 1359
o 1357
o 1355
o 1354
o 1350
o 1349
o 1348
o 1347
o 1346
o 1345
o 1344
o 1343
o 1342
o 1341
o 1340
o 1338
o 1337
o 1336
o 1335
o 1333
o 1332
o 1331
o 1330
o 1327
o 1314
o 1309
c 17617 branches 4694 propagates
c total generalized unit propagation = 36791, success = 47.24%
s OPTIMUM FOUND
c Optimal Solution = 1309
v -10 -1 11 -14 -15 16 18 -19 -20 23 -25 -28 31 -33 -34 35 36 39 -41 -42 51 -57 -58 59 60 -65 -76 79 82 -98 -99 100 -3 2 4 6 13 17 -21 26 27 -29 37 38 44 50 52 -53 56 -67 -68 -70 -71 -77 81 85 -91 93 -94 -96 -97 24 -43 46 49 -63 -64 69 83 -84 -88 89 92 -9 -30 -48 -55 66 -86 -90 -5 72 -75 78 80 95 7 -12 32 -45 -62 22 74 87 8 -40 61 -54 -47 73
154.442u 0.001s 2:34.60 99.8%	0+0k 0+0io 0pf+0w