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-240-1_network-8.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-8.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 618 2153 3800492
WARNING: Ubcsat not found.
o 3800492
o 722469
o 722208
o 721661
o 721538
o 721470
o 721430
o 721169
o 720622
o 720606
o 720540
o 719993
o 719764
o 719675
o 719659
o 719593
o 719046
o 718817
o 718658
o 718642
o 718576
o 718029
o 717800
o 717655
o 717639
o 717573
o 717026
o 716797
o 716577
o 716348
o 715886
o 715657
o 715498
o 715482
o 715416
o 714869
o 714640
o 714495
o 714479
o 714413
o 713866
o 713637
o 713417
o 713188
o 713127
o 712580
o 712351
o 712131
o 711902
o 711755
o 711610
o 711594
o 711528
o 710981
o 710752
o 710532
o 710303
o 710083
o 709854
o 709707
o 709562
o 709546
o 709480
o 708933
o 708704
o 708484
o 708255
o 708224
o 708004
o 707775
o 707658
o 707429
o 707209
o 706980
o 706833
o 706688
o 706672
o 706606
o 706059
o 705830
o 705610
o 705381
o 705350
o 705130
o 704901
o 704771
o 704650
o 704430
o 704201
o 704170
o 703950
o 703721
o 703679
o 703450
o 703230
o 703001
o 702970
o 702750
o 702521
o 702517
o 702297
o 702068
o 701938
o 701817
o 701597
o 701368
o 701337
o 701117
o 700888
o 700846
o 700617
o 700397
o 700168
o 700137
o 699917
o 699688
o 699548
o 699319
o 699164
o 699133
o 698913
o 698684
o 698642
o 698413
o 698193
o 697964
o 697933
o 697713
o 697484
o 697344
o 697115
o 697102
o 696919
o 696699
o 696470
o 696382
o 696219
o 695990
o 695902
o 695850
o 695621
o 695533
o 695325
o 695096
o 695065
o 694845
o 694616
o 694476
o 694247
o 694174
o 694051
o 693831
o 693602
o 693514
o 693351
o 693122
o 693034
o 692982
o 692753
o 692665
o 692592
o 692411
o 692338
o 692215
o 691995
o 691766
o 691678
o 691515
o 691286
o 691198
o 691146
o 690917
o 690829
o 690756
o 690574
o 690345
o 690257
o 690094
o 689865
o 689777
o 689725
o 689496
o 689408
o 689335
o 689265
o 689192
o 689069
o 688849
o 688620
o 688532
o 688369
o 688140
o 688052
o 688000
o 687771
o 687683
o 687610
o 687428
o 687199
o 687111
o 686948
o 686719
o 686631
o 686579
o 686350
o 686262
o 686189
o 685999
o 685911
o 685838
o 685779
o 685718
o 685666
o 685437
o 685349
o 685276
o 685225
o 685121
o 685033
o 684944
o 684856
o 684752
o 684664
o 684591
o 684505
o 684401
o 684313
o 684240
o 684181
o 684120
o 684031
o 683943
o 683839
o 683751
o 683678
o 683656
o 683552
o 683464
o 683391
o 683328
o 683255
o 683196
o 683135
o 683046
o 682958
o 682854
o 682766
o 682693
o 682686
o 682613
o 682550
o 682477
o 682418
o 682357
o 682268
o 682180
o 682076
o 681988
o 681915
o 681856
o 681767
o 681679
o 681575
o 681487
o 681414
o 681328
o 681224
o 681136
o 681063
o 681004
o 680943
o 680854
o 680766
o 680662
o 680574
o 680501
o 680479
o 680375
o 680287
o 680214
o 680151
o 680078
o 680019
o 679958
o 679869
o 679781
o 679677
o 679589
o 679516
o 679486
o 679397
o 679309
o 679205
o 679117
o 679044
o 679037
o 678964
o 678901
o 678828
o 678769
o 678708
o 678619
o 678531
o 678427
o 678339
o 678266
o 678207
o 678118
o 678030
o 677926
o 677838
o 677765
o 677679
o 677575
o 677487
o 677414
o 677355
o 677294
o 677205
o 677117
o 677013
o 676925
o 676852
o 676830
o 676726
o 676638
o 676565
o 676502
o 676429
o 676370
o 676309
o 676220
o 676132
o 676028
o 675940
o 675867
o 675824
o 675817
o 675744
o 675681
o 675608
o 675549
o 675488
o 675399
o 675311
o 675207
o 675119
o 675046
o 674987
o 674898
o 674810
o 674706
o 674618
o 674545
o 674459
o 674355
o 674267
o 674194
o 674135
o 674074
o 673985
o 673897
o 673793
o 673705
o 673632
o 673610
o 673506
o 673418
o 673345
o 673282
o 673209
o 673150
o 673089
o 673000
o 672912
o 672808
o 672720
o 672647
o 672621
o 672548
o 672489
o 672428
o 672339
o 672251
o 672147
o 672059
o 671986
o 671910
o 671822
o 671749
o 671690
o 671629
o 671540
o 671452
o 671348
o 671260
o 671187
o 671165
o 671061
o 670973
o 670900
o 670837
o 670764
o 670705
o 670644
o 670555
o 670467
o 670363
o 670275
o 670202
o 670176
o 670103
o 670044
o 669983
o 669894
o 669806
o 669702
o 669614
o 669541
o 669500
o 669424
o 669336
o 669263
o 669204
o 669143
o 669054
o 668966
o 668862
o 668774
o 668701
o 668679
o 668575
o 668487
o 668414
o 668351
o 668278
o 668219
oKilled
1979.636u 0.063s 33:03.21 99.8%	0+0k 0+0io 0pf+0w