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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2799790
o 2799182
o 2798444
o 2798067
o 2796151
o 2795576
o 2794376
o 2793434
o 2791559
o 2791339
o 2791187
o 2791149
o 2791123
o 2791112
o 2790786
o 2790661
o 2790619
o 2790528
o 2789645
o 2789556
o 2789412
o 2789192
o 2789051
o 2789031
o 2787255
o 2787229
o 2787183
o 2787127
o 2786857
o 2786846
o 2786766
o 2786657
o 2786504
o 2786407
o 2786396
o 2786370
o 2786149
o 2785670
o 2785527
o 2785511
o 2785496
o 2785348
o 2785337
o 2785329
o 2785265
o 2785146
o 2785131
o 2785025
o 2784888
o 2784841
o 2784757
o 2784743
o 2784678
o 2784564
o 2784561
o 2784514