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_150_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_150_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 759
c lw 1081
c lw 1518
c lw 2162
c lw 2277
c lw 3036
c lw 3243
c lw 3795
c lw 4324
c lw 4554
c lw 5313
c lw 5405
c lw 6072
c lw 6486
c lw 6831
c lw 7567
c lw 7590
c lw 8349
c lw 8648
c lw 9108
c lw 9729
c lw 9867
c lw 10626
c lw 10810
c lw 11632
c lw 11891
c lw 12638
c lw 12972
c lw 13644
c lw 14053
c lw 14725
c lw 15134
c lw 15806
c lw 16215
c lw 16887
c lw 17296
c lw 17968
c lw 18377
c lw 19049
c lw 19458
c lw 20130
c lw 20539
c lw 21211
c lw 21620
c lw 22292
c lw 22701
c lw 23314
c lw 23688
c lw 23782
c lw 24395
c lw 24769
c lw 24863
c lw 25476
c lw 25850
c lw 25866
c lw 25944
c lw 26557
c lw 26931
c lw 27025
c lw 27638
c lw 28012
c lw 28106
c lw 28719
c lw 29093
c lw 29187
c lw 29529
c lw 29818
c lw 29877
c lw 30225
c lw 30449
c lw 30573
c lw 30921
c lw 31080
c lw 31295
c lw 31669
c lw 31711
c lw 32043
c lw 32342
c lw 32417
c lw 32791
c lw 32973
c lw 33165
c lw 33539
c lw 33604
c lw 33913
c lw 34235
c lw 34287
c lw 34661
c lw 34866
c lw 35035
c lw 35409
c lw 35497
c lw 35783
c lw 36128
c lw 36157
c lw 36531
c lw 36639
c lw 36759
c lw 37270
c lw 37390
c lw 37901
c lw 38021
c lw 38532
c lw 38652
c lw 39265
c lw 39283
c lw 39896
c lw 39914
c lw 40527
c lw 40545
c lw 41064
c lw 41176
c lw 41521
c lw 41807
c lw 42134
c lw 42438
c lw 42765
c lw 43316
c lw 43378
c lw 43876
c lw 43991
c lw 44436
c lw 44604
c lw 44996
c lw 45217
c lw 45556
c lw 45830
c lw 46116
c lw 46443
c lw 46729
c lw 47056
c lw 47342
c lw 47669
c lw 47955
c lw 48282
c lw 48568
c lw 48895
c lw 49181
c lw 49508
c lw 49794
c lw 50121
c lw 50407
c lw 50734
c lw 51020
c lw 51347
c lw 51633
c lw 51960
c lw 52246
c lw 52573
c lw 52859
c lw 53186
c lw 53472
c lw 53799
c lw 54085
c lw 54412
c lw 54698
c lw 54984
c lw 55025
c lw 55137
c lw 55155
c lw 55173
c lw 55191
c lw 55311
c lw 55370
c lw 55656
c lw 55697
c lw 55924
c lw 55942
c lw 56050
c lw 56062
c lw 56091
c lw 56228
c lw 56424
c lw 56465
c lw 56751
c lw 56845
c lw 56923
c lw 56943
c lw 56959
c lw 56975
c lw 57333
c lw 57552
c lw 57588
c lw 57624
c lw 57682
c lw 57910
c lw 58091
c lw 58237
c lw 58259
c lw 58633
c lw 58704
c lw 58872
c lw 58897
c lw 59158
c lw 59199
c lw 59224
c lw 59485
c lw 59510
c lw 59526
c lw 59812
c lw 60186
c lw 60227
c lw 60425
c lw 60484
c lw 60799
c lw 60842
c lw 60887
c lw 61097
c lw 61214
c lw 61455
c lw 61471
c lw 61516
c lw 61843
c lw 61864
c lw 62068
c lw 62156
c lw 62276
c lw 62536
c lw 62740
c lw 62787
c lw 62907
c lw 62945
c lw 63149
c lw 63354
c lw 63617
c lw 63821
c lw 64026
c lw 64230
c lw 64289
c lw 64698
c lw 64759
c lw 64984
c lw 65025
c lw 65086
c lw 65311
c lw 65352
c lw 65372
c lw 65585
c lw 65593
c lw 65691
c lw 65859
c lw 65977
c lw 66182
c lw 66234
c lw 66351
c lw 66488
c lw 66576
c lw 66696
c lw 66745
c lw 66862
c lw 66982
c lw 67047
c lw 67184
c lw 67291
c lw 67421
c lw 67473
c lw 67483
c lw 67558
c lw 67782
c lw 67795
c lw 67837
c lw 68114
c lw 68169
c lw 68273
c lw 68329
c lw 68453
c lw 68517
c lw 68553
c lw 68612
c lw 68806
c lw 68865
c lw 69024
c lw 69086
c lw 69139
c lw 69363
c lw 69626
c lw 69662
c lw 69685
c lw 70035
c lw 70122
c lw 70456
c lw 70707
c lw 70869
c lw 71052
c lw 71128
c lw 71519
c lw 71627
c lw 71765
c lw 71874
c lw 72278
c lw 72495
c lw 72692
c lw 72945
c lw 72955
c lw 73037
c lw 73267
c lw 73484
c lw 73714
c lw 73829
c lw 74036
c lw 74151
c lw 74588
c lw 74680
c lw 74689
c lw 74919
c lw 75025
c lw 75103
c lw 75119
c lw 75135
c lw 75157
c lw 75303
c lw 75324
c lw 75416
c lw 75531
c lw 75554
c lw 75646
c lw 75655
c lw 75669
c lw 75752
c lw 75784
c lw 75862
c lw 75885
c lw 75908
c lw 75944
c lw 75967
c lw 76027
c lw 76109
c lw 76110
c lw 76119
c lw 76124
c lw 76128
c lw 76133
c lw 76143
c lw 76272
c lw 76487
c lw 76488
c lw 76556
c lw 76569
c lw 76570
c lw 76573
c lw 76641
c lw 76784
c lw 76794
c lw 76795
c lw 76797
c lw 76819
c lw 76821
c lw 76822
c lw 76887
c lw 76963
c lw 77072
c lw 77158
c lw 77210
c lw 77318
c lw 77364
c lw 77387
c lw 77423
c lw 77686
c lw 77750
c lw 78000
c lw 78002
c lw 78008
c lw 78040
c lw 78042
c lw 78046
c lw 78072
c lw 78092
c lw 78148
c lw 78162
c lw 78281
c lw 78337
c lw 78343
c lw 78366
c lw 78409
c lw 78432
c lw 78438
c lw 78456
c lw 78468
c lw 78470
c lw 78473
c lw 78510
c lw 78533
c lw 78535
c lw 78537
c lw 78539
c lw 78541
c lw 78553
c lw 78554
c lw 78557
c lw 78559
c lw 78602
c lw 78661
c lw 78704
c lw 78741
c lw 78763
c lw 78806
c lw 78807
c lw 78824
c lw 78833
c lw 78838
c lw 78839
c lw 78850
c lw 78894
c lw 78953
c lw 78967
c lw 78989
c lw 79026
c lw 79055
c lw 79069
c lw 79083
c lw 79099
c lw 79142
c lw 79158
c lw 79171
c lw 79185
c lw 79187
c lw 79201
c lw 79202
c lw 79203
c lw 79204
c lw 79215
c lw 79253
c lw 79373
c lw 79374
c lw 79398
c lw 79399
c lw 79412
c lw 79427
c lw 79428
c lw 79430
c lw 79434
c lw 79547
c lw 79548
c lw 79561
c lw 79564
c lw 79566
c lw 79572
c lw 79575
c lw 79576
c lw 79577
c lw 79578
c lw 79583
c lw 79584
c lw 79585
c lw 79587
c lw 79675
c lw 79691
c lw 79712
c lw 79791
c lw 79836
c lw 79861
c lw 79967
c lw 79976
c lw 80084
c lw 80143
c lw 80184
c lw 80220
c lw 80318
c lw 80442
c lw 80464
c lw 80486
c lw 80517
c lw 80538
c lw 80552
c lw 80558
c lw 80589
c lw 80625
c lw 80647
c lw 80659
c lw 80677
c lw 80718
c lw 80743
c lw 80745
c lw 80753
c lw 80789
c lw 80793
c lw 80964
c lw 80979
c lw 80995
c lw 81097
c lw 81121
c lw 81133
c lw 81139
c lw 81148
c lw 81149
c lw 81155
c lw 81164
c lw 81167
c lw 81176
c lw 81227
c lw 81305
c lw 81309
c lw 81338
c lw 81367
c lw 81370
c lw 81400
c lw 81402
c lw 81407
c lw 81463
c lw 81587
c lw 81595
c lw 81609
c lw 81637
c lw 81660
c lw 81668
c lw 81673
c lw 81714
c lw 81715
c lw 81723
c lw 81735
c lw 81749
c lw 81756
c lw 81761
c lw 81764
c lw 81769
c lw 81777
c lw 81785
c lw 81786
c lw 81788
c lw 81789
c lw 81792
c lw 81802
c lw 81803
c lw 81805
c lw 81806
c lw 81807
c lw 81808
c lw 81809
c lw 81810
c lw 81811
c lw 81818
c lw 81819
c lw 81821
c lw 81822
c lw 81823
c lw 81824
c lw 81826
c lw 81827
c lw 81828
c lw 81829
c lw 81834
c lw 81874
c lw 81940
c lw 81995
c lw 81996
c lw 82046
c lw 82047
c lw 82056
c lw 82057
c lw 82058
c lw 82059
c lw 82060
c lw 82061
c lw 82085
c lw 82086
c lw 82087
c lw 82088
c lw 82089
c lw 82090
c lw 82091
c lw 82112
c lw 82113
c lw 82114
c lw 82115
c lw 82118
c lw 82121
c lw 82122
c lw 82123
c lw 82124
c lw 82125
c lw 82131
c lw 82135
c lw 82136
c lw 82138
c lw 82203
c lw 82221
c lw 82222
c lw 82261
c lw 82274
c lw 82338
c lw 82387
c lw 82393
c lw 82403
c lw 82540
c lw 82551
c lw 82563
c lw 82565
c lw 82626
c lw 82637
c lw 82671
c lw 82673
c lw 82676
c lw 82698
c lw 82705
c lw 82718
c lw 82720
c lw 82738
c lw 82768
c lw 82797
c lw 82854
c lw 82866
c lw 82915
c lw 82951
c lw 82957
c lw 82964
c lw 82966
c lw 82977
c lw 82995
c lw 83000
c lw 83007
c lw 83019
c lw 83037
c lw 83038
c lw 83043
c lw 83056
c lw 83082
c lw 83115
c lw 83131
c lw 83143
c lw 83146
c lw 83151
c lw 83153
c lw 83154
c lw 83156
c lw 83158
c lw 83159
c lw 83160
c lw 83162
c lw 83163
c lw 83171
c lw 83172
c lw 83177
c lw 83178
c lw 83180
c lw 83181
c lw 83182
c lw 83183
c lw 83184
c lw 83185
c lw 83186
c lw 83187
c lw 83188
c lw 83190
c lw 83191
c lw 83192
c lw 83193
c lw 83194
c lw 83196
c lw 83197
c lw 83198
c lw 83199
c lw 83201
c lw 83202
c lw 83203
c lw 83204
c lw 83205
c lw 83206
c lw 83207
c lw 83208
c lw 83209
c lw 83210
c lw 83211
c lw 83212
c lw 83213
c lw 83214
c lw 83215
c lw 83230
c lw 83231
c lw 83232
c lw 83233
c lw 83234
c lw 83235
c lw 83236
c lw 83251
c lw 83253
c lw 83254
c lw 83255
c lw 83267
c lw 83268
c lw 83299
c lw 83300
c lw 83301
c lw 83302
c lw 83303
c lw 83304
c lw 83305
c lw 83306
c lw 83307
c lw 83308
c lw 83309
c lw 83310
c lw 83311
c lw 83312
c lw 83313
c lw 83314
c lw 83315
c lw 83316
c lw 83317
c lw 83318
c lw 83319
c lw 83320
c lw 83321
c lw 83322
c lw 83323
c lw 83324
c lw 83325
c lw 83326
c lw 83327
c lw 83328
c lw 83329
c lw 83330
c lw 83331
c lw 83337
c lw 83343
c lw 83361
c lw 83379
c lw 83397
c lw 83401
c lw 83415
c lw 83419
c lw 83428
c lw 83487
c lw 83540
c lw 83558
c lw 83587
c lw 83619
c lw 83621
c lw 83648
c lw 83786
c lw 83791
c lw 83800
c lw 83804
c lw 83805
c lw 83822
c lw 83823
c lw 83827
c lw 83828
c lw 83831
c lw 83832
c lw 83841
c lw 83842
c lw 83844
c lw 83845
c lw 83850
c lw 83852
c lw 83853
c lw 83869
c lw 83870
c lw 83872
c lw 83873
c lw 83874
c lw 83878
c lw 83879
c lw 83880
c lw 83881
c lw 83882
c lw 83883
c lw 83885
c lw 83890
c lw 83891
c lw 83894
c lw 83896
c lw 83898
c lw 83904
c lw 83905
c lw 83906
c lw 83908
c lw 83909
c lw 83911
c lw 83912
c lw 83913
c lw 83920
c lw 83938
c lw 83939
c lw 83956
c lw 83967
c lw 83968
c lw 83970
c lw 83971
c lw 83973
c lw 83984
c lw 83985
c lw 83986
c lw 83991
c lw 83992
c lw 83993
c lw 83994
c lw 83995
c lw 83997
c lw 84010
c lw 84011
c lw 84017
c lw 84085
c lw 84105
c lw 84138
c lw 84140
c lw 84142
c lw 84145
c lw 84147
c lw 84152
c lw 84158
c lw 84160
c lw 84171
c lw 84176
c lw 84177
c lw 84178
c lw 84179
c lw 84180
c lw 84181
c lw 84182
c lw 84183
c lw 84184
c lw 84185
c lw 84186
c lw 84187
c lw 84188
c lw 84189
c lw 84190
c lw 84193
c lw 84194
c lw 84195
c lw 84196
c lw 84197
c lw 84198
c lw 84199
c lw 84200
c lw 84201
c lw 84202
c lw 84203
c lw 84204
c lw 84207
c lw 84234
c lw 84254
c lw 84255
c lw 84256
c lw 84257
c lw 84258
c lw 84259
c lw 84260
c lw 84261
c lw 84264
c lw 84265
c lw 84266
c lw 84267
c lw 84268
c lw 84269
c lw 84270
c lw 84271
c lw 84272
c lw 84273
c lw 84274
c lw 84275
c lw 84276
c lw 84277
c lw 84278
c lw 84279
c lw 84280
c lw 84281
c lw 84282
c lw 84283
c lw 84284
c lw 84285
c lw 84286
c lw 84287
c lw 84288
c lw 84289
c lw 84290
c lw 84291
c lw 84292
c lw 84293
c lw 84294
c lw 84295
c lw 84296
c lw 84297
c lw 84298
c lw 84299
c lw 84300
c lw 84301
c lw 84303
c lw 84304
c lw 84306
c lw 84307
c lw 84308
c lw 84309
c lw 84310
c lw 84311
c lw 84312
c lw 84313
c lw 84314
c lw 84315
c lw 84316
c lw 84319
c lw 84320
c lw 84321
c lw 84322
c lw 84323
c lw 84324
c lw 84325
c lw 84326
c lw 84337
c lw 84338
c lw 84339
c lw 84340
c lw 84341
c lw 84342
c lw 84343
c lw 84344
c lw 84345
c lw 84346
c lw 84347
c lw 84348
c lw 84349
c lw 84350
c lw 84351
c lw 84352
c lw 84353
c lw 84354
c lw 84355
c lw 84356
c lw 84357
c lw 84358
c lw 84359
c lw 84360
c lw 84361
c lw 84364
c lw 84365
c lw 84366
c lw 84367
c lw 84368
c lw 84369
c lw 84389
c lw 84430
c lw 84511
c lw 84550
c lw 84552
c lw 84553
c lw 84554
c lw 84555
c lw 84556
c lw 84557
c lw 84558
c lw 84559
c lw 84560
c lw 84561
c lw 84562
c lw 84563
c lw 84564
c lw 84565
c lw 84566
c lw 84567
c lw 84568
c lw 84569
c lw 84570
c lw 84571
c lw 84572
c lw 84573
c lw 84574
c lw 84575
c lw 84576
c lw 84577
c lw 84578
c lw 84579
c lw 84580
c lw 84581
c lw 84582
c lw 84583
c lw 84584
c lw 84585
c lw 84586
c lw 84587
c lw 84588
c lw 84589
c lw 84590
c lw 84592
c lw 84593
c lw 84594
c lw 84595
c lw 84596
c lw 84597
c lw 84598
c lw 84599
c lw 84600
c lw 84601
c lw 84602
c lw 84603
c lw 84604
c lw 84605
c lw 84606
c lw 84607
c lw 84608
c lw 84609
c lw 84615
c lw 84616
c lw 84617
c lw 84618
c lw 84619
c lw 84620
c lw 84621
c lw 84622
c lw 84623
c lw 84624
c lw 84625
c lw 84626
c lw 84628
c lw 84644
c lw 84655
c lw 84675
c lw 84730
c lw 84731
c lw 84732
c lw 84733
c lw 84740
c lw 84743
c lw 84744
c lw 84745
c lw 84746
c lw 84747
c lw 84748
c lw 84749
c lw 84757
c lw 84758
c lw 84759
c lw 84760
c lw 84761
c lw 84762
c lw 84765
c lw 84766
c lw 84767
c lw 84768
c lw 84769
c lw 84770
c lw 84771
c lw 84772
c lw 84773
c lw 84792
c lw 84793
c lw 84794
c lw 84795
c lw 84796
c lw 84797
c lw 84799
c lw 84800
c lw 84801
c lw 84802
c lw 84803
c lw 84804
c lw 84805
c lw 84806
c lw 84807
c lw 84808
c lw 84809
c lw 84810
c lw 84811
c lw 84812
c lw 84813
c lw 84814
c lw 84815
c lw 84816
c lw 84817
c lw 84818
c lw 84819
c lw 84820
c lw 84821
c lw 84822
c lw 84823
c lw 84824
c lw 84825
c lw 84826
c lw 84827
c lw 84829
c lw 84830
c lw 84831
c lw 84832
c lw 84833
c lw 84834
c lw 84835
c lw 84836
c lw 84837
c lw 84838
c lw 84844
c lw 84845
c lw 84846
c lw 84847
c lw 84848
c lw 84849
c lw 84850
c lw 84854
c lw 84856
c lw 84857
c lw 84858
c lw 84872
c lw 84874
c lw 84876
c lw 84881
c lw 84882
c lw 84883
c lw 84884
c lw 84885
c lw 84887
c lw 84889
c lw 84891
c lw 84892
c lw 84893
c lw 84894
c lw 84895
c lw 84898
c lw 84899
c lw 84900
c lw 84901
c lw 84902