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_200_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 191
c lw 382
c lw 573
c lw 764
c lw 955
c lw 1026
c lw 1146
c lw 1337
c lw 1528
c lw 1719
c lw 1960
c lw 2052
c lw 2201
c lw 2293
c lw 2442
c lw 2534
c lw 2683
c lw 2775
c lw 2924
c lw 3016
c lw 3165
c lw 3257
c lw 3406
c lw 3498
c lw 3647
c lw 3739
c lw 3888
c lw 3980
c lw 4129
c lw 4135
c lw 4221
c lw 4227
c lw 4462
c lw 4468
c lw 4703
c lw 4709
c lw 4944
c lw 4950
c lw 5185
c lw 5191
c lw 5426
c lw 5432
c lw 5667
c lw 5673
c lw 5908
c lw 6076
c lw 6244
c lw 6412
c lw 6470
c lw 6580
c lw 6748
c lw 6916
c lw 7032
c lw 7084
c lw 7252
c lw 7420
c lw 7588
c lw 7594
c lw 7756
c lw 7924
c lw 8092
c lw 8156
c lw 8260
c lw 8428
c lw 8596
c lw 8718
c lw 8764
c lw 8932
c lw 9100
c lw 9268
c lw 9280
c lw 9436
c lw 9604
c lw 9772
c lw 9842
c lw 9940
c lw 10108
c lw 10276
c lw 10404
c lw 10444
c lw 10612
c lw 10780
c lw 10948
c lw 10966
c lw 11116
c lw 11284
c lw 11452
c lw 11528
c lw 11620
c lw 11788
c lw 11956
c lw 12090
c lw 12124
c lw 12292
c lw 12460
c lw 12628
c lw 12634
c lw 12652
c lw 12658
c lw 13214
c lw 13220
c lw 13776
c lw 14338
c lw 14452
c lw 14566
c lw 14680
c lw 14767
c lw 14794
c lw 14881
c lw 14908
c lw 14914
c lw 14995
c lw 15001
c lw 15109
c lw 15115
c lw 15223
c lw 15229
c lw 15337
c lw 15343
c lw 15451
c lw 16915
c lw 16993
c lw 18404
c lw 18535
c lw 19919
c lw 20077
c lw 21461
c lw 21619
c lw 23003
c lw 23161
c lw 24545
c lw 24703
c lw 26087
c lw 26245
c lw 27629
c lw 27787
c lw 29171
c lw 29329
c lw 30713
c lw 30871
c lw 32255
c lw 32413
c lw 33797
c lw 33955
c lw 35339
c lw 35497
c lw 36881
c lw 37039
c lw 38423
c lw 38581
c lw 39965
c lw 40123
c lw 41507
c lw 41665
c lw 43049
c lw 43207
c lw 44591
c lw 44749
c lw 46133
c lw 46291
c lw 47675
c lw 47833
c lw 49217
c lw 49375
c lw 50759
c lw 50765
c lw 50917
c lw 50923
c lw 52102
c lw 52459
c lw 52465
c lw 53644
c lw 54001
c lw 54007
c lw 55186
c lw 55499
c lw 55543
c lw 55549
c lw 56728
c lw 57085
c lw 57091
c lw 58270
c lw 58627
c lw 58633
c lw 59812
c lw 60169
c lw 60175
c lw 60596
c lw 61354
c lw 61775
c lw 62533
c lw 62954
c lw 63712
c lw 64133
c lw 64891
c lw 65312
c lw 65835
c lw 66491
c lw 66779
c lw 67670
c lw 67723
c lw 68667
c lw 68768
c lw 69611
c lw 69839
c lw 70555
c lw 70910
c lw 71499
c lw 71981
c lw 72030
c lw 72653
c lw 73052
c lw 73276
c lw 74231
c lw 74437
c lw 74443
c lw 75410
c lw 75416
c lw 75422
c lw 75428
c lw 75434
c lw 75440
c lw 75446
c lw 75452
c lw 75458
c lw 75464
c lw 75470
c lw 75476
c lw 75482
c lw 75488
c lw 75540
c lw 75618
c lw 75624
c lw 75830
c lw 75882
c lw 76239
c lw 76303
c lw 76596
c lw 76640
c lw 76646
c lw 76666
c lw 76672
c lw 77061
c lw 77067
c lw 77079
c lw 77235
c lw 77247
c lw 77281
c lw 77403
c lw 77639
c lw 77845
c lw 77851
c lw 77857
c lw 77863
c lw 77869
c lw 77875
c lw 77881
c lw 77887
c lw 77893
c lw 77911
c lw 78292
c lw 78400
c lw 78693
c lw 78699
c lw 78757
c lw 79214
c lw 79263
c lw 79579
c lw 79687
c lw 79693
c lw 79751
c lw 80044
c lw 80196
c lw 80340
c lw 80346
c lw 80557
c lw 81124
c lw 81130
c lw 81135
c lw 81363
c lw 81519
c lw 81525
c lw 82212
c lw 82303
c lw 82309
c lw 82909
c lw 82927
c lw 83043
c lw 83077
c lw 83095
c lw 83135
c lw 83211
c lw 83245
c lw 83251
c lw 83327
c lw 83337
c lw 83379
c lw 83385
c lw 83495
c lw 83513
c lw 83547
c lw 83645
c lw 83681
c lw 83753
c lw 83759
c lw 83779
c lw 83813
c lw 83823
c lw 83899
c lw 84235
c lw 84288
c lw 84767
c lw 84848
c lw 84854
c lw 84881
c lw 84887
c lw 84902
c lw 85126
c lw 85190
c lw 85346
c lw 85352
c lw 85361
c lw 85622
c lw 85628
c lw 85857
c lw 85884
c lw 86017
c lw 86023
c lw 86029
c lw 86035
c lw 86252
c lw 86540
c lw 86615
c lw 86627
c lw 86651
c lw 86783
c lw 86795
c lw 86819
c lw 86841
c lw 86951
c lw 86957
c lw 86987
c lw 87079
c lw 87107
c lw 87171
c lw 87247
c lw 87275
c lw 87339
c lw 87351
c lw 87357
c lw 87507
c lw 87513
c lw 87525
c lw 87629
c lw 87681
c lw 87693
c lw 87733
c lw 87757
c lw 87797
c lw 87815
c lw 87901
c lw 87907
c lw 87999
c lw 88056
c lw 88148
c lw 88190
c lw 88297
c lw 88339
c lw 88381
c lw 88389
c lw 88459
c lw 88535
c lw 88703
c lw 88854
c lw 88871
c lw 89029
c lw 89035
c lw 89193
c lw 89351
c lw 89509
c lw 89655
c lw 89667
c lw 89813
c lw 89825
c lw 89983
c lw 90141
c lw 90299
c lw 90457
c lw 90586
c lw 90609
c lw 90767
c lw 91326
c lw 91484
c lw 91993
c lw 92151
c lw 92710
c lw 93535
c lw 93693
c lw 93936
c lw 93942
c lw 95083
c lw 95168
c lw 95241
c lw 95333
c lw 95403
c lw 95443
c lw 95461
c lw 95842
c lw 96161
c lw 96167
c lw 96219
c lw 96292
c lw 96298
c lw 96376
c lw 96382
c lw 96394
c lw 96552
c lw 96627
c lw 96654
c lw 96741
c lw 96756
c lw 96812
c lw 96848
c lw 96932
c lw 96997
c lw 97003
c lw 97089
c lw 97123
c lw 97194
c lw 97238
c lw 97314
c lw 98389
c lw 98700
c lw 98727
c lw 98743
c lw 98874
c lw 99542
c lw 99926
c lw 99944
c lw 101170
c lw 101244
c lw 102470
c lw 103696
c lw 104322
c lw 104480
c lw 104706
c lw 104724
c lw 104763
c lw 104894
c lw 105763
c lw 106120
c lw 106174
c lw 106180
c lw 106186
c lw 106192
c lw 106198
c lw 106204
c lw 106210
c lw 106284
c lw 106290
c lw 106296
c lw 106300
c lw 106316
c lw 106350
c lw 106358
c lw 106368
c lw 106404
c lw 106420
c lw 106431
c lw 106436
c lw 106478
c lw 106479
c lw 106502
c lw 106504
c lw 106538
c lw 106594
c lw 106600
c lw 106652
c lw 106665
c lw 106670
c lw 106695
c lw 106699
c lw 106705
c lw 106744
c lw 106762
c lw 106815
c lw 106836
c lw 106854
c lw 106872
c lw 106886
c lw 106893
c lw 106925
c lw 106962
c lw 106968
c lw 106980
c lw 107047
c lw 107056
c lw 107066
c lw 107070
c lw 107074
c lw 107080
c lw 107084
c lw 107086
c lw 107223
c lw 107227
c lw 107228
c lw 107230
c lw 107233
c lw 107236
c lw 107243
c lw 107244
c lw 107251
c lw 107252
c lw 107253
c lw 107269
c lw 107274
c lw 107276
c lw 107318
c lw 107333
c lw 107334
c lw 107357
c lw 107359
c lw 107366
c lw 107367
c lw 107384
c lw 107389
c lw 107399
c lw 107411
c lw 107417
c lw 107420
c lw 107470
c lw 107476
c lw 107628
c lw 107631
c lw 107888
c lw 107975
c lw 108002
c lw 108077
c lw 108089
c lw 108094
c lw 108154
c lw 108155
c lw 108166
c lw 108183
c lw 108184
c lw 108187
c lw 108188
c lw 108189
c lw 108190
c lw 108194
c lw 108195
c lw 108350
c lw 108400
c lw 108406
c lw 108412
c lw 108424
c lw 108427
c lw 108433
c lw 108491
c lw 108505
c lw 108598
c lw 108601
c lw 108638
c lw 108641
c lw 108668
c lw 108734
c lw 108772
c lw 108848
c lw 108854
c lw 108860
c lw 108912
c lw 108934
c lw 108974
c lw 108976
c lw 108978
c lw 108982
c lw 108986
c lw 108987
c lw 108988
c lw 108994
c lw 108995
c lw 108996
c lw 108997
c lw 108998
c lw 109000
c lw 109001
c lw 109002
c lw 109012
c lw 109018
c lw 109046
c lw 109052
c lw 109058
c lw 109068
c lw 109104
c lw 109105
c lw 109106
c lw 109108
c lw 109109
c lw 109110
c lw 109138
c lw 109144
c lw 109145
c lw 109146
c lw 109150
c lw 109156
c lw 109160
c lw 109163
c lw 109166
c lw 109170
c lw 109178
c lw 109206
c lw 109208
c lw 109209
c lw 109210
c lw 109212
c lw 109214
c lw 109218
c lw 109219
c lw 109220
c lw 109221
c lw 109222
c lw 109223
c lw 109224
c lw 109225
c lw 109227
c lw 109228
c lw 109229
c lw 109231
c lw 109232
c lw 109233
c lw 109234
c lw 109251
c lw 109252
c lw 109254
c lw 109257
c lw 109266
c lw 109270
c lw 109271
c lw 109272
c lw 109273
c lw 109274
c lw 109275
c lw 109276
c lw 109277
c lw 109278
c lw 109279
c lw 109285
c lw 109307
c lw 109331
c lw 109338
c lw 109345
c lw 109349
c lw 109355
c lw 109373
c lw 109375
c lw 109389
c lw 109390
c lw 109391
c lw 109392
c lw 109393
c lw 109394
c lw 109395
c lw 109397
c lw 109398
c lw 109399
c lw 109400
c lw 109401
c lw 109402
c lw 109403
c lw 109404
c lw 109405
c lw 109406
c lw 109407
c lw 109408
c lw 109409
c lw 109410
c lw 109411
c lw 109413
c lw 109414
c lw 109415
c lw 109416
c lw 109417
c lw 109418
c lw 109419
c lw 109420
c lw 109421
c lw 109422
c lw 109423
c lw 109424
c lw 109425
c lw 109426
c lw 109427
c lw 109428
c lw 109429
c lw 109430
c lw 109454
c lw 109517
c lw 109520
c lw 109532
c lw 109533
c lw 109534
c lw 109535
c lw 109536
c lw 109537
c lw 109538
c lw 109540
c lw 109558
c lw 109560
c lw 109582
c lw 109597
c lw 109598
c lw 109599
c lw 109600
c lw 109601
c lw 109602
c lw 109603
c lw 109604
c lw 109605
c lw 109606
c lw 109607
c lw 109608
c lw 109609
c lw 109610
c lw 109611
c lw 109612
c lw 109615
c lw 109616
c lw 109617
c lw 109623
c lw 109629
c lw 109630
c lw 109632
c lw 109645
c lw 109647
c lw 109655
c lw 109658
c lw 109661
c lw 109665
c lw 109667
c lw 109668
c lw 109669
c lw 109670
c lw 109671
c lw 109672
c lw 109683
c lw 109701
c lw 109708
c lw 109711
c lw 109714
c lw 109727
c lw 109754
c lw 109788
c lw 109798
c lw 109804
c lw 109822
c lw 109837
c lw 109848
c lw 109858
c lw 109871
c lw 109877
c lw 109886
c lw 109888
c lw 109906
c lw 109911
c lw 109987
c lw 109993
c lw 109999
c lw 110001
c lw 110003
c lw 110009
c lw 110012
c lw 110018
c lw 110020
c lw 110022
c lw 110027
c lw 110031
c lw 110033
c lw 110056
c lw 110102
c lw 110107
c lw 110119
c lw 110120
c lw 110132
c lw 110208
c lw 110220
c lw 110288
c lw 110294
c lw 110314
c lw 110344
c lw 110347
c lw 110364
c lw 110376
c lw 110385
c lw 110388
c lw 110463
c lw 110469
c lw 110470
c lw 110475
c lw 110478
c lw 110479
c lw 110480
c lw 110481
c lw 110486
c lw 110489
c lw 110490
c lw 110491
c lw 110492
c lw 110493
c lw 110494
c lw 110500
c lw 110504
c lw 110505
c lw 110512
c lw 110513
c lw 110514
c lw 110515
c lw 110516
c lw 110517
c lw 110518
c lw 110519
c lw 110524
c lw 110525
c lw 110526
c lw 110527
c lw 110528
c lw 110529
c lw 110530
c lw 110531
c lw 110532
c lw 110533
c lw 110534
c lw 110535
c lw 110536
c lw 110537
c lw 110538
c lw 110539
c lw 110540
c lw 110542
c lw 110543
c lw 110545
c lw 110548
c lw 110549
c lw 110550
c lw 110551
c lw 110553
c lw 110554
c lw 110555
c lw 110556
c lw 110557
c lw 110558
c lw 110559
c lw 110560
c lw 110561
c lw 110562
c lw 110563
c lw 110564
c lw 110565
c lw 110566
c lw 110567
c lw 110568
c lw 110569
c lw 110570
c lw 110574
c lw 110575
c lw 110576
c lw 110578
c lw 110579
c lw 110580
c lw 110581
c lw 110582
c lw 110583
c lw 110584
c lw 110585
c lw 110586
c lw 110587
c lw 110588
c lw 110589
c lw 110590
c lw 110591
c lw 110592
c lw 110593
c lw 110594
c lw 110595
c lw 110596
c lw 110597
c lw 110598
c lw 110599
c lw 110600
c lw 110652
c lw 110653
c lw 110654
c lw 110655
c lw 110656
c lw 110686
c lw 110687
c lw 110688
c lw 110689
c lw 110690
c lw 110691
c lw 110692
c lw 110693
c lw 110863
c lw 110864
c lw 110865
c lw 110877
c lw 110910
c lw 111003
c lw 111004
c lw 111005
c lw 111015
c lw 111030
c lw 111036
c lw 111037
c lw 111038
c lw 111039
c lw 111040
c lw 111041
c lw 111042
c lw 111043
c lw 111044
c lw 111045
c lw 111046
c lw 111047
c lw 111048
c lw 111058
c lw 111939
c lw 112097
c lw 112228
c lw 112536
c lw 112539
c lw 112542
c lw 112548
c lw 112551
c lw 112555
c lw 112563
c lw 112564
c lw 112565
c lw 112566
c lw 112573
c lw 112574
c lw 112575
c lw 112576
c lw 112577
c lw 112734
c lw 112735
c lw 112736
c lw 112740
c lw 112741
c lw 112742
c lw 112743
c lw 112795
c lw 112803
c lw 112807
c lw 112810
c lw 112816
c lw 112819
c lw 112822
c lw 112939
c lw 112953
c lw 112980
c lw 113111
c lw 113123
c lw 113662
c lw 113790
c lw 113817
c lw 113844
c lw 113948
c lw 113956
c lw 113959
c lw 113961
c lw 113962
c lw 113975
c lw 114258
c lw 114259
c lw 114260
c lw 114261
c lw 114320
c lw 114334
c lw 114492
c lw 114645
c lw 114650
c lw 114893
c lw 115051
c lw 115817
c lw 115829
c lw 115888
c lw 115970
c lw 115975
c lw 116109
c lw 116112
c lw 116457
c lw 116460
c lw 116927
c lw 117059
c lw 117062
c lw 117079
c lw 117082
c lw 117089
c lw 117119
c lw 117131
c lw 117139
c lw 117143
c lw 117146
c lw 117152
c lw 117155
c lw 117158
c lw 117259
c lw 117262
c lw 117276
c lw 117279
c lw 117282
c lw 117285
c lw 117337
c lw 117351
c lw 117359
c lw 117373
c lw 117377
c lw 117426
c lw 117427
c lw 117518
c lw 117579
c lw 117584
c lw 117649
c lw 117816
c lw 117822
c lw 118115
c lw 118173
c lw 118179
c lw 118205
c lw 118211
c lw 118319
c lw 118340
c lw 118341
c lw 118342
c lw 118344
c lw 118345
c lw 118350
c lw 118351
c lw 118352
c lw 118403
c lw 118414
c lw 118416
c lw 118436
c lw 118480
c lw 118521
c lw 118662
c lw 118665
c lw 118720
c lw 118721
c lw 118722
c lw 118723
c lw 118724
c lw 118725
c lw 118728
c lw 118732
c lw 118741
c lw 118750
c lw 118752
c lw 118758
c lw 118761
c lw 118765
c lw 118766
c lw 118767
c lw 118768
c lw 118769
c lw 118774
c lw 118776
c lw 118780
c lw 118782
c lw 118783
c lw 118785
c lw 118805
c lw 118806
c lw 118807
c lw 118808
c lw 118810
c lw 118812
c lw 118816
c lw 118818
c lw 118819
c lw 118821
c lw 118828
c lw 118834
c lw 118868
c lw 118869
c lw 118870
c lw 118871
c lw 118872
c lw 118963
c lw 118964
c lw 118965
c lw 118966
c lw 118967
c lw 118968
c lw 118971
c lw 119018
c lw 119019
c lw 119020
c lw 119021
c lw 119024
c lw 119032
c lw 119041
c lw 119043
c lw 119049
c lw 119052
c lw 119056
c lw 119057
c lw 119058
c lw 119059
c lw 119060
c lw 119061
c lw 119062
c lw 119063
c lw 119064
c lw 119065
c lw 119069
c lw 119071
c lw 119072
c lw 119074
c lw 119094
c lw 119095
c lw 119096
c lw 119097
c lw 119098
c lw 119102
c lw 119104
c lw 119105
c lw 119107
c lw 119109
c lw 119110
c lw 119111
c lw 119112
c lw 119113
c lw 119114
c lw 119115
c lw 119116
c lw 119117
c lw 119118
c lw 119119
c lw 119120
c lw 119121
c lw 119122
c lw 119123
c lw 119124
c lw 119125
c lw 119126
c lw 119127
c lw 119128
c lw 119129
c lw 119130
c lw 119131
c lw 119132
c lw 119133
c lw 119134
c lw 119135
c lw 119136
c lw 119137
c lw 119138
c lw 119139
c lw 119140
c lw 119141
c lw 119142
c lw 119143
c lw 119144
c lw 119145
c lw 119146
c lw 119147
c lw 119148
c lw 119149
c lw 119150
c lw 119151
c lw 119152
c lw 119153
c lw 119154
c lw 119155
c lw 119180
c lw 119186
c lw 119187
c lw 119188
c lw 119189
c lw 119190
c lw 119191
c lw 119192
c lw 119193
c lw 119194
c lw 119195
c lw 119196
c lw 119197
c lw 119198
c lw 119199
c lw 119200
c lw 119201
c lw 119202
c lw 119203
c lw 119204
c lw 119205
c lw 119206
c lw 119220
c lw 119221
c lw 119222
c lw 119223
c lw 119224
c lw 119225
c lw 119226
c lw 119227
c lw 119228
c lw 119230
c lw 119298
c lw 119299
c lw 119300
c lw 119303
c lw 119304
c lw 119305
c lw 119306
c lw 119309
c lw 119311
c lw 119312
c lw 119313
c lw 119314
c lw 119315
c lw 119316
c lw 119317
c lw 119318
c lw 119319
c lw 119320
c lw 119322
c lw 119323
c lw 119324
c lw 119325
c lw 119326
c lw 119327