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_120_0002.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0002.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 744
c lw 1488
c lw 1773
c lw 2058
c lw 2343
c lw 2404
c lw 2628
c lw 2913
c lw 3198
c lw 3320
c lw 3483
c lw 3768
c lw 4053
c lw 4236
c lw 4338
c lw 4623
c lw 4908
c lw 5152
c lw 5193
c lw 5478
c lw 5763
c lw 6048
c lw 6068
c lw 6333
c lw 6791
c lw 6984
c lw 7249
c lw 7707
c lw 7900
c lw 8165
c lw 8623
c lw 8816
c lw 9081
c lw 9539
c lw 9732
c lw 9997
c lw 10455
c lw 10648
c lw 11106
c lw 11564
c lw 12022
c lw 12480
c lw 12938
c lw 13015
c lw 13093
c lw 13171
c lw 13249
c lw 13327
c lw 13405
c lw 13440
c lw 13483
c lw 13570
c lw 13659
c lw 13748
c lw 13837
c lw 13926
c lw 13942
c lw 14015
c lw 14104
c lw 14193
c lw 14282
c lw 14371
c lw 14444
c lw 14460
c lw 14549
c lw 14638
c lw 14727
c lw 14816
c lw 14905
c lw 14946
c lw 14994
c lw 15083
c lw 15172
c lw 15261
c lw 15350
c lw 15439
c lw 15448
c lw 15528
c lw 15617
c lw 15706
c lw 15795
c lw 15884
c lw 15950
c lw 15973
c lw 16062
c lw 16151
c lw 16240
c lw 16329
c lw 16418
c lw 16452
c lw 16507
c lw 16541
c lw 16596
c lw 16630
c lw 16685
c lw 16719
c lw 16808
c lw 16897
c lw 16986
c lw 17041
c lw 17793
c lw 18178
c lw 18545
c lw 19315
c lw 19323
c lw 20101
c lw 20452
c lw 20879
c lw 21589
c lw 21657
c lw 22435
c lw 22726
c lw 23119
c lw 23213
c lw 23512
c lw 23991
c lw 24649
c lw 24769
c lw 25547
c lw 25786
c lw 26325
c lw 26923
c lw 27103
c lw 27881
c lw 28060
c lw 28659
c lw 29197
c lw 29437
c lw 30215
c lw 30334
c lw 30993
c lw 31382
c lw 31771
c lw 32237
c lw 32549
c lw 32827
c lw 33451
c lw 33686
c lw 34130
c lw 34809
c lw 34823
c lw 35488
c lw 35960
c lw 36625
c lw 37097
c lw 37762
c lw 38234
c lw 38899
c lw 39371
c lw 40036
c lw 40508
c lw 41173
c lw 41207
c lw 41262
c lw 41296
c lw 41351
c lw 41385
c lw 41408
c lw 41440
c lw 41449
c lw 41506
c lw 41529
c lw 41538
c lw 41595
c lw 41618
c lw 41627
c lw 41675
c lw 41684
c lw 41707
c lw 41748
c lw 41773
c lw 41796
c lw 41837
c lw 41853
c lw 41926
c lw 41942
c lw 42015
c lw 42031
c lw 42047
c lw 42104
c lw 42120
c lw 42136
c lw 42193
c lw 42225
c lw 42228
c lw 42282
c lw 42306
c lw 42314
c lw 42357
c lw 42369
c lw 42384
c lw 42392
c lw 42447
c lw 42458
c lw 42462
c lw 42481
c lw 42525
c lw 42539
c lw 42922
c lw 42928
c lw 43005
c lw 43013
c lw 43394
c lw 43440
c lw 43731
c lw 43799
c lw 43984
c lw 44059
c lw 44262
c lw 44296
c lw 44531
c lw 44754
c lw 45143
c lw 45196
c lw 45413
c lw 45668
c lw 45832
c lw 46057
c lw 46333
c lw 46408
c lw 46416
c lw 46805
c lw 46835
c lw 47188
c lw 47470
c lw 47484
c lw 47812
c lw 48077
c lw 48085
c lw 48163
c lw 48270
c lw 48389
c lw 48505
c lw 48607
c lw 48880
c lw 49065
c lw 49167
c lw 49305
c lw 49603
c lw 49763
c lw 49843
c lw 50022
c lw 50144
c lw 50324
c lw 50621
c lw 50742
c lw 51281
c lw 51286
c lw 51520
c lw 51640
c lw 51944
c lw 52064
c lw 52158
c lw 52363
c lw 52423
c lw 52551
c lw 52968
c lw 53167
c lw 53353
c lw 53466
c lw 53597
c lw 53638
c lw 53740
c lw 53760
c lw 53844
c lw 54025
c lw 54045
c lw 54086
c lw 54109
c lw 54302
c lw 54567
c lw 54760
c lw 54768
c lw 54832
c lw 54910
c lw 55015
c lw 55032
c lw 55195
c lw 55300
c lw 55317
c lw 55358
c lw 55419
c lw 55582
c lw 55602
c lw 55615
c lw 55624
c lw 55647
c lw 55670
c lw 55681
c lw 55690
c lw 55704
c lw 55713
c lw 55747
c lw 55756
c lw 55779
c lw 55788
c lw 55804
c lw 55829
c lw 55845
c lw 55861
c lw 55868
c lw 55887
c lw 55895
c lw 55902
c lw 55917
c lw 55928
c lw 55932
c lw 55950
c lw 55951
c lw 55995
c lw 56009
c lw 56166
c lw 56268
c lw 56281
c lw 56409
c lw 56454
c lw 56461
c lw 56477
c lw 56500
c lw 56509
c lw 56523
c lw 56532
c lw 56538
c lw 56547
c lw 56553
c lw 56558
c lw 56567
c lw 56572
c lw 56581
c lw 56583
c lw 56599
c lw 56609
c lw 56627
c lw 56656
c lw 56697
c lw 56698
c lw 56758
c lw 56826
c lw 56845
c lw 56846
c lw 56850
c lw 56854
c lw 56859
c lw 56863
c lw 56864
c lw 56887
c lw 56907
c lw 56912
c lw 56916
c lw 56917
c lw 56934
c lw 56941
c lw 56943
c lw 57045
c lw 57062
c lw 57103
c lw 57106
c lw 57150
c lw 57175
c lw 57280
c lw 57283
c lw 57297
c lw 57375
c lw 57377
c lw 57405
c lw 57411
c lw 57446
c lw 57454
c lw 57474
c lw 57489
c lw 57604
c lw 57606
c lw 57662
c lw 57680
c lw 57731
c lw 57746
c lw 57771
c lw 57774
c lw 57779
c lw 57785
c lw 57836
c lw 57850
c lw 57899
c lw 57940
c lw 57951
c lw 57957
c lw 57959
c lw 57973
c lw 58056
c lw 58166
c lw 58171
c lw 58172
c lw 58174
c lw 58180
c lw 58181
c lw 58182
c lw 58185
c lw 58186
c lw 58188
c lw 58199
c lw 58201
c lw 58216
c lw 58217
c lw 58218
c lw 58219
c lw 58232
c lw 58307
c lw 58382
c lw 58383
c lw 58391
c lw 58398
c lw 58430
c lw 58500
c lw 58568
c lw 58583
c lw 58589
c lw 58597
c lw 58643
c lw 58710
c lw 58732
c lw 58783
c lw 58855
c lw 58856
c lw 59006
c lw 59168
c lw 59169
c lw 59170
c lw 59221
c lw 59240
c lw 59250
c lw 59264
c lw 59277
c lw 59321
c lw 59325
c lw 59336
c lw 59337
c lw 59344
c lw 59347
c lw 59355
c lw 59362
c lw 59376
c lw 59380
c lw 59381
c lw 59382
c lw 59383
c lw 59395
c lw 59396
c lw 59398
c lw 59405
c lw 59408
c lw 59409
c lw 59412
c lw 59428
c lw 59430
c lw 59434
c lw 59435
c lw 59436
c lw 59437
c lw 59438
c lw 59440
c lw 59441
c lw 59444
c lw 59448
c lw 59492
c lw 59495
c lw 59497
c lw 59498
c lw 59501
c lw 59509
c lw 59533
c lw 59534
c lw 59535
c lw 59536
c lw 59537
c lw 59538
c lw 59539
c lw 59540
c lw 59543
c lw 59557
c lw 59559
c lw 59572
c lw 59573
c lw 59574
c lw 59582
c lw 59585
c lw 59586
c lw 59587
c lw 59597
c lw 59598
c lw 59599
c lw 59600
c lw 59601
c lw 59602
c lw 59604
c lw 59607
c lw 59610
c lw 59631
c lw 59632
c lw 59633
c lw 59634
c lw 59635
c lw 59636
c lw 59637
c lw 59638
c lw 59639
c lw 59640
c lw 59641
c lw 59642
c lw 59644
c lw 59649
c lw 59650
c lw 59659
c lw 59667
c lw 59673
c lw 59681
c lw 59696
c lw 59719
c lw 59740
c lw 59741
c lw 59742
c lw 59743
c lw 59744
c lw 59745
c lw 59746
c lw 59747
c lw 59748
c lw 59750
c lw 59751
c lw 59752
c lw 59753
c lw 59754
c lw 59755
c lw 59758
c lw 59759
c lw 59761
c lw 59762
c lw 59763
c lw 59764
c lw 59768
c lw 59769
c lw 59770
c lw 59771
c lw 59772
c lw 59773
c lw 59774
c lw 59775
c lw 59778
c lw 59779
c lw 59780
c lw 59781
c lw 59783
c lw 59786
c lw 59788
c lw 59789
c lw 59792
c lw 59795
c lw 59796
c lw 59809
c lw 59811
c lw 59812
c lw 59816
c lw 59817
c lw 59825
c lw 59836
c lw 59838
c lw 59841
c lw 59854
c lw 59867
c lw 59901
c lw 59943
c lw 59967
c lw 59991
c lw 60021
c lw 60027
c lw 60028
c lw 60032
c lw 60053
c lw 60055
c lw 60057
c lw 60063
c lw 60064
c lw 60065
c lw 60073
c lw 60077
c lw 60079
c lw 60081
c lw 60082
c lw 60083
c lw 60089
c lw 60096
c lw 60099
c lw 60103
c lw 60109
c lw 60111
c lw 60115
c lw 60128
c lw 60131
c lw 60134
c lw 60135
c lw 60136
c lw 60137
c lw 60138
c lw 60141
c lw 60143
c lw 60144
c lw 60146
c lw 60147
c lw 60148
c lw 60149
c lw 60150
c lw 60151
c lw 60152
c lw 60153
c lw 60161
c lw 60164
c lw 60174
c lw 60180
c lw 60181
c lw 60182
c lw 60183
c lw 60184
c lw 60190
c lw 60191
c lw 60194
c lw 60201
c lw 60203
c lw 60204
c lw 60212
c lw 60437
c lw 60504
c lw 60555
c lw 60563
c lw 60859
c lw 60861
c lw 60869
c lw 60874
c lw 60875
c lw 61039
c lw 61048
c lw 61139
c lw 61168
c lw 61190
c lw 61214
c lw 61243
c lw 61310
c lw 61375
c lw 61404
c lw 61495
c lw 61497
c lw 61498
c lw 61500
c lw 61501
c lw 61503
c lw 61504
c lw 61505
c lw 61506
c lw 61507
c lw 61508
c lw 61509
c lw 61510
c lw 61511
c lw 61512
c lw 61520
c lw 61530
c lw 61644
c lw 61649
c lw 61655
c lw 61656
c lw 61657
c lw 61658
c lw 61659
c lw 61660
c lw 61661
c lw 61684
c lw 61706
c lw 61707
c lw 61708
c lw 61709
c lw 61710
c lw 61711
c lw 61712
c lw 61713
c lw 61714
c lw 61715
c lw 61716
c lw 61717
c lw 61718
c lw 61719
c lw 61720
c lw 61739
c lw 61740
c lw 61741
c lw 61742
c lw 61745
c lw 61746
c lw 61889
c lw 61912
c lw 61913
c lw 61914
c lw 61915
c lw 61916
c lw 61917
c lw 61918
c lw 61919
c lw 61920
c lw 61921
c lw 61922
c lw 61923
c lw 61924
c lw 61925
c lw 61926
c lw 61927
c lw 61928
c lw 61929
c lw 61931
c lw 61932
c lw 61933
c lw 61934
c lw 61935
c lw 62057
c lw 62173
c lw 62188
c lw 62314
c lw 62363
c lw 62367
c lw 62377
c lw 62397
c lw 62412
c lw 62416
c lw 62421
c lw 62431
c lw 62435
c lw 62446
c lw 62456
c lw 62458
c lw 62466
c lw 62468
c lw 62503
c lw 62505
c lw 62550
c lw 62554
c lw 62574
c lw 62589
c lw 62593
c lw 62597
c lw 62603
c lw 62611
c lw 62621
c lw 62627
c lw 62642
c lw 62653
c lw 62691
c lw 62696
c lw 62699
c lw 62771
c lw 62971
c lw 62989
c lw 63005
c lw 63006
c lw 63009
c lw 63016
c lw 63018
c lw 63019
c lw 63020
c lw 63021
c lw 63022
c lw 63023
c lw 63024
c lw 63027
c lw 63029
c lw 63030
c lw 63031
c lw 63034
c lw 63035
c lw 63036
c lw 63037
c lw 63038
c lw 63040
c lw 63094
c lw 63096
c lw 63097
c lw 63129
c lw 63146
c lw 63265
c lw 63332
c lw 63335
c lw 63340
c lw 63344
c lw 63348
c lw 63350
c lw 63353
c lw 63354
c lw 63356
c lw 63358
c lw 63362
c lw 63366
c lw 63371
c lw 63373
c lw 63391
c lw 63395
c lw 63424
c lw 63425
c lw 63426
c lw 63427
c lw 63428
c lw 63429
c lw 63430
c lw 63431
c lw 63432
c lw 63433
c lw 63434
c lw 63435
c lw 63436
c lw 63437
c lw 63440
c lw 63445
c lw 63446
c lw 63451
c lw 63459
c lw 63464
c lw 63469
c lw 63470
c lw 63472
c lw 63473
c lw 63474
c lw 63475
c lw 63476
c lw 63484
c lw 63485
c lw 63486
c lw 63487
c lw 63488
c lw 63495
c lw 63496
c lw 63497
c lw 63498
c lw 63502
c lw 63503
c lw 63504
c lw 63505
c lw 63506
c lw 63507
c lw 63508
c lw 63509
c lw 63510
c lw 63511
c lw 63512
c lw 63513
c lw 63514
c lw 63515
c lw 63516
c lw 63517
c lw 63518
c lw 63519
c lw 63520
c lw 63521
c lw 63522
c lw 63523
c lw 63524
c lw 63525
c lw 63526
c lw 63527
c lw 63528
c lw 63529
c lw 63530
c lw 63531
c lw 63532
c lw 63533
c lw 63534
c lw 63535
c lw 63536
c lw 63537
c lw 63538
c lw 63539
c lw 63540
c lw 63541
c lw 63542
c lw 63543
c lw 63544
c lw 63545
c lw 63546
c lw 63549
c lw 63556
c lw 63573
c lw 63574
c lw 63599
c lw 63600
c lw 63601
c lw 63602
c lw 63603
c lw 63611
c lw 63678
c lw 63680
c lw 63844
c lw 63845
c lw 63846
c lw 63851
c lw 63852
c lw 63853
c lw 63866
c lw 63867
c lw 63868
c lw 63869
c lw 63870
c lw 63871
c lw 63872
c lw 63873
c lw 63874
c lw 63875
c lw 63876
c lw 63877
c lw 63878
c lw 63879
c lw 63880
c lw 63881
c lw 63882
c lw 63883
c lw 63884
c lw 63885
c lw 63886
c lw 63887
c lw 63888
c lw 63889
c lw 63890
c lw 63891
c lw 63892
c lw 63893
c lw 63894
c lw 63895
c lw 63896
c lw 63897
c lw 63898
c lw 63899
c lw 63900
c lw 63901
c lw 63902
c lw 63903
c lw 63904
c lw 63905
c lw 63906
c lw 63907
c lw 63908
c lw 63909
c lw 63910
c lw 63911
c lw 63912
c lw 63913
c lw 63914
c lw 63915
c lw 63916
c lw 63917
c lw 63918
c lw 63919
c lw 63920
c lw 63921
c lw 63922
c lw 63923
c lw 63924
c lw 63925
c lw 63926
c lw 63927
c lw 63934
c lw 63935
c lw 63936
c lw 63937
c lw 63938
c lw 63939
c lw 63940
c lw 63941
c lw 63943
c lw 63944
c lw 63945
c lw 63946
c lw 63947
c lw 63948
c lw 63949
c lw 63950
c lw 63951
c lw 63952
c lw 63953
c lw 63954
c lw 63955
c lw 63956
c lw 63957
c lw 63958
c lw 63959
c lw 63960
c lw 63961
c lw 63962
c lw 63963
c lw 63964
c lw 63965
c lw 63966
c lw 63967
c lw 63968
c lw 63969
c lw 63970
c lw 63971
c lw 63972
c lw 63973
c lw 63974
c lw 63975
c lw 63976
c lw 63977
c lw 63978
c lw 63979
c lw 63980
c lw 63981
c lw 63982
c lw 63983
c lw 63984
c lw 63985
c lw 63986
c lw 63987
c lw 63988
c lw 63989
c lw 63990
c lw 63993
c lw 63994
c lw 63995
c lw 63997
c lw 63999
c lw 64003
c lw 64004
c lw 64006
c lw 64011
c lw 64014
c lw 64016
c lw 64019
c lw 64022
c lw 64027
c lw 64028
c lw 64029
c lw 64039
c lw 64041
c lw 64070
c lw 64071
c lw 64072
c lw 64075
c lw 64076
c lw 64077
c lw 64078
c lw 64080
c lw 64081
c lw 64082
c lw 64083
c lw 64084
c lw 64085
c lw 64086
c lw 64087
Killed
1812.865u 6.879s 30:22.81 99.8%	0+0k 0+0io 0pf+0w