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_san200_0.7_2.clq.wcnf
Job file: /home/maxsat/benchmarks/wms_crafted/WMAXCUT/DIMACS_MOD/san200_0.7_2.clq.wcnf
Job solver: /home/maxsat/solvers/akmaxsat/akmaxsat
o 1376
o 1370
o 1367
o 1362
o 1361
o 1356
o 1353
o 1352
o 1350
o 1348
o 1347
o 1335
o 1333
o 1332
o 1329
o 1318
o 1317
o 1315
o 1273
o 1267
o 1258
o 1254
o 1243
c 1343 branches 283 propagates
c total generalized unit propagation = 2921, success = 44.33%
s OPTIMUM FOUND
c Optimal Solution = 1243
v -1 -2 3 -4 5 8 -10 11 12 -13 -14 15 16 17 20 23 24 -25 -27 29 30 -31 -32 -33 -35 37 -38 -39 -40 6 -7 -36 34 -9 18 19 21 26 28 -22
3.588u 0.000s 0:03.61 99.1%	0+0k 0+0io 0pf+0w