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-240-1_network-6.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-6.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 613 2138 3808179
WARNING: Ubcsat not found.
o 3808179
o 736963
o 736619
o 736443
o 736440
o 736264
o 736105
o 735761
o 735585
o 735395
o 735219
o 735207
o 734863
o 734687
o 734611
o 734421
o 734245
o 734233
o 733889
o 733713
o 733615
o 733439
o 733249
o 733073
o 733061
o 732717
o 732541
o 732443
o 732267
o 732135
o 731799
o 731623
o 731525
o 731349
o 731217
o 731098
o 731090
o 731019
o 730843
o 730831
o 730487
o 730311
o 730213
o 730037
o 729905
o 729569
o 729393
o 729295
o 729119
o 728987
o 728868
o 728854
o 728678
o 728546
o 728427
o 728343
o 728204
o 728072
o 727953
o 727948
o 727772
o 727640
o 727304
o 727128
o 727030
o 726854
o 726722
o 726603
o 726589
o 726413
o 726281
o 726162
o 726078
o 726014
o 725927
o 725795
o 725459
o 725283
o 725185
o 725009
o 724877
o 724758
o 724744
o 724568
o 724436
o 724317
o 724233
o 724121
o 724002
o 723918
o 723895
o 723783
o 723664
o 723580
o 723490
o 723476
o 723300
o 723168
o 723049
o 722965
o 722853
o 722734
o 722650
o 722557
o 722425
o 722306
o 722292
o 722116
o 721984
o 721865
o 721781
o 721669
o 721550
o 721466
o 721443
o 721331
o 721212
o 721128
o 721038
o 721024
o 720848
o 720716
o 720597
o 720513
o 720401
o 720282
o 720198
o 720146
o 720062
o 720039
o 719927
o 719808
o 719724
o 719634
o 719620
o 719444
o 719312
o 719193
o 719109
o 718997
o 718878
o 718794
o 718710
o 718687
o 718575
o 718456
o 718372
o 718282
o 718268
o 718092
o 717960
o 717841
o 717757
o 717645
o 717526
o 717442
o 717431
o 717417
o 717241
o 717109
o 716990
o 716906
o 716794
o 716675
o 716591
o 716507
o 716484
o 716372
o 716253
o 716169
o 716079
o 716065
o 715889
o 715757
o 715638
o 715554
o 715442
o 715323
o 715239
o 715141
o 715057
o 715020
o 714936
o 714824
o 714705
o 714621
o 714537
o 714514
o 714402
o 714283
o 714199
o 714109
o 714095
o 713919
o 713787
o 713668
o 713584
o 713472
o 713353
o 713269
o 713171
o 713087
o 713061
o 712978
o 712894
o 712868
o 712820
o 712708
o 712589
o 712505
o 712421
o 712398
o 712286
o 712167
o 712083
o 711993
o 711979
o 711803
o 711671
o 711552
o 711468
o 711356
o 711237
o 711153
o 711055
o 710971
o 710945
o 710876
o 710757
o 710673
o 710589
o 710566
o 710454
o 710335
o 710251
o 710161
o 710147
o 709971
o 709839
o 709720
o 709636
o 709524
o 709405
o 709321
o 709223
o 709139
o 709113
o 709008
o 708924
o 708812
o 708693
o 708609
o 708511
o 708427
o 708401
o 708332
o 708213
o 708129
o 708045
o 708022
o 707910
o 707791
o 707707
o 707617
o 707603
o 707427
o 707295
o 707176
o 707092
o 706980
o 706861
o 706777
o 706679
o 706595
o 706569
o 706421
o 706289
o 706170
o 706086
o 705974
o 705855
o 705771
o 705673
o 705589
o 705563
o 705530
o 705446
o 705348
o 705264
o 705238
o 705169
o 705050
o 704966
o 704882
o 704859
o 704747
o 704628
o 704544
o 704454
o 704440
o 704264
o 704132
o 704013
o 703929
o 703817
o 703698
o 703614
o 703516
o 703432
o 703406
o 703258
o 703126
o 703007
o 702923
o 702811
o 702692
o 702608
o 702510
o 702426
o 702400
o 702365
o 702246
o 702162
o 702064
o 701980
o 701954
o 701806
o 701674
o 701555
o 701471
o 701359
o 701240
o 701156
o 701058
o 700974
o 700948
o 700857
o 700773
o 700661
o 700542
o 700458
o 700360
o 700276
o 700250
o 700238
o 700140
o 700056
o 700030
o 699939
o 699855
o 699743
o 699624
o 699540
o 699442
o 699358
o 699332
o 699290
o 699192
o 699108
o 699082
o 698981
o 698862
o 698778
o 698680
o 698596
o 698570
o 698558
o 698460
o 698376
o 698350
o 698259
o 698175
o 698063
o 697944
o 697860
o 697762
o 697678
o 697652
o 697610
o 697512
o 697428
o 697402
o 697334
o 697250
o 697152
o 697068
o 697042
o 697000
o 696902
o 696818
o 696792
o 696788
o 696704
o 696678
o 696587
o 696503
o 696391
o 696272
o 696188
o 696090
o 696006
o 695980
o 695938
o 695840
o 695756
o 695730
o 695662
o 695578
o 695480
o 695396
o 695370
o 695328
o 695230
o 695146
o 695120
o 695109
o 695083
o 695041
o 694943
o 694859
o 694833
o 694765
o 694681
o 694583
o 694499
o 694473
o 694431
o 694333
o 694249
o 694223
o 694189
o 694091
o 694007
o 693981
o 693970
o 693944
o 693902
oKilled
1979.640u 0.059s 33:12.27 99.3%	0+0k 0+0io 0pf+0w