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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 4168646
o 4167663
o 4165998
o 4164566
o 4163565
o 4163389
o 4162627
o 4159316
o 4159154
o 4159137
o 4159072
o 4158890
o 4158724
o 4158512
o 4158495
o 4158304
o 4158100
o 4158068
o 4158010
o 4157698
o 4157063
o 4156743
o 4156552
o 4156485
o 4156302
o 4156022
o 4155975
o 4155923
o 4154908
o 4154902
o 4154706
o 4154100
o 4154050
o 4153866
o 4153645
o 4153447
o 4153348
o 4153235
o 4153054
o 4153043
o 4152975
o 4152950
o 4152748
o 4152695
o 4152413
o 4152376
o 4152371
o 4152151
o 4152070
o 4152056
o 4151979
o 4151955
o 4151831
o 4151803
o 4151749
o 4151568
o 4151382
o 4151317
o 4151174
o 4151161
o 4150978
o 4150825
o 4150821
o 4150188
o 4150147
o 4149832
o 4149823
o 4149702
o 4149464
o 4149308
o 4149253
o 4149188
o 4149125