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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-100-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 2942378
o 2941615
o 2941322
o 2940655
o 2939552
o 2939132
o 2937601
o 2937257
o 2937231
o 2937177
o 2937175
o 2937156
o 2937033
o 2937016
o 2936776
o 2936434
o 2936407
o 2936384
o 2936280
o 2936232
o 2936167
o 2933271
o 2933103
o 2933075
o 2933065
o 2932995
o 2932769
o 2932750
o 2932713
o 2932172
o 2932101
o 2931432
o 2931368
o 2931344
o 2931308
o 2930859
o 2930710
o 2929345
o 2928083
o 2928044
o 2928015
o 2927967
o 2927487
o 2927367
o 2927008
o 2926976
o 2926809
o 2926786
o 2926733
o 2926355
o 2926165
o 2926105
o 2926078
o 2925519
o 2925497
o 2925353
o 2925117
o 2924702
o 2924118
o 2923676
o 2923302
o 2922712
o 2922684
o 2922604
o 2922426
o 2922314
o 2922106
o 2921586
o 2921487
o 2921468
o 2921132
o 2920658