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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-4.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3221528
o 3220928
o 3220751
o 3220568
o 3220023
o 3219932
o 3218852
o 3215553
o 3214408
o 3214191
o 3214025
o 3213930
o 3213767
o 3213323
o 3213156
o 3212441
o 3211893
o 3211834
o 3211598
o 3210038
o 3209636
o 3209555
o 3209530
o 3209374
o 3209352
o 3209243
o 3209239
o 3208993
o 3208625
o 3208038
o 3207979
o 3207976
o 3207952
o 3207913
o 3207859
o 3207819
o 3207762
o 3207641