Trace number 372283

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
PB-clasp 2007-03-23SAT (MO)243089 72.64 72.8375

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/reduced/
submittedPB07/aksoy/trarea_ac/normalized-reduced-fir10_trarea_ac.opb
MD5SUM7ed8ae7116a489c037a0d97015217f38
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1646
Best CPU time to get the best result obtained on this benchmark484.329
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1646
Optimality of the best value was proved YES
Number of variables26836
Total number of constraints55586
Number of constraints which are clauses55586
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint359
Number of terms in the objective function 13364
Biggest coefficient in the objective function 54
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 530936
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 54
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 530936
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

22.07/22.19	o 243089
70.73/70.82	c Somebody sent me a SIGTERM
70.73/70.82	s SATISFIABLE
70.73/70.82	v x860 x866 x892 x893 x899 x902 x905 x906 x907 x909 x913 x915 x917 x919 x925 x927 x931 x935 x937 x949 x953 x955 x963 x966 x968 x970
70.73/70.82	v x978 x980 x982 x986 x990 x992 x994 x996 x1000 x1006 x1010 x1014 x1021 x1029 x1031 x1034 x1038 x1042 x1046 x1048 x1050 x1054
70.73/70.82	v x1058 x1063 x1069 x1073 x1085 x1087 x1091 x1101 x1111 x1113 x1121 x1123 x1127 x1132 x1144 x1150 x1152 x1154 x1158 x1162 x1166
70.73/70.82	v x1168 x1170 x1172 x1174 x1176 x1178 x1180 x1182 x1186 x1190 x1194 x1198 x1200 x1206 x1210 x1212 x1214 x1224 x1229 x1235 x1239
70.73/70.82	v x1245 x1247 x1249 x1251 x1259 x1263 x1278 x1282 x1284 x1286 x1288 x1290 x1296 x1298 x1302 x1304 x1308 x1313 x1315 x1317 x1319
70.73/70.82	v x1321 x1328 x1330 x1334 x1340 x1342 x1344 x1363 x1365 x1369 x1375 x1379 x1383 x1387 x1393 x1395 x1401 x1409 x1411 x1413 x1419
70.73/70.82	v x1425 x1427 x1437 x1441 x1443 x1445 x1451 x1463 x1475 x1487 x1489 x1495 x1497 x1499 x1501 x1505 x1511 x1513 x1515 x1517 x1521
70.73/70.82	v x1523 x1525 x1531 x1551 x1553 x1557 x1561 x1569 x1571 x1579 x1583 x1585 x1589 x1591 x1593 x1595 x1597 x1601 x1603 x1607 x1609
70.73/70.82	v x1613 x1627 x1631 x1645 x1647 x1651 x1659 x1669 x1671 x1673 x1679 x1685 x1687 x1689 x1695 x1701 x1705 x1707 x1709 x1711 x1715
70.73/70.82	v x1717 x1723 x1735 x1743 x1757 x1761 x1763 x1765 x1773 x1779 x1787 x1789 x1793 x1795 x1797 x1799 x1801 x1807 x1813 x1817 x1819
70.73/70.82	v x1827 x1835 x1847 x1849 x1851 x1853 x1859 x1863 x1867 x1871 x1873 x1875 x1879 x1883 x1885 x1889 x1891 x1895 x1897 x1899 x1901
70.73/70.82	v x1903 x1909 x1911 x1913 x1915 x1921 x1923 x1927 x1935 x1937 x1943 x1949 x1951 x1953 x1955 x1957 x1961 x1965 x1967 x1977 x1983
70.73/70.82	v x2005 x2011 x2015 x2019 x2021 x2023 x2025 x2035 x2047 x2051 x2053 x2057 x2059 x2063 x2065 x2081 x2087 x2089 x2091 x2093 x2095
70.73/70.82	v x2099 x2101 x2103 x2107 x2109 x2111 x2113 x2115 x2119 x2123 x2125 x2129 x2135 x2141 x2143 x2145 x2147 x2153 x2155 x2157 x2159
70.73/70.82	v x2161 x2167 x2169 x2171 x2181 x2183 x2185 x2187 x2189 x2193 x2195 x2197 x2199 x2201 x2203 x2213 x2215 x2223 x2225 x2237 x2245
70.73/70.82	v x2247 x2249 x2257 x2259 x2261 x2263 x2267 x2269 x2271 x2281 x2283 x2285 x2289 x2291 x2295 x2297 x2299 x2303 x2307 x2311 x2319
70.73/70.82	v x2323 x2329 x2333 x2335 x2341 x2343 x2345 x2349 x2353 x2361 x2365 x2367 x2369 x2371 x2373 x2375 x2379 x2381 x2387 x2391 x2393
70.73/70.82	v x2403 x2405 x2407 x2409 x2411 x2413 x2417 x2419 x2425 x2427 x2431 x2433 x2435 x2439 x2443 x2445 x2449 x2451 x2457 x2463 x2471
70.73/70.82	v x2473 x2481 x2487 x2495 x2497 x2503 x2507 x2511 x2517 x2525 x2535 x2541 x2543 x2547 x2557 x2559 x2561 x2563 x2565 x2567 x2571
70.73/70.82	v x2575 x2577 x2579 x2581 x2583 x2585 x2591 x2604 x2610 x2614 x2616 x2618 x2628 x2630 x2636 x2638 x2640 x2646 x2650 x2652 x2654
70.73/70.82	v x2656 x2658 x2664 x2666 x2670 x2678 x2680 x2682 x2686 x2688 x2690 x2694 x2698 x2700 x2702 x2706 x2714 x2716 x2722 x2726 x2728
70.73/70.82	v x2732 x2734 x2738 x2740 x2746 x2748 x2750 x2756 x2760 x2766 x2768 x2772 x2778 x2790 x2794 x2796 x2806 x2808 x2814 x2818 x2822
70.73/70.82	v x2826 x2830 x2832 x2838 x2843 x2845 x2847 x2851 x2853 x2855 x2857 x2863 x2871 x2873 x2880 x2885 x2887 x2889 x2891 x2893 x2901
70.73/70.82	v x2903 x2905 x2913 x2917 x2929 x2933 x2935 x2941 x2945 x2947 x2951 x2955 x2959 x2961 x2965 x2969 x2971 x2973 x2975 x2979 x2985
70.73/70.82	v x2997 x2999 x3003 x3005 x3009 x3015 x3017 x3021 x3023 x3025 x3029 x3033 x3039 x3045 x3047 x3049 x3051 x3053 x3055 x3057 x3069
70.73/70.82	v x3073 x3081 x3083 x3085 x3091 x3105 x3109 x3117 x3119 x3121 x3123 x3127 x3129 x3133 x3135 x3137 x3139 x3143 x3147 x3149 x3151
70.73/70.82	v x3153 x3157 x3159 x3161 x3163 x3173 x3175 x3179 x3183 x3189 x3191 x3193 x3197 x3205 x3213 x3215 x3216 x3217 x3219 x3223 x3227
70.73/70.82	v x3231 x3233 x3235 x3237 x3243 x3245 x3249 x3251 x3257 x3263 x3269 x3275 x3277 x3279 x3283 x3285 x3289 x3291 x3293 x3299 x3301
70.73/70.82	v x3309 x3311 x3315 x3319 x3321 x3333 x3337 x3347 x3349 x3355 x3359 x3361 x3363 x3369 x3373 x3375 x3381 x3383 x3385 x3387 x3391
70.73/70.82	v x3393 x3395 x3405 x3409 x3413 x3417 x3419 x3421 x3423 x3427 x3429 x3431 x3433 x3443 x3445 x3447 x3451 x3453 x3457 x3459 x3463
70.73/70.82	v x3465 x3467 x3469 x3479 x3481 x3483 x3487 x3491 x3493 x3497 x3499 x3503 x3505 x3507 x3509 x3511 x3513 x3517 x3521 x3525 x3529
70.73/70.82	v x3535 x3537 x3539 x3541 x3547 x3551 x3553 x3555 x3557 x3563 x3567 x3571 x3573 x3575 x3577 x3581 x3593 x3597 x3601 x3613 x3615
70.73/70.82	v x3617 x3621 x3625 x3627 x3629 x3631 x3637 x3639 x3641 x3645 x3647 x3649 x3651 x3653 x3659 x3663 x3665 x3669 x3671 x3673 x3687
70.73/70.82	v x3689 x3693 x3701 x3703 x3707 x3709 x3711 x3718 x3722 x3724 x3728 x3732 x3736 x3740 x3742 x3746 x3756 x3762 x3768 x3770 x3772
70.73/70.82	v x3774 x3776 x3778 x3784 x3795 x3799 x3801 x3803 x3815 x3819 x3821 x3823 x3827 x3829 x3831 x3842 x3844 x3850 x3856 x3858 x3860
70.73/70.82	v x3864 x3870 x3872 x3874 x3876 x3880 x3884 x3892 x3894 x3896 x3898 x3900 x3904 x3906 x3908 x3910 x3912 x3916 x3920 x3922 x3924
70.73/70.82	v x3926 x3930 x3932 x3934 x3954 x3958 x3962 x3964 x3972 x3978 x3982 x3986 x3996 x3998 x4002 x4004 x4008 x4010 x4012 x4014 x4018
70.73/70.82	v x4022 x4028 x4030 x4036 x4038 x4040 x4042 x4046 x4050 x4052 x4056 x4060 x4062 x4064 x4066 x4074 x4076 x4078 x4090 x4092 x4097
70.73/70.82	v x4101 x4103 x4105 x4111 x4113 x4123 x4125 x4131 x4135 x4149 x4155 x4163 x4167 x4177 x4183 x4187 x4197 x4199 x4203 x4205 x4207
70.73/70.82	v x4209 x4211 x4215 x4221 x4225 x4227 x4235 x4247 x4251 x4255 x4257 x4267 x4269 x4271 x4277 x4279 x4287 x4289 x4293 x4295 x4297
70.73/70.82	v x4299 x4301 x4305 x4307 x4309 x4311 x4313 x4315 x4321 x4325 x4329 x4333 x4335 x4337 x4339 x4343 x4345 x4347 x4352 x4353 x4355
70.73/70.82	v x4357 x4365 x4369 x4371 x4375 x4379 x4381 x4385 x4389 x4391 x4393 x4399 x4401 x4403 x4405 x4413 x4415 x4417 x4421 x4425 x4433
70.73/70.82	v x4437 x4439 x4443 x4447 x4449 x4451 x4457 x4461 x4467 x4469 x4473 x4477 x4479 x4485 x4487 x4489 x4491 x4499 x4509 x4511 x4513
70.73/70.82	v x4515 x4519 x4521 x4523 x4525 x4527 x4539 x4541 x4543 x4551 x4553 x4557 x4559 x4563 x4565 x4569 x4575 x4577 x4583 x4585 x4587
70.73/70.82	v x4603 x4605 x4609 x4613 x4627 x4629 x4631 x4635 x4639 x4641 x4651 x4657 x4663 x4665 x4669 x4677 x4681 x4683 x4685 x4687 x4697
70.73/70.82	v x4699 x4705 x4711 x4713 x4715 x4717 x4719 x4721 x4727 x4733 x4743 x4745 x4747 x4753 x4755 x4767 x4769 x4771 x4773 x4781 x4783
70.73/70.82	v x4803 x4817 x4823 x4825 x4827 x4829 x4845 x4847 x4853 x4865 x4871 x4873 x4877 x4881 x4889 x4891 x4895 x4897 x4901 x4903 x4923
70.73/70.82	v x4925 x4927 x4929 x4931 x4941 x4943 x4947 x4949 x4951 x4955 x4959 x4961 x4963 x4969 x4971 x4977 x4979 x4983 x4987 x4991 x4993
70.73/70.82	v x4999 x5003 x5011 x5013 x5019 x5021 x5023 x5027 x5029 x5039 x5041 x5047 x5055 x5057 x5063 x5065 x5071 x5073 x5075 x5077 x5079
70.73/70.82	v x5081 x5087 x5093 x5099 x5103 x5113 x5117 x5121 x5123 x5125 x5129 x5131 x5137 x5139 x5141 x5147 x5149 x5153 x5155 x5159 x5169
70.73/70.82	v x5177 x5179 x5187 x5191 x5193 x5197 x5211 x5215 x5221 x5223 x5225 x5227 x5229 x5239 x5241 x5245 x5249 x5251 x5253 x5259 x5265
70.73/70.82	v x5271 x5277 x5285 x5287 x5289 x5291 x5293 x5295 x5297 x5299 x5305 x5307 x5311 x5313 x5317 x5319 x5321 x5325 x5331 x5337 x5339
70.73/70.82	v x5341 x5343 x5345 x5349 x5353 x5365 x5367 x5371 x5375 x5377 x5387 x5389 x5395 x5397 x5399 x5407 x5411 x5413 x5419 x5427 x5429
70.73/70.82	v x5433 x5437 x5443 x5445 x5457 x5459 x5461 x5463 x5465 x5467 x5473 x5475 x5479 x5481 x5485 x5487 x5493 x5495 x5501 x5505 x5511
70.73/70.82	v x5515 x5517 x5519 x5529 x5543 x5545 x5555 x5557 x5559 x5561 x5563 x5565 x5571 x5575 x5579 x5583 x5593 x5605 x5607 x5613 x5615
70.73/70.82	v x5617 x5625 x5627 x5631 x5633 x5635 x5639 x5657 x5663 x5667 x5669 x5671 x5673 x5681 x5685 x5691 x5695 x5703 x5705 x5709 x5711
70.73/70.82	v x5713 x5717 x5723 x5725 x5727 x5729 x5737 x5741 x5753 x5757 x5761 x5763 x5765 x5773 x5775 x5779 x5781 x5783 x5791 x5793 x5803
70.73/70.82	v x5809 x5813 x5817 x5827 x5835 x5837 x5845 x5847 x5851 x5855 x5857 x5861 x5863 x5865 x5867 x5875 x5877 x5879 x5881 x5883 x5885
70.73/70.82	v x5887 x5889 x5891 x5893 x5895 x5901 x5903 x5907 x5911 x5921 x5925 x5929 x5931 x5933 x5935 x5945 x5947 x5949 x5955 x5957 x5959
70.73/70.82	v x5961 x5963 x5973 x5979 x5983 x5985 x5991 x5993 x5995 x6001 x6003 x6011 x6013 x6015 x6025 x6031 x6035 x6053 x6057 x6059 x6071
70.73/70.82	v x6073 x6075 x6087 x6093 x6097 x6099 x6103 x6105 x6109 x6119 x6125 x6133 x6135 x6137 x6139 x6141 x6143 x6145 x6147 x6149 x6151
70.73/70.82	v x6153 x6157 x6161 x6173 x6177 x6201 x6203 x6205 x6207 x6209 x6211 x6223 x6225 x6229 x6231 x6241 x6251 x6255 x6257 x6261 x6263
70.73/70.82	v x6265 x6271 x6275 x6289 x6291 x6297 x6303 x6305 x6309 x6311 x6321 x6329 x6331 x6347 x6349 x6359 x6361 x6371 x6377 x6395 x6401
70.73/70.82	v x6403 x6407 x6411 x6413 x6419 x6421 x6423 x6425 x6427 x6433 x6443 x6445 x6447 x6449 x6451 x6453 x6455 x6459 x6461 x6463 x6473
70.73/70.82	v x6475 x6477 x6479 x6485 x6491 x6495 x6497 x6501 x6503 x6505 x6511 x6515 x6521 x6527 x6535 x6539 x6541 x6545 x6551 x6553 x6561
70.73/70.82	v x6565 x6573 x6577 x6581 x6587 x6593 x6597 x6599 x6601 x6615 x6617 x6621 x6627 x6631 x6633 x6637 x6645 x6649 x6651 x6655 x6657
70.73/70.82	v x6659 x6673 x6681 x6683 x6687 x6696 x6708 x6718 x6720 x6724 x6726 x6732 x6736 x6742 x6744 x6748 x6754 x6756 x6762 x6768 x6770
70.73/70.82	v x6772 x6774 x6776 x6778 x6784 x6788 x6790 x6798 x6806 x6810 x6814 x6818 x6820 x6826 x6828 x6830 x6836 x6838 x6840 x6842 x6844
70.73/70.82	v x6846 x6848 x6854 x6862 x6864 x6870 x6872 x6880 x6882 x6886 x6890 x6892 x6896 x6900 x6902 x6904 x6910 x6918 x6920 x6922 x6928
70.73/70.82	v x6932 x6934 x6936 x6941 x6945 x6947 x6953 x6955 x6961 x6965 x6971 x6973 x6975 x6983 x6985 x6989 x6998 x7000 x7016 x7018 x7022
70.73/70.82	v x7028 x7032 x7048 x7050 x7056 x7061 x7063 x7067 x7069 x7073 x7075 x7079 x7085 x7091 x7095 x7097 x7099 x7101 x7103 x7107 x7111
70.73/70.82	v x7113 x7115 x7119 x7127 x7129 x7145 x7149 x7151 x7159 x7161 x7163 x7165 x7167 x7169 x7171 x7179 x7185 x7189 x7208 x7210 x7212
70.73/70.82	v x7214 x7216 x7218 x7220 x7222 x7230 x7232 x7234 x7240 x7242 x7252 x7258 x7264 x7266 x7270 x7274 x7278 x7282 x7288 x7294 x7296
70.73/70.82	v x7300 x7302 x7304 x7306 x7308 x7310 x7312 x7317 x7319 x7323 x7325 x7327 x7331 x7345 x7351 x7353 x7363 x7365 x7367 x7376 x7378
70.73/70.82	v x7380 x7384 x7386 x7388 x7392 x7396 x7402 x7408 x7416 x7418 x7424 x7426 x7428 x7430 x7432 x7436 x7440 x7442 x7450 x7454 x7456
70.73/70.82	v x7459 x7461 x7463 x7465 x7467 x7469 x7475 x7480 x7487 x7491 x7493 x7495 x7499 x7507 x7514 x7516 x7520 x7528 x7530 x7537 x7541
70.73/70.82	v x7543 x7545 x7549 x7551 x7559 x7563 x7565 x7569 x7571 x7575 x7579 x7581 x7583 x7585 x7587 x7599 x7603 x7607 x7609 x7611 x7615
70.73/70.82	v x7617 x7624 x7626 x7631 x7636 x7638 x7640 x7642 x7646 x7650 x7652 x7656 x7658 x7660 x7662 x7664 x7668 x7670 x7672 x7680 x7686
70.73/70.82	v x7690 x7692 x7696 x7698 x7700 x7704 x7706 x7708 x7718 x7722 x7728 x7732 x7738 x7740 x7742 x7744 x7750 x7752 x7756 x7758 x7760
70.73/70.82	v x7768 x7772 x7776 x7778 x7786 x7790 x7792 x7794 x7796 x7808 x7816 x7820 x7824 x7826 x7832 x7834 x7836 x7838 x7842 x7848 x7850
70.73/70.82	v x7856 x7862 x7868 x7870 x7876 x7891 x7895 x7900 x7910 x7912 x7916 x7920 x7922 x7928 x7936 x7940 x7942 x7948 x7961 x7967 x7971
70.73/70.82	v x7984 x7990 x7992 x7998 x8004 x8006 x8008 x8010 x8029 x8032 x8034 x8036 x8039 x8045 x8047 x8051 x8053 x8055 x8057 x8063 x8065
70.73/70.82	v x8067 x8071 x8076 x8088 x8093 x8095 x8101 x8103 x8105 x8111 x8115 x8117 x8123 x8125 x8129 x8131 x8133 x8137 x8147 x8149 x8153
70.73/70.82	v x8161 x8163 x8171 x8179 x8181 x8185 x8189 x8191 x8197 x8201 x8203 x8205 x8219 x8223 x8227 x8247 x8253 x8261 x8265 x8281 x8285
70.73/70.82	v x8287 x8289 x8291 x8307 x8309 x8311 x8313 x8317 x8321 x8327 x8333 x8349 x8355 x8361 x8363 x8367 x8369 x8373 x8377 x8379 x8381
70.73/70.82	v x8385 x8393 x8395 x8399 x8403 x8409 x8421 x8431 x8435 x8437 x8445 x8447 x8449 x8451 x8453 x8455 x8461 x8465 x8467 x8473 x8477
70.73/70.82	v x8481 x8487 x8489 x8491 x8495 x8499 x8501 x8505 x8509 x8511 x8513 x8521 x8529 x8533 x8535 x8541 x8543 x8547 x8551 x8555 x8563
70.73/70.82	v x8565 x8569 x8573 x8575 x8577 x8579 x8581 x8585 x8587 x8591 x8593 x8595 x8599 x8601 x8603 x8605 x8611 x8613 x8615 x8621 x8623
70.73/70.82	v x8625 x8629 x8631 x8633 x8641 x8643 x8647 x8655 x8663 x8665 x8667 x8669 x8671 x8673 x8675 x8679 x8683 x8693 x8695 x8697 x8699
70.73/70.82	v x8701 x8703 x8705 x8709 x8719 x8727 x8729 x8731 x8733 x8741 x8745 x8747 x8751 x8753 x8757 x8759 x8761 x8769 x8775 x8781 x8787
70.73/70.82	v x8789 x8791 x8799 x8803 x8805 x8807 x8811 x8813 x8815 x8817 x8823 x8827 x8829 x8831 x8833 x8837 x8839 x8845 x8847 x8849 x8855
70.73/70.82	v x8857 x8863 x8865 x8867 x8869 x8871 x8873 x8877 x8883 x8885 x8891 x8895 x8897 x8899 x8904 x8906 x8908 x8916 x8918 x8920 x8922
70.73/70.82	v x8928 x8930 x8932 x8938 x8940 x8942 x8944 x8946 x8952 x8954 x8958 x8962 x8964 x8972 x8978 x8980 x8982 x8986 x8988 x8996 x9002
70.73/70.82	v x9004 x9012 x9014 x9017 x9019 x9025 x9027 x9029 x9034 x9036 x9043 x9047 x9049 x9051 x9053 x9057 x9059 x9065 x9069 x9071 x9081
70.73/70.82	v x9083 x9085 x9089 x9093 x9101 x9107 x9111 x9115 x9129 x9137 x9145 x9147 x9153 x9157 x9159 x9165 x9167 x9169 x9171 x9175 x9177
70.73/70.82	v x9179 x9181 x9183 x9185 x9187 x9197 x9199 x9203 x9205 x9207 x9209 x9213 x9225 x9227 x9229 x9233 x9241 x9243 x9245 x9249 x9251
70.73/70.82	v x9255 x9257 x9260 x9264 x9266 x9268 x9274 x9281 x9291 x9295 x9299 x9301 x9305 x9309 x9319 x9323 x9325 x9329 x9331 x9333 x9335
70.73/70.82	v x9337 x9339 x9343 x9355 x9359 x9361 x9363 x9365 x9367 x9371 x9373 x9375 x9380 x9382 x9384 x9386 x9390 x9394 x9396 x9398 x9400
70.73/70.82	v x9414 x9420 x9422 x9426 x9428 x9432 x9434 x9444 x9446 x9448 x9456 x9458 x9460 x9470 x9476 x9478 x9482 x9484 x9488 x9496 x9506
70.73/70.82	v x9508 x9510 x9514 x9518 x9520 x9522 x9524 x9526 x9528 x9540 x9542 x9546 x9550 x9556 x9572 x9578 x9582 x9586 x9590 x9592 x9598
70.73/70.82	v x9600 x9608 x9610 x9612 x9616 x9622 x9626 x9628 x9630 x9632 x9634 x9636 x9638 x9642 x9652 x9654 x9656 x9658 x9664 x9666 x9670
70.73/70.82	v x9674 x9676 x9678 x9680 x9682 x9684 x9692 x9694 x9696 x9702 x9704 x9708 x9710 x9712 x9714 x9716 x9722 x9732 x9736 x9744 x9746
70.73/70.82	v x9752 x9754 x9756 x9758 x9760 x9774 x9776 x9778 x9780 x9782 x9786 x9788 x9790 x9792 x9796 x9802 x9804 x9810 x9816 x9818 x9820
70.73/70.82	v x9824 x9826 x9828 x9832 x9834 x9836 x9842 x9850 x9852 x9858 x9866 x9872 x9874 x9878 x9888 x9890 x9892 x9894 x9898 x9902 x9904
70.73/70.82	v x9910 x9912 x9916 x9922 x9924 x9926 x9928 x9936 x9938 x9944 x9954 x9956 x9958 x9972 x9974 x9976 x9982 x9984 x9986 x9990 x9992
70.73/70.82	v x9994 x9996 x10002 x10018 x10020 x10024 x10036 x10038 x10042 x10044 x10048 x10050 x10052 x10062 x10064 x10066 x10068 x10070
70.73/70.82	v x10072 x10076 x10078 x10084 x10090 x10092 x10096 x10099 x10101 x10103 x10105 x10107 x10112 x10117 x10128 x10130 x10134
70.73/70.82	v x10139 x10141 x10143 x10145 x10147 x10149 x10153 x10155 x10158 x10162 x10166 x10168 x10170 x10173 x10178 x10184 x10186
70.73/70.82	v x10191 x10193 x10199 x10201 x10205 x10209 x10213 x10223 x10225 x10227 x10229 x10235 x10237 x10247 x10249 x10251 x10254
70.73/70.82	v x10258 x10268 x10272 x10274 x10276 x10280 x10282 x10290 x10292 x10294 x10305 x10309 x10313 x10317 x10321 x10323 x10327
70.73/70.82	v x10331 x10333 x10335 x10341 x10343 x10345 x10347 x10349 x10354 x10358 x10360 x10362 x10364 x10366 x10376 x10380 x10382
70.73/70.82	v x10384 x10386 x10388 x10392 x10396 x10403 x10407 x10409 x10411 x10415 x10419 x10423 x10427 x10429 x10433 x10435 x10439
70.73/70.82	v x10447 x10449 x10459 x10463 x10465 x10475 x10477 x10483 x10491 x10502 x10508 x10512 x10514 x10518 x10522 x10526 x10532
70.73/70.82	v x10540 x10544 x10550 x10554 x10560 x10564 x10568 x10570 x10572 x10574 x10576 x10578 x10580 x10584 x10592 x10594 x10596
70.73/70.82	v x10598 x10600 x10604 x10610 x10612 x10614 x10618 x10620 x10622 x10629 x10631 x10635 x10639 x10643 x10645 x10647 x10649
70.73/70.82	v x10654 x10658 x10668 x10670 x10672 x10681 x10685 x10696 x10700 x10702 x10704 x10706 x10714 x10718 x10722 x10724 x10732
70.73/70.82	v x10734 x10736 x10738 x10740 x10742 x10746 x10750 x10752 x10756 x10764 x10766 x10768 x10770 x10774 x10777 x10783 x10787
70.73/70.82	v x10789 x10793 x10797 x10801 x10805 x10813 x10815 x10824 x10828 x10832 x10834 x10845 x10849 x10851 x10853 x10857 x10859
70.73/70.82	v x10866 x10868 x10872 x10874 x10878 x10884 x10894 x10896 x10898 x10903 x10906 x10912 x10914 x10917 x10919 x10921 x10927
70.73/70.82	v x10931 x10933 x10935 x10942 x10944 x10946 x10948 x10950 x10952 x10954 x10956 x10960 x10964 x10966 x10970 x10978 x10982
70.73/70.82	v x10984 x10988 x10992 x10994 x10996 x11000 x11004 x11006 x11008 x11010 x11018 x11022 x11028 x11032 x11034 x11038 x11044
70.73/70.82	v x11046 x11048 x11056 x11058 x11062 x11064 x11066 x11076 x11078 x11080 x11082 x11086 x11088 x11090 x11092 x11102 x11106
70.73/70.82	v x11110 x11112 x11116 x11118 x11122 x11126 x11128 x11135 x11139 x11143 x11147 x11149 x11159 x11167 x11169 x11175 x11177
70.73/70.82	v x11183 x11185 x11202 x11206 x11210 x11219 x11223 x11225 x11227 x11229 x11236 x11240 x11242 x11246 x11248 x11252 x11256
70.73/70.82	v x11262 x11264 x11268 x11273 x11277 x11279 x11283 x11285 x11291 x11301 x11303 x11313 x11315 x11317 x11321 x11325 x11335
70.73/70.82	v x11337 x11339 x11341 x11347 x11349 x11353 x11361 x11367 x11369 x11371 x11373 x11381 x11383 x11385 x11387 x11399 x11401
70.73/70.82	v x11403 x11407 x11411 x11413 x11419 x11423 x11427 x11431 x11435 x11437 x11445 x11447 x11451 x11453 x11457 x11459 x11461
70.73/70.82	v x11467 x11469 x11473 x11477 x11479 x11485 x11487 x11499 x11501 x11503 x11505 x11511 x11521 x11525 x11529 x11539 x11541
70.73/70.82	v x11545 x11550 x11556 x11558 x11562 x11564 x11566 x11572 x11574 x11576 x11578 x11580 x11584 x11594 x11600 x11604 x11610
70.73/70.82	v x11616 x11618 x11620 x11621 x11622 x11624 x11626 x11632 x11634 x11642 x11644 x11648 x11654 x11658 x11662 x11672 x11674
70.73/70.82	v x11676 x11678 x11686 x11688 x11690 x11694 x11700 x11704 x11706 x11708 x11712 x11714 x11718 x11720 x11726 x11730 x11734
70.73/70.82	v x11738 x11742 x11744 x11746 x11750 x11762 x11770 x11774 x11776 x11780 x11786 x11788 x11790 x11794 x11798 x11802 x11812
70.73/70.82	v x11816 x11818 x11822 x11828 x11830 x11838 x11842 x11844 x11846 x11848 x11854 x11864 x11872 x11874 x11876 x11878 x11884
70.73/70.82	v x11886 x11888 x11892 x11898 x11902 x11904 x11912 x11922 x11924 x11926 x11930 x11932 x11938 x11940 x11944 x11946 x11952
70.73/70.82	v x11954 x11958 x11962 x11966 x11968 x11982 x11984 x11986 x11992 x11994 x11999 x12003 x12015 x12017 x12019 x12023 x12031
70.73/70.82	v x12038 x12040 x12042 x12044 x12050 x12058 x12062 x12068 x12074 x12082 x12086 x12088 x12090 x12096 x12100 x12104 x12106
70.73/70.82	v x12122 x12124 x12128 x12130 x12134 x12140 x12144 x12152 x12154 x12162 x12164 x12166 x12172 x12180 x12192 x12194 x12200
70.73/70.82	v x12212 x12216 x12218 x12222 x12226 x12230 x12236 x12246 x12252 x12256 x12264 x12273 x12277 x12279 x12281 x12285 x12290
70.73/70.82	v x12294 x12300 x12302 x12304 x12306 x12312 x12316 x12319 x12323 x12325 x12331 x12341 x12343 x12345 x12351 x12353 x12355
70.73/70.82	v x12359 x12361 x12363 x12375 x12377 x12379 x12383 x12387 x12389 x12391 x12393 x12395 x12397 x12399 x12401 x12403 x12405
70.73/70.82	v x12409 x12411 x12413 x12421 x12425 x12427 x12435 x12437 x12439 x12447 x12449 x12451 x12459 x12463 x12467 x12469 x12473
70.73/70.82	v x12479 x12481 x12487 x12493 x12503 x12506 x12508 x12510 x12512 x12516 x12522 x12527 x12529 x12531 x12541 x12543 x12548
70.73/70.82	v x12555 x12557 x12559 x12561 x12563 x12569 x12571 x12573 x12585 x12589 x12591 x12597 x12599 x12605 x12613 x12615 x12617
70.73/70.82	v x12622 x12626 x12630 x12632 x12634 x12645 x12655 x12663 x12665 x12671 x12682 x12687 x12689 x12691 x12699 x12703 x12705
70.73/70.82	v x12707 x12711 x12713 x12717 x12719 x12723 x12725 x12731 x12735 x12737 x12742 x12744 x12748 x12750 x12752 x12754 x12756
70.73/70.82	v x12760 x12768 x12770 x12780 x12784 x12786 x12790 x12794 x12796 x12804 x12808 x12813 x12815 x12819 x12824 x12828 x12830
70.73/70.82	v x12832 x12835 x12844 x12854 x12857 x12861 x12863 x12865 x12870 x12872 x12876 x12878 x12882 x12894 x12898 x12900 x12902
70.73/70.82	v x12906 x12908 x12918 x12920 x12922 x12924 x12930 x12932 x12934 x12938 x12940 x12942 x12944 x12948 x12950 x12954 x12962
70.73/70.82	v x12964 x12970 x12974 x12976 x12985 x12987 x12989 x12991 x12997 x12999 x13001 x13015 x13019 x13021 x13027 x13029 x13033
70.73/70.82	v x13037 x13041 x13043 x13049 x13053 x13059 x13061 x13063 x13067 x13073 x13077 x13079 x13081 x13086 x13088 x13092 x13094
70.73/70.82	v x13098 x13100 x13102 x13104 x13106 x13114 x13116 x13128 x13130 x13134 x13136 x13140 x13156 x13160 x13162 x13168 x13170
70.73/70.82	v x13180 x13196 x13200 x13202 x13204 x13210 x13212 x13214 x13216 x13218 x13220 x13224 x13228 x13232 x13234 x13240 x13244
70.73/70.82	v x13248 x13250 x13254 x13260 x13262 x13264 x13272 x13274 x13276 x13284 x13286 x13292 x13304 x13306 x13308 x13310 x13314
70.73/70.82	v x13316 x13318 x13320 x13322 x13334 x13336 x13338 x13340 x13342 x13344 x13350 x13352 x13356 x13358 x13364 x13368 x13370
70.73/70.82	v x13372 x13374 x13378 x13382 x13388 x13390 x13394 x13404 x13406 x13416 x13433 x13435 x13442 x13444 x13452 x13456 x13464
70.73/70.82	v x13470 x13474 x13476 x13480 x13482 x13486 x13488 x13492 x13494 x13496 x13504 x13508 x13514 x13516 x13524 x13528 x13530
70.73/70.82	v x13536 x13540 x13542 x13544 x13546 x13550 x13560 x13562 x13570 x13572 x13576 x13578 x13580 x13584 x13586 x13588 x13607
70.73/70.82	v x13609 x13613 x13615 x13619 x13621 x13633 x13635 x13645 x13651 x13653 x13657 x13673 x13675 x13681 x13683 x13685 x13689
70.73/70.82	v x13691 x13696 x13698 x13700 x13704 x13708 x13710 x13714 x13720 x13722 x13726 x13728 x13734 x13736 x13738 x13746 x13748
70.73/70.82	v x13750 x13754 x13756 x13758 x13762 x13764 x13768 x13774 x13776 x13778 x13780 x13782 x13788 x13794 x13798 x13800 x13802
70.73/70.82	v x13804 x13806 x13814 x13818 x13822 x13826 x13828 x13834 x13836 x13840 x13844 x13846 x13850 x13852 x13858 x13862 x13864
70.73/70.82	v x13866 x13870 x13874 x13890 x13898 x13902 x13904 x13908 x13912 x13918 x13924 x13926 x13930 x13942 x13948 x13952 x13956
70.73/70.82	v x13960 x13962 x13964 x13966 x13968 x13972 x13976 x13978 x13982 x13986 x13998 x14008 x14010 x14012 x14016 x14022 x14024
70.73/70.82	v x14030 x14034 x14036 x14038 x14042 x14054 x14064 x14068 x14072 x14078 x14082 x14086 x14088 x14094 x14096 x14100 x14102
70.73/70.82	v x14104 x14106 x14116 x14120 x14122 x14125 x14129 x14141 x14145 x14147 x14149 x14155 x14165 x14169 x14175 x14183 x14185
70.73/70.82	v x14187 x14193 x14199 x14201 x14211 x14215 x14219 x14221 x14229 x14231 x14235 x14237 x14247 x14249 x14255 x14257 x14259
70.73/70.82	v x14261 x14263 x14267 x14269 x14273 x14291 x14293 x14299 x14303 x14305 x14317 x14321 x14325 x14327 x14329 x14343 x14349
70.73/70.82	v x14355 x14365 x14367 x14369 x14371 x14373 x14375 x14381 x14383 x14389 x14391 x14395 x14397 x14399 x14401 x14403 x14411
70.73/70.82	v x14419 x14425 x14429 x14433 x14439 x14445 x14447 x14455 x14459 x14463 x14470 x14476 x14478 x14482 x14490 x14494 x14506
70.73/70.82	v x14510 x14515 x14517 x14525 x14527 x14529 x14533 x14535 x14539 x14545 x14547 x14549 x14551 x14553 x14557 x14559 x14563
70.73/70.82	v x14565 x14569 x14571 x14573 x14575 x14587 x14595 x14599 x14613 x14617 x14621 x14631 x14635 x14641 x14643 x14647 x14649
70.73/70.82	v x14655 x14665 x14667 x14669 x14671 x14673 x14675 x14679 x14685 x14687 x14689 x14691 x14693 x14699 x14701 x14711 x14713
70.73/70.82	v x14722 x14728 x14732 x14736 x14738 x14740 x14748 x14750 x14752 x14756 x14758 x14776 x14778 x14780 x14782 x14784 x14792
70.73/70.82	v x14796 x14800 x14804 x14806 x14808 x14810 x14818 x14820 x14824 x14826 x14832 x14834 x14838 x14842 x14848 x14854 x14858
70.73/70.82	v x14860 x14868 x14870 x14876 x14882 x14884 x14892 x14900 x14902 x14908 x14918 x14934 x14942 x14944 x14946 x14948 x14950
70.73/70.82	v x14962 x14964 x14966 x14968 x14972 x14974 x14982 x14988 x14992 x14994 x14996 x14998 x15000 x15002 x15008 x15014 x15020
70.73/70.82	v x15022 x15024 x15034 x15038 x15040 x15046 x15048 x15050 x15052 x15056 x15060 x15068 x15070 x15074 x15080 x15082 x15084
70.73/70.82	v x15088 x15090 x15094 x15097 x15105 x15115 x15119 x15123 x15125 x15129 x15133 x15135 x15137 x15139 x15147 x15151 x15153
70.73/70.82	v x15155 x15161 x15163 x15169 x15177 x15193 x15197 x15199 x15205 x15215 x15217 x15219 x15223 x15225 x15227 x15241 x15245
70.73/70.82	v x15251 x15263 x15265 x15269 x15273 x15275 x15277 x15291 x15297 x15307 x15309 x15313 x15325 x15329 x15331 x15339 x15343
70.73/70.82	v x15349 x15353 x15355 x15359 x15365 x15368 x15370 x15376 x15382 x15392 x15394 x15396 x15398 x15404 x15407 x15411 x15417
70.73/70.82	v x15420 x15428 x15430 x15433 x15435 x15439 x15441 x15443 x15446 x15448 x15454 x15458 x15462 x15466 x15469 x15473 x15477
70.73/70.82	v x15483 x15487 x15489 x15491 x15493 x15507 x15509 x15515 x15519 x15521 x15523 x15525 x15533 x15547 x15551 x15555 x15560
70.73/70.82	v x15562 x15566 x15570 x15576 x15578 x15590 x15612 x15614 x15620 x15622 x15626 x15634 x15639 x15649 x15663 x15665 x15667
70.73/70.82	v x15669 x15671 x15673 x15675 x15679 x15683 x15687 x15689 x15695 x15699 x15701 x15705 x15707 x15725 x15727 x15729 x15733
70.73/70.82	v x15735 x15737 x15741 x15749 x15753 x15755 x15761 x15763 x15765 x15767 x15771 x15773 x15775 x15777 x15779 x15781 x15783
70.73/70.82	v x15789 x15791 x15804 x15808 x15812 x15815 x15821 x15832 x15836 x15839 x15841 x15847 x15849 x15853 x15870 x15878 x15882
70.73/70.82	v x15884 x15890 x15897 x15905 x15911 x15913 x15927 x15935 x15938 x15944 x15947 x15949 x15952 x15954 x15961 x15967 x15972
70.73/70.82	v x15974 x15976 x15982 x15986 x15988 x15994 x15998 x16006 x16014 x16016 x16018 x16022 x16024 x16026 x16028 x16030 x16032
70.73/70.82	v x16040 x16042 x16044 x16048 x16052 x16056 x16060 x16062 x16066 x16072 x16074 x16086 x16088 x16090 x16094 x16096 x16098
70.73/70.82	v x16100 x16102 x16110 x16116 x16118 x16124 x16126 x16136 x16138 x16140 x16142 x16144 x16146 x16154 x16156 x16158 x16164
70.73/70.82	v x16170 x16173 x16177 x16183 x16185 x16187 x16192 x16194 x16198 x16202 x16210 x16214 x16220 x16224 x16228 x16236 x16248
70.73/70.82	v x16254 x16256 x16260 x16262 x16266 x16272 x16274 x16280 x16288 x16292 x16294 x16296 x16298 x16316 x16326 x16340 x16342
70.73/70.82	v x16344 x16346 x16348 x16350 x16354 x16356 x16380 x16386 x16392 x16404 x16408 x16412 x16416 x16422 x16424 x16430 x16432
70.73/70.82	v x16439 x16443 x16447 x16453 x16455 x16462 x16464 x16470 x16472 x16478 x16480 x16482 x16484 x16486 x16494 x16497 x16499
70.73/70.82	v x16501 x16503 x16513 x16525 x16529 x16537 x16544 x16547 x16556 x16558 x16562 x16572 x16576 x16580 x16584 x16590 x16592
70.73/70.82	v x16598 x16611 x16619 x16621 x16625 x16629 x16634 x16637 x16642 x16644 x16646 x16653 x16655 x16657 x16669 x16671 x16675
70.73/70.82	v x16677 x16683 x16687 x16689 x16695 x16697 x16699 x16701 x16703 x16705 x16707 x16711 x16715 x16719 x16727 x16729 x16735
70.73/70.82	v x16737 x16739 x16743 x16751 x16753 x16755 x16757 x16763 x16767 x16771 x16777 x16779 x16781 x16785 x16787 x16789 x16795
70.73/70.82	v x16797 x16799 x16807 x16816 x16820 x16830 x16835 x16837 x16839 x16842 x16844 x16848 x16861 x16865 x16869 x16877 x16879
70.73/70.82	v x16885 x16889 x16891 x16895 x16901 x16907 x16911 x16913 x16915 x16927 x16931 x16933 x16935 x16937 x16955 x16959 x16969
70.73/70.82	v x16971 x16973 x16975 x16979 x16983 x16987 x16989 x16991 x16993 x16997 x17003 x17005 x17009 x17011 x17017 x17023 x17028
70.73/70.82	v x17030 x17040 x17043 x17045 x17047 x17051 x17056 x17058 x17070 x17072 x17078 x17080 x17086 x17088 x17090 x17091 x17093
70.73/70.82	v x17098 x17100 x17104 x17111 x17113 x17123 x17130 x17145 x17147 x17150 x17153 x17161 x17163 x17174 x17176 x17185 x17191
70.73/70.82	v x17193 x17198 x17202 x17204 x17208 x17210 x17216 x17218 x17220 x17222 x17225 x17229 x17231 x17235 x17249 x17251 x17255
70.73/70.82	v x17259 x17263 x17265 x17267 x17272 x17278 x17282 x17284 x17286 x17295 x17301 x17307 x17324 x17332 x17337 x17339 x17343
70.73/70.82	v x17345 x17347 x17363 x17367 x17373 x17378 x17385 x17391 x17397 x17402 x17412 x17414 x17418 x17424 x17428 x17432 x17438
70.73/70.82	v x17442 x17444 x17450 x17452 x17456 x17458 x17460 x17464 x17466 x17470 x17476 x17478 x17484 x17488 x17490 x17492 x17494
70.73/70.82	v x17496 x17498 x17504 x17506 x17508 x17516 x17524 x17528 x17530 x17534 x17536 x17538 x17542 x17544 x17546 x17548 x17558
70.73/70.82	v x17564 x17566 x17568 x17572 x17574 x17576 x17580 x17582 x17584 x17586 x17588 x17596 x17599 x17601 x17605 x17609 x17615
70.73/70.82	v x17616 x17618 x17619 x17620 x17622 x17624 x17628 x17630 x17638 x17641 x17649 x17653 x17661 x17663 x17667 x17679 x17683
70.73/70.82	v x17687 x17689 x17691 x17697 x17703 x17707 x17709 x17713 x17715 x17717 x17721 x17731 x17733 x17735 x17739 x17741 x17747
70.73/70.82	v x17757 x17759 x17761 x17763 x17765 x17767 x17769 x17779 x17787 x17795 x17797 x17799 x17801 x17805 x17809 x17815 x17817
70.73/70.82	v x17819 x17821 x17832 x17838 x17842 x17848 x17854 x17856 x17866 x17870 x17880 x17884 x17888 x17894 x17899 x17901 x17903
70.73/70.82	v x17918 x17922 x17945 x17951 x17953 x17957 x17959 x17961 x17963 x17965 x17967 x17977 x17983 x17985 x17987 x17993 x18011
70.73/70.82	v x18017 x18019 x18031 x18034 x18040 x18046 x18051 x18053 x18057 x18061 x18067 x18079 x18085 x18089 x18093 x18097 x18099
70.73/70.82	v x18103 x18105 x18113 x18117 x18119 x18121 x18135 x18139 x18153 x18157 x18159 x18169 x18173 x18175 x18181 x18183 x18185
70.73/70.82	v x18201 x18203 x18205 x18209 x18211 x18213 x18215 x18223 x18225 x18227 x18229 x18231 x18237 x18239 x18241 x18243 x18251
70.73/70.82	v x18257 x18265 x18267 x18275 x18279 x18281 x18285 x18289 x18290 x18291 x18293 x18299 x18303 x18307 x18309 x18311 x18313
70.73/70.82	v x18315 x18319 x18323 x18327 x18333 x18337 x18339 x18346 x18350 x18352 x18354 x18357 x18365 x18369 x18372 x18383 x18385
70.73/70.82	v x18387 x18391 x18402 x18407 x18409 x18411 x18415 x18425 x18427 x18431 x18435 x18439 x18441 x18445 x18447 x18449 x18453
70.73/70.82	v x18455 x18457 x18459 x18464 x18466 x18468 x18476 x18488 x18496 x18503 x18505 x18507 x18509 x18511 x18519 x18521 x18523
70.73/70.82	v x18525 x18527 x18529 x18539 x18541 x18545 x18547 x18553 x18555 x18569 x18571 x18573 x18581 x18587 x18591 x18595 x18597
70.73/70.82	v x18605 x18609 x18613 x18619 x18621 x18623 x18625 x18627 x18631 x18633 x18635 x18643 x18651 x18653 x18659 x18665 x18667
70.73/70.82	v x18673 x18675 x18677 x18679 x18683 x18685 x18687 x18691 x18697 x18699 x18701 x18705 x18715 x18717 x18719 x18721 x18723
70.73/70.82	v x18727 x18729 x18731 x18733 x18747 x18749 x18751 x18757 x18761 x18765 x18771 x18777 x18779 x18785 x18787 x18799 x18805
70.73/70.82	v x18807 x18819 x18829 x18835 x18837 x18839 x18845 x18847 x18849 x18853 x18857 x18859 x18869 x18870 x18871 x18873 x18877
70.73/70.82	v x18879 x18885 x18889 x18895 x18899 x18903 x18905 x18907 x18915 x18923 x18929 x18931 x18933 x18937 x18945 x18947 x18953
70.73/70.82	v x18957 x18961 x18965 x18967 x18969 x18973 x18975 x18977 x18979 x18983 x18985 x18989 x18993 x18997 x18999 x19003 x19005
70.73/70.82	v x19007 x19011 x19013 x19019 x19023 x19025 x19027 x19033 x19037 x19041 x19043 x19045 x19053 x19055 x19063 x19065 x19067
70.73/70.82	v x19071 x19073 x19077 x19079 x19081 x19083 x19089 x19091 x19097 x19099 x19101 x19105 x19111 x19113 x19115 x19121 x19125
70.73/70.82	v x19131 x19135 x19139 x19141 x19149 x19151 x19161 x19163 x19167 x19171 x19179 x19181 x19187 x19191 x19193 x19195 x19197
70.73/70.82	v x19203 x19205 x19209 x19211 x19213 x19217 x19225 x19227 x19229 x19231 x19233 x19235 x19237 x19239 x19241 x19243 x19245
70.73/70.82	v x19249 x19260 x19264 x19274 x19280 x19282 x19288 x19290 x19298 x19300 x19302 x19307 x19309 x19311 x19316 x19322 x19327
70.73/70.82	v x19329 x19334 x19336 x19340 x19342 x19348 x19350 x19360 x19364 x19372 x19374 x19376 x19378 x19385 x19387 x19391 x19393
70.73/70.82	v x19402 x19404 x19408 x19410 x19412 x19418 x19426 x19430 x19432 x19442 x19448 x19450 x19452 x19462 x19464 x19466 x19470
70.73/70.82	v x19472 x19478 x19482 x19490 x19494 x19500 x19508 x19512 x19514 x19516 x19518 x19520 x19529 x19533 x19535 x19541 x19547
70.73/70.82	v x19549 x19553 x19555 x19559 x19565 x19571 x19575 x19577 x19585 x19591 x19595 x19597 x19599 x19601 x19603 x19607 x19608
70.73/70.82	v x19610 x19613 x19615 x19619 x19621 x19628 x19630 x19632 x19634 x19636 x19646 x19650 x19654 x19656 x19660 x19662 x19668
70.73/70.82	v x19670 x19672 x19674 x19676 x19678 x19680 x19681 x19682 x19687 x19688 x19694 x19696 x19698 x19705 x19708 x19723 x19725
70.73/70.82	v x19727 x19732 x19734 x19736 x19742 x19744 x19746 x19750 x19759 x19761 x19763 x19765 x19768 x19776 x19779 x19783 x19785
70.73/70.82	v x19795 x19800 x19808 x19810 x19812 x19817 x19819 x19824 x19826 x19828 x19836 x19838 x19842 x19844 x19846 x19867 x19874
70.73/70.82	v x19878 x19883 x19887 x19897 x19905 x19907 x19913 x19917 x19919 x19923 x19925 x19927 x19929 x19931 x19935 x19939 x19941
70.73/70.82	v x19943 x19946 x19948 x19953 x19959 x19965 x19972 x19974 x19976 x19978 x19980 x19984 x19988 x19992 x19994 x19996 x19998
70.73/70.82	v x20002 x20014 x20016 x20018 x20020 x20024 x20026 x20028 x20030 x20032 x20045 x20047 x20053 x20057 x20061 x20066 x20068
70.73/70.82	v x20072 x20074 x20084 x20086 x20088 x20094 x20096 x20098 x20100 x20104 x20106 x20108 x20114 x20120 x20124 x20126 x20132
70.73/70.82	v x20134 x20146 x20148 x20150 x20158 x20160 x20164 x20168 x20174 x20180 x20182 x20183 x20184 x20186 x20192 x20194 x20195
70.73/70.82	v x20199 x20201 x20205 x20208 x20212 x20214 x20218 x20220 x20222 x20228 x20230 x20234 x20236 x20247 x20249 x20261 x20263
70.73/70.82	v x20269 x20273 x20280 x20284 x20294 x20297 x20301 x20318 x20322 x20328 x20331 x20346 x20355 x20357 x20363 x20371 x20375
70.73/70.82	v x20381 x20390 x20398 x20400 x20402 x20419 x20427 x20439 x20441 x20444 x20448 x20460 x20466 x20484 x20489 x20492 x20496
70.73/70.82	v x20498 x20502 x20504 x20508 x20512 x20514 x20516 x20518 x20520 x20522 x20526 x20528 x20532 x20536 x20542 x20548 x20550
70.73/70.82	v x20556 x20560 x20568 x20574 x20578 x20583 x20589 x20593 x20597 x20599 x20605 x20611 x20615 x20617 x20619 x20623 x20627
70.73/70.82	v x20629 x20633 x20635 x20637 x20646 x20648 x20650 x20652 x20662 x20666 x20674 x20679 x20683 x20685 x20689 x20693 x20695
70.73/70.82	v x20701 x20705 x20709 x20718 x20722 x20728 x20730 x20732 x20734 x20736 x20743 x20745 x20756 x20760 x20764 x20769 x20771
70.73/70.82	v x20773 x20783 x20785 x20791 x20801 x20803 x20809 x20811 x20816 x20818 x20821 x20825 x20830 x20832 x20834 x20841 x20850
70.73/70.82	v x20858 x20860 x20868 x20870 x20872 x20874 x20877 x20883 x20892 x20896 x20898 x20900 x20906 x20912 x20914 x20918 x20920
70.73/70.82	v x20924 x20928 x20930 x20940 x20948 x20958 x20962 x20964 x20967 x20973 x20983 x20985 x20995 x21002 x21008 x21010 x21015
70.73/70.82	v x21019 x21023 x21027 x21029 x21031 x21035 x21041 x21043 x21049 x21051 x21053 x21055 x21057 x21060 x21062 x21070 x21076
70.73/70.82	v x21078 x21084 x21088 x21090 x21092 x21098 x21100 x21112 x21114 x21118 x21122 x21128 x21138 x21140 x21144 x21152 x21154
70.73/70.82	v x21156 x21165 x21167 x21169 x21171 x21177 x21179 x21181 x21183 x21187 x21193 x21197 x21203 x21205 x21215 x21217 x21223
70.73/70.82	v x21225 x21226 x21228 x21232 x21236 x21244 x21246 x21252 x21254 x21266 x21272 x21278 x21280 x21284 x21288 x21292 x21305
70.73/70.82	v x21307 x21309 x21313 x21319 x21325 x21327 x21331 x21333 x21341 x21345 x21349 x21351 x21353 x21357 x21359 x21365 x21371
70.73/70.82	v x21383 x21393 x21397 x21399 x21403 x21405 x21411 x21415 x21425 x21437 x21443 x21451 x21461 x21463 x21471 x21475 x21477
70.73/70.82	v x21479 x21481 x21483 x21485 x21490 x21496 x21508 x21510 x21515 x21519 x21521 x21527 x21531 x21539 x21543 x21547 x21549
70.73/70.82	v x21553 x21555 x21557 x21562 x21568 x21572 x21574 x21582 x21586 x21588 x21594 x21596 x21602 x21605 x21609 x21611 x21619
70.73/70.82	v x21621 x21623 x21629 x21631 x21649 x21651 x21665 x21669 x21673 x21675 x21678 x21686 x21695 x21699 x21701 x21703 x21705
70.73/70.82	v x21710 x21714 x21722 x21730 x21740 x21742 x21744 x21747 x21749 x21751 x21756 x21758 x21760 x21764 x21768 x21772 x21774
70.73/70.82	v x21778 x21780 x21782 x21784 x21797 x21803 x21805 x21815 x21817 x21819 x21828 x21832 x21834 x21836 x21842 x21844 x21850
70.73/70.82	v x21858 x21864 x21868 x21870 x21872 x21876 x21878 x21882 x21886 x21888 x21892 x21897 x21898 x21899 x21900 x21904 x21906
70.73/70.82	v x21910 x21918 x21922 x21924 x21926 x21936 x21938 x21940 x21942 x21944 x21948 x21956 x21960 x21962 x21966 x21971 x21978
70.73/70.82	v x21984 x21988 x21992 x21994 x21998 x22000 x22002 x22004 x22015 x22021 x22023 x22040 x22044 x22046 x22054 x22056 x22060
70.73/70.82	v x22065 x22067 x22069 x22071 x22076 x22078 x22082 x22084 x22088 x22092 x22094 x22096 x22099 x22101 x22103 x22105 x22109
70.73/70.82	v x22118 x22120 x22128 x22132 x22136 x22149 x22151 x22159 x22161 x22163 x22173 x22175 x22185 x22187 x22191 x22194 x22198
70.73/70.82	v x22206 x22208 x22212 x22214 x22216 x22222 x22224 x22226 x22236 x22238 x22240 x22244 x22246 x22248 x22249 x22250 x22256
70.73/70.82	v x22258 x22268 x22270 x22271 x22272 x22276 x22278 x22282 x22286 x22290 x22292 x22296 x22298 x22304 x22306 x22316 x22318
70.73/70.82	v x22324 x22328 x22338 x22340 x22351 x22353 x22355 x22361 x22363 x22365 x22369 x22375 x22377 x22381 x22383 x22385 x22387
70.73/70.82	v x22393 x22395 x22403 x22409 x22411 x22413 x22421 x22422 x22423 x22425 x22427 x22431 x22439 x22447 x22449 x22451 x22455
70.73/70.82	v x22457 x22459 x22463 x22465 x22467 x22475 x22477 x22481 x22483 x22485 x22493 x22499 x22502 x22506 x22508 x22512 x22514
70.73/70.82	v x22526 x22530 x22534 x22536 x22541 x22551 x22553 x22555 x22557 x22561 x22563 x22579 x22583 x22589 x22593 x22601 x22603
70.73/70.82	v x22609 x22615 x22617 x22623 x22645 x22647 x22655 x22657 x22659 x22661 x22663 x22665 x22667 x22674 x22676 x22688 x22691
70.73/70.82	v x22695 x22697 x22701 x22706 x22708 x22712 x22716 x22721 x22723 x22733 x22736 x22738 x22746 x22748 x22753 x22759 x22761
70.73/70.82	v x22763 x22765 x22773 x22777 x22787 x22789 x22791 x22793 x22802 x22804 x22808 x22811 x22813 x22815 x22820 x22822 x22843
70.73/70.82	v x22848 x22851 x22855 x22865 x22871 x22873 x22878 x22880 x22882 x22884 x22888 x22893 x22901 x22908 x22916 x22918 x22920
70.73/70.82	v x22924 x22931 x22933 x22935 x22937 x22939 x22941 x22943 x22945 x22951 x22955 x22961 x22963 x22980 x22982 x22984 x22986
70.73/70.82	v x22994 x22996 x23000 x23008 x23010 x23012 x23014 x23016 x23018 x23022 x23024 x23034 x23042 x23044 x23046 x23059 x23063
70.73/70.82	v x23065 x23068 x23070 x23072 x23076 x23078 x23082 x23096 x23102 x23107 x23111 x23113 x23115 x23119 x23121 x23123 x23127
70.73/70.82	v x23133 x23135 x23137 x23141 x23145 x23147 x23149 x23151 x23153 x23157 x23169 x23174 x23178 x23186 x23190 x23193 x23203
70.73/70.82	v x23205 x23207 x23209 x23213 x23215 x23222 x23226 x23228 x23231 x23233 x23235 x23237 x23239 x23241 x23243 x23248 x23252
70.73/70.82	v x23254 x23261 x23263 x23265 x23267 x23271 x23275 x23279 x23283 x23289 x23291 x23297 x23299 x23301 x23309 x23311 x23313
70.73/70.82	v x23315 x23317 x23323 x23330 x23332 x23334 x23338 x23340 x23350 x23356 x23360 x23364 x23387 x23389 x23393 x23395 x23397
70.73/70.82	v x23399 x23405 x23407 x23409 x23411 x23413 x23415 x23417 x23424 x23428 x23432 x23434 x23438 x23444 x23450 x23452 x23460
70.73/70.82	v x23462 x23468 x23470 x23472 x23477 x23483 x23487 x23489 x23494 x23496 x23514 x23526 x23530 x23532 x23540 x23545 x23551
70.73/70.82	v x23553 x23555 x23557 x23569 x23574 x23582 x23586 x23593 x23606 x23610 x23617 x23623 x23627 x23630 x23639 x23644 x23649
70.73/70.82	v x23651 x23655 x23663 x23665 x23667 x23669 x23673 x23675 x23681 x23683 x23698 x23708 x23720 x23722 x23724 x23726 x23730
70.73/70.82	v x23733 x23735 x23737 x23741 x23745 x23758 x23760 x23767 x23769 x23771 x23772 x23776 x23784 x23788 x23791 x23795 x23799
70.73/70.82	v x23806 x23810 x23812 x23825 x23831 x23835 x23839 x23843 x23845 x23849 x23851 x23857 x23859 x23861 x23864 x23868 x23870
70.73/70.82	v x23872 x23874 x23876 x23885 x23899 x23904 x23906 x23910 x23912 x23914 x23916 x23927 x23929 x23931 x23932 x23933 x23941
70.73/70.82	v x23943 x23945 x23947 x23949 x23951 x23957 x23959 x23966 x23968 x23972 x23974 x23976 x23982 x23988 x23989 x23995 x24001
70.73/70.82	v x24003 x24011 x24012 x24013 x24019 x24023 x24025 x24032 x24042 x24044 x24046 x24049 x24056 x24060 x24070 x24073 x24077
70.73/70.82	v x24081 x24083 x24089 x24091 x24101 x24105 x24109 x24111 x24117 x24119 x24121 x24123 x24125 x24129 x24139 x24145 x24153
70.73/70.82	v x24157 x24163 x24174 x24176 x24184 x24188 x24190 x24192 x24200 x24204 x24208 x24216 x24218 x24228 x24236 x24242 x24244
70.73/70.82	v x24248 x24250 x24258 x24264 x24268 x24272 x24278 x24280 x24282 x24285 x24288 x24290 x24292 x24294 x24296 x24306 x24308
70.73/70.82	v x24312 x24319 x24327 x24329 x24336 x24338 x24345 x24351 x24355 x24357 x24379 x24381 x24385 x24390 x24392 x24400 x24411
70.73/70.82	v x24415 x24417 x24421 x24426 x24428 x24430 x24432 x24436 x24438 x24444 x24449 x24458 x24460 x24468 x24470 x24472 x24478
70.73/70.82	v x24484 x24488 x24499 x24507 x24511 x24513 x24517 x24525 x24527 x24529 x24535 x24537 x24543 x24547 x24549 x24551 x24553
70.73/70.82	v x24557 x24560 x24562 x24564 x24568 x24570 x24572 x24578 x24588 x24591 x24593 x24595 x24599 x24605 x24608 x24614 x24623
70.73/70.82	v x24629 x24631 x24633 x24635 x24637 x24645 x24651 x24657 x24661 x24663 x24665 x24669 x24679 x24681 x24685 x24690 x24692
70.73/70.82	v x24694 x24701 x24708 x24721 x24723 x24731 x24733 x24735 x24744 x24746 x24749 x24750 x24751 x24752 x24753 x24754 x24756
70.73/70.82	v x24759 x24761 x24763 x24766 x24769 x24773 x24775 x24777 x24780 x24782 x24787 x24795 x24805 x24807 x24809 x24821 x24825
70.73/70.82	v x24834 x24843 x24845 x24847 x24849 x24853 x24857 x24874 x24878 x24901 x24903 x24909 x24911 x24913 x24918 x24923 x24926
70.73/70.82	v x24927 x24931 x24933 x24939 x24943 x24947 x24949 x24952 x24957 x24960 x24972 x24979 x24989 x24998 x25000 x25002 x25004
70.73/70.82	v x25015 x25019 x25023 x25025 x25027 x25031 x25040 x25046 x25056 x25058 x25062 x25068 x25080 x25089 x25091 x25099 x25100
70.73/70.82	v x25103 x25107 x25109 x25113 x25115 x25119 x25125 x25126 x25127 x25129 x25131 x25133 x25137 x25146 x25162 x25164 x25170
70.73/70.82	v x25172 x25183 x25185 x25189 x25191 x25199 x25205 x25211 x25217 x25219 x25221 x25223 x25229 x25233 x25237 x25241 x25243
70.73/70.82	v x25247 x25251 x25255 x25259 x25275 x25277 x25281 x25287 x25289 x25290 x25291 x25297 x25299 x25300 x25301 x25303 x25308
70.73/70.82	v x25316 x25318 x25319 x25320 x25321 x25322 x25324 x25330 x25332 x25334 x25336 x25340 x25342 x25344 x25346 x25348 x25349
70.73/70.82	v x25350 x25353 x25355 x25356 x25357 x25360 x25362 x25368 x25369 x25373 x25378 x25382 x25386 x25394 x25398 x25402 x25404
70.73/70.82	v x25416 x25418 x25424 x25426 x25431 x25433 x25435 x25439 x25450 x25455 x25460 x25462 x25466 x25468 x25472 x25482 x25484
70.73/70.82	v x25488 x25497 x25499 x25502 x25505 x25535 x25539 x25541 x25543 x25544 x25550 x25552 x25555 x25561 x25563 x25565 x25571
70.73/70.82	v x25575 x25580 x25582 x25591 x25611 x25616 x25628 x25630 x25632 x25658 x25660 x25662 x25664 x25676 x25678 x25688 x25699
70.73/70.82	v x25705 x25707 x25715 x25720 x25722 x25728 x25732 x25740 x25744 x25753 x25758 x25770 x25776 x25780 x25784 x25788 x25790
70.73/70.82	v x25792 x25796 x25798 x25800 x25813 x25815 x25817 x25821 x25823 x25827 x25833 x25835 x25839 x25840 x25842 x25845 x25846
70.73/70.82	v x25850 x25852 x25853 x25855 x25864 x25866 x25870 x25871 x25885 x25887 x25889 x25893 x25897 x25899 x25901 x25903 x25904
70.73/70.82	v x25910 x25912 x25925 x25936 x25939 x25943 x25951 x25962 x25964 x25968 x25970 x25971 x25972 x25974 x25990 x25994 x26002
70.73/70.82	v x26004 x26006 x26017 x26023 x26037 x26039 x26047 x26053 x26057 x26060 x26065 x26066 x26068 x26071 x26072 x26074 x26076
70.73/70.82	v x26097 x26102 x26106 x26110 x26112 x26118 x26122 x26126 x26139 x26143 x26146 x26150 x26158 x26161 x26167 x26171 x26174
70.73/70.82	v x26179 x26182 x26192 x26204 x26206 x26209 x26215 x26224 x26239 x26249 x26250 x26261 x26263 x26275 x26277 x26280 x26284
70.73/70.82	v x26295 x26304 x26307 x26322 x26329 x26343 x26351 x26355 x26362 x26364 x26370 x26375 x26389 x26398 x26402 x26408 x26410
70.73/70.82	v x26421 x26425 x26431 x26456 x26461 x26463 x26468 x26476 x26489 x26491 x26493 x26495 x26499 x26501 x26511 x26519 x26521
70.73/70.82	v x26522 x26523 x26532 x26533 x26536 x26537 x26538 x26539 x26540 x26542 x26546 x26551 x26557 x26565 x26570 x26571 x26572
70.73/70.82	v x26573 x26581 x26582 x26583 x26584 x26585 x26589 x26594 x26603 x26611 x26615 x26625 x26627 x26629 x26634 x26640 x26642
70.73/70.82	v x26651 x26659 x26666 x26674 x26688 x26689 x26691 x26692 x26694 x26695 x26697 x26698 x26699 x26700 x26703 x26706 x26710
70.73/70.82	v x26712 x26714 x26715 x26716 x26717 x26718 x26720 x26723 x26724 x26726 x26727 x26728 x26730 x26751 x26754 x26758 x26776
70.73/70.82	v x26778 x26779 x26790 x26791 x26795 x26796 x26805 x26810 x26811 x26812 x26814 x26819 x26820 x26821 x26823 x26824 x26825
70.73/70.82	v x26826 x26830 x26831 x26832 x26833 x26834 x26836
70.73/70.82	pb2clasp1: no process killed

Verifier Data (download as text)

OK	243089

Conversion Script Data (download as text)

/tmp/evaluation/372283-1177081924/instance-372283-1177081924.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node65/watcher-372283-1177081924 -o ROOT/results/node65/solver-372283-1177081924 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-372283-1177081924.opb /tmp/evaluation/372283-1177081924/temp 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20401
/proc/meminfo: memFree=1665720/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=12268 CPUtime=0
/proc/20401/stat : 20401 (pbclasp) D 20399 20401 19382 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 184182013 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257203862117 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0
/proc/20401/statm: 3067 317 242 3 0 167 0

[startup+0.0475299 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20401
/proc/meminfo: memFree=1665720/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=14152 CPUtime=0.03
/proc/20401/stat : 20401 (pbclasp) R 20399 20401 19382 0 -1 4194304 2304 0 0 0 3 0 0 0 18 0 1 0 184182013 14491648 870 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257203574186 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20401/statm: 3538 870 320 3 0 638 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14152

[startup+0.101535 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20401
/proc/meminfo: memFree=1665720/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=14152 CPUtime=0.09
/proc/20401/stat : 20401 (pbclasp) R 20399 20401 19382 0 -1 4194304 6930 0 0 0 7 2 0 0 18 0 1 0 184182013 14491648 876 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257203574186 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20401/statm: 3538 876 320 3 0 638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14152

[startup+0.30155 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20401
/proc/meminfo: memFree=1665720/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=14284 CPUtime=0.29
/proc/20401/stat : 20401 (pbclasp) R 20399 20401 19382 0 -1 4194304 24099 0 0 0 23 6 0 0 19 0 1 0 184182013 14626816 898 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257203574186 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20401/statm: 3571 898 320 3 0 671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14284

[startup+0.701584 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 20401
/proc/meminfo: memFree=1665720/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=14396 CPUtime=0.68
/proc/20401/stat : 20401 (pbclasp) R 20399 20401 19382 0 -1 4194304 39620 0 0 0 58 10 0 0 22 0 1 0 184182013 14741504 953 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257217728270 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20401/statm: 3599 953 320 3 0 699 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14396

[startup+1.50165 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 20402
/proc/meminfo: memFree=1662832/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=15100 CPUtime=1.49
/proc/20401/stat : 20401 (pbclasp) R 20399 20401 19382 0 -1 4194304 39789 0 0 0 138 11 0 0 25 0 1 0 184182013 15462400 1122 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257203574611 0 0 4224 16384 0 0 0 17 1 0 0
/proc/20401/statm: 3775 1122 320 3 0 875 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15100

[startup+3.10178 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 20402
/proc/meminfo: memFree=1661424/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=16552 CPUtime=2.24
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 40154 0 0 0 213 11 0 0 16 0 1 0 184182013 16949248 1473 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212592226 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/20401/statm: 4138 1473 324 3 0 1238 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 16552

[startup+6.30105 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 20404
/proc/meminfo: memFree=1658336/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=17740 CPUtime=6.2
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 40967 1647 0 0 217 12 387 4 17 0 1 0 184182013 18165760 1786 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20401/statm: 4435 1786 343 3 0 1535 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 17740

[startup+12.7026 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 20411
/proc/meminfo: memFree=1602656/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=17740 CPUtime=6.2
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 40967 1647 0 0 217 12 387 4 17 0 1 0 184182013 18165760 1786 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20401/statm: 4435 1786 343 3 0 1535 0
[pid=20409] ppid=20401 vsize=5356 CPUtime=0
/proc/20409/stat : 20409 (sh) S 20401 20401 19382 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 184182634 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20409/statm: 1339 225 188 169 0 50 0
[pid=20411] ppid=20409 vsize=53896 CPUtime=6.48
/proc/20411/stat : 20411 (clasp) R 20409 20401 19382 0 -1 4194304 13461 0 0 0 642 6 0 0 25 0 1 0 184182634 55189504 13014 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134629609 0 0 4096 0 0 0 0 17 1 0 0
/proc/20411/statm: 13474 13014 194 154 0 12944 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 76992

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 20419
/proc/meminfo: memFree=1567320/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=18052 CPUtime=22.2
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 41777 16460 0 0 244 12 1951 13 16 0 1 0 184182013 18485248 1856 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20401/statm: 4513 1856 343 3 0 1613 0
[pid=20417] ppid=20401 vsize=5356 CPUtime=0
/proc/20417/stat : 20417 (sh) S 20401 20401 19382 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 184184236 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20417/statm: 1339 225 188 169 0 50 0
[pid=20418] ppid=20417 vsize=2520 CPUtime=0
/proc/20418/stat : 20418 (cat) S 20417 20401 19382 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 184184237 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 257203863778 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20418/statm: 630 87 71 4 0 42 0
[pid=20419] ppid=20417 vsize=108364 CPUtime=3.25
/proc/20419/stat : 20419 (clasp) R 20417 20401 19382 0 -1 4194304 26804 0 0 0 313 12 0 0 25 0 1 0 184184237 110964736 26631 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134683973 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 27091 26631 181 154 0 26561 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 134292

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 20419
/proc/meminfo: memFree=514648/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=18052 CPUtime=22.2
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 41777 16460 0 0 244 12 1951 13 16 0 1 0 184182013 18485248 1856 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20401/statm: 4513 1856 343 3 0 1613 0
[pid=20417] ppid=20401 vsize=5356 CPUtime=0
/proc/20417/stat : 20417 (sh) S 20401 20401 19382 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 184184236 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20417/statm: 1339 225 188 169 0 50 0
[pid=20418] ppid=20417 vsize=2520 CPUtime=0
/proc/20418/stat : 20418 (cat) S 20417 20401 19382 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 184184237 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 257203863778 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20418/statm: 630 87 71 4 0 42 0
[pid=20419] ppid=20417 vsize=1159116 CPUtime=28.84
/proc/20419/stat : 20419 (clasp) R 20417 20401 19382 0 -1 4194304 288118 0 0 0 2756 128 0 0 25 0 1 0 184184237 1186934784 287945 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134650403 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 289779 287945 181 154 0 289249 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 1185044



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+70.8024 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 20419
/proc/meminfo: memFree=15832/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=18052 CPUtime=22.2
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 41777 16460 0 0 244 12 1951 13 16 0 1 0 184182013 18485248 1856 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20401/statm: 4513 1856 343 3 0 1613 0
[pid=20417] ppid=20401 vsize=5356 CPUtime=0
/proc/20417/stat : 20417 (sh) S 20401 20401 19382 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 184184236 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20417/statm: 1339 225 188 169 0 50 0
[pid=20418] ppid=20417 vsize=2520 CPUtime=0
/proc/20418/stat : 20418 (cat) S 20417 20401 19382 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 184184237 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 257203863778 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20418/statm: 630 87 71 4 0 42 0
[pid=20419] ppid=20417 vsize=1845564 CPUtime=48.53
/proc/20419/stat : 20419 (clasp) R 20417 20401 19382 0 -1 4194304 463130 0 0 0 4636 217 0 0 25 0 1 0 184184237 1889857536 451928 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134684131 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 461391 451935 181 154 0 460861 0
Current children cumulated CPU time (s) 70.73
Current children cumulated vsize (KiB) 1871492

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+70.8024 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 20419
/proc/meminfo: memFree=15832/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=18052 CPUtime=22.2
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 41777 16460 0 0 244 12 1951 13 16 0 1 0 184182013 18485248 1856 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/20401/statm: 4513 1856 343 3 0 1613 0
[pid=20417] ppid=20401 vsize=5356 CPUtime=0
/proc/20417/stat : 20417 (sh) S 20401 20401 19382 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 184184236 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20417/statm: 1339 225 188 169 0 50 0
[pid=20418] ppid=20417 vsize=2520 CPUtime=0
/proc/20418/stat : 20418 (cat) S 20417 20401 19382 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 184184237 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 257203863778 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20418/statm: 630 87 71 4 0 42 0
[pid=20419] ppid=20417 vsize=1845564 CPUtime=48.53
/proc/20419/stat : 20419 (clasp) R 20417 20401 19382 0 -1 4194304 463130 0 0 0 4636 217 0 0 25 0 1 0 184184237 1889857536 451928 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134684131 0 0 4096 0 0 0 0 17 1 0 0
/proc/20419/statm: 461391 451935 181 154 0 460861 0
Current children cumulated CPU time (s) 70.73
Current children cumulated vsize (KiB) 1871492

# WARNING:
# current cumulated CPU time (22.27 s) is less than in the last sample (70.73 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (48.46 s) to the 'lost time'.

[startup+70.9199 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 20419
/proc/meminfo: memFree=15832/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=18052 CPUtime=22.27
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 41959 18237 0 0 245 13 1952 17 19 0 1 0 184182013 18485248 1866 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20401/statm: 4513 1866 343 3 0 1613 0
Current children cumulated CPU time (s) 22.27
Current children cumulated vsize (KiB) 18052

Sending SIGKILL to process tree (bottom up)

Solver just ended. Dumping a history of the last processes samples

[startup+71.8024 s]
/proc/loadavg: 0.97 0.98 0.99 2/69 20430
/proc/meminfo: memFree=1816656/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=18052 CPUtime=22.27
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 41959 18237 0 0 245 13 1952 17 19 0 1 0 184182013 18485248 1866 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20401/statm: 4513 1866 343 3 0 1613 0
[pid=20428] ppid=20401 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (sh) S 20401 20401 19382 0 -1 4194304 286 0 0 0 0 0 0 0 21 0 1 0 184189100 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 225 188 169 0 50 0
[pid=20429] ppid=20428 vsize=2520 CPUtime=0
/proc/20429/stat : 20429 (cat) S 20428 20401 19382 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 184189101 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 257203863778 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20429/statm: 630 87 71 4 0 42 0
[pid=20430] ppid=20428 vsize=20216 CPUtime=0.9
/proc/20430/stat : 20430 (clasp) R 20428 20401 19382 0 -1 4194304 4701 0 0 0 89 1 0 0 25 0 1 0 184189101 20701184 4656 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 6121083 0 0 4096 0 0 0 0 17 1 0 0
/proc/20430/statm: 5054 4657 173 154 0 4524 0
Current children cumulated CPU time (s) 23.17
Current children cumulated vsize (KiB) 46144

[startup+72.6065 s]
/proc/loadavg: 0.97 0.98 0.99 2/69 20430
/proc/meminfo: memFree=1791632/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=18052 CPUtime=22.27
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 41959 18237 0 0 245 13 1952 17 19 0 1 0 184182013 18485248 1866 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20401/statm: 4513 1866 343 3 0 1613 0
[pid=20428] ppid=20401 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (sh) S 20401 20401 19382 0 -1 4194304 286 0 0 0 0 0 0 0 21 0 1 0 184189100 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 225 188 169 0 50 0
[pid=20429] ppid=20428 vsize=2520 CPUtime=0
/proc/20429/stat : 20429 (cat) S 20428 20401 19382 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 184189101 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 257203863778 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20429/statm: 630 87 71 4 0 42 0
[pid=20430] ppid=20428 vsize=38524 CPUtime=1.71
/proc/20430/stat : 20430 (clasp) R 20428 20401 19382 0 -1 4194304 9267 0 0 0 168 3 0 0 25 0 1 0 184189101 39448576 9189 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 6108154 0 0 4096 0 0 0 0 17 1 0 0
/proc/20430/statm: 9631 9189 173 154 0 9101 0
Current children cumulated CPU time (s) 23.98
Current children cumulated vsize (KiB) 64452

[startup+72.8015 s]
/proc/loadavg: 0.97 0.98 0.99 2/69 20430
/proc/meminfo: memFree=1791632/2055920 swapFree=4184000/4192956
[pid=20401] ppid=20399 vsize=18052 CPUtime=22.27
/proc/20401/stat : 20401 (pbclasp) S 20399 20401 19382 0 -1 4194304 41959 18237 0 0 245 13 1952 17 19 0 1 0 184182013 18485248 1866 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 257212596116 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/20401/statm: 4513 1866 343 3 0 1613 0
[pid=20428] ppid=20401 vsize=5356 CPUtime=0
/proc/20428/stat : 20428 (sh) S 20401 20401 19382 0 -1 4194304 286 0 0 0 0 0 0 0 21 0 1 0 184189100 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 257203692356 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20428/statm: 1339 225 188 169 0 50 0
[pid=20429] ppid=20428 vsize=2520 CPUtime=0
/proc/20429/stat : 20429 (cat) S 20428 20401 19382 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 184189101 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 257203863778 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/20429/statm: 630 87 71 4 0 42 0
[pid=20430] ppid=20428 vsize=40576 CPUtime=1.91
/proc/20430/stat : 20430 (clasp) R 20428 20401 19382 0 -1 4194304 9814 0 0 0 187 4 0 0 25 0 1 0 184189101 41549824 9736 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134931965 0 0 4096 0 0 0 0 17 1 0 0
/proc/20430/statm: 10144 9736 176 154 0 9614 0
Current children cumulated CPU time (s) 24.18
Current children cumulated vsize (KiB) 66504

Child ended because it received signal 9 (SIGKILL)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20401 and gives
#  childrusage.ru_utime.tv_sec=21
#  childrusage.ru_utime.tv_usec=981658
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=322950
# CPU time returned by wait4() is 22.3046
# while last known CPU time is 24.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 48.46
#  lost CPU user time (s): 46.34
#  lost CPU system time (s): 2.12

Real time (s): 72.8375
CPU time (s): 72.64
CPU user time (s): 70.18
CPU system time (s): 2.46
CPU usage (%): 99.7289
Max. virtual memory (cumulated for all children) (KiB): 1871492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.9817
system time used= 0.32295
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61774
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= 1863
involuntary context switches= 610

runsolver used 0.06399 second user time and 0.215967 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Fri Apr 20 15:12:04 UTC 2007

IDJOB= 372283
IDBENCH= 24961
IDSOLVER= 158
FILE ID= node65/372283-1177081924

PBS_JOBID= 4640286

Free space on /tmp= 66399 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir10_trarea_ac.opb
COMMAND LINE= pbclasp instance-372283-1177081924.opb /tmp/evaluation/372283-1177081924/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-372283-1177081924 -o ROOT/results/node65/conversion-372283-1177081924 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372283-1177081924/instance-372283-1177081924.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-372283-1177081924 -o ROOT/results/node65/solver-372283-1177081924 -C 1800 -W 3600 -M 1800 --output-limit 1,15  pbclasp instance-372283-1177081924.opb /tmp/evaluation/372283-1177081924/temp

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  7ed8ae7116a489c037a0d97015217f38

RANDOM SEED= 58109913

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.245
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.245
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:       1666128 kB
Buffers:         32192 kB
Cached:         305604 kB
SwapCached:       2680 kB
Active:          76128 kB
Inactive:       272516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1666128 kB
SwapTotal:     4192956 kB
SwapFree:      4184000 kB
Dirty:            2836 kB
Writeback:           0 kB
Mapped:          16852 kB
Slab:            27128 kB
Committed_AS:  2371484 kB
PageTables:       1460 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= 66394 MiB

End job on node65 on Fri Apr 20 15:13:17 UTC 2007