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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-7.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 4707441
o 4706048
o 4705059
o 4701275
o 4699255
o 4699044
o 4697993
o 4697966
o 4697134
o 4697104
o 4696418
o 4696261
o 4696165
o 4695980
o 4695700
o 4695612
o 4694965
o 4693824
o 4693333
o 4693051
o 4693033