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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-4.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 4059851
o 4059496
o 4058975
o 4058875
o 4057960
o 4057838
o 4057174
o 4056629
o 4056248
o 4055670
o 4055530
o 4054864
o 4054211
o 4054173
o 4054111
o 4053921
o 4053828
o 4053752
o 4053570
o 4053395
o 4053272
o 4053027
o 4052879
o 4052728
o 4052613
o 4052152
o 4050125
o 4050047
o 4049929
o 4049792
o 4048341
o 4045900
o 4045881
o 4045868
o 4045679
o 4041165
o 4039769
o 4039643
o 4039642