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-80-2_network-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-80-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3296658
o 3295804
o 3295712
o 3293301
o 3293087
o 3292954
o 3292950
o 3292705
o 3292688
o 3291911
o 3291758
o 3291318
o 3290087
o 3289405
o 3289351
o 3288922
o 3288262
o 3286726
o 3286552
o 3284755
o 3284642
o 3284252
o 3283887
o 3283629
o 3283559
o 3283385
o 3283367
o 3282307
o 3281882
o 3281444
o 3281241
o 3280698
o 3280674
o 3280658
o 3280530
o 3280326
o 3279464
o 3279370
o 3279146
o 3278759
o 3278437
o 3278401
o 3278154
o 3277750
o 3276754
o 3276699
o 3276526
o 3276147
o 3276106
o 3276031
o 3275828
o 3275802