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-3.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-3.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 531 1869 3335517
WARNING: Ubcsat not found.
o 3335517
o 630706
o 630510
o 630229
o 630214
o 629933
o 629858
o 629662
o 629381
o 629111
o 629090
o 628809
o 628542
o 628521
o 628240
o 628065
o 627784
o 627514
o 627493
o 627212
o 627193
o 626912
o 626644
o 626374
o 626353
o 626072
o 626013
o 625921
o 625711
o 625619
o 625411
o 625319
o 625143
o 625051
o 624873
o 624781
o 624571
o 624479
o 624317
o 624225
o 624017
o 623925
o 623749
o 623657
o 623479
o 623387
o 623177
o 623085
o 623068
o 622858
o 622766
o 622676
o 622584
o 622374
o 622282
o 622261
o 622169
o 622069
o 621977
o 621767
o 621675
o 621658
o 621448
o 621356
o 621266
o 621174
o 620964
o 620872
o 620822
o 620805
o 620595
o 620503
o 620413
o 620321
o 620111
o 620019
o 619990
o 619890
o 619798
o 619588
o 619496
o 619479
o 619269
o 619177
o 619087
o 618995
o 618785
o 618693
o 618609
o 618580
o 618480
o 618388
o 618178
o 618086
o 618069
o 617859
o 617767
o 617677
o 617585
o 617375
o 617283
o 617228
o 617211
o 617001
o 616909
o 616819
o 616727
o 616517
o 616425
o 616388
o 616178
o 616086
o 615928
o 615836
o 615746
o 615654
o 615444
o 615352
o 615297
o 615280
o 615070
o 614978
o 614888
o 614796
o 614586
o 614494
o 614475
o 614383
o 614328
o 614311
o 614101
o 614009
o 613919
o 613827
o 613617
o 613525
o 613324
o 613232
o 613177
o 613160
o 612950
o 612858
o 612768
o 612676
o 612466
o 612374
o 612321
o 612304
o 612094
o 612002
o 611912
o 611820
o 611610
o 611518
o 611343
o 611251
o 611234
o 611142
o 610932
o 610840
o 610639
o 610547
o 610492
o 610475
o 610265
o 610173
o 610083
o 609991
o 609781
o 609689
o 609636
o 609619
o 609409
o 609317
o 609227
o 609135
o 608925
o 608833
o 608658
o 608566
o 608434
o 608342
o 608141
o 608049
o 607994
o 607977
o 607767
o 607675
o 607585
o 607493
o 607283
o 607191
o 607138
o 607121
o 606911
o 606819
o 606729
o 606637
o 606427
o 606335
o 606160
o 606068
o 605984
o 605892
o 605717
o 605625
o 605537
o 605445
o 605244
o 605152
o 605097
o 605080
o 604870
o 604778
o 604688
o 604596
o 604386
o 604294
o 604241
o 604224
o 604014
o 603922
o 603832
o 603740
o 603530
o 603438
o 603263
o 603171
o 603018
o 602926
o 602888
o 602800
o 602708
o 602507
o 602415
o 602360
o 602343
o 602133
o 602041
o 601951
o 601859
o 601649
o 601557
o 601504
o 601487
o 601277
o 601185
o 601095
o 601003
o 600793
o 600701
o 600526
o 600434
o 600305
o 600213
o 600038
o 599946
o 599937
o 599727
o 599635
o 599460
o 599368
o 599315
o 599223
o 599133
o 599041
o 598831
o 598739
o 598564
o 598472
o 598469
o 598379
o 598287
o 598077
o 597985
o 597810
o 597718
o 597675
o 597583
o 597454
o 597362
o 597187
o 597095
o 597086
o 596876
o 596784
o 596609
o 596517
o 596464
o 596372
o 596282
o 596190
o 595980
o 595888
o 595713
o 595621
o 595606
o 595514
o 595505
o 595295
o 595203
o 595028
o 594936
o 594883
o 594791
o 594701
o 594609
o 594399
o 594307
o 594132
o 594040
o 593994
o 593819
o 593727
o 593718
o 593508
o 593416
o 593241
o 593149
o 593096
o 593004
o 592914
o 592822
o 592612
o 592520
o 592345
o 592253
o 592192
o 592017
o 591925
o 591872
o 591780
o 591690
o 591598
o 591388
o 591296
o 591121
o 591029
o 590954
o 590808
o 590716
o 590707
o 590497
o 590405
o 590230
o 590138
o 590085
o 589993
o 589903
o 589811
o 589601
o 589509
o 589334
o 589242
o 589167
o 589128
o 589036
o 588861
o 588769
o 588694
o 588548
o 588456
o 588447
o 588237
o 588145
o 587970
o 587878
o 587825
o 587733
o 587643
o 587551
o 587341
o 587249
o 587074
o 586982
o 586907
o 586866
o 586691
o 586599
o 586546
o 586454
o 586364
o 586272
o 586062
o 585970
o 585795
o 585703
o 585628
o 585542
o 585450
o 585329
o 585237
o 585183
o 585062
o 584970
o 584895
o 584854
o 584800
o 584679
o 584587
o 584565
o 584473
o 584263
o 584171
o 584050
o 583958
o 583904
o 583783
o 583691
o 583616
o 583612
o 583571
o 583517
o 583396
o 583304
o 583282
o 583190
o 582980
o 582888
o 582767
o 582675
o 582621
o 582500
o 582408
o 582333
o 582317
o 582225
o 582171
o 582050
o 581958
o 581883
o 581860
o 581739
o 581647
o 581572
o 581531
o 581477
o 581356
o 581264
o 581242
o 581150
o 580940
o 580848
o 580727
o 580635
o 580581
o 580460
o 580368
o 580293
o 580289
o 580248
o 580194
o 580073
o 579981
o 579959
o 579867
o 579657
o 579565
o 579444
o 579352
o 579298
o 579177
o 579085
o 579010
o 578994
o 578902
o 578848
o 578727
o 578635
o 578560
o 578525
o 578509
o 578417
o 578363
o 578242
o 578150
o 578075
o 577960
o 577868
o 577793
o 577758
o 577742
o 577650
o 577596
o 577475
o 577383
o 577308
o 577241
o 577187
o 577066
o 576974
o 576899
o 576883
o 576791
o 576737
o 576616
o 576524
o 576449
o 576414
o 576398
o 576306
o 576252
o 576131
o 576039
o 575964
o 575935
o 575924
o 575803
o 575711
o 575636
o 575560
o 575485
o 575474
o 575353
o 575261
o 575186
o 575151
o 575075
o 575000
o 574989
o 574868
o 574776
o 574701
o 574586
o 574494
o 574419
o 574384
o 574308
o 574233
o 574222
o 574101
o 574009
o 573934
o 573899
o 573824
o 573813
o 573692
o 573600
o 573525
o 573449
o 573374
o 573363
o 573242
o 573150
o 573075
o 573040
o 572964
o 572889
o 572878
o 572757
o 572665
o 572590
o 572576
o 572541
o 572465
o 572390
o 572379
o 572258
o 572166
o 572091
o 572015
o 571923
o 571848
o 571733
o 571641
o 571566
o 571531
o 571455
o 571380
o 571369
o 571248
o 571156
o 571081
o 571046
o 570971
o 570960
o 570839
o 570747
o 570672
o 570596
o 570521
o 570510
o 570389
o 570297
o 570222
o 570187
o 570111
o 570036
o 570025
o 569904
o 569812
o 569737
o 569727
o 569635
o 569560
o 569521
o 569510
o 569389
o 569297
o 569222
o 569187
o 569111
o 569036
o 569025
o 568904
o 568812
o 568737
o 568723
o 568688
o 568612
o 568537
o 568526
o 568405
o 568313
o 568238
o 568162
o 568070
o 567995
o 567880
o 567788
o 567713
o 567678
o 567602
o 567527
o 567516
o 567395
o 567303
o 567228
o 567193
o 567118
o 567107
o 566986
o 566894
o 566819
o 566743
o 566668
o 566657
o 566536
o 566444
o 566369
o 566334
o 566258
o 566183
o 566172
o 566051
o 565959
o 565884
o 565868
o 565857
o 565736
o 565644
o 565569
o 565493
o 565401
o 565326
o 565211
o 565119
o 565044
o 565009
o 564933
o 564858
o 564847
o 564726
o 564634
o 564559
o 564524
o 564449
o 564438
o 564317
o 564225
o 564150
o 564074
o 563999
o 563988
o 563867
o 563775
o 563700
o 563665
o 563589
o 563514
o 563503
o 563382
o 563290
o 563215
o 563182
o 563147
o 563072
o 563061
o 562940
o 562848
o 562773
o 562697
o 562622
o 562611
o 562490
o 562398
o 562323
o 562288
o 562212
o 562137
o 562126
o 562005
o 561913
o 561838
o 561822
o 561811
o 561690
o 561598
o 561523
o 561447
o 561355
o 561280
o 561165
o 561073
o 560998
o 560963
o 560887
o 560812
o 560801
o 560680
o 560588
o 560513
o 560478
o 560403
o 560392
o 560271
o 560179
o 560104
o 560028
o 559953
o 559942
o 559821
o 559729
o 559654
o 559619
o 559543
o 559468
o 559457
o 559336
o 559244
o 559169
o 559132
o 559040
o 558965
o 558949
o 558938
o 558817
o 558725
o 558650
o 558574
o 558482
o 558407
o 558292
o 558200
o 558125
o 558090
o 558014
o 557939
o 557928
o 557807
o 557715
o 557640
o 557605
o 557530
o 557519
o 557398
o 557306
o 557231
o 557155
o 557080
o 557069
o 556948
o 556856
o 556781
o 556746
o 556670
o 556595
o 556584
o 556463
o 556371
o 556296
o 556234
o 556142
o 556067
o 556032
o 555956
o 555881
o 555870
o 555749
o 555657
o 555582
o 555550
o 555474
o 555382
o 555307
o 555192
o 555100
o 555025
o 554990
o 554979
o 554904
o 554839
o 554828
o 554707
o 554615
o 554540
o 554495
o 554430
o 554419
o 554298
o 554206
o 554131
o 554120
o 554045
o 553980
o 553969
o 553848
o 553756
o 553681
o 553646
o 553635
o 553560
o 553495
o 553484
o 553363
o 553271
o 553196
o 553134
o 553042
o 552967
o 552932
o 552921
o 552846
o 552781
o 552770
o 552649
o 552557
o 552482
o 552418
o 552383
o 552372
o 552297
o 552232
o 552221
o 552100
o 552008
o 551933
o 551888
o 551823
o 551812
o 551691
o 551599
o 551524
o 551513
o 551438
o 551373
o 551362
o 551241
o 551149
o 551074
o 551039
o 551028
o 550953
o 550888
o 550877
o 550756
o 550664
o 550589
o 550527
o 550435
o 550360
o 550325
o 550314
o 550239
o 550174
o 550163
o 550042
o 549950
o 549875
o 549762
o 549670
o 549595
o 549525
o 549460
o 549449
o 549328
o 549236
o 549161
o 549105
o 549013
o 548938
o 548927
o Killed
1979.691u 0.008s 33:01.94 99.8%	0+0k 0+0io 0pf+0w