0.00/0.00	c solving HOME/instance-4436436-1721125159.opb (Picat 3.6#12)
0.21/0.24	o 33185
0.21/0.32	o 33184
0.31/0.40	o 21763
0.79/0.81	o 14131
1.00/1.07	o 8424
1.19/1.20	o 4634
1.19/1.25	o 2733
1.48/1.56	o 2396
2.00/2.03	o 2330
2.28/2.30	o 2288
2.48/2.50	o 2260
3.09/3.16	o 2258
3.38/3.45	o 2257
3.58/3.68	o 2256
3.87/3.98	s OPTIMUM FOUND
3.87/3.98	v ~x2972 x435 x2126 ~x1280 x6026 ~x5180 ~x4334 ~x3488 ~x2973 x436 
3.87/3.98	v x2127 x1281 x6027 ~x5181 ~x4335 ~x3489 ~x2974 x437 x2128 x1282 
3.87/3.98	v ~x6028 ~x5182 ~x4336 ~x3490 ~x2975 x438 x2129 x1283 ~x6029 ~x5183 
3.87/3.98	v ~x4337 ~x3491 ~x2976 x439 x2130 x1284 ~x6030 ~x5184 ~x4338 ~x3492 
3.87/3.98	v ~x2977 x440 x2131 x1285 ~x6031 x5185 ~x4339 ~x3493 ~x2978 x441 
3.87/3.98	v x2132 ~x1286 ~x6032 ~x5186 ~x4340 ~x3494 ~x2979 x442 x2133 x1287 
3.87/3.98	v ~x6033 ~x5187 ~x4341 ~x3495 ~x2980 x443 x2134 x1288 ~x6034 ~x5188 
3.87/3.98	v ~x4342 ~x3496 ~x2981 x444 x2135 x1289 ~x6035 ~x5189 ~x4343 ~x3497 
3.87/3.98	v ~x2982 x445 x2136 x1290 x6036 ~x5190 ~x4344 ~x3498 ~x2983 x446 
3.87/3.98	v x2137 x1291 ~x6037 ~x5191 ~x4345 ~x3499 ~x2984 x447 x2138 x1292 
3.87/3.98	v x6038 ~x5192 ~x4346 ~x3500 ~x2985 ~x448 x2139 x1293 ~x6039 ~x5193 
3.87/3.98	v ~x4347 ~x3501 ~x2986 x449 x2140 x1294 ~x6040 ~x5194 ~x4348 ~x3502 
3.87/3.98	v ~x2987 x450 ~x2141 x1295 ~x6041 x5195 ~x4349 ~x3503 ~x2988 x451 
3.87/3.98	v x2142 x1296 ~x6042 x5196 ~x4350 ~x3504 ~x2989 x452 ~x2143 ~x1297 
3.87/3.98	v ~x6043 x5197 ~x4351 ~x3505 ~x2990 x453 x2144 x1298 x6044 x5198 
3.87/3.98	v ~x4352 ~x3506 ~x2991 x454 x2145 ~x1299 ~x6045 ~x5199 ~x4353 ~x3507 
3.87/3.98	v ~x2992 ~x455 x2146 x1300 ~x6046 ~x5200 ~x4354 ~x3508 ~x2993 x456 
3.87/3.98	v x2147 x1301 ~x6047 ~x5201 ~x4355 ~x3509 ~x2994 x457 x2148 x1302 
3.87/3.98	v ~x6048 ~x5202 ~x4356 ~x3510 ~x2995 ~x458 x2149 x1303 ~x6049 x5203 
3.87/3.98	v ~x4357 ~x3511 ~x2996 x459 x2150 x1304 ~x6050 ~x5204 ~x4358 ~x3512 
3.87/3.98	v ~x2997 ~x460 x2151 x1305 ~x6051 ~x5205 ~x4359 ~x3513 ~x2998 ~x461 
3.87/3.98	v x2152 ~x1306 x6052 ~x5206 ~x4360 ~x3514 ~x2999 ~x462 x2153 x1307 
3.87/3.98	v x6053 ~x5207 ~x4361 ~x3515 ~x3000 ~x463 x2154 x1308 ~x6054 ~x5208 
3.87/3.98	v ~x4362 ~x3516 ~x3001 x464 x2155 x1309 ~x6055 ~x5209 ~x4363 ~x3517 
3.87/3.98	v ~x3002 ~x465 x2156 x1310 ~x6056 ~x5210 ~x4364 ~x3518 ~x3003 x466 
3.87/3.98	v x2157 x1311 ~x6057 ~x5211 ~x4365 ~x3519 ~x3004 x467 x2158 ~x1312 
3.87/3.98	v ~x6058 ~x5212 ~x4366 ~x3520 ~x3005 ~x468 x2159 x1313 x6059 x5213 
3.87/3.98	v ~x4367 ~x3521 ~x3006 x469 x2160 x1314 x6060 ~x5214 ~x4368 ~x3522 
3.87/3.98	v ~x3007 x470 x2161 x1315 ~x6061 ~x5215 ~x4369 ~x3523 ~x3008 ~x471 
3.87/3.98	v x2162 x1316 ~x6062 ~x5216 ~x4370 ~x3524 ~x3009 x472 ~x2163 x1317 
3.87/3.98	v x6063 ~x5217 ~x4371 ~x3525 ~x3010 ~x473 x2164 x1318 ~x6064 ~x5218 
3.87/3.98	v ~x4372 ~x3526 ~x3011 ~x474 x2165 x1319 ~x6065 ~x5219 ~x4373 ~x3527 
3.87/3.98	v ~x3012 x475 x2166 x1320 x6066 x5220 ~x4374 ~x3528 ~x3013 x476 
3.87/3.98	v x2167 x1321 x6067 x5221 ~x4375 ~x3529 ~x3014 x477 ~x2168 x1322 
3.87/3.98	v ~x6068 x5222 ~x4376 ~x3530 ~x3015 x478 x2169 x1323 ~x6069 x5223 
3.87/3.98	v ~x4377 ~x3531 ~x3016 x479 x2170 x1324 ~x6070 x5224 ~x4378 ~x3532 
3.87/3.98	v ~x3017 x480 x2171 x1325 x6071 ~x5225 ~x4379 ~x3533 ~x3018 x481 
3.87/3.98	v ~x2172 ~x1326 x6072 ~x5226 ~x4380 ~x3534 ~x3019 x482 x2173 ~x1327 
3.87/3.98	v x6073 x5227 ~x4381 ~x3535 ~x3020 ~x483 x2174 ~x1328 ~x6074 ~x5228 
3.87/3.98	v ~x4382 ~x3536 ~x3021 ~x484 ~x2175 ~x1329 ~x6075 ~x5229 ~x4383 ~x3537 
3.87/3.98	v ~x3022 ~x485 x2176 ~x1330 ~x6076 ~x5230 ~x4384 ~x3538 ~x3023 x486 
3.87/3.98	v x2177 ~x1331 ~x6077 ~x5231 ~x4385 ~x3539 ~x3024 ~x487 x2178 ~x1332 
3.87/3.98	v ~x6078 ~x5232 ~x4386 ~x3540 ~x3025 x488 x2179 ~x1333 ~x6079 ~x5233 
3.87/3.98	v ~x4387 ~x3541 ~x3026 ~x489 x2180 ~x1334 ~x6080 x5234 ~x4388 ~x3542 
3.87/3.98	v ~x3027 ~x490 ~x2181 ~x1335 ~x6081 x5235 ~x4389 ~x3543 ~x3028 x491 
3.87/3.98	v ~x2182 ~x1336 ~x6082 ~x5236 ~x4390 ~x3544 ~x3029 x492 ~x2183 ~x1337 
3.87/3.98	v ~x6083 x5237 ~x4391 ~x3545 ~x3030 x493 x2184 ~x1338 ~x6084 x5238 
3.87/3.98	v ~x4392 ~x3546 ~x3031 x494 x2185 ~x1339 ~x6085 x5239 ~x4393 ~x3547 
3.87/3.98	v ~x3032 ~x495 x2186 x1340 ~x6086 ~x5240 ~x4394 ~x3548 ~x3033 x496 
3.87/3.98	v x2187 ~x1341 ~x6087 ~x5241 ~x4395 ~x3549 ~x3034 ~x497 ~x2188 ~x1342 
3.87/3.98	v ~x6088 ~x5242 ~x4396 ~x3550 ~x3035 x498 ~x2189 x1343 ~x6089 ~x5243 
3.87/3.98	v ~x4397 ~x3551 ~x3036 x499 ~x2190 ~x1344 ~x6090 ~x5244 ~x4398 ~x3552 
3.87/3.98	v ~x3037 x500 x2191 x1345 ~x6091 ~x5245 ~x4399 ~x3553 ~x3038 x501 
3.87/3.98	v ~x2192 ~x1346 ~x6092 ~x5246 ~x4400 ~x3554 ~x3039 x502 x2193 ~x1347 
3.87/3.98	v ~x6093 ~x5247 ~x4401 ~x3555 ~x3040 x503 x2194 x1348 ~x6094 x5248 
3.87/3.98	v ~x4402 ~x3556 ~x3041 ~x504 ~x2195 x1349 ~x6095 ~x5249 ~x4403 ~x3557 
3.87/3.98	v ~x3042 ~x505 ~x2196 x1350 ~x6096 ~x5250 ~x4404 ~x3558 ~x3043 x506 
3.87/3.98	v ~x2197 ~x1351 ~x6097 ~x5251 ~x4405 ~x3559 ~x3044 x507 x2198 x1352 
3.87/3.98	v ~x6098 x5252 ~x4406 ~x3560 ~x3045 x508 x2199 ~x1353 ~x6099 x5253 
3.87/3.98	v ~x4407 ~x3561 ~x3046 x509 ~x2200 x1354 ~x6100 x5254 ~x4408 ~x3562 
3.87/3.98	v ~x3047 x510 x2201 ~x1355 ~x6101 x5255 ~x4409 ~x3563 ~x3048 ~x511 
3.87/3.98	v x2202 ~x1356 ~x6102 ~x5256 ~x4410 ~x3564 ~x3049 x512 x2203 x1357 
3.87/3.98	v ~x6103 ~x5257 ~x4411 ~x3565 ~x3050 x513 x2204 x1358 ~x6104 x5258 
3.87/3.98	v ~x4412 ~x3566 ~x3051 x514 x2205 ~x1359 ~x6105 x5259 ~x4413 ~x3567 
3.87/3.98	v ~x3052 ~x515 ~x2206 x1360 ~x6106 x5260 ~x4414 ~x3568 x3053 x516 
3.87/3.98	v ~x2207 x1361 ~x6107 ~x5261 ~x4415 ~x3569 ~x3054 ~x517 ~x2208 ~x1362 
3.87/3.98	v ~x6108 x5262 ~x4416 ~x3570 ~x3055 ~x518 ~x2209 ~x1363 ~x6109 ~x5263 
3.87/3.98	v ~x4417 ~x3571 ~x3056 ~x519 ~x2210 ~x1364 ~x6110 x5264 ~x4418 ~x3572 
3.87/3.98	v ~x3057 ~x520 x2211 ~x1365 ~x6111 ~x5265 ~x4419 ~x3573 ~x3058 x521 
3.87/3.98	v x2212 ~x1366 ~x6112 ~x5266 ~x4420 ~x3574 ~x3059 x522 x2213 ~x1367 
3.87/3.98	v ~x6113 ~x5267 ~x4421 ~x3575 ~x3060 x523 x2214 x1368 ~x6114 ~x5268 
3.87/3.98	v ~x4422 ~x3576 ~x3061 ~x524 x2215 x1369 ~x6115 ~x5269 ~x4423 ~x3577 
3.87/3.98	v ~x3062 ~x525 x2216 x1370 ~x6116 ~x5270 ~x4424 ~x3578 ~x3063 ~x526 
3.87/3.98	v x2217 ~x1371 ~x6117 ~x5271 ~x4425 ~x3579 ~x3064 ~x527 x2218 ~x1372 
3.87/3.98	v ~x6118 ~x5272 ~x4426 ~x3580 ~x3065 ~x528 ~x2219 ~x1373 ~x6119 x5273 
3.87/3.98	v ~x4427 ~x3581 ~x3066 ~x529 x2220 x1374 ~x6120 x5274 ~x4428 ~x3582 
3.87/3.98	v x3067 x530 ~x2221 x1375 ~x6121 ~x5275 ~x4429 ~x3583 ~x3068 x531 
3.87/3.98	v x2222 x1376 ~x6122 ~x5276 ~x4430 ~x3584 ~x3069 x532 x2223 x1377 
3.87/3.98	v ~x6123 ~x5277 ~x4431 ~x3585 ~x3070 x533 x2224 x1378 x6124 ~x5278 
3.87/3.98	v ~x4432 ~x3586 ~x3071 x534 x2225 x1379 x6125 ~x5279 ~x4433 ~x3587 
3.87/3.98	v ~x3072 ~x535 x2226 ~x1380 ~x6126 ~x5280 ~x4434 ~x3588 ~x3073 ~x536 
3.87/3.98	v x2227 x1381 ~x6127 ~x5281 ~x4435 ~x3589 ~x3074 ~x537 x2228 x1382 
3.87/3.98	v ~x6128 ~x5282 ~x4436 ~x3590 ~x3075 ~x538 ~x2229 ~x1383 ~x6129 ~x5283 
3.87/3.98	v ~x4437 ~x3591 ~x3076 ~x539 ~x2230 ~x1384 ~x6130 ~x5284 ~x4438 ~x3592 
3.87/3.98	v ~x3077 x540 ~x2231 ~x1385 ~x6131 ~x5285 ~x4439 ~x3593 ~x3078 x541 
3.87/3.98	v ~x2232 ~x1386 ~x6132 ~x5286 ~x4440 ~x3594 ~x3079 x542 ~x2233 ~x1387 
3.87/3.98	v ~x6133 ~x5287 ~x4441 ~x3595 ~x3080 ~x543 ~x2234 ~x1388 ~x6134 ~x5288 
3.87/3.98	v ~x4442 ~x3596 ~x3081 ~x544 ~x2235 ~x1389 ~x6135 ~x5289 ~x4443 ~x3597 
3.87/3.98	v ~x3082 x545 ~x2236 x1390 ~x6136 ~x5290 ~x4444 ~x3598 ~x3083 ~x546 
3.87/3.98	v ~x2237 x1391 ~x6137 ~x5291 ~x4445 ~x3599 ~x3084 x547 ~x2238 x1392 
3.87/3.98	v ~x6138 x5292 ~x4446 ~x3600 ~x3085 ~x548 ~x2239 x1393 ~x6139 ~x5293 
3.87/3.98	v ~x4447 ~x3601 ~x3086 ~x549 ~x2240 x1394 ~x6140 x5294 ~x4448 ~x3602 
3.87/3.98	v ~x3087 ~x550 ~x2241 x1395 ~x6141 ~x5295 ~x4449 ~x3603 ~x3088 ~x551 
3.87/3.98	v ~x2242 x1396 ~x6142 ~x5296 ~x4450 ~x3604 ~x3089 ~x552 ~x2243 x1397 
3.87/3.98	v ~x6143 ~x5297 ~x4451 ~x3605 ~x3090 ~x553 ~x2244 x1398 ~x6144 x5298 
3.87/3.98	v ~x4452 ~x3606 ~x3091 x554 ~x2245 x1399 ~x6145 ~x5299 ~x4453 ~x3607 
3.87/3.98	v ~x3092 x555 ~x2246 x1400 ~x6146 ~x5300 ~x4454 ~x3608 ~x3093 x556 
3.87/3.98	v ~x2247 ~x1401 ~x6147 ~x5301 ~x4455 ~x3609 ~x3094 x557 ~x2248 ~x1402 
3.87/3.98	v ~x6148 ~x5302 ~x4456 ~x3610 ~x3095 ~x558 ~x2249 x1403 ~x6149 ~x5303 
3.87/3.98	v ~x4457 ~x3611 ~x3096 x559 ~x2250 x1404 ~x6150 ~x5304 ~x4458 ~x3612 
3.87/3.98	v ~x3097 x560 ~x2251 x1405 ~x6151 ~x5305 ~x4459 ~x3613 ~x3098 ~x561 
3.87/3.98	v ~x2252 ~x1406 ~x6152 x5306 ~x4460 ~x3614 ~x3099 ~x562 ~x2253 x1407 
3.87/3.98	v ~x6153 x5307 ~x4461 ~x3615 ~x3100 x563 ~x2254 x1408 ~x6154 x5308 
3.87/3.98	v ~x4462 ~x3616 ~x3101 ~x564 ~x2255 x1409 x6155 ~x5309 ~x4463 ~x3617 
3.87/3.98	v ~x3102 ~x565 ~x2256 x1410 ~x6156 x5310 ~x4464 ~x3618 ~x3103 x566 
3.87/3.98	v ~x2257 ~x1411 ~x6157 x5311 ~x4465 ~x3619 ~x3104 ~x567 ~x2258 ~x1412 
3.87/3.98	v ~x6158 x5312 ~x4466 ~x3620 ~x3105 x568 ~x2259 ~x1413 ~x6159 ~x5313 
3.87/3.98	v ~x4467 ~x3621 ~x3106 ~x569 x2260 ~x1414 ~x6160 x5314 ~x4468 ~x3622 
3.87/3.98	v ~x3107 ~x570 ~x2261 ~x1415 ~x6161 ~x5315 ~x4469 ~x3623 ~x3108 ~x571 
3.87/3.98	v ~x2262 ~x1416 ~x6162 x5316 ~x4470 ~x3624 ~x3109 x572 ~x2263 ~x1417 
3.87/3.98	v ~x6163 ~x5317 ~x4471 ~x3625 ~x3110 ~x573 ~x2264 x1418 ~x6164 ~x5318 
3.87/3.98	v ~x4472 ~x3626 ~x3111 x574 ~x2265 x1419 ~x6165 ~x5319 ~x4473 ~x3627 
3.87/3.98	v ~x3112 x575 ~x2266 x1420 ~x6166 ~x5320 ~x4474 ~x3628 ~x3113 x576 
3.87/3.98	v ~x2267 x1421 ~x6167 ~x5321 ~x4475 ~x3629 ~x3114 x577 ~x2268 x1422 
3.87/3.98	v ~x6168 ~x5322 ~x4476 ~x3630 ~x3115 ~x578 ~x2269 x1423 ~x6169 ~x5323 
3.87/3.98	v ~x4477 ~x3631 ~x3116 ~x579 ~x2270 x1424 ~x6170 x5324 ~x4478 ~x3632 
3.87/3.98	v ~x3117 x580 ~x2271 ~x1425 ~x6171 x5325 ~x4479 ~x3633 ~x3118 ~x581 
3.87/3.98	v ~x2272 ~x1426 ~x6172 x5326 ~x4480 ~x3634 ~x3119 x582 ~x2273 x1427 
3.87/3.98	v ~x6173 x5327 ~x4481 ~x3635 ~x3120 x583 ~x2274 x1428 ~x6174 x5328 
3.87/3.98	v ~x4482 ~x3636 ~x3121 ~x584 ~x2275 ~x1429 ~x6175 ~x5329 ~x4483 ~x3637 
3.87/3.98	v ~x3122 ~x585 ~x2276 ~x1430 ~x6176 x5330 ~x4484 ~x3638 ~x3123 ~x586 
3.87/3.98	v ~x2277 x1431 ~x6177 x5331 ~x4485 ~x3639 ~x3124 ~x587 ~x2278 x1432 
3.87/3.98	v ~x6178 ~x5332 ~x4486 ~x3640 ~x3125 ~x588 ~x2279 x1433 ~x6179 ~x5333 
3.87/3.98	v ~x4487 ~x3641 ~x3126 ~x589 ~x2280 x1434 ~x6180 x5334 ~x4488 ~x3642 
3.87/3.98	v ~x3127 ~x590 ~x2281 x1435 ~x6181 ~x5335 ~x4489 ~x3643 ~x3128 ~x591 
3.87/3.98	v ~x2282 ~x1436 ~x6182 ~x5336 ~x4490 ~x3644 ~x3129 ~x592 ~x2283 x1437 
3.87/3.98	v ~x6183 ~x5337 ~x4491 ~x3645 ~x3130 ~x593 ~x2284 x1438 ~x6184 ~x5338 
3.87/3.98	v ~x4492 ~x3646 ~x3131 ~x594 ~x2285 x1439 x6185 x5339 ~x4493 ~x3647 
3.87/3.98	v ~x3132 ~x595 ~x2286 x1440 ~x6186 ~x5340 ~x4494 ~x3648 ~x3133 ~x596 
3.87/3.98	v ~x2287 x1441 ~x6187 x5341 ~x4495 ~x3649 ~x3134 ~x597 ~x2288 x1442 
3.87/3.98	v ~x6188 ~x5342 ~x4496 ~x3650 ~x3135 x598 ~x2289 x1443 ~x6189 ~x5343 
3.87/3.98	v ~x4497 ~x3651 ~x3136 ~x599 ~x2290 x1444 ~x6190 ~x5344 ~x4498 ~x3652 
3.87/3.98	v ~x3137 x600 ~x2291 x1445 ~x6191 ~x5345 ~x4499 ~x3653 ~x3138 ~x601 
3.87/3.98	v ~x2292 x1446 ~x6192 ~x5346 ~x4500 ~x3654 ~x3139 x602 ~x2293 x1447 
3.87/3.98	v ~x6193 ~x5347 ~x4501 ~x3655 ~x3140 ~x603 ~x2294 x1448 ~x6194 ~x5348 
3.87/3.98	v ~x4502 ~x3656 ~x3141 ~x604 ~x2295 x1449 ~x6195 ~x5349 ~x4503 ~x3657 
3.87/3.98	v ~x3142 ~x605 ~x2296 x1450 ~x6196 ~x5350 ~x4504 ~x3658 ~x3143 ~x606 
3.87/3.98	v ~x2297 x1451 x6197 x5351 ~x4505 ~x3659 ~x3144 ~x607 ~x2298 x1452 
3.87/3.98	v ~x6198 ~x5352 ~x4506 ~x3660 ~x3145 ~x608 ~x2299 x1453 ~x6199 ~x5353 
3.87/3.98	v ~x4507 ~x3661 ~x3146 ~x609 ~x2300 x1454 ~x6200 ~x5354 ~x4508 ~x3662 
3.87/3.98	v ~x3147 ~x610 ~x2301 x1455 ~x6201 x5355 ~x4509 ~x3663 ~x3148 ~x611 
3.87/3.98	v ~x2302 x1456 ~x6202 ~x5356 ~x4510 ~x3664 ~x3149 ~x612 ~x2303 x1457 
3.87/3.98	v ~x6203 ~x5357 ~x4511 ~x3665 ~x3150 x613 ~x2304 ~x1458 ~x6204 x5358 
3.87/3.98	v ~x4512 ~x3666 ~x3151 ~x614 ~x2305 ~x1459 ~x6205 ~x5359 ~x4513 ~x3667 
3.87/3.98	v ~x3152 ~x615 ~x2306 ~x1460 x6206 ~x5360 ~x4514 ~x3668 ~x3153 x616 
3.87/3.98	v ~x2307 x1461 ~x6207 ~x5361 ~x4515 ~x3669 ~x3154 x617 ~x2308 x1462 
3.87/3.98	v ~x6208 ~x5362 ~x4516 ~x3670 ~x3155 ~x618 ~x2309 x1463 ~x6209 ~x5363 
3.87/3.98	v ~x4517 ~x3671 ~x3156 ~x619 ~x2310 x1464 ~x6210 x5364 ~x4518 ~x3672 
3.87/3.98	v ~x3157 x620 ~x2311 ~x1465 ~x6211 ~x5365 ~x4519 ~x3673 ~x3158 ~x621 
3.87/3.98	v x2312 ~x1466 ~x6212 ~x5366 ~x4520 ~x3674 ~x3159 x622 ~x2313 x1467 
3.87/3.98	v ~x6213 ~x5367 ~x4521 ~x3675 ~x3160 x623 ~x2314 x1468 ~x6214 ~x5368 
3.87/3.98	v ~x4522 ~x3676 ~x3161 ~x624 ~x2315 x1469 x6215 ~x5369 ~x4523 ~x3677 
3.87/3.98	v ~x3162 x625 ~x2316 x1470 ~x6216 ~x5370 ~x4524 ~x3678 ~x3163 ~x626 
3.87/3.98	v ~x2317 ~x1471 ~x6217 ~x5371 ~x4525 ~x3679 ~x3164 x627 ~x2318 x1472 
3.87/3.98	v x6218 ~x5372 ~x4526 ~x3680 ~x3165 ~x628 ~x2319 x1473 ~x6219 x5373 
3.87/3.98	v ~x4527 ~x3681 ~x3166 ~x629 ~x2320 x1474 ~x6220 ~x5374 ~x4528 ~x3682 
3.87/3.98	v ~x3167 x630 ~x2321 x1475 x6221 ~x5375 ~x4529 ~x3683 ~x3168 ~x631 
3.87/3.98	v ~x2322 ~x1476 x6222 ~x5376 x4530 ~x3684 ~x3169 x632 ~x2323 x1477 
3.87/3.98	v x6223 ~x5377 x4531 ~x3685 ~x3170 x633 ~x2324 x1478 ~x6224 ~x5378 
3.87/3.98	v ~x4532 ~x3686 ~x3171 x634 ~x2325 x1479 ~x6225 ~x5379 ~x4533 ~x3687 
3.87/3.98	v ~x3172 ~x635 ~x2326 x1480 ~x6226 ~x5380 ~x4534 ~x3688 ~x3173 x636 
3.87/3.98	v ~x2327 ~x1481 ~x6227 ~x5381 ~x4535 ~x3689 ~x3174 ~x637 ~x2328 x1482 
3.87/3.98	v ~x6228 ~x5382 ~x4536 ~x3690 ~x3175 x638 ~x2329 x1483 ~x6229 ~x5383 
3.87/3.98	v ~x4537 ~x3691 ~x3176 ~x639 ~x2330 x1484 x6230 ~x5384 ~x4538 ~x3692 
3.87/3.98	v ~x3177 ~x640 ~x2331 x1485 ~x6231 x5385 ~x4539 ~x3693 ~x3178 ~x641 
3.87/3.98	v ~x2332 x1486 ~x6232 ~x5386 ~x4540 ~x3694 ~x3179 x642 ~x2333 x1487 
3.87/3.98	v ~x6233 ~x5387 ~x4541 ~x3695 ~x3180 x643 ~x2334 x1488 ~x6234 ~x5388 
3.87/3.98	v ~x4542 ~x3696 ~x3181 ~x644 ~x2335 x1489 ~x6235 ~x5389 ~x4543 ~x3697 
3.87/3.98	v ~x3182 ~x645 ~x2336 x1490 ~x6236 ~x5390 ~x4544 ~x3698 ~x3183 x646 
3.87/3.98	v ~x2337 x1491 ~x6237 x5391 ~x4545 ~x3699 ~x3184 x647 ~x2338 x1492 
3.87/3.98	v ~x6238 ~x5392 ~x4546 ~x3700 ~x3185 x648 ~x2339 x1493 ~x6239 ~x5393 
3.87/3.98	v ~x4547 ~x3701 ~x3186 ~x649 ~x2340 x1494 ~x6240 ~x5394 ~x4548 ~x3702 
3.87/3.98	v ~x3187 x650 ~x2341 ~x1495 ~x6241 ~x5395 ~x4549 ~x3703 ~x3188 x651 
3.87/3.98	v ~x2342 x1496 ~x6242 ~x5396 ~x4550 ~x3704 ~x3189 x652 ~x2343 x1497 
3.87/3.98	v ~x6243 ~x5397 ~x4551 ~x3705 ~x3190 x653 ~x2344 x1498 ~x6244 ~x5398 
3.87/3.98	v ~x4552 ~x3706 ~x3191 ~x654 ~x2345 x1499 ~x6245 ~x5399 ~x4553 ~x3707 
3.87/3.98	v ~x3192 x655 ~x2346 x1500 ~x6246 ~x5400 ~x4554 ~x3708 ~x3193 x656 
3.87/3.98	v ~x2347 x1501 ~x6247 ~x5401 ~x4555 ~x3709 ~x3194 x657 ~x2348 x1502 
3.87/3.98	v ~x6248 ~x5402 ~x4556 ~x3710 ~x3195 ~x658 ~x2349 x1503 ~x6249 ~x5403 
3.87/3.98	v ~x4557 ~x3711 ~x3196 x659 ~x2350 x1504 ~x6250 ~x5404 x4558 ~x3712 
3.87/3.98	v ~x3197 x660 ~x2351 x1505 x6251 x5405 ~x4559 ~x3713 ~x3198 x661 
3.87/3.98	v ~x2352 x1506 ~x6252 x5406 ~x4560 ~x3714 ~x3199 ~x662 ~x2353 x1507 
3.87/3.98	v ~x6253 ~x5407 ~x4561 ~x3715 ~x3200 x663 ~x2354 ~x1508 ~x6254 ~x5408 
3.87/3.98	v ~x4562 ~x3716 ~x3201 x664 ~x2355 ~x1509 ~x6255 ~x5409 ~x4563 ~x3717 
3.87/3.98	v ~x3202 ~x665 ~x2356 x1510 ~x6256 ~x5410 ~x4564 ~x3718 ~x3203 ~x666 
3.87/3.98	v x2357 ~x1511 ~x6257 ~x5411 ~x4565 ~x3719 ~x3204 x667 ~x2358 x1512 
3.87/3.98	v x6258 ~x5412 ~x4566 ~x3720 ~x3205 x668 ~x2359 x1513 ~x6259 ~x5413 
3.87/3.98	v ~x4567 ~x3721 ~x3206 x669 ~x2360 ~x1514 ~x6260 ~x5414 ~x4568 ~x3722 
3.87/3.98	v ~x3207 x670 ~x2361 ~x1515 ~x6261 ~x5415 ~x4569 ~x3723 ~x3208 x671 
3.87/3.98	v ~x2362 ~x1516 ~x6262 ~x5416 ~x4570 ~x3724 ~x3209 x672 ~x2363 x1517 
3.87/3.98	v ~x6263 ~x5417 ~x4571 ~x3725 ~x3210 x673 ~x2364 ~x1518 ~x6264 x5418 
3.87/3.98	v ~x4572 ~x3726 ~x3211 ~x674 ~x2365 x1519 ~x6265 ~x5419 ~x4573 ~x3727 
3.87/3.98	v ~x3212 x675 ~x2366 x1520 ~x6266 ~x5420 ~x4574 ~x3728 ~x3213 ~x676 
3.87/3.98	v ~x2367 ~x1521 ~x6267 ~x5421 ~x4575 ~x3729 ~x3214 ~x677 ~x2368 x1522 
3.87/3.98	v ~x6268 ~x5422 ~x4576 ~x3730 ~x3215 ~x678 ~x2369 x1523 ~x6269 ~x5423 
3.87/3.98	v ~x4577 ~x3731 ~x3216 ~x679 ~x2370 x1524 ~x6270 ~x5424 ~x4578 ~x3732 
3.87/3.98	v ~x3217 ~x680 ~x2371 ~x1525 ~x6271 ~x5425 x4579 ~x3733 ~x3218 ~x681 
3.87/3.98	v ~x2372 ~x1526 ~x6272 ~x5426 x4580 ~x3734 ~x3219 ~x682 ~x2373 x1527 
3.87/3.98	v ~x6273 ~x5427 ~x4581 ~x3735 ~x3220 ~x683 ~x2374 ~x1528 ~x6274 x5428 
3.87/3.98	v ~x4582 ~x3736 ~x3221 ~x684 ~x2375 x1529 ~x6275 ~x5429 ~x4583 ~x3737 
3.87/3.98	v ~x3222 ~x685 ~x2376 ~x1530 ~x6276 x5430 ~x4584 ~x3738 ~x3223 ~x686 
3.87/3.98	v ~x2377 x1531 ~x6277 x5431 ~x4585 ~x3739 ~x3224 ~x687 ~x2378 ~x1532 
3.87/3.98	v ~x6278 ~x5432 ~x4586 ~x3740 ~x3225 ~x688 ~x2379 ~x1533 ~x6279 ~x5433 
3.87/3.98	v ~x4587 ~x3741 ~x3226 ~x689 ~x2380 x1534 ~x6280 x5434 ~x4588 ~x3742 
3.87/3.98	v ~x3227 ~x690 ~x2381 ~x1535 ~x6281 ~x5435 ~x4589 ~x3743 ~x3228 x691 
3.87/3.98	v ~x2382 ~x1536 ~x6282 ~x5436 ~x4590 ~x3744 ~x3229 ~x692 ~x2383 ~x1537 
3.87/3.98	v ~x6283 ~x5437 ~x4591 ~x3745 ~x3230 x693 ~x2384 x1538 ~x6284 ~x5438 
3.87/3.98	v ~x4592 ~x3746 ~x3231 x694 ~x2385 x1539 ~x6285 ~x5439 ~x4593 ~x3747 
3.87/3.98	v ~x3232 x695 ~x2386 x1540 ~x6286 x5440 ~x4594 ~x3748 ~x3233 ~x696 
3.87/3.98	v ~x2387 x1541 ~x6287 ~x5441 x4595 ~x3749 ~x3234 ~x697 ~x2388 x1542 
3.87/3.98	v ~x6288 x5442 ~x4596 ~x3750 ~x3235 ~x698 ~x2389 x1543 ~x6289 x5443 
3.87/3.98	v ~x4597 ~x3751 ~x3236 ~x699 ~x2390 ~x1544 ~x6290 x5444 ~x4598 ~x3752 
3.87/3.98	v ~x3237 ~x700 ~x2391 x1545 ~x6291 x5445 ~x4599 ~x3753 ~x3238 ~x701 
3.87/3.98	v ~x2392 x1546 ~x6292 x5446 ~x4600 ~x3754 ~x3239 ~x702 ~x2393 ~x1547 
3.87/3.98	v ~x6293 x5447 ~x4601 ~x3755 ~x3240 ~x703 ~x2394 x1548 ~x6294 x5448 
3.87/3.98	v ~x4602 ~x3756 ~x3241 ~x704 ~x2395 x1549 ~x6295 x5449 ~x4603 ~x3757 
3.87/3.98	v ~x3242 ~x705 ~x2396 x1550 ~x6296 x5450 ~x4604 ~x3758 ~x3243 ~x706 
3.87/3.98	v ~x2397 x1551 ~x6297 ~x5451 ~x4605 ~x3759 ~x3244 ~x707 ~x2398 x1552 
3.87/3.98	v ~x6298 x5452 ~x4606 ~x3760 ~x3245 x708 ~x2399 x1553 ~x6299 ~x5453 
3.87/3.98	v ~x4607 x3761 ~x3246 x709 ~x2400 x1554 ~x6300 x5454 ~x4608 ~x3762 
3.87/3.98	v ~x3247 x710 ~x2401 x1555 ~x6301 x5455 ~x4609 ~x3763 ~x3248 x711 
3.87/3.98	v ~x2402 x1556 ~x6302 ~x5456 x4610 ~x3764 ~x3249 ~x712 ~x2403 x1557 
3.87/3.98	v ~x6303 x5457 x4611 ~x3765 ~x3250 ~x713 ~x2404 x1558 ~x6304 ~x5458 
3.87/3.98	v x4612 ~x3766 ~x3251 x714 ~x2405 x1559 ~x6305 x5459 x4613 ~x3767 
3.87/3.98	v ~x3252 x715 ~x2406 x1560 ~x6306 ~x5460 ~x4614 ~x3768 ~x3253 x716 
3.87/3.98	v ~x2407 x1561 ~x6307 ~x5461 x4615 ~x3769 ~x3254 ~x717 ~x2408 x1562 
3.87/3.98	v ~x6308 x5462 ~x4616 ~x3770 ~x3255 ~x718 ~x2409 x1563 ~x6309 ~x5463 
3.87/3.98	v ~x4617 ~x3771 ~x3256 x719 ~x2410 x1564 ~x6310 ~x5464 ~x4618 ~x3772 
3.87/3.98	v ~x3257 ~x720 ~x2411 x1565 ~x6311 ~x5465 ~x4619 ~x3773 ~x3258 x721 
3.87/3.98	v ~x2412 x1566 ~x6312 ~x5466 ~x4620 ~x3774 ~x3259 x722 ~x2413 ~x1567 
3.87/3.98	v ~x6313 x5467 ~x4621 ~x3775 ~x3260 x723 ~x2414 x1568 ~x6314 x5468 
3.87/3.98	v ~x4622 ~x3776 ~x3261 x724 ~x2415 x1569 ~x6315 ~x5469 ~x4623 ~x3777 
3.87/3.98	v ~x3262 x725 ~x2416 ~x1570 ~x6316 ~x5470 ~x4624 ~x3778 ~x3263 x726 
3.87/3.98	v ~x2417 ~x1571 ~x6317 ~x5471 x4625 ~x3779 ~x3264 ~x727 ~x2418 x1572 
3.87/3.98	v ~x6318 ~x5472 ~x4626 ~x3780 ~x3265 ~x728 ~x2419 x1573 ~x6319 ~x5473 
3.87/3.98	v ~x4627 ~x3781 ~x3266 x729 ~x2420 ~x1574 ~x6320 ~x5474 ~x4628 ~x3782 
3.87/3.98	v ~x3267 x730 ~x2421 ~x1575 ~x6321 ~x5475 ~x4629 ~x3783 ~x3268 ~x731 
3.87/3.98	v ~x2422 x1576 ~x6322 ~x5476 ~x4630 ~x3784 ~x3269 ~x732 ~x2423 x1577 
3.87/3.98	v ~x6323 ~x5477 ~x4631 ~x3785 ~x3270 x733 ~x2424 x1578 ~x6324 ~x5478 
3.87/3.98	v ~x4632 ~x3786 ~x3271 ~x734 ~x2425 ~x1579 x6325 x5479 ~x4633 ~x3787 
3.87/3.98	v ~x3272 x735 ~x2426 x1580 x6326 ~x5480 ~x4634 ~x3788 ~x3273 x736 
3.87/3.98	v ~x2427 x1581 ~x6327 ~x5481 ~x4635 ~x3789 ~x3274 ~x737 ~x2428 ~x1582 
3.87/3.98	v ~x6328 ~x5482 x4636 ~x3790 ~x3275 x738 ~x2429 x1583 x6329 ~x5483 
3.87/3.98	v ~x4637 ~x3791 ~x3276 ~x739 ~x2430 x1584 ~x6330 ~x5484 ~x4638 ~x3792 
3.87/3.98	v ~x3277 x740 ~x2431 x1585 ~x6331 ~x5485 ~x4639 ~x3793 ~x3278 ~x741 
3.87/3.98	v ~x2432 x1586 ~x6332 ~x5486 ~x4640 ~x3794 ~x3279 x742 ~x2433 x1587 
3.87/3.98	v ~x6333 ~x5487 ~x4641 ~x3795 ~x3280 x743 ~x2434 x1588 ~x6334 ~x5488 
3.87/3.98	v ~x4642 ~x3796 ~x3281 x744 ~x2435 x1589 ~x6335 x5489 ~x4643 ~x3797 
3.87/3.98	v ~x3282 ~x745 ~x2436 ~x1590 ~x6336 ~x5490 ~x4644 ~x3798 ~x3283 x746 
3.87/3.98	v ~x2437 x1591 ~x6337 ~x5491 ~x4645 ~x3799 ~x3284 ~x747 ~x2438 ~x1592 
3.87/3.98	v ~x6338 ~x5492 ~x4646 ~x3800 ~x3285 x748 ~x2439 x1593 ~x6339 x5493 
3.87/3.98	v ~x4647 ~x3801 ~x3286 x749 ~x2440 ~x1594 ~x6340 ~x5494 ~x4648 ~x3802 
3.87/3.98	v ~x3287 ~x750 ~x2441 ~x1595 x6341 ~x5495 ~x4649 ~x3803 ~x3288 x751 
3.87/3.98	v ~x2442 x1596 ~x6342 ~x5496 ~x4650 ~x3804 ~x3289 x752 ~x2443 x1597 
3.87/3.98	v ~x6343 ~x5497 ~x4651 ~x3805 ~x3290 x753 ~x2444 x1598 x6344 x5498 
3.87/3.98	v ~x4652 ~x3806 ~x3291 x754 ~x2445 x1599 ~x6345 ~x5499 ~x4653 ~x3807 
3.87/3.98	v ~x3292 x755 ~x2446 x1600 ~x6346 ~x5500 ~x4654 ~x3808 ~x3293 x756 
3.87/3.98	v ~x2447 x1601 ~x6347 x5501 ~x4655 ~x3809 ~x3294 x757 ~x2448 x1602 
3.87/3.98	v ~x6348 x5502 ~x4656 ~x3810 ~x3295 x758 ~x2449 x1603 ~x6349 ~x5503 
3.87/3.98	v ~x4657 ~x3811 ~x3296 ~x759 ~x2450 x1604 ~x6350 ~x5504 ~x4658 ~x3812 
3.87/3.98	v ~x3297 x760 ~x2451 x1605 ~x6351 ~x5505 ~x4659 ~x3813 ~x3298 x761 
3.87/3.98	v ~x2452 ~x1606 ~x6352 ~x5506 ~x4660 ~x3814 ~x3299 x762 ~x2453 x1607 
3.87/3.98	v ~x6353 ~x5507 ~x4661 ~x3815 ~x3300 ~x763 ~x2454 x1608 ~x6354 ~x5508 
3.87/3.98	v ~x4662 ~x3816 ~x3301 ~x764 ~x2455 x1609 x6355 ~x5509 ~x4663 ~x3817 
3.87/3.98	v ~x3302 x765 ~x2456 x1610 ~x6356 x5510 ~x4664 ~x3818 ~x3303 x766 
3.87/3.98	v ~x2457 x1611 ~x6357 ~x5511 ~x4665 ~x3819 ~x3304 x767 ~x2458 ~x1612 
3.87/3.98	v x6358 ~x5512 ~x4666 ~x3820 ~x3305 x768 ~x2459 x1613 ~x6359 ~x5513 
3.87/3.98	v ~x4667 ~x3821 ~x3306 ~x769 ~x2460 x1614 ~x6360 ~x5514 ~x4668 ~x3822 
3.87/3.98	v x3307 x770 ~x2461 x1615 ~x6361 ~x5515 ~x4669 ~x3823 ~x3308 ~x771 
3.87/3.98	v ~x2462 x1616 ~x6362 ~x5516 ~x4670 ~x3824 ~x3309 x772 ~x2463 x1617 
3.87/3.98	v ~x6363 ~x5517 x4671 ~x3825 ~x3310 x773 ~x2464 x1618 ~x6364 ~x5518 
3.87/3.98	v ~x4672 ~x3826 ~x3311 ~x774 ~x2465 x1619 ~x6365 ~x5519 ~x4673 ~x3827 
3.87/3.98	v ~x3312 x775 ~x2466 x1620 ~x6366 ~x5520 ~x4674 ~x3828 ~x3313 x776 
3.87/3.98	v ~x2467 x1621 ~x6367 x5521 ~x4675 ~x3829 ~x3314 x777 ~x2468 x1622 
3.87/3.98	v ~x6368 x5522 ~x4676 ~x3830 ~x3315 x778 ~x2469 ~x1623 ~x6369 x5523 
3.87/3.98	v ~x4677 ~x3831 ~x3316 x779 ~x2470 x1624 ~x6370 ~x5524 ~x4678 ~x3832 
3.87/3.98	v ~x3317 x780 ~x2471 x1625 ~x6371 ~x5525 ~x4679 ~x3833 ~x3318 x781 
3.87/3.98	v ~x2472 x1626 ~x6372 x5526 ~x4680 ~x3834 ~x3319 x782 ~x2473 ~x1627 
3.87/3.98	v ~x6373 x5527 ~x4681 ~x3835 ~x3320 x783 ~x2474 ~x1628 ~x6374 ~x5528 
3.87/3.98	v ~x4682 ~x3836 ~x3321 x784 ~x2475 ~x1629 ~x6375 ~x5529 ~x4683 ~x3837 
3.87/3.98	v ~x3322 ~x785 ~x2476 x1630 ~x6376 ~x5530 ~x4684 ~x3838 ~x3323 ~x786 
3.87/3.98	v ~x2477 ~x1631 ~x6377 ~x5531 ~x4685 ~x3839 ~x3324 ~x787 ~x2478 ~x1632 
3.87/3.98	v ~x6378 ~x5532 ~x4686 ~x3840 ~x3325 ~x788 ~x2479 x1633 ~x6379 ~x5533 
3.87/3.98	v ~x4687 ~x3841 ~x3326 x789 ~x2480 ~x1634 ~x6380 ~x5534 ~x4688 ~x3842 
3.87/3.98	v ~x3327 x790 ~x2481 ~x1635 ~x6381 ~x5535 ~x4689 ~x3843 ~x3328 x791 
3.87/3.98	v ~x2482 x1636 ~x6382 ~x5536 ~x4690 ~x3844 ~x3329 ~x792 ~x2483 ~x1637 
3.87/3.98	v ~x6383 ~x5537 ~x4691 ~x3845 ~x3330 ~x793 ~x2484 ~x1638 ~x6384 ~x5538 
3.87/3.98	v ~x4692 ~x3846 ~x3331 x794 ~x2485 x1639 ~x6385 ~x5539 ~x4693 ~x3847 
3.87/3.98	v ~x3332 ~x795 ~x2486 x1640 ~x6386 ~x5540 ~x4694 ~x3848 ~x3333 x796 
3.87/3.98	v ~x2487 x1641 ~x6387 x5541 ~x4695 ~x3849 ~x3334 ~x797 ~x2488 x1642 
3.87/3.98	v ~x6388 ~x5542 ~x4696 ~x3850 ~x3335 x798 ~x2489 ~x1643 ~x6389 ~x5543 
3.87/3.98	v ~x4697 ~x3851 ~x3336 x799 ~x2490 x1644 ~x6390 ~x5544 x4698 ~x3852 
3.87/3.98	v ~x3337 x800 ~x2491 ~x1645 x6391 ~x5545 x4699 ~x3853 ~x3338 x801 
3.87/3.98	v ~x2492 x1646 ~x6392 ~x5546 ~x4700 ~x3854 ~x3339 x802 ~x2493 ~x1647 
3.87/3.98	v ~x6393 ~x5547 ~x4701 ~x3855 ~x3340 ~x803 ~x2494 ~x1648 ~x6394 ~x5548 
3.87/3.98	v ~x4702 ~x3856 ~x3341 ~x804 ~x2495 x1649 ~x6395 ~x5549 ~x4703 ~x3857 
3.87/3.98	v ~x3342 x805 ~x2496 x1650 ~x6396 ~x5550 ~x4704 ~x3858 ~x3343 ~x806 
3.87/3.98	v ~x2497 x1651 ~x6397 ~x5551 ~x4705 ~x3859 ~x3344 ~x807 ~x2498 x1652 
3.87/3.98	v ~x6398 ~x5552 ~x4706 ~x3860 ~x3345 ~x808 ~x2499 x1653 ~x6399 ~x5553 
3.87/3.98	v ~x4707 ~x3861 ~x3346 x809 ~x2500 x1654 ~x6400 ~x5554 ~x4708 ~x3862 
3.87/3.98	v ~x3347 x810 ~x2501 x1655 ~x6401 ~x5555 ~x4709 ~x3863 ~x3348 ~x811 
3.87/3.98	v ~x2502 ~x1656 ~x6402 ~x5556 ~x4710 ~x3864 ~x3349 x812 ~x2503 x1657 
3.87/3.98	v ~x6403 ~x5557 ~x4711 ~x3865 ~x3350 x813 ~x2504 x1658 ~x6404 ~x5558 
3.87/3.98	v ~x4712 ~x3866 ~x3351 x814 ~x2505 ~x1659 ~x6405 ~x5559 ~x4713 ~x3867 
3.87/3.98	v ~x3352 x815 ~x2506 ~x1660 ~x6406 x5560 x4714 ~x3868 ~x3353 x816 
3.87/3.98	v ~x2507 x1661 ~x6407 ~x5561 ~x4715 ~x3869 ~x3354 x817 ~x2508 x1662 
3.87/3.98	v ~x6408 ~x5562 ~x4716 ~x3870 ~x3355 x818 ~x2509 x1663 ~x6409 ~x5563 
3.87/3.98	v ~x4717 ~x3871 ~x3356 x819 ~x2510 x1664 ~x6410 ~x5564 ~x4718 ~x3872 
3.87/3.98	v ~x3357 x820 ~x2511 x1665 ~x6411 ~x5565 ~x4719 ~x3873 ~x3358 ~x821 
3.87/3.98	v ~x2512 x1666 ~x6412 ~x5566 ~x4720 ~x3874 ~x3359 x822 x2513 x1667 
3.87/3.98	v ~x6413 x5567 ~x4721 ~x3875 ~x3360 x823 ~x2514 x1668 ~x6414 ~x5568 
3.87/3.98	v ~x4722 ~x3876 ~x3361 ~x824 ~x2515 x1669 x6415 x5569 ~x4723 ~x3877 
3.87/3.98	v ~x3362 x825 ~x2516 x1670 x6416 x5570 ~x4724 ~x3878 ~x3363 x826 
3.87/3.98	v ~x2517 x1671 x6417 ~x5571 ~x4725 ~x3879 ~x3364 x827 ~x2518 ~x1672 
3.87/3.98	v ~x6418 ~x5572 ~x4726 ~x3880 ~x3365 x828 ~x2519 ~x1673 ~x6419 ~x5573 
3.87/3.98	v ~x4727 ~x3881 ~x3366 x829 ~x2520 x1674 ~x6420 ~x5574 ~x4728 ~x3882 
3.87/3.98	v ~x3367 x830 ~x2521 x1675 ~x6421 ~x5575 x4729 ~x3883 ~x3368 x831 
3.87/3.98	v ~x2522 x1676 ~x6422 ~x5576 ~x4730 ~x3884 ~x3369 x832 ~x2523 x1677 
3.87/3.98	v ~x6423 ~x5577 ~x4731 ~x3885 ~x3370 x833 ~x2524 x1678 ~x6424 x5578 
3.87/3.98	v ~x4732 ~x3886 ~x3371 x834 ~x2525 x1679 ~x6425 x5579 ~x4733 ~x3887 
3.87/3.98	v ~x3372 x835 ~x2526 x1680 ~x6426 ~x5580 x4734 ~x3888 ~x3373 x836 
3.87/3.98	v ~x2527 ~x1681 ~x5581 x4735 ~x3889 ~x3374 x837 ~x2528 x1682 ~x5582 
3.87/3.98	v ~x4736 ~x3890 ~x3375 x838 ~x2529 ~x1683 ~x5583 ~x4737 ~x3891 ~x3376 
3.87/3.98	v x839 ~x2530 x1684 ~x5584 ~x4738 ~x3892 ~x3377 x840 ~x2531 ~x1685 
3.87/3.98	v ~x5585 ~x4739 ~x3893 ~x3378 x841 ~x2532 x1686 ~x5586 ~x4740 ~x3894 
3.87/3.98	v ~x3379 x842 ~x2533 x1687 x5587 ~x4741 ~x3895 ~x3380 ~x843 ~x2534 
3.87/3.98	v ~x1688 ~x5588 ~x4742 ~x3896 ~x3381 x844 ~x2535 x1689 ~x5589 ~x4743 
3.87/3.98	v ~x3897 x3382 x845 ~x2536 x1690 ~x5590 x4744 ~x3898 ~x846 ~x2537 
3.87/3.98	v x1691 ~x5591 ~x4745 ~x3899 x847 ~x2538 x1 ~x1692 ~x5592 ~x4746 
3.87/3.98	v ~x3900 x848 ~x2539 x2 x1693 ~x5593 ~x4747 ~x3901 ~x849 ~x2540 
3.87/3.98	v x3 x1694 ~x5594 ~x4748 ~x3902 x850 ~x2541 x4 x1695 x5595 
3.87/3.98	v ~x4749 ~x3903 x851 ~x2542 x5 ~x1696 x5596 ~x4750 ~x3904 x852 
3.87/3.98	v ~x2543 x6 ~x1697 x5597 ~x4751 ~x3905 x853 ~x2544 x7 ~x1698 
3.87/3.98	v x5598 ~x4752 ~x3906 x854 ~x2545 ~x8 ~x1699 ~x5599 ~x4753 ~x3907 
3.87/3.98	v x855 ~x2546 x9 ~x1700 ~x5600 x4754 ~x3908 x856 ~x2547 x10 
3.87/3.98	v ~x1701 ~x5601 ~x4755 ~x3909 x857 ~x2548 x11 x1702 ~x5602 ~x4756 
3.87/3.98	v ~x3910 x858 ~x2549 ~x12 x1703 ~x5603 ~x4757 ~x3911 x859 ~x2550 
3.87/3.98	v ~x13 ~x1704 ~x5604 ~x4758 ~x3912 x860 ~x2551 x14 x1705 x5605 
3.87/3.98	v ~x4759 ~x3913 x861 ~x2552 x15 ~x1706 x5606 ~x4760 ~x3914 ~x862 
3.87/3.98	v ~x2553 x16 x1707 ~x5607 ~x4761 ~x3915 x863 ~x2554 x17 x1708 
3.87/3.98	v ~x5608 ~x4762 ~x3916 x864 ~x2555 x18 x1709 ~x5609 ~x4763 ~x3917 
3.87/3.98	v x865 ~x2556 x19 x1710 ~x5610 ~x4764 ~x3918 ~x866 ~x2557 x20 
3.87/3.98	v ~x1711 ~x5611 ~x4765 ~x3919 x867 ~x2558 x21 x1712 ~x5612 ~x4766 
3.87/3.98	v ~x3920 x868 ~x2559 ~x22 x1713 x5613 ~x4767 ~x3921 x869 ~x2560 
3.87/3.98	v ~x23 x1714 ~x5614 ~x4768 ~x3922 x870 ~x2561 x24 x1715 ~x5615 
3.87/3.98	v ~x4769 ~x3923 ~x871 ~x2562 x25 ~x1716 ~x5616 ~x4770 ~x3924 ~x872 
3.87/3.98	v ~x2563 ~x26 x1717 ~x5617 ~x4771 ~x3925 x873 ~x2564 x27 ~x1718 
3.87/3.98	v ~x5618 ~x4772 ~x3926 x874 ~x2565 x28 x1719 ~x5619 ~x4773 ~x3927 
3.87/3.98	v x875 ~x2566 ~x29 x1720 ~x5620 ~x4774 ~x3928 x876 ~x2567 ~x30 
3.87/3.98	v x1721 ~x5621 ~x4775 ~x3929 ~x877 ~x2568 ~x31 x1722 ~x5622 ~x4776 
3.87/3.98	v ~x3930 x878 ~x2569 x32 x1723 ~x5623 ~x4777 ~x3931 ~x879 ~x2570 
3.87/3.98	v x33 x1724 ~x5624 ~x4778 ~x3932 ~x880 ~x2571 x34 ~x1725 ~x5625 
3.87/3.98	v ~x4779 ~x3933 x881 ~x2572 ~x35 ~x1726 ~x5626 ~x4780 ~x3934 ~x882 
3.87/3.98	v ~x2573 ~x36 x1727 ~x5627 x4781 ~x3935 x883 ~x2574 ~x37 x1728 
3.87/3.98	v ~x5628 ~x4782 ~x3936 ~x884 ~x2575 ~x38 x1729 ~x5629 ~x4783 ~x3937 
3.87/3.98	v x885 ~x2576 ~x39 x1730 ~x5630 ~x4784 ~x3938 x886 ~x2577 ~x40 
3.87/3.98	v x1731 ~x5631 ~x4785 ~x3939 x887 ~x2578 ~x41 ~x1732 ~x5632 ~x4786 
3.87/3.98	v ~x3940 x888 ~x2579 x42 x1733 x5633 x4787 ~x3941 x889 ~x2580 
3.87/3.98	v x43 ~x1734 ~x5634 ~x4788 ~x3942 ~x890 ~x2581 ~x44 ~x1735 x5635 
3.87/3.98	v x4789 ~x3943 x891 ~x2582 x45 x1736 x5636 ~x4790 ~x3944 x892 
3.87/3.98	v ~x2583 ~x46 x1737 ~x5637 ~x4791 ~x3945 ~x893 ~x2584 ~x47 x1738 
3.87/3.98	v ~x5638 ~x4792 ~x3946 x894 ~x2585 ~x48 x1739 x5639 x4793 ~x3947 
3.87/3.98	v x895 ~x2586 ~x49 x1740 ~x5640 ~x4794 ~x3948 x896 ~x2587 ~x50 
3.87/3.98	v x1741 ~x5641 ~x4795 ~x3949 x897 ~x2588 ~x51 x1742 ~x5642 ~x4796 
3.87/3.98	v ~x3950 x898 ~x2589 x52 ~x1743 ~x5643 ~x4797 ~x3951 x899 ~x2590 
3.87/3.98	v x53 x1744 ~x5644 ~x4798 ~x3952 x900 ~x2591 x54 x1745 ~x5645 
3.87/3.98	v ~x4799 ~x3953 x901 ~x2592 x55 ~x1746 ~x5646 x4800 ~x3954 x902 
3.87/3.98	v ~x2593 ~x56 x1747 ~x5647 x4801 ~x3955 x903 ~x2594 x57 x1748 
3.87/3.98	v ~x5648 ~x4802 ~x3956 x904 ~x2595 x58 x1749 ~x5649 ~x4803 ~x3957 
3.87/3.98	v ~x905 ~x2596 ~x59 x1750 ~x5650 ~x4804 ~x3958 ~x906 ~x2597 x60 
3.87/3.98	v x1751 x5651 ~x4805 ~x3959 x907 ~x2598 x61 x1752 ~x5652 ~x4806 
3.87/3.98	v ~x3960 ~x908 ~x2599 x62 ~x1753 ~x5653 ~x4807 ~x3961 ~x909 ~x2600 
3.87/3.98	v ~x63 ~x1754 ~x5654 ~x4808 ~x3962 ~x910 ~x2601 x64 x1755 ~x5655 
3.87/3.98	v ~x4809 ~x3963 ~x911 ~x2602 x65 x1756 ~x5656 x4810 ~x3964 ~x912 
3.87/3.98	v ~x2603 x66 x1757 ~x5657 ~x4811 ~x3965 ~x913 ~x2604 x67 x1758 
3.87/3.98	v ~x5658 ~x4812 ~x3966 ~x914 ~x2605 x68 x1759 x5659 ~x4813 ~x3967 
3.87/3.98	v ~x915 ~x2606 x69 x1760 x5660 ~x4814 ~x3968 x916 ~x2607 x70 
3.87/3.98	v x1761 ~x5661 x4815 ~x3969 ~x917 ~x2608 x71 ~x1762 x5662 x4816 
3.87/3.98	v ~x3970 ~x918 ~x2609 x72 ~x1763 ~x5663 ~x4817 ~x3971 x919 ~x2610 
3.87/3.98	v ~x73 x1764 ~x5664 x4818 ~x3972 x920 ~x2611 x74 x1765 ~x5665 
3.87/3.98	v x4819 ~x3973 x921 ~x2612 x75 ~x1766 ~x5666 x4820 ~x3974 ~x922 
3.87/3.98	v ~x2613 x76 ~x1767 x5667 x4821 ~x3975 x923 ~x2614 x77 x1768 
3.87/3.98	v ~x5668 x4822 ~x3976 ~x924 ~x2615 x78 x1769 x5669 x4823 ~x3977 
3.87/3.98	v x925 ~x2616 x79 ~x1770 x5670 x4824 ~x3978 x926 ~x2617 ~x80 
3.87/3.98	v ~x1771 ~x5671 ~x4825 ~x3979 ~x927 ~x2618 ~x81 ~x1772 ~x5672 x4826 
3.87/3.98	v ~x3980 x928 ~x2619 x82 ~x1773 ~x5673 ~x4827 ~x3981 x929 ~x2620 
3.87/3.98	v x83 x1774 ~x5674 ~x4828 ~x3982 ~x930 ~x2621 x84 x1775 ~x5675 
3.87/3.98	v ~x4829 ~x3983 x931 ~x2622 x85 x1776 ~x5676 ~x4830 ~x3984 x932 
3.87/3.98	v ~x2623 x86 x1777 x5677 ~x4831 ~x3985 x933 ~x2624 x87 x1778 
3.87/3.98	v ~x5678 ~x4832 ~x3986 x934 ~x2625 x88 x1779 ~x5679 ~x4833 ~x3987 
3.87/3.98	v x935 ~x2626 ~x89 x1780 ~x5680 ~x4834 ~x3988 x936 ~x2627 x90 
3.87/3.98	v x1781 ~x5681 ~x4835 ~x3989 ~x937 ~x2628 x91 x1782 ~x5682 ~x4836 
3.87/3.98	v ~x3990 ~x938 ~x2629 x92 x1783 ~x5683 x4837 ~x3991 x939 ~x2630 
3.87/3.98	v x93 x1784 ~x5684 x4838 ~x3992 x940 ~x2631 x94 x1785 x5685 
3.87/3.98	v x4839 ~x3993 x941 ~x2632 x95 x1786 ~x5686 x4840 ~x3994 x942 
3.87/3.98	v ~x2633 x96 x1787 ~x5687 ~x4841 ~x3995 x943 ~x2634 x97 ~x1788 
3.87/3.98	v x5688 x4842 ~x3996 x944 ~x2635 x98 x1789 x5689 x4843 ~x3997 
3.87/3.98	v ~x945 ~x2636 x99 x1790 ~x5690 ~x4844 ~x3998 x946 ~x2637 x100 
3.87/3.98	v ~x1791 x5691 ~x4845 ~x3999 x947 ~x2638 x101 x1792 ~x5692 x4846 
3.87/3.98	v ~x4000 x948 ~x2639 ~x102 x1793 x5693 ~x4847 ~x4001 x949 ~x2640 
3.87/3.98	v x103 x1794 ~x5694 ~x4848 ~x4002 x950 ~x2641 x104 x1795 x5695 
3.87/3.98	v ~x4849 ~x4003 x951 ~x2642 x105 x1796 x5696 ~x4850 ~x4004 x952 
3.87/3.98	v ~x2643 x106 x1797 ~x5697 ~x4851 ~x4005 x953 ~x2644 x107 x1798 
3.87/3.98	v x5698 ~x4852 ~x4006 x954 ~x2645 ~x108 x1799 x5699 ~x4853 ~x4007 
3.87/3.98	v x955 ~x2646 x109 x1800 x5700 ~x4854 ~x4008 x956 ~x2647 x110 
3.87/3.98	v x1801 x5701 ~x4855 ~x4009 ~x957 ~x2648 x111 x1802 ~x5702 ~x4856 
3.87/3.98	v ~x4010 ~x958 ~x2649 x112 x1803 ~x5703 x4857 ~x4011 ~x959 ~x2650 
3.87/3.98	v x113 x1804 x5704 ~x4858 ~x4012 ~x960 ~x2651 x114 x1805 x5705 
3.87/3.98	v ~x4859 ~x4013 x961 ~x2652 x115 x1806 ~x5706 x4860 ~x4014 x962 
3.87/3.98	v ~x2653 x116 x1807 ~x5707 ~x4861 ~x4015 x963 ~x2654 x117 ~x1808 
3.87/3.98	v ~x5708 x4862 ~x4016 x964 ~x2655 x118 ~x1809 ~x5709 x4863 ~x4017 
3.87/3.98	v x965 ~x2656 x119 x1810 ~x5710 ~x4864 ~x4018 x966 ~x2657 x120 
3.87/3.98	v ~x1811 ~x5711 ~x4865 ~x4019 ~x967 ~x2658 x121 x1812 ~x5712 ~x4866 
3.87/3.98	v ~x4020 ~x968 ~x2659 x122 x1813 ~x5713 ~x4867 ~x4021 ~x969 ~x2660 
3.87/3.98	v ~x123 x1814 ~x5714 ~x4868 ~x4022 ~x970 ~x2661 x124 x1815 ~x5715 
3.87/3.98	v ~x4869 ~x4023 ~x971 ~x2662 x125 x1816 ~x5716 ~x4870 ~x4024 ~x972 
3.87/3.98	v ~x2663 x126 x1817 ~x5717 ~x4871 ~x4025 ~x973 ~x2664 ~x127 x1818 
3.87/3.98	v ~x5718 ~x4872 ~x4026 ~x974 ~x2665 x128 x1819 ~x5719 ~x4873 ~x4027 
3.87/3.98	v ~x975 ~x2666 x129 ~x1820 ~x5720 ~x4874 ~x4028 ~x976 ~x2667 ~x130 
3.87/3.98	v x1821 x5721 ~x4875 ~x4029 ~x977 ~x2668 x131 ~x1822 ~x5722 ~x4876 
3.87/3.98	v ~x4030 ~x978 ~x2669 x132 ~x1823 ~x5723 ~x4877 ~x4031 ~x979 ~x2670 
3.87/3.98	v x133 x1824 ~x5724 ~x4878 ~x4032 x980 ~x2671 x134 x1825 ~x5725 
3.87/3.98	v ~x4879 ~x4033 x981 ~x2672 ~x135 x1826 ~x5726 ~x4880 ~x4034 x982 
3.87/3.98	v ~x2673 x136 x1827 x5727 ~x4881 ~x4035 x983 ~x2674 x137 x1828 
3.87/3.98	v x5728 ~x4882 ~x4036 x984 ~x2675 x138 x1829 ~x5729 ~x4883 ~x4037 
3.87/3.98	v ~x985 ~x2676 x139 x1830 x5730 ~x4884 ~x4038 ~x986 ~x2677 x140 
3.87/3.98	v x1831 x5731 ~x4885 ~x4039 ~x987 ~x2678 ~x141 x1832 ~x5732 ~x4886 
3.87/3.98	v ~x4040 x988 ~x2679 ~x142 x1833 ~x5733 ~x4887 ~x4041 ~x989 ~x2680 
3.87/3.98	v ~x143 ~x1834 x5734 ~x4888 ~x4042 x990 ~x2681 ~x144 x1835 ~x5735 
3.87/3.98	v ~x4889 ~x4043 x991 ~x2682 ~x145 x1836 ~x5736 ~x4890 ~x4044 ~x992 
3.87/3.98	v ~x2683 x146 x1837 ~x5737 ~x4891 ~x4045 ~x993 ~x2684 ~x147 x1838 
3.87/3.98	v ~x5738 ~x4892 ~x4046 x994 ~x2685 ~x148 x1839 ~x5739 ~x4893 ~x4047 
3.87/3.98	v x995 ~x2686 x149 x1840 x5740 ~x4894 ~x4048 x996 ~x2687 ~x150 
3.87/3.98	v x1841 x5741 x4895 ~x4049 x997 ~x2688 ~x151 ~x1842 x5742 x4896 
3.87/3.98	v ~x4050 x998 ~x2689 ~x152 ~x1843 ~x5743 x4897 ~x4051 x999 ~x2690 
3.87/3.98	v ~x153 x1844 ~x5744 x4898 ~x4052 x1000 ~x2691 ~x154 x1845 ~x5745 
3.87/3.98	v x4899 ~x4053 x1001 ~x2692 ~x155 ~x1846 ~x5746 x4900 ~x4054 ~x1002 
3.87/3.98	v ~x2693 ~x156 x1847 x5747 x4901 ~x4055 ~x1003 ~x2694 ~x157 x1848 
3.87/3.98	v x5748 ~x4902 ~x4056 ~x1004 ~x2695 ~x158 x1849 x5749 ~x4903 ~x4057 
3.87/3.98	v ~x1005 ~x2696 ~x159 ~x1850 x5750 ~x4904 ~x4058 ~x1006 ~x2697 ~x160 
3.87/3.98	v ~x1851 x5751 ~x4905 ~x4059 x1007 ~x2698 ~x161 x1852 ~x5752 x4906 
3.87/3.98	v ~x4060 x1008 ~x2699 ~x162 x1853 x5753 ~x4907 ~x4061 ~x1009 ~x2700 
3.87/3.98	v ~x163 ~x1854 ~x5754 ~x4908 ~x4062 ~x1010 ~x2701 x164 ~x1855 ~x5755 
3.87/3.98	v ~x4909 ~x4063 ~x1011 ~x2702 x165 x1856 ~x5756 ~x4910 ~x4064 x1012 
3.87/3.98	v ~x2703 x166 ~x1857 ~x5757 ~x4911 ~x4065 x1013 ~x2704 x167 x1858 
3.87/3.98	v ~x5758 ~x4912 ~x4066 x1014 ~x2705 x168 x1859 ~x5759 ~x4913 ~x4067 
3.87/3.98	v x1015 ~x2706 x169 x1860 ~x5760 ~x4914 ~x4068 x1016 ~x2707 x170 
3.87/3.98	v ~x1861 ~x5761 ~x4915 ~x4069 x1017 ~x2708 x171 ~x1862 ~x5762 ~x4916 
3.87/3.98	v ~x4070 x1018 ~x2709 x172 x1863 ~x5763 ~x4917 ~x4071 x1019 ~x2710 
3.87/3.98	v ~x173 ~x1864 ~x5764 ~x4918 ~x4072 x1020 ~x2711 x174 x1865 ~x5765 
3.87/3.98	v ~x4919 ~x4073 x1021 ~x2712 x175 ~x1866 ~x5766 ~x4920 ~x4074 x1022 
3.87/3.98	v ~x2713 ~x176 x1867 ~x5767 ~x4921 ~x4075 x1023 ~x2714 x177 ~x1868 
3.87/3.98	v ~x5768 ~x4922 ~x4076 x1024 ~x2715 ~x178 x1869 ~x5769 x4923 ~x4077 
3.87/3.98	v x1025 ~x2716 x179 ~x1870 x5770 x4924 ~x4078 x1026 ~x2717 ~x180 
3.87/3.98	v x1871 x5771 ~x4925 ~x4079 x1027 ~x2718 ~x181 ~x1872 x5772 ~x4926 
3.87/3.98	v ~x4080 x1028 ~x2719 ~x182 x1873 ~x5773 ~x4927 ~x4081 x1029 ~x2720 
3.87/3.98	v x183 ~x1874 ~x5774 ~x4928 ~x4082 ~x1030 ~x2721 ~x184 ~x1875 ~x5775 
3.87/3.98	v ~x4929 ~x4083 ~x1031 ~x2722 x185 x1876 ~x5776 ~x4930 ~x4084 x1032 
3.87/3.98	v ~x2723 x186 x1877 ~x5777 ~x4931 ~x4085 x1033 ~x2724 ~x187 x1878 
3.87/3.98	v ~x5778 ~x4932 ~x4086 ~x1034 ~x2725 ~x188 ~x1879 ~x5779 ~x4933 ~x4087 
3.87/3.98	v ~x1035 ~x2726 x189 ~x1880 x5780 ~x4934 ~x4088 x1036 ~x2727 x190 
3.87/3.98	v ~x1881 x5781 ~x4935 ~x4089 ~x1037 ~x2728 x191 ~x1882 ~x5782 ~x4936 
3.87/3.98	v ~x4090 ~x1038 ~x2729 ~x192 x1883 ~x5783 ~x4937 ~x4091 ~x1039 ~x2730 
3.87/3.98	v ~x193 ~x1884 ~x5784 ~x4938 ~x4092 ~x1040 ~x2731 ~x194 ~x1885 x5785 
3.87/3.98	v ~x4939 ~x4093 ~x1041 ~x2732 ~x195 ~x1886 x5786 ~x4940 ~x4094 ~x1042 
3.87/3.98	v ~x2733 ~x196 ~x1887 ~x5787 ~x4941 ~x4095 x1043 ~x2734 ~x197 x1888 
3.87/3.98	v ~x5788 ~x4942 ~x4096 x1044 ~x2735 ~x198 ~x1889 ~x5789 ~x4943 ~x4097 
3.87/3.98	v x1045 ~x2736 ~x199 x1890 ~x5790 x4944 ~x4098 x1046 ~x2737 ~x200 
3.87/3.98	v x1891 ~x5791 x4945 ~x4099 x1047 ~x2738 ~x201 x1892 ~x5792 x4946 
3.87/3.98	v ~x4100 x1048 ~x2739 x202 x1893 x5793 ~x4947 ~x4101 x1049 ~x2740 
3.87/3.98	v x203 x1894 ~x5794 ~x4948 ~x4102 x1050 ~x2741 x204 x1895 ~x5795 
3.87/3.98	v x4949 ~x4103 x1051 ~x2742 x205 x1896 ~x5796 x4950 ~x4104 x1052 
3.87/3.98	v ~x2743 ~x206 ~x1897 ~x5797 ~x4951 ~x4105 x1053 ~x2744 x207 ~x1898 
3.87/3.98	v x5798 ~x4952 ~x4106 x1054 ~x2745 ~x208 x1899 x5799 ~x4953 ~x4107 
3.87/3.98	v x1055 ~x2746 x209 ~x1900 x5800 ~x4954 ~x4108 x1056 ~x2747 x210 
3.87/3.98	v x1901 ~x5801 ~x4955 ~x4109 x1057 ~x2748 x211 x1902 x5802 ~x4956 
3.87/3.98	v ~x4110 x1058 ~x2749 ~x212 x1903 x5803 x4957 ~x4111 x1059 ~x2750 
3.87/3.98	v x213 ~x1904 x5804 ~x4958 ~x4112 x1060 ~x2751 x214 x1905 x5805 
3.87/3.98	v ~x4959 ~x4113 x1061 ~x2752 ~x215 ~x1906 x5806 ~x4960 ~x4114 ~x1062 
3.87/3.98	v ~x2753 x216 x1907 x5807 ~x4961 ~x4115 x1063 ~x2754 x217 x1908 
3.87/3.98	v x5808 x4962 ~x4116 x1064 ~x2755 x218 x1909 x5809 ~x4963 ~x4117 
3.87/3.98	v x1065 ~x2756 ~x219 x1910 ~x5810 x4964 ~x4118 ~x1066 ~x2757 x220 
3.87/3.98	v ~x1911 ~x5811 ~x4965 ~x4119 ~x1067 ~x2758 ~x221 ~x1912 x5812 x4966 
3.87/3.98	v ~x4120 ~x1068 ~x2759 x222 ~x1913 ~x5813 x4967 ~x4121 x1069 ~x2760 
3.87/3.98	v ~x223 ~x1914 ~x5814 x4968 ~x4122 x1070 ~x2761 x224 ~x1915 ~x5815 
3.87/3.98	v x4969 ~x4123 ~x1071 ~x2762 ~x225 ~x1916 ~x5816 x4970 ~x4124 ~x1072 
3.87/3.98	v ~x2763 x226 ~x1917 ~x5817 x4971 ~x4125 x1073 ~x2764 x227 x1918 
3.87/3.98	v ~x5818 ~x4972 ~x4126 x1074 ~x2765 x228 x1919 ~x5819 ~x4973 ~x4127 
3.87/3.98	v ~x1075 ~x2766 x229 x1920 ~x5820 ~x4974 ~x4128 x1076 ~x2767 x230 
3.87/3.98	v x1921 ~x5821 ~x4975 ~x4129 ~x1077 ~x2768 x231 x1922 ~x5822 ~x4976 
3.87/3.98	v ~x4130 ~x1078 ~x2769 ~x232 x1923 x5823 ~x4977 ~x4131 x1079 ~x2770 
3.87/3.98	v ~x233 x1924 ~x5824 ~x4978 ~x4132 x1080 ~x2771 ~x234 x1925 ~x5825 
3.87/3.98	v ~x4979 ~x4133 x1081 ~x2772 ~x235 ~x1926 ~x5826 ~x4980 ~x4134 ~x1082 
3.87/3.98	v ~x2773 ~x236 x1927 ~x5827 ~x4981 ~x4135 x1083 ~x2774 ~x237 ~x1928 
3.87/3.98	v x5828 ~x4982 ~x4136 x1084 ~x2775 ~x238 ~x1929 x5829 x4983 ~x4137 
3.87/3.98	v x1085 ~x2776 x239 ~x1930 x5830 x4984 ~x4138 x1086 ~x2777 ~x240 
3.87/3.98	v ~x1931 ~x5831 x4985 ~x4139 x1087 ~x2778 ~x241 ~x1932 ~x5832 ~x4986 
3.87/3.98	v ~x4140 ~x1088 ~x2779 x242 ~x1933 x5833 ~x4987 ~x4141 ~x1089 ~x2780 
3.87/3.98	v x243 ~x1934 x5834 ~x4988 ~x4142 ~x1090 ~x2781 ~x244 ~x1935 x5835 
3.87/3.98	v ~x4989 ~x4143 x1091 ~x2782 x245 x1936 ~x5836 ~x4990 ~x4144 x1092 
3.87/3.98	v ~x2783 x246 x1937 ~x5837 ~x4991 ~x4145 ~x1093 ~x2784 x247 ~x1938 
3.87/3.98	v ~x5838 ~x4992 ~x4146 x1094 ~x2785 ~x248 x1939 ~x5839 ~x4993 ~x4147 
3.87/3.98	v ~x1095 x2786 x249 x1940 ~x5840 ~x4994 ~x4148 x1096 ~x2787 x250 
3.87/3.98	v x1941 ~x5841 ~x4995 ~x4149 x1097 ~x2788 x251 x1942 ~x5842 ~x4996 
3.87/3.98	v ~x4150 x1098 ~x2789 x252 x1943 ~x5843 ~x4997 ~x4151 x1099 ~x2790 
3.87/3.98	v x253 x1944 ~x5844 ~x4998 ~x4152 x1100 ~x2791 x254 x1945 ~x5845 
3.87/3.98	v ~x4999 ~x4153 x1101 ~x2792 x255 x1946 ~x5846 ~x5000 ~x4154 x1102 
3.87/3.98	v ~x2793 ~x256 x1947 ~x5847 ~x5001 ~x4155 x1103 ~x2794 x257 x1948 
3.87/3.98	v ~x5848 ~x5002 ~x4156 ~x1104 ~x2795 x258 x1949 x5849 ~x5003 ~x4157 
3.87/3.98	v ~x1105 ~x2796 ~x259 x1950 x5850 ~x5004 ~x4158 x1106 ~x2797 x260 
3.87/3.98	v ~x1951 x5851 ~x5005 ~x4159 x1107 ~x2798 x261 x1952 ~x5852 ~x5006 
3.87/3.98	v ~x4160 x1108 ~x2799 ~x262 x1953 x5853 ~x5007 ~x4161 x1109 ~x2800 
3.87/3.98	v ~x263 x1954 ~x5854 ~x5008 ~x4162 x1110 ~x2801 ~x264 x1955 x5855 
3.87/3.98	v ~x5009 ~x4163 ~x1111 ~x2802 ~x265 x1956 ~x5856 ~x5010 ~x4164 x1112 
3.87/3.98	v ~x2803 ~x266 x1957 ~x5857 ~x5011 ~x4165 x1113 ~x2804 ~x267 ~x1958 
3.87/3.98	v ~x5858 ~x5012 ~x4166 x1114 ~x2805 ~x268 ~x1959 ~x5859 ~x5013 ~x4167 
3.87/3.98	v x1115 ~x2806 ~x269 ~x1960 ~x5860 x5014 ~x4168 x1116 ~x2807 ~x270 
3.87/3.98	v x1961 ~x5861 ~x5015 ~x4169 x1117 ~x2808 ~x271 ~x1962 ~x5862 ~x5016 
3.87/3.98	v ~x4170 x1118 ~x2809 ~x272 x1963 ~x5863 x5017 ~x4171 ~x1119 ~x2810 
3.87/3.98	v x273 x1964 ~x5864 ~x5018 ~x4172 ~x1120 ~x2811 x274 x1965 ~x5865 
3.87/3.98	v ~x5019 ~x4173 x1121 ~x2812 x275 x1966 ~x5866 ~x5020 ~x4174 x1122 
3.87/3.98	v ~x2813 x276 x1967 ~x5867 ~x5021 ~x4175 ~x1123 ~x2814 x277 x1968 
3.87/3.98	v ~x5868 ~x5022 ~x4176 x1124 ~x2815 x278 x1969 ~x5869 x5023 ~x4177 
3.87/3.98	v ~x1125 ~x2816 x279 x1970 ~x5870 ~x5024 ~x4178 x1126 ~x2817 x280 
3.87/3.98	v x1971 ~x5871 ~x5025 ~x4179 ~x1127 ~x2818 ~x281 x1972 ~x5872 ~x5026 
3.87/3.98	v ~x4180 ~x1128 ~x2819 ~x282 x1973 ~x5873 ~x5027 ~x4181 x1129 ~x2820 
3.87/3.98	v ~x283 x1974 ~x5874 ~x5028 ~x4182 x1130 ~x2821 ~x284 x1975 ~x5875 
3.87/3.98	v ~x5029 ~x4183 ~x1131 ~x2822 x285 x1976 ~x5876 ~x5030 ~x4184 x1132 
3.87/3.98	v ~x2823 x286 x1977 ~x5877 x5031 ~x4185 ~x1133 ~x2824 ~x287 x1978 
3.87/3.98	v ~x5878 x5032 ~x4186 x1134 ~x2825 ~x288 x1979 ~x5879 x5033 ~x4187 
3.87/3.98	v x1135 ~x2826 ~x289 x1980 ~x5880 ~x5034 ~x4188 ~x1136 ~x2827 ~x290 
3.87/3.98	v ~x1981 ~x5881 ~x5035 ~x4189 x1137 ~x2828 ~x291 x1982 x5882 ~x5036 
3.87/3.98	v ~x4190 ~x1138 ~x2829 x292 x1983 ~x5883 ~x5037 ~x4191 x1139 ~x2830 
3.87/3.98	v x293 x1984 ~x5884 ~x5038 ~x4192 ~x1140 ~x2831 x294 x1985 ~x5885 
3.87/3.98	v ~x5039 ~x4193 ~x1141 ~x2832 x295 x1986 ~x5886 ~x5040 ~x4194 x1142 
3.87/3.98	v ~x2833 x296 x1987 x5887 ~x5041 ~x4195 x1143 ~x2834 x297 ~x1988 
3.87/3.98	v ~x5888 ~x5042 ~x4196 ~x1144 ~x2835 x298 x1989 ~x5889 ~x5043 ~x4197 
3.87/3.98	v ~x1145 ~x2836 x299 x1990 ~x5890 ~x5044 ~x4198 x1146 ~x2837 x300 
3.87/3.98	v x1991 ~x5891 ~x5045 ~x4199 ~x1147 ~x2838 ~x301 x1992 x5892 ~x5046 
3.87/3.98	v ~x4200 x1148 ~x2839 x302 ~x1993 ~x5893 ~x5047 ~x4201 ~x1149 ~x2840 
3.87/3.98	v x303 ~x1994 ~x5894 ~x5048 ~x4202 x1150 ~x2841 x304 x1995 ~x5895 
3.87/3.98	v x5049 ~x4203 x1151 ~x2842 x305 x1996 ~x5896 x5050 ~x4204 x1152 
3.87/3.98	v ~x2843 ~x306 ~x1997 ~x5897 x5051 ~x4205 x1153 ~x2844 ~x307 x1998 
3.87/3.98	v ~x5898 ~x5052 ~x4206 x1154 ~x2845 ~x308 x1999 ~x5899 ~x5053 ~x4207 
3.87/3.98	v x1155 ~x2846 x309 x2000 ~x5900 ~x5054 ~x4208 x1156 ~x2847 x310 
3.87/3.98	v x2001 ~x5901 ~x5055 ~x4209 x1157 ~x2848 x311 x2002 ~x5902 ~x5056 
3.87/3.98	v ~x4210 x1158 ~x2849 x312 x2003 ~x5903 ~x5057 ~x4211 ~x1159 ~x2850 
3.87/3.98	v x313 x2004 ~x5904 ~x5058 ~x4212 x1160 ~x2851 ~x314 x2005 ~x5905 
3.87/3.98	v ~x5059 ~x4213 x1161 ~x2852 x315 ~x2006 ~x5906 ~x5060 ~x4214 x1162 
3.87/3.98	v ~x2853 ~x316 x2007 ~x5907 ~x5061 ~x4215 x1163 ~x2854 ~x317 ~x2008 
3.87/3.98	v ~x5908 ~x5062 ~x4216 ~x1164 ~x2855 ~x318 ~x2009 ~x5909 ~x5063 ~x4217 
3.87/3.98	v x1165 ~x2856 x319 x2010 ~x5910 ~x5064 ~x4218 x1166 ~x2857 x320 
3.87/3.98	v ~x2011 ~x5911 ~x5065 ~x4219 x1167 ~x2858 x321 x2012 ~x5912 ~x5066 
3.87/3.98	v ~x4220 x1168 ~x2859 x322 ~x2013 ~x5913 ~x5067 ~x4221 x1169 ~x2860 
3.87/3.98	v x323 x2014 ~x5914 ~x5068 ~x4222 ~x1170 ~x2861 x324 x2015 ~x5915 
3.87/3.98	v ~x5069 ~x4223 ~x1171 ~x2862 ~x325 ~x2016 ~x5916 ~x5070 ~x4224 ~x1172 
3.87/3.98	v ~x2863 x326 x2017 x5917 ~x5071 ~x4225 x1173 ~x2864 x327 ~x2018 
3.87/3.98	v ~x5918 ~x5072 ~x4226 x1174 ~x2865 x328 x2019 ~x5919 x5073 ~x4227 
3.87/3.98	v x1175 ~x2866 ~x329 x2020 ~x5920 ~x5074 ~x4228 x1176 ~x2867 x330 
3.87/3.98	v ~x2021 ~x5921 ~x5075 ~x4229 ~x3383 ~x1177 ~x2868 ~x331 x2022 ~x5922 
3.87/3.98	v ~x5076 ~x4230 ~x3384 ~x1178 ~x2869 x332 x2023 x5923 ~x5077 ~x4231 
3.87/3.98	v ~x3385 x1179 ~x2870 x333 x2024 ~x5924 ~x5078 ~x4232 ~x3386 x1180 
3.87/3.98	v ~x2871 ~x334 x2025 ~x5925 ~x5079 ~x4233 ~x3387 x1181 ~x2872 ~x335 
3.87/3.98	v x2026 ~x5926 ~x5080 ~x4234 ~x3388 x1182 ~x2873 x336 x2027 ~x5927 
3.87/3.98	v x5081 ~x4235 ~x3389 x1183 ~x2874 x337 x2028 ~x5928 ~x5082 ~x4236 
3.87/3.98	v ~x3390 x1184 ~x2875 ~x338 x2029 ~x5929 x5083 ~x4237 ~x3391 x1185 
3.87/3.98	v ~x2876 x339 ~x2030 ~x5930 ~x5084 ~x4238 ~x3392 x1186 ~x2877 x340 
3.87/3.98	v x2031 ~x5931 ~x5085 ~x4239 ~x3393 x1187 ~x2878 ~x341 ~x2032 ~x5932 
3.87/3.98	v ~x5086 ~x4240 ~x3394 ~x2879 x342 x2033 ~x5933 ~x5087 ~x4241 ~x3395 
3.87/3.98	v ~x2880 ~x343 x2034 ~x1188 ~x5934 ~x5088 ~x4242 ~x3396 ~x2881 x344 
3.87/3.98	v x2035 x1189 ~x5935 ~x5089 ~x4243 ~x3397 ~x2882 x345 x2036 x1190 
3.87/3.98	v ~x5936 ~x5090 ~x4244 ~x3398 ~x2883 x346 x2037 ~x1191 ~x5937 ~x5091 
3.87/3.98	v ~x4245 ~x3399 ~x2884 x347 x2038 x1192 x5938 ~x5092 ~x4246 ~x3400 
3.87/3.98	v ~x2885 x348 x2039 x1193 ~x5939 ~x5093 ~x4247 ~x3401 ~x2886 ~x349 
3.87/3.98	v x2040 ~x1194 ~x5940 ~x5094 ~x4248 ~x3402 ~x2887 x350 x2041 x1195 
3.87/3.98	v ~x5941 ~x5095 ~x4249 ~x3403 ~x2888 x351 ~x2042 ~x1196 ~x5942 ~x5096 
3.87/3.98	v ~x4250 ~x3404 ~x2889 x352 x2043 ~x1197 ~x5943 ~x5097 ~x4251 ~x3405 
3.87/3.98	v ~x2890 ~x353 x2044 x1198 ~x5944 ~x5098 ~x4252 ~x3406 ~x2891 ~x354 
3.87/3.98	v ~x2045 ~x1199 ~x5945 ~x5099 ~x4253 ~x3407 ~x2892 ~x355 x2046 x1200 
3.87/3.98	v ~x5946 ~x5100 ~x4254 ~x3408 ~x2893 x356 x2047 x1201 x5947 ~x5101 
3.87/3.98	v ~x4255 ~x3409 ~x2894 ~x357 x2048 x1202 ~x5948 ~x5102 ~x4256 ~x3410 
3.87/3.98	v ~x2895 ~x358 ~x2049 x1203 ~x5949 ~x5103 ~x4257 ~x3411 ~x2896 ~x359 
3.87/3.98	v x2050 x1204 ~x5950 x5104 ~x4258 ~x3412 ~x2897 ~x360 x2051 x1205 
3.87/3.98	v ~x5951 ~x5105 ~x4259 ~x3413 ~x2898 ~x361 x2052 x1206 ~x5952 x5106 
3.87/3.98	v ~x4260 ~x3414 ~x2899 x362 x2053 x1207 ~x5953 x5107 ~x4261 ~x3415 
3.87/3.98	v ~x2900 x363 x2054 x1208 x5954 x5108 ~x4262 ~x3416 ~x2901 x364 
3.87/3.98	v x2055 x1209 x5955 ~x5109 ~x4263 ~x3417 ~x2902 x365 x2056 ~x1210 
3.87/3.98	v x5956 ~x5110 ~x4264 ~x3418 ~x2903 x366 x2057 ~x1211 x5957 ~x5111 
3.87/3.98	v ~x4265 ~x3419 ~x2904 ~x367 x2058 x1212 x5958 ~x5112 ~x4266 ~x3420 
3.87/3.98	v ~x2905 x368 x2059 x1213 ~x5959 ~x5113 ~x4267 ~x3421 ~x2906 x369 
3.87/3.98	v ~x2060 x1214 x5960 ~x5114 ~x4268 ~x3422 ~x2907 x370 x2061 ~x1215 
3.87/3.98	v x5961 ~x5115 ~x4269 ~x3423 ~x2908 ~x371 x2062 x1216 ~x5962 ~x5116 
3.87/3.98	v ~x4270 ~x3424 ~x2909 x372 ~x2063 x1217 x5963 ~x5117 ~x4271 ~x3425 
3.87/3.98	v ~x2910 ~x373 x2064 ~x1218 ~x5964 x5118 ~x4272 ~x3426 ~x2911 x374 
3.87/3.98	v x2065 x1219 ~x5965 ~x5119 ~x4273 ~x3427 ~x2912 x375 x2066 x1220 
3.87/3.98	v ~x5966 ~x5120 ~x4274 ~x3428 ~x2913 ~x376 x2067 x1221 ~x5967 ~x5121 
3.87/3.98	v ~x4275 ~x3429 ~x2914 x377 x2068 x1222 ~x5968 ~x5122 ~x4276 ~x3430 
3.87/3.98	v ~x2915 x378 x2069 x1223 ~x5969 ~x5123 ~x4277 ~x3431 ~x2916 x379 
3.87/3.98	v x2070 x1224 ~x5970 ~x5124 ~x4278 ~x3432 ~x2917 x380 x2071 x1225 
3.87/3.98	v ~x5971 ~x5125 ~x4279 ~x3433 ~x2918 x381 x2072 ~x1226 ~x5972 ~x5126 
3.87/3.98	v ~x4280 ~x3434 ~x2919 x382 x2073 x1227 ~x5973 ~x5127 ~x4281 ~x3435 
3.87/3.98	v ~x2920 x383 ~x2074 x1228 ~x5974 x5128 ~x4282 ~x3436 ~x2921 x384 
3.87/3.98	v ~x2075 x1229 ~x5975 x5129 ~x4283 ~x3437 ~x2922 x385 ~x2076 x1230 
3.87/3.98	v ~x5976 x5130 ~x4284 ~x3438 ~x2923 x386 x2077 ~x1231 ~x5977 x5131 
3.87/3.99	v ~x4285 ~x3439 ~x2924 ~x387 x2078 ~x1232 ~x5978 ~x5132 ~x4286 ~x3440 
3.87/3.99	v ~x2925 x388 x2079 ~x1233 ~x5979 x5133 ~x4287 ~x3441 ~x2926 x389 
3.87/3.99	v x2080 x1234 ~x5980 x5134 ~x4288 ~x3442 ~x2927 x390 x2081 ~x1235 
3.87/3.99	v ~x5981 x5135 ~x4289 ~x3443 ~x2928 x391 x2082 ~x1236 ~x5982 x5136 
3.87/3.99	v ~x4290 ~x3444 ~x2929 x392 x2083 x1237 ~x5983 x5137 ~x4291 ~x3445 
3.87/3.99	v ~x2930 x393 x2084 x1238 ~x5984 x5138 ~x4292 ~x3446 ~x2931 ~x394 
3.87/3.99	v x2085 x1239 ~x5985 ~x5139 ~x4293 ~x3447 ~x2932 x395 ~x2086 x1240 
3.87/3.99	v ~x5986 x5140 ~x4294 ~x3448 ~x2933 x396 x2087 x1241 ~x5987 x5141 
3.87/3.99	v ~x4295 ~x3449 ~x2934 x397 x2088 x1242 ~x5988 ~x5142 ~x4296 ~x3450 
3.87/3.99	v ~x2935 x398 x2089 x1243 ~x5989 x5143 ~x4297 ~x3451 ~x2936 x399 
3.87/3.99	v x2090 x1244 ~x5990 x5144 ~x4298 ~x3452 ~x2937 x400 x2091 x1245 
3.87/3.99	v ~x5991 ~x5145 ~x4299 ~x3453 ~x2938 ~x401 ~x2092 x1246 ~x5992 ~x5146 
3.87/3.99	v ~x4300 ~x3454 ~x2939 x402 x2093 x1247 ~x5993 ~x5147 ~x4301 ~x3455 
3.87/3.99	v ~x2940 x403 x2094 x1248 ~x5994 ~x5148 ~x4302 ~x3456 ~x2941 x404 
3.87/3.99	v x2095 x1249 ~x5995 x5149 ~x4303 ~x3457 ~x2942 x405 x2096 ~x1250 
3.87/3.99	v ~x5996 ~x5150 ~x4304 ~x3458 ~x2943 x406 x2097 x1251 ~x5997 ~x5151 
3.87/3.99	v ~x4305 ~x3459 ~x2944 x407 x2098 x1252 ~x5998 ~x5152 ~x4306 ~x3460 
3.87/3.99	v ~x2945 x408 x2099 ~x1253 ~x5999 ~x5153 ~x4307 ~x3461 ~x2946 x409 
3.87/3.99	v x2100 x1254 ~x6000 ~x5154 ~x4308 ~x3462 ~x2947 x410 x2101 x1255 
3.87/3.99	v ~x6001 ~x5155 ~x4309 ~x3463 ~x2948 ~x411 x2102 x1256 ~x6002 x5156 
3.87/3.99	v ~x4310 ~x3464 ~x2949 x412 x2103 x1257 ~x6003 x5157 ~x4311 ~x3465 
3.87/3.99	v ~x2950 x413 x2104 x1258 ~x6004 x5158 ~x4312 ~x3466 ~x2951 x414 
3.87/3.99	v x2105 x1259 ~x6005 ~x5159 ~x4313 ~x3467 ~x2952 ~x415 x2106 x1260 
3.87/3.99	v ~x6006 ~x5160 ~x4314 ~x3468 ~x2953 x416 x2107 ~x1261 ~x6007 ~x5161 
3.87/3.99	v ~x4315 ~x3469 ~x2954 ~x417 x2108 x1262 ~x6008 ~x5162 ~x4316 ~x3470 
3.87/3.99	v ~x2955 ~x418 x2109 x1263 ~x6009 ~x5163 ~x4317 ~x3471 ~x2956 ~x419 
3.87/3.99	v x2110 x1264 ~x6010 ~x5164 ~x4318 ~x3472 ~x2957 x420 x2111 x1265 
3.87/3.99	v ~x6011 x5165 ~x4319 ~x3473 ~x2958 x421 x2112 x1266 ~x6012 x5166 
3.87/3.99	v ~x4320 ~x3474 ~x2959 x422 x2113 x1267 ~x6013 x5167 ~x4321 ~x3475 
3.87/3.99	v ~x2960 x423 x2114 x1268 ~x6014 ~x5168 ~x4322 ~x3476 ~x2961 x424 
3.87/3.99	v x2115 x1269 ~x6015 ~x5169 ~x4323 ~x3477 ~x2962 x425 x2116 x1270 
3.87/3.99	v ~x6016 ~x5170 ~x4324 ~x3478 ~x2963 x426 x2117 x1271 ~x6017 x5171 
3.87/3.99	v ~x4325 ~x3479 ~x2964 x427 x2118 x1272 ~x6018 ~x5172 ~x4326 ~x3480 
3.87/3.99	v ~x2965 ~x428 x2119 ~x1273 ~x6019 x5173 ~x4327 ~x3481 ~x2966 x429 
3.87/3.99	v x2120 x1274 ~x6020 ~x5174 ~x4328 ~x3482 ~x2967 x430 x2121 x1275 
3.87/3.99	v ~x6021 ~x5175 ~x4329 ~x3483 ~x2968 ~x431 x2122 ~x1276 ~x6022 x5176 
3.87/3.99	v ~x4330 ~x3484 ~x2969 x432 x2123 x1277 ~x6023 ~x5177 ~x4331 ~x3485 
3.87/3.99	v ~x2970 x433 x2124 ~x1278 ~x6024 ~x5178 ~x4332 ~x3486 ~x2971 x434 
3.87/3.99	v ~x2125 x1279 ~x6025 ~x5179 ~x4333 ~x3487 

OK	2256

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (61782 MiB free)
  memory of node 1: 64510 MiB (62101 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436436-1721125159/watcher-4436436-1721125159 -o /tmp/evaluation-result-4436436-1721125159/solver-4436436-1721125159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721124536-843384 --watchdog 3760 pb_picat HOME/instance-4436436-1721125159.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=843933, runsolver pid=843930

[startup+0.100072 s]*
/proc/loadavg: 4.17 3.96 3.80 5/241 843934
/proc/meminfo: memFree=126828228/131655788 swapFree=131071996/131071996
[pid=843933] ppid=843930 vsize=2033608 memory=36620 CPUtime=0.1 cores=0,2
/proc/843933/stat : 843933 (pb_picat) R 843930 843933 843374 0 -1 4194304 601 0 0 0 10 0 0 0 20 0 1 0 164672031 2082414592 9155 134679101440 4194304 5989780 140721795524080 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 15769600 140721795527705 140721795527781 140721795527781 140721795534796 0
/proc/843933/statm: 508402 9155 1565 439 0 503831 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36620 KiB

[startup+0.212507 s]*
/proc/loadavg: 4.17 3.96 3.80 5/241 843934
/proc/meminfo: memFree=126807440/131655788 swapFree=131071996/131071996
[pid=843933] ppid=843930 vsize=2049152 memory=57496 CPUtime=0.21 cores=0,2
/proc/843933/stat : 843933 (pb_picat) R 843930 843933 843374 0 -1 4194304 2238 0 0 0 20 1 0 0 20 0 1 0 164672031 2098331648 14374 134679101440 4194304 5989780 140721795524080 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 15769600 140721795527705 140721795527781 140721795527781 140721795534796 0
/proc/843933/statm: 512288 14374 1769 439 0 507717 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2049152 KiB
Current children cumulated memory: 57496 KiB

[startup+0.312407 s]*
/proc/loadavg: 4.17 3.96 3.80 5/241 843934
/proc/meminfo: memFree=126800156/131655788 swapFree=131071996/131071996
[pid=843933] ppid=843930 vsize=2053760 memory=63008 CPUtime=0.31 cores=0,2
/proc/843933/stat : 843933 (pb_picat) R 843930 843933 843374 0 -1 4194304 4693 0 0 0 29 2 0 0 20 0 1 0 164672031 2103050240 15752 134679101440 4194304 5989780 140721795524080 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 15769600 140721795527705 140721795527781 140721795527781 140721795534796 0
/proc/843933/statm: 513440 15752 1785 439 0 508869 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2053760 KiB
Current children cumulated memory: 63008 KiB

[startup+0.700328 s]
/proc/loadavg: 4.17 3.96 3.80 5/241 843934
/proc/meminfo: memFree=126795720/131655788 swapFree=131071996/131071996
[pid=843933] ppid=843930 vsize=2060216 memory=70080 CPUtime=0.69 cores=0,2
/proc/843933/stat : 843933 (pb_picat) R 843930 843933 843374 0 -1 4194304 10702 0 0 0 65 4 0 0 20 0 1 0 164672031 2109661184 17520 134679101440 4194304 5989780 140721795524080 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 15769600 140721795527705 140721795527781 140721795527781 140721795534796 0
/proc/843933/statm: 515054 17520 1785 439 0 510483 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2060216 KiB
Current children cumulated memory: 70080 KiB

[startup+1.50031 s]
/proc/loadavg: 4.17 3.96 3.80 5/241 843934
/proc/meminfo: memFree=126784788/131655788 swapFree=131071996/131071996
[pid=843933] ppid=843930 vsize=2047940 memory=58428 CPUtime=1.48 cores=0,2
/proc/843933/stat : 843933 (pb_picat) R 843930 843933 843374 0 -1 4194304 15798 0 0 0 143 5 0 0 20 0 1 0 164672031 2097090560 14607 134679101440 4194304 5989780 140721795524080 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 15769600 140721795527705 140721795527781 140721795527781 140721795534796 0
/proc/843933/statm: 511985 14607 1785 439 0 507414 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2047940 KiB
Current children cumulated memory: 58428 KiB

[startup+3.11219 s]
/proc/loadavg: 4.17 3.96 3.80 5/241 843934
/proc/meminfo: memFree=126814380/131655788 swapFree=131071996/131071996
[pid=843933] ppid=843930 vsize=2048448 memory=58896 CPUtime=3.09 cores=0,2
/proc/843933/stat : 843933 (pb_picat) R 843930 843933 843374 0 -1 4194304 15942 0 0 0 302 7 0 0 20 0 1 0 164672031 2097610752 14724 134679101440 4194304 5989780 140721795524080 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 15769600 140721795527705 140721795527781 140721795527781 140721795534796 0
/proc/843933/statm: 512112 14724 1785 439 0 507541 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2048448 KiB
Current children cumulated memory: 58896 KiB

[startup+3.9916 s]
# the end of solver process 843933 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3.8822 s, system=0.096718 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.2003 s]
/proc/loadavg: 4.17 3.96 3.80 5/241 843934
/proc/meminfo: memFree=126814380/131655788 swapFree=131071996/131071996
[pid=843933] ppid=843930 vsize=2048448 memory=58896 CPUtime=3.18 cores=0,2
/proc/843933/stat : 843933 (pb_picat) R 843930 843933 843374 0 -1 4194304 15942 0 0 0 311 7 0 0 20 0 1 0 164672031 2097610752 14724 134679101440 4194304 5989780 140721795524080 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 15769600 140721795527705 140721795527781 140721795527781 140721795534796 0
/proc/843933/statm: 512112 14724 1785 439 0 507541 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 2048448 KiB
Current children cumulated memory: 58896 KiB

[startup+3.60027 s]
/proc/loadavg: 4.17 3.96 3.80 5/241 843934
/proc/meminfo: memFree=126814380/131655788 swapFree=131071996/131071996
[pid=843933] ppid=843930 vsize=2050496 memory=60996 CPUtime=3.58 cores=0,2
/proc/843933/stat : 843933 (pb_picat) R 843930 843933 843374 0 -1 4194304 16423 0 0 0 350 8 0 0 20 0 1 0 164672031 2099707904 15249 134679101440 4194304 5989780 140721795524080 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 15769600 140721795527705 140721795527781 140721795527781 140721795534796 0
/proc/843933/statm: 512624 15249 1785 439 0 508053 0
Current children cumulated CPU time: 3.58 s
Current children cumulated vsize: 2050496 KiB
Current children cumulated memory: 60996 KiB

[startup+3.80024 s]
/proc/loadavg: 4.17 3.96 3.80 5/241 843934
/proc/meminfo: memFree=126814380/131655788 swapFree=131071996/131071996
[pid=843933] ppid=843930 vsize=2050496 memory=60996 CPUtime=3.77 cores=0,2
/proc/843933/stat : 843933 (pb_picat) R 843930 843933 843374 0 -1 4194304 16441 0 0 0 369 8 0 0 20 0 1 0 164672031 2099707904 15249 134679101440 4194304 5989780 140721795524080 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 15769600 140721795527705 140721795527781 140721795527781 140721795534796 0
/proc/843933/statm: 512624 15249 1785 439 0 508053 0
Current children cumulated CPU time: 3.77 s
Current children cumulated vsize: 2050496 KiB
Current children cumulated memory: 60996 KiB

[startup+3.90023 s]
/proc/loadavg: 4.17 3.96 3.80 5/241 843934
/proc/meminfo: memFree=126814380/131655788 swapFree=131071996/131071996
[pid=843933] ppid=843930 vsize=2050496 memory=60996 CPUtime=3.87 cores=0,2
/proc/843933/stat : 843933 (pb_picat) R 843930 843933 843374 0 -1 4194304 16441 0 0 0 379 8 0 0 20 0 1 0 164672031 2099707904 15249 134679101440 4194304 5989780 140721795524080 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 8089048 9894864 15769600 140721795527705 140721795527781 140721795527781 140721795534796 0
/proc/843933/statm: 512624 15249 1785 439 0 508053 0
Current children cumulated CPU time: 3.87 s
Current children cumulated vsize: 2050496 KiB
Current children cumulated memory: 60996 KiB

Child status: 0

Real time (s): 3.99167
CPU time (s): 3.97891
CPU user time (s): 3.8822
CPU system time (s): 0.096718
CPU usage (%): 99.6805
Max. virtual memory (cumulated for all children) (KiB): 2060216
Max. memory (cumulated for all children) (KiB): 70080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.8822
system time used= 0.096718
maximum resident set size= 71608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 32


# summary of solver processes directly reported to runsolver:
#   pid: 843933
#   total CPU time (s): 3.97891
#   total CPU user time (s): 3.8822
#   total CPU system time (s): 0.096718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052307 second user time and 0.090681 second system time

The end

Begin job on nodeC003 at 2024-07-16 12:19:31
IDJOB=4436436
IDBENCH=151059
IDSOLVER=3068
FILE ID=nodeC003/4436436-1721125159
RUNJOBID= nodeC003-1721124536-843384
SLURM_JOB_ID= 7505676
Free space on /tmp= 723760 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-paranoid/misc2010/random/rand.smallist/normalized-rand88811a.cudf.paranoid.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436436-1721125159/watcher-4436436-1721125159 -o /tmp/evaluation-result-4436436-1721125159/solver-4436436-1721125159 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721124536-843384 --watchdog 3760  pb_picat HOME/instance-4436436-1721125159.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f8c3c99e52e0d6bb84635a1f1002cfec
RANDOM SEED=315810838

nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.901
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.350
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.221
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.342
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.045
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3662.246
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.451
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.416
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126857268 kB
MemAvailable:   129077996 kB
Buffers:          415280 kB
Cached:          2622064 kB
SwapCached:            0 kB
Active:           709236 kB
Inactive:        3508288 kB
Active(anon):       1484 kB
Inactive(anon):  1216084 kB
Active(file):     707752 kB
Inactive(file):  2292204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4384 kB
Writeback:             0 kB
AnonPages:       1174168 kB
Mapped:           114528 kB
Shmem:             37704 kB
KReclaimable:     121608 kB
Slab:             222044 kB
SReclaimable:     121608 kB
SUnreclaim:       100436 kB
KernelStack:        3884 kB
PageTables:        11616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7018616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            52384 kB
HardwareCorrupted:     0 kB
AnonHugePages:    960512 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      254792 kB
DirectMap2M:    22718464 kB
DirectMap1G:    113246208 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC003 at 2024-07-16 12:19:35