Trace number 3290309

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) 4800.17 1201.72

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
32/aes_32_5_keyfind_1.cnf
MD5SUM3f4ea4cf17e734bbe947db7c1dc9fde7
Bench CategoryAPPLICATION (applications 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 variables1116
Number of clauses4312
Sum of the clauses size13688
Maximum clause length5
Minimum clause length1
Number of clauses of size 184
Number of clauses of size 2200
Number of clauses of size 33008
Number of clauses of size 4920
Number of clauses of size 5100
Number of clauses of size over 50

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: 11436
0.00/0.00	c parsetime: 1190us
0.00/0.00	c parsed 4312 clauses with 1116 variables
0.00/0.00	c NW started thread 0 successfully (1102272832)
0.00/0.00	c NW started thread 1 successfully (1112762688)
0.00/0.00	c NW started thread 2 successfully (1123252544)
0.00/0.00	c NW started thread 3 successfully (1133742400)
0.00/0.64	c preprocessor returned 10008 variables
0.00/0.64	c preprocessing returned UNKNOWN
0.00/0.64	c PP set 84 variables
0.00/0.64	c pp time: 635467us (0s)
0.00/0.64	c preprocessor returned 10008 variables
0.00/0.64	c preprocessing returned UNKNOWN
0.00/0.64	c PP set 84 variables
0.00/0.64	c pp time: 635405us (0s)
0.00/0.64	c preprocessor returned 10008 variables
0.00/0.64	c preprocessing returned UNKNOWN
0.00/0.64	c PP set 84 variables
0.00/0.64	c pp time: 635604us (0s)
31.16/7.81	c preprocessor returned 30021 variables
31.16/7.81	c preprocessing returned UNKNOWN
31.16/7.81	c PP set 84 variables
31.16/7.81	c pp time: 7807869us (7s)

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.0 (svn: 935)

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-3290309-1304062262/watcher-3290309-1304062262 -o /tmp/evaluation-result-3290309-1304062262/solver-3290309-1304062262 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3290309-1304062262.cnf 1783114471 4800 15500 4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.88 8.03 8.00 5/182 11435
/proc/meminfo: memFree=15275712/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0

[startup+0.130375 s]
/proc/loadavg: 7.88 8.03 8.00 5/182 11435
/proc/meminfo: memFree=15275712/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.230354 s]
/proc/loadavg: 7.88 8.03 8.00 5/182 11435
/proc/meminfo: memFree=15275712/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.330335 s]
/proc/loadavg: 7.88 8.03 8.00 5/182 11435
/proc/meminfo: memFree=15275712/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.730297 s]
/proc/loadavg: 7.88 8.03 8.00 5/182 11435
/proc/meminfo: memFree=15275712/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50112 s]
/proc/loadavg: 7.88 8.03 8.00 9/188 11441
/proc/meminfo: memFree=15250376/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=275412 CPUtime=5.97 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 7895 0 0 0 595 2 0 0 18 0 5 0 517826664 282021888 6776 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 68853 6776 405 389 0 64603 0
[pid=11436/tid=11437] ppid=11435 vsize=275412 CPUtime=1.48 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 1533 0 0 0 148 0 0 0 19 0 5 0 517826664 282021888 6776 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=275412 CPUtime=1.48 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 1594 0 0 0 148 0 0 0 19 0 5 0 517826664 282021888 6776 33554432000 4194304 5787044 140737217373792 18446744073709551615 5592064 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=275412 CPUtime=1.49 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 1180 0 0 0 149 0 0 0 18 0 5 0 517826664 282021888 6776 33554432000 4194304 5787044 140737217373792 18446744073709551615 4220275 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=275412 CPUtime=1.48 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 2070 0 0 0 148 0 0 0 23 0 5 0 517826664 282021888 6776 33554432000 4194304 5787044 140737217373792 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 284112

[startup+3.10082 s]
/proc/loadavg: 7.88 8.03 8.00 9/188 11441
/proc/meminfo: memFree=15248020/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=276600 CPUtime=12.36 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 8631 0 0 0 1234 2 0 0 18 0 5 0 517826664 283238400 7512 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 69150 7512 405 389 0 64900 0
[pid=11436/tid=11437] ppid=11435 vsize=276600 CPUtime=3.08 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 1812 0 0 0 308 0 0 0 22 0 5 0 517826664 283238400 7512 33554432000 4194304 5787044 140737217373792 18446744073709551615 5588572 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=276600 CPUtime=3.07 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 1762 0 0 0 307 0 0 0 22 0 5 0 517826664 283238400 7512 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=276600 CPUtime=3.08 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 1469 0 0 0 308 0 0 0 22 0 5 0 517826664 283238400 7512 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591268 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=276600 CPUtime=3.08 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 2070 0 0 0 308 0 0 0 25 0 5 0 517826664 283238400 7512 33554432000 4194304 5787044 140737217373792 18446744073709551615 244446639065 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 285300

[startup+6.30122 s]
/proc/loadavg: 7.89 8.03 8.00 9/188 11441
/proc/meminfo: memFree=15243432/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=278332 CPUtime=25.14 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 9727 0 0 0 2512 2 0 0 18 0 5 0 517826664 285011968 8608 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 69583 8608 405 389 0 65333 0
[pid=11436/tid=11437] ppid=11435 vsize=278332 CPUtime=6.29 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 2173 0 0 0 628 1 0 0 25 0 5 0 517826664 285011968 8608 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=278332 CPUtime=6.25 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 2078 0 0 0 625 0 0 0 25 0 5 0 517826664 285011968 8608 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=278332 CPUtime=6.29 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 1888 0 0 0 629 0 0 0 25 0 5 0 517826664 285011968 8608 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=278332 CPUtime=6.28 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 2070 0 0 0 628 0 0 0 25 0 5 0 517826664 285011968 8608 33554432000 4194304 5787044 140737217373792 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 287032

[startup+12.701 s]
/proc/loadavg: 7.90 8.03 8.00 9/188 11441
/proc/meminfo: memFree=15227808/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=283976 CPUtime=50.71 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 14198 0 0 0 5066 5 0 0 18 0 5 0 517826664 290791424 12117 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 70994 12117 419 389 0 66744 0
[pid=11436/tid=11437] ppid=11435 vsize=283976 CPUtime=12.68 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 2593 0 0 0 1267 1 0 0 25 0 5 0 517826664 290791424 12117 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591784 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=283976 CPUtime=12.62 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 2524 0 0 0 1261 1 0 0 24 0 5 0 517826664 290791424 12117 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=283976 CPUtime=12.68 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 2252 0 0 0 1268 0 0 0 25 0 5 0 517826664 290791424 12117 33554432000 4194304 5787044 140737217373792 18446744073709551615 5576608 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=283976 CPUtime=12.69 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 5311 0 0 0 1268 1 0 0 25 0 5 0 517826664 290791424 12117 33554432000 4194304 5787044 140737217373792 18446744073709551615 4218754 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 292676

[startup+25.5006 s]
/proc/loadavg: 8.07 8.06 8.01 9/188 11442
/proc/meminfo: memFree=15212060/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=288640 CPUtime=101.82 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 17870 0 0 0 10175 7 0 0 18 0 5 0 517826664 295567360 15789 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 72160 15789 419 389 0 67910 0
[pid=11436/tid=11437] ppid=11435 vsize=288640 CPUtime=25.48 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 3393 0 0 0 2547 1 0 0 25 0 5 0 517826664 295567360 15789 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=288640 CPUtime=25.35 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 3413 0 0 0 2533 2 0 0 25 0 5 0 517826664 295567360 15789 33554432000 4194304 5787044 140737217373792 18446744073709551615 4218715 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=288640 CPUtime=25.48 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 3376 0 0 0 2547 1 0 0 25 0 5 0 517826664 295567360 15789 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591596 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=288640 CPUtime=25.48 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 6170 0 0 0 2547 1 0 0 25 0 5 0 517826664 295567360 15789 33554432000 4194304 5787044 140737217373792 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 297340

[startup+51.1008 s]
/proc/loadavg: 8.05 8.05 8.01 9/188 11442
/proc/meminfo: memFree=15188848/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=296016 CPUtime=204.08 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 22372 0 0 0 20397 11 0 0 18 0 5 0 517826664 303120384 20289 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 74004 20289 419 389 0 69754 0
[pid=11436/tid=11437] ppid=11435 vsize=296016 CPUtime=51.08 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 4114 0 0 0 5106 2 0 0 25 0 5 0 517826664 303120384 20289 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591239 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=296016 CPUtime=50.81 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 4146 0 0 0 5078 3 0 0 25 0 5 0 517826664 303120384 20289 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591587 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=296016 CPUtime=51.08 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 5215 0 0 0 5107 1 0 0 25 0 5 0 517826664 303120384 20289 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=296016 CPUtime=51.08 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 7379 0 0 0 5104 4 0 0 25 0 5 0 517826664 303120384 20289 33554432000 4194304 5787044 140737217373792 18446744073709551615 244446612482 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 304716

[startup+102.301 s]
/proc/loadavg: 8.13 8.07 8.01 9/188 11444
/proc/meminfo: memFree=15135880/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=304880 CPUtime=408.62 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 28941 0 0 0 40843 19 0 0 18 0 5 0 517826664 312197120 26854 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 76220 26854 419 389 0 71970 0
[pid=11436/tid=11437] ppid=11435 vsize=304880 CPUtime=102.29 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 6663 0 0 0 10224 5 0 0 25 0 5 0 517826664 312197120 26854 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=304880 CPUtime=101.73 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 5934 0 0 0 10168 5 0 0 25 0 5 0 517826664 312197120 26854 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=304880 CPUtime=102.29 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 6425 0 0 0 10227 2 0 0 25 0 5 0 517826664 312197120 26854 33554432000 4194304 5787044 140737217373792 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=304880 CPUtime=102.27 cores=0,2,4,6

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

/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 14656 0 0 0 81767 14 0 0 25 0 5 0 517826664 362524672 62103 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591295 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=354028 CPUtime=822.3 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 15159 0 0 0 82223 7 0 0 25 0 5 0 517826664 362524672 62103 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=354028 CPUtime=822.2 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 17733 0 0 0 82200 20 0 0 25 0 5 0 517826664 362524672 62103 33554432000 4194304 5787044 140737217373792 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.65
Current children cumulated vsize (KiB) 362728

[startup+882.307 s]
/proc/loadavg: 7.97 8.03 8.02 9/188 11497
/proc/meminfo: memFree=14402472/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=358468 CPUtime=3524.33 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 65878 0 0 0 352372 61 0 0 18 0 5 0 517826664 367071232 63193 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 89617 63193 419 389 0 85367 0
[pid=11436/tid=11437] ppid=11435 vsize=358468 CPUtime=882.3 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 15724 0 0 0 88213 17 0 0 25 0 5 0 517826664 367071232 63193 33554432000 4194304 5787044 140737217373792 18446744073709551615 5590380 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=358468 CPUtime=877.5 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 14668 0 0 0 87735 15 0 0 25 0 5 0 517826664 367071232 63193 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=358468 CPUtime=882.31 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 16229 0 0 0 88223 8 0 0 25 0 5 0 517826664 367071232 63193 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=358468 CPUtime=882.2 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 17739 0 0 0 88200 20 0 0 25 0 5 0 517826664 367071232 63193 33554432000 4194304 5787044 140737217373792 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 367168

[startup+942.301 s]
/proc/loadavg: 8.03 8.04 8.02 9/188 11499
/proc/meminfo: memFree=14296584/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=366988 CPUtime=3763.98 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 68022 0 0 0 376336 62 0 0 18 0 5 0 517826664 375795712 65337 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 91747 65337 419 389 0 87497 0
[pid=11436/tid=11437] ppid=11435 vsize=366988 CPUtime=942.3 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 16763 0 0 0 94212 18 0 0 25 0 5 0 517826664 375795712 65337 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=366988 CPUtime=937.17 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 14739 0 0 0 93702 15 0 0 25 0 5 0 517826664 375795712 65337 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=366988 CPUtime=942.3 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 17253 0 0 0 94221 9 0 0 25 0 5 0 517826664 375795712 65337 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=366988 CPUtime=942.18 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 17749 0 0 0 94198 20 0 0 25 0 5 0 517826664 375795712 65337 33554432000 4194304 5787044 140737217373792 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.98
Current children cumulated vsize (KiB) 375688

[startup+1002.3 s]
/proc/loadavg: 8.10 8.06 8.03 9/188 11501
/proc/meminfo: memFree=14217696/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=375188 CPUtime=4003.65 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 70536 0 0 0 400301 64 0 0 18 0 5 0 517826664 384192512 67851 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 93797 67851 419 389 0 89547 0
[pid=11436/tid=11437] ppid=11435 vsize=375188 CPUtime=1002.3 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 17825 0 0 0 100212 18 0 0 25 0 5 0 517826664 384192512 67851 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591727 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=375188 CPUtime=996.84 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 15225 0 0 0 99668 16 0 0 25 0 5 0 517826664 384192512 67851 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=375188 CPUtime=1002.3 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 18202 0 0 0 100221 9 0 0 25 0 5 0 517826664 384192512 67851 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=375188 CPUtime=1002.18 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 17766 0 0 0 100198 20 0 0 25 0 5 0 517826664 384192512 67851 33554432000 4194304 5787044 140737217373792 18446744073709551615 5527182 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.65
Current children cumulated vsize (KiB) 383888

[startup+1062.3 s]
/proc/loadavg: 8.12 8.07 8.03 9/188 11502
/proc/meminfo: memFree=14157444/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=377888 CPUtime=4243.32 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 72372 0 0 0 424267 65 0 0 18 0 5 0 517826664 386957312 69687 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 94472 69687 419 389 0 90222 0
[pid=11436/tid=11437] ppid=11435 vsize=377888 CPUtime=1062.31 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 17942 0 0 0 106213 18 0 0 25 0 5 0 517826664 386957312 69687 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=377888 CPUtime=1056.52 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 16142 0 0 0 105635 17 0 0 25 0 5 0 517826664 386957312 69687 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=377888 CPUtime=1062.3 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 18848 0 0 0 106221 9 0 0 25 0 5 0 517826664 386957312 69687 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=377888 CPUtime=1062.16 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 17922 0 0 0 106196 20 0 0 25 0 5 0 517826664 386957312 69687 33554432000 4194304 5787044 140737217373792 18446744073709551615 5527758 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.32
Current children cumulated vsize (KiB) 386588

[startup+1122.3 s]
/proc/loadavg: 8.04 8.06 8.03 9/188 11504
/proc/meminfo: memFree=14103256/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=377888 CPUtime=4483 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 74493 0 0 0 448232 68 0 0 18 0 5 0 517826664 386957312 71808 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 94472 71808 419 389 0 90222 0
[pid=11436/tid=11437] ppid=11435 vsize=377888 CPUtime=1122.31 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 18487 0 0 0 112213 18 0 0 25 0 5 0 517826664 386957312 71808 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=377888 CPUtime=1116.18 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 17081 0 0 0 111600 18 0 0 25 0 5 0 517826664 386957312 71808 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591844 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=377888 CPUtime=1122.3 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 18848 0 0 0 112221 9 0 0 25 0 5 0 517826664 386957312 71808 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=377888 CPUtime=1122.15 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 18559 0 0 0 112195 20 0 0 25 0 5 0 517826664 386957312 71808 33554432000 4194304 5787044 140737217373792 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483
Current children cumulated vsize (KiB) 386588

[startup+1182.3 s]
/proc/loadavg: 8.01 8.05 8.02 9/188 11505
/proc/meminfo: memFree=13999608/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=447524 CPUtime=4722.67 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 78239 0 0 0 472196 71 0 0 18 0 5 0 517826664 458264576 75554 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 111881 75554 419 389 0 107631 0
[pid=11436/tid=11437] ppid=11435 vsize=447524 CPUtime=1182.31 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 19350 0 0 0 118212 19 0 0 25 0 5 0 517826664 458264576 75554 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=447524 CPUtime=1175.86 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 19057 0 0 0 117567 19 0 0 25 0 5 0 517826664 458264576 75554 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=447524 CPUtime=1182.31 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 18848 0 0 0 118222 9 0 0 25 0 5 0 517826664 458264576 75554 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=447524 CPUtime=1182.15 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 19466 0 0 0 118194 21 0 0 25 0 5 0 517826664 458264576 75554 33554432000 4194304 5787044 140737217373792 18446744073709551615 5527072 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.67
Current children cumulated vsize (KiB) 456224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.01 8.04 8.02 9/188 11506
/proc/meminfo: memFree=13995148/32951124 swapFree=67111528/67111528
[pid=11435] ppid=11433 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11435/stat : 11435 (priss.sh) S 11433 11435 9766 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 517826664 8908800 251 33554432000 4194304 4922060 140733774594288 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/11435/statm: 2175 251 211 178 0 68 0
[pid=11436] ppid=11435 vsize=447524 CPUtime=4800.17 cores=0,2,4,6
/proc/11436/stat : 11436 (priss) S 11435 11435 9766 0 -1 4202496 79047 0 0 0 479944 73 0 0 18 0 5 0 517826664 458264576 76362 33554432000 4194304 5787044 140737217373792 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/11436/statm: 111881 76362 419 389 0 107631 0
[pid=11436/tid=11437] ppid=11435 vsize=447524 CPUtime=1201.72 cores=0,2,4,6
/proc/11436/task/11437/stat : 11437 (priss) R 11435 11435 9766 0 -1 4202560 19594 0 0 0 120152 20 0 0 25 0 5 0 517826664 458264576 76362 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=11436/tid=11439] ppid=11435 vsize=447524 CPUtime=1195.15 cores=0,2,4,6
/proc/11436/task/11439/stat : 11439 (priss) R 11435 11435 9766 0 -1 4202560 19343 0 0 0 119495 20 0 0 25 0 5 0 517826664 458264576 76362 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591280 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11436/tid=11440] ppid=11435 vsize=447524 CPUtime=1201.71 cores=0,2,4,6
/proc/11436/task/11440/stat : 11440 (priss) R 11435 11435 9766 0 -1 4202560 18848 0 0 0 120162 9 0 0 25 0 5 0 517826664 458264576 76362 33554432000 4194304 5787044 140737217373792 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11436/tid=11441] ppid=11435 vsize=447524 CPUtime=1201.55 cores=0,2,4,6
/proc/11436/task/11441/stat : 11441 (priss) R 11435 11435 9766 0 -1 4202560 19744 0 0 0 120133 22 0 0 25 0 5 0 517826664 458264576 76362 33554432000 4194304 5787044 140737217373792 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 456224

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 11435 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 4800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1201.72
CPU time (s): 4800.17
CPU user time (s): 4799.44
CPU system time (s): 0.73
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 456224

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= 6
involuntary context switches= 3

runsolver used 1.76673 second user time and 4.79627 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 09:31:02
IDJOB=3290309
IDBENCH=83430
IDSOLVER=1603
FILE ID=node105/3290309-1304062262
RUNJOBID= node105-1304047118-9784
PBS_JOBID= 13170404
Free space on /tmp= 71936 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/32/aes_32_5_keyfind_1.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290309-1304062262/watcher-3290309-1304062262 -o /tmp/evaluation-result-3290309-1304062262/solver-3290309-1304062262 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3290309-1304062262.cnf 1783114471 4800 15500 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3f4ea4cf17e734bbe947db7c1dc9fde7
RANDOM SEED=1783114471

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.825
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.825
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	: 5410.70
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.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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:      15275744 kB
Buffers:       2301116 kB
Cached:       14434944 kB
SwapCached:          0 kB
Active:        9246484 kB
Inactive:      7858352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15275744 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1824 kB
Writeback:          16 kB
AnonPages:      368220 kB
Mapped:          15844 kB
Slab:           507508 kB
PageTables:       5680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   558772 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= 71872 MiB
End job on node105 at 2011-04-29 09:51:06