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