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_140_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_140_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 348
c lw 696
c lw 1044
c lw 1392
c lw 1740
c lw 2088
c lw 2436
c lw 2784
c lw 3132
c lw 3480
c lw 3828
c lw 4176
c lw 4524
c lw 4872
c lw 5220
c lw 5568
c lw 5916
c lw 6264
c lw 6612
c lw 6960
c lw 7308
c lw 7656
c lw 8004
c lw 8352
c lw 8700
c lw 9048
c lw 9396
c lw 9744
c lw 9922
c lw 10092
c lw 10270
c lw 10440
c lw 10810
c lw 11180
c lw 11550
c lw 11920
c lw 12290
c lw 12660
c lw 13030
c lw 13400
c lw 13744
c lw 13770
c lw 14114
c lw 14140
c lw 14484
c lw 14510
c lw 14854
c lw 14880
c lw 15224
c lw 15250
c lw 15552
c lw 15593
c lw 15859
c lw 15936
c lw 16166
c lw 16279
c lw 16473
c lw 16622
c lw 16780
c lw 16965
c lw 17087
c lw 17308
c lw 17394
c lw 17651
c lw 17737
c lw 17994
c lw 18080
c lw 18337
c lw 18423
c lw 18680
c lw 18766
c lw 19023
c lw 19109
c lw 19366
c lw 19452
c lw 19683
c lw 19795
c lw 20000
c lw 20138
c lw 20317
c lw 20481
c lw 20634
c lw 20824
c lw 20951
c lw 21167
c lw 21294
c lw 21510
c lw 21637
c lw 21853
c lw 21980
c lw 22196
c lw 22323
c lw 22539
c lw 22666
c lw 22882
c lw 23009
c lw 23225
c lw 23352
c lw 23568
c lw 23695
c lw 23911
c lw 24038
c lw 24084
c lw 24257
c lw 24381
c lw 24559
c lw 24724
c lw 24778
c lw 24956
c lw 25067
c lw 25230
c lw 25396
c lw 25411
c lw 25562
c lw 25728
c lw 25755
c lw 25894
c lw 26072
c lw 26099
c lw 26250
c lw 26428
c lw 26443
c lw 26606
c lw 26784
c lw 26787
c lw 26962
c lw 27131
c lw 27140
c lw 27318
c lw 27475
c lw 27496
c lw 27674
c lw 27819
c lw 27852
c lw 28030
c lw 28163
c lw 28208
c lw 28386
c lw 28507
c lw 28564
c lw 28742
c lw 28851
c lw 28920
c lw 29098
c lw 29195
c lw 29276
c lw 29454
c lw 29539
c lw 29632
c lw 29810
c lw 29883
c lw 30043
c lw 30227
c lw 30387
c lw 30571
c lw 30731
c lw 30915
c lw 31075
c lw 31259
c lw 31419
c lw 31473
c lw 31505
c lw 31638
c lw 31650
c lw 31676
c lw 31762
c lw 31808
c lw 31854
c lw 31935
c lw 31965
c lw 31986
c lw 32092
c lw 32202
c lw 32223
c lw 32262
c lw 32374
c lw 32439
c lw 32501
c lw 32644
c lw 32652
c lw 32670
c lw 32779
c lw 32803
c lw 32963
c lw 33036
c lw 33123
c lw 33147
c lw 33216
c lw 33301
c lw 33307
c lw 33386
c lw 33467
c lw 33485
c lw 33592
c lw 33612
c lw 33721
c lw 33730
c lw 33771
c lw 33797
c lw 33848
c lw 33924
c lw 34013
c lw 34064
c lw 34140
c lw 34191
c lw 34229
c lw 34356
c lw 34419
c lw 34445
c lw 34509
c lw 34546
c lw 34632
c lw 34702
c lw 34788
c lw 34803
c lw 34889
c lw 34959
c lw 35045
c lw 35060
c lw 35146
c lw 35216
c lw 35302
c lw 35317
c lw 35437
c lw 35439
c lw 35502
c lw 35588
c lw 35595
c lw 35696
c lw 35708
c lw 35773
c lw 35825
c lw 35866
c lw 35974
c lw 36071
c lw 36140
c lw 36180
c lw 36249
c lw 36306
c lw 36358
c lw 36370
c lw 36415
c lw 36491
c lw 36536
c lw 36569
c lw 36669
c lw 36681
c lw 36702
c lw 36826
c lw 36847
c lw 36856
c lw 37004
c lw 37016
c lw 37085
c lw 37088
c lw 37191
c lw 37206
c lw 37263
c lw 37354
c lw 37381
c lw 37384
c lw 37505
c lw 37532
c lw 37559
c lw 37644
c lw 37659
c lw 37698
c lw 37795
c lw 37825
c lw 37958
c lw 38128
c lw 38136
c lw 38289
c lw 38629
c lw 38637
c lw 38977
c lw 38985
c lw 39329
c lw 39355
c lw 39695
c lw 39912
c lw 39920
c lw 40047
c lw 40137
c lw 40477
c lw 40485
c lw 40825
c lw 40833
c lw 40836
c lw 41173
c lw 41453
c lw 41543
c lw 41546
c lw 41823
c lw 41831
c lw 41895
c lw 42171
c lw 42179
c lw 42212
c lw 42497
c lw 42519
c lw 42527
c lw 42867
c lw 42875
c lw 43215
c lw 43223
c lw 43563
c lw 43571
c lw 43911
c lw 43919
c lw 44114
c lw 44259
c lw 44298
c lw 44309
c lw 44454
c lw 44462
c lw 44607
c lw 44657
c lw 44802
c lw 44810
c lw 45005
c lw 45150
c lw 45158
c lw 45180
c lw 45353
c lw 45386
c lw 45450
c lw 45498
c lw 45506
c lw 45701
c lw 45704
c lw 45846
c lw 45854
c lw 46049
c lw 46194
c lw 46202
c lw 46397
c lw 46542
c lw 46550
c lw 46720
c lw 46737
c lw 46746
c lw 46749
c lw 46752
c lw 46789
c lw 46799
c lw 46800
c lw 46828
c lw 46854
c lw 46860
c lw 46869
c lw 46870
c lw 46872
c lw 46873
c lw 46875
c lw 46884
c lw 46885
c lw 47102
c lw 47110
c lw 47200
c lw 47203
c lw 47293
c lw 47301
c lw 47573
c lw 47576
c lw 47581
c lw 47589
c lw 47599
c lw 47604
c lw 47632
c lw 47675
c lw 47734
c lw 47739
c lw 47755
c lw 47785
c lw 47800
c lw 47826
c lw 47834
c lw 47846
c lw 47879
c lw 47944
c lw 47949
c lw 47997
c lw 48005
c lw 48012
c lw 48032
c lw 48036
c lw 48040
c lw 48044
c lw 48065
c lw 48069
c lw 48070
c lw 48077
c lw 48089
c lw 48102
c lw 48139
c lw 48141
c lw 48165
c lw 48166
c lw 48169
c lw 48170
c lw 48177
c lw 48178
c lw 48179
c lw 48182
c lw 48183
c lw 48184
c lw 48185
c lw 48186
c lw 48187
c lw 48188
c lw 48189
c lw 48190
c lw 48199
c lw 48200
c lw 48203
c lw 48204
c lw 48206
c lw 48207
c lw 48208
c lw 48209
c lw 48210
c lw 48211
c lw 48212
c lw 48214
c lw 48215
c lw 48216
c lw 48217
c lw 48218
c lw 48219
c lw 48220
c lw 48221
c lw 48222
c lw 48223
c lw 48224
c lw 48225
c lw 48226
c lw 48227
c lw 48228
c lw 48229
c lw 48230
c lw 48245
c lw 48298
c lw 48299
c lw 48300
c lw 48301
c lw 48302
c lw 48303
c lw 48304
c lw 48305
c lw 48306
c lw 48307
c lw 48308
c lw 48309
c lw 48310
c lw 48339
c lw 48340
c lw 48355
c lw 48387
c lw 48388
c lw 48389
c lw 48390
c lw 48399
c lw 48400
c lw 48401
c lw 48402
c lw 48403
c lw 48404
c lw 48405
c lw 48411
c lw 48412
c lw 48413
c lw 48414
c lw 48417
c lw 48418
c lw 48431
c lw 48435
c lw 48436
c lw 48437
c lw 48438
c lw 48440
c lw 48472
c lw 48503
c lw 48504
c lw 48505
c lw 48506
c lw 48507
c lw 48508
c lw 48509
c lw 48510
c lw 48511
c lw 48512
c lw 48513
c lw 48514
c lw 48516
c lw 48517
c lw 48518
c lw 48519
c lw 48522
c lw 48528
c lw 48529
c lw 48530
c lw 48531
c lw 48532
c lw 48535
c lw 48550
c lw 48551
c lw 48552
c lw 48553
c lw 48554
c lw 48555
c lw 48570
c lw 48608
c lw 48614
c lw 48622
c lw 48626
c lw 48643
c lw 48654
c lw 48656
c lw 48657
c lw 48658
c lw 48659
c lw 48660
c lw 48661
c lw 48662
c lw 48663
c lw 48664
c lw 48665
c lw 48666
c lw 48667
c lw 48668
c lw 48669
c lw 48694
c lw 48709
c lw 48710
c lw 48711
c lw 48772
c lw 48794
c lw 48797
c lw 48798
c lw 48799
c lw 48800
c lw 48801
c lw 48802
c lw 48803
c lw 48804
c lw 48812
c lw 48813
c lw 48814
c lw 48815
c lw 48816
c lw 48817
c lw 48818
c lw 48819
c lw 48820
c lw 48821
c lw 48822
c lw 48825
c lw 48827
c lw 48828
c lw 48829
c lw 48830
c lw 48831
c lw 48832
c lw 48834
c lw 48835
c lw 48836
c lw 48860
c lw 48877
c lw 48880
c lw 48882
c lw 48889
c lw 48890
c lw 48891
c lw 48892
c lw 48893
c lw 48894
c lw 48897
c lw 48898
c lw 48899
c lw 48900
c lw 48901
c lw 48908
c lw 48914
c lw 48923
c lw 48924
c lw 48938
c lw 48939
c lw 48940
c lw 48941
c lw 48942
c lw 48954
c lw 48983
c lw 49025
c lw 49026
c lw 49027
c lw 49028
c lw 49029
c lw 49030
c lw 49031
c lw 49032
c lw 49052
c lw 49087
c lw 49094
c lw 49114
c lw 49122
c lw 49164
c lw 49177
c lw 49224
c lw 49292
c lw 49337
c lw 49343
c lw 49361
c lw 49367
c lw 49381
c lw 49388
c lw 49395
c lw 49402
c lw 49409
c lw 49411
c lw 49418
c lw 49436
c lw 49450
c lw 49456
c lw 49467
c lw 49474
c lw 49481
c lw 49487
c lw 49493
c lw 49496
c lw 49501
c lw 49507
c lw 49508
c lw 49520
c lw 49546
c lw 49551
c lw 49553
c lw 49554
c lw 49555
c lw 49557
c lw 49558
c lw 49560
c lw 49562
c lw 49563
c lw 49566
c lw 49570
c lw 49571
c lw 49572
c lw 49573
c lw 49574
c lw 49575
c lw 49576
c lw 49579
c lw 49580
c lw 49581
c lw 49582
c lw 49583
c lw 49584
c lw 49585
c lw 49586
c lw 49587
c lw 49593
c lw 49594
c lw 49597
c lw 49601
c lw 49602
c lw 49603
c lw 49604
c lw 49605
c lw 49606
c lw 49607
c lw 49608
c lw 49628
c lw 49629
c lw 49642
c lw 49648
c lw 49656
c lw 49678
c lw 49694
c lw 49707
c lw 49714
c lw 49715
c lw 49717
c lw 49723
c lw 49724
c lw 49726
c lw 49729
c lw 49730
c lw 49751
c lw 49757
c lw 49759
c lw 49775
c lw 49776
c lw 49781
c lw 49782
c lw 49783
c lw 49784
c lw 49785
c lw 49786
c lw 49787
c lw 49788
c lw 49789
c lw 49792
c lw 49793
c lw 49794
c lw 49795
c lw 49796
c lw 49797
c lw 49799
c lw 49800
c lw 49801
c lw 49802
c lw 49803
c lw 49804
c lw 49805
c lw 49806
c lw 49807
c lw 49808
c lw 49809
c lw 49819
c lw 49836
c lw 49837
c lw 49842
c lw 49843
c lw 49844
c lw 49851
c lw 49852
c lw 49853
c lw 49854
c lw 49855
c lw 49860
c lw 49861
c lw 49862
c lw 49868
c lw 49869
c lw 49870
c lw 49871
c lw 49872
c lw 49874
c lw 49875
c lw 49876
c lw 49893
c lw 49895
c lw 49899
c lw 49903
c lw 49906
c lw 49908
c lw 49911
c lw 49912
c lw 49913
c lw 49914
c lw 49915
c lw 49916
c lw 49918
c lw 49919
c lw 49921
c lw 49922
c lw 49923
c lw 49924
c lw 49925
c lw 49926
c lw 49930
c lw 49933
c lw 49934
c lw 49935
c lw 49936
c lw 49937
c lw 49938
c lw 49939
c lw 49946
c lw 49958
c lw 49982
c lw 50003
c lw 50004
c lw 50005
c lw 50006
c lw 50007
c lw 50008
c lw 50009
c lw 50010
c lw 50011
c lw 50012
c lw 50013
c lw 50014
c lw 50015
c lw 50016
c lw 50017
c lw 50018
c lw 50026
c lw 50027
c lw 50028
c lw 50030
c lw 50033
c lw 50034
c lw 50035
c lw 50038
c lw 50039
c lw 50040
c lw 50041
c lw 50042
c lw 50043
c lw 50044
c lw 50045
c lw 50046
c lw 50047
c lw 50048
c lw 50049
c lw 50051
c lw 50052
c lw 50053
c lw 50054
c lw 50055
c lw 50057
c lw 50058
c lw 50059
c lw 50060
c lw 50061
c lw 50062
c lw 50063
c lw 50065
c lw 50066
c lw 50067
c lw 50068
c lw 50075
c lw 50076
c lw 50077
c lw 50078
c lw 50079
c lw 50080
c lw 50081
c lw 50082
c lw 50083
c lw 50084
c lw 50085
c lw 50086
c lw 50087
c lw 50088
c lw 50089
c lw 50092
c lw 50122
c lw 50131
c lw 50137
c lw 50143
c lw 50146
c lw 50158
c lw 50176
c lw 50185
c lw 50188
c lw 50191
c lw 50216
c lw 50222
c lw 50225
c lw 50228
c lw 50234
c lw 50237
c lw 50246
c lw 50252
c lw 50255
c lw 50258
c lw 50261
c lw 50296
c lw 50299
c lw 50300
c lw 50303
c lw 50305
c lw 50306
c lw 50308
c lw 50309
c lw 50310
c lw 50311
c lw 50312
c lw 50318
c lw 50319
c lw 50320
c lw 50328
c lw 50329
c lw 50330
c lw 50331
c lw 50332
c lw 50333
c lw 50334
c lw 50336
c lw 50337
c lw 50339
c lw 50364
c lw 50367
c lw 50368
c lw 50369
c lw 50370
c lw 50375
c lw 50376
c lw 50377
c lw 50378
c lw 50379
c lw 50380
c lw 50381
c lw 50382
c lw 50383
c lw 50384
c lw 50385
c lw 50386
c lw 50387
c lw 50388
c lw 50389
c lw 50390
c lw 50391
c lw 50392
c lw 50393
c lw 50394
c lw 50427
c lw 50472
c lw 50473
c lw 50487
c lw 50494
c lw 50495
c lw 50496
c lw 50497
c lw 50498
c lw 50499
c lw 50500
c lw 50501
c lw 50502
c lw 50503
c lw 50505
c lw 50506
c lw 50507
c lw 50515
c lw 50516
c lw 50526
c lw 50528
c lw 50549
c lw 50601
c lw 50625
c lw 50647
c lw 50649
c lw 50658
c lw 50659
c lw 50667
c lw 50668
c lw 50708
c lw 50749
c lw 50767
c lw 50769
c lw 50775
c lw 50844
c lw 50846
c lw 50868
c lw 50870
c lw 50872
c lw 50876
c lw 50931
c lw 50933
c lw 50973
c lw 50974
c lw 50980
c lw 50998
c lw 51004
c lw 51005
c lw 51006
c lw 51010
c lw 51028
c lw 51030
c lw 51035
c lw 51037
c lw 51040
c lw 51041
c lw 51042
c lw 51046
c lw 51051
c lw 51052
c lw 51053
c lw 51054
c lw 51055
c lw 51056
c lw 51057
c lw 51079
c lw 51080
c lw 51084
c lw 51085
c lw 51086
c lw 51087
c lw 51088
c lw 51089
c lw 51090
c lw 51091
c lw 51098
c lw 51100
c lw 51106
c lw 51107
c lw 51108
c lw 51109
c lw 51110
c lw 51111
c lw 51112
c lw 51113
c lw 51114
c lw 51115
c lw 51116
c lw 51119
c lw 51121
c lw 51124
c lw 51126
c lw 51127
c lw 51128
c lw 51129
c lw 51130
c lw 51133
c lw 51134
c lw 51135
c lw 51147
c lw 51153
c lw 51154
c lw 51155
c lw 51156
c lw 51157
c lw 51158
c lw 51159
c lw 51160
c lw 51161
c lw 51162
c lw 51163
c lw 51164
c lw 51165