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_180_0004.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_180_0004.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 145
c lw 290
c lw 435
c lw 580
c lw 725
c lw 870
c lw 1015
c lw 1160
c lw 1305
c lw 1450
c lw 1595
c lw 1740
c lw 1885
c lw 2111
c lw 2148
c lw 2374
c lw 2411
c lw 2637
c lw 2674
c lw 2937
c lw 3429
c lw 3865
c lw 3921
c lw 4413
c lw 4793
c lw 4905
c lw 5397
c lw 5721
c lw 5889
c lw 6381
c lw 6649
c lw 6873
c lw 7365
c lw 7577
c lw 7857
c lw 8349
c lw 8505
c lw 8841
c lw 9333
c lw 9433
c lw 9825
c lw 10317
c lw 10361
c lw 10809
c lw 11289
c lw 11301
c lw 11793
c lw 12217
c lw 12285
c lw 12777
c lw 13145
c lw 13269
c lw 13761
c lw 14073
c lw 14253
c lw 15001
c lw 15181
c lw 15929
c lw 16109
c lw 16857
c lw 17037
c lw 17785
c lw 18713
c lw 19641
c lw 20569
c lw 21497
c lw 21751
c lw 22005
c lw 22259
c lw 22513
c lw 22767
c lw 23021
c lw 23275
c lw 23529
c lw 23783
c lw 24037
c lw 24291
c lw 24545
c lw 24799
c lw 25053
c lw 25307
c lw 25561
c lw 25815
c lw 26069
c lw 26323
c lw 26737
c lw 27151
c lw 27565
c lw 27979
c lw 28393
c lw 28807
c lw 29221
c lw 29635
c lw 30049
c lw 30463
c lw 30877
c lw 31291
c lw 31705
c lw 32119
c lw 32533
c lw 32947
c lw 33361
c lw 33775
c lw 34189
c lw 34603
c lw 35017
c lw 35431
c lw 35845
c lw 36259
c lw 36673
c lw 37087
c lw 37501
c lw 37915
c lw 38329
c lw 38743
c lw 39608
c lw 40234
c lw 40473
c lw 41374
c lw 41725
c lw 42275
c lw 43176
c lw 43216
c lw 44077
c lw 44670
c lw 44978
c lw 45879
c lw 45898
c lw 46780
c lw 47389
c lw 47681
c lw 48582
c lw 48880
c lw 49483
c lw 50371
c lw 50384
c lw 50871
c lw 51358
c lw 51862
c lw 52259
c lw 53160
c lw 53353
c lw 54061
c lw 54844
c lw 54962
c lw 55863
c lw 56335
c lw 56764
c lw 57327
c lw 57826
c lw 57890
c lw 58453
c lw 59016
c lw 59317
c lw 59505
c lw 60742
c lw 60808
c lw 62233
c lw 62299
c lw 63724
c lw 63743
c lw 63790
c lw 63856
c lw 64051
c lw 64625
c lw 64662
c lw 64888
c lw 65076
c lw 65093
c lw 65189
c lw 65347
c lw 65601
c lw 65656
c lw 65855
c lw 65937
c lw 66001
c lw 66219
c lw 66436
c lw 66782
c lw 67147
c lw 67211
c lw 67428
c lw 67619
c lw 67737
c lw 68211
c lw 68265
c lw 68519
c lw 68699
c lw 68919
c lw 68976
c lw 69112
c lw 69463
c lw 69480
c lw 69493
c lw 69950
c lw 70013
c lw 70347
c lw 70838
c lw 70940
c lw 71208
c lw 71441
c lw 71506
c lw 71798
c lw 72050
c lw 72109
c lw 72149
c lw 72932
c lw 73050
c lw 73283
c lw 73482
c lw 73721
c lw 73951
c lw 74340
c lw 74520
c lw 74677
c lw 74699
c lw 74879
c lw 74916
c lw 75142
c lw 75179
c lw 75293
c lw 75405
c lw 75542
c lw 75796
c lw 75956
c lw 76210
c lw 76290
c lw 76624
c lw 76718
c lw 76898
c lw 77030
c lw 77154
c lw 77210
c lw 77266
c lw 77334
c lw 77634
c lw 77702
c lw 77714
c lw 77760
c lw 78126
c lw 78170
c lw 78182
c lw 78574
c lw 78662
c lw 78674
c lw 78966
c lw 79122
c lw 79154
c lw 79302
c lw 79514
c lw 79582
c lw 79614
c lw 79838
c lw 79882
c lw 80006
c lw 80174
c lw 80330
c lw 80374
c lw 80486
c lw 80754
c lw 80822
c lw 80878
c lw 81246
c lw 81258
c lw 81660
c lw 81672
c lw 81738
c lw 81786
c lw 82058
c lw 82312
c lw 82454
c lw 82726
c lw 82774
c lw 83028
c lw 83282
c lw 83458
c lw 83536
c lw 83634
c lw 83790
c lw 83888
c lw 84044
c lw 84142
c lw 84508
c lw 84556
c lw 84922
c lw 84970
c lw 85270
c lw 85318
c lw 85684
c lw 85732
c lw 86098
c lw 86146
c lw 86512
c lw 86657
c lw 86802
c lw 86947
c lw 87092
c lw 87237
c lw 87382
c lw 87437
c lw 87478
c lw 87515
c lw 87526
c lw 87538
c lw 87683
c lw 87828
c lw 87973
c lw 88118
c lw 88155
c lw 88230
c lw 88232
c lw 88252
c lw 88333
c lw 88335
c lw 88344
c lw 88381
c lw 88447
c lw 88459
c lw 88561
c lw 88573
c lw 88873
c lw 88917
c lw 88973
c lw 89029
c lw 89041
c lw 89197
c lw 89241
c lw 89297
c lw 89353
c lw 89365
c lw 89433
c lw 89477
c lw 89489
c lw 89533
c lw 89545
c lw 89557
c lw 89577
c lw 89589
c lw 89597
c lw 89665
c lw 89677
c lw 89821
c lw 89845
c lw 89853
c lw 89857
c lw 89889
c lw 89925
c lw 89929
c lw 89937
c lw 89965
c lw 89973
c lw 89989
c lw 89997
c lw 90001
c lw 90009
c lw 90013
c lw 90089
c lw 90101
c lw 90121
c lw 90125
c lw 90133
c lw 90137
c lw 90141
c lw 90153
c lw 90197
c lw 90217
c lw 90229
c lw 90241
c lw 90253
c lw 90273
c lw 90325
c lw 90369
c lw 90381
c lw 90429
c lw 90431
c lw 90439
c lw 90505
c lw 90507
c lw 90533
c lw 90545
c lw 90613
c lw 90669
c lw 90697
c lw 90821
c lw 90943
c lw 90999
c lw 91009
c lw 91035
c lw 91063
c lw 91133
c lw 91135
c lw 91143
c lw 91187
c lw 91243
c lw 91247
c lw 91251
c lw 91255
c lw 91269
c lw 91271
c lw 91275
c lw 91287
c lw 91301
c lw 91311
c lw 91377
c lw 91392
c lw 91448
c lw 91513
c lw 91527
c lw 91528
c lw 91605
c lw 91621
c lw 91622
c lw 91635
c lw 91637
c lw 91639
c lw 91641
c lw 91654
c lw 91720
c lw 91766
c lw 91831
c lw 91913
c lw 91926
c lw 91927
c lw 92082
c lw 92125
c lw 92177
c lw 92190
c lw 92191
c lw 92192
c lw 92194
c lw 92195
c lw 92197
c lw 92267
c lw 92280
c lw 92431
c lw 92480
c lw 92493
c lw 92534
c lw 92613
c lw 92626
c lw 92628
c lw 92639
c lw 92641
c lw 92643
c lw 92685
c lw 92749
c lw 92809
c lw 92810
c lw 92811
c lw 92812
c lw 92814
c lw 92855
c lw 92857
c lw 92858
c lw 92870
c lw 92871
c lw 92873
c lw 92938
c lw 93127
c lw 93213
c lw 93245
c lw 93311
c lw 93381
c lw 93479
c lw 93507
c lw 93537
c lw 93551
c lw 93564
c lw 93605
c lw 93618
c lw 93619
c lw 93630
c lw 93639
c lw 93662
c lw 93714
c lw 93717
c lw 93719
c lw 93731
c lw 93744
c lw 93760
c lw 93765
c lw 93771
c lw 93777
c lw 93779
c lw 93800
c lw 93812
c lw 93817
c lw 94183
c lw 94231
c lw 94483
c lw 94531
c lw 94585
c lw 94885
c lw 94887
c lw 94891
c lw 94895
c lw 94899
c lw 94903
c lw 94907
c lw 94911
c lw 94915
c lw 94917
c lw 94919
c lw 94921
c lw 94923
c lw 94925
c lw 94927
c lw 94929
c lw 94965
c lw 95013
c lw 95017
c lw 95331
c lw 95383
c lw 95431
c lw 95525
c lw 95651
c lw 95742
c lw 95794
c lw 95800
c lw 95804
c lw 95808
c lw 95860
c lw 95872
c lw 95873
c lw 95875
c lw 95919
c lw 95921
c lw 95959
c lw 95961
c lw 95963
c lw 95985
c lw 95987
c lw 95989
c lw 95993
c lw 96003
c lw 96005
c lw 96007
c lw 96009
c lw 96011
c lw 96013
c lw 96015
c lw 96017
c lw 96019
c lw 96023
c lw 96027
c lw 96029
c lw 96031
c lw 96033
c lw 96035
c lw 96037
c lw 96039
c lw 96041
c lw 96043
c lw 96045
c lw 96047
c lw 96049
c lw 96055
c lw 96057
c lw 96069
c lw 96071
c lw 96072
c lw 96078
c lw 96118
c lw 96120
c lw 96122
c lw 96124
c lw 96125
c lw 96126
c lw 96127
c lw 96128
c lw 96129
c lw 96130
c lw 96131
c lw 96132
c lw 96133
c lw 96134
c lw 96135
c lw 96136
c lw 96139
c lw 96156
c lw 96157
c lw 96158
c lw 96159
c lw 96160
c lw 96161
c lw 96162
c lw 96163
c lw 96164
c lw 96165
c lw 96166
c lw 96167
c lw 96168
c lw 96169
c lw 96170
c lw 96171
c lw 96172
c lw 96173
c lw 96174
c lw 96175
c lw 96176
c lw 96177
c lw 96178
c lw 96179
c lw 96180
c lw 96181
c lw 96182
c lw 96190
c lw 96191
c lw 96192
c lw 96198
c lw 96199
c lw 96200
c lw 96201
c lw 96202
c lw 96203
c lw 96204
c lw 96205
c lw 96206
c lw 96207
c lw 96325
c lw 96558
c lw 96564
c lw 96639
c lw 96676
c lw 96682
c lw 96757
c lw 96834
c lw 96840
c lw 96872
c lw 96937
c lw 96964
c lw 97004
c lw 97106
c lw 97108
c lw 97314
c lw 97648
c lw 97670
c lw 97733
c lw 97803
c lw 97820
c lw 97867
c lw 97886
c lw 98011
c lw 98057
c lw 98060
c lw 98101
c lw 98142
c lw 98145
c lw 98164
c lw 98171
c lw 98226
c lw 98375
c lw 98380
c lw 98421
c lw 98427
c lw 98468
c lw 98476
c lw 98489
c lw 98492
c lw 98498
c lw 98499
c lw 98502
c lw 98504
c lw 98523
c lw 98529
c lw 98543
c lw 98572
c lw 98574
c lw 98594
c lw 98607
c lw 98708
c lw 98725
c lw 98771
c lw 98778
c lw 98779
c lw 98783
c lw 98809
c lw 98819
c lw 98820
c lw 98822
c lw 98907
c lw 99025
c lw 99076
c lw 99081
c lw 99082
c lw 99083
c lw 99086
c lw 99087
c lw 99088
c lw 99089
c lw 99090
c lw 99091
c lw 99093
c lw 99094
c lw 99096
c lw 99098
c lw 99101
c lw 99102
c lw 99103
c lw 99105
c lw 99106
c lw 99119
c lw 99122
c lw 99129
c lw 99130
c lw 99131
c lw 99132
c lw 99140
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
c lw 99202
c lw 99203
c lw 99205
c lw 99206
c lw 99208
c lw 99209
c lw 99210
c lw 99212
c lw 99217
c lw 99271
c lw 99273
c lw 99274
c lw 99280
c lw 99281
c lw 99286
c lw 99287
c lw 99331
c lw 99333
c lw 99334
c lw 99335
c lw 99337
c lw 99338
c lw 99339
c lw 99340
c lw 99341
c lw 99342
c lw 99343
c lw 99344
c lw 99345
c lw 99346
c lw 99347
c lw 99348
c lw 99349
c lw 99350
c lw 99351
c lw 99352
c lw 99353
c lw 99354
c lw 99355
c lw 99356
c lw 99357
c lw 99358
c lw 99359
c lw 99365
c lw 99366
c lw 99368
c lw 99369
c lw 99370
c lw 99373
c lw 99375
c lw 99377
c lw 99378
c lw 99379
c lw 99380
c lw 99382
c lw 99419
c lw 99420
c lw 99421
c lw 99422
c lw 99423
c lw 99424
c lw 99425
c lw 99426
c lw 99427
c lw 99428
c lw 99429
c lw 99434
c lw 99451
c lw 99452
c lw 99453
c lw 99454
c lw 99455
c lw 99456
c lw 99457
c lw 99461
c lw 99463
c lw 99464
c lw 99465
c lw 99466
c lw 99467
c lw 99468
c lw 99469
c lw 99470
c lw 99471
c lw 99472
c lw 99473
c lw 99474
c lw 99475
c lw 99476
c lw 99485
c lw 99486
c lw 99487
c lw 99488
c lw 99489
c lw 99490
c lw 99491
c lw 99492
c lw 99493
c lw 99494
c lw 99495
c lw 99496
c lw 99497
c lw 99498
c lw 99499
c lw 99500
c lw 99501
c lw 99502
c lw 99503
c lw 99504
c lw 99508
c lw 99509
c lw 99511
c lw 99553
c lw 99554
c lw 99555
c lw 99557
c lw 99558
c lw 99559
c lw 99560
c lw 99562
c lw 99565
c lw 99566
c lw 99567
c lw 99568
c lw 99571
c lw 99572
c lw 99573
c lw 99574
c lw 99575
c lw 99576
c lw 99577
c lw 99578
c lw 99580
c lw 99584
c lw 99585
c lw 99586
c lw 99587
c lw 99588
c lw 99589
c lw 99590
c lw 99591
c lw 99592
c lw 99597
c lw 99598
c lw 99600
c lw 99601
c lw 99606
c lw 99614
c lw 99617
c lw 99730
c lw 99731
c lw 99732
c lw 99733
c lw 99734
c lw 99735
c lw 99736
c lw 99737
c lw 99738
c lw 99739
c lw 99740
c lw 99742
c lw 99743
c lw 99744
c lw 99745
c lw 99748
c lw 99749
c lw 99750
c lw 99751
c lw 99752
c lw 99753
c lw 99758
c lw 99761
c lw 99762
c lw 99764
c lw 99766
c lw 99767
c lw 99768
c lw 99769
c lw 99770
c lw 99772
c lw 99773
c lw 99774
c lw 99775
c lw 99776
c lw 99777
c lw 99778
c lw 99779
c lw 99780
c lw 99783
c lw 99784
c lw 99785
c lw 99786
c lw 99787
c lw 99788
c lw 99789
c lw 99790
c lw 99791
c lw 99792
c lw 99793
c lw 99794
c lw 99795
c lw 99796
c lw 99797
c lw 99798
c lw 99799
c lw 99800
c lw 99801
c lw 99802
c lw 99803
c lw 99804
c lw 99805
c lw 99806
c lw 99807
c lw 99808
c lw 99809
c lw 99810
c lw 99811
c lw 99812
c lw 99813
c lw 99814
c lw 99816
c lw 99817
c lw 99818
c lw 99819
c lw 99820
c lw 99823
c lw 99825
c lw 99826
c lw 99827
c lw 99828
c lw 99829
c lw 99830
c lw 99831
c lw 99832
c lw 99833
c lw 99834
c lw 99835
c lw 99837
c lw 99838
c lw 99839
c lw 99840
c lw 99841
c lw 99842
c lw 99843
c lw 99849
c lw 99850
c lw 99851
c lw 99853
c lw 99854
c lw 99855
c lw 99856
c lw 99857
c lw 99858
c lw 99859
c lw 99860
c lw 99861
c lw 99862
c lw 99863
c lw 99864
c lw 99865
c lw 99866
c lw 99867
c lw 99868
c lw 99869
c lw 99870
c lw 99871
c lw 99872
c lw 99873
c lw 99874
c lw 99875
c lw 99876
c lw 99877
c lw 99878
c lw 99879
c lw 99880
c lw 99881
c lw 99882
c lw 99883
c lw 99884
c lw 99885
c lw 99886
c lw 99887
c lw 99888
c lw 99889
c lw 99890
c lw 99891
c lw 99892
c lw 99893
c lw 99894
c lw 99895
c lw 99896
c lw 99898
c lw 99964
c lw 99974
c lw 99975
c lw 99976
c lw 99977
c lw 99978
c lw 99979
c lw 99982
c lw 99987
c lw 99988
c lw 99989
c lw 99992
c lw 99993
c lw 99994
c lw 99995
c lw 99997
c lw 99999
c lw 100000
c lw 100001
c lw 100007
c lw 100009
c lw 100010
c lw 100011
c lw 100012
c lw 100013
c lw 100014
c lw 100015
c lw 100016
c lw 100018
c lw 100019
c lw 100020
c lw 100021
c lw 100022
c lw 100023
c lw 100024
c lw 100025
c lw 100026
c lw 100027
c lw 100028
c lw 100029
c lw 100030
c lw 100031
c lw 100032
c lw 100033
c lw 100034
c lw 100035
c lw 100036
c lw 100037
c lw 100038
c lw 100039
c lw 100040
c lw 100042
c lw 100045
c lw 100080
c lw 100082
c lw 100085
c lw 100086
c lw 100092
c lw 100097
c lw 100107
c lw 100110
c lw 100112
c lw 100114
c lw 100116
c lw 100117
c lw 100118
c lw 100119
c lw 100120
c lw 100121
c lw 100122
c lw 100123
c lw 100124
c lw 100131
c lw 100133
c lw 100134
c lw 100135
c lw 100136
c lw 100137
c lw 100138
c lw 100139
c lw 100140
c lw 100141
c lw 100142
c lw 100143
c lw 100144
c lw 100145
c lw 100146
c lw 100147
c lw 100148
c lw 100149
c lw 100150
c lw 100151
c lw 100152
c lw 100154
c lw 100157
c lw 100158
c lw 100159
c lw 100160
c lw 100161
c lw 100162
c lw 100163
c lw 100164
c lw 100165
c lw 100166
c lw 100167
c lw 100168
c lw 100169
c lw 100170
c lw 100171
c lw 100174
c lw 100176
c lw 100177
c lw 100178
c lw 100179
c lw 100187
c lw 100188
c lw 100189
c lw 100190
c lw 100191
c lw 100192
c lw 100193
c lw 100194
c lw 100195
c lw 100196
c lw 100197
c lw 100199
c lw 100201
c lw 100202
c lw 100203
c lw 100204
c lw 100205
c lw 100206
c lw 100207
c lw 100208
c lw 100209
c lw 100210
c lw 100211
c lw 100212
c lw 100213
c lw 100214
c lw 100215
c lw 100217
c lw 100219
c lw 100221
c lw 100223
c lw 100225
c lw 100227
c lw 100229
c lw 100231
c lw 100233
c lw 100246
c lw 100247
c lw 100248
c lw 100249
c lw 100250
c lw 100251
c lw 100252
c lw 100253
c lw 100261
c lw 100280
c lw 100282
c lw 100284
c lw 100285
c lw 100286
c lw 100287
c lw 100288
c lw 100289
c lw 100290
c lw 100291
c lw 100292
c lw 100293
c lw 100294
c lw 100295
c lw 100296
c lw 100308
c lw 100309
c lw 100310
c lw 100311
c lw 100312
c lw 100313
c lw 100314