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_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_190_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1677
c lw 1903
c lw 3383
c lw 3806
c lw 5089
c lw 5709
c lw 6795
c lw 7612
c lw 8594
c lw 9515
c lw 10393
c lw 11418
c lw 12192
c lw 13321
c lw 14095
c lw 15224
c lw 15998
c lw 17127
c lw 17901
c lw 19030
c lw 19804
c lw 20933
c lw 21707
c lw 22836
c lw 23610
c lw 24739
c lw 25513
c lw 26642
c lw 27416
c lw 28545
c lw 29319
c lw 30448
c lw 31222
c lw 32351
c lw 33125
c lw 34254
c lw 35028
c lw 36157
c lw 36931
c lw 38060
c lw 38834
c lw 39963
c lw 40737
c lw 41181
c lw 41393
c lw 41857
c lw 41866
c lw 42310
c lw 42522
c lw 42986
c lw 43769
c lw 44213
c lw 44677
c lw 45672
c lw 46116
c lw 46580
c lw 46696
c lw 47140
c lw 47352
c lw 47575
c lw 48019
c lw 48483
c lw 48724
c lw 49478
c lw 49922
c lw 50386
c lw 51381
c lw 51825
c lw 52289
c lw 52443
c lw 52887
c lw 53284
c lw 53719
c lw 53748
c lw 54154
c lw 54212
c lw 54589
c lw 54676
c lw 55053
c lw 55140
c lw 55517
c lw 55604
c lw 55981
c lw 56068
c lw 56445
c lw 56532
c lw 56909
c lw 56996
c lw 57373
c lw 57460
c lw 57837
c lw 57924
c lw 58301
c lw 58388
c lw 58765
c lw 58852
c lw 59229
c lw 59316
c lw 59693
c lw 59780
c lw 60157
c lw 60244
c lw 60621
c lw 60708
c lw 61085
c lw 61172
c lw 61549
c lw 61636
c lw 62080
c lw 62100
c lw 62544
c lw 62564
c lw 62941
c lw 63385
c lw 63516
c lw 63728
c lw 64172
c lw 64303
c lw 64790
c lw 65234
c lw 65365
c lw 65577
c lw 65618
c lw 65830
c lw 66274
c lw 66405
c lw 66639
c lw 67083
c lw 67214
c lw 67426
c lw 67720
c lw 67932
c lw 68376
c lw 68488
c lw 68932
c lw 69063
c lw 69275
c lw 69294
c lw 69822
c lw 70034
c lw 70337
c lw 70781
c lw 70912
c lw 71124
c lw 72186
c lw 72630
c lw 72670
c lw 72882
c lw 73094
c lw 73306
c lw 73518
c lw 73730
c lw 73942
c lw 74154
c lw 74366
c lw 74578
c lw 74790
c lw 75002
c lw 75446
c lw 75530
c lw 75577
c lw 76058
c lw 76105
c lw 76549
c lw 76586
c lw 77030
c lw 77114
c lw 77208
c lw 77245
c lw 77302
c lw 77376
c lw 77396
c lw 77490
c lw 77507
c lw 77564
c lw 77601
c lw 77638
c lw 77692
c lw 77732
c lw 77823
c lw 77863
c lw 77954
c lw 77994
c lw 78085
c lw 78401
c lw 78529
c lw 78717
c lw 78889
c lw 79033
c lw 79333
c lw 79366
c lw 79699
c lw 79777
c lw 80032
c lw 80130
c lw 80365
c lw 80574
c lw 80698
c lw 80806
c lw 81031
c lw 81038
c lw 81105
c lw 81404
c lw 81549
c lw 81777
c lw 81993
c lw 82150
c lw 82437
c lw 82484
c lw 82547
c lw 82928
c lw 82944
c lw 83341
c lw 83372
c lw 83738
c lw 83816
c lw 84135
c lw 84260
c lw 84579
c lw 84791
c lw 84802
c lw 84918
c lw 85023
c lw 85177
c lw 85235
c lw 85362
c lw 85449
c lw 85574
c lw 85699
c lw 86143
c lw 86163
c lw 86294
c lw 86397
c lw 86609
c lw 86650
c lw 86781
c lw 86869
c lw 86950
c lw 87075
c lw 87153
c lw 87225
c lw 87356
c lw 87437
c lw 87669
c lw 87731
c lw 87762
c lw 87800
c lw 87840
c lw 88113
c lw 88160
c lw 88199
c lw 88215
c lw 88244
c lw 88328
c lw 88365
c lw 88547
c lw 88641
c lw 88688
c lw 88759
c lw 88772
c lw 88778
c lw 88909
c lw 88990
c lw 89216
c lw 89287
c lw 89328
c lw 89639
c lw 89650
c lw 89772
c lw 89862
c lw 90066
c lw 90074
c lw 90137
c lw 90197
c lw 90249
c lw 90268
c lw 90296
c lw 90518
c lw 90555
c lw 90749
c lw 90767
c lw 90787
c lw 90790
c lw 90804
c lw 90824
c lw 90889
c lw 90996
c lw 91033
c lw 91070
c lw 91126
c lw 91176
c lw 91282
c lw 91298
c lw 91392
c lw 91426
c lw 91446
c lw 91466
c lw 91483
c lw 91570
c lw 91709
c lw 91729
c lw 91796
c lw 91816
c lw 91883
c lw 91970
c lw 91993
c lw 92007
c lw 92094
c lw 92181
c lw 92190
c lw 92402
c lw 92587
c lw 92645
c lw 92846
c lw 93310
c lw 93341
c lw 93419
c lw 93454
c lw 93582
c lw 93599
c lw 93754
c lw 94046
c lw 94190
c lw 94198
c lw 94662
c lw 94749
c lw 94981
c lw 95040
c lw 95047
c lw 95106
c lw 95251
c lw 95318
c lw 95445
c lw 95611
c lw 95719
c lw 95762
c lw 95782
c lw 96226
c lw 96246
c lw 96380
c lw 96536
c lw 96617
c lw 96748
c lw 96826
c lw 96829
c lw 96879
c lw 97051
c lw 97061
c lw 97110
c lw 97188
c lw 97198
c lw 97355
c lw 97397
c lw 97430
c lw 97521
c lw 97626
c lw 98139
c lw 98650
c lw 98755
c lw 99424
c lw 99511
c lw 99529
c lw 99779
c lw 99888
c lw 99975
c lw 100069
c lw 100231
c lw 100514
c lw 100843
c lw 100948
c lw 101160
c lw 101643
c lw 101722
c lw 101757
c lw 101797
c lw 102009
c lw 102289
c lw 102417
c lw 102434
c lw 103063
c lw 103138
c lw 103563
c lw 103912
c lw 104267
c lw 104337
c lw 105041
c lw 105466
c lw 105815
c lw 106170
c lw 106240
c lw 106944
c lw 107369
c lw 107718
c lw 107969
c lw 108247
c lw 108639
c lw 108951
c lw 109064
c lw 109571
c lw 109725
c lw 110148
c lw 110347
c lw 110573
c lw 111205
c lw 111349
c lw 111356
c lw 111443
c lw 111530
c lw 111698
c lw 111699
c lw 111814
c lw 111901
c lw 111988
c lw 112017
c lw 112220
c lw 112278
c lw 112307
c lw 112341
c lw 112486
c lw 112573
c lw 112834
c lw 112863
c lw 112950
c lw 113066
c lw 113095
c lw 113240
c lw 113443
c lw 113452
c lw 113463
c lw 113579
c lw 113637
c lw 113684
c lw 113739
c lw 113776
c lw 113930
c lw 113931
c lw 114130
c lw 114136
c lw 114355
c lw 114415
c lw 114502
c lw 114552
c lw 114559
c lw 114641
c lw 114721
c lw 114727
c lw 114785
c lw 114828
c lw 114829
c lw 114887
c lw 114893
c lw 114935
c lw 114936
c lw 114937
c lw 114941
c lw 114942
c lw 114946
c lw 114978
c lw 114979
c lw 114989
c lw 114990
c lw 114991
c lw 114992
c lw 114993
c lw 114994
c lw 114995
c lw 114996
c lw 114997
c lw 114998
c lw 115026
c lw 115027
c lw 115144
c lw 115151
c lw 115230
c lw 115257
c lw 115307
c lw 115357
c lw 115490
c lw 115540
c lw 115556
c lw 115567
c lw 115646
c lw 115653
c lw 115681
c lw 115701
c lw 115702
c lw 115722
c lw 115730
c lw 115731
c lw 115732
c lw 115733
c lw 115734
c lw 115735
c lw 115736
c lw 115740
c lw 115741
c lw 115745
c lw 115746
c lw 115747
c lw 115748
c lw 115749
c lw 115764
c lw 115769
c lw 115770
c lw 115771
c lw 115772
c lw 115773
c lw 115774
c lw 115775
c lw 115777
c lw 115780
c lw 115788
c lw 115789
c lw 115791
c lw 115798
c lw 115809
c lw 115814
c lw 115839
c lw 115878
c lw 115881
c lw 115889
c lw 115892
c lw 115895
c lw 115902
c lw 115965
c lw 115979
c lw 116018
c lw 116021
c lw 116029
c lw 116034
c lw 116040
c lw 116041
c lw 116043
c lw 116046
c lw 116049
c lw 116068
c lw 116070
c lw 116078
c lw 116103
c lw 116114
c lw 116115
c lw 116116
c lw 116118
c lw 116119
c lw 116120
c lw 116123
c lw 116126
c lw 116128
c lw 116129
c lw 116130
c lw 116131
c lw 116132
c lw 116133
c lw 116201
c lw 116202
c lw 116203
c lw 116204
c lw 116205
c lw 116206
c lw 116207
c lw 116208
c lw 116211
c lw 116212
c lw 116217
c lw 116218
c lw 116221
c lw 116222
c lw 116223
c lw 116224
c lw 116225
c lw 116226
c lw 116227
c lw 116228
c lw 116234
c lw 116235
c lw 116236
c lw 116237
c lw 116238
c lw 116239
c lw 116240
c lw 116242
c lw 116244
c lw 116245
c lw 116246
c lw 116247
c lw 116248
c lw 116249
c lw 116250
c lw 116251
c lw 116252
c lw 116253
c lw 116256
c lw 116259
c lw 116260
c lw 116261
c lw 116262
c lw 116263
c lw 116264
c lw 116265
c lw 116266
c lw 116267
c lw 116269
c lw 116270
c lw 116271
c lw 116273
c lw 116274
c lw 116275
c lw 116277
c lw 116279
c lw 116281
c lw 116282
c lw 116285
c lw 116289
c lw 116290
c lw 116291
c lw 116293
c lw 116294
c lw 116295
c lw 116296
c lw 116319
c lw 116320
c lw 116321
c lw 116322
c lw 116323
c lw 116324
c lw 116325
c lw 116326
c lw 116327
c lw 116328
c lw 116329
c lw 116330
c lw 116331
c lw 116332
c lw 116333
c lw 116334
c lw 116335
c lw 116336
c lw 116337
c lw 116338
c lw 116339
c lw 116340
c lw 116341
c lw 116342
c lw 116343
c lw 116346
c lw 116347
c lw 116348
c lw 116349
c lw 116350
c lw 116351
c lw 116352
c lw 116353
c lw 116354
c lw 116355
c lw 116356
c lw 116357
c lw 116358
c lw 116359
c lw 116360
c lw 116361
c lw 116362
c lw 116383
c lw 116384
c lw 116385
c lw 116386
c lw 116387
c lw 116388
c lw 116389
c lw 116390
c lw 116391
c lw 116392
c lw 116395
c lw 116402
c lw 116425
c lw 116427
c lw 116430
c lw 116431
c lw 116440
c lw 116441
c lw 116442
c lw 116443
c lw 116444
c lw 116514
c lw 116675
c lw 116676
c lw 116677
c lw 116678
c lw 116680
c lw 116681
c lw 116682
c lw 116686
c lw 116688
c lw 116689
c lw 116690
c lw 116691
c lw 116692
c lw 116693
c lw 116694
c lw 116695
c lw 116696
c lw 116697
c lw 116698
c lw 116699
c lw 116700
c lw 116701
c lw 116702
c lw 116706
c lw 116707
c lw 116708
c lw 116709
c lw 116710
c lw 116711
c lw 116724
c lw 116725
c lw 116726
c lw 116727
c lw 116728
c lw 116729
c lw 116730
c lw 116731
c lw 116732
c lw 116733
c lw 116734
c lw 116735
c lw 116736
c lw 116737
c lw 116738
c lw 116739
c lw 116740
c lw 116741
c lw 116742
c lw 116745
c lw 116746
c lw 116747
c lw 116748
c lw 116749
c lw 116750
c lw 116751
c lw 116752
c lw 116753
c lw 116754
c lw 116755
c lw 116756
c lw 116757
c lw 116758
c lw 116759
c lw 116760
c lw 116761
c lw 116762
c lw 116763
c lw 116764
c lw 116765
c lw 116766
c lw 116767
c lw 116768
c lw 116769
c lw 116770
c lw 116771
c lw 116772
c lw 116773
c lw 116774
c lw 116775
c lw 116776
c lw 116777
c lw 116778
c lw 116779
c lw 116780
c lw 116781
c lw 116782
c lw 116783
c lw 116784
c lw 116785
c lw 116786
c lw 116787
c lw 116788
c lw 116789
c lw 116790
c lw 116791
c lw 116792
c lw 116793
c lw 116794
c lw 116795
c lw 116796
c lw 116797
c lw 116798
c lw 116799
c lw 116800
c lw 116801
c lw 116802
c lw 116803
c lw 116804
c lw 116805
c lw 116806
c lw 116807
c lw 116808
c lw 116809
c lw 116810
c lw 116811
c lw 116812
c lw 116813
c lw 116814
c lw 116815
c lw 116816
c lw 116817
c lw 116818
c lw 116819
c lw 116820
c lw 116821
c lw 116822
c lw 116823
c lw 116824
c lw 116825
c lw 116826
c lw 116827
c lw 116828
c lw 116829
c lw 116830
c lw 116831
c lw 116832
c lw 116833
c lw 116834
c lw 116835
c lw 116836
c lw 116837
c lw 116838
c lw 116839
c lw 116840
c lw 116841
c lw 116842
c lw 116843
c lw 116844
c lw 116845
c lw 116846
c lw 116847
c lw 116848
c lw 116849
c lw 116850
c lw 116851
c lw 116852
c lw 116853
c lw 116854
c lw 116855
c lw 116856
c lw 116857
c lw 116858
c lw 116859
c lw 116860
c lw 116861
c lw 116862
c lw 116863
c lw 116982
c lw 116983
c lw 117020