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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-4.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 757 2649 4783062
WARNING: Ubcsat not found.
o 4783062
o 951978
o 951383
o 950880
o 950626
o 950123
o 949827
o 949324
o 948946
o 948753
o 948457
o 947954
o 947778
o 947275
o 946899
o 946722
o 946642
o 946266
o 945892
o 945719
o 945516
o 945343
o 945339
o 945166
o 945086
o 944883
o 944710
o 944596
o 944423
o 944225
o 944052
o 943932
o 943818
o 943645
o 943447
o 943274
o 943163
o 943083
o 942880
o 942707
o 942593
o 942420
o 942222
o 942049
o 941970
o 941797
o 941777
o 941666
o 941586
o 941383
o 941210
o 941096
o 940923
o 940725
o 940552
o 940442
o 940295
o 940122
o 940103
o 939989
o 939816
o 939618
o 939445
o 939335
o 939188
o 939015
o 939003
o 938856
o 938683
o 938639
o 938492
o 938319
o 938300
o 938186
o 938013
o 937815
o 937642
o 937532
o 937385
o 937212
o 937200
o 937053
o 936880
o 936851
o 936704
o 936531
o 936512
o 936398
o 936225
o 936027
o 935854
o 935744
o 935597
o 935424
o 935412
o 935265
o 935092
o 934953
o 934780
o 934701
o 934528
o 934418
o 934271
o 934098
o 934086
o 933939
o 933766
o 933627
o 933454
o 933400
o 933227
o 933088
o 932915
o 932789
o 932723
o 932711
o 932564
o 932391
o 932252
o 932079
o 932025
o 931852
o 931713
o 931540
o 931418
o 931364
o 931191
o 931052
o 930879
o 930797
o 930624
o 930485
o 930312
o 930258
o 930085
o 929946
o 929773
o 929651
o 929597
o 929424
o 929285
o 929112
o 929091
o 928918
o 928779
o 928606
o 928552
o 928379
o 928240
o 928067
o 927945
o 927891
o 927718
o 927579
o 927406
o 927360
o 927286
o 927238
o 927164
o 927110
o 927077
o 927011
o 926937
o 926872
o 926798
o 926765
o 926699
o 926625
o 926604
o 926571
o 926505
o 926431
o 926366
o 926292
o 926259
o 926193
o 926119
o 926065
o 926032
o 925966
o 925892
o 925827
o 925753
o 925720
o 925654
o 925580
o 925532
o 925458
o 925404
o 925371
o 925305
o 925231
o 925166
o 925092
o 925059
o 924993
o 924919
o 924898
o 924824
o 924759
o 924685
o 924652
o 924586
o 924512
o 924458
o 924425
o 924359
o 924285
o 924220
o 924146
o 924113
o 924047
o 923973
o 923925
o 923851
o 923797
o 923764
o 923698
o 923624
o 923559
o 923485
o 923452
o 923386
o 923312
o 923262
o 923197
o 923123
o 923090
o 923024
o 922950
o 922893
o 922883
o 922850
o 922784
o 922710
o 922689
o 922615
o 922550
o 922476
o 922443
o 922377
o 922303
o 922249
o 922216
o 922150
o 922076
o 922011
o 921937
o 921904
o 921838
o 921764
o 921716
o 921642
o 921588
o 921555
o 921489
o 921415
o 921350
o 921276
o 921243
o 921177
o 921103
o 921053
o 920988
o 920914
o 920881
o 920815
o 920741
o 920686
o 920636
o 920571
o 920497
o 920464
o 920398
o 920324
o 920281
o 920248
o 920182
o 920108
o 920058
o 919993
o 919919
o 919886
o 919820
o 919746
o 919689
o 919679
o 919646
o 919580
o 919506
o 919485
o 919411
o 919346
o 919272
o 919239
o 919173
o 919099
o 919045
o 919012
o 918946
o 918872
o 918807
o 918733
o 918700
o 918634
o 918560
o 918512
o 918438
o 918384
o 918351
o 918285
o 918211
o 918146
o 918072
o 918039
o 917973
o 917899
o 917849
o 917784
o 917710
o 917677
o 917611
o 917537
o 917482
o 917432
o 917367
o 917293
o 917260
o 917194
o 917120
o 917057
o 917039
o 916965
o 916962
o 916944
o 916870
o 916823
o 916805
o 916731
o 916724
o 916650
o 916632
o 916558
o 916504
o 916497
o 916423
o 916405
o 916331
o 916284
o 916266
o 916192
o 916185
o 916111
o 916093
o 916019
o 915989
o 915971
o 915897
o 915843
o 915836
o 915762
o 915744
o 915670
o 915623
o 915605
o 915531
o 915524
o 915450
o 915432
o 915358
o 915308
o 915261
o 915243
o 915169
o 915162
o 915088
o 915070
o 914996
o 914941
o 914891
o 914844
o 914826
o 914752
o 914745
o 914671
o 914653
o 914579
o 914507
o 914457
o 914392
o 914318
o 914285
o 914219
o 914145
o 914090
o 914040
o 913975
o 913901
o 913868
o 913802
o 913728
o 913665
o 913647
o 913573
o 913570
o 913552
o 913478
o 913431
o 913413
o 913339
o 913332
o 913258
o 913240
o 913166
o 913112
o 913105
o 913031
o 913013
o 912939
o 912892
o 912874
o 912800
o 912793
o 912719
o 912701
o 912627
o 912597
o 912579
o 912505
o 912451
o 912444
o 912370
o 912352
o 912278
o 912231
o 912213
o 912139
o 912132
o 912058
o 912040
o 911966
o 911916
o 911869
o 911851
o 911777
o 911770
o 911696
o 911678
o 911604
o 911549
o 911499
o 911452
o 911434
o 911360
o 911353
o 911279
o 911261
o 911187
o 911169
o 911151
o 911077
o 911070
o 910996
o 910978
o 910904
o 910849
o 910799
o 910752
o 910734
o 910660
o 910653
o 910579
o 910561
o 910487
o 910415
o 910365
o 910300
o 910226
o 910193
o 910127
o 910053
o 909998
o 909948
o 909883
o 909809
o 909776
o 909710
o 909636
o 909573
o 909555
o 909481
o 909451
o 909397
o 909390
o 909316
o 909298
o 909224
o 909177
o 909159
o 909085
o 909078
o 909004
o 908986
o 908912
o 908882
o 908864
o 908790
o 908736
o 908729
o 908655
o 908637
o 908563
o 908516
o 908498
o 908424
o 908417
o 908343
o 908325
o 908251
o 908186
o 908139
o 908121
o 908047
o 908040
o 907966
o 907948
o 907874
o 907824
o 907777
o 907759
o 907685
o 907678
o 907604
o 907586
o 907512
o 907457
o 907407
o 907360
o 907342
o 907268
o 907261
o 907187
o 907169
o 907095
o 907069
o 907022
o 907004
o 906930
o 906923
o 906849
o 906831
o 906757
o 906727
o 906709
o 906635
o 906581
o 906574
o 906500
o 906482
o 906408
o 906361
o 906343
o 906269
o 906262
o 906188
o 906170
o 906096
o 906031
o 905984
o 905966
o 905892
o 905885
o 905811
o 905793
o 905719
o 905669
o 905622
o 905604
o 905530
o 905523
o 905449
o 905431
o 905357
o 905288
o 905281
o 905207
o 905189
o 905115
o 905113
o 905106
o 905032
o 905014
o 904940
o 904871
o 904864
o 904790
o 904772
o 904698
o 904634
o 904632
o 904625
o 904551
o 904533
o 904459
o 904390
o 904383
o 904309
o 904291
o 904217
o 904159
o 904141
o 904067
o 904012
o 903962
o 903915
o 903897
o 903823
o 903816
o 903742
o 903724
o 903650
o 903624
o 903577
o 903559
o 903485
o 903478
o 903404
o 903386
o 903312
o 903282
o 903264
o 903190
o 903136
o 903129
o 903055
o 903037
o 902963
o 902916
o 902898
o 902824
o 902817
o 902743
o 902725
o 902651
o 902586
o 902539
o 902521
o 902447
o 902440
o 902366
o 902348
o 902274
o 902224
o 902177
o 902159
o 902085
o 902078
o 902004
o 901986
o 901912
o 901843
o 901836
o 901762
o 901744
o 901670
o 901668
o 901661
o 901587
o 901569
o 901495
o 901426
o 901419
o 901345
o 901327
o 901253
o 901224
o 901217
o 901143
o 901125
o 901051
o 901004
o 900986
o 900912
o 900905
o 900831
o 900813
o 900739
o 900674
o 900627
o 900609
o 900535
o 900528
o 900454
o 900436
o 900362
o 900352
o 900278
o 900265
o 900247
o 900173
o 900166
o 900092
o 900074
o 900000
o 899990
o 899916
o 899850
o 899832
o 899758
o 899748
o 899674
o 899657
o 899583
o 899573
o 899499
o 899433
o 899415
o 899341
o 899331
o 899257
o 899245
o 899171
o 899161
o 899087
o 899061
o 899043
o 898969
o 898962
o 898888
o 898870
o 898796
o 898731
o 898684
o 898666
o 898592
o 898585
o 898511
o 898493
o 898419
o 898369
o 898322
o 898304
o 898230
o 898223
o 898149
o 898131
o 898057
o 897988
o 897981
o 897907
o 897889
o 897815
o 897813
o 897806
o 897732
o 897714
o 897640
o 897571
o 897564
o 897490
o 897472
o 897398
o 897369
o 897362
o 897288
o 897270
o 897196
o 897149
o 897131
o 897057
o 897050
o 896976
o 896958
o 896884
o 896819
o 896772
o 896754
o 896680
o 896673
o 896599
o 896581
o 896507
o 896497
o 896423
o 896410
o 896392
o 896318
o 896311
o 896237
o 896219
o 896145
o 896135
o 896061
o 895995
o 895977
o 895903
o 895893
o 895819
o 895802
o 895728
o 895718
o 895644
o 895578
o 895560
o 895486
o 895476
o 895402
o 895386
o 895317
o 895310
o 895236
o 895218
o 895144
o 895142
o 895135
o 895061
o 895043
o 894969
o 894900
o 894893
o 894819
o 894801
o 894727
o 894698
o 894691
o 894617
o 894599
o 894525
o 894478
o 894460
o 894386
o 894379
o 894305
o 894287
o 894213
o 894148
o 894101
o 894083
o 894009
o 894002
o 893928
o 893910
o 893836
o 893826
o 893752
o 893739
o 893721
o 893647
o 893640
o 893566
o 893548
o 893474
o 893464
o 893390
o 893324
o 893306
o 893232
o 893222
o 893148
o 893131
o 893057
o 893047
o 892973
o 892907
o 892889
o 892815
o 892805
o 892731
o 892687
o 892669
o 892595
o 892588
o 892514
o 892496
o 892422
o 892412
o 892338
o 892325
o 892307
o 892233
o 892226
o 892152
o 892134
o 892060
o 892050
o 891976
o 891910
o 891892
o 891818
o 891808
o 891734
o 891717
o Killed
1979.689u 0.010s 33:00.49 99.9%	0+0k 0+0io 0pf+0w