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-50-2_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-6.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 138 1004 1874816
WARNING: Ubcsat not found.
o 1874816
o 153157
o 151758
o 151305
o 150976
o 150697
o 149851
o 149577
o 149298
o 148452
o 147999
o 147835
o 147382
o 147207
o 146929
o 146083
o 145630
o 145375
o 144529
o 144076
o 143451
o 142998
o 142743
o 141897
o 141444
o 141307
o 141235
o 140957
o 140111
o 139658
o 139403
o 138557
o 138104
o 137479
o 137026
o 136771
o 135925
o 135472
o 135335
o 135267
o 135017
o 134564
o 134166
o 133713
o 133486
o 133088
o 132635
o 132385
o 131932
o 131534
o 131081
o 130944
o 130896
o 130759
o 130740
o 130603
o 130419
o 130021
o 129568
o 129431
o 129137
o 128910
o 128512
o 128059
o 127809
o 127356
o 126958
o 126505
o 126368
o 126233
o 125780
o 125382
o 124929
o 124792
o 124744
o 124607
o 124588
o 124451
o 124267
o 123869
o 123416
o 123279
o 122985
o 122758
o 122360
o 121907
o 121657
o 121204
o 120806
o 120353
o 120216
o 119859
o 119722
o 119360
o 118907
o 118770
o 118613
o 118476
o 118182
o 117955
o 117557
o 117104
o 116854
o 116401
o 116003
o 115550
o 115413
o 115129
o 114858
o 114426
o 114007
o 113575
o 113438
o 113081
o 112944
o 112561
o 112129
o 111992
o 111835
o 111698
o 111404
o 111177
o 110758
o 110326
o 110055
o 109623
o 109204
o 108772
o 108635
o 108525
o 108388
o 108339
o 108031
o 107894
o 107845
o 107511
o 107079
o 106942
o 106893
o 106785
o 106648
o 106599
o 106538
o 106119
o 105687
o 105550
o 105276
o 105005
o 104573
o 104154
o 103722
o 103585
o 103536
o 103304
o 103085
o 103007
o 102885
o 102453
o 102234
o 102097
o 101987
o 101850
o 101801
o 101712
o 101493
o 101356
o 101307
o 101192
o 100760
o 100541
o 100404
o 100355
o 100247
o 100110
o 100061
o 100000
o 99922
o 99800
o 99368
o 99149
o 99012
o 98957
o 98738
o 98686
o 98254
o 98035
o 97957
o 97835
o 97403
o 97184
o 97047
o 96998
o 96858
o 96844
o 96625
o 96547
o 96425
o 95993
o 95774
o 95637
o 95527
o 95390
o 95341
o 95252
o 95033
o 94896
o 94847
o 94732
o 94300
o 94081
o 93944
o 93895
o 93787
o 93650
o 93601
o 93540
o 93462
o 93340
o 92908
o 92689
o 92552
o 92372
o 92027
o 91808
o 91794
o 91575
o 91497
o 91375
o 90943
o 90724
o 90587
o 90538
o 90443
o 90429
o 90210
o 90132
o 90010
o 89578
o 89359
o 89222
o 89112
o 88975
o 88926
o 88837
o 88618
o 88481
o 88432
o 88317
o 87885
o 87666
o 87529
o 87480
o 87372
o 87235
o 87186
o 87125
o 87047
o 86925
o 86493
o 86274
o 86137
o 85957
o 85612
o 85393
o 85379
o 85160
o 85082
o 84960
o 84528
o 84309
o 84172
o 84123
o 84071
o 83852
o 83715
o 83535
o 83190
o 82971
o 82957
o 82738
o 82660
o 82538
o 82106
o 81887
o 81750
o 81701
o 81499
o 81362
o 81313
o 81261
o 81042
o 80905
o 80725
o 80380
o 80161
o 79918
o 79699
o 79296
o 79077
o 78940
o 78891
o 78822
o 78685
o 78604
o 78467
o 78267
o 78048
o 77703
o 77484
o 77241
o 77022
o 76619
o 76400
o 76263
o 76188
o 75969
o 75726
o 75507
o 75104
o 74885
o 74748
o 74699
o 74425
o 74206
o 74069
o 73975
o 73912
o 73689
o 73470
o 73333
o 73284
o 73010
o 72791
o 72654
o 72560
o 72531
o 72312
o 72175
o 72126
o 71852
o 71633
o 71496
o 71402
o 71339
o 71116
o 70897
o 70760
o 70711
o 70437
o 70218
o 70081
o 69987
o 69869
o 69865
o 69650
o 69513
o 69419
o 69415
o 69196
o 69059
o 68965
o 68829
o 68735
o 68474
o 68255
o 68118
o 68024
o 67961
o 67738
o 67519
o 67382
o 67333
o 67059
o 66840
o 66703
o 66609
o 66554
o 66527
o 66478
o 66204
o 65985
o 65848
o 65754
o 65640
o 65366
o 65229
o 65135
o 65080
o 65053
o 64943
o 64785
o 64511
o 64374
o 64280
o 64111
o 63974
o 63880
o 63794
o 63788
o 63724
o 63703
o 63609
o 63587
o 63573
o 63479
o 63418
o 63278
o 63095
o 62876
o 62739
o 62645
o 62640
o 62366
o 62229
o 62135
o 62113
o 62099
o 62005
o 61944
o 61804
o 61676
o 61402
o 61265
o 61171
o 61002
o 60865
o 60771
o 60685
o 60679
o 60615
o 60608
o 60471
o 60400
o 60377
o 60306
o 60301
o 60230
o 60207
o 60136
o 60033
o 59896
o 59825
o 59802
o 59731
o 59531
o 59394
o 59300
o 59222
o 58999
o 58862
o 58768
o 58736
o 58599
o 58459
o 58331
o 58057
o 57920
o 57826
o 57657
o 57520
o 57426
o 57340
o 57334
o 57270
o 57263
o 57126
o 57055
o 57032
o 56961
o 5695Killed
1979.655u 0.044s 33:01.67 99.9%	0+0k 0+0io 0pf+0w