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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 5539632
o 5539382
o 5537820
o 5534946
o 5532740
o 5532470
o 5532389
o 5529616
o 5529519
o 5527334
o 5525877
o 5525831
o 5525613
o 5525523
o 5525376
o 5525372
o 5525308
o 5525307
o 5524677
o 5524564
o 5524383
o 5524327
o 5523415
o 5523095
o 5522895
o 5522470
o 5522028
o 5521960
o 5521699
o 5521679
o 5521459
o 5521301
o 5521293
o 5521225
o 5521172
o 5521044
o 5520964
o 5520938
o 5520937
o 5520774
o 5520631
o 5520612
o 5520547
o 5520470
o 5520357
o 5520344