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_150_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_150_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 658
c lw 1316
c lw 1974
c lw 2632
c lw 3290
c lw 3948
c lw 4606
c lw 5264
c lw 5922
c lw 6580
c lw 7238
c lw 7896
c lw 8554
c lw 9212
c lw 9870
c lw 10528
c lw 11186
c lw 11844
c lw 12502
c lw 13160
c lw 13818
c lw 14476
c lw 15134
c lw 15792
c lw 16450
c lw 17108
c lw 17766
c lw 18424
c lw 19082
c lw 19740
c lw 20314
c lw 20888
c lw 21434
c lw 21462
c lw 22036
c lw 22610
c lw 23128
c lw 23184
c lw 23758
c lw 24332
c lw 24822
c lw 24906
c lw 25480
c lw 26054
c lw 26516
c lw 26628
c lw 27202
c lw 27776
c lw 28210
c lw 28350
c lw 28924
c lw 29498
c lw 29904
c lw 30072
c lw 30646
c lw 31220
c lw 31598
c lw 31794
c lw 32368
c lw 32942
c lw 33292
c lw 33516
c lw 34090
c lw 34664
c lw 34986
c lw 35238
c lw 35812
c lw 36386
c lw 36680
c lw 36960
c lw 37534
c lw 38374
c lw 39778
c lw 39889
c lw 40068
c lw 40642
c lw 41216
c lw 41790
c lw 42364
c lw 42938
c lw 43512
c lw 44086
c lw 44660
c lw 44724
c lw 44771
c lw 44788
c lw 44852
c lw 44882
c lw 44916
c lw 44980
c lw 44993
c lw 45044
c lw 45104
c lw 45108
c lw 45172
c lw 45215
c lw 45236
c lw 45300
c lw 45326
c lw 45364
c lw 45428
c lw 45437
c lw 45492
c lw 45548
c lw 45556
c lw 45620
c lw 45659
c lw 45684
c lw 45748
c lw 45770
c lw 45812
c lw 45881
c lw 45923
c lw 45992
c lw 46034
c lw 46103
c lw 46145
c lw 46214
c lw 46256
c lw 46325
c lw 46367
c lw 46436
c lw 46478
c lw 46547
c lw 46589
c lw 47898
c lw 47993
c lw 49229
c lw 49397
c lw 50560
c lw 50801
c lw 51891
c lw 52205
c lw 53295
c lw 53609
c lw 54699
c lw 55013
c lw 56103
c lw 56417
c lw 57507
c lw 57821
c lw 58911
c lw 59225
c lw 60315
c lw 60629
c lw 61719
c lw 62033
c lw 63123
c lw 63437
c lw 64527
c lw 64841
c lw 65931
c lw 66245
c lw 67335
c lw 67649
c lw 68739
c lw 69053
c lw 70143
c lw 70457
c lw 71547
c lw 71819
c lw 72293
c lw 73039
c lw 73223
c lw 73608
c lw 73785
c lw 74438
c lw 74531
c lw 75268
c lw 75277
c lw 76023
c lw 76098
c lw 76928
c lw 77427
c lw 77758
c lw 78257
c lw 78588
c lw 79087
c lw 79465
c lw 79661
c lw 79829
c lw 79941
c lw 80039
c lw 80081
c lw 80150
c lw 80160
c lw 80192
c lw 80261
c lw 80303
c lw 80372
c lw 80491
c lw 80551
c lw 80747
c lw 80879
c lw 80990
c lw 81264
c lw 81820
c lw 81838
c lw 81895
c lw 82469
c lw 82478
c lw 82584
c lw 83149
c lw 83158
c lw 83242
c lw 83657
c lw 83699
c lw 83768
c lw 83810
c lw 83895
c lw 84072
c lw 84231
c lw 84256
c lw 84342
c lw 84384
c lw 85002
c lw 85042
c lw 85476
c lw 85700
c lw 86022
c lw 86142
c lw 86274
c lw 86394
c lw 86596
c lw 86744
c lw 86820
c lw 86968
c lw 87016
c lw 87318
c lw 87892
c lw 88062
c lw 88088
c lw 88132
c lw 88402
c lw 88790
c lw 89170
c lw 89224
c lw 89364
c lw 89504
c lw 89744
c lw 89798
c lw 89910
c lw 90206
c lw 90318
c lw 90780
c lw 90808
c lw 90864
c lw 90892
c lw 91382
c lw 91410
c lw 91438
c lw 91466
c lw 91984
c lw 92012
c lw 92040
c lw 92354
c lw 92698
c lw 93012
c lw 93130
c lw 93326
c lw 93444
c lw 94102
c lw 94416
c lw 94438
c lw 94463
c lw 95009
c lw 95037
c lw 95059
c lw 95373
c lw 95393
c lw 95415
c lw 95729
c lw 95734
c lw 95751
c lw 95771
c lw 95919
c lw 95973
c lw 96287
c lw 96292
c lw 96306
c lw 96314
c lw 96348
c lw 96351
c lw 96759
c lw 96961
c lw 97127
c lw 97275
c lw 97441
c lw 98051
c lw 98365
c lw 98679
c lw 98709
c lw 98877
c lw 99171
c lw 99188
c lw 99502
c lw 99670
c lw 99675
c lw 99679
c lw 99701
c lw 99717
c lw 99734
c lw 99755
c lw 99765
c lw 99777
c lw 99781
c lw 99825
c lw 99829
c lw 100070
c lw 100437
c lw 100824
c lw 100919
c lw 101645
c lw 101692
c lw 101705
c lw 101709
c lw 101739
c lw 101756
c lw 102122
c lw 102320
c lw 102518
c lw 102780
c lw 103176
c lw 103438
c lw 103834
c lw 104096
c lw 104492
c lw 104754
c lw 105150
c lw 105412
c lw 105808
c lw 106070
c lw 106466
c lw 106728
c lw 107124
c lw 107386
c lw 107782
c lw 108044
c lw 108074
c lw 108336
c lw 108732
c lw 108994
c lw 109004
c lw 109041
c lw 109081
c lw 109390
c lw 109588
c lw 109605
c lw 109635
c lw 109682
c lw 109699
c lw 109803
c lw 109833
c lw 110065
c lw 110095
c lw 110293
c lw 110323
c lw 110461
c lw 110555
c lw 110572
c lw 110602
c lw 110659
c lw 110676
c lw 110706
c lw 110723
c lw 111119
c lw 111287
c lw 111381
c lw 111777
c lw 111945
c lw 112039
c lw 112435
c lw 112603
c lw 112697
c lw 113093
c lw 113261
c lw 113483
c lw 113520
c lw 113530
c lw 113539
c lw 113570
c lw 113695
c lw 113737
c lw 113762
c lw 113823
c lw 113832
c lw 113842
c lw 113860
c lw 113879
c lw 114149
c lw 114244
c lw 114272
c lw 114474
c lw 114518
c lw 115036
c lw 115064
c lw 115092
c lw 115120
c lw 115148
c lw 115176
c lw 115204
c lw 115638
c lw 115666
c lw 115694
c lw 115722
c lw 115750
c lw 115776
c lw 115832
c lw 116072
c lw 116128
c lw 116184
c lw 116324
c lw 116352
c lw 116406
c lw 116518
c lw 116564
c lw 116608
c lw 116758
c lw 116898
c lw 116924
c lw 117026
c lw 117162
c lw 117180
c lw 117302
c lw 117360
c lw 117408
c lw 117464
c lw 117482
c lw 117524
c lw 117530
c lw 117574
c lw 117582
c lw 117592
c lw 117610
c lw 117634
c lw 117640
c lw 117650
c lw 117658
c lw 117668
c lw 117676
c lw 117682
c lw 117700
c lw 117760
c lw 117786
c lw 117788
c lw 117830
c lw 117850
c lw 117856
c lw 117900
c lw 117946
c lw 118050
c lw 118100
c lw 118108
c lw 118110
c lw 118116
c lw 118118
c lw 118120
c lw 118126
c lw 118130
c lw 118132
c lw 118134
c lw 118136
c lw 118138
c lw 118140
c lw 118148
c lw 118150
c lw 118156
c lw 118160
c lw 118164
c lw 118170
c lw 118180
c lw 118184
c lw 118186
c lw 118188
c lw 118190
c lw 118192
c lw 118194
c lw 118198
c lw 118200
c lw 118202
c lw 118214
c lw 118244
c lw 118246
c lw 118250
c lw 118252
c lw 118268
c lw 118270
c lw 118276
c lw 118278
c lw 118280
c lw 118282
c lw 118284
c lw 118286
c lw 118288
c lw 118290
c lw 118292
c lw 118302
c lw 118304
c lw 118306
c lw 118308
c lw 118310
c lw 118312
c lw 118330
c lw 118332
c lw 118346
c lw 118348
c lw 118350
c lw 118352
c lw 118354
c lw 118441
c lw 118526
c lw 118572
c lw 118612
c lw 118616
c lw 118656
c lw 118658
c lw 118685
c lw 118687
c lw 118711
c lw 118713
c lw 118731
c lw 118733
c lw 118735
c lw 118744
c lw 118746
c lw 118748
c lw 118750
c lw 118756
c lw 118758
c lw 118760
c lw 118762
c lw 118763
c lw 118764
c lw 118765
c lw 118766
c lw 118768
c lw 118769
c lw 118770
c lw 118771
c lw 118772
c lw 118773
c lw 118774
c lw 118775
c lw 118776
c lw 118777
c lw 118779
c lw 118781
c lw 118799
c lw 118800
c lw 118801
c lw 118802
c lw 118803
c lw 118804
c lw 118805
c lw 118806
c lw 118807
c lw 118808
c lw 118809
c lw 118810
c lw 118811
c lw 118812
c lw 118828
c lw 118878
c lw 118915
c lw 118925
c lw 118927
c lw 118957
c lw 118959
c lw 118992
c lw 118994
c lw 119012
c lw 119499
c lw 119508
c lw 119568
c lw 119572
c lw 119585
c lw 119622
c lw 119632
c lw 119649
c lw 120090
c lw 120103
c lw 120120
c lw 120124
c lw 120133
c lw 120137
c lw 120145
c lw 120155
c lw 120164
c lw 120168
c lw 120172
c lw 120173
c lw 120176
c lw 120179
c lw 120184
c lw 120185
c lw 120187
c lw 120191
c lw 120195
c lw 120196
c lw 120197
c lw 120198
c lw 120199
c lw 120200
c lw 120202
c lw 120204
c lw 120205
c lw 120209
c lw 120210
c lw 120211
c lw 120212
c lw 120213
c lw 120214
c lw 120215
c lw 120216
c lw 120217
c lw 120219
c lw 120220
c lw 120221
c lw 120223
c lw 120225
c lw 120227
c lw 120231
c lw 120239
c lw 120243
c lw 120259
c lw 120260
c lw 120269
c lw 120273
c lw 120278
c lw 120279
c lw 120281
c lw 120296
c lw 120297
c lw 120301
c lw 120316
c lw 120319
c lw 120320
c lw 120321
c lw 120322
c lw 120323
c lw 120328
c lw 120329
c lw 120330
c lw 120332
c lw 120337
c lw 120338
c lw 120339
c lw 120341
c lw 120342
c lw 120345
c lw 120346
c lw 120347
c lw 120348
c lw 120349
c lw 120350
c lw 120351
c lw 120352
c lw 120353
c lw 120368
c lw 120463
c lw 120631
c lw 120740
c lw 120755
c lw 120757
c lw 120764
c lw 120783
c lw 120792
c lw 120796
c lw 120805
c lw 120837
c lw 120839
c lw 120841
c lw 120843
c lw 120846
c lw 120848
c lw 120851
c lw 120853
c lw 120857
c lw 120860
c lw 120869
c lw 120916
c lw 120917
c lw 120918
c lw 120919
c lw 120920
c lw 120921
c lw 120922
c lw 120923
c lw 120924
c lw 120925
c lw 120927
c lw 120929
c lw 120930
c lw 120932
c lw 120933
c lw 120934
c lw 120935
c lw 120936
c lw 120937
c lw 120938
c lw 120939
c lw 120940
c lw 120941
c lw 120942
c lw 120943
c lw 120945
c lw 120946
c lw 120947
c lw 120948
c lw 120949
c lw 120950
c lw 120951
c lw 120952
c lw 120953
c lw 120954
c lw 120955
c lw 120956
c lw 120957
c lw 120958
c lw 120959
c lw 120960
c lw 120961
c lw 120962
c lw 120963
c lw 120964
c lw 120965
c lw 120966
c lw 120967
c lw 120968
c lw 120969
c lw 120970
c lw 120971
c lw 120972
c lw 120973
c lw 120974
c lw 120975
c lw 120976
c lw 120977
c lw 120979
c lw 120980
c lw 120981
c lw 120982
c lw 120983
c lw 120984
c lw 120985
c lw 120986
c lw 120987
c lw 120988
c lw 120989
c lw 120990
c lw 120991
c lw 121230
c lw 121342
c lw 121352
c lw 121386
c lw 121411
c lw 121421
c lw 121506
c lw 121529
c lw 121715
c lw 121725
c lw 121757
c lw 121761
c lw 121776
c lw 121850
c lw 121860
c lw 121879
c lw 121894
c lw 121895
c lw 121911
c lw 121935
c lw 121936
c lw 121937
c lw 121938
c lw 121939
c lw 121940
c lw 121941
c lw 121942
c lw 121943
c lw 121944
c lw 121945
c lw 121946
c lw 121947
c lw 121948
c lw 121949
c lw 121950
c lw 121952
c lw 121953
c lw 121954
c lw 121958
c lw 121962
c lw 121969
c lw 121973
c lw 121992
c lw 121997
c lw 122013
c lw 122014
c lw 122028
c lw 122030
c lw 122031
c lw 122032
c lw 122033
c lw 122034
c lw 122036
c lw 122038
c lw 122042
c lw 122053
c lw 122191
c lw 122219
c lw 122238
c lw 122247
c lw 122385
c lw 122395
c lw 122609
c lw 122929
c lw 122938
c lw 122957
c lw 122967
c lw 122968
c lw 122969
c lw 123023
c lw 123026
c lw 123045
c lw 123046
c lw 123049
c lw 123050
c lw 123051
c lw 123052
c lw 123053
c lw 123054
c lw 123055
c lw 123056
c lw 123057
c lw 123058
c lw 123059
c lw 123060
c lw 123318
c lw 123346
c lw 123372
c lw 123492
c lw 123516
c lw 123520
c lw 123688
c lw 123712
c lw 123738
c lw 123764
c lw 123858
c lw 123980
c lw 123990
c lw 124020
c lw 124024
c lw 124028
c lw 124038
c lw 124044
c lw 124070
c lw 124072
c lw 124092
c lw 124192
c lw 124198
c lw 124224
c lw 124226
c lw 124230
c lw 124232
c lw 124317
c lw 124341
c lw 124367
c lw 124428
c lw 124461
c lw 124466
c lw 124475
c lw 124546
c lw 124570
c lw 124596
c lw 124607
c lw 124657
c lw 124692
c lw 124716
c lw 124780
c lw 124789
c lw 124830
c lw 124844
c lw 124854
c lw 124868
c lw 124880
c lw 124891
c lw 124903
c lw 124908
c lw 124910
c lw 124912
c lw 124916
c lw 124918
c lw 124920
c lw 124925
c lw 124929
c lw 124930
c lw 124941
c lw 124946
c lw 124950
c lw 124953
c lw 124955
c lw 124962
c lw 124963
c lw 124964
c lw 124965
c lw 124966
c lw 124967
c lw 124971
c lw 124973
c lw 124974
c lw 124976
c lw 124977
c lw 124978
c lw 124981
c lw 124982
c lw 124983
c lw 124984
c lw 124988
c lw 124989
c lw 124990
c lw 124991
c lw 124992
c lw 124993
c lw 124994
c lw 124995
c lw 124996
c lw 124997
c lw 124998
c lw 124999
c lw 125000
c lw 125001
c lw 125002
c lw 125003
c lw 125004
c lw 125005
c lw 125006
c lw 125007
c lw 125008
c lw 125009
c lw 125010
c lw 125011
c lw 125012
c lw 125013
c lw 125014
c lw 125015
c lw 125016
c lw 125017
c lw 125018
c lw 125019
c lw 125020
c lw 125021
c lw 125022
c lw 125023
c lw 125024
c lw 125025
c lw 125026
c lw 125027
c lw 125028
c lw 125029
c lw 125030
c lw 125031
c lw 125032
c lw 125033
c lw 125034
c lw 125035
c lw 125036
c lw 125037
c lw 125046
c lw 125056
c lw 125068
c lw 125073
c lw 125075
c lw 125096
c lw 125097
c lw 125098
c lw 125099
c lw 125100
c lw 125101
c lw 125102
c lw 125103
c lw 125104
c lw 125105
c lw 125106
c lw 125107
c lw 125108
c lw 125109
c lw 125117
c lw 125122
c lw 125124
c lw 125130
c lw 125133
c lw 125135
c lw 125136
c lw 125137
c lw 125138
c lw 125141
c lw 125142
c lw 125143
c lw 125158
c lw 125159
c lw 125160
c lw 125161
c lw 125162
c lw 125163
c lw 125164
c lw 125165
c lw 125166
c lw 125167
c lw 125168
c lw 125174
c lw 125175
c lw 125176
c lw 125177
c lw 125179
c lw 125180
c lw 125181
c lw 125182
c lw 125184
c lw 125185
c lw 125189
c lw 125195
c lw 125196
c lw 125197
c lw 125198
c lw 125205
c lw 125206
c lw 125209
c lw 125211
c lw 125212
c lw 125214
c lw 125215
c lw 125216
c lw 125217
c lw 125219
c lw 125220
c lw 125221
c lw 125222
c lw 125223
c lw 125224
c lw 125225
c lw 125226
c lw 125227
c lw 125228
c lw 125229
c lw 125237
c lw 125238
c lw 125239
c lw 125240
c lw 125241
c lw 125242
c lw 125243
c lw 125244
c lw 125245
c lw 125246
c lw 125303
c lw 125313
c lw 125315
c lw 125333
c lw 125343
c lw 125350
c lw 125352
c lw 125361
c lw 125368
c lw 125370
c lw 125378
c lw 125388
c lw 125398
c lw 125418
c lw 125427
c lw 125434
c lw 125464
c lw 125466
c lw 125468
c lw 125470
c lw 125474
c lw 125475
c lw 125476
c lw 125477
c lw 125478
c lw 125479
c lw 125480
c lw 125481
c lw 125482
c lw 125483
c lw 125484
c lw 125485
c lw 125486
c lw 125489
c lw 125490
c lw 125491
c lw 125492
c lw 125495
c lw 125496
c lw 125497
c lw 125511
c lw 125530
c lw 125531
c lw 125532
c lw 125533
c lw 125534
c lw 125535
c lw 125536
c lw 125537
c lw 125538
c lw 125539
c lw 125541
c lw 125585
c lw 125635
c lw 125640
c lw 125652
c lw 125683
c lw 125687
c lw 125713
c lw 125714
c lw 125721
c lw 125727
c lw 125733
c lw 125740
c lw 125741
c lw 125754
c lw 125769
c lw 125773
c lw 125775
c lw 125779
c lw 125785
c lw 125792
c lw 125793
c lw 125805
c lw 125806
c lw 125807
c lw 125808
c lw 125809
c lw 125810
c lw 125811
c lw 125812
c lw 125813
c lw 125814
c lw 125815
c lw 125816
c lw 125817
c lw 125818
c lw 125819
c lw 125820
c lw 125821
c lw 125822
c lw 125823
c lw 125824
c lw 125825
c lw 125826
c lw 125827
c lw 125828
c lw 125829
c lw 125830
c lw 125831
c lw 125832
c lw 125833
c lw 125834
c lw 125835
c lw 125836
c lw 125837
c lw 125838
c lw 125839
c lw 125840
c lw 125841
c lw 125842
c lw 125843
c lw 125844
c lw 125846
c lw 125847
c lw 125848
c lw 125849
c lw 125852
c lw 125853
c lw 125854
c lw 125855
c lw 125897
c lw 125908
c lw 125913
c lw 125914
c lw 125916
c lw 125920
c lw 125931
c lw 125936
c lw 125938
c lw 125963
c lw 125964
c lw 126002
c lw 126003
c lw 126004
c lw 126005
c lw 126006
c lw 126007
c lw 126016
c lw 126017
c lw 126018
c lw 126019
c lw 126024
c lw 126025
c lw 126026
c lw 126027
c lw 126028
c lw 126029
c lw 126030
c lw 126031
c lw 126032
c lw 126033
c lw 126034
c lw 126035
c lw 126036
c lw 126037
c lw 126038
c lw 126039
c lw 126040
c lw 126041
c lw 126042
c lw 126043
c lw 126044
c lw 126045
c lw 126046
c lw 126047
c lw 126048
c lw 126052
c lw 126053
c lw 126054
c lw 126055
c lw 126059
c lw 126060
c lw 126061
c lw 126062
c lw 126063
c lw 126064
c lw 126065
c lw 126066
c lw 126067
c lw 126068
c lw 126069
c lw 126070
c lw 126071
c lw 126072
c lw 126073
c lw 126074
c lw 126075
c lw 126076
c lw 126077
c lw 126078
c lw 126079
c lw 126081
c lw 126082
c lw 126083
c lw 126084
c lw 126085
c lw 126086
c lw 126087
c lw 126088
c lw 126089
c lw 126090
c lw 126091
c lw 126092
c lw 126093
c lw 126094
c lw 126095
c lw 126096
c lw 126097
c lw 126098
c lw 126099
c lw 126100
c lw 126101
c lw 126102
c lw 126106
c lw 126107
c lw 126108
c lw 126109
c lw 126110
c lw 126111
c lw 126112
c lw 126113
c lw 126114
c lw 126115
c lw 126116
c lw 126117
c lw 126118
c lw 126119
c lw 126120
c lw 126121
c lw 126122
c lw 126123
c lw 126124
c lw 126125
c lw 126126
c lw 126127
c lw 126129
Killed
1813.405u 6.348s 30:20.45 99.9%	0+0k 0+0io 0pf+0w