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
c first lower bound: 1123
o 1560
o 1558
o 1553
o 1548
o 1547
o 1539
o 1534
o 1512
o 1504
o 1502
o 1501
o 1493
o 1484
o 1483
o 1482
o 1479
o 1477
o 1473
o 1472
o 1456
o 1455
o 1452
o 1447
o 1442
o 1437
o 1432
c 3334 branches 655 propagates
c total generalized unit propagation = 6705, success = 48.34%
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
6.461u 0.003s 0:06.48 99.6%	0+0k 0+0io 0pf+0w