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_110_0004.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_110_0004.txt.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...c-paths/cat_paths_60_110_0004.txt.wcnf
c Solving...
o 62618
o 58313
o 58170
o 58128
o 58016
o 57866
o 57828
o 57824
o 57803
o 57773
o 57543
o 57539
o 57471
o 57334
o 57271
o 57241
o 57234
o 57049
o 57033
o 57004
o 56872
o 56849
o 56823
1979.657u 0.045s 33:01.54 99.9%	0+0k 0+0io 0pf+0w