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