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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2686852
o 2686816
o 2686651
o 2686412
o 2685702
o 2684893
o 2684878
o 2684741
o 2684673
o 2684352
o 2684325
o 2684072
o 2684022
o 2683792
o 2683756
o 2683692
o 2683251
o 2683138
o 2682989
o 2682856
o 2682778
o 2682740
o 2682735
o 2682722
o 2682679
o 2682585
o 2682539
o 2682496
o 2680974
o 2680952
o 2680911
o 2680830
o 2680295
o 2680086
o 2679993
o 2679882
o 2679850
o 2679763
o 2679654
o 2679552
o 2679348
o 2679189
o 2678998
o 2678876
o 2678824
o 2678767
o 2678545
o 2678425
o 2677532
o 2677382
o 2677342
o 2677290
o 2677249
o 2677113
o 2677019
o 2676992
o 2676098
o 2675403
o 2674683
o 2673856
o 2673762
o 2673142
o 2672851
o 2672498
o 2671713
o 2670449
o 2670194
o 2670055
o 2669969
o 2669902
o 2669162
o 2668963
o 2668845
o 2668820
o 2668667
o 2668660
o 2668510
o 2668308
o 2667982