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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-4.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 131 851 1497215
WARNING: Ubcsat not found.
o 1497215
o 161681
o 158353
o 157898
o 157536
o 157430
o 157068
o 154093
o 153638
o 153276
o 152128
o 151673
o 151311
o 148979
o 148524
o 148162
o 147146
o 146691
o 146329
o 143997
o 143542
o 143180
o 142253
o 141798
o 141436
o 140833
o 140378
o 140016
o 139801
o 139089
o 138634
o 138272
o 138057
o 137704
o 137101
o 136646
o 136284
o 136069
o 135357
o 134902
o 134540
o 134325
o 133950
o 133588
o 133373
o 132672
o 132217
o 131855
o 131640
o 131287
o 130684
o 130229
o 129867
o 129652
o 128940
o 128485
o 128123
o 127908
o 127533
o 127171
o 126956
o 126737
o 126375
o 126160
o 125807
o 125204
o 124749
o 124387
o 124172
o 123460
o 123005
o 122643
o 122428
o 122053
o 121691
o 121476
o 121407
o 121192
o 120817
o 120455
o 120240
o 120166
o 119964
o 119791
o 119602
o 119429
o 119387
o 119214
o 119168
o 118995
o 118806
o 118633
o 118591
o 118418
o 118238
o 118065
o 117635
o 117462
o 117180
o 117007
o 116818
o 116645
o 116603
o 116430
o 116399
o 115891
o 115718
o 115436
o 115263
o 115074
o 114901
o 114859
o 114686
o 114484
o 114311
o 114122
o 113949
o 113907
o 113734
o 113665
o 113623
o 113450
o 113248
o 113075
o 112886
o 112713
o 112671
o 112498
o 112476
o 112434
o 112261
o 112215
o 112042
o 111853
o 111680
o 111638
o 111465
o 111285
o 111112
o 110682
o 110509
o 110227
o 110054
o 109865
o 109692
o 109650
o 109477
o 109446
o 108938
o 108765
o 108483
o 108310
o 108121
o 107948
o 107906
o 107733
o 107531
o 107358
o 107169
o 106996
o 106954
o 106781
o 106712
o 106670
o 106497
o 106295
o 106122
o 105933
o 105760
o 105718
o 105545
o 105524
o 105335
o 105162
o 105120
o 104947
o 104946
o 104904
o 104731
o 104667
o 104465
o 104292
o 104103
o 103930
o 103888
o 103715
o 103694
o 103505
o 103332
o 103290
o 103117
o 103014
o 102732
o 102559
o 102370
o 102197
o 102061
o 101888
o 101846
o 101673
o 101607
o 101418
o 101245
o 101109
o 100936
o 100894
o 100721
o 100652
o 100610
o 100437
o 100371
o 100182
o 100009
o 99873
o 99700
o 99658
o 99485
o 99411
o 99275
o 99102
o 99060
o 98887
o 98885
o 98712
o 98670
o 98497
o 98466
o 97958
o 97785
o 97503
o 97330
o 97141
o 96968
o 96926
o 96753
o 96551
o 96378
o 96189
o 96016
o 95974
o 95801
o 95732
o 95690
o 95517
o 95315
o 95142
o 94953
o 94780
o 94738
o 94565
o 94544
o 94355
o 94182
o 94140
o 93967
o 93822
o 93649
o 93556
o 93383
o 93341
o 93168
o 92870
o 92697
o 92604
o 92431
o 92389
o 92216
o 92147
o 92105
o 91932
o 91634
o 91461
o 91368
o 91195
o 91153
o 90980
o 90851
o 90770
o 90597
o 90555
o 90382
o 90253
o 90086
o 89913
o 89820
o 89647
o 89605
o 89432
o 89303
o 89222
o 89049
o 89007
o 88834
o 88705
o 88635
o 88462
o 88369
o 88196
o 88154
o 87981
o 87852
o 87771
o 87598
o 87556
o 87383
o 87254
o 87236
o 87063
o 86970
o 86797
o 86755
o 86582
o 86453
o 86372
o 86199
o 86157
o 85984
o 85855
o 85785
o 85612
o 85519
o 85346
o 85304
o 85131
o 85002
o 84921
o 84748
o 84706
o 84533
o 84404
o 84294
o 84224
o 84051
o 83958
o 83785
o 83743
o 83570
o 83441
o 83360
o 83187
o 83145
o 82972
o 82843
o 82744
o 82737
o 82634
o 82627
o 82588
o 82585
o 82361
o 82188
o 82163
o 81990
o 81954
o 81781
o 81774
o 81753
o 81580
o 81356
o 81183
o 81176
o 81174
o 80993
o 80820
o 80684
o 80677
o 80608
o 80572
o 80399
o 80392
o 80371
o 80198
o 79974
o 79801
o 79794
o 79792
o 79611
o 79438
o 79345
o 79340
o 79172
o 79030
o 78806
o 78633
o 78626
o 78624
o 78443
o 78270
o 78177
o 78172
o 78004
o 77862
o 77689
o 77596
o 77591
o 77423
o 77358
o 77351
o 77349
o 77272
o 77168
o 76995
o 76883
o 76659
o 76486
o 76479
o 76477
o 76296
o 76123
o 76030
o 76025
o 75857
o 75715
o 75542
o 75449
o 75444
o 75276
o 75270
o 75097
o 74992
o 74928
o 74755
o 74748
o 74650
o 74643
o 74641
o 74565
o 74392
o 74287
o 74174
o 74167
o 74069
o 74062
o 74060
o 73984
o 73811
o 73706
o 73628
o 73535
o 73530
o 73362
o 73196
o 73151
o 72978
o 72971
o 72969
o 72788
o 72615
o 72545
o 72403
o 72230
o 72137
o 72132
o 71964
o 71958
o 71785
o 71680
o 71616
o 71443
o 71436
o 71338
o 71331
o 71329
o 71253
o 71080
o Killed
1979.654u 0.045s 33:05.69 99.6%	0+0k 0+0io 0pf+0w