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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-10.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 4411172
o 4408447
o 4408333
o 4405147
o 4404984
o 4404962
o 4404654
o 4404450
o 4404361
o 4401757
o 4399976
o 4399813
o 4399533
o 4399303
o 4399275
o 4399141
o 4398800
o 4398775
o 4398711
o 4398623
o 4398541
o 4398321