0.00/0.00
0.00/0.04 c Computed by /tmp/evaluation/308985-1172531695/kcnfs-2004 V. 03/02/12
0.00/0.04 c Input file : '/tmp/evaluation/308985-1172531695/instance-308985-1172531695.cnf'
4.60/4.65 c [4500 variables, 12014 clauses, ratio 2.67, mean occ 3, 3-SAT]
4.60/4.65 s SATISFIABLE
4.60/4.65 v 24 -30 31 42 61
4.60/4.65 v -77 136 -218 224 -230
4.60/4.65 v 252 -333 -350 365 398
4.60/4.65 v -403 415 436 -443 -464
4.60/4.65 v -475 -476 493 -504 507
4.60/4.65 v 521 -557 -569 578 593
4.60/4.65 v 612 -671 -693 -716 -738
4.60/4.65 v 780 784 -845 3993 -2866
4.60/4.65 v 879 900 926 946 -960
4.60/4.65 v 969 980 983 -984 -986
4.60/4.65 v -1009 -1010 1017 -1051 -1057
4.60/4.65 v 1064 1066 1073 -1081 1083
4.60/4.65 v 1111 1118 1120 -1130 1183
4.60/4.65 v 1240 -1254 1292 -1297 2516
4.60/4.65 v 1024 652 1335 -1337 -1374
4.60/4.65 v -1389 1391 1405 1421 1425
4.60/4.65 v -1431 -1453 1456 -1470 -1502
4.60/4.65 v 1503 1506 -1539 -1543 -1548
4.60/4.65 v 1577 1475 1643 -1666 1671
4.60/4.65 v 1702 -1704 1708 1714 1744
4.60/4.65 v -1805 1810 1881 1883 1897
4.60/4.65 v 1912 -1920 -1939 1977 1980
4.60/4.65 v -2350 1989 -1991 -2018 -2056
4.60/4.65 v -2069 -2071 2073 -2085 -2146
4.60/4.65 v 2152 -2167 -2168 -2172 -2252
4.60/4.65 v 2263 -2280 -2306 -2318 -2365
4.60/4.65 v -2420 2472 2524 -2551 -2574
4.60/4.65 v 2591 -2616 -2619 2639 -2645
4.60/4.65 v 2673 2687 -2695 -2705 -2707
4.60/4.65 v 2755 2805 2807 2814 2856
4.60/4.65 v 2869 -2896 -2934 -2952 -2955
4.60/4.65 v 2972 2974 2978 -2980 2987
4.60/4.65 v 3027 3071 -3093 3100 3141
4.60/4.65 v 3166 3203 3247 3265 3272
4.60/4.65 v -3280 -3290 3313 -3334 -3341
4.60/4.65 v -3343 -3408 -3414 -3419 3423
4.60/4.65 v 3458 -3482 3487 -3488 -3497
4.60/4.65 v -3533 3600 -3623 -3643 3663
4.60/4.65 v 3682 3692 -3700 -3703 3724
4.60/4.65 v 3728 -3731 -3750 3772 -3775
4.60/4.65 v 3779 -3788 3799 3822 -3834
4.60/4.65 v 3843 -3854 3862 3871 3877
4.60/4.65 v 3882 3898 3899 -3915 -3950
4.60/4.65 v -3956 3960 3961 3989 -4012
4.60/4.65 v -4060 4090 4094 -4098 4116
4.60/4.65 v 4139 4169 4189 4213 4216
4.60/4.65 v 4225 4248 4252 -4262 -4313
4.60/4.65 v -4317 -4319 4333 4354 -4356
4.60/4.65 v -4363 -4387 -4391 4396 -4428
4.60/4.65 v 4447 -4452 -4461 4480 -4497
4.60/4.65 v -4498 -3680 1276 238 -2802
4.60/4.65 v 4228 3132 -498 3257 -3021
4.60/4.65 v -4394 -1898 -2034 -3285 -3047
4.60/4.65 v -970 1637 1333 -2230 2054
4.60/4.65 v 4307 4462 1657 214 -3004
4.60/4.65 v 3511 -4195 3769 -1411 -262
4.60/4.65 v 3941 4379 1465 -362 -1428
4.60/4.65 v 3844 -3154 598 3974 2133
4.60/4.65 v 317 -128 203 -315 -347
4.60/4.65 v -532 -608 -625 -705 -783
4.60/4.65 v -814 -838 -1034 -1048 1084
4.60/4.65 v 1103 1217 -1253 -1336 1361
4.60/4.65 v 1526 1741 1806 -1829 2044
4.60/4.65 v -2417 -2544 2557 -2656 2662
4.60/4.65 v -2734 2758 -2771 -2842 3144
4.60/4.65 v -3146 3357 -3538 3667 -3825
4.60/4.65 v 3969 -4257 -4289 -4401 -3024
4.60/4.65 v -538 1046 3340 4174 2383
4.60/4.65 v -2272 -2979 3324 2277 717
4.60/4.65 v 3162 -2344 4157 4125 2416
4.60/4.65 v 2966 2236 -3362 -692 3118
4.60/4.65 v -1652 -3504 3271 -570 -3905
4.60/4.65 v -63 -80 -457 -695 -764
4.60/4.65 v -1694 1781 2021 -2210 2428
4.60/4.65 v -2566 2757 4316 -4398 4490
4.60/4.65 v 1660 2027 4119 1798 3806
4.60/4.65 v 2671 44 3994 2552 688
4.60/4.65 v 3522 1905 3753 1322 -653
4.60/4.65 v -1874 -3091 -2331 4383 -1161
4.60/4.65 v -3430 -956 1839 4165 -2837
4.60/4.65 v 3706 -152 -2477 2944 -1190
4.60/4.65 v 1827 3904 -1712 3400 124
4.60/4.65 v -2184 -3155 -3171 -4442 1683
4.60/4.65 v 123 731 -1062 -2077 2500
4.60/4.65 v 2764 -3348 4049 -1729 1186
4.60/4.65 v -2913 3367 -8 1603 -3704
4.60/4.65 v -4329 -197 829 -1187 -1592
4.60/4.65 v -2157 -760 -1102 -4268 -1458
4.60/4.65 v -2580 -761 -2101 1622 -4072
4.60/4.65 v 3594 -2128 78 1233 2057
4.60/4.65 v -697 -563 1653 2130 -575
4.60/4.65 v -3846 2301 -1775 2813 3631
4.60/4.65 v -4284 3913 -765 -910 -19
4.60/4.65 v -539 836 -2030 2893 3153
4.60/4.65 v -3827 -4027 74 -3502 3007
4.60/4.65 v -1997 785 -967 -3934 672
4.60/4.65 v -2320 2212 3908 2070 4059
4.60/4.65 v 905 -1150 3733 4374 -2684
4.60/4.65 v 3042 -2626 1040 -3297 -4358
4.60/4.65 v 2369 -641 -2329 3205 -2138
4.60/4.65 v -4064 -754 -4136 3190 2309
4.60/4.65 v -1807 -2589 -660 -4445 2948
4.60/4.65 v -4040 3467 389 2275 -3182
4.60/4.65 v -4120 -1226 2592 408 -1802
4.60/4.65 v -1446 -840 -4083 880 47
4.60/4.65 v 3018 -567 609 -753 -4056
4.60/4.65 v -405 -1191 -2515 3095 1633
4.60/4.65 v 1654 1913 3350 -4199 4419
4.60/4.65 v -1579 -3803 1379 -2279 -3599
4.60/4.65 v -467 3886 -3010 2839 -2456
4.60/4.65 v 975 1461 1537 -2775 3034
4.60/4.65 v -722 -2785 2051 -1101 -112
4.60/4.65 v -772 -1266 1832 2804 -3492
4.60/4.65 v -742 1711 -928 1427 219
4.60/4.65 v 3563 -4020 2049 1725 -177
4.60/4.65 v -3757 -1063 -3902 -1386 1185
4.60/4.65 v 1950 -1728 2466 -4246 -2797
4.60/4.65 v -3281 -2750 -2017 -3129 -3624
4.60/4.65 v 1011 -2317 -3754 -3094 700
4.60/4.65 v -2080 4065 3601 2922 -2763
4.60/4.65 v -206 3101 -1953 -1074 -1971
4.60/4.65 v -1481 -1544 -3811 -2796 -2881
4.60/4.65 v 1410 212 -280 600 1904
4.60/4.65 v 2959 3819 -4097 4107 -2618
4.60/4.65 v 2217 1260 -4491 1160 2001
4.60/4.65 v 3628 4178 -923 -3394 73
4.60/4.65 v -2461 2518 -3823 3928 -3568
4.60/4.65 v -1436 1943 -2335 -3424 3053
4.60/4.65 v -4219 144 -338 2650 -4247
4.60/4.65 v 3536 -689 -1256 1686 -2599
4.60/4.65 v -1946 4140 -3575 2504 811
4.60/4.65 v 2704 -810 -357 -3452 -963
4.60/4.65 v -931 -1242 -2371 -3065 2892
4.60/4.65 v 3530 1665 -3614 3833 1261
4.60/4.65 v 509 -1967 -3782 4287 -2933
4.60/4.65 v -2975 111 -4353 -2089 2372
4.60/4.65 v 2031 -3390 -2558 1483 -4044
4.60/4.65 v 249 1895 2467 9 18
4.60/4.65 v 589 -594 -747 861 932
4.60/4.65 v 1250 -1284 1355 1656 -1664
4.60/4.65 v -1884 2501 -2714 -2857 -3210
4.60/4.65 v -3524 -3809 3883 4210 -3880
4.60/4.65 v -1123 -3288 4052 3867 669
4.60/4.65 v 734 -3815 -1955 709 416
4.60/4.65 v 2816 2154 4117 -3607 -1719
4.60/4.65 v -2768 196 3052 530 1199
4.60/4.65 v -1219 1301 1403 1468 1610
4.60/4.65 v -2007 2175 2464 2487 -2825
4.60/4.65 v -3231 -3301 4359 -4137 -1850
4.60/4.65 v -3426 -412 2062 1808 -635
4.60/4.65 v -3801 2455 1153 1277 1634
4.60/4.65 v 3019 -1296 4399 1444 -2196
4.60/4.65 v -4045 3647 4390 -648 -2925
4.60/4.65 v -2622 -1206 184 -1891 391
4.60/4.65 v -439 -613 -835 1225 -1380
4.60/4.65 v -1484 -1901 -2174 2521 -2583
4.60/4.65 v 2883 -3109 3760 1593 -1869
4.60/4.65 v 2022 -2998 4224 -3548 -1840
4.60/4.65 v -2376 3025 1424 -3739 -4278
4.60/4.65 v 2286 3556 -3126 -4385 -4227
4.60/4.65 v -2169 3016 166 -4403 1498
4.60/4.65 v 2064 1300 -1987 1636 -947
4.60/4.65 v -907 1906 -1595 -3421 310
4.60/4.65 v -3852 1028 2033 2060 -2388
4.60/4.65 v -2438 2281 -2968 1786 -3013
4.60/4.65 v -343 -587 -1269 1397 1472
4.60/4.65 v -1706 -1709 -2375 2824 -3152
4.60/4.65 v 3295 -611 2638 -1060 3963
4.60/4.65 v 2229 -2337 4016 -23 3814
4.60/4.65 v 2447 129 2745 2398 3088
4.60/4.65 v 3249 3720 2774 1862 817
4.60/4.65 v -2469 -4202 1723 4068 971
4.60/4.65 v -2135 1464 1384 2278 -4357
4.60/4.65 v 2480 2870 -3096 3461 3544
4.60/4.65 v 599 -1932 482 -1212 4381
4.60/4.65 v 2895 -3929 656 -2612 345
4.60/4.65 v -2411 396 2759 -3296 -2460
4.60/4.65 v 3855 3747 388 1012 1163
4.60/4.65 v 1612 1641 -1766 -1938 -2209
4.60/4.65 v 2215 2584 -2712 -2875 -2906
4.60/4.65 v -336 537 1090 -3325 3401
4.60/4.65 v 3865 -3474 3578 -3689 -3828
4.60/4.65 v 3897 4022 4024 -4103 4260
4.60/4.65 v -60 -1961 -3454 2847 3999
4.60/4.65 v 3121 -2359 819 -486 -844
4.60/4.65 v -3229 -4128 618 4340 -3669
4.60/4.65 v 2848 -1283 1545 1127 -3145
4.60/4.65 v 2794 875 3300 2136 -3398
4.60/4.65 v 447 -3755 -533 -227 266
4.60/4.65 v -335 418 -996 -1519 133
4.60/4.65 v 2347 2353 -2446 2700 3032
4.60/4.65 v -3067 -3411 -3540 -4150 -4407
4.60/4.65 v -67 1787 1562 500 -1929
4.60/4.65 v -2218 -581 -2878 -887 -4212
4.60/4.65 v 422 1027 1376 3484 -1033
4.60/4.65 v 1962 -3621 -3268 3056 2380
4.60/4.65 v 1037 1699 973 -3448 -1158
4.60/4.65 v -4233 217 2476 2999 -2850
4.60/4.65 v -257 244 -4118 2110 4494
4.60/4.65 v -1538 1390 -909 -1911 994
4.60/4.65 v 2066 -3534 979 1133 -1452
4.60/4.65 v 1345 -3344 -3656 -2820 2437
4.60/4.65 v 3327 3695 -1005 -161 2488
4.60/4.65 v 173 295 -387 547 684
4.60/4.65 v -862 865 891 -962 -1004
4.60/4.65 v 1144 -1681 1736 -2442 2606
4.60/4.65 v -2633 -2691 -2923 3391 3596
4.60/4.65 v -3835 -3926 3936 -4007 -4057
4.60/4.65 v 3743 -972 1259 -4124 -676
4.60/4.65 v 1574 -828 2426 -57 1857
4.60/4.65 v 268 741 -2630 3106 822
4.60/4.65 v 3604 -853 -1124 -1215 917
4.60/4.65 v 1255 1422 2233 397 -2950
4.60/4.65 v 3416 -3590 -4048 4459 1110
4.60/4.65 v -3791 -1121 2199 2324 -3780
4.60/4.65 v 3195 1487 3073 -739 -2659
4.60/4.65 v -1291 4190 4261 2363 -3459
4.60/4.65 v 4003 3404 -3466 -1757 4183
4.60/4.65 v -2048 -3407 2766 2880 -225
4.60/4.65 v -3445 -989 2421 3140 -1771
4.60/4.65 v 4177 -4472 2940 3275 -2339
4.60/4.65 v 1998 1751 -3480 3539 627
4.60/4.65 v 1000 -4242 -1763 2451 1954
4.60/4.65 v -3585 2256 -1341 -95 -382
4.60/4.65 v -798 -877 899 -2041 -2942
4.60/4.65 v -902 -991 -1016 1149 1223
4.60/4.65 v -1463 -2282 -288 -2529 -3011
4.60/4.65 v -3057 -3069 -3439 3671 -4075
4.60/4.65 v 4277 4444 2385 1918 -174
4.60/4.65 v 1216 -2689 3872 4154 2149
4.60/4.65 v 4311 791 -3684 2126 -453
4.60/4.65 v -3584 3277 839 16 -2562
4.60/4.65 v -2653 -1128 -687 -1104 786
4.60/4.65 v 151 1745 -3677 -3636 1496
4.60/4.65 v -2065 3251 -4495 -2792 -2600
4.60/4.65 v 1189 2791 3131 2891 -65
4.60/4.65 v 2025 -3730 1514 -2992 2902
4.60/4.65 v 2087 4179 -892 -2864 1147
4.60/4.65 v -2102 -3998 1412 48 -89
4.60/4.65 v 97 125 361 370 462
4.60/4.65 v -789 978 -1055 -1273 1413
4.60/4.65 v -1819 -1852 2005 2454 -2493
4.60/4.65 v 2715 2828 -3077 -3123 3181
4.60/4.65 v 3386 3549 -3645 3661 -3727
4.60/4.65 v -3857 -3884 4018 -3808 -1015
4.60/4.65 v 250 -1194 160 -4084 -1091
4.60/4.65 v -247 3543 -1047 -3187 -2958
4.60/4.65 v 4113 922 2517 -2528 3995
4.60/4.65 v 3107 3920 3917 -3859 1306
4.60/4.65 v 1730 2918 -849 2681 -1790
4.60/4.65 v 3046 -4194 -2610 546 -104
4.60/4.65 v 259 -313 -536 -544 882
4.60/4.65 v 1042 -1071 -1309 1404 -1457
4.60/4.65 v -1597 1867 2228 2356 2590
4.60/4.65 v 2666 2863 3314 -3364 -3468
4.60/4.65 v -3537 3616 3856 3923 -4371
4.60/4.65 v 2482 -3446 -3551 2361 -2462
4.60/4.65 v -1630 -2613 438 -1129 -3953
4.60/4.65 v -352 -3512 2840 -2269 1332
4.60/4.65 v -939 3372 -2806 1370 -3392
4.60/4.65 v 11 2564 -303 -2012 1902
4.60/4.65 v -3315 -489 -4114 1369 -1621
4.60/4.65 v 331 -2244 -2537 -4080 -4416
4.60/4.65 v 4145 3173 -1750 -1432 -53
4.60/4.65 v -4366 3729 69 322 324
4.60/4.65 v 329 -619 -662 703 -745
4.60/4.65 v 842 1471 2023 -2220 -2322
4.60/4.65 v -2594 2660 2821 -3196 -3233
4.60/4.65 v 3379 3463 4308 -4438 4441
4.60/4.65 v 278 3320 -1876 -2931 -4478
4.60/4.65 v 3520 -1559 3396 -1139 -3574
4.60/4.65 v 2827 4392 -167 455 -516
4.60/4.65 v 1547 -1570 1662 -1828 1937
4.60/4.65 v -2373 -2733 -2776 -2871 2924
4.60/4.65 v -3090 -3591 3640 3718 4496
4.60/4.65 v -2988 -2514 -110 595 -1378
4.60/4.65 v 39 -40 -2996 -668 3220
4.60/4.65 v 1726 254 -4384 -3380 -881
4.60/4.65 v -4458 2986 542 -316 -2180
4.60/4.65 v -1152 2946 3179 -1959 4338
4.60/4.65 v 1441 -1415 1334 -2855 4298
4.60/4.65 v 3673 3810 -1196 3022 2308
4.60/4.65 v -4193 1717 473 -3259 -1864
4.60/4.65 v -3598 3048 -3785 -404 -121
4.60/4.65 v -202 -522 992 -2967 1238
4.60/4.65 v 1271 -1329 1363 -2004 -2079
4.60/4.65 v -2419 2459 2938 -3184 3221
4.60/4.65 v -3592 4032 4101 4133 -4134
4.60/4.65 v 2055 -1197 -35 1419 -2900
4.60/4.65 v 1056 2321 -2682 3587 4043
4.60/4.65 v -305 -377 855 100 264
4.60/4.65 v 337 674 1855 1947 2159
4.60/4.65 v -2929 -2970 3037 3127 3509
4.60/4.65 v 3777 3937 -3967 -3997 2384
4.60/4.65 v 2604 2829 -1213 596 -3912
4.60/4.65 v 3333 3648 -147 4427 1851
4.60/4.65 v 3816 4091 -715 3490 -107
4.60/4.65 v -198 -45 624 749 -1170
4.60/4.65 v 1834 -2404 3075 -3422 -2569
4.60/4.65 v -2917 -2947 3030 -3478 -4470
4.60/4.65 v 893 1348 2240 1975 4149
4.60/4.65 v -3352 -3982 3831 2954 3893
4.60/4.65 v 1243 1248 2142 2243 -2570
4.60/4.65 v -3002 410 -730 -4377 -1165
4.60/4.65 v -957 632 279 -694 4
4.60/4.65 v 90 -1433 -1670 -2609 -2717
4.60/4.65 v -2957 -1278 -1342 3405 1469
4.60/4.65 v 933 2581 -1173 229 2450
4.60/4.65 v 3838 -3863 -364 2540 1976
4.60/4.65 v 122 2299 -964 -2800 -3911
4.60/4.65 v 3572 -2536 401 -646 -2577
4.60/4.65 v 1743 -2403 3655 -3981 -3435
4.60/4.65 v 189 732 2407 2225 -4073
4.60/4.65 v -1608 169 282 -87 -655
4.60/4.65 v -2095 663 -571 -2688 1779
4.60/4.65 v -3253 -740 -670 1776 854
4.60/4.65 v 2627 -2195 951 3589 -1092
4.60/4.65 v 1396 3513 140 1531 1347
4.60/4.65 v 495 -644 -661 -750 -1031
4.60/4.65 v 1270 -1645 -1716 -1903 1467
4.60/4.65 v -940 2387 -2440 2582 2505
4.60/4.65 v 2532 2742 3506 -3518 3813
4.60/4.65 v 3848 -4035 -4368 4409 -4456
4.60/4.65 v -141 3701 -4485 2991 -2465
4.60/4.65 v -3255 480 3130 -2586 -2701
4.60/4.65 v -1602 4414 824 -497 -1354
4.60/4.65 v 1607 1661 955 2232 -1155
4.60/4.65 v -1982 -2227 3186 3260 4436
4.60/4.65 v 548 4161 1990 84 -341
4.60/4.65 v -466 -2632 888 -981 -1281
4.60/4.65 v -1293 1640 1685 1966 2092
4.60/4.65 v -2144 -2304 2355 -2539 -2642
4.60/4.65 v 2747 3581 3702 3800 3858
4.60/4.65 v -4026 -4184 4201 1768 2072
4.60/4.65 v -871 1308 -3241 -729 68
4.60/4.65 v 3921 4330 3776 -209 -3308
4.60/4.65 v 3070 3650 4081 2713 -4443
4.60/4.65 v -2851 1448 4484 -428 -4337
4.60/4.65 v 2050 2927 -4425 -555 -2345
4.60/4.65 v -2496 3358 -1145 465 -103
4.60/4.65 v -574 -997 1180 59 1830
4.60/4.65 v -4071 1229 -1479 -1594 -1626
4.60/4.65 v 1936 -1673 3137 520 2096
4.60/4.65 v 2367 -2556 -2993 -3569 -3740
4.60/4.65 v 3840 4215 4296 -4304 4312
4.60/4.65 v -3722 3924 -770 -2602 -1172
4.60/4.65 v -4011 -554 4382 -3626 -3097
4.60/4.65 v 4453 -1646 106 -583 -334
4.60/4.65 v 4386 -3983 837 -394 -1499
4.60/4.65 v -3092 3218 -4469 1981 2983
4.60/4.65 v -2249 -3332 508 46 901
4.60/4.65 v 2186 -1873 -3495 2029 1935
4.60/4.65 v -1754 118 -149 -1143 -346
4.60/4.65 v -506 831 1002 -1026 -2379
4.60/4.65 v -2413 -3991 -1701 1043 1109
4.60/4.65 v -883 2513 2649 1388 1957
4.60/4.65 v 1868 -3501 -2953 2052 -1508
4.60/4.65 v -2526 -2414 99 3535 1003
4.60/4.65 v -3792 1316 289 -1722 -1772
4.60/4.65 v 4159 -1783 1854 -3528 -4265
4.60/4.65 v -2140 2246 4460 -3213 1310
4.60/4.65 v 2392 2393 -2449 2854 3802
4.60/4.65 v -4405 821 597 -492 -4254
4.60/4.65 v -2767 -2425 4393 1963 -3879
4.60/4.65 v 171 -2160 2830 4352 2542
4.60/4.65 v 51 2728 2990 3553 -2145
4.60/4.65 v -4123 -3214 -3748 -2634 -3479
4.60/4.65 v 3965 -210 332 2497 2522
4.60/4.65 v -3413 2587 2597 -2751 1590
4.60/4.65 v -3617 -792 -3938 -2718 704
4.60/4.65 v 4369 34 654 912 -2761
4.60/4.65 v 2781 -982 1695 2164 -3437
4.60/4.65 v -2332 -3164 -2887 904 4160
4.60/4.65 v 3691 -1885 -2097 1307 417
4.60/4.65 v -1177 2823 -3111 -1490 4173
4.60/4.65 v 1305 -952 -1752 -2862 2187
4.60/4.65 v 808 -529 2832 -2861 2143
4.60/4.65 v -4367 -3028 -3089 3910 3180
4.60/4.65 v -4249 3576 1072 1268 -1924
4.60/4.65 v 432 942 -4237 -2651 2799
4.60/4.65 v 2310 -1367 -846 3064 -241
4.60/4.65 v 192 1373 2738 165 -368
4.60/4.65 v 4437 953 699 -4166 3932
4.60/4.65 v 213 -2694 -1638 -1627 -3051
4.60/4.65 v -162 3115 3212 3238 3248
4.60/4.65 v 349 -3250 -3267 -36 -2381
4.60/4.65 v -3550 4152 -207 -4191 3
4.60/4.65 v -2315 1395 -2911 725 4243
4.60/4.65 v -1460 -3266 630 -1272 -2486
4.60/4.65 v -4000 3269 -666 3990 -3274
4.60/4.65 v -605 -4280 3738 2994 88
4.60/4.65 v -576 797 -2523 3973 -3083
4.60/4.65 v -3851 3317 311 -3310 1399
4.60/4.65 v -3074 -170 2997 1220 -375
4.60/4.65 v 2284 -601 -1907 3866 929
4.60/4.65 v 477 -3395 2162 -3668 -3359
4.60/4.65 v -424 -372 -4372 -1541 4291
4.60/4.65 v 2568 -4410 -1181 -843 -3060
4.60/4.65 v -2702 4164 -1258 -3841 2736
4.60/4.65 v 1927 -2675 1551 3189 175
4.60/4.65 v -4422 -3246 3351 -1188 376
4.60/4.65 v 3009 -1319 -4211 2481 -3516
4.60/4.65 v 26 -380 -3992 -83 1360
4.60/4.65 v -890 2211 -318 -1896 3496
4.60/4.65 v 1821 2325 1287 -1356 -2443
4.60/4.65 v -4271 614 -551 -1871 2433
4.60/4.65 v -4110 -1727 -1960 3629 2166
4.60/4.65 v 2939 -3987 2620 4276 -1591
4.60/4.65 v 698 -3818 617 138 3124
4.60/4.65 v -4122 2402 3952 459 4087
4.60/4.65 v 2844 -778 -3906 1114 -10
4.60/4.65 v -807 -2919 -399 1925 179
4.60/4.65 v 3289 -3842 3742 4473 3597
4.60/4.65 v -852 1817 -1814 3133 3147
4.60/4.65 v 2884 -771 1624 -1203 -4239
4.60/4.65 v -1377 3148 -3542 -513 -3087
4.60/4.65 v -256 -1095 -4207 584 779
4.60/4.65 v -2084 2108 -4376 -3293 -3294
4.60/4.65 v 3420 -3208 85 1842 -2646
4.60/4.65 v -3417 -20 3001 -3577 1563
4.60/4.65 v -2962 -27 -390 -2415 -2485
4.60/4.65 v 1442 132 1018 833 949
4.60/4.65 v -921 -2129 -3613 -3406 367
4.60/4.65 v -958 1797 -3382 472 -3588
4.60/4.65 v 3113 4259 1105 -2405 3887
4.60/4.65 v 3698 -2708 91 1112 -3302
4.60/4.65 v 3323 3326 -1534 777 -3346
4.60/4.65 v -1494 4365 3006 3977 -2908
4.60/4.65 v -3451 4238 -911 -488 -1758
4.60/4.65 v 1138 2221 2292 -590 479
4.60/4.65 v 2678 120 4158 3128 -3508
4.60/4.65 v -690 -4245 -3761 22 1019
4.60/4.65 v -1892 1707 -1878 869 -934
4.60/4.65 v -446 3708 3889 -2334 2150
4.60/4.65 v -2709 -1573 1770 -353 526
4.60/4.65 v -2189 -1510 -4373 577 545
4.60/4.65 v -3384 2603 -2724 4351 4281
4.60/4.65 v -4244 1076 1793 3409 3428
4.60/4.65 v 4250 -1915 631 366 -3966
4.60/4.65 v 4112 895 -2982 -2265 -2312
4.60/4.65 v 4429 -1094 2237 -468 -1509
4.60/4.65 v 191 -2683 -2916 2901 1067
4.60/4.65 v 4411 354 2853 383 3471
4.60/4.65 v -3797 543 81 -1948 2787
4.60/4.65 v 3675 -3564 -1036 -3948 1583
4.60/4.65 v -182 -4285 -1299 1542 109
4.60/4.65 v -2545 3120 -3878 2852 2255
4.60/4.65 v -2223 386 1113 -2623 2949
4.60/4.65 v -1880 -348 -4431 1838 2185
4.60/4.65 v 3876 -2113 1749 3832 691
4.60/4.65 v -2412 2314 -903 -1877 3964
4.60/4.65 v 1823 -469 -142 -1826 2951
4.60/4.65 v -588 -4038 -3975 4406 -3970
4.60/4.65 v -1860 -1815 -1737 -3086 -437
4.60/4.65 v 758 -4144 4017 4155 -2567
4.60/4.65 v 1889 -3894 -1304 603 291
4.60/4.65 v -2170 2296 3646 2003 3387
4.60/4.65 v 4264 870 1195 -2090 3763
4.60/4.65 v -1151 721 2268 308 3175
4.60/4.65 v 233 -3059 -2468 1759 130
4.60/4.65 v 2445 2181 2037 -2655 -3354
4.60/4.65 v 3363 3389 -1550 3033 -261
4.60/4.65 v 2386 1649 -287 4200 -3847
4.60/4.65 v -3299 -2752 763 3433 -3434
4.60/4.65 v -3440 -3486 -1146 -2458 -1222
4.60/4.65 v -3707 3679 195 527 -827
4.60/4.65 v -3737 -3523 -3552 -3555 3566
4.60/4.65 v -183 -3593 3615 -1999 -1486
4.60/4.65 v 4335 -1193 3745 -1616 -868
4.60/4.65 v 423 -2035 -297 -2351 117
4.60/4.65 v 2721 943 2107 1381 2534
4.60/4.65 v -3079 1940 -3061 -2490 -4302
4.60/4.65 v 3038 2053 286 1887 3678
4.60/4.65 v 1780 -2977 -373 -1900 -3606
4.60/4.65 v 3393 -1500 -2809 4051 -1211
4.60/4.65 v -75 -3156 2882 -2008 -1629
4.60/4.65 v -1039 -2835 -4067 -4341 -801
4.60/4.65 v 3222 -4305 340 1493 -3947
4.60/4.65 v -2956 -3651 1968 440 -1986
4.60/4.65 v 283 -1239 1733 -726 4500
4.60/4.65 v -3658 2648 3641 3751 3284
4.60/4.65 v -645 298 919 -2336 -1632
4.60/4.65 v -3339 794 1207 3627 -3632
4.60/4.65 v 3633 2163 2058 -82 3652
4.60/4.65 v -3653 -3654 -908 -3465 -4293
4.60/4.65 v 3657 3672 3676 3688 -3710
4.60/4.65 v -3711 3716 -3243 -3746 -809
4.60/4.65 v -1294 4019 -1555 -4185 -2362
4.60/4.65 v -37 -4487 1789 -3749 -2549
4.60/4.65 v 1755 -2127 2406 -1251 -3773
4.60/4.65 v -3804 -3805 3829 3836 3837
4.60/4.65 v -3078 1227 -796 2692 -702
4.60/4.65 v 1647 -1676 -3850 -3312 2635
4.60/4.65 v -2473 -1623 -3040 -553 4486
4.60/4.65 v 706 -2904 -50 -3049 762
4.60/4.65 v 2710 411 300 3403 420
4.60/4.65 v -769 552 2338 -392 1525
4.60/4.65 v 1561 -3922 3935 -3942 2333
4.60/4.65 v -325 2872 -4229 3232 -4153
4.60/4.65 v -4168 4015 -4006 3402 2777
4.60/4.65 v -2397 -1774 4439 -2657 -1689
4.60/4.65 v -1635 -1761 -92 4292 3666
4.60/4.65 v 1035 3014 -41 -2214 -359
4.60/4.65 v 1315 188 -3216 -32 -629
4.60/4.65 v 938 -2188 2886 -1680 4493
4.60/4.65 v 4430 -3194 3226 -4464 1221
4.60/4.65 v 215 -271 -2494 -2287 1029
4.60/4.65 v 1969 -4181 -3240 1600 3224
4.60/4.65 v 3609 4263 -3659 2834 -145
4.60/4.65 v 3988 -788 864 3557 -240
4.60/4.65 v 1245 -4434 2148 -236 -941
4.60/4.65 v -1951 1210 4047 -1933 -708
4.60/4.65 v -2661 -2274 2703 -3510 4138
4.60/4.65 v 1154 -1642 1518 -3377 -4346
4.60/4.65 v -1135 -3298 -2555 3305 -3170
4.60/4.65 v 1628 -1849 3582 -1418 -3762
4.60/4.65 v 724 -1692 1773 -2753 -615
4.60/4.65 v -3507 -505 -3723 1778 14
4.60/4.65 v 96 -3117 -483 4342 -2943
4.60/4.65 v -2116 -4482 2674 -1117 -2067
4.60/4.65 v -528 4417 -1705 -679 1052
4.60/4.65 v -3447 2132 3664 -471 -52
4.60/4.65 v -673 -1517 2743 634 2158
4.60/4.65 v 1554 -858 -2250 2810 564
4.60/4.65 v -2294 3861 -137 -2197 707
4.60/4.65 v -2876 2739 3978 -823 3151
4.60/4.65 v 139 -2300 -4283 -4468 2011
4.60/4.65 v -3793 -2293 -1477 -664 -3681
4.60/4.65 v -2248 -2989 -1264 2520 -456
4.60/4.65 v 3291 -4282 3901 -3541 2699
4.60/4.65 v 2036 -4232 -4361 3635 3026
4.60/4.65 v 4413 3058 -3896 1843 1167
4.60/4.65 v -71 3292 -3972 -3812 -1234
4.60/4.65 v -1491 1501 -2131 3104 -782
4.60/4.65 v -2078 1087 621 2498 3726
4.60/4.65 v -1136 3767 2826 -3892 1184
4.60/4.65 v 886 3954 512 2283 1835
4.60/4.65 v 2573 -1934 -3365 1244 -4121
4.60/4.65 v -2394 211 4175 -4115 -2973
4.60/4.65 v -3143 4477 6 -3796 3045
4.60/4.65 v 1615 -1407 3442 -4415 2171
4.60/4.65 v 2507 -1674 -1038 -4467 -3500
4.60/4.65 v -733 -3958 -4350 2303 -1564
4.60/4.65 v 2741 -4205 29 -1952 4279
4.60/4.65 v 1571 3670 -381 2547 320
4.60/4.65 v 759 2360 -2139 3286 342
4.60/4.65 v 1516 -3719 1558 4204 1791
4.60/4.65 v -3625 -231 2731 3287 4310
4.60/4.65 v -3353 1762 2624 -4021 876
4.60/4.65 v -3798 274 4273 3138 -1132
4.60/4.65 v 3099 -3142 2182 2224 -1126
4.60/4.65 v -534 2819 -2693 -799 965
4.60/4.65 v 102 143 616 3244 -3951
4.60/4.65 v -2822 -2838 1831 -713 -3519
4.60/4.65 v -4188 841 -3256 2732 -444
4.60/4.65 v -2109 -2783 2873 3345 -744
4.60/4.65 v -3526 406 -3230 -135 4395
4.60/4.65 v -3620 2377 3041 -3839 -2643
4.60/4.65 v 208 565 -2672 -245 3529
4.60/4.65 v -1454 -86 2289 -199 -1014
4.60/4.65 v 4055 -4274 2193 1859 519
4.60/4.65 v -3586 2173 606 -4476 1085
4.60/4.65 v 2178 2706 -4345 -2342 -101
4.60/4.65 v -3514 -4004 2877 2046 2200
4.60/4.65 v -2400 2354 -3939 -2598 1061
4.60/4.65 v 1349 795 -3318 3622 884
4.60/4.65 v 945 3642 -4085 -3306 -768
4.60/4.65 v 885 -2698 -826 -1326 793
4.60/4.65 v 3693 2427 -1613 2013 2298
4.60/4.65 v -2295 3374 -1485 3546 2191
4.60/4.65 v -4471 -3017 -2179 -1972 -2247
4.60/4.65 v 3713 -2177 2737 176 4034
4.60/4.65 v 1252 205 3945 -461 -4423
4.60/4.65 v -4096 -1249 4389 -4063 -38
4.60/4.65 v -2964 3464 -2879 874 -3431
4.60/4.65 v 272 -157 -501 -550 2625
4.60/4.65 v -1748 -2153 -580 1985 1511
4.60/4.65 v 2076 -319 -116 3968 -2479
4.60/4.65 v -3176 1568 -4197 2242 -2926
4.60/4.65 v -549 2026 -802 -4005 -270
4.60/4.65 v -2471 454 4360 -830 193
4.60/4.65 v 2098 2535 -2122 1970 3262
4.60/4.65 v -1417 -3342 -639 -119 2831
4.60/4.65 v -3031 1792 804 1201 2561
4.60/4.65 v 4488 -2550 3925 -200 1533
4.60/4.65 v 2059 2725 1440 -94 2506
4.60/4.65 v -2985 1994 -2527 4299 3940
4.60/4.65 v -1764 3432 1346 -1473 3665
4.60/4.65 v -756 -1553 -2607 -242 -1049
4.60/4.65 v -3476 3696 3254 -1596 -2898
4.60/4.65 v 2907 4036 -2941 -2213 3515
4.60/4.65 v 281 -3505 -3054 -2664 4088
4.60/4.65 v -1879 -4029 1617 1872 950
4.60/4.65 v -33 1703 2015 -3949 452
4.60/4.65 v -400 -1430 -1429 -3163 -3329
4.60/4.65 v 640 4093 -573 321 -924
4.60/4.65 v -3532 -1402 70 2903 -1669
4.60/4.65 v 243 1893 2123 3029 3944
4.60/4.65 v -4108 683 1285 -1021 1684
4.60/4.65 v -1996 -1618 2086 -3554 -2340
4.60/4.65 v 3494 -1945 -1605 -832 -4420
4.60/4.65 v -1343 -2014 -3717 -3971 1025
4.60/4.65 v 2780 737 -4348 -566 1697
4.60/4.65 v -226 3955 -2391 2843 -897
4.60/4.65 v 2326 -374 -1013 -3084 -767
4.60/4.65 v 3694 3485 3455 -3531 -2928
4.60/4.65 v -2502 -1535 3043 487 2546
4.60/4.65 v -1585 -3174 -3475 -525 1274
4.60/4.65 v -3683 -3015 -4162 954 -4058
4.60/4.65 v -4062 1678 1280 -2894 1546
4.60/4.65 v 2798 -3874 3826 -2364 -3177
4.60/4.65 v 2772 4481 3178 -180 2047
4.60/4.65 v 3914 4126 -2068 1687 -4074
4.60/4.65 v 2636 -748 1434 -378 4042
4.60/4.65 v 4095 2680 4492 927 3470
4.60/4.65 v 1667 -4220 -344 2117 -4331
4.60/4.65 v -269 3637 -296 -3125 4400
4.60/4.65 v -2239 -894 682 3986 3560
4.60/4.65 v -2042 3630 4328 -265 3980
4.60/4.65 v 3483 -276 2231 -1650 2203
4.60/4.65 v -937 4440 3376 246 -114
4.60/4.65 v 3252 591 2889 3930 21
4.60/4.65 v -736 -2121 -3709 -3765 -2271
4.60/4.65 v 834 -146 3660 -442 -1068
4.60/4.65 v -2744 816 -2273 3869 -2088
4.60/4.65 v 4321 2435 76 2192 -4323
4.60/4.65 v 820 -1166 2782 -356 -58
4.60/4.65 v 515 633 3270 -3570 3449
4.60/4.65 v -3927 1800 -2262 2151 3183
4.60/4.65 v -148 299 -4325 1295 -3608
4.60/4.65 v 2665 -1364 3316 2483 -4231
4.60/4.65 v -751 -4031 -4187 -3759 -2216
4.60/4.65 v 2206 2749 2921 -2897 2297
4.60/4.65 v 1115 711 1682 1655 -1330
4.60/4.65 v 3946 3957 -3959 -3962 3985
4.60/4.65 v 4002 -4009 4039 -4053 -4054
4.60/4.65 v -4066 -4069 4070 -4076 -4077
4.60/4.65 v -4102 -4104 -4111 -4127 -4131
4.60/4.65 v -4135 4141 4143 -4147 4148
4.60/4.65 v -4156 4163 -4167 -4172 4186
4.60/4.65 v 4192 4198 4203 4208 4214
4.60/4.65 v 4218 4226 -4241 4255 4258
4.60/4.65 v -4266 4267 4269 4275 4295
4.60/4.65 v -4300 4301 -4306 4314 -4320
4.60/4.65 v -4336 -4344 -4347 4355 -4362
4.60/4.65 v 4370 4378 -4397 -4408 -4412
4.60/4.65 v 4421 4424 4433 4446 4457
4.60/4.65 v -4463 -4465 3888 3845 1420
4.60/4.65 v -2915 -3360 -2099 327 2
4.60/4.65 v -5 17 54 -56 -108
4.60/4.65 v -113 -115 -156 158 164
4.60/4.65 v -168 185 186 -221 -222
4.60/4.65 v -1393 3639 -1675 3000 -1532
4.60/4.65 v -2201 478 -3276 -302 -2818
4.60/4.65 v -3388 2474 1362 2720 681
4.60/4.65 v 3273 1846 3909 -1769 3481
4.60/4.65 v 1435 -1747 -3080 2617 1890
4.60/4.65 v -232 -237 239 260 -307
4.60/4.65 v 2499 -2291 267 275 285
4.60/4.65 v -290 292 293 314 326
4.60/4.65 v -339 358 360 -1690 -1921
4.60/4.65 v 2346 384 -385 414 -425
4.60/4.65 v 426 429 251 2134 430
4.60/4.65 v -433 434 -448 -450 458
4.60/4.65 v 470 474 -484 -491 -494
4.60/4.65 v -502 -510 -517 524 558
4.60/4.65 v -559 585 592 602 -604
4.60/4.65 v -607 620 626 636 -642
4.60/4.65 v -647 -650 -659 -665 -678
4.60/4.65 v 710 -714 -727 735 743
4.60/4.65 v 746 752 -773 -774 -781
4.60/4.65 v -800 825 848 -850 -857
4.60/4.65 v -860 863 -878 -898 -914
4.60/4.65 v 920 -944 966 985 987
4.60/4.65 v -988 -1006 -1008 -1022 -1023
4.60/4.65 v 1032 1044 -1045 1050 1053
4.60/4.65 v 1058 -1289 2358 -2276 1080
4.60/4.65 v 1088 -1093 -1099 1100 -1108
4.60/4.65 v -1116 -1125 1134 -1137 -1141
4.60/4.65 v -1156 -1157 -1159 -1174 -1175
4.60/4.65 v 1182 1209 -1235 -1236 1241
4.60/4.65 v -1247 1267 -1279 1286 1302
4.60/4.65 v -1303 1311 1312 -1314 -1321
4.60/4.65 v 1323 -1331 1338 1340 -1352
4.60/4.65 v -1357 1358 -1359 1366 1371
4.60/4.65 v -1372 1375 1392 1400 1414
4.60/4.65 v 1416 1459 1462 -1478 1480
4.60/4.65 v -1488 1497 -1505 1507 -1513
4.60/4.65 v 1522 -1523 1528 -1530 -1557
4.60/4.65 v 1560 1565 -1569 -1576 1578
4.60/4.65 v 1581 1586 1598 -1599 1601
4.60/4.65 v 1604 -1611 1614 1658 -1659
4.60/4.65 v -1663 1668 1672 1688 -1691
4.60/4.65 v 1693 1710 -1720 1731 1742
4.60/4.65 v 1746 -1753 1756 1777 1782
4.60/4.65 v 1785 1788 -1795 -1799 1803
4.60/4.65 v -1804 1809 1811 -1812 -1813
4.60/4.65 v 1818 1820 1822 1824 -1825
4.60/4.65 v 1841 1848 -1853 1856 1866
4.60/4.65 v -1870 -1882 1888 1894 1899
4.60/4.65 v 1908 1909 -1910 1917 1922
4.60/4.65 v 1923 1926 -1931 -1941 -1944
4.60/4.65 v -1958 -1974 1978 -1983 -1993
4.60/4.65 v 2000 2002 -2006 2010 -2019
4.60/4.65 v -2038 -2039 2043 2045 -2063
4.60/4.65 v 2082 -2083 2091 2094 -2104
4.60/4.65 v 2106 2111 2112 2118 2119
4.60/4.65 v 2120 2124 2125 -2137 -2141
4.60/4.65 v -2155 -2165 2190 -2194 2198
4.60/4.65 v 2202 -2207 -2238 2245 2251
4.60/4.65 v -2257 -2258 2260 -2261 2264
4.60/4.65 v -2267 -2290 2307 2311 -2313
4.60/4.65 v 2319 -2323 2327 -2328 -2341
4.60/4.65 v -2343 2348 2349 2352 -2370
4.60/4.65 v 2378 2396 2399 2401 2410
4.60/4.65 v 2418 -2424 2429 2430 2434
4.60/4.65 v -2441 -2448 2453 2457 -2495
4.60/4.65 v -2509 2510 2511 -2512 -2519
4.60/4.65 v 2525 2533 2538 2543 -2548
4.60/4.65 v 2553 -2554 2560 -2563 2565
4.60/4.65 v 2571 2575 2588 2595 -2601
4.60/4.65 v 2611 2621 2628 2647 2654
4.60/4.65 v 2670 -2690 2711 -2719 -2722
4.60/4.65 v -2726 2729 -2740 -2746 2748
4.60/4.65 v 2754 2765 2769 -2770 2778
4.60/4.65 v 2779 2784 2786 2795 2801
4.60/4.65 v 2803 2815 -2817 -2836 2841
4.60/4.65 v 2849 -2859 2860 2867 2868
4.60/4.65 v 2885 2888 2890 -2905 2909
4.60/4.65 v 2920 2930 2932 -2936 -2960
4.60/4.65 v -2963 2965 2969 2995 3003
4.60/4.65 v 3005 -3008 3012 -3023 -3035
4.60/4.65 v -3044 3050 3066 3068 3072
4.60/4.65 v 3076 3081 3082 3085 3098
4.60/4.65 v 3105 3108 -3110 3112 -3114
4.60/4.65 v -3119 -3122 3134 3136 3149
4.60/4.65 v 3150 3161 3165 3169 -3185
4.60/4.65 v 3188 3193 -3197 -3198 -3200
4.60/4.65 v -3204 3206 3217 3219 -3223
4.60/4.65 v -3228 3234 3239 -3242 3258
4.60/4.65 v -3263 -3264 -3278 3282 -3283
4.60/4.65 v -3303 -3304 3309 3311 3319
4.60/4.65 v 3330 3338 -3347 -3349 -3356
4.60/4.65 v -3366 3369 3370 -3373 3375
4.60/4.65 v -3378 -3410 -3412 -3418 3425
4.60/4.65 v -3436 3441 3450 -3456 3457
4.60/4.65 v -3460 -3462 3477 -3489 3491
4.60/4.65 v 3503 -3517 3547 3561 -3580
4.60/4.65 v 3583 3595 -3603 -3605 3610
4.60/4.65 v -3611 3662 -3674 -3687 3690
4.60/4.65 v -3699 3705 3714 -3725 -3734
4.60/4.65 v -3735 3744 3752 -3766 3770
4.60/4.65 v -3783 -3787 3807 3824 3830
4.60/4.65 v 3849 3868 -3870 -3881 -3885
4.60/4.65 v -3891 -3895 3916 -3918 -3919
4.60/4.65 v -3931 3984 -4008 -4028 -4030
4.60/4.65 v 4033 -4037 -4041 -4046 4078
4.60/4.65 v -4079 4082 -4086 -4092 -4099
4.60/4.65 v 4105 4109 4146 -4171 4176
4.60/4.65 v -4180 4182 4223 4253 4272
4.60/4.65 v -4286 -4290 -4297 4309 -4318
4.60/4.65 v -4324 4326 -4343 -4426 4435
4.60/4.65 v -4455 -4466 4475 -4483 1520
4.60/4.65 v -223 4100 -363 3764 1065
4.60/4.65 v -4025 2730 3559 -4339 712
4.60/4.65 v 3159 -2531 -4230 -4010 -1398
4.60/4.65 v -2452 2463 -273 -1344 -13
4.60/4.65 v 2222 -1324 1984 194 1956
4.60/4.65 v -1949 -1451 -2484 -4209 1696
4.60/4.65 v 867 2226 1298 -15 -3438
4.60/4.65 v 936 -3157 1979 889 -866
4.60/4.65 v 3245 873 4050 -2808 -3321
4.60/4.65 v -3361 2444 -3331 -2475 1079
4.60/4.65 v 1619 369 3786 1863 -2572
4.60/4.65 v 155 2105 -2489 -490 -301
4.60/4.65 v -1886 -4001 572 -1930 -1584
4.60/4.65 v 1677 1524 3207 -3211 -2478
4.60/4.65 v 2357 4402 1054 -4151 154
4.60/4.65 v 1282 2652 7 -12 43
4.60/4.65 v 49 55 62 -66 72
4.60/4.65 v -79 93 126 127 -150
4.60/4.65 v 159 -181 -201 235 -304
4.60/4.65 v -312 371 393 407 409
4.60/4.65 v -419 -427 449 460 -499
4.60/4.65 v 503 514 523 -540 541
4.60/4.65 v -556 -568 582 622 623
4.60/4.65 v 628 -637 -643 649 651
4.60/4.65 v -658 675 -685 718 720
4.60/4.65 v 723 -728 757 -766 775
4.60/4.65 v 776 787 -790 803 -813
4.60/4.65 v 856 -872 -913 918 925
4.60/4.65 v -968 -974 -977 993 995
4.60/4.65 v 1007 -1030 -1041 1059 1069
4.60/4.65 v -1077 1097 -1098 1106 -1119
4.60/4.65 v -1164 1192 -1205 1214 1218
4.60/4.65 v 1228 1230 -1231 -1232 1246
4.60/4.65 v 1265 -1317 1350 -1351 -1353
4.60/4.65 v 1365 -1383 -1387 -1394 1408
4.60/4.65 v 1423 -1426 1438 1439 1445
4.60/4.65 v 1447 -1449 -1450 1455 -1489
4.60/4.65 v 1512 1540 1556 1572 1587
4.60/4.65 v 1588 -1606 -1620 1631 -1644
4.60/4.65 v -1679 1700 -1713 -1715 -1718
4.60/4.65 v 1738 1740 -1794 1801 -1816
4.60/4.65 v 1833 -1836 -1844 -1861 -1914
4.60/4.65 v 1916 1965 -1988 1995 -2016
4.60/4.65 v 2020 -2061 2081 -2100 -2115
4.60/4.65 v -2161 -2205 -2219 2234 2254
4.60/4.65 v -2259 -2266 2270 2285 -2288
4.60/4.65 v -2302 -2374 -2382 -2389 2395
4.60/4.65 v -2422 2423 2436 2492 2508
4.60/4.65 v 2530 -2576 2578 2596 -2608
4.60/4.65 v -2637 -2663 2667 2668 2677
4.60/4.65 v 2679 -2697 2716 -2723 -2727
4.60/4.65 v -2735 -2773 2790 -2793 -2845
4.60/4.65 v 2846 2914 2961 -2971 3039
4.60/4.65 v 3063 -3103 -3116 3135 3139
4.60/4.65 v 3158 -3168 -3172 3191 -3192
4.60/4.65 v 3199 3227 3236 -3237 -3328
4.60/4.65 v 3335 3355 3383 3385 3453
4.60/4.65 v -3473 -3498 3525 3571 3602
4.60/4.65 v 3612 3618 3649 3736 3756
4.60/4.65 v 3768 3774 3781 -3790 -3817
4.60/4.65 v 3820 -3873 3875 3890 -3907
4.60/4.65 v -3933 -3976 -3979 3996 -4023
4.60/4.65 v -4089 4170 4217 4221 4236
4.60/4.65 v -4240 -4256 4270 4294 4303
4.60/4.65 v -4315 4322 -4349 4432 -4451
4.60/4.65 v 4454 4489 4499 -657 -2937
4.60/4.65 v 4375 351 1492 -906 -930
4.60/4.65 v 959 3697 1086 -3567 -2408
4.60/4.65 v -1406 2503 -1651 -25 -28
4.60/4.65 v 64 172 187 204 -228
4.60/4.65 v -258 309 -323 -355 413
4.60/4.65 v -435 -451 481 -485 518
4.60/4.65 v 560 561 562 -586 -610
4.60/4.65 v 667 680 719 -805 806
4.60/4.65 v -851 859 896 -915 916
4.60/4.65 v -935 -948 961 976 1001
4.60/4.65 v -1140 1148 1162 -1176 -1179
4.60/4.65 v -1202 1224 1257 1262 -1290
4.60/4.65 v -1313 1318 1320 -1325 1327
4.60/4.65 v 1339 -1385 1443 1482 -1529
4.60/4.65 v 1566 1575 1589 1609 -1734
4.60/4.65 v -1739 -1767 1837 1875 1919
4.60/4.65 v -2009 -2024 -2075 2114 2204
4.60/4.65 v 2330 -2409 2432 -2439 -2470
4.60/4.65 v 2541 -2641 -2658 -2669 2676
4.60/4.65 v -2685 -2686 2858 2865 -2976
4.60/4.65 v 3036 3062 3202 3225 -3307
4.60/4.65 v -3337 -3443 3444 -3472 3493
4.60/4.65 v 3521 3527 3545 3562 3638
4.60/4.65 v 3644 3686 -3795 3903 4132
4.60/4.65 v 4196 4206 -4222 4234 4235
4.60/4.65 v -4288 4332 -4380 4404 4418
4.60/4.65 v -4449 -2103 134 -178 216
4.60/4.65 v 220 -234 248 -379 421
4.60/4.65 v 496 511 -531 638 677
4.60/4.65 v 696 847 -998 999 1020
4.60/4.65 v -1070 -1089 1096 1168 -1169
4.60/4.65 v -1178 1401 1504 1515 1527
4.60/4.65 v -1580 -1639 -1648 -1698 1721
4.60/4.65 v 1724 -1735 -1796 -1858 1942
4.60/4.65 v 1973 2147 2176 2235 2431
4.60/4.65 v 2491 -2605 2615 -2629 2696
4.60/4.65 v 2760 2788 2899 2912 3055
4.60/4.65 v 3201 -3209 3215 -3261 -3322
4.60/4.65 v -3336 -3397 3427 3579 3634
4.60/4.65 v -3715 -3721 3758 3789 3853
4.60/4.65 v -3860 -3943 4013 -4014 4061
4.60/4.65 v 4251 4334 -4474 -1495 1
4.60/4.65 v 131 153 -255 -284 328
4.60/4.65 v 330 -402 -535 755 -812
4.60/4.65 v -815 1075 -1078 -1142 -1198
4.60/4.65 v 1204 -1208 -1237 -1263 1328
4.60/4.65 v 1409 -1732 1865 1964 -2028
4.60/4.65 v 2040 2074 2183 2208 2253
4.60/4.65 v -2305 2316 -2368 -2559 -2579
4.60/4.65 v -2585 -2593 2631 2762 -2789
4.60/4.65 v -2812 2833 -2874 2981 -2984
4.60/4.65 v -3102 3160 3368 -3469 3499
4.60/4.65 v -3565 -3685 -3821 3900 4130
4.60/4.65 v 4450 2614 277 -431 441
4.60/4.65 v 579 -686 818 -1122 1131
4.60/4.65 v -1275 1382 -1476 1521 -1567
4.60/4.65 v -1582 1784 -1845 -1992 2032
4.60/4.65 v 2093 -2156 2366 2390 3020
4.60/4.65 v -3371 3381 3415 3732 -3771
4.60/4.65 v -3778 -3784 3864 4142 -4327
4.60/4.65 v 4364 -4388 4448 98 3558
4.60/4.65 v 4129 3573 463 -294 3167
4.60/4.65 v 3429 190 -2756 2945 1625
4.60/4.65 v 3741 3712 -105 163 -253
4.60/4.65 v 263 445 701 990 1107
4.60/4.65 v 1200 -1288 1466 1536 1549
4.60/4.65 v -1552 1765 -2640 -2644 -2811
4.60/4.65 v -2910 3235 -3279 -3619 3794
4.60/4.65 v 4106 306 2935 1082 -1760
4.60/4.65 v 395 1171 -1368 1437 1474
4.60/4.65 v 1847 -3399 4479 -1928 -2241
4.60/4.65 v 0
4.60/4.65 c Computation time : 4.610 seconds
4.60/4.65 c Execution time : 4.640 seconds
4.60/4.65 c Size of search tree : 645 nodes
4.60/4.65
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node65/watcher-308985-1172531695 -o ROOT/results/node65/solver-308985-1172531695 -C 1200 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/308985-1172531695/kcnfs-2004 /tmp/evaluation/308985-1172531695/instance-308985-1172531695.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.85 0.97 0.99 3/64 19990
/proc/meminfo: memFree=1882192/2055920 swapFree=4172316/4192956
[pid=19990] ppid=19988 vsize=16160 CPUtime=0
/proc/19990/stat : 19990 (kcnfs-2004) R 19988 19990 19644 0 -1 0 129 0 0 0 0 0 0 0 18 0 1 0 273127033 16547840 109 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134614467 0 0 4096 0 0 0 0 17 1 0 0
/proc/19990/statm: 4040 109 38 107 0 3929 0
[startup+0.107221 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 19990
/proc/meminfo: memFree=1882192/2055920 swapFree=4172316/4192956
[pid=19990] ppid=19988 vsize=19680 CPUtime=0.09
/proc/19990/stat : 19990 (kcnfs-2004) R 19988 19990 19644 0 -1 0 1329 0 0 0 9 0 0 0 18 0 1 0 273127033 20152320 1308 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134532236 0 0 4096 0 0 0 0 17 1 0 0
/proc/19990/statm: 4920 1308 59 107 0 4809 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19680
[startup+0.515286 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 19990
/proc/meminfo: memFree=1882192/2055920 swapFree=4172316/4192956
[pid=19990] ppid=19988 vsize=19680 CPUtime=0.5
/proc/19990/stat : 19990 (kcnfs-2004) R 19988 19990 19644 0 -1 0 1335 0 0 0 50 0 0 0 21 0 1 0 273127033 20152320 1314 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134528597 0 0 4096 0 0 0 0 17 1 0 0
/proc/19990/statm: 4920 1314 59 107 0 4809 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 19680
[startup+1.33542 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 19991
/proc/meminfo: memFree=1877000/2055920 swapFree=4172316/4192956
[pid=19990] ppid=19988 vsize=19680 CPUtime=1.32
/proc/19990/stat : 19990 (kcnfs-2004) R 19988 19990 19644 0 -1 0 1336 0 0 0 132 0 0 0 25 0 1 0 273127033 20152320 1315 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134528376 0 0 4096 0 0 0 0 17 1 0 0
/proc/19990/statm: 4920 1315 59 107 0 4809 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 19680
[startup+2.97169 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 19991
/proc/meminfo: memFree=1876872/2055920 swapFree=4172316/4192956
[pid=19990] ppid=19988 vsize=19680 CPUtime=2.96
/proc/19990/stat : 19990 (kcnfs-2004) R 19988 19990 19644 0 -1 0 1336 0 0 0 296 0 0 0 25 0 1 0 273127033 20152320 1315 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134529641 0 0 4096 0 0 0 0 17 1 0 0
/proc/19990/statm: 4920 1315 59 107 0 4809 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 19680
Solver just ended. Dumping a history of the last processes samples
[startup+3.27774 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 19991
/proc/meminfo: memFree=1876872/2055920 swapFree=4172316/4192956
[pid=19990] ppid=19988 vsize=19680 CPUtime=3.26
/proc/19990/stat : 19990 (kcnfs-2004) R 19988 19990 19644 0 -1 0 1336 0 0 0 326 0 0 0 25 0 1 0 273127033 20152320 1315 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134528631 0 0 4096 0 0 0 0 17 1 0 0
/proc/19990/statm: 4920 1315 59 107 0 4809 0
Current children cumulated CPU time (s) 3.26
Current children cumulated vsize (KiB) 19680
[startup+4.09987 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 19991
/proc/meminfo: memFree=1876872/2055920 swapFree=4172316/4192956
[pid=19990] ppid=19988 vsize=19680 CPUtime=4.08
/proc/19990/stat : 19990 (kcnfs-2004) R 19988 19990 19644 0 -1 0 1336 0 0 0 408 0 0 0 25 0 1 0 273127033 20152320 1315 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134529176 0 0 4096 0 0 0 0 17 1 0 0
/proc/19990/statm: 4920 1315 59 107 0 4809 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 19680
[startup+4.50794 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 19991
/proc/meminfo: memFree=1876872/2055920 swapFree=4172316/4192956
[pid=19990] ppid=19988 vsize=19680 CPUtime=4.5
/proc/19990/stat : 19990 (kcnfs-2004) R 19988 19990 19644 0 -1 0 1337 0 0 0 450 0 0 0 25 0 1 0 273127033 20152320 1316 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134577867 0 0 4096 0 0 0 0 17 1 0 0
/proc/19990/statm: 4920 1316 59 107 0 4809 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 19680
[startup+4.61396 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 19991
/proc/meminfo: memFree=1876872/2055920 swapFree=4172316/4192956
[pid=19990] ppid=19988 vsize=19680 CPUtime=4.6
/proc/19990/stat : 19990 (kcnfs-2004) R 19988 19990 19644 0 -1 0 1337 0 0 0 460 0 0 0 25 0 1 0 273127033 20152320 1316 18446744073709551615 134512640 134953336 4294956704 18446744073709551615 134577665 0 0 4096 0 0 0 0 17 1 0 0
/proc/19990/statm: 4920 1316 59 107 0 4809 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 19680
Child status: 10
Real time (s): 4.6621
CPU time (s): 4.65729
CPU user time (s): 4.64329
CPU system time (s): 0.013997
CPU usage (%): 99.8968
Max. virtual memory (cumulated for all children) (KiB): 19680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.64329
system time used= 0.013997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1343
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= 5
runsolver used 0.005999 second user time and 0.020996 second system time
The end
Begin job on node65 on Mon Feb 26 23:14:55 UTC 2007
IDJOB= 308985
IDBENCH= 20247
IDSOLVER= 114
FILE ID= node65/308985-1172531695
PBS_JOBID= 3971824
Free space on /tmp= 66558 MiB
SOLVER NAME= KCNFS 2004
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
COMMAND LINE= /tmp/evaluation/308985-1172531695/kcnfs-2004 /tmp/evaluation/308985-1172531695/instance-308985-1172531695.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-308985-1172531695 -o ROOT/results/node65/solver-308985-1172531695 -C 1200 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/308985-1172531695/kcnfs-2004 /tmp/evaluation/308985-1172531695/instance-308985-1172531695.cnf
META MD5SUM SOLVER= 23f87ccf1c743ff5b6146b444e216cd3
MD5SUM BENCH= 38e2a9bd59e68a32cdb8e1dbac558add
RANDOM SEED= 655053216
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node65.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.259
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.259
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: 1882664 kB
Buffers: 22916 kB
Cached: 102136 kB
SwapCached: 14756 kB
Active: 59880 kB
Inactive: 86716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1882664 kB
SwapTotal: 4192956 kB
SwapFree: 4172316 kB
Dirty: 3336 kB
Writeback: 0 kB
Mapped: 15336 kB
Slab: 12668 kB
Committed_AS: 627224 kB
PageTables: 1456 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= 66558 MiB
End job on node65 on Mon Feb 26 23:15:00 UTC 2007