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_120_0006.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_120_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_120_0006.txt.wcnf
c Solving...
o 74835
o 70903
o 70885
o 70800
o 70747
o 70741
o 70712
o 70694
o 70667
o 70627
o 70609
o 70567
o 70381
o 70365
o 70328
o 70291
o 70253
o 70242
o 70123
o 70086
o 70059
o 69976
o 69955
o 69911
o 69864
o 69788
o 69670
o 69641
o 69476
o 69465
o 69400
o 69381
o 69306
1979.622u 0.079s 33:07.38 99.6%	0+0k 0+0io 0pf+0w