Trace number 3499189

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
priss 1.0? (TO) 20399.4 5100.02

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v1375c111739g6.cnf
MD5SUMc7c04151ac14a13eb4a03259d055e119
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1375
Number of clauses111739
Sum of the clauses size224743
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2111684
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 555

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: 17081
0.00/0.02	c parsetime: 21651us
0.00/0.02	c parsed 111739 clauses with 1375 variables
0.00/0.03	c NW started thread 0 successfully (1094760768)
0.00/0.04	c NW started thread 1 successfully (1105250624)
0.00/0.06	c NW started thread 2 successfully (1117641024)
0.00/0.08	c NW started thread 3 successfully (1128130880)
13.75/3.52	c preprocessor returned 10007 variables
13.75/3.52	c preprocessing returned UNKNOWN
13.75/3.52	c PP set 0 variables
13.75/3.52	c pp time: 3487707us (3s)
13.75/3.54	c preprocessor returned 10007 variables
13.75/3.54	c preprocessing returned UNKNOWN
13.75/3.54	c PP set 0 variables
13.75/3.54	c pp time: 3482969us (3s)
14.55/3.76	c preprocessor returned 10007 variables
14.55/3.76	c preprocessing returned UNKNOWN
14.55/3.76	c PP set 0 variables
14.55/3.76	c pp time: 3714004us (3s)
38.56/9.80	c preprocessor returned 30010 variables
38.56/9.80	c preprocessing returned UNKNOWN
38.56/9.80	c PP set 0 variables
38.56/9.80	c pp time: 9719821us (9s)
8071.06/2017.91	c HTE
8113.03/2028.45	c subsumption
8425.03/2106.46	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-3499189-1307988777/watcher-3499189-1307988777 -o /tmp/evaluation-result-3499189-1307988777/solver-3499189-1307988777 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499189-1307988777.cnf 2126375452 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: 3.79 2.72 2.22 1/170 17079
/proc/meminfo: memFree=32169684/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0

[startup+0.048791 s]
/proc/loadavg: 3.79 2.72 2.22 1/170 17079
/proc/meminfo: memFree=32169684/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100809 s]
/proc/loadavg: 3.79 2.72 2.22 1/170 17079
/proc/meminfo: memFree=32169684/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300772 s]
/proc/loadavg: 3.79 2.72 2.22 1/170 17079
/proc/meminfo: memFree=32169684/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700682 s]
/proc/loadavg: 3.79 2.72 2.22 1/170 17079
/proc/meminfo: memFree=32169684/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50053 s]
/proc/loadavg: 3.79 2.72 2.22 5/176 17086
/proc/meminfo: memFree=32118076/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=289124 CPUtime=5.76 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 18921 0 0 0 572 4 0 0 18 0 5 0 910475647 296062976 12854 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 72281 12854 350 389 0 68031 0
[pid=17081/tid=17083] ppid=17079 vsize=289124 CPUtime=1.44 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 3190 0 0 0 144 0 0 0 19 0 5 0 910475650 296062976 12854 33554432000 4194304 5787044 140733601248640 18446744073709551615 4336181 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=289124 CPUtime=1.43 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 3661 0 0 0 142 1 0 0 19 0 5 0 910475652 296062976 12854 33554432000 4194304 5787044 140733601248640 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=289124 CPUtime=1.41 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 3734 0 0 0 140 1 0 0 19 0 5 0 910475653 296062976 12854 33554432000 4194304 5787044 140733601248640 18446744073709551615 4336159 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=289124 CPUtime=1.37 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 2091 0 0 0 137 0 0 0 19 0 5 0 910475656 296062976 12854 33554432000 4194304 5787044 140733601248640 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 297824

[startup+3.10025 s]
/proc/loadavg: 3.81 2.74 2.23 5/176 17086
/proc/meminfo: memFree=32115224/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=297572 CPUtime=12.15 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 21869 0 0 0 1211 4 0 0 18 0 5 0 910475647 304713728 15431 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 74393 15431 355 389 0 70143 0
[pid=17081/tid=17083] ppid=17079 vsize=297572 CPUtime=3.04 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 3562 0 0 0 304 0 0 0 18 0 5 0 910475650 304713728 15431 33554432000 4194304 5787044 140733601248640 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=297572 CPUtime=3.03 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 4377 0 0 0 302 1 0 0 24 0 5 0 910475652 304713728 15431 33554432000 4194304 5787044 140733601248640 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=297572 CPUtime=3 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 4704 0 0 0 299 1 0 0 18 0 5 0 910475653 304713728 15431 33554432000 4194304 5787044 140733601248640 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=297572 CPUtime=2.97 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 2981 0 0 0 297 0 0 0 18 0 5 0 910475656 304713728 15431 33554432000 4194304 5787044 140733601248640 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 306272

[startup+6.3007 s]
/proc/loadavg: 3.81 2.74 2.23 5/176 17086
/proc/meminfo: memFree=32097796/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=297572 CPUtime=24.95 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 33192 0 0 0 2489 6 0 0 18 0 5 0 910475647 304713728 18495 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 74393 18495 404 389 0 70143 0
[pid=17081/tid=17083] ppid=17079 vsize=297572 CPUtime=6.25 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 6396 0 0 0 624 1 0 0 18 0 5 0 910475650 304713728 18495 33554432000 4194304 5787044 140733601248640 18446744073709551615 5588270 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=297572 CPUtime=6.23 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 8534 0 0 0 621 2 0 0 25 0 5 0 910475652 304713728 18495 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591719 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=297572 CPUtime=6.21 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 9036 0 0 0 619 2 0 0 18 0 5 0 910475653 304713728 18495 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591712 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=297572 CPUtime=6.17 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 2981 0 0 0 617 0 0 0 19 0 5 0 910475656 304713728 18495 33554432000 4194304 5787044 140733601248640 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 306272

[startup+12.7006 s]
/proc/loadavg: 3.83 2.78 2.25 5/176 17086
/proc/meminfo: memFree=32083284/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=305492 CPUtime=50.55 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 39537 0 0 0 5047 8 0 0 18 0 5 0 910475647 312823808 22244 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 76373 22244 417 389 0 72123 0
[pid=17081/tid=17083] ppid=17079 vsize=305492 CPUtime=12.64 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 7032 0 0 0 1263 1 0 0 18 0 5 0 910475650 312823808 22244 33554432000 4194304 5787044 140733601248640 18446744073709551615 5586761 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=305492 CPUtime=12.63 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 9086 0 0 0 1261 2 0 0 25 0 5 0 910475652 312823808 22244 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=305492 CPUtime=12.61 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 10659 0 0 0 1259 2 0 0 18 0 5 0 910475653 312823808 22244 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591083 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=305492 CPUtime=12.56 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 6515 0 0 0 1256 0 0 0 18 0 5 0 910475656 312823808 22244 33554432000 4194304 5787044 140733601248640 18446744073709551615 5534112 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 314192

[startup+25.5003 s]
/proc/loadavg: 3.86 2.82 2.27 5/176 17086
/proc/meminfo: memFree=32068540/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=309216 CPUtime=101.72 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 43511 0 0 0 10163 9 0 0 18 0 5 0 910475647 316637184 26218 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 77304 26218 417 389 0 73054 0
[pid=17081/tid=17083] ppid=17079 vsize=309216 CPUtime=25.45 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 8091 0 0 0 2543 2 0 0 18 0 5 0 910475650 316637184 26218 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=309216 CPUtime=25.43 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 9784 0 0 0 2541 2 0 0 25 0 5 0 910475652 316637184 26218 33554432000 4194304 5787044 140733601248640 18446744073709551615 5588168 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=309216 CPUtime=25.41 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 11956 0 0 0 2538 3 0 0 18 0 5 0 910475653 316637184 26218 33554432000 4194304 5787044 140733601248640 18446744073709551615 5586709 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=309216 CPUtime=25.34 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 7435 0 0 0 2534 0 0 0 18 0 5 0 910475656 316637184 26218 33554432000 4194304 5787044 140733601248640 18446744073709551615 5524792 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 317916

[startup+51.1008 s]
/proc/loadavg: 3.91 2.92 2.31 5/176 17087
/proc/meminfo: memFree=32032860/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=323432 CPUtime=204.09 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 52540 0 0 0 20394 15 0 0 18 0 5 0 910475647 331194368 35242 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 80858 35242 417 389 0 76608 0
[pid=17081/tid=17083] ppid=17079 vsize=323432 CPUtime=51.04 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 9741 0 0 0 5101 3 0 0 18 0 5 0 910475650 331194368 35242 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=323432 CPUtime=51.02 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 11908 0 0 0 5097 5 0 0 25 0 5 0 910475652 331194368 35242 33554432000 4194304 5787044 140733601248640 18446744073709551615 5585273 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=323432 CPUtime=51 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 13713 0 0 0 5096 4 0 0 18 0 5 0 910475653 331194368 35242 33554432000 4194304 5787044 140733601248640 18446744073709551615 5586765 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=323432 CPUtime=50.92 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 10933 0 0 0 5091 1 0 0 18 0 5 0 910475656 331194368 35242 33554432000 4194304 5787044 140733601248640 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 332132

[startup+102.307 s]
/proc/loadavg: 3.96 3.10 2.41 5/176 17088
/proc/meminfo: memFree=31976536/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=345236 CPUtime=408.88 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 66684 0 0 0 40859 29 0 0 18 0 5 0 910475647 353521664 49225 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 86309 49225 417 389 0 82059 0
[pid=17081/tid=17083] ppid=17079 vsize=345236 CPUtime=102.24 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 12596 0 0 0 10217 7 0 0 19 0 5 0 910475650 353521664 49225 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591034 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=345236 CPUtime=102.22 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 14608 0 0 0 10214 8 0 0 25 0 5 0 910475652 353521664 49225 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256168572 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=345236 CPUtime=102.2 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 17920 0 0 0 10213 7 0 0 19 0 5 0 910475653 353521664 49225 33554432000 4194304 5787044 140733601248640 18446744073709551615 5590624 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=345236 CPUtime=102.11 cores=0-7

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

/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 89827 0 0 0 472119 101 0 0 25 0 5 0 910475652 1723191296 362059 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=1682804 CPUtime=4722.19 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 99971 0 0 0 472089 130 0 0 25 0 5 0 910475653 1723191296 362059 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=1682804 CPUtime=4721.88 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 119167 0 0 0 472073 115 0 0 25 0 5 0 910475656 1723191296 362059 33554432000 4194304 5787044 140733601248640 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18888.6
Current children cumulated vsize (KiB) 1691504

[startup+4782.3 s]
/proc/loadavg: 4.01 4.01 3.91 5/176 17225
/proc/meminfo: memFree=30700820/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=1688628 CPUtime=19128.6 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 395835 0 0 0 1912410 445 0 0 18 0 5 0 910475647 1729155072 366778 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 422157 366778 418 389 0 417907 0
[pid=17081/tid=17083] ppid=17079 vsize=1688628 CPUtime=4782.19 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 77162 0 0 0 478127 92 0 0 25 0 5 0 910475650 1729155072 366778 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=1688628 CPUtime=4782.2 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 89993 0 0 0 478119 101 0 0 25 0 5 0 910475652 1729155072 366778 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=1688628 CPUtime=4782.19 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 101907 0 0 0 478085 134 0 0 25 0 5 0 910475653 1729155072 366778 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=1688628 CPUtime=4781.88 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 120528 0 0 0 478071 117 0 0 19 0 5 0 910475656 1729155072 366778 33554432000 4194304 5787044 140733601248640 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19128.5
Current children cumulated vsize (KiB) 1697328

[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 17227
/proc/meminfo: memFree=30681564/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=1696548 CPUtime=19368.6 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 400674 0 0 0 1936402 454 0 0 18 0 5 0 910475647 1737265152 371617 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 424137 371617 418 389 0 419887 0
[pid=17081/tid=17083] ppid=17079 vsize=1696548 CPUtime=4842.19 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 77408 0 0 0 484127 92 0 0 25 0 5 0 910475650 1737265152 371617 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=1696548 CPUtime=4842.19 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 91210 0 0 0 484118 101 0 0 25 0 5 0 910475652 1737265152 371617 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=1696548 CPUtime=4842.19 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 103892 0 0 0 484083 136 0 0 20 0 5 0 910475653 1737265152 371617 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591813 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=1696548 CPUtime=4841.88 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 121919 0 0 0 484065 123 0 0 25 0 5 0 910475656 1737265152 371617 33554432000 4194304 5787044 140733601248640 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19368.6
Current children cumulated vsize (KiB) 1705248

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 17228
/proc/meminfo: memFree=30666892/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=1704348 CPUtime=19608.6 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 404351 0 0 0 1960394 462 0 0 18 0 5 0 910475647 1745252352 375294 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 426087 375294 418 389 0 421837 0
[pid=17081/tid=17083] ppid=17079 vsize=1704348 CPUtime=4902.19 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 77711 0 0 0 490127 92 0 0 18 0 5 0 910475650 1745252352 375294 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=1704348 CPUtime=4902.2 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 91376 0 0 0 490118 102 0 0 25 0 5 0 910475652 1745252352 375294 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=1704348 CPUtime=4902.18 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 105825 0 0 0 490081 137 0 0 25 0 5 0 910475653 1745252352 375294 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=1704348 CPUtime=4901.88 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 123194 0 0 0 490060 128 0 0 25 0 5 0 910475656 1745252352 375294 33554432000 4194304 5787044 140733601248640 18446744073709551615 5528380 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19608.6
Current children cumulated vsize (KiB) 1713048

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 17230
/proc/meminfo: memFree=30648520/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=1716200 CPUtime=19848.6 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 408896 0 0 0 1984388 468 0 0 18 0 5 0 910475647 1757388800 379839 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 429050 379839 418 389 0 424800 0
[pid=17081/tid=17083] ppid=17079 vsize=1716200 CPUtime=4962.2 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 77946 0 0 0 496127 93 0 0 25 0 5 0 910475650 1757388800 379839 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=1716200 CPUtime=4962.19 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 91531 0 0 0 496117 102 0 0 25 0 5 0 910475652 1757388800 379839 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=1716200 CPUtime=4962.19 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 108756 0 0 0 496080 139 0 0 25 0 5 0 910475653 1757388800 379839 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=1716200 CPUtime=4961.88 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 124418 0 0 0 496056 132 0 0 25 0 5 0 910475656 1757388800 379839 33554432000 4194304 5787044 140733601248640 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19848.6
Current children cumulated vsize (KiB) 1724900

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 17231
/proc/meminfo: memFree=30626424/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=1723912 CPUtime=20088.6 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 414443 0 0 0 2008380 476 0 0 18 0 5 0 910475647 1765285888 385386 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 430978 385386 418 389 0 426728 0
[pid=17081/tid=17083] ppid=17079 vsize=1723912 CPUtime=5022.2 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 78163 0 0 0 502127 93 0 0 25 0 5 0 910475650 1765285888 385386 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=1723912 CPUtime=5022.2 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 92690 0 0 0 502116 104 0 0 25 0 5 0 910475652 1765285888 385386 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=1723912 CPUtime=5022.19 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 110692 0 0 0 502078 141 0 0 25 0 5 0 910475653 1765285888 385386 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=1723912 CPUtime=5021.88 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 126653 0 0 0 502051 137 0 0 18 0 5 0 910475656 1765285888 385386 33554432000 4194304 5787044 140733601248640 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20088.6
Current children cumulated vsize (KiB) 1732612

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 17233
/proc/meminfo: memFree=30602312/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=1731304 CPUtime=20328.6 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 420496 0 0 0 2032373 484 0 0 18 0 5 0 910475647 1772855296 391439 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 432826 391439 418 389 0 428576 0
[pid=17081/tid=17083] ppid=17079 vsize=1731304 CPUtime=5082.19 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 78577 0 0 0 508126 93 0 0 18 0 5 0 910475650 1772855296 391439 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=1731304 CPUtime=5082.2 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 95093 0 0 0 508114 106 0 0 25 0 5 0 910475652 1772855296 391439 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=1731304 CPUtime=5082.19 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 112515 0 0 0 508077 142 0 0 21 0 5 0 910475653 1772855296 391439 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=1731304 CPUtime=5081.88 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 128066 0 0 0 508048 140 0 0 25 0 5 0 910475656 1772855296 391439 33554432000 4194304 5787044 140733601248640 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20328.6
Current children cumulated vsize (KiB) 1740004



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 3.91 5/176 17233
/proc/meminfo: memFree=30595224/32951124 swapFree=67056676/67111528
[pid=17079] ppid=17077 vsize=8700 CPUtime=0 cores=0-7
/proc/17079/stat : 17079 (priss.sh) S 17077 17079 17003 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 910475647 8908800 252 33554432000 4194304 4922060 140735077950240 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/17079/statm: 2175 252 211 178 0 68 0
[pid=17081] ppid=17079 vsize=1798952 CPUtime=20399.4 cores=0-7
/proc/17081/stat : 17081 (priss) S 17079 17079 17003 0 -1 4202496 422238 0 0 0 2039452 487 0 0 18 0 5 0 910475647 1842126848 393181 33554432000 4194304 5787044 140733601248640 18446744073709551615 228256172465 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/17081/statm: 449738 393181 418 389 0 445488 0
[pid=17081/tid=17083] ppid=17079 vsize=1798952 CPUtime=5099.9 cores=0-7
/proc/17081/task/17083/stat : 17083 (priss) R 17079 17079 17003 0 -1 4202560 79037 0 0 0 509896 94 0 0 25 0 5 0 910475650 1842126848 393181 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=17081/tid=17084] ppid=17079 vsize=1798952 CPUtime=5099.91 cores=0-7
/proc/17081/task/17084/stat : 17084 (priss) R 17079 17079 17003 0 -1 4202560 95497 0 0 0 509884 107 0 0 25 0 5 0 910475652 1842126848 393181 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=17081/tid=17085] ppid=17079 vsize=1798952 CPUtime=5099.9 cores=0-7
/proc/17081/task/17085/stat : 17085 (priss) R 17079 17079 17003 0 -1 4202560 113031 0 0 0 509847 143 0 0 25 0 5 0 910475653 1842126848 393181 33554432000 4194304 5787044 140733601248640 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=17081/tid=17086] ppid=17079 vsize=1798952 CPUtime=5099.59 cores=0-7
/proc/17081/task/17086/stat : 17086 (priss) R 17079 17079 17003 0 -1 4202560 128428 0 0 0 509817 142 0 0 25 0 5 0 910475656 1842126848 393181 33554432000 4194304 5787044 140733601248640 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20399.4
Current children cumulated vsize (KiB) 1807652

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 17079 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 20399.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): 20399.4
CPU user time (s): 20394.5
CPU system time (s): 4.87
CPU usage (%): 399.987
Max. virtual memory (cumulated for all children) (KiB): 1807652

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

runsolver used 8.21175 second user time and 19.3831 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-13 20:12:57
IDJOB=3499189
IDBENCH=71315
IDSOLVER=1994
FILE ID=node136/3499189-1307988777
RUNJOBID= node136-1307988636-17017
PBS_JOBID= 13559811
Free space on /tmp= 74060 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v1375c111739g6.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3499189-1307988777/watcher-3499189-1307988777 -o /tmp/evaluation-result-3499189-1307988777/solver-3499189-1307988777 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499189-1307988777.cnf 2126375452 40000 31000 8

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

MD5SUM BENCH= c7c04151ac14a13eb4a03259d055e119
RANDOM SEED=2126375452

node136.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.809
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.61
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.809
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.809
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.75
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.809
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.76
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.809
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.809
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.83
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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32169856 kB
Buffers:        203636 kB
Cached:         360424 kB
SwapCached:       8544 kB
Active:         346084 kB
Inactive:       236428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32169856 kB
SwapTotal:    67111528 kB
SwapFree:     67056676 kB
Dirty:            2724 kB
Writeback:           0 kB
AnonPages:       16936 kB
Mapped:          12560 kB
Slab:           132660 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   183076 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 /tmp at the end= 74056 MiB
End job on node136 at 2011-06-13 21:37:59