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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-10.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2987522
o 2986942
o 2984188
o 2983526
o 2983502
o 2980320
o 2980097
o 2980059
o 2979904
o 2979820
o 2979778
o 2976933
o 2976712
o 2976588
o 2976415
o 2976389
o 2976372
o 2976355
o 2976250
o 2976182
o 2976083
o 2975734
o 2975447
o 2974484
o 2974366
o 2974351
o 2974307
o 2974278
o 2974211
o 2974060
o 2973997