Trace number 2085046

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 0.3.2? (TO) 1800.06 1814.23

General information on the benchmark

Namecsp/graphColoring/leighton/leighton-25/
normalized-lei450-25c-25.xml
MD5SUM915d2b8095a8d52ae5acbb8e68bb744f
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 variables450
Number of constraints17343
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension0
Number of constraints which are defined in intension17343
Global constraints used (with number of constraints)

Solver Data 

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

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2085046-1247725260/watcher-2085046-1247725260 -o /tmp/evaluation-result-2085046-1247725260/solver-2085046-1247725260 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2080947869 HOME/instance-2085046-1247725260.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: 2.00 2.00 2.00 4/72 12603
/proc/meminfo: memFree=1464056/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=18576 CPUtime=0
/proc/12603/stat : 12603 (runsolver) R 12601 12603 12493 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59589944 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 236437695783 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12603/statm: 4644 284 249 26 0 2626 0

[startup+0.106295 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12603
/proc/meminfo: memFree=1464056/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=5028 CPUtime=0.08
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 950 822 0 0 7 0 1 0 18 0 1 0 59589944 5148672 559 996147200 134512640 135095119 4294956304 18446744073709551615 134705374 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 1257 559 373 142 0 211 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5028

[startup+0.201307 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12603
/proc/meminfo: memFree=1464056/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=5544 CPUtime=0.17
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 1114 822 0 0 16 0 1 0 18 0 1 0 59589944 5677056 690 996147200 134512640 135095119 4294956304 18446744073709551615 8539588 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 1386 690 373 142 0 340 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5544

[startup+0.30132 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12603
/proc/meminfo: memFree=1464056/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=6472 CPUtime=0.27
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 1352 822 0 0 26 0 1 0 19 0 1 0 59589944 6627328 863 996147200 134512640 135095119 4294956304 18446744073709551615 134716599 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 1618 863 373 142 0 572 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6472

[startup+0.701368 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 12603
/proc/meminfo: memFree=1464056/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=8404 CPUtime=0.66
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 1924 822 0 0 64 1 1 0 23 0 1 0 59589944 8605696 1306 996147200 134512640 135095119 4294956304 18446744073709551615 134873589 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 2101 1306 391 142 0 1055 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 8404

[startup+1.50146 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1460016/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=8568 CPUtime=1.45
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 1964 822 0 0 143 1 1 0 25 0 1 0 59589944 8773632 1346 996147200 134512640 135095119 4294956304 18446744073709551615 4159345920 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 2142 1346 391 142 0 1096 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 8568

[startup+3.10264 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1459632/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=8728 CPUtime=3.04
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 2008 822 0 0 302 1 1 0 25 0 1 0 59589944 8937472 1349 996147200 134512640 135095119 4294956304 18446744073709551615 134606182 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 2182 1349 391 142 0 1136 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 8728

[startup+6.30201 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1459376/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=8728 CPUtime=6.22
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 2011 822 0 0 619 2 1 0 25 0 1 0 59589944 8937472 1352 996147200 134512640 135095119 4294956304 18446744073709551615 134587520 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 2182 1352 391 142 0 1136 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8728

[startup+12.7017 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1458928/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=8860 CPUtime=12.56
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 2052 822 0 0 1253 2 1 0 25 0 1 0 59589944 9072640 1393 996147200 134512640 135095119 4294956304 18446744073709551615 8539892 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 2215 1393 391 142 0 1169 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 8860

[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1457328/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=9244 CPUtime=25.24
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 2212 822 0 0 2521 2 1 0 25 0 1 0 59589944 9465856 1455 996147200 134512640 135095119 4294956304 18446744073709551615 134859333 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 2311 1455 391 142 0 1265 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 9244

[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1454640/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=9756 CPUtime=50.61
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 2490 822 0 0 5058 2 1 0 25 0 1 0 59589944 9990144 1604 996147200 134512640 135095119 4294956304 18446744073709551615 134852210 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 2439 1604 391 142 0 1393 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 9756

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1440688/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=15184 CPUtime=101.35
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 4152 822 0 0 10131 3 1 0 25 0 1 0 59589944 15548416 2719 996147200 134512640 135095119 4294956304 18446744073709551615 134544680 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 3796 2719 391 142 0 2750 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 15184

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1425712/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=19016 CPUtime=160.84
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 5459 822 0 0 16078 5 1 0 25 0 1 0 59589944 19472384 3513 996147200 134512640 135095119 4294956304 18446744073709551615 8539607 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 4754 3513 391 142 0 3708 0
Current children cumulated CPU time (s) 160.84
Current children cumulated vsize (KiB) 19016

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1411376/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=22208 CPUtime=220.33
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 6635 822 0 0 22025 7 1 0 25 0 1 0 59589944 22740992 4689 996147200 134512640 135095119 4294956304 18446744073709551615 8572510 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 5552 4689 391 142 0 4506 0
Current children cumulated CPU time (s) 220.33
Current children cumulated vsize (KiB) 22208

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1388528/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=33092 CPUtime=279.76
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 9738 822 0 0 27966 9 1 0 25 0 1 0 59589944 33886208 6189 996147200 134512640 135095119 4294956304 18446744073709551615 134590362 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 8273 6189 391 142 0 7227 0
Current children cumulated CPU time (s) 279.76
Current children cumulated vsize (KiB) 33092

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1374256/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=34492 CPUtime=339.2
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 10451 822 0 0 33909 10 1 0 25 0 1 0 59589944 35319808 6902 996147200 134512640 135095119 4294956304 18446744073709551615 8572543 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 8623 6902 391 142 0 7577 0
Current children cumulated CPU time (s) 339.2
Current children cumulated vsize (KiB) 34492

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1361456/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=37304 CPUtime=398.64
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 11498 822 0 0 39851 12 1 0 25 0 1 0 59589944 38199296 7949 996147200 134512640 135095119 4294956304 18446744073709551615 134858525 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 9326 7949 391 142 0 8280 0
Current children cumulated CPU time (s) 398.64
Current children cumulated vsize (KiB) 37304

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1346224/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=39724 CPUtime=458.08
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 12421 822 0 0 45795 12 1 0 25 0 1 0 59589944 40677376 8872 996147200 134512640 135095119 4294956304 18446744073709551615 134524248 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 9931 8872 391 142 0 8885 0
Current children cumulated CPU time (s) 458.08
Current children cumulated vsize (KiB) 39724

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1334896/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=50588 CPUtime=517.53
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 15462 822 0 0 51737 15 1 0 25 0 1 0 59589944 51802112 9864 996147200 134512640 135095119 4294956304 18446744073709551615 134852267 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 12647 9864 391 142 0 11601 0
Current children cumulated CPU time (s) 517.53
Current children cumulated vsize (KiB) 50588

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1321520/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=53400 CPUtime=576.97
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 16518 822 0 0 57679 17 1 0 25 0 1 0 59589944 54681600 10920 996147200 134512640 135095119 4294956304 18446744073709551615 4159337028 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 13350 10920 391 142 0 12304 0
Current children cumulated CPU time (s) 576.97
Current children cumulated vsize (KiB) 53400

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1299696/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=71288 CPUtime=636.42
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 21342 822 0 0 63621 20 1 0 25 0 1 0 59589944 72998912 14719 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 17822 14719 391 142 0 16776 0
Current children cumulated CPU time (s) 636.42
Current children cumulated vsize (KiB) 71288

[startup+702.302 s]

################
# More data... #
################

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1254576/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=72048 CPUtime=874.17
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 22906 822 0 0 87394 22 1 0 25 0 1 0 59589944 73777152 16283 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 18012 16283 391 142 0 16966 0
Current children cumulated CPU time (s) 874.17
Current children cumulated vsize (KiB) 72048

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1239472/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=74724 CPUtime=933.62
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 23950 822 0 0 93337 24 1 0 25 0 1 0 59589944 76517376 17327 996147200 134512640 135095119 4294956304 18446744073709551615 134681021 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 18681 17327 391 142 0 17635 0
Current children cumulated CPU time (s) 933.62
Current children cumulated vsize (KiB) 74724

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1226032/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=93928 CPUtime=993.05
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 29106 822 0 0 99278 26 1 0 25 0 1 0 59589944 96182272 18386 996147200 134512640 135095119 4294956304 18446744073709551615 8572543 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 23482 18386 391 142 0 22436 0
Current children cumulated CPU time (s) 993.05
Current children cumulated vsize (KiB) 93928

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1214576/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=96596 CPUtime=1052.49
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 30151 822 0 0 105221 27 1 0 25 0 1 0 59589944 98914304 19431 996147200 134512640 135095119 4294956304 18446744073709551615 134854596 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 24149 19431 391 142 0 23103 0
Current children cumulated CPU time (s) 1052.49
Current children cumulated vsize (KiB) 96596

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1199344/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=99784 CPUtime=1111.94
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 31324 822 0 0 111164 29 1 0 25 0 1 0 59589944 102178816 20604 996147200 134512640 135095119 4294956304 18446744073709551615 134854699 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 24946 20604 391 142 0 23900 0
Current children cumulated CPU time (s) 1111.94
Current children cumulated vsize (KiB) 99784

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1182256/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=103100 CPUtime=1171.37
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 32516 822 0 0 117106 30 1 0 25 0 1 0 59589944 105574400 21796 996147200 134512640 135095119 4294956304 18446744073709551615 134524952 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 25775 21796 391 142 0 24729 0
Current children cumulated CPU time (s) 1171.37
Current children cumulated vsize (KiB) 103100

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1169392/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=106284 CPUtime=1230.83
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 33688 822 0 0 123049 33 1 0 25 0 1 0 59589944 108834816 22968 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 26571 22968 391 142 0 25525 0
Current children cumulated CPU time (s) 1230.83
Current children cumulated vsize (KiB) 106284

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1159472/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=109220 CPUtime=1290.26
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 34825 822 0 0 128991 34 1 0 25 0 1 0 59589944 111841280 24105 996147200 134512640 135095119 4294956304 18446744073709551615 134851069 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 27305 24105 391 142 0 26259 0
Current children cumulated CPU time (s) 1290.26
Current children cumulated vsize (KiB) 109220

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1124976/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=144780 CPUtime=1349.7
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 44096 822 0 0 134930 39 1 0 25 0 1 0 59589944 148254720 31327 996147200 134512640 135095119 4294956304 18446744073709551615 134851530 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 36195 31327 391 142 0 35149 0
Current children cumulated CPU time (s) 1349.7
Current children cumulated vsize (KiB) 144780

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1118000/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=144780 CPUtime=1409.14
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 44389 822 0 0 140874 39 1 0 25 0 1 0 59589944 148254720 31620 996147200 134512640 135095119 4294956304 18446744073709551615 134523768 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 36195 31620 391 142 0 35149 0
Current children cumulated CPU time (s) 1409.14
Current children cumulated vsize (KiB) 144780

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12609
/proc/meminfo: memFree=1110640/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=144780 CPUtime=1468.58
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 44712 822 0 0 146817 40 1 0 25 0 1 0 59589944 148254720 31943 996147200 134512640 135095119 4294956304 18446744073709551615 8572510 0 0 4096 0 0 0 0 17 1 0 0
/proc/12603/statm: 36195 31943 391 142 0 35149 0
Current children cumulated CPU time (s) 1468.58
Current children cumulated vsize (KiB) 144780

[startup+1542.31 s]
/proc/loadavg: 1.88 1.97 1.99 4/73 12674
/proc/meminfo: memFree=1356280/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=144780 CPUtime=1528.22
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 45041 822 0 0 152780 41 1 0 25 0 1 0 59589944 148254720 32272 996147200 134512640 135095119 4294956304 18446744073709551615 8540218 0 0 4096 0 0 0 0 17 0 0 0
/proc/12603/statm: 36195 32272 391 142 0 35149 0
Current children cumulated CPU time (s) 1528.22
Current children cumulated vsize (KiB) 144780

[startup+1602.3 s]
/proc/loadavg: 1.95 1.97 1.99 3/73 12674
/proc/meminfo: memFree=1347192/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=144780 CPUtime=1588.2
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 45391 822 0 0 158777 42 1 0 25 0 1 0 59589944 148254720 32622 996147200 134512640 135095119 4294956304 18446744073709551615 134681032 0 0 4096 0 0 0 0 17 0 0 0
/proc/12603/statm: 36195 32622 391 142 0 35149 0
Current children cumulated CPU time (s) 1588.2
Current children cumulated vsize (KiB) 144780

[startup+1662.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/73 12674
/proc/meminfo: memFree=1335160/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=144780 CPUtime=1648.17
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 45699 822 0 0 164774 42 1 0 25 0 1 0 59589944 148254720 32930 996147200 134512640 135095119 4294956304 18446744073709551615 8539879 0 0 4096 0 0 0 0 17 0 0 0
/proc/12603/statm: 36195 32930 391 142 0 35149 0
Current children cumulated CPU time (s) 1648.17
Current children cumulated vsize (KiB) 144780

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 12674
/proc/meminfo: memFree=1323768/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=144780 CPUtime=1708.14
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 46089 822 0 0 170770 43 1 0 25 0 1 0 59589944 148254720 33320 996147200 134512640 135095119 4294956304 18446744073709551615 134860134 0 0 4096 0 0 0 0 17 0 0 0
/proc/12603/statm: 36195 33320 391 142 0 35149 0
Current children cumulated CPU time (s) 1708.14
Current children cumulated vsize (KiB) 144780

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 12674
/proc/meminfo: memFree=1312696/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=144780 CPUtime=1768.12
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 46459 822 0 0 176767 44 1 0 25 0 1 0 59589944 148254720 33690 996147200 134512640 135095119 4294956304 18446744073709551615 134615479 0 0 4096 0 0 0 0 17 0 0 0
/proc/12603/statm: 36195 33690 391 142 0 35149 0
Current children cumulated CPU time (s) 1768.12
Current children cumulated vsize (KiB) 144780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.2 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 12674
/proc/meminfo: memFree=1307832/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=144780 CPUtime=1800.01
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 46659 822 0 0 179956 44 1 0 25 0 1 0 59589944 148254720 33890 996147200 134512640 135095119 4294956304 18446744073709551615 134589668 0 0 4096 0 0 0 0 17 0 0 0
/proc/12603/statm: 36195 33890 391 142 0 35149 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144780

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

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

[startup+1814.2 s]
/proc/loadavg: 1.99 1.97 1.99 3/73 12674
/proc/meminfo: memFree=1307832/2055920 swapFree=4192812/4192956
[pid=12603] ppid=12601 vsize=144780 CPUtime=1800.01
/proc/12603/stat : 12603 (pcs.small) R 12601 12603 12493 0 -1 4194304 46659 822 0 0 179956 44 1 0 25 0 1 0 59589944 148254720 33890 996147200 134512640 135095119 4294956304 18446744073709551615 134589668 0 0 4096 0 0 0 0 17 0 0 0
/proc/12603/statm: 36195 33890 391 142 0 35149 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 144780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1814.23
CPU time (s): 1800.06
CPU user time (s): 1799.58
CPU system time (s): 0.478927
CPU usage (%): 99.219
Max. virtual memory (cumulated for all children) (KiB): 152976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.478927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47481
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= 22
involuntary context switches= 33808

runsolver used 2.82457 second user time and 5.2852 second system time

The end

Launcher Data 

Begin job on node62 at 2009-07-16 08:21:00
IDJOB=2085046
IDBENCH=58279
IDSOLVER=733
FILE ID=node62/2085046-1247725260
PBS_JOBID= 9521540
Free space on /tmp= 66244 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/graphColoring/leighton/leighton-25/normalized-lei450-25c-25.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2085046-1247725260/watcher-2085046-1247725260 -o /tmp/evaluation-result-2085046-1247725260/solver-2085046-1247725260 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2080947869 HOME/instance-2085046-1247725260.xml

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

MD5SUM BENCH= 915d2b8095a8d52ae5acbb8e68bb744f
RANDOM SEED=2080947869

node62.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.220
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.220
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:       1464536 kB
Buffers:         73400 kB
Cached:         373564 kB
SwapCached:          0 kB
Active:         113540 kB
Inactive:       400016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1464536 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3788 kB
Writeback:           0 kB
Mapped:          78148 kB
Slab:            62740 kB
Committed_AS:   513200 kB
PageTables:       1920 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66244 MiB
End job on node62 at 2009-07-16 08:51:17