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_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_130_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_130_0006.txt.wcnf
c Solving...
o 82493
o 79166
o 79038
o 78762
o 78599
o 78519
o 78403
o 78323
o 78294
o 78192
o 78072
o 77971
o 77956
o 77914
o 77899
o 77898
o 77834
o 77809
o 77758
o 77739
o 77640
o 77611
o 77493
o 77483
o 77464
o 77394
1979.679u 0.022s 33:10.73 99.4%	0+0k 0+0io 0pf+0w