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_408.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/408.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 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 4124
c lw 4126
c lw 4128
c lw 4130
c lw 4132
c lw 4134
c lw 4136
c lw 4138
c lw 4140
c lw 4142
c lw 4144
c lw 4146
c lw 4148
c lw 4150
c lw 5150
c lw 5152
c lw 5154
c lw 5156
c lw 5158
c lw 5160
c lw 5162
c lw 6162
c lw 6163
c lw 6164
c lw 6165
c lw 6166
c lw 6167
c lw 6168
c lw 6169
c lw 6170
c lw 6171
c lw 6172
c lw 6173
c lw 6174
c lw 6175
c lw 6176
c lw 6177
c lw 6178
c lw 6179
c lw 6180
c lw 6181
c lw 6182
c lw 6183
c lw 6184
c lw 6185
c lw 6186
c lw 6187
c lw 6188
c lw 6189
c lw 6191
c lw 6192
c lw 6193
c lw 6194
c lw 6195
c lw 6196
c lw 6197
c lw 6198
c lw 6199
c lw 6200
c lw 6201
c lw 6202
c lw 6203
c lw 6205
c lw 6206
c lw 6207
c lw 6208
c lw 6209
c lw 6210
c lw 6211
c lw 6212
c lw 6213
c lw 6214
Abort
141.420u 0.766s 2:22.19 99.9%	0+0k 0+0io 0pf+0w