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-5.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-5.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 622 2155 3834167
WARNING: Ubcsat not found.
o 3834167
o 760750
o 759405
o 758940
o 758710
o 758245
o 757653
o 757188
o 757017
o 756552
o 755960
o 755495
o 755485
o 755020
o 754527
o 754062
o 754052
o 753587
o 753458
o 753260
o 752795
o 752785
o 752320
o 752191
o 752168
o 751675
o 751210
o 751200
o 750735
o 750606
o 750253
o 750243
o 749778
o 749649
o 749434
o 749305
o 749282
o 748789
o 748324
o 748314
o 747849
o 747720
o 747491
o 747362
o 747326
o 747197
o 747147
o 747018
o 746982
o 746853
o 746502
o 746037
o 746027
o 745562
o 745433
o 745397
o 745268
o 745071
o 744942
o 744713
o 744584
o 744548
o 744419
o 744369
o 744240
o 744204
o 744075
o 743698
o 743688
o 743223
o 742784
o 742655
o 742619
o 742490
o 742381
o 741942
o 741813
o 741777
o 741648
o 741617
o 741581
o 741452
o 741430
o 741301
o 741265
o 741136
o 741027
o 740588
o 740459
o 740423
o 740294
o 740263
o 740227
o 740098
o 740072
o 739633
o 739504
o 739468
o 739339
o 739308
o 739272
o 739143
o 738797
o 738668
o 738632
o 738503
o 738472
o 738436
o 738307
o 738281
o 737842
o 737713
o 737677
o 737548
o 737517
o 737481
o 737352
o 737249
o 737120
o 737084
o 736955
o 736924
o 736888
o 736759
o 736733
o 736294
o 736165
o 736129
o 736000
o 735969
o 735933
o 735804
o 735698
o 735667
o 735631
o 735502
o 735476
o 735037
o 734908
o 734872
o 734743
o 734712
o 734676
o 734547
o 734444
o 734315
o 734279
o 734150
o 734119
o 734083
o 733954
o 733928
o 733489
o 733360
o 733324
o 733195
o 733164
o 733128
o 732999
o 732942
o 732911
o 732875
o 732746
o 732720
o 732281
o 732152
o 732116
o 731987
o 731956
o 731920
o 731791
o 731688
o 731559
o 731523
o 731394
o 731363
o 731327
o 731198
o 731172
o 730733
o 730604
o 730568
o 730439
o 730408
o 730372
o 730243
o 730223
o 730145
o 730114
o 730078
o 729949
o 729840
o 729804
o 729675
o 729644
o 729608
o 729479
o 729422
o 729391
o 729355
o 729226
o 729200
o 728761
o 728632
o 728596
o 728467
o 728436
o 728400
o 728271
o 728168
o 728039
o 728003
o 727874
o 727843
o 727807
o 727678
o 727652
o 727213
o 727084
o 727048
o 726919
o 726888
o 726852
o 726723
o 726640
o 726537
o 726408
o 726372
o 726243
o 726212
o 726176
o 726047
o 726021
o 725582
o 725453
o 725417
o 725288
o 725257
o 725221
o 725092
o 725068
o 724629
o 724500
o 724464
o 724335
o 724304
o 724268
o 724139
o 724075
o 723946
o 723910
o 723781
o 723750
o 723714
o 723585
o 723559
o 723120
o 722991
o 722955
o 722826
o 722795
o 722759
o 722630
o 722606
o 722167
o 722038
o 722002
o 721873
o 721842
o 721806
o 721677
o 721560
o 721431
o 721395
o 721266
o 721235
o 721199
o 721070
o 720986
o 720955
o 720919
o 720790
o 720764
o 720325
o 720196
o 720160
o 720031
o 720000
o 719964
o 719835
o 719811
o 719372
o 719243
o 719207
o 719078
o 719047
o 719011
o 718882
o 718765
o 718636
o 718600
o 718471
o 718440
o 718404
o 718275
o 718258
o 718222
o 718093
o 718062
o 718026
o 717897
o 717813
o 717782
o 717746
o 717617
o 717591
o 717152
o 717023
o 716987
o 716858
o 716827
o 716791
o 716662
o 716638
o 716199
o 716070
o 716034
o 715905
o 715874
o 715838
o 715709
o 715592
o 715463
o 715427
o 715298
o 715267
o 715231
o 715102
o 715094
o 714965
o 714848
o 714719
o 714683
o 714554
o 714523
o 714487
o 714358
o 714341
o 714305
o 714176
o 714145
o 714109
o 713980
o 713896
o 713865
o 713829
o 713700
o 713674
o 713235
o 713106
o 713070
o 712941
o 712910
o 712874
o 712745
o 712721
o 712282
o 712153
o 712117
o 711988
o 711957
o 711921
o 711792
o 711675
o 711546
o 711510
o 711381
o 711350
o 711314
o 711185
o 710844
o 710715
o 710679
o 710550
o 710519
o 710483
o 710354
o 710330
o 709891
o 709762
o 709726
o 709597
o 709566
o 709530
o 709401
o 709284
o 709155
o 709119
o 708990
o 708959
o 708923
o 708794
o 708578
o 708449
o 708413
o 708284
o 708253
o 708217
o 708088
o 708041
o 708010
o 707974
o 707845
o 707842
o 707806
o 707677
o 707646
o 707610
o 707481
o 707434
o 707403
o 707367
o 707238
o 707209
o 707178
o 707142
o 707013
o 706896
o 706767
o 706731
o 706602
o 706571
o 706535
o 706406
o 706190
o 706061
o 706025
o 705896
o 705865
o 705829
o 705700
o 705653
o 705622
o 705586
o 705457
o 705454
o 705418
o 705289
o 705258
o 705222
o 705093
o 705046
o 705015
o 704979
o 704850
o 704766
o 704735
o 704699
o 704570
o 704354
o 704225
o 704189
o 704060
o 704029
o 703993
o 703864
o 703817
o 703786
o 703750
o 703621
o 703618
o 703582
o 703453
o 703422
o 703386
o 703257
o 703210
o 703179
o 703143
o 703014
o 702972
o 702943
o 702912
o 702876
o 702747
o 702630
o 702501
o 702465
o 702336
o 702305
o 702269
o 702140
o 701924
o 701795
o 701759
o 701630
o 701599
o 701563
o 701434
o 701387
o 701356
o 701320
o 701191
o 701188
o 701152
o 701023
o 700992
o 700956
o 700827
o 700780
o 700749
o 700713
o 700584
o 700573
o 700444
o 700413
o 700377
o 700248
o 700201
o 700170
o 700134
o 700005
o 699963
o 699934
o 699903
o 699867
o 699738
o 699714
o 699621
o 699492
o 699456
o 699327
o 699296
o 699260
o 699131
o 699008
o 698915
o 698786
o 698750
o 698621
o 698590
o 698554
o 698425
o 698378
o 698347
o 698311
o 698182
o 698179
o 698143
o 698014
o 697983
o 697947
o 697818
o 697771
o 697740
o 697704
o 697575
o 697564
o 697533
o 697497
o 697368
o 697254
o 697251
o 697122
o 697086
o 696957
o 696926
o 696890
o 696761
o 696744
o 696713
o 696677
o 696548
o 696501
o 696470
o 696434
o 696305
o 696251
o 696220
o 696184
o 696055
o 696008
o 695977
o 695941
o 695812
o 695698
o 695644
o 695613
o 695577
o 695448
o 695401
o 695370
o 695334
o 695205
o 695163
o 695082
o 695035
o 695004
o 694968
o 694839
o 694828
o 694797
o 694761
o 694632
o 694518
o 694515
o 694386
o 694350
o 694221
o 694190
o 694154
o 694025
o 694008
o 693977
o 693941
o 693812
o 693765
o 693734
o 693698
o 693569
o 693515
o 693484
o 693448
o 693319
o 693272
o 693241
o 693205
o 693076
o 692962
o 692908
o 692877
o 692841
o 692712
o 692665
o 692634
o 692598
o 692469
o 692446
o 692399
o 692368
o 692332
o 692203
o 692089
o 692035
o 692004
o 691968
o 691839
o 691792
o 691761
o 691725
o 691596
o 691571
o 691524
o 691493
o 691457
o 691328
o 691286
o 691230
o 691205
o 691158
o 691127
o 691091
o 690962
o 690909
o 690906
o 690777
o 690741
o 690612
o 690581
o 690545
o 690416
o 690344
o 690313
o 690277
o 690148
o 690125
o 690089
o 689960
o 689906
o 689875
o 689839
o 689710
o 689663
o 689632
o 689596
o 689467
o 689353
o 689299
o 689268
o 689232
o 689103
o 689056
o 689025
o 688989
o 688860
o 688835
o 688788
o 688757
o 688721
o 688592
o 688569
o 688441
o 688418
o 688382
o 688253
o 688199
o 688168
o 688132
o 688003
o 687956
o 687925
o 687889
o 687760
o 687646
o 687592
o 687561
o 687525
o 687396
o 687349
o 687318
o 687282
o 687153
o 687128
o 687081
o 687050
o 687014
o 686885
o 686787
o 686751
o 686622
o 686591
o 686555
o 686426
o 686354
o 686323
o 686287
o 686158
o 686135
o 686099
o 685970
o 685916
o 685885
o 685849
o 685720
o 685673
o 685642
o 685606
o 685477
o 685363
o 685309
o 685278
o 685242
o 685113
o 685066
o 685035
o 684999
o 684870
o 684845
o 684798
o 684767
o 684731
o 684602
o 684579
o 684451
o 684428
o 684392
o 684263
o 684209
o 684178
o 684142
o 684013
o 683966
o 683935
o 683899
o 683770
o 683656
o 683602
o 683571
o 683535
o 683406
o 683359
o 683328
o 683292
o 683163
o 683138
o 683091
o 683060
o 683024
o 682895
o 682869
o 682740
o 682693
o 682662
o 682626
o 682497
o 682383
o 682329
o 682298
o 682262
o 682133
o 682086
o 682055
o 682019
o 681890
o 681865
o 681818
o 681787
o 681751
o 681622
o 681599
o 681471
o 681448
o 681412
o 681283
o 681229
o 681198
o 681162
o 681033
o 680986
o 680955
o 680919
o 680790
o 680676
o 680622
o 680591
o 680555
o 680426
o 680379
o 680348
o 680312
o 680183
o 680158
o 680111
o 680080
o 680044
o 679915
o 679837
o 679814
o 679778
o 679649
o 679624
o 679577
o 679546
o 679510
o 679381
o 679355
o 679226
o 679179
o 679148
o 679112
o 678983
o 678869
o 678815
o 678784
o 678748
o 678619
o 678572
o 678541
o 678505
o 678376
o 678351
o 678304
o 678273
o 678237
o 678108
o 678085
o 677957
o 677934
o 677898
o 677769
o 677715
o 677684
o 677648
o 677519
o 677472
o 677441
o 677405
o 677276
o 677162
o 677108
o 677077
o 677041
o 676912
o 676865
o 676834
o 676798
o 676669
o 676644
o 676597
o 676566
o 676530
o 676401
o Killed
1979.685u 0.014s 33:01.74 99.8%	0+0k 0+0io 0pf+0w