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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-5.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 4229764
o 4228089
o 4222208
o 4220873
o 4219275
o 4218785
o 4218784
o 4217978
o 4216692
o 4216617
o 4216466
o 4214884
o 4214205
o 4213903
o 4213837
o 4213608
o 4212982
o 4212445
o 4212361
o 4212201
o 4212135
o 4211709
o 4211642
o 4208534
o 4207956
o 4207856
o 4207408
o 4207067
o 4207004
o 4207003
o 4206994
o 4206899
o 4206329
o 4205952