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_130_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_130_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 418
c lw 548
c lw 836
c lw 1096
c lw 1254
c lw 1644
c lw 1672
c lw 2090
c lw 2192
c lw 2547
c lw 2740
c lw 3004
c lw 3288
c lw 3461
c lw 3836
c lw 3918
c lw 4375
c lw 4384
c lw 4832
c lw 4932
c lw 5289
c lw 5480
c lw 5746
c lw 6028
c lw 6203
c lw 6576
c lw 6751
c lw 7124
c lw 7299
c lw 7672
c lw 7847
c lw 8220
c lw 8395
c lw 8768
c lw 8943
c lw 9316
c lw 9491
c lw 9864
c lw 10039
c lw 10412
c lw 10587
c lw 10960
c lw 11135
c lw 11508
c lw 11683
c lw 12056
c lw 12231
c lw 12604
c lw 12779
c lw 13152
c lw 13327
c lw 13700
c lw 14248
c lw 14796
c lw 15344
c lw 15892
c lw 16248
c lw 16295
c lw 16610
c lw 16698
c lw 16972
c lw 17101
c lw 17334
c lw 17504
c lw 17715
c lw 17907
c lw 18104
c lw 18310
c lw 18493
c lw 18713
c lw 18896
c lw 19116
c lw 19299
c lw 19519
c lw 19702
c lw 19922
c lw 20105
c lw 20325
c lw 20508
c lw 20728
c lw 20911
c lw 21131
c lw 21314
c lw 21534
c lw 21717
c lw 21937
c lw 22120
c lw 22340
c lw 22523
c lw 22743
c lw 22926
c lw 23146
c lw 23329
c lw 23549
c lw 23732
c lw 23952
c lw 24135
c lw 24355
c lw 24538
c lw 24758
c lw 24941
c lw 25161
c lw 25344
c lw 25564
c lw 25747
c lw 25967
c lw 26150
c lw 26279
c lw 26370
c lw 26499
c lw 26773
c lw 26902
c lw 26940
c lw 27176
c lw 27305
c lw 27373
c lw 27579
c lw 28038
c lw 28256
c lw 28497
c lw 28933
c lw 28956
c lw 29415
c lw 29610
c lw 29874
c lw 30287
c lw 30333
c lw 30792
c lw 30964
c lw 31251
c lw 31641
c lw 31710
c lw 32169
c lw 32318
c lw 32628
c lw 32995
c lw 33087
c lw 33546
c lw 33672
c lw 34005
c lw 34349
c lw 34464
c lw 34923
c lw 35026
c lw 35382
c lw 35703
c lw 35841
c lw 36300
c lw 36380
c lw 36977
c lw 37057
c lw 37448
c lw 37734
c lw 38125
c lw 38411
c lw 38802
c lw 39088
c lw 39479
c lw 39765
c lw 40156
c lw 40442
c lw 40833
c lw 41119
c lw 41510
c lw 41796
c lw 41805
c lw 41887
c lw 41971
c lw 42253
c lw 42344
c lw 42412
c lw 42527
c lw 42644
c lw 42717
c lw 42763
c lw 42801
c lw 42892
c lw 42983
c lw 42991
c lw 43021
c lw 43120
c lw 43164
c lw 43406
c lw 43450
c lw 43511
c lw 43797
c lw 43902
c lw 44083
c lw 44163
c lw 44188
c lw 44474
c lw 44579
c lw 44760
c lw 44889
c lw 44943
c lw 44980
c lw 45072
c lw 45163
c lw 45292
c lw 45346
c lw 45383
c lw 45475
c lw 45566
c lw 45695
c lw 45749
c lw 45786
c lw 45878
c lw 45969
c lw 46098
c lw 46152
c lw 46189
c lw 46281
c lw 46372
c lw 46501
c lw 46555
c lw 46592
c lw 46684
c lw 46775
c lw 46904
c lw 46958
c lw 46995
c lw 47087
c lw 47178
c lw 47307
c lw 47361
c lw 47398
c lw 47490
c lw 47567
c lw 47595
c lw 47682
c lw 47765
c lw 47778
c lw 47907
c lw 47915
c lw 47995
c lw 48133
c lw 48226
c lw 48374
c lw 48547
c lw 48903
c lw 48922
c lw 49006
c lw 49121
c lw 49266
c lw 49381
c lw 49507
c lw 49599
c lw 49691
c lw 49840
c lw 49966
c lw 49989
c lw 50058
c lw 50150
c lw 50425
c lw 50600
c lw 50715
c lw 50973
c lw 51002
c lw 51145
c lw 51191
c lw 51415
c lw 51432
c lw 51627
c lw 51679
c lw 51702
c lw 51891
c lw 52066
c lw 52115
c lw 52284
c lw 52307
c lw 52330
c lw 52482
c lw 52505
c lw 52680
c lw 52855
c lw 52992
c lw 53039
c lw 53080
c lw 53170
c lw 53343
c lw 53383
c lw 53408
c lw 53558
c lw 53583
c lw 53733
c lw 53908
c lw 53956
c lw 54083
c lw 54106
c lw 54281
c lw 54329
c lw 54456
c lw 54479
c lw 54654
c lw 54702
c lw 54725
c lw 54900
c lw 55020
c lw 55098
c lw 55121
c lw 55186
c lw 55286
c lw 55387
c lw 55403
c lw 55565
c lw 55734
c lw 55809
c lw 55927
c lw 55998
c lw 56100
c lw 56164
c lw 56192
c lw 56416
c lw 56554
c lw 56574
c lw 56676
c lw 56704
c lw 56842
c lw 56851
c lw 56933
c lw 57017
c lw 57054
c lw 57102
c lw 57122
c lw 57138
c lw 57146
c lw 57170
c lw 57244
c lw 57264
c lw 57272
c lw 57300
c lw 57308
c lw 57328
c lw 57336
c lw 57344
c lw 57346
c lw 57366
c lw 57437
c lw 57501
c lw 57552
c lw 57555
c lw 57560
c lw 57568
c lw 57580
c lw 57603
c lw 57655
c lw 57658
c lw 57706
c lw 57709
c lw 57712
c lw 57719
c lw 57742
c lw 57744
c lw 57745
c lw 57845
c lw 57862
c lw 57887
c lw 57916
c lw 58089
c lw 58197
c lw 58220
c lw 58279
c lw 58288
c lw 58311
c lw 58359
c lw 58363
c lw 58409
c lw 58434
c lw 58446
c lw 58461
c lw 58526
c lw 58534
c lw 58550
c lw 58558
c lw 58569
c lw 58586
c lw 58611
c lw 58613
c lw 58698
c lw 58704
c lw 58707
c lw 58736
c lw 58744
c lw 58747
c lw 58752
c lw 58753
c lw 58755
c lw 58756
c lw 58758
c lw 58761
c lw 58775
c lw 58792
c lw 58793
c lw 58798
c lw 58800
c lw 58801
c lw 58849
c lw 58976
c lw 58999
c lw 59126
c lw 59174
c lw 59197
c lw 59253
c lw 59278
c lw 59326
c lw 59374
c lw 59380
c lw 59386
c lw 59422
c lw 59434
c lw 59453
c lw 59459
c lw 59484
c lw 59507
c lw 59532
c lw 59555
c lw 59557
c lw 59578
c lw 59580
c lw 59588
c lw 59594
c lw 59617
c lw 59746
c lw 59769
c lw 59790
c lw 59813
c lw 59942
c lw 59963
c lw 60006
c lw 60079
c lw 60117
c lw 60138
c lw 60161
c lw 60167
c lw 60184
c lw 60249
c lw 60318
c lw 60385
c lw 60388
c lw 60423
c lw 60436
c lw 60442
c lw 60444
c lw 60452
c lw 60471
c lw 60494
c lw 60648
c lw 60663
c lw 60753
c lw 60794
c lw 60800
c lw 60841
c lw 60857
c lw 60881
c lw 60887
c lw 60922
c lw 60930
c lw 60935
c lw 60957
c lw 60960
c lw 61009
c lw 61017
c lw 61020
c lw 61026
c lw 61029
c lw 61031
c lw 61037
c lw 61069
c lw 61082
c lw 61116
c lw 61146
c lw 61174
c lw 61192
c lw 61193
c lw 61195
c lw 61231
c lw 61232
c lw 61233
c lw 61234
c lw 61237
c lw 61239
c lw 61251
c lw 61252
c lw 61262
c lw 61273
c lw 61274
c lw 61275
c lw 61286
c lw 61287
c lw 61311
c lw 61346
c lw 61347
c lw 61348
c lw 61353
c lw 61361
c lw 61369
c lw 61370
c lw 61378
c lw 61393
c lw 61394
c lw 61395
c lw 61396
c lw 61397
c lw 61398
c lw 61399
c lw 61403
c lw 61404
c lw 61411
c lw 61416
c lw 61426
c lw 61434
c lw 61435
c lw 61439
c lw 61440
c lw 61441
c lw 61442
c lw 61443
c lw 61444
c lw 61445
c lw 61446
c lw 61450
c lw 61451
c lw 61452
c lw 61453
c lw 61454
c lw 61456
c lw 61520
c lw 61521
c lw 61525
c lw 61526
c lw 61528
c lw 61529
c lw 61530
c lw 61536
c lw 61538
c lw 61539
c lw 61540
c lw 61541
c lw 61542
c lw 61543
c lw 61544
c lw 61545
c lw 61546
c lw 61548
c lw 61549
c lw 61550
c lw 61551
c lw 61552
c lw 61553
c lw 61554
c lw 61561
c lw 61562
c lw 61563
c lw 61564
c lw 61565
c lw 61566
c lw 61567
c lw 61568
c lw 61569
c lw 61570
c lw 61571
c lw 61572
c lw 61601
c lw 61602
c lw 61604
c lw 61605
c lw 61606
c lw 61613
c lw 61620
c lw 61621
c lw 61622
c lw 61623
c lw 61624
c lw 61625
c lw 61626
c lw 61627
c lw 61628
c lw 61629
c lw 61630
c lw 61631
c lw 61632
c lw 61633
c lw 61634
c lw 61635
c lw 61636
c lw 61637
c lw 61639
c lw 61641
c lw 61652
c lw 61672
c lw 61673
c lw 61674
c lw 61675
c lw 61676
c lw 61677
c lw 61678
c lw 61679
c lw 61680
c lw 61681
c lw 61682
c lw 61683
c lw 61684
c lw 61685
c lw 61686
c lw 61687
c lw 61688
c lw 61779
c lw 61780
c lw 61781
c lw 61788
c lw 61789
c lw 61790
c lw 61791
c lw 61792
c lw 61793
c lw 61794
c lw 61795
c lw 61796
c lw 61797
c lw 61798
c lw 61799
c lw 61800
c lw 61801
c lw 61802
c lw 61803
c lw 61804
c lw 61805
c lw 61806
c lw 61817
c lw 61853
c lw 61889
c lw 61894
c lw 61899
c lw 61935
c lw 61943
c lw 61944
c lw 61945
c lw 61948
c lw 62023
c lw 62028
c lw 62029
c lw 62030
c lw 62033
c lw 62034
c lw 62035
c lw 62036
c lw 62037
c lw 62038
c lw 62039
c lw 62040
c lw 62041
c lw 62042
c lw 62043
c lw 62044
c lw 62045
c lw 62046
c lw 62047
c lw 62048
c lw 62049
c lw 62050
c lw 62051
c lw 62052
c lw 62053
c lw 62054
c lw 62055
c lw 62056
c lw 62058
c lw 62060
c lw 62061
c lw 62062
c lw 62065
c lw 62067
c lw 62073
c lw 62074
c lw 62075
c lw 62076
c lw 62077
c lw 62078
c lw 62079
c lw 62080
c lw 62081
c lw 62082
c lw 62083
c lw 62084
c lw 62085
c lw 62086
c lw 62087
c lw 62088
c lw 62093
c lw 62096
c lw 62097
c lw 62098
c lw 62100
c lw 62113
c lw 62114
c lw 62115
c lw 62116
c lw 62117
c lw 62122
c lw 62138
c lw 62141
c lw 62143
c lw 62152
c lw 62153
c lw 62154
c lw 62155
c lw 62156
c lw 62157
c lw 62158
c lw 62159
c lw 62160
c lw 62161
c lw 62163
c lw 62172
c lw 62173
c lw 62174
c lw 62175
c lw 62176
c lw 62177
c lw 62178
c lw 62181
c lw 62182
c lw 62183
c lw 62184
c lw 62185
c lw 62186
c lw 62187
c lw 62188
c lw 62189
c lw 62190
c lw 62191
c lw 62192
c lw 62193
c lw 62194
c lw 62201
c lw 62204
c lw 62205
c lw 62206
c lw 62207
c lw 62208
c lw 62209
c lw 62210
c lw 62211
c lw 62212
c lw 62213
c lw 62214
c lw 62215
c lw 62216
c lw 62217
c lw 62218
c lw 62219
c lw 62220
c lw 62221
c lw 62222
c lw 62223
c lw 62224
c lw 62225
c lw 62226
c lw 62227
c lw 62228
c lw 62229
c lw 62230
c lw 62231
c lw 62308
c lw 62312
c lw 62314
c lw 62319
c lw 62320
c lw 62321
c lw 62322
c lw 62323
c lw 62324
c lw 62325
c lw 62326
c lw 62327
c lw 62328
c lw 62330
c lw 62331
c lw 62332
c lw 62333
c lw 62334
c lw 62335
c lw 62337
c lw 62338
c lw 62340
c lw 62341
c lw 62342
c lw 62343
c lw 62344
c lw 62345
c lw 62350
c lw 62351
c lw 62352
c lw 62353
c lw 62354
c lw 62357
c lw 62384
c lw 62389
c lw 62417
c lw 62418
c lw 62419
c lw 62420
c lw 62421
c lw 62422
c lw 62423
c lw 62424
c lw 62425
c lw 62426
c lw 62427
c lw 62428
c lw 62429
c lw 62430
c lw 62431
c lw 62432
c lw 62433
c lw 62443
c lw 62452
c lw 62453
c lw 62454
c lw 62455
c lw 62456
c lw 62457
c lw 62458
c lw 62459
c lw 62460
c lw 62461
c lw 62462
c lw 62463
c lw 62465
c lw 62466
c lw 62467
c lw 62468
c lw 62469
c lw 62470
c lw 62471
c lw 62472
c lw 62473
c lw 62474
c lw 62475
c lw 62483
c lw 62484
c lw 62485
c lw 62486
c lw 62487
c lw 62488
c lw 62489
c lw 62490
c lw 62491
c lw 62492
c lw 62493
c lw 62494
c lw 62495
c lw 62496
c lw 62497
c lw 62498
c lw 62581
c lw 62582
c lw 62583
c lw 62589
c lw 62590
c lw 62591
c lw 62592
c lw 62593
c lw 62594
c lw 62595
c lw 62596
c lw 62597
c lw 62598
c lw 62599
c lw 62600
c lw 62601
c lw 62602
c lw 62603
c lw 62604
c lw 62605
c lw 62606
c lw 62619
c lw 62620
c lw 62621
c lw 62622
c lw 62659
c lw 62683
c lw 62684
c lw 62685
c lw 62686
c lw 62687
c lw 62690
c lw 62691
c lw 62692
c lw 62693
c lw 62694
c lw 62695
c lw 62701
c lw 62702
c lw 62748
c lw 62749
c lw 62778
c lw 62812
c lw 62820
c lw 62822
c lw 62825
c lw 62826
c lw 62827
c lw 62828
c lw 62829
c lw 62831
c lw 62834
c lw 62836
c lw 62837
c lw 62838
c lw 62839
c lw 62842
c lw 62843
c lw 62844
c lw 62845
c lw 62846
c lw 62847
c lw 62848
c lw 62849
c lw 62851
c lw 62852
c lw 62937
c lw 62938
c lw 62939
c lw 62940
c lw 62941
c lw 62942
c lw 62943
c lw 62944
c lw 62945
c lw 62946
c lw 62947
c lw 62948
c lw 62949
c lw 62950
c lw 62951
c lw 62952
c lw 62953
c lw 62956
c lw 62957
c lw 62958
c lw 62973
c lw 62974
c lw 62975
c lw 62980
c lw 63033
c lw 63034
c lw 63067
c lw 63072
c lw 63073
c lw 63088
c lw 63099
c lw 63104
c lw 63105
c lw 63178
c lw 63179
c lw 63182
c lw 63193
c lw 63194
c lw 63195
c lw 63203
c lw 63217
c lw 63218
c lw 63222
c lw 63223
c lw 63224
c lw 63225
c lw 63226
c lw 63227
c lw 63228
c lw 63229
c lw 63231
c lw 63239
c lw 63240
c lw 63241
c lw 63250
c lw 63251
c lw 63252
c lw 63253
c lw 63254
c lw 63255
c lw 63256
c lw 63257
c lw 63258
c lw 63259
c lw 63260
c lw 63261
c lw 63262
c lw 63263
c lw 63264
c lw 63289
c lw 63319
c lw 63329
c lw 63330
c lw 63331
c lw 63332
c lw 63376
c lw 63377
c lw 63378
c lw 63379
c lw 63380
c lw 63381
c lw 63382
c lw 63383
c lw 63384
c lw 63386
c lw 63391
c lw 63392
c lw 63393
c lw 63394
c lw 63395
c lw 63396
c lw 63397
c lw 63398
c lw 63400
c lw 63421
c lw 63422
c lw 63423
c lw 63424
c lw 63425
c lw 63426
c lw 63429
c lw 63430
c lw 63431
c lw 63432
c lw 63433
c lw 63434
c lw 63435
c lw 63443
c lw 63444
c lw 63445
c lw 63447
c lw 63448
c lw 63449
c lw 63450
c lw 63451
c lw 63452
c lw 63453
c lw 63454
c lw 63455
c lw 63456
c lw 63457
c lw 63458
c lw 63459
c lw 63460
c lw 63461
c lw 63462
c lw 63464
c lw 63473
c lw 63476
c lw 63483
c lw 63484
c lw 63486
c lw 63487
c lw 63488
c lw 63489
c lw 63509
c lw 63524
c lw 63529
c lw 63535
c lw 63538
c lw 63539
c lw 63542
c lw 63543
c lw 63544
c lw 63545
c lw 63546
c lw 63547
c lw 63671
c lw 63686
c lw 63695
c lw 63696
c lw 63699
c lw 63702
c lw 63705
c lw 63706
c lw 63707
c lw 63708
c lw 63709
c lw 63710
c lw 63711
c lw 63712
c lw 63713
c lw 63714
c lw 63715
c lw 63716
c lw 63717
c lw 63718
c lw 63719
c lw 63720
c lw 63721
c lw 63722
c lw 63723
c lw 63724
c lw 63725
c lw 63726
c lw 63728
c lw 63729
c lw 63730
c lw 63731
c lw 63734
c lw 63737
c lw 63743
c lw 63760
c lw 63825
c lw 63827
c lw 63833
c lw 63838
c lw 63842
c lw 63848
c lw 63955
c lw 63958
c lw 63961
c lw 63962
c lw 63965
c lw 63968
c lw 63973
c lw 63974
c lw 63977
c lw 63979
c lw 63980
c lw 63982
c lw 63985
c lw 63987
c lw 63988
c lw 63989
c lw 63990
c lw 63991
c lw 63993
c lw 63994
c lw 63995
c lw 63996
c lw 63999
c lw 64001
c lw 64002
c lw 64004
c lw 64005
c lw 64006
c lw 64007
c lw 64046
c lw 64052
c lw 64065
c lw 64081
c lw 64084
c lw 64095
c lw 64100
c lw 64105
c lw 64106
c lw 64113
c lw 64116
c lw 64141
c lw 64186
c lw 64187
c lw 64188
c lw 64189
c lw 64190
c lw 64191
c lw 64196
c lw 64197
c lw 64199
c lw 64201
c lw 64202
c lw 64203
c lw 64204
c lw 64205
c lw 64206
c lw 64207
c lw 64208
c lw 64211
c lw 64212
c lw 64213
c lw 64214
c lw 64215
c lw 64218
c lw 64219
c lw 64224
c lw 64229
c lw 64230
c lw 64231
c lw 64232
c lw 64247
c lw 64248
c lw 64249
c lw 64252
c lw 64253
c lw 64254
c lw 64255
c lw 64256
c lw 64257
c lw 64258
c lw 64350
c lw 64384
c lw 64419
c lw 64442
c lw 64476
c lw 64533
c lw 64568
c lw 64603
c lw 64625
c lw 64647
c lw 64682
c lw 64729
c lw 64730
c lw 64751
c lw 64781
c lw 64849
c lw 64889
c lw 64964
c lw 64965
c lw 64966
c lw 64968
c lw 64994
c lw 65004
c lw 65044
c lw 65046
c lw 65048
c lw 65057
c lw 65079
c lw 65080
c lw 65081
c lw 65083
c lw 65096
c lw 65097
c lw 65108
c lw 65109
c lw 65147
c lw 65149
c lw 65151
c lw 65189
c lw 65215
c lw 65225
c lw 65254
c lw 65305
c lw 65330
c lw 65359
c lw 65402
c lw 65507
c lw 65515
c lw 65591
c lw 65635
c lw 65793
c lw 65810
c lw 65854
c lw 65862
c lw 65877
c lw 65890
c lw 65891
c lw 65893
c lw 65895
c lw 65896
c lw 65957
c lw 65961
c lw 65962
c lw 65963
c lw 65964
c lw 65965
c lw 65966
c lw 65967
c lw 65968
c lw 65969
c lw 65971
c lw 65972
c lw 65974
c lw 65975
c lw 65976
c lw 65977
c lw 65990
c lw 66022
c lw 66036
c lw 66037
c lw 66038
c lw 66039
c lw 66040
c lw 66044
c lw 66045
c lw 66046
c lw 66049
c lw 66053
c lw 66058
c lw 66059
c lw 66064
c lw 66065
c lw 66066
c lw 66067
c lw 66068
c lw 66069
c lw 66070
c lw 66071
c lw 66072
c lw 66073
c lw 66074
c lw 66075
c lw 66077
c lw 66078
c lw 66079
c lw 66080
c lw 66081
c lw 66082
c lw 66083
c lw 66084
c lw 66085
c lw 66086
c lw 66087
c lw 66088
c lw 66089
c lw 66090
c lw 66091
c lw 66092
c lw 66093
c lw 66094
c lw 66096
c lw 66098
c lw 66099
c lw 66100
c lw 66101
c lw 66102
c lw 66103
c lw 66104
c lw 66105
c lw 66106
c lw 66107
c lw 66108
c lw 66109
c lw 66110
c lw 66111
c lw 66112
c lw 66113
c lw 66114
c lw 66115
c lw 66118
c lw 66119
c lw 66120
c lw 66121
c lw 66122
c lw 66126
c lw 66131
c lw 66132
c lw 66133
c lw 66134
c lw 66135
c lw 66136
c lw 66143
c lw 66145
c lw 66156
c lw 66159
c lw 66160
c lw 66163
c lw 66164
c lw 66165
c lw 66182
c lw 66195
c lw 66196
c lw 66198
c lw 66223
c lw 66224
c lw 66225
c lw 66226
c lw 66227
c lw 66228
c lw 66230
c lw 66231
c lw 66233
c lw 66234
c lw 66235
c lw 66236
c lw 66237
c lw 66238
c lw 66239
c lw 66240
c lw 66241
c lw 66242
c lw 66243
c lw 66244
c lw 66245
c lw 66246
c lw 66247
c lw 66251
c lw 66252
c lw 66253
c lw 66254
c lw 66255
c lw 66257
c lw 66258
c lw 66259
c lw 66260
Killed
1809.903u 9.830s 30:19.90 99.9%	0+0k 0+0io 0pf+0w