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_130_0005.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_130_0005.txt.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...c-paths/cat_paths_60_130_0005.txt.wcnf
c Solving...
o 81172
o 78482
o 78054
o 76993
o 76900
o 76892
o 76837
o 76812
o 76683
o 76589
o 76573
o 76323
o 76320
o 76275
o 76204
o 76128
o 76124
o 76120
o 76032
o 75763
o 75733
o 75726
o 75624
o 75172
o 75032
o 74925
o 74888
o 74885
o 74829
o 74707
o 74645
o 74572
o 74521
1979.651u 0.052s 33:11.13 99.4%	0+0k 0+0io 0pf+0w