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_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_140_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 901
c lw 1802
c lw 2651
c lw 2703
c lw 3604
c lw 4534
c lw 5464
c lw 6375
c lw 6394
c lw 7004
c lw 7614
c lw 8346
c lw 8914
c lw 9104
c lw 9917
c lw 9956
c lw 10267
c lw 10937
c lw 11191
c lw 11607
c lw 12080
c lw 12277
c lw 13538
c lw 14799
c lw 15666
c lw 16060
c lw 16585
c lw 16714
c lw 17007
c lw 17026
c lw 18074
c lw 19122
c lw 19560
c lw 20170
c lw 21218
c lw 22107
c lw 22212
c lw 22904
c lw 23206
c lw 24439
c lw 25243
c lw 25672
c lw 26476
c lw 26905
c lw 27953
c lw 28186
c lw 28990
c lw 29001
c lw 29732
c lw 30049
c lw 30463
c lw 31097
c lw 32133
c lw 32172
c lw 32346
c lw 33247
c lw 34029
c lw 34283
c lw 34909
c lw 35693
c lw 35798
c lw 36415
c lw 36582
c lw 36598
c lw 37391
c lw 37471
c lw 38400
c lw 39329
c lw 40258
c lw 41187
c lw 41419
c lw 41672
c lw 41814
c lw 41909
c lw 42838
c lw 43228
c lw 43294
c lw 43323
c lw 43371
c lw 44347
c lw 44943
c lw 45203
c lw 45289
c lw 45948
c lw 45966
c lw 46071
c lw 46853
c lw 46960
c lw 47742
c lw 47870
c lw 48148
c lw 48291
c lw 48691
c lw 48754
c lw 49022
c lw 49343
c lw 49353
c lw 49427
c lw 50192
c lw 51015
c lw 51234
c lw 52005
c lw 52273
c lw 52980
c lw 53312
c lw 53458
c lw 53696
c lw 54445
c lw 54553
c lw 54831
c lw 55260
c lw 55912
c lw 56343
c lw 57108
c lw 57174
c lw 58103
c lw 58195
c lw 58370
c lw 58731
c lw 58780
c lw 58893
c lw 58948
c lw 59115
c lw 59214
c lw 59280
c lw 60170
c lw 60233
c lw 60251
c lw 60407
c lw 60471
c lw 60599
c lw 60685
c lw 60828
c lw 60978
c lw 61123
c lw 61146
c lw 61226
c lw 61399
c lw 61483
c lw 61678
c lw 61786
c lw 62019
c lw 62035
c lw 62046
c lw 62269
c lw 62334
c lw 62571
c lw 62676
c lw 62781
c lw 62877
c lw 62902
c lw 62932
c lw 63078
c lw 63114
c lw 63187
c lw 63250
c lw 63410
c lw 63600
c lw 63637
c lw 63833
c lw 64027
c lw 64159
c lw 64727
c lw 64769
c lw 65198
c lw 65300
c lw 65329
c lw 65395
c lw 65522
c lw 65666
c lw 65790
c lw 65906
c lw 66276
c lw 66648
c lw 66714
c lw 66778
c lw 66873
c lw 66886
c lw 67238
c lw 67720
c lw 67750
c lw 68037
c lw 68178
c lw 68499
c lw 68550
c lw 68768
c lw 68834
c lw 68933
c lw 68983
c lw 69292
c lw 69454
c lw 69583
c lw 69979
c lw 70176
c lw 70238
c lw 70649
c lw 70682
c lw 70699
c lw 70756
c lw 71172
c lw 71211
c lw 71241
c lw 71670
c lw 72042
c lw 72064
c lw 72169
c lw 72435
c lw 72597
c lw 72734
c lw 72767
c lw 72851
c lw 72900
c lw 73043
c lw 73078
c lw 73107
c lw 73367
c lw 73726
c lw 73733
c lw 73870
c lw 73893
c lw 74005
c lw 74066
c lw 74085
c lw 74095
c lw 74147
c lw 74177
c lw 74243
c lw 74358
c lw 74377
c lw 74608
c lw 74721
c lw 74727
c lw 74901
c lw 75139
c lw 75251
c lw 75273
c lw 75720
c lw 75759
c lw 75762
c lw 75779
c lw 75812
c lw 75829
c lw 75861
c lw 75955
c lw 76028
c lw 76103
c lw 76121
c lw 76185
c lw 76271
c lw 76301
c lw 76304
c lw 76305
c lw 76351
c lw 76374
c lw 76425
c lw 76457
c lw 76466
c lw 76478
c lw 76614
c lw 76637
c lw 76662
c lw 76693
c lw 76721
c lw 76757
c lw 76775
c lw 76780
c lw 76801
c lw 76835
c lw 76896
c lw 76940
c lw 76969
c lw 76977
c lw 76997
c lw 77004
c lw 77005
c lw 77018
c lw 77029
c lw 77042
c lw 77060
c lw 77137
c lw 77203
c lw 77316
c lw 77457
c lw 77487
c lw 77493
c lw 77526
c lw 77550
c lw 77555
c lw 77557
c lw 77574
c lw 77591
c lw 77606
c lw 77642
c lw 77651
c lw 77654
c lw 77668
c lw 77671
c lw 77685
c lw 77691
c lw 77692
c lw 77699
c lw 77702
c lw 77705
c lw 77706
c lw 77714
c lw 77718
c lw 77720
c lw 77723
c lw 77724
c lw 77725
c lw 77726
c lw 77731
c lw 77732
c lw 77733
c lw 77734
c lw 77735
c lw 77739
c lw 77740
c lw 77741
c lw 77742
c lw 77751
c lw 77758
c lw 77761
c lw 77763
c lw 77766
c lw 77767
c lw 77768
c lw 77769
c lw 77792
c lw 77830
c lw 77831
c lw 77832
c lw 77835
c lw 77836
c lw 77837
c lw 77843
c lw 77846
c lw 77867
c lw 77879
c lw 77943
c lw 77946
c lw 77947
c lw 77948
c lw 77949
c lw 77950
c lw 77966
c lw 77967
c lw 77968
c lw 77969
c lw 77971
c lw 77975
c lw 77977
c lw 77978
c lw 77979
c lw 77980
c lw 77981
c lw 77982
c lw 77983
c lw 77984
c lw 77985
c lw 78051
c lw 78282
c lw 78288
c lw 78307
c lw 78309
c lw 78310
c lw 78313
c lw 78329
c lw 78333
c lw 78334
c lw 78335
c lw 78336
c lw 78337
c lw 78338
c lw 78339
c lw 78340
c lw 78341
c lw 78342
c lw 78343
c lw 78344
c lw 78345
c lw 78346
c lw 78347
c lw 78348
c lw 78349
c lw 78350
c lw 78351
c lw 78352
c lw 78353
c lw 78354
c lw 78355
c lw 78356
c lw 78357
c lw 78358
c lw 78359
c lw 78360
c lw 78361
c lw 78362
c lw 78363
c lw 78364
c lw 78365
c lw 78366
c lw 78367
c lw 78370
c lw 78374
c lw 78389
c lw 78391
c lw 78392
c lw 78393
c lw 78394
c lw 78395
c lw 78396
c lw 78397
c lw 78398
c lw 78404
c lw 78410
c lw 78419
c lw 78433
c lw 78507
c lw 78571
c lw 78578
c lw 78581
c lw 78583
c lw 78593
c lw 78595
c lw 78597
c lw 78598
c lw 78601
c lw 78604
c lw 78610
c lw 78618
c lw 78619
c lw 78620
c lw 78621
c lw 78624
c lw 78627
c lw 78628
c lw 78631
c lw 78632
c lw 78633
c lw 78634
c lw 78635
c lw 78636
c lw 78637
c lw 78638
c lw 78640
c lw 78706
c lw 78735
c lw 78746
c lw 78747
c lw 78748
c lw 78749
c lw 78750
c lw 78751
c lw 78752
c lw 78753
c lw 78754
c lw 78756
c lw 78757
c lw 78758
c lw 78759
c lw 78760
c lw 78761
c lw 78762
c lw 78797
c lw 78811
c lw 78820
c lw 78834
c lw 78845
c lw 78846
c lw 78860
c lw 78861
c lw 78873
c lw 78874
c lw 78875
c lw 78876
c lw 78877
c lw 78878
c lw 78879
c lw 78882
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 78895
c lw 78896
c lw 78897
c lw 78898
c lw 78899
c lw 78900
c lw 78901
c lw 78902
c lw 78903
c lw 78904
c lw 78905
c lw 78906
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 78927
c lw 78928
c lw 78929
c lw 78930
c lw 78931
c lw 78932
c lw 78933
c lw 78934
c lw 78935
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 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 79084
c lw 79085
c lw 79086
c lw 79087
c lw 79089
c lw 79091
c lw 79092
c lw 79093
c lw 79094
c lw 79095
c lw 79096
c lw 79097
c lw 79098
c lw 79099
c lw 79100
c lw 79101
c lw 79102
c lw 79103
c lw 79118
c lw 79133
c lw 79139
c lw 79155
c lw 79156
c lw 79157
c lw 79158
c lw 79221
c lw 79222
c lw 79236
c lw 79238
c lw 79249
c lw 79256
c lw 79257
c lw 79260
c lw 79276
c lw 79277
c lw 79331
c lw 79332
c lw 79333
c lw 79334
c lw 79335
c lw 79336
c lw 79337
c lw 79338
c lw 79339
c lw 79340
c lw 79341
c lw 79342
c lw 79343
c lw 79344
c lw 79345
c lw 79346
c lw 79347
c lw 79348
c lw 79349
c lw 79350
c lw 79351
c lw 79352
c lw 79353
c lw 79354
c lw 79355
c lw 79356
c lw 79357
c lw 79358
c lw 79359
c lw 79360
c lw 79361
c lw 79362
c lw 79363
c lw 79364
c lw 79365
c lw 79366
c lw 79367
c lw 79368
c lw 79370
c lw 79371
c lw 79372
c lw 79373
c lw 79374
c lw 79375
c lw 79376
c lw 79377
c lw 79378
c lw 79379
c lw 79380
c lw 79381
c lw 79382
c lw 79383
c lw 79384
c lw 79385
c lw 79386
c lw 79387
c lw 79388
c lw 79389
c lw 79390
c lw 79391
c lw 79392
c lw 79393
c lw 79399
c lw 79403
c lw 79414
c lw 79415
c lw 79416
c lw 79417
c lw 79418
c lw 79419
c lw 79420
c lw 79421
c lw 79422
c lw 79423
c lw 79424
c lw 79426
c lw 79431
c lw 79432
c lw 79433
c lw 79434
c lw 79436
c lw 79454
c lw 79459
c lw 79460
c lw 79461
c lw 79462
c lw 79463
c lw 79464
c lw 79465
c lw 79466
c lw 79467
c lw 79501
c lw 79502
c lw 79503
c lw 79504
c lw 79505
c lw 79506
c lw 79507
c lw 79508
c lw 79516
c lw 79517
c lw 79530
c lw 79531
c lw 79532
c lw 79538
c lw 79539
c lw 79540
c lw 79541
c lw 79542
c lw 79543
c lw 79544
c lw 79545
c lw 79546
c lw 79547
c lw 79548
c lw 79549
c lw 79550
c lw 79551
c lw 79552
c lw 79553
c lw 79576
c lw 79578
c lw 79579
c lw 79580
c lw 79592
c lw 79593
c lw 79594
c lw 79595
c lw 79596
c lw 79597
c lw 79598
c lw 79599
c lw 79600
c lw 79614
c lw 79615
c lw 79618
c lw 79619
c lw 79621
c lw 79622
c lw 79623
c lw 79624
c lw 79625
c lw 79626
c lw 79628
c lw 79633
c lw 79634
c lw 79635
c lw 79636
c lw 79637
c lw 79638
c lw 79639
c lw 79640
c lw 79641
c lw 79642
c lw 79644
c lw 79645
c lw 79646
c lw 79647
c lw 79648
c lw 79649
c lw 79664
c lw 79665
c lw 79666
c lw 79667
c lw 79668
c lw 79669
c lw 79670
c lw 79690
c lw 79691
c lw 79692
c lw 79693
c lw 79694
c lw 79695
c lw 79696
c lw 79697
c lw 79698
c lw 79699
c lw 79700
c lw 79701
c lw 79702
c lw 79703
c lw 79704
c lw 79706
c lw 79707
c lw 79708
c lw 79709
c lw 79710
c lw 79711
c lw 79712
c lw 79713
c lw 79714
c lw 79715
c lw 79717
c lw 79718
c lw 79719
c lw 79720
c lw 79721
c lw 79722
c lw 79723
c lw 79724
c lw 79727
c lw 79728
c lw 79729
c lw 79730
c lw 79731
c lw 79732
c lw 79733
c lw 79734
c lw 79735
c lw 79736
c lw 79737
c lw 79738
c lw 79739
c lw 79740
c lw 79741
c lw 79742
c lw 79743
c lw 79744
c lw 79745
c lw 79746
c lw 79747
c lw 79748
c lw 79749
c lw 79750
c lw 79751
c lw 79752
c lw 79753
c lw 79754
c lw 79755
c lw 79756
c lw 79757
c lw 79758
c lw 79759
c lw 79760
c lw 79761
c lw 79763
c lw 79766
c lw 79767
c lw 79769
c lw 79787
c lw 79795
c lw 79796
c lw 79797
c lw 79798
c lw 79799
c lw 79800
c lw 79801
c lw 79802
c lw 79803
c lw 79804
c lw 79805
c lw 79806
c lw 79818
c lw 79819
c lw 79820
c lw 79821
c lw 79822
c lw 79830
c lw 79831
c lw 79832
c lw 79833
c lw 79834
c lw 79835
c lw 79839
c lw 79842
c lw 79843
c lw 79844
c lw 79861
c lw 80040
c lw 80043
c lw 80059
c lw 80061
c lw 80062
c lw 80076
c lw 80077
c lw 80080
c lw 80247
c lw 80248
c lw 80272
c lw 80273
c lw 80274
c lw 80275
c lw 80276
c lw 80277
c lw 80278
c lw 80279
c lw 80280
c lw 80281
c lw 80282
c lw 80283
c lw 80284
c lw 80285
c lw 80286
c lw 80287
c lw 80288
c lw 80289
c lw 80290
c lw 80291
c lw 80292
c lw 80293
c lw 80294
c lw 80295
c lw 80296
c lw 80297
c lw 80302
c lw 80303
c lw 80304
c lw 80305
c lw 80316
c lw 80325
c lw 80338
c lw 80341
c lw 80343
c lw 80344
c lw 80346
c lw 80355
c lw 80356
c lw 80357
c lw 80358
c lw 80359
c lw 80360
c lw 80361
c lw 80362
c lw 80363
c lw 80364
c lw 80365
c lw 80368
c lw 80376
c lw 80377
c lw 80378
c lw 80379
c lw 80380
c lw 80381
c lw 80383
c lw 80384
c lw 80385
c lw 80386
c lw 80387
c lw 80388
c lw 80389
c lw 80390
c lw 80391
c lw 80392
c lw 80395
c lw 80396
c lw 80397
c lw 80398
c lw 80402
c lw 80403
c lw 80404
c lw 80407
c lw 80408
c lw 80409
c lw 80410
c lw 80411
c lw 80412
c lw 80413
c lw 80414
c lw 80415
c lw 80416
c lw 80417
Killed
1812.023u 7.732s 30:20.78 99.9%	0+0k 0+0io 0pf+0w