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-200-1_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-8.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3120690
o 3118183
o 3113229
o 3112583
o 3111585
o 3109412
o 3107344
o 3107233
o 3106224
o 3106075
o 3106001
o 3105283
o 3104875
o 3104628
o 3104596
o 3102898
o 3102882
o 3102819
o 3102796
o 3102658
o 3102571
o 3102403
o 3102294
o 3101781
o 3101578
o 3101490
o 3101056
o 3100970
o 3100916
o 3100741
o 3100665
o 3100619
o 3100429
o 3100386
o 3100385
o 3100322
o 3100258
o 3100189
o 3099940
o 3099766
o 3099574
o 3099565
o 3099546
o 3099444
o 3099302
o 3099268
o 3099063
o 3098827
o 3098742
o 3098630
o 3098607
o 3098452
o 3098374
o 3098229
o 3098201
o 3098169
o 3098079
o 3098009
o 3097945
o 3097923
o 3097869
o 3097798
o 3097753
o 3097734
o 3097544
o 3097061
o 3097027
o 3096977
o 3096973
o 3096915
o 3096749
o 3096713
o 3096594
o 3096591
o 3096564
o 3096457
o 3096412
o 3096136
o 3095706
o 3095686
o 3095678
o 3095638
o 3095624
o 3095566
o 3095203
o 3095038
o 3094934
o 3093989
o 3093978
o 3093958
o 3093861
o 3093759
o 3093738
o 3093736