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_170_0006.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0006.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 449
c lw 700
c lw 762
c lw 1564
c lw 1727
c lw 2678
c lw 3133
c lw 3348
c lw 3803
c lw 4018
c lw 4688
c lw 5137
c lw 5358
c lw 6028
c lw 6417
c lw 6947
c lw 7036
c lw 7493
c lw 7655
c lw 8112
c lw 8274
c lw 9277
c lw 10280
c lw 10902
c lw 11283
c lw 11517
c lw 12251
c lw 12286
c lw 12624
c lw 13055
c lw 13219
c lw 13625
c lw 13824
c lw 14593
c lw 15048
c lw 15362
c lw 16275
c lw 16868
c lw 17166
c lw 18057
c lw 18948
c lw 19541
c lw 19839
c lw 19938
c lw 20763
c lw 21588
c lw 22350
c lw 22616
c lw 22650
c lw 23112
c lw 23426
c lw 23874
c lw 24451
c lw 24636
c lw 24862
c lw 25398
c lw 25489
c lw 26380
c lw 26471
c lw 27147
c lw 27362
c lw 27925
c lw 28344
c lw 28799
c lw 29248
c lw 29254
c lw 30256
c lw 30963
c lw 31258
c lw 31483
c lw 31708
c lw 31763
c lw 32148
c lw 32500
c lw 32533
c lw 33541
c lw 34549
c lw 35243
c lw 35557
c lw 36172
c lw 36411
c lw 36565
c lw 37532
c lw 37829
c lw 38499
c lw 39029
c lw 39412
c lw 39737
c lw 40062
c lw 40387
c lw 40510
c lw 40821
c lw 41165
c lw 41206
c lw 41591
c lw 41976
c lw 42361
c lw 43095
c lw 43399
c lw 43474
c lw 43857
c lw 44035
c lw 44097
c lw 44359
c lw 44888
c lw 45194
c lw 45544
c lw 45762
c lw 46016
c lw 46200
c lw 46322
c lw 46706
c lw 46856
c lw 47512
c lw 47935
c lw 48168
c lw 48523
c lw 49304
c lw 49345
c lw 49945
c lw 50085
c lw 50489
c lw 50866
c lw 51012
c lw 51201
c lw 51423
c lw 51846
c lw 51979
c lw 52074
c lw 52119
c lw 52687
c lw 52729
c lw 53577
c lw 53759
c lw 54336
c lw 54607
c lw 54630
c lw 55175
c lw 55227
c lw 56235
c lw 56477
c lw 57243
c lw 57661
c lw 57903
c lw 58028
c lw 58254
c lw 58391
c lw 58503
c lw 58774
c lw 58992
c lw 59340
c lw 59821
c lw 60772
c lw 61199
c lw 61398
c lw 61432
c lw 61441
c lw 61616
c lw 61859
c lw 61922
c lw 62002
c lw 62145
c lw 62207
c lw 62464
c lw 62625
c lw 62698
c lw 62721
c lw 62848
c lw 62910
c lw 63056
c lw 63082
c lw 63204
c lw 63251
c lw 63289
c lw 63478
c lw 63523
c lw 63618
c lw 63749
c lw 63751
c lw 63816
c lw 63833
c lw 64034
c lw 64132
c lw 64252
c lw 64368
c lw 64491
c lw 64532
c lw 64673
c lw 64895
c lw 65193
c lw 65237
c lw 65299
c lw 65599
c lw 65698
c lw 65740
c lw 65743
c lw 66051
c lw 66140
c lw 66181
c lw 66191
c lw 66354
c lw 66409
c lw 66416
c lw 66450
c lw 66540
c lw 66680
c lw 66747
c lw 66925
c lw 66966
c lw 67124
c lw 67310
c lw 67416
c lw 67417
c lw 67721
c lw 67742
c lw 67803
c lw 68016
c lw 68255
c lw 68470
c lw 68523
c lw 68677
c lw 68685
c lw 68686
c lw 68725
c lw 68980
c lw 69059
c lw 69134
c lw 69135
c lw 69664
c lw 69687
c lw 69703
c lw 69773
c lw 69779
c lw 70078
c lw 70113
c lw 70414
c lw 70568
c lw 70740
c lw 70892
c lw 71230
c lw 71271
c lw 71312
c lw 71325
c lw 71358
c lw 71620
c lw 71845
c lw 71936
c lw 71997
c lw 72001
c lw 72158
c lw 72203
c lw 72299
c lw 72533
c lw 72701
c lw 72759
c lw 72813
c lw 72825
c lw 73004
c lw 73133
c lw 73189
c lw 73339
c lw 73618
c lw 73620
c lw 73782
c lw 73944
c lw 73992
c lw 74077
c lw 74107
c lw 74305
c lw 74358
c lw 74431
c lw 74585
c lw 74737
c lw 74846
c lw 74926
c lw 75115
c lw 75132
c lw 75428
c lw 75519
c lw 76431
c lw 76649
c lw 76823
c lw 76867
c lw 77174
c lw 77202
c lw 77218
c lw 77572
c lw 77709
c lw 77731
c lw 77783
c lw 77807
c lw 77811
c lw 77822
c lw 77856
c lw 77982
c lw 77991
c lw 78015
c lw 78031
c lw 78104
c lw 78210
c lw 78233
c lw 78272
c lw 78288
c lw 78314
c lw 78335
c lw 78337
c lw 78352
c lw 78399
c lw 78410
c lw 78412
c lw 78429
c lw 78453
c lw 78455
c lw 78486
c lw 78494
c lw 78584
c lw 78602
c lw 78617
c lw 78620
c lw 78659
c lw 78700
c lw 78714
c lw 78769
c lw 78776
c lw 78786
c lw 78803
c lw 78870
c lw 78876
c lw 78908
c lw 78952
c lw 78985
c lw 79013
c lw 79054
c lw 79058
c lw 79154
c lw 79215
c lw 79219
c lw 79231
c lw 79272
c lw 79273
c lw 79282
c lw 79322
c lw 79326
c lw 79335
c lw 79338
c lw 79342
c lw 79350
c lw 79371
c lw 79373
c lw 79428
c lw 79447
c lw 79468
c lw 79491
c lw 79504
c lw 79505
c lw 79539
c lw 79587
c lw 79588
c lw 79610
c lw 79615
c lw 79644
c lw 79650
c lw 79687
c lw 79710
c lw 79732
c lw 79735
c lw 79752
c lw 79758
c lw 79761
c lw 79762
c lw 79832
c lw 79848
c lw 79951
c lw 79970
c lw 79976
c lw 79980
c lw 79984
c lw 80005
c lw 80008
c lw 80012
c lw 80016
c lw 80017
c lw 80018
c lw 80020
c lw 80022
c lw 80028
c lw 80041
c lw 80044
c lw 80047
c lw 80086
c lw 80088
c lw 80110
c lw 80171
c lw 80201
c lw 80236
c lw 80255
c lw 80297
c lw 80298
c lw 80306
c lw 80308
c lw 80309
c lw 80319
c lw 80320
c lw 80334
c lw 80335
c lw 80337
c lw 80338
c lw 80342
c lw 80354
c lw 80355
c lw 80361
c lw 80394
c lw 80395
c lw 80416
c lw 80437
c lw 80441
c lw 80443
c lw 80444
c lw 80445
c lw 80446
c lw 80447
c lw 80448
c lw 80449
c lw 80450
c lw 80451
c lw 80452
c lw 80453
c lw 80454
c lw 80455
c lw 80456
c lw 80457
c lw 80458
c lw 80459
c lw 80460
c lw 80461
c lw 80463
c lw 80464
c lw 80465
c lw 80467
c lw 80468
c lw 80469
c lw 80471
c lw 80472
c lw 80474
c lw 80476
c lw 80477
c lw 80478
c lw 80479
c lw 80480
c lw 80481
c lw 80486
c lw 80512
c lw 80514
c lw 80515
c lw 80516
c lw 80517
c lw 80518
c lw 80519
c lw 80520
c lw 80521
c lw 80522
c lw 80523
c lw 80524
c lw 80544
c lw 80545
c lw 80567
c lw 80578
c lw 80591
c lw 80592
c lw 80593
c lw 80594
c lw 80599
c lw 80615
c lw 80616
c lw 80621
c lw 80648
c lw 80649
c lw 80650
c lw 80655
c lw 80656
c lw 80657
c lw 80658
c lw 80667
c lw 80668
c lw 80669
c lw 80670
c lw 80671
c lw 80672
c lw 80673
c lw 80674
c lw 80675
c lw 80676
c lw 80682
c lw 80683
c lw 80684
c lw 80689
c lw 80755
c lw 80756
c lw 80757
c lw 80758
c lw 80759
c lw 80760
c lw 80761
c lw 80762
c lw 80763
c lw 80764
c lw 80765
c lw 80766
c lw 80767
c lw 80768
c lw 80769
c lw 80771
c lw 80772
c lw 80773
c lw 80861
c lw 80867
c lw 80868
c lw 80877
c lw 80878
c lw 80897
c lw 80898
c lw 80899
c lw 80900
c lw 80901
c lw 80902
c lw 80903
c lw 80904
c lw 80905
c lw 80906
c lw 80907
c lw 80909
c lw 80910
c lw 80966
c lw 80967
c lw 80968
c lw 80974
c lw 80975
c lw 80976
c lw 80977
c lw 80978
c lw 80988
c lw 81077
c lw 81125
c lw 81129
c lw 81136
c lw 81137
c lw 81181
c lw 81185
c lw 81187
c lw 81188
c lw 81189
c lw 81190
c lw 81211
c lw 81213
c lw 81219
c lw 81220
c lw 81224
c lw 81229
c lw 81231
c lw 81234
c lw 81236
c lw 81237
c lw 81239
c lw 81240
c lw 81241
c lw 81244
c lw 81271
c lw 81272
c lw 81273
c lw 81274
c lw 81275
c lw 81276
c lw 81277
c lw 81278
c lw 81279
c lw 81312
c lw 81316
c lw 81323
c lw 81333
c lw 81369
c lw 81385
c lw 81387
c lw 81388
c lw 81389
c lw 81390
c lw 81391
c lw 81412
c lw 81413
c lw 81445
c lw 81446
c lw 81447
c lw 81448
c lw 81472
c lw 81473
c lw 81474
c lw 81475
c lw 81493
c lw 81507
c lw 81508
c lw 81509
c lw 81510
c lw 81511
c lw 81512
c lw 81513
c lw 81514
c lw 81515
c lw 81516
c lw 81517
c lw 81518
c lw 81519
c lw 81520
c lw 81521
c lw 81522
c lw 81524
c lw 81544
c lw 81545
c lw 81546
c lw 81547
c lw 81548
c lw 81549
c lw 81550
c lw 81551
c lw 81552
c lw 81553
c lw 81554
c lw 81555
c lw 81556
c lw 81568
c lw 81569
c lw 81570
c lw 81571
c lw 81572
c lw 81573
c lw 81575
c lw 81576
c lw 81577
c lw 81578
c lw 81579
c lw 81580
c lw 81581
c lw 81582
c lw 81583
c lw 81584
c lw 81585
c lw 81586
c lw 81587
c lw 81600
c lw 81642
c lw 81643
c lw 81645
c lw 81793
c lw 81811
c lw 81883
c lw 81905
c lw 81906
c lw 81907
c lw 81908
c lw 81909
c lw 81910
c lw 81911
c lw 81912
c lw 81913
c lw 81914
c lw 81915
c lw 81916
c lw 81917
c lw 81918
c lw 81919
c lw 81920
c lw 81921
c lw 81922
c lw 81923
c lw 81924
c lw 81925
c lw 81926
c lw 81927
c lw 81928
c lw 81929
c lw 81930
c lw 81931
c lw 81932
c lw 81933
c lw 81934
c lw 81935
c lw 81936
c lw 81937
c lw 81938
c lw 81939
c lw 81959
c lw 81964
c lw 81991
c lw 81993
c lw 81994
c lw 81995
c lw 81999
c lw 82008
c lw 82009
c lw 82010
c lw 82013
c lw 82014
c lw 82018
c lw 82022
c lw 82023
c lw 82024
c lw 82026
c lw 82027
c lw 82028
c lw 82030
c lw 82031
c lw 82032
c lw 82033
c lw 82034
c lw 82035
c lw 82038
c lw 82039
c lw 82040
c lw 82043
c lw 82045
c lw 82166
c lw 82167
c lw 82169
c lw 82173
c lw 82174
c lw 82175
c lw 82178
c lw 82179
c lw 82181
c lw 82182
c lw 82183
c lw 82184
c lw 82185
c lw 82186
c lw 82187
c lw 82188
c lw 82189
c lw 82190
c lw 82192
c lw 82193
c lw 82194
c lw 82195
c lw 82197
c lw 82201
c lw 82202
c lw 82204
c lw 82209
c lw 82210
c lw 82211
c lw 82212
c lw 82213
c lw 82214
c lw 82215
c lw 82216
c lw 82217
c lw 82220
c lw 82221
c lw 82222
c lw 82223
c lw 82227
c lw 82228
c lw 82229
c lw 82238
c lw 82240
c lw 82249
c lw 82250
c lw 82254
c lw 82256
c lw 82277
c lw 82286
c lw 82299
c lw 82302
c lw 82306
c lw 82308
c lw 82309
c lw 82310
c lw 82311
c lw 82312
c lw 82313
c lw 82317
c lw 82318
c lw 82319
c lw 82320
c lw 82321
c lw 82322
c lw 82323
c lw 82334
c lw 82335
c lw 82337
c lw 82346
c lw 82348
c lw 82349
c lw 82350
c lw 82352
c lw 82353
c lw 82354
c lw 82355
c lw 82356
c lw 82357
c lw 82358
c lw 82359
c lw 82360
c lw 82361
c lw 82362
c lw 82363
c lw 82366
c lw 82367
c lw 82368
c lw 82369
c lw 82370
c lw 82371
c lw 82372
c lw 82373
c lw 82374
c lw 82375
c lw 82376
c lw 82377
c lw 82378
c lw 82379
c lw 82380
c lw 82381
c lw 82382
c lw 82383
c lw 82384
c lw 82385
c lw 82386
c lw 82387
c lw 82388
c lw 82389
c lw 82398
c lw 82399
c lw 82400
c lw 82401
c lw 82402
c lw 82403
c lw 82404
c lw 82405
c lw 82406
c lw 82407
c lw 82409
c lw 82410
c lw 82411
c lw 82414
c lw 82415
c lw 82440
c lw 82441
c lw 82442
c lw 82443
c lw 82444
c lw 82445
c lw 82446
c lw 82447
c lw 82448
c lw 82449
c lw 82450
c lw 82451
c lw 82452
c lw 82453
c lw 82454
c lw 82455
c lw 82456
c lw 82457
c lw 82458
c lw 82459
c lw 82460
c lw 82461
c lw 82462
c lw 82463
c lw 82464
c lw 82465
c lw 82466
c lw 82467
c lw 82468
c lw 82469
c lw 82470
c lw 82471
c lw 82472
c lw 82485
c lw 82488
c lw 82492
c lw 82495
c lw 82500
c lw 82503
c lw 82511
c lw 82512
c lw 82513
c lw 82514
c lw 82515
c lw 82516
c lw 82517
c lw 82518
c lw 82519
c lw 82520
c lw 82521
c lw 82522
c lw 82523
c lw 82524
c lw 82525
c lw 82526
c lw 82527
c lw 82528
c lw 82529
c lw 82530
c lw 82531
c lw 82532
c lw 82533
c lw 82534
c lw 82550
c lw 82551
c lw 82552
c lw 82553
c lw 82554
c lw 82555
c lw 82556
c lw 82557
c lw 82558
c lw 82559
c lw 82560
c lw 82561
c lw 82562
c lw 82563
c lw 82564
c lw 82565
c lw 82566
c lw 82567
c lw 82568
c lw 82571
c lw 82586
c lw 82587
c lw 82588
c lw 82590
c lw 82591
c lw 82592
c lw 82593
c lw 82594
c lw 82600
c lw 82601
c lw 82602
c lw 82616
c lw 82661
c lw 82662
c lw 82663
c lw 82664
c lw 82665
c lw 82666
c lw 82698
c lw 82728
c lw 82743
c lw 82744
c lw 82746
c lw 82763
c lw 82764
c lw 82765
c lw 82768
c lw 82771
c lw 82774
c lw 82789
c lw 82790
c lw 82791
c lw 82792
c lw 82793
c lw 82794
c lw 82795
c lw 82796
c lw 82797
c lw 82798
c lw 82799
c lw 82800
c lw 82801
c lw 82802
c lw 82803
c lw 82804
c lw 82805
c lw 82806
c lw 82807
c lw 82808
c lw 82811
c lw 82812
c lw 82813
c lw 82814
c lw 82815
c lw 82816
c lw 82817
c lw 82818
c lw 82819
c lw 82820
c lw 82821
c lw 82822
c lw 82823
c lw 82824
c lw 82825
c lw 82826
c lw 82827
c lw 82828
c lw 82829
c lw 82830
c lw 82831
c lw 82832
c lw 82833
c lw 82834
c lw 82835
c lw 82840
c lw 82841
c lw 82842
c lw 82843
c lw 82844
c lw 82845
c lw 82846
c lw 82847
c lw 82848
c lw 82849
c lw 82850
c lw 82851
c lw 82852
c lw 82853
c lw 82854
c lw 82855
c lw 82856
c lw 82857
c lw 82858
c lw 82859
c lw 82860
c lw 82861
c lw 82862
c lw 82863
c lw 82864
c lw 82865
c lw 82867
c lw 82868
c lw 82869
c lw 82870
c lw 82871
c lw 82872
c lw 82873
c lw 82874
c lw 82875
c lw 82876
c lw 82877
c lw 82878
c lw 82879
c lw 82880
c lw 82881
c lw 82882
c lw 82883
c lw 82884
c lw 82885
c lw 82886
c lw 82887
c lw 82888
c lw 82889
c lw 82890
c lw 82891
c lw 82892
c lw 82895
c lw 82896
c lw 82897
c lw 82898
c lw 82899
c lw 82900
c lw 82901
c lw 82902
c lw 82903
c lw 82904
c lw 82905
c lw 82906
c lw 82907
c lw 82909
c lw 82912
c lw 82913
c lw 82914
c lw 82915
c lw 82916
c lw 82917
c lw 82918
c lw 82919
c lw 82920
c lw 82921
c lw 82922
c lw 82923
c lw 82924
c lw 82925
c lw 82926
c lw 82927
c lw 82928
c lw 82930
c lw 82951
c lw 82952
c lw 82953
c lw 82955
c lw 82956
c lw 82957
c lw 82958
c lw 82959
c lw 82960
c lw 82961
c lw 82962
c lw 82963
c lw 82964
c lw 82965
c lw 82966
c lw 82967
c lw 82968
c lw 82969
c lw 82970
c lw 82971
c lw 82974
c lw 82975
c lw 82976
c lw 82977
c lw 82978
c lw 82979
c lw 82980
c lw 82981
c lw 82982
c lw 82983
c lw 82984
c lw 82985
c lw 82986
c lw 82989
c lw 82990
c lw 82991
c lw 82993
c lw 82994
c lw 82995
c lw 82996
c lw 82997
c lw 82998
c lw 82999
c lw 83000
c lw 83005
c lw 83015
c lw 83016
c lw 83017
c lw 83018
c lw 83019
c lw 83020
c lw 83022
c lw 83030
c lw 83031
c lw 83032
c lw 83033
c lw 83038
c lw 83039
c lw 83040
c lw 83043
c lw 83044
c lw 83047
c lw 83061
c lw 83062
c lw 83063
c lw 83064
c lw 83065
c lw 83066
c lw 83067
c lw 83068
c lw 83069
c lw 83070
c lw 83071
c lw 83072
c lw 83073
c lw 83074
c lw 83075
c lw 83076
c lw 83077
c lw 83078
c lw 83079
c lw 83080
c lw 83081
c lw 83082
c lw 83083
c lw 83084
c lw 83085
c lw 83086
c lw 83087
c lw 83088
c lw 83089
c lw 83090
c lw 83091
c lw 83092
c lw 83093
c lw 83094
c lw 83095
c lw 83096
c lw 83097
c lw 83098
c lw 83100
c lw 83101
c lw 83102
c lw 83103
c lw 83104
c lw 83105
c lw 83106
c lw 83107
c lw 83108
c lw 83109
c lw 83110
c lw 83111
c lw 83114
c lw 83115
c lw 83116
c lw 83117
c lw 83121
c lw 83122
c lw 83123
c lw 83124
c lw 83125
c lw 83128
c lw 83129
c lw 83130
c lw 83131
c lw 83132
c lw 83133
c lw 83134
c lw 83135
c lw 83136
c lw 83137
c lw 83138
c lw 83139
c lw 83140
c lw 83141
c lw 83142
c lw 83143
c lw 83144
c lw 83145
c lw 83146
c lw 83147
c lw 83148
c lw 83149
c lw 83150
c lw 83151
c lw 83153
c lw 83154
c lw 83155
c lw 83157
c lw 83158
c lw 83159
c lw 83160
c lw 83161
c lw 83162
c lw 83163
c lw 83164
c lw 83165
c lw 83166
c lw 83167
c lw 83168
c lw 83169
c lw 83170
c lw 83171
c lw 83173
c lw 83174
c lw 83175
c lw 83176
c lw 83177
c lw 83178
c lw 83179
c lw 83180
c lw 83181
c lw 83183
c lw 83184
c lw 83185
c lw 83186
c lw 83187
c lw 83188
c lw 83189
c lw 83190
c lw 83191
c lw 83192
c lw 83193
c lw 83194
c lw 83195
c lw 83196
c lw 83197
c lw 83198
c lw 83199
c lw 83200
c lw 83201
c lw 83202
c lw 83203
c lw 83204
c lw 83205
c lw 83206
c lw 83207
c lw 83208
c lw 83209
c lw 83210
c lw 83211
c lw 83212
c lw 83216
c lw 83217
c lw 83218
c lw 83219
c lw 83220
c lw 83221
c lw 83222
c lw 83223
c lw 83224
c lw 83225
c lw 83226
c lw 83227
c lw 83228
c lw 83229
c lw 83230
c lw 83231
c lw 83232
c lw 83233
c lw 83234
c lw 83235
c lw 83236
c lw 83237
c lw 83238
c lw 83239
c lw 83240
c lw 83241
c lw 83242
c lw 83243
c lw 83246
c lw 83247
c lw 83248
c lw 83249
c lw 83250
c lw 83251
c lw 83252
c lw 83253
c lw 83254
c lw 83255
c lw 83256
c lw 83257
c lw 83258
c lw 83259
c lw 83260
c lw 83261
c lw 83262
c lw 83263
c lw 83264
c lw 83265
c lw 83266
c lw 83267
c lw 83268
c lw 83269
c lw 83270
c lw 83271
c lw 83272
c lw 83273
c lw 83274
c lw 83275
c lw 83276
c lw 83277
c lw 83278
c lw 83279
c lw 83280
c lw 83281
c lw 83290
c lw 83291
c lw 83292
c lw 83293
c lw 83294
c lw 83295
c lw 83296
c lw 83297
c lw 83298
Killed
1800.220u 19.517s 30:23.65 99.7%	0+0k 0+0io 0pf+0w