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_160_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_160_0001.txt.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...c-paths/cat_paths_60_160_0001.txt.wcnf
c Solving...
o 107065
o 103882
o 103694
o 103688
o 103439
o 103438
o 103106
o 103072
o 102928
o 102602
o 102496
o 102495
o 102401
o 102134
o 102064
o 101935
o 101405
o 101360
o 101069
o 101051
o 100846
o 100771
o 100644
o 100599
o 100446
o 100332
o 100161
o 100150
o 100127
o 100082
o 100080
o 99942
o 99929
1979.608u 0.093s 33:13.84 99.2%	0+0k 0+0io 0pf+0w