Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-claspMaxSat-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_auctions_auc-paths_cat_paths_60_140_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_140_0006.txt.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...c-paths/cat_paths_60_140_0006.txt.wcnf
c Solving...
o 105052
o 100231
o 100149
o 99859
o 99808
o 99707
o 99570
o 99535
o 99529
o 99503
o 99371
o 99369
o 98997
o 98789
o 98755
o 98682
o 98326
o 98238
o 98179
o 97995
o 97954
o 97893
o 97827
o 97791
o 97787
1979.686u 0.016s 33:01.89 99.8%	0+0k 0+0io 0pf+0w