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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3751020
o 3750621
o 3750497
o 3750479
o 3750430
o 3750150
o 3749894
o 3749889
o 3749873
o 3749492
o 3749242
o 3748916
o 3748723
o 3748070
o 3747809
o 3747795
o 3747738
o 3747730
o 3746969
o 3746670
o 3746565
o 3746253
o 3746240
o 3746204
o 3745650
o 3745433
o 3745283
o 3745243
o 3745203
o 3745159
o 3744912
o 3744294
o 3744273
o 3744211
o 3744095
o 3743956
o 3743791
o 3743342
o 3743237
o 3743205
o 3743188
o 3743054
o 3742937
o 3742850
o 3742722
o 3742538
o 3742369
o 3742335
o 3742198
o 3742091
o 3742007
o 3741955
o 3741818
o 3741654
o 3741447
o 3741249
o 3741195
o 3741171
o 3741159
o 3741081
o 3740884
o 3740816
o 3740702
o 3740469
o 3740345
o 3740287
o 3740154
o 3739882
o 3739470
o 3739390
o 3739200
o 3739177
o 3738984
o 3738865
o 3738844
o 3738769
o 3738575
o 3738513
o 3738505
o 3738327
o 3738213
o 3738038
o 3737871
o 3737799
o 3737627
o 3737482
o 3737426
o 3736809
o 3736757
o 3736631
o 3736579
o 3736366
o 3736317
o 3736083
o 3736062
o 3735986
o 3735948
o 3735358
o 3735330
o 3735325
o 3735080
o 3734952
o 3734569
o 3734391
o 3734289
o 3733936