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

OK	7586846

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: 63708 MiB (61579 MiB free)
  memory of node 1: 64465 MiB (62744 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528554-1752242408/watcher-4528554-1752242408 -o /tmp/evaluation-result-4528554-1752242408/solver-4528554-1752242408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752242408-114528 --watchdog 3760 pb_picat HOME/instance-4528554-1752242408.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=114561, runsolver pid=114555
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 1.94 3.50 3.82 4/257 114569
/proc/meminfo: memFree=127246532/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2027148 memory=38344 CPUtime=0.08 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 1005 0 0 0 8 0 0 0 20 0 1 0 139863379 2075799552 9586 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 506787 9586 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 38344 KiB

[startup+0.205367 s]*
/proc/loadavg: 1.94 3.50 3.82 4/261 114583
/proc/meminfo: memFree=127201424/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2034964 memory=59508 CPUtime=0.19 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 1159 0 0 0 18 1 0 0 20 0 1 0 139863379 2083803136 14877 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 508741 14877 1632 343 0 505805 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2034964 KiB
Current children cumulated memory: 59508 KiB

[startup+0.305454 s]*
/proc/loadavg: 1.94 3.50 3.82 5/265 114587
/proc/meminfo: memFree=127127632/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2038164 memory=72608 CPUtime=0.29 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 1917 0 0 0 27 2 0 0 20 0 1 0 139863379 2087079936 18152 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 509541 18152 1728 343 0 506605 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2038164 KiB
Current children cumulated memory: 72608 KiB

[startup+0.700176 s]
/proc/loadavg: 1.94 3.50 3.82 6/265 114587
/proc/meminfo: memFree=126914268/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2057368 memory=88756 CPUtime=0.68 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 5999 0 0 0 60 8 0 0 20 0 1 0 139863379 2106744832 22189 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 514342 22189 1728 343 0 511406 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2057368 KiB
Current children cumulated memory: 88756 KiB

[startup+1.50017 s]
/proc/loadavg: 2.11 3.51 3.82 5/265 114587
/proc/meminfo: memFree=126632780/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2066048 memory=99392 CPUtime=1.47 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 9552 0 0 0 132 15 0 0 20 0 1 0 139863379 2115633152 24848 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 516512 24848 1728 343 0 513576 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2066048 KiB
Current children cumulated memory: 99392 KiB

[startup+3.10533 s]
/proc/loadavg: 2.11 3.51 3.82 5/265 114587
/proc/meminfo: memFree=125853316/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2082824 memory=110996 CPUtime=3.07 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 10478 0 0 0 290 17 0 0 20 0 1 0 139863379 2132811776 27749 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520706 27749 1728 343 0 517770 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2082824 KiB
Current children cumulated memory: 110996 KiB

[startup+6.30017 s]
/proc/loadavg: 2.26 3.52 3.82 5/265 114587
/proc/meminfo: memFree=124888896/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2082824 memory=113044 CPUtime=6.26 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 10489 0 0 0 609 17 0 0 20 0 1 0 139863379 2132811776 28261 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520706 28261 1728 343 0 517770 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2082824 KiB
Current children cumulated memory: 113044 KiB

[startup+12.7002 s]
/proc/loadavg: 2.40 3.53 3.83 5/264 114587
/proc/meminfo: memFree=122582272/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2082824 memory=113044 CPUtime=12.64 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 10499 0 0 0 1247 17 0 0 20 0 1 0 139863379 2132811776 28261 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520706 28261 1728 343 0 517770 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2082824 KiB
Current children cumulated memory: 113044 KiB

[startup+25.5002 s]
/proc/loadavg: 2.64 3.54 3.83 5/264 114587
/proc/meminfo: memFree=121028352/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2082824 memory=115092 CPUtime=25.4 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 14594 0 0 0 2514 26 0 0 20 0 1 0 139863379 2132811776 28773 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520706 28773 1728 343 0 517770 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2082824 KiB
Current children cumulated memory: 115092 KiB

[startup+51.1054 s]
/proc/loadavg: 3.30 3.62 3.84 5/264 114588
/proc/meminfo: memFree=120980108/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2082824 memory=115092 CPUtime=50.93 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 14603 0 0 0 5067 26 0 0 20 0 1 0 139863379 2132811776 28773 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520706 28773 1728 343 0 517770 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2082824 KiB
Current children cumulated memory: 115092 KiB

[startup+102.3 s]
/proc/loadavg: 3.76 3.70 3.86 5/265 114602
/proc/meminfo: memFree=120483264/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2075868 memory=111236 CPUtime=101.98 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 21228 0 0 0 10147 51 0 0 20 0 1 0 139863379 2125688832 27809 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 518967 27809 1728 343 0 516031 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2075868 KiB
Current children cumulated memory: 111236 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 3.75 3.87 5/265 114604
/proc/meminfo: memFree=120560276/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2092252 memory=123928 CPUtime=161.8 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 36177 0 0 0 16096 84 0 0 20 0 1 0 139863379 2142466048 30982 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 523063 30982 1728 343 0 520127 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2092252 KiB
Current children cumulated memory: 123928 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 3.83 3.89 5/264 114606
/proc/meminfo: memFree=120530472/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2064348 memory=102348 CPUtime=221.63 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 47480 0 0 0 22055 108 0 0 20 0 1 0 139863379 2113892352 25587 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 516087 25587 1728 343 0 513151 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2064348 KiB
Current children cumulated memory: 102348 KiB

[startup+282.3 s]
/proc/loadavg: 4.36 3.94 3.93 5/263 114607
/proc/meminfo: memFree=120474900/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2105308 memory=137564 CPUtime=281.45 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 52958 0 0 0 28027 118 0 0 20 0 1 0 139863379 2155835392 34391 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 526327 34391 1728 343 0 523391 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 2105308 KiB
Current children cumulated memory: 137564 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 3.99 3.95 5/263 114609
/proc/meminfo: memFree=120580164/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2080732 memory=113648 CPUtime=341.28 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 59803 0 0 0 33991 137 0 0 20 0 1 0 139863379 2130669568 28412 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520183 28412 1728 343 0 517247 0
Current children cumulated CPU time: 341.28 s
Current children cumulated vsize: 2080732 KiB
Current children cumulated memory: 113648 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.00 3.96 5/263 114614
/proc/meminfo: memFree=120541844/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2105564 memory=132956 CPUtime=401.11 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 66685 0 0 0 39957 154 0 0 20 0 1 0 139863379 2156097536 33239 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 526391 33239 1728 343 0 523455 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 2105564 KiB
Current children cumulated memory: 132956 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.03 3.97 5/264 114617
/proc/meminfo: memFree=120527340/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2107868 memory=139100 CPUtime=460.94 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 73554 0 0 0 45925 169 0 0 20 0 1 0 139863379 2158456832 34775 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 526967 34775 1728 343 0 524031 0

################
# More data... #
################

/proc/loadavg: 4.32 4.11 4.01 5/264 114623
/proc/meminfo: memFree=120483976/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2107868 memory=141148 CPUtime=520.77 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 81653 0 0 0 51890 187 0 0 20 0 1 0 139863379 2158456832 35287 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 526967 35287 1728 343 0 524031 0
Current children cumulated CPU time: 520.77 s
Current children cumulated vsize: 2107868 KiB
Current children cumulated memory: 141148 KiB

[startup+582.3 s]
/proc/loadavg: 4.11 4.09 4.00 5/264 114625
/proc/meminfo: memFree=120642680/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2105308 memory=132824 CPUtime=580.6 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 89745 0 0 0 57856 204 0 0 20 0 1 0 139863379 2155835392 33206 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 526327 33206 1728 343 0 523391 0
Current children cumulated CPU time: 580.6 s
Current children cumulated vsize: 2105308 KiB
Current children cumulated memory: 132824 KiB

[startup+642.3 s]
/proc/loadavg: 4.16 4.10 4.01 5/265 114628
/proc/meminfo: memFree=120441500/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2105308 memory=132936 CPUtime=640.43 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 97185 0 0 0 63822 221 0 0 20 0 1 0 139863379 2155835392 33234 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 526327 33234 1728 343 0 523391 0
Current children cumulated CPU time: 640.43 s
Current children cumulated vsize: 2105308 KiB
Current children cumulated memory: 132936 KiB

[startup+702.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/265 114630
/proc/meminfo: memFree=120542716/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2094044 memory=124252 CPUtime=700.27 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 104350 0 0 0 69789 238 0 0 20 0 1 0 139863379 2144301056 31063 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 523511 31063 1728 343 0 520575 0
Current children cumulated CPU time: 700.27 s
Current children cumulated vsize: 2094044 KiB
Current children cumulated memory: 124252 KiB

[startup+762.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/264 114632
/proc/meminfo: memFree=120504328/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2093020 memory=129372 CPUtime=760.1 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 105835 0 0 0 75765 245 0 0 20 0 1 0 139863379 2143252480 32343 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 523255 32343 1728 343 0 520319 0
Current children cumulated CPU time: 760.1 s
Current children cumulated vsize: 2093020 KiB
Current children cumulated memory: 129372 KiB

[startup+822.3 s]
/proc/loadavg: 4.14 4.10 4.01 5/264 114634
/proc/meminfo: memFree=120481864/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2109404 memory=136740 CPUtime=819.94 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 113344 0 0 0 81732 262 0 0 20 0 1 0 139863379 2160029696 34185 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 527351 34185 1728 343 0 524415 0
Current children cumulated CPU time: 819.94 s
Current children cumulated vsize: 2109404 KiB
Current children cumulated memory: 136740 KiB

[startup+882.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/264 114636
/proc/meminfo: memFree=120405580/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2105308 memory=137564 CPUtime=879.77 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 117202 0 0 0 87707 270 0 0 20 0 1 0 139863379 2155835392 34391 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 526327 34391 1728 343 0 523391 0
Current children cumulated CPU time: 879.77 s
Current children cumulated vsize: 2105308 KiB
Current children cumulated memory: 137564 KiB

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

# cumulated CPU time of all completed processes:  user=905.18 s, system=2.78713 s

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

[startup+896 s]*
/proc/loadavg: 4.09 4.09 4.01 5/264 114636
/proc/meminfo: memFree=120396636/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2080732 memory=113708 CPUtime=893.44 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 120203 0 0 0 89067 277 0 0 20 0 1 0 139863379 2130669568 28427 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520183 28427 1728 343 0 517247 0
Current children cumulated CPU time: 893.44 s
Current children cumulated vsize: 2080732 KiB
Current children cumulated memory: 113708 KiB

[startup+902.4 s]
/proc/loadavg: 4.15 4.10 4.02 5/265 114639
/proc/meminfo: memFree=120881608/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2080732 memory=115860 CPUtime=899.81 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 120222 0 0 0 89704 277 0 0 20 0 1 0 139863379 2130669568 28965 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520183 28965 1728 343 0 517247 0
Current children cumulated CPU time: 899.81 s
Current children cumulated vsize: 2080732 KiB
Current children cumulated memory: 115860 KiB

[startup+905.6 s]
/proc/loadavg: 4.15 4.10 4.02 5/265 114639
/proc/meminfo: memFree=120595924/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2080732 memory=115860 CPUtime=903.01 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 120222 0 0 0 90024 277 0 0 20 0 1 0 139863379 2130669568 28965 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520183 28965 1728 343 0 517247 0
Current children cumulated CPU time: 903.01 s
Current children cumulated vsize: 2080732 KiB
Current children cumulated memory: 115860 KiB

[startup+908.8 s]
/proc/loadavg: 4.14 4.10 4.02 5/265 114639
/proc/meminfo: memFree=120583796/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2080732 memory=115860 CPUtime=906.2 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 120222 0 0 0 90343 277 0 0 20 0 1 0 139863379 2130669568 28965 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520183 28965 1728 343 0 517247 0
Current children cumulated CPU time: 906.2 s
Current children cumulated vsize: 2080732 KiB
Current children cumulated memory: 115860 KiB

[startup+909.6 s]
/proc/loadavg: 4.14 4.10 4.02 5/265 114639
/proc/meminfo: memFree=120579700/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2080732 memory=115860 CPUtime=906.99 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 120222 0 0 0 90422 277 0 0 20 0 1 0 139863379 2130669568 28965 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520183 28965 1728 343 0 517247 0
Current children cumulated CPU time: 906.99 s
Current children cumulated vsize: 2080732 KiB
Current children cumulated memory: 115860 KiB

[startup+910 s]*
/proc/loadavg: 4.14 4.10 4.02 5/265 114639
/proc/meminfo: memFree=120575604/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2080732 memory=115860 CPUtime=907.4 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 120222 0 0 0 90463 277 0 0 20 0 1 0 139863379 2130669568 28965 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520183 28965 1728 343 0 517247 0
Current children cumulated CPU time: 907.4 s
Current children cumulated vsize: 2080732 KiB
Current children cumulated memory: 115860 KiB

[startup+910.4 s]
/proc/loadavg: 4.14 4.10 4.02 5/265 114639
/proc/meminfo: memFree=120575604/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2080732 memory=115860 CPUtime=907.79 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 120222 0 0 0 90502 277 0 0 20 0 1 0 139863379 2130669568 28965 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520183 28965 1728 343 0 517247 0
Current children cumulated CPU time: 907.79 s
Current children cumulated vsize: 2080732 KiB
Current children cumulated memory: 115860 KiB

[startup+910.5 s]
/proc/loadavg: 4.14 4.10 4.02 5/265 114639
/proc/meminfo: memFree=120575604/131250000 swapFree=33010684/33010684
[pid=114561] ppid=114555 vsize=2080732 memory=115860 CPUtime=907.89 cores=0,2
/proc/114561/stat : 114561 (pb_picat) R 114555 114561 114518 0 -1 4194304 120222 0 0 0 90512 277 0 0 20 0 1 0 139863379 2130669568 28965 18446744073709551615 94477821386752 94477822788333 140728492313984 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94477823059760 94477824934000 94477853495296 140728492321180 140728492321256 140728492321256 140728492326860 0
/proc/114561/statm: 520183 28965 1728 343 0 517247 0
Current children cumulated CPU time: 907.89 s
Current children cumulated vsize: 2080732 KiB
Current children cumulated memory: 115860 KiB

Child status: 0

Real time (s): 910.565
CPU time (s): 907.968
CPU user time (s): 905.18
CPU system time (s): 2.78713
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 2109404
Max. memory (cumulated for all children) (KiB): 141660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 905.181
system time used= 2.78713
maximum resident set size= 141660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120226
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= 72
involuntary context switches= 1314


# summary of solver processes directly reported to runsolver:
#   pid: 114561
#   total CPU time (s): 907.968
#   total CPU user time (s): 905.18
#   total CPU system time (s): 2.78713

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.73768 second user time and 3.94057 second system time

The end

Begin job on nodeC028 at 2025-07-11 16:00:09
IDJOB=4528554
IDBENCH=155659
IDSOLVER=3385
FILE ID=nodeC028/4528554-1752242408
RUNJOBID= nodeC028-1752242408-114528
SLURM_JOB_ID= 9682551
Free space on /tmp= 431196 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Multihop/normalized-minisat15_5_3_6_mh.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528554-1752242408/watcher-4528554-1752242408 -o /tmp/evaluation-result-4528554-1752242408/solver-4528554-1752242408 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1752242408-114528 --watchdog 3760  pb_picat HOME/instance-4528554-1752242408.opb

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

MD5SUM BENCH= 5446b769e53b58ee9fdbc738c7aeea2d
RANDOM SEED=1599396849

nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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	: 0xb00002a
cpu MHz		: 3599.947
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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	: 0xb00002a
cpu MHz		: 3600.290
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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	: 0xb00002a
cpu MHz		: 3600.078
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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	: 0xb00002a
cpu MHz		: 3600.075
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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	: 0xb00002a
cpu MHz		: 3484.703
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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	: 0xb00002a
cpu MHz		: 3600.105
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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	: 0xb00002a
cpu MHz		: 3600.051
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
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	: 0xb00002a
cpu MHz		: 3513.929
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127348776 kB
MemAvailable:   129743260 kB
Buffers:            3280 kB
Cached:          3192544 kB
SwapCached:            0 kB
Active:           398396 kB
Inactive:        2879616 kB
Active(anon):     100256 kB
Inactive(anon):        0 kB
Active(file):     298140 kB
Inactive(file):  2879616 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17820 kB
Writeback:             0 kB
AnonPages:         85336 kB
Mapped:           105484 kB
Shmem:             18068 kB
KReclaimable:     111932 kB
Slab:             204884 kB
SReclaimable:     111932 kB
SUnreclaim:        92952 kB
KernelStack:        4040 kB
PageTables:         2732 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     350708 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431128 MiB
End job on nodeC028 at 2025-07-11 16:15:19