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_160_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 668
c lw 1426
c lw 2184
c lw 2806
c lw 3401
c lw 3443
c lw 4038
c lw 4080
c lw 4717
c lw 5354
c lw 5880
c lw 6904
c lw 7182
c lw 8198
c lw 9214
c lw 10042
c lw 10230
c lw 10586
c lw 10942
c lw 11246
c lw 12283
c lw 13184
c lw 13320
c lw 13519
c lw 14357
c lw 15207
c lw 15219
c lw 15394
c lw 15545
c lw 16433
c lw 16731
c lw 17321
c lw 17773
c lw 18289
c lw 18538
c lw 18787
c lw 19794
c lw 20134
c lw 20382
c lw 20801
c lw 21791
c lw 21808
c lw 22658
c lw 23508
c lw 24105
c lw 24358
c lw 24497
c lw 25246
c lw 25820
c lw 25995
c lw 26532
c lw 26782
c lw 26985
c lw 27975
c lw 28341
c lw 28523
c lw 28684
c lw 28965
c lw 29331
c lw 29697
c lw 29759
c lw 30541
c lw 30745
c lw 31101
c lw 31377
c lw 31972
c lw 32009
c lw 32508
c lw 32641
c lw 33140
c lw 33273
c lw 33615
c lw 33905
c lw 34676
c lw 35596
c lw 36210
c lw 36824
c lw 37130
c lw 37901
c lw 38207
c lw 38978
c lw 39108
c lw 40009
c lw 40055
c lw 40468
c lw 40703
c lw 40842
c lw 41552
c lw 42221
c lw 42402
c lw 43252
c lw 43303
c lw 43594
c lw 43929
c lw 43990
c lw 45079
c lw 45283
c lw 45782
c lw 45913
c lw 46806
c lw 46811
c lw 47809
c lw 48826
c lw 49052
c lw 49072
c lw 49509
c lw 49515
c lw 50110
c lw 50634
c lw 50813
c lw 51633
c lw 52453
c lw 52515
c lw 52845
c lw 52931
c lw 53004
c lw 53725
c lw 54576
c lw 54842
c lw 55693
c lw 56100
c lw 56545
c lw 56590
c lw 56710
c lw 57093
c lw 57165
c lw 57538
c lw 57901
c lw 57970
c lw 58035
c lw 58927
c lw 59511
c lw 59708
c lw 60282
c lw 60861
c lw 61298
c lw 61318
c lw 61834
c lw 61944
c lw 62272
c lw 62277
c lw 62366
c lw 62432
c lw 62505
c lw 62562
c lw 62628
c lw 62759
c lw 63016
c lw 63220
c lw 63282
c lw 63926
c lw 63930
c lw 64081
c lw 64362
c lw 64448
c lw 64482
c lw 64824
c lw 64848
c lw 65022
c lw 65045
c lw 65096
c lw 65277
c lw 65314
c lw 65336
c lw 65357
c lw 65419
c lw 65552
c lw 65626
c lw 65668
c lw 65692
c lw 65740
c lw 65876
c lw 65944
c lw 66037
c lw 66219
c lw 66220
c lw 66576
c lw 66585
c lw 66597
c lw 66714
c lw 66751
c lw 67168
c lw 67447
c lw 67523
c lw 68021
c lw 68093
c lw 68115
c lw 68116
c lw 68364
c lw 68497
c lw 68801
c lw 68853
c lw 69092
c lw 69157
c lw 69244
c lw 69449
c lw 69491
c lw 69520
c lw 69589
c lw 70082
c lw 70232
c lw 70894
c lw 70990
c lw 71076
c lw 71255
c lw 71373
c lw 71427
c lw 71455
c lw 71748
c lw 71753
c lw 71807
c lw 71868
c lw 71998
c lw 72501
c lw 72566
c lw 72572
c lw 72641
c lw 72661
c lw 72715
c lw 72914
c lw 72977
c lw 73004
c lw 73169
c lw 73215
c lw 73511
c lw 73714
c lw 73787
c lw 73803
c lw 73808
c lw 73831
c lw 74066
c lw 74125
c lw 74176
c lw 74351
c lw 75026
c lw 75214
c lw 75275
c lw 75866
c lw 75883
c lw 75956
c lw 76002
c lw 76208
c lw 76539
c lw 76610
c lw 77278
c lw 77377
c lw 77393
c lw 77641
c lw 77697
c lw 77955
c lw 78037
c lw 78176
c lw 78310
c lw 78403
c lw 78433
c lw 78497
c lw 78617
c lw 78627
c lw 78648
c lw 78761
c lw 78778
c lw 78920
c lw 78962
c lw 78977
c lw 78980
c lw 78983
c lw 79035
c lw 79184
c lw 79371
c lw 79481
c lw 79591
c lw 79735
c lw 79808
c lw 79814
c lw 79862
c lw 79896
c lw 79923
c lw 79939
c lw 79966
c lw 79982
c lw 79996
c lw 80000
c lw 80131
c lw 80170
c lw 80192
c lw 80210
c lw 80218
c lw 80226
c lw 80266
c lw 80270
c lw 80319
c lw 80421
c lw 80433
c lw 80456
c lw 80507
c lw 80595
c lw 80632
c lw 80657
c lw 80688
c lw 80700
c lw 80710
c lw 80730
c lw 80737
c lw 80758
c lw 80826
c lw 80827
c lw 80835
c lw 80847
c lw 80878
c lw 80884
c lw 80921
c lw 80964
c lw 81081
c lw 81082
c lw 81115
c lw 81176
c lw 81177
c lw 81262
c lw 81279
c lw 81302
c lw 81358
c lw 81418
c lw 81426
c lw 81483
c lw 81550
c lw 81566
c lw 81580
c lw 81584
c lw 81587
c lw 81633
c lw 81644
c lw 81649
c lw 81664
c lw 81681
c lw 81683
c lw 81692
c lw 81696
c lw 81756
c lw 81759
c lw 81760
c lw 81784
c lw 81792
c lw 81798
c lw 81813
c lw 81889
c lw 81897
c lw 81909
c lw 81910
c lw 81915
c lw 81916
c lw 81917
c lw 81918
c lw 81919
c lw 81922
c lw 81924
c lw 81978
c lw 81998
c lw 82020
c lw 82034
c lw 82072
c lw 82089
c lw 82104
c lw 82107
c lw 82126
c lw 82129
c lw 82134
c lw 82135
c lw 82144
c lw 82147
c lw 82150
c lw 82153
c lw 82156
c lw 82158
c lw 82159
c lw 82161
c lw 82162
c lw 82163
c lw 82165
c lw 82230
c lw 82586
c lw 82587
c lw 82592
c lw 82593
c lw 82597
c lw 82600
c lw 82601
c lw 82602
c lw 82603
c lw 82604
c lw 82605
c lw 82606
c lw 82607
c lw 82609
c lw 82611
c lw 82612
c lw 82613
c lw 82615
c lw 82616
c lw 82708
c lw 82709
c lw 82711
c lw 82717
c lw 82718
c lw 82720
c lw 82727
c lw 82728
c lw 82733
c lw 82735
c lw 82736
c lw 82737
c lw 82739
c lw 82741
c lw 82780
c lw 82781
c lw 82793
c lw 82795
c lw 82796
c lw 82800
c lw 82804
c lw 82809
c lw 82812
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 82833
c lw 82853
c lw 82854
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 82866
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 82891
c lw 82892
c lw 82893
c lw 82894
c lw 82895
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 82911
c lw 82912
c lw 82946
c lw 82953
c lw 82954
c lw 82955
c lw 82956
c lw 82957
c lw 82958
c lw 82959
c lw 82960
c lw 82961
c lw 82966
c lw 82968
c lw 82979
c lw 82980
c lw 83007
c lw 83011
c lw 83012
c lw 83013
c lw 83014
c lw 83015
c lw 83016
c lw 83017
c lw 83018
c lw 83019
c lw 83022
c lw 83024
c lw 83025
c lw 83026
c lw 83028
c lw 83054
c lw 83055
c lw 83058
c lw 83059
c lw 83060
c lw 83061
c lw 83062
c lw 83063
c lw 83064
c lw 83065
c lw 83066
c lw 83068
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 83080
c lw 83081
c lw 83082
c lw 83083
c lw 83084
c lw 83085
c lw 83090
c lw 83091
c lw 83092
c lw 83093
c lw 83094
c lw 83095
c lw 83102
c lw 83103
c lw 83104
c lw 83106
c lw 83107
c lw 83108
c lw 83109
c lw 83110
c lw 83111
c lw 83112
c lw 83113
c lw 83114
c lw 83115
c lw 83116
c lw 83117
c lw 83118
c lw 83119
c lw 83120
c lw 83121
c lw 83122
c lw 83123
c lw 83124
c lw 83125
c lw 83126
c lw 83127
c lw 83128
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 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 83152
c lw 83153
c lw 83154
c lw 83155
c lw 83156
c lw 83157
c lw 83158
c lw 83159
c lw 83160
c lw 83161
c lw 83162
c lw 83163
c lw 83175
c lw 83187
c lw 83193
c lw 83206
c lw 83215
c lw 83226
c lw 83227
c lw 83243
c lw 83281
c lw 83282
c lw 83283
c lw 83284
c lw 83285
c lw 83286
c lw 83287
c lw 83288
c lw 83289
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
c lw 83299
c lw 83300
c lw 83301
c lw 83302
c lw 83303
c lw 83304
c lw 83305
c lw 83306
c lw 83307
c lw 83308
c lw 83309
c lw 83310
c lw 83311
c lw 83312
c lw 83313
c lw 83314
c lw 83315
c lw 83316
c lw 83343
c lw 83344
c lw 83345
c lw 83346
c lw 83351
c lw 83352
c lw 83391
c lw 83392
c lw 83393
c lw 83403
c lw 83404
c lw 83405
c lw 83409
c lw 83410
c lw 83412
c lw 83429
c lw 83442
c lw 83443
c lw 83444
c lw 83445
c lw 83446
c lw 83447
c lw 83448
c lw 83449
c lw 83450
c lw 83451
c lw 83452
c lw 83453
c lw 83454
c lw 83455
c lw 83456
c lw 83457
c lw 83458
c lw 83459
c lw 83460
c lw 83461
c lw 83462
c lw 83463
c lw 83464
c lw 83465
c lw 83466
c lw 83467
c lw 83468
c lw 83469
c lw 83470
c lw 83474
c lw 83475
c lw 83476
c lw 83477
c lw 83478
c lw 83479
c lw 83480
c lw 83482
c lw 83483
c lw 83484
c lw 83485
c lw 83489
c lw 83490
c lw 83495
c lw 83516
c lw 83520
c lw 83521
c lw 83524
c lw 83526
c lw 83527
c lw 83528
c lw 83529
c lw 83533
c lw 83556
c lw 83557
c lw 83558
c lw 83559
c lw 83560
c lw 83561
c lw 83562
c lw 83563
c lw 83564
c lw 83565
c lw 83566
c lw 83567
c lw 83568
c lw 83570
c lw 83571
c lw 83572
c lw 83573
c lw 83574
c lw 83575
c lw 83576
c lw 83577
c lw 83630
c lw 83631
c lw 83632
c lw 83633
c lw 83634
c lw 83635
c lw 83636
c lw 83637
c lw 83638
c lw 83639
c lw 83640
c lw 83641
c lw 83642
c lw 83643
c lw 83644
c lw 83649
c lw 83650
c lw 83651
c lw 83652
c lw 83653
c lw 83654
c lw 83655
c lw 83752
c lw 83753
c lw 83754
c lw 83756
c lw 83757
c lw 83758
c lw 83759
c lw 83760
c lw 83761
c lw 83762
c lw 83763
c lw 83770
c lw 83774
c lw 83778
c lw 83779
c lw 83780
c lw 83781
c lw 83782
c lw 83783
c lw 83784
c lw 83785
c lw 83786
c lw 83787
c lw 83788
c lw 83834
c lw 83836
c lw 83843
c lw 84296
c lw 84297
c lw 84298
c lw 84299
c lw 84300
c lw 84301
c lw 84302
c lw 84303
c lw 84304
c lw 84305
c lw 84306
c lw 84307
c lw 84308
c lw 84309
c lw 84310
c lw 84311
c lw 84312
c lw 84313
c lw 84314
c lw 84315
c lw 84316
c lw 84317
c lw 84318
c lw 84319
c lw 84320
c lw 84321
c lw 84322
c lw 84327
c lw 84328
c lw 84329
c lw 84330
c lw 84331
c lw 84332
c lw 84333
c lw 84334
c lw 84335
c lw 84336
c lw 84338
c lw 84339
c lw 84340
c lw 84341
c lw 84342
c lw 84343
c lw 84344
c lw 84345
c lw 84346
c lw 84347
c lw 84348
c lw 84350
c lw 84351
c lw 84352
c lw 84357
c lw 84358
c lw 84359
c lw 84360
c lw 84361
c lw 84362
c lw 84363
c lw 84364
c lw 84365
c lw 84366
c lw 84367
c lw 84368
c lw 84369
c lw 84370
c lw 84371
c lw 84372
c lw 84373
c lw 84374
c lw 84375
c lw 84376
c lw 84377
c lw 84378
c lw 84395
c lw 84396
c lw 84397
c lw 84398
c lw 84400
c lw 84401
c lw 84403
c lw 84404
c lw 84405
c lw 84406
c lw 84474
c lw 84688
c lw 84689
c lw 84690
c lw 84691
c lw 84692
c lw 84693
c lw 84694
c lw 84695
c lw 84696
c lw 84697
c lw 84698
c lw 84699
c lw 84700
c lw 84701
c lw 84703
c lw 84704
c lw 84705
c lw 84706
c lw 84707
c lw 84717
c lw 84718
c lw 84719
c lw 84720
c lw 84721
c lw 84722
c lw 84723
c lw 84724
c lw 84725
c lw 84726
c lw 84734
c lw 84737
c lw 84738
c lw 84739
c lw 84740
c lw 84741
c lw 84742
c lw 84743
c lw 84744
c lw 84745
c lw 84746
c lw 84747
c lw 84748
c lw 84749
c lw 84750
c lw 84751
c lw 84752
c lw 84753
c lw 84754
c lw 84755
c lw 84756
c lw 84757
c lw 84758
c lw 84759
c lw 84778
c lw 84779
c lw 84780
c lw 84781
c lw 84782
c lw 84783
c lw 84784
c lw 84785
c lw 84786
c lw 84787
c lw 84788
c lw 84789
c lw 84790
c lw 84791
c lw 84792
c lw 84793
c lw 84794
c lw 84795
c lw 84796
c lw 84797
c lw 84799
c lw 84800
c lw 84801
c lw 84802
c lw 84803
c lw 84804
c lw 84805
c lw 84806
c lw 84807
c lw 84808
c lw 84809
c lw 84810
c lw 84811
c lw 84812
c lw 84813
c lw 84814
c lw 84815
c lw 84816
c lw 84825
c lw 84826
c lw 84827
c lw 84836
c lw 84841
c lw 84842
c lw 84843
c lw 84844
c lw 84845
c lw 84846
c lw 84847
c lw 84848
c lw 84849
c lw 84850
c lw 84851
c lw 84852
c lw 84853
c lw 84855
c lw 84856
c lw 84857
c lw 84858
c lw 84859
c lw 84860
c lw 84861
c lw 84862
c lw 84863
c lw 84864
c lw 84865
c lw 84866
c lw 84867
c lw 84868
c lw 84869
c lw 84870
c lw 84878
c lw 84879
c lw 84880
c lw 84881
c lw 84888
c lw 84889
c lw 84890
c lw 84891
c lw 84892
c lw 84893
c lw 84894
c lw 84895
c lw 84896
c lw 84897
c lw 84898
c lw 84899
c lw 84900
c lw 84945
c lw 84946
c lw 84947
c lw 84956
c lw 84971
c lw 84972
c lw 84973
c lw 84974
c lw 84975
c lw 84976
c lw 84991
c lw 84992
c lw 84996
c lw 85003
c lw 85004
c lw 85005
c lw 85006
c lw 85007
c lw 85008
c lw 85012
c lw 85013
c lw 85014
c lw 85015
c lw 85016
c lw 85017
c lw 85018
c lw 85019
c lw 85020
c lw 85050
c lw 85051
c lw 85052
c lw 85053
c lw 85054
c lw 85071
c lw 85072
c lw 85087
c lw 85092
c lw 85093
c lw 85094
c lw 85099
c lw 85112
c lw 85113
c lw 85121
c lw 85122
c lw 85123
c lw 85124
c lw 85125
c lw 85133
c lw 85134
c lw 85135
c lw 85136
c lw 85137
c lw 85138
c lw 85139
c lw 85140
c lw 85141
c lw 85142
c lw 85143
c lw 85144
c lw 85145
c lw 85147
c lw 85148
c lw 85194
c lw 85195
c lw 85196
c lw 85197
c lw 85198
c lw 85199
c lw 85200
c lw 85201
c lw 85202
c lw 85203
c lw 85204
c lw 85205
c lw 85206
c lw 85207
c lw 85208
c lw 85209
c lw 85210
c lw 85211
c lw 85212
c lw 85213
c lw 85214
c lw 85215
c lw 85216
c lw 85217
c lw 85218
c lw 85219
c lw 85220
c lw 85221
c lw 85222
c lw 85223
c lw 85224
c lw 85225
c lw 85228
c lw 85235
c lw 85236
c lw 85237
c lw 85238
c lw 85239
c lw 85240
c lw 85241
c lw 85242
c lw 85243
c lw 85244
c lw 85245
c lw 85246
c lw 85247
c lw 85248
c lw 85249
c lw 85250
c lw 85251
c lw 85252
c lw 85258
c lw 85259
c lw 85262
c lw 85283
c lw 85284
c lw 85285
c lw 85286
c lw 85287
c lw 85288
c lw 85289
c lw 85292
c lw 85293
c lw 85309
c lw 85310
c lw 85311
c lw 85312
c lw 85313
c lw 85315
c lw 85317
c lw 85318
c lw 85319
c lw 85320
c lw 85321
c lw 85322
c lw 85323
c lw 85324
c lw 85325
c lw 85326
c lw 85327
c lw 85329
c lw 85330
c lw 85331
c lw 85332
c lw 85333
c lw 85334
c lw 85335
c lw 85336
c lw 85337
c lw 85338
c lw 85339
c lw 85340
c lw 85341
c lw 85342
c lw 85343
c lw 85344
c lw 85345
c lw 85346
c lw 85347
c lw 85348
c lw 85349
c lw 85350
c lw 85351
c lw 85352
c lw 85353
c lw 85354
c lw 85368
c lw 85369
c lw 85370
c lw 85371
c lw 85372
c lw 85373
c lw 85374
c lw 85375
Killed
1800.806u 18.932s 30:20.89 99.9%	0+0k 0+0io 0pf+0w