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_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_160_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 627
c lw 1269
c lw 1911
c lw 2534
c lw 2553
c lw 3262
c lw 3408
c lw 4015
c lw 4622
c lw 5185
c lw 5229
c lw 5894
c lw 6121
c lw 6830
c lw 7064
c lw 7583
c lw 8442
c lw 8446
c lw 9333
c lw 9890
c lw 10544
c lw 10648
c lw 11535
c lw 12176
c lw 12422
c lw 12873
c lw 13309
c lw 13577
c lw 14032
c lw 14625
c lw 14975
c lw 15533
c lw 15673
c lw 16526
c lw 16721
c lw 17074
c lw 17769
c lw 18622
c lw 18817
c lw 19708
c lw 20411
c lw 21114
c lw 21599
c lw 21817
c lw 22733
c lw 23424
c lw 23649
c lw 24565
c lw 24905
c lw 25481
c lw 26356
c lw 26610
c lw 27231
c lw 28106
c lw 28144
c lw 28767
c lw 28981
c lw 29640
c lw 29690
c lw 30299
c lw 31006
c lw 31543
c lw 31713
c lw 32250
c lw 32420
c lw 32632
c lw 33127
c lw 33957
c lw 34515
c lw 34787
c lw 35181
c lw 35929
c lw 36677
c lw 37425
c lw 37530
c lw 38173
c lw 38372
c lw 38974
c lw 39450
c lw 40206
c lw 40420
c lw 41042
c lw 41147
c lw 41247
c lw 41390
c lw 41785
c lw 42013
c lw 42160
c lw 42360
c lw 43326
c lw 44245
c lw 44292
c lw 44661
c lw 45219
c lw 45910
c lw 46228
c lw 46836
c lw 47444
c lw 48054
c lw 48321
c lw 48499
c lw 48664
c lw 49511
c lw 49800
c lw 50215
c lw 51131
c lw 51350
c lw 51468
c lw 52025
c lw 52438
c lw 53135
c lw 53573
c lw 53783
c lw 53889
c lw 54708
c lw 55439
c lw 55495
c lw 55583
c lw 56370
c lw 56499
c lw 56629
c lw 56710
c lw 57136
c lw 57420
c lw 57708
c lw 57827
c lw 58265
c lw 58975
c lw 59053
c lw 59172
c lw 60140
c lw 61108
c lw 61634
c lw 61794
c lw 62084
c lw 62312
c lw 62412
c lw 62517
c lw 62697
c lw 63351
c lw 63385
c lw 63673
c lw 63957
c lw 64054
c lw 64164
c lw 64316
c lw 64398
c lw 64671
c lw 64943
c lw 65130
c lw 65329
c lw 65535
c lw 65568
c lw 65654
c lw 65732
c lw 65857
c lw 65976
c lw 66057
c lw 66154
c lw 66186
c lw 66442
c lw 66523
c lw 66542
c lw 66599
c lw 66726
c lw 66745
c lw 66895
c lw 66955
c lw 67164
c lw 67202
c lw 67432
c lw 67488
c lw 67520
c lw 67568
c lw 67674
c lw 67852
c lw 67888
c lw 68155
c lw 68297
c lw 68359
c lw 68387
c lw 68511
c lw 68596
c lw 68623
c lw 68782
c lw 68914
c lw 69158
c lw 69327
c lw 69412
c lw 69549
c lw 69884
c lw 70202
c lw 70581
c lw 70921
c lw 71156
c lw 71157
c lw 71165
c lw 71195
c lw 71384
c lw 71413
c lw 71633
c lw 72118
c lw 72391
c lw 72408
c lw 72439
c lw 72557
c lw 72789
c lw 72845
c lw 73062
c lw 73092
c lw 73255
c lw 73289
c lw 73365
c lw 73747
c lw 73819
c lw 73921
c lw 73968
c lw 73976
c lw 74155
c lw 74183
c lw 74411
c lw 74506
c lw 74896
c lw 75108
c lw 75213
c lw 75316
c lw 75321
c lw 75329
c lw 75366
c lw 75584
c lw 75598
c lw 75637
c lw 75788
c lw 76006
c lw 76010
c lw 76118
c lw 76313
c lw 76461
c lw 76711
c lw 76809
c lw 76980
c lw 77088
c lw 77526
c lw 77557
c lw 78091
c lw 78106
c lw 78457
c lw 78603
c lw 78866
c lw 78948
c lw 79036
c lw 79388
c lw 79583
c lw 79628
c lw 79883
c lw 79925
c lw 80095
c lw 80235
c lw 80330
c lw 80374
c lw 80389
c lw 80392
c lw 80600
c lw 80739
c lw 80970
c lw 81018
c lw 81039
c lw 81042
c lw 81052
c lw 81086
c lw 81143
c lw 81437
c lw 81459
c lw 81491
c lw 81733
c lw 81939
c lw 82033
c lw 82047
c lw 82070
c lw 82146
c lw 82180
c lw 82331
c lw 82452
c lw 82477
c lw 82497
c lw 82557
c lw 82605
c lw 82633
c lw 82724
c lw 82748
c lw 82792
c lw 82797
c lw 82805
c lw 82821
c lw 82948
c lw 83008
c lw 83158
c lw 83177
c lw 83234
c lw 83259
c lw 83272
c lw 83441
c lw 83502
c lw 83550
c lw 83656
c lw 83671
c lw 83699
c lw 83704
c lw 83718
c lw 83755
c lw 83816
c lw 83824
c lw 83829
c lw 83870
c lw 83934
c lw 83935
c lw 83952
c lw 83966
c lw 84039
c lw 84067
c lw 84132
c lw 84208
c lw 84238
c lw 84245
c lw 84435
c lw 84440
c lw 84528
c lw 84570
c lw 84615
c lw 84635
c lw 84674
c lw 84825
c lw 84859
c lw 84869
c lw 84872
c lw 84890
c lw 84922
c lw 84936
c lw 84942
c lw 84945
c lw 84949
c lw 84963
c lw 85019
c lw 85034
c lw 85057
c lw 85065
c lw 85069
c lw 85072
c lw 85118
c lw 85138
c lw 85172
c lw 85193
c lw 85197
c lw 85201
c lw 85260
c lw 85284
c lw 85291
c lw 85302
c lw 85310
c lw 85418
c lw 85458
c lw 85497
c lw 85500
c lw 85514
c lw 85524
c lw 85560
c lw 85569
c lw 85577
c lw 85678
c lw 85684
c lw 85685
c lw 85691
c lw 85692
c lw 85694
c lw 85695
c lw 85707
c lw 85709
c lw 85721
c lw 85722
c lw 85727
c lw 85728
c lw 85939
c lw 85940
c lw 85946
c lw 85984
c lw 85986
c lw 85993
c lw 86040
c lw 86051
c lw 86070
c lw 86078
c lw 86108
c lw 86118
c lw 86119
c lw 86121
c lw 86135
c lw 86136
c lw 86138
c lw 86153
c lw 86179
c lw 86183
c lw 86226
c lw 86333
c lw 86335
c lw 86347
c lw 86350
c lw 86358
c lw 86364
c lw 86365
c lw 86367
c lw 86368
c lw 86371
c lw 86372
c lw 86376
c lw 86377
c lw 86378
c lw 86380
c lw 86381
c lw 86382
c lw 86397
c lw 86432
c lw 86469
c lw 86470
c lw 86471
c lw 86473
c lw 86474
c lw 86477
c lw 86478
c lw 86480
c lw 86481
c lw 86482
c lw 86483
c lw 86484
c lw 86494
c lw 86514
c lw 86515
c lw 86516
c lw 86517
c lw 86518
c lw 86524
c lw 86525
c lw 86526
c lw 86528
c lw 86529
c lw 86530
c lw 86531
c lw 86533
c lw 86534
c lw 86536
c lw 86537
c lw 86541
c lw 86542
c lw 86544
c lw 86545
c lw 86546
c lw 86547
c lw 86548
c lw 86549
c lw 86551
c lw 86552
c lw 86553
c lw 86554
c lw 86555
c lw 86556
c lw 86557
c lw 86559
c lw 86560
c lw 86561
c lw 86562
c lw 86565
c lw 86566
c lw 86567
c lw 86568
c lw 86583
c lw 86584
c lw 86585
c lw 86587
c lw 86590
c lw 86592
c lw 86597
c lw 86599
c lw 86601
c lw 86605
c lw 86612
c lw 86642
c lw 86667
c lw 86694
c lw 86700
c lw 86740
c lw 86742
c lw 86743
c lw 86745
c lw 86753
c lw 86760
c lw 86765
c lw 86768
c lw 86773
c lw 86781
c lw 86784
c lw 86801
c lw 86804
c lw 86807
c lw 86810
c lw 86812
c lw 86818
c lw 86821
c lw 86870
c lw 86875
c lw 86877
c lw 86880
c lw 86881
c lw 86883
c lw 86895
c lw 86916
c lw 86918
c lw 86919
c lw 86920
c lw 86922
c lw 86923
c lw 86924
c lw 86925
c lw 86926
c lw 86927
c lw 86928
c lw 86929
c lw 86930
c lw 86932
c lw 86934
c lw 86936
c lw 86937
c lw 86938
c lw 86939
c lw 86940
c lw 86941
c lw 86942
c lw 86943
c lw 86944
c lw 86945
c lw 86946
c lw 86947
c lw 86948
c lw 86949
c lw 86950
c lw 86951
c lw 86952
c lw 86953
c lw 86954
c lw 86955
c lw 86956
c lw 86957
c lw 86958
c lw 86959
c lw 86960
c lw 86961
c lw 86962
c lw 86963
c lw 86964
c lw 86965
c lw 86966
c lw 86967
c lw 86968
c lw 86969
c lw 86970
c lw 86971
c lw 86972
c lw 86973
c lw 86974
c lw 86975
c lw 86976
c lw 86977
c lw 86978
c lw 86979
c lw 86980
c lw 86981
c lw 86982
c lw 86984
c lw 86986
c lw 87003
c lw 87017
c lw 87019
c lw 87041
c lw 87045
c lw 87046
c lw 87048
c lw 87049
c lw 87050
c lw 87051
c lw 87057
c lw 87058
c lw 87059
c lw 87065
c lw 87066
c lw 87067
c lw 87068
c lw 87069
c lw 87070
c lw 87072
c lw 87073
c lw 87074
c lw 87079
c lw 87080
c lw 87081
c lw 87110
c lw 87171
c lw 87181
c lw 87191
c lw 87242
c lw 87244
c lw 87245
c lw 87246
c lw 87247
c lw 87250
c lw 87251
c lw 87252
c lw 87255
c lw 87256
c lw 87258
c lw 87259
c lw 87260
c lw 87268
c lw 87269
c lw 87270
c lw 87272
c lw 87273
c lw 87274
c lw 87290
c lw 87298
c lw 87355
c lw 87356
c lw 87358
c lw 87359
c lw 87364
c lw 87365
c lw 87366
c lw 87367
c lw 87368
c lw 87369
c lw 87370
c lw 87372
c lw 87373
c lw 87375
c lw 87376
c lw 87377
c lw 87378
c lw 87379
c lw 87381
c lw 87382
c lw 87383
c lw 87385
c lw 87386
c lw 87387
c lw 87388
c lw 87389
c lw 87390
c lw 87391
c lw 87392
c lw 87393
c lw 87394
c lw 87395
c lw 87396
c lw 87397
c lw 87398
c lw 87400
c lw 87401
c lw 87403
c lw 87404
c lw 87405
c lw 87406
c lw 87407
c lw 87408
c lw 87414
c lw 87418
c lw 87419
c lw 87420
c lw 87421
c lw 87422
c lw 87423
c lw 87424
c lw 87425
c lw 87426
c lw 87427
c lw 87428
c lw 87429
c lw 87430
c lw 87431
c lw 87432
c lw 87433
c lw 87434
c lw 87435
c lw 87436
c lw 87437
c lw 87438
c lw 87441
c lw 87442
c lw 87443
c lw 87444
c lw 87449
c lw 87450
c lw 87451
c lw 87452
c lw 87456
c lw 87457
c lw 87483
c lw 87484
c lw 87485
c lw 87486
c lw 87487
c lw 87488
c lw 87489
c lw 87490
c lw 87503
c lw 87511
c lw 87512
c lw 87513
c lw 87514
c lw 87515
c lw 87517
c lw 87519
c lw 87521
c lw 87522
c lw 87540
c lw 87544
c lw 87560
c lw 87561
c lw 87567
c lw 87764
c lw 87765
c lw 87767
c lw 87768
c lw 87774
c lw 87775
c lw 87776
c lw 87777
c lw 87778
c lw 87779
c lw 87780
c lw 87796
c lw 87797
c lw 87799
c lw 87810
c lw 87811
c lw 87812
c lw 87817
c lw 87818
c lw 87819
c lw 87820
c lw 87821
c lw 87822
c lw 87823
c lw 87824
c lw 87831
c lw 87832
c lw 87836
c lw 87837
c lw 87838
c lw 87870
c lw 87871
c lw 87872
c lw 87875
c lw 87876
c lw 87877
c lw 87878
c lw 87879
c lw 87880
c lw 87883
c lw 87896
c lw 87897
c lw 87898
c lw 87899
c lw 87900
c lw 87901
c lw 87902
c lw 87903
c lw 87904
c lw 87905
c lw 87906
c lw 87907
c lw 87908
c lw 87909
c lw 87910
c lw 87911
c lw 87912
c lw 87913
c lw 87914
c lw 87915
c lw 87916
c lw 87917
c lw 87918
c lw 87950
c lw 87961
c lw 87962
c lw 87963
c lw 87965
c lw 87966
c lw 87967
c lw 87968
c lw 87969
c lw 87970
c lw 87971
c lw 87972
c lw 87973
c lw 87974
c lw 87976
c lw 87977
c lw 87978
c lw 87979
c lw 87980
c lw 87981
c lw 87982
c lw 87983
c lw 87984
c lw 87985
c lw 87986
c lw 87987
c lw 87989
c lw 87990
c lw 87991
c lw 87992
c lw 87993
c lw 88030
c lw 88031
c lw 88032
c lw 88033
c lw 88074
c lw 88075
c lw 88076
c lw 88077
c lw 88078
c lw 88079
c lw 88083
c lw 88187
c lw 88191
c lw 88198
c lw 88221
c lw 88227
c lw 88228
c lw 88229
c lw 88230
c lw 88231
c lw 88232
c lw 88233
c lw 88234
c lw 88235
c lw 88236
c lw 88237
c lw 88238
c lw 88239
c lw 88240
c lw 88241
c lw 88242
c lw 88243
c lw 88244
c lw 88245
c lw 88246
c lw 88247
c lw 88248
c lw 88249
c lw 88250
c lw 88251
c lw 88252
c lw 88253
c lw 88254
c lw 88255
c lw 88256
c lw 88257
c lw 88258
c lw 88259
c lw 88260
c lw 88261
c lw 88262
c lw 88263
c lw 88264
c lw 88265
c lw 88266
c lw 88267
c lw 88268
c lw 88269
c lw 88270
c lw 88271
c lw 88272
c lw 88273
c lw 88274
c lw 88275
c lw 88276
c lw 88277
c lw 88304
c lw 88305
c lw 88308
c lw 88309
c lw 88310
c lw 88381
c lw 88382
c lw 88383
c lw 88384
c lw 88385
c lw 88386
c lw 88387
c lw 88388
c lw 88389
c lw 88390
c lw 88391
c lw 88392
c lw 88393
c lw 88394
c lw 88395
c lw 88396
c lw 88397
c lw 88398
c lw 88399
c lw 88400
c lw 88401
c lw 88402
c lw 88403
c lw 88408
c lw 88422
c lw 88423
c lw 88424
c lw 88425
c lw 88426
c lw 88427
c lw 88428
c lw 88429
c lw 88430
c lw 88431
c lw 88437
c lw 88438
c lw 88443
c lw 88444
c lw 88445
c lw 88454
c lw 88456
c lw 88458
c lw 88459
c lw 88460
c lw 88461
c lw 88462
c lw 88463
c lw 88464
c lw 88465
c lw 88466
c lw 88467
c lw 88468
c lw 88469
c lw 88500
c lw 88501
c lw 88503
c lw 88504
c lw 88533
c lw 88534
c lw 88548
c lw 88549
c lw 88550
c lw 88551
c lw 88552
c lw 88553
c lw 88554
c lw 88555
c lw 88556
c lw 88557
c lw 88558
c lw 88559
c lw 88560
c lw 88582
c lw 88592
c lw 88616
c lw 88648
c lw 88661
c lw 88673
c lw 88678
c lw 88682
c lw 88683
c lw 88684
c lw 88685
c lw 88801
c lw 88802
c lw 88803
c lw 88804
c lw 88805
c lw 88806
c lw 88807
c lw 88808
c lw 88809
c lw 88810
c lw 88811
c lw 88812
c lw 88813
c lw 88814
c lw 88825
c lw 88826
c lw 88827
c lw 88828
c lw 88829
c lw 88830
c lw 88831
c lw 88832
c lw 88833
c lw 88834
c lw 88835
c lw 88836
c lw 88837
c lw 88838
c lw 88839
c lw 88840
c lw 88841
c lw 88842
c lw 88843
c lw 88844
c lw 88845
c lw 88846
c lw 88847
c lw 88871
c lw 88872
c lw 88873
c lw 88874
c lw 88875
c lw 88876
c lw 88878
c lw 88879
c lw 88880
c lw 88881
c lw 88882
c lw 88883
c lw 88884
c lw 88885
c lw 88886
c lw 88887
c lw 88888
c lw 88889
c lw 88890
c lw 88891
c lw 88892
c lw 88893
c lw 88894
c lw 88895
c lw 88896
c lw 88897
c lw 88898
c lw 88899
c lw 88900
c lw 88901
c lw 88902
c lw 88903
c lw 88904
c lw 88905
c lw 88906
c lw 88907
c lw 88908
c lw 88909
c lw 88910
c lw 88911
c lw 88912
c lw 88913
c lw 88914
c lw 88915
c lw 88916
c lw 88917
c lw 88918
c lw 88919
c lw 88924
c lw 88925
c lw 88926
c lw 88927
c lw 88928
c lw 88929
c lw 88930
c lw 88935
c lw 88936
c lw 88937
c lw 88938
c lw 88939
c lw 88987
c lw 88999
c lw 89004
c lw 89005
c lw 89006
c lw 89007
c lw 89008
c lw 89009
c lw 89010
c lw 89011
c lw 89012
c lw 89013
c lw 89014
c lw 89015
c lw 89016
c lw 89017
c lw 89018
c lw 89019
c lw 89020
c lw 89021
c lw 89183
c lw 89184
c lw 89185
c lw 89186
c lw 89187
c lw 89188
c lw 89189
c lw 89203
c lw 89206
c lw 89220
c lw 89224
c lw 89266
c lw 89274
c lw 89279
c lw 89280
c lw 89281
c lw 89282
c lw 89283
c lw 89284
c lw 89285
c lw 89286
c lw 89287
c lw 89288
c lw 89289
c lw 89290
c lw 89291
c lw 89377
c lw 89390
c lw 89391
c lw 89392
c lw 89393
c lw 89394
c lw 89395
c lw 89396
c lw 89397
c lw 89398
c lw 89399
c lw 89400
c lw 89406
c lw 89414
c lw 89416
c lw 89417
c lw 89418
c lw 89419
c lw 89420
c lw 89421
c lw 89422
c lw 89423
c lw 89424
c lw 89425
c lw 89426
c lw 89427
c lw 89428
c lw 89430
c lw 89431
c lw 89432
c lw 89433
c lw 89434
c lw 89435
c lw 89436
c lw 89437
c lw 89438
c lw 89439
c lw 89440
c lw 89441
c lw 89442
c lw 89443
c lw 89444
c lw 89445
c lw 89446
c lw 89447
c lw 89448
c lw 89449
c lw 89450
c lw 89451
c lw 89452
c lw 89453
c lw 89454
c lw 89455
c lw 89456
c lw 89457
c lw 89458
c lw 89459
c lw 89460
c lw 89463
c lw 89464
c lw 89465
c lw 89466
c lw 89467
c lw 89468
c lw 89478
c lw 89479
c lw 89480
c lw 89481
c lw 89482
c lw 89483
c lw 89484
c lw 89485
c lw 89486
c lw 89487
c lw 89488
c lw 89489
c lw 89490
c lw 89491
c lw 89492
c lw 89493
c lw 89494
c lw 89496
c lw 89497
c lw 89498
c lw 89499
c lw 89500
c lw 89501
c lw 89502
c lw 89503
c lw 89504
c lw 89505
c lw 89506
c lw 89507
c lw 89508
c lw 89509
c lw 89510
c lw 89511
c lw 89512
c lw 89513
c lw 89514
c lw 89515
c lw 89516
c lw 89517
c lw 89518
c lw 89519
c lw 89520
Killed
1806.439u 13.311s 30:23.35 99.8%	0+0k 0+0io 0pf+0w