Trace number 2081472

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
pcs-restart 0.3.2? 150.641 152.114

DiagnosticValue
ASSIGNMENTS16

General information on the benchmark

Namecsp/largeQueens/
normalized-queens-500.xml
MD5SUM2f41b36922ebee8c6bbe2e06a2cfd3a7
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of constraints124750
Maximum constraint arity2
Maximum domain size500
Number of constraints which are defined in extension0
Number of constraints which are defined in intension124750
Global constraints used (with number of constraints)

Solver Data 

0.00/0.05	c has big domains
0.00/0.05	c big-domain mode
0.00/0.06	c Seed is 1528835485
0.00/0.06	c Constructing HOME/instance-2081472-1247719650.xml 
9.96/10.17	c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V34,V35,V36,V37,V38,V39,V40,V41,V42,V43,V44,V45,V46,V47,V48,V49,V50,V51,V52,V53,V54,V55,V56,V57,V58,V59,V60,V61,V62,V63,V64,V65,V66,V67,V68,V69,V70,V71,V72,V73,V74,V75,V76,V77,V78,V79,V80,V81,V82,V83,V84,V85,V86,V87,V88,V89,V90,V91,V92,V93,V94,V95,V96,V97,V98,V99,V100,V101,V102,V103,V104,V105,V106,V107,V108,V109,V110,V111,V112,V113,V114,V115,V116,V117,V118,V119,V120,V121,V122,V123,V124,V125,V126,V127,V128,V129,V130,V131,V132,V133,V134,V135,V136,V137,V138,V139,V140,V141,V142,V143,V144,V145,V146,V147,V148,V149,V150,V151,V152,V153,V154,V155,V156,V157,V158,V159,V160,V161,V162,V163,V164,V165,V166,V167,V168,V169,V170,V171,V172,V173,V174,V175,V176,V177,V178,V179,V180,V181,V182,V183,V184,V185,V186,V187,V188,V189,V190,V191,V192,V193,V194,V195,V196,V197,V198,V199,V200,V201,V202,V203,V204,V205,V206,V207,V208,V209,V210,V211,V212,V213,V214,V215,V216,V217,V218,V219,V220,V221,V222,V223,V224,V225,V226,V227,V228,V229,V230,V231,V232,V233,V234,V235,V236,V237,V238,V239,V240,V241,V242,V243,V244,V245,V246,V247,V248,V249,V250,V251,V252,V253,V254,V255,V256,V257,V258,V259,V260,V261,V262,V263,V264,V265,V266,V267,V268,V269,V270,V271,V272,V273,V274,V275,V276,V277,V278,V279,V280,V281,V282,V283,V284,V285,V286,V287,V288,V289,V290,V291,V292,V293,V294,V295,V296,V297,V298,V299,V300,V301,V302,V303,V304,V305,V306,V307,V308,V309,V310,V311,V312,V313,V314,V315,V316,V317,V318,V319,V320,V321,V322,V323,V324,V325,V326,V327,V328,V329,V330,V331,V332,V333,V334,V335,V336,V337,V338,V339,V340,V341,V342,V343,V344,V345,V346,V347,V348,V349,V350,V351,V352,V353,V354,V355,V356,V357,V358,V359,V360,V361,V362,V363,V364,V365,V366,V367,V368,V369,V370,V371,V372,V373,V374,V375,V376,V377,V378,V379,V380,V381,V382,V383,V384,V385,V386,V387,V388,V389,V390,V391,V392,V393,V394,V395,V396,V397,V398,V399,V400,V401,V402,V403,V404,V405,V406,V407,V408,V409,V410,V411,V412,V413,V414,V415,V416,V417,V418,V419,V420,V421,V422,V423,V424,V425,V426,V427,V428,V429,V430,V431,V432,V433,V434,V435,V436,V437,V438,V439,V440,V441,V442,V443,V444,V445,V446,V447,V448,V449,V450,V451,V452,V453,V454,V455,V456,V457,V458,V459,V460,V461,V462,V463,V464,V465,V466,V467,V468,V469,V470,V471,V472,V473,V474,V475,V476,V477,V478,V479,V480,V481,V482,V483,V484,V485,V486,V487,V488,V489,V490,V491,V492,V493,V494,V495,V496,V497,V498,V499,V0)
9.96/10.17	c  with 499001 constraints
9.96/10.17	c Solving 16 backtracks 1 restarts
150.50/152.04	s UNKNOWN
150.50/152.04	c Out of memory
150.50/152.04	d ASSIGNMENTS 16

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: UNKNOWN

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2081472-1247719650/watcher-2081472-1247719650 -o /tmp/evaluation-result-2081472-1247719650/solver-2081472-1247719650 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1528835485 HOME/instance-2081472-1247719650.xml 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 15732
/proc/meminfo: memFree=1617728/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=5356 CPUtime=0
/proc/15732/stat : 15732 (pcssolve) R 15730 15732 14344 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59032164 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15732/statm: 1339 241 200 169 0 50 0
[pid=15733] ppid=15732 vsize=100 CPUtime=0
/proc/15733/stat : 15733 (fgrep) R 15732 15732 14344 0 -1 4194304 24 0 0 0 0 0 0 0 22 0 1 0 59032165 102400 3 996147200 0 0 548682069725 18446744073709551615 214919867687 0 0 4096 0 0 0 0 17 1 0 0
/proc/15733/statm: 25 3 0 0 0 2 0
[pid=15734] ppid=15732 vsize=5356 CPUtime=0
/proc/15734/stat : 15734 (pcssolve) R 15732 15732 14344 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59032165 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15734/statm: 1339 241 200 169 0 50 0

[startup+0.0698079 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 15732
/proc/meminfo: memFree=1617728/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=4764 CPUtime=0.04
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 861 657 0 0 1 0 2 1 18 0 1 0 59032164 4878336 492 996147200 134512640 135215973 4294956304 18446744073709551615 9338538 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 1191 492 385 171 0 116 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4764

[startup+0.101813 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 15732
/proc/meminfo: memFree=1617728/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=5588 CPUtime=0.07
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 1022 657 0 0 4 0 2 1 18 0 1 0 59032164 5722112 653 996147200 134512640 135215973 4294956304 18446744073709551615 4159345932 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 1397 653 385 171 0 322 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5588

[startup+0.301861 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 15732
/proc/meminfo: memFree=1617728/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=8112 CPUtime=0.26
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 1823 657 0 0 23 0 2 1 19 0 1 0 59032164 8306688 1308 996147200 134512640 135215973 4294956304 18446744073709551615 4160505352 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 2028 1308 385 171 0 953 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 8112

[startup+0.701945 s]
/proc/loadavg: 1.99 1.98 1.99 4/81 15732
/proc/meminfo: memFree=1617728/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=16224 CPUtime=0.66
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 4264 657 0 0 61 2 2 1 23 0 1 0 59032164 16613376 2709 996147200 134512640 135215973 4294956304 18446744073709551615 134809194 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 4056 2709 385 171 0 2981 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 16224

[startup+1.50112 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=1604344/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=28064 CPUtime=1.44
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 8112 657 0 0 137 4 2 1 25 0 1 0 59032164 28737536 5090 996147200 134512640 135215973 4294956304 18446744073709551615 9338516 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 7016 5090 385 171 0 5941 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 28064

[startup+3.10146 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=1591864/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=52000 CPUtime=3.03
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 15907 657 0 0 291 9 2 1 25 0 1 0 59032164 53248000 9891 996147200 134512640 135215973 4294956304 18446744073709551615 134899166 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 13000 9891 385 171 0 11925 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 52000

[startup+6.30115 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=1539128/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=99348 CPUtime=6.2
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 31273 657 0 0 601 16 2 1 25 0 1 0 59032164 101732352 19275 996147200 134512640 135215973 4294956304 18446744073709551615 4159189327 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 24837 19275 385 171 0 23762 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 99348

[startup+12.7015 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=1443520/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=196152 CPUtime=12.55
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 68414 657 0 0 1219 33 2 1 25 0 1 0 59032164 200859648 46429 996147200 134512640 135215973 4294956304 18446744073709551615 134591678 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 49038 46429 403 171 0 47963 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 196152

[startup+25.5013 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=1271936/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=378416 CPUtime=25.22
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 130184 657 0 0 2460 59 2 1 25 0 1 0 59032164 387497984 86834 996147200 134512640 135215973 4294956304 18446744073709551615 134590112 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 94604 86834 407 171 0 93529 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 378416

[startup+51.1018 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=1051264/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=637460 CPUtime=50.57
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 214629 657 0 0 4959 95 2 1 25 0 1 0 59032164 652759040 142355 996147200 134512640 135215973 4294956304 18446744073709551615 134610603 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 159365 142355 407 171 0 158290 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 637460

[startup+102.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=997888/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=645408 CPUtime=101.28
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 232910 657 0 0 10021 104 2 1 25 0 1 0 59032164 660897792 154864 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 161352 154864 409 171 0 160277 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 645408

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

[startup+127.901 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=993536/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=648312 CPUtime=126.63
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 234343 657 0 0 12555 105 2 1 25 0 1 0 59032164 663871488 156297 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 162078 156297 409 171 0 161003 0
Current children cumulated CPU time (s) 126.63
Current children cumulated vsize (KiB) 648312

[startup+140.702 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=960320/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=669488 CPUtime=139.31
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 242753 657 0 0 13820 108 2 1 25 0 1 0 59032164 685555712 164258 996147200 134512640 135215973 4294956304 18446744073709551615 134599824 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 167372 164258 409 171 0 166297 0
Current children cumulated CPU time (s) 139.31
Current children cumulated vsize (KiB) 669488

[startup+147.101 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=945536/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=681772 CPUtime=145.65
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 247370 657 0 0 14452 110 2 1 25 0 1 0 59032164 698134528 168428 996147200 134512640 135215973 4294956304 18446744073709551615 135094344 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 170443 168428 409 171 0 169368 0
Current children cumulated CPU time (s) 145.65
Current children cumulated vsize (KiB) 681772

[startup+150.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=938112/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=687184 CPUtime=148.82
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 249246 657 0 0 14768 111 2 1 25 0 1 0 59032164 703676416 170304 996147200 134512640 135215973 4294956304 18446744073709551615 4158961090 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 171796 170304 409 171 0 170721 0
Current children cumulated CPU time (s) 148.82
Current children cumulated vsize (KiB) 687184

[startup+151.102 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=935168/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=691508 CPUtime=149.62
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 250562 657 3 0 14847 112 2 1 25 0 1 0 59032164 708104192 171622 996147200 134512640 135215973 4294956304 18446744073709551615 9336661 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 172877 171622 430 171 0 171802 0
Current children cumulated CPU time (s) 149.62
Current children cumulated vsize (KiB) 691508

[startup+151.901 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=990784/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=630104 CPUtime=150.41
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194304 250562 657 3 0 14925 113 2 1 25 0 1 0 59032164 645226496 156469 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 157526 156469 430 171 0 156451 0
Current children cumulated CPU time (s) 150.41
Current children cumulated vsize (KiB) 630104

[startup+152.102 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15737
/proc/meminfo: memFree=990784/2055920 swapFree=4192812/4192956
[pid=15732] ppid=15730 vsize=0 CPUtime=150.6
/proc/15732/stat : 15732 (pcs.big) R 15730 15732 14344 0 -1 4194308 250564 657 3 0 14935 122 2 1 25 0 1 0 59032164 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/15732/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 150.6
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 152.114
CPU time (s): 150.641
CPU user time (s): 149.38
CPU system time (s): 1.26081
CPU usage (%): 99.0317
Max. virtual memory (cumulated for all children) (KiB): 743684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.38
system time used= 1.26081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251221
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 6367

runsolver used 0.197969 second user time and 0.504923 second system time

The end

Launcher Data 

Begin job on node10 at 2009-07-16 06:47:31
IDJOB=2081472
IDBENCH=57401
IDSOLVER=734
FILE ID=node10/2081472-1247719650
PBS_JOBID= 9521355
Free space on /tmp= 66348 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/largeQueens/normalized-queens-500.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2081472-1247719650/watcher-2081472-1247719650 -o /tmp/evaluation-result-2081472-1247719650/solver-2081472-1247719650 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1528835485 HOME/instance-2081472-1247719650.xml

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 2f41b36922ebee8c6bbe2e06a2cfd3a7
RANDOM SEED=1528835485

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

/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.279
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.279
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:       1618208 kB
Buffers:         73788 kB
Cached:         240168 kB
SwapCached:          0 kB
Active:         134412 kB
Inactive:       230372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1618208 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           18328 kB
Writeback:           0 kB
Mapped:          71284 kB
Slab:            58240 kB
Committed_AS:   658960 kB
PageTables:       1872 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= 66344 MiB
End job on node10 at 2009-07-16 06:50:03