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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-3.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3617445
o 3613821
o 3613354
o 3612795
o 3609910
o 3609901
o 3609872
o 3609730
o 3609660
o 3609589
o 3609368
o 3609333
o 3609321
o 3609288
o 3609200
o 3609126
o 3609078
o 3609065
o 3609064
o 3609052
o 3608480
o 3608465
o 3608223
o 3608111
o 3608065
o 3608056
o 3607994
o 3607980
o 3607849
o 3607788
o 3607693
o 3607674
o 3607620
o 3607598
o 3607530
o 3607475
o 3607471
o 3607079
o 3607044
o 3607026
o 3606986
o 3606914
o 3606894
o 3606808
o 3606459
o 3606432
o 3606397