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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-280-1_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 710 2552 4592576
WARNING: Ubcsat not found.
o 4592576
o 875984
o 875710
o 874772
o 874027
o 873930
o 873791
o 873046
o 872949
o 872426
o 872329
o 872311
o 872214
o 872025
o 871928
o 871405
o 871308
o 871245
o 871148
o 871086
o 870989
o 870466
o 870369
o 870351
o 870254
o 870065
o 869968
o 869445
o 869348
o 869285
o 869188
o 869161
o 869064
o 869001
o 868904
o 868815
o 868752
o 868655
o 868628
o 868531
o 868468
o 868371
o 868363
o 868174
o 868077
o 867554
o 867457
o 867394
o 867297
o 867270
o 867173
o 867110
o 867013
o 866943
o 866880
o 866783
o 866756
o 866659
o 866596
o 866499
o 866446
o 866383
o 866286
o 866197
o 866134
o 866037
o 866010
o 865913
o 865850
o 865753
o 865745
o 865556
o 865459
o 864936
o 864839
o 864776
o 864679
o 864652
o 864555
o 864492
o 864395
o 863967
o 863870
o 863807
o 863710
o 863683
o 863586
o 863523
o 863426
o 863213
o 863116
o 863053
o 862956
o 862929
o 862832
o 862769
o 862672
o 862666
o 862603
o 862506
o 862479
o 862382
o 862319
o 862222
o 861942
o 861845
o 861782
o 861685
o 861658
o 861561
o 861498
o 861401
o 861188
o 861091
o 861028
o 860931
o 860904
o 860807
o 860744
o 860647
o 860623
o 860526
o 860463
o 860366
o 860086
o 859989
o 859926
o 859829
o 859802
o 859705
o 859642
o 859545
o 859332
o 859235
o 859172
o 859075
o 859048
o 858951
o 858888
o 858791
o 858714
o 858501
o 858404
o 858341
o 858244
o 858217
o 858120
o 858057
o 857960
o 857834
o 857737
o 857674
o 857577
o 857550
o 857453
o 857390
o 857293
o 857289
o 857212
o 857174
o 856999
o 856902
o 856839
o 856742
o 856715
o 856618
o 856555
o 856458
o 856332
o 856235
o 856172
o 856075
o 856048
o 855951
o 855888
o 855791
o 855743
o 855680
o 855583
o 855496
o 855433
o 855336
o 855259
o 855046
o 854949
o 854886
o 854789
o 854762
o 854665
o 854602
o 854505
o 854379
o 854282
o 854219
o 854122
o 854095
o 853998
o 853935
o 853838
o 853834
o 853757
o 853719
o 853544
o 853447
o 853384
o 853287
o 853260
o 853163
o 853100
o 853003
o 852877
o 852780
o 852717
o 852620
o 852593
o 852496
o 852433
o 852336
o 852241
o 852178
o 852081
o 852038
o 851941
o 851878
o 851781
o 851754
o 851657
o 851594
o 851497
o 851493
o 851416
o 851378
o 851203
o 851106
o 851043
o 850946
o 850919
o 850822
o 850759
o 850662
o 850536
o 850439
o 850376
o 850279
o 850252
o 850155
o 850092
o 849995
o 849970
o 849873
o 849810
o 849713
o 849618
o 849555
o 849458
o 849415
o 849318
o 849255
o 849158
o 849131
o 849034
o 848971
o 848874
o 848870
o 848793
o 848755
o 848580
o 848483
o 848420
o 848323
o 848296
o 848199
o 848136
o 848039
o 847913
o 847816
o 847753
o 847656
o 847629
o 847532
o 847469
o 847372
o 847338
o 847250
o 847153
o 847090
o 846993
o 846966
o 846869
o 846806
o 846709
o 846675
o 846603
o 846540
o 846443
o 846416
o 846319
o 846256
o 846159
o 846125
o 846042
o 845979
o 845882
o 845855
o 845758
o 845695
o 845598
o 845472
o 845375
o 845312
o 845215
o 845188
o 845091
o 845028
o 844931
o 844897
o 844809
o 844712
o 844649
o 844552
o 844525
o 844428
o 844365
o 844268
o 844234
o 844162
o 844099
o 844002
o 843975
o 843878
o 843815
o 843718
o 843684
o 843615
o 843552
o 843455
o 843421
o 843374
o 843311
o 843214
o 843187
o 843090
o 843027
o 842930
o 842896
o 842824
o 842761
o 842664
o 842637
o 842540
o 842477
o 842380
o 842346
o 842277
o 842214
o 842117
o 842083
o 842075
o 842003
o 841940
o 841843
o 841816
o 841719
o 841656
o 841559
o 841525
o 841456
o 841393
o 841296
o 841262
o 841251
o 841224
o 841127
o 841064
o 840967
o 840933
o 840864
o 840801
o 840704
o 840670
o 840598
o 840564
o 840556
o 840484
o 840421
o 840324
o 840297
o 840200
o 840137
o 840040
o 840006
o 839937
o 839874
o 839777
o 839743
o 839684
o 839650
o 839581
o 839518
o 839421
o 839387
o 839376
o 839349
o 839252
o 839189
o 839092
o 839058
o 838989
o 838926
o 838829
o 838795
o 838723
o 838689
o 838681
o 838609
o 838546
o 838449
o 838422
o 838325
o 838262
o 838165
o 838131
o 838062
o 837999
o 837902
o 837868
o 837829
o 837795
o 837787
o 837703
o 837640
o 837543
o 837512
o 837415
o 837368
o 837271
o 837237
oKilled
1979.641u 0.058s 33:03.16 99.8%	0+0k 0+0io 0pf+0w