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_p_hat700-3.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/p_hat700-3.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1517
o 1514
o 1508
o 1505
o 1500
o 1491
o 1490
o 1484
o 1483
o 1482
o 1481
o 1478
o 1474
o 1472
o 1470
o 1465
o 1461
o 1457
o 1452
o 1445
o 1432
c 3200 branches 380 propagates
c total generalized unit propagation = 6739, success = 46.88%
s OPTIMUM FOUND
c Optimal Solution = 1432
v 1 -2 -4 -5 6 -8 9 -10 -12 13 15 -17 -18 -19 20 -21 22 -24 -26 -27 -31 32 33 34 -35 36 -37 -38 -39 -42 11 14 16 23 28 30 -40 41 3 25 29 7
9.201u 0.002s 0:09.26 99.3%	0+0k 0+0io 0pf+0w