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_150_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_150_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 885
c lw 1770
c lw 2606
c lw 2655
c lw 3656
c lw 4657
c lw 5658
c lw 5744
c lw 6678
c lw 7698
c lw 7784
c lw 8496
c lw 9208
c lw 10389
c lw 11570
c lw 11938
c lw 12751
c lw 13587
c lw 13682
c lw 14613
c lw 15178
c lw 15544
c lw 16475
c lw 17066
c lw 17917
c lw 18768
c lw 19619
c lw 20470
c lw 20521
c lw 21743
c lw 22965
c lw 23921
c lw 24187
c lw 25105
c lw 25998
c lw 26048
c lw 26155
c lw 27205
c lw 28119
c lw 28255
c lw 29031
c lw 29241
c lw 29692
c lw 30295
c lw 30353
c lw 31014
c lw 31349
c lw 31675
c lw 32336
c lw 33289
c lw 33326
c lw 34507
c lw 35688
c lw 35767
c lw 36659
c lw 36869
c lw 36924
c lw 37267
c lw 38024
c lw 38781
c lw 39538
c lw 39867
c lw 39973
c lw 41005
c lw 42037
c lw 42312
c lw 42694
c lw 43056
c lw 43740
c lw 44424
c lw 44659
c lw 45406
c lw 45501
c lw 46013
c lw 46258
c lw 47268
c lw 48278
c lw 48607
c lw 48752
c lw 49043
c lw 49116
c lw 49334
c lw 49586
c lw 49769
c lw 50056
c lw 50123
c lw 50892
c lw 51177
c lw 51728
c lw 51880
c lw 52077
c lw 52521
c lw 52901
c lw 53033
c lw 53396
c lw 53419
c lw 53570
c lw 53921
c lw 54439
c lw 54606
c lw 55558
c lw 56510
c lw 57462
c lw 57780
c lw 58676
c lw 59191
c lw 59572
c lw 60786
c lw 61619
c lw 61780
c lw 61823
c lw 62009
c lw 62331
c lw 63315
c lw 63397
c lw 63635
c lw 64581
c lw 64654
c lw 64706
c lw 65608
c lw 66273
c lw 67152
c lw 67238
c lw 67389
c lw 67586
c lw 67731
c lw 67898
c lw 67944
c lw 68023
c lw 68096
c lw 68306
c lw 68686
c lw 68818
c lw 68914
c lw 69100
c lw 69236
c lw 69265
c lw 69288
c lw 69397
c lw 69613
c lw 69688
c lw 69760
c lw 69938
c lw 70319
c lw 70426
c lw 70755
c lw 71044
c lw 71051
c lw 71101
c lw 71152
c lw 71303
c lw 71470
c lw 71545
c lw 71811
c lw 71895
c lw 72147
c lw 72273
c lw 72337
c lw 72379
c lw 72438
c lw 72478
c lw 72515
c lw 72551
c lw 72666
c lw 73055
c lw 73301
c lw 73330
c lw 73429
c lw 74164
c lw 74181
c lw 74217
c lw 74335
c lw 74423
c lw 74427
c lw 74507
c lw 74770
c lw 74856
c lw 74902
c lw 74951
c lw 75047
c lw 75142
c lw 75230
c lw 75312
c lw 75464
c lw 75795
c lw 75857
c lw 76005
c lw 76030
c lw 76052
c lw 76082
c lw 76182
c lw 76278
c lw 76358
c lw 76513
c lw 76550
c lw 76580
c lw 76870
c lw 77152
c lw 77421
c lw 78097
c lw 78161
c lw 79094
c lw 79175
c lw 79567
c lw 79693
c lw 79856
c lw 79893
c lw 80827
c lw 80859
c lw 81162
c lw 81220
c lw 81373
c lw 81483
c lw 81501
c lw 82106
c lw 82112
c lw 82296
c lw 82345
c lw 82351
c lw 82418
c lw 82437
c lw 83018
c lw 83108
c lw 83150
c lw 83170
c lw 83358
c lw 83559
c lw 83621
c lw 83988
c lw 84417
c lw 84503
c lw 84989
c lw 85012
c lw 85317
c lw 85323
c lw 85398
c lw 85445
c lw 85486
c lw 86074
c lw 86117
c lw 86666
c lw 86790
c lw 86829
c lw 87110
c lw 87183
c lw 87188
c lw 87196
c lw 87256
c lw 87338
c lw 87344
c lw 87350
c lw 87356
c lw 87365
c lw 87372
c lw 87440
c lw 87484
c lw 87490
c lw 87507
c lw 87616
c lw 87618
c lw 87624
c lw 87690
c lw 87715
c lw 87722
c lw 87837
c lw 87843
c lw 87861
c lw 87890
c lw 87968
c lw 88018
c lw 88056
c lw 88100
c lw 88180
c lw 88242
c lw 88264
c lw 88294
c lw 88357
c lw 88398
c lw 88405
c lw 88454
c lw 88460
c lw 88466
c lw 88471
c lw 88489
c lw 88491
c lw 88497
c lw 88532
c lw 88534
c lw 88624
c lw 88644
c lw 88675
c lw 88686
c lw 89076
c lw 89088
c lw 89091
c lw 89134
c lw 89136
c lw 89139
c lw 89140
c lw 89142
c lw 89145
c lw 89146
c lw 89158
c lw 89160
c lw 89162
c lw 89209
c lw 89237
c lw 89242
c lw 89246
c lw 89310
c lw 89314
c lw 89328
c lw 89355
c lw 89368
c lw 89370
c lw 89520
c lw 89630
c lw 89708
c lw 89722
c lw 89750
c lw 89756
c lw 89758
c lw 89759
c lw 89760
c lw 89761
c lw 89762
c lw 89763
c lw 89765
c lw 89766
c lw 89769
c lw 89771
c lw 89774
c lw 89777
c lw 89780
c lw 89797
c lw 89829
c lw 89837
c lw 89883
c lw 89884
c lw 89929
c lw 90069
c lw 90098
c lw 90123
c lw 90126
c lw 90212
c lw 90254
c lw 90256
c lw 90259
c lw 90260
c lw 90263
c lw 90264
c lw 90269
c lw 90272
c lw 90276
c lw 90278
c lw 90291
c lw 90293
c lw 90295
c lw 90296
c lw 90298
c lw 90299
c lw 90301
c lw 90302
c lw 90304
c lw 90305
c lw 90307
c lw 90308
c lw 90309
c lw 90310
c lw 90313
c lw 90314
c lw 90315
c lw 90316
c lw 90317
c lw 90335
c lw 90344
c lw 90345
c lw 90346
c lw 90347
c lw 90348
c lw 90349
c lw 90350
c lw 90354
c lw 90356
c lw 90357
c lw 90365
c lw 90366
c lw 90367
c lw 90369
c lw 90370
c lw 90374
c lw 90375
c lw 90376
c lw 90377
c lw 90379
c lw 90381
c lw 90384
c lw 90411
c lw 90413
c lw 90415
c lw 90416
c lw 90417
c lw 90418
c lw 90422
c lw 90436
c lw 90438
c lw 90440
c lw 90442
c lw 90444
c lw 90446
c lw 90451
c lw 90454
c lw 90458
c lw 90469
c lw 90470
c lw 90471
c lw 90473
c lw 90474
c lw 90476
c lw 90477
c lw 90478
c lw 90479
c lw 90480
c lw 90482
c lw 90483
c lw 90484
c lw 90485
c lw 90486
c lw 90487
c lw 90488
c lw 90493
c lw 90495
c lw 90496
c lw 90499
c lw 90522
c lw 90527
c lw 90528
c lw 90533
c lw 90536
c lw 90540
c lw 90543
c lw 90577
c lw 90582
c lw 90584
c lw 90587
c lw 90588
c lw 90591
c lw 90592
c lw 90593
c lw 90594
c lw 90595
c lw 90596
c lw 90597
c lw 90598
c lw 90599
c lw 90600
c lw 90601
c lw 90602
c lw 90603
c lw 90857
c lw 90858
c lw 90860
c lw 90861
c lw 90864
c lw 90877
c lw 90878
c lw 90879
c lw 90880
c lw 90881
c lw 90915
c lw 90923
c lw 90928
c lw 90931
c lw 90932
c lw 90938
c lw 90939
c lw 90940
c lw 90941
c lw 90944
c lw 90945
c lw 90946
c lw 90947
c lw 90948
c lw 90949
c lw 90950
c lw 90951
c lw 90952
c lw 90953
c lw 90954
c lw 90955
c lw 90956
c lw 90958
c lw 90959
c lw 90960
c lw 90963
c lw 90966
c lw 90969
c lw 90972
c lw 90973
c lw 90974
c lw 90975
c lw 90976
c lw 90977
c lw 90978
c lw 90979
c lw 90980
c lw 90981
c lw 90982
c lw 90997
c lw 91013
c lw 91014
c lw 91015
c lw 91016
c lw 91017
c lw 91018
c lw 91019
c lw 91020
c lw 91021
c lw 91022
c lw 91023
c lw 91024
c lw 91025
c lw 91026
c lw 91027
c lw 91029
c lw 91030
c lw 91031
c lw 91032
c lw 91033
c lw 91059
c lw 91093
c lw 91094
c lw 91396
c lw 91397
c lw 91398
c lw 91399
c lw 91430
c lw 91431
c lw 91432
c lw 91433
c lw 91434
c lw 91435
c lw 91436
c lw 91437
c lw 91438
c lw 91439
c lw 91440
c lw 91441
c lw 91442
c lw 91443
c lw 91444
c lw 91445
c lw 91446
c lw 91447
c lw 91448
c lw 91449
c lw 91450
c lw 91451
c lw 91452
c lw 91453
c lw 91454
c lw 91456
c lw 91457
c lw 91458
c lw 91459
c lw 91460
c lw 91462
c lw 91463
c lw 91464
c lw 91465
c lw 91466
c lw 91467
c lw 91468
c lw 91469
c lw 91470
c lw 91471
c lw 91472
c lw 91473
c lw 91474
c lw 91476
c lw 91479
c lw 91489
c lw 91491
c lw 91492
c lw 91504
c lw 91505
c lw 91529
c lw 91567
c lw 91594
c lw 91652
c lw 91653
c lw 91659
c lw 91672
c lw 91719
c lw 91768
c lw 91769
c lw 91770
c lw 91771
c lw 91776
c lw 91778
c lw 91818
c lw 91819
c lw 91820
c lw 91821
c lw 91822
c lw 91823
c lw 91824
c lw 91825
c lw 91826
c lw 91827
c lw 91828
c lw 91829
c lw 91830
c lw 91831
c lw 91832
c lw 91833
c lw 91834
c lw 91835
c lw 91836
c lw 91837
c lw 91839
c lw 91840
c lw 91847
c lw 91852
c lw 91855
c lw 91882
c lw 91909
c lw 91910
c lw 91911
c lw 91912
c lw 92079
c lw 92080
c lw 92081
c lw 92082
c lw 92083
c lw 92084
c lw 92085
c lw 92087
c lw 92088
c lw 92089
c lw 92090
c lw 92091
c lw 92106
c lw 92121
c lw 92137
c lw 92175
c lw 92188
c lw 92189
c lw 92190
c lw 92191
c lw 92192
c lw 92193
c lw 92195
c lw 92205
c lw 92210
c lw 92211
c lw 92212
c lw 92226
c lw 92227
c lw 92229
c lw 92233
c lw 92242
c lw 92252
c lw 92357
c lw 92358
c lw 92362
c lw 92367
c lw 92369
c lw 92370
c lw 92371
c lw 92372
c lw 92373
c lw 92374
c lw 92375
c lw 92376
c lw 92377
c lw 92378
c lw 92379
c lw 92380
c lw 92381
c lw 92382
c lw 92383
c lw 92384
c lw 92385
c lw 92386
c lw 92387
c lw 92388
c lw 92389
c lw 92390
c lw 92391
c lw 92392
c lw 92393
c lw 92394
c lw 92395
c lw 92396
c lw 92397
c lw 92398
c lw 92434
c lw 92435
c lw 92436
c lw 92437
c lw 92438
c lw 92439
c lw 92440
c lw 92441
c lw 92442
c lw 92443
c lw 92444
c lw 92445
c lw 92446
c lw 92447
c lw 92448
c lw 92449
c lw 92450
c lw 92451
c lw 92452
c lw 92453
c lw 92454
c lw 92455
c lw 92472
c lw 92475
c lw 92476
c lw 92477
c lw 92478
c lw 92479
c lw 92480
c lw 92481
c lw 92576
c lw 92577
c lw 92578
c lw 92579
c lw 92581
c lw 92582
c lw 92583
c lw 92585
c lw 92586
c lw 92587
c lw 92588
c lw 92589
c lw 92590
c lw 92591
c lw 92592
c lw 92593
c lw 92594
c lw 92595
c lw 92596
c lw 92597
c lw 92598
c lw 92599
c lw 92600
c lw 92601
c lw 92602
c lw 92603
c lw 92604
c lw 92605
c lw 92606
c lw 92607
c lw 92608
c lw 92609
c lw 92610
c lw 92611
c lw 92612
c lw 92613
c lw 92614
c lw 92615
c lw 92616
c lw 92617
c lw 92618
c lw 92619
c lw 92620
c lw 92621
c lw 92622
c lw 92623
c lw 92624
c lw 92625
c lw 92626
c lw 92627
c lw 92628
c lw 92629
c lw 92630
c lw 92631
c lw 92632
c lw 92641
c lw 92642
c lw 92649
c lw 92650
c lw 92651
c lw 92652
c lw 92653
c lw 92656
c lw 92657
c lw 92658
c lw 92663
c lw 92664
c lw 92667
c lw 92668
c lw 92669
c lw 92670
c lw 92671
c lw 92672
c lw 92673
c lw 92674
c lw 92675
c lw 92676
c lw 92677
c lw 92681
c lw 92682
c lw 92683
c lw 92685
c lw 92686
c lw 92687
c lw 92688
c lw 92689
c lw 92690
c lw 92691
c lw 92700
c lw 92701
c lw 92702
c lw 92703
c lw 92704
c lw 92722
c lw 92724
c lw 92725
c lw 92726
c lw 92727
c lw 92728
c lw 92729
c lw 92730
c lw 92731
c lw 92732
c lw 92733
c lw 92734
c lw 92735
c lw 92736
c lw 92737
c lw 92738
c lw 92739
c lw 92740
c lw 92741
c lw 92742
c lw 92743
c lw 92746
c lw 92747
c lw 92748
c lw 92750
c lw 92752
c lw 92753
c lw 92754
c lw 92755
c lw 92760
c lw 92761
c lw 92762
c lw 92763
c lw 92764
c lw 92765
c lw 92766
c lw 92767
c lw 92768
c lw 92772
c lw 92773
c lw 92774
c lw 92775
c lw 92776
c lw 92777
c lw 92778
c lw 92779
c lw 92780
c lw 92781
c lw 92782
c lw 92783
c lw 92784
c lw 92785
c lw 92786
c lw 92787
c lw 92788
c lw 92789
c lw 92794
c lw 92795
c lw 92796
c lw 92797
c lw 92798
c lw 92799
c lw 92800
c lw 92801
c lw 92802
c lw 92803
c lw 92804
c lw 92805
c lw 92806
c lw 92807
c lw 92808
c lw 92809
c lw 92810
c lw 92811
c lw 92812
c lw 92813
c lw 92872
c lw 92873
c lw 92875
c lw 92876
c lw 92877
c lw 92878
c lw 92879
c lw 92880
c lw 92881
c lw 92882
c lw 92883
c lw 92884
c lw 92885
c lw 92886
c lw 92887
c lw 92888
c lw 92889
c lw 92890
c lw 92891
c lw 92892
c lw 92893
c lw 92894
c lw 92895
c lw 92941
c lw 92961
c lw 92983
c lw 92990
c lw 92991
c lw 92992
c lw 92993
c lw 92994
c lw 92995
c lw 92996
c lw 92997
c lw 92998
c lw 92999
c lw 93000
c lw 93001
c lw 93002
c lw 93003
c lw 93004
c lw 93005
c lw 93006
c lw 93007
c lw 93008
c lw 93009
c lw 93010
c lw 93011
c lw 93012
c lw 93013
c lw 93014
c lw 93015
c lw 93016
c lw 93017
c lw 93018
c lw 93019
c lw 93020
c lw 93021
c lw 93022
c lw 93023
c lw 93044
c lw 93047
c lw 93057
c lw 93058
c lw 93061
c lw 93062
c lw 93063
c lw 93064
c lw 93065
c lw 93066
c lw 93067
c lw 93076
c lw 93077
c lw 93078
c lw 93079
c lw 93080
c lw 93082
c lw 93098
c lw 93099
c lw 93100
c lw 93101
c lw 93102
c lw 93104
c lw 93109
c lw 93135
c lw 93136
c lw 93137
c lw 93141
c lw 93142
c lw 93160
c lw 93172
c lw 93173
c lw 93178
c lw 93180
c lw 93181
c lw 93182
c lw 93183
c lw 93184
c lw 93202
c lw 93203
c lw 93204
c lw 93205
c lw 93206
c lw 93207
c lw 93208
c lw 93209
c lw 93210
c lw 93211
c lw 93212
c lw 93213
c lw 93214
c lw 93215
c lw 93216
c lw 93217
c lw 93218
c lw 93219
c lw 93269
c lw 93270
c lw 93271
c lw 93272
c lw 93273
c lw 93275
c lw 93276
c lw 93277
c lw 93278
c lw 93279
c lw 93280
c lw 93281
c lw 93282
c lw 93283
c lw 93284
c lw 93285
c lw 93286
c lw 93287
c lw 93380
c lw 93381
c lw 93382
c lw 93383
c lw 93388
c lw 93389
c lw 93390
c lw 93392
c lw 93399
c lw 93405
c lw 93408
c lw 93409
c lw 93410
c lw 93411
c lw 93412
c lw 93413
c lw 93414
c lw 93415
c lw 93416
c lw 93417
c lw 93418
c lw 93419
c lw 93421
c lw 93422
c lw 93423
c lw 93424
c lw 93425
c lw 93426
c lw 93427
c lw 93428
c lw 93429
c lw 93430
c lw 93431
c lw 93432
c lw 93433
c lw 93434
c lw 93435
c lw 93436
c lw 93437
c lw 93438
c lw 93439
c lw 93440
c lw 93441
c lw 93442
c lw 93443
c lw 93444
c lw 93445
c lw 93446
c lw 93447
c lw 93448
c lw 93449
c lw 93450
c lw 93451
c lw 93452
c lw 93453
c lw 93454
c lw 93455
c lw 93456
c lw 93457
c lw 93458
c lw 93459
c lw 93460
c lw 93461
c lw 93462
c lw 93463
c lw 93464
c lw 93465
c lw 93466
c lw 93467
c lw 93468
c lw 93479
c lw 93556
c lw 93565
c lw 93568
c lw 93574
c lw 93575
c lw 93580
c lw 93591
c lw 93592
c lw 93593
c lw 93594
c lw 93595
c lw 93596
c lw 93597
c lw 93598
c lw 93599
c lw 93600
c lw 93601
c lw 93602
c lw 93603
c lw 93605
c lw 93606
c lw 93856
c lw 93857
c lw 93858
c lw 93859
c lw 93860
c lw 93861
c lw 93862
c lw 93863
c lw 93864
c lw 93865
c lw 93866
c lw 93867
c lw 93868
c lw 93869
c lw 93870
c lw 93871
c lw 93872
c lw 93873
c lw 93874
c lw 93875
c lw 93876
c lw 93877
c lw 93878
c lw 93879
c lw 93880
c lw 93881
c lw 93882
c lw 93883
c lw 93884
c lw 93885
c lw 93886
c lw 93887
c lw 93888
c lw 93889
c lw 93890
c lw 93891
c lw 93892
c lw 93893
c lw 93894
c lw 93959
c lw 94078
c lw 94090
c lw 94091
c lw 94092
c lw 94093
c lw 94094
c lw 94095
c lw 94102
c lw 94104
c lw 94105
c lw 94106
c lw 94107
c lw 94108
c lw 94109
c lw 94110
c lw 94111
c lw 94136
c lw 94137
c lw 94143
c lw 94176
c lw 94177
c lw 94215
c lw 94216
c lw 94250
c lw 94274
c lw 94275
c lw 94282
c lw 94284
c lw 94285
c lw 94286
c lw 94287
c lw 94288
c lw 94289
c lw 94290
c lw 94291
c lw 94303
c lw 94305
c lw 94306
c lw 94307
c lw 94308
c lw 94312
c lw 94364
c lw 94365
c lw 94373
c lw 94374
c lw 94375
c lw 94376
c lw 94377
c lw 94378
c lw 94379
c lw 94380
c lw 94381
c lw 94382
c lw 94385
c lw 94393
c lw 94395
c lw 94396
c lw 94397
c lw 94398
c lw 94399
c lw 94400
c lw 94401
c lw 94402
c lw 94403
c lw 94406
c lw 94407
c lw 94408
c lw 94409
c lw 94410
c lw 94411
c lw 94412
c lw 94413
c lw 94414
c lw 94415
c lw 94416
c lw 94417
c lw 94418
c lw 94419
c lw 94420
c lw 94421
c lw 94430
c lw 94449
c lw 94450
Killed
1808.274u 11.463s 53:04.28 57.1%	0+0k 0+0io 0pf+0w