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-200-1_network-1.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-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 491 1664 2838396
WARNING: Ubcsat not found.
o 2838396
o 590348
o 589765
o 589208
o 588863
o 588679
o 588334
o 587148
o 586565
o 586008
o 585663
o 585478
o 585133
o 584839
o 584256
o 583699
o 583354
o 583338
o 582802
o 582457
o 582388
o 582094
o 581511
o 580954
o 580609
o 580536
o 580520
o 579984
o 579639
o 579570
o 579276
o 578693
o 578136
o 577791
o 577270
o 576713
o 576368
o 576155
o 575849
o 575504
o 575413
o 575106
o 574983
o 574426
o 574081
o 573990
o 573868
o 573777
o 573775
o 573430
o 573217
o 573086
o 572995
o 572911
o 572566
o 572475
o 572008
o 571663
o 571572
o 571488
o 571143
o 571052
o 570930
o 570839
o 570577
o 570486
o 570364
o 570273
o 569947
o 569856
o 569772
o 569427
o 569336
o 569214
o 569123
o 569086
o 568995
o 568873
o 568782
o 568704
o 568436
o 568345
o 568223
o 568132
o 567936
o 567845
o 567723
o 567632
o 567519
o 567428
o 567391
o 567300
o 567178
o 567087
o 567009
o 566741
o 566650
o 566528
o 566437
o 566241
o 566150
o 566028
o 565937
o 565863
o 565741
o 565650
o 565454
o 565363
o 565241
o 565150
o 565125
o 565012
o 564921
o 564884
o 564793
o 564671
o 564580
o 564502
o 564234
o 564143
o 564021
o 563930
o 563734
o 563643
o 563521
o 563430
o 563356
o 563234
o 563143
o 562947
o 562856
o 562734
o 562643
o 562618
o 562527
o 562405
o 562314
o 562289
o 562176
o 562085
o 562048
o 561957
o 561835
o 561744
o 561666
o 561398
o 561307
o 561185
o 561094
o 560898
o 560807
o 560685
o 560594
o 560520
o 560398
o 560307
o 560111
o 560020
o 559898
o 559807
o 559738
o 559701
o 559610
o 559488
o 559397
o 559319
o 559051
o 558960
o 558838
o 558747
o 558551
o 558460
o 558338
o 558247
o 558173
o 558051
o 557960
o 557764
o 557673
o 557551
o 557460
o 557441
o 557367
o 557245
o 557154
o 556958
o 556867
o 556745
o 556654
o 556642
o 556551
o 556429
o 556338
o 556269
o 556232
o 556141
o 556019
o 555928
o 555850
o 555582
o 555491
o 555369
o 555278
o 555082
o 554991
o 554869
o 554778
o 554704
o 554582
o 554491
o 554295
o 554204
o 554082
o 553991
o 553972
o 553898
o 553776
o 553685
o 553489
o 553398
o 553276
o 553185
o 553127
o 553108
o 553034
o 552912
o 552821
o 552625
o 552534
o 552412
o 552321
o 552307
o 552233
o 552111
o 552020
o 551824
o 551733
o 551611
o 551520
o 551501
o 551427
o 551305
o 551214
o 551018
o 550927
o 550805
o 550714
o 550656
o 550637
o 550563
o 550441
o 550350
o 550154
o 550063
o 549941
o 549850
o 549761
o 549670
o 549623
o 549532
o 549513
o 549439
o 549317
o 549226
o 549030
o 548939
o 548817
o 548726
o 548668
o 548649
o 548575
o 548453
o 548362
o 548166
o 548075
o 547953
o 547862
o 547848
o 547774
o 547652
o 547561
o 547365
o 547274
o 547152
o 547061
o 547042
o 546968
o 546846
o 546755
o 546559
o 546468
o 546346
o 546255
o 546197
o 546178
o 546104
o 545982
o 545891
o 545695
o 545604
o 545482
o 545391
o 545302
o 545211
o 545097
o 545006
o 544810
o 544719
o 544597
o 544506
o 544492
o 544418
o 544296
o 544205
o 544009
o 543918
o 543796
o 543705
o 543686
o 543612
o 543490
o 543399
o 543203
o 543112
o 542990
o 542899
o 542841
o 542822
o 542748
o 542626
o 542535
o 542339
o 542248
o 542126
o 542035
o 541946
o 541855
o 541779
o 541688
o 541492
o 541401
o 541279
o 541188
o 541099
o 541008
o 540947
o 540856
o 540734
o 540643
o 540620
o 540498
o 540407
o 540349
o 540330
o 540279
o 540083
o 539992
o 539870
o 539779
o 539756
o 539634
o 539543
o 539454
o 539363
o 539236
o 539145
o 539023
o 538932
o 538909
o 538787
o 538696
o 538607
o 538516
o 538513
o 538422
o 538392
o 538300
o 538209
o 538186
o 538156
o 538064
o 537973
o 537915
o 537896
o 537845
o 537832
o 537741
o 537649
o 537558
o 537528
o 537436
o 537345
o 537322
o 537292
o 537200
o 537109
o 537020
o 536929
o 536894
o 536802
o 536711
o 536681
o 536589
o 536498
o 536475
o 536445
o 536353
o 536262
o 536173
o 536082
o 536061
o 536038
o 535916
o 535825
o 535767
o 535748
o 535697
o 535501
o 535410
o 535288
o 535197
o 535174
o 535052
o 534961
o 534872
o 534781
o 534654
o 534563
o 534441
o 534350
o 534327
o 534205
o 534114
o 534025
o 533934
o 533931
o 533840
o 533810
o 533718
o 533627
o 533604
o 533574
o 533482
o 533391
o 533333
o 533314
o 533263
o 533250
o 533159
o 533067
o 532976
o 532946
o 532854
o 532763
o 532740
o 532710
o 532618
o 532527
o 532438
o 532347
o 532312
o 532220
o 532129
o 532099
o 532007
o 531916
o 531893
o 531863
o 531771
o 531680
o 531591
o 531500
o 531459
o 531368
o 531333
o 531241
o 531150
o 531120
o 531028
o 530937
o 530914
o 530884
o 530792
o 530701
o 530612
o 530521
o 530452
o 530360
o 530269
o 530239
o 530147
o 530056
o 530033
o 530003
o 529911
o 529820
o 529731
o 529640
o 529605
o 529513
o 529422
o 529392
o 529300
o 529209
o 529186
o 529156
o 529064
o 528973
o 528884
o 528793
o 528734
o 528699
o 528607
o 528516
o 528486
o 528394
o 528303
o 528280
o 528250
o 528158
o 528067
o 527978
o 527887
o 527818
o 527726
o 527635
o 527605
o 527513
o 527422
o 527399
o 527369
o 527277
o 527186
o 527097
o 527006
o 526971
o 526879
o 526788
o 526758
o 526666
o 526575
o 526552
o 526522
o 526430
o 526339
o 526250
o 526159
o 526143
o 526054
o 525963
o 525894
o 525802
o 525711
o 525681
o 525589
o 525498
o 525475
o 525445
o 525353
o 525262
o 525173
o 525082
o 525047
o 524955
o 524864
o 524834
o 524742
o 524651
o 524628
o 524598
o 524506
o 524415
o 524326
o 524235
o 524157
o 524066
o 523997
o 523905
o 523814
o 523784
o 523692
o 523601
o 523578
o 523548
o 523456
o 523365
o 523276
o 523185
o 523150
o 523058
o 522967
o 522937
o 522845
o 522754
o 522731
o 522701
o 522609
o 522518
o 522429
o 522338
o 522322
o 522233
o 522142
o 522073
o 521981
o 521890
o 521860
o 521768
o 521677
o 521654
o 521624
o 521532
o 521441
o 521352
o 521261
o 521226
o 521134
o 521043
o 521013
o 520921
o 520830
o 520807
o 520777
o 520685
o 520594
o 520505
o 520414
o 520392
o 520301
o 520212
o 520121
o 520086
o 519994
o 519903
o 519873
o 519781
o 519690
o 519667
o 519637
o 519545
o 519454
o 519365
o 519274
o 519267
o 519247
o 519155
o 519064
o 518975
o 518884
o 518868
o 518779
o 518688
o 518619
o 518527
o 518436
o 518406
o 518314
o 518223
o 518200
o 518170
o 518078
o 517987
o 517898
o 517807
o 517772
o 517680
o 517589
o 517559
o 517467
o 517376
o 517353
o 517323
o 517231
o 517140
o 517051
o 516960
o 516938
o 516847
o 516758
o 516667
o 516632
o 516540
o 516449
o 516419
o 516327
o 516236
o 516213
o 516183
o 516091
o 516000
o 515911
o 515820
o 515797
o 515705
o 515614
o 515525
o 515434
o 515408
o 515373
o 515281
o 515190
o 515160
o 515068
o 514977
o 514954
o 514924
o 514832
o 514741
o 514652
o 514561
o 514472
o 514388
o 514297
o 514274
o 514244
o 514152
o 514061
o 514007
o 513984
o 513954
o 513862
o 513771
o 513682
o 513591
o 513541
o 513450
o 513427
o 513397
o 513305
o 513214
o 513160
o 513137
o 513107
o 513015
o 512924
o 512835
o 512744
o 512722
o 512631
o 512542
o 512451
o 512401
o 512310
o 512287
o 512257
o 512165
o 512074
o 512020
o 511997
o 511967
o 511875
o 511784
o 511695
o 511604
o 511581
o 511489
o 511398
o 511309
o 511218
o 511192
o 511142
o 511051
o 511028
o 510998
o 510906
o 510815
o 510761
o 510738
o 510708
o 510616
o 510525
o 510436
o 510345
o 510306
o 510215
o 510192
o 510162
o 510070
o 509979
o 509925
o 509902
o 509872
o 509780
o 509689
o 509600
o 509509
o 509486
o 509394
o 509303
o 509214
o 509123
o 509097
o 509047
o 508956
o 508933
o 508903
o 508811
o 508720
o 508666
o 508643
o 508613
o 508521
o 508430
o 508341
o 508250
o 508217
o 508195
o 508104
o 508015
o 507924
o 507874
o 507783
o 507760
o 507730
o 507638
o 507547
o 507493
o 507470
o 507440
o 507348
o 507257
o 507168
o 507077
o 507054
o 506962
o 506871
o 506782
o 506691
o 506665
o 506615
o 506524
o 506501
o 506471
o 506379
o 506288
o 506234
o 506211
o 506181
o 506089
o 505998
o 505909
o 505818
o 505733
o 505642
o 505588
o 505565
o 505535
o 505443
o 505352
o 505263
o 505172
o 505149
o 505057
o 504966
o 504877
o 504786
o 504760
o 504710
o 504619
o 504596
o 504566
o 504474
o 504383
o 504329
o 504306
o 504276
o 504184
o 504093
o 504004
o 503913
o 503903
o 503812
o 503723
o 503632
o 503629
o 503537
o 503446
o 503392
o 503369
o 503339
o 503247
o 503156
o 503067
o 502976
o 502953
o 502861
o 502770
o 502681
o 502590
o 502564
o 502514
o 502423
o Killed
1979.622u 0.077s 33:01.55 99.9%	0+0k 0+0io 0pf+0w