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-60-2_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2394750
o 2394600
o 2393805
o 2393573
o 2393435
o 2392882
o 2392736
o 2392417
o 2390491
o 2390269
o 2390266
o 2390133
o 2390024
o 2389875
o 2389793
o 2389663
o 2389640
o 2389569
o 2389412
o 2389354
o 2389146
o 2388867
o 2388177
o 2388147
o 2387863
o 2387506
o 2387401
o 2387134
o 2387129
o 2387050
o 2386959
o 2386745
o 2385985
o 2385926
o 2385829
o 2385820
o 2385772
o 2385621
o 2385616
o 2385500
o 2385413
o 2385401
o 2385270
o 2385241
o 2385141
o 2385112
o 2385063
o 2385060
o 2384960
o 2384927
o 2384915
o 2384609
o 2384560
o 2384493
o 2384429