Trace number 2085079

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.13 1812.44

General information on the benchmark

Namecsp/graphColoring/leighton/leighton-15/
normalized-lei450-15c-15.xml
MD5SUM1d0bd68485fa6bd55ca6b70a4ca6e593
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 constraints16680
Maximum constraint arity2
Maximum domain size15
Number of constraints which are defined in extension0
Number of constraints which are defined in intension16680
Global constraints used (with number of constraints)

Solver Data 

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

[startup+0 s]
/proc/loadavg: 1.00 1.03 1.25 3/73 14351
/proc/meminfo: memFree=1561008/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=18576 CPUtime=0
/proc/14351/stat : 14351 (runsolver) R 14349 12510 12510 0 -1 4194368 11 0 0 0 0 0 0 0 21 0 1 0 59595708 19021824 282 996147200 4194304 4302564 548682068496 18446744073709551615 251598502602 0 0 4096 24578 0 0 0 17 0 0 0
/proc/14351/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB


[startup+0.00868089 s]
/proc/loadavg: 1.00 1.03 1.25 3/73 14351
/proc/meminfo: memFree=1561008/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=5356 CPUtime=0
/proc/14351/stat : 14351 (pcssolve) S 14349 14351 12510 0 -1 4194304 305 0 0 0 0 0 0 0 21 0 1 0 59595708 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14351/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102286 s]
/proc/loadavg: 1.00 1.03 1.25 3/73 14351
/proc/meminfo: memFree=1561008/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=5028 CPUtime=0.07
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 951 822 0 0 7 0 0 0 24 0 1 0 59595708 5148672 560 996147200 134512640 135095119 4294956304 18446744073709551615 12063302 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 1257 560 373 142 0 211 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5028

[startup+0.301308 s]
/proc/loadavg: 1.00 1.03 1.25 3/73 14351
/proc/meminfo: memFree=1561008/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=6468 CPUtime=0.26
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 1363 822 0 0 26 0 0 0 25 0 1 0 59595708 6623232 874 996147200 134512640 135095119 4294956304 18446744073709551615 12060510 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 1617 874 373 142 0 571 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 6468

[startup+0.701353 s]
/proc/loadavg: 1.00 1.03 1.25 3/73 14351
/proc/meminfo: memFree=1561008/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=8400 CPUtime=0.67
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 1918 822 0 0 66 1 0 0 25 0 1 0 59595708 8601600 1300 996147200 134512640 135095119 4294956304 18446744073709551615 134867414 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 2100 1300 391 142 0 1054 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8400

[startup+1.50425 s]
/proc/loadavg: 1.00 1.03 1.25 3/74 14357
/proc/meminfo: memFree=1556968/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=8564 CPUtime=1.46
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 1942 822 0 0 145 1 0 0 25 0 1 0 59595708 8769536 1324 996147200 134512640 135095119 4294956304 18446744073709551615 134616992 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 2141 1324 391 142 0 1095 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8564

[startup+3.10162 s]
/proc/loadavg: 1.00 1.03 1.25 3/74 14357
/proc/meminfo: memFree=1556776/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=8564 CPUtime=3.05
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 1944 822 0 0 304 1 0 0 25 0 1 0 59595708 8769536 1326 996147200 134512640 135095119 4294956304 18446744073709551615 134863635 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 2141 1326 391 142 0 1095 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8564

[startup+6.30198 s]
/proc/loadavg: 1.08 1.05 1.26 3/74 14357
/proc/meminfo: memFree=1556264/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=8696 CPUtime=6.22
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 1971 822 0 0 621 1 0 0 25 0 1 0 59595708 8904704 1353 996147200 134512640 135095119 4294956304 18446744073709551615 134854995 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 2174 1353 391 142 0 1128 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8696

[startup+12.7027 s]
/proc/loadavg: 1.15 1.06 1.26 3/74 14357
/proc/meminfo: memFree=1555768/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=8824 CPUtime=12.57
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 2043 822 0 0 1256 1 0 0 25 0 1 0 59595708 9035776 1392 996147200 134512640 135095119 4294956304 18446744073709551615 11746420 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 2206 1392 391 142 0 1160 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 8824

[startup+25.5011 s]
/proc/loadavg: 1.34 1.11 1.27 2/69 14407
/proc/meminfo: memFree=1701280/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=9080 CPUtime=25.21
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 2190 822 0 0 2520 1 0 0 25 0 1 0 59595708 9297920 1474 996147200 134512640 135095119 4294956304 18446744073709551615 12059984 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 2270 1474 391 142 0 1224 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 9080

[startup+51.102 s]
/proc/loadavg: 1.70 1.21 1.30 3/84 14462
/proc/meminfo: memFree=1657832/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=10872 CPUtime=50.68
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 2786 822 0 0 5066 2 0 0 25 0 1 0 59595708 11132928 1941 996147200 134512640 135095119 4294956304 18446744073709551615 134853666 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 2718 1941 391 142 0 1672 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 10872

[startup+102.307 s]
/proc/loadavg: 1.87 1.33 1.33 3/83 14463
/proc/meminfo: memFree=1634984/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=17860 CPUtime=101.65
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 4920 822 0 0 10160 5 0 0 25 0 1 0 59595708 18288640 3528 996147200 134512640 135095119 4294956304 18446744073709551615 12095074 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 4465 3528 391 142 0 3419 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 17860

[startup+162.301 s]
/proc/loadavg: 1.95 1.45 1.37 3/83 14463
/proc/meminfo: memFree=1630312/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=22728 CPUtime=161.38
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 6556 822 0 0 16131 7 0 0 25 0 1 0 59595708 23273472 4651 996147200 134512640 135095119 4294956304 18446744073709551615 134863575 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 5682 4651 391 142 0 4636 0
Current children cumulated CPU time (s) 161.38
Current children cumulated vsize (KiB) 22728

[startup+222.302 s]
/proc/loadavg: 1.98 1.55 1.41 3/83 14463
/proc/meminfo: memFree=1625000/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=30528 CPUtime=221.11
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 8889 822 0 0 22102 9 0 0 25 0 1 0 59595708 31260672 5959 996147200 134512640 135095119 4294956304 18446744073709551615 134681003 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 7632 5959 391 142 0 6586 0
Current children cumulated CPU time (s) 221.11
Current children cumulated vsize (KiB) 30528

[startup+282.302 s]
/proc/loadavg: 1.99 1.63 1.44 3/83 14463
/proc/meminfo: memFree=1614568/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=41108 CPUtime=280.85
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 12071 822 0 0 28074 11 0 0 25 0 1 0 59595708 42094592 8563 996147200 134512640 135095119 4294956304 18446744073709551615 134555270 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 10277 8563 391 142 0 9231 0
Current children cumulated CPU time (s) 280.85
Current children cumulated vsize (KiB) 41108

[startup+342.301 s]
/proc/loadavg: 1.99 1.69 1.48 3/83 14463
/proc/meminfo: memFree=1612968/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=41108 CPUtime=340.57
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 12460 822 0 0 34046 11 0 0 25 0 1 0 59595708 42094592 8952 996147200 134512640 135095119 4294956304 18446744073709551615 134854596 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 10277 8952 391 142 0 9231 0
Current children cumulated CPU time (s) 340.57
Current children cumulated vsize (KiB) 41108

[startup+402.302 s]
/proc/loadavg: 1.99 1.74 1.51 3/83 14463
/proc/meminfo: memFree=1608296/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=44564 CPUtime=400.31
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 13658 822 0 0 40018 13 0 0 25 0 1 0 59595708 45633536 10150 996147200 134512640 135095119 4294956304 18446744073709551615 12070564 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 11141 10150 391 142 0 10095 0
Current children cumulated CPU time (s) 400.31
Current children cumulated vsize (KiB) 44564

[startup+462.302 s]
/proc/loadavg: 1.99 1.79 1.53 3/83 14463
/proc/meminfo: memFree=1603112/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=56472 CPUtime=460.04
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 16979 822 0 0 45988 16 0 0 25 0 1 0 59595708 57827328 11422 996147200 134512640 135095119 4294956304 18446744073709551615 134858626 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 14118 11422 391 142 0 13072 0
Current children cumulated CPU time (s) 460.04
Current children cumulated vsize (KiB) 56472

[startup+522.301 s]
/proc/loadavg: 1.99 1.82 1.56 3/83 14463
/proc/meminfo: memFree=1597736/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=60440 CPUtime=519.77
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 18352 822 0 0 51958 19 0 0 25 0 1 0 59595708 61890560 12795 996147200 134512640 135095119 4294956304 18446744073709551615 12095110 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 15110 12795 391 142 0 14064 0
Current children cumulated CPU time (s) 519.77
Current children cumulated vsize (KiB) 60440

[startup+582.302 s]
/proc/loadavg: 1.99 1.85 1.58 3/83 14463
/proc/meminfo: memFree=1580200/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=79956 CPUtime=579.5
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 23742 822 0 0 57928 22 0 0 25 0 1 0 59595708 81874944 17160 996147200 134512640 135095119 4294956304 18446744073709551615 134681021 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 19989 17160 391 142 0 18943 0
Current children cumulated CPU time (s) 579.5
Current children cumulated vsize (KiB) 79956

[startup+642.302 s]
/proc/loadavg: 1.99 1.88 1.61 3/83 14463
/proc/meminfo: memFree=1578216/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=79956 CPUtime=639.23
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 24222 822 0 0 63900 23 0 0 25 0 1 0 59595708 81874944 17640 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 19989 17640 391 142 0 18943 0
Current children cumulated CPU time (s) 639.23
Current children cumulated vsize (KiB) 79956

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.93 1.67 3/83 14463
/proc/meminfo: memFree=1572200/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=82124 CPUtime=818.4
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 25679 822 0 0 81816 24 0 0 25 0 1 0 59595708 84094976 19097 996147200 134512640 135095119 4294956304 18446744073709551615 12095070 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 20531 19097 391 142 0 19485 0
Current children cumulated CPU time (s) 818.4
Current children cumulated vsize (KiB) 82124

[startup+882.301 s]
/proc/loadavg: 1.91 1.92 1.68 2/69 14481
/proc/meminfo: memFree=1607704/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=111916 CPUtime=878.14
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 33331 822 0 0 87785 29 0 0 25 0 1 0 59595708 114601984 24700 996147200 134512640 135095119 4294956304 18446744073709551615 134858588 0 0 4096 0 0 0 0 17 1 0 0
/proc/14351/statm: 27979 24700 391 142 0 26933 0
Current children cumulated CPU time (s) 878.14
Current children cumulated vsize (KiB) 111916

[startup+942.302 s]
/proc/loadavg: 1.97 1.93 1.70 3/83 14644
/proc/meminfo: memFree=1575136/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=111916 CPUtime=937.74
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 33668 822 0 0 93744 30 0 0 25 0 1 0 59595708 114601984 25037 996147200 134512640 135095119 4294956304 18446744073709551615 134848983 0 0 4096 0 0 0 0 17 1 0 0
/proc/14351/statm: 27979 25037 391 142 0 26933 0
Current children cumulated CPU time (s) 937.74
Current children cumulated vsize (KiB) 111916

[startup+1002.3 s]
/proc/loadavg: 2.08 1.97 1.73 3/83 14684
/proc/meminfo: memFree=1555448/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=111916 CPUtime=997.25
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 34107 822 0 0 99693 32 0 0 25 0 1 0 59595708 114601984 25476 996147200 134512640 135095119 4294956304 18446744073709551615 12095070 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 27979 25476 391 142 0 26933 0
Current children cumulated CPU time (s) 997.25
Current children cumulated vsize (KiB) 111916

[startup+1062.3 s]
/proc/loadavg: 2.03 1.97 1.74 3/83 14684
/proc/meminfo: memFree=1543288/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=128300 CPUtime=1056.72
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 38625 822 0 0 105637 35 0 0 25 0 1 0 59595708 131379200 25897 996147200 134512640 135095119 4294956304 18446744073709551615 134863632 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 32075 25897 391 142 0 31029 0
Current children cumulated CPU time (s) 1056.72
Current children cumulated vsize (KiB) 128300

[startup+1122.3 s]
/proc/loadavg: 2.01 1.97 1.75 3/83 14684
/proc/meminfo: memFree=1532216/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=128300 CPUtime=1116.21
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 39046 822 0 0 111585 36 0 0 25 0 1 0 59595708 131379200 26318 996147200 134512640 135095119 4294956304 18446744073709551615 134617856 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 32075 26318 391 142 0 31029 0
Current children cumulated CPU time (s) 1116.21
Current children cumulated vsize (KiB) 128300

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/83 14684
/proc/meminfo: memFree=1523960/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=128300 CPUtime=1175.7
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 39505 822 0 0 117533 37 0 0 25 0 1 0 59595708 131379200 26777 996147200 134512640 135095119 4294956304 18446744073709551615 4159345943 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 32075 26777 391 142 0 31029 0
Current children cumulated CPU time (s) 1175.7
Current children cumulated vsize (KiB) 128300

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/83 14684
/proc/meminfo: memFree=1516472/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=129964 CPUtime=1235.17
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 40090 822 0 0 123480 37 0 0 25 0 1 0 59595708 133083136 27362 996147200 134512640 135095119 4294956304 18446744073709551615 134580592 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 32491 27362 391 142 0 31445 0
Current children cumulated CPU time (s) 1235.17
Current children cumulated vsize (KiB) 129964

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/83 14684
/proc/meminfo: memFree=1505208/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=133420 CPUtime=1294.66
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 41225 822 0 0 129426 40 0 0 25 0 1 0 59595708 136622080 28497 996147200 134512640 135095119 4294956304 18446744073709551615 12095070 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 33355 28497 391 142 0 32309 0
Current children cumulated CPU time (s) 1294.66
Current children cumulated vsize (KiB) 133420

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/83 14684
/proc/meminfo: memFree=1495480/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=137004 CPUtime=1354.13
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 42433 822 0 0 135371 42 0 0 25 0 1 0 59595708 140292096 29705 996147200 134512640 135095119 4294956304 18446744073709551615 134587589 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 34251 29705 391 142 0 33205 0
Current children cumulated CPU time (s) 1354.13
Current children cumulated vsize (KiB) 137004

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.81 3/83 14684
/proc/meminfo: memFree=1486392/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=140588 CPUtime=1413.62
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 43659 822 0 0 141318 44 0 0 25 0 1 0 59595708 143962112 30931 996147200 134512640 135095119 4294956304 18446744073709551615 134861806 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 35147 30931 391 142 0 34101 0
Current children cumulated CPU time (s) 1413.62
Current children cumulated vsize (KiB) 140588

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/84 14685
/proc/meminfo: memFree=1458800/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=144300 CPUtime=1473.1
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 44924 822 0 0 147264 46 0 0 25 0 1 0 59595708 147763200 32196 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 36075 32196 391 142 0 35029 0
Current children cumulated CPU time (s) 1473.1
Current children cumulated vsize (KiB) 144300

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/84 14686
/proc/meminfo: memFree=1385064/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=147628 CPUtime=1532.53
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 46056 822 0 0 153206 47 0 0 25 0 1 0 59595708 151171072 33328 996147200 134512640 135095119 4294956304 18446744073709551615 12095048 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 36907 33328 391 142 0 35861 0
Current children cumulated CPU time (s) 1532.53
Current children cumulated vsize (KiB) 147628

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/84 14686
/proc/meminfo: memFree=1380456/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=150956 CPUtime=1591.96
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 47203 822 0 0 159147 49 0 0 25 0 1 0 59595708 154578944 34475 996147200 134512640 135095119 4294956304 18446744073709551615 134599364 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 37739 34475 391 142 0 36693 0
Current children cumulated CPU time (s) 1591.96
Current children cumulated vsize (KiB) 150956

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/84 14686
/proc/meminfo: memFree=1375976/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=154280 CPUtime=1651.4
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 48325 822 0 0 165088 52 0 0 25 0 1 0 59595708 157982720 35597 996147200 134512640 135095119 4294956304 18446744073709551615 134866959 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 38570 35597 391 142 0 37524 0
Current children cumulated CPU time (s) 1651.4
Current children cumulated vsize (KiB) 154280

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/84 14686
/proc/meminfo: memFree=1371560/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=157608 CPUtime=1710.83
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 49412 822 0 0 171029 54 0 0 25 0 1 0 59595708 161390592 36684 996147200 134512640 135095119 4294956304 18446744073709551615 134683501 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 39402 36684 391 142 0 38356 0
Current children cumulated CPU time (s) 1710.83
Current children cumulated vsize (KiB) 157608

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/84 14686
/proc/meminfo: memFree=1366824/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=160936 CPUtime=1770.25
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 50553 822 0 0 176969 56 0 0 25 0 1 0 59595708 164798464 37825 996147200 134512640 135095119 4294956304 18446744073709551615 134544665 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 40234 37825 391 142 0 39188 0
Current children cumulated CPU time (s) 1770.25
Current children cumulated vsize (KiB) 160936



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.4 s]
/proc/loadavg: 2.00 1.97 1.85 3/84 14686
/proc/meminfo: memFree=1364712/2055920 swapFree=4192812/4192956
[pid=14351] ppid=14349 vsize=162600 CPUtime=1800.07
/proc/14351/stat : 14351 (pcs.small) R 14349 14351 12510 0 -1 4194304 51106 822 0 0 179950 57 0 0 25 0 1 0 59595708 166502400 38378 996147200 134512640 135095119 4294956304 18446744073709551615 12058776 0 0 4096 0 0 0 0 17 0 0 0
/proc/14351/statm: 40650 38378 391 142 0 39604 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 162600

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1812.44
CPU time (s): 1800.13
CPU user time (s): 1799.51
CPU system time (s): 0.614906
CPU usage (%): 99.3209
Max. virtual memory (cumulated for all children) (KiB): 162600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.614906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51928
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= 33714

runsolver used 1.9467 second user time and 5.35019 second system time

The end

Launcher Data 

Begin job on node91 at 2009-07-16 08:21:51
IDJOB=2085079
IDBENCH=58285
IDSOLVER=733
FILE ID=node91/2085079-1247725311
PBS_JOBID= 9521443
Free space on /tmp= 66196 MiB

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

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

MD5SUM BENCH= 1d0bd68485fa6bd55ca6b70a4ca6e593
RANDOM SEED=1722565121

node91.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.241
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.241
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1561488 kB
Buffers:         72316 kB
Cached:         196896 kB
SwapCached:          0 kB
Active:         198480 kB
Inactive:       228724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1561488 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3744 kB
Writeback:           0 kB
Mapped:         169452 kB
Slab:            52268 kB
Committed_AS:   719300 kB
PageTables:       1992 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= 66188 MiB
End job on node91 at 2009-07-16 08:52:05