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_WCSP_SPOT5_LOG_412.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/412.wcsp.log.wcnf
Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1
c lw 2
c lw 3
c lw 4
c lw 6
c lw 8
c lw 10
c lw 12
c lw 14
c lw 16
c lw 18
c lw 20
c lw 22
c lw 24
c lw 26
c lw 28
c lw 30
c lw 31
c lw 32
c lw 34
c lw 36
c lw 38
c lw 40
c lw 42
c lw 44
c lw 46
c lw 48
c lw 50
c lw 52
c lw 54
c lw 56
c lw 58
c lw 60
c lw 62
c lw 64
c lw 66
c lw 68
c lw 70
c lw 72
c lw 74
c lw 76
c lw 78
c lw 80
c lw 82
c lw 1082
c lw 2082
c lw 3082
c lw 4082
c lw 4084
c lw 4086
c lw 4088
c lw 4090
c lw 4092
c lw 4094
c lw 4096
c lw 4098
c lw 4100
c lw 4102
c lw 4104
c lw 4105
c lw 4106
c lw 4108
c lw 4110
c lw 4112
c lw 4114
c lw 4116
c lw 4118
c lw 4120
c lw 4122
c lw 4123
c lw 4124
c lw 4126
c lw 5126
c lw 6126
c lw 6131
c lw 6134
c lw 6138
c lw 7134
c lw 7138
c lw 8134
c lw 9134
c lw 10134
c lw 10139
c lw 10144
c lw 10148
c lw 11131
c lw 12131
c lw 12148
c lw 12153
c lw 12158
c lw 13148
c lw 13158
c lw 14141
c lw 14146
c lw 14151
c lw 14156
c lw 14161
c lw 15151
c lw 16151
c lw 16161
c lw 17141
c lw 17143
c lw 17145
c lw 17152
c lw 17162
c lw 17172
c lw 17174
c lw 17176
c lw 17177
c lw 17178
c lw 17179
c lw 17183
c lw 17188
c lw 17193
c lw 17203
c lw 17210
c lw 18176
c lw 18179
c lw 18180
c lw 18181
c lw 18182
c lw 18184
c lw 18185
c lw 18199
c lw 18206
c lw 19165
c lw 19169
c lw 19174
c lw 19179
c lw 19183
c lw 19190
c lw 20166
c lw 20171
c lw 20176
c lw 21176
c lw 21181
c lw 22156
c lw 22161
c lw 22166
c lw 22168
c lw 22170
c lw 22172
c lw 22174
c lw 22176
c lw 22178
c lw 22180
c lw 22182
c lw 22184
c lw 22186
c lw 23186
c lw 23188
c lw 23190
c lw 23192
c lw 23194
c lw 23195
c lw 23196
c lw 23201
c lw 23203
c lw 23205
c lw 24205
c lw 24206
c lw 24207
c lw 24208
c lw 24209
c lw 24210
c lw 24211
c lw 24212
c lw 24213
c lw 24214
c lw 24215
c lw 24216
c lw 24217
c lw 24218
c lw 24219
c lw 24220
c lw 24221
c lw 24222
c lw 24223
c lw 24224
c lw 24229
c lw 24234
c lw 24239
c lw 24244
c lw 24249
c lw 24250
c lw 24251
c lw 24252
c lw 24254
c lw 24255
c lw 24256
c lw 24261
c lw 24266
c lw 24267
c lw 24268
c lw 24269
c lw 24270
c lw 24271
c lw 24272
c lw 24273
c lw 24274
c lw 24275
c lw 24276
c lw 24277
c lw 24278
c lw 24280
c lw 24281
c lw 24285
c lw 24286
c lw 24290
c lw 24291
c lw 24292
c lw 24293
c lw 24294
c lw 24295
c lw 24296
c lw 24297
c lw 24298
c lw 24299
c lw 25243
c lw 25244
c lw 25245
c lw 25246
c lw 25247
c lw 25250
c lw 25251
c lw 25252
c lw 25253
c lw 25254
c lw 25255
c lw 25256
c lw 25257
c lw 25258
c lw 25259
c lw 25260
c lw 25261
c lw 25262
c lw 25263
c lw 25264
c lw 25265
c lw 25267
c lw 25268
c lw 25269
c lw 25270
c lw 25271
c lw 25272
c lw 25273
c lw 25274
c lw 25275
c lw 25276
c lw 25277
c lw 25278
c lw 25279
c lw 25280
c lw 25281
c lw 25282
c lw 25283
c lw 25284
c lw 25285
c lw 25290
c lw 25295
c lw 25299
c lw 26264
c lw 26265
c lw 26267
c lw 26268
c lw 26269
c lw 26270
c lw 26282
c lw 26287
c lw 27250
c lw 27251
c lw 27252
c lw 27253
c lw 27254
c lw 27255
c lw 27256
c lw 27257
c lw 27258
c lw 27259
c lw 27260
c lw 27264
c lw 27271
c lw 27273
c lw 27274
c lw 27275
c lw 27276
c lw 27278
c lw 27279
c lw 27280
c lw 27281
c lw 27282
c lw 27287
c lw 27289
c lw 27290
c lw 27291
c lw 27292
c lw 27301
c lw 27302
c lw 27304
c lw 27309
c lw 27310
c lw 27313
c lw 28259
c lw 28260
c lw 28261
c lw 28262
c lw 28263
c lw 28265
c lw 28266
c lw 28267
c lw 28268
c lw 28271
c lw 28272
c lw 28273
c lw 28274
c lw 28277
c lw 28281
c lw 28282
c lw 28283
c lw 28284
c lw 28285
c lw 29233
c lw 29234
c lw 29235
c lw 29236
c lw 29237
c lw 29238
c lw 29239
c lw 29240
c lw 29241
c lw 29242
c lw 29243
c lw 29244
c lw 29245
c lw 29246
c lw 29247
c lw 29248
c lw 29249
c lw 29250
c lw 29251
c lw 29252
c lw 29253
c lw 29254
c lw 29255
c lw 29256
c lw 29257
c lw 29258
c lw 29259
c lw 29260
c lw 29261
c lw 29262
c lw 29263
c lw 29264
c lw 29265
c lw 29266
c lw 29267
c lw 29268
c lw 29269
c lw 29270
c lw 29271
c lw 29272
c lw 29273
c lw 29274
c lw 29275
c lw 29276
c lw 29277
c lw 29278
c lw 29279
c lw 30202
c lw 30203
c lw 30204
c lw 30205
c lw 30206
c lw 30207
c lw 30229
c lw 30230
c lw 30231
c lw 30232
c lw 30233
c lw 30234
c lw 30235
c lw 30251
c lw 31139
c lw 31140
c lw 31141
c lw 31142
c lw 31143
c lw 31144
c lw 31145
c lw 31146
c lw 31147
c lw 31148
c lw 31149
c lw 31150
c lw 31151
c lw 31152
c lw 31153
c lw 31154
c lw 31155
c lw 31156
c lw 31157
c lw 31163
c lw 31164