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-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-2.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 142 955 1819082
WARNING: Ubcsat not found.
o 1819082
o 177725
o 176930
o 176899
o 176733
o 175297
o 174502
o 174471
o 174305
o 173526
o 173495
o 173329
o 172951
o 172920
o 172754
o 172630
o 171194
o 170523
o 170492
o 170326
o 170202
o 169547
o 169516
o 169350
o 169226
o 169208
o 169084
o 168383
o 168259
o 167772
o 167648
o 167588
o 167557
o 167391
o 167267
o 166977
o 166946
o 166780
o 166656
o 166612
o 166581
o 166415
o 166291
o 166001
o 165970
o 165804
o 165680
o 165470
o 165439
o 165273
o 165149
o 165105
o 165074
o 164908
o 164784
o 164494
o 164463
o 164297
o 164173
o 164035
o 164004
o 163838
o 163714
o 163670
o 163639
o 163473
o 163349
o 163059
o 163028
o 162862
o 162738
o 162719
o 162595
o 162558
o 162268
o 162237
o 162071
o 161947
o 161903
o 161872
o 161706
o 161582
o 161292
o 161261
o 161095
o 160971
o 160957
o 160926
o 160760
o 160636
o 160346
o 160315
o 160149
o 160025
o 159981
o 159950
o 159784
o 159660
o 159370
o 159339
o 159173
o 159049
o 158839
o 158808
o 158642
o 158518
o 158474
o 158443
o 158277
o 158153
o 157863
o 157832
o 157666
o 157542
o 157404
o 157373
o 157207
o 157083
o 157039
o 157008
o 156842
o 156718
o 156428
o 156397
o 156231
o 156107
o 155999
o 155875
o 155585
o 155554
o 155388
o 155264
o 155054
o 155023
o 154857
o 154733
o 154689
o 154658
o 154492
o 154368
o 154078
o 154047
o 153881
o 153757
o 153619
o 153588
o 153422
o 153298
o 153254
o 153223
o 153057
o 152933
o 152643
o 152612
o 152446
o 152322
o 152270
o 152239
o 152073
o 151949
o 151811
o 151780
o 151614
o 151490
o 151446
o 151415
o 151249
o 151125
o 150835
o 150804
o 150638
o 150514
o 150470
o 150346
o 150137
o 150106
o 149940
o 149816
o 149646
o 149522
o 149232
o 149201
o 149035
o 148911
o 148702
o 148671
o 148505
o 148381
o 148329
o 148298
o 148132
o 148008
o 147838
o 147714
o 147424
o 147393
o 147227
o 147103
o 146894
o 146863
o 146697
o 146573
o 146478
o 146447
o 146281
o 146137
o 146013
o 145908
o 145764
o 145640
o 145449
o 145305
o 145181
o 145084
o 144940
o 144816
o 144670
o 144639
o 144473
o 144329
o 144205
o 144161
o 144037
o 143972
o 143941
o 143775
o 143631
o 143507
o 143481
o 143337
o 143213
o 143067
o 143036
o 142870
o 142726
o 142602
o 142537
o 142506
o 142340
o 142196
o 142072
o 141967
o 141823
o 141699
o 141673
o 141529
o 141405
o 141259
o 141228
o 141062
o 140918
o 140794
o 140729
o 140698
o 140532
o 140388
o 140264
o 139981
o 139950
o 139784
o 139660
o 139451
o 139420
o 139254
o 139130
o 139035
o 139004
o 138838
o 138694
o 138570
o 138465
o 138321
o 138197
o 138006
o 137862
o 137738
o 137641
o 137497
o 137373
o 137227
o 137196
o 137030
o 136886
o 136762
o 136718
o 136594
o 136529
o 136498
o 136332
o 136188
o 136064
o 136038
o 135894
o 135770
o 135624
o 135593
o 135427
o 135283
o 135159
o 135094
o 135063
o 134897
o 134753
o 134629
o 134524
o 134380
o 134256
o 134230
o 134086
o 133962
o 133816
o 133785
o 133619
o 133475
o 133351
o 133286
o 133255
o 133089
o 132945
o 132821
o 132749
o 132625
o 132479
o 132448
o 132282
o 132138
o 132014
o 131949
o 131918
o 131752
o 131608
o 131484
o 131477
o 131337
o 131213
o 131022
o 130878
o 130754
o 130657
o 130513
o 130389
o 130243
o 130212
o 130046
o 129902
o 129778
o 129669
o 129610
o 129545
o 129514
o 129348
o 129204
o 129080
o 129054
o 128910
o 128786
o 128640
o 128609
o 128443
o 128299
o 128175
o 128110
o 128079
o 127913
o 127769
o 127645
o 127536
o 127396
o 127272
o 127246
o 127102
o 126978
o 126832
o 126801
o 126635
o 126491
o 126367
o 126302
o 126271
o 126105
o 125961
o 125837
o 125728
o 125641
o 125495
o 125464
o 125298
o 125154
o 125030
o 124965
o 124934
o 124768
o 124624
o 124500
o 124391
o 124364
o 124218
o 124187
o 124021
o 123877
o 123753
o 123688
o 123657
o 123491
o 123347
o 123223
o 123114
o 123008
o 122864
o 122740
o 122631
o 122556
o 122410
o 122379
o 122213
o 122069
o 121945
o 121880
o 121849
o 121683
o 121539
o 121415
o 121306
o 121200
o 121056
o 120932
o 120823
o 120732
o 120608
o 120543
o 120512
o 120346
o 120202
o 120078
o 119969
o 119863
o 119719
o 119595
o 119486
o 119355
o 119211
o 119087
o 119022
o 118991
o 118825
o 118681
o 118557
o 118448
o 118308
o 118184
o 118158
o 118014
o 117890
o 117744
o 117713
o 117547
o 117403
o 117279
o 117214
o 117183
o 117017
o 116873
o 116749
o 116640
o 116553
o 116407
o 116376
o 116210
o 116066
o 115942
o 115877
o 115846
o 115680
o 115536
o 115412
o 115303
o 115276
o 115130
o 115099
o 114933
o 114789
o 114665
o 114600
o 114569
o 114403
o 114259
o 114135
o 114026
o 113920
o 113776
o 113652
o 113543
o 113468
o 113322
o 113291
o 113125
o 112981
o 112857
o 112792
o 112761
o 112595
o 112451
o 112327
o 112218
o 112112
o 111968
o 111844
o 111735
o 111644
o 111520
o 111455
o 111424
o 111258
o 111114
o 110990
o 110881
o 110775
o 110631
o 110507
o 110398
o 110277
o 110168
o 110028
o 109904
o 109813
o 109782
o 109616
o 109472
o 109348
o 109283
o 109252
o 109086
o 108942
o 108818
o 108737
o 108593
o 108469
o 108360
o 108279
o 108135
o 108011
o 107946
o 107915
o 107749
o 107605
o 107481
o 107400
o 107256
o 107132
o 107023
o 107002
o 106858
o 106734
o 106669
o 106638
o 106472
o 106328
o 106204
o 106123
o 105979
o 105855
o 105746
o 105721
o 105640
o 105496
o 105372
o 105263
o 105194
o 105050
o 104926
o 104861
o 104830
o 104664
o 104520
o 104396
o 104315
o 104171
o 104047
o 103938
o 103913
o 103832
o 103688
o 103564
o 103455
o 103327
o 103183
o 103059
o 102978
o 102834
o 102710
o 102601
o 102576
o 102495
o 102351
o 102227
o 102118
o 102068
o 102003
o 101972
o 101806
o 101662
o 101538
o 101457
o 101313
o 101189
o 101080
o 100940
o 100816
o 100725
o 100694
o 100528
o 100384
o 100260
o 100195
o 100164
o 99998
o 99854
o 99730
o 99649
o 99505
o 99381
o 99272
o 99191
o 99047
o 98923
o 98858
o 98827
o 98661
o 98517
o 98393
o 98312
o 98168
o 98044
o 97935
o 97914
o 97770
o 97646
o 97581
o 97550
o 97384
o 97240
o 97116
o 97035
o 96891
o 96767
o 96658
o 96633
o 96552
o 96408
o 96284
o 96175
o 96106
o 95962
o 95838
o 95773
o 95742
o 95576
o 95432
o 95308
o 95227
o 95083
o 94959
o 94850
o 94825
o 94744
o 94600
o 94476
o 94367
o 94239
o 94095
o 93971
o 93890
o 93746
o 93622
o 93513
o 93488
o 93407
o 93263
o 93139
o 93030
o 92911
o 92787
o 92678
o 92653
o 92572
o 92428
o 92304
o 92195
o 92179
o 92098
o 91954
o 91830
o 91721
o 91593
o 91449
o 91325
o 91244
o 91100
o 90976
o 90867
o 90842
o 90761
o 90617
o 90493
o 90384
o 90253
o 90129
o 90048
o 89904
o 89780
o 89671
o 89646
o 89565
o 89421
o 89297
o 89188
o 89069
o 88945
o 88836
o 88811
o 88730
o 88586
o 88462
o 88353
o 88264
o 88155
o 88077
o 87996
o 87852
o 87728
o 87619
o 87594
o 87513
o 87369
o 87245
o 87136
o 87017
o 86893
o 86784
o 86759
o 86678
o 86534
o 86410
o 86301
o 86285
o 86204
o 86060
o 85936
o 85827
o 85699
o 85555
o 85431
o 85350
o 85206
o 85082
o 84973
o 84948
o 84867
o 84723
o 84599
o 84490
o 84359
o 84235
o 84154
o 84010
o 83886
o 83777
o 83752
o 83671
o 83527
o 83403
o 83294
o 83175
o 83051
o 82942
o 82917
o 82836
o 82692
o 82568
o 82459
o 82389
o 82364
o 82283
o 82139
o 82015
o 81906
o 81809
o 81669
o 81545
o 81436
o 81347
o 81238
o 81160
o 81079
o 80935
o 80811
o 80702
o 80677
o 80596
o 80452
o 80328
o 80219
o 80100
o 79976
o 79867
o 79842
o 79761
o 79617
o 79493
o 79384
o 79368
o 79287
o 79143
o 79019
o 78910
o 78782
o 78638
o 78514
o 78433
o 78289
o 78165
o 78056
o 78031
o 77950
o 77806
o 77682
o 77573
o 77442
o 77318
o 77237
o 77093
o 76969
o 76860
o 76835
o 76754
o 76610
o 76486
o 76377
o 76258
o 76134
o 76025
o 76000
o 75919
o 75775
o 75651
o 75542
o 75532
o 75423
o 75398
o 75317
o 75173
o 75049
o 74940
o 74939
o 74830
o 74805
o 74724
o 74580
o 74456
o 74347
o 74256
o 74147
o 74028
o 73904
o 73795
o 73770
o 73689
o 73545
o 73421
o 73312
o 73302
o 73193
o 73168
o 73087
o 72943
o 72819
o 72710
o 72709
o 72600
o 72575
o 72494
o 72350
o 72226
o 72117
o 72067
o 71943
o 71862
o 71718
o 71594
o 71561
o 71437
o 71341
o 71260
o 71116
o 70992
o 70959
o 70835
o 70748
o 70667
o 70523
o 70399
o 70366
o 70242
o 70199
o 70166
o 70042
o 69981
o 69837
o 69713
o 69632
o 69488
o 69364
o 69331
o 69207
o 69111
o 69030
o 68886
o 68762
o 68729
o 68605
o 68518
o 68437
o 68293
o 68169
o 68136
o 68012
o 68010
Killed
1979.692u 0.007s 33:01.85 99.8%	0+0k 0+0io 0pf+0w