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_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_100_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 660
c lw 711
c lw 1320
c lw 1422
c lw 1980
c lw 2133
c lw 2640
c lw 2844
c lw 3351
c lw 3555
c lw 4062
c lw 4266
c lw 4773
c lw 4977
c lw 5484
c lw 5688
c lw 6195
c lw 6399
c lw 6906
c lw 7110
c lw 7617
c lw 7821
c lw 8328
c lw 8532
c lw 9039
c lw 9243
c lw 9750
c lw 9954
c lw 10461
c lw 10665
c lw 11172
c lw 11376
c lw 11883
c lw 12087
c lw 12594
c lw 12798
c lw 13305
c lw 13509
c lw 14016
c lw 14220
c lw 14727
c lw 14931
c lw 15441
c lw 15642
c lw 16152
c lw 16353
c lw 16863
c lw 16968
c lw 17064
c lw 17574
c lw 17775
c lw 18285
c lw 18486
c lw 18996
c lw 19008
c lw 19197
c lw 19707
c lw 19719
c lw 20082
c lw 20229
c lw 20445
c lw 20739
c lw 20808
c lw 21171
c lw 21249
c lw 21534
c lw 21759
c lw 21897
c lw 22260
c lw 22269
c lw 22623
c lw 22779
c lw 22986
c lw 23289
c lw 23349
c lw 23712
c lw 23799
c lw 24075
c lw 24309
c lw 24438
c lw 24801
c lw 24819
c lw 25164
c lw 25329
c lw 25527
c lw 25839
c lw 25890
c lw 26349
c lw 26400
c lw 26859
c lw 26910
c lw 27369
c lw 27420
c lw 27879
c lw 27930
c lw 28389
c lw 28440
c lw 28899
c lw 28938
c lw 29409
c lw 29448
c lw 29919
c lw 29958
c lw 30429
c lw 30468
c lw 30939
c lw 30978
c lw 30990
c lw 31179
c lw 31191
c lw 31203
c lw 31275
c lw 31449
c lw 31488
c lw 31593
c lw 31605
c lw 31851
c lw 31998
c lw 32322
c lw 32361
c lw 32508
c lw 32832
c lw 32871
c lw 33018
c lw 33069
c lw 33330
c lw 33384
c lw 33531
c lw 33588
c lw 33735
c lw 33786
c lw 33840
c lw 34098
c lw 34149
c lw 34245
c lw 34296
c lw 34557
c lw 34608
c lw 34704
c lw 34755
c lw 35016
c lw 35103
c lw 35163
c lw 35214
c lw 35379
c lw 35397
c lw 35526
c lw 35724
c lw 35742
c lw 35958
c lw 36018
c lw 36045
c lw 36174
c lw 36225
c lw 36234
c lw 36399
c lw 36537
c lw 36588
c lw 36624
c lw 36666
c lw 36873
c lw 36942
c lw 36987
c lw 37134
c lw 37236
c lw 37440
c lw 37494
c lw 37698
c lw 37743
c lw 37947
c lw 38001
c lw 38205
c lw 38250
c lw 38454
c lw 38508
c lw 38712
c lw 38757
c lw 38961
c lw 39015
c lw 39219
c lw 39264
c lw 39468
c lw 39522
c lw 39726
c lw 39771
c lw 39975
c lw 40029
c lw 40233
c lw 40278
c lw 40482
c lw 40536
c lw 40740
c lw 40785
c lw 40989
c lw 41043
c lw 41247
c lw 41292
c lw 41445
c lw 41550
c lw 41652
c lw 41850
c lw 41997
c lw 42030
c lw 42066
c lw 42360
c lw 42375
c lw 42387
c lw 42399
c lw 42411
c lw 42471
c lw 42576
c lw 42588
c lw 42693
c lw 42726
c lw 42741
c lw 42753
c lw 42765
c lw 42777
c lw 42918
c lw 42999
c lw 43044
c lw 43071
c lw 43086
c lw 43143
c lw 43158
c lw 43185
c lw 43188
c lw 43203
c lw 43251
c lw 43260
c lw 43278
c lw 43332
c lw 43341
c lw 43344
c lw 43389
c lw 43392
c lw 43407
c lw 43434
c lw 43449
c lw 43500
c lw 43539
c lw 43548
c lw 43593
c lw 43632
c lw 43677
c lw 43680
c lw 43686
c lw 43695
c lw 43722
c lw 43737
c lw 43746
c lw 43767
c lw 43782
c lw 43794
c lw 43836
c lw 43842
c lw 43959
c lw 44001
c lw 44013
c lw 44100
c lw 44139
c lw 44187
c lw 44214
c lw 44217
c lw 44259
c lw 44286
c lw 44304
c lw 44316
c lw 44421
c lw 44424
c lw 44463
c lw 44493
c lw 44523
c lw 44553
c lw 44568
c lw 44580
c lw 44592
c lw 44598
c lw 44751
c lw 44754
c lw 44760
c lw 44781
c lw 44802
c lw 44808
c lw 44811
c lw 44835
c lw 44877
c lw 44913
c lw 45057
c lw 45069
c lw 45114
c lw 45117
c lw 45120
c lw 45123
c lw 45126
c lw 45138
c lw 45189
c lw 45213
c lw 45363
c lw 45381
c lw 45435
c lw 45471
c lw 45531
c lw 45588
c lw 45621
c lw 45669
c lw 45747
c lw 45780
c lw 45834
c lw 45840
c lw 45858
c lw 45903
c lw 45936
c lw 45948
c lw 45951
c lw 45954
c lw 45957
c lw 45990
c lw 45993
c lw 46020
c lw 46068
c lw 46074
c lw 46077
c lw 46083
c lw 46122
c lw 46164
c lw 46329
c lw 46344
c lw 46356
c lw 46362
c lw 46374
c lw 46422
c lw 46467
c lw 46479
c lw 46530
c lw 46557
c lw 46569
c lw 46662
c lw 46809
c lw 46830
c lw 46842
c lw 46848
c lw 46854
c lw 46890
c lw 46923
c lw 47001
c lw 47007
c lw 47013
c lw 47016
c lw 47025
c lw 47028
c lw 47031
c lw 47034
c lw 47079
c lw 47148
c lw 47181
c lw 47184
c lw 47187
c lw 47220
c lw 47226
c lw 47253
c lw 47256
c lw 47286
c lw 47289
c lw 47364
c lw 47388
c lw 47394
c lw 47406
c lw 47433
c lw 47466
c lw 47526
c lw 47532
c lw 47535
c lw 47550
c lw 47568
c lw 47577
c lw 47580
c lw 47589
c lw 47595
c lw 47598
c lw 47604
c lw 47622
c lw 47637
c lw 47697
c lw 47748
c lw 47766
c lw 47772
c lw 47787
c lw 47805
c lw 47814
c lw 47817
c lw 47823
c lw 47829
c lw 47832
c lw 47835
c lw 47838
c lw 47844
c lw 47955
c lw 47961
c lw 47973
c lw 47976
c lw 47982
c lw 48000
c lw 48006
c lw 48009
c lw 48012
c lw 48015
c lw 48018
c lw 48060
c lw 48198
c lw 48249
c lw 48300
c lw 48372
c lw 48417
c lw 48423
c lw 48474
c lw 48480
c lw 48483
c lw 48486
c lw 48492
c lw 48498
c lw 48507
c lw 48510
c lw 48516
c lw 48522
c lw 48525
c lw 48528
c lw 48531
c lw 48534
c lw 48537
c lw 48540
c lw 48543
c lw 48690
c lw 48696
c lw 48708
c lw 48711
c lw 48723
c lw 48735
c lw 48753
c lw 48756
c lw 48759
c lw 48762
c lw 48765
c lw 48768
c lw 48771
c lw 48774
c lw 48777
c lw 48780
c lw 48783
c lw 48786
c lw 48798
c lw 48813
c lw 48816
c lw 48825
c lw 48837
c lw 48840
c lw 48843
c lw 48852
c lw 48855
c lw 48858
c lw 48861
c lw 48864
c lw 48867
c lw 48870
c lw 48873
c lw 48945
c lw 48948
c lw 48951
c lw 48969
c lw 48981
c lw 48984
c lw 48990
c lw 48993
c lw 48996
c lw 48999
c lw 49002
c lw 49008
c lw 49011
c lw 49014
c lw 49017
c lw 49020
c lw 49023
c lw 49026
c lw 49029
c lw 49032
c lw 49035
c lw 49038
c lw 49077
c lw 49080
c lw 49083
c lw 49086
c lw 49089
c lw 49092
c lw 49095
c lw 49098
c lw 49101
c lw 49104
c lw 49107
c lw 49110
c lw 49113
c lw 49116
c lw 49119
c lw 49122
c lw 49125
c lw 49128
c lw 49131
c lw 49140
c lw 49143
c lw 49146
c lw 49155
c lw 49158
c lw 49161
c lw 49164
c lw 49167
c lw 49170
c lw 49173
c lw 49176
c lw 49182
c lw 49185
c lw 49188
c lw 49191
c lw 49194
c lw 49197
c lw 49218
c lw 49221
c lw 49224
c lw 49227
c lw 49230
c lw 49233
c lw 49236
c lw 49239
c lw 49242
c lw 49245
c lw 49248
c lw 49251
c lw 49299
c lw 49302
c lw 49344
c lw 49347
c lw 49350
c lw 49353
c lw 49371
c lw 49374
c lw 49377
c lw 49380
c lw 49383
c lw 49386
c lw 49389
c lw 49392
c lw 49395
c lw 49398
c lw 49401
c lw 49404
c lw 49407
c lw 49410
c lw 49413
c lw 49416
c lw 49419
c lw 49422
c lw 49425
c lw 49428
c lw 49431
c lw 49434
c lw 49437
c lw 49440
c lw 49443
c lw 49446
c lw 49449
c lw 49500
c lw 49503
c lw 49506
c lw 49515
c lw 49518
c lw 49521
c lw 49524
c lw 49527
c lw 49530
c lw 49533
c lw 49539
c lw 49542
c lw 49548
c lw 49551
c lw 49554
c lw 49557
c lw 49563
c lw 49566
c lw 49590
c lw 49593
c lw 49596
c lw 49599
c lw 49602
c lw 49605
c lw 49608
c lw 49641
c lw 49644
c lw 49647
c lw 49650
c lw 49653
c lw 49656
c lw 49659
c lw 49662
c lw 49665
c lw 49668
c lw 49671
c lw 49674
c lw 49677
c lw 49680
c lw 49683
c lw 49686
c lw 49689
c lw 49692
c lw 49695
c lw 49698
c lw 49701
c lw 49704
c lw 49710
c lw 49713
c lw 49716
c lw 49719
c lw 49722
c lw 49725
c lw 49728