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_0003.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_150_0003.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_0003.txt.wcnf
c Solving...
o 111981
o 108384
o 108327
o 108321
o 107934
o 107896
o 107877
o 107839
o 107587
o 107514
o 107429
o 107387
o 107370
o 107339
o 107303
o 107199
o 107195
o 107155
o 107131
o 107003
o 106962
o 106943
o 106878
o 106689
o 106645
o 106606
o 106500
o 106499
o 106497
o 106473
1979.631u 0.071s 33:04.27 99.7%	0+0k 0+0io 0pf+0w