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_2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/brock400_2.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 1061
o 1488
o 1485
o 1480
o 1477
o 1466
o 1454
o 1448
o 1444
o 1433
o 1432
o 1422
o 1416
o 1412
o 1410
o 1407
o 1403
o 1400
o 1396
o 1385
o 1384
o 1379
o 1376
o 1372
o 1364
o 1358
o 1355
c 4137 branches 442 propagates
c total generalized unit propagation = 8305, success = 48.98%
s OPTIMUM FOUND
c Optimal Solution = 1355
v 1 2 -3 4 5 6 9 -15 -16 19 -22 -24 -25 -27 28 -29 -30 -31 32 -33 35 -36 -38 40 11 -12 13 14 -18 -20 21 -23 26 34 -37 -39 -8 10 17 7
7.702u 0.001s 0:07.73 99.6%	0+0k 0+0io 0pf+0w