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-240-1_network-9.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-240-1_network-9.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 593 2104 3727083
WARNING: Ubcsat not found.
o 3727083
o 732905
o 732694
o 732600
o 731877
o 731666
o 731572
o 731467
o 731256
o 731162
o 731106
o 731012
o 730263
o 730052
o 729958
o 729235
o 729024
o 728930
o 728825
o 728614
o 728520
o 728414
o 728203
o 728109
o 728004
o 727793
o 727699
o 727683
o 727578
o 727367
o 727273
o 727132
o 727038
o 726933
o 726722
o 726628
o 726612
o 726507
o 726296
o 726202
o 726092
o 725998
o 725892
o 725681
o 725587
o 725482
o 725271
o 725177
o 725161
o 725056
o 724845
o 724751
o 724563
o 724469
o 724453
o 724348
o 724137
o 724043
o 723939
o 723728
o 723634
o 723472
o 723378
o 723362
o 723257
o 723046
o 722952
o 722848
o 722637
o 722543
o 722483
o 722389
o 722201
o 722107
o 722091
o 721986
o 721775
o 721681
o 721577
o 721366
o 721272
o 721199
o 721166
o 721072
o 720867
o 720773
o 720757
o 720663
o 720458
o 720364
o 720273
o 720200
o 720167
o 720073
o 719868
o 719774
o 719758
o 719664
o 719459
o 719365
o 719335
o 719231
o 719020
o 718926
o 718853
o 718820
o 718726
o 718521
o 718427
o 718411
o 718317
o 718112
o 718018
o 717927
o 717854
o 717821
o 717727
o 717522
o 717428
o 717412
o 717318
o 717113
o 717019
o 716920
o 716826
o 716627
o 716533
o 716517
o 716423
o 716218
o 716124
o 716042
o 715837
o 715743
o 715575
o 715481
o 715465
o 715371
o 715166
o 715072
o 714990
o 714785
o 714691
o 714620
o 714538
o 714333
o 714239
o 714154
o 714072
o 713867
o 713773
o 713605
o 713511
o 713495
o 713401
o 713196
o 713102
o 713020
o 712815
o 712721
o 712650
o 712568
o 712363
o 712269
o 712265
o 712249
o 712155
o 711950
o 711856
o 711774
o 711569
o 711475
o 711404
o 711322
o 711117
o 711023
o 710883
o 710789
o 710718
o 710636
o 710431
o 710337
o 710219
o 710125
o 710050
o 709956
o 709952
o 709806
o 709712
o 709637
o 709543
o 709425
o 709331
o 709256
o 709162
o 709091
o 708973
o 708879
o 708804
o 708710
o 708645
o 708570
o 708476
o 708405
o 708287
o 708193
o 708118
o 708024
o 707925
o 707831
o 707756
o 707662
o 707591
o 707473
o 707379
o 707304
o 707210
o 707145
o 707070
o 706976
o 706905
o 706787
o 706693
o 706618
o 706524
o 706511
o 706436
o 706342
o 706277
o 706202
o 706108
o 706037
o 705919
o 705825
o 705750
o 705656
o 705557
o 705463
o 705388
o 705294
o 705223
o 705105
o 705011
o 704936
o 704842
o 704777
o 704702
o 704608
o 704537
o 704419
o 704325
o 704250
o 704156
o 704118
o 704024
o 703959
o 703884
o 703790
o 703719
o 703601
o 703507
o 703432
o 703338
o 703325
o 703250
o 703156
o 703091
o 703016
o 702922
o 702851
o 702733
o 702639
o 702564
o 702470
o 702371
o 702277
o 702202
o 702108
o 702037
o 701919
o 701825
o 701750
o 701656
o 701591
o 701516
o 701422
o 701351
o 701233
o 701139
o 701064
o 700970
o 700933
o 700839
o 700768
o 700650
o 700556
o 700481
o 700387
o 700374
o 700299
o 700205
o 700140
o 700065
o 699971
o 699900
o 699782
o 699688
o 699613
o 699519
o 699420
o 699326
o 699251
o 699157
o 699086
o 698968
o 698874
o 698799
o 698705
o 698640
o 698565
o 698471
o 698400
o 698282
o 698188
o 698113
o 698019
o 697968
o 697933
o 697917
o 697869
o 697775
o 697700
o 697606
o 697571
o 697535
o 697500
o 697465
o 697417
o 697323
o 697248
o 697154
o 697119
o 697089
o 697014
o 696920
o 696885
o 696849
o 696814
o 696779
o 696731
o 696637
o 696562
o 696468
o 696433
o 696343
o 696268
o 696174
o 696103
o 695985
o 695891
o 695816
o 695722
o 695657
o 695582
o 695488
o 695417
o 695299
o 695205
o 695130
o 695036
o 694985
o 694950
o 694934
o 694886
o 694792
o 694717
o 694623
o 694588
o 694552
o 694517
o 694482
o 694434
o 694340
o 694265
o 694171
o 694136
o 694106
o 694031
o 693937
o 693902
o 693866
o 693831
o 693796
o 693748
o 693654
o 693579
o 693485
o 693450
o 693443
o 693368
o 693274
o 693239
o 693203
o 693168
o 693133
o 693085
o 692991
o 692916
o 692822
o 692787
o 692757
o 692682
o 692588
o 692553
o 692517
o 692482
o 692447
o 692399
o 692305
o 692230
o 692136
o 692101
o 692015
o 691980
o 691944
o 691909
o 691874
o 691826
o 691732
o 691657
o 691563
o 691528
o 691521
o 691446
o 691352
o 691317
o 691281
oKilled
1979.671u 0.028s 33:06.67 99.6%	0+0k 0+0io 0pf+0w