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_507.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/507.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 1080
c lw 2080
c lw 3080
c lw 4080
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 4103
c lw 4104
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 4121
c lw 4122
c lw 4123
c lw 5123
c lw 6123
c lw 6125
c lw 6127
c lw 6128
c lw 6129
c lw 6131
c lw 7131
c lw 7136
c lw 7141
c lw 8131
c lw 8136
c lw 9136
c lw 9141
c lw 9146
c lw 10146
c lw 11141
c lw 12141
c lw 12146
c lw 12151
c lw 13141
c lw 14141
c lw 14146
c lw 14148
c lw 14153
c lw 14155
c lw 14157
c lw 14159
c lw 14160
c lw 15160
c lw 15165
c lw 16160
c lw 16165
c lw 16170
c lw 16172
c lw 16174
c lw 16175
c lw 16176
c lw 16177
c lw 16178
c lw 16179
c lw 16180
c lw 16181
c lw 16182
c lw 16183
c lw 16184
c lw 16186
c lw 16188
c lw 16191
c lw 16196
c lw 16201
c lw 17183
c lw 17184
c lw 17189
c lw 17204
c lw 17205
c lw 17209
c lw 17214
c lw 17219
c lw 18190
c lw 18191
c lw 18209
c lw 18214
c lw 19180
c lw 19182
c lw 19184
c lw 19185
c lw 19186
c lw 19187
c lw 19189
c lw 19191
c lw 19193
c lw 19195
c lw 19197
c lw 19199
c lw 19201
c lw 20201
c lw 20203
c lw 20205
c lw 20206
c lw 20207
c lw 20208
c lw 20209
c lw 20210
c lw 20211
c lw 20212
c lw 20213
c lw 20215
c lw 20217
c lw 20220
c lw 21184
c lw 21185
c lw 21187
c lw 21190
c lw 21192
c lw 21194
c lw 22194
c lw 22195
c lw 22196
c lw 22197
c lw 22198
c lw 22199
c lw 22200
c lw 22201
c lw 22202
c lw 22203
c lw 22204
c lw 22205
c lw 22206
c lw 22207
c lw 22208
c lw 22209
c lw 22210
c lw 22211
c lw 22212
c lw 22213
c lw 22214
c lw 22219
c lw 22224
c lw 22226
c lw 22227
c lw 22229
c lw 22231
c lw 22232
c lw 22234
c lw 22237
c lw 22239
c lw 22240
c lw 22241
c lw 22242
c lw 22243
c lw 22244
c lw 22245
c lw 22246
c lw 22260
c lw 22261
c lw 22262
c lw 22263
c lw 22264
c lw 22265
c lw 22266
c lw 22267
c lw 22268
c lw 23222
c lw 23224
c lw 23225
c lw 23233
c lw 23234
c lw 23235
c lw 23236
c lw 23237
c lw 23238
c lw 23239
c lw 23240
c lw 23241
c lw 23244
c lw 23245
c lw 23246
c lw 23247
c lw 23248
c lw 23249
c lw 23250
c lw 23251
c lw 23252
c lw 23253
c lw 23254
c lw 23255
c lw 23256
c lw 23257