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_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_170_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 727
c lw 1197
c lw 1454
c lw 2181
c lw 2428
c lw 2908
c lw 3290
c lw 3937
c lw 4584
c lw 5231
c lw 5811
c lw 5936
c lw 6126
c lw 6662
c lw 7242
c lw 7822
c lw 8489
c lw 9156
c lw 9829
c lw 10213
c lw 10830
c lw 10894
c lw 11575
c lw 12214
c lw 12256
c lw 12447
c lw 13120
c lw 13298
c lw 13668
c lw 14149
c lw 14297
c lw 14380
c lw 14780
c lw 15159
c lw 15180
c lw 15611
c lw 16649
c lw 17687
c lw 18410
c lw 18725
c lw 19066
c lw 19299
c lw 20008
c lw 20681
c lw 20862
c lw 21306
c lw 21354
c lw 22027
c lw 22141
c lw 22295
c lw 23059
c lw 23968
c lw 23977
c lw 24067
c lw 24895
c lw 25813
c lw 25928
c lw 26731
c lw 27510
c lw 27828
c lw 28331
c lw 28761
c lw 28807
c lw 28987
c lw 29152
c lw 29233
c lw 29752
c lw 30142
c lw 30352
c lw 30787
c lw 31051
c lw 31065
c lw 31578
c lw 31744
c lw 32217
c lw 33112
c lw 33135
c lw 34035
c lw 34053
c lw 34424
c lw 34930
c lw 34971
c lw 35446
c lw 35518
c lw 35889
c lw 36354
c lw 36807
c lw 37121
c lw 37200
c lw 37392
c lw 38065
c lw 38257
c lw 38752
c lw 38930
c lw 39621
c lw 39936
c lw 40435
c lw 40693
c lw 40764
c lw 40944
c lw 41044
c lw 41953
c lw 42389
c lw 42580
c lw 42825
c lw 42932
c lw 43185
c lw 43238
c lw 43645
c lw 43728
c lw 44099
c lw 44105
c lw 44276
c lw 44538
c lw 44729
c lw 45094
c lw 45100
c lw 45450
c lw 45778
c lw 46189
c lw 46888
c lw 47587
c lw 48032
c lw 48286
c lw 48985
c lw 49834
c lw 50356
c lw 50423
c lw 50641
c lw 50810
c lw 51020
c lw 51719
c lw 52110
c lw 52223
c lw 52706
c lw 52894
c lw 53340
c lw 53384
c lw 53920
c lw 54405
c lw 54938
c lw 55088
c lw 55751
c lw 56035
c lw 56266
c lw 56457
c lw 56995
c lw 57180
c lw 57270
c lw 57668
c lw 57709
c lw 58192
c lw 58445
c lw 58762
c lw 58852
c lw 59136
c lw 59385
c lw 59769
c lw 59815
c lw 59886
c lw 59922
c lw 60005
c lw 60046
c lw 60058
c lw 60295
c lw 60460
c lw 60478
c lw 60592
c lw 60608
c lw 60610
c lw 60788
c lw 60794
c lw 60936
c lw 60979
c lw 61189
c lw 61369
c lw 61452
c lw 61529
c lw 61695
c lw 61817
c lw 61823
c lw 61936
c lw 62070
c lw 62107
c lw 62287
c lw 62333
c lw 62365
c lw 62369
c lw 62448
c lw 62458
c lw 62512
c lw 62624
c lw 62736
c lw 62766
c lw 62808
c lw 62901
c lw 62942
c lw 63292
c lw 63313
c lw 63407
c lw 63772
c lw 63805
c lw 63816
c lw 63860
c lw 63877
c lw 63883
c lw 63895
c lw 63992
c lw 64006
c lw 64270
c lw 64705
c lw 64778
c lw 64813
c lw 64915
c lw 65351
c lw 65520
c lw 65614
c lw 65641
c lw 65731
c lw 65916
c lw 66045
c lw 66123
c lw 66237
c lw 66405
c lw 66559
c lw 66884
c lw 66910
c lw 66932
c lw 67113
c lw 67376
c lw 67397
c lw 67583
c lw 67803
c lw 67954
c lw 68199
c lw 68377
c lw 68514
c lw 68698
c lw 68813
c lw 69130
c lw 69600
c lw 69909
c lw 69963
c lw 70080
c lw 70271
c lw 70327
c lw 70586
c lw 70611
c lw 70653
c lw 70694
c lw 70781
c lw 70871
c lw 71108
c lw 71299
c lw 71336
c lw 71344
c lw 71370
c lw 71373
c lw 71399
c lw 71528
c lw 71641
c lw 71741
c lw 71750
c lw 72199
c lw 72253
c lw 72490
c lw 72502
c lw 72510
c lw 72721
c lw 72811
c lw 72884
c lw 72930
c lw 72997
c lw 73066
c lw 73189
c lw 73387
c lw 73565
c lw 74034
c lw 74287
c lw 74413
c lw 74592
c lw 74717
c lw 75000
c lw 75087
c lw 75130
c lw 75264
c lw 75416
c lw 75521
c lw 75562
c lw 75566
c lw 75580
c lw 75657
c lw 75677
c lw 75877
c lw 75883
c lw 75975
c lw 76793
c lw 76828
c lw 76874
c lw 76945
c lw 76981
c lw 77017
c lw 77064
c lw 77080
c lw 77098
c lw 77105
c lw 77117
c lw 77254
c lw 77263
c lw 77320
c lw 77374
c lw 77481
c lw 77487
c lw 77499
c lw 77502
c lw 77523
c lw 77574
c lw 77590
c lw 77613
c lw 77707
c lw 77734
c lw 77759
c lw 77775
c lw 77776
c lw 77817
c lw 77846
c lw 77850
c lw 77883
c lw 77891
c lw 77917
c lw 77920
c lw 77929
c lw 77930
c lw 77946
c lw 77971
c lw 77975
c lw 78013
c lw 78017
c lw 78046
c lw 78065
c lw 78068
c lw 78069
c lw 78085
c lw 78089
c lw 78171
c lw 78179
c lw 78183
c lw 78214
c lw 78241
c lw 78254
c lw 78260
c lw 78264
c lw 78282
c lw 78293
c lw 78296
c lw 78317
c lw 78341
c lw 78345
c lw 78347
c lw 78348
c lw 78351
c lw 78357
c lw 78463
c lw 78477
c lw 78483
c lw 78484
c lw 78502
c lw 78601
c lw 78655
c lw 78716
c lw 78747
c lw 78913
c lw 78921
c lw 78928
c lw 78929
c lw 78940
c lw 78944
c lw 79021
c lw 79066
c lw 79115
c lw 79217
c lw 79319
c lw 79323
c lw 79423
c lw 79431
c lw 79435
c lw 79462
c lw 79662
c lw 79682
c lw 79706
c lw 79707
c lw 79715
c lw 79832
c lw 79833
c lw 79837
c lw 79840
c lw 79844
c lw 79845
c lw 79846
c lw 79847
c lw 79848
c lw 79849
c lw 79851
c lw 79856
c lw 79860
c lw 79876
c lw 79878
c lw 79879
c lw 79880
c lw 79881
c lw 79882
c lw 79883
c lw 79886
c lw 79887
c lw 79888
c lw 79889
c lw 79897
c lw 79898
c lw 79899
c lw 79900
c lw 79901
c lw 79902
c lw 79903
c lw 79904
c lw 79905
c lw 79922
c lw 79923
c lw 79924
c lw 79925
c lw 79926
c lw 79927
c lw 79928
c lw 79929
c lw 79934
c lw 79935
c lw 79936
c lw 79938
c lw 79948
c lw 79949
c lw 79950
c lw 79951
c lw 79952
c lw 79953
c lw 79954
c lw 79955
c lw 79956
c lw 79957
c lw 79960
c lw 79961
c lw 79962
c lw 79963
c lw 79964
c lw 79965
c lw 79966
c lw 79969
c lw 79970
c lw 79974
c lw 80050
c lw 80051
c lw 80052
c lw 80053
c lw 80054
c lw 80055
c lw 80056
c lw 80057
c lw 80058
c lw 80059
c lw 80060
c lw 80061
c lw 80062
c lw 80063
c lw 80064
c lw 80065
c lw 80066
c lw 80067
c lw 80069
c lw 80070
c lw 80071
c lw 80072
c lw 80073
c lw 80074
c lw 80075
c lw 80076
c lw 80077
c lw 80078
c lw 80079
c lw 80080
c lw 80081
c lw 80082
c lw 80083
c lw 80085
c lw 80086
c lw 80092
c lw 80109
c lw 80113
c lw 80136
c lw 80141
c lw 80142
c lw 80215
c lw 80220
c lw 80223
c lw 80272
c lw 80273
c lw 80278
c lw 80299
c lw 80323
c lw 80327
c lw 80329
c lw 80330
c lw 80334
c lw 80335
c lw 80341
c lw 80344
c lw 80345
c lw 80347
c lw 80380
c lw 80388
c lw 80391
c lw 80409
c lw 80410
c lw 80420
c lw 80437
c lw 80438
c lw 80439
c lw 80440
c lw 80441
c lw 80442
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 80458
c lw 80531
c lw 80548
c lw 80558
c lw 80562
c lw 80566
c lw 80580
c lw 80583
c lw 80585
c lw 80586
c lw 80590
c lw 80591
c lw 80592
c lw 80593
c lw 80594
c lw 80599
c lw 80600
c lw 80623
c lw 80627
c lw 80631
c lw 80638
c lw 80668
c lw 80672
c lw 80673
c lw 80674
c lw 80675
c lw 80676
c lw 80680
c lw 80684
c lw 80685
c lw 80686
c lw 80687
c lw 80691
c lw 80692
c lw 80693
c lw 80815
c lw 80816
c lw 80817
c lw 80818
c lw 80819
c lw 80820
c lw 80833
c lw 80842
c lw 80859
c lw 80860
c lw 80861
c lw 80947
c lw 80948
c lw 80956
c lw 80957
c lw 80965
c lw 80966
c lw 80969
c lw 80972
c lw 80973
c lw 80974
c lw 80976
c lw 80977
c lw 80978
c lw 80985
c lw 80986
c lw 81057
c lw 81058
c lw 81059
c lw 81060
c lw 81061
c lw 81062
c lw 81063
c lw 81064
c lw 81065
c lw 81066
c lw 81067
c lw 81068
c lw 81069
c lw 81070
c lw 81071
c lw 81072
c lw 81073
c lw 81074
c lw 81075
c lw 81076
c lw 81077
c lw 81078
c lw 81079
c lw 81081
c lw 81082
c lw 81105
c lw 81114
c lw 81115
c lw 81116
c lw 81117
c lw 81118
c lw 81119
c lw 81120
c lw 81141
c lw 81142
c lw 81143
c lw 81144
c lw 81145
c lw 81146
c lw 81147
c lw 81148
c lw 81149
c lw 81150
c lw 81151
c lw 81152
c lw 81153
c lw 81171
c lw 81172
c lw 81193
c lw 81196
c lw 81208
c lw 81209
c lw 81210
c lw 81211
c lw 81212
c lw 81213
c lw 81214
c lw 81215
c lw 81216
c lw 81217
c lw 81218
c lw 81219
c lw 81346
c lw 81347
c lw 81348
c lw 81349
c lw 81350
c lw 81351
c lw 81352
c lw 81353
c lw 81354
c lw 81355
c lw 81356
c lw 81357
c lw 81358
c lw 81360
c lw 81362
c lw 81367
c lw 81369
c lw 81373
c lw 81374
c lw 81375
c lw 81376
c lw 81377
c lw 81378
c lw 81381
c lw 81382
c lw 81383
c lw 81384
c lw 81385
c lw 81386
c lw 81387
c lw 81388
c lw 81392
c lw 81397
c lw 81398
c lw 81399
c lw 81400
c lw 81401
c lw 81409
c lw 81410
c lw 81411
c lw 81412
c lw 81413
c lw 81414
c lw 81415
c lw 81416
c lw 81420
c lw 81421
c lw 81422
c lw 81423
c lw 81424
c lw 81425
c lw 81426
c lw 81427
c lw 81428
c lw 81429
c lw 81430
c lw 81431
c lw 81432
c lw 81433
c lw 81434
c lw 81435
c lw 81436
c lw 81437
c lw 81438
c lw 81439
c lw 81440
c lw 81441
c lw 81442
c lw 81443
c lw 81445
c lw 81446
c lw 81447
c lw 81448
c lw 81451
c lw 81457
c lw 81479
c lw 81480
c lw 81481
c lw 81482
c lw 81483
c lw 81484
c lw 81488
c lw 81496
c lw 81497
c lw 81498
c lw 81499
c lw 81500
c lw 81501
c lw 81502
c lw 81503
c lw 81504
c lw 81505
c lw 81506
c lw 81507
c lw 81508
c lw 81509
c lw 81510
c lw 81511
c lw 81517
c lw 81518
c lw 81519
c lw 81520
c lw 81521
c lw 81523
c lw 81524
c lw 81525
c lw 81526
c lw 81527
c lw 81528
c lw 81529
c lw 81530
c lw 81531
c lw 81534
c lw 81535
c lw 81536
c lw 81538
c lw 81539
c lw 81540
c lw 81541
c lw 81542
c lw 81543
c lw 81544
c lw 81545
c lw 81546
c lw 81547
c lw 81548
c lw 81550
c lw 81551
c lw 81552
c lw 81553
c lw 81554
c lw 81556
c lw 81557
c lw 81558
c lw 81559
c lw 81560
c lw 81561
c lw 81562
c lw 81563
c lw 81564
c lw 81565
c lw 81566
c lw 81567
c lw 81569
c lw 81570
c lw 81571
c lw 81572
c lw 81573
c lw 81574
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 81588
c lw 81589
c lw 81590
c lw 81591
c lw 81592
c lw 81593
c lw 81594
c lw 81595
c lw 81596
c lw 81617
c lw 81618
c lw 81619
c lw 81621
c lw 81622
c lw 81623
c lw 81624
c lw 81625
c lw 81626
c lw 81627
c lw 81628
c lw 81629
c lw 81630
c lw 81635
c lw 81636
c lw 81637
c lw 81638
c lw 81639
c lw 81640
c lw 81641
c lw 81642
c lw 81643
c lw 81644
c lw 81645
c lw 81646
c lw 81649
c lw 81655
c lw 81656
c lw 81728
c lw 81729
c lw 81730
c lw 81731
c lw 81732
c lw 81733
c lw 81734
c lw 81735
c lw 81736
c lw 81737
c lw 81738
c lw 81739
c lw 81740
c lw 81741
c lw 81742
c lw 81743
c lw 81744
c lw 81745
c lw 81746
c lw 81747
c lw 81748
c lw 81752
c lw 81753
c lw 81754
c lw 81755
c lw 81756
c lw 81757
c lw 81758
c lw 81759
c lw 81760
c lw 81761
c lw 81762
c lw 81763
c lw 81764
c lw 81786
c lw 81787
c lw 81818
c lw 81819
c lw 81820
c lw 81821
c lw 81822
c lw 81823
c lw 81824
c lw 81825
c lw 81826
c lw 81830
c lw 81871
c lw 81877
c lw 81878
c lw 81882
c lw 81883
c lw 81888
c lw 81889
c lw 81892
c lw 81896
c lw 81897
c lw 81898
c lw 81899
c lw 81900
c lw 81901
c lw 81902
c lw 81903
c lw 81904
c lw 81905
c lw 81946
c lw 81947
c lw 81954
c lw 81956
c lw 82001
c lw 82002
c lw 82005
c lw 82017
c lw 82018
c lw 82019
c lw 82046
Killed
1811.890u 7.869s 30:20.15 99.9%	0+0k 0+0io 0pf+0w