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-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-8.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 130 810 1487271
WARNING: Ubcsat not found.
o 1487271
o 167030
o 165030
o 164162
o 164144
o 163276
o 163021
o 162158
o 162140
o 161272
o 161017
o 160710
o 159842
o 159824
o 158956
o 158701
o 158000
o 157982
o 157965
o 157114
o 156859
o 156552
o 156535
o 155684
o 155666
o 155649
o 154798
o 154543
o 154002
o 153747
o 153162
o 153144
o 153127
o 152276
o 152021
o 151922
o 151741
o 151156
o 151138
o 151121
o 150270
o 150015
o 149916
o 149208
o 148953
o 148854
o 148833
o 148809
o 148734
o 148628
o 148553
o 148236
o 148043
o 147968
o 147950
o 147350
o 147157
o 147082
o 146902
o 146827
o 146803
o 146728
o 146288
o 146095
o 146020
o 145840
o 145765
o 145741
o 145666
o 145658
o 145559
o 145538
o 145514
o 145439
o 145333
o 145258
o 144941
o 144748
o 144673
o 144655
o 144055
o 143862
o 143787
o 143607
o 143532
o 143508
o 143433
o 142993
o 142800
o 142725
o 142545
o 142470
o 142446
o 142371
o 142306
o 142231
o 142207
o 142132
o 142043
o 141968
o 141788
o 141713
o 141689
o 141614
o 141606
o 141507
o 141486
o 141462
o 141387
o 141281
o 141206
o 140889
o 140696
o 140621
o 140603
o 140003
o 139810
o 139735
o 139555
o 139480
o 139456
o 139381
o 138941
o 138748
o 138673
o 138493
o 138418
o 138394
o 138319
o 138254
o 138179
o 138155
o 138080
o 138066
o 137873
o 137798
o 137780
o 137180
o 136987
o 136912
o 136732
o 136657
o 136633
o 136558
o 136118
o 135925
o 135850
o 135670
o 135595
o 135571
o 135496
o 135431
o 135356
o 135332
o 135257
o 135213
o 135078
o 135003
o 134773
o 134580
o 134505
o 134325
o 134250
o 134226
o 134151
o 134086
o 134011
o 133987
o 133912
o 133844
o 133664
o 133589
o 133572
o 133497
o 133317
o 133242
o 133012
o 132819
o 132744
o 132564
o 132489
o 132465
o 132390
o 132255
o 132180
o 131950
o 131757
o 131682
o 131502
o 131427
o 131403
o 131328
o 131263
o 131188
o 131164
o 131089
o 131056
o 130981
o 130957
o 130882
o 130817
o 130742
o 130718
o 130643
o 130599
o 130464
o 130389
o 130159
o 129966
o 129891
o 129711
o 129636
o 129612
o 129537
o 129472
o 129397
o 129373
o 129298
o 129297
o 129222
o 129198
o 129123
o 128988
o 128913
o 128683
o 128490
o 128415
o 128235
o 128160
o 128136
o 128061
o 127950
o 127875
o 127851
o 127776
o 127641
o 127566
o 127336
o 127143
o 127068
o 126888
o 126813
o 126789
o 126714
o 126649
o 126574
o 126550
o 126475
o 126346
o 126271
o 126249
o 126041
o 125848
o 125773
o 125593
o 125518
o 125494
o 125419
o 125284
o 125209
o 125187
o 124979
o 124786
o 124711
o 124531
o 124456
o 124432
o 124357
o 124292
o 124217
o 124193
o 124118
o 124085
o 124010
o 123986
o 123911
o 123846
o 123771
o 123747
o 123672
o 123628
o 123493
o 123418
o 123396
o 123188
o 122995
o 122920
o 122740
o 122665
o 122641
o 122566
o 122501
o 122426
o 122402
o 122327
o 122326
o 122251
o 122227
o 122152
o 122017
o 121942
o 121920
o 121712
o 121519
o 121444
o 121264
o 121189
o 121165
o 121090
o 120979
o 120904
o 120880
o 120805
o 120670
o 120595
o 120573
o 120365
o 120172
o 120097
o 119917
o 119842
o 119818
o 119743
o 119678
o 119603
o 119579
o 119504
o 119372
o 119297
o 119273
o 119198
o 119133
o 119058
o 119034
o 118959
o 118926
o 118851
o 118827
o 118752
o 118687
o 118612
o 118588
o 118513
o 118469
o 118448
o 118373
o 118349
o 118274
o 118259
o 118237
o 118029
o 117836
o 117761
o 117581
o 117506
o 117482
o 117407
o 117342
o 117267
o 117243
o 117168
o 117167
o 117092
o 117068
o 116993
o 116972
o 116897
o 116873
o 116798
o 116783
o 116761
o 116553
o 116360
o 116285
o 116105
o 116030
o 116006
o 115931
o 115820
o 115745
o 115721
o 115646
o 115625
o 115550
o 115526
o 115451
o 115436
o 115414
o 115206
o 115013
o 114938
o 114758
o 114683
o 114659
o 114584
o 114519
o 114444
o 114420
o 114345
o 114315
o 114250
o 114175
o 114151
o 114076
o 114075
o 114000
o 113976
o 113901
o 113766
o 113691
o 113669
o 113461
o 113268
o 113193
o 113013
o 112938
o 112914
o 112839
o 112728
o 112653
o 112629
o 112554
o 112419
o 112344
o 112322
o 112114
o 111921
o 111846
o 111666
o 111591
o 111567
o 111492
o 111427
o 111352
o 111328
o 111253
o 111121
o 111046
o 111022
o 110947
o 110882
o 110807
o 110783
o 110708
o 110675
o 110600
o 110576
o 110501
o 110436
o 110361
o 110337
o 110262
o 110218
o 110197
o 110122
o 110098
o 110023
o 110008
o 109986
o 109778
o 109585
o 109510
o 109330
o 109255
o 109231
o 109156
o 109091
o 109016
o 108992
o 108917
o 108916
o 108841
o 108817
o 108742
o 108721
o 108646
o 108622
o 108547
o 108532
o 108510
o 108302
o 108109
o 108034
o 107854
o 107779
o 107755
o 107680
o 107569
o 107494
o 107470
o 107395
o 107374
o 107299
o 107275
o 107200
o 107185
o 107163
o 106955
o 106762
o 106687
o 106507
o 106432
o 106408
o 106333
o 106268
o 106193
o 106169
o 106094
o 106066
o 106042
o 105967
o 105856
o 105781
o 105757
o 105682
o 105661
o 105586
o 105562
o 105487
o 105472
o 105450
o 105242
o 105049
o 104974
o 104794
o 104719
o 104695
o 104620
o 104555
o 104480
o 104456
o 104381
o 104363
o 104170
o 104095
o 103915
o 103840
o 103816
o 103741
o 103630
o 103555
o 103531
o 103456
o 103435
o 103360
o 103336
o 103261
o 103246
o 103224
o 103016
o 102823
o 102748
o 102568
o 102493
o 102469
o 102394
o 102329
o 102254
o 102230
o 102155
o 102137
o 102136
o 102061
o 102037
o 101962
o 101941
o 101866
o 101842
o 101767
o 101752
o 101730
o 101522
o 101329
o 101254
o 101074
o 100999
o 100975
o 100900
o 100789
o 100714
o 100690
o 100615
o 100594
o 100519
o 100495
o 100420
o 100405
o 100383
o 100175
o 99982
o 99907
o 99727
o 99652
o 99628
o 99553
o 99488
o 99413
o 99389
o 99314
o 99170
o 99095
o 98915
o 98840
o 98816
o 98741
o 98630
o 98555
o 98531
o 98456
o 98435
o 98360
o 98336
o 98261
o 98246
o 98224
o 98016
o 97823
o 97748
o 97568
o 97493
o 97469
o 97394
o 97329
o 97254
o 97230
o 97155
o 97087
o 97063
o 96988
o 96973
o 96964
o 96771
o 96696
o 96488
o 96295
o 96220
o 96196
o 96121
o 96098
o 96074
o 95999
o 95888
o 95813
o 95789
o 95714
o 95693
o 95618
o 95594
o 95519
o 95504
o 95495
o 95302
o 95227
o 95019
o 94826
o 94751
o 94727
o 94652
o 94587
o 94512
o 94488
o 94413
o 94329
o 94136
o 94061
o 94037
o 93962
o 93939
o 93915
o 93840
o 93729
o 93654
o 93630
o 93555
o 93534
o 93459
o 93435
o 93360
o 93345
o 93336
o 93143
o 93068
o 92860
o 92667
o 92592
o 92568
o 92493
o 92428
o 92353
o 92329
o 92254
o 92206
o 92182
o 92107
o 92057
o 91864
o 91789
o 91765
o 91690
o 91625
o 91550
o 91526
o 91451
o 91367
o 91174
o 91099
o 91075
o 91000
o 90977
o 90953
o 90878
o 90765
o 90572
o 90497
o 90473
o 90398
o 90383
o 90374
o 90181
o 90106
o 89898
o 89705
o 89630
o 89606
o 89531
o 89466
o 89391
o 89367
o 89292
o 89244
o 89220
o 89145
o 89098
o 89074
o 88999
o 88976
o 88952
o 88877
o 88764
o 88571
o 88496
o 88472
o 88397
o 88385
o 88382
o 88373
o 88180
o 88105
o 87897
o 87704
o 87629
o 87605
o 87530
o 87465
o 87390
o 87366
o 87291
o 87243
o 87219
o 87144
o 87122
o 87098
o 87023
o 86995
o 86971
o 86896
o 86848
o 86824
o 86749
o 86642
o 86449
o 86374
o 86350
o 86275
o 86263
o 86251
o 86058
o 85983
o 85775
o 85582
o 85507
o 85483
o 85408
o 85343
o 85268
o 85244
o 85169
o 85121
o 85097
o 85022
o 84994
o 84970
o 84895
o 84847
o 84823
o 84748
o 84658
o 84637
o 84497
o 84398
o 84350
o 84251
o 84009
o 83910
o 83898
o 83895
o 83618
o 83142
o 83043
o 82903
o 82804
o 82756
o 82657
o 82635
o 82536
o 82508
o 82409
o 82361
o 82262
o 82228
o 82129
o 82101
o 82002
o 81954
o 81855
o 81788
o 81776
o 81496
o 81020
o 80921
o 80781
o 80682
o 80634
o 80535
o 80507
o 80408
o 80360
o 80261
o 80231
o 80132
o 80041
o 80011
o 79912
o 79742
o 79667
o 79643
o 79568
o 79503
o 79428
o 79404
o 79329
o 79264
o 79240
o 79165
o 79150
o 79143
o 79068
o 78665
o 78472
o 78397
o 78373
o 78298
o 78233
o 78158
o 78134
o 78059
o 77776
o 77583
o 77508
o 77484
o 77409
o 77344
o 77269
o 77245
o 77170
o 77164
o 77152
o 77149
o 77142
o 77067
o 76664
o 76471
o 76396
o 76372
o 76297
o 76232
o 76157
o 76133
o 76058
o 75775
o 75582
o 75507
o 75483
o 75408
o 75343
o 75268
o 75244
o 75169
o 75147
o 75123
o 75048
o 75013
o 74948
o 74873
o 74849
o 74774
o 74542
o 74349
o 74274
o 74250
o 74175
o 74110
o 74035
o 74011
o 73936
o 73653
o 73460
o 73385
o 73361
o 73286
o 73221
o 73146
o 73122
o 73047
o 73012
o 72947
o 72872
o 72848
o 72773
o 72683
o Killed
1979.631u 0.068s 33:08.71 99.5%	0+0k 0+0io 0pf+0w