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-280-1_network-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-280-1_network-4.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 4162224
o 4160439
o 4160358
o 4160075
o 4158134
o 4158058
o 4157932
o 4157907
o 4157856
o 4157730
o 4157421
o 4157273
o 4157178
o 4156366
o 4155776
o 4155483
o 4155135
o 4155033
o 4155030
o 4154932
o 4154923
o 4154740
o 4154586
o 4154445
o 4154419
o 4154358
o 4154193
o 4154169
o 4154127
o 4154120
o 4154013
o 4153982
o 4153978