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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 744 2542 4396864
WARNING: Ubcsat not found.
o 4396864
o 887293
o 886627
o 885383
o 884507
o 884012
o 883459
o 882964
o 882761
o 882563
o 882360
o 882264
o 882061
o 881956
o 881758
o 881555
o 881459
o 881256
o 881233
o 881035
o 880832
o 880736
o 880533
o 880484
o 880281
o 880185
o 879982
o 879966
o 879809
o 879760
o 879557
o 879461
o 879258
o 879208
o 879112
o 878909
o 878826
o 878777
o 878574
o 878478
o 878275
o 878225
o 878129
o 877926
o 877911
o 877862
o 877659
o 877563
o 877360
o 877310
o 877214
o 877011
o 876984
o 876888
o 876685
o 876635
o 876539
o 876336
o 876321
o 876272
o 876069
o 875973
o 875770
o 875720
o 875624
o 875421
o 875365
o 875195
o 875180
o 875131
o 874928
o 874832
o 874629
o 874579
o 874483
o 874280
o 874253
o 874157
o 873954
o 873904
o 873808
o 873605
o 873590
o 873541
o 873338
o 873242
o 873039
o 872989
o 872893
o 872690
o 872655
o 872559
o 872356
o 872306
o 872210
o 872007
o 871980
o 871884
o 871681
o 871631
o 871535
o 871332
o 871317
o 871268
o 871065
o 870969
o 870766
o 870716
o 870620
o 870417
o 870263
o 870178
o 869975
o 869894
o 869843
o 869771
o 869568
o 869494
o 869422
o 869219
o 869131
o 868928
o 868856
o 868653
o 868579
o 868507
o 868304
o 868150
o 868137
o 868065
o 867862
o 867837
o 867763
o 867691
o 867488
o 867334
o 867321
o 867249
o 867046
o 867022
o 866950
o 866747
o 866593
o 866580
o 866508
o 866305
o 866152
o 866080
o 865877
o 865803
o 865731
o 865528
o 865374
o 865361
o 865289
o 865086
o 865061
o 864987
o 864915
o 864712
o 864558
o 864545
o 864473
o 864270
o 864246
o 864174
o 863971
o 863817
o 863804
o 863732
o 863529
o 863418
o 863264
o 863251
o 863179
o 862976
o 862952
o 862880
o 862677
o 862523
o 862510
o 862438
o 862235
o 862082
o 861928
o 861915
o 861843
o 861640
o 861616
o 861544
o 861341
o 861187
o 861174
o 861102
o 860899
o 860789
o 860776
o 860704
o 860501
o 860477
o 860405
o 860202
o 860048
o 860035
o 859963
o 859760
o 859607
o 859453
o 859440
o 859368
o 859165
o 859141
o 859069
o 858866
o 858712
o 858699
o 858627
o 858424
o 858284
o 858131
o 857977
o 857964
o 857892
o 857689
o 857665
o 857593
o 857390
o 857236
o 857223
o 857151
o 856948
o 856943
o 856871
o 856668
o 856514
o 856501
o 856429
o 856226
o 856034
o 855894
o 855741
o 855587
o 855574
o 855502
o 855299
o 855275
o 855203
o 855000
o 854846
o 854833
o 854761
o 854558
o 854553
o 854481
o 854278
o 854124
o 854111
o 854039
o 853836
o 853762
o 853749
o 853677
o 853474
o 853350
o 853196
o 853183
o 853111
o 852908
o 852884
o 852812
o 852609
o 852455
o 852442
o 852370
o 852167
o 852162
o 852090
o 851887
o 851733
o 851720
o 851648
o 851445
o 851371
o 851358
o 851286
o 851083
o 851037
o 851024
o 850952
o 850749
o 850675
o 850662
o 850590
o 850387
o 850263
o 850109
o 850096
o 850024
o 849821
o 849797
o 849725
o 849522
o 849368
o 849355
o 849283
o 849080
o 849075
o 849003
o 848800
o 848646
o 848633
o 848561
o 848358
o 848284
o 848271
o 848199
o 847996
o 847886
o 847881
o 847809
o 847606
o 847452
o 847439
o 847367
o 847164
o 847090
o 847077
o 847005
o 846802
o 846764
o 846561
o 846537
o 846465
o 846262
o 846108
o 846095
o 846023
o 845820
o 845815
o 845743
o 845540
o 845386
o 845373
o 845301
o 845098
o 845024
o 845011
o 844939
o 844736
o 844592
o 844570
o 844367
o 844293
o 844280
o 844208
o 844005
o 843898
o 843885
o 843813
o 843610
o 843605
o 843533
o 843330
o 843176
o 843163
o 843091
o 842888
o 842814
o 842801
o 842729
o 842526
o 842445
o 842301
o 842279
o 842076
o 842002
o 841989
o 841917
o 841714
o 841607
o 841594
o 841522
o 841319
o 841314
o 841242
o 841039
o 840885
o 840872
o 840800
o 840597
o 840523
o 840510
o 840438
o 840235
o 840151
o 840077
o 840064
o 839992
o 839789
o 839738
o 839716
o 839513
o 839439
o 839426
o 839354
o 839151
o 839044
o 839031
o 838959
o 838756
o 838751
o 838679
o 838476
o 838322
o 838309
o 838237
o 838034
o 837960
o 837947
o 837875
o 837672
o 837588
o 837514
o 837501
o 837429
o 837226
o 837148
o 837135
o 837063
o 836860
o 836786
o 836773
o 836701
o 836498
o 836414
o 836340
o 836327
oKilled
1979.610u 0.089s 33:01.33 99.9%	0+0k 0+0io 0pf+0w