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_408.wcsp.log.wcnf
Job file: /home/maxsat/benchmarks/wpms_crafted/wcsp/spot5/log/408.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 6002
c lw 6004
c lw 6006
c lw 6008
c lw 6010
c lw 6012
c lw 6014
c lw 6016
c lw 6018
c lw 6020
c lw 6022
c lw 6024
c lw 6026
c lw 6028
c lw 6030
c lw 6032
c lw 6034
c lw 6036
c lw 6038
c lw 6040
c lw 6042
c lw 6044
c lw 6046
c lw 6048
c lw 6050
c lw 6052
c lw 6054
c lw 6056
c lw 6058
c lw 6060
c lw 6062
c lw 6064
c lw 6066
c lw 6068
c lw 6070
c lw 6072
c lw 6074
c lw 6076
c lw 6078
c lw 6080
c lw 6082
c lw 6084
c lw 6086
c lw 6088
c lw 6090
c lw 6092
c lw 6094
c lw 6096
c lw 6098
c lw 6100
c lw 6102
c lw 6104
c lw 6106
c lw 6108
c lw 6110
c lw 6112
c lw 6114
c lw 6116
c lw 6118
c lw 6120
c lw 6122
c lw 6124
c lw 6126
c lw 6128
c lw 6130
c lw 6132
c lw 6134
c lw 6136
c lw 6138
c lw 6140
c lw 6142
c lw 6144
c lw 6146
c lw 6148
c lw 6150
c lw 6152
c lw 6154
c lw 6156
c lw 6158
c lw 6160
c lw 6162
c lw 6164
c lw 6166
c lw 6168
c lw 6170
c lw 6172
c lw 6174
c lw 6176
c lw 6178
c lw 6180
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 6190
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 6204
c lw 6205
c lw 6206
c lw 6207
c lw 6208
c lw 6209
c lw 6210
c lw 6211