Trace number 3499707

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
priss 1.0? (TO) 20399.2 5100.02

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
MD5SUMba3b1702a651cd8da3e6cada8f2e97bc
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.255961
Satisfiable
(Un)Satisfiability was proved
Number of variables2088
Number of clauses405748
Sum of the clauses size813494
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2405703
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 29394
0.00/0.09	c parsetime: 86120us
0.00/0.09	c parsed 405748 clauses with 2088 variables
0.00/0.11	c NW started thread 0 successfully (1104099648)
0.00/0.17	c NW started thread 1 successfully (1087850816)
0.00/0.21	c NW started thread 2 successfully (1115765056)
0.00/0.26	c NW started thread 3 successfully (1126254912)
115.56/29.14	c preprocessor returned 10005 variables
115.56/29.14	c preprocessing returned UNKNOWN
115.56/29.14	c PP set 0 variables
115.56/29.14	c pp time: 28968833us (28s)
115.97/29.28	c preprocessor returned 10005 variables
115.97/29.28	c preprocessing returned UNKNOWN
115.97/29.28	c PP set 0 variables
115.97/29.28	c pp time: 29163343us (29s)
119.97/30.23	c preprocessor returned 10005 variables
119.97/30.23	c preprocessing returned UNKNOWN
119.97/30.23	c PP set 0 variables
119.97/30.23	c pp time: 30016151us (30s)
157.19/39.50	c preprocessor returned 30010 variables
157.19/39.50	c preprocessing returned UNKNOWN
157.19/39.50	c PP set 0 variables
157.19/39.50	c pp time: 39242595us (39s)
11331.00/2833.09	c HTE
11552.60/2888.48	c subsumption
12079.81/3020.29	c simplified formula contains 0 unit clauses

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499707-1308009575/watcher-3499707-1308009575 -o /var/tmp/evaluation-result-3499707-1308009575/solver-3499707-1308009575 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499707-1308009575.cnf 87935706 40000 31000 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.01 4.00 3.96 1/170 29393
/proc/meminfo: memFree=3911344/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0

[startup+0.0841429 s]
/proc/loadavg: 4.01 4.00 3.96 1/170 29393
/proc/meminfo: memFree=3911344/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101127 s]
/proc/loadavg: 4.01 4.00 3.96 1/170 29393
/proc/meminfo: memFree=3911344/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301083 s]
/proc/loadavg: 4.01 4.00 3.96 1/170 29393
/proc/meminfo: memFree=3911344/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701011 s]
/proc/loadavg: 4.01 4.00 3.96 1/170 29393
/proc/meminfo: memFree=3911344/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50081 s]
/proc/loadavg: 4.01 4.00 3.96 5/176 29399
/proc/meminfo: memFree=3779384/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=344676 CPUtime=5.17 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 62013 0 0 0 497 20 0 0 18 0 5 0 912557226 352948224 32731 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 86169 32731 349 389 0 81919 0
[pid=29394/tid=29396] ppid=29393 vsize=344676 CPUtime=1.33 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 11411 0 0 0 130 3 0 0 19 0 5 0 912557238 352948224 32731 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336120 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=344676 CPUtime=1.12 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 11057 0 0 0 104 8 0 0 19 0 5 0 912557243 352948224 32731 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336801 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=344676 CPUtime=1.24 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 11070 0 0 0 121 3 0 0 19 0 5 0 912557248 352948224 32731 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=344676 CPUtime=1.2 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 9143 0 0 0 117 3 0 0 19 0 5 0 912557253 352948224 32731 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336187 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.17
Current children cumulated vsize (KiB) 353376

[startup+3.10053 s]
/proc/loadavg: 4.01 4.00 3.96 5/176 29399
/proc/meminfo: memFree=3779136/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=344676 CPUtime=11.57 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 62013 0 0 0 1137 20 0 0 18 0 5 0 912557226 352948224 32731 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 86169 32731 349 389 0 81919 0
[pid=29394/tid=29396] ppid=29393 vsize=344676 CPUtime=2.93 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 11411 0 0 0 290 3 0 0 23 0 5 0 912557238 352948224 32731 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336193 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=344676 CPUtime=2.72 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 11057 0 0 0 264 8 0 0 23 0 5 0 912557243 352948224 32731 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336155 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=344676 CPUtime=2.84 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 11070 0 0 0 281 3 0 0 22 0 5 0 912557248 352948224 32731 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336229 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=344676 CPUtime=2.8 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 9143 0 0 0 277 3 0 0 23 0 5 0 912557253 352948224 32731 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336759 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.57
Current children cumulated vsize (KiB) 353376

[startup+6.30097 s]
/proc/loadavg: 4.01 4.00 3.96 5/176 29399
/proc/meminfo: memFree=3778904/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=338588 CPUtime=24.37 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 63638 0 0 0 2417 20 0 0 18 0 5 0 912557226 346714112 32768 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 84647 32768 350 389 0 80397 0
[pid=29394/tid=29396] ppid=29393 vsize=338588 CPUtime=6.13 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 12251 0 0 0 610 3 0 0 23 0 5 0 912557238 346714112 32768 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=338588 CPUtime=5.92 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 11058 0 0 0 584 8 0 0 25 0 5 0 912557243 346714112 32768 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336171 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=338588 CPUtime=6.04 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 11109 0 0 0 601 3 0 0 25 0 5 0 912557248 346714112 32768 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336718 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=338588 CPUtime=6 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 9888 0 0 0 597 3 0 0 25 0 5 0 912557253 346714112 32768 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336171 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.37
Current children cumulated vsize (KiB) 347288

[startup+12.7008 s]
/proc/loadavg: 4.01 4.00 3.96 5/176 29399
/proc/meminfo: memFree=3779664/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=338588 CPUtime=49.97 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 63638 0 0 0 4977 20 0 0 18 0 5 0 912557226 346714112 32768 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 84647 32768 350 389 0 80397 0
[pid=29394/tid=29396] ppid=29393 vsize=338588 CPUtime=12.53 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 12251 0 0 0 1250 3 0 0 25 0 5 0 912557238 346714112 32768 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=338588 CPUtime=12.32 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 11058 0 0 0 1224 8 0 0 25 0 5 0 912557243 346714112 32768 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=338588 CPUtime=12.44 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 11109 0 0 0 1241 3 0 0 25 0 5 0 912557248 346714112 32768 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336272 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=338588 CPUtime=12.4 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 9888 0 0 0 1237 3 0 0 25 0 5 0 912557253 346714112 32768 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (KiB) 347288

[startup+25.5006 s]
/proc/loadavg: 4.00 4.00 3.96 5/176 29399
/proc/meminfo: memFree=3767212/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=343344 CPUtime=101.16 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 67226 0 0 0 10096 20 0 0 18 0 5 0 912557226 351584256 36356 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 85836 36356 352 389 0 81586 0
[pid=29394/tid=29396] ppid=29393 vsize=343344 CPUtime=25.33 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 13446 0 0 0 2530 3 0 0 25 0 5 0 912557238 351584256 36356 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=343344 CPUtime=25.12 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 11060 0 0 0 2504 8 0 0 25 0 5 0 912557243 351584256 36356 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=343344 CPUtime=25.24 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 12299 0 0 0 2521 3 0 0 25 0 5 0 912557248 351584256 36356 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336703 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=343344 CPUtime=25.2 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 11089 0 0 0 2517 3 0 0 25 0 5 0 912557253 351584256 36356 33554432000 4194304 5787044 140736674684736 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.16
Current children cumulated vsize (KiB) 352044

[startup+51.1011 s]
/proc/loadavg: 4.00 4.00 3.96 5/176 29400
/proc/meminfo: memFree=3695196/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=382576 CPUtime=203.56 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 121542 0 0 0 20327 29 0 0 18 0 5 0 912557226 391757824 54872 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 95644 54872 417 389 0 91394 0
[pid=29394/tid=29396] ppid=29393 vsize=382576 CPUtime=50.94 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 28665 0 0 0 5088 6 0 0 25 0 5 0 912557238 391757824 54872 33554432000 4194304 5787044 140736674684736 18446744073709551615 4254564 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=382576 CPUtime=50.73 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 23052 0 0 0 5062 11 0 0 25 0 5 0 912557243 391757824 54872 33554432000 4194304 5787044 140736674684736 18446744073709551615 4220225 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=382576 CPUtime=50.84 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 23359 0 0 0 5079 5 0 0 22 0 5 0 912557248 391757824 54872 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591568 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=382576 CPUtime=50.8 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 27134 0 0 0 5075 5 0 0 22 0 5 0 912557253 391757824 54872 33554432000 4194304 5787044 140736674684736 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.56
Current children cumulated vsize (KiB) 391276

[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.96 5/176 29410
/proc/meminfo: memFree=3629668/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=406732 CPUtime=408.37 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 137377 0 0 0 40800 37 0 0 18 0 5 0 912557226 416493568 70662 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 101683 70662 417 389 0 97433 0
[pid=29394/tid=29396] ppid=29393 vsize=406732 CPUtime=102.14 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 32861 0 0 0 10206 8 0 0 25 0 5 0 912557238 416493568 70662 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591730 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=406732 CPUtime=101.93 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 25984 0 0 0 10180 13 0 0 25 0 5 0 912557243 416493568 70662 33554432000 4194304 5787044 140736674684736 18446744073709551615 5576446 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=406732 CPUtime=102.03 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 28389 0 0 0 10197 6 0 0 25 0 5 0 912557248 416493568 70662 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=406732 CPUtime=102 cores=0-7

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

/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 107082 0 0 0 472042 147 0 0 25 0 5 0 912557243 2152460288 471603 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591640 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=2102012 CPUtime=4722.05 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 130792 0 0 0 472141 64 0 0 25 0 5 0 912557248 2152460288 471603 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591573 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=2102012 CPUtime=4722.04 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 165149 0 0 0 471827 377 0 0 25 0 5 0 912557253 2152460288 471603 33554432000 4194304 5787044 140736674684736 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 18888.4
Current children cumulated vsize (KiB) 2110712

[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/176 29550
/proc/meminfo: memFree=2014596/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=2102012 CPUtime=19128.3 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 554251 0 0 0 1911909 925 0 0 18 0 5 0 912557226 2152460288 473582 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 525503 473582 417 389 0 521253 0
[pid=29394/tid=29396] ppid=29393 vsize=2102012 CPUtime=4782.1 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 129918 0 0 0 477886 324 0 0 25 0 5 0 912557238 2152460288 473582 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=2102012 CPUtime=4781.89 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 107089 0 0 0 478042 147 0 0 25 0 5 0 912557243 2152460288 473582 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=2102012 CPUtime=4782.04 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 130803 0 0 0 478140 64 0 0 25 0 5 0 912557248 2152460288 473582 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=2102012 CPUtime=4782.04 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 167109 0 0 0 477817 387 0 0 25 0 5 0 912557253 2152460288 473582 33554432000 4194304 5787044 140736674684736 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19128.3
Current children cumulated vsize (KiB) 2110712

[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/176 29552
/proc/meminfo: memFree=2007352/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=2102012 CPUtime=19368.3 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 556115 0 0 0 1935901 933 0 0 18 0 5 0 912557226 2152460288 475446 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 525503 475446 417 389 0 521253 0
[pid=29394/tid=29396] ppid=29393 vsize=2102012 CPUtime=4842.11 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 129926 0 0 0 483887 324 0 0 25 0 5 0 912557238 2152460288 475446 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=2102012 CPUtime=4841.89 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 107107 0 0 0 484042 147 0 0 25 0 5 0 912557243 2152460288 475446 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=2102012 CPUtime=4842.04 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 130819 0 0 0 484140 64 0 0 25 0 5 0 912557248 2152460288 475446 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=2102012 CPUtime=4842.04 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 168931 0 0 0 483809 395 0 0 25 0 5 0 912557253 2152460288 475446 33554432000 4194304 5787044 140736674684736 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19368.3
Current children cumulated vsize (KiB) 2110712

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/176 29553
/proc/meminfo: memFree=2000740/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=2102012 CPUtime=19608.4 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 557782 0 0 0 1959895 941 0 0 18 0 5 0 912557226 2152460288 477113 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 525503 477113 417 389 0 521253 0
[pid=29394/tid=29396] ppid=29393 vsize=2102012 CPUtime=4902.12 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 129957 0 0 0 489887 325 0 0 25 0 5 0 912557238 2152460288 477113 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=2102012 CPUtime=4901.89 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 107135 0 0 0 490042 147 0 0 25 0 5 0 912557243 2152460288 477113 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=2102012 CPUtime=4902.04 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 130848 0 0 0 490140 64 0 0 25 0 5 0 912557248 2152460288 477113 33554432000 4194304 5787044 140736674684736 18446744073709551615 4254617 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=2102012 CPUtime=4902.04 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 170510 0 0 0 489802 402 0 0 25 0 5 0 912557253 2152460288 477113 33554432000 4194304 5787044 140736674684736 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19608.4
Current children cumulated vsize (KiB) 2110712

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/176 29555
/proc/meminfo: memFree=1991876/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=2167548 CPUtime=19848.3 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 560451 0 0 0 1983890 945 0 0 18 0 5 0 912557226 2219569152 479287 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 541887 479287 417 389 0 537637 0
[pid=29394/tid=29396] ppid=29393 vsize=2167548 CPUtime=4962.11 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 131006 0 0 0 495886 325 0 0 25 0 5 0 912557238 2219569152 479287 33554432000 4194304 5787044 140736674684736 18446744073709551615 5588108 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=2167548 CPUtime=4961.89 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 107153 0 0 0 496042 147 0 0 25 0 5 0 912557243 2219569152 479287 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=2167548 CPUtime=4962.05 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 130877 0 0 0 496140 65 0 0 25 0 5 0 912557248 2219569152 479287 33554432000 4194304 5787044 140736674684736 18446744073709551615 4254881 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=2167548 CPUtime=4962.04 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 172083 0 0 0 495798 406 0 0 25 0 5 0 912557253 2219569152 479287 33554432000 4194304 5787044 140736674684736 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19848.3
Current children cumulated vsize (KiB) 2176248

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/176 29557
/proc/meminfo: memFree=1989232/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=2170236 CPUtime=20088.4 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 561176 0 0 0 2007891 945 0 0 18 0 5 0 912557226 2222321664 480012 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 542559 480012 417 389 0 538309 0
[pid=29394/tid=29396] ppid=29393 vsize=2170236 CPUtime=5022.12 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 131020 0 0 0 501887 325 0 0 25 0 5 0 912557238 2222321664 480012 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=2170236 CPUtime=5021.89 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 107169 0 0 0 502042 147 0 0 25 0 5 0 912557243 2222321664 480012 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=2170236 CPUtime=5022.05 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 131572 0 0 0 502140 65 0 0 25 0 5 0 912557248 2222321664 480012 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485787260 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=2170236 CPUtime=5022.04 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 172083 0 0 0 501798 406 0 0 25 0 5 0 912557253 2222321664 480012 33554432000 4194304 5787044 140736674684736 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20088.4
Current children cumulated vsize (KiB) 2178936

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 3.98 5/176 29558
/proc/meminfo: memFree=1980616/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=2178656 CPUtime=20328.4 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 563317 0 0 0 2031889 947 0 0 18 0 5 0 912557226 2230943744 482153 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 544664 482153 417 389 0 540414 0
[pid=29394/tid=29396] ppid=29393 vsize=2178656 CPUtime=5082.12 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 131039 0 0 0 507887 325 0 0 25 0 5 0 912557238 2230943744 482153 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=2178656 CPUtime=5081.89 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 107197 0 0 0 508042 147 0 0 25 0 5 0 912557243 2230943744 482153 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=2178656 CPUtime=5082.05 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 133665 0 0 0 508138 67 0 0 25 0 5 0 912557248 2230943744 482153 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=2178656 CPUtime=5082.04 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 172084 0 0 0 507798 406 0 0 25 0 5 0 912557253 2230943744 482153 33554432000 4194304 5787044 140736674684736 18446744073709551615 5528432 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20328.4
Current children cumulated vsize (KiB) 2187356



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 3.98 5/176 29559
/proc/meminfo: memFree=1977636/32950928 swapFree=67079488/67111528
[pid=29393] ppid=29391 vsize=8700 CPUtime=0 cores=0-7
/proc/29393/stat : 29393 (priss.sh) S 29391 29393 28583 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 912557226 8908800 252 33554432000 4194304 4922060 140733778671056 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29393/statm: 2175 252 211 178 0 68 0
[pid=29394] ppid=29393 vsize=2181052 CPUtime=20399.2 cores=0-7
/proc/29394/stat : 29394 (priss) S 29393 29393 28583 0 -1 4202496 563961 0 0 0 2038971 948 0 0 18 0 5 0 912557226 2233397248 482797 33554432000 4194304 5787044 140736674684736 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/29394/statm: 545263 482797 417 389 0 541013 0
[pid=29394/tid=29396] ppid=29393 vsize=2181052 CPUtime=5099.82 cores=0-7
/proc/29394/task/29396/stat : 29396 (priss) R 29393 29393 28583 0 -1 4202560 131040 0 0 0 509657 325 0 0 25 0 5 0 912557238 2233397248 482797 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29394/tid=29397] ppid=29393 vsize=2181052 CPUtime=5099.59 cores=0-7
/proc/29394/task/29397/stat : 29397 (priss) R 29393 29393 28583 0 -1 4202560 107214 0 0 0 509812 147 0 0 25 0 5 0 912557243 2233397248 482797 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29394/tid=29398] ppid=29393 vsize=2181052 CPUtime=5099.75 cores=0-7
/proc/29394/task/29398/stat : 29398 (priss) R 29393 29393 28583 0 -1 4202560 134291 0 0 0 509908 67 0 0 25 0 5 0 912557248 2233397248 482797 33554432000 4194304 5787044 140736674684736 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29394/tid=29399] ppid=29393 vsize=2181052 CPUtime=5099.75 cores=0-7
/proc/29394/task/29399/stat : 29399 (priss) R 29393 29393 28583 0 -1 4202560 172084 0 0 0 509569 406 0 0 25 0 5 0 912557253 2233397248 482797 33554432000 4194304 5787044 140736674684736 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 20399.2
Current children cumulated vsize (KiB) 2189752

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)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29393 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 20399.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5100.02
CPU time (s): 20399.2
CPU user time (s): 20389.7
CPU system time (s): 9.48
CPU usage (%): 399.983
Max. virtual memory (cumulated for all children) (KiB): 2189752

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

runsolver used 7.61084 second user time and 19.485 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-14 01:59:36
IDJOB=3499707
IDBENCH=88211
IDSOLVER=1994
FILE ID=node125/3499707-1308009575
RUNJOBID= node125-1307989165-28597
PBS_JOBID= 13559822
Free space on /var/tmp= 2820 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m47-q742.5-n45-p30-s17570390.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499707-1308009575/watcher-3499707-1308009575 -o /var/tmp/evaluation-result-3499707-1308009575/solver-3499707-1308009575 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499707-1308009575.cnf 87935706 40000 31000 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= ba3b1702a651cd8da3e6cada8f2e97bc
RANDOM SEED=87935706

node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5266.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       3911640 kB
Buffers:        141196 kB
Cached:       27964976 kB
SwapCached:       3336 kB
Active:       12232636 kB
Inactive:     15909876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       3911640 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:            6628 kB
Writeback:           0 kB
AnonPages:       34644 kB
Mapped:          13832 kB
Slab:           833048 kB
PageTables:       3848 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186428 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2820 MiB
End job on node125 at 2011-06-14 03:24:38