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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-10.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 3553951
o 3551256
o 3550802
o 3550625
o 3550623
o 3550495
o 3550406
o 3550284
o 3550193
o 3550169
o 3550148
o 3549491
o 3549455
o 3549298
o 3549092
o 3549039
o 3548703
o 3548350
o 3548309
o 3548140
o 3547802
o 3547690
o 3547677
o 3546979
o 3546972
o 3546747
o 3546660
o 3546497
o 3546318
o 3546139
o 3545960
o 3545734
o 3545672
o 3545656
o 3545508
o 3545396
o 3545086
o 3544977
o 3544765
o 3544693
o 3544351
o 3544277
o 3543748
o 3543745
o 3543690
o 3543495
o 3543466
o 3543370
o 3543317
o 3542531
o 3542523
o 3541819
o 3541417
o 3541148
o 3541080
o 3540976
o 3540664
o 3540612
o 3540609
o 3540484
o 3540415
o 3540102
o 3539980
o 3539523
o 3539100
o 3538495
o 3538271
o 3538187
o 3538156
o 3538090
o 3537994
o 3537960
o 3537803
o 3537772
o 3537744
o 3537437
o 3537119
o 3536974
o 3536573
o 3536541
o 3536357
o 3536147
o 3536021
o 3535967
o 3535921
o 3535866
o 3535310
o 3534979
o 3534832
o 3534661
o 3534150
o 3533593
o 3533180
o 3532771
o 3532308
o 3532259