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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_170_0007.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_0007.txt.wcnf
c Solving...
o 101659
o 97249
o 97186
o 97103
o 97056
o 97039
o 97007
o 96772
o 96728
o 96717
o 96549
o 96513
o 96266
o 96258
o 96253
o 96216
o 96169
o 96110
o 96062
o 96017
o 95909
o 95907
o 95891
o 95870
o 95856
o 95671
o 95659
o 95265
o 95261
o 95230
o 95199
o 95165
o 95122
o 95104
o 95101
o 94848
o 94837
o 94834
o 94811
o 94720
o 94636
o 94612
o 94587
o 94579
o 94543
o 94479
o 94445
o 94323
1979.667u 0.034s 33:00.83 99.9%	0+0k 0+0io 0pf+0w