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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-1.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3941071
o 3940901
o 3940148
o 3939752
o 3939335
o 3939004
o 3938804
o 3938613
o 3938595
o 3938479
o 3937770
o 3937282
o 3937254
o 3937230
o 3937030
o 3936876
o 3936632
o 3936578
o 3936550
o 3936392
o 3936366
o 3936356
o 3936347
o 3936225
o 3936197
o 3935931
o 3935859
o 3935623
o 3935285
o 3935176
o 3935133
o 3934961
o 3934638
o 3934522
o 3934433
o 3934352
o 3934222
o 3933360
o 3932724
o 3932565
o 3932295
o 3932271
o 3932267
o 3932258
o 3931856
o 3931718
o 3931552
o 3931360
o 3931252
o 3931070
o 3930587
o 3930513
o 3930469
o 3930283
o 3930276
o 3930267
o 3930143
o 3930105
o 3930104
o 3929959
o 3929849
o 3929801
o 3929693
o 3929600
o 3929135
o 3929121
o 3929113
o 3928964
o 3928934
o 3928914
o 3928909
o 3928847
o 3928682
o 3928459
o 3928228
o 3928156
o 3928097
o 3927926
o 3927754
o 3927750
o 3927734
o 3927589
o 3927324
o 3927143
o 3927074
o 3926802
o 3926760
o 3926655
o 3926598
o 3926410
o 3926197
o 3926065
o 3926033
o 3925700
o 3925632
o 3925334
o 3925152
o 3925109
o 3924952
o 3924928
o 3924830
o 3924780
o 3924735
o 3924613
o 3924520