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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-6.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3174340
o 3174277
o 3174139
o 3174110
o 3174023
o 3173971
o 3173832
o 3173813
o 3173794
o 3173561
o 3173557
o 3173039
o 3172977
o 3172788
o 3172777
o 3172717
o 3172701
o 3172619
o 3172604
o 3172579
o 3172539
o 3172501
o 3172303
o 3172260
o 3172136
o 3172120
o 3172091
o 3172066
o 3171989
o 3171956
o 3171900
o 3171869
o 3171782
o 3171738
o 3171625
o 3171605
o 3171393
o 3171389
o 3171317
o 3171296
o 3171271
o 3171262
o 3171216
o 3171201
o 3171134
o 3171104
o 3171097
o 3171052
o 3171004
o 3170944