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-10.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-10.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 506 1768 3079313
WARNING: Ubcsat not found.
o 3079313
o 580985
o 580050
o 580019
o 579797
o 579369
o 578788
o 578566
o 578138
o 577606
o 577384
o 576956
o 576823
o 576601
o 576173
o 576019
o 575797
o 575369
o 575159
o 575128
o 574974
o 574752
o 574324
o 574255
o 574224
o 574070
o 573848
o 573420
o 573216
o 573185
o 573184
o 573030
o 572808
o 572380
o 572188
o 572157
o 572111
o 572080
o 572079
o 571925
o 571703
o 571275
o 571242
o 571211
o 571210
o 571056
o 570834
o 570406
o 570323
o 570292
o 570246
o 570215
o 570214
o 570060
o 569838
o 569410
o 569358
o 569327
o 569294
o 569263
o 569262
o 569139
o 569108
o 568917
o 568886
o 568489
o 568458
o 568375
o 568344
o 568298
o 568267
o 568266
o 568143
o 568112
o 567921
o 567890
o 567493
o 567462
o 567451
o 567054
o 567023
o 566914
o 566883
o 566692
o 566661
o 566264
o 566233
o 566224
o 566223
o 565899
o 565868
o 565847
o 565450
o 565419
o 565408
o 565011
o 564980
o 564670
o 564639
o 564618
o 564221
o 564190
o 564109
o 564078
o 563884
o 563853
o 563543
o 563512
o 563491
o 563094
o 563063
o 563040
o 562946
o 562915
o 562605
o 562574
o 562553
o 562156
o 562125
o 561874
o 561843
o 561820
o 561726
o 561695
o 561385
o 561354
o 561333
o 560936
o 560905
o 560877
o 560846
o 560823
o 560729
o 560698
o 560388
o 560357
o 560336
o 559939
o 559908
o 559650
o 559619
o 559598
o 559201
o 559170
o 558919
o 558888
o 558865
o 558771
o 558740
o 558430
o 558399
o 558378
o 557981
o 557950
o 557922
o 557891
o 557868
o 557774
o 557743
o 557433
o 557402
o 557381
o 556984
o 556953
o 556929
o 556898
o 556884
o 556588
o 556557
o 556536
o 556466
o 556435
o 556139
o 556108
o 556080
o 556049
o 556026
o 555932
o 555901
o 555887
o 555591
o 555560
o 555539
o 555469
o 555438
o 555142
o 555111
o 554981
o 554950
o 554926
o 554895
o 554636
o 554605
o 554585
o 554554
o 554533
o 554463
o 554432
o 554136
o 554105
o 554077
o 554046
o 554023
o 553929
o 553898
o 553639
o 553608
o 553588
o 553557
o 553536
o 553466
o 553435
o 553139
o 553108
o 553097
o 553066
o 553043
o 552949
o 552918
o 552812
o 552781
o 552608
o 552577
o 552556
o 552486
o 552455
o 552159
o 552128
o 551998
o 551967
o 551943
o 551912
o 551806
o 551775
o 551653
o 551622
o 551602
o 551571
o 551550
o 551480
o 551449
o 551153
o 551122
o 551094
o 551063
o 551040
o 550946
o 550915
o 550809
o 550778
o 550656
o 550625
o 550605
o 550574
o 550553
o 550483
o 550452
o 550156
o 550125
o 549867
o 549836
o 549815
o 549784
o 549488
o 549457
o 549285
o 549254
o 549230
o 549124
o 549093
o 548971
o 548940
o 548920
o 548889
o 548868
o 548798
o 548767
o 548471
o 548440
o 548412
o 548381
o 548358
o 548264
o 548233
o 548127
o 548096
o 547974
o 547943
o 547923
o 547892
o 547871
o 547801
o 547770
o 547474
o 547443
o 547185
o 547154
o 547133
o 547102
o 546806
o 546775
o 546603
o 546572
o 546435
o 546404
o 546327
o 546296
o 546268
o 546237
o 546214
o 546120
o 546089
o 545983
o 545952
o 545830
o 545799
o 545779
o 545748
o 545727
o 545657
o 545626
o 545330
o 545299
o 545041
o 545010
o 544989
o 544958
o 544662
o 544631
o 544459
o 544428
o 544291
o 544260
o 544253
o 544222
o 544201
o 544170
o 543874
o 543843
o 543671
o 543640
o 543503
o 543472
o 543382
o 543351
o 543179
o 543148
o 543011
o 542980
o 542973
o 542942
o 542921
o 542890
o 542594
o 542563
o 542391
o 542360
o 542223
o 542192
o 542041
o 542010
o 541989
o 541958
o 541662
o 541631
o 541459
o 541428
o 541291
o 541260
o 541253
o 541222
o 541201
o 541170
o 540874
o 540843
o 540671
o 540640
o 540503
o 540472
o 540439
o 540408
o 540271
o 540240
o 540150
o 540119
o 539947
o 539916
o 539779
o 539748
o 539741
o 539710
o 539689
o 539658
o 539362
o 539331
o 539159
o 539128
o 538991
o 538960
o 538809
o 538778
o 538757
o 538726
o 538430
o 538399
o 538227
o 538196
o 538059
o 538028
o 538021
o 537990
o 537969
o 537938
o 537642
o 537611
o 537439
o 537408
o 537271
o 537240
o 537150
o 537119
o 536982
o 536951
o 536832
o 536801
o 536629
o 536598
o 536461
o 536430
o 536421
o 536400
o 536369
o 536073
o 536042
o 535870
o 535839
o 535702
oKilled
1979.665u 0.034s 33:07.61 99.6%	0+0k 0+0io 0pf+0w