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_100_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_100_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 80
c lw 160
c lw 240
c lw 320
c lw 389
c lw 400
c lw 480
c lw 560
c lw 640
c lw 720
c lw 778
c lw 800
c lw 880
c lw 960
c lw 1040
c lw 1120
c lw 1167
c lw 1200
c lw 1280
c lw 1360
c lw 1440
c lw 1520
c lw 1556
c lw 1600
c lw 1680
c lw 1760
c lw 1840
c lw 1920
c lw 1945
c lw 2000
c lw 2080
c lw 2160
c lw 2240
c lw 2320
c lw 2334
c lw 2723
c lw 2803
c lw 2869
c lw 2990
c lw 3111
c lw 3714
c lw 3822
c lw 4327
c lw 4533
c lw 4940
c lw 5244
c lw 5553
c lw 5955
c lw 6166
c lw 6666
c lw 6779
c lw 7377
c lw 7392
c lw 8005
c lw 8088
c lw 8702
c lw 8799
c lw 9413
c lw 9510
c lw 10124
c lw 10221
c lw 10835
c lw 10932
c lw 11546
c lw 11643
c lw 12257
c lw 12354
c lw 12968
c lw 13065
c lw 13679
c lw 13776
c lw 14390
c lw 14487
c lw 15101
c lw 15198
c lw 15812
c lw 15909
c lw 16523
c lw 16620
c lw 17234
c lw 17331
c lw 17945
c lw 18042
c lw 18656
c lw 18753
c lw 19367
c lw 19464
c lw 20078
c lw 20175
c lw 20789
c lw 20886
c lw 21500
c lw 21597
c lw 22211
c lw 23114
c lw 24017
c lw 24920
c lw 25823
c lw 26726
c lw 27563
c lw 27629
c lw 28386
c lw 28532
c lw 28900
c lw 28997
c lw 29143
c lw 29532
c lw 29546
c lw 29557
c lw 29612
c lw 29626
c lw 29637
c lw 29692
c lw 29706
c lw 29717
c lw 29747
c lw 29783
c lw 29797
c lw 29827
c lw 29841
c lw 29863
c lw 29888
c lw 29921
c lw 29943
c lw 29968
c lw 29976
c lw 30001
c lw 30048
c lw 30059
c lw 30081
c lw 30103
c lw 30128
c lw 30139
c lw 30208
c lw 30219
c lw 30230
c lw 30249
c lw 30288
c lw 30299
c lw 30313
c lw 30368
c lw 30379
c lw 30448
c lw 30459
c lw 30556
c lw 30639
c lw 30654
c lw 31048
c lw 31169
c lw 31266
c lw 31662
c lw 31783
c lw 31880
c lw 31977
c lw 32276
c lw 32373
c lw 32494
c lw 32591
c lw 32890
c lw 32987
c lw 33108
c lw 33205
c lw 33504
c lw 33601
c lw 33722
c lw 33819
c lw 34118
c lw 34215
c lw 34336
c lw 34732
c lw 34829
c lw 34853
c lw 34939
c lw 35335
c lw 35432
c lw 35467
c lw 35564
c lw 35949
c lw 36081
c lw 36178
c lw 36317
c lw 36563
c lw 36660
c lw 36685
c lw 36751
c lw 36792
c lw 36889
c lw 37274
c lw 37387
c lw 37487
c lw 37698
c lw 37887
c lw 37889
c lw 38191
c lw 38196
c lw 38296
c lw 38402
c lw 38404
c lw 38701
c lw 38802
c lw 38847
c lw 38944
c lw 39333
c lw 39705
c lw 40139
c lw 40517
c lw 41042
c lw 41053
c lw 41056
c lw 41067
c lw 41083
c lw 41111
c lw 41119
c lw 41125
c lw 41133
c lw 41136
c lw 41138
c lw 41160
c lw 41163
c lw 41177
c lw 41188
c lw 41199
c lw 41232
c lw 41243
c lw 41312
c lw 41323
c lw 41347
c lw 41444
c lw 41455
c lw 41552
c lw 41591
c lw 41677
c lw 41679
c lw 41684
c lw 41777
c lw 41783
c lw 41828
c lw 41847
c lw 41852
c lw 41866
c lw 41877
c lw 41888
c lw 41899
c lw 41910
c lw 41921
c lw 41932
c lw 41940
c lw 41960
c lw 41971
c lw 41979
c lw 41981
c lw 41982
c lw 41995
c lw 42009
c lw 42017
c lw 42042
c lw 42044
c lw 42052
c lw 42053
c lw 42054
c lw 42072
c lw 42080
c lw 42083
c lw 42086
c lw 42087
c lw 42089
c lw 42092
c lw 42095
c lw 42098
c lw 42103
c lw 42111
c lw 42114
c lw 42120
c lw 42126
c lw 42129
c lw 42131
c lw 42132
c lw 42133
c lw 42134
c lw 42135
c lw 42144
c lw 42145
c lw 42146
c lw 42148
c lw 42150
c lw 42152
c lw 42156
c lw 42159
c lw 42160
c lw 42161
c lw 42163
c lw 42164
c lw 42165
c lw 42166
c lw 42167
c lw 42168
c lw 42169
c lw 42170
c lw 42174
c lw 42179
c lw 42180
c lw 42182
c lw 42188
c lw 42196
c lw 42199
c lw 42201
c lw 42204
c lw 42206
c lw 42207
c lw 42208
c lw 42209
c lw 42211
c lw 42212
c lw 42214
c lw 42225
c lw 42227
c lw 42230
c lw 42238
c lw 42239
c lw 42240
c lw 42241
c lw 42242
c lw 42243
c lw 42244
c lw 42245
c lw 42246
c lw 42247
c lw 42248
c lw 42249
c lw 42250
c lw 42251
c lw 42252
c lw 42258
c lw 42259
c lw 42260
c lw 42261
c lw 42262
c lw 42263
c lw 42264
c lw 42265
c lw 42266
c lw 42267
c lw 42268
c lw 42269
c lw 42270
c lw 42271
c lw 42272
c lw 42273
c lw 42275
c lw 42276
c lw 42277
c lw 42279
c lw 42280
c lw 42281
c lw 42282
c lw 42283
c lw 42284
c lw 42285
c lw 42286
c lw 42291
c lw 42323
c lw 42324
c lw 42328
c lw 42351
c lw 42444
c lw 42453
c lw 42454
c lw 42455
c lw 42456
c lw 42457
c lw 42462
c lw 42467
c lw 42469
c lw 42473
c lw 42475
c lw 42478
c lw 42479
c lw 42480
c lw 42566
c lw 42568
c lw 42569
c lw 42571
c lw 42572
c lw 42573
c lw 42574
c lw 42575
c lw 42576
c lw 42577
c lw 42578
c lw 42580
c lw 42601
c lw 42672
c lw 42723
c lw 42749
c lw 42757
c lw 42759
c lw 42763
c lw 42764
c lw 42765
c lw 42766
c lw 42771
c lw 42772
c lw 42777
c lw 42778
c lw 42801
c lw 42826
c lw 42884
c lw 42893
c lw 42899
c lw 43247
c lw 43248
c lw 43249
c lw 43328
c lw 43329
c lw 43330
c lw 43331
c lw 43679
c lw 43680
c lw 43681
c lw 43682
c lw 43683
c lw 43684
c lw 43685
c lw 43788
c lw 43789
c lw 43790
c lw 43791
c lw 43792
c lw 43865
c lw 43866
c lw 43867
c lw 43868
c lw 43869
c lw 43870
c lw 43871
c lw 43872
c lw 43873
c lw 43874
c lw 43875
c lw 43876
c lw 43877
c lw 43878
c lw 43879
c lw 43881
c lw 43882
c lw 43883
c lw 43884
c lw 43885
c lw 43886
c lw 43887
c lw 43888
c lw 43889
c lw 43890
c lw 43899
c lw 43900
c lw 43932
c lw 43953
c lw 43954
c lw 43955
c lw 43956
c lw 43958
c lw 43959
c lw 43960
c lw 44134
c lw 44137
c lw 44143
c lw 44150
c lw 44151
c lw 44161
c lw 44163
c lw 44186
c lw 44187
c lw 44188
c lw 44189
c lw 44190
c lw 44191
c lw 44192
c lw 44193
c lw 44194
c lw 44195
c lw 44196
c lw 44197