Trace number 372479

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)1543 48.04 48.2443

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_021_area_delay.opb
MD5SUM5c1765191809ee7ecd7781ce5c7fb9aa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark330.82
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables9333
Total number of constraints28773
Number of constraints which are clauses28773
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 constraint127
Number of terms in the objective function 4585
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 4585
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 4585
Number of bits of the biggest sum of numbers13
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)

4.37/4.49	o 1543
46.16/46.23	c Somebody sent me a SIGTERM
46.16/46.23	s SATISFIABLE
46.16/46.23	v x234 x242 x245 x248 x249 x250 x251 x253 x257 x259 x261 x262 x263 x265 x275 x285 x291 x295 x303 x313 x315 x317 x333 x335 x337 x359
46.16/46.23	v x375 x391 x429 x431 x437 x439 x445 x451 x453 x455 x457 x461 x465 x471 x475 x481 x485 x491 x515 x517 x524 x525 x527 x535 x539 x543
46.16/46.23	v x575 x581 x583 x589 x599 x601 x607 x613 x621 x623 x625 x635 x641 x647 x651 x653 x661 x671 x675 x681 x695 x705 x707 x709 x713 x717
46.16/46.23	v x723 x731 x737 x747 x755 x763 x779 x783 x801 x803 x809 x823 x835 x837 x845 x849 x853 x861 x873 x887 x894 x900 x910 x918 x922 x924
46.16/46.23	v x926 x928 x936 x938 x940 x946 x950 x956 x960 x966 x972 x974 x984 x988 x990 x992 x1000 x1008 x1014 x1020 x1024 x1026 x1028 x1030
46.16/46.23	v x1038 x1042 x1056 x1062 x1064 x1070 x1072 x1074 x1084 x1088 x1092 x1094 x1100 x1104 x1106 x1108 x1110 x1112 x1118 x1122 x1128
46.16/46.23	v x1136 x1138 x1140 x1176 x1178 x1180 x1188 x1200 x1204 x1220 x1232 x1234 x1246 x1256 x1258 x1264 x1272 x1278 x1282 x1292 x1296
46.16/46.23	v x1298 x1302 x1308 x1320 x1336 x1352 x1354 x1364 x1366 x1368 x1370 x1374 x1380 x1382 x1384 x1386 x1390 x1392 x1394 x1402 x1426
46.16/46.23	v x1428 x1436 x1440 x1448 x1452 x1462 x1466 x1468 x1472 x1474 x1476 x1478 x1480 x1484 x1486 x1490 x1492 x1496 x1510 x1514 x1536
46.16/46.23	v x1538 x1548 x1549 x1550 x1552 x1568 x1584 x1586 x1588 x1592 x1598 x1610 x1612 x1616 x1622 x1634 x1644 x1646 x1647 x1648 x1650
46.16/46.23	v x1658 x1662 x1674 x1680 x1682 x1684 x1686 x1690 x1692 x1700 x1718 x1726 x1748 x1752 x1756 x1758 x1766 x1772 x1784 x1786 x1790
46.16/46.23	v x1792 x1794 x1796 x1798 x1805 x1811 x1815 x1817 x1829 x1837 x1851 x1853 x1855 x1859 x1868 x1874 x1876 x1881 x1883 x1885 x1889
46.16/46.23	v x1893 x1895 x1901 x1903 x1907 x1909 x1911 x1913 x1915 x1921 x1923 x1927 x1929 x1935 x1939 x1951 x1969 x1971 x1977 x1984 x1988
46.16/46.23	v x1990 x1994 x1998 x2012 x2016 x2018 x2038 x2050 x2090 x2098 x2104 x2110 x2112 x2114 x2117 x2125 x2135 x2143 x2147 x2157 x2159
46.16/46.23	v x2163 x2165 x2179 x2187 x2189 x2191 x2193 x2195 x2199 x2201 x2203 x2209 x2211 x2213 x2215 x2217 x2221 x2225 x2227 x2235 x2247
46.16/46.23	v x2253 x2255 x2257 x2261 x2267 x2269 x2271 x2275 x2279 x2289 x2291 x2293 x2304 x2308 x2310 x2312 x2314 x2318 x2320 x2322 x2324
46.16/46.23	v x2326 x2328 x2338 x2340 x2355 x2359 x2373 x2385 x2387 x2389 x2401 x2407 x2411 x2413 x2417 x2419 x2421 x2431 x2433 x2435 x2439
46.16/46.23	v x2441 x2445 x2447 x2449 x2453 x2457 x2461 x2469 x2473 x2479 x2493 x2495 x2501 x2503 x2507 x2511 x2515 x2523 x2535 x2545 x2551
46.16/46.23	v x2553 x2557 x2561 x2565 x2571 x2591 x2595 x2599 x2617 x2619 x2623 x2625 x2627 x2629 x2633 x2637 x2649 x2655 x2665 x2671 x2673
46.16/46.23	v x2677 x2685 x2687 x2693 x2695 x2707 x2713 x2723 x2725 x2733 x2741 x2749 x2751 x2757 x2761 x2769 x2777 x2791 x2801 x2809 x2811
46.16/46.23	v x2815 x2825 x2827 x2829 x2831 x2833 x2835 x2839 x2847 x2849 x2851 x2857 x2859 x2861 x2871 x2885 x2893 x2899 x2901 x2903 x2913
46.16/46.23	v x2915 x2921 x2923 x2925 x2933 x2937 x2939 x2941 x2943 x2945 x2951 x2953 x2957 x2967 x2975 x2977 x2983 x2985 x2991 x2999 x3005
46.16/46.23	v x3007 x3009 x3013 x3023 x3025 x3033 x3037 x3039 x3043 x3045 x3049 x3051 x3057 x3059 x3061 x3067 x3071 x3077 x3079 x3085 x3091
46.16/46.23	v x3111 x3118 x3120 x3130 x3132 x3148 x3163 x3169 x3171 x3175 x3177 x3183 x3187 x3189 x3191 x3195 x3199 x3201 x3207 x3213 x3227
46.16/46.23	v x3229 x3235 x3239 x3241 x3243 x3245 x3247 x3253 x3255 x3257 x3265 x3269 x3281 x3285 x3287 x3295 x3303 x3307 x3309 x3313 x3317
46.16/46.23	v x3319 x3323 x3327 x3329 x3331 x3333 x3337 x3351 x3371 x3377 x3381 x3383 x3387 x3399 x3401 x3405 x3407 x3409 x3413 x3417 x3423
46.16/46.23	v x3431 x3433 x3435 x3437 x3439 x3441 x3443 x3453 x3457 x3465 x3467 x3470 x3476 x3488 x3492 x3508 x3510 x3512 x3514 x3519 x3521
46.16/46.23	v x3525 x3527 x3529 x3531 x3535 x3543 x3549 x3557 x3561 x3565 x3567 x3569 x3571 x3579 x3581 x3585 x3589 x3593 x3595 x3601 x3605
46.16/46.23	v x3627 x3645 x3647 x3651 x3657 x3662 x3668 x3669 x3670 x3672 x3674 x3676 x3678 x3680 x3688 x3692 x3696 x3698 x3700 x3702 x3710
46.16/46.23	v x3716 x3722 x3728 x3734 x3736 x3738 x3742 x3744 x3748 x3750 x3752 x3758 x3760 x3768 x3770 x3774 x3780 x3784 x3802 x3804 x3808
46.16/46.23	v x3818 x3822 x3824 x3825 x3826 x3834 x3838 x3842 x3846 x3852 x3858 x3860 x3866 x3868 x3871 x3873 x3877 x3881 x3883 x3893 x3898
46.16/46.23	v x3902 x3906 x3908 x3910 x3912 x3916 x3919 x3927 x3929 x3941 x3943 x3945 x3949 x3951 x3955 x3957 x3969 x3971 x3977 x3985 x3996
46.16/46.23	v x3997 x4001 x4005 x4007 x4011 x4015 x4017 x4023 x4027 x4033 x4037 x4038 x4040 x4042 x4044 x4046 x4050 x4054 x4061 x4065 x4071
46.16/46.23	v x4073 x4075 x4077 x4085 x4091 x4093 x4101 x4107 x4113 x4121 x4129 x4141 x4145 x4147 x4151 x4173 x4183 x4189 x4209 x4211 x4215
46.16/46.23	v x4219 x4223 x4225 x4227 x4229 x4237 x4239 x4241 x4247 x4249 x4259 x4261 x4263 x4269 x4275 x4277 x4285 x4287 x4289 x4307 x4311
46.16/46.23	v x4315 x4327 x4329 x4333 x4335 x4337 x4343 x4353 x4355 x4359 x4363 x4367 x4371 x4375 x4381 x4393 x4401 x4411 x4413 x4415 x4419
46.16/46.23	v x4421 x4423 x4429 x4439 x4443 x4445 x4447 x4459 x4463 x4465 x4467 x4471 x4473 x4475 x4490 x4492 x4500 x4512 x4514 x4518 x4524
46.16/46.23	v x4530 x4532 x4534 x4536 x4544 x4550 x4556 x4558 x4560 x4562 x4564 x4568 x4570 x4572 x4574 x4577 x4583 x4587 x4591 x4593 x4595
46.16/46.23	v x4599 x4601 x4603 x4623 x4627 x4633 x4635 x4647 x4663 x4667 x4673 x4689 x4691 x4697 x4699 x4703 x4706 x4708 x4710 x4716 x4720
46.16/46.23	v x4726 x4728 x4734 x4736 x4738 x4740 x4746 x4750 x4752 x4756 x4760 x4762 x4765 x4767 x4777 x4782 x4790 x4805 x4807 x4811 x4815
46.16/46.23	v x4817 x4819 x4841 x4847 x4854 x4855 x4861 x4863 x4869 x4873 x4887 x4891 x4901 x4905 x4917 x4925 x4929 x4939 x4941 x4947 x4949
46.16/46.23	v x4956 x4962 x4964 x4968 x4980 x4986 x4988 x4994 x5008 x5012 x5018 x5022 x5034 x5036 x5038 x5044 x5046 x5056 x5059 x5063 x5065
46.16/46.23	v x5067 x5069 x5071 x5075 x5077 x5080 x5091 x5093 x5095 x5101 x5105 x5109 x5115 x5117 x5123 x5128 x5141 x5144 x5145 x5147 x5149
46.16/46.23	v x5155 x5157 x5166 x5170 x5172 x5176 x5180 x5188 x5194 x5206 x5208 x5214 x5224 x5226 x5228 x5230 x5240 x5242 x5244 x5248 x5252
46.16/46.23	v x5264 x5278 x5282 x5286 x5296 x5300 x5304 x5314 x5342 x5368 x5394 x5396 x5402 x5422 x5430 x5444 x5446 x5448 x5452 x5468 x5469
46.16/46.23	v x5470 x5471 x5472 x5520 x5530 x5532 x5542 x5562 x5564 x5566 x5568 x5570 x5588 x5594 x5596 x5618 x5628 x5632 x5634 x5640 x5648
46.16/46.23	v x5656 x5662 x5670 x5678 x5682 x5686 x5706 x5708 x5716 x5720 x5742 x5744 x5750 x5768 x5772 x5786 x5802 x5816 x5826 x5828 x5832
46.16/46.23	v x5840 x5844 x5846 x5850 x5852 x5868 x5870 x5876 x5884 x5886 x5890 x5892 x5894 x5896 x5911 x5919 x5941 x5945 x5949 x5961 x5965
46.16/46.23	v x6006 x6008 x6010 x6012 x6024 x6026 x6052 x6072 x6078 x6080 x6084 x6086 x6106 x6110 x6116 x6132 x6138 x6140 x6144 x6148 x6162
46.16/46.23	v x6164 x6174 x6180 x6186 x6188 x6230 x6232 x6238 x6242 x6255 x6267 x6269 x6275 x6277 x6279 x6285 x6291 x6293 x6295 x6301 x6305
46.16/46.23	v x6313 x6315 x6319 x6329 x6335 x6337 x6343 x6347 x6357 x6361 x6371 x6373 x6375 x6381 x6383 x6397 x6399 x6405 x6413 x6417 x6425
46.16/46.23	v x6427 x6433 x6435 x6437 x6439 x6441 x6444 x6450 x6456 x6464 x6472 x6490 x6494 x6499 x6501 x6503 x6507 x6509 x6517 x6519 x6523
46.16/46.23	v x6529 x6531 x6535 x6537 x6541 x6551 x6573 x6575 x6593 x6608 x6610 x6614 x6638 x6650 x6656 x6658 x6660 x6664 x6668 x6690 x6694
46.16/46.23	v x6698 x6704 x6706 x6708 x6714 x6720 x6734 x6742 x6750 x6752 x6756 x6758 x6760 x6762 x6764 x6766 x6778 x6780 x6784 x6786 x6790
46.16/46.23	v x6792 x6798 x6804 x6810 x6816 x6818 x6820 x6822 x6824 x6829 x6833 x6845 x6849 x6853 x6859 x6861 x6879 x6881 x6887 x6891 x6895
46.16/46.23	v x6903 x6907 x6911 x6917 x6925 x6927 x6931 x6935 x6941 x6943 x6955 x6957 x6959 x6961 x6969 x6973 x6979 x6985 x6989 x6991 x6995
46.16/46.23	v x6999 x7007 x7009 x7017 x7021 x7031 x7039 x7041 x7043 x7053 x7065 x7067 x7077 x7079 x7081 x7083 x7085 x7087 x7093 x7097 x7103
46.16/46.23	v x7117 x7127 x7140 x7142 x7168 x7170 x7174 x7186 x7188 x7198 x7200 x7202 x7206 x7232 x7249 x7253 x7255 x7261 x7270 x7302 x7306
46.16/46.23	v x7316 x7320 x7332 x7334 x7340 x7342 x7344 x7352 x7362 x7364 x7368 x7372 x7386 x7392 x7406 x7410 x7414 x7420 x7422 x7431 x7433
46.16/46.23	v x7437 x7439 x7441 x7451 x7453 x7469 x7478 x7484 x7488 x7500 x7515 x7517 x7527 x7529 x7533 x7537 x7539 x7543 x7545 x7547 x7549
46.16/46.23	v x7557 x7559 x7561 x7563 x7565 x7567 x7569 x7573 x7575 x7579 x7587 x7598 x7602 x7606 x7616 x7632 x7636 x7640 x7642 x7644 x7646
46.16/46.23	v x7664 x7666 x7668 x7674 x7676 x7678 x7680 x7682 x7692 x7701 x7713 x7716 x7721 x7722 x7723 x7725 x7727 x7733 x7735 x7736 x7737
46.16/46.23	v x7746 x7750 x7753 x7754 x7758 x7780 x7786 x7790 x7791 x7792 x7816 x7824 x7828 x7842 x7844 x7846 x7858 x7864 x7868 x7870 x7874
46.16/46.23	v x7876 x7880 x7890 x7896 x7916 x7918 x7920 x7922 x7924 x7926 x7928 x7930 x7932 x7934 x7938 x7946 x7956 x7978 x7982 x8015 x8019
46.16/46.23	v x8021 x8023 x8035 x8037 x8061 x8063 x8076 x8082 x8095 x8113 x8125 x8131 x8139 x8141 x8147 x8153 x8165 x8184 x8186 x8196 x8200
46.16/46.23	v x8204 x8210 x8212 x8228 x8240 x8242 x8268 x8270 x8282 x8288 x8299 x8309 x8331 x8337 x8339 x8343 x8347 x8349 x8355 x8359 x8361
46.16/46.23	v x8365 x8367 x8368 x8369 x8377 x8386 x8387 x8397 x8399 x8401 x8403 x8405 x8409 x8411 x8415 x8417 x8421 x8433 x8435 x8437 x8439
46.16/46.23	v x8445 x8451 x8455 x8459 x8467 x8471 x8475 x8485 x8489 x8497 x8503 x8517 x8525 x8527 x8531 x8537 x8541 x8550 x8554 x8562 x8566
46.16/46.23	v x8570 x8577 x8583 x8587 x8589 x8591 x8617 x8619 x8623 x8629 x8633 x8635 x8651 x8677 x8683 x8687 x8695 x8697 x8699 x8721 x8729
46.16/46.23	v x8731 x8736 x8744 x8758 x8773 x8775 x8779 x8781 x8795 x8801 x8810 x8812 x8819 x8830 x8838 x8853 x8862 x8864 x8868 x8870 x8872
46.16/46.23	v x8874 x8882 x8886 x8896 x8918 x8926 x8929 x8930 x8934 x8938 x8947 x8949 x8967 x8969 x8971 x8981 x8985 x8987 x8989 x8991 x8993
46.16/46.23	v x8997 x9009 x9017 x9019 x9031 x9035 x9044 x9048 x9052 x9056 x9062 x9072 x9078 x9080 x9082 x9089 x9098 x9100 x9104 x9128 x9134
46.16/46.23	v x9136 x9140 x9149 x9155 x9158 x9166 x9167 x9168 x9169 x9177 x9179 x9180 x9187 x9188 x9189 x9190 x9192 x9210 x9216 x9227 x9229
46.16/46.23	v x9231 x9245 x9264 x9265 x9269 x9270 x9271 x9279 x9282 x9283 x9284 x9285 x9294 x9295 x9305 x9306 x9309 x9310 x9311 x9312 x9327
46.16/46.23	v x9328 x9329 x9330 x9331 x9332 x9333
46.16/46.25	pb2clasp1: no process killed

Verifier Data (download as text)

OK	1543

Conversion Script Data (download as text)

/tmp/evaluation/372479-1177099756/instance-372479-1177099756.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/node14/watcher-372479-1177099756 -o ROOT/results/node14/solver-372479-1177099756 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-372479-1177099756.opb /tmp/evaluation/372479-1177099756/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: 1.00 1.02 1.00 3/77 28286
/proc/meminfo: memFree=1617096/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=12268 CPUtime=0
/proc/28286/stat : 28286 (pbclasp) R 28284 28286 27283 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 157893384 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243364862 0 0 4224 0 0 0 0 17 1 0 0
/proc/28286/statm: 3067 317 242 3 0 167 0

[startup+0.050421 s]
/proc/loadavg: 1.00 1.02 1.00 3/77 28286
/proc/meminfo: memFree=1617096/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=13092 CPUtime=0.04
/proc/28286/stat : 28286 (pbclasp) R 28284 28286 27283 0 -1 4194304 642 0 0 0 4 0 0 0 18 0 1 0 157893384 13406208 608 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212248497934 0 0 4224 16384 0 0 0 17 1 0 0
/proc/28286/statm: 3273 608 320 3 0 373 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13092

[startup+0.101425 s]
/proc/loadavg: 1.00 1.02 1.00 3/77 28286
/proc/meminfo: memFree=1617096/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=13224 CPUtime=0.09
/proc/28286/stat : 28286 (pbclasp) R 28284 28286 27283 0 -1 4194304 673 0 0 0 9 0 0 0 18 0 1 0 157893384 13541376 639 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212234343998 0 0 4224 16384 0 0 0 17 1 0 0
/proc/28286/statm: 3306 639 320 3 0 406 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13224

[startup+0.301445 s]
/proc/loadavg: 1.00 1.02 1.00 3/77 28286
/proc/meminfo: memFree=1617096/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=13888 CPUtime=0.24
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 856 0 0 0 24 0 0 0 16 0 1 0 157893384 14221312 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/28286/statm: 3472 808 324 3 0 572 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13888

[startup+0.701482 s]
/proc/loadavg: 1.00 1.02 1.00 3/77 28286
/proc/meminfo: memFree=1617096/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=13888 CPUtime=0.24
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 856 0 0 0 24 0 0 0 16 0 1 0 157893384 14221312 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/28286/statm: 3472 808 324 3 0 572 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 13888

[startup+1.50156 s]
/proc/loadavg: 1.00 1.02 1.00 2/80 28289
/proc/meminfo: memFree=1613808/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=13888 CPUtime=0.24
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 856 0 0 0 24 0 0 0 16 0 1 0 157893384 14221312 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243361890 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/28286/statm: 3472 808 324 3 0 572 0
[pid=28288] ppid=28286 vsize=5352 CPUtime=0
/proc/28288/stat : 28288 (sh) S 28286 28286 27283 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 157893409 5480448 230 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28288/statm: 1338 230 193 169 0 49 0
[pid=28289] ppid=28288 vsize=12532 CPUtime=1.24
/proc/28289/stat : 28289 (pb2clasp1) R 28288 28286 27283 0 -1 4194304 516 0 0 0 124 0 0 0 25 0 1 0 157893409 12832768 478 18446744073709551615 4194304 4206940 548682069296 18446744073709551615 212248129333 0 0 4224 0 0 0 0 17 1 0 0
/proc/28289/statm: 3133 478 340 3 0 233 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31772

[startup+3.10271 s]
/proc/loadavg: 1.00 1.02 1.00 2/80 28289
/proc/meminfo: memFree=1613232/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=14284 CPUtime=2.16
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 1159 1609 0 0 25 0 189 2 16 0 1 0 157893384 14626816 929 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/28286/statm: 3571 929 343 3 0 671 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 14284

[startup+6.30201 s]
/proc/loadavg: 1.00 1.02 1.00 2/81 28304
/proc/meminfo: memFree=1592168/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=14284 CPUtime=4.49
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 1498 9931 0 0 27 0 414 8 16 0 1 0 157893384 14626816 945 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/28286/statm: 3571 945 343 3 0 671 0
[pid=28302] ppid=28286 vsize=5356 CPUtime=0
/proc/28302/stat : 28302 (sh) S 28286 28286 27283 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 157893836 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28302/statm: 1339 225 188 169 0 50 0
[pid=28303] ppid=28302 vsize=2520 CPUtime=0
/proc/28303/stat : 28303 (cat) S 28302 28286 27283 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 157893836 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 212234633442 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/28303/statm: 630 87 71 4 0 42 0
[pid=28304] ppid=28302 vsize=107200 CPUtime=1.78
/proc/28304/stat : 28304 (clasp) R 28302 28286 27283 0 -1 4194304 26943 0 0 0 166 12 0 0 25 0 1 0 157893836 109772800 25995 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/28304/statm: 26800 25996 184 154 0 26270 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 129360

[startup+12.7016 s]
/proc/loadavg: 1.00 1.02 1.00 2/81 28304
/proc/meminfo: memFree=1203048/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=14284 CPUtime=4.49
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 1498 9931 0 0 27 0 414 8 16 0 1 0 157893384 14626816 945 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/28286/statm: 3571 945 343 3 0 671 0
[pid=28302] ppid=28286 vsize=5356 CPUtime=0
/proc/28302/stat : 28302 (sh) S 28286 28286 27283 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 157893836 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28302/statm: 1339 225 188 169 0 50 0
[pid=28303] ppid=28302 vsize=2520 CPUtime=0
/proc/28303/stat : 28303 (cat) S 28302 28286 27283 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 157893836 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 212234633442 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/28303/statm: 630 87 71 4 0 42 0
[pid=28304] ppid=28302 vsize=456976 CPUtime=8.18
/proc/28304/stat : 28304 (clasp) R 28302 28286 27283 0 -1 4194304 115892 0 0 0 767 51 0 0 25 0 1 0 157893836 467943424 110519 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/28304/statm: 114244 110520 184 154 0 113714 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 479136

[startup+25.5018 s]
/proc/loadavg: 1.00 1.02 1.00 2/81 28304
/proc/meminfo: memFree=625128/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=14284 CPUtime=4.49
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 1498 9931 0 0 27 0 414 8 16 0 1 0 157893384 14626816 945 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/28286/statm: 3571 945 343 3 0 671 0
[pid=28302] ppid=28286 vsize=5356 CPUtime=0
/proc/28302/stat : 28302 (sh) S 28286 28286 27283 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 157893836 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28302/statm: 1339 225 188 169 0 50 0
[pid=28303] ppid=28302 vsize=2520 CPUtime=0
/proc/28303/stat : 28303 (cat) S 28302 28286 27283 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 157893836 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 212234633442 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/28303/statm: 630 87 71 4 0 42 0
[pid=28304] ppid=28302 vsize=1031980 CPUtime=20.96
/proc/28304/stat : 28304 (clasp) R 28302 28286 27283 0 -1 4194304 265659 0 0 0 1982 114 0 0 25 0 1 0 157893836 1056747520 249437 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/28304/statm: 257995 249437 184 154 0 257465 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1054140



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+46.2136 s]
/proc/loadavg: 1.08 1.03 1.01 2/81 28304
/proc/meminfo: memFree=16296/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=14284 CPUtime=4.49
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 1498 9931 0 0 27 0 414 8 16 0 1 0 157893384 14626816 945 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/28286/statm: 3571 945 343 3 0 671 0
[pid=28302] ppid=28286 vsize=5356 CPUtime=0
/proc/28302/stat : 28302 (sh) S 28286 28286 27283 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 157893836 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28302/statm: 1339 225 188 169 0 50 0
[pid=28303] ppid=28302 vsize=2520 CPUtime=0
/proc/28303/stat : 28303 (cat) S 28302 28286 27283 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 157893836 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 212234633442 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/28303/statm: 630 87 71 4 0 42 0
[pid=28304] ppid=28302 vsize=1822104 CPUtime=41.67
/proc/28304/stat : 28304 (clasp) R 28302 28286 27283 0 -1 4194304 469955 0 0 0 3967 200 0 0 25 0 1 0 157893836 1865834496 450272 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/28304/statm: 455526 450272 184 154 0 454996 0
Current children cumulated CPU time (s) 46.16
Current children cumulated vsize (KiB) 1844264

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

[startup+46.2136 s]
/proc/loadavg: 1.08 1.03 1.01 2/81 28304
/proc/meminfo: memFree=16296/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=14284 CPUtime=4.49
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 1498 9931 0 0 27 0 414 8 16 0 1 0 157893384 14626816 945 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/28286/statm: 3571 945 343 3 0 671 0
[pid=28302] ppid=28286 vsize=5356 CPUtime=0
/proc/28302/stat : 28302 (sh) S 28286 28286 27283 0 -1 4194304 287 0 0 0 0 0 0 0 18 0 1 0 157893836 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28302/statm: 1339 225 188 169 0 50 0
[pid=28303] ppid=28302 vsize=2520 CPUtime=0
/proc/28303/stat : 28303 (cat) S 28302 28286 27283 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 157893836 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 212234633442 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/28303/statm: 630 87 71 4 0 42 0
[pid=28304] ppid=28302 vsize=1822104 CPUtime=41.67
/proc/28304/stat : 28304 (clasp) R 28302 28286 27283 0 -1 4194304 469955 0 0 0 3967 200 0 0 25 0 1 0 157893836 1865834496 450272 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/28304/statm: 455526 450272 184 154 0 454996 0
Current children cumulated CPU time (s) 46.16
Current children cumulated vsize (KiB) 1844264

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

[startup+46.32 s]
/proc/loadavg: 1.08 1.03 1.01 2/81 28304
/proc/meminfo: memFree=16296/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=14284 CPUtime=4.53
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 1669 11710 0 0 27 1 415 10 16 0 1 0 157893384 14626816 948 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/28286/statm: 3571 948 343 3 0 671 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 14284

Sending SIGKILL to process tree (bottom up)

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

[startup+47.0019 s]
/proc/loadavg: 1.08 1.03 1.01 2/81 28304
/proc/meminfo: memFree=16296/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=14284 CPUtime=4.53
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 1669 11710 0 0 27 1 415 10 16 0 1 0 157893384 14626816 948 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/28286/statm: 3571 948 343 3 0 671 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 14284

[startup+47.8019 s]
/proc/loadavg: 1.08 1.03 1.01 2/82 28315
/proc/meminfo: memFree=1800544/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=14284 CPUtime=4.53
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 1669 11710 0 0 27 1 415 10 16 0 1 0 157893384 14626816 948 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/28286/statm: 3571 948 343 3 0 671 0
[pid=28313] ppid=28286 vsize=5356 CPUtime=0
/proc/28313/stat : 28313 (sh) S 28286 28286 27283 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 157898013 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28313/statm: 1339 225 188 169 0 50 0
[pid=28314] ppid=28313 vsize=2520 CPUtime=0
/proc/28314/stat : 28314 (cat) S 28313 28286 27283 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 157898014 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 212234633442 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/28314/statm: 630 87 71 4 0 42 0
[pid=28315] ppid=28313 vsize=87796 CPUtime=1.48
/proc/28315/stat : 28315 (clasp) R 28313 28286 27283 0 -1 4194304 21808 0 0 0 138 10 0 0 25 0 1 0 157898014 89903104 21288 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/28315/statm: 21949 21289 184 154 0 21419 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 109956

[startup+48.202 s]
/proc/loadavg: 1.08 1.03 1.01 2/82 28315
/proc/meminfo: memFree=1800544/2055920 swapFree=4148744/4192956
[pid=28286] ppid=28284 vsize=14284 CPUtime=4.53
/proc/28286/stat : 28286 (pbclasp) S 28284 28286 27283 0 -1 4194304 1669 11710 0 0 27 1 415 10 16 0 1 0 157893384 14626816 948 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 212243365780 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/28286/statm: 3571 948 343 3 0 671 0
[pid=28313] ppid=28286 vsize=5356 CPUtime=0
/proc/28313/stat : 28313 (sh) S 28286 28286 27283 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 157898013 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28313/statm: 1339 225 188 169 0 50 0
[pid=28314] ppid=28313 vsize=2520 CPUtime=0
/proc/28314/stat : 28314 (cat) S 28313 28286 27283 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 157898014 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 212234633442 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/28314/statm: 630 87 71 4 0 42 0
[pid=28315] ppid=28313 vsize=114360 CPUtime=1.88
/proc/28315/stat : 28315 (clasp) R 28313 28286 27283 0 -1 4194304 28686 0 0 0 175 13 0 0 25 0 1 0 157898014 117104640 27738 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134682862 0 0 4096 0 0 0 0 17 1 0 0
/proc/28315/statm: 28590 27739 184 154 0 28060 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 136520

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28286 and gives
#  childrusage.ru_utime.tv_sec=4
#  childrusage.ru_utime.tv_usec=432326
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=121981
# CPU time returned by wait4() is 4.55431
# while last known CPU time is 6.41
#
# 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): 41.63
#  lost CPU user time (s): 39.66
#  lost CPU system time (s): 1.97

Real time (s): 48.2443
CPU time (s): 48.04
CPU user time (s): 45.83
CPU system time (s): 2.21
CPU usage (%): 99.5766
Max. virtual memory (cumulated for all children) (KiB): 1844264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.43233
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14254
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= 914
involuntary context switches= 125

runsolver used 0.052991 second user time and 0.140978 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Fri Apr 20 20:09:16 UTC 2007

IDJOB= 372479
IDBENCH= 24975
IDSOLVER= 158
FILE ID= node14/372479-1177099756

PBS_JOBID= 4640359

Free space on /tmp= 66206 MiB

SOLVER NAME= PB-clasp 2007-03-23
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_021_area_delay.opb
COMMAND LINE= pbclasp instance-372479-1177099756.opb /tmp/evaluation/372479-1177099756/temp
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node14/convwatcher-372479-1177099756 -o ROOT/results/node14/conversion-372479-1177099756 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372479-1177099756/instance-372479-1177099756.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  5c1765191809ee7ecd7781ce5c7fb9aa

RANDOM SEED= 658962527

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1617504 kB
Buffers:         69788 kB
Cached:         302268 kB
SwapCached:      11464 kB
Active:         166184 kB
Inactive:       230224 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1617504 kB
SwapTotal:     4192956 kB
SwapFree:      4148744 kB
Dirty:            1956 kB
Writeback:           0 kB
Mapped:          30756 kB
Slab:            27576 kB
Committed_AS:  7681520 kB
PageTables:       1788 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= 66204 MiB

End job on node14 on Fri Apr 20 20:10:05 UTC 2007