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_70_0003.txt.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/AUCTIONS/AUC_SCHEDULING/cat_sched_60_70_0003.txt.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 1085
c lw 2170
c lw 3255
c lw 4340
c lw 5425
c lw 6510
c lw 7595
c lw 8680
c lw 9765
c lw 10850
c lw 11935
c lw 13020
c lw 14105
c lw 15190
c lw 16275
c lw 17360
c lw 18445
c lw 19530
c lw 20615
c lw 21700
c lw 22785
c lw 23870
c lw 23984
c lw 24098
c lw 24955
c lw 25069
c lw 25297
c lw 25411
c lw 26040
c lw 26154
c lw 26610
c lw 26724
c lw 27125
c lw 27239
c lw 27923
c lw 28037
c lw 28210
c lw 28324
c lw 28438
c lw 28552
c lw 28666
c lw 28780
c lw 28894
c lw 28925
c lw 29008
c lw 29122
c lw 29236
c lw 29298
c lw 29350
c lw 29464
c lw 29578
c lw 29671
c lw 29692
c lw 29806
c lw 29920
c lw 30034
c lw 30044
c lw 30148
c lw 30417
c lw 30521
c lw 30790
c lw 30894
c lw 31008
c lw 31464
c lw 31733
c lw 31847
c lw 31961
c lw 32020
c lw 32075
c lw 32134
c lw 32248
c lw 32362
c lw 32476
c lw 32590
c lw 32704
c lw 32932
c lw 33046
c lw 33105
c lw 33219
c lw 33333
c lw 33561
c lw 34190
c lw 34200
c lw 34294
c lw 34304
c lw 34314
c lw 34335
c lw 34398
c lw 34418
c lw 34511
c lw 34522
c lw 34625
c lw 34667
c lw 34719
c lw 34729
c lw 34739
c lw 34770
c lw 34843
c lw 34853
c lw 34884
c lw 34926
c lw 34998
c lw 35040
c lw 35195
c lw 35651
c lw 36125
c lw 36736
c lw 37055
c lw 37821
c lw 37985
c lw 38906
c lw 38915
c lw 39991
c lw 40000
c lw 41076
c lw 41085
c lw 42161
c lw 42170
c lw 43246
c lw 43255
c lw 44331
c lw 44340
c lw 45416
c lw 45425
c lw 45539
c lw 45653
c lw 45712
c lw 45767
c lw 45826
c lw 45881
c lw 45995
c lw 46054
c lw 46168
c lw 46223
c lw 46282
c lw 46337
c lw 46396
c lw 46501
c lw 46510
c lw 47586
c lw 47595
c lw 48069
c lw 48525
c lw 48671
c lw 48680
c lw 48844
c lw 49154
c lw 49291
c lw 49300
c lw 49437
c lw 49610
c lw 50221
c lw 50230
c lw 50695
c lw 50704
c lw 51315
c lw 51771
c lw 51830
c lw 51944
c lw 52058
c lw 52067
c lw 52172
c lw 52181
c lw 52227
c lw 52231
c lw 52235
c lw 52290
c lw 52295
c lw 52304
c lw 52309
c lw 52345
c lw 52350
c lw 52409
c lw 52418
c lw 52422
c lw 52423
c lw 52478
c lw 52488
c lw 52495
c lw 52570
c lw 52597
c lw 52638
c lw 52639
c lw 52642
c lw 52648
c lw 52649
c lw 52651
c lw 52652
c lw 52653
c lw 52688
c lw 52727
c lw 52763
c lw 52768
c lw 52792
c lw 52803
c lw 52820
c lw 52823
c lw 52841
c lw 52851
c lw 52854
c lw 52862
c lw 52865
c lw 52871
c lw 52872
c lw 52882
c lw 52887
c lw 52899
c lw 52909
c lw 52910
c lw 52934
c lw 52955
c lw 52989
c lw 52990
c lw 53000
c lw 53002
c lw 53003
c lw 53011
c lw 53017
c lw 53023
c lw 53027
c lw 53029
c lw 53032
c lw 53037
c lw 53038
c lw 53039
c lw 53040
c lw 53042
c lw 53043
c lw 53046
c lw 53065
c lw 53066
c lw 53068
c lw 53069
c lw 53070
c lw 53071
c lw 53072
c lw 53073
c lw 53074
c lw 53075
c lw 53076
c lw 53077
c lw 53082
c lw 53084
c lw 53094
c lw 53098
c lw 53107
c lw 53112
c lw 53131
c lw 53141
c lw 53143
c lw 53144
c lw 53146
c lw 53149
c lw 53150
c lw 53151
c lw 53152
c lw 53153
c lw 53154
c lw 53155
c lw 53156
c lw 53157
c lw 53158
c lw 53159
c lw 53160
c lw 53161
c lw 53162
c lw 53163
c lw 53164
c lw 53165
c lw 53166
c lw 53167
c lw 53168
c lw 53169
c lw 53170
c lw 53173
c lw 53174
c lw 53175
c lw 53176
c lw 53177
c lw 53178
c lw 53179
c lw 53180
c lw 53181
c lw 53182
c lw 53183
c lw 53184
c lw 53185
c lw 53186
c lw 53188
c lw 53190
c lw 53191
c lw 53192
c lw 53193
c lw 53194
c lw 53195
c lw 53196
c lw 53197
c lw 53198
c lw 53199
c lw 53200
c lw 53201
c lw 53202
c lw 53203
c lw 53204
c lw 53205
c lw 53206
c lw 53207
c lw 53208
c lw 53209
c lw 53210
c lw 53212
c lw 53213
c lw 53217
c lw 53219
c lw 53249
c lw 53250
c lw 53251
c lw 53252
c lw 53253
c lw 53254
c lw 53255
c lw 53256
c lw 53257
c lw 53258
c lw 53259
c lw 53261
c lw 53265
c lw 53266
c lw 53267
c lw 53268
c lw 53269
c lw 53270
c lw 53271
c lw 53434
c lw 53435
c lw 53436
c lw 53440
c lw 53441
c lw 53442
c lw 53443
c lw 53444
c lw 53445
c lw 53446
c lw 53447
c lw 53448
c lw 53449
c lw 53450
c lw 53451
c lw 53452
c lw 53453
c lw 53454
c lw 53455
c lw 53456
c lw 53457
c lw 53458
c lw 53459