Trace number 2085267

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.12 1809.37

General information on the benchmark

Namecsp/graphColoring/sgb/queen/
normalized-queen15-15-17.xml
MD5SUM573670be21826232d8e7fcd0958ee593
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 variables225
Number of constraints5180
Maximum constraint arity2
Maximum domain size17
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5180
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.08/0.16	c Seed is 131341799
0.08/0.16	c Constructing HOME/instance-2085267-1247725594.xml 
0.08/0.16	c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V0)
0.08/0.16	c deduced all_different(V0,V1,V16,V15)
0.08/0.16	c deduced all_different(V1,V2,V3,V17)
0.08/0.16	c deduced all_different(V2,V3,V4,V18)
0.08/0.16	c deduced all_different(V3,V4,V5,V19)
0.08/0.16	c deduced all_different(V4,V5,V6,V20)
0.08/0.16	c deduced all_different(V5,V6,V7,V21)
0.08/0.16	c deduced all_different(V6,V7,V8,V22)
0.08/0.16	c deduced all_different(V7,V8,V9,V23)
0.08/0.16	c deduced all_different(V8,V9,V10,V24)
0.08/0.16	c deduced all_different(V9,V10,V11,V25)
0.08/0.16	c deduced all_different(V10,V11,V12,V26)
0.08/0.16	c deduced all_different(V11,V12,V13,V27)
0.08/0.16	c deduced all_different(V12,V13,V14,V28)
0.08/0.16	c deduced all_different(V13,V14,V28,V29)
0.08/0.16	c deduced all_different(V0,V2,V16,V32,V30)
0.08/0.16	c deduced all_different(V1,V3,V17,V33,V31)
0.08/0.16	c deduced all_different(V2,V4,V6,V34)
0.08/0.16	c deduced all_different(V3,V5,V7,V35)
0.08/0.16	c deduced all_different(V4,V6,V8,V36)
0.08/0.16	c deduced all_different(V5,V7,V9,V37)
0.08/0.16	c deduced all_different(V6,V8,V10,V38)
0.08/0.16	c deduced all_different(V7,V9,V11,V39)
0.08/0.16	c deduced all_different(V8,V10,V12,V40)
0.08/0.16	c deduced all_different(V9,V11,V13,V41)
0.08/0.16	c deduced all_different(V10,V12,V14,V42)
0.08/0.16	c deduced all_different(V11,V13,V27,V41,V43)
0.08/0.16	c deduced all_different(V12,V14,V28,V42,V44)
0.08/0.16	c deduced all_different(V0,V3,V48,V45)
0.08/0.16	c deduced all_different(V1,V4,V49,V46)
0.08/0.16	c deduced all_different(V2,V5,V50,V47)
0.08/0.16	c deduced all_different(V3,V6,V9,V51)
0.08/0.16	c deduced all_different(V4,V7,V10,V52)
0.08/0.16	c deduced all_different(V5,V8,V11,V53)
0.08/0.16	c deduced all_different(V6,V9,V12,V54)
0.08/0.16	c deduced all_different(V7,V10,V13,V55)
0.08/0.16	c deduced all_different(V8,V11,V14,V56)
0.08/0.16	c deduced all_different(V9,V12,V54,V57)
0.08/0.16	c deduced all_different(V10,V13,V55,V58)
0.08/0.16	c deduced all_different(V11,V14,V56,V59)
0.08/0.16	c deduced all_different(V0,V4,V32,V64,V60)
0.08/0.16	c deduced all_different(V1,V5,V33,V65,V61)
0.08/0.16	c deduced all_different(V2,V6,V34,V66,V62)
0.08/0.16	c deduced all_different(V3,V7,V35,V67,V63)
0.08/0.16	c deduced all_different(V4,V8,V12,V68)
0.08/0.16	c deduced all_different(V5,V9,V13,V69)
0.08/0.16	c deduced all_different(V6,V10,V14,V70)
0.08/0.16	c deduced all_different(V7,V11,V39,V67,V71)
0.08/0.16	c deduced all_different(V8,V12,V40,V68,V72)
0.08/0.16	c deduced all_different(V9,V13,V41,V69,V73)
0.08/0.16	c deduced all_different(V10,V14,V42,V70,V74)
0.08/0.16	c deduced all_different(V0,V5,V80,V75)
0.08/0.16	c deduced all_different(V1,V6,V81,V76)
0.08/0.16	c deduced all_different(V2,V7,V82,V77)
0.08/0.16	c deduced all_different(V3,V8,V83,V78)
0.08/0.16	c deduced all_different(V4,V9,V84,V79)
0.08/0.16	c deduced all_different(V5,V10,V80,V85)
0.08/0.16	c deduced all_different(V6,V11,V81,V86)
0.08/0.16	c deduced all_different(V7,V12,V82,V87)
0.08/0.16	c deduced all_different(V8,V13,V83,V88)
0.08/0.16	c deduced all_different(V9,V14,V84,V89)
0.08/0.16	c deduced all_different(V0,V6,V48,V96,V90)
0.08/0.16	c deduced all_different(V1,V7,V49,V97,V91)
0.08/0.16	c deduced all_different(V2,V8,V50,V98,V92)
0.08/0.16	c deduced all_different(V3,V9,V51,V99,V93)
0.08/0.16	c deduced all_different(V4,V10,V52,V100,V94)
0.08/0.16	c deduced all_different(V5,V11,V53,V101,V95)
0.08/0.16	c deduced all_different(V6,V12,V54,V96,V102)
0.08/0.16	c deduced all_different(V7,V13,V55,V97,V103)
0.08/0.16	c deduced all_different(V8,V14,V56,V98,V104)
0.08/0.16	c deduced all_different(V0,V7,V112,V105)
0.08/0.16	c deduced all_different(V1,V8,V113,V106)
0.08/0.16	c deduced all_different(V2,V9,V114,V107)
0.08/0.16	c deduced all_different(V3,V10,V115,V108)
0.08/0.16	c deduced all_different(V4,V11,V116,V109)
0.08/0.16	c deduced all_different(V5,V12,V117,V110)
0.08/0.16	c deduced all_different(V6,V13,V118,V111)
0.08/0.16	c deduced all_different(V7,V14,V112,V119)
0.08/0.16	c deduced all_different(V0,V8,V64,V128,V120)
0.08/0.16	c deduced all_different(V1,V9,V65,V129,V121)
0.08/0.16	c deduced all_different(V2,V10,V66,V130,V122)
0.08/0.16	c deduced all_different(V3,V11,V67,V131,V123)
0.08/0.16	c deduced all_different(V4,V12,V68,V132,V124)
0.08/0.16	c deduced all_different(V5,V13,V69,V133,V125)
0.08/0.16	c deduced all_different(V6,V14,V70,V134,V126)
0.08/0.16	c deduced all_different(V7,V22,V37,V52,V67,V82,V97,V112,V142,V157,V172,V187,V202,V217,V127)
0.08/0.16	c deduced all_different(V0,V9,V144,V135)
0.08/0.16	c deduced all_different(V1,V10,V145,V136)
0.08/0.16	c deduced all_different(V2,V11,V146,V137)
0.08/0.16	c deduced all_different(V3,V12,V147,V138)
0.08/0.16	c deduced all_different(V4,V13,V148,V139)
0.08/0.16	c deduced all_different(V5,V14,V149,V140)
0.08/0.16	c deduced all_different(V6,V21,V36,V51,V66,V81,V96,V111,V126,V156,V171,V186,V201,V216,V141)
0.08/0.16	c deduced all_different(V8,V23,V38,V53,V68,V83,V98,V113,V128,V158,V173,V188,V203,V218,V143)
0.08/0.16	c deduced all_different(V0,V10,V80,V160,V150)
0.08/0.17	c deduced all_different(V1,V11,V81,V161,V151)
0.08/0.17	c deduced all_different(V2,V12,V82,V162,V152)
0.08/0.17	c deduced all_different(V3,V13,V83,V163,V153)
0.08/0.17	c deduced all_different(V4,V14,V84,V164,V154)
0.08/0.17	c deduced all_different(V5,V20,V35,V50,V65,V80,V95,V110,V125,V140,V170,V185,V200,V215,V155)
0.08/0.17	c deduced all_different(V9,V24,V39,V54,V69,V84,V99,V114,V129,V144,V174,V189,V204,V219,V159)
0.08/0.17	c deduced all_different(V0,V11,V176,V165)
0.08/0.17	c deduced all_different(V1,V12,V177,V166)
0.08/0.17	c deduced all_different(V2,V13,V178,V167)
0.08/0.17	c deduced all_different(V3,V14,V179,V168)
0.08/0.17	c deduced all_different(V4,V19,V34,V49,V64,V79,V94,V109,V124,V139,V154,V184,V199,V214,V169)
0.08/0.17	c deduced all_different(V10,V25,V40,V55,V70,V85,V100,V115,V130,V145,V160,V190,V205,V220,V175)
0.08/0.17	c deduced all_different(V0,V12,V96,V192,V180)
0.08/0.17	c deduced all_different(V1,V13,V97,V193,V181)
0.08/0.17	c deduced all_different(V2,V14,V98,V194,V182)
0.08/0.17	c deduced all_different(V3,V18,V33,V48,V63,V78,V93,V108,V123,V138,V153,V168,V198,V213,V183)
0.08/0.17	c deduced all_different(V11,V26,V41,V56,V71,V86,V101,V116,V131,V146,V161,V176,V206,V221,V191)
0.08/0.17	c deduced all_different(V0,V13,V208,V195)
0.08/0.17	c deduced all_different(V1,V14,V209,V196)
0.08/0.17	c deduced all_different(V2,V17,V32,V47,V62,V77,V92,V107,V122,V137,V152,V167,V182,V212,V197)
0.08/0.17	c deduced all_different(V12,V27,V42,V57,V72,V87,V102,V117,V132,V147,V162,V177,V192,V222,V207)
0.08/0.17	c deduced all_different(V0,V14,V112,V224,V210)
0.08/0.17	c deduced all_different(V1,V16,V31,V46,V61,V76,V91,V106,V121,V136,V151,V166,V181,V196,V211)
0.08/0.17	c deduced all_different(V13,V28,V43,V58,V73,V88,V103,V118,V133,V148,V163,V178,V193,V208,V223)
0.08/0.17	c  with 5299 constraints
0.08/0.17	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-2085267-1247725594/watcher-2085267-1247725594 -o /tmp/evaluation-result-2085267-1247725594/solver-2085267-1247725594 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 131341799 HOME/instance-2085267-1247725594.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.80 1.96 1.98 4/82 15954
/proc/meminfo: memFree=1480832/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=5356 CPUtime=0
/proc/15954/stat : 15954 (pcssolve) S 15952 15954 15811 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 59624653 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240153846596 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15954/statm: 1339 242 201 169 0 50 0
[pid=15955] ppid=15954 vsize=5356 CPUtime=0
/proc/15955/stat : 15955 (pcssolve) R 15954 15954 15811 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 59624653 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 240153849127 0 0 4096 0 0 0 0 17 1 0 0
/proc/15955/statm: 1339 243 202 169 0 50 0
[pid=15956] ppid=15954 vsize=3544 CPUtime=0
/proc/15956/stat : 15956 (grep) R 15954 15954 15811 0 -1 4194304 73 0 0 0 0 0 0 0 20 0 1 0 59624653 3629056 41 996147200 4194304 4274172 548682069040 18446744073709551615 240153379739 0 0 4096 0 0 0 0 17 0 0 0
/proc/15956/statm: 886 41 26 19 0 10 0

[startup+0.0236369 s]
/proc/loadavg: 1.80 1.96 1.98 4/82 15954
/proc/meminfo: memFree=1480832/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=4376 CPUtime=0
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 820 822 0 0 0 0 0 0 18 0 1 0 59624653 4481024 429 996147200 134512640 135095119 4294956304 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 1094 429 373 142 0 48 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4376

[startup+0.101653 s]
/proc/loadavg: 1.80 1.96 1.98 4/82 15954
/proc/meminfo: memFree=1480832/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=4972 CPUtime=0.08
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 954 822 0 0 8 0 0 0 18 0 1 0 59624653 5091328 563 996147200 134512640 135095119 4294956304 18446744073709551615 134739360 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 1243 563 373 142 0 197 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4972

[startup+0.301688 s]
/proc/loadavg: 1.80 1.96 1.98 4/82 15954
/proc/meminfo: memFree=1480832/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=5664 CPUtime=0.28
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 1143 822 0 0 28 0 0 0 19 0 1 0 59624653 5799936 719 996147200 134512640 135095119 4294956304 18446744073709551615 134858560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 1416 719 391 142 0 370 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5664

[startup+0.701765 s]
/proc/loadavg: 1.80 1.96 1.98 4/82 15954
/proc/meminfo: memFree=1480832/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=5664 CPUtime=0.68
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 1144 822 0 0 68 0 0 0 23 0 1 0 59624653 5799936 720 996147200 134512640 135095119 4294956304 18446744073709551615 134554989 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 1416 720 391 142 0 370 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5664

[startup+1.50192 s]
/proc/loadavg: 1.80 1.96 1.98 3/83 15960
/proc/meminfo: memFree=1479352/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=5664 CPUtime=1.47
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 1157 822 0 0 147 0 0 0 25 0 1 0 59624653 5799936 733 996147200 134512640 135095119 4294956304 18446744073709551615 6811176 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 1416 733 391 142 0 370 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5664

[startup+3.10122 s]
/proc/loadavg: 1.80 1.96 1.98 3/83 15960
/proc/meminfo: memFree=1479096/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=5924 CPUtime=3.06
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 1240 822 0 0 306 0 0 0 25 0 1 0 59624653 6066176 783 996147200 134512640 135095119 4294956304 18446744073709551615 4159337028 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 1481 783 391 142 0 435 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 5924

[startup+6.30184 s]
/proc/loadavg: 1.81 1.96 1.98 3/83 15960
/proc/meminfo: memFree=1478200/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=6832 CPUtime=6.25
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 1550 822 0 0 624 1 0 0 25 0 1 0 59624653 6995968 963 996147200 134512640 135095119 4294956304 18446744073709551615 6844002 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 1708 963 391 142 0 662 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 6832

[startup+12.7021 s]
/proc/loadavg: 1.83 1.96 1.98 3/83 15960
/proc/meminfo: memFree=1476928/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=8368 CPUtime=12.62
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 2052 822 0 0 1261 1 0 0 25 0 1 0 59624653 8568832 1336 996147200 134512640 135095119 4294956304 18446744073709551615 6495348 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 2092 1336 391 142 0 1046 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 8368

[startup+25.5015 s]
/proc/loadavg: 1.86 1.96 1.98 3/83 15960
/proc/meminfo: memFree=1472960/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=12500 CPUtime=25.35
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 3444 822 0 0 2533 2 0 0 25 0 1 0 59624653 12800000 2342 996147200 134512640 135095119 4294956304 18446744073709551615 6844038 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 3125 2342 391 142 0 2079 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 12500

[startup+51.1014 s]
/proc/loadavg: 1.91 1.96 1.98 3/83 15960
/proc/meminfo: memFree=1466432/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=19868 CPUtime=50.81
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 5847 822 0 0 5078 3 0 0 25 0 1 0 59624653 20344832 3975 996147200 134512640 135095119 4294956304 18446744073709551615 134867383 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 4967 3975 391 142 0 3921 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 19868

[startup+102.306 s]
/proc/loadavg: 1.96 1.97 1.98 4/83 15960
/proc/meminfo: memFree=1449984/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=37460 CPUtime=101.76
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 11421 822 0 0 10169 7 0 0 25 0 1 0 59624653 38359040 8011 996147200 134512640 135095119 4294956304 18446744073709551615 134857685 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 9365 8011 391 142 0 8319 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 37460

[startup+162.302 s]
/proc/loadavg: 1.98 1.97 1.98 3/83 15960
/proc/meminfo: memFree=1437824/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=53204 CPUtime=161.45
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 16542 822 0 0 16134 11 0 0 25 0 1 0 59624653 54480896 11083 996147200 134512640 135095119 4294956304 18446744073709551615 134875774 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 13301 11083 391 142 0 12255 0
Current children cumulated CPU time (s) 161.45
Current children cumulated vsize (KiB) 53204

[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 15960
/proc/meminfo: memFree=1418560/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=72388 CPUtime=221.15
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 22335 822 0 0 22100 15 0 0 25 0 1 0 59624653 74125312 15851 996147200 134512640 135095119 4294956304 18446744073709551615 134681021 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 18097 15851 391 142 0 17051 0
Current children cumulated CPU time (s) 221.15
Current children cumulated vsize (KiB) 72388

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 15960
/proc/meminfo: memFree=1411520/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=91332 CPUtime=280.86
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 28212 822 0 0 28067 19 0 0 25 0 1 0 59624653 93523968 17631 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 22833 17631 391 142 0 21787 0
Current children cumulated CPU time (s) 280.86
Current children cumulated vsize (KiB) 91332

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 15960
/proc/meminfo: memFree=1396928/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=101068 CPUtime=340.55
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 31807 822 0 0 34032 23 0 0 25 0 1 0 59624653 103493632 21226 996147200 134512640 135095119 4294956304 18446744073709551615 6807704 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 25267 21226 391 142 0 24221 0
Current children cumulated CPU time (s) 340.55
Current children cumulated vsize (KiB) 101068

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 15960
/proc/meminfo: memFree=1383552/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=110156 CPUtime=400.25
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 35206 822 0 0 39997 28 0 0 25 0 1 0 59624653 112799744 24625 996147200 134512640 135095119 4294956304 18446744073709551615 134616996 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 27539 24625 391 142 0 26493 0
Current children cumulated CPU time (s) 400.25
Current children cumulated vsize (KiB) 110156

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 15960
/proc/meminfo: memFree=1352128/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=145756 CPUtime=459.95
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 45051 822 0 0 45961 34 0 0 25 0 1 0 59624653 149254144 32421 996147200 134512640 135095119 4294956304 18446744073709551615 6811999 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 36439 32421 391 142 0 35393 0
Current children cumulated CPU time (s) 459.95
Current children cumulated vsize (KiB) 145756

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 15960
/proc/meminfo: memFree=1348416/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=145756 CPUtime=519.64
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 45996 822 0 0 51929 35 0 0 25 0 1 0 59624653 149254144 33366 996147200 134512640 135095119 4294956304 18446744073709551615 6811132 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 36439 33366 391 142 0 35393 0
Current children cumulated CPU time (s) 519.64
Current children cumulated vsize (KiB) 145756

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 15960
/proc/meminfo: memFree=1344576/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=145756 CPUtime=579.34
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 46948 822 0 0 57897 37 0 0 25 0 1 0 59624653 149254144 34318 996147200 134512640 135095119 4294956304 18446744073709551615 134571098 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 36439 34318 391 142 0 35393 0
Current children cumulated CPU time (s) 579.34
Current children cumulated vsize (KiB) 145756

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.98 3/83 15960
/proc/meminfo: memFree=1332672/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=186588 CPUtime=639.05

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

[startup+882.301 s]
/proc/loadavg: 2.02 1.99 1.99 3/83 16003
/proc/meminfo: memFree=1275008/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=220276 CPUtime=877.69
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 70280 822 0 0 87707 62 0 0 25 0 1 0 59624653 225562624 49457 996147200 134512640 135095119 4294956304 18446744073709551615 6843998 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 55069 49457 391 142 0 54023 0
Current children cumulated CPU time (s) 877.69
Current children cumulated vsize (KiB) 220276

[startup+942.303 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16003
/proc/meminfo: memFree=1262976/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=228724 CPUtime=937.39
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 73282 822 0 0 93673 66 0 0 25 0 1 0 59624653 234213376 52459 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 57181 52459 391 142 0 56135 0
Current children cumulated CPU time (s) 937.39
Current children cumulated vsize (KiB) 228724

[startup+1002.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16003
/proc/meminfo: memFree=1197888/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=306648 CPUtime=997.08
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 93574 822 0 0 99633 75 0 0 25 0 1 0 59624653 314007552 68654 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 76662 68654 391 142 0 75616 0
Current children cumulated CPU time (s) 997.08
Current children cumulated vsize (KiB) 306648

[startup+1062.3 s]
/proc/loadavg: 2.00 1.99 1.99 4/83 16003
/proc/meminfo: memFree=1195136/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=306648 CPUtime=1056.79
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 94273 822 0 0 105602 77 0 0 25 0 1 0 59624653 314007552 69353 996147200 134512640 135095119 4294956304 18446744073709551615 134589536 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 76662 69353 391 142 0 75616 0
Current children cumulated CPU time (s) 1056.79
Current children cumulated vsize (KiB) 306648

[startup+1122.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16003
/proc/meminfo: memFree=1192192/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=306648 CPUtime=1116.48
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 94983 822 0 0 111570 78 0 0 25 0 1 0 59624653 314007552 70063 996147200 134512640 135095119 4294956304 18446744073709551615 6844038 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 76662 70063 391 142 0 75616 0
Current children cumulated CPU time (s) 1116.48
Current children cumulated vsize (KiB) 306648

[startup+1182.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16003
/proc/meminfo: memFree=1189376/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=306648 CPUtime=1176.18
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 95691 822 0 0 117539 79 0 0 25 0 1 0 59624653 314007552 70771 996147200 134512640 135095119 4294956304 18446744073709551615 134617856 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 76662 70771 391 142 0 75616 0
Current children cumulated CPU time (s) 1176.18
Current children cumulated vsize (KiB) 306648

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16003
/proc/meminfo: memFree=1186240/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=306648 CPUtime=1235.88
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 96454 822 0 0 123508 80 0 0 25 0 1 0 59624653 314007552 71534 996147200 134512640 135095119 4294956304 18446744073709551615 6844031 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 76662 71534 391 142 0 75616 0
Current children cumulated CPU time (s) 1235.88
Current children cumulated vsize (KiB) 306648

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16003
/proc/meminfo: memFree=1182848/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=306648 CPUtime=1295.57
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 97300 822 0 0 129477 80 0 0 25 0 1 0 59624653 314007552 72380 996147200 134512640 135095119 4294956304 18446744073709551615 6808885 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 76662 72380 391 142 0 75616 0
Current children cumulated CPU time (s) 1295.57
Current children cumulated vsize (KiB) 306648

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16003
/proc/meminfo: memFree=1179456/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=372184 CPUtime=1355.28
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 114496 822 0 0 135438 90 0 0 25 0 1 0 59624653 381116416 73191 996147200 134512640 135095119 4294956304 18446744073709551615 6811280 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 93046 73191 391 142 0 92000 0
Current children cumulated CPU time (s) 1355.28
Current children cumulated vsize (KiB) 372184

[startup+1422.31 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16003
/proc/meminfo: memFree=1176256/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=372184 CPUtime=1414.98
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 115291 822 0 0 141407 91 0 0 25 0 1 0 59624653 381116416 73986 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 93046 73986 391 142 0 92000 0
Current children cumulated CPU time (s) 1414.98
Current children cumulated vsize (KiB) 372184

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16003
/proc/meminfo: memFree=1170432/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=375000 CPUtime=1474.67
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 116774 822 0 0 147374 93 0 0 25 0 1 0 59624653 384000000 75469 996147200 134512640 135095119 4294956304 18446744073709551615 134854580 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 93750 75469 391 142 0 92704 0
Current children cumulated CPU time (s) 1474.67
Current children cumulated vsize (KiB) 375000

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16005
/proc/meminfo: memFree=1159808/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=382300 CPUtime=1534.36
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 119402 822 0 0 153339 97 0 0 25 0 1 0 59624653 391475200 78097 996147200 134512640 135095119 4294956304 18446744073709551615 134643006 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 95575 78097 391 142 0 94529 0
Current children cumulated CPU time (s) 1534.36
Current children cumulated vsize (KiB) 382300

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16005
/proc/meminfo: memFree=1149504/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=389608 CPUtime=1594.07
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 121995 822 0 0 159306 101 0 0 25 0 1 0 59624653 398958592 80690 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 97402 80690 391 142 0 96356 0
Current children cumulated CPU time (s) 1594.07
Current children cumulated vsize (KiB) 389608

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16005
/proc/meminfo: memFree=1139584/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=396392 CPUtime=1653.76
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 124459 822 0 0 165272 104 0 0 25 0 1 0 59624653 405905408 83154 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 99098 83154 391 142 0 98052 0
Current children cumulated CPU time (s) 1653.76
Current children cumulated vsize (KiB) 396392

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16005
/proc/meminfo: memFree=1129472/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=403564 CPUtime=1713.46
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 127016 822 0 0 171239 107 0 0 25 0 1 0 59624653 413249536 85711 996147200 134512640 135095119 4294956304 18446744073709551615 134862130 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 100891 85711 391 142 0 99845 0
Current children cumulated CPU time (s) 1713.46
Current children cumulated vsize (KiB) 403564

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16005
/proc/meminfo: memFree=1119744/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=410096 CPUtime=1773.16
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 129411 822 0 0 177205 111 0 0 25 0 1 0 59624653 419938304 88106 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 102524 88106 391 142 0 101478 0
Current children cumulated CPU time (s) 1773.16
Current children cumulated vsize (KiB) 410096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16005
/proc/meminfo: memFree=1115648/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=412784 CPUtime=1800.04
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 130426 822 0 0 179891 113 0 0 25 0 1 0 59624653 422690816 89121 996147200 134512640 135095119 4294956304 18446744073709551615 4158960618 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 103196 89121 391 142 0 102150 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 412784

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

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

[startup+1809.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/83 16005
/proc/meminfo: memFree=1115648/2055920 swapFree=4192812/4192956
[pid=15954] ppid=15952 vsize=412784 CPUtime=1800.04
/proc/15954/stat : 15954 (pcs.small) R 15952 15954 15811 0 -1 4194304 130426 822 0 0 179891 113 0 0 25 0 1 0 59624653 422690816 89121 996147200 134512640 135095119 4294956304 18446744073709551615 4158960618 0 0 4096 0 0 0 0 17 0 0 0
/proc/15954/statm: 103196 89121 391 142 0 102150 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 412784

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1809.37
CPU time (s): 1800.12
CPU user time (s): 1798.92
CPU system time (s): 1.19782
CPU usage (%): 99.4884
Max. virtual memory (cumulated for all children) (KiB): 437724

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

runsolver used 1.69674 second user time and 4.90425 second system time

The end

Launcher Data 

Begin job on node86 at 2009-07-16 08:26:34
IDJOB=2085267
IDBENCH=58337
IDSOLVER=734
FILE ID=node86/2085267-1247725594
PBS_JOBID= 9521581
Free space on /tmp= 66256 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/graphColoring/sgb/queen/normalized-queen15-15-17.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2085267-1247725594/watcher-2085267-1247725594 -o /tmp/evaluation-result-2085267-1247725594/solver-2085267-1247725594 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 131341799 HOME/instance-2085267-1247725594.xml

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

MD5SUM BENCH= 573670be21826232d8e7fcd0958ee593
RANDOM SEED=131341799

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1481312 kB
Buffers:         92000 kB
Cached:         359044 kB
SwapCached:          0 kB
Active:         123560 kB
Inactive:       375416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1481312 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2656 kB
Writeback:           0 kB
Mapped:          68212 kB
Slab:            60632 kB
Committed_AS:   660108 kB
PageTables:       2012 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= 66252 MiB
End job on node86 at 2009-07-16 08:56:45