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-300-1_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-4.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 4577156
o 4577064
o 4572911
o 4572516
o 4572401
o 4572344
o 4572340
o 4572277
o 4572242
o 4572074
o 4571976
o 4571789
o 4571747
o 4571646
o 4571610
o 4571527
o 4571470
o 4571404
o 4571324
o 4571279
o 4571169
o 4570871
o 4569881