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_random-net_random-net-100-2_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3573552
o 3570276
o 3566666
o 3566207
o 3566011
o 3565814
o 3565697
o 3565155
o 3564981
o 3564797
o 3564601
o 3561670
o 3561456
o 3560921
o 3560780
o 3560683
o 3560660
o 3560449
o 3559596
o 3559381
o 3558998
o 3558989
o 3558774
o 3554352
o 3554259
o 3553817
o 3553381
o 3553054
o 3552775
o 3552447
o 3552178
o 3551987
o 3551948
o 3551913
o 3551860
o 3551714
o 3551562
o 3551513
o 3551359
o 3551250
o 3550854
o 3550776
o 3550471
o 3550203
o 3550202
o 3550181
o 3550068
o 3550064
o 3549854
o 3549677
o 3549630
o 3549515
o 3549509
o 3549477