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_150_0007.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_150_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_150_0007.txt.wcnf
c Solving...
o 116682
o 113061
o 112318
o 112198
o 112156
o 112106
o 112088
o 112036
o 111894
o 111864
o 111632
o 111447
o 111415
o 111361
o 111356
o 111215
o 111179
o 111153
o 111149
o 111142
o 111124
o 111050
o 111043
o 111020
o 111002
o 110988
1979.633u 0.070s 33:02.40 99.8%	0+0k 0+0io 0pf+0w