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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-60-2_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 176 1265 2414803
WARNING: Ubcsat not found.
o 2414803
o 198904
o 197795
o 196287
o 195699
o 194590
o 193082
o 193008
o 192546
o 192472
o 191153
o 191079
o 190134
o 190060
o 189726
o 189652
o 189190
o 189116
o 188716
o 188358
o 187797
o 187723
o 187697
o 187339
o 186778
o 186704
o 186693
o 186619
o 186570
o 185674
o 185600
o 185266
o 185192
o 184730
o 184656
o 184233
o 183337
o 183263
o 183214
o 182318
o 182244
o 181767
o 181693
o 181644
o 180748
o 180674
o 180512
o 179616
o 179542
o 179493
o 178597
o 178523
o 178443
o 178369
o 177911
o 177837
o 177785
o 177311
o 177237
o 177188
o 176292
o 176218
o 176146
o 176072
o 176023
o 175127
o 175053
o 174973
o 174899
o 174441
o 174367
o 174315
o 173841
o 173767
o 173718
o 172822
o 172748
o 172231
o 172157
o 172077
o 172003
o 171545
o 171471
o 171419
o 170945
o 170871
o 170822
o 169926
o 169852
o 169821
o 169260
o 169186
o 169106
o 169032
o 168574
o 168500
o 168448
o 167974
o 167900
o 167851
o 167721
o 167516
o 166955
o 166881
o 166364
o 166290
o 166210
o 166136
o 165678
o 165604
o 165552
o 165078
o 165004
o 164955
o 164825
o 164620
o 164059
o 163985
o 163815
o 163741
o 163692
o 163562
o 163357
o 162796
o 162722
o 162680
o 162606
o 162205
o 162131
o 162089
o 162015
o 161977
o 161935
o 161861
o 161519
o 161445
o 161393
o 160919
o 160845
o 160796
o 160666
o 160461
o 159900
o 159826
o 159784
o 159710
o 159439
o 159365
o 159195
o 159121
o 159072
o 158942
o 158737
o 158176
o 158102
o 158060
o 157986
o 157585
o 157511
o 157469
o 157395
o 157357
o 157315
o 157241
o 156899
o 156825
o 156773
o 156299
o 156225
o 156176
o 156046
o 155841
o 155280
o 155206
o 155164
o 155090
o 154960
o 154399
o 154325
o 154283
o 154209
o 154147
o 154073
o 154031
o 153957
o 153924
o 153875
o 153745
o 153540
o 152979
o 152905
o 152863
o 152789
o 152268
o 152194
o 152152
o 152078
o 151842
o 151768
o 151726
o 151652
o 151387
o 151313
o 151271
o 151197
o 150961
o 150887
o 150845
o 150771
o 150238
o 150164
o 150122
o 150048
o 149647
o 149573
o 149531
o 149457
o 149419
o 149377
o 149303
o 148961
o 148887
o 148835
o 148361
o 148287
o 148238
o 148108
o 147903
o 147342
o 147268
o 147226
o 147152
o 147022
o 146461
o 146387
o 146345
o 146271
o 146209
o 146135
o 146093
o 146019
o 145986
o 145937
o 145807
o 145602
o 145041
o 144967
o 144925
o 144851
o 144330
o 144256
o 144214
o 144140
o 143904
o 143830
o 143788
o 143714
o 143449
o 143375
o 143333
o 143259
o 143023
o 142949
o 142907
o 142833
o 142800
o 142726
o 142684
o 142610
o 142572
o 142530
o 142456
o 142114
o 142040
o 141988
o 141514
o 141440
o 141391
o 141261
o 141056
o 140495
o 140421
o 140379
o 140305
o 140175
o 139614
o 139540
o 139498
o 139424
o 139362
o 139288
o 139246
o 139172
o 139139
o 139090
o 138960
o 138755
o 138194
o 138120
o 138078
o 138004
o 137483
o 137409
o 137367
o 137293
o 137057
o 136983
o 136941
o 136867
o 136602
o 136528
o 136486
o 136412
o 136176
o 136102
o 136060
o 135986
o 135965
o 135923
o 135849
o 135507
o 135433
o 135381
o 135364
o 135315
o 135185
o 134980
o 134419
o 134345
o 133888
o 133814
o 133772
o 133698
o 133538
o 133464
o 133007
o 132933
o 132891
o 132817
o 132755
o 132681
o 132639
o 132565
o 132118
o 132044
o 131587
o 131513
o 131471
o 131397
o 131333
o 130876
o 130802
o 130760
o 130686
o 130450
o 130376
o 130334
o 130260
o 129995
o 129921
o 129879
o 129805
o 129569
o 129495
o 129453
o 129379
o 129347
o 129187
o 129113
o 128656
o 128582
o 128540
o 128466
o 128404
o 128330
o 128288
o 128214
o 127767
o 127693
o 127236
o 127162
o 127120
o 127046
o 126982
o 126525
o 126451
o 126409
o 126335
o 126099
o 126025
o 125983
o 125909
o 125644
o 125570
o 125528
o 125454
o 125218
o 125144
o 125102
o 125028
o 124675
o 124601
o 124559
o 124485
o 124249
o 124175
o 124133
o 124059
o 123794
o 123720
o 123678
o 123604
o 123368
o 123294
o 123252
o 123178
o 123093
o 123019
o 122977
o 122903
o 122638
o 122564
o 122522
o 122448
o 122212
o 122138
o 122096
o 122022
o 121913
o 121839
o 121797
o 121723
o 121487
o 121413
o 121371
o 121297
o 121032
oKilled
1979.630u 0.069s 33:10.78 99.4%	0+0k 0+0io 0pf+0w