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_min-enc_planning_mprime01bc.wcsp.wcnf Job file: /home/jplanes/evaluation/benchmarks/weightedpartial_crafted/min-enc/planning/mprime01bc.wcsp.wcnf Job solver: /home/jplanes/evaluation/solvers/CarlosAnsotegui/WPM1/wpm1 c lw 52 c lw 100 c lw 106 c lw 107 c lw 108 c lw 110 c lw 111 c lw 112 c lw 120 c lw 121 c lw 122 c lw 123 c lw 134 c lw 144 c lw 146 c lw 154 c lw 158 c lw 162 c lw 163 c lw 165 c lw 166 c lw 168 c lw 171 c lw 172 c lw 176 c lw 177 c lw 178 c lw 179 c lw 180 c lw 181 c lw 182 c lw 183 c lw 184 c lw 188 c lw 189 c lw 190 c lw 191 c lw 192 c lw 193 c lw 194 c lw 195 c lw 196 c lw 199 c lw 200 c lw 201 c lw 202 c lw 203 c lw 204 c lw 205 c lw 206 c lw 207 c lw 208 c lw 209 c lw 210 c lw 211 c lw 212 c lw 213 c lw 214 c lw 215 c lw 216 c lw 217 c lw 218 c lw 219 c lw 220 c lw 221 c lw 222 c lw 223 c lw 224 c lw 225 c lw 226 c lw 227 c lw 228 c lw 229 c lw 230 c lw 231 c lw 232 c lw 233 c lw 234 c lw 235 c lw 236 c lw 237 c lw 238 c lw 239 c lw 240 c lw 241 c lw 242 c lw 243 c lw 244 c lw 245 c lw 246 c lw 247 c lw 248 c lw 249 c lw 250 c lw 251 c lw 252 c lw 253 c lw 254 c lw 255 c lw 256 c lw 257 c lw 258 c lw 259 c lw 260 c lw 261 c lw 262 c lw 263 c lw 264 c lw 265 c lw 266 c lw 267 c lw 268 c lw 269 c lw 270 c lw 271 c lw 272 c lw 273 c lw 274 c lw 275 c lw 276 c lw 277 c lw 278