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-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-1.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 594 2132 3844317
WARNING: Ubcsat not found.
o 3844317
o 722632
o 721635
o 721259
o 720958
o 720582
o 720473
o 720097
o 719928
o 719819
o 719443
o 719377
o 719268
o 718892
o 718682
o 718566
o 718507
o 718131
o 717872
o 717662
o 717546
o 717487
o 717111
o 717059
o 716683
o 716601
o 716542
o 716502
o 716485
o 716426
o 716386
o 716367
o 716327
o 716050
o 715991
o 715951
o 715791
o 715732
o 715692
o 715581
o 715522
o 715482
o 715465
o 715406
o 715366
o 715347
o 715307
o 715030
o 714971
o 714931
o 714919
o 714879
o 714602
o 714543
o 714503
o 714446
o 714394
o 714018
o 713936
o 713877
o 713837
o 713820
o 713761
o 713721
o 713702
o 713662
o 713385
o 713326
o 713286
o 713126
o 713067
o 713027
o 712916
o 712857
o 712817
o 712800
o 712741
o 712701
o 712682
o 712642
o 712365
o 712306
o 712266
o 712254
o 712214
o 711937
o 711878
o 711838
o 711827
o 711787
o 711510
o 711451
o 711411
o 711391
o 711231
o 711172
o 711132
o 711021
o 710962
o 710922
o 710905
o 710846
o 710806
o 710787
o 710747
o 710470
o 710411
o 710371
o 710359
o 710319
o 710042
o 709983
o 709943
o 709940
o 709928
o 709888
o 709611
o 709552
o 709512
o 709375
o 709316
o 709276
o 709234
o 709175
o 709135
o 709123
o 709083
o 708806
o 708747
o 708707
o 708665
o 708606
o 708566
o 708554
o 708514
o 708237
o 708178
o 708138
o 708135
o 708123
o 708083
o 707806
o 707747
o 707707
o 707570
o 707511
o 707471
o 707429
o 707370
o 707330
o 707318
o 707278
o 707001
o 706942
o 706902
o 706684
o 706625
o 706585
o 706531
o 706472
o 706432
o 706295
o 706236
o 706196
o 706154
o 706095
o 706055
o 706043
o 706003
o 705726
o 705667
o 705627
o 705409
o 705350
o 705310
o 705166
o 705107
o 705067
o 704930
o 704871
o 704831
o 704789
o 704730
o 704690
o 704678
o 704638
o 704361
o 704302
o 704262
o 704044
o 703985
o 703945
o 703936
o 703877
o 703837
o 703700
o 703641
o 703601
o 703559
o 703500
o 703460
o 703448
o 703408
o 703131
o 703072
o 703032
o 702990
o 702950
o 702814
o 702755
o 702715
o 702673
o 702633
o 702611
o 702334
o 702275
o 702235
o 702193
o 702153
o 702017
o 701958
o 701918
o 701876
o 701836
o 701589
o 701530
o 701490
o 701448
o 701408
o 701272
o 701213
o 701173
o 701131
o 701091
o 700853
o 700794
o 700754
o 700712
o 700672
o 700536
o 700477
o 700437
o 700395
o 700355
o 700121
o 700062
o 700022
o 699980
o 699940
o 699804
o 699745
o 699705
o 699663
o 699623
o 699376
o 699317
o 699277
o 699235
o 699195
o 699059
o 699000
o 698960
o 698918
o 698878
o 698859
o 698819
o 698683
o 698624
o 698584
o 698542
o 698502
o 698255
o 698196
o 698156
o 698114
o 698074
o 697938
o 697879
o 697839
o 697797
o 697757
o 697735
o 697695
o 697653
o 697613
o 697477
o 697418
o 697378
o 697336
o 697296
o 697062
o 697003
o 696963
o 696921
o 696881
o 696745
o 696686
o 696646
o 696604
o 696564
o 696317
o 696258
o 696218
o 696176
o 696136
o 696000
o 695941
o 695901
o 695859
o 695819
o 695773
o 695733
o 695691
o 695651
o 695632
o 695592
o 695456
o 695397
o 695357
o 695315
o 695275
o 695028
o 694969
o 694929
o 694887
o 694847
o 694711
o 694652
o 694612
o 694570
o 694530
o 694508
o 694468
o 694426
o 694386
o 694250
o 694191
o 694151
o 694109
o 694069
o 693835
o 693776
o 693736
o 693694
o 693654
o 693518
o 693459
o 693419
o 693377
o 693337
o 693090
o 693031
o 692991
o 692949
o 692909
o 692773
o 692714
o 692674
o 692632
o 692592
o 692563
o 692504
o 692464
o 692422
o 692382
o 692246
o 692187
o 692147
o 692105
o 692065
o 691956
o 691897
o 691857
o 691815
o 691775
o 691639
o 691580
o 691540
o 691498
o 691458
o 691436
o 691396
o 691354
o 691314
o 691178
o 691119
o 691079
o 691037
o 690997
o 690763
o 690704
o 690664
o 690622
o 690582
o 690446
o 690387
o 690347
o 690305
o 690265
o 690018
o 689959
o 689919
o 689877
o 689837
o 689701
o 689642
o 689602
o 689560
o 689520
o 689491
o 689432
o 689392
o 689350
o 689310
o 689174
o 689115
o 689075
o 689033
o 688993
o 688943
o 688903
o 688873
o 688833
o 688821
o 688791
o 688751
o 688574
o 688515
o 688475
o 688445
o 688405
o 688393
o 688363
o 688323
o 688257
o 688198
o 688158
o 688128
o 688088
o 688076
o 688046
o 688006
o 687988
o 687948
o 687918
o 687878
o 687866
o 687836
o 687796
o 687730
o 687671
o 687631
o 687601
o 687561
o 687549
o 687519
o 687479
o 687472
o 687413
o 687373
o 687351
o 687311
o 687291
o 687269
o 687229
o 687203
o 687163
o 687141
o 687101
o 687081
o 687059
o 687019
o 686945
o 686886
o 686846
o 686824
o 686784
o 686764
o 686742
o 686702
o 686674
o 686652
o 686612
o 686604
o 686582
o 686542
o 686530
o 686522
o 686500
o 686460
o 686345
o 686286
o 686246
o 686224
o 686184
o 686176
o 686154
o 686114
o 686102
o 686094
o 686072
o 686032
o 686028
o 685969
o 685929
o 685907
o 685867
o 685859
o 685837
o 685797
o 685785
o 685777
o 685755
o 685715
o 685697
o 685657
o 685649
o 685627
o 685587
o 685575
o 685567
o 685545
o 685505
o 685501
o 685442
o 685402
o 685380
o 685340
o 685332
o 685310
o 685270
o 685258
o 685250
o 685228
o 685188
o 685172
o 685132
o 685110
o 685070
o 685050
o 685028
o 684988
o 684914
o 684855
o 684815
o 684793
o 684753
o 684733
o 684711
o 684671
o 684643
o 684621
o 684581
o 684573
o 684551
o 684511
o 684499
o 684491
o 684469
o 684429
o 684314
o 684255
o 684215
o 684193
o 684153
o 684145
o 684123
o 684083
o 684071
o 684063
o 684041
o 684001
o 683997
o 683938
o 683898
o 683876
o 683836
o 683828
o 683806
o 683766
o 683754
o 683746
o 683724
o 683684
o 683666
o 683626
o 683618
o 683596
o 683556
o 683544
o 683536
o 683514
o 683474
o 683470
o 683411
o 683371
o 683349
o 683309
o 683301
o 683279
o 683239
o 683227
o 683219
o 683197
o 683157
o 683132
o 683120
o 683112
o 683090
o 683050
o 683046
o 682987
o 682947
o 682925
o 682885
o 682877
o 682855
o 682815
o 682803
o 682795
o 682773
o 682733
o 682726
o 682686
o 682682
o 682623
o 682583
o 682561
o 682521
o 682513
o 682491
o 682451
o 682439
o 682431
o 682409
o 682369
o 682344
o 682332
o 682324
o 682302
o 682262
o 682258
o 682199
o 682159
o 682137
o 682097
o 682089
o 682067
o 682027
o 682015
o 682007
o 681985
o 681945
o 681941
o 681901
o 681889
o 681881
o 681859
o 681819
o 681815
o 681756
o 681716
o 681694
o 681654
o 681646
o 681624
o 681584
o 681572
o 681564
o 681542
o 681502
o 681484
o 681444
o 681436
o 681414
o 681374
o 681362
o 681354
o 681332
o 681292
o 681288
o 681229
o 681189
o 681167
o 681127
o 681119
o 681097
o 681057
o 681045
o 681037
o 681015
o 680975
o 680950
o 680938
o 680930
o 680908
o 680868
o 680864
o 680805
o 680765
o 680743
o 680703
o 680695
o 680673
o 680633
o 680621
o 680613
o 680591
o 680551
o 680528
o 680516
o 680508
o 680486
o 680446
o 680421
o 680409
o 680401
o 680379
o 680339
o 680335
o 680276
o 680236
o 680214
o 680174
o 680166
o 680144
o 680104
o 680092
o 680084
o 680062
o 680022
o 680018
o 679978
o 679966
o 679958
o 679936
o 679896
o 679892
o 679833
o 679793
o 679771
o 679731
o 679723
o 679701
o 679661
o 679649
o 679641
o 679619
o 679579
o 679561
o 679521
o 679513
o 679491
o 679451
o 679439
o 679431
o 679409
o 679369
o 679365
o 679306
o 679266
o 679244
o 679204
o 679196
o 679174
o 679134
o 679122
o 679114
o 679092
o 679052
o 679027
o 679015
o 679007
o 678985
o 678945
o 678941
o 678882
o 678842
o 678820
o 678780
o 678772
o 678750
o 678710
o 678698
o 678690
o 678668
o 678628
o 678627
o 678620
o 678580
o 678576
o 678517
o 678477
o 678455
o 678415
o 678407
o 678385
o 678345
o 678333
o 678325
o 678303
o 678263
o 678238
o 678226
o 678218
o 678196
o 678156
o 678152
o 678093
o 678053
o 678031
o 677991
o 677983
o 677961
o 677921
o 677909
o 677901
o 677879
o 677839
o 677835
o 677795
o 677783
o 677775
o 677753
o 677713
o 677709
o 677650
o 677610
o 677588
o 677548
o 677540
o 677518
o 677478
o 677466
o 677458
o 677436
o 677396
o 677378
o 677338
o 677330
o 677308
o 677268
o 677256
o 677248
o 677226
o 677186
o 677182
o 677123
o 677083
o 677061
o 677021
o 677013
o 676991
o 676951
o 676939
o 676931
o 676909
o 676869
o 676844
o 676832
o 676824
o 676802
o 676762
o 676758
o 676699
o 676659
o 676637
o 676597
o 676589
o 676567
o 676527
o 676515
o 676507
o 676485
o 676445
o 676442
o 676441
o 676401
o 676376
o 676375
o 676335
o 676334
o 676294
o 676272
o 676232
o 676210
o 676170
o 676162
o 676140
o 676100
o 676099
o 676059
o 676058
o 676018
o 676017
o 675977
o 675974
o 675973
o 675933
o 675932
o 675892
o 675891
o 675851
o 675829
o 675789
o 675767
o 675727
o 675719
o 675697
o 675657
o 675656
o 675616
o 675615
o 675575
o 675574
o 675534
o 675517
o 675509
o 675487
o 675447
o 675446
o 675406
o 675405
o 675365
o 675364
o 675324
o 675302
o 675262
o 675240
o 675200
o 675192
o 675170
o 675130
o 675129
o 675089
o 675088
o 675048
o 675047
o 675007
o 674982
o 674981
o 674941
o 674940
o 674900
o 674878
o 674838
o 674816
o 674776
o 674768
o 674746
o 674706
o 674705
o 674665
o 674664
o 674624
o 674623
o 674583
o 674543
o 674535
o 674513
o 674473
o 674461
o 674453
o 674431
o 674391
o 674373
o 674333
o 674325
o 674303
o 674263
o 674251
o 674243
o 674221
o 674181
o 674177
o 674118
o 674078
o 674056
o 674016
o 674008
o 673986
o 673946
o 673934
o 673926
o 673904
o 673864
o 673839
o 673827
o 673819
o 673797
o 673757
o 673753
o 673694
o 673654
o 673632
o 673592
o 673584
o 673562
o 673522
o 673510
o 673502
o 673480
o 673440
o 673418
o 673417
o 673377
o 673376
o 673336
o 673335
o 673295
o 673289
o 673267
o 673227
o 673205
o 673165
o 673157
o 673135
o 673095
o 673094
o 673054
o 673053
o 673013
o 673012
o 672972
o 672969
o 672968
o 672928
o 672927
o 672887
o 672886
o 672846
o 672824
o 672784
o 672762
o 672722
o 672714
o 672692
o 672652
o 672651
o 672611
o 672610
o 672570
o 672569
o 672529
o 672512
o 672504
o 672482
o 672442
o 672441
o 672401
o 672400
o 672360
o 672359
o 672319
o 672297
o 672257
o 672235
o 672195
o 672187
o 672165
o 672125
o 672124
o 672084
o 672083
o 672043
o 672042
o 672002
o 671977
o 671976
o 671936
o 671935
o 671895
o 671873
o 671833
o 671811
o 671771
o 671763
o 671741
o 671701
o 671700
o 671660
o 671659
o 671619
o 671618
o 671578
o 671572
o 671571
o 671531
o 671530
o 671490
o 671489
o 671449
o 671446
o 671445
o 671405
o 671404
o 671364
o 671363
o 671323
o 671301
o 671261
o 671239
o 671199
o 671191
o 671169
o 671129
o 671128
o 671088
o 671087
o 671047
o 671046
o 671006
o 670989
o 670981
o 670959
o 670919
o 670918
o 670878
o 670877
o 670837
o 670836
o 670796
o 670774
o 670734
o 670712
o 670672
o 670664
o 670642
o 670602
o 670601
o 670561
o 670560
o 670520
o 670519
o 670479
o 670454
o 670453
o 670413
o 670412
o 670372
o 670350
o 670310
o 670288
o 670248
o 670240
o 670218
o 670178
o 670177
o 670137
o 670136
o 670096
o 670095
o 670055
o 670047
o 670025
o 669985
o 669977
o 669955
o 669915
o 669903
o 669895
o 669873
o 669833
o 669811
o 669810
o 669770
o 669769
o 669729
o 669728
o 669688
o 669682
o 669660
o 669620
o 669598
o 669558
o 669550
o 669528
o 669488
o 669487
o 669447
o 669446
o 669406
o 669405
o 669365
o 669362
o 669361
o 669321
o 669320
o 669280
o 669279
o 669239
o 669217
o 669177
o 669155
o 669115
o 669107
o 669085
o 669045
o 669044
o 669004
o 669003
o 668963
o 668962
o 668922
o 668905
o 668897
o 668875
o 668835
o 668834
o 668794
o 668793
o 668753
o 668752
o 668712
o 668690
o 668650
o 668628
o 668588
o 668580
o 668558
o 668518
o 668517
o 668477
o 668476
o 668436
o 668435
o 668395
o 668370
o 668369
o 668329
o 668328
o 668288
o 668266
o 668226
o 668204
o 668164
o 668156
o 668134
o 668094
o 668093
o 668053
o 668052
o 668012
o 668011
o 667971
o 667958
o 667957
o 667917
o 667892
o 667891
o 667851
o 667850
o 667810
o 667788
o 667748
o 667726
o 667686
o 667678
o 667656
o 667616
o 667615
o 667575
o 667574
o 667534
o 667533
o 667493
o 667456
o 667434
o 667394
o 667372
o 667332
o 667324
o 667302
o 667262
o 667261
o 667221
o 667220
o 667180
o 667179
o 667139
o 667114
o 667113
o 667073
o 667072
o 667032
o 667010
o 666970
o 666948
o 666908
o 666900
o 666878
o 666838
o 666837
o 666797
o 666796
o 666756
o 666755
o 666715
o 666707
o 666685
o 666645
o 666637
o 666615
o 666575
o 666563
o 666555
o 666533
o 666493
o 666471
o 666470
o 666430
o 666429
o 666389
o 666388
o 666348
o 666342
o 666320
o 666280
o 666258
o 666218
o 666210
o 666188
o 666148
o 666147
o 666107
o 666106
o 666066
o 666065
o 666025
o 666022
o 666021
o 665981
o 665980
o 665940
o 665939
o 665899
o 665877
o 665837
o 665815
o 665775
o 665767
o 665745
o 665705
o 665704
o 665664
o 665663
o 665623
o 6Killed
1979.596u 0.103s 33:12.86 99.3%	0+0k 0+0io 0pf+0w