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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3808266
o 3808181
o 3806742
o 3806304
o 3805406
o 3804203
o 3804199
o 3804188
o 3804167
o 3804132
o 3804120
o 3804089
o 3803662
o 3803473
o 3803124
o 3803010
o 3802970
o 3802954
o 3802942
o 3802929
o 3802922
o 3802714
o 3802618
o 3802610
o 3802448
o 3802283
o 3802227
o 3802223
o 3801787
o 3801500
o 3801416
o 3801113
o 3800533
o 3800347
o 3800173
o 3799981
o 3799558
o 3799345
o 3799114
o 3799106
o 3799070
o 3798991
o 3798962
o 3798327
o 3798231
o 3798139
o 3798032
o 3797503
o 3797418
o 3797263
o 3797174
o 3797158
o 3796985
o 3796866
o 3796860
o 3796806
o 3796785
o 3796679
o 3796624
o 3796465
o 3796228
o 3796224
o 3796219
o 3795639