Warning: no access to tty (Bad file descriptor).
Thus no job control in this shell.
Job name: run-job-WPM1-wpms_crafted-_home_maxsat_benchmarks_wpms_crafted_wcsp_spot5_log_505.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/505.wcsp.log.wcnf
Job solver: /home/maxsat/solvers/WPM1/WPM1
c lw 0
c lw 1000
c lw 2000
c lw 3000
c lw 4000
c lw 5000
c lw 6000
c lw 7000
c lw 8000
c lw 9000
c lw 10000
c lw 11000
c lw 12000
c lw 13000
c lw 14000
c lw 15000
c lw 16000
c lw 17000
c lw 18000
c lw 19000
c lw 20000
c lw 21000
c lw 21005
c lw 21010
c lw 21015
c lw 21020
c lw 21025
c lw 21030
c lw 21035
c lw 21040
c lw 21045
c lw 21050
c lw 21055
c lw 21060
c lw 21062
c lw 21064
c lw 21066
c lw 21068
c lw 21070
c lw 21072
c lw 21074
c lw 21076
c lw 21078
c lw 21080
c lw 21082
c lw 21084
c lw 21086
c lw 21088
c lw 21090
c lw 21092
c lw 21094
c lw 21096
c lw 21098
c lw 21100
c lw 21102
c lw 21104
c lw 21106
c lw 21108
c lw 21110
c lw 21112
c lw 21114
c lw 21116
c lw 21118
c lw 21120
c lw 21122
c lw 21124
c lw 21126
c lw 21128
c lw 21130
c lw 21132
c lw 21134
c lw 21136
c lw 21138
c lw 21140
c lw 21142
c lw 21144
c lw 21146
c lw 21148
c lw 21150
c lw 21152
c lw 21154
c lw 21156
c lw 21158
c lw 21160
c lw 21162
c lw 21164
c lw 21166
c lw 21168
c lw 21170
c lw 21172
c lw 21174
c lw 21176
c lw 21178
c lw 21180
c lw 21182
c lw 21184
c lw 21186
c lw 21188
c lw 21190
c lw 21192
c lw 21193
c lw 21194
c lw 21195
c lw 21196
c lw 21197
c lw 21198
c lw 21199
c lw 21200
c lw 21201
c lw 21202
c lw 21203
c lw 21204
c lw 21205
c lw 21206
c lw 21207
c lw 21208
c lw 21209
c lw 21210
c lw 21211
c lw 21212
c lw 21213
c lw 21214
c lw 21215
c lw 21216
c lw 21217
c lw 21218
c lw 21219
c lw 21220
c lw 21221
c lw 21222
c lw 21223
c lw 21224
c lw 21225
c lw 21226
c lw 21227
c lw 21228
c lw 21229
c lw 21230
c lw 21231
c lw 21232
c lw 21233
c lw 21234
c lw 21235
c lw 21236
c lw 21237
c lw 21238
c lw 21239
c lw 21240
c lw 21241
c lw 21242
c lw 21243
c lw 21244
c lw 21245
c lw 21246
c lw 21247
c lw 21248
c lw 21249
c lw 21250
c lw 21251
c lw 21252
o 21253
s OPTIMUM FOUND
c Solution /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/505.wcsp.log.wcnf 21253
v -1 -2 -3 -4 -5 6 7 -8 9 10 11 -12 13 14 15 -16 17 18 19 20 21 22 23 -24 25 26 -27 28 29 -30 31 32 -33 34 35 36 37 38 -39 -40 41 42 43 44 -45 -46 47 48 -49 50 51 -52 53 54 -55 56 57 58 59 60 61 62 63 64 65 -66 67 68 69 70 71 72 -73 -74 75 -76 -77 78 -79 80 81 -82 83 84 -85 -86 87 -88 89 90 -91 -92 93 94 -95 96 97 98 -99 100 101 -102 103 104 105 -106 -107 108 109 110 111 -112 113 114 115 116 117 118 119 120 121 -122 123 124 125 126 127 128 129 -130 131 132 133 134 -135 136 137 138 -139 -140 141 142 143 144 145 146 147 148 -149 150 151 152 -153 154 155 -156 157 158 -159 -160 161 -162 -163 164 165 166 167 168 -169 -170 171 -172 -173 174 -175 -176 177 178 179 180 -181 -182 -183 184 185 186 187 -188 189 -190 191 192 -193 194 195 196 197 198 199 200 201 202 203 204 205 -206 207 208 209 -210 211 -212 213 214 215 216 217 -218 219 -220 -221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 -236 237 -238 239 240 241 242 243 -244 -245 246 247 248 249 250 251 252 253 -254 255 -256 257 258 259 260 261 262 -263 -264 265 266 267 268 -269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 -286 -287 288 -289 290 291 -292 293 294 295 -296 297 298 299 -300 -301 302 -303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 -320 -321 -322 323 324 325 326 -327 -328 -329 -330 331 332 -333 -334 -335 -336 337 -338 -339 340 -341 -342 343 -344 
265.430u 0.546s 4:26.27 99.8%	0+0k 0+0io 0pf+0w