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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-2.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 767 2678 4763337
WARNING: Ubcsat not found.
o 4763337
o 912944
o 911704
o 910947
o 910630
o 910408
o 909651
o 909421
o 909199
o 908442
o 907949
o 907809
o 907316
o 907002
o 906509
o 906210
o 905896
o 905403
o 905293
o 904800
o 904570
o 904515
o 904201
o 903708
o 903598
o 903105
o 902937
o 902651
o 902364
o 902254
o 901761
o 901680
o 901436
o 901261
o 901252
o 900759
o 900678
o 900434
o 900145
o 900064
o 899820
o 899779
o 899741
o 899566
o 899557
o 899064
o 898983
o 898739
o 898450
o 898369
o 898125
o 898114
o 898033
o 897789
o 897597
o 897536
o 897455
o 897211
o 896922
o 896841
o 896597
o 896586
o 896505
o 896261
o 896094
o 896013
o 895769
o 895758
o 895677
o 895433
o 895241
o 895180
o 895099
o 894855
o 894566
o 894485
o 894241
o 894230
o 894149
o 893905
o 893898
o 893731
o 893650
o 893406
o 893395
o 893314
o 893070
o 892878
o 892817
o 892736
o 892492
o 892203
o 892122
o 891878
o 891867
o 891786
o 891542
o 891393
o 891386
o 891219
o 891138
o 890894
o 890883
o 890802
o 890558
o 890366
o 890305
o 890224
o 889980
o 889691
o 889610
o 889366
o 889355
o 889274
o 889030
o 888966
o 888722
o 888711
o 888630
o 888386
o 888377
o 888225
o 888161
o 887917
o 887906
o 887825
o 887581
o 887436
o 887244
o 887183
o 887102
o 886858
o 886569
o 886488
o 886244
o 886233
o 886152
o 885908
o 885844
o 885600
o 885589
o 885508
o 885264
o 885208
o 884964
o 884819
o 884627
o 884566
o 884485
o 884241
o 883952
o 883871
o 883627
o 883616
o 883535
o 883291
o 883227
o 882983
o 882972
o 882891
o 882647
o 882577
o 882385
o 882324
o 882243
o 881999
o 881710
o 881629
o 881385
o 881374
o 881293
o 881049
o 880985
o 880741
o 880730
o 880649
o 880405
o 880263
o 880193
o 880001
o 879940
o 879859
o 879615
o 879326
o 879245
o 879001
o 878990
o 878909
o 878665
o 878601
o 878357
o 878346
o 878265
o 878021
o 877793
o 877651
o 877581
o 877389
o 877233
o 877152
o 876908
o 876714
o 876633
o 876389
o 876378
o 876297
o 876053
o 875989
o 875745
o 875734
o 875653
o 875409
o 875330
o 875249
o 875005
o 874994
o 874913
o 874669
o 874605
o 874361
o 874350
o 874269
o 874025
o 874008
o 873816
o 873660
o 873579
o 873335
o 873141
o 873060
o 872816
o 872805
o 872724
o 872480
o 872416
o 872172
o 872161
o 872080
o 871836
o 871757
o 871676
o 871432
o 871421
o 871340
o 871096
o 871032
o 870788
o 870777
o 870696
o 870452
o 870242
o 870206
o 870195
o 870114
o 869870
o 869806
o 869562
o 869551
o 869470
o 869226
o 869147
o 869066
o 868822
o 868811
o 868730
o 868486
o 868422
o 868178
o 868167
o 868086
o 867842
o 867632
o 867424
o 867388
o 867377
o 867296
o 867052
o 866988
o 866744
o 866733
o 866652
o 866408
o 866329
o 866248
o 866004
o 865993
o 865912
o 865668
o 865604
o 865360
o 865349
o 865268
o 865024
o 864814
o 864808
o 864564
o 864553
o 864472
o 864228
o 864149
o 864068
o 863824
o 863813
o 863732
o 863488
o 863424
o 863180
o 863169
o 863088
o 862844
o 862634
o 862627
o 862548
o 862467
o 862223
o 862212
o 862131
o 861887
o 861823
o 861579
o 861568
o 861487
o 861243
o 861033
o 861027
o 860783
o 860772
o 860691
o 860447
o 860368
o 860287
o 860043
o 860032
o 859951
o 859707
o 859643
o 859399
o 859388
o 859307
o 859063
o 858853
o 858793
o 858549
o 858538
o 858457
o 858213
o 858003
o 857997
o 857753
o 857742
o 857661
o 857417
o 857368
o 857124
o 857113
o 857032
o 856788
o 856677
o 856613
o 856369
o 856358
o 856277
o 856033
o 855823
o 855661
o 855650
o 855569
o 855325
o 855214
o 855150
o 854906
o 854895
o 854814
o 854570
o 854360
o 854169
o 854158
o 854077
o 853833
o 853722
o 853658
o 853414
o 853403
o 853322
o 853078
o 852868
o 852864
o 852620
o 852410
o 852248
o 852237
o 852156
o 851912
o 851801
o 851737
o 851493
o 851482
o 851401
o 851157
o 850947
o 850756
o 850745
o 850664
o 850420
o 850309
o 850245
o 850001
o 849990
o 849909
o 849665
o 849455
o 849402
o 849391
o 849310
o 849066
o 848955
o 848891
o 848647
o 848636
o 848555
o 848311
o 848101
o 847910
o 847899
o 847818
o 847574
o 847463
o 847399
o 847155
o 847144
o 847063
o 846819
o 846609
o 846562
o 846352
o 846161
o 846150
oKilled
1979.645u 0.054s 33:09.10 99.5%	0+0k 0+0io 0pf+0w