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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-1.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2753803
o 2753364
o 2750739
o 2750096
o 2749026
o 2748622
o 2748567
o 2748430
o 2748393
o 2748336
o 2748260
o 2748250
o 2748246
o 2748232
o 2748110
o 2748056
o 2747891
o 2747869
o 2747627
o 2747557
o 2747425
o 2747359
o 2747354
o 2747253
o 2747144
o 2746879
o 2746851
o 2746831
o 2746708
o 2746599
o 2746571
o 2746414
o 2746391
o 2746346
o 2746283
o 2746115
o 2746088
o 2745959
o 2745918
o 2745748
o 2745741
o 2745710
o 2745690
o 2745682
o 2745616
o 2745498
o 2745382
o 2745374
o 2745366
o 2745327
o 2745313
o 2745258
o 2745085
o 2745003
o 2744905
o 2744754
o 2744731
o 2744551
o 2744514
o 2744471
o 2744439
o 2744429
o 2744379
o 2744310
o 2744239
o 2744155
o 2744122
o 2744094
o 2744075
o 2744022
o 2743986
o 2743976
o 2743939
o 2743862
o 2743834