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-60-2_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-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 173 1282 2452122
WARNING: Ubcsat not found.
o 2452122
o 193500
o 193488
o 193313
o 191425
o 190810
o 190798
o 190623
o 190233
o 189702
o 188735
o 188292
o 187998
o 187467
o 186500
o 185645
o 185528
o 185230
o 184787
o 184493
o 183962
o 182995
o 182645
o 181678
o 181395
o 180823
o 180706
o 180408
o 179965
o 179671
o 179140
o 178173
o 177961
o 177389
o 177272
o 176974
o 176531
o 176237
o 175706
o 174739
o 174599
o 174266
o 173299
o 173111
o 173087
o 172515
o 172398
o 172100
o 171657
o 171363
o 170832
o 169865
o 169725
o 168998
o 168858
o 168525
o 167558
o 167370
o 167346
o 166774
o 166657
o 166359
o 165916
o 165622
o 165091
o 164124
o 163984
o 163941
o 163917
o 163345
o 163228
o 162930
o 162487
o 162193
o 161662
o 160695
o 160555
o 160491
o 159524
o 159384
o 159067
o 158793
o 158262
o 157295
o 157155
o 157136
o 156605
o 155638
o 155364
o 154833
o 153866
o 153726
o 153662
o 152695
o 152555
o 152150
o 151183
o 151043
o 150659
o 150519
o 149859
o 149719
o 149526
o 149252
o 148721
o 147754
o 147614
o 147550
o 146583
o 146443
o 145737
o 145597
o 145019
o 144879
o 144514
o 144374
o 143996
o 143856
o 143472
o 143332
o 142672
o 142532
o 142339
o 142065
o 141534
o 140567
o 140427
o 140363
o 139396
o 139256
o 138550
o 138410
o 137832
o 137692
o 137327
o 137187
o 136880
o 136740
o 136162
o 136022
o 135657
o 135517
o 135139
o 134999
o 134615
o 134475
o 134449
o 133815
o 133675
o 133311
o 132344
o 131710
o 131570
o 131173
o 130539
o 130399
o 130327
o 129693
o 129553
o 128975
o 128835
o 128470
o 128330
o 128278
o 128138
o 127568
o 127428
o 127128
o 126161
o 125527
o 125387
o 124990
o 124356
o 124216
o 124144
o 123510
o 123370
o 122792
o 122652
o 122287
o 122147
o 122020
o 121880
o 121502
o 121362
o 120978
o 120838
o 120812
o 120178
o 120038
o 119674
o 118707
o 118073
o 117933
o 117536
o 116902
o 116762
o 116690
o 116056
o 115916
o 115338
o 115198
o 114833
o 114693
o 114641
o 114501
o 113931
o 113791
o 113491
o 112524
o 111890
o 111750
o 111353
o 110719
o 110579
o 110507
o 109873
o 109733
o 109155
o 109015
o 108650
o 108510
o 108495
o 108098
o 107464
o 107324
o 107252
o 106618
o 106478
o 105900
o 105760
o 105395
o 105255
o 105203
o 105063
o 104493
o 104353
o 104053
o 103086
o 102452
o 102312
o 101915
o 101281
o 101141
o 101069
o 100435
o 100295
o 99717
o 99577
o 99212
o 99072
o 98645
o 98505
o 97927
o 97787
o 97422
o 97282
o 97195
o 97055
o 96628
o 96488
o 95910
o 95770
o 95405
o 95265
o 95166
o 94599
o 94515
o 93881
o 93376
o 93336
o 93183
o 93149
o 92582
o 92498
o 91864
o 91359
o 91319
o 91166
o 91157
o 90523
o 90018
o 89870
o 89368
o 88863
o 88823
o 88670
o 88661
o 88027
o 87522
o 87374
o 87330
o 86825
o 86677
o 86635
o 86487
o 86408
o 86386
o 86260
o 86218
o 86196
o 86070
o 85966
o 85820
o 85461
o 85421
o 85268
o 84984
o 84625
o 84479
o 84120
o 83972
o 83928
o 83782
o 83423
o 83275
o 83233
o 83085
o 83006
o 82984
o 82858
o 82816
o 82794
o 82668
o 82318
o 82278
o 82125
o 82116
o 81482
o 80977
o 80829
o 80785
o 80280
o 80132
o 80090
o 79942
o 79863
o 79841
o 79715
o 79673
o 79651
o 79525
o 79406
o 79399
o 79385
o 79259
o 79137
o 79115
o 78989
o 78982
o 78913
o 78869
o 78723
o 78364
o 78216
o 78174
o 78026
o 77947
o 77925
o 77799
o 77757
o 77735
o 77609
o 77259
o 77219
o 77066
o 77057
o 76423
o 75918
o 75770
o 75726
o 75221
o 75073
o 75031
o 74883
o 74804
o 74782
o 74656
o 74614
o 74592
o 74466
o 74463
o 74337
o 74326
o 74200
o 74078
o 74056
o 73930
o 73923
o 73801
o 73794
o 73787
o 73550
o 73282
o 73134
o 73092
o 72944
o 72865
o 72843
o 72717
o 72675
o 72653
o 72527
o 72408
o 72401
o 72387
o 72261
o 72139
o 72117
o 71991
o 71984
o 71892
o 71729
o 71666
o 71581
o 71518
o 71195
o 71032
o 70969
o 70884
o 70821
o 70779
o 70694
o 70631
o 70615
o 70552
o 70467
o 70404
o 70362
o 70277
o 70214
o 70158
o 70095
o 70088
o 70011
o 69948
o 69889
o 69826
o 69741
o 69678
o 69671
o 69632
o 69547
o 69542
o 69484
o 69132
o 68998
o 68993
o 68935
o 68850
o 68845
o 68787
o 68745
o 68660
o 68655
o 68597
o 68581
o 68576
o 68518
o 68433
o 68428Killed
1979.618u 0.081s 33:10.10 99.4%	0+0k 0+0io 0pf+0w