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_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_150_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 624
c lw 1259
c lw 1754
c lw 1894
c lw 2529
c lw 3199
c lw 3508
c lw 3869
c lw 4539
c lw 5209
c lw 5262
c lw 5879
c lw 6549
c lw 7016
c lw 7219
c lw 7986
c lw 8753
c lw 8770
c lw 9520
c lw 10287
c lw 10524
c lw 11054
c lw 11821
c lw 12278
c lw 12588
c lw 13355
c lw 14032
c lw 14122
c lw 14889
c lw 15656
c lw 15786
c lw 16652
c lw 17540
c lw 17648
c lw 18644
c lw 19294
c lw 19640
c lw 20636
c lw 21048
c lw 21632
c lw 22628
c lw 22802
c lw 23624
c lw 23868
c lw 24325
c lw 24389
c lw 24556
c lw 24800
c lw 25257
c lw 25321
c lw 25552
c lw 25796
c lw 26253
c lw 26317
c lw 26548
c lw 26792
c lw 27249
c lw 27313
c lw 27544
c lw 27788
c lw 28245
c lw 28381
c lw 28540
c lw 28784
c lw 29241
c lw 29326
c lw 29536
c lw 29780
c lw 30237
c lw 30484
c lw 30532
c lw 30776
c lw 31233
c lw 31477
c lw 31528
c lw 31544
c lw 31592
c lw 31608
c lw 31656
c lw 31672
c lw 31720
c lw 31736
c lw 31784
c lw 31800
c lw 31848
c lw 31864
c lw 31912
c lw 31928
c lw 31976
c lw 31992
c lw 32040
c lw 32056
c lw 32104
c lw 32120
c lw 32168
c lw 32184
c lw 32571
c lw 32641
c lw 32958
c lw 33098
c lw 33345
c lw 33555
c lw 33732
c lw 34012
c lw 34119
c lw 34469
c lw 34554
c lw 34926
c lw 34989
c lw 35383
c lw 35446
c lw 35840
c lw 35903
c lw 36297
c lw 36360
c lw 36754
c lw 36817
c lw 37211
c lw 37274
c lw 37668
c lw 37731
c lw 38125
c lw 38188
c lw 38582
c lw 38645
c lw 39039
c lw 39102
c lw 39295
c lw 39496
c lw 39752
c lw 39953
c lw 39996
c lw 40240
c lw 40410
c lw 40596
c lw 40782
c lw 40968
c lw 41154
c lw 41340
c lw 41509
c lw 41526
c lw 41712
c lw 41898
c lw 42084
c lw 42270
c lw 42456
c lw 42608
c lw 42642
c lw 42828
c lw 42852
c lw 43014
c lw 43096
c lw 43258
c lw 43340
c lw 43502
c lw 43584
c lw 43746
c lw 43828
c lw 43990
c lw 44072
c lw 44234
c lw 44316
c lw 44478
c lw 44560
c lw 44722
c lw 44788
c lw 44966
c lw 45032
c lw 45040
c lw 45276
c lw 45284
c lw 45520
c lw 45528
c lw 45536
c lw 45602
c lw 45672
c lw 45706
c lw 45780
c lw 45846
c lw 45858
c lw 45892
c lw 46008
c lw 46044
c lw 46061
c lw 46078
c lw 46090
c lw 46247
c lw 46252
c lw 46264
c lw 46334
c lw 46433
c lw 46450
c lw 46496
c lw 46578
c lw 46619
c lw 46636
c lw 46652
c lw 46716
c lw 46819
c lw 46896
c lw 46944
c lw 47063
c lw 47173
c lw 47191
c lw 47224
c lw 47434
c lw 47519
c lw 47562
c lw 47681
c lw 47721
c lw 47857
c lw 47885
c lw 47925
c lw 48099
c lw 48229
c lw 48271
c lw 48343
c lw 48382
c lw 48613
c lw 48703
c lw 48839
c lw 48844
c lw 48892
c lw 48920
c lw 48974
c lw 49083
c lw 49121
c lw 49147
c lw 49314
c lw 49377
c lw 49391
c lw 49540
c lw 49771
c lw 49784
c lw 49835
c lw 49847
c lw 49997
c lw 50061
c lw 50241
c lw 50292
c lw 50518
c lw 50536
c lw 50948
c lw 51120
c lw 51288
c lw 51634
c lw 51938
c lw 51944
c lw 52052
c lw 52832
c lw 52934
c lw 52982
c lw 53064
c lw 53701
c lw 53746
c lw 53791
c lw 53794
c lw 53810
c lw 53831
c lw 53879
c lw 53895
c lw 54352
c lw 54468
c lw 54598
c lw 54778
c lw 54826
c lw 54842
c lw 55079
c lw 55119
c lw 55308
c lw 55325
c lw 55846
c lw 56058
c lw 56092
c lw 56295
c lw 56525
c lw 56825
c lw 56878
c lw 57195
c lw 57442
c lw 57548
c lw 57751
c lw 57909
c lw 58112
c lw 58421
c lw 58561
c lw 58607
c lw 58747
c lw 58810
c lw 59141
c lw 59204
c lw 59239
c lw 59302
c lw 59384
c lw 59431
c lw 59435
c lw 59494
c lw 59528
c lw 59609
c lw 59610
c lw 59690
c lw 59691
c lw 59714
c lw 59772
c lw 59877
c lw 59881
c lw 60012
c lw 60075
c lw 60138
c lw 60201
c lw 60208
c lw 60315
c lw 60385
c lw 60397
c lw 60482
c lw 60659
c lw 60716
c lw 60732
c lw 60815
c lw 60831
c lw 60998
c lw 61014
c lw 61030
c lw 61111
c lw 61127
c lw 61234
c lw 61418
c lw 61434
c lw 61515
c lw 61531
c lw 61547
c lw 61563
c lw 61596
c lw 61655
c lw 61843
c lw 61855
c lw 61877
c lw 61972
c lw 61990
c lw 62020
c lw 62042
c lw 62089
c lw 62171
c lw 62206
c lw 62351
c lw 62397
c lw 62491
c lw 62537
c lw 62554
c lw 62566
c lw 62583
c lw 62588
c lw 62620
c lw 62624
c lw 62631
c lw 62643
c lw 62648
c lw 62665
c lw 62694
c lw 62800
c lw 62847
c lw 62962
c lw 62992
c lw 63003
c lw 63009
c lw 63015
c lw 63044
c lw 63049
c lw 63050
c lw 63115
c lw 63120
c lw 63121
c lw 63127
c lw 63155
c lw 63168
c lw 63262
c lw 63263
c lw 63328
c lw 63329
c lw 63357
c lw 63358
c lw 63416
c lw 63467
c lw 63473
c lw 63474
c lw 63478
c lw 63479
c lw 63480
c lw 63483
c lw 63485
c lw 63497
c lw 63498
c lw 63501
c lw 63502
c lw 63503
c lw 63504
c lw 63505
c lw 63507
c lw 63508
c lw 63513
c lw 63514
c lw 63517
c lw 63520
c lw 63548
c lw 63549
c lw 63584
c lw 63601
c lw 63613
c lw 63614
c lw 63705
c lw 63706
c lw 63729
c lw 63730
c lw 63731
c lw 63732
c lw 63734
c lw 63738
c lw 63739
c lw 63740
c lw 63743
c lw 63744
c lw 63746
c lw 63747
c lw 63785
c lw 64022
c lw 64038
c lw 64086
c lw 64088
c lw 64116
c lw 64127
c lw 64133
c lw 64137
c lw 64165
c lw 64167
c lw 64171
c lw 64175
c lw 64215
c lw 64220
c lw 64305
c lw 64453
c lw 64455
c lw 64492
c lw 64508
c lw 64553
c lw 64556
c lw 64564
c lw 64569
c lw 64593
c lw 64599
c lw 64621
c lw 64652
c lw 64825
c lw 64828
c lw 64829
c lw 64830
c lw 64831
c lw 64833
c lw 64842
c lw 64843
c lw 64844
c lw 64845
c lw 64847
c lw 64855
c lw 64856
c lw 64863
c lw 64865
c lw 64870
c lw 64873
c lw 64881
c lw 64883
c lw 64885
c lw 64886
c lw 64889
c lw 64905
c lw 64906
c lw 64908
c lw 64909
c lw 64910
c lw 64911
c lw 64920
c lw 64921
c lw 64923
c lw 65005
c lw 65025
c lw 65053
c lw 65161
c lw 65275
c lw 65304
c lw 65305
c lw 65307
c lw 65308
c lw 65309
c lw 65311
c lw 65318
c lw 65320
c lw 65324
c lw 65325
c lw 65331
c lw 65402
c lw 65422
c lw 65446
c lw 65451
c lw 65457
c lw 65459
c lw 65461
c lw 65463
c lw 65465
c lw 65477
c lw 65499
c lw 65502
c lw 65514
c lw 65536
c lw 65555
c lw 65573
c lw 65581
c lw 65584
c lw 65589
c lw 65597
c lw 65605
c lw 65618
c lw 65620
c lw 65621
c lw 65622
c lw 65624
c lw 65626
c lw 65627
c lw 65628
c lw 65629
c lw 65630
c lw 65632
c lw 65633
c lw 65634
c lw 65635
c lw 65636
c lw 65638
c lw 65639
c lw 65640
c lw 65641
c lw 65642
c lw 65643
c lw 65644
c lw 65646
c lw 65647
c lw 65648
c lw 65649
c lw 65650
c lw 65652
c lw 65653
c lw 65654
c lw 65655
c lw 65656
c lw 65659
c lw 65661
c lw 65662
c lw 65663
c lw 65664
c lw 65666
c lw 65689
c lw 65857
c lw 66203
c lw 66261
c lw 66339
c lw 66357
c lw 66375
c lw 66415
c lw 66534
c lw 66577
c lw 66583
c lw 66641
c lw 66659
c lw 66661
c lw 66673
c lw 66689
c lw 66691
c lw 66693
c lw 66697
c lw 66747
c lw 66748
c lw 66750
c lw 66752
c lw 66753
c lw 66754
c lw 66755
c lw 66783
c lw 66787
c lw 66788
c lw 66789
c lw 66790
c lw 66793
c lw 66794
c lw 66796
c lw 66799
c lw 66813
c lw 66814
c lw 66815
c lw 66816
c lw 66817
c lw 66818
c lw 66827
c lw 66836
c lw 66862
c lw 66868
c lw 66873
c lw 66893
c lw 66894
c lw 66895
c lw 66896
c lw 66909
c lw 66910
c lw 66911
c lw 66912
c lw 66913
c lw 66921
c lw 66970
c lw 67055
c lw 67116
c lw 67179
c lw 67189
c lw 67214
c lw 67222
c lw 67266
c lw 67292
c lw 67315
c lw 67325
c lw 67329
c lw 67333
c lw 67337
c lw 67341
c lw 67343
c lw 67356
c lw 67359
c lw 67360
c lw 67361
c lw 67362
c lw 67363
c lw 67378
c lw 67386
c lw 67413
c lw 67447
c lw 67452
c lw 67463
c lw 67511
c lw 67636
c lw 67670
c lw 67678
c lw 67706
c lw 67707
c lw 67708
c lw 67709
c lw 67710
c lw 67711
c lw 67713
c lw 67714
c lw 67716
c lw 67718
c lw 67719
c lw 67725
c lw 67726
c lw 67739
c lw 67750
c lw 67788
c lw 67789
c lw 67790
c lw 67859
c lw 67865
c lw 67866
c lw 67868
c lw 67870
c lw 67871
c lw 67873
c lw 67874
c lw 67875
c lw 67876
c lw 67877
c lw 67878
c lw 67890
c lw 67891
c lw 67903
c lw 67904
c lw 67906
c lw 67914
c lw 67917
c lw 67937
c lw 67954
c lw 67980
c lw 67991
c lw 67992
c lw 68004
c lw 68005
c lw 68007
c lw 68020
c lw 68021
c lw 68026
c lw 68031
c lw 68041
c lw 68044
c lw 68045
c lw 68046
c lw 68047
c lw 68049
c lw 68051
c lw 68053
c lw 68054
c lw 68055
c lw 68056
c lw 68091
c lw 68092
c lw 68101
c lw 68102
c lw 68106
c lw 68109
c lw 68114
c lw 68144
c lw 68154
c lw 68155
c lw 68163
c lw 68166
c lw 68185
c lw 68187
c lw 68194
c lw 68199
c lw 68201
c lw 68207
c lw 68211
c lw 68212
c lw 68220
c lw 68221
c lw 68222
c lw 68223
c lw 68224
c lw 68225
c lw 68226
c lw 68227
c lw 68228
c lw 68231
c lw 68233
c lw 68237
c lw 68238
c lw 68239
c lw 68240
c lw 68242
c lw 68246
c lw 68255
c lw 68256
c lw 68257
c lw 68258
c lw 68259
c lw 68260
c lw 68261
c lw 68262
c lw 68263
c lw 68264
c lw 68268
c lw 68272
c lw 68274
c lw 68275
c lw 68278
c lw 68279
c lw 68280
c lw 68281
c lw 68289
c lw 68290
c lw 68294
c lw 68302
c lw 68322
c lw 68323
c lw 68324
c lw 68326
c lw 68329
c lw 68330
c lw 68331
c lw 68336
c lw 68348
c lw 68358
c lw 68361
c lw 68364
c lw 68365
c lw 68366
c lw 68368
c lw 68369
c lw 68370
c lw 68371
c lw 68372
c lw 68373
c lw 68374
c lw 68376
c lw 68377
c lw 68389
c lw 68405
c lw 68421
c lw 68437
c lw 68453
c lw 68469
c lw 68485
c lw 68501
c lw 68502
c lw 68503
c lw 68504
c lw 68505
c lw 68506
c lw 68507
c lw 68508
c lw 68509
c lw 68513
c lw 68514
c lw 68516
c lw 68517
c lw 68519
c lw 68520
c lw 68522
c lw 68523
c lw 68526
c lw 68530
c lw 68567
c lw 68568
c lw 68569
c lw 68570
c lw 68571
c lw 68572
c lw 68573
c lw 68574
c lw 68575
c lw 68576
c lw 68577
c lw 68578
c lw 68579
c lw 68580
c lw 68581
c lw 68582
c lw 68583
c lw 68584
c lw 68585
c lw 68586
c lw 68587
c lw 68596
c lw 68597
c lw 68598
c lw 68599
c lw 68600
c lw 68601
c lw 68602
c lw 68603
c lw 68604
c lw 68605
c lw 68621
c lw 68622
c lw 68624
c lw 68625
c lw 68626
c lw 68627
c lw 68629
c lw 68688
c lw 68736
c lw 68757
c lw 68820
c lw 68832
c lw 68852
c lw 68897
c lw 68930
c lw 69004
c lw 69022
c lw 69107
c lw 69111
c lw 69117
c lw 69129
c lw 69181
c lw 69184
c lw 69203
c lw 69222
c lw 69230
c lw 69231
c lw 69232
c lw 69233
c lw 69294
c lw 69381
c lw 69389
c lw 69426
c lw 69444
c lw 69462
c lw 69474
c lw 69513
c lw 69548
c lw 69550
c lw 69555
c lw 69565
c lw 69577
c lw 69594
c lw 69615
c lw 69657
c lw 69660
c lw 69661
c lw 69664
c lw 69672
c lw 69708
c lw 69712
c lw 69715
c lw 69718
c lw 69741
c lw 69745
c lw 69752
c lw 69768
c lw 69782
c lw 69785
c lw 69786
c lw 69794
c lw 69796
c lw 69806
c lw 69808
c lw 69810
c lw 69811
c lw 69812
c lw 69813
c lw 69814
c lw 69815
c lw 69816
c lw 69817
c lw 69818
c lw 69819
c lw 69820
c lw 69821
c lw 69822
c lw 69823
c lw 69824
c lw 69825
c lw 69826
c lw 69827
c lw 69828
c lw 69829
c lw 69831
c lw 69848
c lw 69865
c lw 69901
c lw 69922
c lw 69929
c lw 69971
c lw 69972
c lw 69974
c lw 69975
c lw 69976
c lw 69981
c lw 69988
c lw 69990
c lw 69991
c lw 69992
c lw 69993
c lw 70000
c lw 70001
c lw 70007
c lw 70008
c lw 70009
c lw 70010
c lw 70011
c lw 70012
c lw 70017
c lw 70041
c lw 70053
c lw 70058
c lw 70109
c lw 70143
c lw 70186
c lw 70198
c lw 70206
c lw 70214
c lw 70238
c lw 70272
c lw 70275
c lw 70295
c lw 70296
c lw 70297
c lw 70298
c lw 70350
c lw 70353
c lw 70356
c lw 70359
c lw 70360
c lw 70384
c lw 70385
c lw 70386
c lw 70387
c lw 70388
c lw 70395
c lw 70400
c lw 70405
c lw 70406
c lw 70407
c lw 70408
c lw 70409
c lw 70410
c lw 70411
c lw 70412
c lw 70413
c lw 70414
c lw 70415
c lw 70416
c lw 70417
c lw 70418
c lw 70419
c lw 70420
c lw 70421
c lw 70422
c lw 70423
c lw 70424
c lw 70430
c lw 70431
c lw 70432
c lw 70433
c lw 70434
c lw 70436
c lw 70437
c lw 70438
c lw 70439
c lw 70440
c lw 70441
c lw 70442
c lw 70443
c lw 70445
c lw 70446
c lw 70450
c lw 70454
c lw 70455
c lw 70461
c lw 70462
c lw 70463
c lw 70467
c lw 70487
c lw 70488
c lw 70489
c lw 70490
c lw 70491
c lw 70492
c lw 70503
c lw 70508
c lw 70509
c lw 70510
c lw 70532
c lw 70533
c lw 70534
c lw 70535
c lw 70536
c lw 70537
c lw 70538
c lw 70539
c lw 70540
c lw 70541
c lw 70542
c lw 70543
c lw 70544
c lw 70545
c lw 70546
c lw 70547
c lw 70548
c lw 70549
c lw 70550
c lw 70551
c lw 70554
c lw 70576
c lw 70578
c lw 70586
c lw 70589
c lw 70590
c lw 70591
c lw 70594
c lw 70595
c lw 70596
c lw 70597
c lw 70598
c lw 70599
c lw 70600
c lw 70602
c lw 70607
c lw 70608
c lw 70609
c lw 70610
c lw 70611
c lw 70612
c lw 70613
c lw 70614
c lw 70615
c lw 70616
c lw 70617
c lw 70618
c lw 70619
c lw 70620
c lw 70621
c lw 70622
c lw 70623
c lw 70624
c lw 70625
c lw 70626
c lw 70627
c lw 70628
c lw 70629
c lw 70630
c lw 70631
c lw 70632
c lw 70633
c lw 70634
c lw 70635
c lw 70636
c lw 70637
c lw 70638
c lw 70659
c lw 70717
c lw 70718
c lw 70735
c lw 70736
c lw 70737
c lw 70738
c lw 70748
c lw 70752
c lw 70772
c lw 70777
c lw 70779
c lw 70796
c lw 70800
c lw 70803
c lw 70820
c lw 70821
c lw 70822
c lw 70823
c lw 70826
c lw 70839
c lw 70840
c lw 70855
c lw 70858
c lw 70864
c lw 70872
c lw 70880
c lw 70884
c lw 70885
c lw 70886
c lw 70888
c lw 70889
c lw 70895
c lw 70896
c lw 70898
c lw 70899
c lw 70900
c lw 70901
c lw 70907
c lw 70909
c lw 70911
c lw 70912
c lw 70913
c lw 70914
c lw 70915
c lw 70916
c lw 70917
c lw 70918
c lw 70919
c lw 70920
c lw 70921
c lw 70922
c lw 70923
c lw 70924
c lw 70925
c lw 70926
c lw 70927
c lw 70928
c lw 70930
c lw 70932
c lw 70933
c lw 70934
c lw 70935
c lw 70936
c lw 70939
c lw 70940
c lw 70941
c lw 70942
c lw 70946
c lw 70949
c lw 70951
c lw 70970
c lw 70971
c lw 70972
c lw 70973
c lw 70974
c lw 70975
c lw 70976
c lw 70977
c lw 70978
c lw 70979
c lw 70980
c lw 70981
c lw 70982
c lw 70983
c lw 70984
c lw 70985
c lw 70986
c lw 70987
c lw 70988
c lw 70989
c lw 70990
c lw 70991
c lw 70992
c lw 70993
c lw 70994
c lw 70995
c lw 70996
c lw 70997
c lw 70998
c lw 70999
c lw 71000
c lw 71001
c lw 71002
c lw 71003
c lw 71004
c lw 71005
c lw 71006
c lw 71007
c lw 71008
c lw 71009
c lw 71010
c lw 71011
c lw 71012
c lw 71013
c lw 71014