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