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_509.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/509.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 22000
c lw 23000
c lw 24000
c lw 25000
c lw 26000
c lw 27000
c lw 28000
c lw 29000
c lw 30000
c lw 31000
c lw 32000
c lw 33000
c lw 34000
c lw 35000
c lw 36000
c lw 36005
c lw 36010
c lw 36015
c lw 36020
c lw 36025
c lw 36030
c lw 36035
c lw 36040
c lw 36045
c lw 36050
c lw 36055
c lw 36060
c lw 36065
c lw 36070
c lw 36075
c lw 36080
c lw 36085
c lw 36090
c lw 36095
c lw 36100
c lw 36105
c lw 36110
c lw 36115
c lw 36120
c lw 36125
c lw 36130
c lw 36135
c lw 36140
c lw 36145
c lw 36150
c lw 36155
c lw 36157
c lw 36159
c lw 36161
c lw 36163
c lw 36165
c lw 36167
c lw 36169
c lw 36171
c lw 36173
c lw 36175
c lw 36177
c lw 36179
c lw 36181
c lw 36183
c lw 36185
c lw 36187
c lw 36189
c lw 36191
c lw 36193
c lw 36195
c lw 36197
c lw 36199
c lw 36201
c lw 36203
c lw 36205
c lw 36207
c lw 36209
c lw 36211
c lw 36213
c lw 36215
c lw 36217
c lw 36219
c lw 36221
c lw 36223
c lw 36225
c lw 36227
c lw 36229
c lw 36231
c lw 36233
c lw 36235
c lw 36237
c lw 36239
c lw 36241
c lw 36243
c lw 36245
c lw 36247
c lw 36249
c lw 36251
c lw 36253
c lw 36255
c lw 36257
c lw 36259
c lw 36261
c lw 36263
c lw 36265
c lw 36267
c lw 36269
c lw 36271
c lw 36273
c lw 36275
c lw 36277
c lw 36279
c lw 36281
c lw 36283
c lw 36285
c lw 36287
c lw 36289
c lw 36291
c lw 36293
c lw 36295
c lw 36297
c lw 36299
c lw 36301
c lw 36303
c lw 36305
c lw 36307
c lw 36309
c lw 36311
c lw 36313
c lw 36315
c lw 36317
c lw 36319
c lw 36321
c lw 36323
c lw 36325
c lw 36327
c lw 36329
c lw 36331
c lw 36333
c lw 36335
c lw 36337
c lw 36339
c lw 36341
c lw 36343
c lw 36345
c lw 36347
c lw 36349
c lw 36351
c lw 36353
c lw 36355
c lw 36356
c lw 36357
c lw 36358
c lw 36359
c lw 36360
c lw 36361
c lw 36362
c lw 36363
c lw 36364
c lw 36365
c lw 36366
c lw 36367
c lw 36368
c lw 36369
c lw 36370
c lw 36371
c lw 36372
c lw 36373
c lw 36374
c lw 36375
c lw 36376
c lw 36377
c lw 36378
c lw 36379
c lw 36380
c lw 36381
c lw 36382
c lw 36383
c lw 36384
c lw 36385
c lw 36386
c lw 36387
c lw 36388
c lw 36389
c lw 36390
c lw 36391
c lw 36392
c lw 36393
c lw 36394
c lw 36395
c lw 36396
c lw 36397
c lw 36398
c lw 36399
c lw 36400
c lw 36401
c lw 36402
c lw 36403
c lw 36404
c lw 36405
c lw 36406
c lw 36407
c lw 36408
c lw 36409
c lw 36410
c lw 36411
c lw 36412