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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-6.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3677454
o 3675885
o 3674536
o 3674531
o 3674303
o 3674136
o 3673714
o 3673689
o 3673679
o 3673672
o 3673593
o 3673565
o 3673480
o 3673015
o 3672994
o 3672985
o 3672978
o 3672911
o 3672750
o 3672723
o 3671296
o 3671061
o 3670953
o 3670899
o 3670846
o 3669577
o 3669557
o 3669512
o 3669349
o 3669333
o 3669245