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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 762 2609 4577870
WARNING: Ubcsat not found.
o 4577870
o 941072
o 940965
o 940253
o 939799
o 939484
o 939438
o 939331
o 938619
o 938165
o 937850
o 937547
o 937501
o 937394
o 936682
o 936228
o 935913
o 935728
o 935623
o 935169
o 934854
o 934669
o 934467
o 934152
o 933967
o 933653
o 933338
o 933153
o 933048
o 932594
o 932279
o 932094
o 931892
o 931577
o 931392
o 931287
o 931010
o 930695
o 930510
o 930308
o 929993
o 929808
o 929746
o 929561
o 929159
o 928844
o 928659
o 928457
o 928142
o 927957
o 927852
o 927575
o 927260
o 927075
o 926873
o 926558
o 926373
o 926292
o 926090
o 925775
o 925590
o 925453
o 925268
o 925066
o 924751
o 924566
o 924555
o 924370
o 924339
o 924320
o 924233
o 924048
o 923846
o 923531
o 923346
o 923296
o 923094
o 922779
o 922594
o 922583
o 922398
o 922365
o 922180
o 922076
o 921874
o 921559
o 921374
o 921323
o 921138
o 921136
o 920951
o 920918
o 920733
o 920629
o 920427
o 920112
o 919927
o 919751
o 919718
o 919533
o 919429
o 919227
o 918912
o 918727
o 918694
o 918379
o 918194
o 918080
o 917765
o 917580
o 917404
o 917371
o 917186
o 917082
o 916880
o 916565
o 916380
o 916347
o 916032
o 915847
o 915832
o 915630
o 915315
o 915130
o 914959
o 914782
o 914597
o 914426
o 914269
o 914236
o 914051
o 913947
o 913745
o 913430
o 913245
o 913212
o 912897
o 912712
o 912697
o 912495
o 912180
o 911995
o 911824
o 911647
o 911462
o 911291
o 911172
o 911083
o 910912
o 910735
o 910550
o 910379
o 910197
o 910012
o 909997
o 909795
o 909480
o 909295
o 909124
o 908947
o 908762
o 908591
o 908461
o 908446
o 908244
o 907929
o 907744
o 907573
o 907396
o 907211
o 907040
o 906976
o 906877
o 906706
o 906529
o 906344
o 906173
o 906109
o 906008
o 905944
o 905884
o 905713
o 905649
o 905550
o 905379
o 905202
o 905017
o 904846
o 904782
o 904681
o 904617
o 904578
o 904401
o 904216
o 904045
o 903981
o 903882
o 903711
o 903534
o 903349
o 903178
o 903114
o 903013
o 902949
o 902928
o 902827
o 902763
o 902714
o 902650
o 902549
o 902485
o 902446
o 902269
o 902084
o 901913
o 901849
o 901750
o 901579
o 901402
o 901217
o 901046
o 900982
o 900881
o 900817
o 900696
o 900519
o 900334
o 900163
o 900099
o 899998
o 899934
o 899913
o 899812
o 899748
o 899699
o 899635
o 899534
o 899470
o 899431
o 899254
o 899069
o 898898
o 898834
o 898735
o 898564
o 898387
o 898202
o 898031
o 897967
o 897866
o 897802
o 897744
o 897643
o 897579
o 897458
o 897281
o 897096
o 896925
o 896861
o 896760
o 896696
o 896675
o 896574
o 896510
o 896461
o 896397
o 896296
o 896232
o 896193
o 896016
o 895831
o 895660
o 895596
o 895497
o 895326
o 895149
o 894964
o 894793
o 894729
o 894628
o 894564
o 894557
o 894508
o 894444
o 894343
o 894279
o 894240
o 894063
o 893878
o 893707
o 893643
o 893544
o 893373
o 893196
o 893011
o 892840
o 892776
o 892675
o 892611
o 892592
o 892415
o 892230
o 892059
o 891995
o 891896
o 891725
o 891548
o 891363
o 891192
o 891128
o 891027
o 890963
o 890959
o 890788
o 890611
o 890426
o 890255
o 890191
o 890090
o 890026
o 889854
o 889683
o 889619
o 889520
o 889349
o 889172
o 888987
o 888816
o 888752
o 888651
o 888587
o 888514
o 888450
o 888349
o 888285
o 888113
o 887942
o 887878
o 887779
o 887608
o 887431
o 887246
o 887075
o 887011
o 886910
o 886846
o 886768
o 886704
o 886532
o 886361
o 886297
o 886198
o 886027
o 885850
o 885665
o 885494
o 885430
o 885329
o 885265
o 885206
o 885128
o 885064
o 884892
o 884721
o 884657
o 884558
o 884387
o 884210
o 884025
o 883854
o 883790
o 883689
o 883625
o 883604
o 883433
o 883369
o 883270
o 883099
o 882922
o 882737
o 882566
o 882502
o 882401
o 882337
o 882237
o 882173
o 882072
o 882008
o 881987
o 881816
o 881752
o 881697
o 881526
o 881482
o 881305
o 881120
o 880949
o 880885
o 880784
o 880720
o 880700
o 880656
o 880612
o 880435
o 880250
o 880079
o 880015
o 879914
o 879850
o 879818
o 879754
o 879733
o 879562
o 879498
o 879443
o 879272
o 879228
o 879051
o 878866
o 878695
o 878631
o 878530
o 878466
o 878449
o 878264
o 878093
o 878029
o 877928
o 877864
o 877844
o 877800
o 877756
o 877718
o 877579
o 877394
o 877223
o 877159
oKilled
1979.632u 0.067s 33:10.63 99.4%	0+0k 0+0io 0pf+0w