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_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 523
c lw 578
c lw 1338
c lw 1568
c lw 2555
c lw 2558
c lw 3410
c lw 3548
c lw 4078
c lw 4538
c lw 5525
c lw 5528
c lw 5881
c lw 6803
c lw 7725
c lw 8430
c lw 8647
c lw 8764
c lw 9905
c lw 11046
c lw 12122
c lw 12187
c lw 12892
c lw 13147
c lw 13312
c lw 14222
c lw 15132
c lw 16042
c lw 16902
c lw 17156
c lw 17919
c lw 18667
c lw 18682
c lw 19445
c lw 20193
c lw 20208
c lw 21163
c lw 21444
c lw 22327
c lw 22725
c lw 24006
c lw 24840
c lw 25287
c lw 25588
c lw 26336
c lw 26568
c lw 26821
c lw 27702
c lw 27849
c lw 28068
c lw 28920
c lw 29668
c lw 29772
c lw 30021
c lw 31031
c lw 31736
c lw 32041
c lw 32885
c lw 33139
c lw 33983
c lw 34237
c lw 34246
c lw 35215
c lw 35335
c lw 35525
c lw 35898
c lw 36478
c lw 36880
c lw 37015
c lw 37142
c lw 37847
c lw 37862
c lw 38552
c lw 38844
c lw 39414
c lw 39826
c lw 40541
c lw 41123
c lw 41163
c lw 41222
c lw 41998
c lw 42290
c lw 42774
c lw 43316
c lw 43764
c lw 44150
c lw 44754
c lw 44869
c lw 44974
c lw 45140
c lw 45657
c lw 46540
c lw 46938
c lw 47276
c lw 47457
c lw 48219
c lw 48738
c lw 49342
c lw 49500
c lw 50334
c lw 50383
c lw 50924
c lw 51168
c lw 52267
c lw 53366
c lw 53512
c lw 53660
c lw 54024
c lw 54220
c lw 54535
c lw 55418
c lw 55961
c lw 55986
c lw 56285
c lw 56485
c lw 56747
c lw 56811
c lw 57503
c lw 57808
c lw 58500
c lw 58630
c lw 59497
c lw 60494
c lw 61030
c lw 61458
c lw 62110
c lw 62445
c lw 62770
c lw 63495
c lw 63963
c lw 64162
c lw 64176
c lw 64492
c lw 65043
c lw 65718
c lw 65924
c lw 66112
c lw 66207
c lw 67055
c lw 68092
c lw 68414
c lw 68560
c lw 68967
c lw 69302
c lw 69531
c lw 70191
c lw 70379
c lw 70598
c lw 70830
c lw 70978
c lw 71366
c lw 71492
c lw 71688
c lw 71721
c lw 71752
c lw 71827
c lw 71973
c lw 72026
c lw 72109
c lw 72184
c lw 72330
c lw 72332
c lw 72458
c lw 72483
c lw 72553
c lw 72589
c lw 72808
c lw 72888
c lw 72974
c lw 73289
c lw 73394
c lw 73509
c lw 73540
c lw 73740
c lw 73760
c lw 74113
c lw 74128
c lw 74188
c lw 74255
c lw 74390
c lw 74730
c lw 74818
c lw 75142
c lw 75158
c lw 75198
c lw 75388
c lw 75434
c lw 75538
c lw 75790
c lw 76124
c lw 76286
c lw 76370
c lw 76419
c lw 76694
c lw 76749
c lw 76752
c lw 76869
c lw 77517
c lw 77520
c lw 77612
c lw 77729
c lw 77873
c lw 78049
c lw 78209
c lw 78252
c lw 78440
c lw 78745
c lw 78973
c lw 79000
c lw 79206
c lw 79316
c lw 79481
c lw 79556
c lw 79587
c lw 79656
c lw 79670
c lw 79723
c lw 79794
c lw 79869
c lw 80055
c lw 80069
c lw 80486
c lw 80531
c lw 80669
c lw 80748
c lw 80991
c lw 81129
c lw 81352
c lw 81367
c lw 81521
c lw 81981
c lw 82115
c lw 82311
c lw 82554
c lw 82762
c lw 82869
c lw 83037
c lw 83059
c lw 83263
c lw 83276
c lw 83422
c lw 83661
c lw 83721
c lw 84037
c lw 84095
c lw 84276
c lw 84423
c lw 84689
c lw 84791
c lw 84968
c lw 85222
c lw 85382
c lw 85972
c lw 86066
c lw 86131
c lw 86322
c lw 86432
c lw 86578
c lw 86810
c lw 86819
c lw 87281
c lw 87296
c lw 87526
c lw 87729
c lw 87738
c lw 88110
c lw 88295
c lw 88367
c lw 88471
c lw 88623
c lw 88918
c lw 89250
c lw 89279
c lw 89677
c lw 89905
c lw 90851
c lw 90948
c lw 91011
c lw 91076
c lw 91107
c lw 91182
c lw 91257
c lw 91452
c lw 91660
c lw 92203
c lw 92297
c lw 92634
c lw 92648
c lw 92973
c lw 93003
c lw 93058
c lw 93526
c lw 93528
c lw 93628
c lw 93781
c lw 93824
c lw 93850
c lw 93852
c lw 93856
c lw 93857
c lw 93928
c lw 94016
c lw 94020
c lw 94086
c lw 94100
c lw 94151
c lw 94167
c lw 94169
c lw 94215
c lw 94273
c lw 94275
c lw 94322
c lw 94530
c lw 94562
c lw 94669
c lw 94682
c lw 94691
c lw 94805
c lw 94901
c lw 94914
c lw 94979
c lw 95010
c lw 95037
c lw 95041
c lw 95043
c lw 95251
c lw 95287
c lw 95288
c lw 95290
c lw 95293
c lw 95382
c lw 95385
c lw 95393
c lw 95399
c lw 95411
c lw 95413
c lw 95422
c lw 95444
c lw 95457
c lw 95472
c lw 95481
c lw 95541
c lw 95544
c lw 95549
c lw 95554
c lw 95567
c lw 95685
c lw 95710
c lw 95721
c lw 95881
c lw 96016
c lw 96201
c lw 96219
c lw 96221
c lw 96293
c lw 96295
c lw 96353
c lw 96388
c lw 96415
c lw 96418
c lw 96482
c lw 96557
c lw 96621
c lw 96759
c lw 96774
c lw 96827
c lw 96845
c lw 96881
c lw 96902
c lw 96917
c lw 96943
c lw 96946
c lw 96949
c lw 96983
c lw 96990
c lw 97001
c lw 97017
c lw 97043
c lw 97100
c lw 97101
c lw 97113
c lw 97131
c lw 97134
c lw 97147
c lw 97197
c lw 97209
c lw 97212
c lw 97219
c lw 97223
c lw 97226
c lw 97231
c lw 97238
c lw 97290
c lw 97311
c lw 97316
c lw 97317
c lw 97320
c lw 97325
c lw 97326
c lw 97329
c lw 97371
c lw 97384
c lw 97385
c lw 97386
c lw 97551
c lw 97565
c lw 97571
c lw 97573
c lw 97576
c lw 97577
c lw 97579
c lw 97581
c lw 97585
c lw 97587
c lw 97588
c lw 97591
c lw 97597
c lw 97608
c lw 97611
c lw 97616
c lw 97618
c lw 97630
c lw 97633
c lw 97652
c lw 97653
c lw 97654
c lw 97655
c lw 97659
c lw 97661
c lw 97662
c lw 97665
c lw 97667
c lw 97703
c lw 97706
c lw 97709
c lw 97712
c lw 97724
c lw 97727
c lw 97730
c lw 97731
c lw 97732
c lw 97733
c lw 97735
c lw 97739
c lw 97740
c lw 97743
c lw 97747
c lw 97751
c lw 97755
c lw 97769
c lw 97774
c lw 97778
c lw 97799
c lw 97801
c lw 97802
c lw 97803
c lw 97804
c lw 97805
c lw 97807
c lw 97810
c lw 97811
c lw 97812
c lw 97813
c lw 97814
c lw 97816
c lw 97817
c lw 97818
c lw 97819
c lw 97820
c lw 97821
c lw 97824
c lw 97825
c lw 97828
c lw 97829
c lw 97830
c lw 97831
c lw 97834
c lw 97837
c lw 97838
c lw 97839
c lw 97841
c lw 97842
c lw 97844
c lw 97848
c lw 97849
c lw 97850
c lw 97851
c lw 97853
c lw 97854
c lw 97855
c lw 97856
c lw 97857
c lw 97858
c lw 97859
c lw 97860
c lw 97861
c lw 97862
c lw 97863
c lw 97864
c lw 97865
c lw 97866
c lw 97867
c lw 97868
c lw 97869
c lw 97870
c lw 97872
c lw 97874
c lw 97875
c lw 97876
c lw 97877
c lw 97878
c lw 97879
c lw 97882
c lw 97884
c lw 97885
c lw 97886
c lw 97887
c lw 97888
c lw 97889
c lw 97890
c lw 97891
c lw 97892
c lw 97893
c lw 97894
c lw 97895
c lw 97897
c lw 97898
c lw 97901
c lw 97902
c lw 97903
c lw 97904
c lw 97905
c lw 97906
c lw 97907
c lw 97908
c lw 97909
c lw 97910
c lw 97911
c lw 97912
c lw 97913
c lw 97914
c lw 97915
c lw 97916
c lw 97917
c lw 97918
c lw 97919
c lw 97920
c lw 97921
c lw 97922
c lw 97923
c lw 97924
c lw 97925
c lw 97926
c lw 97927
c lw 97928
c lw 97929
c lw 97930
c lw 97931
c lw 97932
c lw 97954
c lw 97955
c lw 97956
c lw 97958
c lw 97959
c lw 97995
c lw 98026
c lw 98090
c lw 98125
c lw 98126
c lw 98127
c lw 98128
c lw 98129
c lw 98130
c lw 98133
c lw 98136
c lw 98137
c lw 98138
c lw 98139
c lw 98140
c lw 98141
c lw 98142
c lw 98145
c lw 98147
c lw 98156
c lw 98157
c lw 98158
c lw 98159
c lw 98160
c lw 98161
c lw 98162
c lw 98164
c lw 98166
c lw 98171
c lw 98174
c lw 98175
c lw 98176
c lw 98185
c lw 98230
c lw 98266
c lw 98279
c lw 98309
c lw 98355
c lw 98367
c lw 98368
c lw 98370
c lw 98372
c lw 98374
c lw 98382
c lw 98391
c lw 98394
c lw 98397
c lw 98403
c lw 98404
c lw 98418
c lw 98429
c lw 98432
c lw 98433
c lw 98437
c lw 98438
c lw 98439
c lw 98440
c lw 98441
c lw 98442
c lw 98444
c lw 98445
c lw 98446
c lw 98452
c lw 98455
c lw 98460
c lw 98461
c lw 98463
c lw 98464
c lw 98465
c lw 98471
c lw 98477
c lw 98480
c lw 98481
c lw 98482
c lw 98483
c lw 98484
c lw 98485
c lw 98486
c lw 98487
c lw 98488
c lw 98489
c lw 98490
c lw 98491
c lw 98500
c lw 98501
c lw 98502
c lw 98503
c lw 98514
c lw 98522
c lw 98523
c lw 98524
c lw 98525
c lw 98526
c lw 98528
c lw 98529
c lw 98530
c lw 98531
c lw 98532
c lw 98533
c lw 98534
c lw 98535
c lw 98536
c lw 98537
c lw 98538
c lw 98539
c lw 98540
c lw 98541
c lw 98542
c lw 98543
c lw 98544
c lw 98545
c lw 98546
c lw 98547
c lw 98548
c lw 98549
c lw 98550
c lw 98551
c lw 98552
c lw 98553
c lw 98554
c lw 98555
c lw 98556
c lw 98557
c lw 98558
c lw 98559
c lw 98560
c lw 98561
c lw 98562
c lw 98563
c lw 98564
c lw 98565
c lw 98566
c lw 98567
c lw 98568
c lw 98569
c lw 98570
c lw 98571
c lw 98572
c lw 98573
c lw 98574
c lw 98575
c lw 98576
c lw 98577
c lw 98578
c lw 98580
c lw 98581
c lw 98582
c lw 98586
c lw 98587
c lw 98588
c lw 98589
c lw 98590
c lw 98591
c lw 98592
c lw 98593
c lw 98594
c lw 98596
c lw 98606
c lw 98607
c lw 98608
c lw 98609
c lw 98611
c lw 98612
c lw 98613
c lw 98614
c lw 98616
c lw 98621
c lw 98622
c lw 98631
c lw 98632
c lw 98633
c lw 98634
c lw 98635
c lw 98636
c lw 98637
c lw 98638
c lw 98639
c lw 98640
c lw 98641
c lw 98642
c lw 98643
c lw 98644
c lw 98646
c lw 98647
c lw 98648
c lw 98651
c lw 98652
c lw 98653
c lw 98654
c lw 98655
c lw 98656
c lw 98657
c lw 98658
c lw 98659
c lw 98660
c lw 98661
c lw 98662
c lw 98663
c lw 98664
c lw 98665
c lw 98666
c lw 98667
c lw 98668
c lw 98669
c lw 98670
c lw 98671
c lw 98672
c lw 98673
c lw 98676
c lw 98684
c lw 98686
c lw 98687
c lw 98690
c lw 98691
c lw 98692
c lw 98693
c lw 98694
c lw 98702
c lw 98703
c lw 98704
c lw 98705
c lw 98706
c lw 98707
c lw 98708
c lw 98709
c lw 98710
c lw 98711
c lw 98712
c lw 98713
c lw 98714
c lw 98715
c lw 98728
c lw 98729
c lw 98730
c lw 98731
c lw 98732
c lw 98733
c lw 98734
c lw 98735
c lw 98736
c lw 98737
c lw 98738
c lw 98739
c lw 98740
c lw 98741
c lw 98742
c lw 98743
c lw 98744
c lw 98745
c lw 98746
c lw 98747
c lw 98748
c lw 98749
c lw 98750
c lw 98751
c lw 98845
c lw 98846
c lw 98853
c lw 98854
c lw 98904
c lw 98905
c lw 98906
c lw 98907
c lw 98908
c lw 98909
c lw 98910
c lw 98911
c lw 98912
c lw 98913
c lw 98914
c lw 98915
c lw 98916
c lw 98917
c lw 98918
c lw 98919
c lw 98920
c lw 98940
c lw 98941
c lw 98942
c lw 98943
c lw 98944
c lw 98970
c lw 98974
c lw 98975
c lw 98976
c lw 98977
c lw 98978
c lw 98979
c lw 98980
c lw 98981
c lw 98982
c lw 98983
c lw 98996
c lw 99001
c lw 99002
c lw 99003
c lw 99004
c lw 99005
c lw 99006
c lw 99007
c lw 99008
c lw 99009
c lw 99011
c lw 99012
c lw 99013
c lw 99014
c lw 99039
c lw 99040
c lw 99041
c lw 99042
c lw 99043
c lw 99045
c lw 99046
c lw 99049
c lw 99050
c lw 99051
c lw 99052
c lw 99053
c lw 99054
c lw 99066
c lw 99067
c lw 99068
c lw 99069
c lw 99070
c lw 99071
c lw 99072
c lw 99074
c lw 99075
c lw 99076
c lw 99077
c lw 99078
c lw 99079
c lw 99080
c lw 99081
c lw 99082
c lw 99083
c lw 99084
c lw 99085
c lw 99086
c lw 99087
c lw 99088
c lw 99089
c lw 99093
c lw 99094
c lw 99095
c lw 99096
c lw 99097
c lw 99098
c lw 99099
c lw 99100
c lw 99101
c lw 99102
c lw 99103
c lw 99106
c lw 99125
c lw 99126
c lw 99127
c lw 99128
c lw 99129
c lw 99130
c lw 99131
c lw 99132
c lw 99136
c lw 99137
c lw 99143
c lw 99144
c lw 99171
c lw 99172
c lw 99173
c lw 99174
c lw 99175
c lw 99176
c lw 99177
c lw 99178
c lw 99179
c lw 99180
c lw 99181
c lw 99182
c lw 99183
c lw 99184
c lw 99185
c lw 99186
c lw 99187
c lw 99283
c lw 99357
c lw 99358
c lw 99359
c lw 99360
c lw 99362
c lw 99364
c lw 99365
c lw 99366
c lw 99367
c lw 99368
c lw 99369
c lw 99370
c lw 99371
c lw 99372
c lw 99373
c lw 99374
c lw 99375
c lw 99376
c lw 99377
c lw 99378
c lw 99379
c lw 99380
c lw 99381
c lw 99382
c lw 99383
c lw 99384
c lw 99385
c lw 99386
c lw 99387
c lw 99388
c lw 99395
c lw 99398
c lw 99417
c lw 99441
c lw 99445
c lw 99446
c lw 99447
c lw 99448
c lw 99449
c lw 99450
c lw 99451
c lw 99452
c lw 99454
c lw 99455
c lw 99461
c lw 99462
c lw 99463
c lw 99464
c lw 99465
c lw 99466
c lw 99467
c lw 99468
c lw 99469
c lw 99470
c lw 99471
c lw 99472
c lw 99473
c lw 99485
c lw 99486
c lw 99487
c lw 99488
c lw 99489
c lw 99515
c lw 99516
c lw 99517
c lw 99518
c lw 99519
c lw 99520
c lw 99521
c lw 99522
c lw 99525
c lw 99532
c lw 99533
c lw 99536
c lw 99537
c lw 99538
c lw 99539
c lw 99542
c lw 99543
c lw 99544
c lw 99545
c lw 99546
c lw 99547
c lw 99549
c lw 99550
c lw 99551
c lw 99552
c lw 99553
c lw 99554
c lw 99555
c lw 99556
c lw 99557
c lw 99558
c lw 99559
c lw 99560
c lw 99561
c lw 99562
c lw 99563
c lw 99566
c lw 99571
c lw 99572
c lw 99573
c lw 99574
c lw 99575
c lw 99576
c lw 99577
c lw 99578
c lw 99579
c lw 99580
c lw 99581
c lw 99583
c lw 99584
c lw 99585
c lw 99586
c lw 99587
c lw 99588
c lw 99590
c lw 99591
c lw 99592
c lw 99593
c lw 99594
c lw 99595
c lw 99596
c lw 99597
c lw 99598
c lw 99599
c lw 99600
c lw 99601
c lw 99602
c lw 99603
c lw 99604
c lw 99605
c lw 99606
c lw 99607
c lw 99608
c lw 99609
c lw 99610
c lw 99611
c lw 99612
c lw 99613
c lw 99614
c lw 99615
c lw 99616
c lw 99617
c lw 99618
c lw 99619
c lw 99620
c lw 99621
c lw 99622
c lw 99623
c lw 99624
c lw 99625
c lw 99626
c lw 99627
c lw 99747
c lw 99748
c lw 99749
c lw 99750
c lw 99751
c lw 99752
c lw 99753
c lw 99754
c lw 99755
c lw 99756
c lw 99757
c lw 99758
c lw 99818
c lw 99905
c lw 99975
c lw 100086
c lw 100120
c lw 100121
c lw 100122
c lw 100123
c lw 100124
c lw 100125
c lw 100126
c lw 100127
c lw 100128
c lw 100129
c lw 100130
c lw 100131
c lw 100132
c lw 100133
c lw 100134
c lw 100143
c lw 100144
c lw 100145
c lw 100146
c lw 100147
c lw 100148
c lw 100149
c lw 100150
c lw 100151
c lw 100152
c lw 100153
c lw 100154
c lw 100155
c lw 100156
c lw 100157
c lw 100158
c lw 100159
c lw 100160
c lw 100161
c lw 100162
c lw 100163
c lw 100164
c lw 100165
c lw 100166
c lw 100167
c lw 100168
c lw 100169
c lw 100227
c lw 100233
c lw 100234
c lw 100235
c lw 100236
c lw 100237
c lw 100238
c lw 100239
c lw 100240
c lw 100241
c lw 100242
c lw 100244
c lw 100245
c lw 100246
c lw 100247
c lw 100248
c lw 100249
c lw 100250
c lw 100251
c lw 100252
c lw 100253
c lw 100268
c lw 100269
c lw 100270
c lw 100271
c lw 100272
c lw 100273
c lw 100274
c lw 100275
c lw 100276
c lw 100277
c lw 100278
c lw 100279
c lw 100280
c lw 100281
c lw 100282
c lw 100289
Killed
1807.020u 12.718s 30:20.05 99.9%	0+0k 0+0io 0pf+0w