Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-300-1_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-9.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 764 2634 4638250
WARNING: Ubcsat not found.
o 4638250
o 899617
o 899445
o 898744
o 898563
o 898557
o 898385
o 897684
o 897538
o 896837
o 896808
o 896662
o 896633
o 896250
o 896221
o 896197
o 896051
o 895350
o 895321
o 895302
o 894992
o 894963
o 894939
o 894793
o 894092
o 894063
o 893871
o 893842
o 893182
o 893153
o 892999
o 892970
o 892880
o 892179
o 892150
o 891958
o 891929
o 891269
o 891240
o 891161
o 891132
o 891130
o 890470
o 890441
o 890287
o 890258
o 890168
o 889467
o 889438
o 889246
o 889217
o 888557
o 888528
o 887930
o 887901
o 887861
o 887160
o 887131
o 886939
o 886910
o 886250
o 886221
o 885817
o 885788
o 885308
o 885279
o 885239
o 884538
o 884509
o 884317
o 884288
o 883628
o 883599
o 883565
o 883536
o 883496
o 882795
o 882766
o 882574
o 882545
o 881885
o 881856
o 881330
o 881301
o 880914
o 880885
o 880693
o 880664
o 880004
o 879975
o 879449
o 879420
o 879023
o 878994
o 878549
o 878520
o 877994
o 877965
o 877457
o 877428
o 877031
o 877002
o 876557
o 876528
o 876002
o 875973
o 875751
o 875722
o 875196
o 875167
o 874781
o 874752
o 874530
o 874501
o 873975
o 873946
o 873924
o 873398
o 873369
o 873225
o 873196
o 872956
o 872927
o 872810
o 872781
o 872541
o 872512
o 872290
o 872261
o 872004
o 871975
o 871735
o 871706
o 871684
o 871427
o 871398
o 871158
o 871129
o 871029
o 871000
o 870883
o 870854
o 870614
o 870585
o 870363
o 870334
o 870077
o 870048
o 869808
o 869779
o 869757
o 869500
o 869471
o 869231
o 869202
o 868976
o 868947
o 868749
o 868720
o 868620
o 868591
o 868474
o 868445
o 868205
o 868176
o 867954
o 867925
o 867668
o 867639
o 867399
o 867370
o 867348
o 867091
o 867062
o 866822
o 866793
o 866567
o 866538
o 866421
o 866392
o 866170
o 866141
o 865884
o 865855
o 865615
o 865586
o 865564
o 865307
o 865278
o 865038
o 865009
o 864783
o 864754
o 864744
o 864715
o 864712
o 864683
o 864661
o 864404
o 864375
o 864135
o 864106
o 863880
o 863851
o 863734
o 863705
o 863483
o 863454
o 863197
o 863168
o 862928
o 862899
o 862877
o 862620
o 862591
o 862351
o 862322
o 862096
o 862067
o 862057
o 862028
o 861846
o 861817
o 861795
o 861538
o 861509
o 861269
o 861240
o 861014
o 860985
o 860975
o 860946
o 860867
o 860838
o 860816
o 860559
o 860530
o 860290
o 860261
o 860035
o 860006
o 859996
o 859967
o 859935
o 859906
o 859896
o 859867
o 859854
o 859825
o 859809
o 859788
o 859759
o 859737
o 859480
o 859451
o 859211
o 859182
o 858956
o 858927
o 858917
o 858888
o 858864
o 858842
o 858692
o 858663
o 858585
o 858556
o 858316
o 858287
o 858061
o 858032
o 858022
o 857993
o 857961
o 857932
o 857922
o 857893
o 857880
o 857851
o 857835
o 857814
o 857785
o 857763
o 857613
o 857584
o 857506
o 857477
o 857237
o 857208
o 856982
o 856953
o 856943
o 856914
o 856758
o 856729
o 856489
o 856460
o 856234
o 856205
o 856195
o 856166
o 856142
o 856120
o 855970
o 855941
o 855863
o 855834
o 855594
o 855565
o 855339
o 855310
o 855300
o 855271
o 855239
o 855210
o 855200
o 855171
o 855158
o 855129
o 855113
o 855092
o 855063
o 855041
o 854891
o 854862
o 854784
o 854755
o 854515
o 854486
o 854260
o 854231
o 854221
o 854192
o 854021
o 853992
o 853766
o 853737
o 853727
o 853698
o 853666
o 853637
o 853627
o 853598
o 853585
o 853556
o 853540
o 853519
o 853490
o 853468
o 853318
o 853289
o 853211
o 853182
o 852942
o 852913
o 852687
o 852658
o 852648
o 852619
o 852473
o 852444
o 852218
o 852189
o 852179
o 852150
o 852126
o 852104
o 851954
o 851925
o 851847
o 851818
o 851578
o 851549
o 851323
o 851294
o 851284
o 851255
o 851223
o 851194
o 851184
o 851155
o 851142
o 851113
o 851097
o 851076
o 851047
o 851025
o 850875
o 850846
o 850768
o 850739
o 850499
o 850470
o 850244
o 850215
o 850205
o 850176
o 850156
o 850006
o 849977
o 849899
o 849870
o 849630
o 849601
o 849375
o 849346
o 849336
o 849307
o 849274
o 849245
o 849019
o 848990
o 848980
o 848951
o 848919
o 848890
o 848880
o 848851
o 848838
o 848809
o 848793
o 848772
o 848743
o 848721
o 848571
o 848542
o 848464
o 848435
o 848195
o 848166
o 847940
o 847911
o 847901
o 847872
o 847764
o 847735
o 847725
oKilled
1979.685u 0.014s 33:12.57 99.3%	0+0k 0+0io 0pf+0w