Trace number 2080702

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? (MO) 1684.14 1691.84

General information on the benchmark

Namecsp/haystacks/
normalized-haystacks-20.xml
MD5SUMa9dc0248b5bac88ceea300c49a32664c
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.37064
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of constraints3819
Maximum constraint arity2
Maximum domain size20
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3819
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has operations which may create big domains
0.00/0.02	c big-domain mode
0.00/0.04	c Seed is 1016706657
0.00/0.04	c Constructing HOME/instance-2080702-1247718316.xml 
0.18/0.22	c deduced all_different(V16,V35,V40,V232,V0)
0.18/0.22	c deduced all_different(V71,V225,V242,V281,V381,V1)
0.18/0.22	c deduced all_different(V15,V26,V185,V370,V2)
0.18/0.22	c deduced all_different(V66,V117,V192,V220,V3)
0.18/0.22	c deduced all_different(V64,V84,V103,V276,V4)
0.18/0.22	c deduced all_different(V134,V169,V365,V379,V5)
0.18/0.22	c deduced all_different(V39,V53,V78,V357,V6)
0.18/0.22	c deduced all_different(V44,V105,V254,V293,V305,V7)
0.18/0.22	c deduced all_different(V72,V77,V152,V194,V8)
0.18/0.22	c deduced all_different(V64,V84,V103,V191,V276,V9)
0.18/0.22	c deduced all_different(V28,V41,V52,V68,V97,V10)
0.18/0.22	c deduced all_different(V12,V55,V87,V243,V11)
0.18/0.22	c deduced all_different(V86,V92,V226,V13)
0.18/0.22	c deduced all_different(V11,V55,V181,V14)
0.18/0.22	c deduced all_different(V21,V70,V287,V347,V17)
0.18/0.22	c deduced all_different(V32,V206,V207,V18)
0.18/0.22	c deduced all_different(V61,V219,V395,V19)
0.18/0.22	c deduced all_different(V74,V86,V226,V292,V20)
0.18/0.22	c deduced all_different(V27,V42,V88,V122,V22)
0.18/0.22	c deduced all_different(V245,V332,V336,V23)
0.18/0.22	c deduced all_different(V35,V138,V232,V344,V24)
0.18/0.22	c deduced all_different(V79,V111,V187,V217,V25)
0.18/0.22	c deduced all_different(V27,V62,V122,V271,V352,V29)
0.18/0.22	c deduced all_different(V11,V55,V87,V243,V30)
0.18/0.22	c deduced all_different(V2,V26,V185,V31)
0.18/0.22	c deduced all_different(V54,V111,V179,V391,V33)
0.18/0.22	c deduced all_different(V32,V206,V207,V34)
0.18/0.22	c deduced all_different(V40,V56,V100,V232,V363,V36)
0.18/0.22	c deduced all_different(V145,V237,V302,V358,V37)
0.18/0.22	c deduced all_different(V65,V118,V332,V336,V348,V38)
0.18/0.22	c deduced all_different(V67,V146,V194,V204,V228,V43)
0.18/0.22	c deduced all_different(V41,V52,V97,V171,V45)
0.18/0.22	c deduced all_different(V31,V49,V91,V185,V46)
0.18/0.22	c deduced all_different(V69,V85,V90,V121,V162,V47)
0.18/0.22	c deduced all_different(V142,V197,V358,V373,V48)
0.18/0.22	c deduced all_different(V71,V80,V281,V381,V50)
0.18/0.22	c deduced all_different(V142,V302,V358,V51)
0.18/0.22	c deduced all_different(V74,V186,V383,V57)
0.18/0.22	c deduced all_different(V12,V55,V87,V243,V58)
0.18/0.22	c deduced all_different(V223,V266,V358,V388,V59)
0.18/0.22	c deduced all_different(V39,V53,V78,V338,V60)
0.18/0.22	c deduced all_different(V0,V16,V35,V232,V63)
0.18/0.22	c deduced all_different(V47,V90,V112,V73)
0.18/0.22	c deduced all_different(V54,V111,V119,V193,V339,V75)
0.18/0.22	c deduced all_different(V61,V107,V248,V395,V76)
0.18/0.22	c deduced all_different(V66,V192,V220,V251,V81)
0.18/0.22	c deduced all_different(V76,V107,V386,V395,V82)
0.18/0.22	c deduced all_different(V19,V184,V395,V83)
0.18/0.22	c deduced all_different(V50,V80,V281,V89)
0.18/0.22	c deduced all_different(V14,V55,V236,V244,V93)
0.18/0.22	c deduced all_different(V15,V156,V185,V356,V94)
0.18/0.22	c deduced all_different(V86,V115,V214,V95)
0.18/0.22	c deduced all_different(V11,V55,V243,V96)
0.18/0.22	c deduced all_different(V17,V70,V108,V287,V98)
0.18/0.22	c deduced all_different(V85,V90,V121,V127,V162,V255,V99)
0.18/0.22	c deduced all_different(V4,V84,V103,V101)
0.18/0.22	c deduced all_different(V106,V169,V285,V379,V102)
0.18/0.22	c deduced all_different(V27,V29,V122,V352,V104)
0.18/0.22	c deduced all_different(V34,V206,V207,V109)
0.18/0.22	c deduced all_different(V7,V44,V305,V333,V110)
0.18/0.22	c deduced all_different(V71,V225,V242,V281,V113)
0.18/0.22	c deduced all_different(V39,V53,V60,V208,V114)
0.18/0.22	c deduced all_different(V9,V103,V182,V284,V116)
0.18/0.22	c deduced all_different(V43,V152,V194,V228,V267,V120)
0.18/0.22	c deduced all_different(V76,V219,V386,V395,V123)
0.18/0.22	c deduced all_different(V44,V110,V305,V374,V124)
0.18/0.22	c deduced all_different(V64,V84,V103,V125)
0.18/0.22	c deduced all_different(V202,V206,V222,V240,V389,V126)
0.18/0.22	c deduced all_different(V140,V186,V292,V326,V128)
0.18/0.22	c deduced all_different(V69,V85,V90,V121,V162,V129)
0.18/0.22	c deduced all_different(V21,V159,V287,V378,V130)
0.18/0.22	c deduced all_different(V84,V103,V125,V131)
0.18/0.22	c deduced all_different(V44,V105,V163,V305,V132)
0.18/0.22	c deduced all_different(V16,V63,V232,V133)
0.18/0.22	c deduced all_different(V4,V84,V103,V135)
0.18/0.22	c deduced all_different(V30,V55,V87,V236,V136)
0.18/0.22	c deduced all_different(V15,V156,V185,V314,V370,V137)
0.18/0.22	c deduced all_different(V17,V70,V287,V139)
0.18/0.22	c deduced all_different(V64,V103,V276,V141)
0.18/0.22	c deduced all_different(V53,V78,V303,V318,V357,V143)
0.18/0.22	c deduced all_different(V192,V199,V220,V387,V144)
0.18/0.22	c deduced all_different(V0,V40,V56,V232,V344,V147)
0.18/0.22	c deduced all_different(V61,V252,V386,V395,V148)
0.18/0.22	c deduced all_different(V74,V92,V226,V149)
0.18/0.22	c deduced all_different(V7,V110,V268,V305,V150)
0.18/0.22	c deduced all_different(V55,V58,V87,V243,V340,V151)
0.18/0.22	c deduced all_different(V0,V35,V40,V232,V154)
0.18/0.22	c deduced all_different(V10,V28,V41,V52,V176,V155)
0.18/0.22	c deduced all_different(V72,V120,V152,V194,V267,V157)
0.18/0.22	c deduced all_different(V0,V56,V100,V232,V158)
0.18/0.22	c deduced all_different(V3,V192,V220,V160)
0.18/0.22	c deduced all_different(V224,V274,V332,V161)
0.18/0.22	c deduced all_different(V102,V212,V379,V164)
0.18/0.22	c deduced all_different(V28,V41,V52,V176,V210,V165)
0.18/0.22	c deduced all_different(V6,V53,V78,V357,V166)
0.18/0.22	c deduced all_different(V22,V27,V42,V88,V167)
0.18/0.22	c deduced all_different(V34,V206,V207,V389,V168)
0.18/0.22	c deduced all_different(V19,V219,V395,V170)
0.18/0.22	c deduced all_different(V47,V69,V90,V121,V172)
0.18/0.22	c deduced all_different(V2,V31,V185,V173)
0.18/0.22	c deduced all_different(V8,V194,V279,V174)
0.18/0.22	c deduced all_different(V70,V98,V287,V310,V175)
0.18/0.22	c deduced all_different(V0,V16,V35,V232,V177)
0.18/0.22	c deduced all_different(V65,V234,V332,V336,V178)
0.18/0.22	c deduced all_different(V31,V49,V185,V180)
0.18/0.22	c deduced all_different(V66,V117,V220,V359,V387,V188)
0.18/0.22	c deduced all_different(V81,V192,V220,V189)
0.18/0.22	c deduced all_different(V22,V27,V42,V167,V190)
0.18/0.22	c deduced all_different(V27,V62,V122,V269,V271,V346,V195)
0.18/0.22	c deduced all_different(V0,V63,V138,V232,V196)
0.18/0.22	c deduced all_different(V25,V111,V193,V229,V198)
0.18/0.22	c deduced all_different(V2,V26,V185,V200)
0.18/0.22	c deduced all_different(V25,V79,V111,V201)
0.18/0.22	c deduced all_different(V17,V21,V159,V231,V287,V203)
0.18/0.22	c deduced all_different(V41,V52,V97,V171,V205)
0.18/0.22	c deduced all_different(V66,V81,V220,V209)
0.18/0.22	c deduced all_different(V27,V62,V88,V122,V352,V211)
0.18/0.22	c deduced all_different(V8,V152,V194,V213)
0.18/0.22	c deduced all_different(V71,V242,V253,V281,V215)
0.18/0.22	c deduced all_different(V4,V64,V103,V331,V216)
0.18/0.22	c deduced all_different(V25,V79,V111,V217,V272,V218)
0.18/0.22	c deduced all_different(V66,V188,V220,V359,V387,V221)
0.18/0.22	c deduced all_different(V3,V117,V220,V362,V227)
0.18/0.22	c deduced all_different(V32,V34,V206,V240,V230)
0.18/0.22	c deduced all_different(V7,V110,V268,V305,V233)
0.18/0.22	c deduced all_different(V24,V147,V232,V344,V235)
0.18/0.22	c deduced all_different(V17,V21,V203,V287,V347,V238)
0.18/0.22	c deduced all_different(V82,V219,V386,V395,V241)
0.18/0.22	c deduced all_different(V47,V85,V90,V162,V255,V246)
0.18/0.22	c deduced all_different(V1,V225,V242,V281,V249)
0.18/0.22	c deduced all_different(V6,V39,V53,V250)
0.18/0.22	c deduced all_different(V41,V171,V205,V256)
0.18/0.22	c deduced all_different(V224,V274,V332,V257)
0.18/0.22	c deduced all_different(V22,V27,V42,V88,V258)
0.18/0.22	c deduced all_different(V106,V134,V169,V379,V259)
0.18/0.22	c deduced all_different(V49,V91,V185,V315,V261)
0.18/0.22	c deduced all_different(V145,V237,V358,V262)
0.18/0.22	c deduced all_different(V77,V120,V194,V279,V263)
0.18/0.22	c deduced all_different(V28,V41,V52,V68,V264)
0.18/0.22	c deduced all_different(V76,V107,V248,V395,V265)
0.18/0.22	c deduced all_different(V47,V69,V90,V121,V270)
0.18/0.22	c deduced all_different(V69,V90,V121,V129,V162,V273)
0.18/0.22	c deduced all_different(V41,V45,V155,V171,V264,V275)
0.18/0.22	c deduced all_different(V7,V105,V254,V305,V343,V277)
0.18/0.22	c deduced all_different(V1,V71,V281,V360,V278)
0.18/0.22	c deduced all_different(V69,V90,V121,V162,V280)
0.18/0.22	c deduced all_different(V9,V103,V284,V282)
0.18/0.22	c deduced all_different(V41,V45,V52,V155,V176,V210,V283)
0.18/0.22	c deduced all_different(V102,V153,V288,V379,V286)
0.18/0.22	c deduced all_different(V34,V206,V207,V389,V289)
0.18/0.22	c deduced all_different(V17,V21,V159,V231,V287,V290)
0.18/0.22	c deduced all_different(V164,V286,V379,V291)
0.18/0.22	c deduced all_different(V113,V281,V360,V294)
0.18/0.22	c deduced all_different(V11,V12,V55,V295)
0.18/0.22	c deduced all_different(V6,V53,V166,V250,V296)
0.18/0.22	c deduced all_different(V65,V234,V325,V332,V297)
0.18/0.22	c deduced all_different(V6,V53,V166,V250,V298)
0.18/0.22	c deduced all_different(V65,V178,V332,V336,V299)
0.18/0.22	c deduced all_different(V5,V169,V379,V300)
0.18/0.22	c deduced all_different(V109,V206,V230,V335,V301)
0.18/0.22	c deduced all_different(V117,V209,V220,V362,V387,V304)
0.18/0.22	c deduced all_different(V75,V79,V111,V218,V306)
0.18/0.22	c deduced all_different(V178,V234,V245,V332,V336,V307)
0.18/0.22	c deduced all_different(V28,V41,V52,V68,V176,V210,V309)
0.18/0.22	c deduced all_different(V8,V72,V194,V279,V311)
0.18/0.22	c deduced all_different(V11,V30,V55,V312)
0.18/0.22	c deduced all_different(V69,V90,V162,V273,V316,V313)
0.18/0.22	c deduced all_different(V6,V53,V78,V357,V317)
0.18/0.22	c deduced all_different(V43,V120,V194,V267,V319)
0.18/0.22	c deduced all_different(V8,V194,V213,V320)
0.18/0.22	c deduced all_different(V76,V219,V265,V395,V321)
0.18/0.22	c deduced all_different(V61,V107,V386,V395,V322)
0.18/0.22	c deduced all_different(V22,V27,V167,V323)
0.18/0.22	c deduced all_different(V15,V94,V185,V315,V324)
0.18/0.22	c deduced all_different(V44,V105,V132,V305,V327)
0.18/0.22	c deduced all_different(V1,V225,V249,V281,V328)
0.18/0.22	c deduced all_different(V109,V206,V207,V329)
0.18/0.22	c deduced all_different(V126,V206,V230,V240,V289,V330)
0.18/0.22	c deduced all_different(V19,V170,V395,V334)
0.18/0.22	c deduced all_different(V7,V44,V254,V293,V305,V333,V337)
0.18/0.22	c deduced all_different(V27,V29,V167,V341)
0.18/0.22	c deduced all_different(V3,V220,V227,V362,V342)
0.18/0.22	c deduced all_different(V98,V175,V238,V287,V345)
0.18/0.22	c deduced all_different(V11,V14,V55,V349)
0.18/0.22	c deduced all_different(V5,V134,V365,V379,V350)
0.18/0.22	c deduced all_different(V1,V249,V281,V328,V353)
0.18/0.22	c deduced all_different(V21,V238,V287,V347,V384,V354)
0.18/0.22	c deduced all_different(V71,V80,V281,V360,V381,V355)
0.18/0.22	c deduced all_different(V51,V223,V358,V385,V361)
0.18/0.22	c deduced all_different(V7,V44,V110,V305,V364)
0.18/0.22	c deduced all_different(V74,V226,V326,V366)
0.18/0.22	c deduced all_different(V41,V97,V171,V367)
0.18/0.22	c deduced all_different(V39,V53,V60,V78,V368)
0.18/0.22	c deduced all_different(V18,V32,V206,V369)
0.18/0.22	c deduced all_different(V74,V92,V149,V371)
0.18/0.22	c deduced all_different(V37,V145,V358,V372)
0.18/0.22	c deduced all_different(V5,V134,V169,V379,V375)
0.18/0.22	c deduced all_different(V64,V103,V141,V331,V376)
0.18/0.22	c deduced all_different(V6,V53,V78,V166,V377)
0.18/0.22	c deduced all_different(V48,V197,V358,V380)
0.18/0.22	c deduced all_different(V18,V32,V206,V382)
0.18/0.22	c deduced all_different(V178,V234,V245,V332,V390)
0.18/0.22	c deduced all_different(V12,V55,V58,V87,V392)
0.18/0.22	c deduced all_different(V102,V153,V288,V379,V393)
0.18/0.22	c deduced all_different(V37,V266,V358,V388,V394)
0.18/0.22	c deduced all_different(V53,V60,V78,V303,V318,V396)
0.18/0.22	c deduced all_different(V22,V27,V88,V122,V397)
0.18/0.22	c deduced all_different(V1,V71,V225,V242,V281,V398)
0.18/0.22	c  with 10020 constraints
0.18/0.22	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-2080702-1247718316/watcher-2080702-1247718316 -o /tmp/evaluation-result-2080702-1247718316/solver-2080702-1247718316 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1016706657 HOME/instance-2080702-1247718316.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 15296
/proc/meminfo: memFree=1210088/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=5356 CPUtime=0
/proc/15296/stat : 15296 (pcssolve) R 15294 15296 13731 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 58891925 5484544 237 996147200 4194304 4889804 548682068800 18446744073709551615 224627430113 0 0 4100 65536 0 0 0 17 1 0 0
/proc/15296/statm: 1339 237 197 169 0 50 0

[startup+0.107696 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15296
/proc/meminfo: memFree=1210088/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=6028 CPUtime=0.08
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 1137 829 0 0 8 0 0 0 18 0 1 0 58891925 6172672 746 996147200 134512640 135215973 4294956304 18446744073709551615 4275837 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 1507 746 386 171 0 432 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6028

[startup+0.201708 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15296
/proc/meminfo: memFree=1210088/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=7340 CPUtime=0.18
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 1574 829 0 0 17 1 0 0 18 0 1 0 58891925 7516160 1044 996147200 134512640 135215973 4294956304 18446744073709551615 4159732872 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 1835 1044 386 171 0 760 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 7340

[startup+0.301729 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15296
/proc/meminfo: memFree=1210088/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=8752 CPUtime=0.27
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 2076 829 0 0 26 1 0 0 19 0 1 0 58891925 8962048 1420 996147200 134512640 135215973 4294956304 18446744073709551615 134973201 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 2188 1420 409 171 0 1113 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 8752

[startup+0.701787 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15296
/proc/meminfo: memFree=1210088/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=14432 CPUtime=0.67
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 3887 829 0 0 65 2 0 0 23 0 1 0 58891925 14778368 2500 996147200 134512640 135215973 4294956304 18446744073709551615 134641141 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 3608 2500 419 171 0 2533 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 14432

[startup+1.5019 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=1200088/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=14432 CPUtime=1.47
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 4182 829 0 0 145 2 0 0 25 0 1 0 58891925 14778368 2795 996147200 134512640 135215973 4294956304 18446744073709551615 134648480 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 3608 2795 419 171 0 2533 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14432

[startup+3.10214 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=1199064/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=21836 CPUtime=3.06
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 6138 829 0 0 303 3 0 0 25 0 1 0 58891925 22360064 3918 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 5459 3918 419 171 0 4384 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 21836

[startup+6.30158 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=1193688/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=21836 CPUtime=6.24
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 6155 829 0 0 621 3 0 0 25 0 1 0 58891925 22360064 3935 996147200 134512640 135215973 4294956304 18446744073709551615 134583360 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 5459 3935 419 171 0 4384 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 21836

[startup+12.7015 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=1192032/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=21836 CPUtime=12.61
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 6158 829 0 0 1258 3 0 0 25 0 1 0 58891925 22360064 3938 996147200 134512640 135215973 4294956304 18446744073709551615 135094934 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 5459 3938 419 171 0 4384 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 21836

[startup+25.5013 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=1187680/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=22484 CPUtime=25.35
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 6525 829 0 0 2532 3 0 0 25 0 1 0 58891925 23023616 4305 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 5621 4305 419 171 0 4546 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 22484

[startup+51.1019 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=1179808/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=23908 CPUtime=50.83
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 6891 829 0 0 5079 4 0 0 25 0 1 0 58891925 24481792 4671 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 5977 4671 419 171 0 4902 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 23908

[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=1147616/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=39932 CPUtime=101.79
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 11033 829 0 0 10173 6 0 0 25 0 1 0 58891925 40890368 8651 996147200 134512640 135215973 4294956304 18446744073709551615 4243188 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 9983 8651 419 171 0 8908 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 39932

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=1119712/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=52544 CPUtime=161.49
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 14392 829 0 0 16141 8 0 0 25 0 1 0 58891925 53805056 11655 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 13136 11655 419 171 0 12061 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 52544

[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=1069344/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=86896 CPUtime=221.21
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 23381 829 0 0 22108 13 0 0 25 0 1 0 58891925 88981504 20002 996147200 134512640 135215973 4294956304 18446744073709551615 134585409 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 21724 20002 419 171 0 20649 0
Current children cumulated CPU time (s) 221.21
Current children cumulated vsize (KiB) 86896

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=1034080/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=109252 CPUtime=280.92
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 29186 829 0 0 28075 17 0 0 25 0 1 0 58891925 111874048 25550 996147200 134512640 135215973 4294956304 18446744073709551615 134903315 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 27313 25550 419 171 0 26238 0
Current children cumulated CPU time (s) 280.92
Current children cumulated vsize (KiB) 109252

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=988768/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=138776 CPUtime=340.62
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 36815 829 0 0 34041 21 0 0 25 0 1 0 58891925 142106624 33179 996147200 134512640 135215973 4294956304 18446744073709551615 134583597 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 34694 33179 419 171 0 33619 0
Current children cumulated CPU time (s) 340.62
Current children cumulated vsize (KiB) 138776

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=934432/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=177344 CPUtime=400.34
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 46779 829 0 0 40007 27 0 0 25 0 1 0 58891925 181600256 42118 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 44336 42118 419 171 0 43261 0
Current children cumulated CPU time (s) 400.34
Current children cumulated vsize (KiB) 177344

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=882080/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=209124 CPUtime=460.05
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 55062 829 0 0 45973 32 0 0 25 0 1 0 58891925 214142976 50401 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 52281 50401 419 171 0 51206 0
Current children cumulated CPU time (s) 460.05
Current children cumulated vsize (KiB) 209124

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=835424/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=242452 CPUtime=519.76
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 63799 829 0 0 51939 37 0 0 25 0 1 0 58891925 248270848 58625 996147200 134512640 135215973 4294956304 18446744073709551615 134533259 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 60613 58625 419 171 0 59538 0
Current children cumulated CPU time (s) 519.76
Current children cumulated vsize (KiB) 242452

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=786912/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=277876 CPUtime=579.47
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 73274 829 0 0 57905 42 0 0 25 0 1 0 58891925 284545024 67075 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 69469 67075 419 171 0 68394 0
Current children cumulated CPU time (s) 579.47
Current children cumulated vsize (KiB) 277876

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=754208/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=295480 CPUtime=639.18
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 77893 829 0 0 63873 45 0 0 25 0 1 0 58891925 302571520 71694 996147200 134512640 135215973 4294956304 18446744073709551615 134599849 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 73870 71694 419 171 0 72795 0
Current children cumulated CPU time (s) 639.18
Current children cumulated vsize (KiB) 295480

[startup+702.301 s]

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

[startup+762.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=660640/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=366256 CPUtime=758.6
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 96064 829 0 0 75806 54 0 0 25 0 1 0 58891925 375046144 87816 996147200 134512640 135215973 4294956304 18446744073709551615 4158960738 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 91564 87816 419 171 0 90489 0
Current children cumulated CPU time (s) 758.6
Current children cumulated vsize (KiB) 366256

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=611104/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=400744 CPUtime=818.31
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 104981 829 0 0 81771 60 0 0 25 0 1 0 58891925 410361856 96733 996147200 134512640 135215973 4294956304 18446744073709551615 134599824 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 100186 96733 419 171 0 99111 0
Current children cumulated CPU time (s) 818.31
Current children cumulated vsize (KiB) 400744

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=578720/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=421860 CPUtime=878.02
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 110432 829 0 0 87739 63 0 0 25 0 1 0 58891925 431984640 102184 996147200 134512640 135215973 4294956304 18446744073709551615 134632954 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 105465 102184 419 171 0 104390 0
Current children cumulated CPU time (s) 878.02
Current children cumulated vsize (KiB) 421860

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=539424/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=450148 CPUtime=937.73
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 117715 829 0 0 93706 67 0 0 25 0 1 0 58891925 460951552 109467 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 112537 109467 419 171 0 111462 0
Current children cumulated CPU time (s) 937.73
Current children cumulated vsize (KiB) 450148

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=493792/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=481752 CPUtime=997.43
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 125832 829 0 0 99671 72 0 0 25 0 1 0 58891925 493314048 117584 996147200 134512640 135215973 4294956304 18446744073709551615 134599882 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 120438 117584 419 171 0 119363 0
Current children cumulated CPU time (s) 997.43
Current children cumulated vsize (KiB) 481752

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15302
/proc/meminfo: memFree=446880/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=513872 CPUtime=1057.15
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 134062 829 0 0 105638 77 0 0 25 0 1 0 58891925 526204928 125814 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/15296/statm: 128468 125814 419 171 0 127393 0
Current children cumulated CPU time (s) 1057.15
Current children cumulated vsize (KiB) 513872

[startup+1122.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 15334
/proc/meminfo: memFree=860000/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=547320 CPUtime=1116.9
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 142646 829 0 0 111608 82 0 0 25 0 1 0 58891925 560455680 134398 996147200 134512640 135215973 4294956304 18446744073709551615 134589810 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 136830 134398 419 171 0 135755 0
Current children cumulated CPU time (s) 1116.9
Current children cumulated vsize (KiB) 547320

[startup+1182.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 15334
/proc/meminfo: memFree=786976/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=580976 CPUtime=1176.65
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 151447 829 0 0 117579 86 0 0 25 0 1 0 58891925 594919424 143199 996147200 134512640 135215973 4294956304 18446744073709551615 4242984 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 145244 143199 419 171 0 144169 0
Current children cumulated CPU time (s) 1176.65
Current children cumulated vsize (KiB) 580976

[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15334
/proc/meminfo: memFree=696544/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=639508 CPUtime=1236.4
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 166537 829 0 0 123549 91 0 0 25 0 1 0 58891925 654856192 154192 996147200 134512640 135215973 4294956304 18446744073709551615 135096091 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 159877 154192 419 171 0 158802 0
Current children cumulated CPU time (s) 1236.4
Current children cumulated vsize (KiB) 639508

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15334
/proc/meminfo: memFree=621728/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=669356 CPUtime=1296.16
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 174368 829 0 0 129519 97 0 0 25 0 1 0 58891925 685420544 162023 996147200 134512640 135215973 4294956304 18446744073709551615 134741691 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 167339 162023 419 171 0 166264 0
Current children cumulated CPU time (s) 1296.16
Current children cumulated vsize (KiB) 669356

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15334
/proc/meminfo: memFree=540640/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=706432 CPUtime=1355.92
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 183979 829 0 0 135488 104 0 0 25 0 1 0 58891925 723386368 171634 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 176608 171634 419 171 0 175533 0
Current children cumulated CPU time (s) 1355.92
Current children cumulated vsize (KiB) 706432

[startup+1422.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15334
/proc/meminfo: memFree=462240/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=744408 CPUtime=1415.67
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 193787 829 0 0 141458 109 0 0 25 0 1 0 58891925 762273792 181442 996147200 134512640 135215973 4294956304 18446744073709551615 134583244 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 186102 181442 419 171 0 185027 0
Current children cumulated CPU time (s) 1415.67
Current children cumulated vsize (KiB) 744408

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15334
/proc/meminfo: memFree=374304/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=781608 CPUtime=1475.43
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 203407 829 0 0 147429 114 0 0 25 0 1 0 58891925 800366592 191062 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 195402 191062 419 171 0 194327 0
Current children cumulated CPU time (s) 1475.43
Current children cumulated vsize (KiB) 781608

[startup+1542.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15334
/proc/meminfo: memFree=286304/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=820164 CPUtime=1535.19
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 213566 829 0 0 153400 119 0 0 25 0 1 0 58891925 839847936 201221 996147200 134512640 135215973 4294956304 18446744073709551615 134588587 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 205041 201221 419 171 0 203966 0
Current children cumulated CPU time (s) 1535.19
Current children cumulated vsize (KiB) 820164

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15334
/proc/meminfo: memFree=198432/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=866420 CPUtime=1594.94
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 225816 829 0 0 159369 125 0 0 25 0 1 0 58891925 887214080 211422 996147200 134512640 135215973 4294956304 18446744073709551615 134600662 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 216605 211422 419 171 0 215530 0
Current children cumulated CPU time (s) 1594.94
Current children cumulated vsize (KiB) 866420

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15336
/proc/meminfo: memFree=103456/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=903568 CPUtime=1654.7
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 235732 829 0 0 165339 131 0 0 25 0 1 0 58891925 925253632 221338 996147200 134512640 135215973 4294956304 18446744073709551615 135094967 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 225892 221338 419 171 0 224817 0
Current children cumulated CPU time (s) 1654.7
Current children cumulated vsize (KiB) 903568



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1691.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 15336
/proc/meminfo: memFree=62688/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=921644 CPUtime=1683.99
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4194304 240402 829 0 0 168265 134 0 0 25 0 1 0 58891925 943763456 226008 996147200 134512640 135215973 4294956304 18446744073709551615 134608549 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 230411 226008 419 171 0 229336 0
Current children cumulated CPU time (s) 1683.99
Current children cumulated vsize (KiB) 921644

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

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

[startup+1691.81 s]
/proc/loadavg: 1.99 1.98 1.99 3/74 15337
/proc/meminfo: memFree=737624/2055920 swapFree=4192812/4192956
[pid=15296] ppid=15294 vsize=0 CPUtime=1684.09
/proc/15296/stat : 15296 (pcs.big) R 15294 15296 13731 0 -1 4195332 240402 829 0 0 168265 144 0 0 25 0 1 0 58891925 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/15296/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1684.09
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1691.84
CPU time (s): 1684.14
CPU user time (s): 1682.65
CPU system time (s): 1.48577
CPU usage (%): 99.5447
Max. virtual memory (cumulated for all children) (KiB): 921644

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

runsolver used 2.36064 second user time and 5.13822 second system time

The end

Launcher Data 

Begin job on node49 at 2009-07-16 06:25:16
IDJOB=2080702
IDBENCH=57136
IDSOLVER=734
FILE ID=node49/2080702-1247718316
PBS_JOBID= 9521377
Free space on /tmp= 66376 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/haystacks/normalized-haystacks-20.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080702-1247718316/watcher-2080702-1247718316 -o /tmp/evaluation-result-2080702-1247718316/solver-2080702-1247718316 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1016706657 HOME/instance-2080702-1247718316.xml

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

MD5SUM BENCH= a9dc0248b5bac88ceea300c49a32664c
RANDOM SEED=1016706657

node49.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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1210568 kB
Buffers:         57888 kB
Cached:         484956 kB
SwapCached:          0 kB
Active:         346160 kB
Inactive:       436732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1210568 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2184 kB
Writeback:           0 kB
Mapped:         251580 kB
Slab:            47280 kB
Committed_AS:   763544 kB
PageTables:       2236 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= 66376 MiB
End job on node49 at 2009-07-16 06:53:30