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-280-1_network-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-280-1_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 700 2395 4144923
WARNING: Ubcsat not found.
o 4144923
o 832044
o 832035
o 831855
o 831554
o 831545
o 831365
o 831362
o 831182
o 830946
o 830937
o 830757
o 830754
o 830574
o 830444
o 830441
o 830261
o 830118
o 830109
o 829929
o 829926
o 829746
o 829616
o 829613
o 829433
o 829381
o 829145
o 829136
o 828956
o 828953
o 828773
o 828643
o 828640
o 828460
o 828312
o 828182
o 828179
o 827999
o 827964
o 827912
o 827676
o 827667
o 827487
o 827484
o 827304
o 827174
o 827171
o 826991
o 826969
o 826917
o 826779
o 826681
o 826672
o 826492
o 826489
o 826309
o 826179
o 826176
o 825996
o 825973
o 825909
o 825847
o 825717
o 825714
o 825534
o 825512
o 825460
o 825322
o 825224
o 825215
o 825035
o 825032
o 824852
o 824722
o 824719
o 824539
o 824390
o 824346
o 824208
o 824110
o 824101
o 823921
o 823918
o 823738
o 823608
o 823605
o 823425
o 823386
o 823351
o 823237
o 823193
o 823169
o 823055
o 822957
o 822948
o 822929
o 822882
o 822768
o 822765
o 822746
o 822699
o 822585
o 822569
o 822455
o 822452
o 822433
o 822386
o 822272
o 822196
o 822193
o 822174
o 822127
o 822013
o 821997
o 821883
o 821880
o 821861
o 821814
o 821700
o 821641
o 821638
o 821619
o 821572
o 821458
o 821442
o 821328
o 821325
o 821306
o 821259
o 821145
o 821045
o 821029
o 820915
o 820912
o 820893
o 820846
o 820732
o 820618
o 820615
o 820596
o 820549
o 820435
o 820428
o 820425
o 820406
o 820359
o 820245
o 820229
o 820115
o 820112
o 820093
o 820046
o 819932
o 819873
o 819870
o 819851
o 819804
o 819690
o 819674
o 819560
o 819557
o 819538
o 819491
o 819377
o 819277
o 819261
o 819147
o 819144
o 819125
o 819078
o 818964
o 818850
o 818847
o 818828
o 818781
o 818667
o 818585
o 818582
o 818563
o 818516
o 818402
o 818288
o 818285
o 818266
o 818219
o 818105
o 818079
o 817965
o 817962
o 817915
o 817801
o 817687
o 817684
o 817665
o 817618
o 817504
o 817422
o 817419
o 817400
o 817353
o 817239
o 817125
o 817122
o 817103
o 817056
o 816942
o 816938
o 816824
o 816821
o 816802
o 816755
o 816641
o 816559
o 816556
o 816537
o 816490
o 816376
o 816262
o 816259
o 816240
o 816193
o 816079
o 816053
o 815939
o 815936
o 815889
o 815775
o 815661
o 815658
o 815639
o 815592
o 815478
o 815396
o 815393
o 815374
o 815327
o 815213
o 815099
o 815096
o 815077
o 815030
o 814916
o 814915
o 814912
o 814893
o 814846
o 814732
o 814618
o 814615
o 814596
o 814549
o 814435
o 814363
o 814281
o 814278
o 814259
o 814212
o 814098
o 813984
o 813981
o 813962
o 813915
o 813801
o 813775
o 813661
o 813658
o 813611
o 813497
o 813383
o 813380
o 813361
o 813314
o 813200
o 813118
o 813115
o 813096
o 813049
o 812935
o 812821
o 812818
o 812799
o 812752
o 812638
o 812637
o 812634
o 812615
o 812568
o 812454
o 812340
o 812337
o 812318
o 812271
o 812157
o 812113
o 811999
o 811996
o 811977
o 811930
o 811816
o 811734
o 811731
o 811712
o 811665
o 811551
o 811437
o 811434
o 811415
o 811368
o 811254
o 811251
o 811137
o 811055
o 811052
o 811033
o 810986
o 810872
o 810758
o 810755
o 810736
o 810689
o 810575
o 810574
o 810571
o 810552
o 810505
o 810391
o 810277
o 810274
o 810255
o 810208
o 810094
o 810079
o 809965
o 809928
o 809814
o 809811
o 809792
o 809745
o 809631
o 809592
o 809589
o 809570
o 809523
o 809409
o 809295
o 809292
o 809273
o 809226
o 809112
o 809111
o 809108
o 809089
o 809042
o 808928
o 808814
o 808811
o 808792
o 808745
o 808631
o 808622
o 808508
o 808493
o 808379
o 808342
o 808228
o 808225
o 808206
o 808159
o 808045
o 808006
o 808003
o 807984
o 807937
o 807823
o 807709
o 807706
o 807687
o 807640
o 807526
o 807525
o 807522
o 807503
o 807456
o 807342
o 807228
o 807225
o 807206
o 807159
o 807045
o 807042
o 807023
o 806976
o 806862
o 806861
o 806858
o 806839
o 806792
o 806678
o 806564
o 806561
o 806542
o 806495
o 806381
o 806355
o 806241
o 806238
o 806219
o 806172
o 806058
o 806055
o 806036
o 805989
o 805875
o 805874
o 805871
o 805852
o 805805
o 805691
o 805577
o 805574
o 805555
o 805508
o 805394
o 805383
o 805336
o 805222
o 805108
o 805105
o 805086
o 805039
o 804925
o 804924
o 804921
o 804902
o 804855
o 804741
o 804627
oKilled
1979.625u 0.074s 33:11.87 99.3%	0+0k 0+0io 0pf+0w