Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-240-1_network-2.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-2.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 600 2092 3679303
WARNING: Ubcsat not found.
o 3679303
o 736329
o 736081
o 735579
o 735109
o 734858
o 734610
o 734108
o 734019
o 733549
o 733298
o 733050
o 732548
o 732326
o 731824
o 731788
o 731537
o 731289
o 730787
o 730688
o 730600
o 730564
o 730175
o 730153
o 729651
o 729563
o 729547
o 729459
o 729423
o 729034
o 729012
o 728510
o 728422
o 728274
o 728252
o 727750
o 727662
o 727494
o 727406
o 727039
o 726951
o 726734
o 726646
o 726495
o 726407
o 726239
o 726151
o 726085
o 725997
o 725780
o 725692
o 725479
o 725391
o 725365
o 725152
o 725064
o 724980
o 724892
o 724692
o 724604
o 724453
o 724365
o 724197
o 724109
o 724043
o 723955
o 723738
o 723650
o 723437
o 723349
o 723323
o 723110
o 723022
o 722938
o 722850
o 722812
o 722680
o 722592
o 722566
o 722353
o 722265
o 722181
o 722093
o 722055
o 721906
o 721818
o 721650
o 721562
o 721496
o 721408
o 721191
o 721103
o 720890
o 720802
o 720776
o 720563
o 720475
o 720391
o 720303
o 720265
o 720060
o 719972
o 719946
o 719733
o 719645
o 719561
o 719473
o 719435
o 719413
o 719273
o 719185
o 719159
o 718946
o 718858
o 718774
o 718686
o 718648
o 718626
o 718570
o 718482
o 718456
o 718243
o 718155
o 718071
o 717983
o 717945
o 717740
o 717652
o 717626
o 717413
o 717325
o 717241
o 717153
o 717115
o 717093
o 717092
o 717008
o 716920
o 716882
o 716860
o 716804
o 716716
o 716690
o 716477
o 716389
o 716305
o 716217
o 716179
o 715974
o 715886
o 715860
o 715647
o 715559
o 715475
o 715387
o 715349
o 715327
o 715315
o 715110
o 715022
o 714996
o 714783
o 714695
o 714611
o 714523
o 714485
o 714463
o 714387
o 714319
o 714310
o 714222
o 714196
o 714148
o 714060
o 713992
o 713983
o 713895
o 713888
o 713820
o 713811
o 713723
o 713685
o 713663
o 713651
o 713611
o 713523
o 713455
o 713446
o 713358
o 713332
o 713284
o 713196
o 713128
o 713119
o 713031
o 713024
o 712956
o 712947
o 712859
o 712821
o 712799
o 712719
o 712681
o 712659
o 712583
o 712515
o 712506
o 712418
o 712392
o 712344
o 712256
o 712188
o 712179
o 712091
o 712084
o 712016
o 712007
o 711919
o 711881
o 711859
o 711847
o 711807
o 711719
o 711651
o 711642
o 711554
o 711528
o 711480
o 711392
o 711324
o 711315
o 711227
o 711220
o 711152
o 711143
o 711055
o 711017
o 710995
o 710979
o 710941
o 710919
o 710907
o 710867
o 710779
o 710711
o 710702
o 710614
o 710588
o 710540
o 710452
o 710384
o 710375
o 710287
o 710280
o 710212
o 710203
o 710115
o 710077
o 710055
o 710028
o 709940
o 709872
o 709863
o 709775
o 709749
o 709701
o 709613
o 709545
o 709536
o 709448
o 709441
o 709373
o 709364
o 709276
o 709238
o 709216
o 709164
o 709155
o 709067
o 709029
o 709007
o 708991
o 708953
o 708931
o 708919
o 708879
o 708791
o 708723
o 708714
o 708626
o 708600
o 708552
o 708464
o 708396
o 708387
o 708299
o 708292
o 708224
o 708215
o 708127
o 708089
o 708067
o 708040
o 707952
o 707884
o 707875
o 707787
o 707761
o 707713
o 707625
o 707557
o 707548
o 707460
o 707453
o 707385
o 707376
o 707288
o 707250
o 707228
o 707179
o 707111
o 707102
o 707014
o 706988
o 706940
o 706852
o 706784
o 706775
o 706687
o 706680
o 706612
o 706603
o 706515
o 706477
o 706455
o 706422
o 706400
o 706384
o 706346
o 706324
o 706312
o 706272
o 706184
o 706116
o 706107
o 706019
o 705993
o 705945
o 705857
o 705789
o 705780
o 705692
o 705685
o 705617
o 705608
o 705520
o 705482
o 705460
o 705433
o 705345
o 705277
o 705268
o 705180
o 705154
o 705106
o 705018
o 704950
o 704941
o 704853
o 704846
o 704778
o 704769
o 704681
o 704643
o 704621
o 704572
o 704504
o 704495
o 704407
o 704381
o 704333
o 704245
o 704177
o 704168
o 704080
o 704073
o 704005
o 703996
o 703908
o 703870
o 703848
o 703765
o 703697
o 703688
o 703600
o 703593
o 703525
o 703516
o 703428
o 703390
o 703368
o 703360
o 703338
o 703305
o 703283
o 703267
o 703229
o 703207
o 703195
o 703155
o 703067
o 702999
o 702990
o 702902
o 702876
o 702828
o 702740
o 702672
o 702663
o 702575
o 702568
o 702500
o 702491
o 702403
o 702365
o 702343
o 702316
o 702228
o 702160
o 702151
o 702063
o 702037
o 701989
o 701901
o 701833
o 701824
o 701736
o 701729
o 701661
o 701652
o 701564
o 701526
o 701504
o 701455
o 701387
o 701378
o 701290
o 701264
o 701216
o 701128
o 701060
o 701051
o 700963
o 700956
o 700888
o 700879
o 700791
o 700753
o 700731
o 700646
o 700578
o 700569
o 700481
o 700474
o 700406
o 700397
o 700309
o 700271
o 700249
o 700200
o 700132
o 700123
o 700035
o 700009
o 699961
o 699873
o 699805
o 699796
o 699708
o 699701
o 699633
o 699624
o 699536
o 699498
o 699476
o 699473
o 699464
o 699376
o 699338
o 699316
o 699267
o 699199
o 699190
o 699102
o 699076
o 699028
o 698940
o 698872
o 698863
o 698775
o 698768
o 698700
o 698691
o 698603
o 698565
o 698543
o 698459
o 698421
o 698399
o 698350
o 698282
o 698273
o 698185
o 698159
o 698111
o 698023
o 697955
o 697946
o 697858
o 697851
o 697783
o 697774
o 697686
o 697648
o 697626
o 697541
o 697473
o 697464
o 697376
o 697369
o 697301
o 697292
o 697204
o 697166
o 697144
o 697095
o 697027
o 697018
o 696930
o 696904
o 696856
o 696768
o 696700
o 696691
o 696603
o 696596
o 696528
o 696519
o 696431
o 696393
o 696371
o 696368
o 696359
o 696271
o 696233
o 696211
o 696162
o 696094
o 696085
o 695997
o 695971
o 695923
o 695835
o 695767
o 695758
o 695670
o 695663
o 695595
o 695586
o 695498
o 695460
o 695438
o 695356
o 695330
o 695282
o 695194
o 695126
o 695117
o 695029
o 695022
o 694954
o 694945
o 694857
o 694819
o 694797
o 694754
o 694745
o 694657
o 694631
o 694583
o 694495
o 694427
o 694418
o 694330
o 694323
o 694255
o 694246
o 694158
o 694120
o 694098
o 694016
o 693990
o 693942
o 693854
o 693786
o 693777
o 693689
o 693682
o 693614
o 693605
o 693517
o 693479
o 693457
o 693431
o 693363
o 693354
o 693266
o 693259
o 693191
o 693182
o 693094
o 693056
o 693034
o 693004
o 692936
o 692927
o 692839
o 692813
o 692765
o 692677
o 692609
o 692600
o 692512
o 692505
o 692437
o 692428
o 692340
o 692302
o 692280
o 692198
o 692172
o 692124
o 692036
o 691968
o 691959
o 691871
o 691864
o 691796
o 691787
o 691699
o 691661
o 691639
o 691596
o 691587
o 691499
o 691473
o 691425
o 691337
o 691269
o 691260
o 691172
o 691165
o 691097
o 691088
o 691000
o 690962
o 690940
o 690858
o 690832
o 690784
o 690696
o 690628
o 690619
o 690531
o 690524
o 690456
o 690447
o 690359
o 690321
o 690299
o 690231
o 690163
o 690154
o 690066
o 690059
o 689991
o 689982
o 689894
o 689856
o 689834
o 689808
o 689740
o 689731
o 689643
o 689636
o 689568
o 689559
o 689471
o 689433
o 689411
o 689381
o 689313
o 689304
o 689216
o 689190
o 689142
o 689054
o 688986
o 688977
o 688889
o 688882
o 688814
o 688805
o 688717
o 688679
o 688657
o 688575
o 688549
o 688501
o 688413
o 688345
o 688336
o 688248
o 688241
o 688173
o 688164
o 688076
o 688038
o 688016
o 687973
o 687964
o 687876
o 687850
o 687802
o 687714
o 687646
o 687637
o 687549
o 687542
o 687474
o 687465
o 687377
o 687339
o 687317
o 687235
o 687209
o 687161
o 687073
o 687005
o 686996
o 686908
o 686901
o 686833
o 686824
o 686736
o 686698
o 686676
o 686613
o 686604
o 686516
o 686509
o 686441
o 686432
o 686344
o 686306
o 686284
o 686241
o 686232
o 686144
o 686118
o 686070
o 685982
o 685914
o 685905
o 685817
o 685810
o 685742
o 685733
o 685645
o 685607
o 685585
o 685503
o 685477
o 685429
o 685341
o 685273
o 685264
o 685176
o 685169
o 685101
o 685092
o 685004
o 684966
o 684944
o 684871
o 684803
o 684794
o 684706
o 684699
o 684631
o 684622
o 684534
o 684496
o 684474
o 684392
o 684366
o 684318
o 684230
o 684162
o 684153
o 684065
o 684058
o 683990
o 683981
o 683893
o 683855
o 683833
o 683790
o 683781
o 683693
o 683667
o 683619
o 683531
o 683463
o 683454
o 683366
o 683359
o 683291
o 683282
o 683194
o 683156
o 683134
o 683052
o 683026
o 682978
o 682890
o 682822
o 682813
o 682725
o 682718
o 682650
o 682641
o 682553
o 682515
o 682493
o 682430
o 682421
o 682333
o 682326
o 682258
o 682249
o 682161
o 682123
o 682101
o 682058
o 682049
o 681961
o 681935
o 681887
o 681799
o 681731
o 681722
o 681634
o 681627
o 681559
o 681550
o 681462
o 681424
o 681402
o 681320
o 681294
o 681246
o 681158
o 681090
o 681081
o 680993
o 680986
o 680918
o 680909
o 680821
o 680783
o 680761
o 680750
o 680741
o 680653
o 680646
o 680578
o 680569
o 680481
o 680443
o 680421
o 680378
o Killed
1979.685u 0.014s 33:11.19 99.4%	0+0k 0+0io 0pf+0w