Trace number 3499719

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) 20395.4 5100.02

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
MD5SUMb23c52475e3d098cb9d5a92c025d6982
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.465928
Satisfiable
(Un)Satisfiability was proved
Number of variables3420
Number of clauses1120760
Sum of the clauses size2244820
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21120700
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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: 20756
0.00/0.25	c parsetime: 248027us
0.00/0.25	c parsed 1120760 clauses with 3420 variables
0.00/0.32	c NW started thread 0 successfully (1098336576)
0.00/0.41	c NW started thread 1 successfully (1108826432)
0.00/0.53	c NW started thread 2 successfully (1119316288)
0.00/0.70	c NW started thread 3 successfully (1129806144)
58.07/15.46	c preprocessor returned 10011 variables
58.07/15.46	c preprocessing returned UNKNOWN
58.07/15.46	c PP set 0 variables
58.07/15.46	c pp time: 14926269us (14s)
59.23/15.71	c preprocessor returned 10011 variables
59.23/15.71	c preprocessing returned UNKNOWN
59.23/15.71	c PP set 0 variables
59.23/15.71	c pp time: 15392294us (15s)
62.72/16.66	c preprocessor returned 10011 variables
62.72/16.66	c preprocessing returned UNKNOWN
62.72/16.66	c PP set 0 variables
62.72/16.66	c pp time: 16248297us (16s)
78.68/20.61	c preprocessor returned 30007 variables
78.68/20.61	c preprocessing returned UNKNOWN
78.68/20.61	c PP set 0 variables
78.68/20.61	c pp time: 19906865us (19s)
7788.11/1948.12	c HTE
7954.58/1989.88	c subsumption
7954.58/1989.88	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-3499719-1308010026/watcher-3499719-1308010026 -o /var/tmp/evaluation-result-3499719-1308010026/solver-3499719-1308010026 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499719-1308010026.cnf 1972815953 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.00 4.00 3.97 1/170 20755
/proc/meminfo: memFree=24492852/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0

[startup+0.01877 s]
/proc/loadavg: 4.00 4.00 3.97 1/170 20755
/proc/meminfo: memFree=24492852/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100747 s]
/proc/loadavg: 4.00 4.00 3.97 1/170 20755
/proc/meminfo: memFree=24492852/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300691 s]
/proc/loadavg: 4.00 4.00 3.97 1/170 20755
/proc/meminfo: memFree=24492852/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700547 s]
/proc/loadavg: 4.00 4.00 3.97 1/170 20755
/proc/meminfo: memFree=24492852/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50045 s]
/proc/loadavg: 4.00 4.00 3.97 4/176 20761
/proc/meminfo: memFree=24061016/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=830816 CPUtime=2.63 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 162773 0 0 0 215 48 0 0 18 0 5 0 991233278 850755584 160768 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 207704 160771 345 389 0 203454 0
[pid=20756/tid=20758] ppid=20755 vsize=830816 CPUtime=0.79 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 29753 0 0 0 64 15 0 0 18 0 5 0 991233311 850755584 160774 33554432000 4194304 5787044 140736661199632 18446744073709551615 47368528573591 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=830816 CPUtime=0.68 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 28779 0 0 0 54 14 0 0 18 0 5 0 991233319 850755584 160775 33554432000 4194304 5787044 140736661199632 18446744073709551615 231895151301 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=830816 CPUtime=0.59 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 25335 0 0 0 47 12 0 0 18 0 5 0 991233332 850755584 160778 33554432000 4194304 5787044 140736661199632 18446744073709551615 231895151301 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=830816 CPUtime=0.02 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 26910 0 0 0 2 0 0 0 18 0 5 0 991233349 850755584 160781 33554432000 4194304 5787044 140736661199632 18446744073709551615 47368528574030 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 839516

[startup+3.10115 s]
/proc/loadavg: 4.00 4.00 3.97 5/176 20761
/proc/meminfo: memFree=24097348/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=545912 CPUtime=8.86 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 184296 0 0 0 832 54 0 0 18 0 5 0 991233278 559013888 80459 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 136478 80459 350 389 0 132228 0
[pid=20756/tid=20758] ppid=20755 vsize=545912 CPUtime=2.39 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 32274 0 0 0 223 16 0 0 18 0 5 0 991233311 559013888 80459 33554432000 4194304 5787044 140736661199632 18446744073709551615 4336353 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=545912 CPUtime=2.27 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 34125 0 0 0 211 16 0 0 20 0 5 0 991233319 559013888 80459 33554432000 4194304 5787044 140736661199632 18446744073709551615 4336304 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=545912 CPUtime=2.1 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 30099 0 0 0 197 13 0 0 18 0 5 0 991233332 559013888 80459 33554432000 4194304 5787044 140736661199632 18446744073709551615 4336970 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=545912 CPUtime=1.55 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 35792 0 0 0 154 1 0 0 18 0 5 0 991233349 559013888 80459 33554432000 4194304 5787044 140736661199632 18446744073709551615 4336756 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.86
Current children cumulated vsize (KiB) 554612

[startup+6.30055 s]
/proc/loadavg: 4.00 4.00 3.97 5/176 20761
/proc/meminfo: memFree=24159728/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=621820 CPUtime=21.65 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 218862 0 0 0 2107 58 0 0 18 0 5 0 991233278 636743680 115025 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 155455 115025 355 389 0 151205 0
[pid=20756/tid=20758] ppid=20755 vsize=621820 CPUtime=5.59 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 41407 0 0 0 542 17 0 0 23 0 5 0 991233311 636743680 115025 33554432000 4194304 5787044 140736661199632 18446744073709551615 4359744 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=621820 CPUtime=5.46 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 44466 0 0 0 529 17 0 0 25 0 5 0 991233319 636743680 115025 33554432000 4194304 5787044 140736661199632 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=621820 CPUtime=5.29 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 37356 0 0 0 515 14 0 0 25 0 5 0 991233332 636743680 115025 33554432000 4194304 5787044 140736661199632 18446744073709551615 4359082 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=621820 CPUtime=4.75 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 43627 0 0 0 473 2 0 0 25 0 5 0 991233349 636743680 115025 33554432000 4194304 5787044 140736661199632 18446744073709551615 4359116 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 21.65
Current children cumulated vsize (KiB) 630520

[startup+12.7004 s]
/proc/loadavg: 4.00 4.00 3.97 5/176 20761
/proc/meminfo: memFree=24032908/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=621820 CPUtime=47.25 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 218880 0 0 0 4667 58 0 0 18 0 5 0 991233278 636743680 115043 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 155455 115043 355 389 0 151205 0
[pid=20756/tid=20758] ppid=20755 vsize=621820 CPUtime=11.99 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 41412 0 0 0 1182 17 0 0 25 0 5 0 991233311 636743680 115043 33554432000 4194304 5787044 140736661199632 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=621820 CPUtime=11.86 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 44470 0 0 0 1169 17 0 0 25 0 5 0 991233319 636743680 115043 33554432000 4194304 5787044 140736661199632 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=621820 CPUtime=11.69 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 37361 0 0 0 1155 14 0 0 25 0 5 0 991233332 636743680 115043 33554432000 4194304 5787044 140736661199632 18446744073709551615 4318959 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=621820 CPUtime=11.15 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 43631 0 0 0 1113 2 0 0 25 0 5 0 991233349 636743680 115043 33554432000 4194304 5787044 140736661199632 18446744073709551615 4318904 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 47.25
Current children cumulated vsize (KiB) 630520

[startup+25.5009 s]
/proc/loadavg: 4.00 4.00 3.97 5/176 20761
/proc/meminfo: memFree=23895484/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=795412 CPUtime=98.25 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 293296 0 0 0 9743 82 0 0 18 0 5 0 991233278 814501888 150009 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 198853 150009 417 389 0 194603 0
[pid=20756/tid=20758] ppid=20755 vsize=795412 CPUtime=24.72 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 66451 0 0 0 2444 28 0 0 25 0 5 0 991233311 814501888 150009 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=795412 CPUtime=24.63 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 59012 0 0 0 2442 21 0 0 18 0 5 0 991233319 814501888 150009 33554432000 4194304 5787044 140736661199632 18446744073709551615 5588261 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=795412 CPUtime=24.42 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 57325 0 0 0 2419 23 0 0 18 0 5 0 991233332 814501888 150009 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=795412 CPUtime=23.94 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 58502 0 0 0 2390 4 0 0 19 0 5 0 991233349 814501888 150009 33554432000 4194304 5787044 140736661199632 18446744073709551615 5521936 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.25
Current children cumulated vsize (KiB) 804112

[startup+51.1012 s]
/proc/loadavg: 4.00 4.00 3.97 5/176 20762
/proc/meminfo: memFree=23891304/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=795412 CPUtime=200.61 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 294320 0 0 0 19977 84 0 0 18 0 5 0 991233278 814501888 151033 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 198853 151033 417 389 0 194603 0
[pid=20756/tid=20758] ppid=20755 vsize=795412 CPUtime=50.31 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 67475 0 0 0 5003 28 0 0 25 0 5 0 991233311 814501888 151033 33554432000 4194304 5787044 140736661199632 18446744073709551615 5585308 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=795412 CPUtime=50.22 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 59012 0 0 0 5001 21 0 0 19 0 5 0 991233319 814501888 151033 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=795412 CPUtime=50.02 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 57325 0 0 0 4978 24 0 0 18 0 5 0 991233332 814501888 151033 33554432000 4194304 5787044 140736661199632 18446744073709551615 4692701 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=795412 CPUtime=49.51 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 58502 0 0 0 4947 4 0 0 18 0 5 0 991233349 814501888 151033 33554432000 4194304 5787044 140736661199632 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 200.61
Current children cumulated vsize (KiB) 804112

[startup+102.307 s]
/proc/loadavg: 4.04 4.01 3.97 5/176 20763
/proc/meminfo: memFree=23863808/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=795412 CPUtime=405.35 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 301340 0 0 0 40439 96 0 0 18 0 5 0 991233278 814501888 158010 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 198853 158010 417 389 0 194603 0
[pid=20756/tid=20758] ppid=20755 vsize=795412 CPUtime=101.51 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 67688 0 0 0 10121 30 0 0 25 0 5 0 991233311 814501888 158010 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=795412 CPUtime=101.42 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 59101 0 0 0 10119 23 0 0 20 0 5 0 991233319 814501888 158010 33554432000 4194304 5787044 140736661199632 18446744073709551615 5576660 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=795412 CPUtime=101.22 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 63072 0 0 0 10093 29 0 0 18 0 5 0 991233332 814501888 158010 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=795412 CPUtime=100.65 cores=0-7

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

/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 156431 0 0 0 472008 136 0 0 25 0 5 0 991233319 3065090048 680485 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=2993252 CPUtime=4721.12 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 276781 0 0 0 471753 359 0 0 19 0 5 0 991233332 3065090048 680485 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=2993252 CPUtime=4719.98 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 180918 0 0 0 471696 302 0 0 25 0 5 0 991233349 3065090048 680485 33554432000 4194304 5787044 140736661199632 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18884.6
Current children cumulated vsize (KiB) 3001952

[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 20900
/proc/meminfo: memFree=21742552/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=2994404 CPUtime=19124.6 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 842495 0 0 0 1911509 951 0 0 18 0 5 0 991233278 3066269696 686730 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 748601 686730 417 389 0 744351 0
[pid=20756/tid=20758] ppid=20755 vsize=2994404 CPUtime=4781.52 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 170340 0 0 0 478024 128 0 0 21 0 5 0 991233311 3066269696 686730 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591573 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=2994404 CPUtime=4781.44 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 156667 0 0 0 478008 136 0 0 25 0 5 0 991233319 3066269696 686730 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=2994404 CPUtime=4781.12 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 280640 0 0 0 477746 366 0 0 20 0 5 0 991233332 3066269696 686730 33554432000 4194304 5787044 140736661199632 18446744073709551615 5576478 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=2994404 CPUtime=4779.97 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 182842 0 0 0 477683 314 0 0 25 0 5 0 991233349 3066269696 686730 33554432000 4194304 5787044 140736661199632 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19124.6
Current children cumulated vsize (KiB) 3003104

[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 20902
/proc/meminfo: memFree=21723396/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=2994916 CPUtime=19364.6 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 847678 0 0 0 1935494 961 0 0 18 0 5 0 991233278 3066793984 691414 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 748729 691414 417 389 0 744479 0
[pid=20756/tid=20758] ppid=20755 vsize=2994916 CPUtime=4841.51 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 170525 0 0 0 484023 128 0 0 25 0 5 0 991233311 3066793984 691414 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=2994916 CPUtime=4841.4 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 157438 0 0 0 484004 136 0 0 25 0 5 0 991233319 3066793984 691414 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=2994916 CPUtime=4841.12 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 282688 0 0 0 483741 371 0 0 25 0 5 0 991233332 3066793984 691414 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=2994916 CPUtime=4839.97 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 185021 0 0 0 483677 320 0 0 25 0 5 0 991233349 3066793984 691414 33554432000 4194304 5787044 140736661199632 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19364.5
Current children cumulated vsize (KiB) 3003616

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 20903
/proc/meminfo: memFree=21721488/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=3060452 CPUtime=19604.6 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 848118 0 0 0 1959494 962 0 0 18 0 5 0 991233278 3133902848 691854 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 765113 691854 417 389 0 760863 0
[pid=20756/tid=20758] ppid=20755 vsize=3060452 CPUtime=4901.52 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 170673 0 0 0 490024 128 0 0 25 0 5 0 991233311 3133902848 691854 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=3060452 CPUtime=4901.4 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 157438 0 0 0 490004 136 0 0 25 0 5 0 991233319 3133902848 691854 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=3060452 CPUtime=4901.12 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 282697 0 0 0 489741 371 0 0 25 0 5 0 991233332 3133902848 691854 33554432000 4194304 5787044 140736661199632 18446744073709551615 5584992 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=3060452 CPUtime=4899.97 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 185304 0 0 0 489677 320 0 0 25 0 5 0 991233349 3133902848 691854 33554432000 4194304 5787044 140736661199632 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19604.6
Current children cumulated vsize (KiB) 3069152

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 20905
/proc/meminfo: memFree=21719572/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=3060452 CPUtime=19844.6 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 848572 0 0 0 1983494 962 0 0 18 0 5 0 991233278 3133902848 692308 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 765113 692308 417 389 0 760863 0
[pid=20756/tid=20758] ppid=20755 vsize=3060452 CPUtime=4961.52 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 170971 0 0 0 496024 128 0 0 25 0 5 0 991233311 3133902848 692308 33554432000 4194304 5787044 140736661199632 18446744073709551615 5586761 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=3060452 CPUtime=4961.4 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 157438 0 0 0 496004 136 0 0 25 0 5 0 991233319 3133902848 692308 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=3060452 CPUtime=4961.12 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 282700 0 0 0 495741 371 0 0 25 0 5 0 991233332 3133902848 692308 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=3060452 CPUtime=4959.97 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 185457 0 0 0 495676 321 0 0 25 0 5 0 991233349 3133902848 692308 33554432000 4194304 5787044 140736661199632 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19844.6
Current children cumulated vsize (KiB) 3069152

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 20907
/proc/meminfo: memFree=21704500/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=3073832 CPUtime=20084.6 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 852478 0 0 0 2007492 965 0 0 18 0 5 0 991233278 3147603968 696214 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 768458 696214 417 389 0 764208 0
[pid=20756/tid=20758] ppid=20755 vsize=3073832 CPUtime=5021.52 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 171202 0 0 0 502024 128 0 0 25 0 5 0 991233311 3147603968 696214 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=3073832 CPUtime=5021.41 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 157439 0 0 0 502005 136 0 0 25 0 5 0 991233319 3147603968 696214 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=3073832 CPUtime=5021.12 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 286041 0 0 0 501739 373 0 0 25 0 5 0 991233332 3147603968 696214 33554432000 4194304 5787044 140736661199632 18446744073709551615 5592012 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=3073832 CPUtime=5019.98 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 185790 0 0 0 501677 321 0 0 25 0 5 0 991233349 3147603968 696214 33554432000 4194304 5787044 140736661199632 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20084.6
Current children cumulated vsize (KiB) 3082532

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 20908
/proc/meminfo: memFree=21685468/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=3087468 CPUtime=20324.6 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 857110 0 0 0 2031485 973 0 0 18 0 5 0 991233278 3161567232 700846 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 771867 700846 417 389 0 767617 0
[pid=20756/tid=20758] ppid=20755 vsize=3087468 CPUtime=5081.52 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 171432 0 0 0 508024 128 0 0 21 0 5 0 991233311 3161567232 700846 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=3087468 CPUtime=5081.41 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 157439 0 0 0 508005 136 0 0 25 0 5 0 991233319 3161567232 700846 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=3087468 CPUtime=5081.13 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 289431 0 0 0 507736 377 0 0 18 0 5 0 991233332 3161567232 700846 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=3087468 CPUtime=5079.98 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 186802 0 0 0 507672 326 0 0 25 0 5 0 991233349 3161567232 700846 33554432000 4194304 5787044 140736661199632 18446744073709551615 5527205 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20324.6
Current children cumulated vsize (KiB) 3096168



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 20909
/proc/meminfo: memFree=21679004/32950928 swapFree=67054844/67111528
[pid=20755] ppid=20753 vsize=8700 CPUtime=0 cores=0-7
/proc/20755/stat : 20755 (priss.sh) S 20753 20755 20091 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 991233278 8908800 251 33554432000 4194304 4922060 140734645898784 18446744073709551615 231895309445 0 65536 4100 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/20755/statm: 2175 251 211 178 0 68 0
[pid=20756] ppid=20755 vsize=3091296 CPUtime=20395.4 cores=0-7
/proc/20756/stat : 20756 (priss) S 20755 20755 20091 0 -1 4202496 858715 0 0 0 2038563 978 0 0 18 0 5 0 991233278 3165487104 702451 33554432000 4194304 5787044 140736661199632 18446744073709551615 231907314097 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/20756/statm: 772824 702451 417 389 0 768574 0
[pid=20756/tid=20758] ppid=20755 vsize=3091296 CPUtime=5099.23 cores=0-7
/proc/20756/task/20758/stat : 20758 (priss) R 20755 20755 20091 0 -1 4202560 171487 0 0 0 509795 128 0 0 25 0 5 0 991233311 3165487104 702451 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=20756/tid=20759] ppid=20755 vsize=3091296 CPUtime=5099.12 cores=0-7
/proc/20756/task/20759/stat : 20759 (priss) R 20755 20755 20091 0 -1 4202560 157439 0 0 0 509775 137 0 0 25 0 5 0 991233319 3165487104 702451 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20756/tid=20760] ppid=20755 vsize=3091296 CPUtime=5098.83 cores=0-7
/proc/20756/task/20760/stat : 20760 (priss) R 20755 20755 20091 0 -1 4202560 290403 0 0 0 509505 378 0 0 21 0 5 0 991233332 3165487104 702451 33554432000 4194304 5787044 140736661199632 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=20756/tid=20761] ppid=20755 vsize=3091296 CPUtime=5097.69 cores=0-7
/proc/20756/task/20761/stat : 20761 (priss) R 20755 20755 20091 0 -1 4202560 187380 0 0 0 509440 329 0 0 25 0 5 0 991233349 3165487104 702451 33554432000 4194304 5787044 140736661199632 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20395.4
Current children cumulated vsize (KiB) 3099996

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 20755 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 20395.4
#
# 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): 20395.4
CPU user time (s): 20385.6
CPU system time (s): 9.78
CPU usage (%): 399.909
Max. virtual memory (cumulated for all children) (KiB): 3099996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331
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 8.35973 second user time and 19.2871 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-14 02:07:06
IDJOB=3499719
IDBENCH=88217
IDSOLVER=1994
FILE ID=node114/3499719-1308010026
RUNJOBID= node114-1307998975-20105
PBS_JOBID= 13559839
Free space on /var/tmp= 2868 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499719-1308010026/watcher-3499719-1308010026 -o /var/tmp/evaluation-result-3499719-1308010026/solver-3499719-1308010026 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499719-1308010026.cnf 1972815953 40000 31000 8

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

MD5SUM BENCH= b23c52475e3d098cb9d5a92c025d6982
RANDOM SEED=1972815953

node114.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.848
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.69
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.848
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	: 5226.15
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.848
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.74
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.848
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.73
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.848
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.75
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.848
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.75
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.848
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.74
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.848
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:      24492908 kB
Buffers:         70336 kB
Cached:        8005064 kB
SwapCached:      10332 kB
Active:         184268 kB
Inactive:      7909856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24492908 kB
SwapTotal:    67111528 kB
SwapFree:     67054844 kB
Dirty:           16300 kB
Writeback:           0 kB
AnonPages:       16808 kB
Mapped:          12552 kB
Slab:           297188 kB
PageTables:       3896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185344 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= 2868 MiB
End job on node114 at 2011-06-14 03:32:08