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
c first lower bound: 1002
o 1394
o 1387
o 1372
o 1371
o 1369
o 1368
o 1358
o 1349
o 1343
o 1337
o 1336
o 1327
o 1325
o 1318
o 1311
o 1297
o 1295
o 1294
o 1290
o 1289
o 1287
o 1286
o 1285
o 1284
o 1280
o 1275
o 1274
o 1268
o 1265
o 1263
o 1261
o 1253
o 1243
c 1556 branches 613 propagates
c total generalized unit propagation = 3176, success = 45.88%
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
2.664u 0.001s 0:02.71 98.1%	0+0k 0+0io 0pf+0w