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_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_130_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_130_0007.txt.wcnf
c Solving...
o 81552
o 75373
o 75319
o 75278
o 75213
o 75201
o 75090
o 75041
o 75007
o 75004
o 74966
o 74904
o 74571
o 74539
o 74452
o 74371
o 74350
o 74280
o 74260
o 74077
o 74012
o 73975
o 73835
o 73766
o 73699
o 73518
1979.620u 0.082s 33:08.49 99.5%	0+0k 0+0io 0pf+0w