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_160_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_160_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 55
c lw 61
c lw 110
c lw 122
c lw 165
c lw 183
c lw 223
c lw 244
c lw 281
c lw 305
c lw 339
c lw 366
c lw 400
c lw 427
c lw 461
c lw 488
c lw 522
c lw 549
c lw 583
c lw 610
c lw 644
c lw 671
c lw 705
c lw 732
c lw 766
c lw 793
c lw 827
c lw 854
c lw 888
c lw 915
c lw 949
c lw 976
c lw 1010
c lw 1037
c lw 1071
c lw 1098
c lw 1132
c lw 1159
c lw 1193
c lw 1220
c lw 1254
c lw 1281
c lw 1315
c lw 1342
c lw 1376
c lw 1403
c lw 1437
c lw 1464
c lw 1498
c lw 1525
c lw 1559
c lw 1586
c lw 1620
c lw 1647
c lw 1681
c lw 1708
c lw 1742
c lw 1769
c lw 1803
c lw 1830
c lw 3540
c lw 3631
c lw 5279
c lw 5432
c lw 7049
c lw 7233
c lw 8850
c lw 9034
c lw 10651
c lw 10835
c lw 12452
c lw 12636
c lw 14253
c lw 14437
c lw 16054
c lw 16238
c lw 17855
c lw 18039
c lw 19656
c lw 19840
c lw 21457
c lw 21641
c lw 23258
c lw 23442
c lw 25059
c lw 25243
c lw 26860
c lw 27044
c lw 28661
c lw 28845
c lw 30462
c lw 30646
c lw 32263
c lw 32447
c lw 34064
c lw 34248
c lw 35865
c lw 36049
c lw 37666
c lw 37850
c lw 39467
c lw 39651
c lw 41268
c lw 41452
c lw 43069
c lw 43253
c lw 43595
c lw 43726
c lw 45054
c lw 45396
c lw 45869
c lw 46211
c lw 46855
c lw 47197
c lw 48354
c lw 48656
c lw 48998
c lw 49038
c lw 50457
c lw 50799
c lw 50839
c lw 51134
c lw 51181
c lw 51434
c lw 51523
c lw 51734
c lw 51865
c lw 52034
c lw 52207
c lw 52334
c lw 52549
c lw 52634
c lw 52891
c lw 52934
c lw 53233
c lw 53234
c lw 53575
c lw 53576
c lw 53917
c lw 53918
c lw 54259
c lw 54260
c lw 54601
c lw 54602
c lw 54943
c lw 54944
c lw 55285
c lw 55286
c lw 55627
c lw 55628
c lw 55969
c lw 55970
c lw 56311
c lw 56312
c lw 56653
c lw 56654
c lw 56995
c lw 56996
c lw 57337
c lw 57338
c lw 57679
c lw 57680
c lw 58021
c lw 58022
c lw 58363
c lw 58364
c lw 58666
c lw 58705
c lw 59008
c lw 59047
c lw 59350
c lw 59390
c lw 59692
c lw 59994
c lw 60165
c lw 60204
c lw 60243
c lw 60336
c lw 60376
c lw 60545
c lw 60546
c lw 60678
c lw 60718
c lw 60980
c lw 61151
c lw 61493
c lw 62137
c lw 62268
c lw 62321
c lw 62479
c lw 62610
c lw 62637
c lw 62821
c lw 63965
c lw 63966
c lw 64016
c lw 64200
c lw 64305
c lw 64489
c lw 65633
c lw 65817
c lw 65922
c lw 66106
c lw 67250
c lw 67434
c lw 67539
c lw 67723
c lw 68867
c lw 69051
c lw 69156
c lw 69340
c lw 70484
c lw 70668
c lw 70773
c lw 70957
c lw 72101
c lw 72285
c lw 72390
c lw 72574
c lw 73718
c lw 73902
c lw 74007
c lw 74191
c lw 75335
c lw 75519
c lw 75624
c lw 75808
c lw 76952
c lw 77136
c lw 77241
c lw 77425
c lw 78569
c lw 78753
c lw 78858
c lw 79011
c lw 80186
c lw 80187
c lw 80476
c lw 80477
c lw 80527
c lw 80528
c lw 80817
c lw 80818
c lw 80868
c lw 80869
c lw 81158
c lw 81159
c lw 81209
c lw 81210
c lw 81499
c lw 81500
c lw 81550
c lw 81551
c lw 81840
c lw 81841
c lw 81891
c lw 81892
c lw 82181
c lw 82182
c lw 82232
c lw 82233
c lw 82522
c lw 82523
c lw 82573
c lw 82616
c lw 82821
c lw 82912
c lw 83141
c lw 83150
c lw 83226
c lw 83277
c lw 83356
c lw 83399
c lw 83487
c lw 83525
c lw 83610
c lw 83614
c lw 83657
c lw 83778
c lw 83909
c lw 83936
c lw 83943
c lw 83950
c lw 83970
c lw 83984
c lw 83997
c lw 84017
c lw 84031
c lw 84034
c lw 84041
c lw 84055
c lw 84070
c lw 84076
c lw 84081
c lw 84098
c lw 84099
c lw 84110
c lw 84126
c lw 84137
c lw 84144
c lw 84160
c lw 84171
c lw 84178
c lw 84187
c lw 84205
c lw 84221
c lw 84232
c lw 84239
c lw 84248
c lw 84266
c lw 84282
c lw 84293
c lw 84300
c lw 84309
c lw 84327
c lw 84343
c lw 84354
c lw 84361
c lw 84370
c lw 84388
c lw 84404
c lw 84415
c lw 84422
c lw 84431
c lw 84449
c lw 84465
c lw 84476
c lw 84483
c lw 84523
c lw 84655
c lw 84957
c lw 85127
c lw 85259
c lw 85298
c lw 85337
c lw 85376
c lw 85391
c lw 85415
c lw 85455
c lw 85547
c lw 85548
c lw 85624
c lw 85664
c lw 85812
c lw 85821
c lw 85839
c lw 85853
c lw 85858
c lw 85873
c lw 85880
c lw 85900
c lw 85907
c lw 85910
c lw 85911
c lw 85912
c lw 85919
c lw 85922
c lw 85923
c lw 85938
c lw 85943
c lw 85946
c lw 85957
c lw 85970
c lw 85971
c lw 85978
c lw 85981
c lw 85991
c lw 86011
c lw 86018
c lw 86019
c lw 86028
c lw 86029
c lw 86031
c lw 86037
c lw 86038
c lw 86045
c lw 86049
c lw 86056
c lw 86061
c lw 86067
c lw 86072
c lw 86074
c lw 86079
c lw 86081
c lw 86084
c lw 86085
c lw 86087
c lw 86088
c lw 86090
c lw 86093
c lw 86094
c lw 86095
c lw 86096
c lw 86097
c lw 86098
c lw 86099
c lw 86100
c lw 86106
c lw 86107
c lw 86108
c lw 86110
c lw 86111
c lw 86112
c lw 86115
c lw 86116
c lw 86117
c lw 86118
c lw 86119
c lw 86120
c lw 86123
c lw 86124
c lw 86125
c lw 86126
c lw 86127
c lw 86128
c lw 86129
c lw 86130
c lw 86131
c lw 86132
c lw 86133
c lw 86135
c lw 86136
c lw 86137
c lw 86138
c lw 86139
c lw 86140
c lw 86141
c lw 86142
c lw 86143
c lw 86144
c lw 86145
c lw 86146
c lw 86153
c lw 86154
c lw 86155
c lw 86156
c lw 86157
c lw 86158
c lw 86159
c lw 86160
c lw 86161
c lw 86162
c lw 86169
c lw 86170
c lw 86171
c lw 86172
c lw 86173
c lw 86174
c lw 86175
c lw 86182
c lw 86183
c lw 86184
c lw 86185
c lw 86186
c lw 86187
c lw 86188
c lw 86189
c lw 86198
c lw 86199
c lw 86200
c lw 86201
c lw 86202
c lw 86203
c lw 86204
c lw 86205
c lw 86206
c lw 86207
c lw 86214
c lw 86216
c lw 86217
c lw 86218
c lw 86219
c lw 86220
c lw 86221
c lw 86228
c lw 86229
c lw 86231
c lw 86232
c lw 86233
c lw 86234
c lw 86235
c lw 86240
c lw 86243
c lw 86246
c lw 86249
c lw 86251
c lw 86252
c lw 86253
c lw 86254
c lw 86255
c lw 86256
c lw 86257
c lw 86258
c lw 86259
c lw 86260
c lw 86261
c lw 86262
c lw 86263
c lw 86264
c lw 86265
c lw 86269
c lw 86270
c lw 86271
c lw 86272
c lw 86273
c lw 86274
c lw 86277
c lw 86278
c lw 86279
c lw 86280
c lw 86281
c lw 86282
c lw 86283
c lw 86285
c lw 86286
c lw 86287
c lw 86288
c lw 86289
c lw 86290
c lw 86291
c lw 86292
c lw 86293
c lw 86294
c lw 86295
c lw 86311
c lw 86416
c lw 86417
c lw 86507
c lw 86541
c lw 86546
c lw 86548
c lw 86550
c lw 86551
c lw 86552
c lw 86553
c lw 86554
c lw 86555
c lw 86556
c lw 86614
c lw 86703
c lw 86705
c lw 86707
c lw 86739
c lw 86763
c lw 86764
c lw 86768
c lw 87785
c lw 87790
c lw 87915
c lw 87972
c lw 87973
c lw 87975
c lw 88005
c lw 88070
c lw 88118
c lw 88147
c lw 88188
c lw 88237
c lw 88253
c lw 88348
c lw 89322
c lw 89363
c lw 89378
c lw 89451
c lw 89467
c lw 89540
c lw 89546
c lw 89616
c lw 89764
c lw 89781
c lw 89805
c lw 89837
c lw 89873
c lw 89895
c lw 89931
c lw 89937
c lw 89943
c lw 90068
c lw 90879
c lw 90915
c lw 90932
c lw 90973
c lw 90979
c lw 90985
c lw 91062
c lw 91068
c lw 91204
c lw 91318
c lw 91324
c lw 91328
c lw 91335
c lw 91338
c lw 91348
c lw 91396
c lw 91412
c lw 91418
c lw 91425
c lw 91431
c lw 91448
c lw 91467
c lw 91473
c lw 91479
c lw 91548
c lw 91562
c lw 91568
c lw 91574
c lw 91575
c lw 91580
c lw 91581
c lw 91584
c lw 91588
c lw 91649
c lw 92593
c lw 92624
c lw 92641
c lw 92699
c lw 92743
c lw 92747
c lw 92749
c lw 92753
c lw 92754
c lw 92756
c lw 92758
c lw 92761
c lw 92762
c lw 92764
c lw 92765
c lw 92767
c lw 92768
c lw 92771
c lw 92779
c lw 92784
c lw 92785
c lw 92787
c lw 92793
c lw 92806
c lw 92812
c lw 92968
c lw 92974
c lw 92978
c lw 92991
c lw 93012
c lw 93016
c lw 93026
c lw 93090
c lw 93130
c lw 93195
c lw 93199
c lw 93275
c lw 93278
c lw 93302
c lw 93315
c lw 93339
c lw 93455
c lw 93499
c lw 94303
c lw 94306
c lw 94368
c lw 94382
c lw 94422
c lw 94527
c lw 94533
c lw 94624
c lw 94638
c lw 94682
c lw 94717
c lw 94720
c lw 94729
c lw 94735
c lw 94738
c lw 94760
c lw 94795
c lw 94952
c lw 94970
c lw 95047
c lw 95082
c lw 95124
c lw 95166
c lw 95169
c lw 95175
c lw 95184
c lw 95204
c lw 95219
c lw 95233
c lw 95257
c lw 95289
c lw 95324
c lw 95327
c lw 95328
c lw 95337
c lw 95340
c lw 95348
c lw 95372
c lw 95380
c lw 95387
c lw 95388
c lw 95442
c lw 95446
c lw 95448
c lw 95450
c lw 95451
c lw 95452
c lw 95453
c lw 95454
c lw 95457
c lw 95461
c lw 95465
c lw 95482
c lw 95483
c lw 95484
c lw 95486
c lw 95488
c lw 95489
c lw 95490
c lw 95491
c lw 95492
c lw 95493
c lw 95496
c lw 95498
c lw 95499
c lw 95500
c lw 95501
c lw 95503
c lw 95514
c lw 95515
c lw 95517
c lw 95525
c lw 95536
c lw 95537
c lw 95538
c lw 95539
c lw 95540
c lw 95541
c lw 95581
c lw 95615
c lw 95618
c lw 95621
c lw 95622
c lw 95624
c lw 95627
c lw 95629
c lw 95630
c lw 95631
c lw 95632
c lw 95633
c lw 95634
c lw 95635
c lw 95636
c lw 95637
c lw 95640
c lw 95646
c lw 95659
c lw 95662
c lw 95665
c lw 95684
c lw 95685
c lw 95886
c lw 95895
c lw 95913
c lw 95930
c lw 95953
c lw 95972
c lw 95988
c lw 96027
c lw 96042
c lw 96174
c lw 96198
c lw 96214
c lw 96250
c lw 96489
c lw 96516
c lw 96532
c lw 96539
c lw 96546
c lw 96561
c lw 96585
c lw 96593
c lw 96594
c lw 96600
c lw 96603
c lw 96616
c lw 96617
c lw 96623
c lw 96624
c lw 96625
c lw 96626
c lw 96627
c lw 96628
c lw 96629
c lw 96633
c lw 96635
c lw 96637
c lw 96640
c lw 96652
c lw 96668
c lw 96671
c lw 96672
c lw 96675
c lw 96683
c lw 96684
c lw 96691
c lw 96693
c lw 96694
c lw 96718
c lw 96727
c lw 96728
c lw 96779
c lw 96785
c lw 96805
c lw 96824
c lw 96825
c lw 96829
c lw 96910
c lw 96914
c lw 96949
c lw 96951
c lw 96954
c lw 96955
c lw 96959
c lw 96986
c lw 97029
c lw 97044
c lw 97065
c lw 97066
c lw 97067
c lw 97068
c lw 97069
c lw 97084
c lw 97085
c lw 97086
c lw 97087
c lw 97102
c lw 97114
c lw 97121
c lw 97122
c lw 97123
c lw 97125
c lw 97149
c lw 97161
c lw 97168
c lw 97173
c lw 97174
c lw 97175
c lw 97176
c lw 97178
c lw 97194
c lw 97198
c lw 97224
c lw 97225
c lw 97227
c lw 97229
c lw 97230
c lw 97231
c lw 97246
c lw 97247
c lw 97248
c lw 97249
c lw 97250
c lw 97251
c lw 97253
c lw 97256
c lw 97257
c lw 97258
c lw 97259
c lw 97260
c lw 97261
c lw 97262
c lw 97263
c lw 97264
c lw 97265
c lw 97268
c lw 97272
c lw 97428
c lw 97429
c lw 97432
c lw 97433
c lw 97434
c lw 97435
c lw 97436
c lw 97437
c lw 97438
c lw 97439
c lw 97448
c lw 97487
c lw 97496
c lw 97497
c lw 97498
c lw 97499
c lw 97500
c lw 97501
c lw 97502
c lw 97503
c lw 97504
c lw 97505
c lw 97506
c lw 97507
c lw 97508
c lw 97509
c lw 97510
c lw 97511
c lw 97512
c lw 97513
c lw 97514
c lw 97515
c lw 97516
c lw 97627
c lw 97628
c lw 97637
c lw 97638
c lw 97815
c lw 97816
c lw 97856
c lw 97857
c lw 97968
c lw 97969
c lw 97978
c lw 97979
c lw 98156
c lw 98157
c lw 98197
c lw 98198
c lw 98309
c lw 98310
c lw 98319
c lw 98320
c lw 98497
c lw 98498
c lw 98499
c lw 98500
c lw 98517
c lw 98518
c lw 98519
c lw 98520
c lw 98521
c lw 98522
c lw 98523
c lw 98524
c lw 98531
c lw 98532
c lw 98534
c lw 98535
c lw 98536
c lw 98537
c lw 98538
c lw 98539
c lw 98540
c lw 98541
c lw 98542
c lw 98547
c lw 98548
c lw 98549
c lw 98550
c lw 98551
c lw 98552
c lw 98553
c lw 98554
c lw 98555
c lw 98568
c lw 98570
c lw 98588
c lw 98589
c lw 98590
c lw 98591
c lw 98596
c lw 98599
c lw 98600
c lw 98601
c lw 98602
c lw 98607
c lw 98609
c lw 98611
c lw 98612
c lw 98613
c lw 98614
c lw 98615
c lw 98616
c lw 98617
c lw 98631
c lw 98634
c lw 98635
c lw 98636
c lw 98637
c lw 98640
c lw 98642
c lw 98643
c lw 98644
c lw 98652
c lw 98655
c lw 98672
c lw 98681
c lw 98684
c lw 98685
c lw 98686
c lw 98687
c lw 98688
c lw 98689
c lw 98690
c lw 98691
c lw 98692
c lw 98693
c lw 98694
c lw 98695
c lw 98696
c lw 98697
c lw 98703
c lw 98704
c lw 98705
c lw 98706
c lw 98708
c lw 98715
c lw 98716
c lw 98717
c lw 98720
c lw 98729
c lw 98730
c lw 98731
c lw 98732
c lw 98733
c lw 98735
c lw 98736
c lw 98737
c lw 98738
c lw 98739
c lw 98740
c lw 98741
c lw 98742
c lw 98743
c lw 98744
c lw 98745
c lw 98746
c lw 98747
c lw 98748
c lw 98749
c lw 98771
c lw 98772
c lw 98783
c lw 98784
c lw 98785
c lw 98788
c lw 98789
c lw 98790
c lw 98791
c lw 98792
c lw 98793
c lw 98794
c lw 98795
c lw 98796
c lw 98797
c lw 98800
c lw 98801
c lw 98802
c lw 98803
c lw 98804
c lw 98805
c lw 98806
c lw 98807
c lw 98808
c lw 98809
c lw 98810
c lw 98811
c lw 98812
c lw 98813
c lw 98814
c lw 98833
c lw 98834
c lw 98835
c lw 98836
c lw 98837
c lw 98838
c lw 98839
c lw 98841
c lw 98842
c lw 98843
c lw 98844
c lw 98845
c lw 98846
c lw 98847
c lw 98848
c lw 98849
c lw 98850
c lw 98851
c lw 98852
c lw 98854
c lw 98855
c lw 98856
c lw 98858
c lw 98859
c lw 98860
c lw 98861
c lw 98862
c lw 98863
c lw 98864
c lw 98865
c lw 98866
c lw 98867
c lw 98868
c lw 98869
c lw 98870
c lw 98871
c lw 98875
c lw 98876
c lw 98877
c lw 98878
c lw 98879
c lw 98880
c lw 98881
c lw 98882
c lw 98883
c lw 98884
c lw 98885
c lw 98886
c lw 98887
c lw 98888
c lw 98889
c lw 98890
c lw 98893
c lw 98894
c lw 98895
c lw 98937
c lw 98938
c lw 98939
c lw 98940
c lw 98941
c lw 98942
c lw 98943
c lw 98944
c lw 98945
c lw 98946
c lw 98947
c lw 98948
c lw 98949
c lw 98950
c lw 98951
c lw 98952
c lw 98953
c lw 98954
c lw 98955
c lw 98956
c lw 98957
c lw 98958
c lw 98959
c lw 98960
c lw 98961
c lw 98962
c lw 98963
c lw 98964
c lw 98965
c lw 98966
c lw 98967
c lw 98968
c lw 98970
c lw 98971
c lw 98973
c lw 98974
c lw 98975
c lw 98976
c lw 98977
c lw 98978
c lw 98979
c lw 98980
c lw 98981
c lw 98982
c lw 98983
c lw 98984
c lw 98985
c lw 98986
c lw 98987
c lw 98988
c lw 98989
c lw 98990
c lw 98991
c lw 98992
c lw 98993
c lw 98994
c lw 98995
c lw 98996
c lw 98997
c lw 98998
c lw 98999
c lw 99000
c lw 99001
c lw 99002
c lw 99003
c lw 99004
c lw 99005
c lw 99006
c lw 99007
c lw 99011
c lw 99012
c lw 99013
c lw 99014
c lw 99015
c lw 99017
c lw 99018
c lw 99019
c lw 99020
c lw 99021
c lw 99022
c lw 99023
c lw 99024
c lw 99025
c lw 99026
c lw 99027
c lw 99028
c lw 99029
c lw 99030
c lw 99079
c lw 99080
c lw 99081
c lw 99082
c lw 99083
c lw 99092
c lw 99093
c lw 99094
c lw 99095
c lw 99096
c lw 99097
c lw 99098
c lw 99099
c lw 99100
c lw 99101
c lw 99102
c lw 99103
c lw 99104
c lw 99105
c lw 99106
c lw 99107
c lw 99108
c lw 99109
c lw 99110
c lw 99111
c lw 99112
c lw 99113
c lw 99115
c lw 99117
c lw 99118
c lw 99119
c lw 99120
c lw 99121
c lw 99122
c lw 99123
c lw 99124
c lw 99125
c lw 99126
c lw 99127
c lw 99128
c lw 99129
c lw 99130
c lw 99131
c lw 99132
c lw 99133
c lw 99134
c lw 99135
c lw 99136
c lw 99137
c lw 99138
c lw 99139
c lw 99140
c lw 99141
c lw 99183
c lw 99184
c lw 99185
c lw 99186
c lw 99187
c lw 99188
c lw 99189
c lw 99190
c lw 99191
c lw 99192
c lw 99193
c lw 99194
c lw 99195
c lw 99196
c lw 99197
c lw 99198
c lw 99199
c lw 99200
c lw 99201