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-240-1_network-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-10.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3508410
o 3507998
o 3507375
o 3507315
o 3506536
o 3506480
o 3503286
o 3500977
o 3500732
o 3500630
o 3500480
o 3500375
o 3500374
o 3500026
o 3499954
o 3499795
o 3499570
o 3499562
o 3499495
o 3499482
o 3499116
o 3499098
o 3499047
o 3499046
o 3499014
o 3498760
o 3498661
o 3498603
o 3498596
o 3498579
o 3498569
o 3498423
o 3498412
o 3494402