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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 611 2093 3615853
WARNING: Ubcsat not found.
o 3615853
o 722021
o 721314
o 720899
o 720849
o 720641
o 720104
o 719689
o 719202
o 718787
o 718737
o 718529
o 717992
o 717577
o 717431
o 717016
o 716957
o 716907
o 716699
o 716162
o 715747
o 715725
o 715666
o 715616
o 715408
o 714871
o 714456
o 714314
o 714279
o 713864
o 713842
o 713783
o 713733
o 713525
o 713453
o 712988
o 712573
o 712431
o 712339
o 712197
o 712028
o 711886
o 711748
o 711606
o 711363
o 710957
o 710542
o 710400
o 710308
o 710166
o 709997
o 709855
o 709717
o 709575
o 709567
o 709425
o 709287
o 709145
o 708859
o 708444
o 708302
o 708210
o 708068
o 707899
o 707757
o 707619
o 707477
o 707432
o 707290
o 707152
o 707010
o 706893
o 706478
o 706336
o 706244
o 706102
o 705933
o 705791
o 705653
o 705511
o 705471
o 705056
o 704914
o 704822
o 704680
o 704511
o 704369
o 704231
o 704089
o 704048
o 703906
o 703814
o 703672
o 703503
o 703361
o 703223
o 703081
o 703049
o 702880
o 702738
o 702600
o 702458
o 702416
o 702305
o 702265
o 701850
o 701708
o 701616
o 701474
o 701305
o 701163
o 701025
o 700883
o 700842
o 700700
o 700608
o 700466
o 700297
o 700155
o 700017
o 699875
o 699843
o 699674
o 699532
o 699394
o 699252
o 699210
o 699113
o 699072
o 698930
o 698838
o 698696
o 698527
o 698385
o 698247
o 698105
o 698073
o 697904
o 697762
o 697624
o 697482
o 697440
o 697391
o 697249
o 697208
o 697066
o 696974
o 696832
o 696663
o 696521
o 696383
o 696241
o 696209
o 696040
o 695898
o 695760
o 695618
o 695576
o 695530
o 695388
o 695358
o 695300
o 695158
o 695045
o 694907
o 694765
o 694735
o 694723
o 694693
o 694638
o 694596
o 694547
o 694405
o 694364
o 694222
o 694130
o 693988
o 693819
o 693677
o 693539
o 693397
o 693365
o 693196
o 693054
o 692916
o 692774
o 692732
o 692686
o 692544
o 692514
o 692456
o 692314
o 692201
o 692063
o 691921
o 691891
o 691879
o 691849
o 691807
o 691777
o 691765
o 691735
o 691720
o 691678
o 691632
o 691490
o 691460
o 691402
o 691260
o 691147
o 691009
o 690867
o 690837
o 690825
o 690795
o 690753
o 690723
o 690711
o 690681
o 690630
o 690492
o 690350
o 690308
o 690262
o 690120
o 690090
o 690032
o 689890
o 689777
o 689639
o 689497
o 689467
o 689455
o 689425
o 689383
o 689353
o 689341
o 689311
o 689251
o 689209
o 689163
o 689021
o 688991
o 688933
o 688791
o 688678
o 688540
o 688398
o 688368
o 688356
o 688326
o 688284
o 688254
o 688242
o 688212
o 688205
o 688147
o 688005
o 687892
o 687754
o 687612
o 687582
o 687570
o 687540
o 687498
o 687468
o 687456
o 687426
o 687422
o 687375
o 687309
o 687262
o 687171
o 687124
o 687029
o 686982
o 686952
o 686940
o 686910
o 686868
o 686838
o 686826
o 686796
o 686783
o 686736
o 686694
o 686648
o 686553
o 686506
o 686476
o 686465
o 686418
o 686323
o 686276
o 686210
o 686163
o 686072
o 686025
o 685930
o 685883
o 685853
o 685841
o 685811
o 685769
o 685739
o 685727
o 685697
o 685690
o 685679
o 685632
o 685537
o 685490
o 685424
o 685377
o 685286
o 685239
o 685144
o 685097
o 685067
o 685055
o 685025
o 684983
o 684953
o 684941
o 684911
o 684882
o 684787
o 684740
o 684710
o 684699
o 684652
o 684557
o 684510
o 684444
o 684397
o 684306
o 684259
o 684164
o 684117
o 684087
o 684075
o 684045
o 684003
o 683973
o 683961
o 683931
o 683924
o 683913
o 683866
o 683771
o 683724
o 683658
o 683611
o 683520
o 683473
o 683378
o 683331
o 683301
o 683289
o 683259
o 683217
o 683187
o 683175
o 683145
o 683118
o 683088
o 683076
o 683046
o 683038
o 682947
o 682900
o 682805
o 682758
o 682728
o 682716
o 682686
o 682644
o 682614
o 682602
o 682572
o 682565
o 682554
o 682507
o 682412
o 682365
o 682299
o 682252
o 682161
o 682114
o 682019
o 681972
o 681942
o 681930
o 681900
o 681858
o 681828
o 681816
o 681786
o 681757
o 681662
o 681615
o 681585
o 681574
o 681527
o 681432
o 681385
o 681319
o 681272
o 681181
o 681134
o 681039
o 680992
o 680962
o 680950
o 680920
o 680878
o 680848
o 680836
o 680806
o 680799
o 680788
o 680741
o 680646
o 680599
o 680533
o 680486
o 680395
o 680348
o 680253
o 680206
o 680176
o 680164
o 680134
o 680092
o 680062
o 680050
o 680020
o 679993
o 679963
o 679951
o 679921
o 679862
o 679815
o 679785
o 679773
o 679743
o 679701
o 679671
o 679659
o 679629
o 679600
o 679505
o 679458
o 679428
o 679417
o 679370
o 679275
o 679228
o 679162
o 679115
o 679024
o 678977
o 678882
o 678835
o 678805
o 678793
o 678763
o 678721
o 678691
o 678679
o 678649
o 678642
o 678631
o 678584
o 678489
o 678442
o 678376
o 678329
o 678238
o 678191
o 678096
o 678049
o 678019
o 678007
o 677977
o 677935
o 677905
o 677893
o 677863
o 677836
o 677806
o 677794
o 677764
o 677759
o 677747
o 677717
o 677710
o 677699
o 677652
o 677557
o 677510
o 677444
o 677397
o 677306
o 677259
o 677164
o 677117
o 677087
o 677075
o 677045
o 677003
o 676973
o 676961
o 676931
o 676904
o 676874
o 676862
o 676832
o 676773
o 676726
o 676696
o 676684
o 676654
o 676612
o 676582
o 676570
o 676540
o 676511
o 676416
o 676369
o 676339
o 676328
o 676281
o 676186
o 676139
o 676073
o 676026
o 675935
o 675888
o 675793
o 675746
o 675716
o 675704
o 675674
o 675632
o 675602
o 675590
o 675560
o 675553
o 675542
o 675495
o 675400
o 675353
o 675287
o 675240
o 675149
o 675102
o 675007
o 674960
o 674930
o 674918
o 674888
o 674846
o 674816
o 674804
o 674774
o 674747
o 674717
o 674705
o 674675
o 674628
o 674620
o 674598
o 674590
o 674586
o 674578
o 674556
o 674548
o 674514
o 674506
o 674484
o 674476
o 674472
o 674464
o 674442
o 674434
o 674413
o 674318
o 674271
o 674263
o 674241
o 674233
o 674230
o 674183
o 674088
o 674041
o 674033
o 673975
o 673928
o 673920
o 673837
o 673790
o 673695
o 673648
o 673640
o 673618
o 673610
o 673606
o 673598
o 673576
o 673568
o 673534
o 673526
o 673504
o 673496
o 673492
o 673484
o 673462
o 673454
o 673447
o 673444
o 673397
o 673302
o 673255
o 673247
o 673189
o 673142
o 673134
o 673051
o 673004
o 672909
o 672862
o 672854
o 672832
o 672824
o 672820
o 672812
o 672790
o 672782
o 672748
o 672740
o 672718
o 672710
o 672706
o 672698
o 672676
o 672668
o 672649
o 672641
o 672619
o 672611
o 672607
o 672599
o 672577
o 672569
o 672554
o 672546
o 672542
o 672534
o 672512
o 672504
o 672461
o 672414
o 672406
o 672384
o 672376
o 672373
o 672326
o 672231
o 672184
o 672176
o 672118
o 672071
o 672063
o 671980
o 671933
o 671838
o 671791
o 671783
o 671761
o 671753
o 671749
o 671741
o 671719
o 671711
o 671677
o 671669
o 671647
o 671639
o 671635
o 671627
o 671605
o 671597
o 671590
o 671587
o 671540
o 671445
o 671398
o 671390
o 671332
o 671285
o 671277
o 671194
o 671147
o 671052
o 671005
o 670997
o 670975
o 670967
o 670963
o 670955
o 670933
o 670925
o 670891
o 670883
o 670861
o 670853
o 670849
o 670841
o 670819
o 670811
o 670792
o 670784
o 670762
o 670754
o 670750
o 670742
o 670720
o 670712
o 670710
o 670688
o 670680
o 670676
o 670668
o 670646
o 670638
o 670619
o 670611
o 670589
o 670581
o 670577
o 670569
o 670547
o 670539
o 670496
o 670449
o 670441
o 670383
o 670336
o 670328
o 670245
o 670198
o 670103
o 670056
o 670048
o 670026
o 670018
o 670014
o 670006
o 669984
o 669976
o 669942
o 669934
o 669912
o 669904
o 669900
o 669892
o 669870
o 669862
o 669843
o 669835
o 669813
o 669805
o 669801
o 669793
o 669771
o 669763
o 669748
o 669740
o 669736
o 669728
o 669706
o 669698
o 669655
o 669608
o 669600
o 669578
o 669570
o 669567
o 669520
o 669425
o 669378
o 669370
o 669312
o 669265
o 669257
o 669174
o 669127
o 669032
o 668985
o 668977
o 668955
o 668947
o 668943
o 668935
o 668913
o 668905
o 668871
o 668863
o 668841
o 668833
o 668829
o 668821
o 668799
o 668791
o 668784
o 668781
o 668734
o 668639
o 668592
o 668584
o 668526
o 668479
o 668471
o 668388
o 668341
o 668246
o 668199
o 668191
o 668169
o 668161
o 668157
o 668149
o 668127
o 668119
o 668085
o 668077
o 668055
o 668047
o 668043
o 668035
o 668013
o 668005
o 667986
o 667978
o 667956
o 667948
o 667944
o 667936
o 667914
o 667906
o 667904
o 667882
o 667874
o 667870
o 667862
o 667840
o 667832
o 667813
o 667805
o 667783
o 667775
o 667771
o 667763
o 667741
o 667733
o 667692
o 667645
o 667637
o 667615
o 667607
o 667603
o 667595
o 667573
o 667565
o 667531
o 667523
o 667501
o 667493
o 667489
o 667481
o 667459
o 667451
o 667432
o 667424
o 667402
o 667394
o 667390
o 667382
o 667360
o 667352
o 667350
o 667328
o 667320
o 667316
o 667308
o 667286
o 667278
o 667259
o 667251
o 667229
o 667221
o 667217
o 667209
o 667187
o 667179
o 667125
o 667078
o 667070
o 667048
o 667040
o 667036
o 667028
o 667006
o 666998
o 666964
o 666956
o 666934
o 666926
o 666922
o 666914
o 666892
o 666884
o 666865
o 666857
o 666835
o 666827
o 666823
o 666815
o 666793
o 666785
o 666770
o 666762
o 666758
o 666750
o 666728
o 666720
o 666677
o 666630
o 666622
o 666600
o 666592
o 666589
o 666542
o 666447
o 666400
o 666392
o 666334
o 666287
o 666279
o 666196
o 666149
o 666054
o 666007
o 665999
o 665977
o 665969
o 665965
o 665957
o 665935
o 665927
o 665893
o 665885
o 665863
o 665855
o 665851
o 665843
o 665821
o 665813
o 665806
o 665803
o 665756
o 665661
o 665614
o 665606
o 665548
o 665501
o 665493
o 665410
o 665363
o 665268
o 665221
o 665213
o 665191
o 665183
o 665179
o 665171
o 665149
o 665141
o 665107
o 665099
o 665077
o 665069
o 665065
o 665057
o 665035
o 665027
o 665008
o 665000
o 664978
o 664970
o 664966
o 664958
o 664936
o 664928
o 664926
o 664904
o 664896
o 664892
o 664884
o 664862
o 664854
o 664835
o 664827
o 664805
o 664797
o 664793
o 664785
o 664763
o 664755
o 664730
o 664683
o 664588
o 664541
o 664533
o 664511
o 664503
o 664499
o 664491
o 664469
o 664461
o 664427
o 664419
o 664397
o 664389
o 664385
o 664377
o 664355
o 664347
o 664328
o 664320
o 664298
o 664290
o 664286
o 664278
o 664256
o 664248
o 664246
o 664224
o 664216
o 664212
o 664204
o 664182
o 664174
o 664155
o 664147
o 664125
o 664117
o 664113
o 664105
o 664083
o 664075
o 664034
o 663987
o 663979
o 663957
o 663949
o 663945
o 663937
o 663915
o 663907
o 663873
o 663865
o 663843
o 663835
o 663831
o 663823
o 663801
o 663793
o 663774
o 663766
o 663744
o 663736
o 663732
o 663724
o 663702
o 663694
o 663692
o 663670
o 663662
o 663658
o 663650
o 663628
o 663620
o 663601
o 663593
o 663571
o 663563
o 663559
o 663551
o 663529
o 663521
o 663467
o 663420
o 663412
o 663390
o 663382
o 663378
o 663370
o 663348
o 663340
o 663306
o 663298
o 663276
o 663268
o 663264
o 663256
o 663234
o 663226
o 663207
o 663199
o 663177
o 663169
o 663165
o 663157
o 663135
o 663127
o 663112
o 663104
o 663100
o 663092
o 663070
o 663062
o 663019
o 662972
o 662964
o 662942
o 662934
o 662931
o 662884
o 662789
o 662742
o 662734
o 662676
o 662629
o 662621
o 662538
o 662491
o 662396
o 662349
o 662341
o 662319
o 662311
o 662307
o 662299
o 662277
o 662269
o 662235
o 662227
o 662205
o 662197
o 662193
o 662185
o 662163
o 662155
o 662148
o 662145
o 662098
o 662003
o 661956
o 661948
o 661890
o 661843
o 661835
o 661752
o 661705
o 661610
o 661563
o 661555
o 661533
o 661525
o 661521
o 661513
o 661491
o 661483
o 661449
o 661441
o 661419
o 661411
o 661407
o 661399
o 661377
o 661369
o 661350
o 661342
o 661320
o 661312
o 661308
o 661300
o 661278
o 661270
o 661268
o 661246
o 661238
o 661234
o 661226
o 661204
o 661196
o 661177
o 661169
o 661147
o 661139
o 661135
o 661127
o 661105
o 661097
o 661095
o 661091
o 661083
o 661061
o 661053
o 661019
o 661011
o 660989
o 660981
o 660977
o 660969
o 660947
o 660939
o 660920
o 660912
o 660890
o 660882
o 660878
o 660870
o 660848
o 660840
o 660838
o 660816
o 660808
o 660804
o 660796
o 660774
o 660766
o 660747
o 660739
o 660717
o 660709
o 660705
o 660697
o 660675
o 660667
o 660657
o 660610
o 660602
o 660519
o 660472
o 660377
o 660330
o 660322
o 660300
o 660292
o 660288
o 660280
o 660258
o 660250
o 660216
o 660208
o 660186
o 660178
o 660174
o 660166
o 660144
o 660136
o 660129
o 660126
o 660079
o 659984
o 659937
o 659929
o 659871
o 659824
o 659816
o 659733
o 659686
o 659591
o 659544
o 659536
o 659514
o 659506
o 659502
o 659494
o 659472
o 659464
o 659430
o 659422
o 659400
o 659392
o 659388
o 659380
o 659358
o 659350
o 659331
o 659323
o 659301
o 659293
o 659289
o 659281
o 659259
o 659251
o 659249
o 659227
o 659219
o 659215
o 659207
o 659185
o 659177
o 659158
o 659150
o 659128
o 659120
o 659116
o 659108
o 659086
o 659078
o 659061
o 659053
o 658970
o 658923
o 658828
o 658781
o 658773
o 658751
o 658743
o 658739
o 658731
o 658709
o 658701
o 658667
o 658659
o 658637
o 658629
o 658625
o 658617
o 658595
o 658587
o 658568
o 658560
o 658538
o 658530
o 658526
o 658518
o 658496
o 658488
o 658486
o 658464
o 658456
o 658452
o 658444
o 658422
o 658414
o 658395
o 658387
o 658365
o 658357
o 658353
o 658345
o 658323
o 658315
o 658313
o 658309
o 658301
o 658279
o 658271
o 658237
o 658229
o 658207
o 658199
o 658195
o 658187
o 658165
o 658157
o 658138
o 658130
o 658108
o 658100
o 658096
o 658088
o 658066
o 658058
o 658056
o 658034
o 658026
o 658022
o 658014
o 657992
o 657984
o 657965
o 657957
o 657935
o 657927
o 657923
o 657915
o 657893
o 657885
o 657875
o 657828
o 657820
o 657737
o 657690
o 657595
o 657548
o 657540
o 657518
o 657510
o 657506
o 657498
o 657476
o 657468
o 657434
o 657426
o 657404
o 657396
o 657392
o 657384
o 657362
o 657354
o 657347
o 657344
o 657297
o 657202
o 657155
o 657147
o 657089
o 657042
o 657034
o 656951
o 656904
o 656809
o 656762
o 656754
o 656732
o 656724
o 656720
o 656712
o 656690
o 656682
o 656648
o 656640
o 656618
o 656610
o 656606
o 656598
o 656576
o 656568
o 656549
o 656541
o 656519
o 656511
o 656507
o 656499
o 656477
o 656469
o 656467
o 656445
o 656437
o 656433
o 656425
o 656403
o 656395
o 656376
o 656368
o 656346
o 656338
o 656334
o 656326
o 656304
o 656296
o 656277
o 656269
o 656250
o 656242
o 656220
o 656212
o 656208
o 656200
o 656178
o 656170
o 656168
o 656146
o 656138
o 656134
o 656126
o 656104
o 656096
o 656077
o 656069
o 656047
o 656039
o 656035
o 656027
o 656005
o 655997
o 655984
o 655976
o 655957
o 655949
o 655927
o 655919
o 655915
o 655907
o 655885
o 655877
o 655875
o 655871
o 655863
o 655841
o 655833
o 655799
o 655791
o 655769
o 655761
o 655757
o 655749
o 655727
o 655719
o 655700
o 655692
o 655670
o 655662
o 655658
o 655650
o 655628
o 655620
o 655618
o 655596
o 655588
o 655584
o 655576
o 655554
o 655546
o 655527
o 655519
o 655497
o 655489
o 655485
o 655477
o 655455
o 655447
o 655437
o 655390
o 655382
o 655346
o 655338
o 655273
o 655226
o 655218
o 655157
o 655110
o 655102
o 655080
o 655072
o 655068
o 655060
o 655038
o 655030
o 654996
o 654988
o 654966
o 654958
o 654954
o 654946
o 654924
o 654916
o 654909
o 654880
o 654833
o 654825
o 654764
o 654717
o 654709
o 654651
o 654604
o 654596
o 654560
o 654552
o 654487
o 654440
o 654432
o 654371
o 654324
o 654316
o 654294
o 654286
o 654282
o 654274
o 654252
o 654244
o 654210
o 654202
o 654180
o 654172
o 654168
o 654160
o 654138
o 654130
o 654111
o 654103
o 654081
o 654073
o 654069
o 654061
o 654039
o 654031
o 654029
o 654007
o 653999
o 653995
o 653987
o 653965
o 653957
o 653938
o 653930
o 653908
o 653900
o 653896
o 653888
o 653866
o 653858
o 653839
o 653831
o 653812
o 653804
o 653782
o 653774
o 653770
o 653762
o 653740
o 653732
o 653730
o 653708
o 653700
o 653696
o 653688
o 653666
o 653658
o 653639
o 653631
o 653609
o 653601
o 653597
o 653589
o 653567
o 653559
o 653550
o 653503
o 653495
o 653473
o 653465
o 653461
o 653453
o 653431
o 653423
o 653389
o 653381
o 653359
o 653351
o 653347
o 653339
o 653317
o 653309
o 653302
o 653299
o 653252
o 653157
o 653110
o 653102
o 653044
o 652997
o 652989
o 652906
o 652859
o 652764
o 652717
o 652709
o 652687
o 652679
o 652675
o 652667
o 652645
o 652637
o 652603
o 652595
o 652573
o 652565
o 652561
o 652553
o 652531
o 652523
o 652504
o 652496
o 652474
o 652466
o 652462
o 652454
o 652432
o 652424
o 652422
o 652400
o 652392
o 652388
o 652380
o 652358
o 652350
o 652331
o 652323
o 652301
o 652293
o 652289
o 652281
o 652259
o 652251
o 652235
o 652227
o 652223
o 652215
o 652193
o 652185
o 652175
o 652167
o 652163
o 652155
o 652133
o 652125
o 652123
o 652101
o 652093
o 652089
o 652081
o 652059
o 652051
o 652032
o 652024
o 652002
o 651994
o 651990
o 651982
o 651960
o 651952
o 651936
o 651928
o 651924
o 651916
o 651894
o 651886
o 651882
o 651874
o 651870
o 651862
o 651840
o 651832
o 651816
o 651808
o 651804
o 651796
o 651774
o 651766
o 651754
o 651746
o 651724
o 651716
o 651712
o 651704
o 651682
o 651674
o 651655
o 651647
o 651625
o 651617
o 651613
o 651605
o 651583
o 651575
o 651573
o 651551
o 651543
o 651539
o 651531
o 651509
o 651501
o 651482
o 651474
o 651452
o 651444
o 651440
o 651432
o 651410
o 651402
o 651386
o 651378
o 651374
o 651366
o 65Killed
1979.688u 0.011s 32:59.55 100.0%	0+0k 0+0io 0pf+0w