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_0001.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_130_0001.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 434
c lw 868
c lw 1302
c lw 1736
c lw 2170
c lw 2604
c lw 3038
c lw 3472
c lw 3906
c lw 4340
c lw 4774
c lw 5208
c lw 5642
c lw 6076
c lw 6355
c lw 6634
c lw 6913
c lw 7192
c lw 7356
c lw 7471
c lw 7750
c lw 8064
c lw 8378
c lw 8636
c lw 8692
c lw 9006
c lw 9320
c lw 9634
c lw 9916
c lw 9948
c lw 10262
c lw 10576
c lw 10890
c lw 11196
c lw 11204
c lw 11518
c lw 11832
c lw 12146
c lw 12460
c lw 12476
c lw 12774
c lw 13088
c lw 13568
c lw 13756
c lw 14048
c lw 14528
c lw 15008
c lw 15036
c lw 15488
c lw 15516
c lw 15968
c lw 15996
c lw 16448
c lw 16476
c lw 16928
c lw 16956
c lw 17408
c lw 17436
c lw 17916
c lw 18260
c lw 18396
c lw 18740
c lw 18876
c lw 19220
c lw 19356
c lw 19700
c lw 19836
c lw 20180
c lw 20197
c lw 20316
c lw 20660
c lw 21004
c lw 21348
c lw 21692
c lw 22036
c lw 22380
c lw 22724
c lw 23068
c lw 23412
c lw 23756
c lw 24100
c lw 24444
c lw 24788
c lw 25132
c lw 25476
c lw 25820
c lw 26164
c lw 26508
c lw 26733
c lw 26852
c lw 27077
c lw 27196
c lw 27421
c lw 27540
c lw 27765
c lw 27884
c lw 28109
c lw 28228
c lw 28453
c lw 28572
c lw 28797
c lw 29376
c lw 29838
c lw 29983
c lw 30590
c lw 30879
c lw 31197
c lw 31920
c lw 32238
c lw 32961
c lw 33279
c lw 34002
c lw 34320
c lw 35043
c lw 35361
c lw 36084
c lw 36402
c lw 37125
c lw 37244
c lw 37562
c lw 37578
c lw 37876
c lw 37892
c lw 38014
c lw 38042
c lw 38190
c lw 38198
c lw 38206
c lw 38494
c lw 38512
c lw 38520
c lw 38522
c lw 38826
c lw 38834
c lw 38858
c lw 38974
c lw 39002
c lw 39256
c lw 39288
c lw 39454
c lw 39570
c lw 39602
c lw 39626
c lw 39630
c lw 39884
c lw 39940
c lw 40082
c lw 40110
c lw 40198
c lw 40219
c lw 40313
c lw 40590
c lw 40748
c lw 40793
c lw 40882
c lw 41046
c lw 41070
c lw 41161
c lw 41325
c lw 41440
c lw 41550
c lw 41604
c lw 41864
c lw 41902
c lw 41905
c lw 41919
c lw 42017
c lw 42038
c lw 42242
c lw 42249
c lw 42361
c lw 42382
c lw 42385
c lw 42518
c lw 42521
c lw 42549
c lw 42676
c lw 42983
c lw 42994
c lw 42998
c lw 43202
c lw 43321
c lw 43339
c lw 43342
c lw 43546
c lw 43665
c lw 43683
c lw 44001
c lw 44120
c lw 44208
c lw 44226
c lw 44239
c lw 44433
c lw 44578
c lw 44834
c lw 44895
c lw 44973
c lw 45092
c lw 45110
c lw 45376
c lw 45428
c lw 45754
c lw 45772
c lw 46038
c lw 46351
c lw 46677
c lw 46695
c lw 47021
c lw 47039
c lw 47365
c lw 47383
c lw 47709
c lw 47727
c lw 48045
c lw 48137
c lw 48426
c lw 48450
c lw 48455
c lw 48889
c lw 49033
c lw 49215
c lw 49505
c lw 49571
c lw 49589
c lw 49915
c lw 49933
c lw 50259
c lw 50277
c lw 50355
c lw 50711
c lw 50789
c lw 51157
c lw 51513
c lw 51611
c lw 51614
c lw 51621
c lw 51700
c lw 51738
c lw 51759
c lw 51773
c lw 51839
c lw 51843
c lw 51850
c lw 51917
c lw 51995
c lw 52273
c lw 52351
c lw 52495
c lw 52563
c lw 52629
c lw 52697
c lw 52707
c lw 52931
c lw 53009
c lw 53075
c lw 53141
c lw 53153
c lw 53209
c lw 53227
c lw 53237
c lw 53265
c lw 53275
c lw 53277
c lw 53287
c lw 53290
c lw 53293
c lw 53308
c lw 53497
c lw 53501
c lw 53550
c lw 53568
c lw 53590
c lw 53594
c lw 53597
c lw 53598
c lw 53601
c lw 53602
c lw 53647
c lw 53650
c lw 53656
c lw 53660
c lw 53661
c lw 53662
c lw 53756
c lw 53777
c lw 53813
c lw 53828
c lw 53852
c lw 53886
c lw 53899
c lw 53922
c lw 53940
c lw 54035
c lw 54052
c lw 54076
c lw 54080
c lw 54108
c lw 54224
c lw 54235
c lw 54349
c lw 54373
c lw 54381
c lw 54414
c lw 54416
c lw 54662
c lw 54687
c lw 54688
c lw 54696
c lw 54704
c lw 54711
c lw 54721
c lw 54862
c lw 54869
c lw 54877
c lw 54999
c lw 55001
c lw 55017
c lw 55033
c lw 55035
c lw 55040
c lw 55157
c lw 55165
c lw 55167
c lw 55337
c lw 55353
c lw 55356
c lw 55358
c lw 55377
c lw 55392
c lw 55394
c lw 55396
c lw 55398
c lw 55402
c lw 55405
c lw 55437
c lw 55439
c lw 55441
c lw 55443
c lw 55445
c lw 55447
c lw 55450
c lw 55467
c lw 55481
c lw 55484
c lw 55505
c lw 55523
c lw 55557
c lw 55590
c lw 55597
c lw 55603
c lw 55605
c lw 55629
c lw 55640
c lw 55642
c lw 55761
c lw 55762
c lw 55763
c lw 55766
c lw 55769
c lw 55770
c lw 55771
c lw 55772
c lw 55773
c lw 55774
c lw 55799
c lw 55801
c lw 55803
c lw 55804
c lw 55805
c lw 55806
c lw 55812
c lw 55814
c lw 55819
c lw 55827
c lw 55845
c lw 55875
c lw 55883
c lw 55894
c lw 55907
c lw 55916
c lw 55997
c lw 56022
c lw 56030
c lw 56243
c lw 56244
c lw 56245
c lw 56253
c lw 56255
c lw 56257
c lw 56262
c lw 56266
c lw 56268
c lw 56271
c lw 56273
c lw 56276
c lw 56278
c lw 56279
c lw 56374
c lw 56376
c lw 56379
c lw 56384
c lw 56402
c lw 56447
c lw 56449
c lw 56452
c lw 56457
c lw 56461
c lw 56479
c lw 56517
c lw 56518
c lw 56519
c lw 56520
c lw 56522
c lw 56523
c lw 56524
c lw 56525
c lw 56526
c lw 56527
c lw 56543
c lw 56546
c lw 56560
c lw 56570
c lw 56571
c lw 56572
c lw 56573
c lw 56576
c lw 56580
c lw 56594
c lw 56597
c lw 56599
c lw 56610
c lw 56634
c lw 56655
c lw 56673
c lw 56706
c lw 56734
c lw 56738
c lw 56741
c lw 56807
c lw 56834
c lw 56836
c lw 56837
c lw 56838
c lw 56839
c lw 56841
c lw 56842
c lw 56843
c lw 56847
c lw 56848
c lw 56849
c lw 56852
c lw 56859
c lw 56873
c lw 56880
c lw 56891
c lw 56892
c lw 56925
c lw 56926
c lw 56929
c lw 56933
c lw 56937
c lw 56940
c lw 56941
c lw 56945
c lw 56946
c lw 56948
c lw 56954
c lw 56956
c lw 56958
c lw 56959
c lw 56961
c lw 56962
c lw 56963
c lw 56964
c lw 56965
c lw 56967
c lw 56968
c lw 56969
c lw 56971
c lw 56972
c lw 56974
c lw 56975
c lw 56976
c lw 56977
c lw 56978
c lw 56979
c lw 56980
c lw 56981
c lw 56982
c lw 56983
c lw 56984
c lw 56985
c lw 56986
c lw 56987
c lw 56991
c lw 56998
c lw 57004
c lw 57009
c lw 57010
c lw 57012
c lw 57014
c lw 57015
c lw 57016
c lw 57017
c lw 57018
c lw 57019
c lw 57020
c lw 57021
c lw 57022
c lw 57023
c lw 57024
c lw 57025
c lw 57026
c lw 57027
c lw 57028
c lw 57029
c lw 57030
c lw 57031
c lw 57032
c lw 57033
c lw 57039
c lw 57042
c lw 57045
c lw 57048
c lw 57051
c lw 57052
c lw 57055
c lw 57056
c lw 57057
c lw 57058
c lw 57059
c lw 57060
c lw 57063
c lw 57064
c lw 57066
c lw 57067
c lw 57068
c lw 57069
c lw 57071
c lw 57072
c lw 57073
c lw 57074
c lw 57075
c lw 57076
c lw 57077
c lw 57078
c lw 57079
c lw 57080
c lw 57081
c lw 57082
c lw 57083
c lw 57084
c lw 57085
c lw 57087
c lw 57088
c lw 57089
c lw 57090
c lw 57095
c lw 57098
c lw 57112
c lw 57115
c lw 57117
c lw 57124
c lw 57126
c lw 57127
c lw 57128
c lw 57129
c lw 57130
c lw 57131
c lw 57132
c lw 57133
c lw 57134
c lw 57135
c lw 57136
c lw 57137
c lw 57138
c lw 57139
c lw 57140
c lw 57141
c lw 57142
c lw 57143
c lw 57144
c lw 57145
c lw 57147
c lw 57148
c lw 57149
c lw 57150
c lw 57151
c lw 57153
c lw 57161
c lw 57172
c lw 57173
c lw 57174
c lw 57175
c lw 57176
c lw 57215
c lw 57216
c lw 57217
c lw 57218
c lw 57219
c lw 57221
c lw 57223
c lw 57233
c lw 57234
c lw 57242
c lw 57243
c lw 57244
c lw 57245
c lw 57246
c lw 57247
c lw 57248
c lw 57249
c lw 57250
c lw 57251
c lw 57252
c lw 57253
c lw 57254
c lw 57255
c lw 57256
c lw 57267
c lw 57554
c lw 57593
c lw 57619
c lw 57718
c lw 57919
c lw 57937
c lw 58062
c lw 58263
c lw 58281
c lw 58406
c lw 58600
c lw 58607
c lw 58613
c lw 58625
c lw 58631
c lw 58642
c lw 58647
c lw 58666
c lw 58677
c lw 58679
c lw 58697
c lw 58723
c lw 58724
c lw 58725
c lw 58726
c lw 58727
c lw 58728
c lw 58729
c lw 58730
c lw 58731
c lw 58732
c lw 58733
c lw 58734
c lw 58735
c lw 58736
c lw 58737
c lw 58738
c lw 58739
c lw 58740
c lw 58741
c lw 58742
c lw 58743
c lw 58768
c lw 58774
c lw 58775
c lw 58776
c lw 58779
c lw 58785
c lw 58812
c lw 58813
c lw 58814
c lw 58815
c lw 58816
c lw 58817
c lw 58818
c lw 58819
c lw 58820
c lw 58821
c lw 58894
c lw 58946
c lw 59003
c lw 59160
c lw 59291
c lw 59358
c lw 59386
c lw 59388
c lw 59396
c lw 59398
c lw 59402
c lw 59406
c lw 59407
c lw 59408
c lw 59409
c lw 59410
c lw 59411
c lw 59412
c lw 59413
c lw 59414
c lw 59415
c lw 59416
c lw 59428
c lw 59429
c lw 59435
c lw 59453
c lw 59460
c lw 59461
c lw 59462
c lw 59463
c lw 59464
c lw 59465
c lw 59466
c lw 59467
c lw 59468
c lw 59469
c lw 59470
c lw 59471
c lw 59472
c lw 59473
c lw 59474
c lw 59475
c lw 59476
c lw 59477
c lw 59478
c lw 59479
c lw 59480
c lw 59481
c lw 59482
c lw 59483
c lw 59484
c lw 59485
c lw 59486
c lw 59552
c lw 59571
c lw 59597
c lw 59618
c lw 59623
c lw 59642
c lw 59665
c lw 59673
c lw 59675
c lw 59681
c lw 59692
c lw 59704
c lw 59708
c lw 59713
c lw 59725
c lw 59729
c lw 59732
c lw 59737
c lw 59749
c lw 59751
c lw 59754
c lw 59756
c lw 59758
c lw 59759
c lw 59761
c lw 59768
c lw 59775
c lw 59779
c lw 59786
c lw 59837
c lw 59842
c lw 59858
c lw 59862
c lw 59863
c lw 59869
c lw 59899
c lw 59904
c lw 59905
c lw 59906
c lw 59907
c lw 59908
c lw 59912
c lw 59913
c lw 59914
c lw 59915
c lw 59916
c lw 59917
c lw 59918
c lw 59919
c lw 59920
c lw 59921
c lw 59922
c lw 59923
c lw 59925
c lw 59927
c lw 59942
c lw 59943
c lw 59948
c lw 59949
c lw 59950
c lw 59951
c lw 59957
c lw 59958
c lw 59963
c lw 59964
c lw 59965
c lw 59966
c lw 59967
c lw 59968
c lw 59969
c lw 59973
c lw 59974
c lw 59979
c lw 59980
c lw 59981
c lw 59983
c lw 59984
c lw 59985
c lw 59986
c lw 59987
c lw 59989
c lw 59990
c lw 59991
c lw 59992
c lw 59993
c lw 59994
c lw 59995
c lw 59996
c lw 59997
c lw 59998
c lw 59999
c lw 60000
c lw 60001
c lw 60002
c lw 60003
c lw 60004
c lw 60005
c lw 60006
c lw 60007
c lw 60008
c lw 60009
c lw 60018
c lw 60019
c lw 60074
c lw 60076
c lw 60077
c lw 60101
c lw 60102
c lw 60103
c lw 60104
c lw 60106
c lw 60107
c lw 60108
c lw 60109
c lw 60110
c lw 60111
c lw 60112
c lw 60114
c lw 60124
c lw 60125
c lw 60126
c lw 60127
c lw 60128
c lw 60129
c lw 60130
c lw 60131
c lw 60132
c lw 60133
c lw 60134
c lw 60135
c lw 60136
c lw 60137
c lw 60138
c lw 60148
c lw 60149
c lw 60150
c lw 60151
c lw 60152
c lw 60153
c lw 60154
c lw 60155
c lw 60160
c lw 60161
c lw 60167
c lw 60168
c lw 60169
c lw 60170
c lw 60171
c lw 60172
c lw 60173
c lw 60174
c lw 60175
c lw 60176
c lw 60177
c lw 60178
c lw 60179
c lw 60180
c lw 60181
c lw 60182
c lw 60183
c lw 60184
c lw 60185
c lw 60190
c lw 60191
c lw 60192
c lw 60194
c lw 60195
c lw 60196
c lw 60197
c lw 60198
c lw 60200
c lw 60201
c lw 60202
c lw 60203
c lw 60204
c lw 60205
c lw 60206
c lw 60207
c lw 60209
c lw 60210
c lw 60211
c lw 60212
c lw 60213
c lw 60214
c lw 60215
c lw 60216
c lw 60217
c lw 60218
c lw 60219
c lw 60220
c lw 60221
c lw 60222
c lw 60223
c lw 60224
c lw 60225
c lw 60226
c lw 60227
c lw 60228
c lw 60229
c lw 60230
c lw 60231
c lw 60232
c lw 60233
c lw 60252
c lw 60253
c lw 60259
c lw 60260
c lw 60261
c lw 60262
c lw 60263
c lw 60264
c lw 60265
c lw 60268
c lw 60269
c lw 60270
c lw 60271
c lw 60272
c lw 60273
c lw 60274
c lw 60275
c lw 60276
c lw 60277
c lw 60278
c lw 60279
c lw 60280
c lw 60281
c lw 60282
c lw 60294
c lw 60295
c lw 60296
c lw 60301
c lw 60305
c lw 60306
c lw 60307
c lw 60311
c lw 60313
c lw 60315
c lw 60317
c lw 60318
c lw 60319