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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-280-1_network-2.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 4362483
o 4360420
o 4359498
o 4359356
o 4357587
o 4354234
o 4354138
o 4354100
o 4354023
o 4353956
o 4353023
o 4352739
o 4352388
o 4352366
o 4352148
o 4351995
o 4351663
o 4351599
o 4351568
o 4351530
o 4351501
o 4351494