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_130_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_130_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 438
c lw 453
c lw 883
c lw 906
c lw 1336
c lw 1359
c lw 1789
c lw 1812
c lw 2242
c lw 2265
c lw 2695
c lw 2718
c lw 3148
c lw 3171
c lw 3601
c lw 3624
c lw 4054
c lw 4077
c lw 4507
c lw 4530
c lw 4960
c lw 4983
c lw 5413
c lw 5436
c lw 5866
c lw 5889
c lw 6319
c lw 6342
c lw 6772
c lw 6795
c lw 7225
c lw 7248
c lw 7678
c lw 7701
c lw 8131
c lw 8154
c lw 8584
c lw 8607
c lw 9037
c lw 9060
c lw 9490
c lw 9513
c lw 9943
c lw 9966
c lw 10396
c lw 10419
c lw 10849
c lw 10872
c lw 11302
c lw 11325
c lw 11735
c lw 11778
c lw 12188
c lw 12231
c lw 12641
c lw 12684
c lw 13094
c lw 13137
c lw 13547
c lw 13590
c lw 14133
c lw 14543
c lw 14676
c lw 15086
c lw 15219
c lw 15629
c lw 15762
c lw 16172
c lw 16305
c lw 16715
c lw 16848
c lw 17974
c lw 18249
c lw 19100
c lw 19650
c lw 20226
c lw 21051
c lw 21352
c lw 22452
c lw 22478
c lw 23604
c lw 23853
c lw 24730
c lw 25121
c lw 25856
c lw 26389
c lw 26982
c lw 27657
c lw 28108
c lw 28925
c lw 29466
c lw 30193
c lw 30824
c lw 31594
c lw 32182
c lw 32995
c lw 33540
c lw 34396
c lw 34898
c lw 35797
c lw 36299
c lw 37198
c lw 37700
c lw 38599
c lw 39101
c lw 40000
c lw 40502
c lw 41401
c lw 41811
c lw 42313
c lw 42723
c lw 42802
c lw 43212
c lw 44203
c lw 44613
c lw 44944
c lw 45354
c lw 45604
c lw 46014
c lw 47005
c lw 47392
c lw 47552
c lw 47962
c lw 48372
c lw 48406
c lw 48747
c lw 48816
c lw 49094
c lw 49226
c lw 49441
c lw 49636
c lw 49788
c lw 50046
c lw 50135
c lw 50456
c lw 50482
c lw 50829
c lw 50866
c lw 51176
c lw 51276
c lw 51570
c lw 51686
c lw 51964
c lw 52096
c lw 52374
c lw 52506
c lw 52784
c lw 52916
c lw 53194
c lw 53326
c lw 53604
c lw 53736
c lw 54014
c lw 54146
c lw 54424
c lw 54556
c lw 54834
c lw 54932
c lw 55244
c lw 55342
c lw 55654
c lw 55752
c lw 55786
c lw 56162
c lw 56196
c lw 56322
c lw 56583
c lw 56743
c lw 56833
c lw 56884
c lw 56993
c lw 57243
c lw 57324
c lw 57527
c lw 57625
c lw 57653
c lw 57732
c lw 57894
c lw 58063
c lw 58144
c lw 58223
c lw 58633
c lw 58646
c lw 59043
c lw 59135
c lw 59186
c lw 59267
c lw 59332
c lw 59464
c lw 59874
c lw 59911
c lw 59937
c lw 60020
c lw 60152
c lw 60221
c lw 60353
c lw 60430
c lw 60499
c lw 60562
c lw 60631
c lw 60708
c lw 60824
c lw 60840
c lw 60940
c lw 61002
c lw 61150
c lw 61173
c lw 61262
c lw 61323
c lw 61431
c lw 61475
c lw 61518
c lw 61607
c lw 61646
c lw 61715
c lw 61796
c lw 61894
c lw 61987
c lw 62476
c lw 62489
c lw 62886
c lw 62978
c lw 63388
c lw 63834
c lw 63877
c lw 63933
c lw 64244
c lw 64287
c lw 64465
c lw 64746
c lw 64789
c lw 64918
c lw 65235
c lw 65278
c lw 65330
c lw 65463
c lw 65778
c lw 65821
c lw 65862
c lw 66181
c lw 66395
c lw 66414
c lw 66547
c lw 66916
c lw 66938
c lw 67165
c lw 67424
c lw 67557
c lw 67583
c lw 68064
c lw 68338
c lw 68381
c lw 68431
c lw 68705
c lw 68748
c lw 69092
c lw 69115
c lw 69178
c lw 69201
c lw 69522
c lw 69545
c lw 69608
c lw 69631
c lw 69952
c lw 69975
c lw 70038
c lw 70061
c lw 70382
c lw 70405
c lw 70468
c lw 70491
c lw 70812
c lw 70835
c lw 70898
c lw 70921
c lw 71242
c lw 71265
c lw 71328
c lw 71351
c lw 71672
c lw 71695
c lw 71758
c lw 71781
c lw 72102
c lw 72188
c lw 72195
c lw 72211
c lw 72218
c lw 72532
c lw 72641
c lw 72664
c lw 72942
c lw 72962
c lw 72985
c lw 73094
c lw 73117
c lw 73352
c lw 73653
c lw 73945
c lw 74063
c lw 74177
c lw 74452
c lw 74521
c lw 74888
c lw 75028
c lw 75051
c lw 75091
c lw 75114
c lw 75223
c lw 75246
c lw 75521
c lw 75536
c lw 75653
c lw 75687
c lw 76063
c lw 76097
c lw 76100
c lw 76123
c lw 76166
c lw 76216
c lw 76259
c lw 76302
c lw 76345
c lw 76388
c lw 76406
c lw 76515
c lw 76530
c lw 76538
c lw 76578
c lw 76601
c lw 76609
c lw 76624
c lw 76821
c lw 76829
c lw 76836
c lw 76844
c lw 76851
c lw 76866
c lw 76968
c lw 76976
c lw 76983
c lw 76988
c lw 76997
c lw 77260
c lw 77267
c lw 77274
c lw 77296
c lw 77305
c lw 77368
c lw 77375
c lw 77382
c lw 77389
c lw 77396
c lw 77405
c lw 77407
c lw 77412
c lw 77414
c lw 77416
c lw 77439
c lw 77681
c lw 77688
c lw 77751
c lw 77753
c lw 77776
c lw 77816
c lw 77818
c lw 77821
c lw 77823
c lw 77826
c lw 77828
c lw 77830
c lw 77832
c lw 77839
c lw 77862
c lw 77885
c lw 78097
c lw 78120
c lw 78183
c lw 78206
c lw 78246
c lw 78269
c lw 78292
c lw 78315
c lw 78527
c lw 78550
c lw 78613
c lw 78636
c lw 78676
c lw 78699
c lw 78722
c lw 78957
c lw 78980
c lw 79023
c lw 79066
c lw 79128
c lw 79155
c lw 79216
c lw 79239
c lw 79295
c lw 79430
c lw 79550
c lw 79557
c lw 79593
c lw 79600
c lw 79643
c lw 79685
c lw 79728
c lw 79781
c lw 79788
c lw 79813
c lw 79831
c lw 79900
c lw 79949
c lw 80078
c lw 80121
c lw 80436
c lw 80438
c lw 80456
c lw 80463
c lw 80480
c lw 80498
c lw 80499
c lw 80505
c lw 80512
c lw 80519
c lw 80533
c lw 80617
c lw 80627
c lw 80634
c lw 80635
c lw 80638
c lw 80643
c lw 80644
c lw 80645
c lw 80652
c lw 80653
c lw 80662
c lw 80666
c lw 80667
c lw 80668
c lw 80672
c lw 80673
c lw 80674
c lw 80680
c lw 80697
c lw 80714
c lw 80750
c lw 80761
c lw 80799
c lw 80883
c lw 80902
c lw 80909
c lw 81130
c lw 81131
c lw 81132
c lw 81133
c lw 81136
c lw 81137
c lw 81138
c lw 81139
c lw 81140
c lw 81141
c lw 81142
c lw 81177
c lw 81201
c lw 81286
c lw 81392
c lw 81441
c lw 81476
c lw 81524
c lw 81525
c lw 81544
c lw 81549
c lw 81568
c lw 81573
c lw 81593
c lw 81603
c lw 81608
c lw 81609
c lw 81635
c lw 81638
c lw 81644
c lw 81654
c lw 81655
c lw 81664
c lw 81665
c lw 81669
c lw 81674
c lw 81675
c lw 81678
c lw 81679
c lw 81683
c lw 81684
c lw 81706
c lw 81959
c lw 82075
c lw 82081
c lw 82084
c lw 82085
c lw 82114
c lw 82124
c lw 82131
c lw 82132
c lw 82133
c lw 82134
c lw 82135
c lw 82136
c lw 82147
c lw 82148
c lw 82152
c lw 82168
c lw 82192
c lw 82194
c lw 82196
c lw 82197
c lw 82198
c lw 82201
c lw 82204
c lw 82205
c lw 82206
c lw 82207
c lw 82209
c lw 82210
c lw 82211
c lw 82212
c lw 82213
c lw 82214
c lw 82215
c lw 82216
c lw 82217
c lw 82218
c lw 82219
c lw 82220
c lw 82221
c lw 82224
c lw 82225
c lw 82226
c lw 82227
c lw 82229
c lw 82237
c lw 82238
c lw 82239
c lw 82242
c lw 82243
c lw 82244
c lw 82245
c lw 82247
c lw 82248
c lw 82249
c lw 82250
c lw 82251
c lw 82252
c lw 82253
c lw 82256
c lw 82257
c lw 82258
c lw 82259
c lw 82260
c lw 82261
c lw 82262
c lw 82263
c lw 82264
c lw 82265
c lw 82266
c lw 82270
c lw 82271
c lw 82272
c lw 82273
c lw 82274
c lw 82275
c lw 82276
c lw 82277
c lw 82278
c lw 82279
c lw 82280
c lw 82281
c lw 82288
c lw 82302
c lw 82315
c lw 82320
c lw 82321
c lw 82322
c lw 82323
c lw 82327
c lw 82328
c lw 82329
c lw 82333
c lw 82334
c lw 82335
c lw 82336
c lw 82337
c lw 82338
c lw 82339
c lw 82340
c lw 82341
c lw 82343
c lw 82344
c lw 82444
c lw 82445
c lw 82447
c lw 82448
c lw 82449
c lw 82450
c lw 82451
c lw 82452
c lw 82453
c lw 82454
c lw 82455
c lw 82456
c lw 82457
c lw 82458
c lw 82463
c lw 82464
c lw 82465
c lw 82466
c lw 82467
c lw 82468
c lw 82469
c lw 82470
c lw 82473
c lw 82474
c lw 82475
c lw 82476
c lw 82479
c lw 82482
c lw 82483
c lw 82491
c lw 82492
c lw 82494
c lw 82500
c lw 82501
c lw 82504
c lw 82506
c lw 82511
c lw 82512
c lw 82513
c lw 82516
c lw 82522
c lw 82523
c lw 82524
c lw 82525
c lw 82526
c lw 82527
c lw 82528
c lw 82529
c lw 82530
c lw 82531
c lw 82532
c lw 82660
c lw 82683
c lw 82688
c lw 82689
c lw 82690
c lw 82691
c lw 82692
c lw 82693
c lw 82694
c lw 82695
c lw 82756
c lw 82757
c lw 82758
c lw 82759
c lw 82760
c lw 82761
c lw 82762
c lw 82763
c lw 82764
c lw 82765
c lw 82766
c lw 82767
c lw 82777
c lw 82778
c lw 82806
c lw 82807
c lw 82808
c lw 82809
c lw 82812
c lw 82813
c lw 82814
c lw 82815
c lw 82816
c lw 82817
c lw 82818
c lw 82819
c lw 82820
c lw 82821
c lw 82822
c lw 82823
c lw 82824
c lw 82825
c lw 82826
c lw 82827
c lw 82829
c lw 82830
c lw 82835
c lw 82836
c lw 82837
c lw 82838
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 82848
c lw 82849
c lw 82852
c lw 82855
c lw 82856
c lw 82857
c lw 82859
c lw 82861
c lw 82862
c lw 82864
c lw 82865
c lw 82867
c lw 82870
c lw 82872
c lw 82873
c lw 82874
c lw 82875
c lw 82876
c lw 82877
c lw 82878
c lw 82879
c lw 82880
c lw 82881
c lw 82882
c lw 82883
c lw 82884
c lw 82953
c lw 82954
c lw 82955
c lw 82956
c lw 82957
c lw 82958
c lw 82959
c lw 82960
c lw 82961
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 82980
c lw 82981
c lw 82982
c lw 82983
c lw 82984
c lw 82985
c lw 82987
c lw 82988
c lw 82989
c lw 82990
c lw 82991
c lw 82992
c lw 82993
c lw 82994
c lw 82995
c lw 82996
c lw 82997
c lw 82999
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 83023
c lw 83025
c lw 83026
c lw 83027
c lw 83028
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 83047
c lw 83048
c lw 83049
c lw 83056
c lw 83062
c lw 83079
c lw 83080
c lw 83088
c lw 83110
c lw 83115
c lw 83150
c lw 83151
c lw 83152
c lw 83153
c lw 83154
c lw 83223