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_johnson32-2-4.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/johnson32-2-4.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1891
o 1887
o 1873
o 1870
o 1861
o 1859
o 1851
o 1850
o 1849
o 1845
o 1843
o 1840
o 1837
o 1833
o 1828
o 1824
o 1819
o 1817
o 1809
o 1806
o 1805
o 1802
o 1793
o 1792
o 1789
o 1788
c 29426 branches 409 propagates
c total generalized unit propagation = 59207, success = 49.61%
s OPTIMUM FOUND
c Optimal Solution = 1788
v 1 2 -3 -5 6 -7 -8 -9 -10 -12 -13 -14 -15 16 17 18 -19 -20 21 -22 23 -25 -27 -28 29 30 31 -32 -33 -34 35 36 37 38 39 -40 -41 -42 4 11 24 26
86.190u 0.001s 1:26.74 99.3%	0+0k 0+0io 0pf+0w