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_hamming6-4.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/hamming6-4.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 1007
o 1389
o 1387
o 1359
o 1345
o 1329
o 1323
o 1318
o 1311
o 1296
o 1285
o 1252
o 1248
o 1237
o 1197
o 1164
o 1160
o 1155
o 1151
o 1109
o 1104
o 1100
o 1099
o 1095
o 1049
o 1035
c 137 branches 988 propagates
c total generalized unit propagation = 422, success = 10.43%
s OPTIMUM FOUND
c Optimal Solution = 1035
v -1 -16 -24 -28 -30 -31 -32 40 44 46 47 48 52 54 55 56 58 59 60 61 62 63 64 -2 -15 -23 -27 -29 39 43 45 51 53 57 -3 -14 -22 -26 38 42 50 -4 -13 -21 -25 37 41 49 -5 -12 -20 36 -6 -11 -19 35 -7 -10 -18 34 -8 -9 -17 33
0.219u 0.001s 0:00.22 95.4%	0+0k 0+0io 0pf+0w