Trace number 3499717

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

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m47-q841.5-n45-p30-s84954709.cnf
MD5SUM556c58061360a1b195d9b2f28888af77
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.134978
Satisfiable
(Un)Satisfiability was proved
Number of variables2115
Number of clauses356340
Sum of the clauses size714705
Maximum clause length47
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2356295
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: 16053
0.00/0.08	c parsetime: 76706us
0.00/0.08	c parsed 356340 clauses with 2115 variables
0.00/0.10	c NW started thread 0 successfully (1115392320)
0.00/0.15	c NW started thread 1 successfully (1125882176)
0.00/0.19	c NW started thread 2 successfully (1093052736)
0.00/0.24	c NW started thread 3 successfully (1136372032)
87.13/22.04	c preprocessor returned 10006 variables
87.13/22.04	c preprocessing returned UNKNOWN
87.13/22.04	c PP set 0 variables
87.13/22.04	c pp time: 21943121us (21s)
87.90/22.25	c preprocessor returned 10006 variables
87.90/22.25	c preprocessing returned UNKNOWN
87.90/22.25	c PP set 0 variables
87.90/22.25	c pp time: 22060046us (22s)
93.89/23.70	c preprocessor returned 10006 variables
93.89/23.70	c preprocessing returned UNKNOWN
93.89/23.70	c PP set 0 variables
93.89/23.70	c pp time: 23553582us (23s)
115.49/29.18	c preprocessor returned 30014 variables
115.49/29.18	c preprocessing returned UNKNOWN
115.49/29.18	c PP set 0 variables
115.49/29.18	c pp time: 28936997us (28s)
10748.99/2687.65	c HTE
10967.56/2742.31	c subsumption
11666.27/2917.08	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 /tmp/evaluation-result-3499717-1308009989/watcher-3499717-1308009989 -o /tmp/evaluation-result-3499717-1308009989/solver-3499717-1308009989 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499717-1308009989.cnf 1214107412 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.98 1/168 16052
/proc/meminfo: memFree=31073960/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0

[startup+0.0819419 s]
/proc/loadavg: 4.00 4.00 3.98 1/168 16052
/proc/meminfo: memFree=31073960/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100929 s]
/proc/loadavg: 4.00 4.00 3.98 1/168 16052
/proc/meminfo: memFree=31073960/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300915 s]
/proc/loadavg: 4.00 4.00 3.98 1/168 16052
/proc/meminfo: memFree=31073960/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700821 s]
/proc/loadavg: 4.00 4.00 3.98 1/168 16052
/proc/meminfo: memFree=31073960/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50068 s]
/proc/loadavg: 4.00 4.00 3.98 5/174 16058
/proc/meminfo: memFree=30958124/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=348084 CPUtime=5.11 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 58198 0 0 0 497 14 0 0 18 0 5 0 912597534 356438016 28822 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 87021 28822 349 389 0 82771 0
[pid=16053/tid=16055] ppid=16052 vsize=348084 CPUtime=1.32 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 10411 0 0 0 127 5 0 0 18 0 5 0 912597544 356438016 28822 33554432000 4194304 5787044 140736416339920 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=348084 CPUtime=1.3 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 9505 0 0 0 127 3 0 0 19 0 5 0 912597548 356438016 28822 33554432000 4194304 5787044 140736416339920 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=348084 CPUtime=1.23 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 10228 0 0 0 120 3 0 0 19 0 5 0 912597553 356438016 28822 33554432000 4194304 5787044 140736416339920 18446744073709551615 4336744 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=348084 CPUtime=1.02 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 11016 0 0 0 102 0 0 0 18 0 5 0 912597558 356438016 28822 33554432000 4194304 5787044 140736416339920 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.11
Current children cumulated vsize (KiB) 356784

[startup+3.10041 s]
/proc/loadavg: 4.00 4.00 3.98 5/174 16059
/proc/meminfo: memFree=30958000/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=342516 CPUtime=11.51 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 59920 0 0 0 1137 14 0 0 18 0 5 0 912597534 350736384 29152 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 85629 29152 350 389 0 81379 0
[pid=16053/tid=16055] ppid=16052 vsize=342516 CPUtime=2.92 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 11613 0 0 0 287 5 0 0 18 0 5 0 912597544 350736384 29152 33554432000 4194304 5787044 140736416339920 18446744073709551615 4340054 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=342516 CPUtime=2.9 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 10024 0 0 0 287 3 0 0 23 0 5 0 912597548 350736384 29152 33554432000 4194304 5787044 140736416339920 18446744073709551615 4339899 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=342516 CPUtime=2.83 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 10228 0 0 0 280 3 0 0 18 0 5 0 912597553 350736384 29152 33554432000 4194304 5787044 140736416339920 18446744073709551615 4340028 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=342516 CPUtime=2.62 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 11017 0 0 0 262 0 0 0 21 0 5 0 912597558 350736384 29152 33554432000 4194304 5787044 140736416339920 18446744073709551615 4340052 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.51
Current children cumulated vsize (KiB) 351216

[startup+6.30086 s]
/proc/loadavg: 4.00 4.00 3.98 5/174 16059
/proc/meminfo: memFree=30956764/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=342516 CPUtime=24.31 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 59943 0 0 0 2417 14 0 0 18 0 5 0 912597534 350736384 29175 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 85629 29175 350 389 0 81379 0
[pid=16053/tid=16055] ppid=16052 vsize=342516 CPUtime=6.12 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 11613 0 0 0 607 5 0 0 25 0 5 0 912597544 350736384 29175 33554432000 4194304 5787044 140736416339920 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=342516 CPUtime=6.1 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 10047 0 0 0 607 3 0 0 25 0 5 0 912597548 350736384 29175 33554432000 4194304 5787044 140736416339920 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=342516 CPUtime=6.03 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 10228 0 0 0 600 3 0 0 25 0 5 0 912597553 350736384 29175 33554432000 4194304 5787044 140736416339920 18446744073709551615 4336688 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=342516 CPUtime=5.82 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 11017 0 0 0 582 0 0 0 25 0 5 0 912597558 350736384 29175 33554432000 4194304 5787044 140736416339920 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.31
Current children cumulated vsize (KiB) 351216

[startup+12.7008 s]
/proc/loadavg: 4.00 4.00 3.98 5/174 16060
/proc/meminfo: memFree=30957656/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=342516 CPUtime=49.92 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 61244 0 0 0 4977 15 0 0 18 0 5 0 912597534 350736384 30476 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 85629 30476 352 389 0 81379 0
[pid=16053/tid=16055] ppid=16052 vsize=342516 CPUtime=12.52 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 12638 0 0 0 1247 5 0 0 25 0 5 0 912597544 350736384 30476 33554432000 4194304 5787044 140736416339920 18446744073709551615 4337006 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=342516 CPUtime=12.5 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 10047 0 0 0 1247 3 0 0 25 0 5 0 912597548 350736384 30476 33554432000 4194304 5787044 140736416339920 18446744073709551615 4336739 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=342516 CPUtime=12.43 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 10228 0 0 0 1240 3 0 0 25 0 5 0 912597553 350736384 30476 33554432000 4194304 5787044 140736416339920 18446744073709551615 4340056 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=342516 CPUtime=12.22 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 11293 0 0 0 1222 0 0 0 25 0 5 0 912597558 350736384 30476 33554432000 4194304 5787044 140736416339920 18446744073709551615 4336688 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.92
Current children cumulated vsize (KiB) 351216

[startup+25.5006 s]
/proc/loadavg: 4.00 4.00 3.98 5/174 16061
/proc/meminfo: memFree=30867596/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=365004 CPUtime=101.09 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 93106 0 0 0 10088 21 0 0 18 0 5 0 912597534 373764096 52290 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 91251 52290 404 389 0 87001 0
[pid=16053/tid=16055] ppid=16052 vsize=365004 CPUtime=25.32 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 25699 0 0 0 2523 9 0 0 18 0 5 0 912597544 373764096 52290 33554432000 4194304 5787044 140736416339920 18446744073709551615 5576621 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=365004 CPUtime=25.29 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 18950 0 0 0 2524 5 0 0 25 0 5 0 912597548 373764096 52290 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=365004 CPUtime=25.22 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 17855 0 0 0 2518 4 0 0 18 0 5 0 912597553 373764096 52290 33554432000 4194304 5787044 140736416339920 18446744073709551615 5586853 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=365004 CPUtime=25.01 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 13564 0 0 0 2501 0 0 0 25 0 5 0 912597558 373764096 52290 33554432000 4194304 5787044 140736416339920 18446744073709551615 242970244052 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.09
Current children cumulated vsize (KiB) 373704

[startup+51.1012 s]
/proc/loadavg: 4.00 4.00 3.98 5/174 16061
/proc/meminfo: memFree=30854068/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=368604 CPUtime=203.46 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 97616 0 0 0 20322 24 0 0 18 0 5 0 912597534 377450496 56096 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 92151 56096 417 389 0 87901 0
[pid=16053/tid=16055] ppid=16052 vsize=368604 CPUtime=50.91 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 26194 0 0 0 5082 9 0 0 18 0 5 0 912597544 377450496 56096 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591529 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=368604 CPUtime=50.88 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 19098 0 0 0 5083 5 0 0 18 0 5 0 912597548 377450496 56096 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=368604 CPUtime=50.82 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 17926 0 0 0 5077 5 0 0 25 0 5 0 912597553 377450496 56096 33554432000 4194304 5787044 140736416339920 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=368604 CPUtime=50.59 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 17360 0 0 0 5058 1 0 0 25 0 5 0 912597558 377450496 56096 33554432000 4194304 5787044 140736416339920 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.46
Current children cumulated vsize (KiB) 377304

[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.98 5/174 16063
/proc/meminfo: memFree=30806744/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=390700 CPUtime=408.21 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 109321 0 0 0 40785 36 0 0 18 0 5 0 912597534 400076800 67714 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 97675 67714 417 389 0 93425 0
[pid=16053/tid=16055] ppid=16052 vsize=390700 CPUtime=102.11 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 30485 0 0 0 10199 12 0 0 18 0 5 0 912597544 400076800 67714 33554432000 4194304 5787044 140736416339920 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=390700 CPUtime=102.08 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 20408 0 0 0 10201 7 0 0 18 0 5 0 912597548 400076800 67714 33554432000 4194304 5787044 140736416339920 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=390700 CPUtime=102.01 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 19774 0 0 0 10193 8 0 0 25 0 5 0 912597553 400076800 67714 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=390700 CPUtime=101.76 cores=0-7

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

/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 140892 0 0 0 472059 139 0 0 19 0 5 0 912597548 2601811968 585752 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=2540832 CPUtime=4721.96 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 136096 0 0 0 472039 157 0 0 25 0 5 0 912597553 2601811968 585752 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=2540832 CPUtime=4721.29 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 192793 0 0 0 471704 425 0 0 25 0 5 0 912597558 2601811968 585752 33554432000 4194304 5787044 140736416339920 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18887.5
Current children cumulated vsize (KiB) 2549532

[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/174 16199
/proc/meminfo: memFree=28709312/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=2546424 CPUtime=19127.5 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 655669 0 0 0 1911834 915 0 0 18 0 5 0 912597534 2607538176 590797 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 636606 590797 417 389 0 632356 0
[pid=16053/tid=16055] ppid=16052 vsize=2546424 CPUtime=4782.03 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 165151 0 0 0 478012 191 0 0 18 0 5 0 912597544 2607538176 590797 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=2546424 CPUtime=4781.97 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 143192 0 0 0 478058 139 0 0 25 0 5 0 912597548 2607538176 590797 33554432000 4194304 5787044 140736416339920 18446744073709551615 242970248147 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=2546424 CPUtime=4781.96 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 137495 0 0 0 478038 158 0 0 25 0 5 0 912597553 2607538176 590797 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=2546424 CPUtime=4781.29 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 192793 0 0 0 477704 425 0 0 25 0 5 0 912597558 2607538176 590797 33554432000 4194304 5787044 140736416339920 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19127.5
Current children cumulated vsize (KiB) 2555124

[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/174 16201
/proc/meminfo: memFree=28703972/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=2556740 CPUtime=19367.5 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 658923 0 0 0 1935829 918 0 0 18 0 5 0 912597534 2618101760 592002 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 639185 592002 417 389 0 634935 0
[pid=16053/tid=16055] ppid=16052 vsize=2556740 CPUtime=4842.03 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 167858 0 0 0 484011 192 0 0 25 0 5 0 912597544 2618101760 592002 33554432000 4194304 5787044 140736416339920 18446744073709551615 242970209012 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=2556740 CPUtime=4841.95 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 143192 0 0 0 484056 139 0 0 25 0 5 0 912597548 2618101760 592002 33554432000 4194304 5787044 140736416339920 18446744073709551615 5590446 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=2556740 CPUtime=4841.96 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 138042 0 0 0 484037 159 0 0 25 0 5 0 912597553 2618101760 592002 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=2556740 CPUtime=4841.29 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 192793 0 0 0 483704 425 0 0 18 0 5 0 912597558 2618101760 592002 33554432000 4194304 5787044 140736416339920 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19367.5
Current children cumulated vsize (KiB) 2565440

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/174 16203
/proc/meminfo: memFree=28698996/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=2556740 CPUtime=19607.5 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 661285 0 0 0 1959827 919 0 0 18 0 5 0 912597534 2618101760 593371 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 639185 593371 417 389 0 634935 0
[pid=16053/tid=16055] ppid=16052 vsize=2556740 CPUtime=4902.03 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 170174 0 0 0 490010 193 0 0 25 0 5 0 912597544 2618101760 593371 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=2556740 CPUtime=4901.95 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 143192 0 0 0 490055 140 0 0 25 0 5 0 912597548 2618101760 593371 33554432000 4194304 5787044 140736416339920 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=2556740 CPUtime=4901.97 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 138088 0 0 0 490037 160 0 0 25 0 5 0 912597553 2618101760 593371 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=2556740 CPUtime=4901.28 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 192793 0 0 0 489703 425 0 0 25 0 5 0 912597558 2618101760 593371 33554432000 4194304 5787044 140736416339920 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19607.5
Current children cumulated vsize (KiB) 2565440

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/174 16205
/proc/meminfo: memFree=28698612/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=2556740 CPUtime=19847.5 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 661330 0 0 0 1983827 920 0 0 18 0 5 0 912597534 2618101760 593416 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 639185 593416 417 389 0 634935 0
[pid=16053/tid=16055] ppid=16052 vsize=2556740 CPUtime=4962.03 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 170174 0 0 0 496010 193 0 0 25 0 5 0 912597544 2618101760 593416 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=2556740 CPUtime=4961.95 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 143193 0 0 0 496055 140 0 0 25 0 5 0 912597548 2618101760 593416 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=2556740 CPUtime=4961.97 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 138131 0 0 0 496037 160 0 0 25 0 5 0 912597553 2618101760 593416 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=2556740 CPUtime=4961.29 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 192794 0 0 0 495704 425 0 0 25 0 5 0 912597558 2618101760 593416 33554432000 4194304 5787044 140736416339920 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19847.5
Current children cumulated vsize (KiB) 2565440

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/174 16205
/proc/meminfo: memFree=28698232/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=2556740 CPUtime=20087.5 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 661445 0 0 0 2007827 920 0 0 18 0 5 0 912597534 2618101760 593531 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 639185 593531 417 389 0 634935 0
[pid=16053/tid=16055] ppid=16052 vsize=2556740 CPUtime=5022.03 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 170175 0 0 0 502010 193 0 0 25 0 5 0 912597544 2618101760 593531 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=2556740 CPUtime=5021.95 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 143193 0 0 0 502055 140 0 0 25 0 5 0 912597548 2618101760 593531 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=2556740 CPUtime=5021.97 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 138243 0 0 0 502037 160 0 0 25 0 5 0 912597553 2618101760 593531 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=2556740 CPUtime=5021.29 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 192796 0 0 0 501704 425 0 0 25 0 5 0 912597558 2618101760 593531 33554432000 4194304 5787044 140736416339920 18446744073709551615 4220930 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20087.5
Current children cumulated vsize (KiB) 2565440

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/174 16207
/proc/meminfo: memFree=28697724/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=2556740 CPUtime=20327.5 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 661548 0 0 0 2031827 920 0 0 18 0 5 0 912597534 2618101760 593634 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 639185 593634 417 389 0 634935 0
[pid=16053/tid=16055] ppid=16052 vsize=2556740 CPUtime=5082.03 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 170176 0 0 0 508010 193 0 0 25 0 5 0 912597544 2618101760 593634 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591623 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=2556740 CPUtime=5081.95 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 143194 0 0 0 508055 140 0 0 25 0 5 0 912597548 2618101760 593634 33554432000 4194304 5787044 140736416339920 18446744073709551615 5586868 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=2556740 CPUtime=5081.97 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 138343 0 0 0 508037 160 0 0 25 0 5 0 912597553 2618101760 593634 33554432000 4194304 5787044 140736416339920 18446744073709551615 4254900 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=2556740 CPUtime=5081.29 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 192797 0 0 0 507704 425 0 0 25 0 5 0 912597558 2618101760 593634 33554432000 4194304 5787044 140736416339920 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20327.5
Current children cumulated vsize (KiB) 2565440



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 4.00 5/174 16207
/proc/meminfo: memFree=28697720/32951132 swapFree=67052544/67111528
[pid=16052] ppid=16050 vsize=8700 CPUtime=0 cores=0-7
/proc/16052/stat : 16052 (priss.sh) S 16050 16052 15178 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 912597533 8908800 251 33554432000 4194304 4922060 140735381675568 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/16052/statm: 2175 251 211 178 0 68 0
[pid=16053] ppid=16052 vsize=2556740 CPUtime=20398.3 cores=0-7
/proc/16053/stat : 16053 (priss) S 16052 16052 15178 0 -1 4202496 661576 0 0 0 2038910 920 0 0 18 0 5 0 912597534 2618101760 593662 33554432000 4194304 5787044 140736416339920 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/16053/statm: 639185 593662 417 389 0 634935 0
[pid=16053/tid=16055] ppid=16052 vsize=2556740 CPUtime=5099.74 cores=0-7
/proc/16053/task/16055/stat : 16055 (priss) R 16052 16052 15178 0 -1 4202560 170176 0 0 0 509781 193 0 0 25 0 5 0 912597544 2618101760 593662 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16052 vsize=2556740 CPUtime=5099.66 cores=0-7
/proc/16053/task/16056/stat : 16056 (priss) R 16052 16052 15178 0 -1 4202560 143194 0 0 0 509826 140 0 0 25 0 5 0 912597548 2618101760 593662 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591751 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16052 vsize=2556740 CPUtime=5099.67 cores=0-7
/proc/16053/task/16057/stat : 16057 (priss) R 16052 16052 15178 0 -1 4202560 138371 0 0 0 509807 160 0 0 25 0 5 0 912597553 2618101760 593662 33554432000 4194304 5787044 140736416339920 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=16053/tid=16058] ppid=16052 vsize=2556740 CPUtime=5098.99 cores=0-7
/proc/16053/task/16058/stat : 16058 (priss) R 16052 16052 15178 0 -1 4202560 192797 0 0 0 509474 425 0 0 25 0 5 0 912597558 2618101760 593662 33554432000 4194304 5787044 140736416339920 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20398.3
Current children cumulated vsize (KiB) 2565440

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 16052 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 20398.3
#
# 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): 20398.3
CPU user time (s): 20389.1
CPU system time (s): 9.2
CPU usage (%): 399.965
Max. virtual memory (cumulated for all children) (KiB): 2565440

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= 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= 2

runsolver used 8.10077 second user time and 18.7821 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-14 02:06:29
IDJOB=3499717
IDBENCH=88216
IDSOLVER=1994
FILE ID=node128/3499717-1308009989
RUNJOBID= node128-1307989144-15192
PBS_JOBID= 13559821
Free space on /tmp= 74040 MiB

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

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

MD5SUM BENCH= 556c58061360a1b195d9b2f28888af77
RANDOM SEED=1214107412

node128.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.852
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.70
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.852
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	: 5332.75
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.852
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.82
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.852
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.75
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.852
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.852
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.852
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.82
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.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      31074008 kB
Buffers:        334960 kB
Cached:        1292276 kB
SwapCached:      11368 kB
Active:         618836 kB
Inactive:      1027052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      31074008 kB
SwapTotal:    67111528 kB
SwapFree:     67052544 kB
Dirty:            6232 kB
Writeback:           0 kB
AnonPages:       17344 kB
Mapped:           9728 kB
Slab:           164632 kB
PageTables:       4192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   186956 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74036 MiB
End job on node128 at 2011-06-14 03:31:31