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_140_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1248
c lw 2496
c lw 3481
c lw 3744
c lw 4029
c lw 4404
c lw 4939
c lw 5474
c lw 5727
c lw 6009
c lw 6544
c lw 6965
c lw 7352
c lw 7581
c lw 8093
c lw 8605
c lw 8980
c lw 9117
c lw 10096
c lw 11075
c lw 12016
c lw 12054
c lw 12775
c lw 13011
c lw 13968
c lw 14989
c lw 15974
c lw 16010
c lw 16978
c lw 17031
c lw 17789
c lw 18648
c lw 19507
c lw 19639
c lw 20188
c lw 20246
c lw 21156
c lw 22066
c lw 22441
c lw 23411
c lw 24381
c lw 25079
c lw 25351
c lw 25445
c lw 25614
c lw 25968
c lw 26908
c lw 27848
c lw 28788
c lw 29548
c lw 30071
c lw 30762
c lw 31204
c lw 31453
c lw 32144
c lw 32806
c lw 32925
c lw 33001
c lw 33013
c lw 33541
c lw 34409
c lw 35277
c lw 36145
c lw 37043
c lw 37941
c lw 38304
c lw 38839
c lw 39449
c lw 39714
c lw 39796
c lw 39913
c lw 40753
c lw 41628
c lw 41710
c lw 41827
c lw 42221
c lw 42716
c lw 42731
c lw 43194
c lw 43282
c lw 43431
c lw 44012
c lw 44284
c lw 44669
c lw 45137
c lw 45718
c lw 45990
c lw 46353
c lw 47113
c lw 47251
c lw 47520
c lw 47786
c lw 47950
c lw 48493
c lw 49014
c lw 49219
c lw 49472
c lw 50104
c lw 50160
c lw 50474
c lw 50962
c lw 50990
c lw 51759
c lw 51958
c lw 52390
c lw 52522
c lw 52644
c lw 53193
c lw 53461
c lw 53494
c lw 54018
c lw 54327
c lw 54641
c lw 54846
c lw 54861
c lw 55041
c lw 55313
c lw 55432
c lw 55703
c lw 56252
c lw 56472
c lw 56636
c lw 56659
c lw 56692
c lw 56791
c lw 56913
c lw 57063
c lw 57262
c lw 57316
c lw 57454
c lw 57582
c lw 57585
c lw 57797
c lw 58163
c lw 58182
c lw 58450
c lw 58557
c lw 58593
c lw 58608
c lw 58771
c lw 58786
c lw 58813
c lw 58907
c lw 58962
c lw 59094
c lw 59142
c lw 59311
c lw 59428
c lw 59510
c lw 59940
c lw 59992
c lw 60268
c lw 60350
c lw 60615
c lw 60780
c lw 60808
c lw 60829
c lw 61000
c lw 61038
c lw 61175
c lw 61199
c lw 61287
c lw 61299
c lw 61463
c lw 61546
c lw 61735
c lw 61817
c lw 61937
c lw 62089
c lw 62329
c lw 62398
c lw 62573
c lw 62854
c lw 63139
c lw 63215
c lw 63263
c lw 63374
c lw 63543
c lw 63653
c lw 64016
c lw 64028
c lw 64086
c lw 64188
c lw 64234
c lw 64269
c lw 64605
c lw 64769
c lw 65049
c lw 65216
c lw 65301
c lw 65412
c lw 65658
c lw 65704
c lw 65848
c lw 65901
c lw 65967
c lw 66315
c lw 66606
c lw 66642
c lw 66800
c lw 67395
c lw 67482
c lw 67648
c lw 67786
c lw 67856
c lw 68214
c lw 68217
c lw 68336
c lw 68563
c lw 68572
c lw 68769
c lw 69293
c lw 69922
c lw 70396
c lw 70419
c lw 71305
c lw 71375
c lw 71393
c lw 71399
c lw 71404
c lw 71466
c lw 71503
c lw 71504
c lw 71525
c lw 72186
c lw 72315
c lw 72539
c lw 72668
c lw 72938
c lw 72994
c lw 73057
c lw 73058
c lw 73140
c lw 73158
c lw 73209
c lw 73405
c lw 73408
c lw 73459
c lw 73462
c lw 73545
c lw 73572
c lw 73639
c lw 73694
c lw 73826
c lw 73859
c lw 73894
c lw 73942
c lw 73943
c lw 73995
c lw 74224
c lw 74272
c lw 74383
c lw 74441
c lw 74525
c lw 74601
c lw 74744
c lw 74746
c lw 74770
c lw 74805
c lw 74933
c lw 74979
c lw 74983
c lw 74994
c lw 75007
c lw 75020
c lw 75032
c lw 75138
c lw 75139
c lw 75143
c lw 75147
c lw 75149
c lw 75163
c lw 75182
c lw 75184
c lw 75186
c lw 75205
c lw 75242
c lw 75243
c lw 75260
c lw 75269
c lw 75289
c lw 75290
c lw 75293
c lw 75294
c lw 75305
c lw 75331
c lw 75389
c lw 75390
c lw 75443
c lw 75446
c lw 75463
c lw 75516
c lw 75521
c lw 75679
c lw 75682
c lw 75740
c lw 75752
c lw 75772
c lw 75909
c lw 75961
c lw 75979
c lw 76008
c lw 76012
c lw 76028
c lw 76093
c lw 76096
c lw 76123
c lw 76125
c lw 76181
c lw 76183
c lw 76185
c lw 76189
c lw 76190
c lw 76191
c lw 76192
c lw 76193
c lw 76195
c lw 76196
c lw 76200
c lw 76203
c lw 76207
c lw 76209
c lw 76215
c lw 76216
c lw 76230
c lw 76232
c lw 76234
c lw 76237
c lw 76238
c lw 76259
c lw 76264
c lw 76265
c lw 76266
c lw 76269
c lw 76273
c lw 76274
c lw 76275
c lw 76304
c lw 76305
c lw 76307
c lw 76310
c lw 76312
c lw 76313
c lw 76334
c lw 76369
c lw 76402
c lw 76416
c lw 76466
c lw 76488
c lw 76523
c lw 76618
c lw 76654
c lw 76659
c lw 76720
c lw 76722
c lw 76731
c lw 76741
c lw 76742
c lw 76749
c lw 76750
c lw 76751
c lw 76752
c lw 76753
c lw 76754
c lw 76755
c lw 76756
c lw 76757
c lw 76759
c lw 76760
c lw 76761
c lw 76762
c lw 76819
c lw 76832
c lw 76840
c lw 76859
c lw 76860
c lw 76894
c lw 76895
c lw 76904
c lw 76905
c lw 76906
c lw 76907
c lw 76908
c lw 77012
c lw 77090
c lw 77091
c lw 77092
c lw 77093
c lw 77094
c lw 77095
c lw 77096
c lw 77097
c lw 77098
c lw 77099
c lw 77100
c lw 77101
c lw 77161
c lw 77164
c lw 77166
c lw 77167
c lw 77168
c lw 77169
c lw 77170
c lw 77181
c lw 77215
c lw 77229
c lw 77230
c lw 77231
c lw 77232
c lw 77233
c lw 77234
c lw 77235
c lw 77236
c lw 77240
c lw 77241
c lw 77243
c lw 77244
c lw 77246
c lw 77253
c lw 77255
c lw 77256
c lw 77257
c lw 77258
c lw 77259
c lw 77260
c lw 77261
c lw 77262
c lw 77263
c lw 77264
c lw 77265
c lw 77266
c lw 77267
c lw 77268
c lw 77269
c lw 77272
c lw 77278
c lw 77283
c lw 77285
c lw 77286
c lw 77288
c lw 77289
c lw 77290
c lw 77338
c lw 77380
c lw 77402
c lw 77405
c lw 77406
c lw 77407
c lw 77419
c lw 77454
c lw 77466
c lw 77467
c lw 77468
c lw 77469
c lw 77470
c lw 77471
c lw 77472
c lw 77473
c lw 77474
c lw 77475
c lw 77476
c lw 77477
c lw 77478
c lw 77479
c lw 77480
c lw 77481
c lw 77482
c lw 77483
c lw 77484
c lw 77485
c lw 77486
c lw 77487
c lw 77488
c lw 77489
c lw 77490
c lw 77491
c lw 77494
c lw 77495
c lw 77496
c lw 77497
c lw 77518
c lw 77527
c lw 77528
c lw 77533
c lw 77534
c lw 77535
c lw 77536
c lw 77537
c lw 77538
c lw 77539
c lw 77540
c lw 77541
c lw 77542
c lw 77543
c lw 77544
c lw 77545
c lw 77546
c lw 77547
c lw 77548
c lw 77549
c lw 77550
c lw 77551
c lw 77552
c lw 77553
c lw 77554
c lw 77555
c lw 77558
c lw 77560
c lw 77561
c lw 77562
c lw 77564
c lw 77565
c lw 77567
c lw 77568
c lw 77569
c lw 77570
c lw 77571
c lw 77572
c lw 77573
c lw 77574
c lw 77575
c lw 77576
c lw 77577
c lw 77578
c lw 77579
c lw 77580
c lw 77581
c lw 77595
c lw 77597
c lw 77598
c lw 77599
c lw 77600
c lw 77601
c lw 77602
c lw 77603
c lw 77604
c lw 77605
c lw 77606
c lw 77607
c lw 77608
c lw 77609
c lw 77610
c lw 77611
c lw 77612
c lw 77623
c lw 77632
c lw 77633
c lw 77634
c lw 77635
c lw 77636
c lw 77637
c lw 77638
c lw 77639
c lw 77640
c lw 77641
c lw 77642
c lw 77643
c lw 77644
c lw 77645
c lw 77646
c lw 77647
c lw 77648
c lw 77649
c lw 77650
c lw 77651
c lw 77652
c lw 77653
c lw 77664
c lw 77668
c lw 77669
c lw 77670
c lw 77671
c lw 77672
c lw 77673
c lw 77674
c lw 77675
c lw 77676
c lw 77677
c lw 77678
c lw 77679
c lw 77680
c lw 77683
c lw 77684
c lw 77685
c lw 77686
c lw 77687
c lw 77688
c lw 77689
c lw 77690
c lw 77691
c lw 77692
c lw 77693
c lw 77694
c lw 77695
c lw 77701
c lw 77702
c lw 77703
c lw 77704
c lw 77705
c lw 77708
c lw 77709
c lw 77710
c lw 77711
c lw 77712
c lw 77713
c lw 77714
c lw 77715
c lw 77716
c lw 77717
c lw 77718
c lw 77730
c lw 77761
c lw 77876
c lw 77877
c lw 77878
c lw 77880
c lw 77881
c lw 77883
c lw 77884
c lw 77885
c lw 77886
c lw 77889
c lw 77909
c lw 77935
c lw 77936
c lw 77954
c lw 77993
c lw 78010
c lw 78011
c lw 78020
c lw 78135
c lw 78136
c lw 78137
c lw 78140
c lw 78141
c lw 78142
c lw 78186
c lw 78187
c lw 78188
c lw 78190
c lw 78191
c lw 78192
c lw 78193
c lw 78194
c lw 78230
c lw 78232
c lw 78233
c lw 78234
c lw 78235
c lw 78236
c lw 78237
c lw 78238
c lw 78239
c lw 78240
c lw 78241
c lw 78243
c lw 78244
c lw 78245
c lw 78246
c lw 78247
c lw 78248
c lw 78249
c lw 78250
c lw 78251
c lw 78252
c lw 78253
c lw 78254
c lw 78255
c lw 78256
c lw 78257
c lw 78258
c lw 78259
c lw 78303
c lw 78304
c lw 78305
c lw 78306
c lw 78307
c lw 78308
c lw 78309
c lw 78310
c lw 78311
c lw 78312
c lw 78313
c lw 78314
c lw 78315
c lw 78316
c lw 78317
c lw 78318
c lw 78319
c lw 78320
c lw 78321
c lw 78322
c lw 78323
c lw 78335
c lw 78360
c lw 78396
c lw 78397
c lw 78398
c lw 78405
c lw 78422
c lw 78462
c lw 78470
c lw 78478
c lw 78479
c lw 78480
c lw 78491
c lw 78492
c lw 78493
c lw 78494
c lw 78497
c lw 78501
c lw 78502
c lw 78507
c lw 78508
c lw 78509
c lw 78510
c lw 78511
c lw 78512
c lw 78513
c lw 78514
c lw 78515
c lw 78516
c lw 78517
c lw 78518
c lw 78519
c lw 78520
c lw 78522
c lw 78523
c lw 78524
c lw 78526
c lw 78527
c lw 78528
c lw 78529
c lw 78530
c lw 78623
c lw 78624
c lw 78625
c lw 78626
c lw 78627
c lw 78628
c lw 78631
c lw 78636
c lw 78651
c lw 78652
c lw 78653
c lw 78654
c lw 78658
c lw 78659
c lw 78660
c lw 78661
c lw 78662
c lw 78663
c lw 78664
c lw 78665
c lw 78666
c lw 78667
c lw 78668
c lw 78669
c lw 78670
c lw 78671
c lw 78672
c lw 78673
c lw 78674
c lw 78675
c lw 78676
c lw 78677
c lw 78678
c lw 78680
c lw 78681
c lw 78682
c lw 78683
c lw 78684
c lw 78687
c lw 78688
c lw 78689
c lw 78699
c lw 78700
c lw 78701
c lw 78702
c lw 78703
c lw 78704
c lw 78705
c lw 78706
c lw 78707
c lw 78708
c lw 78709
c lw 78710
c lw 78711
c lw 78712
c lw 78713
c lw 78714
c lw 78715
c lw 78716
c lw 78717
c lw 78718
c lw 78719
c lw 78720
c lw 78737
c lw 78738
c lw 78739
c lw 78740
c lw 78741
c lw 78742
c lw 78743
c lw 78744
c lw 78745
c lw 78746
c lw 78747
c lw 78748
c lw 78749
c lw 78772
c lw 78773
c lw 78774
c lw 78775
c lw 78776
c lw 78777
c lw 78778
c lw 78779
c lw 78780
c lw 78781
c lw 78782
c lw 78783
c lw 78784
c lw 78785
c lw 78786
c lw 78787
c lw 78792
c lw 78793
c lw 78794
c lw 78795
c lw 78796
c lw 78797
c lw 78798
c lw 78802
c lw 78804
c lw 78805
c lw 78806
c lw 78807
c lw 78808
c lw 78810
c lw 78811
c lw 78812
c lw 78813
c lw 78818
c lw 78819
c lw 78821
c lw 78822
c lw 78823
c lw 78824
c lw 78825
c lw 78826
c lw 78827
c lw 78828
c lw 78829
c lw 78831
c lw 78833
c lw 78834
c lw 78835
c lw 78836
c lw 78837
c lw 78838
c lw 78839
c lw 78840
c lw 78841
c lw 78844
c lw 78845
c lw 78846
c lw 78847
c lw 78848
c lw 78849
c lw 78850
c lw 78851
c lw 78852
c lw 78853
c lw 78854
c lw 78855
c lw 78856
c lw 78857
c lw 78858
c lw 78859
c lw 78860
c lw 78861
c lw 78862
c lw 78863
c lw 78864
c lw 78865
c lw 78866
c lw 78867
c lw 78868
c lw 78869
c lw 78870
c lw 78871
c lw 78872
c lw 78873
c lw 78874
c lw 78875
c lw 78876
c lw 78877
c lw 78878
c lw 78879
c lw 78880
c lw 78881
c lw 78882
c lw 78883
c lw 78884
c lw 78885
c lw 78886
c lw 78887
c lw 78888
c lw 78889
c lw 78890
c lw 78891
c lw 78892
c lw 78893
c lw 78894
c lw 78896
c lw 78897
c lw 78898
c lw 78899
c lw 78900
c lw 78901
c lw 78902
c lw 78907
c lw 78908
c lw 78909
c lw 78910
c lw 78911
c lw 78912
c lw 78913
c lw 78914
c lw 78915
c lw 78916
c lw 78917
c lw 78918
c lw 78919
c lw 78920
c lw 78921
c lw 78922
c lw 78923
c lw 78924
c lw 78925
c lw 78926
c lw 78937
c lw 78938
c lw 78939
c lw 78940
c lw 78941
c lw 78942
c lw 78943
c lw 78944
c lw 78945
c lw 78946
c lw 78947
c lw 78948
c lw 78949
c lw 78950
c lw 78951
c lw 78952
c lw 78953
c lw 78954
c lw 78955
c lw 78956
c lw 78957
c lw 78958
c lw 78960
c lw 78961
c lw 78962
c lw 78963
c lw 78964
c lw 78965
c lw 78966
c lw 78967
c lw 78968
c lw 78969
c lw 78970
c lw 78971
c lw 78972
c lw 78973
c lw 78974
c lw 78976
c lw 78977
c lw 78978
c lw 78979
c lw 78980
c lw 78981
c lw 78982
c lw 78983
c lw 78984
c lw 78985
c lw 78986
c lw 78987
c lw 78988
c lw 78989
c lw 78991
c lw 78992
c lw 78993
c lw 78994
c lw 78995
c lw 78996
c lw 78997
c lw 78998
c lw 78999
c lw 79000
c lw 79001
c lw 79002
c lw 79004
c lw 79005
c lw 79006
c lw 79007
c lw 79008
c lw 79009
c lw 79010
c lw 79011
c lw 79022
c lw 79028
c lw 79029
c lw 79030
c lw 79031
c lw 79032
c lw 79033
c lw 79034
c lw 79035
c lw 79036
c lw 79037
c lw 79038
c lw 79039
c lw 79040
c lw 79050
c lw 79051
c lw 79052
c lw 79053
c lw 79054
c lw 79055
c lw 79056
c lw 79058
c lw 79061
c lw 79062
c lw 79068
c lw 79070
c lw 79071
c lw 79072
c lw 79073
c lw 79074
c lw 79075
c lw 79076
c lw 79077
c lw 79078
c lw 79079
c lw 79080
c lw 79081
c lw 79082
c lw 79083
c lw 79129
c lw 79130
c lw 79131
c lw 79132
c lw 79133
c lw 79134
c lw 79135
c lw 79136
c lw 79137
c lw 79138
c lw 79139
c lw 79140
c lw 79141
c lw 79142
c lw 79143
c lw 79144
c lw 79145
c lw 79146
c lw 79147
c lw 79148
c lw 79149
c lw 79150
c lw 79151
c lw 79156
c lw 79157
c lw 79158
c lw 79159
c lw 79160
c lw 79161
c lw 79162
c lw 79163
c lw 79164
c lw 79165
c lw 79166
c lw 79167
c lw 79168
c lw 79169
c lw 79170
c lw 79171
c lw 79172
c lw 79173
c lw 79174
c lw 79175
c lw 79176
c lw 79177
c lw 79178
c lw 79179
c lw 79182
c lw 79183
c lw 79184
c lw 79185
c lw 79198
c lw 79199
c lw 79200
c lw 79211
c lw 79212
c lw 79213
c lw 79214
c lw 79215
c lw 79216
c lw 79217
c lw 79218
c lw 79219
c lw 79220
c lw 79221
c lw 79222
c lw 79223
c lw 79224
c lw 79225
c lw 79229
c lw 79231
c lw 79232
c lw 79235
c lw 79236
c lw 79237
c lw 79238
c lw 79239
c lw 79242
c lw 79244
c lw 79250
c lw 79251
c lw 79252
c lw 79253
c lw 79254
c lw 79255
c lw 79256
c lw 79257
c lw 79258
c lw 79259
c lw 79260
c lw 79261
c lw 79262
c lw 79263
c lw 79264
c lw 79265
c lw 79266
c lw 79267
c lw 79268
c lw 79269
c lw 79270
c lw 79271
c lw 79272
c lw 79273
c lw 79274
c lw 79275
c lw 79276
c lw 79277
c lw 79278
c lw 79279
c lw 79280
c lw 79281
c lw 79282
c lw 79283
c lw 79284
c lw 79285
c lw 79286
c lw 79287
c lw 79288
c lw 79289
c lw 79290
c lw 79291
c lw 79292
c lw 79293
c lw 79294
Killed
1801.566u 18.171s 30:21.24 99.9%	0+0k 0+0io 0pf+0w