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_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 640
c lw 686
c lw 1280
c lw 1372
c lw 1920
c lw 2058
c lw 2560
c lw 2744
c lw 3246
c lw 3430
c lw 3932
c lw 4116
c lw 4618
c lw 4802
c lw 5304
c lw 5488
c lw 5990
c lw 6174
c lw 6676
c lw 6860
c lw 7362
c lw 7546
c lw 8048
c lw 8232
c lw 8734
c lw 8918
c lw 9420
c lw 9604
c lw 10106
c lw 10290
c lw 10792
c lw 10976
c lw 11478
c lw 11662
c lw 12164
c lw 12348
c lw 12850
c lw 13034
c lw 13536
c lw 13720
c lw 14222
c lw 14406
c lw 14908
c lw 15092
c lw 15594
c lw 15778
c lw 16280
c lw 16464
c lw 16966
c lw 17150
c lw 17652
c lw 17836
c lw 18338
c lw 18522
c lw 18741
c lw 19208
c lw 19427
c lw 19894
c lw 20113
c lw 20580
c lw 21052
c lw 21213
c lw 21524
c lw 21846
c lw 21996
c lw 22468
c lw 22479
c lw 22940
c lw 23112
c lw 23412
c lw 23745
c lw 23884
c lw 24356
c lw 24378
c lw 24828
c lw 25011
c lw 25300
c lw 25644
c lw 25772
c lw 26244
c lw 26277
c lw 26716
c lw 26910
c lw 27188
c lw 27543
c lw 27660
c lw 28176
c lw 28293
c lw 28809
c lw 28926
c lw 29442
c lw 29559
c lw 30075
c lw 30192
c lw 30708
c lw 30825
c lw 30991
c lw 31157
c lw 31323
c lw 31341
c lw 31956
c lw 31974
c lw 32589
c lw 32607
c lw 33222
c lw 33240
c lw 33459
c lw 33660
c lw 33873
c lw 34092
c lw 34506
c lw 34541
c lw 34547
c lw 34766
c lw 35139
c lw 35399
c lw 35618
c lw 35772
c lw 35991
c lw 36210
c lw 36251
c lw 36459
c lw 36667
c lw 36882
c lw 37101
c lw 37320
c lw 37539
c lw 37615
c lw 37758
c lw 37977
c lw 38196
c lw 38415
c lw 38634
c lw 38853
c lw 38979
c lw 39072
c lw 39291
c lw 39510
c lw 39729
c lw 39948
c lw 40167
c lw 40343
c lw 40386
c lw 40562
c lw 40605
c lw 40781
c lw 40783
c lw 41000
c lw 41002
c lw 41219
c lw 41221
c lw 41438
c lw 41440
c lw 41657
c lw 41659
c lw 41876
c lw 41878
c lw 42095
c lw 42097
c lw 42314
c lw 42316
c lw 42533
c lw 42535
c lw 42711
c lw 42752
c lw 42754
c lw 42930
c lw 42969
c lw 42971
c lw 42973
c lw 43149
c lw 43188
c lw 43190
c lw 43192
c lw 43242
c lw 43368
c lw 43407
c lw 43409
c lw 43461
c lw 43587
c lw 43626
c lw 43628
c lw 43680
c lw 43806
c lw 43845
c lw 43847
c lw 43899
c lw 43949
c lw 44025
c lw 44064
c lw 44066
c lw 44168
c lw 44244
c lw 44283
c lw 44285
c lw 44387
c lw 44459
c lw 44461
c lw 44504
c lw 44595
c lw 44667
c lw 44685
c lw 44833
c lw 44851
c lw 44886
c lw 44968
c lw 44999
c lw 45040
c lw 45081
c lw 45094
c lw 45137
c lw 45218
c lw 45437
c lw 45443
c lw 45478
c lw 45591
c lw 45804
c lw 45810
c lw 45892
c lw 45910
c lw 46005
c lw 46111
c lw 46472
c lw 46490
c lw 46525
c lw 46543
c lw 47087
c lw 47140
c lw 47246
c lw 47363
c lw 47603
c lw 47762
c lw 47787
c lw 47879
c lw 47964
c lw 48183
c lw 48289
c lw 48367
c lw 48369
c lw 48402
c lw 48530
c lw 48724
c lw 48800
c lw 48917
c lw 49013
c lw 49068
c lw 49251
c lw 49433
c lw 49550
c lw 49562
c lw 49595
c lw 49679
c lw 49851
c lw 50089
c lw 50099
c lw 50205
c lw 50566
c lw 50601
c lw 50750
c lw 50785
c lw 51068
c lw 51252
c lw 51497
c lw 51520
c lw 51704
c lw 51838
c lw 51888
c lw 52022
c lw 52206
c lw 52390
c lw 52574
c lw 52708
c lw 52892
c lw 53026
c lw 53210
c lw 53394
c lw 53528
c lw 53578
c lw 53712
c lw 53896
c lw 54080
c lw 54264
c lw 54398
c lw 54582
c lw 54604
c lw 54826
c lw 54965
c lw 55054
c lw 55159
c lw 55182
c lw 55366
c lw 55500
c lw 55684
c lw 55695
c lw 56017
c lw 56156
c lw 56167
c lw 56328
c lw 56339
c lw 56467
c lw 56651
c lw 56785
c lw 56969
c lw 57153
c lw 57287
c lw 57471
c lw 57789
c lw 57804
c lw 57896
c lw 57927
c lw 58019
c lw 58065
c lw 58157
c lw 58263
c lw 58326
c lw 58357
c lw 58372
c lw 58464
c lw 58525
c lw 58556
c lw 58690
c lw 58705
c lw 58782
c lw 58901
c lw 58932
c lw 58966
c lw 58981
c lw 58993
c lw 59008
c lw 59142
c lw 59192
c lw 59242
c lw 59292
c lw 59326
c lw 59460
c lw 59510
c lw 59560
c lw 59610
c lw 59644
c lw 59678
c lw 59744
c lw 59778
c lw 59828
c lw 59844
c lw 59860
c lw 59862
c lw 59878
c lw 59996
c lw 60012
c lw 60062
c lw 60078
c lw 60094
c lw 60130
c lw 60164
c lw 60198
c lw 60228
c lw 60262
c lw 60278
c lw 60296
c lw 60312
c lw 60330
c lw 60346
c lw 60362
c lw 60364
c lw 60366
c lw 60378
c lw 60380
c lw 60414
c lw 60416
c lw 60418
c lw 60430
c lw 60432
c lw 60434
c lw 60444
c lw 60458
c lw 60460
c lw 60464
c lw 60466
c lw 60468
c lw 60470
c lw 60472
c lw 60474
c lw 60476
c lw 60478
c lw 60482
c lw 60492
c lw 60610
c lw 60612
c lw 60732
c lw 60748
c lw 60750
c lw 60760
c lw 60762
c lw 60778
c lw 60780
c lw 60782
c lw 60784
c lw 60786
c lw 60802
c lw 60804
c lw 60810
c lw 60844
c lw 60854
c lw 60888
c lw 60898
c lw 60982
c lw 60988
c lw 61004
c lw 61062
c lw 61072
c lw 61082
c lw 61128
c lw 61130
c lw 61138
c lw 61144
c lw 61146
c lw 61196
c lw 61234
c lw 61280
c lw 61330
c lw 61368
c lw 61370
c lw 61372
c lw 61374
c lw 61376
c lw 61378
c lw 61380
c lw 61386
c lw 61418
c lw 61424
c lw 61426
c lw 61428
c lw 61430
c lw 61438
c lw 61472
c lw 61474
c lw 61480
c lw 61490
c lw 61492
c lw 61494
c lw 61496
c lw 61538
c lw 61540
c lw 61542
c lw 61544
c lw 61546
c lw 61548
c lw 61550
c lw 61552
c lw 61554
c lw 61556
c lw 61580
c lw 61582
c lw 61591
c lw 61617
c lw 61663
c lw 61713
c lw 61731
c lw 61740
c lw 61746
c lw 61766
c lw 61784
c lw 61812
c lw 61834
c lw 61836
c lw 61845
c lw 61852
c lw 61854
c lw 61856
c lw 61858
c lw 61867
c lw 61873
c lw 61875
c lw 61876
c lw 61886
c lw 61888
c lw 61893
c lw 61894
c lw 61896
c lw 61897
c lw 61899
c lw 61900
c lw 61901
c lw 61902
c lw 61903
c lw 61904
c lw 61906
c lw 61939
c lw 61958
c lw 61960
c lw 61984
c lw 62014
c lw 62017
c lw 62036
c lw 62039
c lw 62040
c lw 62041
c lw 62043
c lw 62046
c lw 62048
c lw 62049
c lw 62050
c lw 62051
c lw 62052
c lw 62053
c lw 62054
c lw 62056
c lw 62067
c lw 62069
c lw 62071
c lw 62072
c lw 62076
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 62089
c lw 62090
c lw 62091
c lw 62092
c lw 62093
c lw 62094
c lw 62095
c lw 62096
c lw 62097
c lw 62098
c lw 62099
c lw 62100
c lw 62101
c lw 62102
c lw 62164
c lw 62191
c lw 62192
c lw 62193
c lw 62194
c lw 62195
c lw 62196
c lw 62197
c lw 62198
c lw 62200
c lw 62217
c lw 62242
c lw 62256
c lw 62266
c lw 62267
c lw 62290
c lw 62396
c lw 62411
c lw 62412
c lw 62415
c lw 62421
c lw 62425
c lw 62439
c lw 62450
c lw 62503
c lw 62527
c lw 62598
c lw 62613
c lw 62617
c lw 62628
c lw 62631
c lw 62641
c lw 62670
c lw 62671
c lw 62682
c lw 62704
c lw 62723
c lw 62729
c lw 62744
c lw 62767
c lw 62778
c lw 62802
c lw 62817
c lw 62851
c lw 62864
c lw 62879
c lw 62892
c lw 62894
c lw 62897
c lw 62910
c lw 62925
c lw 62928
c lw 62936
c lw 62939
c lw 62948
c lw 62951
c lw 62970
c lw 62973
c lw 62978
c lw 62980
c lw 62982
c lw 62983
c lw 62985
c lw 62988
c lw 62994
c lw 62995
c lw 62997
c lw 62998
c lw 62999
c lw 63000
c lw 63001
c lw 63002
c lw 63017
c lw 63036
c lw 63038
c lw 63045
c lw 63046
c lw 63047
c lw 63048
c lw 63049
c lw 63050
c lw 63051
c lw 63052
c lw 63123
c lw 63147
c lw 63156
c lw 63174
c lw 63177
c lw 63186
c lw 63187
c lw 63188
c lw 63193
c lw 63194
c lw 63196
c lw 63197
c lw 63198
c lw 63205
c lw 63213
c lw 63216
c lw 63219
c lw 63324
c lw 63496
c lw 63501
c lw 63524
c lw 63525
c lw 63526
c lw 63527
c lw 63528
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 63560
c lw 63582
c lw 63698
c lw 63742
c lw 63743
c lw 63782
c lw 63792
c lw 63805
c lw 63827
c lw 63871
c lw 63921
c lw 63976
c lw 64033
c lw 64095
c lw 64146
c lw 64171
c lw 64183
c lw 64237
c lw 64245
c lw 64326
c lw 64354
c lw 64355
c lw 64398
c lw 64420
c lw 64423
c lw 64507
c lw 64588
c lw 64596
c lw 64620
c lw 64622
c lw 64623
c lw 64624
c lw 64678
c lw 64679
c lw 64680
c lw 64681
c lw 64682
c lw 64683
c lw 64684
c lw 64685
c lw 64686
c lw 64694
c lw 64695
c lw 64708
c lw 64709
c lw 64710
c lw 64711
c lw 64712
c lw 64713
c lw 64714
c lw 64715
c lw 64716
c lw 64717
c lw 64718
c lw 64723
c lw 64724
c lw 64725
c lw 64726
c lw 64727
c lw 64728
c lw 64729
c lw 64730
c lw 64731
c lw 64732
c lw 64733
c lw 64734
c lw 64735
c lw 64736
c lw 64760
c lw 64761
c lw 64762
c lw 64763
c lw 64773
c lw 64776
c lw 64777
c lw 64778
c lw 64786
c lw 64794
c lw 64795
c lw 64796
c lw 64797
c lw 64798
c lw 64799
c lw 64800
c lw 64810
c lw 64811
c lw 64812
c lw 64814
c lw 64815
c lw 64846
c lw 64890
c lw 64906
c lw 64924
c lw 64933
c lw 64938
c lw 64942
c lw 64945
c lw 64970
c lw 64988
c lw 64992
c lw 64993
c lw 65040
c lw 65044
c lw 65048
c lw 65050
c lw 65058
c lw 65066
c lw 65074
c lw 65075
c lw 65083
c lw 65084
c lw 65085
c lw 65087
c lw 65088
c lw 65091
c lw 65093
c lw 65094
c lw 65095
c lw 65096
c lw 65097
c lw 65098
c lw 65099
c lw 65100
c lw 65101
c lw 65102
c lw 65106
c lw 65107
c lw 65125
c lw 65163
c lw 65168
c lw 65169
c lw 65170
c lw 65171
c lw 65172
c lw 65173
c lw 65177
c lw 65182
c lw 65183
c lw 65184
c lw 65185
c lw 65186
c lw 65187
c lw 65188
c lw 65189
c lw 65190
c lw 65191
c lw 65193
c lw 65194
c lw 65195
c lw 65196
c lw 65197
c lw 65198
c lw 65200
c lw 65204
c lw 65209
c lw 65211
c lw 65223
c lw 65241
c lw 65246
c lw 65341
c lw 65353
c lw 65354
c lw 65355
c lw 65356
c lw 65361
c lw 65392
c lw 65399
c lw 65400
c lw 65405
c lw 65418
c lw 65423
c lw 65427
c lw 65428
c lw 65443
c lw 65446
c lw 65447
c lw 65450
c lw 65454
c lw 65457
c lw 65459
c lw 65488
c lw 65701
c lw 65748
c lw 65753
c lw 65755
c lw 65756
c lw 65761
c lw 65796
c lw 65802
c lw 65974
c lw 65987
c lw 65993
c lw 65998
c lw 66000
c lw 66002
c lw 66005
c lw 66006
c lw 66010
c lw 66011
c lw 66012
c lw 66017
c lw 66025
c lw 66026
c lw 66027
c lw 66030
c lw 66031
c lw 66033
c lw 66034
c lw 66036
c lw 66038
c lw 66039
c lw 66040
c lw 66041
c lw 66042
c lw 66043
c lw 66045
c lw 66046
c lw 66047
c lw 66048
c lw 66049
c lw 66050
c lw 66051
c lw 66052
c lw 66053
c lw 66054
c lw 66055
c lw 66056
c lw 66057
c lw 66058
c lw 66059
c lw 66060
c lw 66061
c lw 66062
c lw 66063
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 66076
c lw 66077
c lw 66078
c lw 66079
c lw 66080
c lw 66081
c lw 66110
c lw 66115
c lw 66116
c lw 66117
c lw 66118
c lw 66123
c lw 66129
c lw 66147
c lw 66148
c lw 66150
c lw 66152
c lw 66282
c lw 66325
c lw 66338
c lw 66340
c lw 66370
c lw 66372
c lw 66386
c lw 66410
c lw 66422
c lw 66442
c lw 66458
c lw 66460
c lw 66465
c lw 66467
c lw 66475
c lw 66481
c lw 66507
c lw 66585
c lw 66607
c lw 66659
c lw 66661
c lw 66663
c lw 66671
c lw 66708
c lw 66710
c lw 66711
c lw 66718
c lw 66719
c lw 66720
c lw 66721
c lw 66722
c lw 66725
c lw 66747
c lw 66809
c lw 66859
c lw 66873
c lw 66880
c lw 66882
c lw 66884
c lw 66932
c lw 66934
c lw 66971
c lw 66973
c lw 66975
c lw 67051
c lw 67092
c lw 67094
c lw 67096
c lw 67103
c lw 67116
c lw 67133
c lw 67135
c lw 67149
c lw 67151
c lw 67153
c lw 67159
c lw 67162
c lw 67164
c lw 67205
c lw 67215
c lw 67220
c lw 67222
c lw 67230
c lw 67252
c lw 67254
c lw 67267
c lw 67295
c lw 67332
c lw 67333
c lw 67335
c lw 67337
c lw 67342
c lw 67349
c lw 67351
c lw 67362
c lw 67376
c lw 67424
c lw 67431
c lw 67433
c lw 67435
c lw 67439
c lw 67441
c lw 67447
c lw 67449
c lw 67451
c lw 67453
c lw 67454
c lw 67455
c lw 67481
c lw 67525
c lw 67527
c lw 67529
c lw 67564
c lw 67565
c lw 67571
c lw 67573
c lw 67575
c lw 67589
c lw 67591
c lw 67598
c lw 67608
c lw 67621
c lw 67628
c lw 67640
c lw 67641
c lw 67643
c lw 67645
c lw 67656
c lw 67662
c lw 67664
c lw 67667
c lw 67669
c lw 67674
c lw 67675
c lw 67676
c lw 67677
c lw 67678
c lw 67684
c lw 67687
c lw 67689
c lw 67691
c lw 67693
c lw 67701
c lw 67703
c lw 67720
c lw 67724
c lw 67737
c lw 67739
c lw 67740
c lw 67741
c lw 67742
c lw 67746
c lw 67748
c lw 67754
c lw 67756
c lw 67758
c lw 67760
c lw 67761
c lw 67762
c lw 67771
c lw 67772
c lw 67773
c lw 67774
c lw 67775
c lw 67776
c lw 67777
c lw 67778
c lw 67779
c lw 67780
c lw 67781
c lw 67782
c lw 67783
c lw 67784
c lw 67785
c lw 67786
c lw 67787
c lw 67788
c lw 67789
c lw 67790
c lw 67791
c lw 67792
c lw 67793
c lw 67794
c lw 67795
c lw 67796
c lw 67797
c lw 67798
c lw 67800
c lw 67802
c lw 67804
c lw 67805
c lw 67806
c lw 67808
c lw 67814
c lw 67816
c lw 67817
c lw 67818
c lw 67819
c lw 67820
c lw 67821
c lw 67822
c lw 67823
c lw 67826
c lw 67828
c lw 67829
c lw 67830
c lw 67831
c lw 67832
c lw 67833
c lw 67834
c lw 67835
c lw 67837
c lw 67838
c lw 67839
c lw 67840
c lw 67841
c lw 67842
c lw 67843
c lw 67844
c lw 67845
c lw 67846
c lw 67847
c lw 67848
c lw 67849
c lw 67850
c lw 67852
c lw 67854
c lw 67865
c lw 67866
c lw 67875
c lw 67876
c lw 67878
c lw 67879
c lw 67888
c lw 67889
c lw 67890
c lw 67891
c lw 67892
c lw 67893
c lw 67894
c lw 67895
c lw 67896
c lw 67897
c lw 67898
c lw 67899
c lw 67901
c lw 67902
c lw 67903
c lw 67904
c lw 67905
c lw 67906
c lw 67907
c lw 67908
c lw 67909
c lw 67910
c lw 67912
c lw 67913
c lw 67916
c lw 67917
c lw 67923
c lw 67924
c lw 67925
c lw 67926
c lw 67927
c lw 67928
c lw 67929
c lw 67930
c lw 67931
c lw 67933
c lw 67934
c lw 67935
c lw 67937
c lw 67938
c lw 67939
c lw 67940
c lw 67941
c lw 67942
c lw 67944
c lw 67945
c lw 67946
c lw 67947
c lw 67948
c lw 67949
c lw 67950
c lw 67951
c lw 67952
c lw 67953
c lw 67954
c lw 67955
c lw 67956
c lw 67957
c lw 67958
c lw 67959
c lw 67960
c lw 67961
c lw 67962
c lw 67963
c lw 67964
c lw 67965
c lw 67966
c lw 67968
c lw 67969
c lw 67970
c lw 67971
c lw 67972
c lw 67973
c lw 67975
c lw 67996
c lw 67997
c lw 67998
c lw 67999
c lw 68000
c lw 68001
c lw 68002
c lw 68003
c lw 68004
c lw 68005
c lw 68006
c lw 68007
c lw 68008
c lw 68009
c lw 68010
c lw 68011
c lw 68012
c lw 68013
c lw 68014
c lw 68015
c lw 68017
c lw 68018
c lw 68019
c lw 68020
c lw 68021
c lw 68022
c lw 68023
c lw 68026
c lw 68027
c lw 68028
c lw 68029
c lw 68030
c lw 68031
c lw 68032
c lw 68033
c lw 68034
c lw 68035
c lw 68036
c lw 68037
c lw 68056
c lw 68057
c lw 68058
c lw 68059
c lw 68060
c lw 68061
c lw 68064
c lw 68065
c lw 68066
c lw 68067
c lw 68068
c lw 68069
c lw 68072
c lw 68073
c lw 68074
c lw 68075
c lw 68076
c lw 68077
c lw 68078
c lw 68079
c lw 68080
c lw 68081
c lw 68082
c lw 68083
c lw 68084
c lw 68085
c lw 68091
c lw 68092
c lw 68093
c lw 68094
c lw 68095
c lw 68096
c lw 68097
c lw 68098
c lw 68099
c lw 68100
c lw 68101
c lw 68102
c lw 68103
c lw 68104
c lw 68105
c lw 68106
c lw 68107
c lw 68108
c lw 68109
c lw 68110
c lw 68111
c lw 68112
c lw 68113
c lw 68114
c lw 68115
c lw 68116
c lw 68117
c lw 68118
c lw 68119
c lw 68120
c lw 68121
Killed
1812.349u 7.412s 30:24.78 99.7%	0+0k 0+0io 0pf+0w