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