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-100-2_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3580479
o 3578851
o 3578597
o 3577829
o 3576863
o 3575835
o 3575187
o 3575048
o 3574698
o 3574447
o 3574357
o 3574282
o 3574077
o 3573440
o 3572896
o 3572674
o 3572616
o 3572473
o 3572419
o 3572146
o 3572052
o 3571599
o 3571222
o 3570747
o 3570407
o 3570376
o 3570357
o 3570287