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_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 46
c lw 50
c lw 92
c lw 100
c lw 138
c lw 150
c lw 184
c lw 200
c lw 230
c lw 250
c lw 280
c lw 300
c lw 330
c lw 350
c lw 380
c lw 400
c lw 430
c lw 450
c lw 480
c lw 500
c lw 530
c lw 550
c lw 580
c lw 600
c lw 630
c lw 650
c lw 680
c lw 700
c lw 730
c lw 750
c lw 780
c lw 800
c lw 830
c lw 850
c lw 880
c lw 900
c lw 930
c lw 950
c lw 980
c lw 1000
c lw 1030
c lw 1050
c lw 1080
c lw 1100
c lw 1130
c lw 1150
c lw 1180
c lw 1200
c lw 1230
c lw 1250
c lw 1280
c lw 1300
c lw 1330
c lw 1350
c lw 1380
c lw 1400
c lw 1430
c lw 1450
c lw 1480
c lw 1500
c lw 2520
c lw 2724
c lw 3540
c lw 3948
c lw 4560
c lw 5172
c lw 5580
c lw 6396
c lw 6600
c lw 7620
c lw 8640
c lw 8844
c lw 9660
c lw 10068
c lw 10680
c lw 11292
c lw 11904
c lw 12516
c lw 13128
c lw 13740
c lw 14352
c lw 14964
c lw 15576
c lw 16188
c lw 16800
c lw 17412
c lw 18024
c lw 18636
c lw 19248
c lw 19860
c lw 20472
c lw 21084
c lw 21696
c lw 22308
c lw 22920
c lw 23532
c lw 24144
c lw 24756
c lw 25368
c lw 25980
c lw 27002
c lw 27204
c lw 28226
c lw 28428
c lw 29430
c lw 29436
c lw 29652
c lw 30309
c lw 30876
c lw 31533
c lw 31974
c lw 32100
c lw 32757
c lw 33324
c lw 33981
c lw 34346
c lw 34638
c lw 35295
c lw 35368
c lw 35952
c lw 36390
c lw 36609
c lw 37266
c lw 37412
c lw 37923
c lw 38434
c lw 38580
c lw 39237
c lw 39456
c lw 39894
c lw 40478
c lw 40551
c lw 41208
c lw 41500
c lw 41865
c lw 42522
c lw 43179
c lw 43544
c lw 43836
c lw 44493
c lw 44566
c lw 44822
c lw 45588
c lw 45844
c lw 46610
c lw 46866
c lw 47632
c lw 47888
c lw 48654
c lw 48910
c lw 49676
c lw 49932
c lw 50698
c lw 50954
c lw 51720
c lw 51976
c lw 52049
c lw 52175
c lw 52358
c lw 52742
c lw 52799
c lw 53366
c lw 53456
c lw 53508
c lw 53672
c lw 53764
c lw 54205
c lw 54438
c lw 54461
c lw 54602
c lw 54717
c lw 55227
c lw 55368
c lw 55483
c lw 55624
c lw 55993
c lw 56249
c lw 56541
c lw 56614
c lw 56650
c lw 56656
c lw 56852
c lw 56858
c lw 57271
c lw 57464
c lw 57928
c lw 58293
c lw 58466
c lw 58486
c lw 58585
c lw 58658
c lw 59070
c lw 59143
c lw 59362
c lw 59508
c lw 59654
c lw 59800
c lw 59820
c lw 59966
c lw 60019
c lw 60331
c lw 60550
c lw 60623
c lw 60629
c lw 60749
c lw 61235
c lw 61241
c lw 61387
c lw 61751
c lw 61847
c lw 62363
c lw 62436
c lw 62583
c lw 62875
c lw 62948
c lw 63020
c lw 63116
c lw 63632
c lw 63728
c lw 64244
c lw 64340
c lw 64856
c lw 64952
c lw 65468
c lw 65564
c lw 66080
c lw 66176
c lw 66692
c lw 66788
c lw 66992
c lw 67100
c lw 67508
c lw 68012
c lw 68216
c lw 68528
c lw 68828
c lw 68936
c lw 69140
c lw 69344
c lw 69440
c lw 69644
c lw 69956
c lw 69976
c lw 69990
c lw 70002
c lw 70006
c lw 70026
c lw 70032
c lw 70048
c lw 70056
c lw 70076
c lw 70078
c lw 70098
c lw 70128
c lw 70136
c lw 70140
c lw 70144
c lw 70170
c lw 70190
c lw 70198
c lw 70208
c lw 70218
c lw 70228
c lw 70238
c lw 70258
c lw 70268
c lw 70278
c lw 70298
c lw 70308
c lw 70328
c lw 70338
c lw 70358
c lw 70368
c lw 70378
c lw 70388
c lw 70408
c lw 70418
c lw 70428
c lw 70438
c lw 70458
c lw 70468
c lw 70478
c lw 70488
c lw 70508
c lw 70581
c lw 70707
c lw 70890
c lw 70891
c lw 71108
c lw 71118
c lw 71128
c lw 71132
c lw 71136
c lw 71144
c lw 71146
c lw 71150
c lw 71174
c lw 71178
c lw 71182
c lw 71190
c lw 71198
c lw 71204
c lw 71210
c lw 71224
c lw 71234
c lw 71242
c lw 71244
c lw 71246
c lw 71250
c lw 71252
c lw 71268
c lw 71278
c lw 71286
c lw 71288
c lw 71292
c lw 71300
c lw 71310
c lw 71320
c lw 71330
c lw 71340
c lw 71350
c lw 71360
c lw 71370
c lw 71380
c lw 71390
c lw 71400
c lw 71410
c lw 71420
c lw 71430
c lw 71440
c lw 71450
c lw 71470
c lw 71480
c lw 71490
c lw 71500
c lw 71506
c lw 71510
c lw 71518
c lw 71722
c lw 71724
c lw 71824
c lw 71825
c lw 71830
c lw 71834
c lw 71838
c lw 71842
c lw 71850
c lw 71858
c lw 71946
c lw 72018
c lw 72020
c lw 72024
c lw 72028
c lw 72030
c lw 72054
c lw 72058
c lw 72060
c lw 72061
c lw 72062
c lw 72068
c lw 72070
c lw 72074
c lw 72092
c lw 72130
c lw 72132
c lw 72134
c lw 72136
c lw 72140
c lw 72142
c lw 72258
c lw 72336
c lw 72338
c lw 72340
c lw 72436
c lw 72670
c lw 72778
c lw 72856
c lw 72858
c lw 72859
c lw 72860
c lw 72861
c lw 72862
c lw 72863
c lw 72864
c lw 72865
c lw 72866
c lw 72868
c lw 72877
c lw 72878
c lw 72879
c lw 72880
c lw 72881
c lw 72883
c lw 72885
c lw 72886
c lw 72888
c lw 72908
c lw 72910
c lw 72911
c lw 72912
c lw 72913
c lw 72914
c lw 72915
c lw 72916
c lw 72917
c lw 72918
c lw 72919
c lw 72920
c lw 72923
c lw 72924
c lw 72925
c lw 72926
c lw 72927
c lw 72930
c lw 72931
c lw 72932
c lw 72933
c lw 72934
c lw 72935
c lw 72936
c lw 72937
c lw 72940
c lw 72941
c lw 72944
c lw 72948
c lw 72949
c lw 72950
c lw 72951
c lw 72952
c lw 72953
c lw 72954
c lw 72955
c lw 72956
c lw 73052
c lw 73148
c lw 73160
c lw 73196
c lw 73304
c lw 73306
c lw 73308
c lw 73312
c lw 73316
c lw 73318
c lw 73320
c lw 73322
c lw 73324
c lw 73364
c lw 73424
c lw 73520
c lw 73880
c lw 73976
c lw 74036
c lw 74132
c lw 74192
c lw 74492
c lw 74504
c lw 74528
c lw 74564
c lw 74588
c lw 74648
c lw 74948
c lw 75044
c lw 75104
c lw 75224
c lw 75320
c lw 75440
c lw 75560
c lw 75596
c lw 75620
c lw 75656
c lw 75956
c lw 76052
c lw 76076
c lw 76088
c lw 76112
c lw 76172
c lw 76292
c lw 76388
c lw 76508
c lw 76568
c lw 76592
c lw 76604
c lw 76628
c lw 76652
c lw 76664
c lw 76676
c lw 76688
c lw 76964
c lw 76966
c lw 76970
c lw 76984
c lw 76986
c lw 77060
c lw 77062
c lw 77064
c lw 77076
c lw 77100
c lw 77112
c lw 77124
c lw 77136
c lw 77148
c lw 77160
c lw 77162
c lw 77164
c lw 77172
c lw 77174
c lw 77184
c lw 77204
c lw 77322
c lw 77324
c lw 77326
c lw 77328
c lw 77330
c lw 77331
c lw 77334
c lw 77527
c lw 77582
c lw 77588
c lw 77602
c lw 77630
c lw 77720
c lw 77740
c lw 77742
c lw 77816
c lw 77824
c lw 77854
c lw 77940
c lw 77941
c lw 77943
c lw 78023
c lw 78110
c lw 78116
c lw 78493
c lw 78581
c lw 78644
c lw 78772
c lw 78829
c lw 78881
c lw 78938
c lw 78988
c lw 78989
c lw 79205
c lw 79210
c lw 79211
c lw 79291
c lw 79297
c lw 79339
c lw 79340
c lw 79342
c lw 79346
c lw 79350
c lw 79352
c lw 79390
c lw 79391
c lw 79395
c lw 79396
c lw 79408
c lw 79409
c lw 79413
c lw 79415
c lw 79417
c lw 79427
c lw 79434
c lw 79435
c lw 79447
c lw 79448
c lw 79449
c lw 79450
c lw 79451
c lw 79452
c lw 79453
c lw 79454
c lw 79455
c lw 79457
c lw 79459
c lw 79461
c lw 79463
c lw 79465
c lw 79473
c lw 79475
c lw 79483
c lw 79487
c lw 79490
c lw 79493
c lw 79494
c lw 79496
c lw 79498
c lw 79503
c lw 79532
c lw 79583
c lw 79656
c lw 79677
c lw 79678
c lw 79679
c lw 79680
c lw 79681
c lw 79682
c lw 79683
c lw 79684
c lw 79685
c lw 79687
c lw 79688
c lw 79689
c lw 79690
c lw 79717
c lw 79722
c lw 79723
c lw 79724
c lw 79726
c lw 79729
c lw 79730
c lw 79734
c lw 79736
c lw 79744
c lw 79745
c lw 79746
c lw 79747
c lw 79748
c lw 79749
c lw 79750
c lw 79751
c lw 79822
c lw 79823
c lw 79824
c lw 79825
c lw 79826
c lw 79843
c lw 79844
c lw 79846
c lw 79850
c lw 79851
c lw 79852
c lw 79853
c lw 79857
c lw 79858
c lw 79861
c lw 79862
c lw 79864
c lw 79865
c lw 79866
c lw 79867
c lw 79869
c lw 79871
c lw 79877
c lw 79878
c lw 79879
c lw 79880
c lw 79882
c lw 79884
c lw 79885
c lw 79886
c lw 79896
c lw 79897
c lw 79898
c lw 79899
c lw 79900
c lw 79901
c lw 79902
c lw 79903
c lw 79904
c lw 79930
c lw 79931
c lw 79932
c lw 79933
c lw 79934
c lw 79941
c lw 79943
c lw 79946
c lw 79947
c lw 79951
c lw 79953
c lw 79954
c lw 79955
c lw 79956
c lw 79957
c lw 79958
c lw 79959
c lw 79960
c lw 79961
c lw 79962
c lw 79964
c lw 79965
c lw 79966
c lw 79967
c lw 79968
c lw 79969
c lw 79970
c lw 79971
c lw 79972
c lw 79973
c lw 79974
c lw 79975
c lw 79976
c lw 79977
c lw 79978
c lw 79979
c lw 79980
c lw 79981
c lw 79982
c lw 79983
c lw 79984
c lw 79985
c lw 79986
c lw 79987
c lw 79988
c lw 79989
c lw 79990
c lw 79991
c lw 79992
c lw 79993
c lw 79994
c lw 79995
c lw 79996
c lw 79998
c lw 79999
c lw 80000
c lw 80001
c lw 80002
c lw 80003
c lw 80004
c lw 80011
c lw 80012
c lw 80013
c lw 80014
c lw 80015
c lw 80068
c lw 80100
c lw 80214
c lw 80246
c lw 80267
c lw 80299
c lw 80327
c lw 80328
c lw 80329
c lw 80330
c lw 80331
c lw 80332
c lw 80333
c lw 80334
c lw 80335
c lw 80336
c lw 80337
c lw 80338
c lw 80339
c lw 80340
c lw 80341
c lw 80342
c lw 80343
c lw 80344
c lw 80345
c lw 80346
c lw 80378
c lw 80400
c lw 80410
c lw 80432
c lw 80433
c lw 80434
c lw 80436
c lw 80441
c lw 80442
c lw 80443
c lw 80444
c lw 80445
c lw 80491
c lw 80492
c lw 80493
c lw 80494
c lw 80495
c lw 80496
c lw 80497
c lw 80507
c lw 80529
c lw 80561
c lw 80570
c lw 80573
c lw 80611
c lw 80612
c lw 80613
c lw 80615
c lw 80622
c lw 80624
c lw 80628
c lw 80629
c lw 80635
c lw 80637
c lw 80638
c lw 80640
c lw 80644
c lw 80645
c lw 80646
c lw 80656
c lw 80657
c lw 80658
c lw 80661
c lw 80662
c lw 80663
c lw 80664
c lw 80665
c lw 80666
c lw 80667
c lw 80668
c lw 80669
c lw 80672
c lw 80674
c lw 80675
c lw 80677
c lw 80683
c lw 80709
c lw 80710
c lw 80715
c lw 80725
c lw 80726
c lw 80755
c lw 80806
c lw 80831
c lw 80832
c lw 80840
c lw 80841
c lw 80914
c lw 81007
c lw 81008
c lw 81009
c lw 81010
c lw 81011
c lw 81012
c lw 81013
c lw 81014
c lw 81015
c lw 81016
c lw 81017
c lw 81018
c lw 81020
c lw 81021
c lw 81022
c lw 81023
c lw 81024
c lw 81025
c lw 81026
c lw 81027
c lw 81028
c lw 81029
c lw 81030
c lw 81031
c lw 81032
c lw 81033
c lw 81034
c lw 81035
c lw 81036
c lw 81037
c lw 81038
c lw 81039
c lw 81040
c lw 81041
c lw 81043
c lw 81044
c lw 81046
c lw 81050
c lw 81053
c lw 81054
c lw 81055
c lw 81057
c lw 81058
c lw 81060
c lw 81061
c lw 81062
c lw 81063
c lw 81066
c lw 81067
c lw 81068
c lw 81069
c lw 81070
c lw 81075
c lw 81076
c lw 81077
c lw 81080
c lw 81085
c lw 81086
c lw 81087
c lw 81088
c lw 81089
c lw 81090
c lw 81091
c lw 81092
c lw 81093
c lw 81278
c lw 81349
c lw 81463
c lw 81464
c lw 81465
c lw 81466
c lw 81467
c lw 81468
c lw 81469
c lw 81470
c lw 81471
c lw 81472
c lw 81473
c lw 81474
c lw 81475
c lw 81476
c lw 81477
c lw 81478
c lw 81479
c lw 81480
c lw 81482
c lw 81483
c lw 81484
c lw 81485
c lw 81486
c lw 81487
c lw 81488
c lw 81495
c lw 81496
c lw 81512
c lw 81515
c lw 81520
c lw 81537
c lw 81556
c lw 81557
c lw 81600
c lw 81671
c lw 81742
c lw 81743
c lw 81744
c lw 81751
c lw 81752
c lw 81755
c lw 81756
c lw 81757
c lw 81758
c lw 81759
c lw 81766
c lw 81836
c lw 81837
c lw 81908
c lw 81909
c lw 81921
c lw 81977
c lw 81978
c lw 82048
c lw 82049
c lw 82063
c lw 82086
c lw 82087
c lw 82093
c lw 82142
c lw 82197
c lw 82198
c lw 82220
c lw 82227
c lw 82228
c lw 82229
c lw 82233
c lw 82234
c lw 82241
c lw 82246
c lw 82247
c lw 82281
c lw 82282
c lw 82283
c lw 82295
c lw 82312
c lw 82467
c lw 82522
c lw 82527
c lw 82529
c lw 82532
c lw 82533
c lw 82535
c lw 82536
c lw 82539
c lw 82557
c lw 82558
c lw 82572
c lw 82601
c lw 82612
c lw 82613
c lw 82614
c lw 82624
c lw 82625
c lw 82626
c lw 82839
c lw 82840
c lw 82841
c lw 82842
c lw 82843
c lw 82844
c lw 82845
c lw 82846
c lw 82847
c lw 82893
c lw 82905
c lw 82906
c lw 82907
c lw 82909
c lw 82928
c lw 82929
c lw 82930
c lw 82931
c lw 82932
c lw 82933
c lw 82934
c lw 82935
c lw 82936
c lw 82937
c lw 82938
c lw 82939
c lw 82940
c lw 82941
c lw 82943
c lw 82951
c lw 82952
c lw 82953
c lw 82954
c lw 82955
c lw 82956
c lw 82964
c lw 82965
c lw 82966
c lw 82967
c lw 82968
c lw 82969
c lw 82970
c lw 82971
c lw 82972
c lw 82973
c lw 82974
c lw 82975
c lw 82976
c lw 82977
c lw 82978
c lw 82979
c lw 82990
c lw 82991
c lw 82992
c lw 82993
c lw 82998
c lw 82999
c lw 83000
c lw 83001
c lw 83002
c lw 83003
c lw 83004
c lw 83005
c lw 83006
c lw 83007
c lw 83008
c lw 83009
c lw 83010
c lw 83011
c lw 83012
c lw 83013
c lw 83014
c lw 83015
c lw 83016
c lw 83017
c lw 83018
c lw 83019
c lw 83020
c lw 83021
c lw 83022
c lw 83029
c lw 83030
c lw 83031
c lw 83032
c lw 83033
c lw 83034
c lw 83035
c lw 83036
c lw 83037
c lw 83038
c lw 83039
c lw 83040
c lw 83041
c lw 83042
c lw 83043
c lw 83044
c lw 83045
c lw 83046
c lw 83047
c lw 83048
c lw 83106
c lw 83107
c lw 83108
c lw 83109
c lw 83110
c lw 83111
c lw 83112
c lw 83113
c lw 83114
c lw 83115
c lw 83116
c lw 83118
c lw 83119
c lw 83120
c lw 83121
c lw 83122
c lw 83123
c lw 83124
c lw 83125
c lw 83126
c lw 83127
c lw 83128
c lw 83130
c lw 83131
c lw 83132
c lw 83133
c lw 83134
c lw 83135
c lw 83136
c lw 83137
c lw 83138
c lw 83139
c lw 83140
c lw 83142
c lw 83143
c lw 83144
c lw 83145
c lw 83146
c lw 83147
c lw 83148
c lw 83149
c lw 83150
c lw 83152
c lw 83154
c lw 83155
c lw 83156
c lw 83163
c lw 83164
c lw 83166
c lw 83167
c lw 83168
c lw 83170
c lw 83176
c lw 83177
c lw 83178
c lw 83179
c lw 83180
c lw 83181
c lw 83182
c lw 83183
c lw 83184
c lw 83186
c lw 83189
c lw 83200
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
Killed
1817.505u 2.234s 30:20.56 99.9%	0+0k 0+0io 0pf+0w