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_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 302
c lw 1028
c lw 1214
c lw 1740
c lw 2126
c lw 2852
c lw 3038
c lw 3564
c lw 3950
c lw 4490
c lw 4862
c lw 5027
c lw 5604
c lw 5617
c lw 5947
c lw 6263
c lw 6492
c lw 6773
c lw 6939
c lw 7659
c lw 7993
c lw 8327
c lw 8681
c lw 8882
c lw 8964
c lw 9035
c lw 9901
c lw 10530
c lw 11159
c lw 12131
c lw 13098
c lw 13103
c lw 14070
c lw 14075
c lw 14348
c lw 15232
c lw 15596
c lw 15928
c lw 16853
c lw 16858
c lw 17783
c lw 17788
c lw 18827
c lw 19866
c lw 20905
c lw 21939
c lw 22978
c lw 22983
c lw 23863
c lw 24743
c lw 25623
c lw 26587
c lw 26590
c lw 27554
c lw 27557
c lw 28007
c lw 28111
c lw 28524
c lw 29585
c lw 30646
c lw 31385
c lw 31707
c lw 32102
c lw 32404
c lw 32778
c lw 33287
c lw 33894
c lw 34170
c lw 34528
c lw 35243
c lw 35350
c lw 35708
c lw 35911
c lw 36280
c lw 36316
c lw 36517
c lw 36738
c lw 37242
c lw 37272
c lw 37389
c lw 37433
c lw 38292
c lw 38980
c lw 39022
c lw 39043
c lw 39195
c lw 39504
c lw 40095
c lw 40673
c lw 40995
c lw 41098
c lw 41211
c lw 41678
c lw 42175
c lw 42637
c lw 43376
c lw 43597
c lw 43825
c lw 44632
c lw 45127
c lw 45333
c lw 45336
c lw 45611
c lw 45625
c lw 45655
c lw 45789
c lw 46105
c lw 46118
c lw 46308
c lw 46319
c lw 46533
c lw 46650
c lw 46995
c lw 47037
c lw 47258
c lw 47294
c lw 47360
c lw 47401
c lw 47718
c lw 47884
c lw 47946
c lw 48049
c lw 48165
c lw 48300
c lw 48304
c lw 48307
c lw 48359
c lw 48479
c lw 48484
c lw 48614
c lw 48718
c lw 49064
c lw 49232
c lw 49265
c lw 49267
c lw 49317
c lw 49675
c lw 49746
c lw 49896
c lw 49907
c lw 50044
c lw 50051
c lw 50093
c lw 50320
c lw 50364
c lw 50369
c lw 50438
c lw 50678
c lw 50819
c lw 50834
c lw 50840
c lw 51136
c lw 51151
c lw 51192
c lw 51572
c lw 51604
c lw 51717
c lw 52071
c lw 52166
c lw 52352
c lw 52530
c lw 52587
c lw 52759
c lw 52884
c lw 52959
c lw 53270
c lw 53273
c lw 53837
c lw 54112
c lw 54798
c lw 54897
c lw 55231
c lw 55236
c lw 55312
c lw 55317
c lw 55493
c lw 55501
c lw 55701
c lw 56540
c lw 56545
c lw 56546
c lw 56818
c lw 56848
c lw 57284
c lw 57289
c lw 57329
c lw 57429
c lw 57453
c lw 57486
c lw 58048
c lw 58129
c lw 58763
c lw 59004
c lw 59017
c lw 59028
c lw 59034
c lw 59054
c lw 59114
c lw 59140
c lw 59182
c lw 59193
c lw 59197
c lw 59203
c lw 59259
c lw 59362
c lw 59386
c lw 59390
c lw 59391
c lw 59419
c lw 59427
c lw 59521
c lw 59524
c lw 59625
c lw 59634
c lw 59646
c lw 59657
c lw 59663
c lw 59701
c lw 59706
c lw 59721
c lw 59727
c lw 59775
c lw 59870
c lw 59927
c lw 59945
c lw 59995
c lw 60013
c lw 60016
c lw 60017
c lw 60022
c lw 60030
c lw 60297
c lw 60702
c lw 60710
c lw 60722
c lw 60727
c lw 60732
c lw 60735
c lw 60994
c lw 61027
c lw 61196
c lw 61206
c lw 61208
c lw 61221
c lw 61229
c lw 61258
c lw 61263
c lw 61269
c lw 61270
c lw 61281
c lw 61305
c lw 61311
c lw 61315
c lw 61316
c lw 61318
c lw 61321
c lw 61324
c lw 61326
c lw 61329
c lw 61529
c lw 61531
c lw 61548
c lw 61549
c lw 61551
c lw 61567
c lw 61571
c lw 61606
c lw 61612
c lw 61613
c lw 61638
c lw 61644
c lw 61649
c lw 61650
c lw 61656
c lw 61661
c lw 61667
c lw 61675
c lw 61678
c lw 61683
c lw 61685
c lw 61686
c lw 61687
c lw 61689
c lw 61691
c lw 61692
c lw 61804
c lw 61808
c lw 61821
c lw 61822
c lw 61823
c lw 61825
c lw 61826
c lw 61827
c lw 61828
c lw 61944
c lw 61948
c lw 61951
c lw 61954
c lw 61956
c lw 61957
c lw 61963
c lw 61964
c lw 61965
c lw 61968
c lw 61970
c lw 61973
c lw 61974
c lw 61976
c lw 61981
c lw 61986
c lw 62078
c lw 62079
c lw 62080
c lw 62082
c lw 62083
c lw 62094
c lw 62138
c lw 62172
c lw 62188
c lw 62206
c lw 62263
c lw 62271
c lw 62275
c lw 62306
c lw 62311
c lw 62313
c lw 62316
c lw 62317
c lw 62318
c lw 62319
c lw 62320
c lw 62321
c lw 62322
c lw 62323
c lw 62324
c lw 62326
c lw 62327
c lw 62328
c lw 62329
c lw 62330
c lw 62331
c lw 62333
c lw 62335
c lw 62336
c lw 62337
c lw 62338
c lw 62339
c lw 62340
c lw 62341
c lw 62342
c lw 62343
c lw 62344
c lw 62345
c lw 62346
c lw 62347
c lw 62354
c lw 62355
c lw 62621
c lw 62622
c lw 62624
c lw 62627
c lw 62630
c lw 62631
c lw 62633
c lw 62638
c lw 62644
c lw 62649
c lw 62651
c lw 62653
c lw 62656
c lw 62665
c lw 62666
c lw 62693
c lw 62695
c lw 62696
c lw 62697
c lw 62698
c lw 62700
c lw 62701
c lw 62702
c lw 62703
c lw 62704
c lw 62712
c lw 62714
c lw 62719
c lw 62720
c lw 62721
c lw 62722
c lw 62724
c lw 62731
c lw 62745
c lw 62746
c lw 62782
c lw 62783
c lw 62784
c lw 62785
c lw 62786
c lw 62787
c lw 62788
c lw 62789
c lw 62790
c lw 62791
c lw 62792
c lw 62793
c lw 62794
c lw 62795
c lw 62796
c lw 62797
c lw 62798
c lw 62800
c lw 62801
c lw 62802
c lw 62804
c lw 62806
c lw 62807
c lw 62808
c lw 62809
c lw 62810
c lw 62811
c lw 62812
c lw 62813
c lw 62814
c lw 62816
c lw 62817
c lw 62819
c lw 62849
c lw 62918
c lw 62922
c lw 62923
c lw 62924
c lw 62927
c lw 62930
c lw 62931
c lw 62936
c lw 62949
c lw 62956
c lw 62957
c lw 62958
c lw 62959
c lw 62960
c lw 62972
c lw 62973
c lw 62974
c lw 62977
c lw 62988
c lw 62992
c lw 62994
c lw 63018
c lw 63019
c lw 63020
c lw 63022
c lw 63023
c lw 63024
c lw 63025
c lw 63026
c lw 63030
c lw 63031
c lw 63032
c lw 63034
c lw 63035
c lw 63036
c lw 63037
c lw 63038
c lw 63039
c lw 63040
c lw 63041
c lw 63042
c lw 63043
c lw 63044
c lw 63045
c lw 63046
c lw 63047
c lw 63049
c lw 63050
c lw 63051
c lw 63052
c lw 63053
c lw 63054
c lw 63055
c lw 63056
c lw 63057
c lw 63059
c lw 63063
c lw 63074
c lw 63075
c lw 63076
c lw 63077
c lw 63078
c lw 63079
c lw 63080
c lw 63081
c lw 63082
c lw 63083
c lw 63084
c lw 63085
c lw 63086
c lw 63087
c lw 63088
c lw 63089
c lw 63090
c lw 63091
c lw 63092
c lw 63093
c lw 63094
c lw 63095
c lw 63096
c lw 63097
c lw 63098
c lw 63099
c lw 63100
c lw 63101
c lw 63102
c lw 63103
c lw 63104
c lw 63105
c lw 63106
c lw 63107
c lw 63108
c lw 63109
c lw 63110
c lw 63111
c lw 63113
c lw 63114
c lw 63115
c lw 63116
c lw 63117
c lw 63118
c lw 63119
c lw 63120
c lw 63121
c lw 63122
c lw 63124
c lw 63125
c lw 63126
c lw 63127
c lw 63128
c lw 63129
c lw 63130
c lw 63131
c lw 63132
c lw 63134
c lw 63135
c lw 63136
c lw 63137
c lw 63138
c lw 63139
c lw 63140
c lw 63146
c lw 63149
c lw 63150
c lw 63151
c lw 63152
c lw 63153
c lw 63154
c lw 63155
c lw 63156
c lw 63157
c lw 63158
c lw 63159
c lw 63160
c lw 63161
c lw 63162
c lw 63163
c lw 63164
c lw 63165
c lw 63166
c lw 63167
c lw 63168
c lw 63169
c lw 63171
c lw 63172
c lw 63173
c lw 63174
c lw 63175
c lw 63176
c lw 63177
c lw 63178
c lw 63179
c lw 63180
c lw 63181
c lw 63182
c lw 63183
c lw 63184
c lw 63185
c lw 63186
c lw 63187
c lw 63188
c lw 63189
c lw 63190
c lw 63191
c lw 63192
c lw 63193
c lw 63194
c lw 63195
c lw 63196
c lw 63197
c lw 63198
c lw 63213
c lw 63214
c lw 63215
c lw 63216
c lw 63217
c lw 63218
c lw 63219
c lw 63220
c lw 63221
c lw 63222
c lw 63223
c lw 63224
c lw 63225
c lw 63226
c lw 63227
c lw 63228
c lw 63229
c lw 63233
c lw 63234
c lw 63235
c lw 63236
c lw 63237
c lw 63240
c lw 63241
c lw 63242
c lw 63243
c lw 63244
c lw 63245
c lw 63246
c lw 63247
c lw 63248
c lw 63249
c lw 63250
c lw 63251
c lw 63252
c lw 63253
c lw 63254
c lw 63255
c lw 63256
c lw 63257
c lw 63258
c lw 63392
c lw 63393
c lw 63394
c lw 63395
c lw 63396
c lw 63397
c lw 63399
c lw 63407
c lw 63408
c lw 63417
c lw 63418
c lw 63419
c lw 63420
c lw 63421
c lw 63423
c lw 63424
c lw 63425
c lw 63426
c lw 63443
c lw 63444
c lw 63445
c lw 63446
c lw 63447
c lw 63448
c lw 63456
c lw 63461
c lw 63462
c lw 63463
c lw 63464
c lw 63465
c lw 63466
c lw 63468
c lw 63469
c lw 63470
c lw 63471
c lw 63472
c lw 63473
c lw 63474
c lw 63475
c lw 63476
c lw 63477
c lw 63478
c lw 63484
c lw 63486
c lw 63487
c lw 63491
c lw 63493
c lw 63494
c lw 63511
c lw 63522
c lw 63523
c lw 63524
c lw 63525
c lw 63526
c lw 63527
c lw 63528
c lw 63529
c lw 63530
c lw 63531
c lw 63532
c lw 63533
c lw 63534
c lw 63535
c lw 63536
c lw 63546
c lw 63547
c lw 63548
c lw 63549
c lw 63550
c lw 63551
c lw 63552
c lw 63553
c lw 63555
c lw 63556
c lw 63557
c lw 63558
c lw 63559
c lw 63560
c lw 63561
c lw 63562
c lw 63563
c lw 63564
c lw 63565
c lw 63566
c lw 63567
c lw 63568
c lw 63569
c lw 63570
c lw 63571
c lw 63572
c lw 63574
c lw 63575
c lw 63576
c lw 63577
c lw 63578
c lw 63579
c lw 63580
c lw 63581
c lw 63582
c lw 63583
c lw 63584
c lw 63585
c lw 63586
c lw 63587
c lw 63588
c lw 63589
c lw 63590
c lw 63591
c lw 63592
c lw 63593
c lw 63594
c lw 63598
c lw 63599
c lw 63600
c lw 63601
c lw 63602
c lw 63603
c lw 63604
c lw 63605
c lw 63606
c lw 63607
c lw 63608
c lw 63609
c lw 63610
c lw 63611
c lw 63612
c lw 63613
c lw 63614
c lw 63615
c lw 63616
c lw 63617
c lw 63618
c lw 63619
c lw 63620
c lw 63625
c lw 63626
c lw 63627
c lw 63628
c lw 63629
c lw 63630
c lw 63633
c lw 63634
c lw 63640
c lw 63641
c lw 63643
c lw 63644
c lw 63645
c lw 63646
c lw 63647
c lw 63649
c lw 63650
c lw 63651
c lw 63652
c lw 63659
c lw 63660
c lw 63661
c lw 63662
c lw 63663
c lw 63664
c lw 63665
c lw 63666
c lw 63667
c lw 63668
c lw 63678
c lw 63684
c lw 63685
c lw 63686
c lw 63687
c lw 63688
c lw 63689
c lw 63690
c lw 63691
c lw 63692
c lw 63693
c lw 63694
c lw 63695
c lw 63696
c lw 63697
c lw 63698
c lw 63699
c lw 63700
c lw 63701
c lw 63702
c lw 63703
c lw 63704
c lw 63705
c lw 63706
c lw 63707
Killed
1812.608u 7.165s 30:23.59 99.7%	0+0k 0+0io 0pf+0w