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_80_0005.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_80_0005.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 346
c lw 644
c lw 692
c lw 1038
c lw 1288
c lw 1384
c lw 1730
c lw 1932
c lw 2076
c lw 2422
c lw 2576
c lw 2768
c lw 3114
c lw 3220
c lw 3460
c lw 3806
c lw 3864
c lw 4152
c lw 4508
c lw 4597
c lw 5042
c lw 5152
c lw 5487
c lw 5796
c lw 5932
c lw 6377
c lw 6440
c lw 6822
c lw 7084
c lw 7267
c lw 7712
c lw 7728
c lw 8157
c lw 8372
c lw 8602
c lw 9016
c lw 9047
c lw 9492
c lw 9660
c lw 9937
c lw 10304
c lw 10581
c lw 10948
c lw 11225
c lw 11592
c lw 11869
c lw 12236
c lw 12513
c lw 12625
c lw 12880
c lw 12992
c lw 13381
c lw 13493
c lw 13524
c lw 13636
c lw 13748
c lw 13860
c lw 13949
c lw 14040
c lw 14133
c lw 14162
c lw 14226
c lw 14319
c lw 14412
c lw 14464
c lw 14505
c lw 14598
c lw 14691
c lw 14766
c lw 14784
c lw 14877
c lw 14989
c lw 15068
c lw 15101
c lw 15213
c lw 15325
c lw 15370
c lw 15437
c lw 15549
c lw 15661
c lw 15672
c lw 15773
c lw 15885
c lw 15974
c lw 15997
c lw 16109
c lw 16221
c lw 16276
c lw 16333
c lw 16445
c lw 16557
c lw 16578
c lw 16669
c lw 16781
c lw 16880
c lw 16893
c lw 17005
c lw 17117
c lw 17182
c lw 17229
c lw 17484
c lw 17531
c lw 17786
c lw 17898
c lw 18063
c lw 18110
c lw 18222
c lw 18334
c lw 18365
c lw 18446
c lw 18477
c lw 18530
c lw 18589
c lw 18866
c lw 18945
c lw 18978
c lw 18996
c lw 19009
c lw 19038
c lw 19085
c lw 19130
c lw 19197
c lw 19230
c lw 19242
c lw 19264
c lw 19307
c lw 19363
c lw 19376
c lw 19389
c lw 19419
c lw 19440
c lw 19475
c lw 19510
c lw 19552
c lw 19565
c lw 19609
c lw 19622
c lw 19677
c lw 19700
c lw 19711
c lw 19734
c lw 19745
c lw 19823
c lw 19835
c lw 19857
c lw 19910
c lw 19924
c lw 19947
c lw 19999
c lw 20003
c lw 20040
c lw 20044
c lw 20073
c lw 20092
c lw 20137
c lw 20156
c lw 20187
c lw 20358
c lw 20454
c lw 20502
c lw 20554
c lw 20752
c lw 20800
c lw 20831
c lw 20848
c lw 21146
c lw 21194
c lw 21198
c lw 21471
c lw 21475
c lw 21561
c lw 21639
c lw 21670
c lw 21975
c lw 22006
c lw 22205
c lw 22221
c lw 22435
c lw 22618
c lw 22666
c lw 22697
c lw 22729
c lw 22865
c lw 23048
c lw 23142
c lw 23296
c lw 23357
c lw 23440
c lw 23488
c lw 23598
c lw 23692
c lw 23781
c lw 23933
c lw 23991
c lw 24048
c lw 24221
c lw 24327
c lw 24337
c lw 24461
c lw 24471
c lw 24552
c lw 24560
c lw 24573
c lw 24673
c lw 24685
c lw 24716
c lw 24752
c lw 24756
c lw 24773
c lw 24800
c lw 24821
c lw 24852
c lw 25050
c lw 25098
c lw 25102
c lw 25185
c lw 25216
c lw 25277
c lw 25325
c lw 25356
c lw 25396
c lw 25400
c lw 25483
c lw 25493
c lw 25506
c lw 25596
c lw 25599
c lw 25602
c lw 25612
c lw 25617
c lw 25620
c lw 25630
c lw 25671
c lw 25692
c lw 25711
c lw 25714
c lw 25719
c lw 25729
c lw 25730
c lw 25750
c lw 25823
c lw 25826
c lw 25827
c lw 25829
c lw 25834
c lw 25837
c lw 25864
c lw 25912
c lw 25920
c lw 25921
c lw 25923
c lw 25925
c lw 25926
c lw 25928
c lw 25929
c lw 25930
c lw 25932
c lw 25933
c lw 25954
c lw 25955
c lw 25956
c lw 25981
c lw 25983
c lw 25984
c lw 25985
c lw 25986
c lw 25988
c lw 25989
c lw 25990
c lw 25991
c lw 25992
c lw 25993
c lw 25996
c lw 26009
c lw 26020
c lw 26081
c lw 26152
c lw 26172
c lw 26184
c lw 26217
c lw 26229
c lw 26241
c lw 26248
c lw 26261
c lw 26272
c lw 26281
c lw 26306
c lw 26356
c lw 26363
c lw 26367
c lw 26383
c lw 26451
c lw 26482
c lw 26545
c lw 26550
c lw 26566
c lw 26573
c lw 26599
c lw 26615
c lw 26620
c lw 26622
c lw 26624
c lw 26631
c lw 26646
c lw 26648
c lw 26655
c lw 26657
c lw 26659
c lw 26662
c lw 26664
c lw 26667
c lw 26672
c lw 26678
c lw 26680
c lw 26682
c lw 26683
c lw 26684
c lw 26685
c lw 26687
c lw 26688
c lw 26692
c lw 26761
c lw 26788
c lw 26847
c lw 26851
c lw 26965
c lw 27008
c lw 27011
c lw 27013
c lw 27040
c lw 27043
c lw 27044
c lw 27047
c lw 27049
c lw 27051
c lw 27111
c lw 27116
c lw 27132
c lw 27133
c lw 27147
c lw 27150
c lw 27157
c lw 27170
c lw 27191
c lw 27194
c lw 27197
c lw 27200
c lw 27221
c lw 27231
c lw 27369
c lw 27377
c lw 27428
c lw 27430
c lw 27460
c lw 27468
c lw 27475
c lw 27506
c lw 27542
c lw 27573
c lw 27575
c lw 27577
c lw 27582
c lw 27590
c lw 27605
c lw 27612
c lw 27615
c lw 27624
c lw 27636
c lw 27638
c lw 27646
c lw 27648
c lw 27649
c lw 27650
c lw 27651
c lw 27654
c lw 27655
c lw 27656
c lw 27657
c lw 27659
c lw 27660
c lw 27661
c lw 27662
c lw 27664
c lw 27665
c lw 27666
c lw 27667
c lw 27668
c lw 27669
c lw 27670
c lw 27671
c lw 27672
c lw 27673
c lw 27674
c lw 27677
c lw 27679
c lw 27681
c lw 27685
c lw 27693
c lw 27700
c lw 27708
c lw 27709
c lw 27710
c lw 27729
c lw 27737
c lw 27745
c lw 27747
c lw 27766
c lw 27784
c lw 27785
c lw 27809
c lw 27812
c lw 27837
c lw 27839
c lw 27840
c lw 27842
c lw 27843
c lw 27857
c lw 27861
c lw 27862
c lw 27865
c lw 27866
c lw 27867
c lw 27868
c lw 27883
c lw 27893
c lw 27900
c lw 27914
c lw 27930
c lw 27936
c lw 27937
c lw 27938
c lw 27939
c lw 27940
c lw 27943
c lw 27946
c lw 27947
c lw 27950
c lw 27963
c lw 27983
c lw 27986
c lw 28003
c lw 28065
c lw 28070
c lw 28072
c lw 28074
c lw 28112
c lw 28114
c lw 28117
c lw 28118
c lw 28119
c lw 28120
c lw 28121
c lw 28144
c lw 28154
c lw 28199
c lw 28208
c lw 28209
c lw 28213
c lw 28218
c lw 28219
c lw 28220
c lw 28221
c lw 28222
c lw 28231
c lw 28232
c lw 28254
c lw 28258
c lw 28259
c lw 28267
c lw 28268
c lw 28281
c lw 28290
c lw 28299
c lw 28309
c lw 28319
c lw 28320
c lw 28323
c lw 28324
c lw 28325
c lw 28326
c lw 28327
c lw 28328
c lw 28334
c lw 28335
c lw 28336
c lw 28348
c lw 28349
c lw 28350
c lw 28353
c lw 28364
c lw 28377
c lw 28386
c lw 28388
c lw 28390
c lw 28399
c lw 28406
c lw 28409
c lw 28410
c lw 28413
c lw 28414
c lw 28415
c lw 28417
c lw 28430
c lw 28458
c lw 28484
c lw 28487
c lw 28488
c lw 28489
c lw 28490
c lw 28493
c lw 28494
c lw 28495
c lw 28496
c lw 28497
c lw 28501
c lw 28502
c lw 28503
c lw 28504
c lw 28505
c lw 28506
c lw 28507
c lw 28508
c lw 28509
c lw 28510
c lw 28511
c lw 28514
c lw 28516
c lw 28519
c lw 28520
c lw 28521
c lw 28524
c lw 28534
c lw 28535
c lw 28537
c lw 28538
c lw 28541
c lw 28542
c lw 28543
c lw 28544
c lw 28545
c lw 28546
c lw 28547
c lw 28548
c lw 28549
c lw 28550
c lw 28551
c lw 28552
c lw 28553
c lw 28554
c lw 28555
c lw 28556
c lw 28557
c lw 28558
c lw 28559
c lw 28560
c lw 28561
c lw 28563
c lw 28565
c lw 28573
c lw 28594
c lw 28596
c lw 28598
c lw 28599
c lw 28600
c lw 28601
c lw 28604
c lw 28605
c lw 28606
c lw 28607
c lw 28609
c lw 28610
c lw 28611
c lw 28612
c lw 28613
c lw 28614
c lw 28615
c lw 28616
c lw 28617
c lw 28618
c lw 28619
c lw 28620
c lw 28621
c lw 28622
c lw 28623
c lw 28624
c lw 28625
c lw 28626
c lw 28627
c lw 28628
c lw 28629
c lw 28630
c lw 28631
c lw 28632
c lw 28634
c lw 28635
c lw 28636
c lw 28637
c lw 28639
c lw 28640
c lw 28641
c lw 28642
c lw 28643
c lw 28644
c lw 28646
c lw 28647
c lw 28648
c lw 28649
c lw 28650
c lw 28651
c lw 28652