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_414.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/414.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/claspMaxSat/claspMaxSat
c clasp version 2.0.0-RC2
c Reading from ...afted/wcsp/spot5/log/414.wcsp.log.wcnf
c Solving...
o 49511
o 43518
o 43517
o 43507
o 43506
o 43500
o 43499
o 43497
o 42516
o 42515
o 42514
o 42510
o 42503
o 42502
o 42500
o 42499
o 42498
o 40516
o 40515
o 40513
o 40512
o 40511
o 40508
o 40506
o 40505
o 40504
o 40493
o 40488
o 39506
o 39503
o 39501
o 39499
o 39498
o 39497
o 39496
o 39495
o 39494
o 39493
o 39492
o 38524
o 38513
o 38512
o 38511
o 38507
o 38503
o 38499
1979.568u 0.142s 33:01.52 99.9%	0+0k 0+0io 0pf+0w