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_180_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_180_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 105
c lw 109
c lw 210
c lw 218
c lw 319
c lw 327
c lw 428
c lw 436
c lw 537
c lw 545
c lw 646
c lw 654
c lw 755
c lw 763
c lw 864
c lw 872
c lw 973
c lw 981
c lw 1082
c lw 1090
c lw 1191
c lw 1199
c lw 1300
c lw 1308
c lw 1409
c lw 1417
c lw 1518
c lw 1526
c lw 1627
c lw 1635
c lw 1736
c lw 1744
c lw 1845
c lw 1853
c lw 1954
c lw 1962
c lw 2063
c lw 2071
c lw 2172
c lw 2180
c lw 2281
c lw 2289
c lw 2390
c lw 2398
c lw 2499
c lw 2507
c lw 2608
c lw 2616
c lw 2717
c lw 2725
c lw 2826
c lw 2834
c lw 2935
c lw 2943
c lw 3044
c lw 3052
c lw 3153
c lw 3161
c lw 3262
c lw 3270
c lw 3308
c lw 3346
c lw 3384
c lw 3414
c lw 3422
c lw 3460
c lw 3498
c lw 3536
c lw 3558
c lw 3574
c lw 3612
c lw 3650
c lw 3688
c lw 3702
c lw 3726
c lw 3764
c lw 3802
c lw 3840
c lw 3846
c lw 3878
c lw 3916
c lw 3954
c lw 3990
c lw 4014
c lw 4074
c lw 4134
c lw 4194
c lw 4254
c lw 4278
c lw 4314
c lw 4374
c lw 4422
c lw 4434
c lw 4494
c lw 4554
c lw 4566
c lw 4614
c lw 4674
c lw 4710
c lw 4734
c lw 4794
c lw 4854
c lw 4914
c lw 4974
c lw 4998
c lw 5142
c lw 5178
c lw 6000
c lw 6411
c lw 6822
c lw 7644
c lw 8466
c lw 8877
c lw 9353
c lw 10110
c lw 10240
c lw 11127
c lw 11343
c lw 12014
c lw 12576
c lw 12979
c lw 13809
c lw 13944
c lw 14909
c lw 15042
c lw 15874
c lw 16275
c lw 16839
c lw 17508
c lw 17921
c lw 18741
c lw 19003
c lw 19974
c lw 20085
c lw 21207
c lw 21253
c lw 22421
c lw 22440
c lw 23654
c lw 23673
c lw 24887
c lw 24906
c lw 26120
c lw 26139
c lw 26671
c lw 27372
c lw 27904
c lw 28417
c lw 28605
c lw 29137
c lw 29481
c lw 29838
c lw 30370
c lw 31071
c lw 31595
c lw 31770
c lw 32302
c lw 32304
c lw 32836
c lw 33537
c lw 34067
c lw 34599
c lw 35131
c lw 35468
c lw 35663
c lw 36195
c lw 36727
c lw 36869
c lw 37259
c lw 37791
c lw 38270
c lw 38323
c lw 38855
c lw 39387
c lw 39671
c lw 39919
c lw 40451
c lw 40983
c lw 41072
c lw 41515
c lw 42047
c lw 42473
c lw 42579
c lw 43111
c lw 43643
c lw 43874
c lw 44175
c lw 44177
c lw 45205
c lw 45275
c lw 46233
c lw 46676
c lw 47261
c lw 48077
c lw 48289
c lw 49317
c lw 49478
c lw 50345
c lw 50879
c lw 51373
c lw 52280
c lw 52401
c lw 53537
c lw 53658
c lw 53766
c lw 53802
c lw 53910
c lw 54565
c lw 54902
c lw 55023
c lw 55047
c lw 55059
c lw 55107
c lw 55167
c lw 55328
c lw 55593
c lw 56034
c lw 56246
c lw 56356
c lw 56426
c lw 56428
c lw 56729
c lw 56850
c lw 57384
c lw 57435
c lw 57666
c lw 57827
c lw 57967
c lw 58073
c lw 58198
c lw 58624
c lw 58734
c lw 58823
c lw 59156
c lw 59177
c lw 59355
c lw 59461
c lw 59603
c lw 59709
c lw 59993
c lw 60046
c lw 60188
c lw 60241
c lw 60383
c lw 60631
c lw 60720
c lw 60915
c lw 61057
c lw 61110
c lw 61252
c lw 61589
c lw 61782
c lw 61784
c lw 61792
c lw 61794
c lw 61969
c lw 62324
c lw 62483
c lw 62485
c lw 62842
c lw 63017
c lw 63184
c lw 63186
c lw 63287
c lw 63295
c lw 63372
c lw 63396
c lw 63404
c lw 63505
c lw 63716
c lw 63885
c lw 63893
c lw 63994
c lw 64037
c lw 64056
c lw 64315
c lw 64417
c lw 64528
c lw 64790
c lw 64809
c lw 65270
c lw 65289
c lw 65330
c lw 65743
c lw 65762
c lw 65808
c lw 66209
c lw 66357
c lw 66503
c lw 66636
c lw 67552
c lw 67739
c lw 67874
c lw 68285
c lw 68563
c lw 68994
c lw 69401
c lw 69528
c lw 69540
c lw 69564
c lw 69735
c lw 70138
c lw 70152
c lw 70273
c lw 70311
c lw 70489
c lw 70944
c lw 71074
c lw 71084
c lw 71086
c lw 71210
c lw 71621
c lw 71686
c lw 71713
c lw 71771
c lw 71773
c lw 71795
c lw 71803
c lw 71811
c lw 71819
c lw 71827
c lw 71841
c lw 71863
c lw 71865
c lw 71877
c lw 71885
c lw 71893
c lw 71901
c lw 71954
c lw 71966
c lw 72000
c lw 72014
c lw 72024
c lw 72074
c lw 72080
c lw 72084
c lw 72112
c lw 72118
c lw 72128
c lw 72144
c lw 72150
c lw 72156
c lw 72188
c lw 72194
c lw 72220
c lw 72260
c lw 72266
c lw 72282
c lw 72298
c lw 72320
c lw 72328
c lw 72336
c lw 72344
c lw 72358
c lw 72366
c lw 72396
c lw 72404
c lw 72412
c lw 72457
c lw 72505
c lw 72550
c lw 72598
c lw 72643
c lw 73373
c lw 73381
c lw 73389
c lw 73397
c lw 73421
c lw 73429
c lw 73490
c lw 73498
c lw 73522
c lw 73530
c lw 73591
c lw 73615
c lw 73692
c lw 73708
c lw 73716
c lw 73785
c lw 73793
c lw 73809
c lw 73855
c lw 73863
c lw 73932
c lw 73940
c lw 73948
c lw 73956
c lw 73964
c lw 74057
c lw 74065
c lw 74073
c lw 74166
c lw 74259
c lw 74263
c lw 74456
c lw 74600
c lw 74602
c lw 74604
c lw 74610
c lw 74779
c lw 74785
c lw 74896
c lw 74904
c lw 74912
c lw 74920
c lw 74928
c lw 74936
c lw 74944
c lw 74952
c lw 74997
c lw 75001
c lw 75005
c lw 75013
c lw 75098
c lw 75106
c lw 75114
c lw 75122
c lw 75215
c lw 75223
c lw 75231
c lw 75239
c lw 75247
c lw 75288
c lw 75296
c lw 75308
c lw 75316
c lw 75332
c lw 75340
c lw 75344
c lw 75348
c lw 75409
c lw 75413
c lw 75417
c lw 75421
c lw 75425
c lw 75429
c lw 75433
c lw 75449
c lw 75453
c lw 75486
c lw 75490
c lw 75494
c lw 75498
c lw 75502
c lw 75506
c lw 75510
c lw 75554
c lw 75562
c lw 75607
c lw 75615
c lw 75619
c lw 75623
c lw 75631
c lw 75655
c lw 75663
c lw 75671
c lw 75695
c lw 75724
c lw 75729
c lw 75732
c lw 75759
c lw 75767
c lw 75797
c lw 75805
c lw 75813
c lw 75821
c lw 75827
c lw 75835
c lw 75837
c lw 75851
c lw 75857
c lw 75859
c lw 75861
c lw 75865
c lw 75869
c lw 75871
c lw 75873
c lw 75879
c lw 75881
c lw 75885
c lw 75887
c lw 75889
c lw 75903
c lw 75909
c lw 75913
c lw 75927
c lw 75933
c lw 75935
c lw 75939
c lw 75945
c lw 75959
c lw 75961
c lw 75963
c lw 75965
c lw 75967
c lw 75969
c lw 75971
c lw 75977
c lw 75981
c lw 75983
c lw 75995
c lw 76013
c lw 76015
c lw 76017
c lw 76019
c lw 76031
c lw 76033
c lw 76039
c lw 76051
c lw 76053
c lw 76063
c lw 76069
c lw 76071
c lw 76073
c lw 76077
c lw 76081
c lw 76093
c lw 76095
c lw 76097
c lw 76107
c lw 76109
c lw 76111
c lw 76133
c lw 76135
c lw 76137
c lw 76147
c lw 76153
c lw 76155
c lw 76159
c lw 76161
c lw 76167
c lw 76177
c lw 76179
c lw 76185
c lw 76187
c lw 76189
c lw 76191
c lw 76251
c lw 76299
c lw 76301
c lw 76307
c lw 76315
c lw 76333
c lw 76335
c lw 76371
c lw 76390
c lw 76433
c lw 76435
c lw 76437
c lw 76439
c lw 76443
c lw 76451
c lw 76455
c lw 76548
c lw 76862
c lw 76866
c lw 76912
c lw 76931
c lw 76955
c lw 77271
c lw 77366
c lw 77404
c lw 77423
c lw 77453
c lw 77463
c lw 77525
c lw 77548
c lw 77610
c lw 77636
c lw 77674
c lw 77942
c lw 77946
c lw 77965
c lw 77968
c lw 77975
c lw 77989
c lw 78013
c lw 78027
c lw 78030
c lw 78053
c lw 78061
c lw 78080
c lw 78095
c lw 78097
c lw 78105
c lw 78225
c lw 78356
c lw 78359
c lw 78367
c lw 78370
c lw 78372
c lw 78373
c lw 78375
c lw 78381
c lw 78382
c lw 78385
c lw 78387
c lw 78388
c lw 78390
c lw 78392
c lw 78393
c lw 78398
c lw 78399
c lw 78400
c lw 78401
c lw 78402
c lw 78428
c lw 78449
c lw 78617
c lw 78624
c lw 78887
c lw 79005
c lw 79131
c lw 79172
c lw 79179
c lw 79209
c lw 79217
c lw 79249
c lw 79268
c lw 79406
c lw 79532
c lw 79575
c lw 79650
c lw 79855
c lw 79862
c lw 79892
c lw 79896
c lw 79908
c lw 79927
c lw 79928
c lw 79985
c lw 80042
c lw 80054
c lw 80072
c lw 80220
c lw 80235
c lw 80263
c lw 80270
c lw 80299
c lw 80304
c lw 80308
c lw 80397
c lw 80529
c lw 80533
c lw 80553
c lw 80572
c lw 80591
c lw 80772
c lw 80791
c lw 80917
c lw 80925
c lw 80949
c lw 81000
c lw 81021
c lw 81030
c lw 81038
c lw 81040
c lw 81041
c lw 81049
c lw 81054
c lw 81059
c lw 81061
c lw 81066
c lw 81077
c lw 81079
c lw 81080
c lw 81081
c lw 81083
c lw 81084
c lw 81086
c lw 81087
c lw 81088
c lw 81089
c lw 81093
c lw 81094
c lw 81095
c lw 81097
c lw 81098
c lw 81101
c lw 81102
c lw 81103
c lw 81104
c lw 81105
c lw 81107
c lw 81109
c lw 81110
c lw 81111
c lw 81112
c lw 81113
c lw 81114
c lw 81115
c lw 81116
c lw 81117
c lw 81118
c lw 81119
c lw 81120
c lw 81121
c lw 81124
c lw 81125
c lw 81126
c lw 81127
c lw 81128
c lw 81129
c lw 81130
c lw 81131
c lw 81132
c lw 81133
c lw 81134
c lw 81135
c lw 81138
c lw 81139
c lw 81140
c lw 81147
c lw 81158
c lw 81159
c lw 81160
c lw 81161
c lw 81164
c lw 81165
c lw 81200
c lw 81201
c lw 81202
c lw 81203
c lw 81236
c lw 81237
c lw 81238
c lw 81239
c lw 81240
c lw 81242
c lw 81382
c lw 81406
c lw 81472
c lw 81478
c lw 81492
c lw 81558
c lw 81582
c lw 81597
c lw 81599
c lw 81602
c lw 81612
c lw 81618
c lw 81702
c lw 81716
c lw 81718
c lw 81720
c lw 81722
c lw 81726
c lw 81728
c lw 81737
c lw 81739
c lw 81741
c lw 81745
c lw 81749
c lw 81750
c lw 81751
c lw 81752
c lw 81763
c lw 81764
c lw 81765
c lw 81767
c lw 81769
c lw 81772
c lw 81774
c lw 81776
c lw 81777
c lw 81783
c lw 81787
c lw 81788
c lw 81789
c lw 81790
c lw 81791
c lw 81793
c lw 81795
c lw 81796
c lw 81797
c lw 81798
c lw 81799
c lw 81800
c lw 81802
c lw 81803
c lw 81804
c lw 81808
c lw 81810
c lw 81811
c lw 81812
c lw 81813
c lw 81814
c lw 81815
c lw 81816
c lw 81817
c lw 81818
c lw 81819
c lw 81820
c lw 81821
c lw 81874
c lw 81965
c lw 82014
c lw 82156
c lw 82209
c lw 82211
c lw 82213
c lw 82258
c lw 82264
c lw 82268
c lw 82272
c lw 82300
c lw 82302
c lw 82304
c lw 82306
c lw 82308
c lw 82310
c lw 82313
c lw 82314
c lw 82315
c lw 82316
c lw 82317
c lw 82318
c lw 82319
c lw 82320
c lw 82321
c lw 82322
c lw 82340
c lw 82341
c lw 82342
c lw 82343
c lw 82344
c lw 82375
c lw 82428
c lw 82429
c lw 82433
c lw 82434
c lw 82464
c lw 82480
c lw 82484
c lw 82487
c lw 82540
c lw 82541
c lw 82549
c lw 82571
c lw 82572
c lw 82574
c lw 82578
c lw 82581
c lw 82582
c lw 82628
c lw 82724
c lw 82781
c lw 82782
c lw 82783
c lw 82784
c lw 82785
c lw 82786
c lw 82787
c lw 82793
c lw 82799
c lw 82825
c lw 82827
c lw 82829
c lw 82831
c lw 82832
c lw 82834
c lw 82870
c lw 82959
c lw 83001
c lw 83008
c lw 83015
c lw 83057
c lw 83061
c lw 83065
c lw 83082
c lw 83099
c lw 83100
c lw 83101
c lw 83102
c lw 83103
c lw 83104
c lw 83111
c lw 83117
c lw 83125
c lw 83231
c lw 83350
c lw 83401
c lw 83439
c lw 83445
c lw 83511
c lw 83543
c lw 83579
c lw 83672
c lw 83708
c lw 83710
c lw 83774
c lw 83776
c lw 83812
c lw 83816
c lw 83848
c lw 83914
c lw 83916
c lw 83925
c lw 84009
c lw 84119
c lw 84226
c lw 84228
c lw 84298
c lw 84331
c lw 84364
c lw 84415
c lw 84419
c lw 84470
c lw 84479
c lw 84502
c lw 84534
c lw 84536
c lw 84547
c lw 84551
c lw 84586
c lw 84604
c lw 84608
c lw 84613
c lw 84615
c lw 84617
c lw 84622
c lw 84624
c lw 84627
c lw 84629
c lw 84633
c lw 84636
c lw 84638
c lw 84640
c lw 84766
c lw 84775
c lw 84777
c lw 84796
c lw 84845
c lw 84879
c lw 84905
c lw 84913
c lw 84927
c lw 84936
c lw 84938
c lw 84956
c lw 84957
c lw 84960
c lw 84962
c lw 84971
c lw 84979
c lw 84981
c lw 84983
c lw 84992
c lw 84993
c lw 85102
c lw 85175
c lw 85176
c lw 85180
c lw 85181
c lw 85182
c lw 85183
c lw 85184
c lw 85185
c lw 85186
c lw 85193
c lw 85194
c lw 85195
c lw 85196
c lw 85200
c lw 85201
c lw 85202
c lw 85203
c lw 85204
c lw 85205
c lw 85206
c lw 85207
c lw 85208
c lw 85209
c lw 85210
c lw 85211
c lw 85212
c lw 85213
c lw 85214
c lw 85215
c lw 85216
c lw 85218
c lw 85219
c lw 85225
c lw 85226
c lw 85227
c lw 85231
c lw 85233
c lw 85235
c lw 85236
c lw 85238
c lw 85242
c lw 85243
c lw 85244
c lw 85251
c lw 85252
c lw 85253
c lw 85254
c lw 85255
c lw 85256
c lw 85263
c lw 85264
c lw 85265
c lw 85266
c lw 85267
c lw 85270
c lw 85276
c lw 85278
c lw 85279
c lw 85280
c lw 85281
c lw 85283
c lw 85286
c lw 85287
c lw 85295
c lw 85296
c lw 85297
c lw 85299
c lw 85300
c lw 85301
c lw 85315
c lw 85316
c lw 85317
c lw 85318
c lw 85319
c lw 85320
c lw 85321
c lw 85322
c lw 85323
c lw 85324
c lw 85325
c lw 85326
c lw 85327
c lw 85328
c lw 85329
c lw 85330
c lw 85331
c lw 85332
c lw 85333
c lw 85334
c lw 85335
c lw 85343
c lw 85350
c lw 85351
c lw 85353
c lw 85355
c lw 85356
c lw 85357
c lw 85358
c lw 85359
c lw 85360
c lw 85361
c lw 85364
c lw 85376
c lw 85387
c lw 85388
c lw 85395
c lw 85401
c lw 85403
c lw 85404
c lw 85405
c lw 85412
c lw 85414
c lw 85415
c lw 85418
c lw 85469
c lw 85470
c lw 85471
c lw 85472
c lw 85473
c lw 85474
c lw 85475
c lw 85476
c lw 85477
c lw 85478
c lw 85479
c lw 85480
c lw 85481
c lw 85482
c lw 85483
c lw 85484
c lw 85485
c lw 85486
c lw 85487
c lw 85488
c lw 85489
c lw 85490
c lw 85492
c lw 85493
c lw 85494
c lw 85495
c lw 85496
c lw 85497
c lw 85498
c lw 85499
c lw 85500
c lw 85501
c lw 85502
c lw 85503
c lw 85504
c lw 85505
c lw 85506
c lw 85507
c lw 85508
c lw 85509
c lw 85510
c lw 85511
c lw 85512
c lw 85513
c lw 85514
c lw 85515
c lw 85516
c lw 85517
c lw 85518
c lw 85519
c lw 85520
c lw 85521
c lw 85522
c lw 85523
c lw 85525
c lw 85526
c lw 85527
c lw 85537
c lw 85539
c lw 85541
c lw 85542
c lw 85543
c lw 85544
c lw 85545
c lw 85546
c lw 85547
c lw 85548
c lw 85549
c lw 85551
c lw 85552
c lw 85556
c lw 85584
c lw 85586
c lw 85588
c lw 85591
c lw 85611
c lw 85613
c lw 85617
c lw 85619
c lw 85620
c lw 85621
c lw 85622
c lw 85623
c lw 85625
c lw 85626
c lw 85627
c lw 85629
c lw 85630
c lw 85631
c lw 85632
c lw 85633
c lw 85634
c lw 85636
c lw 85637
c lw 85638
c lw 85639
c lw 85640
c lw 85641
c lw 85642
c lw 85643
c lw 85644
c lw 85645
c lw 85646
c lw 85652
c lw 85742
c lw 85743
c lw 85745
c lw 85747
c lw 85749
c lw 85750
c lw 85752
c lw 85755
c lw 85756
c lw 85764
c lw 85765
c lw 85766
c lw 85767
c lw 85768
c lw 85771
c lw 85772
c lw 85773
c lw 85774
c lw 85775
c lw 85776
c lw 85777
c lw 85778
c lw 85779
c lw 85780
c lw 85781
c lw 85782
c lw 85783
c lw 85784
c lw 85785
c lw 85786
c lw 85787
c lw 85788
c lw 85789
c lw 85790
c lw 85791
c lw 85792
c lw 85793
c lw 85794
c lw 85795
c lw 85796
c lw 85797
c lw 85798
c lw 85799
c lw 85800
c lw 85801
c lw 85802
c lw 85803
c lw 85804
c lw 85805
c lw 85806
c lw 85807
c lw 85808
c lw 85809
c lw 85810
c lw 85811
c lw 85812
c lw 85813
c lw 85814
c lw 85815
c lw 85816
c lw 85817
c lw 85818
c lw 85819
c lw 85820
c lw 85821
c lw 85822
c lw 85823
c lw 85824
c lw 85825
c lw 85826
c lw 85827
c lw 85828
c lw 85829
c lw 85830
c lw 85831
c lw 85832
c lw 85833
c lw 85834
c lw 85835
c lw 85836
c lw 85837
c lw 85838
c lw 85839
c lw 85840
c lw 85841
c lw 85842
c lw 85843
c lw 85844
c lw 85845
c lw 85846
c lw 85847
c lw 85848