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_412.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/412.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 32005
c lw 32010
c lw 32015
c lw 32020
c lw 32025
c lw 32030
c lw 32035
c lw 32040
c lw 32045
c lw 32050
c lw 32055
c lw 32060
c lw 32065
c lw 32070
c lw 32075
c lw 32080
c lw 32085
c lw 32090
c lw 32095
c lw 32100
c lw 32105
c lw 32110
c lw 32115
c lw 32120
c lw 32122
c lw 32124
c lw 32126
c lw 32128
c lw 32130
c lw 32132
c lw 32134
c lw 32136
c lw 32138
c lw 32140
c lw 32142
c lw 32144
c lw 32146
c lw 32148
c lw 32150
c lw 32152
c lw 32154
c lw 32156
c lw 32158
c lw 32160
c lw 32162
c lw 32164
c lw 32166
c lw 32168
c lw 32170
c lw 32172
c lw 32174
c lw 32176
c lw 32178
c lw 32180
c lw 32182
c lw 32184
c lw 32186
c lw 32188
c lw 32190
c lw 32192
c lw 32194
c lw 32196
c lw 32198
c lw 32200
c lw 32202
c lw 32204
c lw 32206
c lw 32208
c lw 32210
c lw 32212
c lw 32214
c lw 32216
c lw 32218
c lw 32220
c lw 32222
c lw 32224
c lw 32226
c lw 32228
c lw 32230
c lw 32232
c lw 32234
c lw 32236
c lw 32238
c lw 32240
c lw 32242
c lw 32244
c lw 32246
c lw 32248
c lw 32250
c lw 32252
c lw 32254
c lw 32256
c lw 32258
c lw 32260
c lw 32262
c lw 32264
c lw 32266
c lw 32268
c lw 32270
c lw 32272
c lw 32274
c lw 32276
c lw 32278
c lw 32280
c lw 32282
c lw 32284
c lw 32286
c lw 32288
c lw 32290
c lw 32292
c lw 32294
c lw 32296
c lw 32298
c lw 32300
c lw 32302
c lw 32303
c lw 32304
c lw 32305
c lw 32306
c lw 32307
c lw 32308
c lw 32309
c lw 32310
c lw 32311
c lw 32312
c lw 32313
c lw 32314
c lw 32315
c lw 32316
c lw 32317
c lw 32318
c lw 32319
c lw 32320
c lw 32321
c lw 32322
c lw 32323
c lw 32324
c lw 32325
c lw 32326
c lw 32327
c lw 32328
c lw 32329
c lw 32330
c lw 32331
c lw 32332
c lw 32333
c lw 32334
c lw 32335
c lw 32336
c lw 32337
c lw 32338
c lw 32339
c lw 32340
c lw 32341
c lw 32342
c lw 32343
c lw 32344
c lw 32345
c lw 32346
c lw 32347
c lw 32348
c lw 32349
c lw 32350
c lw 32351
c lw 32352
c lw 32353
c lw 32354
c lw 32355
c lw 32356
c lw 32357
c lw 32358
c lw 32359
c lw 32360
c lw 32361
c lw 32362
c lw 32363
c lw 32364
c lw 32365
c lw 32366
c lw 32367
c lw 32368