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_170_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_170_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_170_0006.txt.wcnf
c Solving...
o 108722
o 105562
o 105180
o 105046
o 104763
o 103802
o 103749
o 103673
o 103591
o 103517
o 103452
o 103411
o 103390
o 103372
o 103323
o 103122
o 103121
o 103029
o 103027
o 103002
o 102993
o 102981
o 102954
o 102858
o 102819
o 102779
o 102625
o 102503
o 102451
o 102099
o 102036
1979.609u 0.094s 33:10.97 99.4%	0+0k 0+0io 0pf+0w