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