Trace number 373333

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)1357 35.99 36.1355

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/area_opers/normalized-fir05_area_opers.opb
MD5SUMfb30dc68ef00299e3d850b79fb8a2728
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark35
Best CPU time to get the best result obtained on this benchmark5.21721
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
Optimality of the best value was proved YES
Number of variables6033
Total number of constraints11966
Number of constraints which are clauses11966
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 3140
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 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3140
Number of bits of the biggest sum of numbers12
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)

1.97/2.04	o 1357
34.06/34.12	c Somebody sent me a SIGTERM
34.06/34.12	s SATISFIABLE
34.06/34.12	v x118 x187 x193 x198 x200 x202 x204 x210 x212 x216 x220 x222 x234 x238 x240 x248 x250 x252 x254 x255 x256 x264 x266 x268 x272 x276
34.06/34.12	v x278 x280 x282 x286 x292 x296 x300 x306 x314 x316 x318 x322 x326 x330 x332 x334 x338 x342 x346 x352 x356 x368 x370 x374 x384 x394
34.06/34.12	v x396 x404 x406 x408 x412 x420 x426 x428 x430 x434 x438 x440 x442 x444 x446 x448 x450 x452 x454 x456 x460 x462 x466 x470 x472 x478
34.06/34.12	v x482 x484 x486 x494 x498 x502 x506 x510 x512 x514 x516 x524 x528 x540 x546 x548 x550 x552 x554 x560 x562 x566 x568 x573 x577 x579
34.06/34.12	v x581 x583 x585 x591 x593 x597 x605 x607 x609 x625 x627 x629 x635 x639 x643 x647 x653 x655 x661 x669 x671 x673 x679 x685 x687 x697
34.06/34.12	v x701 x703 x705 x711 x724 x736 x748 x750 x758 x760 x762 x764 x768 x774 x776 x778 x780 x784 x786 x788 x794 x816 x818 x822 x826 x834
34.06/34.12	v x836 x844 x848 x850 x854 x856 x858 x860 x862 x866 x868 x872 x874 x878 x894 x898 x913 x915 x919 x927 x937 x939 x941 x947 x953 x955
34.06/34.12	v x959 x965 x971 x975 x977 x979 x981 x985 x987 x993 x1006 x1014 x1028 x1036 x1038 x1040 x1048 x1054 x1062 x1064 x1068 x1070 x1072
34.06/34.12	v x1074 x1076 x1082 x1088 x1092 x1094 x1102 x1110 x1122 x1124 x1126 x1128 x1134 x1138 x1140 x1144 x1146 x1148 x1152 x1156 x1158
34.06/34.12	v x1164 x1166 x1170 x1172 x1174 x1176 x1178 x1184 x1186 x1188 x1190 x1196 x1198 x1202 x1210 x1212 x1218 x1224 x1226 x1228 x1230
34.06/34.12	v x1232 x1236 x1240 x1242 x1252 x1258 x1280 x1287 x1291 x1295 x1297 x1300 x1302 x1310 x1319 x1323 x1325 x1329 x1331 x1335 x1337
34.06/34.12	v x1351 x1357 x1359 x1361 x1363 x1365 x1369 x1371 x1373 x1378 x1380 x1382 x1384 x1386 x1391 x1395 x1397 x1401 x1408 x1414 x1416
34.06/34.12	v x1418 x1420 x1426 x1428 x1430 x1432 x1434 x1442 x1444 x1446 x1458 x1460 x1462 x1464 x1466 x1470 x1472 x1474 x1476 x1478 x1480
34.06/34.12	v x1490 x1492 x1500 x1502 x1514 x1522 x1524 x1526 x1534 x1536 x1538 x1540 x1544 x1546 x1548 x1558 x1560 x1562 x1566 x1568 x1572
34.06/34.12	v x1574 x1576 x1580 x1586 x1590 x1598 x1602 x1608 x1612 x1614 x1620 x1622 x1624 x1628 x1633 x1641 x1645 x1647 x1649 x1651 x1653
34.06/34.12	v x1655 x1659 x1661 x1667 x1671 x1673 x1683 x1685 x1687 x1689 x1691 x1693 x1697 x1699 x1705 x1707 x1711 x1713 x1715 x1719 x1723
34.06/34.12	v x1725 x1729 x1731 x1737 x1744 x1752 x1754 x1762 x1768 x1776 x1778 x1784 x1788 x1792 x1798 x1807 x1818 x1824 x1826 x1830 x1841
34.06/34.12	v x1843 x1845 x1847 x1849 x1851 x1855 x1859 x1861 x1863 x1865 x1867 x1869 x1875 x1887 x1893 x1897 x1899 x1901 x1911 x1913 x1921
34.06/34.12	v x1923 x1925 x1931 x1935 x1937 x1939 x1941 x1943 x1951 x1953 x1957 x1965 x1967 x1969 x1973 x1976 x1978 x1982 x1986 x1988 x1991
34.06/34.12	v x1995 x2003 x2005 x2012 x2016 x2018 x2022 x2024 x2029 x2031 x2037 x2039 x2041 x2053 x2057 x2063 x2065 x2069 x2075 x2087 x2091
34.06/34.12	v x2093 x2103 x2105 x2111 x2115 x2119 x2121 x2125 x2127 x2133 x2139 x2141 x2143 x2148 x2150 x2152 x2154 x2160 x2168 x2170 x2176
34.06/34.12	v x2180 x2182 x2186 x2188 x2190 x2196 x2198 x2201 x2209 x2213 x2225 x2229 x2231 x2237 x2241 x2243 x2245 x2249 x2253 x2256 x2260
34.06/34.12	v x2264 x2267 x2269 x2271 x2275 x2281 x2293 x2295 x2299 x2301 x2305 x2306 x2312 x2314 x2318 x2320 x2322 x2326 x2330 x2336 x2343
34.06/34.12	v x2345 x2347 x2349 x2351 x2353 x2355 x2365 x2369 x2377 x2379 x2381 x2387 x2399 x2403 x2413 x2415 x2417 x2419 x2423 x2426 x2430
34.06/34.12	v x2432 x2434 x2436 x2441 x2446 x2448 x2450 x2452 x2456 x2458 x2460 x2462 x2472 x2474 x2478 x2482 x2486 x2488 x2490 x2494 x2502
34.06/34.12	v x2510 x2512 x2514 x2518 x2522 x2526 x2528 x2530 x2532 x2538 x2540 x2544 x2546 x2552 x2558 x2567 x2573 x2575 x2577 x2581 x2583
34.06/34.12	v x2588 x2591 x2593 x2600 x2602 x2610 x2612 x2616 x2620 x2622 x2634 x2638 x2649 x2651 x2657 x2661 x2663 x2665 x2672 x2676 x2678
34.06/34.12	v x2684 x2686 x2688 x2690 x2694 x2696 x2698 x2710 x2714 x2720 x2724 x2726 x2728 x2730 x2734 x2736 x2738 x2740 x2750 x2752 x2754
34.06/34.12	v x2758 x2760 x2764 x2766 x2770 x2772 x2774 x2776 x2786 x2788 x2790 x2794 x2800 x2802 x2806 x2808 x2812 x2814 x2816 x2818 x2820
34.06/34.12	v x2822 x2827 x2831 x2835 x2840 x2846 x2848 x2850 x2852 x2858 x2862 x2865 x2869 x2871 x2878 x2882 x2886 x2891 x2893 x2895 x2899
34.06/34.12	v x2915 x2920 x2926 x2940 x2942 x2944 x2948 x2952 x2954 x2956 x2958 x2964 x2966 x2968 x2972 x2974 x2976 x2978 x2980 x2988 x2992
34.06/34.12	v x2994 x2998 x3000 x3002 x3016 x3018 x3022 x3030 x3034 x3039 x3041 x3043 x3049 x3053 x3057 x3061 x3065 x3069 x3073 x3075 x3079
34.06/34.12	v x3089 x3095 x3101 x3103 x3105 x3107 x3109 x3111 x3117 x3129 x3133 x3135 x3138 x3150 x3154 x3156 x3158 x3162 x3164 x3166 x3176
34.06/34.12	v x3178 x3185 x3191 x3193 x3195 x3201 x3208 x3210 x3212 x3214 x3218 x3222 x3228 x3230 x3232 x3234 x3236 x3240 x3243 x3245 x3247
34.06/34.12	v x3249 x3253 x3257 x3259 x3261 x3263 x3267 x3269 x3271 x3292 x3296 x3300 x3302 x3310 x3316 x3321 x3325 x3338 x3340 x3344 x3346
34.06/34.12	v x3350 x3352 x3354 x3356 x3360 x3364 x3370 x3372 x3378 x3380 x3382 x3384 x3388 x3392 x3394 x3398 x3402 x3404 x3406 x3408 x3416
34.06/34.12	v x3418 x3420 x3433 x3435 x3439 x3443 x3445 x3447 x3453 x3455 x3465 x3467 x3473 x3477 x3495 x3499 x3507 x3511 x3522 x3528 x3532
34.06/34.12	v x3542 x3545 x3549 x3551 x3553 x3555 x3557 x3561 x3567 x3571 x3573 x3579 x3593 x3597 x3602 x3604 x3614 x3616 x3618 x3624 x3626
34.06/34.12	v x3634 x3636 x3640 x3642 x3644 x3646 x3648 x3652 x3654 x3656 x3658 x3660 x3662 x3668 x3672 x3676 x3680 x3682 x3686 x3688 x3693
34.06/34.12	v x3695 x3697 x3703 x3705 x3714 x3718 x3720 x3724 x3728 x3730 x3736 x3740 x3742 x3744 x3750 x3752 x3754 x3756 x3764 x3767 x3769
34.06/34.12	v x3773 x3777 x3786 x3792 x3794 x3799 x3803 x3805 x3807 x3813 x3817 x3823 x3825 x3829 x3833 x3835 x3841 x3843 x3845 x3847 x3855
34.06/34.12	v x3867 x3869 x3871 x3873 x3877 x3879 x3881 x3883 x3885 x3899 x3901 x3904 x3912 x3914 x3918 x3921 x3925 x3927 x3931 x3937 x3939
34.06/34.12	v x3945 x3947 x3950 x3970 x3972 x3976 x3980 x3995 x3997 x3999 x4003 x4007 x4009 x4020 x4026 x4033 x4035 x4039 x4048 x4052 x4054
34.06/34.12	v x4056 x4059 x4072 x4074 x4082 x4089 x4091 x4093 x4095 x4097 x4099 x4105 x4111 x4122 x4124 x4126 x4134 x4136 x4149 x4151 x4153
34.06/34.12	v x4155 x4166 x4168 x4192 x4207 x4213 x4215 x4217 x4219 x4241 x4243 x4249 x4265 x4271 x4274 x4278 x4284 x4292 x4294 x4298 x4300
34.06/34.12	v x4304 x4307 x4335 x4337 x4339 x4341 x4343 x4356 x4358 x4362 x4364 x4366 x4370 x4377 x4379 x4382 x4389 x4393 x4400 x4402 x4406
34.06/34.12	v x4410 x4417 x4419 x4427 x4438 x4449 x4451 x4458 x4460 x4462 x4466 x4468 x4482 x4484 x4490 x4498 x4500 x4508 x4510 x4518 x4520
34.06/34.12	v x4522 x4528 x4530 x4532 x4541 x4550 x4560 x4564 x4582 x4584 x4588 x4592 x4594 x4596 x4599 x4601 x4607 x4609 x4610 x4611 x4613
34.06/34.12	v x4619 x4621 x4625 x4627 x4628 x4629 x4633 x4642 x4650 x4653 x4664 x4669 x4671 x4676 x4691 x4695 x4701 x4703 x4706 x4708 x4710
34.06/34.12	v x4720 x4722 x4726 x4730 x4732 x4734 x4740 x4748 x4754 x4761 x4769 x4771 x4773 x4775 x4777 x4779 x4782 x4784 x4790 x4792 x4796
34.06/34.12	v x4798 x4803 x4805 x4807 x4811 x4817 x4823 x4825 x4827 x4829 x4831 x4836 x4841 x4853 x4855 x4860 x4864 x4866 x4876 x4879 x4885
34.06/34.12	v x4887 x4889 x4898 x4903 x4905 x4910 x4918 x4919 x4922 x4926 x4933 x4936 x4951 x4953 x4956 x4958 x4961 x4963 x4969 x4974 x4978
34.06/34.12	v x4980 x4985 x4987 x4993 x4995 x5002 x5006 x5013 x5017 x5021 x5023 x5039 x5052 x5055 x5067 x5070 x5073 x5075 x5078 x5080 x5086
34.06/34.12	v x5090 x5095 x5099 x5111 x5127 x5129 x5137 x5140 x5142 x5152 x5154 x5159 x5162 x5164 x5171 x5192 x5199 x5206 x5209 x5211 x5213
34.06/34.12	v x5217 x5223 x5228 x5235 x5239 x5247 x5250 x5256 x5258 x5261 x5267 x5273 x5275 x5277 x5279 x5287 x5291 x5304 x5310 x5316 x5318
34.06/34.12	v x5320 x5328 x5330 x5338 x5341 x5344 x5352 x5354 x5366 x5372 x5377 x5381 x5393 x5403 x5405 x5413 x5415 x5418 x5420 x5424 x5426
34.06/34.12	v x5432 x5434 x5437 x5440 x5450 x5454 x5456 x5458 x5462 x5464 x5466 x5467 x5469 x5471 x5472 x5478 x5482 x5487 x5491 x5503 x5508
34.06/34.12	v x5514 x5517 x5519 x5522 x5535 x5538 x5543 x5551 x5554 x5557 x5559 x5561 x5574 x5583 x5590 x5592 x5602 x5605 x5607 x5614 x5616
34.06/34.12	v x5620 x5629 x5631 x5633 x5645 x5652 x5656 x5674 x5677 x5679 x5690 x5692 x5694 x5708 x5716 x5720 x5722 x5725 x5726 x5727 x5728
34.06/34.12	v x5730 x5738 x5744 x5755 x5758 x5761 x5764 x5766 x5769 x5770 x5771 x5773 x5775 x5776 x5778 x5782 x5788 x5790 x5807 x5811 x5813
34.06/34.12	v x5815 x5817 x5818 x5820 x5835 x5836 x5838 x5839 x5840 x5841 x5847 x5853 x5862 x5865 x5872 x5876 x5878 x5880 x5882 x5893 x5895
34.06/34.12	v x5898 x5899 x5901 x5903 x5904 x5907 x5909 x5928 x5934 x5935 x5945 x5946 x5952 x5953 x5965 x5967 x5970 x5979 x5983 x5985 x5989
34.06/34.12	v x5990 x5992 x5995 x5996 x5999 x6000 x6004 x6005 x6006 x6009 x6012 x6015 x6016 x6018 x6019 x6020 x6021 x6022 x6023 x6024 x6026
34.06/34.12	v x6027 x6028 x6029 x6031 x6032 x6033
34.06/34.12	pb2clasp1: no process killed

Verifier Data (download as text)

OK	1357

Conversion Script Data (download as text)

/tmp/evaluation/373333-1177184150/instance-373333-1177184150.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/node5/watcher-373333-1177184150 -o ROOT/results/node5/solver-373333-1177184150 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-373333-1177184150.opb /tmp/evaluation/373333-1177184150/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.99 0.97 0.97 3/77 10928
/proc/meminfo: memFree=1715136/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=12268 CPUtime=0
/proc/10928/stat : 10928 (pbclasp) R 10926 10928 10169 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 194452642 12562432 317 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226913647205 0 0 4224 0 0 0 0 17 1 0 0
/proc/10928/statm: 3067 317 242 3 0 167 0

[startup+0.050202 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 10928
/proc/meminfo: memFree=1715136/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=12808 CPUtime=0.04
/proc/10928/stat : 10928 (pbclasp) R 10926 10928 10169 0 -1 4194304 589 0 0 0 4 0 0 0 18 0 1 0 194452642 13115392 555 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226913359270 0 0 4224 16384 0 0 0 17 1 0 0
/proc/10928/statm: 3202 555 320 3 0 302 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12808

[startup+0.102206 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 10928
/proc/meminfo: memFree=1715136/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13072 CPUtime=0.09
/proc/10928/stat : 10928 (pbclasp) R 10926 10928 10169 0 -1 4194304 642 0 0 0 9 0 0 0 18 0 1 0 194452642 13385728 608 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226913325793 0 0 4224 16384 0 0 0 17 1 0 0
/proc/10928/statm: 3268 608 320 3 0 368 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13072

[startup+0.302229 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 10928
/proc/meminfo: memFree=1715136/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13364 CPUtime=0.12
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 722 0 0 0 12 0 0 0 16 0 1 0 194452642 13684736 674 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10928/statm: 3341 674 324 3 0 441 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13364

[startup+0.701275 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 10928
/proc/meminfo: memFree=1715136/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13364 CPUtime=0.12
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 722 0 0 0 12 0 0 0 16 0 1 0 194452642 13684736 674 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922377314 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0
/proc/10928/statm: 3341 674 324 3 0 441 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13364

[startup+1.50136 s]
/proc/loadavg: 0.99 0.97 0.97 2/81 10938
/proc/meminfo: memFree=1711712/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=0.96
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 969 1605 0 0 13 0 82 1 17 0 1 0 194452642 13955072 763 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0
/proc/10928/statm: 3407 763 343 3 0 507 0
[pid=10936] ppid=10928 vsize=5356 CPUtime=0
/proc/10936/stat : 10936 (sh) S 10928 10928 10169 0 -1 4194304 286 0 0 0 0 0 0 0 18 0 1 0 194452740 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10936/statm: 1339 225 188 169 0 50 0
[pid=10937] ppid=10936 vsize=2520 CPUtime=0
/proc/10937/stat : 10937 (cat) S 10936 10928 10169 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 194452740 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/10937/statm: 630 87 71 4 0 42 0
[pid=10938] ppid=10936 vsize=11100 CPUtime=0.51
/proc/10938/stat : 10938 (clasp) R 10936 10928 10169 0 -1 4194304 2478 0 0 0 50 1 0 0 22 0 1 0 194452740 11366400 2422 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 8360918 0 0 4096 0 0 0 0 17 1 0 0
/proc/10938/statm: 2775 2422 181 154 0 2245 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 32604

[startup+3.10155 s]
/proc/loadavg: 0.99 0.97 0.97 2/81 10946
/proc/meminfo: memFree=1711264/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.03
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1241 6438 0 0 14 0 184 5 16 0 1 0 194452642 13955072 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 778 343 3 0 507 0
[pid=10944] ppid=10928 vsize=5356 CPUtime=0
/proc/10944/stat : 10944 (sh) S 10928 10928 10169 0 -1 4194304 288 0 0 0 0 0 0 0 19 0 1 0 194452848 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10944/statm: 1339 225 188 169 0 50 0
[pid=10945] ppid=10944 vsize=2520 CPUtime=0
/proc/10945/stat : 10945 (cat) S 10944 10928 10169 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 194452848 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/10945/statm: 630 87 71 4 0 42 0
[pid=10946] ppid=10944 vsize=72716 CPUtime=1.02
/proc/10946/stat : 10946 (clasp) R 10944 10928 10169 0 -1 4194304 18006 0 0 0 95 7 0 0 25 0 1 0 194452848 74461184 17443 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674572 0 0 4096 0 0 0 0 17 1 0 0
/proc/10946/statm: 18179 17444 184 154 0 17649 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 94220

[startup+6.30191 s]
/proc/loadavg: 0.99 0.97 0.97 2/81 10946
/proc/meminfo: memFree=1507680/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.03
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1241 6438 0 0 14 0 184 5 16 0 1 0 194452642 13955072 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 778 343 3 0 507 0
[pid=10944] ppid=10928 vsize=5356 CPUtime=0
/proc/10944/stat : 10944 (sh) S 10928 10928 10169 0 -1 4194304 288 0 0 0 0 0 0 0 19 0 1 0 194452848 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10944/statm: 1339 225 188 169 0 50 0
[pid=10945] ppid=10944 vsize=2520 CPUtime=0
/proc/10945/stat : 10945 (cat) S 10944 10928 10169 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 194452848 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/10945/statm: 630 87 71 4 0 42 0
[pid=10946] ppid=10944 vsize=262492 CPUtime=4.23
/proc/10946/stat : 10946 (clasp) R 10944 10928 10169 0 -1 4194304 66063 0 0 0 394 29 0 0 25 0 1 0 194452848 268791808 63268 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/10946/statm: 65623 63269 184 154 0 65093 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 283996

[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.97 2/81 10946
/proc/meminfo: memFree=1180512/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.03
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1241 6438 0 0 14 0 184 5 16 0 1 0 194452642 13955072 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 778 343 3 0 507 0
[pid=10944] ppid=10928 vsize=5356 CPUtime=0
/proc/10944/stat : 10944 (sh) S 10928 10928 10169 0 -1 4194304 288 0 0 0 0 0 0 0 19 0 1 0 194452848 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10944/statm: 1339 225 188 169 0 50 0
[pid=10945] ppid=10944 vsize=2520 CPUtime=0
/proc/10945/stat : 10945 (cat) S 10944 10928 10169 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 194452848 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/10945/statm: 630 87 71 4 0 42 0
[pid=10946] ppid=10944 vsize=578196 CPUtime=10.63
/proc/10946/stat : 10946 (clasp) R 10944 10928 10169 0 -1 4194304 146708 0 0 0 1001 62 0 0 25 0 1 0 194452848 592072704 140693 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134655430 0 0 4096 0 0 0 0 17 1 0 0
/proc/10946/statm: 144549 140693 184 154 0 144019 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 599700

[startup+25.5021 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 10946
/proc/meminfo: memFree=663144/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.03
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1241 6438 0 0 14 0 184 5 16 0 1 0 194452642 13955072 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 778 343 3 0 507 0
[pid=10944] ppid=10928 vsize=5356 CPUtime=0
/proc/10944/stat : 10944 (sh) S 10928 10928 10169 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 194452848 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10944/statm: 1339 225 188 169 0 50 0
[pid=10946] ppid=10944 vsize=1122352 CPUtime=23.42
/proc/10946/stat : 10946 (clasp) R 10944 10928 10169 0 -1 4194304 336419 0 0 0 2201 141 0 0 25 0 1 0 194452848 1149288448 264669 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/10946/statm: 280588 264669 188 154 0 280058 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1141336



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+34.1061 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 10946
/proc/meminfo: memFree=15528/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.03
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1241 6438 0 0 14 0 184 5 16 0 1 0 194452642 13955072 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 778 343 3 0 507 0
[pid=10944] ppid=10928 vsize=5356 CPUtime=0
/proc/10944/stat : 10944 (sh) S 10928 10928 10169 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 194452848 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10944/statm: 1339 225 188 169 0 50 0
[pid=10946] ppid=10944 vsize=1826696 CPUtime=32.03
/proc/10946/stat : 10946 (clasp) R 10944 10928 10169 0 -1 4194304 533731 0 0 0 2986 217 0 0 25 0 1 0 194452848 1870536704 434153 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/10946/statm: 456674 434155 194 154 0 456144 0
Current children cumulated CPU time (s) 34.06
Current children cumulated vsize (KiB) 1845680

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

[startup+34.1061 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 10946
/proc/meminfo: memFree=15528/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.03
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1241 6438 0 0 14 0 184 5 16 0 1 0 194452642 13955072 778 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 778 343 3 0 507 0
[pid=10944] ppid=10928 vsize=5356 CPUtime=0
/proc/10944/stat : 10944 (sh) S 10928 10928 10169 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 194452848 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/10944/statm: 1339 225 188 169 0 50 0
[pid=10946] ppid=10944 vsize=1826696 CPUtime=32.03
/proc/10946/stat : 10946 (clasp) R 10944 10928 10169 0 -1 4194304 533731 0 0 0 2986 217 0 0 25 0 1 0 194452848 1870536704 434153 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135019764 0 0 4096 0 0 0 0 17 1 0 0
/proc/10946/statm: 456674 434155 194 154 0 456144 0
Current children cumulated CPU time (s) 34.06
Current children cumulated vsize (KiB) 1845680

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

[startup+34.2195 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 10946
/proc/meminfo: memFree=15528/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.08
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1405 8221 0 0 15 1 185 7 18 0 1 0 194452642 13955072 779 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 779 343 3 0 507 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 13628

Sending SIGKILL to process tree (bottom up)

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

[startup+35.0012 s]
/proc/loadavg: 0.99 0.97 0.97 2/80 10946
/proc/meminfo: memFree=15528/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.08
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1405 8221 0 0 15 1 185 7 18 0 1 0 194452642 13955072 779 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 779 343 3 0 507 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 13628

[startup+35.8013 s]
/proc/loadavg: 0.99 0.97 0.97 2/82 10957
/proc/meminfo: memFree=1692696/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.08
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1405 8221 0 0 15 1 185 7 18 0 1 0 194452642 13955072 779 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 779 343 3 0 507 0
[pid=10955] ppid=10928 vsize=5356 CPUtime=0
/proc/10955/stat : 10955 (sh) S 10928 10928 10169 0 -1 4194304 289 0 0 0 0 0 0 0 20 0 1 0 194456057 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10955/statm: 1339 225 188 169 0 50 0
[pid=10956] ppid=10955 vsize=2520 CPUtime=0
/proc/10956/stat : 10956 (cat) S 10955 10928 10169 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 194456057 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/10956/statm: 630 87 71 4 0 42 0
[pid=10957] ppid=10955 vsize=111940 CPUtime=1.63
/proc/10957/stat : 10957 (clasp) R 10955 10928 10169 0 -1 4194304 28075 0 0 0 150 13 0 0 25 0 1 0 194456057 114626560 26795 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 135020376 0 0 4096 0 0 0 0 17 1 0 0
/proc/10957/statm: 27985 26795 184 154 0 27455 0
Current children cumulated CPU time (s) 3.71
Current children cumulated vsize (KiB) 133444

[startup+36.0013 s]
/proc/loadavg: 0.99 0.97 0.97 2/82 10957
/proc/meminfo: memFree=1692696/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.08
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1405 8221 0 0 15 1 185 7 18 0 1 0 194452642 13955072 779 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 779 343 3 0 507 0
[pid=10955] ppid=10928 vsize=5356 CPUtime=0
/proc/10955/stat : 10955 (sh) S 10928 10928 10169 0 -1 4194304 289 0 0 0 0 0 0 0 20 0 1 0 194456057 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10955/statm: 1339 225 188 169 0 50 0
[pid=10956] ppid=10955 vsize=2520 CPUtime=0
/proc/10956/stat : 10956 (cat) S 10955 10928 10169 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 194456057 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/10956/statm: 630 87 71 4 0 42 0
[pid=10957] ppid=10955 vsize=123272 CPUtime=1.83
/proc/10957/stat : 10957 (clasp) R 10955 10928 10169 0 -1 4194304 31128 0 0 0 169 14 0 0 25 0 1 0 194456057 126230528 29848 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10957/statm: 30818 29848 184 154 0 30288 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 144776

[startup+36.1013 s]
/proc/loadavg: 0.99 0.97 0.97 2/82 10957
/proc/meminfo: memFree=1692696/2055920 swapFree=4151632/4192956
[pid=10928] ppid=10926 vsize=13628 CPUtime=2.08
/proc/10928/stat : 10928 (pbclasp) S 10926 10928 10169 0 -1 4194304 1405 8221 0 0 15 1 185 7 18 0 1 0 194452642 13955072 779 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 226922381204 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0
/proc/10928/statm: 3407 779 343 3 0 507 0
[pid=10955] ppid=10928 vsize=5356 CPUtime=0
/proc/10955/stat : 10955 (sh) S 10928 10928 10169 0 -1 4194304 289 0 0 0 0 0 0 0 20 0 1 0 194456057 5484544 225 18446744073709551615 4194304 4889804 548682069216 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10955/statm: 1339 225 188 169 0 50 0
[pid=10956] ppid=10955 vsize=2520 CPUtime=0
/proc/10956/stat : 10956 (cat) S 10955 10928 10169 0 -1 4194304 120 0 0 0 0 0 0 0 15 0 1 0 194456057 2580480 87 18446744073709551615 4194304 4211220 548682069408 18446744073709551615 226913648866 0 0 4096 0 18446744071563648864 0 0 17 1 0 0
/proc/10956/statm: 630 87 71 4 0 42 0
[pid=10957] ppid=10955 vsize=129068 CPUtime=1.93
/proc/10957/stat : 10957 (clasp) R 10955 10928 10169 0 -1 4194304 32634 0 0 0 178 15 0 0 25 0 1 0 194456057 132165632 31354 18446744073709551615 134512640 135144128 4294956784 18446744073709551615 134674636 0 0 4096 0 0 0 0 17 1 0 0
/proc/10957/statm: 32267 31354 184 154 0 31737 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 150572

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10928 and gives
#  childrusage.ru_utime.tv_sec=2
#  childrusage.ru_utime.tv_usec=4695
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=95985
# CPU time returned by wait4() is 2.10068
# while last known CPU time is 4.01
#
# 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): 31.98
#  lost CPU user time (s): 29.84
#  lost CPU system time (s): 2.14

Real time (s): 36.1355
CPU time (s): 35.99
CPU user time (s): 33.62
CPU system time (s): 2.37
CPU usage (%): 99.5974
Max. virtual memory (cumulated for all children) (KiB): 1845680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.00469
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10376
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= 541
involuntary context switches= 202

runsolver used 0.050992 second user time and 0.095985 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Sat Apr 21 19:35:50 UTC 2007

IDJOB= 373333
IDBENCH= 25036
IDSOLVER= 158
FILE ID= node5/373333-1177184150

PBS_JOBID= 4649010

Free space on /tmp= 66357 MiB

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

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

META MD5SUM SOLVER= 814f1745fa20958d8b352781cfa0403e
MD5SUM BENCH=  fb30dc68ef00299e3d850b79fb8a2728

RANDOM SEED= 291151109

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1715544 kB
Buffers:         61980 kB
Cached:         212792 kB
SwapCached:       9400 kB
Active:         187852 kB
Inactive:       110624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1715544 kB
SwapTotal:     4192956 kB
SwapFree:      4151632 kB
Dirty:            1432 kB
Writeback:           0 kB
Mapped:          30064 kB
Slab:            27468 kB
Committed_AS:  8993376 kB
PageTables:       1720 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= 66356 MiB

End job on node5 on Sat Apr 21 19:36:26 UTC 2007