Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WMaxSatz+-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_random-net_random-net-200-1_network-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 513 1788 3178610
WARNING: Ubcsat not found.
o 3178610
o 610046
o 609801
o 609459
o 609344
o 609002
o 608889
o 608548
o 608303
o 607961
o 607959
o 607844
o 607714
o 607599
o 607372
o 607257
o 607142
o 606915
o 606800
o 606687
o 606461
o 606346
o 606216
o 606101
o 605874
o 605759
o 605740
o 605625
o 605398
o 605283
o 605168
o 604941
o 604826
o 604713
o 604487
o 604372
o 604242
o 604127
o 603900
o 603785
o 603599
o 603484
o 603354
o 603239
o 603012
o 602897
o 602792
o 602662
o 602547
o 602320
o 602205
o 602167
o 601940
o 601825
o 601742
o 601627
o 601538
o 601475
o 601248
o 601133
o 601050
o 600935
o 600846
o 600835
o 600825
o 600742
o 600627
o 600538
o 600514
o 600386
o 600271
o 600044
o 599929
o 599822
o 599664
o 599549
o 599466
o 599351
o 599262
o 599244
o 599155
o 598972
o 598857
o 598774
o 598659
o 598570
o 598552
o 598463
o 598452
o 598351
o 598262
o 598244
o 598155
o 598059
o 597970
o 597952
o 597863
o 597841
o 597726
o 597619
o 597461
o 597346
o 597263
o 597148
o 597059
o 597041
o 596952
o 596769
o 596654
o 596571
o 596456
o 596367
o 596349
o 596260
o 596249
o 596148
o 596059
o 596041
o 595952
o 595940
o 595916
o 595851
o 595736
o 595647
o 595629
o 595540
o 595357
o 595242
o 595159
o 595044
o 594955
o 594937
o 594848
o 594837
o 594736
o 594647
o 594629
o 594540
o 594526
o 594461
o 594346
o 594257
o 594239
o 594150
o 594127
o 594109
o 594020
o 594011
o 593993
o 593904
o 593852
o 593769
o 593654
o 593565
o 593547
o 593458
o 593447
o 593346
o 593257
o 593239
o 593150
o 593039
o 592950
o 592932
o 592843
o 592832
o 592731
o 592642
o 592624
o 592535
o 592453
o 592435
o 592346
o 592272
o 592183
o 592165
o 592076
o 592064
o 592040
o 591975
o 591860
o 591771
o 591753
o 591664
o 591481
o 591366
o 591283
o 591168
o 591079
o 591061
o 590972
o 590961
o 590860
o 590771
o 590753
o 590664
o 590650
o 590585
o 590470
o 590381
o 590363
o 590274
o 590251
o 590233
o 590144
o 590135
o 590117
o 590028
o 589976
o 589893
o 589778
o 589689
o 589671
o 589582
o 589571
o 589470
o 589381
o 589363
o 589274
o 589251
o 589237
o 589172
o 589057
o 588968
o 588950
o 588861
o 588838
o 588820
o 588731
o 588722
o 588704
o 588615
o 588563
o 588480
o 588365
o 588276
o 588258
o 588169
o 588158
o 588057
o 587968
o 587950
o 587861
o 587828
o 587810
o 587721
o 587698
o 587680
o 587591
o 587582
o 587564
o 587475
o 587423
o 587340
o 587225
o 587136
o 587118
o 587029
o 587018
o 586917
o 586828
o 586810
o 586721
o 586717
o 586708
o 586690
o 586601
o 586549
o 586466
o 586351
o 586262
o 586244
o 586155
o 586144
o 586043
o 585954
o 585936
o 585847
o 585824
o 585810
o 585745
o 585630
o 585541
o 585523
o 585434
o 585411
o 585393
o 585304
o 585295
o 585277
o 585188
o 585136
o 585053
o 584938
o 584849
o 584831
o 584742
o 584731
o 584630
o 584541
o 584523
o 584434
o 584401
o 584383
o 584294
o 584271
o 584253
o 584164
o 584155
o 584137
o 584048
o 583996
o 583913
o 583798
o 583709
o 583691
o 583602
o 583591
o 583490
o 583401
o 583383
o 583294
o 583266
o 583214
o 583131
o 583016
o 582927
o 582909
o 582820
o 582809
o 582708
o 582619
o 582601
o 582512
o 582465
o 582376
o 582358
o 582269
o 582258
o 582157
o 582068
o 582050
o 581961
o 581928
o 581910
o 581821
o 581798
o 581780
o 581691
o 581682
o 581664
o 581575
o 581542
o 581524
o 581435
o 581325
o 581236
o 581218
o 581129
o 581118
o 581017
o 580928
o 580910
o 580821
o 580793
o 580760
o 580742
o 580653
o 580543
o 580454
o 580436
o 580347
o 580336
o 580235
o 580146
o 580128
o 580039
o 580038
o 579991
o 579902
o 579884
o 579795
o 579784
o 579683
o 579594
o 579576
o 579487
o 579380
o 579291
o 579273
o 579184
o 579101
o 579068
o 579050
o 578961
o 578851
o 578762
o 578744
o 578655
o 578644
o 578543
o 578454
o 578436
o 578347
o 578319
o 578286
o 578268
o 578179
o 578069
o 577980
o 577962
o 577873
o 577862
o 577761
o 577672
o 577654
o 577565
o 577525
o 577497
o 577464
o 577446
o 577357
o 577247
o 577158
o 577140
o 577051
o 577040
o 576939
o 576850
o 576832
o 576743
o 576742
o 576695
o 576606
o 576588
o 576499
o 576488
o 576387
o 576298
o 576280
o 576191
o 576084
o 575995
o 575977
o 575888
o 575805
o 575772
o 575754
o 575665
o 575555
o 575466
o 575448
o 575359
o 575348
o 575247
o 575158
o 575140
o 575051
o 575023
o 574990
o 574972
o 574883
o 574773
o 574684
o 574666
o 574577
o 574566
o 574465
o 574376
o 574358
o 574269
o 574258
o 574240
o 574151
o 574140
o 574039
o 573950
o 573932
o 573843
o 573769
o 573680
o 573662
o 573573
o 573562
o 573461
o 573372
o 573354
o 573265
o 573237
o 573204
o 573186
o 573097
o 572987
o 572898
o 572880
o 572791
o 572780
o 572679
o 572590
o 572572
o 572483
o 572472
o 572454
o 572365
o 572354
o 572253
o 572164
o 572146
o 572057
o 571992
o 571964
o 571931
o 571913
o 571824
o 571714
o 571625
o 571607
o 571518
o 571507
o 571406
o 571317
o 571299
o 571210
o 571199
o 571181
o 571092
o 571081
o 570980
o 570891
o 570873
o 570784
o 570701
o 570612
o 570594
o 570505
o 570419
o 570330
o 570312
o 570223
o 570138
o 570120
o 570031
o 570020
o 569919
o 569830
o 569812
o 569723
o 569637
o 569548
o 569530
o 569441
o 569404
o 569386
o 569297
o 569211
o 569122
o 569104
o 569015
o 568950
o 568865
o 568847
o 568758
o 568747
o 568646
o 568557
o 568539
o 568450
o 568364
o 568275
o 568257
o 568168
o 568131
o 568113
o 568024
o 567938
o 567849
o 567831
o 567742
o 567732
o 567643
o 567625
o 567536
o 567525
o 567507
o 567418
o 567407
o 567306
o 567217
o 567199
o 567110
o 567027
o 566938
o 566920
o 566831
o 566745
o 566656
o 566638
o 566549
o 566464
o 566446
o 566357
o 566346
o 566245
o 566156
o 566138
o 566049
o 565963
o 565874
o 565856
o 565767
o 565730
o 565712
o 565623
o 565537
o 565448
o 565430
o 565341
o 565276
o 565191
o 565173
o 565084
o 565073
o 564972
o 564883
o 564865
o 564776
o 564690
o 564601
o 564583
o 564494
o 564457
o 564439
o 564350
o 564264
o 564175
o 564157
o 564068
o 564017
o 563928
o 563910
o 563821
o 563735
o 563646
o 563628
o 563539
o 563502
o 563484
o 563395
o 563309
o 563220
o 563202
o 563113
o 563078
o 563067
o 562966
o 562877
o 562859
o 562770
o 562684
o 562595
o 562577
o 562488
o 562451
o 562433
o 562344
o 562258
o 562169
o 562151
o 562062
o 561997
o 561912
o 561894
o 561805
o 561794
o 561693
o 561604
o 561586
o 561497
o 561411
o 561322
o 561304
o 561215
o 561178
o 561160
o 561071
o 560985
o 560896
o 560878
o 560789
o 560738
o 560649
o 560631
o 560542
o 560456
o 560367
o 560349
o 560260
o 560223
o 560205
o 560116
o 560030
o 559941
o 559923
o 559834
o 559796
o 559710
o 559621
o 559603
o 559514
o 559463
o 559374
o 559356
o 559267
o 559181
o 559092
o 559074
o 558985
o 558948
o 558930
o 558841
o 558755
o 558666
o 558648
o 558559
o 558545
o 558527
o 558438
o 558373
o 558288
o 558270
o 558181
o 558170
o 558150
o 558069
o 557980
o 557962
o 557873
o 557868
o 557787
o 557698
o 557680
o 557591
o 557554
o 557536
o 557447
o 557442
o 557361
o 557272
o 557254
o 557165
o 557114
o 557025
o 557007
o 556918
o 556913
o 556832
o 556743
o 556725
o 556636
o 556599
o 556581
o 556492
o 556487
o 556406
o 556317
o 556299
o 556210
o 556172
o 556167
o 556086
o 555997
o 555979
o 555890
o 555839
o 555750
o 555732
o 555643
o 555638
o 555557
o 555468
o 555450
o 555361
o 555324
o 555306
o 555217
o 555212
o 555131
o 555042
o 555024
o 554935
o 554866
o 554848
o 554759
o 554754
o 554673
o 554584
o 554566
o 554477
o 554440
o 554422
o 554333
o 554328
o 554247
o 554158
o 554140
o 554051
o 554013
o 554008
o 553927
o 553838
o 553820
o 553731
o 553680
o 553591
o 553573
o 553484
o 553479
o 553398
o 553309
o 553291
o 553202
o 553165
o 553147
o 553058
o 553053
o 552972
o 552883
o 552865
o 552776
o 552738
o 552733
o 552652
o 552563
o 552545
o 552456
o 552405
o 552316
o 552298
o 552209
o 552204
o 552123
o 552034
o 552016
o 551927
o 551890
o 551872
o 551783
o 551778
o 551697
o 551608
o 551590
o 551501
o 551463
o 551458
o 551377
o 551288
o 551270
o 551181
o 551130
o 551041
o 551023
o 550934
o 550929
o 550848
o 550759
o 550741
o 550652
o 550615
o 550597
o 550508
o 550503
o 550422
o 550333
o 550315
o 550226
o 550157
o 550139
o 550050
o 550045
o 549964
o 549875
o 549857
o 549768
o 549731
o 549713
o 549624
o 549619
o 549538
o 549449
o 549431
o 549342
o 549304
o Killed
1979.683u 0.016s 33:01.82 99.8%	0+0k 0+0io 0pf+0w