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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-7.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3093775
o 3093577
o 3091736
o 3091001
o 3090944
o 3089818
o 3089635
o 3089529
o 3089455
o 3089127
o 3088931
o 3088878
o 3088612
o 3088567
o 3088552
o 3088536
o 3088406
o 3088318
o 3087695
o 3087633
o 3087623
o 3087587
o 3087540
o 3087501
o 3087256
o 3087095
o 3086892
o 3086878
o 3086874
o 3086806
o 3086805
o 3086693
o 3086614
o 3086549
o 3086525
o 3086290
o 3086267
o 3086253
o 3086235
o 3086126
o 3086100
o 3085973
o 3085972
o 3085926
o 3085884
o 3085854
o 3085746
o 3085453
o 3085364
o 3085361
o 3085354