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-300-1_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-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 779 2788 5088272
WARNING: Ubcsat not found.
o 5088272
o 939362
o 938898
o 938602
o 938584
o 938288
o 937971
o 937507
o 937211
o 937157
o 937057
o 936761
o 936478
o 936182
o 936128
o 936028
o 935732
o 935466
o 935170
o 935116
o 935016
o 934720
o 934472
o 934436
o 934140
o 933874
o 933578
o 933524
o 933424
o 933128
o 932880
o 932862
o 932609
o 932555
o 932455
o 932159
o 931911
o 931893
o 931806
o 931558
o 931540
o 931484
o 931236
o 931218
o 931173
o 930877
o 930629
o 930611
o 930524
o 930276
o 930258
o 930063
o 930045
o 929958
o 929710
o 929692
o 929554
o 929536
o 929491
o 929195
o 928947
o 928929
o 928842
o 928594
o 928576
o 928567
o 928319
o 928301
o 928106
o 928088
o 928001
o 927753
o 927735
o 927597
o 927579
o 927534
o 927238
o 926990
o 926972
o 926885
o 926637
o 926619
o 926376
o 926358
o 926271
o 926023
o 926005
o 926000
o 925982
o 925739
o 925721
o 925634
o 925386
o 925368
o 925361
o 925343
o 925138
o 925120
o 925033
o 924785
o 924767
o 924760
o 924742
o 924629
o 924611
o 924368
o 924350
o 924263
o 924015
o 923997
o 923992
o 923974
o 923731
o 923713
o 923626
o 923378
o 923360
o 923353
o 923335
o 923190
o 923172
o 923085
o 922837
o 922819
o 922812
o 922794
o 922589
o 922571
o 922484
o 922236
o 922218
o 922211
o 922193
o 922080
o 922062
o 921819
o 921801
o 921714
o 921466
o 921448
o 921443
o 921425
o 921182
o 921164
o 921077
o 920829
o 920811
o 920804
o 920786
o 920687
o 920669
o 920662
o 920644
o 920545
o 920527
o 920522
o 920504
o 920417
o 920169
o 920151
o 919931
o 919913
o 919908
o 919890
o 919885
o 919867
o 919780
o 919532
o 919514
o 919294
o 919276
o 919269
o 919251
o 919152
o 919134
o 919127
o 919109
o 918902
o 918884
o 918664
o 918646
o 918641
o 918623
o 918618
o 918600
o 918513
o 918265
o 918247
o 918027
o 918009
o 918002
o 917984
o 917885
o 917867
o 917860
o 917842
o 917753
o 917735
o 917648
o 917400
o 917382
o 917377
o 917359
o 917116
o 917098
o 917011
o 916763
o 916745
o 916738
o 916720
o 916621
o 916603
o 916596
o 916578
o 916479
o 916461
o 916456
o 916438
o 916351
o 916103
o 916085
o 915865
o 915847
o 915842
o 915824
o 915819
o 915801
o 915714
o 915466
o 915448
o 915228
o 915210
o 915203
o 915185
o 915086
o 915068
o 915061
o 915043
o 914880
o 914862
o 914642
o 914624
o 914617
o 914599
o 914595
o 914347
o 914329
o 914109
o 914091
o 914084
o 914066
o 913986
o 913968
o 913748
o 913730
o 913723
o 913705
o 913606
o 913588
o 913581
o 913563
o 913548
o 913530
o 913523
o 913505
o 913458
o 913440
o 913433
o 913415
o 913402
o 913384
o 913377
o 913359
o 913260
o 913242
o 913235
o 913217
o 913104
o 913086
o 913079
o 913061
o 913057
o 912809
o 912791
o 912571
o 912553
o 912546
o 912528
o 912448
o 912430
o 912210
o 912192
o 912185
o 912167
o 912068
o 912050
o 912043
o 912025
o 911928
o 911910
o 911903
o 911885
o 911722
o 911704
o 911484
o 911466
o 911459
o 911441
o 911437
o 911189
o 911171
o 910951
o 910933
o 910926
o 910908
o 910828
o 910810
o 910590
o 910572
o 910565
o 910547
o 910448
o 910430
o 910423
o 910405
o 910390
o 910372
o 910365
o 910347
o 910300
o 910282
o 910275
o 910257
o 910244
o 910226
o 910219
o 910201
o 910102
o 910084
o 910077
o 910059
o 909946
o 909928
o 909921
o 909903
o 909899
o 909651
o 909633
o 909413
o 909395
o 909388
o 909370
o 909290
o 909272
o 909052
o 909034
o 909027
o 909009
o 908910
o 908892
o 908885
o 908867
o 908684
o 908666
o 908659
o 908641
o 908542
o 908524
o 908517
o 908499
o 908304
o 908286
o 908279
o 908261
o 908162
o 908144
o 908137
o 908119
o 908104
o 908086
o 908079
o 908061
o 908014
o 907996
o 907989
o 907971
o 907958
o 907940
o 907933
o 907915
o 907816
o 907798
o 907791
o 907773
o 907660
o 907642
o 907635
o 907617
o 907613
o 907365
o 907347
o 907127
o 907109
o 907102
o 907084
o 907004
o 906986
o 906766
o 906748
o 906741
o 906723
o 906624
o 906606
o 906599
o 906581
o 906534
o 906516
o 906296
o 906278
o 906271
o 906253
o 906154
o 906136
o 906129
o 906111
o 905928
o 905910
o 905903
o 905885
o 905786
o 905768
o 905761
o 905743
o 905548
o 905530
o 905523
o 905505
o 905406
o 905388
o 905381
o 905363
o 905348
o 905330
o 905323
o 905305
o 905258
o 905240
o 905233
o 905215
o 905202
o 905184
o 905177
o 905159
o 905060
o 905042
o 905035
o 905017
o 904904
o 904886
o 904879
o 904861
o 904857
o 904609
o 904591
o 904371
o 904353
o 904346
o 904328
o 904248
o 904230
o 904010
o 903992
o 903985
o 903967
o 903868
o 903850
o 903843
o 903825
o 903712
o 903694
o 903687
o 903669
o 903570
o 903552
o 903545
o 903527
o 903519
o 903504
o 903486
o 903479
o 903461
o 903414
o 903396
o 903389
o 903371
o 903358
o 903340
o 903333
o 903315
o 903216
o 903198
o 903191
o 903173
o 903060
o 903042
o 903035
o 903017
o 903013
o 902918
o 902904
o 902765
o 902747
o 902680
o 902666
o 902527
o 902509
o 902502
o 902484
o 902404
o 902386
o 902319
o 902305
o 902166
o 902148
o 902141
o 902123
o 902024
o 902006
o 901999
o 901981
o 901868
o 901850
o 901843
o 901825
o 901726
o 901708
o 901701
o 901683
o 901682
o 901675
o 901657
o 901653
o 901405
o 901387
o 901167
o 901149
o 901142
o 901124
o 901044
o 901026
o 900806
o 900788
o 900781
o 900763
o 900664
o 900646
o 900639
o 900621
o 900508
o 900490
o 900483
o 900465
o 900366
o 900348
o 900341
o 900323
o 900315
o 900300
o 900282
o 900275
o 900257
o 900210
o 900192
o 900185
o 900167
o 900154
o 900136
o 900129
o 900111
o 900012
o 899994
o 899987
o 899969
o 899856
o 899838
o 899831
o 899813
o 899809
o 899714
o 899700
o 899561
o 899543
o 899476
o 899462
o 899323
o 899305
o 899298
o 899280
o 899200
o 899182
o 899115
o 899101
o 898962
o 898944
o 898937
o 898919
o 898820
o 898802
o 898795
o 898777
o 898664
o 898646
o 898639
o 898621
o 898522
o 898504
o 898497
o 898479
o 898429
o 898411
o 898404
o 898386
o 898337
o 898319
o 898099
o 898081
o 898074
o 898056
o 897957
o 897939
o 897932
o 897914
o 897870
o 897852
o 897845
o 897827
o 897747
o 897729
o 897509
o 897491
o 897484
o 897466
o 897367
o 897349
o 897342
o 897324
o 897211
o 897193
o 897186
o 897168
o 897069
o 897051
o 897044
o 897026
o 897018
o 897003
o 896985
o 896978
o 896960
o 896913
o 896895
o 896888
o 896870
o 896857
o 896839
o 896832
o 896814
o 896715
o 896697
o 896690
o 896672
o 896616
o 896598
o 896591
o 896573
o 896493
o 896475
o 896408
o 896394
o 896255
o 896237
o 896230
o 896212
o 896113
o 896095
o 896088
o 896070
o 896026
o 896008
o 896001
o 895983
o 895903
o 895885
o 895818
o 895804
o 895665
o 895647
o 895640
o 895622
o 895523
o 895505
o 895498
o 895480
o 895367
o 895349
o 895342
o 895324
o 895225
o 895207
o 895200
o 895182
o 895086
o 895068
o 895061
o 895043
o 894944
o 894926
o 894919
o 894901
o 894788
o 894770
o 894763
o 894745
o 894646
o 894628
o 894621
o 894603
o 894549
o 894531
o 894524
o 894506
o 894407
o 894389
o 894382
o 894364
o 894251
o 894233
o 894226
o 894208
o 894109
o 894091
o 894084
o 894066
o 894017
o 893999
o 893992
o 893974
o 893930
o 893912
o 893905
o 893887
o 893807
o 893789
o 893722
o 893708
o 893569
o 893551
o 893544
o 893526
o 893427
o 893409
o 893402
o 893384
o 893271
o 893253
o 893246
o 893228
o 893129
o 893111
o 893104
o 893086
o 892990
o 892972
o 892965
o 892947
o 892848
o 892830
o 892823
o 892805
o 892692
o 892674
o 892667
o 892649
o 892550
o 892532
o 892525
o 892507
o 892453
o 892435
o 892428
o 892410
o 892311
o 892293
o 892286
o 892268
o 892155
o 892137
o 892130
o 892112
o 892013
o 891995
o 891988
o 891970
o 891917
o 891899
o 891892
o 891874
o 891775
o 891757
o 891750
o 891732
o 891619
o 891601
o 891594
o 891576
o 891477
o 891459
o 891452
o 891434
o 891418
o 891400
o 891393
o 891375
o 891276
o 891258
o 891251
o 891233
o 891183
o 891165
o 891158
o 891140
o 891041
o 891023
o 891016
o 890998
o 890994
o 890881
o 890863
o 890856
o 890838
o 890739
o 890721
o 890714
o 890696
o 890647
o 890629
o 890622
o 890604
o 890505
o 890487
o 890480
o 890462
o 890458
o 890345
o 890327
o 890320
o 890302
o 890203
o 890185
o 890178
o 890160
o 890152
o 890053
o 890035
o 890028
o 890010
o 889914
o 889896
o 889889
o 889871
o 889772
o 889754
o 889747
o 889729
o 889616
o 889598
o 889591
o 889573
o 889474
o 889456
o 889449
o 889431
o 889377
o 889359
o 889352
o 889334
o 889235
o 889217
o 889210
o 889192
o 889079
o 889061
o Killed
1979.689u 0.010s 33:01.88 99.8%	0+0k 0+0io 0pf+0w