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_90_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_90_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 24
c lw 48
c lw 72
c lw 96
c lw 120
c lw 125
c lw 144
c lw 168
c lw 192
c lw 216
c lw 245
c lw 250
c lw 274
c lw 304
c lw 334
c lw 364
c lw 375
c lw 394
c lw 424
c lw 454
c lw 484
c lw 500
c lw 514
c lw 544
c lw 574
c lw 604
c lw 625
c lw 634
c lw 664
c lw 694
c lw 724
c lw 750
c lw 754
c lw 784
c lw 814
c lw 844
c lw 874
c lw 875
c lw 904
c lw 934
c lw 964
c lw 994
c lw 1000
c lw 1024
c lw 1054
c lw 1084
c lw 1114
c lw 1125
c lw 1144
c lw 1174
c lw 1204
c lw 1250
c lw 1329
c lw 2079
c lw 2829
c lw 3579
c lw 4329
c lw 5079
c lw 5829
c lw 6579
c lw 7329
c lw 8079
c lw 8829
c lw 9500
c lw 9579
c lw 10250
c lw 10329
c lw 11000
c lw 11079
c lw 11750
c lw 11829
c lw 12500
c lw 12579
c lw 13250
c lw 13329
c lw 14000
c lw 14079
c lw 14750
c lw 14829
c lw 15500
c lw 15579
c lw 16250
c lw 16329
c lw 17000
c lw 17079
c lw 17750
c lw 17829
c lw 18500
c lw 18579
c lw 19250
c lw 19329
c lw 19330
c lw 19359
c lw 19360
c lw 19375
c lw 19389
c lw 19390
c lw 19393
c lw 19404
c lw 19405
c lw 19423
c lw 19424
c lw 19430
c lw 19434
c lw 19454
c lw 19460
c lw 19464
c lw 19478
c lw 19490
c lw 19504
c lw 19508
c lw 19519
c lw 19534
c lw 19540
c lw 19549
c lw 19558
c lw 19564
c lw 19570
c lw 19580
c lw 19594
c lw 19600
c lw 19608
c lw 19610
c lw 19619
c lw 19638
c lw 19640
c lw 19649
c lw 19657
c lw 19662
c lw 19679
c lw 19687
c lw 19691
c lw 19703
c lw 19708
c lw 19715
c lw 19727
c lw 19732
c lw 19739
c lw 19746
c lw 19756
c lw 19770
c lw 19780
c lw 19794
c lw 19824
c lw 20462
c lw 20526
c lw 21133
c lw 21212
c lw 21276
c lw 21883
c lw 21962
c lw 22026
c lw 22633
c lw 22712
c lw 22776
c lw 23383
c lw 23462
c lw 23526
c lw 24133
c lw 24212
c lw 24276
c lw 24883
c lw 24962
c lw 25026
c lw 25633
c lw 25712
c lw 25776
c lw 26383
c lw 26462
c lw 26526
c lw 27133
c lw 27212
c lw 27246
c lw 27325
c lw 27883
c lw 27887
c lw 27962
c lw 27966
c lw 28558
c lw 28633
c lw 28634
c lw 28635
c lw 28637
c lw 28651
c lw 28658
c lw 28661
c lw 28665
c lw 28667
c lw 28672
c lw 28673
c lw 28680
c lw 28685
c lw 28686
c lw 28692
c lw 28693
c lw 28695
c lw 28696
c lw 28697
c lw 28700
c lw 28701
c lw 28703
c lw 28705
c lw 28706
c lw 28707
c lw 28708
c lw 28711
c lw 28712
c lw 28713
c lw 28714
c lw 28715
c lw 28718
c lw 28719
c lw 28721
c lw 28723
c lw 28724
c lw 28730
c lw 28732
c lw 28735
c lw 28738
c lw 28740
c lw 28741
c lw 28743
c lw 28744
c lw 28745
c lw 28746
c lw 28747
c lw 28748
c lw 28749
c lw 28750
c lw 28751
c lw 28752
c lw 28758
c lw 28760
c lw 28761
c lw 28765
c lw 28767
c lw 28768
c lw 28769
c lw 28770
c lw 28771
c lw 28772
c lw 28776
c lw 28777
c lw 28780
c lw 28792
c lw 28793
c lw 28795
c lw 28798
c lw 28799
c lw 28801
c lw 28802
c lw 28803
c lw 28804
c lw 28805
c lw 28806
c lw 28807
c lw 28811
c lw 28812
c lw 28813
c lw 28820
c lw 28821
c lw 28823
c lw 28832
c lw 28833
c lw 28847
c lw 28851
c lw 28857
c lw 28869
c lw 28873
c lw 28878
c lw 28879
c lw 28880
c lw 28881
c lw 28887
c lw 28891
c lw 28896
c lw 28897
c lw 28898
c lw 28901
c lw 28902
c lw 28903
c lw 28904
c lw 28908
c lw 28909
c lw 28910
c lw 28911
c lw 28912
c lw 28913
c lw 28916
c lw 28922
c lw 28925
c lw 28989
c lw 29030
c lw 29068
c lw 29603
c lw 29667
c lw 29684
c lw 29746
c lw 29825
c lw 29827
c lw 30225
c lw 30289
c lw 30368
c lw 30370
c lw 30372
c lw 30451
c lw 30975
c lw 31037
c lw 31058
c lw 31122
c lw 31165
c lw 31180
c lw 31244
c lw 31682
c lw 31746
c lw 31808
c lw 31878
c lw 31889
c lw 32426
c lw 32430
c lw 32432
c lw 32476
c lw 33026
c lw 33030
c lw 33058
c lw 33061
c lw 33064
c lw 33065
c lw 33066
c lw 33067
c lw 33068
c lw 33079
c lw 33081
c lw 33084
c lw 33086
c lw 33133
c lw 33134
c lw 33135
c lw 33163
c lw 33164
c lw 33165
c lw 33166
c lw 33168
c lw 33169
c lw 33170
c lw 33175
c lw 33178
c lw 33184
c lw 33204
c lw 33205
c lw 33207
c lw 33208
c lw 33209
c lw 33211
c lw 33212
c lw 33214
c lw 33215
c lw 33216
c lw 33217
c lw 33218
c lw 33219
c lw 33220
c lw 33221
c lw 33224
c lw 33225
c lw 33226
c lw 33227
c lw 33228
c lw 33229
c lw 33230
c lw 33231
c lw 33232
c lw 33233
c lw 33234
c lw 33235
c lw 33236
c lw 33237
c lw 33238
c lw 33239
c lw 33240
c lw 33241
c lw 33242
c lw 33243
c lw 33244
c lw 33245
c lw 33246
c lw 33247
c lw 33248
c lw 33249
c lw 33250
c lw 33251
c lw 33252
c lw 33253
c lw 33254
c lw 33255
c lw 33256
c lw 33258
c lw 33259
c lw 33260
c lw 33261
c lw 33262
c lw 33263
c lw 33264
c lw 33265
c lw 33266
c lw 33267
c lw 33268
c lw 33269
c lw 33270
c lw 33271
c lw 33272
c lw 33273
c lw 33274
c lw 33275
c lw 33276