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_120_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 348
c lw 696
c lw 1121
c lw 1627
c lw 2254
c lw 2881
c lw 2976
c lw 3814
c lw 4537
c lw 4652
c lw 5333
c lw 5490
c lw 6328
c lw 6518
c lw 6708
c lw 6745
c lw 7518
c lw 8328
c lw 8940
c lw 9168
c lw 9703
c lw 10238
c lw 11076
c lw 11200
c lw 11836
c lw 11955
c lw 12230
c lw 12437
c lw 12644
c lw 12736
c lw 13636
c lw 14536
c lw 14920
c lw 15436
c lw 15537
c lw 16131
c lw 16990
c lw 17620
c lw 17849
c lw 18575
c lw 19298
c lw 19301
c lw 20024
c lw 20027
c lw 20753
c lw 21354
c lw 21955
c lw 22556
c lw 22928
c lw 23910
c lw 24892
c lw 25668
c lw 25843
c lw 25874
c lw 25994
c lw 26832
c lw 27315
c lw 27670
c lw 28061
c lw 28508
c lw 28701
c lw 29226
c lw 29967
c lw 30708
c lw 31245
c lw 31449
c lw 32060
c lw 32190
c lw 32509
c lw 32689
c lw 33157
c lw 33565
c lw 33757
c lw 34094
c lw 34256
c lw 34706
c lw 34868
c lw 34904
c lw 35122
c lw 35231
c lw 35313
c lw 35428
c lw 35504
c lw 35654
c lw 35683
c lw 35804
c lw 36521
c lw 36586
c lw 36679
c lw 36692
c lw 36781
c lw 37415
c lw 37487
c lw 37967
c lw 38127
c lw 38201
c lw 38905
c lw 38987
c lw 39179
c lw 39186
c lw 39382
c lw 39657
c lw 39776
c lw 40123
c lw 40164
c lw 40644
c lw 40727
c lw 40803
c lw 40816
c lw 40829
c lw 40844
c lw 40875
c lw 40894
c lw 41035
c lw 41073
c lw 41223
c lw 41338
c lw 41420
c lw 41433
c lw 41526
c lw 41611
c lw 41707
c lw 41710
c lw 42136
c lw 42329
c lw 42337
c lw 42457
c lw 42558
c lw 42794
c lw 42971
c lw 42990
c lw 43113
c lw 43419
c lw 43512
c lw 43786
c lw 43815
c lw 43977
c lw 43980
c lw 44062
c lw 44113
c lw 44154
c lw 44596
c lw 44674
c lw 44755
c lw 44756
c lw 45146
c lw 45238
c lw 45529
c lw 45566
c lw 45604
c lw 45607
c lw 45811
c lw 45980
c lw 46132
c lw 46288
c lw 46327
c lw 46346
c lw 46388
c lw 46433
c lw 46578
c lw 46805
c lw 46913
c lw 47416
c lw 47550
c lw 47573
c lw 47645
c lw 48186
c lw 48415
c lw 48490
c lw 48523
c lw 48647
c lw 48666
c lw 48687
c lw 48690
c lw 48770
c lw 48784
c lw 48988
c lw 49007
c lw 49149
c lw 49196
c lw 49235
c lw 49318
c lw 49337
c lw 49529
c lw 49573
c lw 49574
c lw 49647
c lw 49778
c lw 49976
c lw 49977
c lw 50254
c lw 50261
c lw 50289
c lw 50635
c lw 50748
c lw 50837
c lw 50912
c lw 51031
c lw 51032
c lw 51306
c lw 51307
c lw 51598
c lw 51699
c lw 51932
c lw 51943
c lw 52337
c lw 52378
c lw 52391
c lw 52413
c lw 52420
c lw 52439
c lw 52484
c lw 52493
c lw 52496
c lw 52583
c lw 52584
c lw 52655
c lw 52661
c lw 52785
c lw 52817
c lw 52823
c lw 53027
c lw 53182
c lw 53227
c lw 53248
c lw 53267
c lw 53310
c lw 53502
c lw 53506
c lw 53509
c lw 53524
c lw 53535
c lw 53538
c lw 53557
c lw 53571
c lw 53594
c lw 53665
c lw 53741
c lw 53754
c lw 53815
c lw 53898
c lw 53979
c lw 54036
c lw 54044
c lw 54045
c lw 54046
c lw 54156
c lw 54157
c lw 54189
c lw 54217
c lw 54224
c lw 54225
c lw 54262
c lw 54270
c lw 54302
c lw 54389
c lw 54429
c lw 54430
c lw 54436
c lw 54441
c lw 54444
c lw 54463
c lw 54467
c lw 54481
c lw 54491
c lw 54500
c lw 54503
c lw 54504
c lw 54507
c lw 54510
c lw 54513
c lw 54523
c lw 54532
c lw 54539
c lw 54542
c lw 54549
c lw 54550
c lw 54553
c lw 54554
c lw 54561
c lw 54563
c lw 54564
c lw 54568
c lw 54573
c lw 54577
c lw 54578
c lw 54592
c lw 54605
c lw 54608
c lw 54629
c lw 54646
c lw 54649
c lw 54650
c lw 54658
c lw 54669
c lw 54672
c lw 54709
c lw 54731
c lw 54764
c lw 54765
c lw 54769
c lw 54771
c lw 54772
c lw 54774
c lw 54775
c lw 54776
c lw 54779
c lw 54785
c lw 54795
c lw 54796
c lw 54797
c lw 54798
c lw 54799
c lw 54800
c lw 54803
c lw 54804
c lw 54807
c lw 54808
c lw 54809
c lw 54810
c lw 54811
c lw 54834
c lw 54835
c lw 54841
c lw 54848
c lw 54870
c lw 54883
c lw 54892
c lw 54895
c lw 54916
c lw 54932
c lw 54942
c lw 54943
c lw 54944
c lw 54951
c lw 54952
c lw 54972
c lw 54973
c lw 54975
c lw 54980
c lw 54981
c lw 54986
c lw 54988
c lw 54991
c lw 54992
c lw 54994
c lw 54995
c lw 54996
c lw 55004
c lw 55053
c lw 55067
c lw 55076
c lw 55082
c lw 55085
c lw 55087
c lw 55088
c lw 55090
c lw 55091
c lw 55094
c lw 55097
c lw 55105
c lw 55106
c lw 55109
c lw 55111
c lw 55112
c lw 55115
c lw 55116
c lw 55121
c lw 55124
c lw 55125
c lw 55127
c lw 55128
c lw 55132
c lw 55136
c lw 55140
c lw 55145
c lw 55146
c lw 55151
c lw 55153
c lw 55154
c lw 55156
c lw 55159
c lw 55160
c lw 55161
c lw 55162
c lw 55165
c lw 55169
c lw 55170
c lw 55171
c lw 55172
c lw 55173
c lw 55174
c lw 55175
c lw 55176
c lw 55177
c lw 55178
c lw 55179
c lw 55180
c lw 55183
c lw 55184
c lw 55185
c lw 55186
c lw 55190
c lw 55191
c lw 55192
c lw 55193
c lw 55194
c lw 55195
c lw 55196
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 55206
c lw 55207
c lw 55208
c lw 55209
c lw 55210
c lw 55211
c lw 55212
c lw 55213
c lw 55214
c lw 55215
c lw 55216
c lw 55217
c lw 55218
c lw 55219
c lw 55221
c lw 55222
c lw 55226
c lw 55227
c lw 55228
c lw 55232
c lw 55233
c lw 55235
c lw 55236
c lw 55237
c lw 55238
c lw 55239
c lw 55240
c lw 55241
c lw 55242
c lw 55243
c lw 55244
c lw 55245
c lw 55246
c lw 55247
c lw 55248
c lw 55249
c lw 55250
c lw 55252
c lw 55253
c lw 55254
c lw 55255
c lw 55257
c lw 55258
c lw 55259
c lw 55260
c lw 55261
c lw 55262
c lw 55263
c lw 55264
c lw 55265
c lw 55266
c lw 55267
c lw 55268
c lw 55269
c lw 55270
c lw 55271
c lw 55272
c lw 55273
c lw 55274
c lw 55277
c lw 55288
c lw 55294
c lw 55306
c lw 55311
c lw 55611
c lw 55614
c lw 55640
c lw 55656
c lw 55657
c lw 55660
c lw 55661
c lw 55666
c lw 55669
c lw 55674
c lw 55675
c lw 55678
c lw 55679
c lw 55683
c lw 55684
c lw 55685
c lw 55686
c lw 55687
c lw 55689
c lw 55690
c lw 55691
c lw 55692
c lw 55694
c lw 55695
c lw 55697
c lw 55709
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 55745
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 55756
c lw 55757
c lw 55758
c lw 55759
c lw 55760
c lw 55761
c lw 55762
c lw 55763
c lw 55764
c lw 55765
c lw 55767
c lw 55768
c lw 55770
c lw 55771
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 55796
c lw 55797
c lw 55798
c lw 55799
c lw 55800
c lw 55801
c lw 55802
c lw 55803
c lw 55804
c lw 55805
c lw 55806
c lw 55807
c lw 55808
c lw 55809
c lw 55810
c lw 55811
c lw 55812
c lw 55813
c lw 55814
c lw 55815
c lw 55816
c lw 55817
c lw 55818
c lw 55819
c lw 55820
c lw 55821
c lw 55822
c lw 55823
c lw 55824
c lw 55825
c lw 55826
c lw 55827
c lw 55828
c lw 55829
c lw 55830
c lw 55831
c lw 55832
c lw 55920
c lw 55921
c lw 55922
c lw 55923
c lw 55924
c lw 55926
c lw 55927
c lw 55928
c lw 55929
c lw 55930
c lw 55931
c lw 55932
c lw 55933
c lw 55939
c lw 55941
c lw 55942
c lw 55943
c lw 55944
c lw 55945
c lw 55946
c lw 55947
c lw 55948
c lw 55949
c lw 55950
c lw 55951
c lw 55952
c lw 55953
c lw 55954
c lw 55955
c lw 55956
c lw 55957
c lw 55958
c lw 55963
c lw 55965
c lw 56019
c lw 56029
c lw 56030
c lw 56036
c lw 56037
c lw 56038
c lw 56039
c lw 56040
c lw 56043
c lw 56044
c lw 56045
c lw 56046
c lw 56048
c lw 56049
c lw 56050
c lw 56051
c lw 56052
c lw 56053
c lw 56054
c lw 56055
c lw 56056
c lw 56058
c lw 56059
c lw 56060
c lw 56061
c lw 56062
c lw 56063
c lw 56064
c lw 56065
c lw 56066
c lw 56067
c lw 56068
c lw 56069
c lw 56070
c lw 56071
c lw 56072
c lw 56073
c lw 56074
c lw 56075
c lw 56076
c lw 56077
c lw 56078
c lw 56079
c lw 56098
c lw 56118
c lw 56119
c lw 56120
c lw 56121
c lw 56122
c lw 56123
c lw 56124
c lw 56125
c lw 56207
c lw 56322
c lw 56334
c lw 56365
c lw 56366
c lw 56367
c lw 56368
c lw 56371
c lw 56381
c lw 56382
c lw 56383
c lw 56384
c lw 56385
c lw 56388
c lw 56390
c lw 56391
c lw 56392
c lw 56393
c lw 56394
c lw 56395
c lw 56396
c lw 56399
c lw 56400
c lw 56402
c lw 56403
c lw 56404
c lw 56406
c lw 56407
c lw 56408
c lw 56409
c lw 56415
c lw 56416
c lw 56417
c lw 56418
c lw 56419
c lw 56420
c lw 56421
c lw 56422
c lw 56423
c lw 56425
c lw 56426
c lw 56427
c lw 56428
c lw 56429
c lw 56431
c lw 56435
c lw 56436
c lw 56437
c lw 56438
c lw 56439
c lw 56440
c lw 56441
c lw 56443
c lw 56445
c lw 56446
c lw 56449
c lw 56453
c lw 56454
c lw 56455
c lw 56464
c lw 56469
c lw 56470
c lw 56471
c lw 56472
c lw 56473
c lw 56474
c lw 56475
c lw 56476
c lw 56477
c lw 56478
c lw 56482
c lw 56483
c lw 56485
c lw 56486
c lw 56487
c lw 56488
c lw 56489
c lw 56490
c lw 56491
c lw 56492
c lw 56510
c lw 56511
c lw 56512
c lw 56513
c lw 56514
c lw 56515
c lw 56516
c lw 56517
c lw 56518
c lw 56519
c lw 56520
c lw 56521
c lw 56522
c lw 56523
c lw 56524
c lw 56525
c lw 56526
c lw 56527
c lw 56528
c lw 56529
c lw 56530
c lw 56531
c lw 56532
c lw 56533
c lw 56534
c lw 56535
c lw 56536
c lw 56537
c lw 56538
c lw 56539
c lw 56540
c lw 56541
c lw 56542
c lw 56543
c lw 56544
c lw 56545
c lw 56546
c lw 56547
c lw 56548
c lw 56549
c lw 56550
c lw 56551
c lw 56552
c lw 56553
c lw 56554
c lw 56555
c lw 56559
c lw 56560
c lw 56561
c lw 56562
c lw 56563
c lw 56564
c lw 56565
c lw 56574
c lw 56575
c lw 56576
c lw 56577
c lw 56578
c lw 56579
c lw 56580
c lw 56581
c lw 56582
c lw 56583
c lw 56584
c lw 56585
c lw 56586
c lw 56587
c lw 56588
c lw 56589
c lw 56590
c lw 56591
c lw 56592
c lw 56593
c lw 56594
c lw 56595
c lw 56596
c lw 56597
c lw 56598
c lw 56599
c lw 56600
c lw 56601
c lw 56602
c lw 56603
c lw 56604
c lw 56605
c lw 56606
c lw 56607
c lw 56608
c lw 56609
c lw 56610
c lw 56611
c lw 56612
c lw 56613
c lw 56629
c lw 56630
c lw 56638
c lw 56639
c lw 56640
c lw 56641
c lw 56642
c lw 56663
c lw 56664
c lw 56665
c lw 56666
c lw 56667
c lw 56668
c lw 56669
c lw 56670
c lw 56671
c lw 56672
c lw 56673
c lw 56674
c lw 56675
c lw 56676
c lw 56677
c lw 56678
c lw 56679
c lw 56680
c lw 56681
c lw 56682
c lw 56683
c lw 56684
c lw 56685
c lw 56686
c lw 56689
c lw 56691
c lw 56692
c lw 56693
c lw 56738
c lw 56740
c lw 56787
c lw 56788
c lw 56789
c lw 56790
c lw 56791
c lw 56792
c lw 56793
c lw 56794
c lw 56795
c lw 56796
c lw 56797
c lw 56798
c lw 56799
c lw 56800
c lw 56801
c lw 56802
c lw 56803
c lw 56804
c lw 56805
c lw 56806
c lw 56807
c lw 56808
c lw 56809
c lw 56810
Killed
1810.157u 9.608s 30:23.48 99.7%	0+0k 0+0io 0pf+0w