Trace number 3499245

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

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes8.cnf
MD5SUMca42736a2fe4e8cf2cba6dd1668e0ad6
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark30.53
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

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: 6118
0.00/0.01	c parsetime: 8164us
0.00/0.01	c parsed 43649 clauses with 760 variables
0.00/0.01	c NW started thread 0 successfully (1093142848)
0.00/0.02	c NW started thread 1 successfully (1103632704)
0.00/0.02	c NW started thread 2 successfully (1114122560)
0.00/0.03	c NW started thread 3 successfully (1124612416)
5.05/1.30	c preprocessor returned 10003 variables
5.05/1.30	c preprocessing returned UNKNOWN
5.05/1.30	c PP set 0 variables
5.05/1.30	c pp time: 1291285us (1s)
5.05/1.31	c preprocessor returned 10003 variables
5.05/1.31	c preprocessing returned UNKNOWN
5.05/1.31	c PP set 0 variables
5.05/1.31	c pp time: 1291887us (1s)
5.05/1.31	c preprocessor returned 10003 variables
5.05/1.31	c preprocessing returned UNKNOWN
5.05/1.31	c PP set 0 variables
5.05/1.31	c pp time: 1291962us (1s)
49.44/12.44	c preprocessor returned 30041 variables
49.44/12.44	c preprocessing returned UNKNOWN
49.44/12.44	c PP set 0 variables
49.44/12.44	c pp time: 12413382us (12s)
7479.24/1869.97	c HTE
7519.63/1880.02	c subsumption
7706.42/1926.73	c simplified formula contains 0 unit clauses

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499245-1307993665/watcher-3499245-1307993665 -o /var/tmp/evaluation-result-3499245-1307993665/solver-3499245-1307993665 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499245-1307993665.cnf 1633178005 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.92 1/167 6117
/proc/meminfo: memFree=7168124/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0

[startup+0.09258 s]
/proc/loadavg: 4.00 4.00 3.92 1/167 6117
/proc/meminfo: memFree=7168124/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100576 s]
/proc/loadavg: 4.00 4.00 3.92 1/167 6117
/proc/meminfo: memFree=7168124/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.30054 s]
/proc/loadavg: 4.00 4.00 3.92 1/167 6117
/proc/meminfo: memFree=7168124/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700462 s]
/proc/loadavg: 4.00 4.00 3.92 1/167 6117
/proc/meminfo: memFree=7168124/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50031 s]
/proc/loadavg: 4.00 4.00 3.92 5/173 6123
/proc/meminfo: memFree=7132756/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=281248 CPUtime=5.85 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 15422 0 0 0 578 7 0 0 18 0 5 0 891782137 287997952 10175 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 70312 10175 404 389 0 66062 0
[pid=6118/tid=6120] ppid=6117 vsize=281248 CPUtime=1.46 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 3404 0 0 0 145 1 0 0 18 0 5 0 891782139 287997952 10175 33554432000 4194304 5787044 140737332292528 18446744073709551615 5592104 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=281248 CPUtime=1.45 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 3173 0 0 0 142 3 0 0 18 0 5 0 891782139 287997952 10175 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=281248 CPUtime=1.44 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 3063 0 0 0 142 2 0 0 18 0 5 0 891782140 287997952 10175 33554432000 4194304 5787044 140737332292528 18446744073709551615 4215360 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=281248 CPUtime=1.45 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 3009 0 0 0 145 0 0 0 20 0 5 0 891782140 287997952 10175 33554432000 4194304 5787044 140737332292528 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 289948

[startup+3.10101 s]
/proc/loadavg: 4.00 4.00 3.92 5/173 6123
/proc/meminfo: memFree=7123208/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=286148 CPUtime=12.25 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 17038 0 0 0 1217 8 0 0 18 0 5 0 891782137 293015552 11791 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 71537 11791 404 389 0 67287 0
[pid=6118/tid=6120] ppid=6117 vsize=286148 CPUtime=3.06 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 3610 0 0 0 305 1 0 0 18 0 5 0 891782139 293015552 11791 33554432000 4194304 5787044 140737332292528 18446744073709551615 5592867 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=286148 CPUtime=3.05 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 3367 0 0 0 302 3 0 0 18 0 5 0 891782139 293015552 11791 33554432000 4194304 5787044 140737332292528 18446744073709551615 4254464 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=286148 CPUtime=3.04 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 4277 0 0 0 302 2 0 0 18 0 5 0 891782140 293015552 11791 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738230965 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=286148 CPUtime=3.05 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 3011 0 0 0 305 0 0 0 25 0 5 0 891782140 293015552 11791 33554432000 4194304 5787044 140737332292528 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 294848

[startup+6.30041 s]
/proc/loadavg: 4.00 4.00 3.92 5/173 6123
/proc/meminfo: memFree=7119240/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=287336 CPUtime=25.04 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 17944 0 0 0 2496 8 0 0 18 0 5 0 891782137 294232064 12697 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 71834 12697 404 389 0 67584 0
[pid=6118/tid=6120] ppid=6117 vsize=287336 CPUtime=6.25 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 3904 0 0 0 624 1 0 0 18 0 5 0 891782139 294232064 12697 33554432000 4194304 5787044 140737332292528 18446744073709551615 5586640 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=287336 CPUtime=6.25 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 3664 0 0 0 622 3 0 0 19 0 5 0 891782139 294232064 12697 33554432000 4194304 5787044 140737332292528 18446744073709551615 4229327 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=287336 CPUtime=6.24 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 4592 0 0 0 621 3 0 0 18 0 5 0 891782140 294232064 12697 33554432000 4194304 5787044 140737332292528 18446744073709551615 5588034 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=287336 CPUtime=6.25 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 3011 0 0 0 625 0 0 0 25 0 5 0 891782140 294232064 12697 33554432000 4194304 5787044 140737332292528 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 296036

[startup+12.7012 s]
/proc/loadavg: 4.00 4.00 3.92 5/173 6123
/proc/meminfo: memFree=7112948/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=290372 CPUtime=50.65 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 22330 0 0 0 5052 13 0 0 18 0 5 0 891782137 297340928 15480 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 72593 15480 417 389 0 68343 0
[pid=6118/tid=6120] ppid=6117 vsize=290372 CPUtime=12.65 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 4619 0 0 0 1263 2 0 0 18 0 5 0 891782139 297340928 15480 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591105 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=290372 CPUtime=12.64 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 4325 0 0 0 1260 4 0 0 18 0 5 0 891782139 297340928 15480 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591547 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=290372 CPUtime=12.64 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 5297 0 0 0 1261 3 0 0 18 0 5 0 891782140 297340928 15480 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=290372 CPUtime=12.65 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 5316 0 0 0 1263 2 0 0 18 0 5 0 891782140 297340928 15480 33554432000 4194304 5787044 140737332292528 18446744073709551615 5527122 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 299072

[startup+25.5008 s]
/proc/loadavg: 4.00 4.00 3.92 5/173 6124
/proc/meminfo: memFree=7090524/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=298372 CPUtime=101.8 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 27384 0 0 0 10159 21 0 0 18 0 5 0 891782137 305532928 20533 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 74593 20533 417 389 0 70343 0
[pid=6118/tid=6120] ppid=6117 vsize=298372 CPUtime=25.44 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 5528 0 0 0 2542 2 0 0 18 0 5 0 891782139 305532928 20533 33554432000 4194304 5787044 140737332292528 18446744073709551615 264726053804 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=298372 CPUtime=25.43 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 5279 0 0 0 2535 8 0 0 20 0 5 0 891782139 305532928 20533 33554432000 4194304 5787044 140737332292528 18446744073709551615 4254464 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=298372 CPUtime=25.43 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 7355 0 0 0 2539 4 0 0 20 0 5 0 891782140 305532928 20533 33554432000 4194304 5787044 140737332292528 18446744073709551615 5590310 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=298372 CPUtime=25.44 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 6449 0 0 0 2539 5 0 0 18 0 5 0 891782140 305532928 20533 33554432000 4194304 5787044 140737332292528 18446744073709551615 4229538 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 307072

[startup+51.1009 s]
/proc/loadavg: 4.00 4.00 3.92 5/173 6124
/proc/meminfo: memFree=7056892/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=312508 CPUtime=204.17 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 35837 0 0 0 20380 37 0 0 18 0 5 0 891782137 320008192 28938 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 78127 28938 417 389 0 73877 0
[pid=6118/tid=6120] ppid=6117 vsize=312508 CPUtime=51.04 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 8099 0 0 0 5100 4 0 0 25 0 5 0 891782139 320008192 28938 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591268 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=312508 CPUtime=51.02 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 7797 0 0 0 5088 14 0 0 25 0 5 0 891782139 320008192 28938 33554432000 4194304 5787044 140737332292528 18446744073709551615 5590526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=312508 CPUtime=51.03 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 9130 0 0 0 5095 8 0 0 18 0 5 0 891782140 320008192 28938 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=312508 CPUtime=51.02 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 8038 0 0 0 5093 9 0 0 25 0 5 0 891782140 320008192 28938 33554432000 4194304 5787044 140737332292528 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.17
Current children cumulated vsize (KiB) 321208

[startup+102.306 s]
/proc/loadavg: 4.00 4.00 3.92 5/173 6126
/proc/meminfo: memFree=7000440/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=336120 CPUtime=408.94 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 49925 0 0 0 40828 66 0 0 18 0 5 0 891782137 344186880 42858 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 84030 42858 417 389 0 79780 0
[pid=6118/tid=6120] ppid=6117 vsize=336120 CPUtime=102.23 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 10844 0 0 0 10216 7 0 0 18 0 5 0 891782139 344186880 42858 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=336120 CPUtime=102.21 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 10619 0 0 0 10198 23 0 0 19 0 5 0 891782139 344186880 42858 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591719 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=336120 CPUtime=102.22 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 13031 0 0 0 10205 17 0 0 18 0 5 0 891782140 344186880 42858 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=336120 CPUtime=102.21 cores=0-7

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

/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 71215 0 0 0 472037 186 0 0 25 0 5 0 891782139 1463242752 316376 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=1428948 CPUtime=4722.29 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 93476 0 0 0 471925 304 0 0 18 0 5 0 891782140 1463242752 316376 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=1428948 CPUtime=4722.29 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 89104 0 0 0 472057 172 0 0 25 0 5 0 891782140 1463242752 316376 33554432000 4194304 5787044 140737332292528 18446744073709551615 5527179 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18889.1
Current children cumulated vsize (KiB) 1437648

[startup+4782.3 s]
/proc/loadavg: 4.03 4.01 3.95 5/173 6262
/proc/meminfo: memFree=5884464/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=1433704 CPUtime=19129.1 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 338918 0 0 0 1912186 727 0 0 18 0 5 0 891782137 1468112896 320749 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 358426 320749 419 389 0 354176 0
[pid=6118/tid=6120] ppid=6117 vsize=1433704 CPUtime=4782.26 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 79182 0 0 0 478170 56 0 0 25 0 5 0 891782139 1468112896 320749 33554432000 4194304 5787044 140737332292528 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=1433704 CPUtime=4782.23 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 72339 0 0 0 478035 188 0 0 25 0 5 0 891782139 1468112896 320749 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=1433704 CPUtime=4782.29 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 93487 0 0 0 477925 304 0 0 25 0 5 0 891782140 1468112896 320749 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=1433704 CPUtime=4782.29 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 91137 0 0 0 478053 176 0 0 25 0 5 0 891782140 1468112896 320749 33554432000 4194304 5787044 140737332292528 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19129.1
Current children cumulated vsize (KiB) 1442404

[startup+4842.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/173 6264
/proc/meminfo: memFree=5867160/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=1438472 CPUtime=19369.1 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 343211 0 0 0 1936178 736 0 0 18 0 5 0 891782137 1472995328 325042 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 359618 325042 419 389 0 355368 0
[pid=6118/tid=6120] ppid=6117 vsize=1438472 CPUtime=4842.27 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 80393 0 0 0 484169 58 0 0 25 0 5 0 891782139 1472995328 325042 33554432000 4194304 5787044 140737332292528 18446744073709551615 5586806 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=1438472 CPUtime=4842.23 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 74275 0 0 0 484031 192 0 0 25 0 5 0 891782139 1472995328 325042 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=1438472 CPUtime=4842.29 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 93505 0 0 0 483925 304 0 0 25 0 5 0 891782140 1472995328 325042 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=1438472 CPUtime=4842.29 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 92265 0 0 0 484049 180 0 0 25 0 5 0 891782140 1472995328 325042 33554432000 4194304 5787044 140737332292528 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19369.1
Current children cumulated vsize (KiB) 1447172

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/173 6266
/proc/meminfo: memFree=5850380/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=1447316 CPUtime=19609.1 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 347399 0 0 0 1960173 741 0 0 18 0 5 0 891782137 1482051584 329230 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 361829 329230 419 389 0 357579 0
[pid=6118/tid=6120] ppid=6117 vsize=1447316 CPUtime=4902.27 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 82594 0 0 0 490168 59 0 0 25 0 5 0 891782139 1482051584 329230 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=1447316 CPUtime=4902.24 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 75446 0 0 0 490029 195 0 0 25 0 5 0 891782139 1482051584 329230 33554432000 4194304 5787044 140737332292528 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=1447316 CPUtime=4902.29 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 93526 0 0 0 489925 304 0 0 21 0 5 0 891782140 1482051584 329230 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=1447316 CPUtime=4902.3 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 93060 0 0 0 490048 182 0 0 25 0 5 0 891782140 1482051584 329230 33554432000 4194304 5787044 140737332292528 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19609.1
Current children cumulated vsize (KiB) 1456016

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/173 6267
/proc/meminfo: memFree=5835424/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=1524972 CPUtime=19849.1 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 353205 0 0 0 1984166 748 0 0 18 0 5 0 891782137 1561571328 332987 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 381243 332987 419 389 0 376993 0
[pid=6118/tid=6120] ppid=6117 vsize=1524972 CPUtime=4962.26 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 83617 0 0 0 496166 60 0 0 20 0 5 0 891782139 1561571328 332987 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=1524972 CPUtime=4962.24 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 79465 0 0 0 496026 198 0 0 25 0 5 0 891782139 1561571328 332987 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=1524972 CPUtime=4962.29 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 93552 0 0 0 495925 304 0 0 25 0 5 0 891782140 1561571328 332987 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=1524972 CPUtime=4962.29 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 93798 0 0 0 496045 184 0 0 25 0 5 0 891782140 1561571328 332987 33554432000 4194304 5787044 140737332292528 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19849.1
Current children cumulated vsize (KiB) 1533672

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/173 6269
/proc/meminfo: memFree=5817900/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=1527972 CPUtime=20089.2 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 358519 0 0 0 2008162 753 0 0 18 0 5 0 891782137 1564643328 337308 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 381993 337308 419 389 0 377743 0
[pid=6118/tid=6120] ppid=6117 vsize=1527972 CPUtime=5022.27 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 84391 0 0 0 502166 61 0 0 22 0 5 0 891782139 1564643328 337308 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=1527972 CPUtime=5022.23 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 82070 0 0 0 502024 199 0 0 25 0 5 0 891782139 1564643328 337308 33554432000 4194304 5787044 140737332292528 18446744073709551615 5588680 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=1527972 CPUtime=5022.29 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 94589 0 0 0 501925 304 0 0 25 0 5 0 891782140 1564643328 337308 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=1527972 CPUtime=5022.3 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 94696 0 0 0 502043 187 0 0 25 0 5 0 891782140 1564643328 337308 33554432000 4194304 5787044 140737332292528 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20089.1
Current children cumulated vsize (KiB) 1536672

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/173 6270
/proc/meminfo: memFree=5810276/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=1538840 CPUtime=20329.2 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 362462 0 0 0 2032159 757 0 0 18 0 5 0 891782137 1575772160 339202 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 384710 339202 419 389 0 380460 0
[pid=6118/tid=6120] ppid=6117 vsize=1538840 CPUtime=5082.27 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 87142 0 0 0 508165 62 0 0 25 0 5 0 891782139 1575772160 339202 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591640 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=1538840 CPUtime=5082.24 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 82072 0 0 0 508024 200 0 0 25 0 5 0 891782139 1575772160 339202 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=1538840 CPUtime=5082.29 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 94654 0 0 0 507925 304 0 0 25 0 5 0 891782140 1575772160 339202 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=1538840 CPUtime=5082.3 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 95821 0 0 0 508041 189 0 0 25 0 5 0 891782140 1575772160 339202 33554432000 4194304 5787044 140737332292528 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20329.2
Current children cumulated vsize (KiB) 1547540



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 3.95 5/173 6271
/proc/meminfo: memFree=5803820/32951124 swapFree=67064576/67111528
[pid=6117] ppid=6115 vsize=8700 CPUtime=0 cores=0-7
/proc/6117/stat : 6117 (priss.sh) S 6115 6117 5845 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 891782137 8908800 251 33554432000 4194304 4922060 140733228036384 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/6117/statm: 2175 251 211 178 0 68 0
[pid=6118] ppid=6117 vsize=1547156 CPUtime=20400 cores=0-7
/proc/6118/stat : 6118 (priss) S 6117 6117 5845 0 -1 4202496 364068 0 0 0 2039240 758 0 0 18 0 5 0 891782137 1584287744 340808 33554432000 4194304 5787044 140737332292528 18446744073709551615 264738228657 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/6118/statm: 386789 340808 419 389 0 382539 0
[pid=6118/tid=6120] ppid=6117 vsize=1547156 CPUtime=5099.98 cores=0-7
/proc/6118/task/6120/stat : 6120 (priss) R 6117 6117 5845 0 -1 4202560 88445 0 0 0 509936 62 0 0 25 0 5 0 891782139 1584287744 340808 33554432000 4194304 5787044 140737332292528 18446744073709551615 264726102959 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=6118/tid=6121] ppid=6117 vsize=1547156 CPUtime=5099.95 cores=0-7
/proc/6118/task/6121/stat : 6121 (priss) R 6117 6117 5845 0 -1 4202560 82072 0 0 0 509795 200 0 0 25 0 5 0 891782139 1584287744 340808 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=6118/tid=6122] ppid=6117 vsize=1547156 CPUtime=5100 cores=0-7
/proc/6118/task/6122/stat : 6122 (priss) R 6117 6117 5845 0 -1 4202560 94662 0 0 0 509696 304 0 0 25 0 5 0 891782140 1584287744 340808 33554432000 4194304 5787044 140737332292528 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6118/tid=6123] ppid=6117 vsize=1547156 CPUtime=5100 cores=0-7
/proc/6118/task/6123/stat : 6123 (priss) R 6117 6117 5845 0 -1 4202560 96116 0 0 0 509810 190 0 0 25 0 5 0 891782140 1584287744 340808 33554432000 4194304 5787044 140737332292528 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20400
Current children cumulated vsize (KiB) 1555856

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 6117 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 20400
#
# 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): 20400
CPU user time (s): 20392.4
CPU system time (s): 7.58
CPU usage (%): 399.998
Max. virtual memory (cumulated for all children) (KiB): 1555856

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

runsolver used 8.05678 second user time and 19.714 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-13 21:34:25
IDJOB=3499245
IDBENCH=71572
IDSOLVER=1994
FILE ID=node141/3499245-1307993665
RUNJOBID= node141-1307988435-5859
PBS_JOBID= 13559809
Free space on /var/tmp= 2912 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v760c43649gyes8.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499245-1307993665/watcher-3499245-1307993665 -o /var/tmp/evaluation-result-3499245-1307993665/solver-3499245-1307993665 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499245-1307993665.cnf 1633178005 40000 31000 8

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

MD5SUM BENCH= ca42736a2fe4e8cf2cba6dd1668e0ad6
RANDOM SEED=1633178005

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       7169048 kB
Buffers:        123724 kB
Cached:       24812844 kB
SwapCached:       9036 kB
Active:        9408176 kB
Inactive:     15544864 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       7169048 kB
SwapTotal:    67111528 kB
SwapFree:     67064576 kB
Dirty:            1948 kB
Writeback:           0 kB
AnonPages:       15168 kB
Mapped:           9724 kB
Slab:           762864 kB
PageTables:       3808 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   154672 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2912 MiB
End job on node141 at 2011-06-13 22:59:27