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
o 1458
o 1454
o 1445
o 1442
o 1437
o 1436
o 1432
o 1431
o 1423
o 1422
o 1417
o 1410
o 1409
o 1408
o 1404
o 1400
o 1396
o 1394
o 1393
o 1379
o 1376
o 1375
o 1365
o 1364
o 1360
o 1359
o 1352
o 1349
o 1347
o 1346
o 1345
o 1344
o 1342
o 1340
o 1338
o 1336
o 1335
o 1334
o 1333
o 1332
o 1331
o 1330
o 1329
o 1328
o 1320
o 1315
o 1314
o 1311
o 1309
c 22175 branches 2782 propagates
c total generalized unit propagation = 47025, success = 46.93%
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
202.988u 0.003s 3:24.29 99.3%	0+0k 0+0io 0pf+0w