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_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_150_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_150_0006.txt.wcnf
c Solving...
o 93971
o 90594
o 90451
o 90082
o 89764
o 89506
o 89399
o 89248
o 88985
o 88984
o 88881
o 88771
o 88667
o 88654
o 88533
o 88529
o 88483
o 88383
o 88362
o 88347
o 88266
o 88069
o 87807
o 87802
o 87792
o 87786
o 87772
o 87770
o 87707
o 87699
o 87574
o 87464
o 87451
o 87430
o 87322
o 87281
o 87075
1979.671u 0.030s 33:01.76 99.8%	0+0k 0+0io 0pf+0w