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_AUCTIONS_AUC_PATHS_cat_paths_60_170_0001.txt.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0001.txt.wcnf
Job solver: /home/maxsat/solvers/WMaxSatz-2009/WMaxSatz-2009
c ----------------------------
c - Weighted Partial MaxSATZ -
c ----------------------------
c Instance info: p wcnf 171 2269 124491
WARNING: Ubcsat not found.
o 124491
o 112937
o 112891
o 112749
o 112703
o 112692
o 112689
o 112643
o 112632
o 112625
o 112614
o 112611
o 112565
o 112554
o 112548
o 112545
o 112499
o 112488
o 112481
o 112470
o 112467
o 112421
o 112410
o 112401
o 112390
o 112383
o 112372
o 112369
o 112323
o 112312
o 112270
o 112224
o 112213
o 112210
o 112164
o 112153
o 112146
o 112135
o 112132
o 112086
o 112075
o 112069
o 112066
o 112020
o 112009
o 112002
o 111991
o 111988
o 111942
o 111931
o 111922
o 111911
o 111904
o 111893
o 111890
o 111844
o 111833
o 111798
o 111787
o 111781
o 111778
o 111732
o 111721
o 111714
o 111703
o 111700
o 111654
o 111643
o 111634
o 111623
o 111616
o 111605
o 111602
o 111556
o 111545
o 111540
o 111533
o 111522
o 111519
o 111473
o 111462
o 111452
o 111449
o 111403
o 111392
o 111383
o 111372
o 111365
o 111354
o 111351
o 111305
o 111294
o 111259
o 111248
o 111242
o 111239
o 111193
o 111182
o 111175
o 111164
o 111161
o 111115
o 111104
o 111095
o 111084
o 111077
o 111066
o 111063
o 111017
o 111006
o 111001
o 110994
o 110983
o 110980
o 110934
o 110923
o 110912
o 110901
o 110894
o 110891
o 110845
o 110834
o 110829
o 110822
o 110811
o 110808
o 110762
o 110751
o 110740
o 110729
o 110721
o 110714
o 110707
o 110693
o 110647
o 110642
o 110624
o 110610
o 110564
o 110542
o 110534
o 110516
o 110505
o 110494
o 110483
o 110476
o 110473
o 110427
o 110416
o 110411
o 110404
o 110393
o 110390
o 110344
o 110333
o 110322
o 110311
o 110303
o 110296
o 110289
o 110275
o 110229
o 110224
o 110206
o 110192
o 110146
o 110124
o 110116
o 110110
o 110064
o 110059
o 110041
o 110027
o 109981
o 109959
o 109951
o 109937
o 109915
o 109907
o 109896
o 109885
o 109844
o 109833
o 109824
o 109813
o 109792
o 109746
o 109735
o 109724
o 109713
o 109705
o 109698
o 109692
o 109646
o 109626
o 109594
o 109548
o 109526
o 109518
o 109481
o 109461
o 109429
o 109383
o 109361
o 109353
o 109339
o 109317
o 109309
o 109298
o 109276
o 109268
o 109254
o 109232
o 109224
o 109213
o 109202
o 109161
o 109150
o 109141
o 109130
o 109109
o 109063
o 109052
o 109041
o 109030
o 109022
o 109015
o 109009
o 108963
o 108943
o 108911
o 108865
o 108843
o 108835
o 108798
o 108778
o 108746
o 108700
o 108678
o 108670
o 108656
o 108634
o 108626
o 108624
o 108616
o 108602
o 108556
o 108545
o 108510
o 108499
o 108490
o 108444
o 108433
o 108412
o 108366
o 108355
o 108346
o 108335
o 108314
o 108268
o 108257
o 108246
o 108235
o 108227
o 108201
o 108190
o 108181
o 108170
o 108149
o 108103
o 108092
o 108081
o 108070
o 108062
o 108059
o 108048
o 108037
o 108026
o 108018
o 108009
o 107987
o 107979
o 107977
o 107969
o 107955
o 107909
o 107898
o 107863
o 107852
o 107843
o 107797
o 107786
o 107765
o 107719
o 107708
o 107699
o 107688
o 107667
o 107621
o 107610
o 107599
o 107588
o 107580
o 107554
o 107543
o 107534
o 107523
o 107502
o 107456
o 107445
o 107434
o 107423
o 107415
o 107412
o 107401
o 107390
o 107379
o 107371
o 107363
o 107296
o 107285
o 107242
o 107231
o 107222
o 107211
o 107144
o 107133
o 107122
o 107111
o 107077
o 107066
o 107057
o 107046
o 106979
o 106968
o 106957
o 106946
o 106935
o 106924
o 106913
o 106902
o 106893
o 106882
o 106878
o 106867
o 106800
o 106789
o 106778
o 106767
o 106756
o 106745
o 106734
o 106723
o 106714
o 106703
o 106702
o 106635
o 106624
o 106613
o 106602
o 106591
o 106580
o 106569
o 106558
o 106551
o 106540
o 106529
o 106520
o 106453
o 106442
o 106438
o 106371
o 106360
o 106351
o 106340
o 106273
o 106262
o 106219
o 106208
o 106199
o 106188
o 106121
o 106110
o 106099
o 106088
o 106079
o 106068
o 106040
o 106029
o 106020
o 106009
o 105942
o 105931
o 105920
o 105909
o 105900
o 105889
o 105875
o 105864
o 105855
o 105844
o 105777
o 105766
o 105755
o 105744
o 105737
o 105726
o 105715
o 105652
o 105574
o 105552
o 105546
o 105504
o 105493
o 105426
o 105415
o 105404
o 105393
o 105387
o 105384
o 105373
o 105367
o 105325
o 105314
o 105247
o 105236
o 105225
o 105214
o 105208
o 105205
o 105194
o 105188
o 105160
o 105149
o 105082
o 105071
o 105060
o 1Killed
1979.635u 0.064s 33:05.62 99.7%	0+0k 0+0io 0pf+0w