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_414.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/414.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 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 11134
c lw 11139
c lw 12139
c lw 12148
c lw 12153
c lw 12158
c lw 13148
c lw 13158
c lw 14148
c lw 14149
c lw 14154
c lw 14158
c lw 14163
c lw 14168
c lw 15158
c lw 16158
c lw 17149
c lw 17158
c lw 18149
c lw 18158
c lw 18159
c lw 19159
c lw 19164
c lw 19169
c lw 19171
c lw 19173
c lw 19178
c lw 19180
c lw 19185
c lw 19187
c lw 19192
c lw 19194
c lw 19196
c lw 19198
c lw 20187
c lw 20198
c lw 20200
c lw 20205
c lw 20210
c lw 20219
c lw 20228
c lw 21166
c lw 21168
c lw 21170
c lw 21173
c lw 21175
c lw 21177
c lw 21179
c lw 21180
c lw 21185
c lw 21189
c lw 21193
c lw 21194
c lw 21221
c lw 21222
c lw 21223
c lw 21225
c lw 21226
c lw 21227
c lw 21228
c lw 21230
c lw 21231
c lw 21232
c lw 21236
c lw 21241
c lw 21246
c lw 21255
c lw 22225
c lw 22230
c lw 22232
c lw 22235
c lw 23136
c lw 23141
c lw 23142
c lw 23143
c lw 23144
c lw 23148
c lw 23149
c lw 24135
c lw 24140
c lw 24145
c lw 24151
c lw 24154
c lw 24155
c lw 24169
c lw 25143
c lw 25147
c lw 25153
c lw 26142
c lw 26144
c lw 26146
c lw 26148
c lw 26150
c lw 26152
c lw 26154
c lw 26156
c lw 26158
c lw 26160
c lw 27160
c lw 27162
c lw 27164
c lw 27166
c lw 27168
c lw 27173
c lw 27177
c lw 27178
c lw 27182
c lw 27183
c lw 27185
c lw 27187
c lw 27189
c lw 27192
c lw 27194
c lw 27195
c lw 27197
c lw 27198
c lw 27199
c lw 27200
c lw 27201
c lw 27202
c lw 27206
c lw 27208
c lw 27210
c lw 27212
c lw 27215
c lw 27217
c lw 27219
c lw 27221
c lw 28221
c lw 28222
c lw 28223
c lw 28224
c lw 28225
c lw 28226
c lw 28227
c lw 28228
c lw 28229
c lw 28230
c lw 28231
c lw 28232
c lw 28233
c lw 28234
c lw 28235
c lw 28236
c lw 28237
c lw 28238
c lw 28239
c lw 28240
c lw 28241
c lw 28246
c lw 28251
c lw 28256
c lw 28261
c lw 28266
c lw 28267
c lw 28268
c lw 28269
c lw 28271
c lw 28272
c lw 28273
c lw 28278
c lw 28283
c lw 28284
c lw 28285
c lw 28286
c lw 28287
c lw 28288
c lw 28289
c lw 28290
c lw 28291
c lw 28292
c lw 28293
c lw 28294
c lw 28297
c lw 28298
c lw 28300
c lw 28303
c lw 28305
c lw 28306
c lw 28308
c lw 28309
c lw 28310
c lw 28311
c lw 28312
c lw 28313
c lw 28314
c lw 28315
c lw 28316
c lw 28317
c lw 28318
c lw 28319
c lw 28320
c lw 28321
c lw 28322
c lw 28323
c lw 28324
c lw 28325
c lw 28326
c lw 28327
c lw 28328
c lw 28329
c lw 28330
c lw 28332
c lw 28333
c lw 28335
c lw 28338
c lw 28340
c lw 28342
c lw 28344
c lw 28345
c lw 28350
c lw 28351
c lw 28352
c lw 28353
c lw 28354
c lw 28355
c lw 28356
c lw 28360
c lw 28361
c lw 29259
c lw 29260
c lw 29262
c lw 29263
c lw 29264
c lw 29265
c lw 29266
c lw 29267
c lw 29269
c lw 29272
c lw 29273
c lw 29274
c lw 29276
c lw 29277
c lw 29278
c lw 29279
c lw 29280
c lw 29281
c lw 29282
c lw 29283
c lw 29284
c lw 29285
c lw 29286
c lw 29287
c lw 29288
c lw 29289
c lw 29290
c lw 29291
c lw 29292
c lw 29293
c lw 29294
c lw 29295
c lw 29296
c lw 29297
c lw 29298
c lw 29317
c lw 29318
c lw 29319
c lw 29320
c lw 29324
c lw 29325
c lw 29329
c lw 29331
c lw 29332
c lw 29333
c lw 29334
c lw 29335
c lw 29336
c lw 29337
c lw 29338
c lw 29339
c lw 29340
c lw 30202
c lw 30207
c lw 30208
c lw 30209
c lw 30210
c lw 30211
c lw 30212
c lw 30213
c lw 30214
c lw 30215
c lw 30216
c lw 30217
c lw 30230