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_AUCTIONS_AUC_PATHS_cat_paths_60_170_0002.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0002.txt.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz+/WMaxSatz+
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 170 2556 127319
WARNING: Ubcsat not found.
o 127319
o 114566
o 114553
o 114529
o 114516
o 114415
o 114402
o 114378
o 114365
o 114360
o 114347
o 114323
o 114310
o 114305
o 114220
o 114207
o 114183
o 114170
o 114165
o 114152
o 114128
o 114115
o 114110
o 114107
o 114094
o 114070
o 114057
o 114052
o 113967
o 113954
o 113930
o 113917
o 113912
o 113899
o 113875
o 113862
o 113857
o 113840
o 113827
o 113822
o 113820
o 113807
o 113783
o 113770
o 113765
o 113752
o 113728
o 113715
o 113710
o 113693
o 113680
o 113675
o 113640
o 113627
o 113603
o 113590
o 113585
o 113572
o 113548
o 113535
o 113530
o 113527
o 113514
o 113490
o 113477
o 113472
o 113387
o 113374
o 113350
o 113337
o 113332
o 113319
o 113295
o 113282
o 113277
o 113260
o 113247
o 113242
o 113240
o 113227
o 113203
o 113190
o 113185
o 113172
o 113148
o 113135
o 113130
o 113113
o 113100
o 113095
o 113085
o 113072
o 113067
o 113054
o 113030
o 113017
o 113012
o 112995
o 112982
o 112977
o 112975
o 112962
o 112938
o 112925
o 112920
o 112907
o 112883
o 112870
o 112865
o 112848
o 112835
o 112830
o 112805
o 112792
o 112768
o 112755
o 112750
o 112733
o 112720
o 112715
o 112709
o 112696
o 112691
o 112674
o 112661
o 112656
o 112631
o 112618
o 112594
o 112581
o 112576
o 112559
o 112546
o 112541
o 112534
o 112529
o 112512
o 112499
o 112494
o 112469
o 112456
o 112432
o 112419
o 112414
o 112397
o 112384
o 112379
o 112373
o 112360
o 112355
o 112338
o 112325
o 112320
o 112295
o 112282
o 112258
o 112245
o 112240
o 112223
o 112210
o 112205
o 112204
o 112144
o 112131
o 112107
o 112094
o 112089
o 112076
o 112071
o 112064
o 112059
o 112042
o 112029
o 112024
o 111999
o 111986
o 111962
o 111949
o 111944
o 111927
o 111914
o 111909
o 111903
o 111890
o 111885
o 111868
o 111855
o 111850
o 111825
o 111812
o 111788
o 111775
o 111770
o 111753
o 111740
o 111735
o 111734
o 111674
o 111661
o 111637
o 111624
o 111619
o 111618
o 111605
o 111600
o 111594
o 111581
o 111576
o 111559
o 111546
o 111541
o 111516
o 111503
o 111479
o 111466
o 111461
o 111444
o 111431
o 111426
o 111425
o 111365
o 111352
o 111328
o 111315
o 111310
o 111297
o 111292
o 111285
o 111280
o 111263
o 111250
o 111245
o 111220
o 111207
o 111183
o 111170
o 111165
o 111148
o 111135
o 111130
o 111124
o 111111
o 111106
o 111089
o 111076
o 111071
o 111046
o 111033
o 111009
o 110996
o 110991
o 110974
o 110961
o 110956
o 110955
o 110895
o 110882
o 110858
o 110845
o 110840
o 110836
o 110812
o 110799
o 110794
o 110777
o 110764
o 110759
o 110757
o 110744
o 110739
o 110738
o 110698
o 110685
o 110661
o 110648
o 110643
o 110641
o 110628
o 110623
o 110622
o 110609
o 110604
o 110602
o 110589
o 110584
o 110581
o 110576
o 110574
o 110561
o 110556
o 110551
o 110527
o 110514
o 110509
o 110507
o 110494
o 110489
o 110486
o 110481
o 110479
o 110466
o 110461
o 110455
o 110450
o 110447
o 110442
o 110440
o 110427
o 110422
o 110421
o 110416
o 110391
o 110378
o 110354
o 110341
o 110336
o 110319
o 110306
o 110301
o 110300
o 110240
o 110227
o 110203
o 110190
o 110185
o 110181
o 110157
o 110144
o 110139
o 110122
o 110109
o 110104
o 110102
o 110089
o 110084
o 110083
o 110043
o 110030
o 110006
o 109993
o 109988
o 109986
o 109973
o 109968
o 109967
o 109954
o 109949
o 109947
o 109934
o 109929
o 109926
o 109921
o 109919
o 109906
o 109901
o 109896
o 109872
o 109859
o 109854
o 109852
o 109839
o 109834
o 109831
o 109826
o 109824
o 109811
o 109806
o 109800
o 109795
o 109792
o 109787
o 109785
o 109772
o 109767
o 109750
o 109737
o 109732
o 109730
o 109717
o 109712
o 109709
o 109704
o 109702
o 109689
o 109684
o 109678
o 109673
o 109670
o 109665
o 109663
o 109650
o 109645
o 109632
o 109627
o 109624
o 109619
o 109617
o 109604
o 109599
o 109593
o 109588
o 109585
o 109580
o 109578
o 109565
o 109560
o 109557
o 109552
o 109550
o 109537
o 109532
o 109530
o 109525
o 109523
o 109510
o 109505
o 109502
o 109497
o 109495
o 109482
o 109477
o 109471
o 109466
o 109463
o 109458
o 109456
o 109443
o 109438
o 109434
o 109429
o 109427
o 109414
o 109409
o 109406
o 109401
o 109399
o 109386
o 1Killed
1979.674u 0.025s 33:12.10 99.3%	0+0k 0+0io 0pf+0w