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-50-2_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1411443
o 1411313
o 1409596
o 1409494
o 1409381
o 1408981
o 1408559
o 1408521
o 1408293
o 1408278
o 1407575
o 1407030
o 1406520
o 1406115
o 1405950
o 1405755
o 1405349
o 1405233
o 1405085
o 1405073
o 1404826
o 1404629
o 1404292
o 1403309
o 1403164
o 1403077
o 1402841
o 1402758
o 1402587
o 1402559
o 1402553
o 1402537
o 1402470
o 1402312
o 1402062
o 1401127
o 1399718
o 1399255
o 1399231
o 1399083
o 1398933
o 1398830
o 1398371
o 1398067
o 1397822
o 1397696
o 1397670
o 1397364
o 1397247
o 1397246
o 1396751