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-7.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-7.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 604 2107 3770869
WARNING: Ubcsat not found.
o 3770869
o 730944
o 730723
o 729637
o 729628
o 729145
o 728606
o 728597
o 728114
o 727790
o 727653
o 727329
o 727029
o 726749
o 726646
o 726346
o 726344
o 726064
o 725961
o 725661
o 725598
o 725318
o 725215
o 724915
o 724701
o 724598
o 724298
o 724082
o 723979
o 723679
o 723616
o 723336
o 723233
o 722933
o 722700
o 722597
o 722297
o 722106
o 722003
o 721703
o 721646
o 721346
o 721100
o 721037
o 720757
o 720654
o 720354
o 720121
o 720018
o 719718
o 719527
o 719424
o 719124
o 719043
o 718819
o 718527
o 718336
o 718233
o 717933
o 717829
o 717638
o 717535
o 717235
o 717154
o 716930
o 716791
o 716638
o 716447
o 716344
o 716044
o 715943
o 715840
o 715540
o 715539
o 715400
o 715247
o 715056
o 714953
o 714653
o 714647
o 714456
o 714353
o 714053
o 713972
o 713748
o 713609
o 713456
o 713265
o 713162
o 712862
o 712761
o 712658
o 712358
o 712357
o 712218
o 712065
o 711874
o 711771
o 711471
o 711257
o 711118
o 710965
o 710774
o 710671
o 710371
o 710270
o 710167
o 709867
o 709866
o 709727
o 709574
o 709383
o 709280
o 708980
o 708843
o 708690
o 708499
o 708396
o 708096
o 707871
o 707669
o 707578
o 707387
o 707284
o 706984
o 706785
o 706694
o 706503
o 706400
o 706100
o 705962
o 705859
o 705559
o 705334
o 705132
o 705041
o 704850
o 704747
o 704447
o 704248
o 704157
o 703966
o 703863
o 703563
o 703422
o 703284
o 703181
o 702881
o 702656
o 702454
o 702363
o 702172
o 702069
o 701769
o 701570
o 701479
o 701288
o 701185
o 700885
o 700775
o 700637
o 700534
o 700234
o 700009
o 699807
o 699716
o 699525
o 699422
o 699122
o 698923
o 698832
o 698641
o 698538
o 698238
o 697992
o 697929
o 697892
o 697592
o 697544
o 697244
o 697134
o 696941
o 696893
o 696593
o 696368
o 696166
o 696129
o 695829
o 695781
o 695481
o 695282
o 695245
o 694945
o 694897
o 694597
o 694351
o 694340
o 694292
o 693992
o 693767
o 693565
o 693528
o 693228
o 693180
o 692880
o 692681
o 692644
o 692344
o 692296
o 691996
o 691750
o 691706
o 691658
o 691358
o 691159
o 691122
o 690822
o 690774
o 690474
o 690228
o 690202
o 689902
o 689854
o 689554
o 689308
o 689264
o 689216
o 688916
o 688717
o 688680
o 688380
o 688332
o 688032
o 687786
o 687650
o 687404
o 687341
o 687095
o 687069
o 686769
o 686721
o 686421
o 686175
o 686131
o 686083
o 685783
o 685584
o 685547
o 685247
o 685199
o 684899
o 684653
o 684517
o 684271
o 684228
o 684029
o 683992
o 683692
o 683644
o 683344
o 683098
o 682962
o 682716
o 682646
o 682598
o 682298
o 682052
o 682008
o 681960
o 681660
o 681461
o 681424
o 681124
o 681076
o 680776
o 680530
o 680394
o 680148
o 680000
o 679963
o 679663
o 679615
o 679315
o 679069
o 678933
o 678687
o 678617
o 678569
o 678269
o 678023
o 677979
o 677931
o 677631
o 677432
o 677395
o 677095
o 677047
o 676747
o 676501
o 676365
o 676119
o 675977
o 675940
o 675640
o 675592
o 675292
o 675046
o 674910
o 674664
o 674483
o 674413
o 674365
o 674065
o 673819
o 673775
o 673727
o 673427
o 673228
o 673191
o 672891
o 672843
o 672543
o 672297
o 672161
o 671915
o 671715
o 671667
o 671367
o 671121
o 670985
o 670739
o 670558
o 670488
o 670440
o 670140
o 669894
o 669850
o 669802
o 669502
o 669352
o 669303
o 669266
o 668966
o 668918
o 668618
o 668372
o 668236
o 667990
o 667860
o 667614
o 667478
o 667232
o 667218
o 666918
o 666672
o 666536
o 666290
o 666109
o 666039
o 665991
o 665691
o 665445
o 665401
o 665353
o 665053
o 664903
o 664854
o 664817
o 664517
o 664469
o 664169
o 663923
o 663787
o 663541
o 663317
o 663181
o 662935
o 662754
o 662684
o 662636
o 662336
o 662090
o 662046
o 661998
o 661698
o 661548
o 661499
o 661462
o 661162
o 661114
o 660814
o 660568
o 660432
o 660186
o 660184
o 660082
o 659960
o 659858
o 659824
o 659722
o 659578
o 659476
o 659397
o 659295
o 659279
o 658979
o 658877
o 658733
o 658631
o 658341
o 658239
o 658191
o 658089
o 658040
o 657805
o 657757
o 657457
o 657355
o 657211
o 657109
o 657075
o 656973
o 656829
o 656727
o 656725
o 656723
o 656621
o 656499
o 656397
o 656363
o 656261
o 656117
o 656015
o 655936
o 655834
o 655818
o 655518
oKilled
1979.615u 0.084s 33:06.54 99.6%	0+0k 0+0io 0pf+0w