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-50-2_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-50-2_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 153 1226 2516382
WARNING: Ubcsat not found.
o 2516382
o 180965
o 178557
o 177560
o 177374
o 175478
o 174481
o 174351
o 174252
o 173486
o 173354
o 173255
o 172489
o 172146
o 172014
o 171915
o 171149
o 170733
o 170603
o 170504
o 169738
o 169606
o 169507
o 168741
o 168210
o 168079
o 167949
o 167850
o 167084
o 166952
o 166853
o 166087
o 166040
o 165908
o 165809
o 165043
o 164973
o 164557
o 164427
o 164328
o 163562
o 163430
o 163331
o 162565
o 162034
o 161903
o 161773
o 161674
o 160908
o 160776
o 160677
o 159911
o 159864
o 159732
o 159633
o 158867
o 158857
o 158725
o 158626
o 157860
o 157813
o 157681
o 157582
o 156816
o 156772
o 156725
o 156593
o 156494
o 155728
o 155138
o 155091
o 154959
o 154860
o 154094
o 154084
o 153952
o 153853
o 153087
o 153040
o 152908
o 152809
o 152043
o 151999
o 151952
o 151820
o 151721
o 150955
o 150850
o 150662
o 150004
o 149960
o 149913
o 149781
o 149682
o 148916
o 148258
o 148214
o 148167
o 148035
o 147936
o 147170
o 147065
o 146521
o 146416
o 145777
o 145733
o 145686
o 145554
o 145455
o 144689
o 144031
o 143987
o 143940
o 143808
o 143709
o 142943
o 142838
o 142761
o 141995
o 141890
o 141828
o 141170
o 140904
o 140848
o 140082
o 139977
o 139433
o 139328
o 138689
o 138423
o 138367
o 137601
o 136943
o 136677
o 136621
o 135855
o 135750
o 135729
o 135673
o 134907
o 134802
o 134786
o 134128
o 133862
o 133806
o 133040
o 132935
o 132914
o 132858
o 132092
o 131987
o 131690
o 131585
o 130872
o 130767
o 130750
o 130484
o 130428
o 129662
o 129004
o 128738
o 128682
o 127916
o 127811
o 127790
o 127734
o 126968
o 126863
o 126645
o 126540
o 126519
o 126463
o 125697
o 125592
o 125101
o 124996
o 124975
o 124919
o 124153
o 124048
o 123830
o 123725
o 123704
o 123648
o 122882
o 122777
o 122480
o 122375
o 122286
o 122181
o 122160
o 122104
o 121338
o 121233
o 121015
o 120910
o 120889
o 120833
o 120067
o 119962
o 119665
o 119560
o 119075
o 118970
o 118949
o 118893
o 118127
o 118022
o 117804
o 117699
o 117678
o 117622
o 116856
o 116751
o 116454
o 116349
o 116224
o 116119
o 115822
o 115717
o 115668
o 115656
o 115551
o 114825
o 114720
o 114708
o 114603
o 114502
o 114397
o 114385
o 114280
o 113554
o 113449
o 113437
o 113332
o 112958
o 112853
o 112841
o 112736
o 112010
o 111905
o 111893
o 111788
o 111687
o 111582
o 111570
o 111465
o 110739
o 110634
o 110622
o 110517
o 110337
o 110232
o 110220
o 110115
o 110038
o 110026
o 109921
o 109195
o 109090
o 109078
o 108973
o 108872
o 108767
o 108755
o 108650
o 107924
o 107819
o 107807
o 107702
o 107522
o 107417
o 107405
o 107300
o 106932
o 106827
o 106815
o 106710
o 105984
o 105879
o 105867
o 105762
o 105661
o 105556
o 105544
o 105439
o 104713
o 104608
o 104596
o 104491
o 104311
o 104206
o 104194
o 104089
o 104081
o 103976
o 103964
o 103859
o 103679
o 103574
o 103562
o 103457
o 103372
o 103267
o 103255
o 103150
o 102424
o 102319
o 102307
o 102202
o 102101
o 101996
o 101984
o 101879
o 101153
o 101048
o 101036
o 100931
o 100751
o 100646
o 100634
o 100529
o 100236
o 100131
o 100119
o 100014
o 99834
o 99729
o 99717
o 99612
o 99609
o 99504
o 99492
o 99387
o 99286
o 99181
o 99169
o 99064
o 98338
o 98233
o 98221
o 98116
o 97936
o 97831
o 97819
o 97714
o 97346
o 97241
o 97229
o 97124
o 96398
o 96293
o 96281
o 96176
o 96075
o 95970
o 95958
o 95853
o 95127
o 95022
o 95010
o 94905
o 94725
o 94620
o 94608
o 94503
o 94495
o 94390
o 94378
o 94273
o 94093
o 93988
o 93976
o 93871
o 93808
o 93703
o 93691
o 93586
o 93578
o 93473
o 93461
o 93356
o 93176
o 93071
o 93059
o 92954
o 92834
o 92729
o 92717
o 92612
o 92432
o 92327
o 92315
o 92210
o 92202
o 92097
o 92085
o 91980
o 91800
o 91695
o 91683
o 91578
o 91515
o 91410
o 91398
o 91293
o 91285
o 91180
o 91168
o 91063
o 90883
o 90778
o 90766
o 90661
o 90648
o 90636
o 90531
o 90238
o 90133
o 90121
o 90016
o 89836
o 89731
o 89719
o 89614
o 89611
o 89506
o 89494
o 89389
o 89288
o 89183
o 89171
o 89066
o 88340
o 88235
o 88223
o 88118
o 87938
o 87833
o 87821
o 87716
o 87348
o 87243
o 87231
o 87126
o 86400
o 86295
o 86283
o 86178
o 86077
o 85972
Killed
1979.630u 0.069s 33:12.36 99.3%	0+0k 0+0io 0pf+0w