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-200-1_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-3.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3239766
o 3236867
o 3236827
o 3236641
o 3235811
o 3234811
o 3234778
o 3234700
o 3234558
o 3234170
o 3234169
o 3233952
o 3233841
o 3233475
o 3233345
o 3233190
o 3233150
o 3233061
o 3233014
o 3232974
o 3232919
o 3232900
o 3232883
o 3232538
o 3232497
o 3232440
o 3232288
o 3232281
o 3232228
o 3232118
o 3232049
o 3231884
o 3231866
o 3231851
o 3231846
o 3231782
o 3231675
o 3231633
o 3231629
o 3231575
o 3231571
o 3231561
o 3231525
o 3231512
o 3231365
o 3231290
o 3231230
o 3231119
o 3231113
o 3231109
o 3231084
o 3231083