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-240-1_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-1.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3707410
o 3707212
o 3696985
o 3694328
o 3688271
o 3688087
o 3688075
o 3688046
o 3688028
o 3688015
o 3687989
o 3687911
o 3687819
o 3687722
o 3687662
o 3687634
o 3687544
o 3687505
o 3687462
o 3687389
o 3686567
o 3686528
o 3686392
o 3685526
o 3684977
o 3684439
o 3684278
o 3682811
o 3682093