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
c first lower bound: 1370
o 1944
o 1942
o 1938
o 1934
o 1925
o 1918
o 1904
o 1896
o 1894
o 1890
o 1880
o 1876
o 1871
o 1866
o 1850
o 1840
o 1839
o 1834
o 1833
o 1827
o 1824
o 1823
o 1821
o 1819
o 1813
o 1812
o 1809
o 1808
o 1807
o 1803
o 1802
o 1798
o 1793
o 1792
o 1788
c 25338 branches 556 propagates
c total generalized unit propagation = 50715, success = 49.75%
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
52.528u 0.011s 0:52.93 99.2%	0+0k 0+0io 0pf+0w