Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz-2009-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-300-1_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 771 2628 4602370
WARNING: Ubcsat not found.
o 4602370
o 917117
o 915739
o 915433
o 915376
o 914733
o 914427
o 914377
o 914243
o 913937
o 913710
o 913404
o 913333
o 913027
o 912977
o 912914
o 912843
o 912537
o 912529
o 912223
o 912152
o 911846
o 911796
o 911733
o 911662
o 911356
o 911211
o 911020
o 910875
o 910611
o 910561
o 910498
o 910427
o 910121
o 909976
o 909954
o 909917
o 909772
o 909729
o 909707
o 909670
o 909525
o 909362
o 909217
o 909026
o 908881
o 908617
o 908567
o 908504
o 908433
o 908127
o 907982
o 907960
o 907923
o 907778
o 907576
o 907526
o 907463
o 907392
o 907086
o 906941
o 906919
o 906882
o 906737
o 906491
o 906346
o 906324
o 906287
o 906142
o 906003
o 905940
o 905890
o 905827
o 905756
o 905450
o 905305
o 905283
o 905246
o 905101
o 905032
o 904887
o 904865
o 904828
o 904683
o 904544
o 904481
o 904431
o 904368
o 904297
o 903991
o 903846
o 903824
o 903787
o 903642
o 903625
o 903480
o 903458
o 903421
o 903276
o 903257
o 903194
o 903144
o 903081
o 903010
o 902704
o 902559
o 902537
o 902500
o 902355
o 902338
o 902193
o 902171
o 902134
o 901989
o 901897
o 901758
o 901695
o 901645
o 901582
o 901511
o 901205
o 901060
o 901038
o 901001
o 900856
o 900839
o 900694
o 900672
o 900635
o 900490
o 900208
o 900063
o 900041
o 900004
o 899859
o 899842
o 899697
o 899675
o 899638
o 899493
o 899432
o 899287
o 899265
o 899228
o 899083
o 899066
o 898921
o 898899
o 898862
o 898717
o 898547
o 898402
o 898380
o 898343
o 898198
o 898181
o 898036
o 898014
o 897977
o 897832
o 897771
o 897626
o 897604
o 897567
o 897422
o 897405
o 897260
o 897238
o 897201
o 897056
o 897051
o 896906
o 896889
o 896744
o 896722
o 896685
o 896540
o 896488
o 896471
o 896326
o 896304
o 896267
o 896122
o 895952
o 895807
o 895785
o 895748
o 895603
o 895586
o 895441
o 895419
o 895382
o 895237
o 895176
o 895031
o 895009
o 894972
o 894827
o 894810
o 894665
o 894643
o 894606
o 894461
o 894456
o 894311
o 894294
o 894149
o 894127
o 894090
o 893945
o 893848
o 893826
o 893789
o 893644
o 893551
o 893494
o 893477
o 893332
o 893310
o 893273
o 893128
o 893035
o 892910
o 892888
o 892851
o 892706
o 892696
o 892551
o 892539
o 892394
o 892372
o 892335
o 892190
o 892157
o 892093
o 892071
o 892034
o 891889
o 891796
o 891734
o 891641
o 891577
o 891555
o 891518
o 891373
o 891280
o 891216
o 891123
o 891061
o 890968
o 890904
o 890882
o 890845
o 890700
o 890607
o 890558
o 890536
o 890499
o 890354
o 890257
o 890235
o 890198
o 890053
o 889960
o 889903
o 889886
o 889741
o 889719
o 889682
o 889537
o 889444
o 889319
o 889297
o 889260
o 889115
o 889105
o 888960
o 888948
o 888803
o 888781
o 888744
o 888599
o 888566
o 888502
o 888480
o 888443
o 888298
o 888205
o 888143
o 888050
o 887986
o 887964
o 887927
o 887782
o 887689
o 887603
o 887510
o 887453
o 887436
o 887291
o 887269
o 887232
o 887087
o 886994
o 886869
o 886847
o 886810
o 886665
o 886655
o 886510
o 886498
o 886353
o 886331
o 886294
o 886149
o 886116
o 886052
o 886030
o 885993
o 885848
o 885755
o 885693
o 885600
o 885536
o 885514
o 885477
o 885332
o 885239
o 885170
o 885106
o 885084
o 885047
o 884902
o 884809
o 884786
o 884764
o 884727
o 884582
o 884549
o 884485
o 884463
o 884426
o 884281
o 884188
o 884126
o 884033
o 883969
o 883947
o 883910
o 883765
o 883672
o 883641
o 883577
o 883555
o 883518
o 883373
o 883280
o 883211
o 883147
o 883125
o 883088
o 882943
o 882850
o 882827
o 882805
o 882768
o 882623
o 882590
o 882526
o 882504
o 882467
o 882322
o 882229
o 882167
o 882074
o 882010
o 881988
o 881951
o 881806
o 881713
o 881712
o 881675
o 881530
o 881437
o 881368
o 881304
o 881282
o 881245
o 881100
o 881007
o 880984
o 880962
o 880925
o 880780
o 880747
o 880683
o 880661
o 880624
o 880479
o 880386
o 880324
o 880231
o 880167
o 880145
o 880108
o 879963
o 879870
o 879865
o 879843
o 879806
o 879661
o 879568
o 879559
o 879522
o 879377
o 879284
o 879222
o 879129
o 879065
o 879043
o 879006
o 878861
o 878768
o 878767
o 878730
o 878585
o 878492
o 878423
o 878359
o 878337
o 878300
o 878155
o 878062
o 878039
o 878017
o 877980
o 877835
oKilled
1979.650u 0.049s 33:11.92 99.3%	0+0k 0+0io 0pf+0w