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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-300-1_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 779 2735 4852437
WARNING: Ubcsat not found.
o 4852437
o 920400
o 920263
o 919522
o 919156
o 918569
o 918155
o 917957
o 917370
o 917259
o 917196
o 917070
o 916964
o 916901
o 916775
o 916611
o 916500
o 916437
o 916311
o 916293
o 916182
o 916119
o 915993
o 915904
o 915793
o 915730
o 915604
o 915498
o 915435
o 915309
o 915145
o 915034
o 914971
o 914845
o 914791
o 914665
o 914501
o 914390
o 914327
o 914201
o 914183
o 914072
o 914009
o 913883
o 913794
o 913683
o 913620
o 913494
o 913388
o 913325
o 913199
o 913035
o 912924
o 912861
o 912735
o 912608
o 912497
o 912434
o 912308
o 912249
o 912138
o 912075
o 911949
o 911902
o 911775
o 911664
o 911601
o 911475
o 911416
o 911305
o 911242
o 911116
o 911056
o 910929
o 910818
o 910755
o 910629
o 910570
o 910459
o 910396
o 910270
o 910255
o 910195
o 910068
o 909957
o 909894
o 909768
o 909709
o 909598
o 909535
o 909409
o 909364
o 909253
o 909190
o 909064
o 909000
o 908955
o 908844
o 908781
o 908655
o 908591
o 908549
o 908490
o 908379
o 908316
o 908190
o 908145
o 908034
o 907971
o 907845
o 907781
o 907736
o 907625
o 907562
o 907436
o 907372
o 907322
o 907259
o 907133
o 907069
o 907021
o 906895
o 906831
o 906734
o 906670
o 906625
o 906514
o 906451
o 906325
o 906261
o 906211
o 906148
o 906022
o 905958
o 905931
o 905805
o 905741
o 905699
o 905640
o 905529
o 905466
o 905340
o 905295
o 905184
o 905121
o 904995
o 904931
o 904886
o 904775
o 904712
o 904586
o 904522
o 904472
o 904409
o 904283
o 904219
o 904171
o 904045
o 903981
o 903884
o 903820
o 903775
o 903664
o 903601
o 903475
o 903411
o 903361
o 903298
o 903172
o 903108
o 903080
o 903016
o 902984
o 902920
o 902823
o 902759
o 902714
o 902603
o 902540
o 902414
o 902350
o 902300
o 902237
o 902111
o 902047
o 901991
o 901927
o 901830
o 901766
o 901721
o 901610
o 901547
o 901421
o 901357
o 901307
o 901244
o 901118
o 901054
o 900950
o 900886
o 900858
o 900794
o 900769
o 900705
o 900660
o 900549
o 900486
o 900360
o 900296
o 900246
o 900183
o 900057
o 899993
o 899889
o 899825
o 899781
o 899717
o 899620
o 899556
o 899555
o 899511
o 899400
o 899337
o 899211
o 899147
o 899097
o 899034
o 898908
o 898844
o 898740
o 898676
o 898648
o 898584
o 898559
o 898495
o 898494
o 898450
o 898339
o 898276
o 898150
o 898086
o 898036
o 897973
o 897847
o 897783
o 897679
o 897615
o 897563
o 897437
o 897373
o 897269
o 897205
o 897161
o 897097
o 897000
o 896936
o 896935
o 896891
o 896780
o 896717
o 896591
o 896527
o 896477
o 896414
o 896288
o 896224
o 896120
o 896056
o 896028
o 895964
o 895939
o 895875
o 895874
o 895830
o 895719
o 895656
o 895530
o 895466
o 895416
o 895353
o 895227
o 895163
o 895059
o 894995
o 894956
o 894846
o 894782
o 894732
o 894669
o 894543
o 894479
o 894375
o 894311
o 894283
o 894219
o 894194
o 894130
o 894129
o 894085
o 893974
o 893911
o 893785
o 893721
o 893671
o 893608
o 893482
o 893418
o 893314
o 893250
o 893236
o 893110
o 893046
o 892942
o 892878
o 892812
o 892749
o 892623
o 892559
o 892509
o 892446
o 892320
o 892256
o 892152
o 892088
o 892038
o 891934
o 891870
o 891841
o 891715
o 891651
o 891547
o 891483
o 891455
o 891391
o 891366
o 891302
o 891301
o 891257
o 891146
o 891083
o 890957
o 890893
o 890843
o 890780
o 890654
o 890590
o 890486
o 890422
o 890408
o 890282
o 890218
o 890114
o 890050
o 889984
o 889921
o 889795
o 889731
o 889681
o 889618
o 889492
o 889428
o 889324
o 889260
o 889181
o 889117
o 889067
o 888963
o 888899
o 888870
o 888744
o 888680
o 888576
o 888512
o 888484
o 888420
o 888395
o 888331
o 888330
o 888286
o 888175
o 888112
o 887986
o 887922
o 887872
o 887809
o 887683
o 887619
o 887515
o 887451
o 887437
o 887311
o 887247
o 887143
o 887079
o 887013
o 886950
o 886824
o 886760
o 886710
o 886647
o 886521
o 886457
o 886353
o 886289
o 886163
o 886136
o 886099
o 886072
o 885995
o 885968
o 885931
o 885904
o 885903
o 885876
o 885839
o 885812
o 885787
o 885750
o 885723
o 885722
o 885705
o 885594
o 885531
o 885405
o 885378
o 885341
o 885314
o 885291
o 885228
o 885102
o 885075
o 885038
o 885011
o 884934
o 884907
o 884870
o 884843
oKilled
1979.668u 0.031s 33:07.95 99.5%	0+0k 0+0io 0pf+0w