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-60-2_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/wbo-1.4b/wbo-1.4b-wcnf
o 1873763
o 1868092
o 1867922
o 1867591
o 1867358
o 1867154
o 1867142
o 1866813
o 1866395
o 1866035
o 1866019
o 1865989
o 1865700
o 1865536
o 1865487
o 1865157
o 1865132
o 1865123
o 1865004
o 1864961
o 1864622
o 1863911
o 1863406
o 1863178
o 1863103
o 1862691
o 1862555
o 1862510
o 1862148
o 1862069
o 1861955
o 1861755
o 1861723
o 1861706
o 1861663
o 1861591
o 1861370
o 1860519
o 1860022
o 1859613
o 1857687
o 1857278
o 1857138
o 1856711
o 1856408
o 1856175
o 1855838
o 1855819
o 1855627
o 1855494
o 1855218
o 1855184
o 1855169
o 1854697
o 1854675
o 1854667
o 1854618
o 1854575
o 1854401
o 1853786
o 1853604
o 1853197
o 1853048
o 1852552
o 1852479
o 1852188
o 1852163
o 1851912
o 1851463
o 1851458
o 1851352
o 1851335
o 1851128
o 1851108
o 1850914
o 1850744
o 1850613
o 1850472
o 1850308
o 1850291
o 1850094
o 1850035
o 1849903
o 1849770
o 1849710
o 1849610
o 1849444
o 1849379
o 1849240
o 1849116
o 1849083
o 1848987
o 1848938
o 1848770
o 1848624
o 1848504
o 1848406
o 1848371
o 1848234
o 1848196
o 1847965
o 1847644
o 1847619
o 1847409
o 1847307
o 1847200
o 1847114
o 1846746
o 1846587
o 1846544
o 1846540
o 1846474
o 1846421
o 1846410
o 1846405
o 1846363
o 1846248
o 1846158
o 1846140
o 1846097
o 1846005
o 1845995
o 1845909
o 1845891
o 1845829
o 1845628
o 1845627
o 1845540
o 1845424
o 1845280
o 1845201
o 1845159
o 1845087
o 1845044
o 1845032
o 1845026
o 1844983
o 1844943
o 1844863
o 1844849
o 1844833
o 1844815
o 1844739
o 1844728
o 1844662
o 1844519
o 1844313
o 1844199
o 1844142
o 1844002
o 1843981
o 1843888
o 1843866
o 1843809