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_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/auctions/auc-paths/cat_paths_60_150_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_150_0001.txt.wcnf
c Solving...
o 99263
o 94935
o 94770
o 94732
o 94650
o 94612
o 94598
o 94516
o 94478
o 94392
o 94258
o 94214
o 94196
o 94118
o 94080
o 94076
o 94054
o 93997
o 93921
o 93810
o 93676
o 93641
o 93613
o 93608
o 93363
o 93219
o 93175
o 93138
o 93117
o 93031
o 92966
o 92896
o 92879
o 92803
o 92762
o 92668
o 92576
o 92537
o 92486
o 92480
o 92469
o 92386
o 92375
o 92373
o 92362
o 92331
o 92299
1979.677u 0.025s 33:04.28 99.7%	0+0k 0+0io 0pf+0w