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_100_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_100_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 117
c lw 585
c lw 989
c lw 1515
c lw 2292
c lw 2445
c lw 3355
c lw 3375
c lw 4305
c lw 5235
c lw 6410
c lw 6430
c lw 7070
c lw 7625
c lw 7942
c lw 8294
c lw 8678
c lw 8962
c lw 9489
c lw 10207
c lw 10925
c lw 11195
c lw 11547
c lw 12169
c lw 12780
c lw 13228
c lw 13648
c lw 13923
c lw 14516
c lw 14964
c lw 15384
c lw 15578
c lw 15772
c lw 16252
c lw 16995
c lw 17120
c lw 17568
c lw 17913
c lw 18440
c lw 18896
c lw 19312
c lw 19843
c lw 19894
c lw 20180
c lw 20954
c lw 21048
c lw 21906
c lw 21916
c lw 22432
c lw 23300
c lw 23388
c lw 24187
c lw 24298
c lw 24986
c lw 25208
c lw 25274
c lw 25402
c lw 25965
c lw 26516
c lw 26875
c lw 27086
c lw 27749
c lw 27807
c lw 28528
c lw 29511
c lw 29713
c lw 30376
c lw 30494
c lw 30674
c lw 31119
c lw 31657
c lw 32282
c lw 32293
c lw 32794
c lw 32937
c lw 32997
c lw 33705
c lw 33712
c lw 34480
c lw 34502
c lw 35048
c lw 35165
c lw 35704
c lw 35911
c lw 36472
c lw 36679
c lw 37236
c lw 38035
c lw 38215
c lw 38265
c lw 38928
c lw 39130
c lw 39489
c lw 39493
c lw 39632
c lw 39683
c lw 39958
c lw 40152
c lw 40346
c lw 40723
c lw 40759
c lw 40849
c lw 41167
c lw 41558
c lw 41639
c lw 42218
c lw 42570
c lw 42858
c lw 42976
c lw 43338
c lw 43421
c lw 43466
c lw 43560
c lw 43619
c lw 43640
c lw 43771
c lw 44155
c lw 44175
c lw 44219
c lw 44340
c lw 44417
c lw 44528
c lw 44948
c lw 45139
c lw 45328
c lw 45445
c lw 45844
c lw 45863
c lw 46017
c lw 46027
c lw 46121
c lw 46208
c lw 46215
c lw 46303
c lw 46420
c lw 46423
c lw 46430
c lw 46957
c lw 46958
c lw 46965
c lw 47167
c lw 47406
c lw 47414
c lw 47471
c lw 47596
c lw 47862
c lw 47905
c lw 48175
c lw 48195
c lw 48282
c lw 48311
c lw 48416
c lw 48438
c lw 48491
c lw 48627
c lw 48673
c lw 48754
c lw 48815
c lw 48868
c lw 48879
c lw 49051
c lw 49470
c lw 49874
c lw 49893
c lw 49897
c lw 49974
c lw 50114
c lw 50317
c lw 50528
c lw 50531
c lw 50715
c lw 51060
c lw 51213
c lw 51703
c lw 51739
c lw 51761
c lw 51797
c lw 51859
c lw 52021
c lw 52156
c lw 52160
c lw 52164
c lw 52192
c lw 52215
c lw 52245
c lw 52490
c lw 52499
c lw 52536
c lw 52578
c lw 52597
c lw 52611
c lw 52655
c lw 52665
c lw 52675
c lw 52684
c lw 52701
c lw 52704
c lw 52745
c lw 52861
c lw 52863
c lw 52878
c lw 52895
c lw 52924
c lw 52945
c lw 52964
c lw 53001
c lw 53047
c lw 53048
c lw 53056
c lw 53068
c lw 53099
c lw 53104
c lw 53108
c lw 53261
c lw 53269
c lw 53328
c lw 53405
c lw 53414
c lw 53448
c lw 53460
c lw 53480
c lw 53546
c lw 53566
c lw 53646
c lw 53655
c lw 53658
c lw 53659
c lw 53660
c lw 53663
c lw 53691
c lw 53742
c lw 53744
c lw 53746
c lw 53747
c lw 53756
c lw 53773
c lw 53834
c lw 53839
c lw 53841
c lw 53843
c lw 53844
c lw 53845
c lw 53846
c lw 53847
c lw 53848
c lw 53851
c lw 53852
c lw 53854
c lw 53856
c lw 53858
c lw 53860
c lw 53861
c lw 53862
c lw 53863
c lw 53864
c lw 53871
c lw 53872
c lw 53873
c lw 53874
c lw 53875
c lw 53877
c lw 53878
c lw 53879
c lw 53880
c lw 53881
c lw 53885
c lw 53886
c lw 53889
c lw 53890
c lw 53892
c lw 53893
c lw 53894
c lw 53895
c lw 53897
c lw 53898
c lw 53899
c lw 53900
c lw 53905
c lw 53932
c lw 53933
c lw 53934
c lw 53935
c lw 53936
c lw 53937
c lw 53938
c lw 53939
c lw 53994
c lw 54014
c lw 54030
c lw 54031
c lw 54033
c lw 54048
c lw 54064
c lw 54108
c lw 54137
c lw 54144
c lw 54145
c lw 54154
c lw 54158
c lw 54167
c lw 54173
c lw 54175
c lw 54184
c lw 54193
c lw 54227
c lw 54245
c lw 54246
c lw 54247
c lw 54248
c lw 54249
c lw 54250
c lw 54251
c lw 54263
c lw 54265
c lw 54274
c lw 54275
c lw 54282
c lw 54283
c lw 54284
c lw 54285
c lw 54287
c lw 54288
c lw 54289
c lw 54309
c lw 54310
c lw 54311
c lw 54312
c lw 54313
c lw 54314
c lw 54315
c lw 54316
c lw 54317
c lw 54318
c lw 54319
c lw 54320
c lw 54334
c lw 54509
c lw 54510
c lw 54511
c lw 54512
c lw 54513
c lw 54514
c lw 54517
c lw 54518
c lw 54519
c lw 54520
c lw 54521
c lw 54522
c lw 54523
c lw 54524
c lw 54526
c lw 54527
c lw 54528
c lw 54558
c lw 54559
c lw 54565
c lw 54567
c lw 54568
c lw 54570
c lw 54574
c lw 54575
c lw 54576
c lw 54577
c lw 54578
c lw 54579
c lw 54580
c lw 54581
c lw 54583
c lw 54586
c lw 54587
c lw 54588
c lw 54589
c lw 54590
c lw 54595
c lw 54596
c lw 54597
c lw 54607
c lw 54610
c lw 54611
c lw 54614
c lw 54616
c lw 54638
c lw 54738
c lw 54740
c lw 54741
c lw 54760
c lw 54764
c lw 54766
c lw 54770
c lw 54771
c lw 54772
c lw 54773
c lw 54774
c lw 54775
c lw 54781
c lw 54792
c lw 54793
c lw 54794
c lw 54795
c lw 54796
c lw 54797
c lw 54798
c lw 54799
c lw 54800
c lw 54801
c lw 54802
c lw 54804
c lw 54817
c lw 54818
c lw 54828
c lw 54829
c lw 54834
c lw 54835
c lw 54836
c lw 54837
c lw 54838
c lw 54843
c lw 54844
c lw 54845
c lw 54846
c lw 54847
c lw 54848
c lw 54849
c lw 54850
c lw 54851
c lw 54852
c lw 54853
c lw 54855
c lw 54856
c lw 54857
c lw 54858
c lw 54859
c lw 54860
c lw 54861
c lw 54862
c lw 54863
c lw 54864
c lw 54865
c lw 54866
c lw 54867
c lw 54868
c lw 54875
c lw 54878
c lw 54880
c lw 54889
c lw 54890
c lw 54891
c lw 54893
c lw 54908
c lw 54909
c lw 54910
c lw 54911
c lw 54916
c lw 54917
c lw 54922
c lw 54923
c lw 54924
c lw 54927
c lw 54929
c lw 54932
c lw 54933
c lw 54935
c lw 54936
c lw 54937
c lw 54939
c lw 54940
c lw 54941
c lw 54942
c lw 54943
c lw 54944
c lw 54945
c lw 54946
c lw 54947
c lw 54948
c lw 54949
c lw 54950
c lw 54951
c lw 54952
c lw 54979
c lw 54986
c lw 54998
c lw 55046
c lw 55047
c lw 55048
c lw 55049
c lw 55050
c lw 55051
c lw 55052
c lw 55053
c lw 55054
c lw 55055
c lw 55056
c lw 55057
c lw 55058
c lw 55059
c lw 55060
c lw 55061
c lw 55062
c lw 55063
c lw 55064
c lw 55065
c lw 55066
c lw 55067
c lw 55068
c lw 55069
c lw 55070
c lw 55071
c lw 55072
c lw 55073
c lw 55094
c lw 55164
c lw 55165
c lw 55166
c lw 55167
c lw 55168
c lw 55169
c lw 55170
c lw 55171
c lw 55172
c lw 55173
c lw 55174
c lw 55175
c lw 55178
c lw 55179
c lw 55188
c lw 55189
c lw 55190
c lw 55195
c lw 55197
c lw 55198
c lw 55199
c lw 55200
c lw 55201
c lw 55202
c lw 55203
c lw 55204
c lw 55205
c lw 55210
c lw 55213
c lw 55224
c lw 55235
c lw 55237
c lw 55238
c lw 55243
c lw 55251
c lw 55252
c lw 55253
c lw 55255
c lw 55256
c lw 55288
c lw 55289
c lw 55518
c lw 55519
c lw 55526
c lw 55527
c lw 55528
c lw 55529
c lw 55530
c lw 55531
c lw 55532
c lw 55533
c lw 55534
c lw 55535
c lw 55536
c lw 55537
c lw 55538
c lw 55539
c lw 55540
c lw 55542
c lw 55543
c lw 55545
c lw 55549
c lw 55550
c lw 55551
c lw 55567
c lw 55568
c lw 55569
c lw 55570
c lw 55571
c lw 55572
c lw 55573
c lw 55574
c lw 55575
c lw 55576
c lw 55577
c lw 55578
c lw 55579
c lw 55580
c lw 55594
c lw 55595
c lw 55610
c lw 55615
c lw 55616
c lw 55618
c lw 55623
c lw 55635
c lw 55636
c lw 55637
c lw 55638
c lw 55639
c lw 55640
c lw 55641
c lw 55642
c lw 55643
c lw 55644
c lw 55645
c lw 55646
c lw 55647
c lw 55648
c lw 55649
c lw 55650
c lw 55651
c lw 55652
c lw 55653
c lw 55654
c lw 55655
c lw 55656
c lw 55657
c lw 55658
c lw 55659
c lw 55660
c lw 55661
c lw 55662
c lw 55663
c lw 55664
c lw 55665
c lw 55666
c lw 55667
c lw 55668
c lw 55669
c lw 55670
c lw 55671
c lw 55672
c lw 55673
c lw 55674
c lw 55675
c lw 55676
c lw 55677
c lw 55678
c lw 55679
c lw 55680
c lw 55681
c lw 55684
c lw 55687
c lw 55688
c lw 55689
c lw 55690
c lw 55691
c lw 55692
c lw 55693
c lw 55694
c lw 55695
c lw 55696
c lw 55697
c lw 55699
c lw 55700
c lw 55701
c lw 55702
c lw 55703
c lw 55704
c lw 55705
c lw 55706
c lw 55707
c lw 55708
c lw 55709
c lw 55710
c lw 55711
c lw 55712
c lw 55713
c lw 55714
c lw 55715
c lw 55716
c lw 55717
c lw 55718
c lw 55719
c lw 55720
c lw 55721
c lw 55722
c lw 55723
c lw 55724
c lw 55725
c lw 55726
c lw 55727
c lw 55728
c lw 55729
c lw 55730
c lw 55731
c lw 55732
c lw 55733
c lw 55734
c lw 55735
c lw 55736
c lw 55737
c lw 55738
c lw 55739
c lw 55740
c lw 55741
c lw 55742
c lw 55743
c lw 55744
c lw 55746
c lw 55747
c lw 55748
c lw 55749
c lw 55750
c lw 55751
c lw 55752
c lw 55753
c lw 55754
c lw 55755
c lw 55764
c lw 55772
c lw 55773
c lw 55774
c lw 55775
c lw 55776
c lw 55777
c lw 55778
c lw 55779
c lw 55780
c lw 55781
c lw 55782
c lw 55783
c lw 55784
c lw 55785
c lw 55786
c lw 55787
c lw 55788
c lw 55789
c lw 55790
c lw 55791
c lw 55792
c lw 55793
c lw 55794
c lw 55795
c lw 55810
c lw 55811
c lw 55812
c lw 55820
c lw 55821
c lw 55822
c lw 55823
c lw 55824
c lw 55827
c lw 55828
c lw 55829
c lw 55830
c lw 55831
c lw 55832
c lw 55833
c lw 55834
c lw 55835
c lw 55859
c lw 55867
c lw 55868
c lw 55869
c lw 55870
c lw 55871
c lw 55875
c lw 55876
c lw 55877
c lw 55878
c lw 55879
c lw 55880
c lw 55881
c lw 55882
c lw 55883
c lw 55884
c lw 55885
c lw 55886
c lw 55887
c lw 55888
c lw 55889
c lw 55890
c lw 55891
c lw 55892
c lw 55893
c lw 55894
c lw 55895
c lw 55896
c lw 55897
c lw 55898
c lw 55899
c lw 55900
c lw 55901
c lw 55902
c lw 55903
c lw 55904
c lw 55905
c lw 55906
c lw 55907
c lw 55908
c lw 55909
c lw 55910
c lw 55911
c lw 55912
c lw 55913
Killed
1813.651u 6.126s 30:19.95 99.9%	0+0k 0+0io 0pf+0w