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-4.net.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/random-net/random-net-200-1_network-4.net.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 536 1857 3325137
WARNING: Ubcsat not found.
o 3325137
o 627213
o 626430
o 626106
o 626088
o 625855
o 625531
o 625520
o 625196
o 625027
o 624850
o 624681
o 624650
o 624326
o 624315
o 623991
o 623822
o 623561
o 623550
o 623226
o 623057
o 622927
o 622758
o 622538
o 622527
o 622203
o 622034
o 621904
o 621735
o 621540
o 621529
o 621205
o 621036
o 620906
o 620737
o 620648
o 620479
o 620349
o 620180
o 620115
o 619946
o 619650
o 619481
o 619351
o 619182
o 619100
o 618931
o 618882
o 618752
o 618583
o 618488
o 618319
o 618230
o 618061
o 617931
o 617762
o 617697
o 617528
o 617232
o 617063
o 616933
o 616764
o 616682
o 616513
o 616464
o 616334
o 616165
o 616131
o 616001
o 615832
o 615690
o 615608
o 615439
o 615390
o 615260
o 615091
o 615011
o 614946
o 614777
o 614481
o 614312
o 614182
o 614013
o 613931
o 613762
o 613713
o 613583
o 613414
o 613316
o 613186
o 613017
o 612935
o 612766
o 612717
o 612587
o 612418
o 612327
o 612158
o 612078
o 612013
o 611844
o 611548
o 611379
o 611249
o 611080
o 610998
o 610829
o 610780
o 610650
o 610481
o 610476
o 610307
o 610258
o 610128
o 609959
o 609834
o 609665
o 609574
o 609405
o 609325
o 609260
o 609091
o 608795
o 608626
o 608496
o 608327
o 608245
o 608076
o 608027
o 607897
o 607728
o 607724
o 607643
o 607561
o 607392
o 607343
o 607213
o 607044
o 607014
o 606884
o 606715
o 606633
o 606464
o 606415
o 606285
o 606116
o 606084
o 605954
o 605785
o 605658
o 605489
o 605359
o 605190
o 605108
o 604939
o 604890
o 604760
o 604591
o 604587
o 604506
o 604424
o 604255
o 604206
o 604076
o 603907
o 603877
o 603747
o 603578
o 603496
o 603327
o 603278
o 603148
o 602979
o 602886
o 602837
o 602707
o 602538
o 602509
o 602379
o 602210
o 602209
o 602127
o 601958
o 601909
o 601779
o 601610
o 601486
o 601441
o 601272
o 601179
o 601130
o 601000
o 600831
o 600802
o 600672
o 600503
o 600502
o 600420
o 600251
o 600202
o 600072
o 599903
o 599894
o 599845
o 599715
o 599546
o 599420
o 599296
o 599208
o 599082
o 599066
o 598936
o 598767
o 598641
o 598608
o 598439
o 598313
o 598187
o 598138
o 598008
o 597839
o 597713
o 597703
o 597674
o 597548
o 597499
o 597369
o 597200
o 597074
o 597017
o 596848
o 596839
o 596790
o 596660
o 596491
o 596365
o 596241
o 596153
o 596027
o 596011
o 595881
o 595712
o 595586
o 595553
o 595384
o 595258
o 595132
o 595083
o 594953
o 594784
o 594658
o 594591
o 594465
o 594408
o 594366
o 594239
o 594230
o 594181
o 594178
o 594051
o 594009
o 593882
o 593756
o 593632
o 593544
o 593418
o 593402
o 593399
o 593272
o 593230
o 593103
o 592977
o 592944
o 592902
o 592775
o 592649
o 592523
o 592474
o 592471
o 592344
o 592302
o 592175
o 592049
o 592038
o 591912
o 591878
o 591752
o 591724
o 591597
o 591471
o 591420
o 591378
o 591251
o 591125
o 591119
o 591077
o 590950
o 590824
o 590796
o 590669
o 590543
o 590487
o 590363
o 590275
o 590149
o 590133
o 590130
o 590003
o 589961
o 589834
o 589708
o 589675
o 589633
o 589506
o 589380
o 589254
o 589205
o 589202
o 589075
o 589033
o 588906
o 588780
o 588769
o 588643
o 588609
o 588483
o 588455
o 588328
o 588202
o 588151
o 588109
o 587982
o 587856
o 587850
o 587808
o 587681
o 587555
o 587527
o 587400
o 587274
o 587224
o 587136
o 587010
o 586994
o 586991
o 586864
o 586822
o 586695
o 586569
o 586536
o 586494
o 586367
o 586241
o 586115
o 586066
o 586063
o 585936
o 585894
o 585767
o 585641
o 585630
o 585504
o 585470
o 585344
o 585316
o 585189
o 585063
o 585012
o 584970
o 584843
o 584717
o 584711
o 584669
o 584542
o 584416
o 584388
o 584261
o 584135
o 584084
o 583958
o 583930
o 583803
o 583677
o 583580
o 583557
o 583515
o 583388
o 583262
o 583256
o 583214
o 583087
o 582961
o 582933
o 582806
o 582680
o 582629
o 582503
o 582475
o 582348
o 582222
o 582173
o 582047
o 581951
o 581854
o 581831
o 581789
o 581662
o 581536
o 581530
o 581488
o 581361
o 581235
o 581207
o 581080
o 580954
o 580903
o 580777
o 580749
o 580622
o 580496
o 580485
o 580443
o 580316
o 580190
o 580184
o 580142
o 580015
o 579889
o 579861
o 579734
o 579608
o 579557
o 579431
o 579403
o 579276
o 579150
o 579101
oKilled
1979.687u 0.012s 33:11.19 99.4%	0+0k 0+0io 0pf+0w