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_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_PATHS/cat_paths_60_120_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 272
c lw 1525
c lw 2778
c lw 3935
c lw 4031
c lw 4658
c lw 5065
c lw 5667
c lw 5724
c lw 6769
c lw 6941
c lw 7814
c lw 8393
c lw 8562
c lw 8859
c lw 9904
c lw 10113
c lw 10949
c lw 11158
c lw 12056
c lw 13260
c lw 13978
c lw 14464
c lw 14623
c lw 14832
c lw 15339
c lw 15846
c lw 16353
c lw 16523
c lw 17336
c lw 17516
c lw 18140
c lw 18509
c lw 19551
c lw 20304
c lw 21022
c lw 21057
c lw 21322
c lw 21690
c lw 22856
c lw 24022
c lw 24907
c lw 25188
c lw 25397
c lw 26386
c lw 26868
c lw 28001
c lw 28173
c lw 28899
c lw 29071
c lw 29280
c lw 29505
c lw 29653
c lw 29686
c lw 30564
c lw 30913
c lw 31477
c lw 32538
c lw 32797
c lw 33017
c lw 33574
c lw 33811
c lw 33894
c lw 34086
c lw 34202
c lw 34407
c lw 34920
c lw 35615
c lw 36432
c lw 37249
c lw 37273
c lw 38066
c lw 38848
c lw 39825
c lw 40122
c lw 40181
c lw 40701
c lw 41678
c lw 41870
c lw 42026
c lw 42664
c lw 42788
c lw 43457
c lw 43650
c lw 44491
c lw 44967
c lw 45015
c lw 45127
c lw 45856
c lw 45968
c lw 46125
c lw 46504
c lw 46516
c lw 46724
c lw 46891
c lw 46986
c lw 47720
c lw 48096
c lw 48484
c lw 48738
c lw 48769
c lw 48865
c lw 49195
c lw 49307
c lw 49451
c lw 49534
c lw 49546
c lw 49553
c lw 49725
c lw 49905
c lw 49941
c lw 50077
c lw 50215
c lw 50385
c lw 50414
c lw 50668
c lw 50695
c lw 50782
c lw 50900
c lw 51092
c lw 51223
c lw 51448
c lw 51591
c lw 51603
c lw 51650
c lw 51655
c lw 52151
c lw 52320
c lw 52432
c lw 52437
c lw 52448
c lw 52671
c lw 53143
c lw 53191
c lw 53226
c lw 53465
c lw 53634
c lw 53869
c lw 53931
c lw 54029
c lw 54341
c lw 54498
c lw 54804
c lw 54963
c lw 55000
c lw 55041
c lw 55148
c lw 55172
c lw 55236
c lw 55336
c lw 55461
c lw 55545
c lw 55571
c lw 55717
c lw 55774
c lw 56376
c lw 56381
c lw 56783
c lw 56924
c lw 56992
c lw 57020
c lw 57033
c lw 57163
c lw 57196
c lw 57320
c lw 57332
c lw 57777
c lw 57810
c lw 57968
c lw 57988
c lw 58124
c lw 58130
c lw 58146
c lw 58242
c lw 58494
c lw 59087
c lw 59127
c lw 59271
c lw 59443
c lw 59509
c lw 59598
c lw 59734
c lw 59742
c lw 60209
c lw 60392
c lw 60425
c lw 60538
c lw 60643
c lw 61466
c lw 61676
c lw 61772
c lw 61932
c lw 61934
c lw 62044
c lw 62417
c lw 62500
c lw 62505
c lw 62542
c lw 62568
c lw 62629
c lw 62669
c lw 62681
c lw 62683
c lw 62686
c lw 62896
c lw 62939
c lw 63007
c lw 63035
c lw 63068
c lw 63104
c lw 63215
c lw 63240
c lw 63260
c lw 63378
c lw 63430
c lw 63459
c lw 63460
c lw 63704
c lw 63739
c lw 63743
c lw 63770
c lw 63791
c lw 63793
c lw 63802
c lw 63832
c lw 63856
c lw 63859
c lw 63958
c lw 63995
c lw 64019
c lw 64036
c lw 64062
c lw 64069
c lw 64083
c lw 64102
c lw 64143
c lw 64155
c lw 64239
c lw 64273
c lw 64313
c lw 64327
c lw 64834
c lw 64840
c lw 64841
c lw 64911
c lw 64921
c lw 64939
c lw 64996
c lw 64998
c lw 65001
c lw 65009
c lw 65025
c lw 65033
c lw 65064
c lw 65105
c lw 65113
c lw 65114
c lw 65203
c lw 65229
c lw 65236
c lw 65251
c lw 65299
c lw 65329
c lw 65362
c lw 65397
c lw 65407
c lw 65424
c lw 65440
c lw 65448
c lw 65460
c lw 65462
c lw 65464
c lw 65471
c lw 65475
c lw 65479
c lw 65482
c lw 65484
c lw 65485
c lw 65488
c lw 65495
c lw 65497
c lw 65498
c lw 65503
c lw 65507
c lw 65510
c lw 65512
c lw 65513
c lw 65517
c lw 65580
c lw 65581
c lw 65591
c lw 65602
c lw 65603
c lw 65618
c lw 65632
c lw 65634
c lw 65647
c lw 65655
c lw 65657
c lw 65666
c lw 65670
c lw 65671
c lw 65677
c lw 65779
c lw 65788
c lw 65789
c lw 65795
c lw 65798
c lw 65799
c lw 65829
c lw 65830
c lw 65865
c lw 65867
c lw 65875
c lw 65891
c lw 65902
c lw 65903
c lw 65904
c lw 65905
c lw 65907
c lw 65912
c lw 65913
c lw 65916
c lw 65917
c lw 65919
c lw 65922
c lw 65933
c lw 65935
c lw 65953
c lw 65956
c lw 65972
c lw 65974
c lw 65985
c lw 65987
c lw 65991
c lw 65993
c lw 65995
c lw 65996
c lw 65997
c lw 65999
c lw 66001
c lw 66002
c lw 66004
c lw 66009
c lw 66013
c lw 66017
c lw 66020
c lw 66021
c lw 66023
c lw 66025
c lw 66026
c lw 66027
c lw 66028
c lw 66030
c lw 66032
c lw 66033
c lw 66044
c lw 66045
c lw 66046
c lw 66047
c lw 66048
c lw 66049
c lw 66050
c lw 66051
c lw 66060
c lw 66061
c lw 66064
c lw 66070
c lw 66072
c lw 66075
c lw 66077
c lw 66079
c lw 66081
c lw 66083
c lw 66084
c lw 66085
c lw 66086
c lw 66087
c lw 66088
c lw 66089
c lw 66090
c lw 66092
c lw 66099
c lw 66100
c lw 66101
c lw 66102
c lw 66103
c lw 66105
c lw 66106
c lw 66107
c lw 66112
c lw 66120
c lw 66126
c lw 66127
c lw 66128
c lw 66139
c lw 66141
c lw 66142
c lw 66143
c lw 66151
c lw 66152
c lw 66153
c lw 66157
c lw 66160
c lw 66161
c lw 66162
c lw 66163
c lw 66164
c lw 66165
c lw 66167
c lw 66170
c lw 66172
c lw 66174
c lw 66175
c lw 66187
c lw 66192
c lw 66193
c lw 66194
c lw 66197
c lw 66198
c lw 66199
c lw 66200
c lw 66202
c lw 66207
c lw 66219
c lw 66230
c lw 66232
c lw 66266
c lw 66274
c lw 66275
c lw 66276
c lw 66278
c lw 66282
c lw 66283
c lw 66284
c lw 66285
c lw 66286
c lw 66287
c lw 66288
c lw 66289
c lw 66290
c lw 66291
c lw 66292
c lw 66293
c lw 66294
c lw 66301
c lw 66302
c lw 66317
c lw 66323
c lw 66327
c lw 66339
c lw 66340
c lw 66342
c lw 66344
c lw 66347
c lw 66348
c lw 66349
c lw 66350
c lw 66351
c lw 66352
c lw 66353
c lw 66354
c lw 66355
c lw 66357
c lw 66358
c lw 66361
c lw 66362
c lw 66363
c lw 66364
c lw 66365
c lw 66366
c lw 66367
c lw 66375
c lw 66376
c lw 66377
c lw 66378
c lw 66379
c lw 66380
c lw 66382
c lw 66383
c lw 66385
c lw 66386
c lw 66387
c lw 66388
c lw 66389
c lw 66390
c lw 66391
c lw 66392
c lw 66393
c lw 66394
c lw 66395
c lw 66396
c lw 66397
c lw 66404
c lw 66405
c lw 66406
c lw 66407
c lw 66408
c lw 66409
c lw 66410
c lw 66411
c lw 66412
c lw 66413
c lw 66414
c lw 66415
c lw 66416
c lw 66417
c lw 66418
c lw 66419
c lw 66420
c lw 66421
c lw 66424
c lw 66425
c lw 66426
c lw 66427
c lw 66428
c lw 66429
c lw 66435
c lw 66436
c lw 66447
c lw 66456
c lw 66457
c lw 66458
c lw 66460
c lw 66461
c lw 66469
c lw 66506
c lw 66507
c lw 66508
c lw 66509
c lw 66510
c lw 66511
c lw 66512
c lw 66513
c lw 66549
c lw 66550
c lw 66562
c lw 66563
c lw 66564
c lw 66565
c lw 66566
c lw 66567
c lw 66568
c lw 66569
c lw 66570
c lw 66571
c lw 66572
c lw 66573
c lw 66578
c lw 66589
c lw 66590
c lw 66591
c lw 66597
c lw 66600
c lw 66601
c lw 66611
c lw 66753
c lw 66754
c lw 66755
c lw 66756
c lw 66757
c lw 66758
c lw 66759
c lw 66760
c lw 66761
c lw 66762
c lw 66763
c lw 66764
c lw 66765
c lw 66766
c lw 66767
c lw 66768
c lw 66769
c lw 66770
c lw 66771
c lw 66772
c lw 66773
c lw 66774
c lw 66775
c lw 66776
c lw 66777
c lw 66780
c lw 66782
c lw 66783
c lw 66932
c lw 66933
c lw 66934
c lw 66935
c lw 66936
c lw 66937
c lw 66938
c lw 66939
c lw 66950
c lw 66951
c lw 66952
c lw 66953
c lw 66954
c lw 66955
c lw 66956
c lw 66957
c lw 66958
c lw 66959
c lw 66960
c lw 66961
c lw 66962
c lw 66963
c lw 66964
c lw 66965
c lw 66966
c lw 66967
c lw 66968
c lw 66969
c lw 66970
c lw 66971
c lw 66972
c lw 66973
c lw 66975
c lw 67000
c lw 67004
c lw 67005
c lw 67006
c lw 67007
c lw 67008
c lw 67009
c lw 67013
c lw 67014
c lw 67015
c lw 67016
c lw 67017
c lw 67019
c lw 67021
c lw 67022
c lw 67023
c lw 67024
c lw 67026
c lw 67030
c lw 67033
c lw 67034
c lw 67035
c lw 67036
c lw 67042
c lw 67043
c lw 67044
c lw 67046
c lw 67047
c lw 67112
c lw 67118
c lw 67120
c lw 67341
c lw 67342
c lw 67343
c lw 67344
c lw 67345
c lw 67346
c lw 67347
c lw 67348
c lw 67349
c lw 67350
c lw 67351
c lw 67352
c lw 67353
c lw 67356
c lw 67357
c lw 67358
c lw 67361
c lw 67362
c lw 67363
c lw 67387
c lw 67390
c lw 67392
c lw 67393
c lw 67407
c lw 67455
c lw 67456
c lw 67457
c lw 67458
c lw 67459
c lw 67460
c lw 67461
c lw 67462
c lw 67463
c lw 67464
c lw 67465
c lw 67466
c lw 67467
c lw 67468
c lw 67469
c lw 67470
c lw 67471
c lw 67472
c lw 67473
c lw 67474
c lw 67475
c lw 67476
c lw 67477
c lw 67480
c lw 67481
c lw 67482
c lw 67487
c lw 67488
c lw 67489
c lw 67490
c lw 67491
c lw 67492
c lw 67493
c lw 67494
c lw 67495
c lw 67496
c lw 67497
c lw 67498
c lw 67499
c lw 67500
c lw 67501
c lw 67502
c lw 67503
c lw 67504
c lw 67505
c lw 67506
c lw 67507
c lw 67508
c lw 67511
c lw 67516
c lw 67518
c lw 67519
c lw 67520
c lw 67521
c lw 67522
c lw 67523
c lw 67524
c lw 67525
c lw 67526
c lw 67527
c lw 67528
c lw 67529
c lw 67530
c lw 67531
c lw 67532
c lw 67533
c lw 67534
c lw 67535
c lw 67536
c lw 67537
c lw 67538
c lw 67539
c lw 67540
c lw 67541
c lw 67542
c lw 67543
c lw 67544
c lw 67545
c lw 67548
c lw 67549
c lw 67550
c lw 67551
c lw 67552
c lw 67553
c lw 67554
c lw 67555
c lw 67556
c lw 67557
c lw 67558
c lw 67559
c lw 67560
c lw 67561
c lw 67562
c lw 67563
c lw 67564
c lw 67565
c lw 67566
c lw 67567
c lw 67568
c lw 67569
c lw 67570
c lw 67571
c lw 67572
c lw 67573
c lw 67574
c lw 67575
c lw 67576
c lw 67577
c lw 67578
c lw 67579
c lw 67580
c lw 67581
c lw 67582
c lw 67583
c lw 67584
c lw 67585
c lw 67586
c lw 67587
c lw 67588
c lw 67589
c lw 67590
c lw 67591
c lw 67610
c lw 67611
c lw 67612
c lw 67613
c lw 67614
c lw 67618
c lw 67619
c lw 67620
c lw 67621
c lw 67622
c lw 67623
c lw 67624
c lw 67628
c lw 67629
c lw 67633
c lw 67636
c lw 67637
c lw 67638
c lw 67639
c lw 67640
c lw 67641
c lw 67642
c lw 67643
c lw 67644
c lw 67645
c lw 67646
c lw 67647
c lw 67648
c lw 67649
c lw 67650
c lw 67651
c lw 67652
c lw 67653
c lw 67654
c lw 67655
c lw 67656
c lw 67657
c lw 67658
c lw 67659
c lw 67660
c lw 67661
c lw 67662
c lw 67663
c lw 67664
c lw 67665
c lw 67666
c lw 67667
c lw 67668
c lw 67669
c lw 67670
c lw 67671
c lw 67672
c lw 67673
c lw 67674
c lw 67675
c lw 67681
c lw 67682
c lw 67785
c lw 67786
c lw 67788
c lw 67789
c lw 67790
c lw 67791
c lw 67792
c lw 67793
c lw 67794
c lw 67795
c lw 67796
c lw 67797
c lw 67798
c lw 67800
c lw 67801
c lw 67802
c lw 67803
c lw 67804
c lw 67808
c lw 67809
c lw 67810
c lw 67811
c lw 67812
c lw 67813
c lw 67814
c lw 67815
c lw 67816
c lw 67817
c lw 67818
c lw 67819
c lw 67820
c lw 67821
c lw 67822
c lw 67823
c lw 67824
c lw 67825
c lw 67826
c lw 67827
c lw 67828
c lw 67829
c lw 67830
c lw 67831
c lw 67832
c lw 67833
c lw 67834
c lw 67835
c lw 67836
c lw 67837
c lw 67838
c lw 67839
c lw 67840
c lw 67841
c lw 67842
c lw 67843
c lw 67844
c lw 67845
c lw 67846
c lw 67847
c lw 67848
c lw 67849
c lw 67850
c lw 67853
c lw 67854
c lw 67855
c lw 67856
c lw 67857
c lw 67858
c lw 67859
c lw 67860
c lw 67861
c lw 67862
c lw 67863
c lw 67864
c lw 67865
c lw 67866
c lw 67867
c lw 67868
c lw 67869
c lw 67870
c lw 67871
c lw 67872
c lw 67873
c lw 67874
c lw 67875
c lw 67876
c lw 67877
c lw 67878
c lw 67879
c lw 67880
c lw 67881
c lw 67882
c lw 67883
c lw 67884
c lw 67885
c lw 67888
c lw 67892
c lw 67893
c lw 67894
c lw 67895
c lw 67896
c lw 67897
c lw 67898
c lw 67899
c lw 67900
c lw 67901
c lw 67902
c lw 67903
c lw 67904
c lw 67905
c lw 67906
c lw 67907
c lw 67908
c lw 67909
c lw 67910
c lw 67911
c lw 67912
c lw 67913
c lw 67914
c lw 67920
c lw 67921
c lw 67922
c lw 67923
c lw 67924
c lw 67925
c lw 67926
c lw 67927
c lw 67928
c lw 67929
c lw 67930
c lw 67931
c lw 67932
c lw 67933
c lw 67934
c lw 67935
c lw 67936
c lw 67937
c lw 67938
c lw 67939
c lw 67940
c lw 67941
c lw 67942
c lw 67943
c lw 67947
c lw 67948
c lw 67949
c lw 67950
c lw 67951
c lw 67952
c lw 67953
c lw 67954
c lw 67955
c lw 67956
c lw 67975
c lw 67976
c lw 67977
c lw 67978
c lw 67979
c lw 67980
c lw 67981
c lw 67982
c lw 67988
c lw 67989
c lw 67990
c lw 67991
c lw 67992
c lw 67995
c lw 67996
c lw 67997
c lw 67998