Trace number 2085289

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.14 1801.67

General information on the benchmark

Namecsp/graphColoring/sgb/queen/
normalized-queen13-13-14.xml
MD5SUM21ee69a34102e53e746e1388c6d27e48
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 variables169
Number of constraints3328
Maximum constraint arity2
Maximum domain size14
Number of constraints which are defined in extension0
Number of constraints which are defined in intension3328
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.00/0.04	c Seed is 905113480
0.00/0.04	c Constructing HOME/instance-2085289-1247725604.xml 
0.00/0.12	c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V0)
0.00/0.12	c deduced all_different(V0,V1,V14,V13)
0.00/0.12	c deduced all_different(V1,V2,V3,V15)
0.00/0.12	c deduced all_different(V2,V3,V4,V16)
0.00/0.12	c deduced all_different(V3,V4,V5,V17)
0.00/0.12	c deduced all_different(V4,V5,V6,V18)
0.00/0.12	c deduced all_different(V5,V6,V7,V19)
0.00/0.12	c deduced all_different(V6,V7,V8,V20)
0.00/0.12	c deduced all_different(V7,V8,V9,V21)
0.00/0.12	c deduced all_different(V8,V9,V10,V22)
0.00/0.12	c deduced all_different(V9,V10,V11,V23)
0.00/0.12	c deduced all_different(V10,V11,V12,V24)
0.00/0.12	c deduced all_different(V11,V12,V24,V25)
0.00/0.12	c deduced all_different(V0,V2,V14,V28,V26)
0.00/0.12	c deduced all_different(V1,V3,V15,V29,V27)
0.00/0.12	c deduced all_different(V2,V4,V6,V30)
0.00/0.12	c deduced all_different(V3,V5,V7,V31)
0.00/0.12	c deduced all_different(V4,V6,V8,V32)
0.00/0.12	c deduced all_different(V5,V7,V9,V33)
0.00/0.12	c deduced all_different(V6,V8,V10,V34)
0.00/0.12	c deduced all_different(V7,V9,V11,V35)
0.00/0.12	c deduced all_different(V8,V10,V12,V36)
0.00/0.12	c deduced all_different(V9,V11,V23,V35,V37)
0.00/0.12	c deduced all_different(V10,V12,V24,V36,V38)
0.00/0.12	c deduced all_different(V0,V3,V42,V39)
0.00/0.12	c deduced all_different(V1,V4,V43,V40)
0.00/0.12	c deduced all_different(V2,V5,V44,V41)
0.00/0.12	c deduced all_different(V3,V6,V9,V45)
0.00/0.12	c deduced all_different(V4,V7,V10,V46)
0.00/0.12	c deduced all_different(V5,V8,V11,V47)
0.00/0.12	c deduced all_different(V6,V9,V12,V48)
0.00/0.12	c deduced all_different(V7,V10,V46,V49)
0.00/0.12	c deduced all_different(V8,V11,V47,V50)
0.00/0.12	c deduced all_different(V9,V12,V48,V51)
0.00/0.12	c deduced all_different(V0,V4,V28,V56,V52)
0.00/0.12	c deduced all_different(V1,V5,V29,V57,V53)
0.00/0.12	c deduced all_different(V2,V6,V30,V58,V54)
0.00/0.12	c deduced all_different(V3,V7,V31,V59,V55)
0.00/0.12	c deduced all_different(V4,V8,V12,V60)
0.00/0.12	c deduced all_different(V5,V9,V33,V57,V61)
0.00/0.12	c deduced all_different(V6,V10,V34,V58,V62)
0.00/0.12	c deduced all_different(V7,V11,V35,V59,V63)
0.00/0.12	c deduced all_different(V8,V12,V36,V60,V64)
0.00/0.12	c deduced all_different(V0,V5,V70,V65)
0.00/0.12	c deduced all_different(V1,V6,V71,V66)
0.00/0.12	c deduced all_different(V2,V7,V72,V67)
0.00/0.12	c deduced all_different(V3,V8,V73,V68)
0.00/0.12	c deduced all_different(V4,V9,V74,V69)
0.00/0.12	c deduced all_different(V5,V10,V70,V75)
0.00/0.12	c deduced all_different(V6,V11,V71,V76)
0.00/0.12	c deduced all_different(V7,V12,V72,V77)
0.00/0.12	c deduced all_different(V0,V6,V42,V84,V78)
0.00/0.12	c deduced all_different(V1,V7,V43,V85,V79)
0.00/0.12	c deduced all_different(V2,V8,V44,V86,V80)
0.00/0.12	c deduced all_different(V3,V9,V45,V87,V81)
0.00/0.12	c deduced all_different(V4,V10,V46,V88,V82)
0.00/0.12	c deduced all_different(V5,V11,V47,V89,V83)
0.00/0.12	c deduced all_different(V6,V12,V48,V84,V90)
0.00/0.12	c deduced all_different(V0,V7,V98,V91)
0.00/0.12	c deduced all_different(V1,V8,V99,V92)
0.00/0.12	c deduced all_different(V2,V9,V100,V93)
0.00/0.12	c deduced all_different(V3,V10,V101,V94)
0.00/0.12	c deduced all_different(V4,V11,V102,V95)
0.00/0.12	c deduced all_different(V5,V12,V103,V96)
0.00/0.12	c deduced all_different(V6,V19,V32,V45,V58,V71,V84,V110,V123,V136,V149,V162,V97)
0.00/0.12	c deduced all_different(V0,V8,V56,V112,V104)
0.00/0.12	c deduced all_different(V1,V9,V57,V113,V105)
0.00/0.12	c deduced all_different(V2,V10,V58,V114,V106)
0.00/0.12	c deduced all_different(V3,V11,V59,V115,V107)
0.00/0.12	c deduced all_different(V4,V12,V60,V116,V108)
0.00/0.12	c deduced all_different(V5,V18,V31,V44,V57,V70,V83,V96,V122,V135,V148,V161,V109)
0.00/0.12	c deduced all_different(V7,V20,V33,V46,V59,V72,V85,V98,V124,V137,V150,V163,V111)
0.00/0.12	c deduced all_different(V0,V9,V126,V117)
0.00/0.12	c deduced all_different(V1,V10,V127,V118)
0.00/0.12	c deduced all_different(V2,V11,V128,V119)
0.00/0.12	c deduced all_different(V3,V12,V129,V120)
0.00/0.12	c deduced all_different(V4,V17,V30,V43,V56,V69,V82,V95,V108,V134,V147,V160,V121)
0.00/0.12	c deduced all_different(V8,V21,V34,V47,V60,V73,V86,V99,V112,V138,V151,V164,V125)
0.00/0.12	c deduced all_different(V0,V10,V70,V140,V130)
0.00/0.12	c deduced all_different(V1,V11,V71,V141,V131)
0.00/0.12	c deduced all_different(V2,V12,V72,V142,V132)
0.00/0.12	c deduced all_different(V3,V16,V29,V42,V55,V68,V81,V94,V107,V120,V146,V159,V133)
0.00/0.12	c deduced all_different(V9,V22,V35,V48,V61,V74,V87,V100,V113,V126,V152,V165,V139)
0.00/0.12	c deduced all_different(V0,V11,V154,V143)
0.00/0.12	c deduced all_different(V1,V12,V155,V144)
0.00/0.12	c deduced all_different(V2,V15,V28,V41,V54,V67,V80,V93,V106,V119,V132,V158,V145)
0.00/0.12	c deduced all_different(V10,V23,V36,V49,V62,V75,V88,V101,V114,V127,V140,V166,V153)
0.00/0.12	c deduced all_different(V0,V12,V84,V168,V156)
0.00/0.12	c deduced all_different(V1,V14,V27,V40,V53,V66,V79,V92,V105,V118,V131,V144,V157)
0.00/0.12	c deduced all_different(V11,V24,V37,V50,V63,V76,V89,V102,V115,V128,V141,V154,V167)
0.00/0.12	c  with 3418 constraints
0.00/0.12	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-2085289-1247725604/watcher-2085289-1247725604 -o /tmp/evaluation-result-2085289-1247725604/solver-2085289-1247725604 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 905113480 HOME/instance-2085289-1247725604.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 15523
/proc/meminfo: memFree=1126424/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=5212 CPUtime=0
/proc/15523/stat : 15523 (pcssolve) R 15521 15523 15416 0 -1 4194304 69 0 0 0 0 0 0 0 20 0 1 0 59623522 5337088 43 996147200 4194304 4889804 548682068800 18446744073709551615 217049004121 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 1303 43 29 169 0 14 0

[startup+0.209735 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15523
/proc/meminfo: memFree=1126424/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=5092 CPUtime=0.18
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 1005 822 0 0 18 0 0 0 19 0 1 0 59623522 5214208 614 996147200 134512640 135095119 4294956304 18446744073709551615 9752149 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 1273 614 391 142 0 227 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5092

[startup+0.302752 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15523
/proc/meminfo: memFree=1126424/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=5092 CPUtime=0.28
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 1006 822 0 0 28 0 0 0 19 0 1 0 59623522 5214208 615 996147200 134512640 135095119 4294956304 18446744073709551615 9752198 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 1273 615 391 142 0 227 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5092

[startup+0.40277 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15523
/proc/meminfo: memFree=1126424/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=5092 CPUtime=0.38
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 1006 822 0 0 38 0 0 0 20 0 1 0 59623522 5214208 615 996147200 134512640 135095119 4294956304 18446744073709551615 134570719 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 1273 615 391 142 0 227 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 5092

[startup+0.702828 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 15523
/proc/meminfo: memFree=1126424/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=5092 CPUtime=0.67
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 1014 822 0 0 67 0 0 0 23 0 1 0 59623522 5214208 623 996147200 134512640 135095119 4294956304 18446744073709551615 9752158 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 1273 623 391 142 0 227 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5092

[startup+1.50198 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15529
/proc/meminfo: memFree=1125328/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=5376 CPUtime=1.46
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 1090 822 0 0 146 0 0 0 25 0 1 0 59623522 5505024 666 996147200 134512640 135095119 4294956304 18446744073709551615 134851863 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 1344 666 391 142 0 298 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 5376

[startup+3.10129 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15529
/proc/meminfo: memFree=1124880/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=5700 CPUtime=3.05
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 1178 822 0 0 305 0 0 0 25 0 1 0 59623522 5836800 738 996147200 134512640 135095119 4294956304 18446744073709551615 134617071 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 1425 738 391 142 0 379 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 5700

[startup+6.3019 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15529
/proc/meminfo: memFree=1123280/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=6596 CPUtime=6.22
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 1477 822 0 0 622 0 0 0 25 0 1 0 59623522 6754304 972 996147200 134512640 135095119 4294956304 18446744073709551615 134545315 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 1649 972 391 142 0 603 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 6596

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15529
/proc/meminfo: memFree=1121360/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=8532 CPUtime=12.57
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 2118 822 0 0 1257 0 0 0 25 0 1 0 59623522 8736768 1419 996147200 134512640 135095119 4294956304 18446744073709551615 9752191 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 2133 1419 391 142 0 1087 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 8532

[startup+25.5066 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15529
/proc/meminfo: memFree=1116944/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=12916 CPUtime=25.27
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 3557 822 0 0 2526 1 0 0 25 0 1 0 59623522 13225984 2472 996147200 134512640 135095119 4294956304 18446744073709551615 134571098 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 3229 2472 391 142 0 2183 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 12916

[startup+51.1025 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 15529
/proc/meminfo: memFree=1102800/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=21452 CPUtime=50.63
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 6325 822 0 0 5060 3 0 0 25 0 1 0 59623522 21966848 4470 996147200 134512640 135095119 4294956304 18446744073709551615 4159345924 0 0 4096 0 0 0 0 17 1 0 0
/proc/15523/statm: 5363 4470 391 142 0 4317 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 21452

[startup+102.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1414400/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=39568 CPUtime=101.54
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 12040 822 0 0 10146 8 0 0 25 0 1 0 59623522 40517632 8647 996147200 134512640 135095119 4294956304 18446744073709551615 9719336 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 9892 8647 391 142 0 8846 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 39568

[startup+162.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1399040/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=57360 CPUtime=161.51
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 17923 822 0 0 16139 12 0 0 25 0 1 0 59623522 58736640 12481 996147200 134512640 135095119 4294956304 18446744073709551615 9752198 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 14340 12481 391 142 0 13294 0
Current children cumulated CPU time (s) 161.51
Current children cumulated vsize (KiB) 57360

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1379392/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=75676 CPUtime=221.49
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 23796 822 0 0 22133 16 0 0 25 0 1 0 59623522 77492224 17329 996147200 134512640 135095119 4294956304 18446744073709551615 134861728 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 18919 17329 391 142 0 17873 0
Current children cumulated CPU time (s) 221.49
Current children cumulated vsize (KiB) 75676

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1367296/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=99228 CPUtime=281.45
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 30939 822 0 0 28124 21 0 0 25 0 1 0 59623522 101609472 20375 996147200 134512640 135095119 4294956304 18446744073709551615 134854986 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 24807 20375 391 142 0 23761 0
Current children cumulated CPU time (s) 281.45
Current children cumulated vsize (KiB) 99228

[startup+342.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1352384/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=109344 CPUtime=341.43
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 34648 822 0 0 34118 25 0 0 25 0 1 0 59623522 111968256 24084 996147200 134512640 135095119 4294956304 18446744073709551615 9752158 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 27336 24084 391 142 0 26290 0
Current children cumulated CPU time (s) 341.43
Current children cumulated vsize (KiB) 109344

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1315720/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=149724 CPUtime=401.4
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 45862 822 0 0 40109 31 0 0 25 0 1 0 59623522 153317376 33249 996147200 134512640 135095119 4294956304 18446744073709551615 134855014 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 37431 33249 391 142 0 36385 0
Current children cumulated CPU time (s) 401.4
Current children cumulated vsize (KiB) 149724

[startup+462.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1311496/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=149724 CPUtime=461.37
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 46900 822 0 0 46105 32 0 0 25 0 1 0 59623522 153317376 34287 996147200 134512640 135095119 4294956304 18446744073709551615 134642605 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 37431 34287 391 142 0 36385 0
Current children cumulated CPU time (s) 461.37
Current children cumulated vsize (KiB) 149724

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1307400/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=149724 CPUtime=521.35
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 47923 822 0 0 52101 34 0 0 25 0 1 0 59623522 153317376 35310 996147200 134512640 135095119 4294956304 18446744073709551615 9752191 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 37431 35310 391 142 0 36385 0
Current children cumulated CPU time (s) 521.35
Current children cumulated vsize (KiB) 149724

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1297480/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=188256 CPUtime=581.32
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 58572 822 0 0 58090 42 0 0 25 0 1 0 59623522 192774144 37766 996147200 134512640 135095119 4294956304 18446744073709551615 134683676 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 47064 37766 391 142 0 46018 0
Current children cumulated CPU time (s) 581.32
Current children cumulated vsize (KiB) 188256

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1285256/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=196576 CPUtime=641.29
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 61662 822 0 0 64083 46 0 0 25 0 1 0 59623522 201293824 40856 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 49144 40856 391 142 0 48098 0
Current children cumulated CPU time (s) 641.29
Current children cumulated vsize (KiB) 196576

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1250376/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=220280 CPUtime=821.21
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 70284 822 0 0 82063 58 0 0 25 0 1 0 59623522 225566720 49478 996147200 134512640 135095119 4294956304 18446744073709551615 134641644 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 55070 49478 391 142 0 54024 0
Current children cumulated CPU time (s) 821.21
Current children cumulated vsize (KiB) 220280

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 15668
/proc/meminfo: memFree=1239368/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=227836 CPUtime=881.18
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 73027 822 0 0 88056 62 0 0 25 0 1 0 59623522 233304064 52221 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 56959 52221 391 142 0 55913 0
Current children cumulated CPU time (s) 881.18
Current children cumulated vsize (KiB) 227836

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1177544/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=303292 CPUtime=941.15
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 92563 822 0 0 94044 71 0 0 25 0 1 0 59623522 310571008 67660 996147200 134512640 135095119 4294956304 18446744073709551615 9752191 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 75823 67660 391 142 0 74777 0
Current children cumulated CPU time (s) 941.15
Current children cumulated vsize (KiB) 303292

[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1174792/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=303292 CPUtime=1001.13
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 93251 822 0 0 100041 72 0 0 25 0 1 0 59623522 310571008 68348 996147200 134512640 135095119 4294956304 18446744073709551615 9752198 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 75823 68348 391 142 0 74777 0
Current children cumulated CPU time (s) 1001.13
Current children cumulated vsize (KiB) 303292

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1171848/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=303292 CPUtime=1061.1
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 93978 822 0 0 106037 73 0 0 25 0 1 0 59623522 310571008 69075 996147200 134512640 135095119 4294956304 18446744073709551615 9720159 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 75823 69075 391 142 0 74777 0
Current children cumulated CPU time (s) 1061.1
Current children cumulated vsize (KiB) 303292

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1169032/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=303292 CPUtime=1121.07
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 94672 822 0 0 112033 74 0 0 25 0 1 0 59623522 310571008 69769 996147200 134512640 135095119 4294956304 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 75823 69769 391 142 0 74777 0
Current children cumulated CPU time (s) 1121.07
Current children cumulated vsize (KiB) 303292

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1166088/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=303292 CPUtime=1181.04
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 95412 822 0 0 118030 74 0 0 25 0 1 0 59623522 310571008 70509 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 75823 70509 391 142 0 74777 0
Current children cumulated CPU time (s) 1181.04
Current children cumulated vsize (KiB) 303292

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1162824/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=303292 CPUtime=1241.01
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 96184 822 0 0 124025 76 0 0 25 0 1 0 59623522 310571008 71281 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 75823 71281 391 142 0 74777 0
Current children cumulated CPU time (s) 1241.01
Current children cumulated vsize (KiB) 303292

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1159816/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=303292 CPUtime=1300.99
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 96923 822 0 0 130022 77 0 0 25 0 1 0 59623522 310571008 72020 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 75823 72020 391 142 0 74777 0
Current children cumulated CPU time (s) 1300.99
Current children cumulated vsize (KiB) 303292

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1156744/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=368828 CPUtime=1360.96
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 114059 822 0 0 136011 85 0 0 25 0 1 0 59623522 377679872 72771 996147200 134512640 135095119 4294956304 18446744073709551615 134848884 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 92207 72771 391 142 0 91161 0
Current children cumulated CPU time (s) 1360.96
Current children cumulated vsize (KiB) 368828

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1153032/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=369724 CPUtime=1420.93
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 115027 822 0 0 142007 86 0 0 25 0 1 0 59623522 378597376 73739 996147200 134512640 135095119 4294956304 18446744073709551615 134848879 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 92431 73739 391 142 0 91385 0
Current children cumulated CPU time (s) 1420.93
Current children cumulated vsize (KiB) 369724

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15668
/proc/meminfo: memFree=1143624/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=376136 CPUtime=1480.91
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 117363 822 0 0 148002 89 0 0 25 0 1 0 59623522 385163264 76075 996147200 134512640 135095119 4294956304 18446744073709551615 134839425 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 94034 76075 391 142 0 92988 0
Current children cumulated CPU time (s) 1480.91
Current children cumulated vsize (KiB) 376136

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15670
/proc/meminfo: memFree=1134024/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=382664 CPUtime=1540.88
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 119702 822 0 0 153997 91 0 0 25 0 1 0 59623522 391847936 78414 996147200 134512640 135095119 4294956304 18446744073709551615 9752158 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 95666 78414 391 142 0 94620 0
Current children cumulated CPU time (s) 1540.88
Current children cumulated vsize (KiB) 382664

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15670
/proc/meminfo: memFree=1125192/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=388812 CPUtime=1600.85
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 121930 822 0 0 159991 94 0 0 25 0 1 0 59623522 398143488 80642 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 97203 80642 391 142 0 96157 0
Current children cumulated CPU time (s) 1600.85
Current children cumulated vsize (KiB) 388812

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15670
/proc/meminfo: memFree=1116424/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=394828 CPUtime=1660.82
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 124100 822 0 0 165986 96 0 0 25 0 1 0 59623522 404303872 82812 996147200 134512640 135095119 4294956304 18446744073709551615 134589536 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 98707 82812 391 142 0 97661 0
Current children cumulated CPU time (s) 1660.82
Current children cumulated vsize (KiB) 394828

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15670
/proc/meminfo: memFree=1108168/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=400588 CPUtime=1720.79
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 126195 822 0 0 171981 98 0 0 25 0 1 0 59623522 410202112 84907 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 100147 84907 391 142 0 99101 0
Current children cumulated CPU time (s) 1720.79
Current children cumulated vsize (KiB) 400588

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15670
/proc/meminfo: memFree=1099400/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=406348 CPUtime=1780.77
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 128336 822 0 0 177975 102 0 0 25 0 1 0 59623522 416100352 87048 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 101587 87048 391 142 0 100541 0
Current children cumulated CPU time (s) 1780.77
Current children cumulated vsize (KiB) 406348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15670
/proc/meminfo: memFree=1096456/2055920 swapFree=4192812/4192956
[pid=15523] ppid=15521 vsize=408268 CPUtime=1800.06
/proc/15523/stat : 15523 (pcs.small) R 15521 15523 15416 0 -1 4194304 129061 822 0 0 179903 103 0 0 25 0 1 0 59623522 418066432 87773 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15523/statm: 102067 87773 391 142 0 101021 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 408268

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): 1801.67
CPU time (s): 1800.14
CPU user time (s): 1799.04
CPU system time (s): 1.09983
CPU usage (%): 99.9154
Max. virtual memory (cumulated for all children) (KiB): 434368

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

runsolver used 2.30565 second user time and 5.87611 second system time

The end

Launcher Data 

Begin job on node59 at 2009-07-16 08:26:44
IDJOB=2085289
IDBENCH=58358
IDSOLVER=734
FILE ID=node59/2085289-1247725604
PBS_JOBID= 9521505
Free space on /tmp= 66336 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/graphColoring/sgb/queen/normalized-queen13-13-14.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2085289-1247725604/watcher-2085289-1247725604 -o /tmp/evaluation-result-2085289-1247725604/solver-2085289-1247725604 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 905113480 HOME/instance-2085289-1247725604.xml

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

MD5SUM BENCH= 21ee69a34102e53e746e1388c6d27e48
RANDOM SEED=905113480

node59.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.263
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.263
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:       1126904 kB
Buffers:        104780 kB
Cached:         368432 kB
SwapCached:          0 kB
Active:         417612 kB
Inactive:       414052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1126904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2112 kB
Writeback:           0 kB
Mapped:         370032 kB
Slab:            81684 kB
Committed_AS:   902344 kB
PageTables:       2768 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66344 MiB
End job on node59 at 2009-07-16 08:56:48