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_200_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_200_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 745
c lw 1490
c lw 1517
c lw 2235
c lw 2980
c lw 3034
c lw 3725
c lw 4470
c lw 4551
c lw 5303
c lw 6068
c lw 6136
c lw 6969
c lw 7585
c lw 7802
c lw 8635
c lw 9102
c lw 9468
c lw 10301
c lw 10619
c lw 11134
c lw 11967
c lw 12136
c lw 12800
c lw 13633
c lw 13653
c lw 14466
c lw 15170
c lw 15299
c lw 16132
c lw 16687
c lw 16965
c lw 17798
c lw 18204
c lw 18631
c lw 19464
c lw 19721
c lw 20297
c lw 21130
c lw 21238
c lw 21963
c lw 22755
c lw 22796
c lw 23629
c lw 24272
c lw 24511
c lw 25789
c lw 26028
c lw 27306
c lw 27545
c lw 28823
c lw 29062
c lw 30340
c lw 30579
c lw 31857
c lw 32096
c lw 33374
c lw 33613
c lw 34248
c lw 34815
c lw 35382
c lw 35402
c lw 35969
c lw 36556
c lw 37143
c lw 37710
c lw 37730
c lw 38317
c lw 38864
c lw 38904
c lw 39491
c lw 40018
c lw 40078
c lw 40665
c lw 41172
c lw 41362
c lw 42059
c lw 42326
c lw 42756
c lw 43453
c lw 43480
c lw 44150
c lw 44634
c lw 44847
c lw 45544
c lw 45788
c lw 46241
c lw 46938
c lw 46942
c lw 47635
c lw 48096
c lw 48516
c lw 49250
c lw 49397
c lw 50278
c lw 50404
c lw 51159
c lw 51558
c lw 52040
c lw 52442
c lw 52712
c lw 53114
c lw 53725
c lw 53866
c lw 54268
c lw 54529
c lw 55020
c lw 55422
c lw 55812
c lw 56174
c lw 57219
c lw 57259
c lw 57328
c lw 57567
c lw 58482
c lw 58721
c lw 59363
c lw 59602
c lw 60175
c lw 61257
c lw 61855
c lw 62357
c lw 63457
c lw 63535
c lw 64557
c lw 65215
c lw 65657
c lw 66757
c lw 66895
c lw 67857
c lw 68575
c lw 68957
c lw 70057
c lw 70255
c lw 71157
c lw 71935
c lw 72459
c lw 73615
c lw 73761
c lw 75063
c lw 75295
c lw 76365
c lw 76975
c lw 77667
c lw 78655
c lw 78969
c lw 80271
c lw 80335
c lw 81573
c lw 82015
c lw 82875
c lw 83695
c lw 83898
c lw 84852
c lw 85375
c lw 85617
c lw 85856
c lw 87055
c lw 87536
c lw 87775
c lw 88735
c lw 89455
c lw 89694
c lw 90415
c lw 91374
c lw 91613
c lw 91852
c lw 92091
c lw 92280
c lw 92330
c lw 92469
c lw 92569
c lw 92658
c lw 92808
c lw 92847
c lw 93036
c lw 93047
c lw 93225
c lw 93286
c lw 93414
c lw 93525
c lw 93603
c lw 93764
c lw 93792
c lw 93981
c lw 94003
c lw 94170
c lw 94242
c lw 94409
c lw 94481
c lw 94648
c lw 94720
c lw 94887
c lw 94959
c lw 95126
c lw 95198
c lw 95365
c lw 95437
c lw 95604
c lw 95676
c lw 95843
c lw 95915
c lw 95919
c lw 96086
c lw 96325
c lw 96564
c lw 96803
c lw 97284
c lw 97288
c lw 97523
c lw 97527
c lw 98008
c lw 98244
c lw 98483
c lw 98722
c lw 98725
c lw 98767
c lw 98836
c lw 98876
c lw 99640
c lw 99676
c lw 99843
c lw 100082
c lw 100363
c lw 100460
c lw 100485
c lw 100724
c lw 100964
c lw 101058
c lw 101153
c lw 101217
c lw 101500
c lw 101796
c lw 101902
c lw 102592
c lw 102664
c lw 102681
c lw 102736
c lw 102831
c lw 102942
c lw 102972
c lw 103233
c lw 103271
c lw 103547
c lw 104221
c lw 104637
c lw 104825
c lw 105095
c lw 105175
c lw 105227
c lw 105497
c lw 105626
c lw 105709
c lw 105835
c lw 106252
c lw 106399
c lw 106590
c lw 106822
c lw 106960
c lw 107660
c lw 107806
c lw 108124
c lw 108520
c lw 108544
c lw 108548
c lw 108585
c lw 109213
c lw 109245
c lw 109457
c lw 109666
c lw 109879
c lw 109942
c lw 109969
c lw 110150
c lw 110612
c lw 110666
c lw 110879
c lw 111042
c lw 111232
c lw 111363
c lw 111549
c lw 111609
c lw 111890
c lw 111950
c lw 111990
c lw 112477
c lw 112716
c lw 112955
c lw 113169
c lw 113598
c lw 113693
c lw 113755
c lw 113796
c lw 114431
c lw 114503
c lw 114547
c lw 114575
c lw 114670
c lw 114778
c lw 114909
c lw 115272
c lw 115529
c lw 115611
c lw 115848
c lw 116254
c lw 116275
c lw 116362
c lw 116953
c lw 117231
c lw 117508
c lw 117678
c lw 117803
c lw 117918
c lw 118581
c lw 118705
c lw 118710
c lw 118903
c lw 118956
c lw 119028
c lw 119100
c lw 119195
c lw 119215
c lw 119414
c lw 120008
c lw 120048
c lw 120080
c lw 120152
c lw 120247
c lw 120416
c lw 120712
c lw 121094
c lw 121430
c lw 121759
c lw 122077
c lw 122127
c lw 122274
c lw 122640
c lw 122741
c lw 122910
c lw 122982
c lw 123054
c lw 123149
c lw 123366
c lw 123574
c lw 123594
c lw 123614
c lw 124141
c lw 124161
c lw 124728
c lw 124919
c lw 124987
c lw 125493
c lw 125561
c lw 125699
c lw 126194
c lw 126636
c lw 126661
c lw 126742
c lw 127345
c lw 127399
c lw 127406
c lw 128036
c lw 128063
c lw 128144
c lw 128754
c lw 128826
c lw 128832
c lw 128886
c lw 128915
c lw 128943
c lw 129043
c lw 129081
c lw 129104
c lw 129114
c lw 129121
c lw 129132
c lw 129171
c lw 129214
c lw 129264
c lw 129293
c lw 129321
c lw 129382
c lw 129460
c lw 129512
c lw 129612
c lw 129874
c lw 129940
c lw 129946
c lw 130476
c lw 130526
c lw 130732
c lw 130752
c lw 130768
c lw 130847
c lw 130875
c lw 131217
c lw 131405
c lw 131471
c lw 131488
c lw 131561
c lw 131581
c lw 131630
c lw 131666
c lw 131670
c lw 131672
c lw 131940
c lw 132202
c lw 132302
c lw 132363
c lw 132392
c lw 132442
c lw 132452
c lw 132459
c lw 132488
c lw 132542
c lw 132552
c lw 132575
c lw 132635
c lw 132642
c lw 132649
c lw 132676
c lw 132696
c lw 132703
c lw 132716
c lw 132797
c lw 133252
c lw 133259
c lw 133266
c lw 133286
c lw 133299
c lw 133305
c lw 133353
c lw 133360
c lw 133373
c lw 133380
c lw 133441
c lw 133469
c lw 133475
c lw 133481
c lw 133482
c lw 133522
c lw 133590
c lw 133624
c lw 133793
c lw 133832
c lw 133908
c lw 133976
c lw 133984
c lw 134011
c lw 134023
c lw 134049
c lw 134056
c lw 134068
c lw 134082
c lw 134090
c lw 134114
c lw 134118
c lw 134124
c lw 134174
c lw 134321
c lw 134372
c lw 134492
c lw 134591
c lw 134612
c lw 134639
c lw 134711
c lw 134738
c lw 134762
c lw 134783
c lw 134810
c lw 134834
c lw 134858
c lw 134861
c lw 134862
c lw 134864
c lw 134879
c lw 134882
c lw 134885
c lw 134906
c lw 134930
c lw 134932
c lw 134933
c lw 134934
c lw 134936
c lw 134942
c lw 134945
c lw 134948
c lw 134957
c lw 134966
c lw 134968
c lw 134970
c lw 134975
c lw 134976
c lw 134982
c lw 134983
c lw 134986
c lw 134988
c lw 134989
c lw 134990
c lw 134991
c lw 134992
c lw 134993
c lw 134994
c lw 134995
c lw 134996
c lw 134997
c lw 134998
c lw 134999
c lw 135019
c lw 135020
c lw 135021
c lw 135023
c lw 135024
c lw 135025
c lw 135026
c lw 135027
c lw 135028
c lw 135029
c lw 135030
c lw 135031
c lw 135032
c lw 135033
c lw 135034
c lw 135035
c lw 135036
c lw 135037
c lw 135038
c lw 135039
c lw 135040
c lw 135041
c lw 135042
c lw 135043
c lw 135044
c lw 135045
c lw 135046
c lw 135047
c lw 135048
c lw 135049
c lw 135070
c lw 135217
c lw 135218
c lw 135219
c lw 135220
c lw 135221
c lw 135222
c lw 135223
c lw 135224
c lw 135225
c lw 135233
c lw 135234
c lw 135235
c lw 135236
c lw 135245
c lw 135246
c lw 135249
c lw 135250
c lw 135251
c lw 135252
c lw 135253
c lw 135254
c lw 135255
c lw 135256
c lw 135257
c lw 135258
c lw 135259
c lw 135260
c lw 135261
c lw 135262
c lw 135263
c lw 135264
c lw 135265
c lw 135266
c lw 135267
c lw 135268
c lw 135269
c lw 135270
c lw 135271
c lw 135274
c lw 135276
c lw 135278
c lw 135279
c lw 135280
c lw 135281
c lw 135282
c lw 135286
c lw 135409
c lw 135468
c lw 135521
c lw 135528
c lw 135579
c lw 135591
c lw 135602
c lw 135708
c lw 135714
c lw 135715
c lw 135716
c lw 135717
c lw 135718
c lw 135719
c lw 135720
c lw 135721
c lw 135722
c lw 135723
c lw 135724
c lw 135725
c lw 135726
c lw 135727
c lw 135728
c lw 135729
c lw 135730
c lw 135731
c lw 135732
c lw 135733
c lw 135734
c lw 135859
c lw 135860
c lw 135861
c lw 135864
c lw 135951
c lw 135972
c lw 136246
c lw 136249
c lw 136304
c lw 136307
c lw 136444
c lw 136581
c lw 136582
c lw 136664
c lw 136819
c lw 136921
c lw 136987
c lw 137003
c lw 137004
c lw 137053
c lw 137054
c lw 137069
c lw 137085
c lw 137136
c lw 137155
c lw 137156
c lw 137158
c lw 137266
c lw 137415
c lw 137464
c lw 137466
c lw 137467
c lw 137468
c lw 137469
c lw 137479
c lw 137480
c lw 137485
c lw 137495
c lw 137496
c lw 137497
c lw 137512
c lw 137534
c lw 137536
c lw 137537
c lw 137546
c lw 137549
c lw 137556
c lw 137558
c lw 137559
c lw 137564
c lw 137572
c lw 137576
c lw 137583
c lw 137584
c lw 137585
c lw 137586
c lw 137587
c lw 137588
c lw 137589
c lw 137590
c lw 137591
c lw 137592
c lw 137593
c lw 137594
c lw 137595
c lw 137596
c lw 137598
c lw 137599
c lw 137600
c lw 137601
c lw 137611
c lw 137612
c lw 137637
c lw 137638
c lw 137641
c lw 137642
c lw 137644
c lw 137645
c lw 137647
c lw 137648
c lw 137649
c lw 137652
c lw 137655
c lw 137656
c lw 137657
c lw 137663
c lw 137664
c lw 137665
c lw 137666
c lw 137673
c lw 137674
c lw 137675
c lw 137676
c lw 137678
c lw 137679
c lw 137680
c lw 137682
c lw 137683
c lw 137684
c lw 137723
c lw 137748
c lw 137750
c lw 137768
c lw 137779
c lw 137782
c lw 137996
c lw 138235
c lw 138318
c lw 138320
c lw 138342
c lw 138343
c lw 138357
c lw 138358
c lw 138359
c lw 138547
c lw 138557
c lw 138558
c lw 138559
c lw 138560
c lw 138561
c lw 138562
c lw 138569
c lw 138570
c lw 138576
c lw 138578
c lw 138579
c lw 138580
c lw 138581
c lw 138582
c lw 138583
c lw 138584
c lw 138587
c lw 138588
c lw 138589
c lw 138590
c lw 138656
c lw 138932
c lw 138970
c lw 138971
c lw 138972
c lw 138973
c lw 138975
c lw 138976
c lw 138977
c lw 138978
c lw 138979
c lw 138996
c lw 139062
c lw 139068
c lw 139123
c lw 139124
c lw 139125
c lw 139126
c lw 139127
c lw 139130
c lw 139135
c lw 139136
c lw 139137
c lw 139138
c lw 139139
c lw 139205
c lw 139206
c lw 139207
c lw 139208
c lw 139211
c lw 139212
c lw 139213
c lw 139214
c lw 139215
c lw 139216
c lw 139217
c lw 139219
c lw 139225
c lw 139226
c lw 139233
c lw 139234
c lw 139235
c lw 139236
c lw 139237
c lw 139238
c lw 139248
c lw 139264
c lw 139265
c lw 139267
c lw 139268
c lw 139271
c lw 139409
c lw 139411
c lw 139412
c lw 139418
c lw 139576
c lw 139581
c lw 139583
c lw 139584
c lw 139585
c lw 139600
c lw 139609
c lw 139610
c lw 139611
c lw 139612
c lw 139661
c lw 139662
c lw 139664
c lw 139666
c lw 139682
c lw 139684
c lw 139685
c lw 139688
c lw 139689
c lw 139694
c lw 139782
c lw 139783
c lw 139784
c lw 139785
c lw 139786
c lw 139787
c lw 139788
c lw 139789
c lw 139791
c lw 139792
c lw 139793
c lw 139794
c lw 139795
c lw 139796
c lw 139797
c lw 139798
c lw 139799
c lw 139800
c lw 139810
c lw 139811
c lw 139812
c lw 139813
c lw 139814
c lw 139815
c lw 139818
c lw 139895
c lw 139916
c lw 139943
c lw 139944
c lw 139945
c lw 139946
c lw 139947
c lw 139948
c lw 139949
c lw 139950
c lw 139952
c lw 139953
c lw 139954
c lw 139955
c lw 139956
c lw 139965
c lw 139968
c lw 139969
c lw 139970
c lw 139971
c lw 139972
c lw 139973
c lw 139974
c lw 139975
c lw 139976
c lw 139977
c lw 139978
c lw 139979
c lw 139980
c lw 139981
c lw 139983
c lw 139989
c lw 140003
c lw 140177
c lw 140191
c lw 140194
c lw 140345
c lw 140348
c lw 140359
c lw 140362
c lw 140382
c lw 140399
c lw 140402
c lw 140758
c lw 140798
c lw 140858
c lw 140909
c lw 140912
c lw 140929
c lw 140949
c lw 141115
c lw 141167
c lw 141168
c lw 141169
c lw 141170
c lw 141171
c lw 141172
c lw 141173
c lw 141174
c lw 141178
c lw 141179
c lw 141180
c lw 141181
c lw 141182
c lw 141183
c lw 141184
c lw 141185
c lw 141186
c lw 141187
c lw 141188
c lw 141233
c lw 141241
c lw 141275
c lw 141291
c lw 141319
c lw 141335
c lw 141339
c lw 141343
c lw 141479
c lw 141485
c lw 141505
c lw 141525
c lw 141536
c lw 141539
c lw 141543
c lw 141545
c lw 141559
c lw 141563
c lw 141565
c lw 141571
c lw 141573
c lw 141577
c lw 141581
c lw 141585
c lw 141589
c lw 141675
c lw 141682
c lw 141695
c lw 141698
c lw 141699
c lw 141700
c lw 141701
c lw 141702
c lw 141703
c lw 141704
c lw 141705
c lw 141706
c lw 141707
c lw 141708
c lw 141709
c lw 141710
c lw 141711
c lw 141712
c lw 141713
c lw 141715
c lw 141716
c lw 141717
c lw 141718
c lw 141719
c lw 141720
c lw 141726
c lw 141727
c lw 141733
c lw 141740
c lw 141741
c lw 141742
c lw 141743
c lw 141866
c lw 141873
c lw 141881
c lw 141929
c lw 142018
c lw 142025
c lw 142114
c lw 142141
c lw 142145
c lw 142163
c lw 142195
c lw 142232
c lw 142315
c lw 142323
c lw 142327
c lw 142347
c lw 142354
c lw 142362
c lw 142367
c lw 142376
c lw 142383
c lw 142389
c lw 142394
c lw 142396
c lw 142429
c lw 142433
c lw 142437
c lw 142817
c lw 142819
c lw 142821
c lw 142825
c lw 142833
c lw 142837
c lw 142841
c lw 142877
c lw 142879
c lw 142881
c lw 142885
c lw 142968
c lw 143024
c lw 143097
c lw 143150
c lw 143171
c lw 143224
c lw 143244
c lw 143367
c lw 143371
c lw 143375
c lw 143379
c lw 143411
c lw 143415
c lw 143420
c lw 143423
c lw 143440
c lw 143492
c lw 143544
c lw 143547
c lw 143548
c lw 143552
c lw 143556
c lw 143560
c lw 143564
c lw 143568
c lw 143588
c lw 143589
c lw 143591
c lw 143592
c lw 143595
c lw 143597
c lw 143601
c lw 143608
c lw 143610
c lw 143612
c lw 143613
c lw 143615
c lw 143616
c lw 143618
c lw 143620
c lw 143622
c lw 143623
c lw 143624
c lw 143627
c lw 143631
c lw 143634
c lw 143635
c lw 143636
c lw 143642
c lw 143644
c lw 143648
c lw 143654
c lw 143655
c lw 143656
c lw 143657
c lw 143658
c lw 143659
c lw 143660
c lw 143661
c lw 143662
c lw 143663
c lw 143664
c lw 143665
c lw 143666
c lw 143667
c lw 143669
c lw 143714
c lw 143715
c lw 143716
c lw 143717
c lw 143718
c lw 143719
c lw 143720
c lw 143721
c lw 143722
c lw 143723
c lw 143724
c lw 143725
c lw 143726
c lw 143756
c lw 143803
c lw 143805
c lw 143806
c lw 143807
c lw 143808
c lw 143809
c lw 143810
c lw 143811
c lw 143812
c lw 143814
c lw 143818
c lw 143824
c lw 143825
c lw 143835
c lw 143836
c lw 143837
c lw 143838
c lw 143839
c lw 143840
c lw 143841
c lw 143842
c lw 143843
c lw 143844
c lw 143846
c lw 143847
c lw 143848
c lw 143849
c lw 143850
c lw 143863
c lw 143864
c lw 143865
c lw 143866
c lw 143867
c lw 143868
c lw 143869
c lw 143870
c lw 143871
c lw 143872
c lw 143873
c lw 143874
c lw 143875
c lw 143912
c lw 143913
c lw 143914
c lw 143922
c lw 143923
c lw 143929
c lw 143933
c lw 143935
c lw 143936
c lw 143937
c lw 143938
c lw 143939
c lw 143940
c lw 143941
c lw 143942
c lw 143944
c lw 143946
c lw 143984
c lw 143985
c lw 143986
c lw 143987
c lw 143988
c lw 143989
c lw 143990
c lw 143994
c lw 143995
c lw 143997
c lw 143998
c lw 143999
c lw 144000
c lw 144001
c lw 144002
c lw 144004
c lw 144005
c lw 144007
c lw 144008
c lw 144009
c lw 144010
c lw 144011
c lw 144012
c lw 144013
c lw 144014
c lw 144015
c lw 144016
c lw 144017
c lw 144018
c lw 144019
c lw 144020
c lw 144021
c lw 144022
c lw 144023
c lw 144024
c lw 144025
c lw 144026
c lw 144027
c lw 144028
c lw 144029
c lw 144030
c lw 144031
c lw 144032
c lw 144033
c lw 144034
c lw 144035
c lw 144036
c lw 144037
c lw 144044
c lw 144045
c lw 144046
c lw 144047
c lw 144048
c lw 144049
c lw 144050
c lw 144051
c lw 144052
c lw 144053
c lw 144054
c lw 144055
c lw 144056
c lw 144057
c lw 144058
c lw 144059
c lw 144106
c lw 144153
c lw 144299
c lw 144324
c lw 144359
c lw 144360
c lw 144361
c lw 144362
c lw 144363
c lw 144364
c lw 144397
c lw 144404
c lw 144405
c lw 144406
c lw 144433
c lw 144434
c lw 144435
c lw 144436
c lw 144437
c lw 144438
c lw 144439
c lw 144440
c lw 144441
c lw 144442
c lw 144443
c lw 144444
c lw 144445
c lw 144446
c lw 144447
c lw 144448
c lw 144449
c lw 144450
c lw 144451
c lw 144452
c lw 144453
c lw 144454
c lw 144455
c lw 144492
c lw 144493
c lw 144517
c lw 144518
c lw 144519
c lw 144535
c lw 144552
c lw 144553
c lw 144554
c lw 144555
c lw 144556
c lw 144557
c lw 144558
c lw 144559
c lw 144579
c lw 144580
c lw 144746
c lw 144755
c lw 144771
c lw 144773
c lw 144798
c lw 144835
c lw 144836
c lw 144837
c lw 144846
c lw 144847
c lw 144848
c lw 144904
c lw 144916
c lw 144920
c lw 144923
c lw 144924
c lw 144925
c lw 144930
c lw 144966
c lw 144967
c lw 144968
c lw 144970
c lw 144972
c lw 144973
c lw 144974
c lw 144977
c lw 144996
c lw 145032
c lw 145040
c lw 145051
c lw 145053
c lw 145057
c lw 145059
c lw 145060
c lw 145062
c lw 145063
c lw 145064
c lw 145065
c lw 145066
c lw 145067
c lw 145068
c lw 145069
c lw 145070
c lw 145071
c lw 145072
c lw 145073
c lw 145074
c lw 145075
c lw 145076
c lw 145083
c lw 145094
c lw 145095
c lw 145096
c lw 145097
c lw 145108
c lw 145112
c lw 145113
c lw 145114
c lw 145115
c lw 145116
c lw 145117
c lw 145118
c lw 145119
c lw 145120
c lw 145123
c lw 145126
c lw 145127
c lw 145229
c lw 145231
c lw 145232
c lw 145233
c lw 145234
c lw 145235
c lw 145236
c lw 145237
c lw 145238
c lw 145239
c lw 145240
c lw 145241
c lw 145242
c lw 145243
c lw 145244
c lw 145245
c lw 145246
c lw 145247
c lw 145251
c lw 145252
c lw 145253
c lw 145254
c lw 145255
c lw 145256
c lw 145257
c lw 145259
c lw 145260
c lw 145261
c lw 145262
c lw 145263
c lw 145264
c lw 145265
c lw 145266
c lw 145267
c lw 145275
c lw 145276
c lw 145277
c lw 145278
c lw 145279
c lw 145280
c lw 145281
c lw 145292
c lw 145293
c lw 145294
c lw 145300
c lw 145301
c lw 145302
c lw 145303
c lw 145305
c lw 145309
c lw 145310
c lw 145311
c lw 145312
c lw 145314
c lw 145320
c lw 145321
c lw 145322
c lw 145323
c lw 145328
c lw 145329
c lw 145330
c lw 145364
c lw 145416
c lw 145494
c lw 145514
c lw 145515
c lw 145525
c lw 145543
c lw 145545
c lw 145548
c lw 145621
c lw 145913
c lw 145916
c lw 145917
c lw 145933
Killed
1819.248u 0.487s 30:22.83 99.8%	0+0k 0+0io 0pf+0w