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-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-6.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 787 2692 4738631
WARNING: Ubcsat not found.
o 4738631
o 909332
o 908603
o 908165
o 908057
o 907646
o 907208
o 906829
o 906391
o 906303
o 905865
o 905486
o 905048
o 904997
o 904618
o 904180
o 903862
o 903577
o 903526
o 903147
o 902709
o 902589
o 902276
o 901958
o 901673
o 901622
o 901243
o 900805
o 900676
o 900391
o 900340
o 899961
o 899523
o 899269
o 898831
o 898715
o 898430
o 898379
o 898000
o 897562
o 897308
o 896870
o 896852
o 896414
o 895977
o 895723
o 895285
o 895267
o 894829
o 894553
o 894535
o 894097
o 893879
o 893441
o 893423
o 892985
o 892966
o 892709
o 892691
o 892253
o 892234
o 891861
o 891775
o 891405
o 891319
o 891300
o 891129
o 891043
o 890673
o 890587
o 890568
o 890437
o 890351
o 889981
o 889895
o 889876
o 889705
o 889619
o 889249
o 889163
o 889144
o 888784
o 888765
o 888392
o 888306
o 887936
o 887850
o 887831
o 887660
o 887574
o 887204
o 887118
o 887099
o 887060
o 886911
o 886892
o 886668
o 886582
o 886519
o 886433
o 886212
o 886126
o 886063
o 885977
o 885958
o 885936
o 885850
o 885787
o 885701
o 885480
o 885394
o 885331
o 885245
o 885226
o 885174
o 885144
o 885125
o 885116
o 884967
o 884937
o 884918
o 884724
o 884638
o 884575
o 884489
o 884459
o 884268
o 884182
o 884119
o 884033
o 884003
o 883984
o 883906
o 883843
o 883757
o 883727
o 883536
o 883450
o 883387
o 883301
o 883271
o 883252
o 883223
o 883204
o 883195
o 883046
o 883016
o 882997
o 882803
o 882717
o 882654
o 882568
o 882538
o 882347
o 882261
o 882198
o 882112
o 882082
o 882063
o 881985
o 881922
o 881836
o 881806
o 881615
o 881529
o 881466
o 881380
o 881350
o 881331
o 881303
o 881217
o 881187
o 880996
o 880910
o 880847
o 880761
o 880731
o 880712
o 880691
o 880605
o 880542
o 880456
o 880426
o 880407
o 880329
o 880266
o 880180
o 880150
o 879959
o 879873
o 879810
o 879724
o 879694
o 879675
o 879616
o 879530
o 879467
o 879381
o 879351
o 879332
o 879311
o 879225
o 879162
o 879076
o 879046
o 879027
o 878949
o 878886
o 878800
o 878770
o 878579
o 878493
o 878430
o 878344
o 878314
o 878295
o 878275
o 878245
o 878054
o 877968
o 877905
o 877819
o 877789
o 877770
o 877749
o 877663
o 877600
o 877514
o 877484
o 877465
o 877387
o 877324
o 877238
o 877208
o 877017
o 876931
o 876868
o 876782
o 876752
o 876733
o 876719
o 876689
o 876498
o 876412
o 876349
o 876263
o 876233
o 876214
o 876194
o 876164
o 875973
o 875887
o 875824
o 875738
o 875708
o 875689
o 875668
o 875582
o 875519
o 875433
o 875403
o 875384
o 875306
o 875243
o 875157
o 875127
o 874936
o 874850
o 874787
o 874701
o 874671
o 874652
o 874601
o 874515
o 874485
o 874466
o 874388
o 874325
o 874239
o 874209
o 874018
o 873932
o 873869
o 873783
o 873753
o 873734
o 873634
o 873548
o 873485
o 873399
o 873369
o 873350
o 873330
o 873300
o 873109
o 873023
o 872960
o 872874
o 872844
o 872825
o 872804
o 872718
o 872655
o 872569
o 872539
o 872520
o 872442
o 872379
o 872293
o 872263
o 872072
o 871986
o 871923
o 871837
o 871807
o 871788
o 871737
o 871651
o 871621
o 871602
o 871524
o 871461
o 871375
o 871345
o 871154
o 871068
o 871005
o 870919
o 870889
o 870870
o 870839
o 870776
o 870690
o 870660
o 870641
o 870563
o 870500
o 870414
o 870384
o 870193
o 870107
o 870044
o 869958
o 869928
o 869909
o 869858
o 869772
o 869742
o 869723
o 869645
o 869582
o 869496
o 869466
o 869275
o 869189
o 869126
o 869040
o 869010
o 868991
o 868943
o 868857
o 868794
o 868708
o 868678
o 868659
o 868628
o 868565
o 868479
o 868449
o 868430
o 868352
o 868289
o 868203
o 868173
o 867982
o 867896
o 867833
o 867747
o 867717
o 867698
o 867647
o 867561
o 867531
o 867512
o 867434
o 867371
o 867285
o 867255
o 867064
o 866978
o 866915
o 866829
o 866799
o 866780
o 866722
o 866692
o 866673
o 866622
o 866536
o 866506
o 866487
o 866409
o 866346
o 866260
o 866230
o 866039
o 865953
o 865890
o 865804
o 865774
o 865755
o 865728
o 865665
o 865579
o 865549
o 865512
o 865358
o 865272
o 865209
o 865123
o 865093
o 865074
o 865023
o 864937
o 864907
o 864888
o 864810
o 864747
o 864661
o 864631
o 864594
o 864440
o 864354
o 864291
o 864205
o 864175
o 864156
o 864098
o 864068
o 864049
o 863998
o 863912
o 863882
o 863863
o 863785
o 863722
o 863636
o 863606
o 863569
o 863415
o 863329
o 863266
o 863180
o 863150
o 863131
o 863075
o 863012
o 862926
o 862896
o 862877
o 862850
o 862787
o 862701
o 862671
o 862634
o 862480
o 862394
o 862331
o 862245
o 862215
o 862196
o 862145
o 862059
o 862029
o 862010
o 861932
o 861869
o 861783
o 861753
o 861716
o 861562
o 861476
o 861413
o 861327
o 861297
o 861278
o 861220
o 861190
o 861171
o 861120
o 861034
o 861004
o 860985
o 860907
o 860844
o 860758
o 860728
o 860691
o 860537
o 860451
o 860388
o 860302
o 860272
o 860253
o 860130
o 860044
o 859981
o 859895
o 859865
o 859846
o 859795
o 859709
o 859679
o 859660
o 859582
o 859519
o 859433
o 859403
o 859366
o 859212
o 859126
o 859063
o 858977
o 858947
o 858928
o 858870
o 858840
o 858821
o 858770
o 858684
o 858654
o 858635
o 858557
o 858494
o 858408
o 858378
o 858341
o 858187
o 858101
o 858038
o 857952
o 857922
o 857903
o 857818
o 857788
o 857751
o 857597
o 857511
o 857448
o 857362
o 857332
o 857313
o 857190
o 857104
o 857041
o 856955
o 856925
o 856906
o 856855
o 856769
o 856739
o 856720
o 856642
o 856579
o 856493
o 856463
o 856426
o 856272
o 856186
o 856123
o 856037
o 856007
o 855988
o 855930
o 855900
o 855881
o 855830
o 855744
o 855714
o 855695
o 855617
o 855554
o 855468
o 855438
o 855401
o 855247
o 855161
o 855098
o 855012
o 854982
o 854963
o 854916
o 854853
o 854767
o 854737
o 854718
o 854717
o 854698
o 854633
o 854603
o 854566
o 854412
o 854326
o 854263
o 854177
o 854147
o 854128
o 854127
o 854108
o 854005
o 853919
o 853856
o 853770
o 853740
o 853721
o 853720
o 853701
o 853670
o 853584
o 853554
o 853535
o 853457
o 853394
o 853308
o 853278
o 853241
o 853087
o 853001
o 852938
o 852852
o 852822
o 852803
o 852802
o 852783
o 852745
o 852715
o 852696
o 852695
o 852676
o 852645
o 852559
o 852529
o 852510
o 852432
o 852369
o 852283
o 852253
o 852216
o 852062
o 851976
o 851913
o 851827
o 851797
o 851778
o 851777
o 851758
o 851729
o 851699
o 851680
o 851629
o 851543
o 851513
o 851494
o 851416
o 851353
o 851267
o 851237
o 851200
o 851046
o 850960
o 850897
o 850811
o 850781
o 850762
o 850715
o 850652
o 850566
o 850536
o 850517
o 850516
o 850497
o 850432
o 850402
o 850365
o 850211
o 850125
o 850062
o 849976
o 849946
o 849927
o 849926
o 849907
o 849804
o 849718
o 849655
o 849569
o 849539
o 849520
o 849519
o 849500
o 849469
o 849383
o 849353
o 849334
o 849256
o 849193
o 849107
o 849077
o 849040
o 848886
o 848800
o 848737
o 848651
o 848621
o 848602
o 848601
o 848582
o 848544
o 848514
o 848495
o 848494
o 848475
o 848444
o 848358
o 848328
o 848309
o 848231
o 848168
o 848082
o 848052
o 848015
o 847861
o 847775
o 847712
o 847626
o 847596
o 847577
o 847576
o 847557
o 847547
o 847491
o 847461
o 847424
o 847270
o 847184
o 847121
o 847035
o 847005
o 846986
o 846985
o 846966
o 846863
o 846777
o 846714
o 846628
o 846598
o 846579
o 846578
o 846559
o 846528
o 846442
o 846412
o 846393
o 846315
o 846252
o 846166
o 846136
o 846099
o 845945
o 845859
o 845796
o 845710
o 845680
o 845661
o 845660
o 845641
o 845603
o 845573
o 845554
o 845553
o 845534
o 845503
o 845417
o 845387
o 845368
o 845290
o 845227
o 845141
o 845111
o 845074
o 844920
o 844834
o 844771
o 844685
o 844655
o 844636
o 844635
o 844616
o 844562
o 844476
o 844446
o 844427
o 844426
o 844407
o 844352
o 844289
o 844203
o 844173
o 844154
o 844153
o 844134
o 844069
o 844039
o 844020
o 844019
o 844000
o 843969
o 843883
o 843853
o 843834
o 843756
o 843693
o 843607
o 843577
o 843540
o 843386
o 843300
o 843237
o 843151
o 843121
o 843102
o 843101
o 843082
o 843044
o 843014
o 842995
o 842994
o 842975
o 842944
o 842858
o 842828
o 842809
o 842731
o 842668
o 842582
o 842552
o 842515
o 842361
o 842275
o 842212
o 842126
o 842096
o 842077
o 842076
o 842057
o 842032
o 841969
o 841883
o 841853
o 841834
o 841833
o 841814
o 841809
o 841655
o 841569
o 841506
o 841420
o 841390
o 841371
o 841370
o 841351
o 841313
o 841283
o 841264
o 841263
o 841244
o 841169
o 841139
o 841120
o 841119
o 841100
o 841093
o 841007
o 840944
o 840858
o 840828
o 840809
o 840808
o 840789
o 840784
o 840630
o 840544
o Killed
1979.673u 0.026s 33:08.78 99.5%	0+0k 0+0io 0pf+0w