Trace number 2085222

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2? (TO) 1800.18 1813.66

General information on the benchmark

Namecsp/graphColoring/sgb/queen/
normalized-queen14-14-15.xml
MD5SUM042d592851d0f5948e182914f62527ff
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 variables196
Number of constraints4186
Maximum constraint arity2
Maximum domain size15
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4186
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.00/0.04	c Seed is 1572581246
0.00/0.04	c Constructing HOME/instance-2085222-1247725516.xml 
0.06/0.16	c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V0)
0.06/0.16	c deduced all_different(V0,V1,V15,V14)
0.06/0.16	c deduced all_different(V1,V2,V3,V16)
0.06/0.16	c deduced all_different(V2,V3,V4,V17)
0.06/0.16	c deduced all_different(V3,V4,V5,V18)
0.06/0.16	c deduced all_different(V4,V5,V6,V19)
0.06/0.16	c deduced all_different(V5,V6,V7,V20)
0.06/0.16	c deduced all_different(V6,V7,V8,V21)
0.06/0.16	c deduced all_different(V7,V8,V9,V22)
0.06/0.16	c deduced all_different(V8,V9,V10,V23)
0.06/0.16	c deduced all_different(V9,V10,V11,V24)
0.06/0.16	c deduced all_different(V10,V11,V12,V25)
0.06/0.16	c deduced all_different(V11,V12,V13,V26)
0.06/0.16	c deduced all_different(V12,V13,V26,V27)
0.06/0.16	c deduced all_different(V0,V2,V15,V30,V28)
0.06/0.16	c deduced all_different(V1,V3,V16,V31,V29)
0.06/0.16	c deduced all_different(V2,V4,V6,V32)
0.06/0.16	c deduced all_different(V3,V5,V7,V33)
0.06/0.16	c deduced all_different(V4,V6,V8,V34)
0.06/0.16	c deduced all_different(V5,V7,V9,V35)
0.06/0.16	c deduced all_different(V6,V8,V10,V36)
0.06/0.16	c deduced all_different(V7,V9,V11,V37)
0.06/0.16	c deduced all_different(V8,V10,V12,V38)
0.06/0.16	c deduced all_different(V9,V11,V13,V39)
0.06/0.16	c deduced all_different(V10,V12,V25,V38,V40)
0.06/0.16	c deduced all_different(V11,V13,V26,V39,V41)
0.06/0.16	c deduced all_different(V0,V3,V45,V42)
0.06/0.16	c deduced all_different(V1,V4,V46,V43)
0.06/0.16	c deduced all_different(V2,V5,V47,V44)
0.06/0.16	c deduced all_different(V3,V6,V9,V48)
0.06/0.16	c deduced all_different(V4,V7,V10,V49)
0.06/0.16	c deduced all_different(V5,V8,V11,V50)
0.06/0.16	c deduced all_different(V6,V9,V12,V51)
0.06/0.16	c deduced all_different(V7,V10,V13,V52)
0.06/0.16	c deduced all_different(V8,V11,V50,V53)
0.06/0.16	c deduced all_different(V9,V12,V51,V54)
0.06/0.16	c deduced all_different(V10,V13,V52,V55)
0.06/0.16	c deduced all_different(V0,V4,V30,V60,V56)
0.06/0.16	c deduced all_different(V1,V5,V31,V61,V57)
0.06/0.16	c deduced all_different(V2,V6,V32,V62,V58)
0.06/0.16	c deduced all_different(V3,V7,V33,V63,V59)
0.06/0.16	c deduced all_different(V4,V8,V12,V64)
0.06/0.16	c deduced all_different(V5,V9,V13,V65)
0.06/0.16	c deduced all_different(V6,V10,V36,V62,V66)
0.06/0.16	c deduced all_different(V7,V11,V37,V63,V67)
0.06/0.16	c deduced all_different(V8,V12,V38,V64,V68)
0.06/0.16	c deduced all_different(V9,V13,V39,V65,V69)
0.06/0.16	c deduced all_different(V0,V5,V75,V70)
0.06/0.16	c deduced all_different(V1,V6,V76,V71)
0.06/0.16	c deduced all_different(V2,V7,V77,V72)
0.06/0.16	c deduced all_different(V3,V8,V78,V73)
0.06/0.16	c deduced all_different(V4,V9,V79,V74)
0.06/0.16	c deduced all_different(V5,V10,V75,V80)
0.06/0.16	c deduced all_different(V6,V11,V76,V81)
0.06/0.16	c deduced all_different(V7,V12,V77,V82)
0.06/0.16	c deduced all_different(V8,V13,V78,V83)
0.06/0.16	c deduced all_different(V0,V6,V45,V90,V84)
0.06/0.16	c deduced all_different(V1,V7,V46,V91,V85)
0.06/0.16	c deduced all_different(V2,V8,V47,V92,V86)
0.06/0.16	c deduced all_different(V3,V9,V48,V93,V87)
0.06/0.16	c deduced all_different(V4,V10,V49,V94,V88)
0.06/0.16	c deduced all_different(V5,V11,V50,V95,V89)
0.06/0.16	c deduced all_different(V6,V12,V51,V90,V96)
0.06/0.16	c deduced all_different(V7,V13,V52,V91,V97)
0.06/0.16	c deduced all_different(V0,V7,V105,V98)
0.06/0.16	c deduced all_different(V1,V8,V106,V99)
0.06/0.16	c deduced all_different(V2,V9,V107,V100)
0.06/0.16	c deduced all_different(V3,V10,V108,V101)
0.06/0.16	c deduced all_different(V4,V11,V109,V102)
0.06/0.16	c deduced all_different(V5,V12,V110,V103)
0.06/0.16	c deduced all_different(V6,V13,V111,V104)
0.06/0.16	c deduced all_different(V0,V8,V60,V120,V112)
0.06/0.16	c deduced all_different(V1,V9,V61,V121,V113)
0.06/0.16	c deduced all_different(V2,V10,V62,V122,V114)
0.06/0.16	c deduced all_different(V3,V11,V63,V123,V115)
0.06/0.16	c deduced all_different(V4,V12,V64,V124,V116)
0.06/0.16	c deduced all_different(V5,V13,V65,V125,V117)
0.06/0.16	c deduced all_different(V6,V20,V34,V48,V62,V76,V90,V104,V132,V146,V160,V174,V188,V118)
0.06/0.16	c deduced all_different(V7,V21,V35,V49,V63,V77,V91,V105,V133,V147,V161,V175,V189,V119)
0.06/0.16	c deduced all_different(V0,V9,V135,V126)
0.06/0.16	c deduced all_different(V1,V10,V136,V127)
0.06/0.16	c deduced all_different(V2,V11,V137,V128)
0.06/0.16	c deduced all_different(V3,V12,V138,V129)
0.06/0.16	c deduced all_different(V4,V13,V139,V130)
0.06/0.16	c deduced all_different(V5,V19,V33,V47,V61,V75,V89,V103,V117,V145,V159,V173,V187,V131)
0.06/0.16	c deduced all_different(V8,V22,V36,V50,V64,V78,V92,V106,V120,V148,V162,V176,V190,V134)
0.06/0.16	c deduced all_different(V0,V10,V75,V150,V140)
0.06/0.16	c deduced all_different(V1,V11,V76,V151,V141)
0.06/0.16	c deduced all_different(V2,V12,V77,V152,V142)
0.06/0.16	c deduced all_different(V3,V13,V78,V153,V143)
0.06/0.16	c deduced all_different(V4,V18,V32,V46,V60,V74,V88,V102,V116,V130,V158,V172,V186,V144)
0.06/0.16	c deduced all_different(V9,V23,V37,V51,V65,V79,V93,V107,V121,V135,V163,V177,V191,V149)
0.06/0.16	c deduced all_different(V0,V11,V165,V154)
0.06/0.16	c deduced all_different(V1,V12,V166,V155)
0.06/0.16	c deduced all_different(V2,V13,V167,V156)
0.06/0.16	c deduced all_different(V3,V17,V31,V45,V59,V73,V87,V101,V115,V129,V143,V171,V185,V157)
0.06/0.16	c deduced all_different(V10,V24,V38,V52,V66,V80,V94,V108,V122,V136,V150,V178,V192,V164)
0.06/0.16	c deduced all_different(V0,V12,V90,V180,V168)
0.06/0.16	c deduced all_different(V1,V13,V91,V181,V169)
0.06/0.16	c deduced all_different(V2,V16,V30,V44,V58,V72,V86,V100,V114,V128,V142,V156,V184,V170)
0.06/0.16	c deduced all_different(V11,V25,V39,V53,V67,V81,V95,V109,V123,V137,V151,V165,V193,V179)
0.06/0.16	c deduced all_different(V0,V13,V195,V182)
0.06/0.16	c deduced all_different(V1,V15,V29,V43,V57,V71,V85,V99,V113,V127,V141,V155,V169,V183)
0.06/0.16	c deduced all_different(V12,V26,V40,V54,V68,V82,V96,V110,V124,V138,V152,V166,V180,V194)
0.06/0.16	c  with 4290 constraints
0.06/0.16	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-2085222-1247725516/watcher-2085222-1247725516 -o /tmp/evaluation-result-2085222-1247725516/solver-2085222-1247725516 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1572581246 HOME/instance-2085222-1247725516.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.01 1.99 1.99 4/81 12534
/proc/meminfo: memFree=1609340/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=18576 CPUtime=0
/proc/12534/stat : 12534 (runsolver) R 12532 12534 12455 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 59618765 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 215418989863 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12534/statm: 4644 284 249 26 0 2626 0

[startup+0.0109609 s]
/proc/loadavg: 2.01 1.99 1.99 4/81 12534
/proc/meminfo: memFree=1609340/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=5356 CPUtime=0
/proc/12534/stat : 12534 (pcssolve) S 12532 12534 12455 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 59618765 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12534/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101968 s]
/proc/loadavg: 2.01 1.99 1.99 4/81 12534
/proc/meminfo: memFree=1609340/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=4968 CPUtime=0.06
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 938 822 0 0 6 0 0 0 18 0 1 0 59618765 5087232 547 996147200 134512640 135095119 4294956304 18446744073709551615 134705531 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 1242 547 373 142 0 196 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4968

[startup+0.301989 s]
/proc/loadavg: 2.01 1.99 1.99 4/81 12534
/proc/meminfo: memFree=1609340/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=5556 CPUtime=0.26
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 1104 822 0 0 26 0 0 0 19 0 1 0 59618765 5689344 680 996147200 134512640 135095119 4294956304 18446744073709551615 134852173 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 1389 680 392 142 0 343 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 5556

[startup+0.701033 s]
/proc/loadavg: 2.01 1.99 1.99 4/81 12534
/proc/meminfo: memFree=1609340/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=5556 CPUtime=0.66
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 1106 822 0 0 66 0 0 0 23 0 1 0 59618765 5689344 682 996147200 134512640 135095119 4294956304 18446744073709551615 9129570 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 1389 682 392 142 0 343 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 5556

[startup+1.50112 s]
/proc/loadavg: 2.01 1.99 1.99 3/82 12540
/proc/meminfo: memFree=1607988/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=5556 CPUtime=1.45
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 1124 822 0 0 145 0 0 0 25 0 1 0 59618765 5689344 700 996147200 134512640 135095119 4294956304 18446744073709551615 134852267 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 1389 700 392 142 0 343 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 5556

[startup+3.1013 s]
/proc/loadavg: 2.01 1.99 1.99 4/82 12540
/proc/meminfo: memFree=1607668/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=5816 CPUtime=3.04
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 1211 822 0 0 304 0 0 0 25 0 1 0 59618765 5955584 754 996147200 134512640 135095119 4294956304 18446744073709551615 134861755 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 1454 754 392 142 0 408 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 5816

[startup+6.30166 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 12540
/proc/meminfo: memFree=1607092/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=7240 CPUtime=6.22
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 1633 822 0 0 621 1 0 0 25 0 1 0 59618765 7413760 1046 996147200 134512640 135095119 4294956304 18446744073709551615 9095058 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 1810 1046 392 142 0 764 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 7240

[startup+12.7014 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 12540
/proc/meminfo: memFree=1605300/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=8392 CPUtime=12.55
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 2086 822 0 0 1254 1 0 0 25 0 1 0 59618765 8593408 1370 996147200 134512640 135095119 4294956304 18446744073709551615 4159347470 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 2098 1370 392 142 0 1052 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 8392

[startup+25.5018 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 12540
/proc/meminfo: memFree=1601396/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=12532 CPUtime=25.22
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 3424 822 0 0 2521 1 0 0 25 0 1 0 59618765 12832768 2322 996147200 134512640 135095119 4294956304 18446744073709551615 9129566 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 3133 2322 392 142 0 2087 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 12532

[startup+51.1017 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 12540
/proc/meminfo: memFree=1594740/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=20292 CPUtime=50.59
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 5852 822 0 0 5056 3 0 0 25 0 1 0 59618765 20779008 3980 996147200 134512640 135095119 4294956304 18446744073709551615 134867662 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 5073 3980 392 142 0 4027 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 20292

[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 12540
/proc/meminfo: memFree=1578804/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=37880 CPUtime=101.32
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 11337 822 0 0 10126 6 0 0 25 0 1 0 59618765 38789120 7927 996147200 134512640 135095119 4294956304 18446744073709551615 9129607 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 9470 7927 392 142 0 8424 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 37880

[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 12540
/proc/meminfo: memFree=1567412/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=52984 CPUtime=160.74
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 16251 822 0 0 16064 10 0 0 25 0 1 0 59618765 54255616 10792 996147200 134512640 135095119 4294956304 18446744073709551615 9129566 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 13246 10792 392 142 0 12200 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 52984

[startup+222.302 s]
/proc/loadavg: 2.04 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1543156/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=76948 CPUtime=220.18
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 23292 822 0 0 22003 15 0 0 25 0 1 0 59618765 78794752 16808 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 19237 16808 392 142 0 18191 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 76948

[startup+282.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1538932/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=93332 CPUtime=279.62
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 28439 822 0 0 27944 18 0 0 25 0 1 0 59618765 95571968 17858 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 23333 17858 392 142 0 22287 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 93332

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1524404/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=102932 CPUtime=339.05
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 32053 822 0 0 33883 22 0 0 25 0 1 0 59618765 105402368 21472 996147200 134512640 135095119 4294956304 18446744073709551615 134848884 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 25733 21472 392 142 0 24687 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 102932

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1509556/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=113300 CPUtime=398.49
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 35780 822 0 0 39821 28 0 0 25 0 1 0 59618765 116019200 25199 996147200 134512640 135095119 4294956304 18446744073709551615 134855354 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 28325 25199 392 142 0 27279 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 113300

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1470580/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=156296 CPUtime=457.92
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 47514 822 0 0 45757 35 0 0 25 0 1 0 59618765 160047104 34884 996147200 134512640 135095119 4294956304 18446744073709551615 134617019 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 39074 34884 392 142 0 38028 0
Current children cumulated CPU time (s) 457.92
Current children cumulated vsize (KiB) 156296

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1467252/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=156296 CPUtime=517.36
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 48392 822 0 0 51700 36 0 0 25 0 1 0 59618765 160047104 35762 996147200 134512640 135095119 4294956304 18446744073709551615 134637936 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 39074 35762 392 142 0 38028 0
Current children cumulated CPU time (s) 517.36
Current children cumulated vsize (KiB) 156296

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1463668/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=156296 CPUtime=576.79
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 49265 822 0 0 57642 37 0 0 25 0 1 0 59618765 160047104 36635 996147200 134512640 135095119 4294956304 18446744073709551615 134617866 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 39074 36635 392 142 0 38028 0
Current children cumulated CPU time (s) 576.79
Current children cumulated vsize (KiB) 156296

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1460148/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=189064 CPUtime=636.23
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 58308 822 0 0 63580 43 0 0 25 0 1 0 59618765 193601536 37485 996147200 134512640 135095119 4294956304 18446744073709551615 9129570 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 47266 37485 392 142 0 46220 0
Current children cumulated CPU time (s) 636.23
Current children cumulated vsize (KiB) 189064

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1429876/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=208916 CPUtime=814.55
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 65844 822 0 0 81401 54 0 0 25 0 1 0 59618765 213929984 45021 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 52229 45021 392 142 0 51183 0
Current children cumulated CPU time (s) 814.55
Current children cumulated vsize (KiB) 208916

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1419636/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=215960 CPUtime=873.97
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 68376 822 0 0 87340 57 0 0 25 0 1 0 59618765 221143040 47553 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 53990 47553 392 142 0 52944 0
Current children cumulated CPU time (s) 873.97
Current children cumulated vsize (KiB) 215960

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1409908/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=222880 CPUtime=933.42
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 70832 822 0 0 93281 61 0 0 25 0 1 0 59618765 228229120 50009 996147200 134512640 135095119 4294956304 18446744073709551615 134617308 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 55720 50009 392 142 0 54674 0
Current children cumulated CPU time (s) 933.42
Current children cumulated vsize (KiB) 222880

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1399796/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=229792 CPUtime=992.84
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 73321 822 0 0 99220 64 0 0 25 0 1 0 59618765 235307008 52498 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 57448 52498 392 142 0 56402 0
Current children cumulated CPU time (s) 992.84
Current children cumulated vsize (KiB) 229792

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 12540
/proc/meminfo: memFree=1390068/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=236704 CPUtime=1052.29
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 75772 822 0 0 105160 69 0 0 25 0 1 0 59618765 242384896 54949 996147200 134512640 135095119 4294956304 18446744073709551615 4159336992 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 59176 54949 392 142 0 58130 0
Current children cumulated CPU time (s) 1052.29
Current children cumulated vsize (KiB) 236704

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 12540
/proc/meminfo: memFree=1323060/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=317292 CPUtime=1111.73
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 96544 822 0 0 111094 79 0 0 25 0 1 0 59618765 324907008 71624 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 79323 71624 392 142 0 78277 0
Current children cumulated CPU time (s) 1111.73
Current children cumulated vsize (KiB) 317292

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/82 12540
/proc/meminfo: memFree=1320692/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=317292 CPUtime=1171.16
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 97166 822 0 0 117037 79 0 0 25 0 1 0 59618765 324907008 72246 996147200 134512640 135095119 4294956304 18446744073709551615 134858555 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 79323 72246 392 142 0 78277 0
Current children cumulated CPU time (s) 1171.16
Current children cumulated vsize (KiB) 317292

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1317300/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=317292 CPUtime=1230.6
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 98011 822 0 0 122980 80 0 0 25 0 1 0 59618765 324907008 73091 996147200 134512640 135095119 4294956304 18446744073709551615 134861804 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 79323 73091 392 142 0 78277 0
Current children cumulated CPU time (s) 1230.6
Current children cumulated vsize (KiB) 317292

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1314228/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=317292 CPUtime=1290.04
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 98749 822 0 0 128923 81 0 0 25 0 1 0 59618765 324907008 73829 996147200 134512640 135095119 4294956304 18446744073709551615 4159337007 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 79323 73829 392 142 0 78277 0
Current children cumulated CPU time (s) 1290.04
Current children cumulated vsize (KiB) 317292

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 12540
/proc/meminfo: memFree=1311156/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=317292 CPUtime=1349.47
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 99504 822 0 0 134865 82 0 0 25 0 1 0 59618765 324907008 74584 996147200 134512640 135095119 4294956304 18446744073709551615 9129570 0 0 4096 0 0 0 0 17 1 0 0
/proc/12534/statm: 79323 74584 392 142 0 78277 0
Current children cumulated CPU time (s) 1349.47
Current children cumulated vsize (KiB) 317292

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12679
/proc/meminfo: memFree=1340676/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=317292 CPUtime=1408.96
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 100345 822 0 0 140812 84 0 0 25 0 1 0 59618765 324907008 75425 996147200 134512640 135095119 4294956304 18446744073709551615 4159346063 0 0 4096 0 0 0 0 17 0 0 0
/proc/12534/statm: 79323 75425 392 142 0 78277 0
Current children cumulated CPU time (s) 1408.96
Current children cumulated vsize (KiB) 317292

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12679
/proc/meminfo: memFree=1185668/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=317292 CPUtime=1468.93
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 101332 822 0 0 146806 87 0 0 25 0 1 0 59618765 324907008 76412 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 0 0 0
/proc/12534/statm: 79323 76412 392 142 0 78277 0
Current children cumulated CPU time (s) 1468.93
Current children cumulated vsize (KiB) 317292

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12679
/proc/meminfo: memFree=1045956/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=317292 CPUtime=1528.91
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 101886 822 0 0 152804 87 0 0 25 0 1 0 59618765 324907008 76966 996147200 134512640 135095119 4294956304 18446744073709551615 134555070 0 0 4096 0 0 0 0 17 0 0 0
/proc/12534/statm: 79323 76966 392 142 0 78277 0
Current children cumulated CPU time (s) 1528.91
Current children cumulated vsize (KiB) 317292

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12681
/proc/meminfo: memFree=897732/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=317292 CPUtime=1588.88
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 102071 822 0 0 158801 87 0 0 25 0 1 0 59618765 324907008 77151 996147200 134512640 135095119 4294956304 18446744073709551615 9129607 0 0 4096 0 0 0 0 17 0 0 0
/proc/12534/statm: 79323 77151 392 142 0 78277 0
Current children cumulated CPU time (s) 1588.88
Current children cumulated vsize (KiB) 317292

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12681
/proc/meminfo: memFree=738436/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=382828 CPUtime=1648.86
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 119114 822 0 0 164791 95 0 0 25 0 1 0 59618765 392015872 77809 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/12534/statm: 95707 77809 392 142 0 94661 0
Current children cumulated CPU time (s) 1648.86
Current children cumulated vsize (KiB) 382828

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12681
/proc/meminfo: memFree=570692/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=389484 CPUtime=1708.84
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 121552 822 0 0 170785 99 0 0 25 0 1 0 59618765 398831616 80247 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12534/statm: 97371 80247 392 142 0 96325 0
Current children cumulated CPU time (s) 1708.84
Current children cumulated vsize (KiB) 389484

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 12681
/proc/meminfo: memFree=415364/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=396660 CPUtime=1768.81
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 124101 822 0 0 176779 102 0 0 25 0 1 0 59618765 406179840 82796 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12534/statm: 99165 82796 392 142 0 98119 0
Current children cumulated CPU time (s) 1768.81
Current children cumulated vsize (KiB) 396660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 12714
/proc/meminfo: memFree=1207812/2055920 swapFree=4192812/4192956
[pid=12534] ppid=12532 vsize=400248 CPUtime=1800.1
/proc/12534/stat : 12534 (pcs.small) R 12532 12534 12455 0 -1 4194304 125370 822 0 0 179903 107 0 0 25 0 1 0 59618765 409853952 84065 996147200 134512640 135095119 4294956304 18446744073709551615 9129599 0 0 4096 0 0 0 0 17 0 0 0
/proc/12534/statm: 100062 84065 392 142 0 99016 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 400248

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): 1813.66
CPU time (s): 1800.18
CPU user time (s): 1799.04
CPU system time (s): 1.13783
CPU usage (%): 99.2564
Max. virtual memory (cumulated for all children) (KiB): 448368

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

runsolver used 2.29765 second user time and 5.9451 second system time

The end

Launcher Data 

Begin job on node9 at 2009-07-16 08:25:16
IDJOB=2085222
IDBENCH=58321
IDSOLVER=733
FILE ID=node9/2085222-1247725516
PBS_JOBID= 9521576
Free space on /tmp= 66376 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/graphColoring/sgb/queen/normalized-queen14-14-15.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2085222-1247725516/watcher-2085222-1247725516 -o /tmp/evaluation-result-2085222-1247725516/solver-2085222-1247725516 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1572581246 HOME/instance-2085222-1247725516.xml

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

MD5SUM BENCH= 042d592851d0f5948e182914f62527ff
RANDOM SEED=1572581246

node9.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	: 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.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:       1609820 kB
Buffers:         77020 kB
Cached:         243736 kB
SwapCached:          0 kB
Active:          94616 kB
Inactive:       281684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1609820 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2660 kB
Writeback:           0 kB
Mapped:          75988 kB
Slab:            54796 kB
Committed_AS:   595076 kB
PageTables:       1928 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 node9 at 2009-07-16 08:55:32