Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-akmaxsat-wms_crafted-_home_maxsat_benchmarks_wms_crafted_WMAXCUT_DIMACS_MOD_brock400_1.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/brock400_1.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1453
o 1448
o 1447
o 1441
o 1435
o 1434
o 1429
o 1427
o 1423
o 1420
o 1416
o 1413
o 1412
o 1409
o 1408
o 1406
o 1405
o 1404
o 1395
o 1390
o 1389
o 1385
o 1383
o 1378
o 1376
o 1374
o 1372
o 1365
o 1361
c 5233 branches 427 propagates
c total generalized unit propagation = 10836, success = 47.77%
s OPTIMUM FOUND
c Optimal Solution = 1361
v 1 -3 -4 5 -6 7 8 -9 10 -11 -12 -13 14 -15 18 19 -20 -21 22 -23 -24 -26 -27 28 29 30 32 33 34 -35 36 37 -38 -40 2 -16 -17 -25 39 31
14.233u 0.000s 0:14.23 100.0%	0+0k 0+0io 0pf+0w