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_509.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/509.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 6128
c lw 6130
c lw 6131
c lw 6132
c lw 6134
c lw 7134
c lw 8134
c lw 9134
c lw 10134
c lw 10139
c lw 10144
c lw 11134
c lw 11138
c lw 11144
c lw 11149
c lw 11154
c lw 12144
c lw 12149
c lw 12154
c lw 12164
c lw 12169
c lw 13164
c lw 14164
c lw 15164
c lw 16164
c lw 16169
c lw 17169
c lw 17174
c lw 17179
c lw 17181
c lw 17183
c lw 17188
c lw 17190
c lw 17195
c lw 17197
c lw 17202
c lw 17204
c lw 17206
c lw 17208
c lw 17212
c lw 18202
c lw 19182
c lw 20167
c lw 20182
c lw 20184
c lw 20189
c lw 20194
c lw 21146
c lw 21148
c lw 21150
c lw 21153
c lw 21155
c lw 21157
c lw 21159
c lw 21160
c lw 21161
c lw 21163
c lw 21164
c lw 21165
c lw 21166
c lw 21168
c lw 21169
c lw 21170
c lw 21175
c lw 21180
c lw 21195
c lw 21196
c lw 21206
c lw 21211
c lw 22122
c lw 22127
c lw 22132
c lw 22133
c lw 22136
c lw 22137
c lw 22138
c lw 22139
c lw 22140
c lw 22144
c lw 22149
c lw 23133
c lw 23140
c lw 23156
c lw 24123
c lw 24127
c lw 24133
c lw 24162
c lw 24164
c lw 24166
c lw 24168
c lw 24169
c lw 24170
c lw 24172
c lw 24174
c lw 24176
c lw 24178
c lw 24180
c lw 25180
c lw 25182
c lw 25184
c lw 25186
c lw 25188
c lw 25193
c lw 25194
c lw 25196
c lw 25198
c lw 25200
c lw 25203
c lw 25205
c lw 25206
c lw 25207
c lw 25209
c lw 25211
c lw 25220
c lw 25221
c lw 25225
c lw 25227
c lw 25230
c lw 25232
c lw 25233
c lw 25234
c lw 25235
c lw 25236
c lw 25237
c lw 25238
c lw 25239
c lw 25240
c lw 25241
c lw 25242
c lw 25243
c lw 25247
c lw 25248
c lw 26196
c lw 26202
c lw 26212
c lw 26214
c lw 26216
c lw 27216
c lw 27217
c lw 27219
c lw 27220
c lw 27224
c lw 27227
c lw 27228
c lw 27229
c lw 27230
c lw 27231
c lw 27232
c lw 27233
c lw 27234
c lw 27235
c lw 27236
c lw 27237
c lw 27238
c lw 27239
c lw 27240
c lw 27241
c lw 27242
c lw 27243
c lw 27244
c lw 27245
c lw 27246
c lw 27247
c lw 27248
c lw 27253
c lw 27258
c lw 27263
c lw 27268
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 27283
c lw 27284
c lw 27285
c lw 27286
c lw 27287
c lw 27288
c lw 27289
c lw 27290
c lw 27291
c lw 27292
c lw 27293
c lw 27294
c lw 27295
c lw 27296
c lw 27297
c lw 27298
c lw 27299
c lw 27300
c lw 27301
c lw 27302
c lw 27303
c lw 27304
c lw 27305
c lw 27306
c lw 27307
c lw 27308
c lw 27309
c lw 27310
c lw 27311
c lw 27312
c lw 27313
c lw 27314
c lw 27315
c lw 27316
c lw 27317
c lw 27318
c lw 27319
c lw 27320
c lw 27321
c lw 27322
c lw 27323
c lw 27324
c lw 27325
c lw 27326
c lw 27327
c lw 27328
c lw 27329
c lw 27330
c lw 27331
c lw 27332
c lw 27333
c lw 27334
c lw 27335
c lw 27340
c lw 27345
c lw 27346
c lw 27347
c lw 27348
c lw 27349
c lw 27350
c lw 27354
c lw 27355
c lw 27356
c lw 27358
c lw 27360
c lw 27361
c lw 27362
c lw 27363
c lw 27364
c lw 27365
c lw 27366
c lw 27367
c lw 27368
c lw 27369
c lw 27370
c lw 27371
c lw 27373
c lw 27375
c lw 27376
c lw 27377
c lw 27378
c lw 27379
c lw 27380
c lw 27381
c lw 27382
c lw 27383
c lw 27384
c lw 27385
c lw 27386
c lw 27387
c lw 27388
c lw 28276
c lw 28286
c lw 28292
c lw 28293
c lw 28294
c lw 28295
c lw 28296
c lw 28297
c lw 28298
c lw 28301
c lw 29245
c lw 29246
c lw 29275
c lw 29276
c lw 29277
c lw 29278
c lw 29279
c lw 29280
c lw 29283
c lw 29317
c lw 29318
c lw 29327
c lw 29330
c lw 29331
c lw 29332
c lw 29333
c lw 29334
c lw 29335
c lw 29338
c lw 29339
c lw 29340
c lw 29341
c lw 29342
c lw 29343
c lw 29344
c lw 29345
c lw 29346
c lw 29347
c lw 29348
c lw 29349
c lw 29388
c lw 29389
c lw 29390
c lw 29391
c lw 29392
c lw 29393
c lw 29394
c lw 29395
c lw 29396
c lw 29397
c lw 30223
c lw 30224
c lw 30225
c lw 30226
c lw 30228
c lw 30232
c lw 30233
c lw 30234
c lw 30235
c lw 30237
c lw 30238
c lw 30239
c lw 30240
c lw 30241
c lw 30242
c lw 30243
c lw 30244
c lw 30245
c lw 30246
c lw 30249
c lw 30250
c lw 30251
c lw 30254
c lw 30275
c lw 30276
c lw 30279
c lw 30317
c lw 30318