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-80-2_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2772305
o 2768719
o 2764889
o 2763528
o 2763276
o 2763246
o 2763234
o 2762973
o 2762810
o 2762754
o 2762611
o 2762602
o 2762277
o 2762096
o 2761997
o 2761109
o 2761006
o 2760987
o 2760930
o 2760859
o 2760815
o 2760750
o 2760729
o 2760695
o 2760536
o 2760408
o 2760382
o 2760344
o 2759929
o 2759758
o 2758913
o 2758865
o 2758726
o 2758720
o 2758639
o 2758574
o 2758568
o 2758541
o 2758170
o 2757538
o 2757268
o 2757258
o 2756665
o 2756429
o 2755746
o 2755651
o 2755602
o 2755264
o 2755124
o 2755085
o 2754944
o 2754229
o 2754138
o 2754099
o 2754019
o 2753972
o 2753795
o 2753212
o 2753109
o 2752613
o 2752574
o 2752181
o 2751300
o 2750294
o 2750211
o 2749995
o 2749931
o 2749893
o 2749890
o 2749668
o 2749435
o 2748946
o 2748885
o 2747805
o 2747095
o 2747002
o 2746895
o 2746887
o 2746843
o 2746809
o 2746744
o 2746535
o 2746363
o 2746043
o 2745901
o 2745456
o 2745070
o 2744835
o 2744542