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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3607782
o 3607645
o 3604327
o 3604191
o 3603083
o 3602603
o 3602286
o 3602265
o 3602050
o 3601796
o 3601672
o 3601616
o 3601604
o 3601573
o 3601454
o 3601398
o 3601377
o 3601322
o 3601098
o 3601054
o 3601050
o 3601008
o 3600705
o 3600684
o 3600591
o 3600449
o 3600236
o 3600164
o 3600116
o 3600042
o 3599996
o 3599798
o 3599624
o 3599613
o 3599502
o 3599481
o 3599444
o 3599405
o 3599281
o 3599225
o 3599179
o 3599091
o 3599088
o 3599072
o 3599048
o 3598760
o 3598263
o 3598192
o 3598175
o 3598174