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_SCHEDULING_cat_sched_60_90_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_90_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 322
c lw 512
c lw 644
c lw 966
c lw 1024
c lw 1288
c lw 1536
c lw 1610
c lw 1932
c lw 2048
c lw 2254
c lw 2560
c lw 2576
c lw 2898
c lw 3072
c lw 3284
c lw 3584
c lw 3670
c lw 4056
c lw 4096
c lw 4442
c lw 4608
c lw 4828
c lw 5120
c lw 5214
c lw 5600
c lw 5632
c lw 5986
c lw 6144
c lw 6372
c lw 6656
c lw 6758
c lw 7144
c lw 7168
c lw 7656
c lw 7680
c lw 8168
c lw 8192
c lw 8680
c lw 8704
c lw 9192
c lw 9216
c lw 9704
c lw 9728
c lw 10216
c lw 10240
c lw 10752
c lw 11264
c lw 11776
c lw 12288
c lw 12776
c lw 13600
c lw 13660
c lw 14424
c lw 14544
c lw 15248
c lw 15428
c lw 16072
c lw 16312
c lw 16956
c lw 17196
c lw 17840
c lw 18080
c lw 18724
c lw 18964
c lw 19608
c lw 19848
c lw 20492
c lw 20732
c lw 21376
c lw 21616
c lw 22260
c lw 22500
c lw 23144
c lw 23384
c lw 24028
c lw 24268
c lw 24912
c lw 25152
c lw 25796
c lw 26036
c lw 26680
c lw 26920
c lw 27564
c lw 27804
c lw 28448
c lw 28688
c lw 29332
c lw 29572
c lw 30216
c lw 30456
c lw 31100
c lw 31340
c lw 31984
c lw 32224
c lw 32380
c lw 32752
c lw 33108
c lw 33124
c lw 33496
c lw 33868
c lw 33992
c lw 34224
c lw 34364
c lw 34380
c lw 34504
c lw 34596
c lw 34620
c lw 34660
c lw 35148
c lw 35240
c lw 35388
c lw 35752
c lw 35776
c lw 35940
c lw 36016
c lw 36180
c lw 36420
c lw 36660
c lw 36684
c lw 37064
c lw 37148
c lw 37304
c lw 37328
c lw 37412
c lw 37816
c lw 37972
c lw 38056
c lw 38212
c lw 38460
c lw 38700
c lw 38732
c lw 38826
c lw 39086
c lw 39110
c lw 39164
c lw 39188
c lw 39574
c lw 39598
c lw 39652
c lw 39676
c lw 40062
c lw 40086
c lw 40140
c lw 40188
c lw 40424
c lw 40448
c lw 40606
c lw 40652
c lw 40802
c lw 40944
c lw 40968
c lw 41022
c lw 41062
c lw 41290
c lw 41376
c lw 41408
c lw 41582
c lw 41590
c lw 41620
c lw 41636
c lw 41904
c lw 41926
c lw 42020
c lw 42110
c lw 42184
c lw 42248
c lw 42306
c lw 42358
c lw 42512
c lw 42628
c lw 42644
c lw 42702
c lw 42884
c lw 43106
c lw 43288
c lw 43346
c lw 43586
c lw 43768
c lw 43932
c lw 44172
c lw 44230
c lw 44478
c lw 44718
c lw 44824
c lw 44958
c lw 45198
c lw 45362
c lw 45438
c lw 45632
c lw 45842
c lw 45998
c lw 46036
c lw 46156
c lw 46178
c lw 46492
c lw 46552
c lw 46672
c lw 46904
c lw 47044
c lw 47060
c lw 47068
c lw 47316
c lw 47332
c lw 47384
c lw 47390
c lw 47448
c lw 47506
c lw 47522
c lw 47528
c lw 47580
c lw 47632
c lw 47638
c lw 47660
c lw 47666
c lw 47676
c lw 47682
c lw 47718
c lw 47726
c lw 47748
c lw 47754
c lw 47758
c lw 47760
c lw 47766
c lw 47770
c lw 47772
c lw 47774
c lw 47780
c lw 47802
c lw 47808
c lw 47816
c lw 47818
c lw 47822
c lw 47828
c lw 47880
c lw 47898
c lw 47966
c lw 47970
c lw 47980
c lw 47982
c lw 48024
c lw 48064
c lw 48092
c lw 48094
c lw 48122
c lw 48126
c lw 48150
c lw 48176
c lw 48180
c lw 48198
c lw 48208
c lw 48214
c lw 48220
c lw 48222
c lw 48226
c lw 48228
c lw 48234
c lw 48236
c lw 48240
c lw 48242
c lw 48244
c lw 48246
c lw 48248
c lw 48252
c lw 48264
c lw 48266
c lw 48282
c lw 48290
c lw 48292
c lw 48294
c lw 48306
c lw 48308
c lw 48310
c lw 48312
c lw 48314
c lw 48316
c lw 48318
c lw 48320
c lw 48322
c lw 48368
c lw 48376
c lw 48400
c lw 48424
c lw 48432
c lw 48472
c lw 48478
c lw 48480
c lw 48482
c lw 48484
c lw 48486
c lw 48488
c lw 48496
c lw 48502
c lw 48526
c lw 48558
c lw 48582
c lw 48604
c lw 48628
c lw 48652
c lw 48676
c lw 48684
c lw 48700
c lw 48706
c lw 48708
c lw 48714
c lw 48716
c lw 48718
c lw 48720
c lw 48722
c lw 48724
c lw 48730
c lw 48732
c lw 48738
c lw 48794
c lw 48842
c lw 48866
c lw 48872
c lw 49022
c lw 49070
c lw 49094
c lw 49118
c lw 49204
c lw 49228
c lw 49234
c lw 49276
c lw 49300
c lw 49456
c lw 49480
c lw 49504
c lw 49540
c lw 49740
c lw 49832
c lw 49852
c lw 49880
c lw 50000
c lw 50060
c lw 50340
c lw 50362
c lw 50396
c lw 50424
c lw 50434
c lw 50438
c lw 50520
c lw 50554
c lw 50688
c lw 50692
c lw 50750
c lw 50852
c lw 50926
c lw 51090
c lw 51108
c lw 51156
c lw 51404
c lw 51586
c lw 51602
c lw 51660
c lw 51702
c lw 51704
c lw 51812
c lw 51960
c lw 51968
c lw 51974
c lw 52032
c lw 52208
c lw 52210
c lw 52242
c lw 52282
c lw 52286
c lw 52290
c lw 52350
c lw 52380
c lw 52388
c lw 52410
c lw 52412
c lw 52428
c lw 52432
c lw 52436
c lw 52468
c lw 52472
c lw 52526
c lw 52530
c lw 52574
c lw 52580
c lw 52592
c lw 52600
c lw 52638
c lw 52658
c lw 52680
c lw 52684
c lw 52702
c lw 52706
c lw 52712
c lw 52714
c lw 52716
c lw 52720
c lw 52724
c lw 52734
c lw 52738
c lw 52742
c lw 52746
c lw 52754
c lw 52758
c lw 52760
c lw 52844
c lw 52916
c lw 53000
c lw 53072
c lw 53084
c lw 53092
c lw 53108
c lw 53150
c lw 53274
c lw 53278
c lw 53430
c lw 53434
c lw 53438
c lw 53502
c lw 53506
c lw 53510
c lw 53514
c lw 53518
c lw 53522
c lw 53530
c lw 53558
c lw 53582
c lw 53586
c lw 53610
c lw 53634
c lw 53654
c lw 53658
c lw 53682
c lw 53734
c lw 53822
c lw 53826
c lw 53846
c lw 53850
c lw 53874
c lw 53902
c lw 53910
c lw 53966
c lw 53974
c lw 53986
c lw 53990
c lw 53994
c lw 54022
c lw 54064
c lw 54070
c lw 54074
c lw 54086
c lw 54100
c lw 54150
c lw 54166
c lw 54282
c lw 54346
c lw 54354
c lw 54358
c lw 54368
c lw 54424
c lw 54432
c lw 54436
c lw 54440
c lw 54444
c lw 54448
c lw 54452
c lw 54456
c lw 54466
c lw 54484
c lw 54532
c lw 54536
c lw 54540
c lw 54580
c lw 54592
c lw 54602
c lw 54648
c lw 54652
c lw 54656
c lw 54660
c lw 54664
c lw 54668
c lw 54672
c lw 54674
c lw 54676
c lw 54678
c lw 54692
c lw 54696
c lw 54700
c lw 54702
c lw 54704
c lw 54706
c lw 54708
c lw 54710
c lw 54712
c lw 54714
c lw 54716
c lw 54720
c lw 54722
c lw 54732
c lw 54740
c lw 54756
c lw 54764
c lw 54766
c lw 54768
c lw 54780
c lw 54784
c lw 54800
c lw 54804
c lw 54808
c lw 54812
c lw 54814
c lw 54816
c lw 54818
c lw 54822
c lw 54824
c lw 54826
c lw 54828
c lw 54830
c lw 54832
c lw 54834
c lw 54836
c lw 54838
c lw 54840
c lw 54842
c lw 54844
c lw 54846
c lw 54848
c lw 54850
c lw 54852
c lw 54860
c lw 54862
c lw 54864
c lw 54866
c lw 54868
c lw 54870
c lw 54872
c lw 54874
c lw 54876
c lw 54878
c lw 54880
c lw 54882
c lw 54884
c lw 54890
c lw 54896
c lw 54898
c lw 54900
c lw 54902
c lw 54904
c lw 54906
c lw 54910
c lw 54912
c lw 54914
c lw 54916
c lw 54918
c lw 54920
c lw 54922
c lw 54924
c lw 54926
c lw 54930
c lw 54932
c lw 54936
c lw 54938
c lw 54940
c lw 54942
c lw 54944
c lw 54946
c lw 54948
c lw 54950
c lw 54952
c lw 54954
c lw 54956
c lw 54958
c lw 54960
c lw 54962
c lw 54964
c lw 54966
c lw 54968
c lw 55028
c lw 55046
c lw 55052
c lw 55054
c lw 55056
c lw 55058
c lw 55060
c lw 55062
c lw 55064
c lw 55066
c lw 55076
c lw 55092
c lw 55096
c lw 55098
c lw 55100
c lw 55104
c lw 55106
c lw 55110
c lw 55116
c lw 55118
c lw 55120
c lw 55122
c lw 55124
c lw 55126
c lw 55128
c lw 55130
c lw 55132
c lw 55134
c lw 55136
c lw 55138
c lw 55140
c lw 55142
c lw 55144
c lw 55146
c lw 55148
c lw 55150
c lw 55152
c lw 55154
c lw 55156
c lw 55158