Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wbo-1.4b-wcnf-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_WCSP_SPOT5_LOG_1401.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/WCSP/SPOT5/LOG/1401.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 605131
o 604132
o 604131
o 603131
o 602131
o 601129
o 601128
o 600133
o 600129
o 599128
o 598134
o 598128
o 596130
o 596129
o 595130
o 595129
o 595127
o 594131
o 594130
o 594129
o 594127
o 594126
o 594125
o 582126
o 581124
o 572122
o 566125
o 562131
o 562130
o 562123