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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 624 2101 3708193
WARNING: Ubcsat not found.
o 3708193
o 760151
o 759960
o 758507
o 758291
o 757276
o 757105
o 756889
o 756519
o 755874
o 755249
o 754724
o 754323
o 753798
o 753209
o 752684
o 752334
o 752270
o 751681
o 751156
o 750663
o 750138
o 749788
o 749724
o 749135
o 748610
o 748353
o 747828
o 747478
o 747414
o 747375
o 746825
o 746300
o 746181
o 745656
o 745631
o 745281
o 745217
o 745178
o 744628
o 744103
o 744025
o 743500
o 743475
o 743125
o 743061
o 743022
o 742472
o 741947
o 741641
o 741239
o 741161
o 740636
o 740611
o 740261
o 740197
o 740158
o 739608
o 739083
o 738752
o 738490
o 738200
o 737938
o 737643
o 737381
o 737313
o 736982
o 736720
o 736430
o 736168
o 735873
o 735611
o 735563
o 735301
o 735006
o 734744
o 734619
o 734357
o 734289
o 733958
o 733696
o 733406
o 733144
o 732849
o 732587
o 732539
o 732277
o 731982
o 731720
o 731537
o 731446
o 731247
o 731184
o 730985
o 730889
o 730690
o 730627
o 730428
o 730380
o 730317
o 730118
o 730022
o 729823
o 729760
o 729561
o 729497
o 729314
o 729223
o 729024
o 728961
o 728762
o 728666
o 728467
o 728404
o 728205
o 728157
o 728094
o 727895
o 727799
o 727600
o 727537
o 727338
o 727332
o 727133
o 727037
o 726838
o 726775
o 726576
o 726528
o 726465
o 726266
o 726170
o 725971
o 725908
o 725709
o 725640
o 725634
o 725435
o 725339
o 725140
o 725077
o 724878
o 724830
o 724767
o 724568
o 724472
o 724273
o 724210
o 724011
o 723995
o 723989
o 723790
o 723694
o 723495
o 723432
o 723233
o 723185
o 723122
o 722923
o 722827
o 722628
o 722565
o 722366
o 722206
o 722143
o 721944
o 721928
o 721922
o 721723
o 721627
o 721428
o 721365
o 721166
o 721118
o 721055
o 720856
o 720760
o 720561
o 720498
o 720299
o 720241
o 720042
o 720019
o 719923
o 719724
o 719661
o 719462
o 719302
o 719239
o 719040
o 719024
o 719018
o 718819
o 718723
o 718524
o 718461
o 718262
o 718214
o 718151
o 717952
o 717856
o 717657
o 717594
o 717395
o 717337
o 717138
o 717006
o 716910
o 716711
o 716648
o 716449
o 716401
o 716338
o 716139
o 716043
o 715844
o 715781
o 715582
o 715524
o 715325
o 715152
o 714995
o 714932
o 714733
o 714672
o 714476
o 714415
o 714344
o 714248
o 714049
o 713986
o 713787
o 713739
o 713676
o 713477
o 713381
o 713182
o 713119
o 712920
o 712859
o 712663
o 712602
o 712490
o 712429
o 712415
o 712352
o 712153
o 712105
o 712042
o 711843
o 711747
o 711548
o 711485
o 711286
o 711225
o 711029
o 710968
o 710856
o 710795
o 710604
o 710543
o 710347
o 710286
o 710174
o 710113
o 709929
o 709868
o 709672
o 709611
o 709499
o 709438
o 709424
o 709361
o 709162
o 709114
o 709051
o 708852
o 708756
o 708557
o 708494
o 708295
o 708234
o 708038
o 707977
o 707865
o 707804
o 707613
o 707552
o 707356
o 707295
o 707183
o 707122
o 707069
o 707008
o 706896
o 706835
o 706644
o 706583
o 706387
o 706326
o 706214
o 706153
o 705969
o 705908
o 705712
o 705651
o 705539
o 705478
o 705464
o 705401
o 705202
o 705154
o 705091
o 704892
o 704796
o 704597
o 704534
o 704335
o 704274
o 704078
o 704017
o 703905
o 703844
o 703653
o 703592
o 703396
o 703335
o 703223
o 703162
o 703134
o 703098
o 703035
o 702836
o 702740
o 702541
o 702478
o 702279
o 702218
o 702022
o 701961
o 701849
o 701788
o 701597
o 701536
o 701340
o 701279
o 701167
o 701106
o 701041
o 700842
o 700779
o 700580
o 700519
o 700323
o 700262
o 700150
o 700089
o 699898
o 699837
o 699641
o 699580
o 699468
o 699407
o 699379
o 699343
o 699280
o 699081
o 698985
o 698786
o 698723
o 698524
o 698463
o 698267
o 698206
o 698094
o 698033
o 697842
o 697781
o 697585
o 697524
o 697412
o 697351
o 697261
o 697159
o 697098
o 697088
o 696986
o 696925
o 696860
o 696763
o 696661
o 696598
o 696501
o 696399
o 696338
o 696244
o 696142
o 696081
o 696071
o 695969
o 695908
o 695819
o 695717
o 695656
o 695562
o 695460
o 695399
o 695389
o 695287
o 695226
o 695198
o 695162
o 695099
o 695002
o 694900
o 694804
o 694707
o 694605
o 694542
o 694445
o 694343
o 694282
o 694188
o 694086
o 694025
o 694015
o 693913
o 693852
o 693763
o 693661
o 693600
o 693506
o 693404
o 693343
o 693333
o 693231
o 693170
o 693121
o 693027
o 692925
o 692864
o 692854
o 692752
o 692691
o 692663
o 692627
o 692564
o 692467
o 692365
o 692269
o 692172
o 692070
o 692007
o 691910
o 691808
o 691747
o 691653
o 691551
o 691490
o 691480
o 691378
o 691317
o 691228
o 691126
o 691065
o 690971
o 690869
o 690808
o 690798
o 690696
o 690635
o 690604
o 690543
o 690533
o 690431
o 690370
o 690333
o 690231
o 690170
o 690076
o 689974
o 689913
o 689903
o 689801
o 689740
o 689691
o 689597
o 689495
o 689434
o 689424
o 689322
o 689261
o 689233
o 689197
o 689134
o 689037
o 688935
o 688839
o 688742
o 688640
o 688577
o 688480
o 688378
o 688317
o 688223
o 688121
o 688060
o 688050
o 687948
o 687887
o 687798
o 687696
o 687635
o 687541
o 687439
o 687378
o 687368
o 687266
o 687205
o 687174
o 687113
o 687103
o 687001
o 686940
o 686931
o 686900
o 686839
o 686829
o 686727
o 686666
o 686637
o 686543
o 686441
o 686380
o 686370
o 686268
o 686207
o 686158
o 686064
o 685962
o 685901
o 685891
o 685789
o 685728
o 685700
o 685664
o 685601
o 685504
o 685402
o 685306
o 685209
o 685107
o 685044
o 684947
o 684845
o 684784
o 684690
o 684588
o 684527
o 684517
o 684415
o 684354
o 684265
o 684163
o 684102
o 684008
o 683906
o 683845
o 683835
o 683733
o 683672
o 683641
o 683580
o 683570
o 683468
o 683407
o 683398
o 683367
o 683306
o 683296
o 683194
o 683133
o 683053
o 682992
o 682982
o 682880
o 682819
o 682730
o 682628
o 682567
o 682473
o 682371
o 682310
o 682300
o 682198
o 682137
o 682106
o 682045
o 682035
o 681933
o 681872
o 681863
o 681832
o 681771
o 681761
o 681659
o 681598
o 681542
o 681440
o 681379
o 681369
o 681267
o 681206
o 681175
o 681114
o 681104
o 681002
o 680941
o 680932
o 680901
o 680840
o 680830
o 680728
o 680667
o 680626
o 680595
o 680534
o 680524
o 680422
o 680361
o 680352
o 680321
o 680260
o 680250
o 680148
o 680087
o 680007
o 679946
o 679936
o 679834
o 679773
o 679684
o 679582
o 679521
o 679427
o 679325
o 679264
o 679254
o 679152
o 679091
o 679060
o 678999
o 678989
o 678887
o 678826
o 678817
o 678786
o 678725
o 678715
o 678613
o 678552
o 678496
o 678394
o 678333
o 678323
o 678221
o 678160
o 678129
o 678068
o 678058
o 677956
o 677895
o 677886
o 677855
o 677794
o 677784
o 677682
o 677621
o 677578
o 677536
o 677475
o 677465
o 677363
o 677302
o 677271
o 677210
o 677200
o 677098
o 677037
o 677028
o 676997
o 676936
o 676926
o 676824
o 676763
o 676720
o 676654
o 676593
o 676562
o 676501
o 676491
o 676389
o 676328
o 676319
o 676288
o 676227
o 676217
o 676115
o 676054
o 675998
o 675896
o 675835
o 675825
o 675723
o 675662
o 675631
o 675570
o 675560
o 675458
o 675397
o 675388
o 675357
o 675296
o 675286
o 675184
o 675123
o 675080
o 675051
o 675041
o 674939
o 674878
o 674847
o 674786
o 674776
o 674674
o 674613
o 674604
o 674573
o 674512
o 674502
o 674400
o 674339
o 674283
o 674181
o 674120
o 674110
o 674008
o 673947
o 673916
o 673855
o 673845
o 673743
o 673682
o 673673
o 673642
o 673581
o 673571
o 673469
o 673408
o 673365
o 673323
o 673262
o 673252
o 673150
o 673089
o 673058
o 672997
o 672987
o 672885
o 672824
o 672815
o 672784
o 672723
o 672713
o 672611
o 672550
o 672507
o 672441
o 672380
o 672349
o 672288
o 672278
o 672176
o 672115
o 672106
o 672075
o 672014
o 672004
o 671902
o 671841
o 671785
o 671683
o 671622
o 671612
o 671510
o 671449
o 671418
o 671357
o 671347
o 671245
o 671184
o 671175
o 671144
o 671083
o 671073
o 670971
o 670910
o 670867
o 670824
o 670763
o 670754
o 670723
o 670662
o 670652
o 670550
o 670489
o 670446
o 670380
o 670319
o 670288
o 670227
o 670217
o 670115
o 670054
o 670045
o 670014
o 669953
o 669943
o 669841
o 669780
o 669740
o 669724
o 669622
o 669561
o 669551
o 669449
o 669388
o 669357
o 669296
o 669286
o 669184
o 669123
o 669114
o 669083
o 669022
o 669012
o 668910
o 668849
o 668806
o 668805
o 668774
o 668713
o 668703
o 668601
o 668540
o 668500
o 668484
o 668382
o 668321
o 668311
o 668209
o 668148
o 668117
o 668056
o 668046
o 667944
o 667883
o 667874
o 667843
o 667782
o 667772
o 667670
o 667609
o 667566
o 667541
o 667480
o 667437
o 667394
o 667333
o 667324
o 667293
o 667232
o 667222
o 667120
o 667059
o 667016
o 666950
o 666889
o 666858
o 666797
o 666787
o 666685
o Killed
1979.602u 0.097s 33:10.30 99.4%	0+0k 0+0io 0pf+0w