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_wcsp_spot5_log_505.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/505.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...afted/wcsp/spot5/log/505.wcsp.log.wcnf
c Solving...
o 27271
o 23293
o 23292
o 22270
o 22269
o 22268
o 22267
o 22264
o 22263
o 22262
o 22261
o 22260
o 22259
o 22258
o 22257
o 21289
o 21283
o 21265
o 21264
o 21263
o 21262
o 21261
o 21260
1979.615u 0.089s 33:10.93 99.4%	0+0k 0+0io 0pf+0w