Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-wpm1-weightedpartial_crafted-_home_jplanes_evaluation_benchmarks_weightedpartial_crafted_AUCTIONS_AUC_PATHS_cat_paths_60_110_0007.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_110_0007.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 562
c lw 1301
c lw 2040
c lw 2190
c lw 2779
c lw 3089
c lw 3116
c lw 3518
c lw 4257
c lw 4707
c lw 5157
c lw 5176
c lw 5658
c lw 5953
c lw 6681
c lw 7409
c lw 7752
c lw 8149
c lw 8627
c lw 9028
c lw 9546
c lw 9907
c lw 10786
c lw 10943
c lw 11165
c lw 11268
c lw 11646
c lw 11752
c lw 12024
c lw 12981
c lw 13938
c lw 14895
c lw 15852
c lw 16492
c lw 16906
c lw 17022
c lw 17132
c lw 17662
c lw 17669
c lw 18250
c lw 18433
c lw 18893
c lw 19935
c lw 20238
c lw 20688
c lw 20977
c lw 21772
c lw 22019
c lw 22923
c lw 23827
c lw 23924
c lw 24731
c lw 25243
c lw 25617
c lw 25820
c lw 26481
c lw 26684
c lw 26949
c lw 27345
c lw 28209
c lw 28709
c lw 28986
c lw 29020
c lw 29532
c lw 29614
c lw 29831
c lw 30712
c lw 30861
c lw 31593
c lw 31754
c lw 32474
c lw 32886
c lw 33298
c lw 33355
c lw 33409
c lw 33957
c lw 34126
c lw 34150
c lw 34243
c lw 34655
c lw 34899
c lw 34945
c lw 35299
c lw 35442
c lw 35711
c lw 35873
c lw 36249
c lw 36406
c lw 36516
c lw 36632
c lw 36852
c lw 36889
c lw 36924
c lw 37336
c lw 37546
c lw 37739
c lw 37952
c lw 38090
c lw 38400
c lw 38644
c lw 38672
c lw 38754
c lw 38888
c lw 38991
c lw 39026
c lw 39033
c lw 39110
c lw 39148
c lw 39310
c lw 39545
c lw 39661
c lw 39724
c lw 39758
c lw 40075
c lw 40270
c lw 40413
c lw 40459
c lw 40472
c lw 40480
c lw 40537
c lw 40682
c lw 40736
c lw 40905
c lw 41192
c lw 41230
c lw 41375
c lw 41399
c lw 41415
c lw 41622
c lw 41842
c lw 42011
c lw 42104
c lw 42200
c lw 42645
c lw 42715
c lw 42872
c lw 42941
c lw 43154
c lw 43233
c lw 43267
c lw 43532
c lw 43594
c lw 43751
c lw 43933
c lw 44083
c lw 44118
c lw 44376
c lw 44578
c lw 44605
c lw 44648
c lw 44672
c lw 44769
c lw 44797
c lw 44964
c lw 45034
c lw 45096
c lw 45299
c lw 45448
c lw 45795
c lw 45876
c lw 45892
c lw 46054
c lw 46130
c lw 46195
c lw 46309
c lw 46433
c lw 46769
c lw 46918
c lw 46937
c lw 47038
c lw 47073
c lw 47110
c lw 47144
c lw 47209
c lw 47323
c lw 47402
c lw 47452
c lw 47958
c lw 48216
c lw 48605
c lw 48611
c lw 48631
c lw 48653
c lw 48671
c lw 48715
c lw 48733
c lw 48787
c lw 48973
c lw 48989
c lw 49008
c lw 49031
c lw 49037
c lw 49072
c lw 49140
c lw 49153
c lw 49203
c lw 49237
c lw 49250
c lw 49253
c lw 49274
c lw 49289
c lw 49297
c lw 49302
c lw 49335
c lw 49354
c lw 49408
c lw 49445
c lw 49483
c lw 49507
c lw 49523
c lw 49559
c lw 49563
c lw 49597
c lw 49759
c lw 49817
c lw 49823
c lw 49829
c lw 49834
c lw 49840
c lw 49845
c lw 49851
c lw 49928
c lw 49952
c lw 49955
c lw 49963
c lw 49979
c lw 49995
c lw 50003
c lw 50008
c lw 50018
c lw 50023
c lw 50046
c lw 50056
c lw 50061
c lw 50082
c lw 50199
c lw 50212
c lw 50247
c lw 50250
c lw 50266
c lw 50273
c lw 50276
c lw 50292
c lw 50307
c lw 50310
c lw 50312
c lw 50325
c lw 50328
c lw 50331
c lw 50336
c lw 50339
c lw 50340
c lw 50341
c lw 50347
c lw 50348
c lw 50351
c lw 50352
c lw 50353
c lw 50354
c lw 50355
c lw 50364
c lw 50365
c lw 50366
c lw 50367
c lw 50368
c lw 50369
c lw 50372
c lw 50376
c lw 50379
c lw 50380
c lw 50383
c lw 50387
c lw 50390
c lw 50393
c lw 50396
c lw 50402
c lw 50405
c lw 50411
c lw 50412
c lw 50414
c lw 50415
c lw 50416
c lw 50417
c lw 50418
c lw 50420
c lw 50421
c lw 50422
c lw 50423
c lw 50424
c lw 50425
c lw 50426
c lw 50427
c lw 50428
c lw 50429
c lw 50430
c lw 50431
c lw 50502
c lw 50503
c lw 50505
c lw 50506
c lw 50507
c lw 50508
c lw 50510
c lw 50511
c lw 50512
c lw 50513
c lw 50514
c lw 50515
c lw 50516
c lw 50527
c lw 50528
c lw 50529
c lw 50545
c lw 50550
c lw 50551
c lw 50562
c lw 50563
c lw 50564
c lw 50565
c lw 50566
c lw 50567
c lw 50568
c lw 50578
c lw 50579
c lw 50580
c lw 50581
c lw 50582
c lw 50583
c lw 50584
c lw 50586
c lw 50587
c lw 50588
c lw 50589
c lw 50594
c lw 50595
c lw 50598
c lw 50599
c lw 50600
c lw 50601
c lw 50602
c lw 50603
c lw 50604
c lw 50605
c lw 50610
c lw 50671
c lw 50672
c lw 50680
c lw 50694
c lw 50695
c lw 50696
c lw 50702
c lw 50703
c lw 50704
c lw 50705
c lw 50706
c lw 50709
c lw 50818
c lw 50848
c lw 50851
c lw 50855
c lw 50857
c lw 50859
c lw 50868
c lw 50912
c lw 50934
c lw 51051
c lw 51055
c lw 51056
c lw 51058
c lw 51059
c lw 51061
c lw 51117
c lw 51192
c lw 51228
c lw 51229
c lw 51230
c lw 51297
c lw 51298
c lw 51299
c lw 51300
c lw 51301
c lw 51308
c lw 51312
c lw 51313
c lw 51314
c lw 51319
c lw 51320
c lw 51321
c lw 51324
c lw 51325
c lw 51326
c lw 51327
c lw 51328
c lw 51330
c lw 51332
c lw 51333
c lw 51334
c lw 51335
c lw 51336
c lw 51337
c lw 51338
c lw 51339
c lw 51340
c lw 51341
c lw 51342
c lw 51343
c lw 51346
c lw 51348
c lw 51349
c lw 51350
c lw 51351
c lw 51352
c lw 51353
c lw 51354
c lw 51355
c lw 51356
c lw 51357
c lw 51358
c lw 51359
c lw 51360
c lw 51361
c lw 51363
c lw 51364
c lw 51371
c lw 51382
c lw 51383
c lw 51384
c lw 51385
c lw 51386
c lw 51389
c lw 51420
c lw 51421
c lw 51432
c lw 51433
c lw 51434
c lw 51435
c lw 51502
c lw 51503
c lw 51505
c lw 51506
c lw 51508
c lw 51510
c lw 51511
c lw 51512
c lw 51514
c lw 51515
c lw 51516
c lw 51517
c lw 51519
c lw 51520
c lw 51523
c lw 51533
c lw 51538
c lw 51539
c lw 51540
c lw 51556
c lw 51563
c lw 51564
c lw 51565
c lw 51566
c lw 51567
c lw 51568
c lw 51569
c lw 51570
c lw 51571
c lw 51572
c lw 51573
c lw 51574
c lw 51575
c lw 51576
c lw 51577
c lw 51578
c lw 51579
c lw 51581
c lw 51582
c lw 51583
c lw 51584
c lw 51585
c lw 51586
c lw 51587
c lw 51589
c lw 51595
c lw 51596
c lw 51607
c lw 51612
c lw 51613
c lw 51620
c lw 51622
c lw 51623
c lw 51624
c lw 51625
c lw 51626
c lw 51627
c lw 51674
c lw 51675
c lw 51676
c lw 51677
c lw 51678
c lw 51679
c lw 51687
c lw 51688
c lw 51689
c lw 51690
c lw 51691
c lw 51692
c lw 51693
c lw 51694
c lw 51695
c lw 51696
c lw 51697
c lw 51698
c lw 51699
c lw 51700
c lw 51701
c lw 51702
c lw 51706
c lw 51708
c lw 51709
c lw 51710
c lw 51711
c lw 51712
c lw 51713
c lw 51714
c lw 51715
c lw 51716
c lw 51717
c lw 51718
c lw 51719
c lw 51720
c lw 51721
c lw 51722
c lw 51723
c lw 51724
c lw 51725
c lw 51726
c lw 51727
c lw 51728
c lw 51729
c lw 51730
c lw 51731
c lw 51732
c lw 51733
c lw 51734
c lw 51735
c lw 51736
c lw 51737
c lw 51738
c lw 51739
c lw 51740
c lw 51741
c lw 51742
c lw 51743
c lw 51744
c lw 51790
c lw 51791
c lw 51792
c lw 51794
c lw 51795
c lw 51798
c lw 51806
c lw 51807
c lw 51808
c lw 51809
c lw 51810
c lw 51811
c lw 51812
c lw 51813
c lw 51814
c lw 51815
c lw 51816
c lw 51817
c lw 51818
c lw 51819
c lw 51820
c lw 51821
c lw 51822
c lw 51823
c lw 51824
c lw 51825
c lw 51826
c lw 51827
c lw 51828
c lw 51829
c lw 51830
c lw 51831
c lw 51832
c lw 51833
c lw 51834
c lw 51835
c lw 51836
c lw 51837
c lw 51838
c lw 51839
c lw 51840
c lw 51841
c lw 51842
c lw 51843
c lw 51844
c lw 51845
c lw 51846
c lw 51847
c lw 51848
c lw 51849
c lw 51851
c lw 51852
c lw 51853
c lw 51854
c lw 51855
c lw 51856
c lw 51857
c lw 51860
c lw 51861
c lw 51862
c lw 51863
c lw 51864
c lw 51865
c lw 51908
c lw 51909
c lw 51910
c lw 51917
c lw 51918
c lw 51943
c lw 51944
c lw 51946
c lw 51958
c lw 51959
c lw 51960
c lw 51961
c lw 51962
c lw 51963
c lw 51964
c lw 51965
c lw 51969
c lw 51971
c lw 51976
c lw 51977
c lw 51982
c lw 52003
c lw 52007
c lw 52008
c lw 52009
c lw 52010
c lw 52011
c lw 52012
c lw 52019
c lw 52020
c lw 52022
c lw 52023
c lw 52024
c lw 52026
c lw 52027
c lw 52028
c lw 52034
c lw 52036
c lw 52037
c lw 52038
c lw 52039
c lw 52044
c lw 52047
c lw 52048
c lw 52049
c lw 52050
c lw 52051
c lw 52069
c lw 52070
c lw 52071
c lw 52072
c lw 52073
c lw 52074
c lw 52076
c lw 52077
c lw 52078
c lw 52079
c lw 52080
c lw 52081
c lw 52082
c lw 52083
c lw 52084
c lw 52085
c lw 52086
c lw 52087
c lw 52088
c lw 52089
c lw 52090
c lw 52091
c lw 52092
c lw 52093
c lw 52094
c lw 52095
c lw 52096
c lw 52097
c lw 52098
c lw 52099
c lw 52100
c lw 52101
c lw 52102
c lw 52103
c lw 52104
c lw 52105
c lw 52106
c lw 52107
c lw 52108
c lw 52109
c lw 52110
c lw 52152
c lw 52153
c lw 52154
c lw 52218
c lw 52228
c lw 52236
c lw 52239
c lw 52240
c lw 52241
c lw 52242
c lw 52243
c lw 52244
c lw 52245
c lw 52247
c lw 52248
c lw 52249
c lw 52250
c lw 52251
c lw 52252
c lw 52253
c lw 52254
c lw 52255
c lw 52256
c lw 52257
c lw 52258
c lw 52259
c lw 52324
c lw 52329
c lw 52330
c lw 52371
c lw 52372
c lw 52373
c lw 52374
c lw 52375
c lw 52376
c lw 52377
c lw 52378
c lw 52379
c lw 52380
c lw 52381
c lw 52382
c lw 52384
c lw 52385
c lw 52386
c lw 52387
c lw 52388
c lw 52390
c lw 52391
c lw 52420
c lw 52439
c lw 52440
c lw 52441
c lw 52463
c lw 52490
c lw 52491
c lw 52492
c lw 52493
c lw 52494
c lw 52495
c lw 52496
c lw 52497
c lw 52498
c lw 52499
c lw 52500
c lw 52501
c lw 52502
c lw 52503
c lw 52504
c lw 52519
c lw 52523
c lw 52524
c lw 52525
c lw 52526
c lw 52527
c lw 52528
c lw 52529
c lw 52548
c lw 52549
c lw 52550
c lw 52551
c lw 52552
c lw 52553
c lw 52554
c lw 52555
c lw 52556
c lw 52557
c lw 52558
c lw 52559
c lw 52560
c lw 52561
c lw 52562
c lw 52563
c lw 52568
c lw 52569
c lw 52570
c lw 52573
c lw 52574
c lw 52575
c lw 52576
c lw 52579
c lw 52580
c lw 52581
c lw 52582
c lw 52583
c lw 52587
c lw 52588
c lw 52590
c lw 52591
c lw 52592
c lw 52593
c lw 52595
c lw 52596
c lw 52597
c lw 52598
c lw 52599
c lw 52604
c lw 52605
c lw 52606
c lw 52638
c lw 52676
c lw 52685
c lw 52686
c lw 52751
c lw 52752
c lw 52753
c lw 52773
c lw 52774
c lw 52776
c lw 52777
c lw 52778
c lw 52779
c lw 52780
c lw 52803
c lw 52804
c lw 52805
c lw 52806
c lw 52807
c lw 52808
c lw 52809
c lw 52810
c lw 52811
c lw 52812
c lw 52813
c lw 52815
c lw 52834
c lw 52835
c lw 52836
c lw 52837
c lw 52838
c lw 52839
c lw 52840
c lw 52841
c lw 52842
c lw 52843
c lw 52844
c lw 52845
c lw 52846
c lw 52847
c lw 52848
c lw 52849
c lw 52850
c lw 52851
c lw 52852
c lw 52853
c lw 52854
c lw 52855
c lw 52856
c lw 52857
c lw 52858
c lw 52859
c lw 52868
c lw 52869
c lw 52870
c lw 52871
c lw 52872
c lw 52873
c lw 52874
c lw 52875
c lw 52876
c lw 52877
c lw 52878
c lw 52879
c lw 52880
c lw 52881
c lw 52882
c lw 52883
c lw 52884
c lw 52885
c lw 52886
c lw 52887
c lw 52888
c lw 52889
c lw 52890
c lw 52891
c lw 52892
c lw 52893
c lw 52894
c lw 52895
c lw 52896
c lw 52897
c lw 52898
c lw 52899
c lw 52900
c lw 52901
c lw 52902
c lw 52903
c lw 52904
c lw 52908
c lw 52910
c lw 52912
c lw 52919
c lw 52922
c lw 52924
c lw 52925
c lw 52931
c lw 52932
c lw 52933
c lw 52934
c lw 52935
c lw 52936
c lw 52937
c lw 52938
c lw 52939
c lw 52940
c lw 52941
c lw 52942
c lw 52943
c lw 52944
c lw 52945
c lw 52946
c lw 52947
c lw 52951
c lw 52952
c lw 52953
c lw 52954
c lw 52964
c lw 52965
c lw 52966
c lw 52967
c lw 52968
c lw 52969
c lw 52970
c lw 52971
c lw 52973
c lw 52974
c lw 52975
c lw 52976
c lw 52978
c lw 52979
c lw 52980
c lw 52981
c lw 52982
c lw 52983
c lw 52984
c lw 52985
c lw 52986
c lw 52987
c lw 52988
c lw 52989
c lw 52990
c lw 52991
c lw 52992
c lw 52993
c lw 52996
c lw 52997
c lw 52999
c lw 53001
c lw 53002
c lw 53003
c lw 53004
c lw 53005
c lw 53006
c lw 53007
c lw 53008
c lw 53009
c lw 53010
c lw 53011
c lw 53012
c lw 53013
c lw 53014
c lw 53015
c lw 53016
c lw 53017
c lw 53018
c lw 53019
c lw 53050
c lw 53052
c lw 53055
c lw 53056
c lw 53057
c lw 53058
c lw 53059
c lw 53060
c lw 53061
c lw 53062
c lw 53063
c lw 53064
c lw 53065
c lw 53066
c lw 53067
c lw 53068
c lw 53069
c lw 53070
c lw 53071
c lw 53072
c lw 53073
c lw 53074
c lw 53075
c lw 53076
c lw 53077
c lw 53078
c lw 53079
c lw 53080
c lw 53081
c lw 53082
c lw 53083
c lw 53084
c lw 53085
c lw 53086
c lw 53087
c lw 53088
c lw 53089
c lw 53090
c lw 53091
c lw 53092
c lw 53093
c lw 53094
c lw 53095
c lw 53096
c lw 53097
c lw 53098
c lw 53099
c lw 53100
c lw 53101
c lw 53102
c lw 53103
c lw 53104
c lw 53148
c lw 53149
c lw 53150
c lw 53151
c lw 53152
c lw 53153
c lw 53154
c lw 53155
c lw 53156
c lw 53157
c lw 53158
c lw 53159
c lw 53160
c lw 53161
c lw 53162
c lw 53164
c lw 53165
c lw 53166
c lw 53167
c lw 53168
c lw 53170
c lw 53173
c lw 53174
c lw 53175
c lw 53176
c lw 53177
c lw 53178
c lw 53179
c lw 53180
c lw 53181
c lw 53182
c lw 53183
c lw 53184
c lw 53185
c lw 53186
c lw 53187
c lw 53188
c lw 53189
c lw 53190
c lw 53191
c lw 53192
c lw 53193
c lw 53194
c lw 53195
c lw 53196
c lw 53197
c lw 53198
c lw 53199
c lw 53200
c lw 53201
c lw 53202
c lw 53203
c lw 53204
c lw 53205
c lw 53206
c lw 53207
c lw 53208
c lw 53209
c lw 53210
c lw 53211
c lw 53212
c lw 53213
c lw 53214
c lw 53215
c lw 53216
c lw 53217
c lw 53218
Killed
1806.075u 13.672s 30:23.98 99.7%	0+0k 0+0io 1pf+0w