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-50-2_network-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 125 835 1540016
WARNING: Ubcsat not found.
o 1540016
o 150345
o 148831
o 148804
o 147458
o 146884
o 146070
o 145944
o 145370
o 144556
o 144529
o 144472
o 143898
o 143084
o 143057
o 142880
o 142066
o 142039
o 141846
o 141819
o 141148
o 141121
o 140374
o 140347
o 140130
o 140103
o 139356
o 139329
o 138669
o 138642
o 138632
o 138465
o 137651
o 137624
o 137614
o 137431
o 137404
o 137394
o 136733
o 136706
o 136696
o 135959
o 135932
o 135922
o 135715
o 135688
o 135678
o 134941
o 134914
o 134904
o 134875
o 134848
o 134838
o 134417
o 134390
o 134380
o 134379
o 134369
o 134101
o 134074
o 134064
o 133643
o 133616
o 133606
o 133605
o 133595
o 133399
o 133372
o 133362
o 133361
o 133351
o 133083
o 133056
o 133046
o 132625
o 132598
o 132588
o 132587
o 132577
o 132317
o 132290
o 132280
o 131859
o 131832
o 131822
o 131821
o 131811
o 131507
o 131480
o 131470
o 131469
o 131459
o 131263
o 131236
o 131226
o 131225
o 131215
o 130947
o 130920
o 130910
o 130489
o 130462
o 130452
o 130451
o 130441
o 130163
o 130136
o 130126
o 130125
o 130115
o 129919
o 129892
o 129882
o 129881
o 129871
o 129603
o 129576
o 129566
o 129145
o 129118
o 129108
o 129107
o 129097
o 129094
o 129084
o 128663
o 128636
o 128626
o 128625
o 128615
o 128311
o 128284
o 128274
o 128273
o 128263
o 128067
o 128040
o 128030
o 128029
o 128019
o 127751
o 127724
o 127714
o 127293
o 127266
o 127256
o 127255
o 127245
o 126967
o 126940
o 126930
o 126929
o 126919
o 126723
o 126696
o 126686
o 126685
o 126675
o 126407
o 126380
o 126370
o 125949
o 125922
o 125912
o 125911
o 125901
o 125587
o 125560
o 125550
o 125549
o 125539
o 125279
o 125252
o 125242
o 124821
o 124794
o 124784
o 124783
o 124773
o 124469
o 124442
o 124432
o 124431
o 124421
o 124225
o 124198
o 124188
o 124187
o 124177
o 123909
o 123882
o 123872
o 123451
o 123424
o 123414
o 123413
o 123403
o 123125
o 123098
o 123088
o 123087
o 123077
o 122881
o 122854
o 122844
o 122843
o 122833
o 122565
o 122538
o 122528
o 122107
o 122080
o 122070
o 122069
o 122059
o 122009
o 121982
o 121972
o 121971
o 121961
o 121765
o 121738
o 121728
o 121727
o 121717
o 121449
o 121422
o 121412
o 120991
o 120964
o 120954
o 120953
o 120943
o 120629
o 120602
o 120592
o 120591
o 120581
o 120321
o 120294
o 120284
o 119863
o 119836
o 119826
o 119825
o 119815
o 119511
o 119484
o 119474
o 119473
o 119463
o 119267
o 119240
o 119230
o 119229
o 119219
o 118951
o 118924
o 118914
o 118493
o 118466
o 118456
o 118455
o 118445
o 118167
o 118140
o 118130
o 118129
o 118119
o 117923
o 117896
o 117886
o 117885
o 117875
o 117607
o 117580
o 117570
o 117149
o 117122
o 117112
o 117111
o 117101
o 117097
o 117087
o 117086
o 117076
o 116798
o 116771
o 116761
o 116760
o 116750
o 116554
o 116527
o 116517
o 116516
o 116506
o 116238
o 116211
o 116201
o 115780
o 115753
o 115743
o 115742
o 115732
o 115568
o 115541
o 115531
o 115530
o 115520
o 115324
o 115297
o 115287
o 115286
o 115276
o 115008
o 114981
o 114971
o 114550
o 114523
o 114513
o 114512
o 114502
o 114224
o 114197
o 114187
o 114186
o 114176
o 113980
o 113953
o 113943
o 113942
o 113932
o 113664
o 113637
o 113627
o 113206
o 113179
o 113169
o 113168
o 113158
o 113154
o 113144
o 113143
o 113133
o 112855
o 112828
o 112818
o 112817
o 112807
o 112611
o 112584
o 112574
o 112573
o 112563
o 112295
o 112268
o 112258
o 111837
o 111810
o 111800
o 111799
o 111789
o 111718
o 111691
o 111681
o 111680
o 111670
o 111366
o 111339
o 111329
o 111328
o 111318
o 111122
o 111095
o 111085
o 111084
o 111074
o 110806
o 110779
o 110769
o 110348
o 110321
o 110311
o 110310
o 110300
o 110022
o 109995
o 109985
o 109984
o 109974
o 109778
o 109751
o 109741
o 109740
o 109730
o 109462
o 109435
o 109425
o 109004
o 108977
o 108967
o 108966
o 108956
o 108952
o 108942
o 108941
o 108931
o 108653
o 108626
o 108616
o 108615
o 108605
o 108409
o 108382
o 108372
o 108371
o 108361
o 108093
o 108066
o 108056
o 107635
o 107608
o 107598
o 107597
o 107587
o 107375
o 107348
o 107338
o 106917
o 106890
o 106880
o 106879
o 106869
o 106865
o 106855
o 106854
o 106844
o 106566
o 106539
o 106529
o 106528
o 106518
o 106322
o 106295
o 106285
o 106284
o 106274
o 106006
o 105979
o 105969
o 105548
o 105521
o 105511
o 105510
o 105500
o 105429
o 105402
o 105392
o 105391
o 105381
o 105077
o 105050
o 105040
o 105039
o 105029
o 104833
o 104806
o 104796
o 104795
o 104785
o 104517
o 104490
o 104480
o 104059
o 104032
o 104022
o 104021
o 104011
o 103733
o 103706
o 103696
o 103695
o 103685
o 103489
o 103462
o 103452
o 103451
o 103441
o 103173
o 103146
o 103136
o 102715
o 102688
o 102678
o 102677
o 102667
o 102663
o 102653
o 102652
o 102642
o 102364
o 102337
o 102327
o 102326
o 102316
o 102120
o 102093
o 102083
o 102082
o 102072
o 101804
o 101777
o 101767
o 101346
o 101319
o 101309
o 101308
o 101298
o 101210
o 101183
o 101173
o 101172
o 101162
o 100966
o 100939
o 100929
o 100928
o 100918
o 100650
o 100623
o 100613
o 100192
o 100165
o 100155
o 100154
o 100144
o 99866
o 99839
o 99829
o 99828
o 99818
o 99622
o 99595
o 99585
o 99584
o 99574
o 99306
o 99279
o 99269
o 98848
o 98821
o 98811
o 98810
o 98800
o 98796
o 98786
o 98785
o 98775
o 98497
o 98470
o 98460
o 98459
o 98449
o 98253
o 98226
o 98216
o 98215
o 98205
o 97937
o 97910
o 97900
o 97479
o 97452
o 97442
o 97441
o 97431
o 97428
o 97418
o 97417
o 97407
o 97211
o 97184
o 97174
o 97173
o 97163
o 96895
o 96868
o 96858
o 96437
o 96410
o 96400
o 96399
o 96389
o 96111
o 96084
o 96074
o 96073
o 96063
o 95867
o 95840
o 95830
o 95829
o 95819
o 95551
o 95524
o 95514
o 95093
o 95066
o 95056
o 95055
o 95045
o 94865
o 94838
o 94828
o 94827
o 94817
o 94742
o 94715
o 94705
o 94704
o 94694
o 94498
o 94471
o 94461
o 94460
o 94450
o 94182
o 94155
o 94145
o 93724
o 93697
o 93687
o 93686
o 93676
o 93496
o 93469
o 93459
o 93458
o 93448
o 93344
o 93317
o 93307
o 93306
o 93296
o 93028
o 93001
o 92991
o 92570
o 92543
o 92533
o 92532
o 92522
o 92244
o 92217
o 92207
o 92206
o 92196
o 92000
o 91973
o 91963
o 91962
o 91952
o 91684
o 91657
o 91647
o 91226
o 91199
o 91189
o 91188
o 91178
o 90998
o 90971
o 90961
o 90960
o 90950
o 90875
o 90848
o 90838
o 90837
o 90827
o 90631
o 90604
o 90594
o 90593
o 90583
o 90315
o 90288
o 90278
o 89857
o 89830
o 89820
o 89819
o 89809
o 89629
o 89602
o 89592
o 89591
o 89581
o 89226
o 89199
o 89189
o 89188
o 89178
o 88998
o 88971
o 88961
o 88960
o 88950
o 88825
o 88798
o 88788
o 88787
o 88777
o 88499
o 88472
o 88462
o 88461
o 88451
o 88431
o 88421
o 88420
o 88410
o 88142
o 88115
o 88105
o 87684
o 87657
o 87647
o 87646
o 87636
o 87456
o 87429
o 87419
o 87418
o 87408
o 87053
o 87026
o 87016
o 87015
o 87005
o 86825
o 86798
o 86788
o 86787
o 86777
o 86463
o 86436
o 86426
o 86425
o 86415
o 86247
o 86220
o 86210
o 86209
o 86199
o 86198
o 86197
o 86187
o 86019
o 85992
o 85982
o 85981
o 85971
o 85868
o 85841
o 85831
o 85830
o 85820
o 85652
o 85625
o 85615
o 85614
o 85604
o 85552
o 85525
o 85515
o 85094
o 85067
o 85057
o 85056
o 85046
o 84878
o 84851
o 84841
o 84840
o 84830
o 84829
o 84828
o 84818
o 84650
o 84623
o 84613
o 84612
o 84602
o 84463
o 84436
o 84426
o 84425
o 84415
o 84247
o 84220
o 84210
o 84209
o 84199
o 84198
o 84197
o 84187
o 84019
o 83992
o 83982
o 83981
o 83971
o 83665
o 83638
o 83628
o 83627
o 83617
o 83437
o 83410
o 83400
o 83399
o 83389
o 83070
o 83043
o 83033
o 83032
o 83022
o 82754
o 82727
o 82717
o 82296
o 82269
o 82259
o 82258
o 82248
o 82068
o 82041
o 82031
o 82030
o 82020
o 81665
o 81638
o 81628
o 81627
o 81617
o 81437
o 81410
o 81400
o 81399
o 81389
o 81128
o 81101
o 81091
o 81090
o 81080
o 80900
o 80873
o 80863
o 80862
o 80852
o 80497
o 80470
o 80460
o 80459
o 80449
o 80269
o 80242
o 80232
o 80231
o 80221
o 79961
o 79934
o 79924
o 79503
o 79476
o 79466
o 79465
o 79455
o 79287
o 79260
o 79250
o 79249
o 79239
o 79238
o 79237
o 79227
o 79059
o 79032
o 79022
o 79021
o 79011
o 78872
o 78845
o 78835
o 78834
o 78824
o 78656
o 78629
o 78619
o 78618
o 78608
o 78607
o 78606
o 78596
o 78428
o 78401
o 78391
o 78390
o 78380
o 78074
o 78047
o 78037
o 78036
o 78026
o 77846
o 77819
o 77809
o 77808
o 77798
o 77163
o 77136
o 77126
o 76705
o 76678
o 76668
o 76667
o 76657
o 76477
o 76450
o 76440
o 76439
o 76429
o 76074
o 76047
o 76037
o 76036
o 76026Killed
1979.653u 0.046s 33:07.65 99.5%	0+0k 0+0io 0pf+0w