Trace number 2085080

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? (TO) 1800.09 1813.03

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

[startup+0.104182 s]
/proc/loadavg: 1.08 1.06 1.23 4/81 8154
/proc/meminfo: memFree=1560776/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=5028 CPUtime=0.07
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 949 822 0 0 6 0 1 0 23 0 1 0 59597709 5148672 558 996147200 134512640 135095119 4294956304 18446744073709551615 1605116 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 1257 558 373 142 0 211 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5028

[startup+0.202186 s]
/proc/loadavg: 1.08 1.06 1.23 4/81 8154
/proc/meminfo: memFree=1560776/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=5544 CPUtime=0.17
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 1105 822 0 0 16 0 1 0 24 0 1 0 59597709 5677056 681 996147200 134512640 135095119 4294956304 18446744073709551615 134706689 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 1386 681 373 142 0 340 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 5544

[startup+0.302202 s]
/proc/loadavg: 1.08 1.06 1.23 4/81 8154
/proc/meminfo: memFree=1560776/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=6468 CPUtime=0.27
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 1349 822 0 0 26 0 1 0 25 0 1 0 59597709 6623232 860 996147200 134512640 135095119 4294956304 18446744073709551615 134739360 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 1617 860 373 142 0 571 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6468

[startup+0.702235 s]
/proc/loadavg: 1.08 1.06 1.23 4/81 8154
/proc/meminfo: memFree=1560776/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=8400 CPUtime=0.67
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 1918 822 0 0 65 1 1 0 25 0 1 0 59597709 8601600 1300 996147200 134512640 135095119 4294956304 18446744073709551615 134870418 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 2100 1300 391 142 0 1054 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8400

[startup+1.5023 s]
/proc/loadavg: 1.08 1.06 1.23 3/82 8160
/proc/meminfo: memFree=1556928/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=8564 CPUtime=1.46
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 1942 822 0 0 144 1 1 0 25 0 1 0 59597709 8769536 1324 996147200 134512640 135095119 4294956304 18446744073709551615 1638015 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 2141 1324 391 142 0 1095 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8564

[startup+3.10144 s]
/proc/loadavg: 1.08 1.06 1.23 3/82 8160
/proc/meminfo: memFree=1556800/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=8564 CPUtime=3.04
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 1944 822 0 0 302 1 1 0 25 0 1 0 59597709 8769536 1326 996147200 134512640 135095119 4294956304 18446744073709551615 134854927 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 2141 1326 391 142 0 1095 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 8564

[startup+6.30172 s]
/proc/loadavg: 1.15 1.07 1.23 3/82 8160
/proc/meminfo: memFree=1556672/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=8696 CPUtime=6.21
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 1966 822 0 0 619 1 1 0 25 0 1 0 59597709 8904704 1348 996147200 134512640 135095119 4294956304 18446744073709551615 4158960812 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 2174 1348 391 142 0 1128 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 8696

[startup+12.7013 s]
/proc/loadavg: 1.22 1.09 1.24 3/82 8160
/proc/meminfo: memFree=1556416/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=8824 CPUtime=12.55
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 2035 822 0 0 1253 1 1 0 25 0 1 0 59597709 9035776 1384 996147200 134512640 135095119 4294956304 18446744073709551615 1613541 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 2206 1384 391 142 0 1160 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 8824

[startup+25.5024 s]
/proc/loadavg: 1.39 1.13 1.25 3/82 8160
/proc/meminfo: memFree=1556288/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=9080 CPUtime=25.23
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 2180 822 0 0 2521 1 1 0 25 0 1 0 59597709 9297920 1464 996147200 134512640 135095119 4294956304 18446744073709551615 134523768 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 2270 1464 391 142 0 1224 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 9080

[startup+51.1016 s]
/proc/loadavg: 1.60 1.20 1.27 3/82 8160
/proc/meminfo: memFree=1554816/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=10616 CPUtime=50.6
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 2734 822 0 0 5057 2 1 0 25 0 1 0 59597709 10870784 1889 996147200 134512640 135095119 4294956304 18446744073709551615 1613590 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 2654 1889 391 142 0 1608 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 10616

[startup+102.302 s]
/proc/loadavg: 1.82 1.32 1.30 3/82 8160
/proc/meminfo: memFree=1548416/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=17728 CPUtime=101.31
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 4834 822 0 0 10127 3 1 0 25 0 1 0 59597709 18153472 3442 996147200 134512640 135095119 4294956304 18446744073709551615 1637960 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 4432 3442 391 142 0 3386 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 17728

[startup+162.301 s]
/proc/loadavg: 2.01 1.46 1.35 3/82 8160
/proc/meminfo: memFree=1544768/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=21824 CPUtime=160.76
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 6271 822 0 0 16071 4 1 0 25 0 1 0 59597709 22347776 4366 996147200 134512640 135095119 4294956304 18446744073709551615 1638022 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 5456 4366 391 142 0 4410 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 21824

[startup+222.307 s]
/proc/loadavg: 2.08 1.57 1.39 3/82 8160
/proc/meminfo: memFree=1539712/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=25152 CPUtime=220.21
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 7476 822 0 0 22014 6 1 0 25 0 1 0 59597709 25755648 5571 996147200 134512640 135095119 4294956304 18446744073709551615 134867872 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 6288 5571 391 142 0 5242 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 25152

[startup+282.302 s]
/proc/loadavg: 2.17 1.68 1.44 3/82 8160
/proc/meminfo: memFree=1530880/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=38388 CPUtime=279.64
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 11251 822 0 0 27956 7 1 0 25 0 1 0 59597709 39309312 7743 996147200 134512640 135095119 4294956304 18446744073709551615 1637973 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 9597 7743 391 142 0 8551 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 38388

[startup+342.303 s]
/proc/loadavg: 2.12 1.75 1.48 3/82 8160
/proc/meminfo: memFree=1528768/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=39284 CPUtime=339.07
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 11826 822 0 0 33898 8 1 0 25 0 1 0 59597709 40226816 8318 996147200 134512640 135095119 4294956304 18446744073709551615 134852709 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 9821 8318 391 142 0 8775 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 39284

[startup+402.303 s]
/proc/loadavg: 2.04 1.79 1.51 3/82 8160
/proc/meminfo: memFree=1523648/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=42992 CPUtime=398.51
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 13108 822 0 0 39840 10 1 0 25 0 1 0 59597709 44023808 9600 996147200 134512640 135095119 4294956304 18446744073709551615 1613474 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 10748 9600 391 142 0 9702 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 42992

[startup+462.302 s]
/proc/loadavg: 2.01 1.83 1.53 3/82 8160
/proc/meminfo: memFree=1518656/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=54768 CPUtime=457.95
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 16406 822 0 0 45782 12 1 0 25 0 1 0 59597709 56082432 10849 996147200 134512640 135095119 4294956304 18446744073709551615 134589918 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 13692 10849 391 142 0 12646 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 54768

[startup+522.302 s]
/proc/loadavg: 2.00 1.86 1.56 3/82 8160
/proc/meminfo: memFree=1513984/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=58224 CPUtime=517.39
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 17606 822 0 0 51724 14 1 0 25 0 1 0 59597709 59621376 12049 996147200 134512640 135095119 4294956304 18446744073709551615 134854922 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 14556 12049 391 142 0 13510 0
Current children cumulated CPU time (s) 517.39
Current children cumulated vsize (KiB) 58224

[startup+582.302 s]
/proc/loadavg: 2.00 1.88 1.58 3/82 8160
/proc/meminfo: memFree=1508992/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=61672 CPUtime=576.83
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 18804 822 0 0 57666 16 1 0 25 0 1 0 59597709 63152128 13247 996147200 134512640 135095119 4294956304 18446744073709551615 134582873 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 15418 13247 391 142 0 14372 0
Current children cumulated CPU time (s) 576.83
Current children cumulated vsize (KiB) 61672

[startup+642.303 s]
/proc/loadavg: 2.00 1.90 1.61 3/82 8160
/proc/meminfo: memFree=1490048/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=83396 CPUtime=636.28
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 24550 822 0 0 63606 21 1 0 25 0 1 0 59597709 85397504 17968 996147200 134512640 135095119 4294956304 18446744073709551615 134681026 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 20849 17968 391 142 0 19803 0
Current children cumulated CPU time (s) 636.28
Current children cumulated vsize (KiB) 83396

[startup+702.303 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 1.95 1.68 3/82 8160
/proc/meminfo: memFree=1484096/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=83652 CPUtime=874.03
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 25961 822 0 0 87379 23 1 0 25 0 1 0 59597709 85659648 19379 996147200 134512640 135095119 4294956304 18446744073709551615 1638023 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 20913 19379 391 142 0 19867 0
Current children cumulated CPU time (s) 874.03
Current children cumulated vsize (KiB) 83652

[startup+942.302 s]
/proc/loadavg: 2.00 1.95 1.70 3/82 8160
/proc/meminfo: memFree=1479808/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=103108 CPUtime=933.47
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 31124 822 0 0 93319 27 1 0 25 0 1 0 59597709 105582592 20445 996147200 134512640 135095119 4294956304 18446744073709551615 134862102 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 25777 20445 391 142 0 24731 0
Current children cumulated CPU time (s) 933.47
Current children cumulated vsize (KiB) 103108

[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.72 3/82 8160
/proc/meminfo: memFree=1475520/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=106308 CPUtime=992.91
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 32239 822 0 0 99261 29 1 0 25 0 1 0 59597709 108859392 21560 996147200 134512640 135095119 4294956304 18446744073709551615 1638023 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 26577 21560 391 142 0 25531 0
Current children cumulated CPU time (s) 992.91
Current children cumulated vsize (KiB) 106308

[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.73 3/82 8160
/proc/meminfo: memFree=1470528/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=109496 CPUtime=1052.35
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 33476 822 0 0 105204 30 1 0 25 0 1 0 59597709 112123904 22797 996147200 134512640 135095119 4294956304 18446744073709551615 134570726 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 27374 22797 391 142 0 26328 0
Current children cumulated CPU time (s) 1052.35
Current children cumulated vsize (KiB) 109496

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.75 3/82 8160
/proc/meminfo: memFree=1465792/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=112692 CPUtime=1111.79
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 34639 822 0 0 111146 32 1 0 25 0 1 0 59597709 115396608 23960 996147200 134512640 135095119 4294956304 18446744073709551615 1638022 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 28173 23960 391 142 0 27127 0
Current children cumulated CPU time (s) 1111.79
Current children cumulated vsize (KiB) 112692

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.76 3/82 8160
/proc/meminfo: memFree=1461056/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=116276 CPUtime=1171.23
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 35836 822 0 0 117088 34 1 0 25 0 1 0 59597709 119066624 25157 996147200 134512640 135095119 4294956304 18446744073709551615 134582870 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 29069 25157 391 142 0 28023 0
Current children cumulated CPU time (s) 1171.23
Current children cumulated vsize (KiB) 116276

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.77 3/82 8160
/proc/meminfo: memFree=1456192/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=119728 CPUtime=1230.66
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 37034 822 0 0 123030 35 1 0 25 0 1 0 59597709 122601472 26355 996147200 134512640 135095119 4294956304 18446744073709551615 134615475 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 29932 26355 391 142 0 28886 0
Current children cumulated CPU time (s) 1230.66
Current children cumulated vsize (KiB) 119728

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.78 3/82 8160
/proc/meminfo: memFree=1451840/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=122660 CPUtime=1290.11
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 38082 822 0 0 128974 36 1 0 25 0 1 0 59597709 125603840 27403 996147200 134512640 135095119 4294956304 18446744073709551615 134854608 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 30665 27403 391 142 0 29619 0
Current children cumulated CPU time (s) 1290.11
Current children cumulated vsize (KiB) 122660

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.79 3/82 8160
/proc/meminfo: memFree=1418304/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=163296 CPUtime=1349.54
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 48514 822 0 0 134912 41 1 0 25 0 1 0 59597709 167215104 35786 996147200 134512640 135095119 4294956304 18446744073709551615 134863618 0 0 4096 0 0 0 0 17 1 0 0
/proc/8154/statm: 40824 35786 391 142 0 39778 0
Current children cumulated CPU time (s) 1349.54
Current children cumulated vsize (KiB) 163296

[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.80 3/82 8267
/proc/meminfo: memFree=1452544/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=163296 CPUtime=1409.48
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 48998 822 0 0 140904 43 1 0 25 0 1 0 59597709 167215104 36270 996147200 134512640 135095119 4294956304 18446744073709551615 1605069 0 0 4096 0 0 0 0 17 0 0 0
/proc/8154/statm: 40824 36270 391 142 0 39778 0
Current children cumulated CPU time (s) 1409.48
Current children cumulated vsize (KiB) 163296

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.82 3/82 8267
/proc/meminfo: memFree=1450624/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=163296 CPUtime=1469.45
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 49453 822 0 0 146901 43 1 0 25 0 1 0 59597709 167215104 36725 996147200 134512640 135095119 4294956304 18446744073709551615 1637982 0 0 4096 0 0 0 0 17 0 0 0
/proc/8154/statm: 40824 36725 391 142 0 39778 0
Current children cumulated CPU time (s) 1469.45
Current children cumulated vsize (KiB) 163296

[startup+1542.31 s]
/proc/loadavg: 2.00 1.97 1.82 3/82 8267
/proc/meminfo: memFree=1449344/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=163296 CPUtime=1529.44
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 49741 822 0 0 152899 44 1 0 25 0 1 0 59597709 167215104 37013 996147200 134512640 135095119 4294956304 18446744073709551615 134603871 0 0 4096 0 0 0 0 17 0 0 0
/proc/8154/statm: 40824 37013 391 142 0 39778 0
Current children cumulated CPU time (s) 1529.44
Current children cumulated vsize (KiB) 163296

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/82 8267
/proc/meminfo: memFree=1448192/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=163296 CPUtime=1589.41
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 50031 822 0 0 158896 44 1 0 25 0 1 0 59597709 167215104 37303 996147200 134512640 135095119 4294956304 18446744073709551615 134862079 0 0 4096 0 0 0 0 17 0 0 0
/proc/8154/statm: 40824 37303 391 142 0 39778 0
Current children cumulated CPU time (s) 1589.41
Current children cumulated vsize (KiB) 163296

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.83 3/82 8267
/proc/meminfo: memFree=1447040/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=163296 CPUtime=1649.39
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 50333 822 0 0 164893 45 1 0 25 0 1 0 59597709 167215104 37605 996147200 134512640 135095119 4294956304 18446744073709551615 1637982 0 0 4096 0 0 0 0 17 0 0 0
/proc/8154/statm: 40824 37605 391 142 0 39778 0
Current children cumulated CPU time (s) 1649.39
Current children cumulated vsize (KiB) 163296

[startup+1722.3 s]
/proc/loadavg: 2.06 1.99 1.85 3/82 8267
/proc/meminfo: memFree=1445192/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=163296 CPUtime=1709.37
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 50801 822 0 0 170891 45 1 0 25 0 1 0 59597709 167215104 38073 996147200 134512640 135095119 4294956304 18446744073709551615 134617856 0 0 4096 0 0 0 0 17 0 0 0
/proc/8154/statm: 40824 38073 391 142 0 39778 0
Current children cumulated CPU time (s) 1709.37
Current children cumulated vsize (KiB) 163296

[startup+1782.3 s]
/proc/loadavg: 2.22 2.03 1.87 3/82 8269
/proc/meminfo: memFree=1444040/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=163296 CPUtime=1769.34
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 51064 822 0 0 176888 45 1 0 25 0 1 0 59597709 167215104 38336 996147200 134512640 135095119 4294956304 18446744073709551615 134852241 0 0 4096 0 0 0 0 17 0 0 0
/proc/8154/statm: 40824 38336 391 142 0 39778 0
Current children cumulated CPU time (s) 1769.34
Current children cumulated vsize (KiB) 163296



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813 s]
/proc/loadavg: 2.33 2.08 1.89 3/82 8269
/proc/meminfo: memFree=1443336/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=163296 CPUtime=1800.04
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 51232 822 0 0 179957 46 1 0 25 0 1 0 59597709 167215104 38504 996147200 134512640 135095119 4294956304 18446744073709551615 134863654 0 0 4096 0 0 0 0 17 0 0 0
/proc/8154/statm: 40824 38504 391 142 0 39778 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 163296

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

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

[startup+1813 s]
/proc/loadavg: 2.33 2.08 1.89 3/82 8269
/proc/meminfo: memFree=1443336/2055920 swapFree=4192812/4192956
[pid=8154] ppid=8152 vsize=163296 CPUtime=1800.04
/proc/8154/stat : 8154 (pcs.small) R 8152 8154 7637 0 -1 4194304 51232 822 0 0 179957 46 1 0 25 0 1 0 59597709 167215104 38504 996147200 134512640 135095119 4294956304 18446744073709551615 134863654 0 0 4096 0 0 0 0 17 0 0 0
/proc/8154/statm: 40824 38504 391 142 0 39778 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 163296

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.03
CPU time (s): 1800.09
CPU user time (s): 1799.6
CPU system time (s): 0.494924
CPU usage (%): 99.2862
Max. virtual memory (cumulated for all children) (KiB): 168324

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

runsolver used 1.93271 second user time and 5.9161 second system time

The end

Launcher Data 

Begin job on node31 at 2009-07-16 08:21:56
IDJOB=2085080
IDBENCH=58285
IDSOLVER=734
FILE ID=node31/2085080-1247725316
PBS_JOBID= 9521490
Free space on /tmp= 66272 MiB

SOLVER NAME= pcs-restart 0.2.restart
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-2085080-1247725316/watcher-2085080-1247725316 -o /tmp/evaluation-result-2085080-1247725316/solver-2085080-1247725316 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 528776139 HOME/instance-2085080-1247725316.xml

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

MD5SUM BENCH= 1d0bd68485fa6bd55ca6b70a4ca6e593
RANDOM SEED=528776139

node31.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.216
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	: 5931.00
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.216
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:       1561256 kB
Buffers:         80840 kB
Cached:         265552 kB
SwapCached:          0 kB
Active:         156700 kB
Inactive:       259136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1561256 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3752 kB
Writeback:           0 kB
Mapped:          89924 kB
Slab:            63512 kB
Committed_AS:   473868 kB
PageTables:       2068 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= 66272 MiB
End job on node31 at 2009-07-16 08:52:11