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_keller4.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/wmaxcut/dimacs_mod/keller4.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
c first lower bound: 1031
o 1481
o 1476
o 1475
o 1466
o 1456
o 1449
o 1444
o 1437
o 1433
o 1429
o 1421
o 1412
o 1395
o 1392
o 1382
o 1373
o 1372
o 1371
o 1364
o 1351
o 1332
o 1316
o 1309
o 1289
o 1267
o 1254
o 1232
o 1229
o 1187
o 1169
o 1164
o 1133
c 224 branches 830 propagates
c total generalized unit propagation = 562, success = 19.22%
s OPTIMUM FOUND
c Optimal Solution = 1133
v 1 4 5 6 7 10 -11 13 14 15 16 -19 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 35 -36 38 39 40 41 2 8 -20 3 9 -17 -18 -42 -43 12 37
0.201u 0.003s 0:00.21 95.2%	0+0k 0+0io 0pf+0w