0.00/0.00
0.00/0.05 c Computed by /tmp/evaluation/424331-1177792307/kcnfs-2004 V. 03/02/12
0.00/0.05 c Input file : '/tmp/evaluation/424331-1177792307/instance-424331-1177792307.cnf'
1316.87/1317.21 c [5500 variables, 14684 clauses, ratio 2.67, mean occ 3, 3-SAT]
1316.87/1317.21 s SATISFIABLE
1316.87/1317.21 v 12 13 28 -36 -52
1316.87/1317.21 v -89 91 140 171 210
1316.87/1317.21 v 211 260 271 282 -382
1316.87/1317.21 v 392 -408 421 477 -538
1316.87/1317.21 v -563 -587 590 597 -606
1316.87/1317.21 v -622 624 647 674 -682
1316.87/1317.21 v -720 -744 772 780 -784
1316.87/1317.21 v -800 807 826 943 948
1316.87/1317.21 v -950 -951 980 1007 1041
1316.87/1317.21 v -1050 1078 -1087 -1100 1124
1316.87/1317.21 v 1159 -1177 1179 1185 -1192
1316.87/1317.21 v -1245 1262 -1263 1279 1301
1316.87/1317.21 v -1327 -1331 -1358 1406 1417
1316.87/1317.21 v -1447 1449 1450 1451 1463
1316.87/1317.21 v -1492 1501 -1527 -1546 1547
1316.87/1317.21 v -1549 -1554 -1565 1567 -1637
1316.87/1317.21 v 1643 1649 -1665 1666 -1680
1316.87/1317.21 v 1685 -1699 1706 1725 -1750
1316.87/1317.21 v -1771 -1782 1810 -1823 1858
1316.87/1317.21 v -1860 1893 1896 -1897 1901
1316.87/1317.21 v 1923 -1928 1929 1949 1956
1316.87/1317.21 v -1971 -1984 1986 -1987 -1992
1316.87/1317.21 v 2005 2007 2013 2016 2018
1316.87/1317.21 v -2068 -2088 -2104 -2125 2138
1316.87/1317.21 v 2150 -2179 -2192 -2210 -2211
1316.87/1317.21 v -2221 -2263 -2275 2298 -2306
1316.87/1317.21 v -2313 -2334 -2336 -2379 2390
1316.87/1317.21 v 2402 2409 2460 2463 -2492
1316.87/1317.21 v 2497 -2520 -2523 2525 -2555
1316.87/1317.21 v -2557 2565 -2576 2594 -2635
1316.87/1317.21 v -2638 -2670 -2720 -2725 -2763
1316.87/1317.21 v -2797 -2812 2832 -2841 -2849
1316.87/1317.21 v -2871 -2879 -2895 -2901 2914
1316.87/1317.21 v -2977 -2995 -3057 -3080 1391
1316.87/1317.21 v 4223 3142 3177 3179 3205
1316.87/1317.21 v 3219 3221 -3236 3241 -3289
1316.87/1317.21 v -3290 3298 3299 -3306 -3310
1316.87/1317.21 v -3325 -3333 -3369 -3404 -3412
1316.87/1317.21 v 3424 -3429 3445 3475 3490
1316.87/1317.21 v 3500 3537 -3539 3542 -3561
1316.87/1317.21 v -3563 3582 3586 3599 -3628
1316.87/1317.21 v 3640 3650 3665 -3711 3717
1316.87/1317.21 v 3730 -3733 3747 3757 -3769
1316.87/1317.21 v -3814 3857 -3861 -3867 3871
1316.87/1317.21 v 3886 -3897 3900 3939 -3949
1316.87/1317.21 v 3959 -3985 4007 4031 4040
1316.87/1317.21 v 4041 4047 4061 -4087 -4093
1316.87/1317.21 v -4127 -4150 -4161 4165 -4168
1316.87/1317.21 v 4183 -4199 4217 -4240 4245
1316.87/1317.21 v -4258 4325 4344 -4348 4365
1316.87/1317.21 v -4372 4384 4388 4393 4411
1316.87/1317.21 v -4413 4421 -4426 4444 4453
1316.87/1317.21 v 4466 -4469 4477 -4501 -4528
1316.87/1317.21 v -4561 -4565 4579 4584 4603
1316.87/1317.21 v -4606 -4610 4643 4650 4656
1316.87/1317.21 v -4672 -4685 -4696 4703 4709
1316.87/1317.21 v -4712 -4727 -4736 -4738 4739
1316.87/1317.21 v 4751 -4794 -4798 -4803 4818
1316.87/1317.21 v -4830 4842 4863 -4864 -4927
1316.87/1317.21 v -4956 -4963 4977 5011 5013
1316.87/1317.21 v -5022 5024 5030 5035 -5050
1316.87/1317.21 v 5098 -5099 -5107 5109 -5110
1316.87/1317.21 v -5111 5113 -5119 5152 5200
1316.87/1317.21 v -5209 5216 5236 5296 5307
1316.87/1317.21 v -5316 5342 -5343 -5386 -5393
1316.87/1317.21 v 5426 5479 -5482 -2829 3898
1316.87/1317.21 v -2160 -2704 3612 178 1765
1316.87/1317.21 v -4589 4545 4691 -4232 750
1316.87/1317.21 v 2205 -1809 -1487 -2581 -4882
1316.87/1317.21 v -3004 2569 -2517 2676 4688
1316.87/1317.21 v 4003 -1739 1028 862 5256
1316.87/1317.21 v -3584 -2412 3406 -4941 -2017
1316.87/1317.21 v 2633 -4612 -3593 4549 -2926
1316.87/1317.21 v -4628 -2521 4821 3987 3207
1316.87/1317.21 v -2709 499 2027 1479 -1519
1316.87/1317.21 v -215 -327 -343 415 528
1316.87/1317.21 v -620 -669 -771 -792 -867
1316.87/1317.21 v 904 978 -1009 1193 -1226
1316.87/1317.21 v 1310 -1329 -1510 1563 -1605
1316.87/1317.21 v -1945 1969 2024 -2346 2363
1316.87/1317.21 v 2440 2518 -2542 2710 -2751
1316.87/1317.21 v -2761 2781 3209 3260 3336
1316.87/1317.21 v -3380 -3493 -3523 -3604 4294
1316.87/1317.21 v 4330 -4423 -4644 -4905 -5041
1316.87/1317.21 v 5045 5444 -2711 3844 4896
1316.87/1317.21 v 851 4590 3618 -3427 1384
1316.87/1317.21 v -3476 3877 1852 1851 -5280
1316.87/1317.21 v 3194 1775 1631 3997 4160
1316.87/1317.21 v -2943 3649 5165 -59 -3250
1316.87/1317.21 v 1200 5182 4458 3206 -5490
1316.87/1317.21 v 2119 -967 -2777 -1503 -632
1316.87/1317.21 v 4010 -5466 1128 -60 -453
1316.87/1317.21 v -482 809 -1037 1410 1644
1316.87/1317.21 v -1718 -2188 2688 2733 -3472
1316.87/1317.21 v -3830 4151 -4437 4795 4954
1316.87/1317.21 v -5059 1314 1885 -313 -4869
1316.87/1317.21 v -1020 954 -4530 3944 5160
1316.87/1317.21 v 4675 2450 -1957 -4023 4809
1316.87/1317.21 v 3338 -4569 4936 -2398 735
1316.87/1317.21 v 3160 -4082 2253 2232 3054
1316.87/1317.21 v 4295 -608 2420 -1900 -236
1316.87/1317.21 v 2530 4303 5387 -66 163
1316.87/1317.21 v -1433 1532 -1691 -2643 -3716
1316.87/1317.21 v -5248 5430 665 -2115 4419
1316.87/1317.21 v 4316 -4374 607 5474 3314
1316.87/1317.21 v 2089 -1201 2911 -2686 -4279
1316.87/1317.21 v 610 3854 -2432 -4022 -3839
1316.87/1317.21 v 3965 -1561 -1271 -5122 4761
1316.87/1317.21 v -3738 3960 4943 892 -1744
1316.87/1317.21 v 2185 -4166 -4351 -4940 3558
1316.87/1317.21 v -1328 2806 1853 2266 5442
1316.87/1317.21 v 4755 2391 4964 2404 -4368
1316.87/1317.21 v -2204 -1103 -1720 -949 -571
1316.87/1317.21 v 4506 1769 -2286 689 4741
1316.87/1317.21 v -5389 1742 -3438 3474 -3201
1316.87/1317.21 v -3669 4239 -1783 1656 4618
1316.87/1317.21 v 341 -777 1098 -1722 -2444
1316.87/1317.21 v -3547 -3739 3983 -4004 -4960
1316.87/1317.21 v 5189 -3118 -2696 -1003 4718
1316.87/1317.21 v -1692 766 2566 -3068 -996
1316.87/1317.21 v 1579 -2875 319 -2327 -2885
1316.87/1317.21 v -5347 -1481 1067 -1498 61
1316.87/1317.21 v -3174 -1955 -2362 5312 3401
1316.87/1317.21 v 1753 -3831 1059 145 1464
1316.87/1317.21 v -1139 3581 2429 -3879 -5458
1316.87/1317.21 v -4553 -3801 -837 4604 -1606
1316.87/1317.21 v 1781 1843 -5321 2666 389
1316.87/1317.21 v 823 -1137 1164 -1446 2170
1316.87/1317.21 v -2427 -2954 3735 -4733 -4786
1316.87/1317.21 v 5026 5171 5302 3902 306
1316.87/1317.21 v -2913 4390 -3233 4626 4323
1316.87/1317.21 v -1175 5314 -1703 2269 5076
1316.87/1317.21 v 830 1346 -1795 3974 4526
1316.87/1317.21 v -1972 -2789 -3627 1395 -4358
1316.87/1317.21 v 4804 1701 -707 -2773 -1839
1316.87/1317.21 v 11 283 2216 2514 3498
1316.87/1317.21 v -2288 -198 1751 2396 1065
1316.87/1317.21 v -57 -4338 -4516 -2994 2955
1316.87/1317.21 v 4450 -1702 -2087 -4278 2441
1316.87/1317.21 v -631 733 1587 1797 -526
1316.87/1317.21 v 1566 3936 5217 -3101 -3482
1316.87/1317.21 v -3288 5123 1234 4574 -4885
1316.87/1317.21 v -5131 741 850 2033 4107
1316.87/1317.21 v -1556 -1055 1079 1401 3685
1316.87/1317.21 v -4274 4152 -18 -4115 -1541
1316.87/1317.21 v 3262 547 -3418 5202 45
1316.87/1317.21 v -2831 3690 2026 -3670 1993
1316.87/1317.21 v -3706 2527 -422 5339 4950
1316.87/1317.21 v -3131 456 -2484 -3297 -887
1316.87/1317.21 v 1473 801 -2654 -2807 -2950
1316.87/1317.21 v -3722 -4942 5027 885 3387
1316.87/1317.21 v 5432 3271 2173 1165 -4740
1316.87/1317.21 v -2740 -212 5351 1155 -2674
1316.87/1317.21 v -350 -4373 3693 299 549
1316.87/1317.21 v 4066 2962 4701 -3872 3024
1316.87/1317.21 v -3432 -3046 -428 2945 -3291
1316.87/1317.21 v -2631 -3810 -5046 -4224 400
1316.87/1317.21 v -811 -2186 -3849 5005 -2491
1316.87/1317.21 v -142 -16 -2231 22 -3006
1316.87/1317.21 v 5232 5060 -1632 -1323 5362
1316.87/1317.21 v -4776 4508 -2367 -4095 -1628
1316.87/1317.21 v -170 -3639 3922 5134 713
1316.87/1317.21 v 2982 494 -805 1366 5382
1316.87/1317.21 v -3274 -3151 -4225 2361 3505
1316.87/1317.21 v -2672 483 1837 2891 -1349
1316.87/1317.21 v -2249 2572 2969 -4308 -5132
1316.87/1317.21 v 5345 -1039 -1133 4955 5087
1316.87/1317.21 v 2904 242 -1548 5383 -635
1316.87/1317.21 v 1274 -611 4091 4848 121
1316.87/1317.21 v 3145 3603 -1467 2419 -1562
1316.87/1317.21 v 1812 -5452 5017 -3914 229
1316.87/1317.21 v 5212 2531 1512 3396 5284
1316.87/1317.21 v -1184 -328 1388 1497 -164
1316.87/1317.21 v 1822 -182 -4627 -1456 1727
1316.87/1317.21 v 5198 -661 3217 -3488 -4341
1316.87/1317.21 v 5461 1661 5423 -1865 3506
1316.87/1317.21 v 3815 5429 5330 1466 120
1316.87/1317.21 v -1674 1667 444 1553 -3678
1316.87/1317.21 v 4573 748 -2599 2861 1413
1316.87/1317.21 v 4987 4846 -399 -1380 -150
1316.87/1317.21 v 2838 -3119 -4744 -5181 -4431
1316.87/1317.21 v -1048 2311 3904 -2214 2031
1316.87/1317.21 v 2718 4706 3750 1494 2591
1316.87/1317.21 v 1995 5363 -3173 -932 -1517
1316.87/1317.21 v -5419 3002 194 3334 4441
1316.87/1317.21 v -3760 -88 -1292 -2340 -5139
1316.87/1317.21 v 3791 3756 2742 1879 -2656
1316.87/1317.21 v 911 -3644 1690 -4713 -3719
1316.87/1317.21 v -3952 233 -4069 -136 -639
1316.87/1317.21 v -764 1157 -3940 4085 -5439
1316.87/1317.21 v -3113 4296 2975 2001 3605
1316.87/1317.21 v -1255 -4550 -1518 -1254 -3307
1316.87/1317.21 v -1302 1424 279 128 -3545
1316.87/1317.21 v 1568 -1105 -2785 -1555 -2685
1316.87/1317.21 v 4058 969 2355 -5410 -3238
1316.87/1317.21 v -5034 -560 1941 -2315 -2384
1316.87/1317.21 v -2533 -3187 -3457 -4557 -5315
1316.87/1317.21 v -3748 778 4481 257 -4630
1316.87/1317.21 v -4852 234 4371 1869 2242
1316.87/1317.21 v -3870 2078 -2035 552 -1846
1316.87/1317.21 v -1717 -3919 3348 -1921 1325
1316.87/1317.21 v 3824 2613 1086 1854 2512
1316.87/1317.21 v 4622 -5477 -2287 -4078 -4361
1316.87/1317.21 v -3516 -1886 924 2212 -840
1316.87/1317.21 v -296 333 -394 1793 -2243
1316.87/1317.21 v 2927 2662 -2775 -1756 2843
1316.87/1317.21 v 3851 3962 -4836 -4861 -5088
1316.87/1317.21 v -5261 2541 -1597 700 -2562
1316.87/1317.21 v 2229 -4601 -1543 -3398 2610
1316.87/1317.21 v 1399 -921 -4715 1708 74
1316.87/1317.21 v 3541 -3562 1403 480 3988
1316.87/1317.21 v -200 1454 -3667 1745 4785
1316.87/1317.21 v -3139 174 -695 -1224 1663
1316.87/1317.21 v 1670 -2867 2907 3293 -4329
1316.87/1317.21 v 5158 3435 1227 3682 -979
1316.87/1317.21 v 1779 3578 -4802 -1573 -4985
1316.87/1317.21 v 2277 3675 -3060 2884 855
1316.87/1317.21 v -3296 3059 542 3185 -736
1316.87/1317.21 v -5322 -165 4716 -2833 58
1316.87/1317.21 v -481 -627 3246 8 -4547
1316.87/1317.21 v -4694 -359 1749 1895 -2054
1316.87/1317.21 v 2678 -3948 -3963 4793 -4918
1316.87/1317.21 v 5224 -3932 1115 1787 -3978
1316.87/1317.21 v -5039 2570 2824 2466 5170
1316.87/1317.21 v 1432 1881 2579 -4099 -1746
1316.87/1317.21 v -2142 -322 -1082 3100 -1528
1316.87/1317.21 v 2403 3089 5206 -4228 4639
1316.87/1317.21 v 2575 579 309 864 -1026
1316.87/1317.21 v 1232 -1319 1343 2426 3255
1316.87/1317.21 v 4781 -5291 -1761 -630 -3859
1316.87/1317.21 v 824 4013 -1918 -2495 3559
1316.87/1317.21 v 2230 -1867 -5340 2554 1654
1316.87/1317.21 v -4197 -4555 5333 1584 -4218
1316.87/1317.21 v -5077 2853 593 1874 2529
1316.87/1317.21 v 3893 -1414 -513 4333 4916
1316.87/1317.21 v 4059 5220 -3751 -3807 5365
1316.87/1317.21 v 1576 4447 2414 -694 -3161
1316.87/1317.21 v 1315 203 1942 -2749 3874
1316.87/1317.21 v -5373 4981 -1495 5440 3470
1316.87/1317.21 v 795 94 -935 2739 -4805
1316.87/1317.21 v 3616 -3792 -1652 25 1505
1316.87/1317.21 v -2317 -3092 673 4319 1260
1316.87/1317.21 v -1453 4582 2394 323 649
1316.87/1317.21 v -717 1209 1460 -2365 -2548
1316.87/1317.21 v 2808 2825 2970 -3152 -3223
1316.87/1317.21 v 3421 -3625 -3651 -3672 3746
1316.87/1317.21 v -4139 -4142 -4463 -4529 -4541
1316.87/1317.21 v -5018 5184 -5325 4026 -4521
1316.87/1317.21 v 2942 4309 -4205 2783 732
1316.87/1317.21 v -4141 -3881 -2589 -4456 -3022
1316.87/1317.21 v -922 -1772 3321 2965 -633
1316.87/1317.21 v 5213 -2296 3156 2799 -153
1316.87/1317.21 v -5116 4428 1531 2578 4488
1316.87/1317.21 v -4280 1405 -3528 -157 -725
1316.87/1317.21 v 4722 3066 -2997 95 -2248
1316.87/1317.21 v -548 -4737 -1539 5486 1636
1316.87/1317.21 v -1883 4101 -1607 1931 2123
1316.87/1317.21 v 636 -116 2468 -1309 -2191
1316.87/1317.21 v -3623 -2848 -398 -3852 -5489
1316.87/1317.21 v -4079 -3261 132 -4287 2392
1316.87/1317.21 v 660 3363 4865 -5268 -3461
1316.87/1317.21 v -2791 -562 -1286 -3269 -3793
1316.87/1317.21 v -1071 4265 -4204 2820 1016
1316.87/1317.21 v 2382 2320 1307 718 2608
1316.87/1317.21 v 124 253 -3410 -5185 -1010
1316.87/1317.21 v -344 -348 4302 -4635 -3569
1316.87/1317.21 v 369 195 -990 -520 561
1316.87/1317.21 v 693 -773 983 1019 1183
1316.87/1317.21 v -1284 1609 -1829 1862 1870
1316.87/1317.21 v 2664 -3471 -5404 -3245 -1382
1316.87/1317.21 v 5260 -3818 -3781 -1920 1935
1316.87/1317.21 v 1940 -2388 3011 -2337 -2399
1316.87/1317.21 v -2553 -2577 2609 -2703 -2886
1316.87/1317.21 v 2933 3239 -3364 3467 3571
1316.87/1317.21 v 3688 -3761 -3923 4210 4252
1316.87/1317.21 v 4415 4432 -4438 202 -1035
1316.87/1317.21 v 2272 1247 2265 -2351 4908
1316.87/1317.21 v 3312 -442 -4721 4752 -4901
1316.87/1317.21 v -5090 -5096 -5226 5397 -4234
1316.87/1317.21 v -3634 -1393 -4386 3149 916
1316.87/1317.21 v 1027 5269 -4974 -317 3323
1316.87/1317.21 v 2717 -2988 4629 2358 113
1316.87/1317.21 v -245 -287 5234 -3975 -927
1316.87/1317.21 v 1592 1134 -1770 -3072 1506
1316.87/1317.21 v 2175 1230 3346 -4086 5396
1316.87/1317.21 v -1491 1511 2136 -2199 2213
1316.87/1317.21 v -2333 4625 -2383 2819 2827
1316.87/1317.21 v -2851 -2888 3064 -5237 -3407
1316.87/1317.21 v 3527 -3536 -4219 -4724 -5043
1316.87/1317.21 v 2618 312 2453 5083 5092
1316.87/1317.21 v -4164 5267 5473 4395 -1281
1316.87/1317.21 v -4496 -1855 -614 -5375 4726
1316.87/1317.21 v -4511 621 3749 -4990 -2110
1316.87/1317.21 v -5161 -4702 -787 -47 -4320
1316.87/1317.21 v -1545 651 -4789 3643 5089
1316.87/1317.21 v 3456 769 -2934 -332 -4402
1316.87/1317.21 v 1146 804 846 -356 -3058
1316.87/1317.21 v 4774 -4548 -3941 2222 -2245
1316.87/1317.21 v -3249 -2630 3928 -1873 4014
1316.87/1317.21 v 4758 -4513 1748 -5130 2462
1316.87/1317.21 v 3774 -1427 111 148 -447
1316.87/1317.21 v 619 692 -751 -4405 1477
1316.87/1317.21 v -4266 -1306 3794 3038 1875
1316.87/1317.21 v -1961 1963 -2094 -2353 2393
1316.87/1317.21 v -2684 2923 3444 2543 2659
1316.87/1317.21 v 3111 3126 5126 107 291
1316.87/1317.21 v -1932 3294 -3434 -3551 -4144
1316.87/1317.21 v 4215 -4235 4366 -4571 -4585
1316.87/1317.21 v 4617 5091 -5168 3838 5457
1316.87/1317.21 v -2021 -3820 -1119 4276 4376
1316.87/1317.21 v 2073 623 3585 -3513 -2502
1316.87/1317.21 v -1203 2279 -139 -4538 3039
1316.87/1317.21 v -544 -4978 1629 -1832 -937
1316.87/1317.21 v 1211 3282 -466 -2607 -4114
1316.87/1317.21 v 3929 -5086 -5229 -329 760
1316.87/1317.21 v 1008 -1094 4359 406 1686
1316.87/1317.21 v 2114 -2348 2743 -3762 3853
1316.87/1317.21 v -3836 4063 4346 -4823 -3660
1316.87/1317.21 v 4076 3281 874 -4175 -2157
1316.87/1317.21 v -2546 4347 -5104 4757 4253
1316.87/1317.21 v 2443 -1022 -2537 2667 -197
1316.87/1317.21 v 2189 -5297 -184 519 -737
1316.87/1317.21 v -445 -2989 297 418 490
1316.87/1317.21 v -1214 -3124 -995 -5173 -5372
1316.87/1317.21 v 118 3030 3727 -5080 4518
1316.87/1317.21 v -4787 -2174 -901 910 5093
1316.87/1317.21 v -4154 4312 -3744 -3958 1092
1316.87/1317.21 v 1102 -1336 1570 -1608 2053
1316.87/1317.21 v 2095 -2284 -2804 2559 2990
1316.87/1317.21 v -3341 715 -2978 -3135 3188
1316.87/1317.21 v -3368 -3373 3520 3950 5003
1316.87/1317.21 v -1669 -4124 -4198 -4898 -4923
1316.87/1317.21 v 1842 5094 -5191 -5290 -1294
1316.87/1317.21 v -4233 3906 3355 -4231 -3995
1316.87/1317.21 v 3426 4088 -4994 -1084 -1964
1316.87/1317.21 v 4493 4952 3915 -108 -1996
1316.87/1317.21 v 4807 4655 -5105 3951 2190
1316.87/1317.21 v 3942 43 -2818 1161 -3522
1316.87/1317.21 v -782 3888 244 -2004 -3104
1316.87/1317.21 v 4546 -1151 2064 2323 2756
1316.87/1317.21 v -2755 1261 637 4131 -2698
1316.87/1317.21 v -1476 -1312 2865 -2816 -1053
1316.87/1317.21 v 653 -3709 4449 5298 -4870
1316.87/1317.21 v 3056 -3588 -2374 -2352 -5271
1316.87/1317.21 v 3379 -290 2009 -666 3359
1316.87/1317.21 v 4202 243 -3486 209 -600
1316.87/1317.21 v -4343 1633 -5288 -4945 779
1316.87/1317.21 v 5411 -4972 5025 4146 4326
1316.87/1317.21 v 4214 134 3712 1736 -2489
1316.87/1317.21 v 2413 -35 -4443 2847 264
1316.87/1317.21 v 699 -96 -4980 -2375 173
1316.87/1317.21 v 176 298 395 -4856 -3077
1316.87/1317.21 v -397 5145 754 -1441 -527
1316.87/1317.21 v -582 696 -1069 3763 -906
1316.87/1317.21 v 147 -3278 -3772 3244 -821
1316.87/1317.21 v 3911 -829 -4474 2369 1624
1316.87/1317.21 v 3017 1083 -1143 -1147 1191
1316.87/1317.21 v 1207 1221 4211 2854 1878
1316.87/1317.21 v -1630 4665 -29 -515 4575
1316.87/1317.21 v 1499 -473 -5283 1032 4957
1316.87/1317.21 v 1758 2782 337 2000 -2713
1316.87/1317.21 v 5453 3822 -1236 -1278 -1317
1316.87/1317.21 v 1357 -1416 3656 -2143 -301
1316.87/1317.21 v 1898 5114 1738 -1552 2894
1316.87/1317.21 v -1617 -3579 -3840 -1368 4979
1316.87/1317.21 v -4777 -4462 972 -5042 5456
1316.87/1317.21 v -1372 -4683 -5140 1734 -1415
1316.87/1317.21 v 1461 1673 1678 1785 1880
1316.87/1317.21 v 1915 1926 -4539 2902 4009
1316.87/1317.21 v -3450 -2503 -3224 4271 4652
1316.87/1317.21 v 4053 -1778 4714 -5492 -2860
1316.87/1317.21 v 5278 -5120 -1202 -4000 2036
1316.87/1317.21 v -2155 2158 2162 -5406 360
1316.87/1317.21 v 4687 5368 4944 -3329 -2637
1316.87/1317.21 v -2956 -2270 -2281 -2131 -5370
1316.87/1317.21 v 1025 -5358 -5238 960 1917
1316.87/1317.21 v 3638 -5164 101 -247 4203
1316.87/1317.21 v -1759 -4327 -3973 4763 -4385
1316.87/1317.21 v -2378 -1030 3079 -4389 -5407
1316.87/1317.21 v 5136 -3166 4097 3972 572
1316.87/1317.21 v 5424 471 -4732 -2421 295
1316.87/1317.21 v -4008 -1228 -2671 -5228 -929
1316.87/1317.21 v -430 1318 -1595 534 185
1316.87/1317.21 v -3524 5428 -2475 -2477 2478
1316.87/1317.21 v -2509 -4070 2951 4698 1111
1316.87/1317.21 v 4396 -2614 -4587 573 4876
1316.87/1317.21 v -425 -2661 -2679 2689 2699
1316.87/1317.21 v 2744 -2758 2787 -2855 -2870
1316.87/1317.21 v -2912 -2921 4433 -5300 4624
1316.87/1317.21 v 1696 4769 -3007 -2908 5420
1316.87/1317.21 v -5309 -2957 3000 3169 3186
1316.87/1317.21 v -3212 4906 -706 3235 3259
1316.87/1317.21 v 3345 3365 3367 3464 3601
1316.87/1317.21 v -2446 -3619 3657 -388 3676
1316.87/1317.21 v -687 2691 -3256 -3683 -3684
1316.87/1317.21 v 3701 3725 -5159 5040 -3819
1316.87/1317.21 v -3846 4367 2257 -3526 3227
1316.87/1317.21 v -1332 -2762 3609 3957 -4034
1316.87/1317.21 v -4043 219 -1802 156 -4049
1316.87/1317.21 v -4050 -4929 1472 4148 -4172
1316.87/1317.21 v 4177 -4195 4268 -4272 -4292
1316.87/1317.21 v -4314 4324 4422 -4448 -4485
1316.87/1317.21 v 4504 -4533 2896 -1968 -3032
1316.87/1317.21 v 4537 -4570 4611 -4615 4637
1316.87/1317.21 v -4663 -4678 4692 -4837 -4874
1316.87/1317.21 v -4917 4934 5002 5117 -5127
1316.87/1317.21 v 5157 -5175 -3481 -5176 5201
1316.87/1317.21 v 5241 -5265 615 -2619 -5289
1316.87/1317.21 v -1212 5344 -5416 5421 5437
1316.87/1317.21 v -834 -709 -2456 -5465 -5472
1316.87/1317.21 v -5476 3390 -946 131 2037
1316.87/1317.21 v -1076 -4015 2085 -2029 1831
1316.87/1317.21 v -698 -4227 -3863 5225 2120
1316.87/1317.21 v 1404 4238 3479 1217 204
1316.87/1317.21 v 15 3967 4623 -3806 -3909
1316.87/1317.21 v -4382 3448 -5448 -2864 4045
1316.87/1317.21 v 1400 -76 5313 -3397 2108
1316.87/1317.21 v -3042 2183 3408 -5495 -4875
1316.87/1317.21 v -566 2439 1171 -1801 -4995
1316.87/1317.21 v -4620 -1478 3535 1767 2086
1316.87/1317.21 v -2144 546 2206 -26 44
1316.87/1317.21 v 64 -783 1169 5197 2681
1316.87/1317.21 v -3926 -144 -190 196 -199
1316.87/1317.21 v -240 -252 292 354 638
1316.87/1317.21 v -662 -558 4108 4621 952
1316.87/1317.21 v -4408 5327 -678 -690 711
1316.87/1317.21 v -738 761 3018 -5441 799
1316.87/1317.21 v -806 -4032 -1623 810 -839
1316.87/1317.21 v 848 857 -2794 -2171 4042
1316.87/1317.21 v 1551 4662 869 -898 -900
1316.87/1317.21 v -928 939 -961 1047 1072
1316.87/1317.21 v -1090 -4657 -1145 4883 -2835
1316.87/1317.21 v -3862 3327 -3075 4970 650
1316.87/1317.21 v -2595 5328 4454 2809 2184
1316.87/1317.21 v 3947 -431 -3583 -4062 1005
1316.87/1317.21 v 1166 1180 1197 3091 1216
1316.87/1317.21 v 1233 1268 1285 1296 -1313
1316.87/1317.21 v -1348 -1361 -335 -1376 4119
1316.87/1317.21 v -3473 2116 -1845 -3067 -3076
1316.87/1317.21 v 2410 1914 2641 -2091 -2757
1316.87/1317.21 v 4962 82 -137 -5418 -5488
1316.87/1317.21 v 3835 1933 2283 -2042 -861
1316.87/1317.21 v 3204 -469 192 1109 -3150
1316.87/1317.21 v -3318 4167 -2550 4155 531
1316.87/1317.21 v -4998 3265 4120 1583 -2748
1316.87/1317.21 v -4973 -1639 -3465 -3931 -2940
1316.87/1317.21 v 4813 -1443 -1445 1515 -1521
1316.87/1317.21 v 712 1525 -1585 1615 -1707
1316.87/1317.21 v 1724 1730 1755 1018 1089
1316.87/1317.21 v 143 -1950 964 378 -3414
1316.87/1317.21 v -907 -2452 2695 4201 1866
1316.87/1317.21 v 1894 -1911 1913 -5304 714
1316.87/1317.21 v 2924 -3534 -4913 68 2040
1316.87/1317.21 v 2060 2074 -2075 -2079 -2106
1316.87/1317.21 v -913 4826 1117 -1489 -4243
1316.87/1317.21 v -4782 -2730 -5306 -3826 5023
1316.87/1317.21 v -4208 4133 1163 -4812 3109
1316.87/1317.21 v 1888 4254 -2771 -1168 -5208
1316.87/1317.21 v 1073 612 -3607 -4116 5360
1316.87/1317.21 v -4772 2401 -2098 4056 -5499
1316.87/1317.21 v 5320 -1622 -3199 46 2124
1316.87/1317.21 v -2130 1806 3029 4799 -166
1316.87/1317.21 v 3803 2341 -4503 4027 -4935
1316.87/1317.21 v 994 5082 -1267 640 -1046
1316.87/1317.21 v -3566 457 -2146 2156 2161
1316.87/1317.21 v -2177 574 -3195 2182 2187
1316.87/1317.21 v -2193 2215 -2220 2235 2297
1316.87/1317.21 v 4494 902 -3395 -2301 -2310
1316.87/1317.21 v 2332 1912 1014 1496 3990
1316.87/1317.21 v 3216 2372 -2406 -2411 4840
1316.87/1317.21 v 1394 -4858 2424 -2442 -2461
1316.87/1317.21 v 2474 -2480 2487 2493 -2511
1316.87/1317.21 v -2534 2561 5255 1367 4560
1316.87/1317.21 v 3247 207 2176 2598 -4677
1316.87/1317.21 v -2407 2636 2649 2658 3078
1316.87/1317.21 v -1811 -4607 -4866 3832 3095
1316.87/1317.21 v 5367 -1080 -511 -4178 4147
1316.87/1317.21 v -1976 -4500 -4244 2223 1930
1316.87/1317.21 v -4020 2207 3937 -2682 -2702
1316.87/1317.21 v -2716 -2745 3353 -2752 2764
1316.87/1317.21 v 2796 -2801 -2842 -2877 -2893
1316.87/1317.21 v -2998 -3026 -2584 2172 -4483
1316.87/1317.21 v -3208 -4734 -3049 -3087 3115
1316.87/1317.21 v -3175 -3016 3315 -4860 315
1316.87/1317.21 v 3176 -3182 3196 -3263 3266
1316.87/1317.21 v -3270 3347 3350 3351 3354
1316.87/1317.21 v 3383 -3402 3463 -5326 -4383
1316.87/1317.21 v -816 5143 2103 -2397 -3105
1316.87/1317.21 v -504 -1978 1856 141 -3784
1316.87/1317.21 v 1270 4902 5282 -71 -109
1316.87/1317.21 v -4083 838 -1600 -742 2408
1316.87/1317.21 v -525 -4068 -2011 -871 2178
1316.87/1317.21 v -2535 -1668 -1704 4406 5115
1316.87/1317.21 v -5069 -775 -4065 -1299 3051
1316.87/1317.21 v 5305 2556 1275 -788 -162
1316.87/1317.21 v -3416 -426 -2451 1817 -4932
1316.87/1317.21 v -2418 973 3955 -1889 4111
1316.87/1317.21 v -3954 -1981 -3653 4360 4435
1316.87/1317.21 v 4401 -2724 -429 -5293 -2149
1316.87/1317.21 v 2981 2642 -4605 -3489 -2051
1316.87/1317.21 v -3496 3499 -4313 -3399 3521
1316.87/1317.21 v 3532 4930 2677 -3620 -3645
1316.87/1317.21 v 3686 -3703 -3720 -3731 3732
1316.87/1317.21 v 3742 -3753 -3759 1789 4226
1316.87/1317.21 v 5215 -524 3775 -3780 -3783
1316.87/1317.21 v -3786 -3787 -3788 5454 3114
1316.87/1317.21 v -559 5341 -5021 -2766 152
1316.87/1317.21 v 1890 -4710 2845 3375 -2880
1316.87/1317.21 v 4134 31 -4350 578 -4209
1316.87/1317.21 v 5349 3785 -4953 3796 3635
1316.87/1317.21 v -2084 -604 -1066 -5279 5199
1316.87/1317.21 v -2516 2753 2931 1712 3943
1316.87/1317.21 v 5455 -3083 1218 -2198 791
1316.87/1317.21 v 3546 -1997 3766 3885 4522
1316.87/1317.21 v -2349 -4255 1642 -438 216
1316.87/1317.21 v 841 -3797 3800 3827 -3842
1316.87/1317.21 v 3845 3267 -5417 4556 -4299
1316.87/1317.21 v 1916 3621 4735 -3301 3850
1316.87/1317.21 v 3868 3876 -3903 3910 -3920
1316.87/1317.21 v -3924 3938 -3946 3980 -3999
1316.87/1317.21 v -4037 -4038 4052 4071 -4094
1316.87/1317.21 v -4102 4145 -4171 4192 4196
1316.87/1317.21 v 4216 672 3681 -1320 3121
1316.87/1317.21 v -2071 -2624 -4778 -965 -92
1316.87/1317.21 v -5095 -4281 4291 -4334 -4336
1316.87/1317.21 v 4342 4363 4378 4397 -4451
1316.87/1317.21 v 4465 -4921 -4783 -4961 -4468
1316.87/1317.21 v 4472 2996 4479 -4491 -4492
1316.87/1317.21 v 5324 5067 -2574 416 -21
1316.87/1317.21 v -372 355 -2889 3795 -1104
1316.87/1317.21 v -4505 -4544 4614 1088 -2405
1316.87/1317.21 v -4480 3555 -1135 4638 4645
1316.87/1317.21 v -4648 4659 -4660 -4666 2295
1316.87/1317.21 v -3036 7 -3916 -4768 2979
1316.87/1317.21 v 4731 663 4909 5366 286
1316.87/1317.21 v 3103 5 3550 1190 -955
1316.87/1317.21 v 4425 -4708 1136 1362 3507
1316.87/1317.21 v 4880 3405 -205 3019 -1792
1316.87/1317.21 v 1412 -2267 4762 -4765 -4779
1316.87/1317.21 v -4790 -4820 -4828 4843 3630
1316.87/1317.21 v -1256 361 -1369 3218 1726
1316.87/1317.21 v 2866 -1351 -3648 3663 1334
1316.87/1317.21 v 4822 -648 2473 -2793 427
1316.87/1317.21 v -697 -1798 1902 -4608 5277
1316.87/1317.21 v 5266 -1735 4853 4859 -5355
1316.87/1317.21 v 2552 -5484 4159 4873 -4890
1316.87/1317.21 v 4910 3710 2271 280 -5012
1316.87/1317.21 v 3930 796 -2868 5394 2
1316.87/1317.21 v -4959 -4983 -4991 -5033 -5062
1316.87/1317.21 v 3702 -2728 3882 683 4887
1316.87/1317.21 v 852 -5084 -5100 -5103 5135
1316.87/1317.21 v -3170 704 4187 1762 -1948
1316.87/1317.21 v -1805 5138 -2111 5142 -5146
1316.87/1317.21 v 5153 -5163 -5166 -5402 3873
1316.87/1317.21 v 944 -912 2922 5186 -1426
1316.87/1317.21 v 5187 5223 -4092 3171 5227
1316.87/1317.21 v -5235 2721 2840 -336 4671
1316.87/1317.21 v 5246 -2282 895 -2300 3529
1316.87/1317.21 v -941 5357 -5361 5364 -5376
1316.87/1317.21 v 5377 -5380 5408 -5412 -5415
1316.87/1317.21 v 3773 5460 5480 3455 -2857
1316.87/1317.21 v -5329 5079 138 4948 -1841
1316.87/1317.21 v 4158 -1693 -3798 -1172 5230
1316.87/1317.21 v 3154 186 1514 2592 -4306
1316.87/1317.21 v -4729 -896 2415 2290 -2201
1316.87/1317.21 v 2544 -1408 201 2239 -2852
1316.87/1317.21 v -3308 241 -3148 -2939 759
1316.87/1317.21 v 1126 2564 -3953 -2513 -1815
1316.87/1317.21 v 1223 2811 -3168 -32 -2693
1316.87/1317.21 v -2445 -790 -2620 3468 -3517
1316.87/1317.21 v -4899 3180 3044 -3610 2795
1316.87/1317.21 v -99 462 2059 -5239 -65
1316.87/1317.21 v -1140 -2760 -273 1716 -4578
1316.87/1317.21 v -2219 -1904 -103 -119 126
1316.87/1317.21 v -3829 -803 2508 -3116 -859
1316.87/1317.21 v 971 -1229 1148 4339 -5071
1316.87/1317.21 v 3031 -1237 2285 2139 1458
1316.87/1317.21 v -2262 2883 5061 2814 -3305
1316.87/1317.21 v 2067 -2615 -1430 1093 78
1316.87/1317.21 v -831 2971 -4439 -739 -4200
1316.87/1317.21 v 2993 -2208 -5121 4949 -130
1316.87/1317.21 v 1927 -2585 -133 -149 -161
1316.87/1317.21 v 180 222 223 -5470 723
1316.87/1317.21 v -3984 -3574 4387 -3767 2567
1316.87/1317.21 v 5124 3356 2153 -2707 843
1316.87/1317.21 v -1593 -3884 -4194 2335 -1558
1316.87/1317.21 v 605 4841 412 4704 225
1316.87/1317.21 v 386 -1660 325 -609 -1204
1316.87/1317.21 v 2260 -989 5147 1616 -5240
1316.87/1317.21 v -3228 -2863 -3352 3606 -828
1316.87/1317.21 v -1418 4112 -4039 2129 -4277
1316.87/1317.21 v 4668 -2669 2481 4567 3240
1316.87/1317.21 v 1872 -3425 -1250 -5028 -3589
1316.87/1317.21 v -595 2135 3313 -1688 2233
1316.87/1317.21 v -1058 -3028 3673 4975 300
1316.87/1317.21 v -2010 1850 -3021 -2944 -1625
1316.87/1317.21 v -4434 -1754 3596 -776 -37
1316.87/1317.21 v 975 -4420 -460 3741 1484
1316.87/1317.21 v -2919 3487 -570 -2368 -3573
1316.87/1317.21 v -1243 -3478 54 -5155 4290
1316.87/1317.21 v -1790 -4814 3167 3691 2932
1316.87/1317.21 v -1638 498 -4489 4563 -3808
1316.87/1317.21 v 878 3779 554 1560 1225
1316.87/1317.21 v -4305 -2645 3143 -1684 -856
1316.87/1317.21 v -4429 -2102 450 719 2597
1316.87/1317.21 v 667 2701 -3658 4886 2196
1316.87/1317.21 v -4597 -2498 5174 5019 -858
1316.87/1317.21 v 2274 4832 -4362 5263 -5301
1316.87/1317.21 v 1659 -3935 -987 1763 1733
1316.87/1317.21 v 357 -3740 500 5207 5336
1316.87/1317.21 v -1838 3436 3053 4653 -5369
1316.87/1317.21 v 2734 3501 -391 3927 3377
1316.87/1317.21 v -4559 -358 5250 -581 -1459
1316.87/1317.21 v -4849 2916 4872 3454 1982
1316.87/1317.21 v 4967 -404 1682 -53 -2448
1316.87/1317.21 v -3533 -2653 3384 4764 -2878
1316.87/1317.21 v 4110 5409 -730 -1355 815
1316.87/1317.21 v 512 1747 -112 -2510 2874
1316.87/1317.21 v 1116 1658 982 4867 4188
1316.87/1317.21 v -3462 4400 1569 3843 -3074
1316.87/1317.21 v 2238 1611 -4819 -3538 617
1316.87/1317.21 v 2113 -2668 2938 959 -5438
1316.87/1317.21 v -3451 3428 3023 568 -686
1316.87/1317.21 v -827 -3191 4810 -1288 3164
1316.87/1317.21 v -3821 -4220 -1153 3332 2122
1316.87/1317.21 v 4263 -1599 2692 97 -379
1316.87/1317.21 v -3242 -1182 5401 -3360 4103
1316.87/1317.21 v -1326 -1919 -1121 -4642 2356
1316.87/1317.21 v -1246 -4490 2200 -1998 -3061
1316.87/1317.21 v 5388 -4895 -2259 -1657 -10
1316.87/1317.21 v -1127 2202 365 267 435
1316.87/1317.21 v 1952 -3214 1052 3918 -1174
1316.87/1317.21 v -2357 -2181 5435 -1908 -842
1316.87/1317.21 v 1431 -853 -206 -303 1946
1316.87/1317.21 v -1374 -3125 3624 786 1242
1316.87/1317.21 v -3664 19 5214 3045 2786
1316.87/1317.21 v 4459 1365 -5403 -3374 702
1316.87/1317.21 v -5481 -3497 -4412 -891 1848
1316.87/1317.21 v -2457 -3591 3770 -4680 3864
1316.87/1317.21 v -1196 -2435 -5436 -3708 953
1316.87/1317.21 v -4340 -1572 1298 -1099 -1390
1316.87/1317.21 v 3587 -701 5162 -4189 5204
1316.87/1317.21 v 1980 -3303 5006 4129 -934
1316.87/1317.21 v 1493 -4780 -2100 2815 -4619
1316.87/1317.21 v -4264 2350 4586 -5058 -2697
1316.87/1317.21 v 458 2780 4153 1068 -127
1316.87/1317.21 v 4996 -172 -2604 -860 -1333
1316.87/1317.21 v 1538 2465 -2339 5259 4249
1316.87/1317.21 v 4248 -2433 -3700 854 1440
1316.87/1317.21 v -2846 883 2255 -4356 -1186
1316.87/1317.21 v -3376 -364 -5413 -1619 1571
1316.87/1317.21 v 5070 -4509 -1125 4924 -516
1316.87/1317.21 v -4868 218 3729 -4527 4173
1316.87/1317.21 v -1513 -820 4730 -1276 -2197
1316.87/1317.21 v 569 -2072 3977 -1840 -5374
1316.87/1317.21 v 3580 451 -5072 -1909 3993
1316.87/1317.21 v 1620 3146 -1402 4380 537
1316.87/1317.21 v 5338 -2705 -1827 681 370
1316.87/1317.21 v -5051 4307 4851 658 1360
1316.87/1317.21 v -1457 -3339 -407 -1074 3804
1316.87/1317.21 v 4126 1943 -3907 2563 -903
1316.87/1317.21 v 977 -4525 -4353 1338 -2294
1316.87/1317.21 v 819 -1131 -3001 727 -4946
1316.87/1317.21 v -2869 -4117 40 -5055 2449
1316.87/1317.21 v 2948 -3508 -3302 -656 72
1316.87/1317.21 v -5337 419 -4689 -556 4475
1316.87/1317.21 v 1799 -3065 -4407 3268 -668
1316.87/1317.21 v 4767 1574 -908 -2039 -237
1316.87/1317.21 v 3912 5273 -3662 -4816 3557
1316.87/1317.21 v 1999 -4514 -2019 1015 3891
1316.87/1317.21 v -3680 1002 401 -3231 -3190
1316.87/1317.21 v 2276 -1264 -4190 1540 -897
1316.87/1317.21 v -5249 814 -5014 -2062 2467
1316.87/1317.21 v 250 -3724 2983 -3213 -3073
1316.87/1317.21 v 557 14 518 -2959 -988
1316.87/1317.21 v -2065 -3055 575 3817 -3439
1316.87/1317.21 v 486 -3430 -1612 -2422 -2625
1316.87/1317.21 v -3232 -338 4442 -3485 3025
1316.87/1317.21 v -2731 1534 4825 868 -4792
1316.87/1317.21 v 4984 320 -167 1610 1861
1316.87/1317.21 v -1434 -4947 1536 4693 -4497
1316.87/1317.21 v -2640 -2882 -3860 4588 -4862
1316.87/1317.21 v 2430 4484 -1407 5196 4018
1316.87/1317.21 v -2082 -1152 -836 1106 2273
1316.87/1317.21 v 2765 -3699 4370 4180 3449
1316.87/1317.21 v 487 -529 3411 2650 -1208
1316.87/1317.21 v 2169 -1675 1252 785 1586
1316.87/1317.21 v 1816 -3869 -2727 -213 -3132
1316.87/1317.21 v -2754 1983 -261 3012 -4354
1316.87/1317.21 v 3127 -1934 -603 2436 2973
1316.87/1317.21 v 217 2109 -3631 5106 3878
1316.87/1317.21 v 51 3641 1777 1603 -3094
1316.87/1317.21 v -3165 -409 -3721 -2999 3198
1316.87/1317.21 v 3956 3966 -4273 -2593 -2030
1316.87/1317.21 v -275 4297 436 1095 -3254
1316.87/1317.21 v -749 -1828 -501 3413 5445
1316.87/1317.21 v 4416 -2830 -3420 -4986 -3495
1316.87/1317.21 v -2722 4568 -2859 2941 2291
1316.87/1317.21 v 3961 -1173 -4686 4206 -5319
1316.87/1317.21 v -5390 -3776 -263 3279 -374
1316.87/1317.21 v -2268 -1535 -1891 1529 -535
1316.87/1317.21 v -2769 -4137 -2428 -316 2166
1316.87/1317.21 v 2328 -1162 -114 3968 3969
1316.87/1317.21 v 3158 -4283 -2389 2929 685
1316.87/1317.21 v 2558 -4222 -1272 -2132 2611
1316.87/1317.21 v 2081 5243 485 567 3222
1316.87/1317.21 v 3823 -214 5353 -3328 2047
1316.87/1317.21 v -4016 755 -4728 -3834 530
1316.87/1317.21 v -4766 4379 268 -2278 -1475
1316.87/1317.21 v 1293 -3203 4019 2817 -2499
1316.87/1317.21 v -1290 1363 5000 4844 3211
1316.87/1317.21 v -1289 -2264 -5485 -4676 -984
1316.87/1317.21 v -5491 2813 479 -2920 3553
1316.87/1317.21 v -1681 -3062 -1091 4169 1818
1316.87/1317.21 v 1728 -676 3370 4221 -3311
1316.87/1317.21 v -920 1322 -3567 -5053 1387
1316.87/1317.21 v 2928 -2258 -5102 2163 4661
1316.87/1317.21 v -3544 1544 2032 -589 4833
1316.87/1317.21 v 80 -3248 -1304 3304 -981
1316.87/1317.21 v -3337 -2359 -1808 -3442 -4486
1316.87/1317.21 v 2343 -3901 1425 3344 -4543
1316.87/1317.21 v 3617 5156 1429 1849 -1959
1316.87/1317.21 v 2400 -20 594 -2141 -4236
1316.87/1317.21 v 34 -4891 3917 -1647 675
1316.87/1317.21 v 5148 1251 5450 -4594 -1835
1316.87/1317.21 v 3633 722 991 -1141 -17
1316.87/1317.21 v -3153 -3215 -4690 4051 -2092
1316.87/1317.21 v 5292 -2862 -2821 -1381 -1757
1316.87/1317.21 v -1824 3040 1036 -1291 495
1316.87/1317.21 v -1305 62 -1248 1833 2647
1316.87/1317.21 v -1601 1975 -4285 3096 -2660
1316.87/1317.21 v 986 -4174 1596 -5219 380
1316.87/1317.21 v -1951 -3597 1253 5496 3366
1316.87/1317.21 v -1060 2772 -3102 -289 -523
1316.87/1317.21 v 540 330 -177 -4707 -381
1316.87/1317.21 v -2309 -5294 154 2431 2583
1316.87/1317.21 v 3258 258 -2252 -3183 -1178
1316.87/1317.21 v -2784 553 -3600 -1764 -2316
1316.87/1317.21 v -3707 743 -2028 825 -5047
1316.87/1317.21 v -1033 2055 -1648 -413 -2154
1316.87/1317.21 v -1766 -3723 -2371 -1129 -1483
1316.87/1317.21 v 576 4968 -4922 3423 -467
1316.87/1317.21 v 1056 2652 -3043 -4576 4534
1316.87/1317.21 v 1641 3107 -70 -5352 -2234
1316.87/1317.21 v -1677 3409 5400 -4811 -3133
1316.87/1317.21 v 2479 -1021 -4403 3734 2083
1316.87/1317.21 v -4498 2496 1575 -5054 -4552
1316.87/1317.21 v 2377 4931 6 2644 -256
1316.87/1317.21 v 789 -4580 4540 5359 3047
1316.87/1317.21 v 3234 -998 -5494 -3020 -1710
1316.87/1317.21 v 478 3679 228 4398 5129
1316.87/1317.21 v -757 -2312 -2823 -3608 1011
1316.87/1317.21 v -4600 4649 2006 -3034 -3890
1316.87/1317.21 v 931 -3765 2568 -3276 -2980
1316.87/1317.21 v -2380 -1389 -3837 -4331 191
1316.87/1317.21 v 4914 -168 2319 -2573 -1189
1316.87/1317.21 v -85 -3554 914 5286 2714
1316.87/1317.21 v -4531 63 -2897 -5475 -3637
1316.87/1317.21 v 997 4293 -4877 321 -5487
1316.87/1317.21 v -4746 -2587 3134 -2612 -2194
1316.87/1317.21 v 1695 4311 -4162 5422 5244
1316.87/1317.21 v 390 -680 -294 2501 115
1316.87/1317.21 v -1794 2347 4446 -774 963
1316.87/1317.21 v 5029 4888 -2504 1215 1743
1316.87/1317.21 v -1156 645 288 -833 4184
1316.87/1317.21 v 5469 -957 -30 -1081 1101
1316.87/1317.21 v 3225 1530 1676 752 -159
1316.87/1317.21 v -129 3996 -628 3285 -488
1316.87/1317.21 v -873 876 4966 -4025 1977
1316.87/1317.21 v -1342 -756 -4113 -4667 2708
1316.87/1317.21 v -4951 -4634 3778 2151 5308
1316.87/1317.21 v -5074 1970 -5144 -3994 3110
1316.87/1317.21 v -3525 -3326 1780 -5221 461
1316.87/1317.21 v -405 705 -2600 1040 -2020
1316.87/1317.21 v -521 4011 1821 -3129 -1803
1316.87/1317.21 v 1679 2261 4791 -1922 -4060
1316.87/1317.21 v -1188 2737 -1356 183 -3037
1316.87/1317.21 v 2617 -4315 3330 476 -4125
1316.87/1317.21 v -3331 -3147 5064 -375 -1012
1316.87/1317.21 v 1062 -797 -2069 -2507 -1392
1316.87/1317.21 v 2949 3162 -3069 -1345 3971
1316.87/1317.21 v 2900 -740 1723 410 3459
1316.87/1317.21 v -4418 -3592 2810 5399 -731
1316.87/1317.21 v 1653 -2828 592 -1423 -1791
1316.87/1317.21 v -3548 -2767 -5275 5097 -1085
1316.87/1317.21 v 4170 1947 -508 3697 -2034
1316.87/1317.21 v -383 -2325 1029 5125 424
1316.87/1317.21 v 5405 -4658 2526 449 -1485
1316.87/1317.21 v -4 5066 2639 -345 -464
1316.87/1317.21 v -5385 -509 3602 3382 -2596
1316.87/1317.21 v 1308 -1249 1700 4756 1974
1316.87/1317.21 v -3594 1474 3614 83 -3322
1316.87/1317.21 v 1847 577 -936 2164 1672
1316.87/1317.21 v 3992 3063 4028 -655 767
1316.87/1317.21 v -2482 4632 1045 2438 2522
1316.87/1317.21 v -497 86 -414 1820 -1132
1316.87/1317.21 v 5068 1170 877 1023 -4912
1316.87/1317.21 v -1683 4257 -1107 5464 585
1316.87/1317.21 v 1650 2373 -4046 -2228 4784
1316.87/1317.21 v -2045 4251 -5032 -2447 3386
1316.87/1317.21 v 3705 3371 -888 4033 -42
1316.87/1317.21 v 1500 4831 -4577 33 1589
1316.87/1317.21 v 3128 265 -1448 4595 -3758
1316.87/1317.21 v 1154 -2121 2050 4364 396
1316.87/1317.21 v -1409 5008 -3998 3895 4878
1316.87/1317.21 v 5443 -1697 -4237 3674 67
1316.87/1317.21 v -899 -4750 -2458 905 5395
1316.87/1317.21 v -489 4135 -3736 -2700 3855
1316.87/1317.21 v 5016 4969 4633 5020 -1877
1316.87/1317.21 v 4884 -2485 -3494 -1371 3737
1316.87/1317.21 v 2302 4855 1533 2015 502
1316.87/1317.21 v -3565 -1385 4181 533 2376
1316.87/1317.21 v -536 1044 599 277 -5276
1316.87/1317.21 v 1645 -4081 -1280 1807 2961
1316.87/1317.21 v -4259 -3273 5434 -3549 1359
1316.87/1317.21 v 2107 -909 3008 2628 543
1316.87/1317.21 v -4705 4800 472 -4700 -4581
1316.87/1317.21 v -1689 4510 -671 2236 4064
1316.87/1317.21 v -4005 1486 -1988 5253 -4551
1316.87/1317.21 v -1962 2675 440 -2712 4304
1316.87/1317.21 v -4179 5065 -2147 -598 1614
1316.87/1317.21 v -1277 3933 5128 -2601 2741
1316.87/1317.21 v -4958 -123 5195 1330 -3324
1316.87/1317.21 v 3300 3768 2307 3287 -1989
1316.87/1317.21 v -4647 -4894 2915 1627 -4684
1316.87/1317.21 v 1468 721 4424 -239 4674
1316.87/1317.21 v -3713 875 -4920 -872 1120
1316.87/1317.21 v 4321 2986 -2049 1303 4997
1316.87/1317.21 v -3385 4723 -403 3652 -5471
1316.87/1317.21 v -3816 3590 -1411 -1773 -4839
1316.87/1317.21 v -1737 -3632 -353 -5311 -5335
1316.87/1317.21 v 2225 976 4760 3595 -5295
1316.87/1317.21 v -3243 2041 5449 -224 3802
1316.87/1317.21 v -930 -3469 4993 -4369 616
1316.87/1317.21 v -5317 1075 4711 -3899 5172
1316.87/1317.21 v -798 3013 4743 2370 919
1316.87/1317.21 v 3568 -2148 4017 1985 2991
1316.87/1317.21 v -4532 -5348 -1709 4130 -5048
1316.87/1317.21 v -993 -1222 2655 -2043 193
1316.87/1317.21 v 5242 -4381 -1287 -1588 -894
1316.87/1317.21 v -4118 2872 -4470 -5085 -2899
1316.87/1317.21 v -3764 -5203 2330 -3003 5063
1316.87/1317.21 v -1522 -276 3576 -4754 -3556
1316.87/1317.21 v 3572 813 -3122 188 -583
1316.87/1317.21 v -4430 -2471 -1269 2963 -835
1316.87/1317.21 v -3419 -269 -4749 -2974 -1905
1316.87/1317.21 v -2947 -352 2898 5384 4345
1316.87/1317.21 v 4806 1602 -1953 2360 2918
1316.87/1317.21 v -1864 1705 4182 -4055 -3181
1316.87/1317.21 v 4176 9 2616 -1524 -2524
1316.87/1317.21 v 4835 -2048 470 363 4558
1316.87/1317.21 v 4725 -1581 -1259 -2066 441
1316.87/1317.21 v 2322 2023 -5500 2968 2180
1316.87/1317.21 v -1863 893 5371 1813 -3613
1316.87/1317.21 v 745 3229 -4989 -4583 -3718
1316.87/1317.21 v -3598 -2002 -2665 -4417 384
1316.87/1317.21 v 4824 1844 4143 4337 968
1316.87/1317.21 v -5108 492 1205 -5270 -1800
1316.87/1317.21 v 226 232 -248 254 -259
1316.87/1317.21 v -266 270 272 274 -281
1316.87/1317.21 v -284 293 302 -304 307
1316.87/1317.21 v -324 326 331 -339 340
1316.87/1317.21 v 342 346 349 -366 367
1316.87/1317.21 v 371 -376 -2746 387 -393
1316.87/1317.21 v 411 423 -434 437 446
1316.87/1317.21 v -455 459 463 465 -491
1316.87/1317.21 v 493 496 503 505 -506
1316.87/1317.21 v -514 -517 541 -555 564
1316.87/1317.21 v -565 601 -602 -613 -634
1316.87/1317.21 v 641 -642 644 652 657
1316.87/1317.21 v -659 670 679 703 708
1316.87/1317.21 v 724 -729 -747 -753 -758
1316.87/1317.21 v 765 770 781 793 794
1316.87/1317.21 v 802 -812 -817 -844 -845
1316.87/1317.21 v 847 849 865 870 880
1316.87/1317.21 v -884 886 915 -918 923
1316.87/1317.21 v 926 938 -942 947 956
1316.87/1317.21 v 962 974 985 -992 -999
1316.87/1317.21 v 1000 1004 1006 1013 1017
1316.87/1317.21 v 1024 1031 1034 -1038 -1042
1316.87/1317.21 v -1043 -1051 -1061 -1077 -1096
1316.87/1317.21 v 1108 1110 -1114 -1118 1123
1316.87/1317.21 v 1130 1142 1158 1160 1176
1316.87/1317.21 v 1194 1198 1199 -1206 -1210
1316.87/1317.21 v 1213 1219 -1220 1231 -1235
1316.87/1317.21 v 1239 -1241 -1244 1258 1297
1316.87/1317.21 v -1324 1339 1347 -1352 1353
1316.87/1317.21 v 1370 -1375 1378 1396 -1419
1316.87/1317.21 v 1422 -1428 -1439 1442 1452
1316.87/1317.21 v -1455 1469 -1470 1471 1480
1316.87/1317.21 v -1508 -1509 -1523 -1526 -1542
1316.87/1317.21 v 1550 -1559 -1578 -1580 1598
1316.87/1317.21 v -1621 1640 -1651 -1664 1687
1316.87/1317.21 v 1694 1715 1719 -1732 1752
1316.87/1317.21 v -1760 1768 1774 1784 -1786
1316.87/1317.21 v 1788 -1796 -1826 1830 -1859
1316.87/1317.21 v 1884 1887 -1899 1903 -1910
1316.87/1317.21 v 1925 1936 1937 -1938 1939
1316.87/1317.21 v 1954 -1958 1960 1965 -1967
1316.87/1317.21 v 1979 1990 -2003 2025 2038
1316.87/1317.21 v 2052 2056 -2057 2063 -2077
1316.87/1317.21 v 2093 2096 2097 -2099 2105
1316.87/1317.21 v 2112 2127 2128 -2137 2140
1316.87/1317.21 v 2152 2165 2167 -2195 2203
1316.87/1317.21 v -2209 2218 2227 2237 -2240
1316.87/1317.21 v 2246 2247 -2251 -2256 -2289
1316.87/1317.21 v 2292 -2304 2305 -2308 2314
1316.87/1317.21 v 2318 2321 2324 2326 -2338
1316.87/1317.21 v -2342 -2344 -2345 2354 -2364
1316.87/1317.21 v 2381 2385 -2386 -2395 2416
1316.87/1317.21 v -2423 2434 2437 -2455 2464
1316.87/1317.21 v 2472 -2476 2483 -2488 2490
1316.87/1317.21 v 2494 2528 2536 -2539 2540
1316.87/1317.21 v 2545 -2547 2571 -2580 2590
1316.87/1317.21 v -2602 -2603 2605 2621 2622
1316.87/1317.21 v 2623 -2627 -2632 -2646 2648
1316.87/1317.21 v -2657 2663 2673 2680 2690
1316.87/1317.21 v -2694 -2706 2715 2719 2729
1316.87/1317.21 v 2732 2736 -2747 -2750 2759
1316.87/1317.21 v 2768 -2770 -2774 2776 2779
1316.87/1317.21 v -2788 -2790 2800 -2802 -2805
1316.87/1317.21 v -2822 -2826 2837 2844 -2850
1316.87/1317.21 v 2856 2876 -2881 2890 -2892
1316.87/1317.21 v 2903 2905 2909 2936 2937
1316.87/1317.21 v 2958 2964 2976 2985 2987
1316.87/1317.21 v -2992 3010 -3015 -3027 3033
1316.87/1317.21 v 3035 3048 3050 -5133 3071
1316.87/1317.21 v 3081 3084 3086 -3093 -3099
1316.87/1317.21 v -3112 3117 3120 -3136 3137
1316.87/1317.21 v -3138 -3157 -3163 3184 -3189
1316.87/1317.21 v -3192 3197 3200 -3202 -3230
1316.87/1317.21 v -3237 -3252 3253 -3257 3264
1316.87/1317.21 v 3275 3284 3295 3309 -3316
1316.87/1317.21 v 3319 -3320 -3340 -3343 3349
1316.87/1317.21 v 3357 3358 3361 3372 3378
1316.87/1317.21 v 3388 -3389 3391 -3393 3394
1316.87/1317.21 v 3400 3403 -3415 -3422 -3433
1316.87/1317.21 v -3437 3440 -3441 -3443 3446
1316.87/1317.21 v 3453 3477 3480 3483 3491
1316.87/1317.21 v 3492 3503 3504 -3511 -3512
1316.87/1317.21 v 3514 -3519 3540 3543 -3552
1316.87/1317.21 v 3564 -3577 3611 3615 3626
1316.87/1317.21 v -3636 3642 3655 -3659 3671
1316.87/1317.21 v -3677 3687 3689 3692 -3695
1316.87/1317.21 v -3696 3698 3704 3714 3715
1316.87/1317.21 v 3728 3743 3745 3752 -3754
1316.87/1317.21 v 3755 3777 3782 3789 -3790
1316.87/1317.21 v 3805 -3809 3811 3812 3825
1316.87/1317.21 v -3833 3847 3848 -3856 3865
1316.87/1317.21 v -3866 3875 3880 3892 -3894
1316.87/1317.21 v 3905 -3908 3913 3925 -3964
1316.87/1317.21 v 3970 3976 3981 3982 3986
1316.87/1317.21 v 3989 3991 -4001 4002 4012
1316.87/1317.21 v 4021 -4024 4030 4035 4036
1316.87/1317.21 v -4048 4057 4074 4080 4084
1316.87/1317.21 v -4089 4090 -4096 -4098 4100
1316.87/1317.21 v -4105 4109 4121 4128 4136
1316.87/1317.21 v 4138 -4140 4163 4185 4186
1316.87/1317.21 v -4193 -4212 4213 -4229 4230
1316.87/1317.21 v -4241 -4246 -4247 4260 4261
1316.87/1317.21 v 4267 -4269 -4284 -4286 4288
1316.87/1317.21 v 4289 4318 4322 4328 -4352
1316.87/1317.21 v 4357 -4377 4391 -4392 4399
1316.87/1317.21 v 4409 -4410 -4414 4427 4440
1316.87/1317.21 v -4445 4452 -4455 -4457 -4467
1316.87/1317.21 v -4473 -4476 4478 -4482 4487
1316.87/1317.21 v 4499 -4502 4512 4515 -4517
1316.87/1317.21 v 4519 4536 4554 4562 4564
1316.87/1317.21 v -4566 -4572 4591 4592 4593
1316.87/1317.21 v -4596 -4609 -4613 4616 4636
1316.87/1317.21 v -4640 4641 4646 -4654 4664
1316.87/1317.21 v 4670 -4673 4679 4682 4717
1316.87/1317.21 v 4720 4742 4747 -4753 4770
1316.87/1317.21 v 4773 4788 -4796 -4797 -4801
1316.87/1317.21 v -4808 4834 4838 -4847 4850
1316.87/1317.21 v 4857 4871 4879 4881 4889
1316.87/1317.21 v -4892 4903 4904 4907 4911
1316.87/1317.21 v -4919 4925 4926 4937 4971
1316.87/1317.21 v 4976 4982 5004 5007 5009
1316.87/1317.21 v 5010 5036 5037 -5038 5044
1316.87/1317.21 v -5052 5057 -5073 5075 -5078
1316.87/1317.21 v 5081 -5101 -5112 5118 5137
1316.87/1317.21 v 5149 -5150 -5151 5154 5167
1316.87/1317.21 v 5169 5177 5178 5179 5180
1316.87/1317.21 v -5183 -5188 -5194 -5210 -5211
1316.87/1317.21 v 5218 -5222 -5233 5245 5247
1316.87/1317.21 v 5251 5252 5254 -5257 5258
1316.87/1317.21 v -5262 -5264 -5272 5274 5281
1316.87/1317.21 v -5310 5318 5323 -5331 -5332
1316.87/1317.21 v 5350 -5379 5381 -5391 5398
1316.87/1317.21 v -5414 5425 -5427 5446 -5447
1316.87/1317.21 v -5451 5459 -5463 5468 5478
1316.87/1317.21 v -5483 5498 -3431 2946 -3510
1316.87/1317.22 v -3286 -5285 -4207 -3647 3009
1316.87/1317.22 v -4436 -41 1 3 23
1316.87/1317.22 v 27 38 39 -48 49
1316.87/1317.22 v -50 -55 56 69 -75
1316.87/1317.22 v 77 -79 -81 84 -90
1316.87/1317.22 v 93 98 -100 -104 105
1316.87/1317.22 v 106 122 -125 -135 -151
1316.87/1317.22 v -155 160 169 179 181
1316.87/1317.22 v 187 220 221 -230 -238
1316.87/1317.22 v -255 278 -285 305 -310
1316.87/1317.22 v -318 -347 368 373 377
1316.87/1317.22 v 417 454 468 -474 -475
1316.87/1317.22 v 484 522 -532 545 550
1316.87/1317.22 v -580 584 -588 618 625
1316.87/1317.22 v 629 643 646 654 -664
1316.87/1317.22 v 716 -726 -734 -746 762
1316.87/1317.22 v 818 832 866 -879 881
1316.87/1317.22 v 889 -890 -945 -958 970
1316.87/1317.22 v 1049 1054 -1057 1064 1122
1316.87/1317.22 v 1167 1187 1238 1240 1266
1316.87/1317.22 v -1273 1282 -1295 1300 1311
1316.87/1317.22 v 1316 -1321 1335 -1340 -1341
1316.87/1317.22 v -1344 -1354 -1364 1377 1379
1316.87/1317.22 v 1383 -1421 -1437 1462 1482
1316.87/1317.22 v 1490 -1502 1507 -1516 -1537
1316.87/1317.22 v 1557 1577 1582 -1591 1594
1316.87/1317.22 v -1613 -1618 -1634 1635 -1655
1316.87/1317.22 v 1662 -1671 1698 1713 1714
1316.87/1317.22 v 1721 1729 1731 1740 1814
1316.87/1317.22 v 1825 -1834 1836 -1871 1882
1316.87/1317.22 v 1892 1924 -1944 1966 -1994
1316.87/1317.22 v 2012 -2014 -2022 -2046 2058
1316.87/1317.22 v 2061 2090 2126 2145 2217
1316.87/1317.22 v -2224 -2254 -2280 2303 2425
1316.87/1317.22 v 2454 2459 2486 -2500 -2505
1316.87/1317.22 v 2515 -2519 2532 2549 2551
1316.87/1317.22 v 2586 -2588 2629 2634 2651
1316.87/1317.22 v 2723 2735 -2738 2778 2798
1316.87/1317.22 v 2906 -2910 -2917 -2925 -2953
1316.87/1317.22 v 2967 3041 3052 -3070 3082
1316.87/1317.22 v 3097 3108 3144 3193 3220
1316.87/1317.22 v 3272 3280 3292 -3317 3335
1316.87/1317.22 v 3342 -3392 3417 -3447 3452
1316.87/1317.22 v 3458 3466 -3515 3518 3560
1316.87/1317.22 v 3575 3622 -3629 -3666 3668
1316.87/1317.22 v 3694 3726 -3841 3858 3887
1316.87/1317.22 v -3945 3979 4006 4073 4106
1316.87/1317.22 v 4123 4132 4149 4156 4191
1316.87/1317.22 v 4242 4262 4275 -4282 4300
1316.87/1317.22 v 4310 4332 4460 4461 4495
1316.87/1317.22 v 4507 -4523 4598 4631 -4695
1316.87/1317.22 v 4697 -4699 4719 -4745 4748
1316.87/1317.22 v 4759 4817 -4827 4845 -4854
1316.87/1317.22 v 4893 -4897 -4915 4988 -4999
1316.87/1317.22 v -5001 5015 -5031 5056 -5141
1316.87/1317.22 v 5190 -5192 -5193 -5231 -5287
1316.87/1317.22 v 5334 5356 5392 -5433 5497
1316.87/1317.22 v -443 24 73 -87 102
1316.87/1317.22 v 117 -158 175 189 208
1316.87/1317.22 v 227 -235 -246 249 -251
1316.87/1317.22 v -262 -308 311 -362 402
1316.87/1317.22 v -439 448 452 507 510
1316.87/1317.22 v 586 -591 677 -768 808
1316.87/1317.22 v 863 -925 933 -940 -1063
1316.87/1317.22 v -1070 1138 1144 1149 -1150
1316.87/1317.22 v 1265 -1337 1350 -1398 1420
1316.87/1317.22 v 1435 -1436 1438 -1444 -1488
1316.87/1317.22 v 1520 1711 -1776 1804 1857
1316.87/1317.22 v 1868 -1876 1907 1991 2070
1316.87/1317.22 v 2076 -2101 2117 2159 -2293
1316.87/1317.22 v -2299 -2366 -2387 -2469 2582
1316.87/1317.22 v 2606 2839 -2858 -2935 2952
1316.87/1317.22 v 2984 -3014 -3088 3090 -3106
1316.87/1317.22 v -3123 3130 -3159 -3178 3251
1316.87/1317.22 v -3283 -3531 3646 3661 -3813
1316.87/1317.22 v 3828 3896 3921 -3934 4029
1316.87/1317.22 v -4067 4072 4075 4104 -4122
1316.87/1317.22 v 4157 4256 4270 -4301 -4349
1316.87/1317.22 v -4375 4394 4404 -4464 4524
1316.87/1317.22 v -4535 4542 4599 4602 4681
1316.87/1317.22 v -4771 4775 4815 -4829 4933
1316.87/1317.22 v 4939 -4965 5205 -5303 -5346
1316.87/1317.22 v 5354 5378 5467 596 1257
1316.87/1317.22 v -110 -146 231 -334 -385
1316.87/1317.22 v 420 -432 539 -551 -626
1316.87/1317.22 v 684 -688 691 728 -763
1316.87/1317.22 v -882 1001 -1113 1283 -1373
1316.87/1317.22 v 1397 1564 1626 -1646 1741
1316.87/1317.22 v 1819 2044 2118 2168 -2241
1316.87/1317.22 v -2244 -2331 -2417 -2538 -2683
1316.87/1317.22 v -2803 2873 2887 2966 -2972
1316.87/1317.22 v 3085 3362 -3502 -3530 3654
1316.87/1317.22 v -3799 3883 -3889 -4044 4054
1316.87/1317.22 v -4077 4250 4355 4471 -4520
1316.87/1317.22 v 4651 -4938 -5049 5299 5462
1316.87/1317.22 v -5493 822 3460 -3771 -433
1316.87/1317.22 v -1181 -1504 -1604 1973 2080
1316.87/1317.22 v 2133 2134 2226 -2470 2506
1316.87/1317.22 v 2560 2626 2726 2836 -2930
1316.87/1317.22 v 3140 -3155 -3172 3210 -3226
1316.87/1317.22 v 3277 -3484 -3509 3570 4298
1316.87/1317.22 v 4928 4992 5431 314 -1386
1316.87/1317.22 v 351 710 -917 1097 1195
1316.87/1317.22 v -1465 -2008 -2329 2687 -2834
1316.87/1317.22 v 3005 3098 3141 3381 4317
1316.87/1317.22 v -4335 -4669 4900 -966 -1906
1316.87/1317.22 v -2960 -1112 1590 2250 2792
1316.87/1317.22 v 0
1316.87/1317.22 c Computation time : 1317.040 seconds
1316.87/1317.22 c Execution time : 1317.080 seconds
1316.87/1317.22 c Size of search tree : 127736 nodes
1316.87/1317.22
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-424331-1177792307 -o ROOT/results/node68/solver-424331-1177792307 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/424331-1177792307/kcnfs-2004 /tmp/evaluation/424331-1177792307/instance-424331-1177792307.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 9126
/proc/meminfo: memFree=1539864/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=16156 CPUtime=0
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 127 0 0 0 0 0 0 0 18 0 1 0 255220224 16543744 108 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 4040 109 38 107 0 3929 0
[startup+0.0788729 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 9126
/proc/meminfo: memFree=1539864/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=0.07
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1588 0 0 0 7 0 0 0 18 0 1 0 255220224 20992000 1568 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531398 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1568 59 107 0 5014 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 20500
[startup+0.101874 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 9126
/proc/meminfo: memFree=1539864/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=0.09
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1595 0 0 0 9 0 0 0 18 0 1 0 255220224 20992000 1575 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531286 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1575 59 107 0 5014 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20500
[startup+0.301891 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 9126
/proc/meminfo: memFree=1539864/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=0.29
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1603 0 0 0 29 0 0 0 19 0 1 0 255220224 20992000 1583 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529817 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1583 59 107 0 5014 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20500
[startup+0.701928 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 9126
/proc/meminfo: memFree=1539864/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=0.69
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1603 0 0 0 69 0 0 0 22 0 1 0 255220224 20992000 1583 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531315 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1583 59 107 0 5014 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20500
[startup+1.502 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533776/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1.49
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1604 0 0 0 149 0 0 0 25 0 1 0 255220224 20992000 1584 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529191 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1584 59 107 0 5014 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20500
[startup+3.10115 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533648/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=3.09
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1604 0 0 0 309 0 0 0 25 0 1 0 255220224 20992000 1584 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531256 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1584 59 107 0 5014 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20500
[startup+6.30143 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533456/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=6.29
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1604 0 0 0 629 0 0 0 25 0 1 0 255220224 20992000 1584 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577836 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1584 59 107 0 5014 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20500
[startup+12.702 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=12.69
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1604 0 0 0 1269 0 0 0 25 0 1 0 255220224 20992000 1584 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134533491 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1584 59 107 0 5014 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20500
[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533472/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=25.48
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1604 0 0 0 2548 0 0 0 25 0 1 0 255220224 20992000 1584 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531747 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1584 59 107 0 5014 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20500
[startup+51.1015 s]
/proc/loadavg: 0.94 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533600/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=51.07
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1604 0 0 0 5107 0 0 0 25 0 1 0 255220224 20992000 1584 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531761 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1584 59 107 0 5014 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20500
[startup+102.304 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533600/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=102.26
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1604 0 0 0 10226 0 0 0 25 0 1 0 255220224 20992000 1584 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531749 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1584 59 107 0 5014 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20500
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533536/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=162.25
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1607 0 0 0 16225 0 0 0 25 0 1 0 255220224 20992000 1587 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531303 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1587 59 107 0 5014 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20500
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533536/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=222.23
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1607 0 0 0 22223 0 0 0 25 0 1 0 255220224 20992000 1587 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528718 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1587 59 107 0 5014 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20500
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533472/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=282.22
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1607 0 0 0 28222 0 0 0 25 0 1 0 255220224 20992000 1587 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531787 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1587 59 107 0 5014 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 20500
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=342.2
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1607 0 0 0 34220 0 0 0 25 0 1 0 255220224 20992000 1587 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531263 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1587 59 107 0 5014 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 20500
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 9127
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=402.19
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1607 0 0 0 40219 0 0 0 25 0 1 0 255220224 20992000 1587 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1587 59 107 0 5014 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 20500
[startup+462.302 s]
/proc/loadavg: 1.07 0.99 0.99 2/65 9127
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=462.17
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1607 0 0 0 46217 0 0 0 25 0 1 0 255220224 20992000 1587 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528162 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1587 59 107 0 5014 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 20500
[startup+522.301 s]
/proc/loadavg: 1.09 1.00 1.00 2/65 9127
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=522.16
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1607 0 0 0 52216 0 0 0 25 0 1 0 255220224 20992000 1587 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529183 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1587 59 107 0 5014 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 20500
[startup+582.302 s]
/proc/loadavg: 1.09 1.02 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=582.14
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 58214 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529403 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 20500
[startup+642.302 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 9129
/proc/meminfo: memFree=1533344/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=642.13
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 64213 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531263 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 20500
[startup+702.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=702.12
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 70212 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531897 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 702.12
Current children cumulated vsize (KiB) 20500
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=762.1
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 76210 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529047 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 20500
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=822.09
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 82209 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529326 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 20500
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=882.07
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 88207 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528132 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 20500
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=942.06
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 94206 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530711 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 20500
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533472/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1002.04
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 100204 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529420 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 20500
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1062.03
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 106203 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529156 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 20500
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533472/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1122.01
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 112201 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531230 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 20500
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1182
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 118200 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529156 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 20500
[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533472/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1241.98
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 124198 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531263 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 20500
[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1301.97
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 130197 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531315 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 20500
Solver just ended. Dumping a history of the last processes samples
[startup+1305.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1305.17
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 130517 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134563753 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1305.17
Current children cumulated vsize (KiB) 20500
[startup+1311.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1311.57
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 131157 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529639 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1311.57
Current children cumulated vsize (KiB) 20500
[startup+1315.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1314.77
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 131477 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531263 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1314.77
Current children cumulated vsize (KiB) 20500
[startup+1315.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1315.57
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 131557 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577660 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1315.57
Current children cumulated vsize (KiB) 20500
[startup+1316.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1316.37
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 131637 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530134 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1316.37
Current children cumulated vsize (KiB) 20500
[startup+1317.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1316.77
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 131677 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577700 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1316.77
Current children cumulated vsize (KiB) 20500
[startup+1317.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9129
/proc/meminfo: memFree=1533408/2055920 swapFree=4183928/4192956
[pid=9126] ppid=9124 vsize=20500 CPUtime=1316.87
/proc/9126/stat : 9126 (kcnfs-2004) R 9124 9126 9072 0 -1 0 1608 0 0 0 131687 0 0 0 25 0 1 0 255220224 20992000 1588 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531230 0 0 4096 0 0 0 0 17 1 0 0
/proc/9126/statm: 5125 1588 59 107 0 5014 0
Current children cumulated CPU time (s) 1316.87
Current children cumulated vsize (KiB) 20500
Child status: 10
Real time (s): 1317.22
CPU time (s): 1316.9
CPU user time (s): 1316.89
CPU system time (s): 0.009998
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 20500
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1316.89
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1617
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= 9
involuntary context switches= 2973
runsolver used 1.06884 second user time and 2.53561 second system time
The end
Begin job on node68 on Sat Apr 28 20:31:47 UTC 2007
IDJOB= 424331
IDBENCH= 20233
IDSOLVER= 194
FILE ID= node68/424331-1177792307
PBS_JOBID= 4715790
Free space on /tmp= 66535 MiB
SOLVER NAME= KCNFS 2004
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf
COMMAND LINE= /tmp/evaluation/424331-1177792307/kcnfs-2004 /tmp/evaluation/424331-1177792307/instance-424331-1177792307.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-424331-1177792307 -o ROOT/results/node68/solver-424331-1177792307 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/424331-1177792307/kcnfs-2004 /tmp/evaluation/424331-1177792307/instance-424331-1177792307.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= 57791cc3215dce90ed883dcfbd9213d5
RANDOM SEED= 502629292
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node68.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1540400 kB
Buffers: 48436 kB
Cached: 390032 kB
SwapCached: 3056 kB
Active: 217280 kB
Inactive: 230712 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1540400 kB
SwapTotal: 4192956 kB
SwapFree: 4183928 kB
Dirty: 3564 kB
Writeback: 0 kB
Mapped: 15460 kB
Slab: 53632 kB
Committed_AS: 2954852 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66535 MiB
End job on node68 on Sat Apr 28 20:53:44 UTC 2007