Trace number 2071055

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 1807.78

General information on the benchmark

Namecsp/golombRulerArity4/
normalized-ruler-67-12-a4.xml
MD5SUM392a4a957087c54a1fc308e1f7b31eeb
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1335.87
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints1991
Maximum constraint arity4
Maximum domain size68
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1991
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.21	c Seed is 285898215
0.18/0.21	c Constructing HOME/instance-2071055-1247709530.xml 
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V14)
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V16)
0.18/0.21	c deduced all_different(V14,V35,V44,V52,V59,V65,V70,V74,V77,V79,V17)
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V18)
0.18/0.21	c deduced all_different(V14,V35,V44,V52,V59,V65,V70,V74,V77,V79,V19)
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V20)
0.18/0.21	c deduced all_different(V14,V35,V44,V52,V59,V65,V70,V74,V77,V79,V21)
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V22)
0.18/0.21	c deduced all_different(V14,V35,V44,V52,V59,V65,V70,V74,V77,V79,V23)
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V24)
0.18/0.21	c deduced all_different(V14,V35,V44,V52,V59,V65,V70,V74,V77,V79,V25)
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V26)
0.18/0.21	c deduced all_different(V14,V35,V44,V52,V59,V65,V70,V74,V77,V79,V27)
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V28)
0.18/0.21	c deduced all_different(V14,V35,V44,V52,V59,V65,V70,V74,V77,V79,V29)
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V30)
0.18/0.21	c deduced all_different(V14,V35,V44,V52,V59,V65,V70,V74,V77,V79,V31)
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V32)
0.18/0.21	c deduced all_different(V14,V35,V44,V52,V59,V65,V70,V74,V77,V79,V33)
0.18/0.21	c deduced all_different(V15,V35,V44,V52,V59,V65,V70,V74,V77,V79,V34)
0.18/0.21	c deduced all_different(V14,V15,V44,V52,V59,V65,V70,V74,V77,V79,V36)
0.18/0.21	c deduced all_different(V14,V15,V44,V52,V59,V65,V70,V74,V77,V79,V37)
0.18/0.21	c deduced all_different(V14,V15,V44,V52,V59,V65,V70,V74,V77,V79,V38)
0.18/0.21	c deduced all_different(V14,V15,V44,V52,V59,V65,V70,V74,V77,V79,V39)
0.18/0.21	c deduced all_different(V14,V15,V44,V52,V59,V65,V70,V74,V77,V79,V40)
0.18/0.21	c deduced all_different(V14,V15,V44,V52,V59,V65,V70,V74,V77,V79,V41)
0.18/0.21	c deduced all_different(V14,V15,V44,V52,V59,V65,V70,V74,V77,V79,V42)
0.18/0.21	c deduced all_different(V14,V15,V44,V52,V59,V65,V70,V74,V77,V79,V43)
0.18/0.21	c deduced all_different(V14,V15,V35,V52,V59,V65,V70,V74,V77,V79,V45)
0.18/0.21	c deduced all_different(V14,V15,V35,V52,V59,V65,V70,V74,V77,V79,V46)
0.18/0.21	c deduced all_different(V14,V15,V35,V52,V59,V65,V70,V74,V77,V79,V47)
0.18/0.21	c deduced all_different(V14,V15,V35,V52,V59,V65,V70,V74,V77,V79,V48)
0.18/0.21	c deduced all_different(V14,V15,V35,V52,V59,V65,V70,V74,V77,V79,V49)
0.18/0.21	c deduced all_different(V14,V15,V35,V52,V59,V65,V70,V74,V77,V79,V50)
0.18/0.21	c deduced all_different(V14,V15,V35,V52,V59,V65,V70,V74,V77,V79,V51)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V59,V65,V70,V74,V77,V79,V53)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V59,V65,V70,V74,V77,V79,V54)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V59,V65,V70,V74,V77,V79,V55)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V59,V65,V70,V74,V77,V79,V56)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V59,V65,V70,V74,V77,V79,V57)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V59,V65,V70,V74,V77,V79,V58)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V65,V70,V74,V77,V79,V60)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V65,V70,V74,V77,V79,V61)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V65,V70,V74,V77,V79,V62)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V65,V70,V74,V77,V79,V63)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V65,V70,V74,V77,V79,V64)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V59,V70,V74,V77,V79,V66)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V59,V70,V74,V77,V79,V67)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V59,V70,V74,V77,V79,V68)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V59,V70,V74,V77,V79,V69)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V59,V65,V74,V77,V79,V71)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V59,V65,V74,V77,V79,V72)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V59,V65,V74,V77,V79,V73)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V59,V65,V70,V77,V79,V75)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V59,V65,V70,V77,V79,V76)
0.18/0.21	c deduced all_different(V14,V15,V35,V44,V52,V59,V65,V70,V74,V79,V78)
0.18/0.21	c  with 2113 constraints
0.18/0.21	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-2071055-1247709530/watcher-2071055-1247709530 -o /tmp/evaluation-result-2071055-1247709530/solver-2071055-1247709530 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 285898215 HOME/instance-2071055-1247709530.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.07 2.14 2.14 4/72 11956
/proc/meminfo: memFree=717984/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=5356 CPUtime=0
/proc/11956/stat : 11956 (pcssolve) R 11954 11956 10215 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58019860 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11956/statm: 1339 241 200 169 0 50 0
[pid=11957] ppid=11956 vsize=0 CPUtime=0
/proc/11957/stat : 11957 (fgrep) Z 11956 11956 10215 0 -1 4194316 155 0 0 0 0 0 0 0 22 0 1 0 58019861 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/11957/statm: 0 0 0 0 0 0 0
[pid=11958] ppid=11956 vsize=5356 CPUtime=0
/proc/11958/stat : 11958 (pcssolve) R 11956 11956 10215 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58019861 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11958/statm: 1339 241 200 169 0 50 0

[startup+0.112869 s]
/proc/loadavg: 2.07 2.14 2.14 4/72 11956
/proc/meminfo: memFree=717984/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=5240 CPUtime=0.09
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 969 656 0 0 9 0 0 0 18 0 1 0 58019860 5365760 600 996147200 134512640 135215973 4294956304 18446744073709551615 134583519 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 1310 600 410 171 0 235 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5240

[startup+0.20284 s]
/proc/loadavg: 2.07 2.14 2.14 4/72 11956
/proc/meminfo: memFree=717984/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=5452 CPUtime=0.18
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 1030 656 0 0 18 0 0 0 18 0 1 0 58019860 5582848 661 996147200 134512640 135215973 4294956304 18446744073709551615 134590096 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 1363 661 410 171 0 288 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5452

[startup+0.30281 s]
/proc/loadavg: 2.07 2.14 2.14 4/72 11956
/proc/meminfo: memFree=717984/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=5452 CPUtime=0.28
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 1031 656 0 0 28 0 0 0 19 0 1 0 58019860 5582848 662 996147200 134512640 135215973 4294956304 18446744073709551615 135095040 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 1363 662 410 171 0 288 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5452

[startup+0.701705 s]
/proc/loadavg: 2.07 2.14 2.14 4/72 11956
/proc/meminfo: memFree=717984/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=5924 CPUtime=0.68
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 1179 656 0 0 68 0 0 0 23 0 1 0 58019860 6066176 757 996147200 134512640 135215973 4294956304 18446744073709551615 134532689 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 1481 757 410 171 0 406 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5924

[startup+1.50147 s]
/proc/loadavg: 2.07 2.14 2.14 3/73 11961
/proc/meminfo: memFree=715672/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=6116 CPUtime=1.47
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 1224 656 0 0 147 0 0 0 25 0 1 0 58019860 6262784 802 996147200 134512640 135215973 4294956304 18446744073709551615 134922646 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 1529 802 410 171 0 454 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6116

[startup+3.10101 s]
/proc/loadavg: 2.07 2.14 2.14 3/73 11961
/proc/meminfo: memFree=714968/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=6908 CPUtime=3.06
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 1427 656 0 0 306 0 0 0 25 0 1 0 58019860 7073792 1005 996147200 134512640 135215973 4294956304 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 1727 1005 410 171 0 652 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 6908

[startup+6.30109 s]
/proc/loadavg: 2.07 2.14 2.14 3/73 11961
/proc/meminfo: memFree=713368/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=8084 CPUtime=6.23
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 1749 656 0 0 623 0 0 0 25 0 1 0 58019860 8278016 1294 996147200 134512640 135215973 4294956304 18446744073709551615 7671431 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 2021 1294 410 171 0 946 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 8084

[startup+12.7013 s]
/proc/loadavg: 2.06 2.14 2.13 3/73 11961
/proc/meminfo: memFree=709528/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=10968 CPUtime=12.58
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 2543 656 0 0 1257 1 0 0 25 0 1 0 58019860 11231232 1990 996147200 134512640 135215973 4294956304 18446744073709551615 134590116 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 2742 1990 410 171 0 1667 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 10968

[startup+25.5026 s]
/proc/loadavg: 2.05 2.13 2.13 3/73 11961
/proc/meminfo: memFree=701208/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=16080 CPUtime=25.28
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 3955 656 0 0 2526 2 0 0 25 0 1 0 58019860 16465920 3273 996147200 134512640 135215973 4294956304 18446744073709551615 134532674 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 4020 3273 410 171 0 2945 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 16080

[startup+51.1022 s]
/proc/loadavg: 2.03 2.12 2.13 3/73 11961
/proc/meminfo: memFree=685464/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=26572 CPUtime=50.66
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 6862 656 0 0 5062 4 0 0 25 0 1 0 58019860 27209728 5858 996147200 134512640 135215973 4294956304 18446744073709551615 134617476 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 6643 5858 410 171 0 5568 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 26572

[startup+102.303 s]
/proc/loadavg: 2.01 2.10 2.12 3/73 11961
/proc/meminfo: memFree=651544/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=52460 CPUtime=101.4
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 14014 656 0 0 10132 8 0 0 25 0 1 0 58019860 53719040 11343 996147200 134512640 135215973 4294956304 18446744073709551615 135097877 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 13115 11343 410 171 0 12040 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 52460

[startup+162.302 s]
/proc/loadavg: 2.00 2.08 2.10 3/73 11967
/proc/meminfo: memFree=593752/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=70236 CPUtime=160.85
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 19061 656 0 0 16072 13 0 0 25 0 1 0 58019860 71921664 16390 996147200 134512640 135215973 4294956304 18446744073709551615 4158853402 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 17559 16390 410 171 0 16484 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 70236

[startup+222.307 s]
/proc/loadavg: 2.36 2.17 2.13 3/73 12443
/proc/meminfo: memFree=544024/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=97116 CPUtime=216.22
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 26411 656 0 0 21605 17 0 0 25 0 1 0 58019860 99446784 21434 996147200 134512640 135215973 4294956304 18446744073709551615 134901760 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 24279 21434 410 171 0 23204 0
Current children cumulated CPU time (s) 216.22
Current children cumulated vsize (KiB) 97116

[startup+282.303 s]
/proc/loadavg: 2.14 2.14 2.12 3/73 12443
/proc/meminfo: memFree=497048/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=114140 CPUtime=275.68
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 31294 656 0 0 27547 21 0 0 25 0 1 0 58019860 116879360 26317 996147200 134512640 135215973 4294956304 18446744073709551615 134939526 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 28535 26317 410 171 0 27460 0
Current children cumulated CPU time (s) 275.68
Current children cumulated vsize (KiB) 114140

[startup+342.303 s]
/proc/loadavg: 2.05 2.11 2.11 3/73 12443
/proc/meminfo: memFree=455448/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=130756 CPUtime=335.14
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 36052 656 0 0 33489 25 0 0 25 0 1 0 58019860 133894144 31075 996147200 134512640 135215973 4294956304 18446744073709551615 135097642 0 0 4096 0 0 0 0 17 1 0 0
/proc/11956/statm: 32689 31075 410 171 0 31614 0
Current children cumulated CPU time (s) 335.14
Current children cumulated vsize (KiB) 130756

[startup+402.302 s]
/proc/loadavg: 1.99 2.09 2.10 2/68 12461
/proc/meminfo: memFree=1228992/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=144720 CPUtime=394.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 40004 656 0 0 39437 28 0 0 25 0 1 0 58019860 148193280 35027 996147200 134512640 135215973 4294956304 18446744073709551615 134581697 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 36180 35027 410 171 0 35105 0
Current children cumulated CPU time (s) 394.65
Current children cumulated vsize (KiB) 144720

[startup+462.302 s]
/proc/loadavg: 2.15 2.11 2.10 3/83 12517
/proc/meminfo: memFree=454472/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=175208 CPUtime=454.66
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 48127 656 0 0 45431 35 0 0 25 0 1 0 58019860 179412992 39053 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 43802 39053 410 171 0 42727 0
Current children cumulated CPU time (s) 454.66
Current children cumulated vsize (KiB) 175208

[startup+522.303 s]
/proc/loadavg: 2.29 2.15 2.11 3/83 12517
/proc/meminfo: memFree=439304/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=188612 CPUtime=514.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 51907 656 0 0 51426 39 0 0 25 0 1 0 58019860 193138688 42833 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 47153 42833 410 171 0 46078 0
Current children cumulated CPU time (s) 514.65
Current children cumulated vsize (KiB) 188612

[startup+582.302 s]
/proc/loadavg: 2.24 2.17 2.11 3/83 12517
/proc/meminfo: memFree=424072/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=203968 CPUtime=574.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 56081 656 0 0 57423 42 0 0 25 0 1 0 58019860 208863232 46494 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 50992 46494 410 171 0 49917 0
Current children cumulated CPU time (s) 574.65
Current children cumulated vsize (KiB) 203968

[startup+642.302 s]
/proc/loadavg: 2.20 2.17 2.11 3/83 12517
/proc/meminfo: memFree=410760/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=215692 CPUtime=634.65

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

[startup+822.302 s]
/proc/loadavg: 2.10 2.14 2.10 3/83 12518
/proc/meminfo: memFree=428608/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=253800 CPUtime=814.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 70185 656 0 0 81409 56 0 0 25 0 1 0 58019860 259891200 60598 996147200 134512640 135215973 4294956304 18446744073709551615 7671394 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 63450 60598 410 171 0 62375 0
Current children cumulated CPU time (s) 814.65
Current children cumulated vsize (KiB) 253800

[startup+882.307 s]
/proc/loadavg: 2.03 2.11 2.09 3/83 12518
/proc/meminfo: memFree=415552/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=265404 CPUtime=874.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 73436 656 0 0 87407 58 0 0 25 0 1 0 58019860 271773696 63849 996147200 134512640 135215973 4294956304 18446744073709551615 134597296 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 66351 63849 410 171 0 65276 0
Current children cumulated CPU time (s) 874.65
Current children cumulated vsize (KiB) 265404

[startup+942.301 s]
/proc/loadavg: 2.01 2.09 2.09 3/83 12518
/proc/meminfo: memFree=402816/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=276872 CPUtime=934.66
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 76635 656 0 0 93405 61 0 0 25 0 1 0 58019860 283516928 67048 996147200 134512640 135215973 4294956304 18446744073709551615 4158960169 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 69218 67048 410 171 0 68143 0
Current children cumulated CPU time (s) 934.66
Current children cumulated vsize (KiB) 276872

[startup+1002.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/83 12518
/proc/meminfo: memFree=390976/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=287288 CPUtime=994.64
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 79561 656 0 0 99401 63 0 0 25 0 1 0 58019860 294182912 69974 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 71822 69974 410 171 0 70747 0
Current children cumulated CPU time (s) 994.64
Current children cumulated vsize (KiB) 287288

[startup+1062.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/83 12518
/proc/meminfo: memFree=379272/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=297828 CPUtime=1054.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 82503 656 0 0 105399 66 0 0 25 0 1 0 58019860 304975872 72916 996147200 134512640 135215973 4294956304 18446744073709551615 134590156 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 74457 72916 410 171 0 73382 0
Current children cumulated CPU time (s) 1054.65
Current children cumulated vsize (KiB) 297828

[startup+1122.3 s]
/proc/loadavg: 2.01 2.06 2.08 3/83 12518
/proc/meminfo: memFree=368392/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=307456 CPUtime=1114.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 85163 656 0 0 111397 68 0 0 25 0 1 0 58019860 314834944 75576 996147200 134512640 135215973 4294956304 18446744073709551615 134597355 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 76864 75576 410 171 0 75789 0
Current children cumulated CPU time (s) 1114.65
Current children cumulated vsize (KiB) 307456

[startup+1182.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/83 12518
/proc/meminfo: memFree=357640/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=317348 CPUtime=1174.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 87897 656 0 0 117394 71 0 0 25 0 1 0 58019860 324964352 78310 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 79337 78310 410 171 0 78262 0
Current children cumulated CPU time (s) 1174.65
Current children cumulated vsize (KiB) 317348

[startup+1242.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/83 12518
/proc/meminfo: memFree=464840/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=364600 CPUtime=1234.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 100206 656 0 0 123387 78 0 0 25 0 1 0 58019860 373350400 82426 996147200 134512640 135215973 4294956304 18446744073709551615 134583335 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 91150 82426 410 171 0 90075 0
Current children cumulated CPU time (s) 1234.65
Current children cumulated vsize (KiB) 364600

[startup+1302.3 s]
/proc/loadavg: 2.04 2.06 2.08 3/83 12518
/proc/meminfo: memFree=448840/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=378824 CPUtime=1294.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 104210 656 0 0 129383 82 0 0 25 0 1 0 58019860 387915776 86430 996147200 134512640 135215973 4294956304 18446744073709551615 134925726 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 94706 86430 410 171 0 93631 0
Current children cumulated CPU time (s) 1294.65
Current children cumulated vsize (KiB) 378824

[startup+1362.3 s]
/proc/loadavg: 2.01 2.05 2.07 3/83 12518
/proc/meminfo: memFree=433736/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=392140 CPUtime=1354.64
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 107957 656 0 0 135379 85 0 0 25 0 1 0 58019860 401551360 90177 996147200 134512640 135215973 4294956304 18446744073709551615 7640699 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 98035 90177 410 171 0 96960 0
Current children cumulated CPU time (s) 1354.64
Current children cumulated vsize (KiB) 392140

[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 2.07 3/83 12518
/proc/meminfo: memFree=693000/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=415096 CPUtime=1414.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 114137 656 0 0 141376 89 0 0 25 0 1 0 58019860 425058304 95332 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 103774 95332 410 171 0 102699 0
Current children cumulated CPU time (s) 1414.65
Current children cumulated vsize (KiB) 415096

[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.06 3/83 12518
/proc/meminfo: memFree=679880/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=426832 CPUtime=1474.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 117417 656 0 0 147374 91 0 0 25 0 1 0 58019860 437075968 98612 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 106708 98612 410 171 0 105633 0
Current children cumulated CPU time (s) 1474.65
Current children cumulated vsize (KiB) 426832

[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.06 3/83 12518
/proc/meminfo: memFree=670024/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=435540 CPUtime=1534.66
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 119887 656 0 0 153372 94 0 0 25 0 1 0 58019860 445992960 101082 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 108885 101082 410 171 0 107810 0
Current children cumulated CPU time (s) 1534.66
Current children cumulated vsize (KiB) 435540

[startup+1602.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/83 12518
/proc/meminfo: memFree=659848/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=444636 CPUtime=1594.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 122441 656 0 0 159368 97 0 0 25 0 1 0 58019860 455307264 103636 996147200 134512640 135215973 4294956304 18446744073709551615 4158960089 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 111159 103636 410 171 0 110084 0
Current children cumulated CPU time (s) 1594.65
Current children cumulated vsize (KiB) 444636

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/83 12518
/proc/meminfo: memFree=648840/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=454260 CPUtime=1654.65
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 125123 656 0 0 165366 99 0 0 25 0 1 0 58019860 465162240 106318 996147200 134512640 135215973 4294956304 18446744073709551615 134931712 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 113565 106318 410 171 0 112490 0
Current children cumulated CPU time (s) 1654.65
Current children cumulated vsize (KiB) 454260

[startup+1722.3 s]
/proc/loadavg: 2.11 2.05 2.06 3/83 12518
/proc/meminfo: memFree=638088/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=464016 CPUtime=1714.64
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 127824 656 0 0 171362 102 0 0 25 0 1 0 58019860 475152384 109019 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 116004 109019 410 171 0 114929 0
Current children cumulated CPU time (s) 1714.64
Current children cumulated vsize (KiB) 464016

[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/83 12518
/proc/meminfo: memFree=627528/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=473236 CPUtime=1774.64
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 130416 656 0 0 177360 104 0 0 25 0 1 0 58019860 484593664 111611 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 118309 111611 410 171 0 117234 0
Current children cumulated CPU time (s) 1774.64
Current children cumulated vsize (KiB) 473236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.7 s]
/proc/loadavg: 2.02 2.04 2.05 3/83 12518
/proc/meminfo: memFree=623048/2055920 swapFree=4192812/4192956
[pid=11956] ppid=11954 vsize=477064 CPUtime=1800.05
/proc/11956/stat : 11956 (pcs.big) R 11954 11956 10215 0 -1 4194304 131490 656 0 0 179900 105 0 0 25 0 1 0 58019860 488513536 112685 996147200 134512640 135215973 4294956304 18446744073709551615 134591703 0 0 4096 0 0 0 0 17 0 0 0
/proc/11956/statm: 119266 112685 410 171 0 118191 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 477064

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): 1807.78
CPU time (s): 1800.14
CPU user time (s): 1799.01
CPU system time (s): 1.12983
CPU usage (%): 99.5774
Max. virtual memory (cumulated for all children) (KiB): 477064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.12983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132146
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= 18
involuntary context switches= 31603

runsolver used 2.01869 second user time and 5.31619 second system time

The end

Launcher Data 

Begin job on node16 at 2009-07-16 03:58:50
IDJOB=2071055
IDBENCH=55431
IDSOLVER=734
FILE ID=node16/2071055-1247709530
PBS_JOBID= 9521276
Free space on /tmp= 66404 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/golombRulerArity4/normalized-ruler-67-12-a4.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2071055-1247709530/watcher-2071055-1247709530 -o /tmp/evaluation-result-2071055-1247709530/solver-2071055-1247709530 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 285898215 HOME/instance-2071055-1247709530.xml

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

MD5SUM BENCH= 392a4a957087c54a1fc308e1f7b31eeb
RANDOM SEED=285898215

node16.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.231
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.231
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:        718464 kB
Buffers:         69232 kB
Cached:         546032 kB
SwapCached:          0 kB
Active:         698300 kB
Inactive:       569008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        718464 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1956 kB
Writeback:           0 kB
Mapped:         663652 kB
Slab:            54208 kB
Committed_AS:  1140596 kB
PageTables:       3128 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= 66412 MiB
End job on node16 at 2009-07-16 04:29:00