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_120_0000.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_120_0000.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 505
c lw 678
c lw 1010
c lw 1356
c lw 1515
c lw 2034
c lw 2047
c lw 2579
c lw 2712
c lw 3131
c lw 3390
c lw 3683
c lw 4068
c lw 4235
c lw 4746
c lw 4787
c lw 5339
c lw 5424
c lw 5891
c lw 6102
c lw 6443
c lw 6780
c lw 6995
c lw 7458
c lw 7547
c lw 8099
c lw 8136
c lw 8777
c lw 8814
c lw 9455
c lw 9492
c lw 10133
c lw 10170
c lw 10811
c lw 10848
c lw 11489
c lw 11526
c lw 12167
c lw 12204
c lw 12845
c lw 12882
c lw 13523
c lw 13560
c lw 14201
c lw 14238
c lw 14879
c lw 14916
c lw 15557
c lw 15594
c lw 16103
c lw 16272
c lw 16781
c lw 16950
c lw 17459
c lw 17628
c lw 18137
c lw 18306
c lw 18815
c lw 18984
c lw 19493
c lw 19625
c lw 20173
c lw 20224
c lw 20721
c lw 20823
c lw 21288
c lw 21422
c lw 21855
c lw 22021
c lw 22443
c lw 22620
c lw 23042
c lw 23219
c lw 23641
c lw 23818
c lw 24240
c lw 24417
c lw 24839
c lw 25016
c lw 25438
c lw 25615
c lw 26037
c lw 26214
c lw 26636
c lw 26813
c lw 27235
c lw 27412
c lw 27834
c lw 28011
c lw 28433
c lw 28610
c lw 29032
c lw 29209
c lw 29631
c lw 29808
c lw 30230
c lw 30407
c lw 30829
c lw 31006
c lw 31428
c lw 31605
c lw 32027
c lw 32204
c lw 32626
c lw 32803
c lw 33093
c lw 33402
c lw 33523
c lw 33953
c lw 34001
c lw 34383
c lw 34600
c lw 34813
c lw 35199
c lw 35243
c lw 35752
c lw 35798
c lw 36307
c lw 36351
c lw 36851
c lw 36860
c lw 37360
c lw 37369
c lw 37869
c lw 37878
c lw 38378
c lw 38387
c lw 38887
c lw 38896
c lw 39396
c lw 39405
c lw 39905
c lw 39914
c lw 40414
c lw 40423
c lw 40923
c lw 40932
c lw 41432
c lw 41441
c lw 41941
c lw 41950
c lw 42450
c lw 42459
c lw 42959
c lw 42968
c lw 43468
c lw 43477
c lw 43977
c lw 43986
c lw 44486
c lw 44495
c lw 44995
c lw 45004
c lw 45504
c lw 45513
c lw 46013
c lw 46022
c lw 46522
c lw 46531
c lw 47031
c lw 47040
c lw 47496
c lw 47549
c lw 48005
c lw 48058
c lw 48514
c lw 48551
c lw 48599
c lw 48640
c lw 49066
c lw 49110
c lw 49192
c lw 49229
c lw 49245
c lw 49275
c lw 49328
c lw 49575
c lw 49619
c lw 49754
c lw 49763
c lw 49784
c lw 49916
c lw 50170
c lw 50293
c lw 50302
c lw 50386
c lw 50476
c lw 50555
c lw 50693
c lw 50724
c lw 50772
c lw 50937
c lw 50941
c lw 51062
c lw 51154
c lw 51250
c lw 51323
c lw 51492
c lw 51540
c lw 51669
c lw 52009
c lw 52076
c lw 52085
c lw 52174
c lw 52487
c lw 52524
c lw 52646
c lw 52694
c lw 52891
c lw 53068
c lw 53166
c lw 53175
c lw 53408
c lw 53445
c lw 53587
c lw 53758
c lw 53795
c lw 54086
c lw 54123
c lw 54399
c lw 54436
c lw 54727
c lw 54764
c lw 55040
c lw 55077
c lw 55368
c lw 55405
c lw 55681
c lw 55718
c lw 56009
c lw 56046
c lw 56135
c lw 56322
c lw 56561
c lw 56570
c lw 56657
c lw 56666
c lw 57061
c lw 57070
c lw 57157
c lw 57166
c lw 57561
c lw 57570
c lw 57657
c lw 57666
c lw 58061
c lw 58070
c lw 58157
c lw 58166
c lw 58561
c lw 58570
c lw 58657
c lw 58666
c lw 59061
c lw 59070
c lw 59157
c lw 59166
c lw 59561
c lw 59570
c lw 59657
c lw 59666
c lw 60061
c lw 60070
c lw 60157
c lw 60166
c lw 60561
c lw 60570
c lw 60657
c lw 60872
c lw 60881
c lw 60994
c lw 61092
c lw 61222
c lw 61461
c lw 61628
c lw 61733
c lw 61846
c lw 61992
c lw 62026
c lw 62159
c lw 62265
c lw 62278
c lw 62558
c lw 62717
c lw 62784
c lw 62904
c lw 62957
c lw 63116
c lw 63293
c lw 63361
c lw 63470
c lw 63538
c lw 63715
c lw 63892
c lw 64137
c lw 64314
c lw 64382
c lw 64480
c lw 64559
c lw 64607
c lw 64784
c lw 64950
c lw 65048
c lw 65059
c lw 65236
c lw 65372
c lw 65451
c lw 65492
c lw 65658
c lw 65794
c lw 65835
c lw 66039
c lw 66080
c lw 66284
c lw 66325
c lw 66461
c lw 66572
c lw 66613
c lw 66817
c lw 66994
c lw 67036
c lw 67128
c lw 67138
c lw 67411
c lw 67462
c lw 67625
c lw 67666
c lw 67669
c lw 67673
c lw 67714
c lw 67751
c lw 67970
c lw 68018
c lw 68263
c lw 68316
c lw 68383
c lw 68397
c lw 68436
c lw 68475
c lw 68489
c lw 68502
c lw 68503
c lw 68537
c lw 68643
c lw 68683
c lw 68768
c lw 68776
c lw 68781
c lw 68809
c lw 68823
c lw 68849
c lw 68863
c lw 68915
c lw 69045
c lw 69122
c lw 69126
c lw 69159
c lw 69176
c lw 69192
c lw 69196
c lw 69289
c lw 69293
c lw 69310
c lw 69317
c lw 69322
c lw 69323
c lw 69331
c lw 69336
c lw 69341
c lw 69344
c lw 69350
c lw 69353
c lw 69355
c lw 69356
c lw 69357
c lw 69358
c lw 69361
c lw 69365
c lw 69366
c lw 69399
c lw 69400
c lw 69402
c lw 69495
c lw 69499
c lw 69515
c lw 69564
c lw 69573
c lw 69788
c lw 69795
c lw 70027
c lw 70034
c lw 70050
c lw 70051
c lw 70067
c lw 70071
c lw 70072
c lw 70073
c lw 70084
c lw 70088
c lw 70091
c lw 70095
c lw 70096
c lw 70097
c lw 70102
c lw 70106
c lw 70116
c lw 70133
c lw 70137
c lw 70230
c lw 70234
c lw 70241
c lw 70242
c lw 70279
c lw 70316
c lw 70331
c lw 70511
c lw 70518
c lw 70555
c lw 70585
c lw 70622
c lw 70644
c lw 70651
c lw 70906
c lw 70921
c lw 71145
c lw 71167
c lw 71181
c lw 71196
c lw 71203
c lw 71218
c lw 71233
c lw 71270
c lw 71277
c lw 71292
c lw 71329
c lw 71338
c lw 71435
c lw 71517
c lw 71542
c lw 71553
c lw 71568
c lw 71575
c lw 71590
c lw 71595
c lw 71627
c lw 71649
c lw 71658
c lw 71664
c lw 71734
c lw 71761
c lw 71766
c lw 71786
c lw 71795
c lw 71811
c lw 71820
c lw 71832
c lw 71899
c lw 71925
c lw 72005
c lw 72010
c lw 72014
c lw 72132
c lw 72137
c lw 72146
c lw 72219
c lw 72257
c lw 72270
c lw 72309
c lw 72327
c lw 72328
c lw 72407
c lw 72417
c lw 72422
c lw 72424
c lw 72430
c lw 72431
c lw 72435
c lw 72506
c lw 72507
c lw 72508
c lw 72512
c lw 72513
c lw 72522
c lw 72534
c lw 72572
c lw 72581
c lw 72627
c lw 72637
c lw 72678
c lw 72720
c lw 72761
c lw 72802
c lw 72812
c lw 72841
c lw 72843
c lw 72853
c lw 72951
c lw 73019
c lw 73060
c lw 73101
c lw 73155
c lw 73186
c lw 73197
c lw 73306
c lw 73374
c lw 73483
c lw 73520
c lw 73524
c lw 73535
c lw 73614
c lw 73655
c lw 73701
c lw 73731
c lw 73821
c lw 73862
c lw 73984
c lw 74039
c lw 74118
c lw 74120
c lw 74131
c lw 74161
c lw 74294
c lw 74302
c lw 74310
c lw 74338
c lw 74366
c lw 74392
c lw 74447
c lw 74458
c lw 74484
c lw 74514
c lw 74537
c lw 74583
c lw 74616
c lw 74618
c lw 74624
c lw 74644
c lw 74648
c lw 74659
c lw 74678
c lw 74721
c lw 74789
c lw 74830
c lw 74898
c lw 74923
c lw 74966
c lw 74982
c lw 74991
c lw 75016
c lw 75025
c lw 75043
c lw 75046
c lw 75073
c lw 75141
c lw 75154
c lw 75169
c lw 75172
c lw 75179
c lw 75184
c lw 75187
c lw 75199
c lw 75202
c lw 75205
c lw 75208
c lw 75211
c lw 75212
c lw 75214
c lw 75217
c lw 75220
c lw 75221
c lw 75223
c lw 75224
c lw 75228
c lw 75229
c lw 75232
c lw 75234
c lw 75248
c lw 75251
c lw 75252
c lw 75254
c lw 75260
c lw 75261
c lw 75262
c lw 75263
c lw 75264
c lw 75280
c lw 75282
c lw 75283
c lw 75285
c lw 75287
c lw 75290
c lw 75291
c lw 75292
c lw 75294
c lw 75297
c lw 75298
c lw 75305
c lw 75313
c lw 75319
c lw 75321
c lw 75351
c lw 75352
c lw 75353
c lw 75361
c lw 75365
c lw 75370
c lw 75392
c lw 75395
c lw 75398
c lw 75404
c lw 75405
c lw 75416
c lw 75431
c lw 75442
c lw 75447
c lw 75450
c lw 75451
c lw 75452
c lw 75453
c lw 75455
c lw 75457
c lw 75463
c lw 75468
c lw 75472
c lw 75473
c lw 75476
c lw 75477
c lw 75478
c lw 75479
c lw 75486
c lw 75502
c lw 75514
c lw 75515
c lw 75517
c lw 75518
c lw 75523
c lw 75526
c lw 75530
c lw 75531
c lw 75543
c lw 75547
c lw 75563
c lw 75569
c lw 75570
c lw 75571
c lw 75574
c lw 75576
c lw 75577
c lw 75578
c lw 75579
c lw 75580
c lw 75582
c lw 75583
c lw 75606
c lw 75607
c lw 75608
c lw 75609
c lw 75610
c lw 75611
c lw 75612
c lw 75613
c lw 75614
c lw 75615
c lw 75616
c lw 75617
c lw 75618
c lw 75619
c lw 75620
c lw 75621
c lw 75622
c lw 75623
c lw 75624
c lw 75625
c lw 75626
c lw 75627
c lw 75628
c lw 75629
c lw 75630
c lw 75631
c lw 75632
c lw 75633
c lw 75634
c lw 75635
c lw 75636
c lw 75637
c lw 75638
c lw 75641
c lw 75642
c lw 75643
c lw 75644
c lw 75647
c lw 75648
c lw 75649
c lw 75650
c lw 75651
c lw 75652
c lw 75653
c lw 75654
c lw 75657
c lw 75660
c lw 75672
c lw 75760
c lw 75761
c lw 75762
c lw 75763
c lw 75789
c lw 75824
c lw 75825
c lw 75826
c lw 75827
c lw 75828
c lw 75829
c lw 75830
c lw 75831
c lw 75834
c lw 75835
c lw 75836
c lw 75837
c lw 75838
c lw 75839
c lw 75840
c lw 75841
c lw 75842
c lw 75843
c lw 75844
c lw 75845
c lw 75846
c lw 75847
c lw 75848
c lw 75849
c lw 75850
c lw 75851
c lw 75852
c lw 75853
c lw 75854
c lw 75855
c lw 75856
c lw 75857
c lw 75858
c lw 75859
c lw 75861
c lw 75862
c lw 75863
c lw 75864
c lw 75865
c lw 75866
c lw 75867
c lw 75868
c lw 75869
c lw 75870
c lw 75871
c lw 75875
c lw 75876
c lw 75877
c lw 75878
c lw 75879