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_505.wcsp.log.wcnf
Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/WCSP/SPOT5/LOG/505.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 29
c lw 30
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 1064
c lw 2064
c lw 3064
c lw 4064
c lw 4066
c lw 4068
c lw 4070
c lw 4072
c lw 4074
c lw 4076
c lw 4078
c lw 4080
c lw 4082
c lw 4084
c lw 4085
c lw 4086
c lw 4088
c lw 4090
c lw 4092
c lw 4094
c lw 5094
c lw 6094
c lw 7094
c lw 8094
c lw 8099
c lw 9094
c lw 9099
c lw 9104
c lw 10104
c lw 10106
c lw 10109
c lw 10111
c lw 10113
c lw 10114
c lw 10118
c lw 11114
c lw 11116
c lw 11118
c lw 12118
c lw 13108
c lw 13112
c lw 13114
c lw 13116
c lw 13118
c lw 13119
c lw 13120
c lw 13121
c lw 13122
c lw 13124
c lw 13126
c lw 13129
c lw 13131
c lw 13136
c lw 13141
c lw 14127
c lw 14132
c lw 14136
c lw 15121
c lw 15123
c lw 15125
c lw 15126
c lw 15128
c lw 15130
c lw 15132
c lw 15134
c lw 15136
c lw 16136
c lw 16138
c lw 16139
c lw 16140
c lw 16145
c lw 16146
c lw 16147
c lw 16149
c lw 16151
c lw 17151
c lw 17155
c lw 17156
c lw 17161
c lw 17162
c lw 17163
c lw 17164
c lw 17165
c lw 17166
c lw 17167
c lw 17168
c lw 17169
c lw 17170
c lw 17171
c lw 17172
c lw 17173
c lw 17174
c lw 17175
c lw 17176
c lw 17177
c lw 17178
c lw 17179
c lw 17180
c lw 17181
c lw 18157
c lw 18164
c lw 18169
c lw 18174
c lw 18179
c lw 18180
c lw 18181
c lw 18182
c lw 18183
c lw 18184
c lw 18185
c lw 18186
c lw 18187
c lw 18188
c lw 18189
c lw 18190
c lw 18191
c lw 18192
c lw 18193
c lw 19184
c lw 19185
c lw 19186
c lw 19187
c lw 19188
c lw 19189
c lw 20165
c lw 20166
c lw 20169
c lw 20170
c lw 20171
c lw 20172
c lw 20173
c lw 20174
c lw 20175
c lw 20176
c lw 20177
c lw 20178
c lw 20179
c lw 20180
c lw 20181
c lw 20182
c lw 20184
c lw 20186
c lw 20187
c lw 20188
c lw 20189
c lw 20190
c lw 20191
c lw 20192
c lw 20193
c lw 20194
c lw 20195
c lw 20196
c lw 20197
c lw 20200
c lw 20201
c lw 20203
c lw 20204
c lw 21188
c lw 21191
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 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
Abort
507.695u 0.909s 8:29.61 99.7%	0+0k 0+0io 0pf+0w