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_190_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1276
c lw 1362
c lw 2552
c lw 2724
c lw 3828
c lw 4086
c lw 5190
c lw 5448
c lw 6552
c lw 6810
c lw 7914
c lw 8172
c lw 9276
c lw 9534
c lw 10638
c lw 10896
c lw 12000
c lw 12258
c lw 13362
c lw 13620
c lw 14724
c lw 14982
c lw 16086
c lw 16344
c lw 17448
c lw 17706
c lw 18810
c lw 19068
c lw 20172
c lw 20430
c lw 21534
c lw 21792
c lw 22110
c lw 22489
c lw 22908
c lw 23154
c lw 23472
c lw 23851
c lw 24270
c lw 24516
c lw 24834
c lw 25213
c lw 25502
c lw 25878
c lw 26196
c lw 26575
c lw 26864
c lw 27240
c lw 27558
c lw 27937
c lw 28226
c lw 28602
c lw 28920
c lw 29299
c lw 29588
c lw 29964
c lw 30282
c lw 30661
c lw 30950
c lw 31326
c lw 31644
c lw 32023
c lw 32312
c lw 32688
c lw 33006
c lw 33385
c lw 33674
c lw 33792
c lw 34250
c lw 34329
c lw 34708
c lw 34866
c lw 35166
c lw 35403
c lw 35624
c lw 35940
c lw 36082
c lw 36477
c lw 36540
c lw 36998
c lw 37014
c lw 37535
c lw 37551
c lw 38072
c lw 38088
c lw 38609
c lw 38625
c lw 39146
c lw 39162
c lw 39683
c lw 39699
c lw 40220
c lw 40236
c lw 40639
c lw 40773
c lw 40800
c lw 40961
c lw 41122
c lw 41283
c lw 41310
c lw 41444
c lw 41605
c lw 41847
c lw 41896
c lw 42187
c lw 42384
c lw 42724
c lw 42921
c lw 43261
c lw 43458
c lw 43776
c lw 43995
c lw 44313
c lw 44532
c lw 44850
c lw 45069
c lw 45229
c lw 45409
c lw 45698
c lw 45828
c lw 45987
c lw 46247
c lw 46276
c lw 46565
c lw 46666
c lw 46854
c lw 47085
c lw 47143
c lw 47382
c lw 47504
c lw 47801
c lw 47923
c lw 48220
c lw 48342
c lw 48639
c lw 48761
c lw 49058
c lw 49180
c lw 49477
c lw 49599
c lw 49896
c lw 50018
c lw 50315
c lw 50437
c lw 50755
c lw 50856
c lw 51174
c lw 51275
c lw 51593
c lw 51694
c lw 52012
c lw 52113
c lw 52492
c lw 52856
c lw 52871
c lw 53250
c lw 53599
c lw 53629
c lw 54008
c lw 54342
c lw 54387
c lw 54766
c lw 55085
c lw 55145
c lw 55524
c lw 55828
c lw 55903
c lw 56282
c lw 56571
c lw 56661
c lw 57040
c lw 57200
c lw 57314
c lw 57724
c lw 58057
c lw 58467
c lw 58800
c lw 59109
c lw 59543
c lw 59751
c lw 60286
c lw 60393
c lw 61029
c lw 61035
c lw 61231
c lw 61772
c lw 61974
c lw 62292
c lw 62515
c lw 62833
c lw 63035
c lw 63308
c lw 63353
c lw 63581
c lw 63671
c lw 63854
c lw 63989
c lw 64127
c lw 64307
c lw 64421
c lw 64625
c lw 64715
c lw 64943
c lw 65009
c lw 65261
c lw 65321
c lw 65579
c lw 65639
c lw 65897
c lw 65957
c lw 66215
c lw 66275
c lw 66533
c lw 66593
c lw 66851
c lw 66911
c lw 66967
c lw 67229
c lw 67285
c lw 67547
c lw 67603
c lw 67865
c lw 67921
c lw 68183
c lw 68239
c lw 68501
c lw 68557
c lw 68675
c lw 68737
c lw 68846
c lw 68897
c lw 69054
c lw 69164
c lw 69273
c lw 69383
c lw 69422
c lw 69562
c lw 69701
c lw 69801
c lw 69880
c lw 70077
c lw 70099
c lw 70169
c lw 70417
c lw 70456
c lw 70487
c lw 70706
c lw 70776
c lw 70793
c lw 71024
c lw 71111
c lw 71155
c lw 71352
c lw 71400
c lw 71444
c lw 71692
c lw 71762
c lw 71779
c lw 71880
c lw 72068
c lw 72198
c lw 72386
c lw 72395
c lw 72447
c lw 72548
c lw 72750
c lw 72765
c lw 72792
c lw 72967
c lw 73023
c lw 73050
c lw 73184
c lw 73211
c lw 73238
c lw 73311
c lw 73345
c lw 73508
c lw 73636
c lw 73642
c lw 73685
c lw 73818
c lw 73824
c lw 73855
c lw 73881
c lw 73982
c lw 73988
c lw 74321
c lw 74422
c lw 74517
c lw 74529
c lw 74826
c lw 74856
c lw 74862
c lw 74957
c lw 75091
c lw 75199
c lw 75209
c lw 75455
c lw 75527
c lw 75626
c lw 75834
c lw 75872
c lw 75874
c lw 76110
c lw 76152
c lw 76291
c lw 76470
c lw 76531
c lw 76545
c lw 76609
c lw 76731
c lw 76985
c lw 77028
c lw 77274
c lw 77286
c lw 77574
c lw 77653
c lw 77851
c lw 77892
c lw 78014
c lw 78311
c lw 78390
c lw 78512
c lw 78569
c lw 78809
c lw 78996
c lw 79067
c lw 79311
c lw 79433
c lw 79673
c lw 79730
c lw 79852
c lw 79931
c lw 80110
c lw 80171
c lw 80429
c lw 81035
c lw 81050
c lw 81091
c lw 81095
c lw 81312
c lw 81328
c lw 81459
c lw 81699
c lw 81717
c lw 81957
c lw 82563
c lw 82821
c lw 82935
c lw 82981
c lw 83071
c lw 83154
c lw 83314
c lw 83564
c lw 83605
c lw 83624
c lw 83665
c lw 83822
c lw 84080
c lw 84668
c lw 84926
c lw 85184
c lw 85772
c lw 86030
c lw 86090
c lw 86106
c lw 86464
c lw 86480
c lw 86611
c lw 86627
c lw 86985
c lw 87001
c lw 87132
c lw 87171
c lw 87246
c lw 87436
c lw 87511
c lw 87571
c lw 87815
c lw 87830
c lw 87875
c lw 88149
c lw 88194
c lw 88224
c lw 88528
c lw 88544
c lw 88902
c lw 88918
c lw 89049
c lw 89112
c lw 89360
c lw 89532
c lw 90206
c lw 90292
c lw 90550
c lw 90610
c lw 90748
c lw 90808
c lw 90874
c lw 91000
c lw 91036
c lw 91090
c lw 91150
c lw 91204
c lw 91501
c lw 91583
c lw 91598
c lw 91623
c lw 91662
c lw 91862
c lw 91920
c lw 92004
c lw 92070
c lw 92112
c lw 92191
c lw 92192
c lw 92293
c lw 92301
c lw 92359
c lw 92522
c lw 92558
c lw 92637
c lw 92767
c lw 92796
c lw 92839
c lw 92868
c lw 93027
c lw 93042
c lw 93063
c lw 93132
c lw 93170
c lw 93174
c lw 93195
c lw 93201
c lw 93359
c lw 93360
c lw 93384
c lw 93396
c lw 93401
c lw 93468
c lw 93490
c lw 93502
c lw 93560
c lw 93561
c lw 93603
c lw 93661
c lw 93705
c lw 93744
c lw 93769
c lw 93784
c lw 93866
c lw 93904
c lw 93928
c lw 93941
c lw 93996
c lw 94187
c lw 94226
c lw 94242
c lw 94316
c lw 94500
c lw 94574
c lw 94656
c lw 94863
c lw 94891
c lw 94917
c lw 95073
c lw 95175
c lw 95244
c lw 95272
c lw 95277
c lw 95331
c lw 95515
c lw 95535
c lw 95589
c lw 95663
c lw 95683
c lw 95719
c lw 95885
c lw 95919
c lw 95937
c lw 96159
c lw 96177
c lw 96213
c lw 96225
c lw 96231
c lw 96233
c lw 96279
c lw 96300
c lw 96305
c lw 96307
c lw 96311
c lw 96317
c lw 96323
c lw 96325
c lw 96359
c lw 96361
c lw 96363
c lw 96379
c lw 96399
c lw 96401
c lw 96405
c lw 96407
c lw 96415
c lw 96417
c lw 96419
c lw 96421
c lw 96423
c lw 96425
c lw 96427
c lw 96429
c lw 96431
c lw 96433
c lw 96435
c lw 96437
c lw 96439
c lw 96441
c lw 96443
c lw 96445
c lw 96447
c lw 96449
c lw 96450
c lw 96451
c lw 96453
c lw 96455
c lw 96457
c lw 96458
c lw 96459
c lw 96460
c lw 96461
c lw 96462
c lw 96463
c lw 96464
c lw 96465
c lw 96466
c lw 96467
c lw 96468
c lw 96469
c lw 96481
c lw 96517
c lw 96578
c lw 96700
c lw 96718
c lw 96721
c lw 96843
c lw 97087
c lw 97105
c lw 97123
c lw 97133
c lw 97309
c lw 97327
c lw 97335
c lw 97392
c lw 97400
c lw 97402
c lw 97455
c lw 97465
c lw 97574
c lw 97575
c lw 97576
c lw 97578
c lw 97579
c lw 97582
c lw 97584
c lw 97585
c lw 97588
c lw 97589
c lw 97590
c lw 97591
c lw 97665
c lw 97670
c lw 97711
c lw 97719
c lw 97780
c lw 97781
c lw 97842
c lw 97850
c lw 97851
c lw 97861
c lw 97873
c lw 97886
c lw 98038
c lw 98086
c lw 98091
c lw 98099
c lw 98149
c lw 98151
c lw 98165
c lw 98182
c lw 98216
c lw 98255
c lw 98276
c lw 98281
c lw 98283
c lw 98297
c lw 98319
c lw 98320
c lw 98322
c lw 98324
c lw 98326
c lw 98344
c lw 98347
c lw 98386
c lw 98391
c lw 98420
c lw 98473
c lw 98478
c lw 98479
c lw 98528
c lw 98529
c lw 98530
c lw 98532
c lw 98534
c lw 98537
c lw 98538
c lw 98542
c lw 98543
c lw 98546
c lw 98551
c lw 98552
c lw 98554
c lw 98555
c lw 98557
c lw 98560
c lw 98563
c lw 98564
c lw 98565
c lw 98566
c lw 98569
c lw 98570
c lw 98571
c lw 98572
c lw 98574
c lw 98575
c lw 98576
c lw 98578
c lw 98579
c lw 98580
c lw 98582
c lw 98584
c lw 98586
c lw 98587
c lw 98589
c lw 98590
c lw 98591
c lw 98592
c lw 98594
c lw 98595
c lw 98598
c lw 98599
c lw 98600
c lw 98602
c lw 98603
c lw 98604
c lw 98605
c lw 98606
c lw 98607
c lw 98608
c lw 98609
c lw 98610
c lw 98611
c lw 98612
c lw 98613
c lw 98653
c lw 98675
c lw 98677
c lw 98679
c lw 98702
c lw 98738
c lw 98792
c lw 98793
c lw 98794
c lw 98795
c lw 98796
c lw 98797
c lw 98798
c lw 98800
c lw 98801
c lw 98802
c lw 98803
c lw 98806
c lw 98808
c lw 98824
c lw 98831
c lw 98832
c lw 98833
c lw 98834
c lw 98835
c lw 98836
c lw 98837
c lw 98838
c lw 98839
c lw 98940
c lw 98992
c lw 99001
c lw 99047
c lw 99083
c lw 99085
c lw 99091
c lw 99101
c lw 99112
c lw 99121
c lw 99128
c lw 99139
c lw 99141
c lw 99158
c lw 99167
c lw 99171
c lw 99172
c lw 99173
c lw 99183
c lw 99213
c lw 99230
c lw 99300
c lw 99314
c lw 99415
c lw 99445
c lw 99451
c lw 99485
c lw 99487
c lw 99522
c lw 99528
c lw 99532
c lw 99548
c lw 99565
c lw 99589
c lw 99591
c lw 99593
c lw 99597
c lw 99601
c lw 99605
c lw 99606
c lw 99607
c lw 99608
c lw 99615
c lw 99619
c lw 99625
c lw 99627
c lw 99629
c lw 99631
c lw 99645
c lw 99695
c lw 99702
c lw 99703
c lw 99709
c lw 99745
c lw 99798
c lw 99800
c lw 99804
c lw 99814
c lw 99819
c lw 99823
c lw 99825
c lw 99827
c lw 99828
c lw 99829
c lw 99831
c lw 99832
c lw 99902
c lw 99924
c lw 99937
c lw 99938
c lw 99939
c lw 99940
c lw 99941
c lw 99943
c lw 99945
c lw 99946
c lw 99947
c lw 99949
c lw 99955
c lw 99958
c lw 99959
c lw 99960
c lw 99963
c lw 99964
c lw 99967
c lw 99968
c lw 99969
c lw 99971
c lw 99972
c lw 99973
c lw 99975
c lw 99976
c lw 99977
c lw 99979
c lw 99980
c lw 99981
c lw 99982
c lw 99983
c lw 99984
c lw 99989
c lw 100020
c lw 100028
c lw 100036
c lw 100059
c lw 100173
c lw 100219
c lw 100298
c lw 100312
c lw 100319
c lw 100326
c lw 100340
c lw 100370
c lw 100398
c lw 100400
c lw 100407
c lw 100414
c lw 100427
c lw 100440
c lw 100456
c lw 100494
c lw 100502
c lw 100540
c lw 100561
c lw 100576
c lw 100660
c lw 100662
c lw 100663
c lw 100667
c lw 100672
c lw 100688
c lw 100689
c lw 100693
c lw 100699
c lw 100703
c lw 100706
c lw 100708
c lw 100711
c lw 100787
c lw 100791
c lw 100792
c lw 100796
c lw 100800
c lw 100868
c lw 100871
c lw 100883
c lw 100886
c lw 100901
c lw 100905
c lw 100952
c lw 101011
c lw 101027
c lw 101187
c lw 101259
c lw 101275
c lw 101318
c lw 101322
c lw 101402
c lw 101418
c lw 101434
c lw 101450
c lw 101466
c lw 101712
c lw 101728
c lw 101826
c lw 101827
c lw 101842
c lw 101850
c lw 101851
c lw 101852
c lw 101865
c lw 101867
c lw 101868
c lw 101869
c lw 101920
c lw 101940
c lw 101941
c lw 101942
c lw 101943
c lw 101944
c lw 101945
c lw 102001
c lw 102002
c lw 102007
c lw 102010
c lw 102023
c lw 102026
c lw 102027
c lw 102028
c lw 102029
c lw 102030
c lw 102031
c lw 102032
c lw 102033
c lw 102034
c lw 102035
c lw 102036
c lw 102038
c lw 102049
c lw 102050
c lw 102051
c lw 102052
c lw 102065
c lw 102067
c lw 102068
c lw 102075
c lw 102090
c lw 102096
c lw 102097
c lw 102156
c lw 102160
c lw 102213
c lw 102219
c lw 102221
c lw 102222
c lw 102223
c lw 102289
c lw 102290
c lw 102291
c lw 102292
c lw 102294
c lw 102295
c lw 102296
c lw 102297
c lw 102298
c lw 102310
c lw 102311
c lw 102312
c lw 102313
c lw 102319
c lw 102336
c lw 102387
c lw 102390
c lw 102407
c lw 102408
c lw 102409
c lw 102410
c lw 102411
c lw 102412
c lw 102414
c lw 102420
c lw 102429
c lw 102548
c lw 102562
c lw 102568
c lw 102569
c lw 102570
c lw 102571
c lw 102572
c lw 102585
c lw 102586
c lw 102587
c lw 102588
c lw 102597
c lw 102603
c lw 102607
c lw 102608
c lw 102609
c lw 102619
c lw 102638
c lw 102639
c lw 102640
c lw 102641
c lw 102644
c lw 102645
c lw 102646
c lw 102647
c lw 102648
c lw 102649
c lw 102650
c lw 102651
c lw 102653
c lw 102654
c lw 102655
c lw 102656
c lw 102657
c lw 102658
c lw 102659
c lw 102660
c lw 102661
c lw 102662
c lw 102663
c lw 102664
c lw 102665
c lw 102667
c lw 102668
c lw 102671
c lw 102672
c lw 102673
c lw 102674
c lw 102675
c lw 102676
c lw 102677
c lw 102678
c lw 102679
c lw 102680
c lw 102681
c lw 102682
c lw 102683
c lw 102684
c lw 102685
c lw 102699
c lw 102700
c lw 102706
c lw 102711
c lw 102712
c lw 102713
c lw 102714
c lw 102715
c lw 102716
c lw 102717
c lw 102718
c lw 102719
c lw 102720
c lw 102721
c lw 102722
c lw 102723
c lw 102724
c lw 102725
c lw 102726
c lw 102727
c lw 102728
c lw 102729
c lw 102730
c lw 102731
c lw 102732
c lw 102733
c lw 102734
c lw 102735
c lw 102736
c lw 102737
c lw 102738
c lw 102739
c lw 102740
c lw 102741
c lw 102742
c lw 102743
c lw 102744
c lw 102745
c lw 102746
c lw 102747
c lw 102748
c lw 102749
c lw 102751
c lw 102752
c lw 102753
c lw 102754
c lw 102755
c lw 102759
c lw 102769
c lw 102771
c lw 102776
c lw 102778
c lw 102779
c lw 102780
c lw 102786
c lw 102788
c lw 102790
c lw 102791
c lw 102792
c lw 102794
c lw 102795
c lw 102796
c lw 102797
c lw 102798
c lw 102799
c lw 102800
c lw 102801
c lw 102802
c lw 102803
c lw 102804
c lw 102805
c lw 102806
c lw 102807
c lw 102808
c lw 102809
c lw 102810
c lw 102811
c lw 102812
c lw 102813
c lw 102814
c lw 102815
c lw 102816
c lw 102817
c lw 102818
c lw 102819
c lw 102820