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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-280-1_network-7.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 4448428
o 4448171
o 4439571
o 4434793
o 4434171
o 4434167
o 4434131
o 4434064
o 4434049
o 4433963
o 4433439
o 4432976
o 4431851
o 4430611
o 4430490
o 4430389
o 4430356
o 4430351
o 4430348
o 4430311
o 4430257
o 4430168
o 4430151
o 4430131
o 4429931
o 4429879
o 4429871
o 4429863
o 4429860
o 4429696
o 4429427
o 4429361
o 4429342
o 4429300
o 4428772
o 4428729
o 4428301
o 4428080
o 4427904
o 4427775
o 4427733
o 4427720
o 4427707