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-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-9.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 137 1043 1980783
WARNING: Ubcsat not found.
o 1980783
o 158954
o 157501
o 156941
o 156757
o 156315
o 156238
o 155883
o 155699
o 155257
o 154791
o 154607
o 154165
o 153964
o 153887
o 153532
o 153348
o 152906
o 152440
o 152256
o 151814
o 151486
o 151339
o 150873
o 150689
o 150247
o 149919
o 149681
o 149353
o 149111
o 148873
o 148545
o 148338
o 148154
o 147712
o 147384
o 147146
o 146818
o 146564
o 146322
o 146084
o 145756
o 145549
o 145365
o 144923
o 144595
o 144357
o 144029
o 143879
o 143551
o 143344
o 143160
o 142718
o 142390
o 142152
o 141824
o 141814
o 141574
o 141424
o 141096
o 140889
o 140705
o 140263
o 139935
o 139697
o 139369
o 139007
o 138679
o 138441
o 138113
o 137963
o 137635
o 137428
o 137244
o 136802
o 136474
o 136236
o 135908
o 135898
o 135658
o 135508
o 135180
o 134973
o 134789
o 134347
o 134019
o 133781
o 133453
o 133324
o 132996
o 132721
o 132514
o 132330
o 131888
o 131560
o 131322
o 130994
o 130983
o 130655
o 130448
o 130264
o 129822
o 129494
o 129256
o 128928
o 128779
o 128595
o 128153
o 127825
o 127587
o 127259
o 127248
o 126920
o 126713
o 126529
o 126087
o 125759
o 125521
o 125193
o 124979
o 124968
o 124640
o 124433
o 124249
o 123807
o 123479
o 123241
o 122913
o 122602
o 122570
o 122242
o 122231
o 121903
o 121696
o 121512
o 121070
o 120742
o 120504
o 120176
o 119761
o 119433
o 119195
o 118867
o 118790
o 118462
o 118224
o 117896
o 117481
o 117153
o 116915
o 116587
o 116549
o 116538
o 116210
o 116003
o 115819
o 115377
o 115049
o 114811
o 114483
o 114068
o 113740
o 113502
o 113174
o 113097
o 112769
o 112531
o 112203
o 111788
o 111460
o 111222
o 110894
o 110618
o 110380
o 110052
o 109877
o 109549
o 109311
o 108983
o 108973
o 108735
o 108407
o 108225
o 107987
o 107659
o 107647
o 107463
o 107021
o 106693
o 106455
o 106127
o 105851
o 105613
o 105285
o 105110
o 104782
o 104544
o 104216
o 103968
o 103839
o 103424
o 103096
o 102858
o 102530
o 102254
o 102016
o 101688
o 101683
o 101407
o 101169
o 100841
o 100619
o 100338
o 100100
o 99772
o 99767
o 99529
o 99201
o 99099
o 98657
o 98329
o 98091
o 97763
o 97487
o 97249
o 96921
o 96916
o 96640
o 96402
o 96074
o 95852
o 95571
o 95333
o 95005
o 94933
o 94876
o 94750
o 94742
o 94620
o 94461
o 94339
o 94223
o 94101
o 93895
o 93773
o 93701
o 93644
o 93548
o 93310
o 92982
o 92977
o 92701
o 92463
o 92135
o 91913
o 91632
o 91394
o 91066
o 90890
o 90609
o 90371
o 90043
o 90027
o 89699
o 89623
o 89385
o 89057
o 88781
o 88543
o 88215
o 88210
o 87934
o 87696
o 87368
o 87146
o 86865
o 86627
o 86299
o 86123
o 85842
o 85604
o 85276
o 85260
o 84932
o 84860
o 84803
o 84732
o 84610
o 84494
o 84372
o 84166
o 84044
o 84028
o 83822
o 83700
o 83628
o 83571
o 83453
o 83331
o 83259
o 83202
o 83162
o 83140
o 83018
o 82946
o 82889
o 82849
o 82842
o 82826
o 82498
o 82426
o 82369
o 82298
o 82176
o 82060
o 81938
o 81732
o 81610
o 81594
o 81388
o 81266
o 81194
o 81137
o 81019
o 80897
o 80825
o 80768
o 80728
o 80523
o 80401
o 80329
o 80272
o 80154
o 80032
o 79960
o 79903
o 79863
o 79838
o 79716
o 79510
o 79388
o 79372
o 79166
o 79044
o 78972
o 78915
o 78797
o 78675
o 78603
o 78546
o 78506
o 78468
o 78346
o 78274
o 78217
o 78177
o 78141
o 78134
o 78118
o 77790
o 77718
o 77661
o 77590
o 77468
o 77352
o 77230
o 77024
o 76902
o 76886
o 76680
o 76558
o 76486
o 76429
o 76311
o 76189
o 76117
o 76060
o 76020
o 75815
o 75693
o 75621
o 75564
o 75446
o 75324
o 75252
o 75195
o 75155
o 75130
o 75008
o 74802
o 74680
o 74664
o 74458
o 74336
o 74264
o 74207
o 74089
o 73967
o 73895
o 73838
o 73798
o 73760
o 73638
o 73566
o 73509
o 73469
o 73422
o 73304
o 73182
o 73110
o 73053
o 73013
o 72988
o 72866
o 72660
o 72538
o 72522
o 72316
o 72194
o 72122
o 72065
o 71947
o 71825
o 71753
o 71696
o 71656
o 71618
o 71496
o 71424
o 71367
o 71327
o 71306
o 71249
o 71209
o 71171
o 71049
o 70977
o 70920
o 70880
o 70851
o 70835
o 70629
o 70507
o 70435
o 70378
o 70260
o 70138
o 70066
o 70009
o 69969
o 69931
o 69809
o 69737
o 69680
o 69640
o 69624
o 69595
o 69579
o 69373
o 69251
o 69179
o 69122
o 69004
o 68882
o 68810
Killed
1979.604u 0.095s 33:06.01 99.6%	0+0k 0+0io 0pf+0w