Trace number 3289986

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 Auto? (TO) 4800.04 1201.82

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
128/aes_128_10_keyfind_1.cnf
MD5SUMf35f3aee72237c1bf3d673feb4883756
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 variables8080
Number of clauses96704
Sum of the clauses size539496
Maximum clause length8
Minimum clause length1
Number of clauses of size 1336
Number of clauses of size 21152
Number of clauses of size 315040
Number of clauses of size 42944
Number of clauses of size 518432
Number of clauses of size over 558800

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: 13722
0.00/0.00	c setup for 4cores
0.00/0.05	c parsetime: 44904us
0.00/0.05	c parsed 96704 clauses with 8080 variables
0.00/0.06	c NW started thread 0 successfully (1113274688)
0.00/0.08	c NW started thread 1 successfully (1123764544)
0.00/0.10	c NW started thread 2 successfully (1134254400)
0.00/0.13	c NW started thread 3 successfully (1144744256)
6.51/1.70	c preprocessor returned 10006 variables
6.51/1.70	c preprocessing returned UNKNOWN
6.51/1.70	c PP set 336 variables
6.51/1.70	c pp time: 1637843us (1s)
6.51/1.73	c preprocessor returned 10006 variables
6.51/1.73	c preprocessing returned UNKNOWN
6.51/1.73	c PP set 336 variables
6.51/1.73	c pp time: 1651355us (1s)
6.51/1.75	c preprocessor returned 10006 variables
6.51/1.75	c preprocessing returned UNKNOWN
6.51/1.75	c PP set 336 variables
6.51/1.75	c pp time: 1644979us (1s)
20.89/5.39	c preprocessor returned 30003 variables
20.89/5.39	c preprocessing returned UNKNOWN
20.89/5.39	c PP set 336 variables
20.89/5.39	c pp time: 5258525us (5s)
21.70/5.54	c HTE
21.70/5.59	c subsumption
22.08/5.66	c simplified formula contains 0 unit clauses
30.50/7.75	c added unsatisfied clause
30.50/7.75	c failed to add network 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.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-3289986-1304061875/watcher-3289986-1304061875 -o /tmp/evaluation-result-3289986-1304061875/solver-3289986-1304061875 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3289986-1304061875.cnf 669940374 4800 15500 4 

running on 4 cores: 1,3,5,7

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: 8.07 8.04 8.01 5/182 13721
/proc/meminfo: memFree=25974184/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0

[startup+0.0337659 s]
/proc/loadavg: 8.07 8.04 8.01 5/182 13721
/proc/meminfo: memFree=25974184/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.103638 s]
/proc/loadavg: 8.07 8.04 8.01 5/182 13721
/proc/meminfo: memFree=25974184/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300718 s]
/proc/loadavg: 8.07 8.04 8.01 5/182 13721
/proc/meminfo: memFree=25974184/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700641 s]
/proc/loadavg: 8.07 8.04 8.01 5/182 13721
/proc/meminfo: memFree=25974184/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50049 s]
/proc/loadavg: 8.07 8.04 8.01 9/188 13727
/proc/meminfo: memFree=25916972/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=306008 CPUtime=5.72 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 19523 0 0 0 569 3 0 0 25 0 5 0 517787176 313352192 17528 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 76502 17528 355 389 0 72252 0
[pid=13722/tid=13724] ppid=13721 vsize=306008 CPUtime=1.42 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 2540 0 0 0 142 0 0 0 25 0 5 0 517787183 313352192 17528 33554432000 4194304 5787044 140735484997920 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=306008 CPUtime=1.4 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 2320 0 0 0 140 0 0 0 25 0 5 0 517787184 313352192 17528 33554432000 4194304 5787044 140735484997920 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=306008 CPUtime=1.38 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 2409 0 0 0 138 0 0 0 25 0 5 0 517787187 313352192 17528 33554432000 4194304 5787044 140735484997920 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=306008 CPUtime=1.35 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 4201 0 0 0 135 0 0 0 25 0 5 0 517787190 313352192 17528 33554432000 4194304 5787044 140735484997920 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 314708

[startup+3.10119 s]
/proc/loadavg: 8.07 8.04 8.01 9/188 13727
/proc/meminfo: memFree=25890948/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=313628 CPUtime=12.11 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 23895 0 0 0 1198 13 0 0 25 0 5 0 517787176 321155072 21635 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 78407 21635 405 389 0 74157 0
[pid=13722/tid=13724] ppid=13721 vsize=313628 CPUtime=3.03 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 3160 0 0 0 300 3 0 0 25 0 5 0 517787183 321155072 21635 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591808 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=313628 CPUtime=3 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 3067 0 0 0 297 3 0 0 25 0 5 0 517787184 321155072 21635 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=313628 CPUtime=2.98 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 3889 0 0 0 295 3 0 0 25 0 5 0 517787187 321155072 21635 33554432000 4194304 5787044 140735484997920 18446744073709551615 208080337439 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=313628 CPUtime=2.94 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 5726 0 0 0 294 0 0 0 25 0 5 0 517787190 321155072 21635 33554432000 4194304 5787044 140735484997920 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 322328

[startup+6.30058 s]
/proc/loadavg: 8.07 8.04 8.01 9/188 13727
/proc/meminfo: memFree=25870000/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=320980 CPUtime=24.88 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 31231 0 0 0 2463 25 0 0 25 0 5 0 517787176 328683520 26633 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 80245 26633 418 389 0 75995 0
[pid=13722/tid=13724] ppid=13721 vsize=320980 CPUtime=6.22 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 4749 0 0 0 615 7 0 0 25 0 5 0 517787183 328683520 26633 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=320980 CPUtime=6.2 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 3675 0 0 0 613 7 0 0 25 0 5 0 517787184 328683520 26633 33554432000 4194304 5787044 140735484997920 18446744073709551615 4254988 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=320980 CPUtime=6.18 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 4380 0 0 0 612 6 0 0 25 0 5 0 517787187 328683520 26633 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=320980 CPUtime=6.13 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 10374 0 0 0 611 2 0 0 25 0 5 0 517787190 328683520 26633 33554432000 4194304 5787044 140735484997920 18446744073709551615 5527453 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 329680

[startup+12.7004 s]
/proc/loadavg: 8.06 8.04 8.00 9/188 13727
/proc/meminfo: memFree=25850048/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=328996 CPUtime=50.43 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 35132 0 0 0 4997 46 0 0 25 0 5 0 517787176 336891904 30530 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 82249 30530 419 389 0 77999 0
[pid=13722/tid=13724] ppid=13721 vsize=328996 CPUtime=12.62 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 5534 0 0 0 1251 11 0 0 25 0 5 0 517787183 336891904 30531 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=328996 CPUtime=12.59 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 5536 0 0 0 1247 12 0 0 25 0 5 0 517787184 336891904 30531 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=328996 CPUtime=12.57 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 5072 0 0 0 1246 11 0 0 25 0 5 0 517787187 336891904 30531 33554432000 4194304 5787044 140735484997920 18446744073709551615 208079893537 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=328996 CPUtime=12.49 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 10938 0 0 0 1240 9 0 0 25 0 5 0 517787190 336891904 30531 33554432000 4194304 5787044 140735484997920 18446744073709551615 5526908 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.43
Current children cumulated vsize (KiB) 337696

[startup+25.5009 s]
/proc/loadavg: 8.05 8.04 8.00 9/188 13728
/proc/meminfo: memFree=25816688/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=342480 CPUtime=101.54 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 42593 0 0 0 10083 71 0 0 25 0 5 0 517787176 350699520 37924 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 85620 37924 419 389 0 81370 0
[pid=13722/tid=13724] ppid=13721 vsize=342480 CPUtime=25.41 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 6817 0 0 0 2525 16 0 0 25 0 5 0 517787183 350699520 37924 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092058293 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=342480 CPUtime=25.38 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 7014 0 0 0 2521 17 0 0 25 0 5 0 517787184 350699520 37924 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=342480 CPUtime=25.37 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 7639 0 0 0 2519 18 0 0 25 0 5 0 517787187 350699520 37924 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591640 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=342480 CPUtime=25.21 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 13070 0 0 0 2505 16 0 0 25 0 5 0 517787190 350699520 37924 33554432000 4194304 5787044 140735484997920 18446744073709551615 5527239 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 351180

[startup+51.101 s]
/proc/loadavg: 8.16 8.07 8.01 9/188 13728
/proc/meminfo: memFree=25778556/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=356144 CPUtime=203.8 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 50562 0 0 0 20285 95 0 0 25 0 5 0 517787176 364691456 45810 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 89036 45810 419 389 0 84786 0
[pid=13722/tid=13724] ppid=13721 vsize=356144 CPUtime=51.01 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 10415 0 0 0 5079 22 0 0 25 0 5 0 517787183 364691456 45810 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591539 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=356144 CPUtime=50.98 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 8336 0 0 0 5076 22 0 0 25 0 5 0 517787184 364691456 45810 33554432000 4194304 5787044 140735484997920 18446744073709551615 4220141 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=356144 CPUtime=50.97 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 9171 0 0 0 5072 25 0 0 25 0 5 0 517787187 364691456 45810 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=356144 CPUtime=50.67 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 14587 0 0 0 5045 22 0 0 25 0 5 0 517787190 364691456 45810 33554432000 4194304 5787044 140735484997920 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 364844

[startup+102.307 s]
/proc/loadavg: 8.19 8.08 8.02 9/188 13730
/proc/meminfo: memFree=25715656/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=382192 CPUtime=408.31 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 65121 0 0 0 40709 122 0 0 25 0 5 0 517787176 391364608 60175 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 95548 60175 419 389 0 91298 0
[pid=13722/tid=13724] ppid=13721 vsize=382192 CPUtime=102.22 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 14258 0 0 0 10192 30 0 0 25 0 5 0 517787183 391364608 60175 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=382192 CPUtime=102.18 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 11544 0 0 0 10190 28 0 0 25 0 5 0 517787184 391364608 60175 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=382192 CPUtime=102.17 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 13660 0 0 0 10186 31 0 0 25 0 5 0 517787187 391364608 60175 33554432000 4194304 5787044 140735484997920 18446744073709551615 4218705 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=382192 CPUtime=101.58 cores=1,3,5,7

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

/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 31795 0 0 0 82144 55 0 0 25 0 5 0 517787184 740118528 138878 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=722772 CPUtime=822.09 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 38881 0 0 0 82147 62 0 0 25 0 5 0 517787187 740118528 138878 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591331 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=722772 CPUtime=819.84 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 32361 0 0 0 81924 60 0 0 25 0 5 0 517787190 740118528 138878 33554432000 4194304 5787044 140735484997920 18446744073709551615 5527072 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.14
Current children cumulated vsize (KiB) 731472

[startup+882.301 s]
/proc/loadavg: 8.10 8.08 8.02 9/188 13784
/proc/meminfo: memFree=25410864/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=722772 CPUtime=3523.82 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 147009 0 0 0 352137 245 0 0 25 0 5 0 517787176 740118528 139597 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 180693 139597 419 389 0 176443 0
[pid=13722/tid=13724] ppid=13721 vsize=722772 CPUtime=880.06 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 35200 0 0 0 87943 63 0 0 25 0 5 0 517787183 740118528 139597 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=722772 CPUtime=881.66 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 31796 0 0 0 88111 55 0 0 25 0 5 0 517787184 740118528 139597 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=722772 CPUtime=882.09 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 39215 0 0 0 88146 63 0 0 25 0 5 0 517787187 740118528 139597 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591217 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=722772 CPUtime=879.84 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 32745 0 0 0 87924 60 0 0 25 0 5 0 517787190 740118528 139597 33554432000 4194304 5787044 140735484997920 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.82
Current children cumulated vsize (KiB) 731472

[startup+942.3 s]
/proc/loadavg: 8.19 8.10 8.02 9/188 13785
/proc/meminfo: memFree=25405880/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=726868 CPUtime=3763.5 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 149017 0 0 0 376103 247 0 0 25 0 5 0 517787176 744312832 140580 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 181717 140580 419 389 0 177467 0
[pid=13722/tid=13724] ppid=13721 vsize=726868 CPUtime=940.06 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 35200 0 0 0 93943 63 0 0 25 0 5 0 517787183 744312832 140580 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591764 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=726868 CPUtime=941.33 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 31849 0 0 0 94078 55 0 0 25 0 5 0 517787184 744312832 140580 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591488 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=726868 CPUtime=942.09 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 40720 0 0 0 94145 64 0 0 25 0 5 0 517787187 744312832 140580 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=726868 CPUtime=939.85 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 33195 0 0 0 93924 61 0 0 25 0 5 0 517787190 744312832 140580 33554432000 4194304 5787044 140735484997920 18446744073709551615 5528651 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.5
Current children cumulated vsize (KiB) 735568

[startup+1002.3 s]
/proc/loadavg: 8.21 8.11 8.03 9/188 13787
/proc/meminfo: memFree=25370776/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=731460 CPUtime=4003.18 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 154181 0 0 0 400063 255 0 0 25 0 5 0 517787176 749015040 145744 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 182865 145744 419 389 0 178615 0
[pid=13722/tid=13724] ppid=13721 vsize=731460 CPUtime=1000.07 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 37684 0 0 0 99940 67 0 0 25 0 5 0 517787183 749015040 145744 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=731460 CPUtime=1001.01 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 32899 0 0 0 100043 58 0 0 25 0 5 0 517787184 749015040 145744 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=731460 CPUtime=1002.09 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 42060 0 0 0 100144 65 0 0 25 0 5 0 517787187 749015040 145744 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591552 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=731460 CPUtime=999.84 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 33485 0 0 0 99923 61 0 0 25 0 5 0 517787190 749015040 145744 33554432000 4194304 5787044 140735484997920 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.18
Current children cumulated vsize (KiB) 740160

[startup+1062.3 s]
/proc/loadavg: 8.20 8.12 8.03 9/188 13788
/proc/meminfo: memFree=25331828/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=738292 CPUtime=4242.77 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 156856 0 0 0 424018 259 0 0 25 0 5 0 517787176 756011008 148087 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 184573 148087 419 389 0 180323 0
[pid=13722/tid=13724] ppid=13721 vsize=738292 CPUtime=1060.07 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 38056 0 0 0 105939 68 0 0 25 0 5 0 517787183 756011008 148087 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=738292 CPUtime=1060.95 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 33283 0 0 0 106036 59 0 0 25 0 5 0 517787184 756011008 148087 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=738292 CPUtime=1062.04 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 43440 0 0 0 106137 67 0 0 25 0 5 0 517787187 756011008 148087 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=738292 CPUtime=1059.55 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 34024 0 0 0 105893 62 0 0 25 0 5 0 517787190 756011008 148087 33554432000 4194304 5787044 140735484997920 18446744073709551615 4255030 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.77
Current children cumulated vsize (KiB) 746992

[startup+1122.3 s]
/proc/loadavg: 8.19 8.12 8.04 9/188 13790
/proc/meminfo: memFree=25294744/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=738740 CPUtime=4482.44 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 157021 0 0 0 447984 260 0 0 25 0 5 0 517787176 756469760 148252 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 184685 148252 419 389 0 180435 0
[pid=13722/tid=13724] ppid=13721 vsize=738740 CPUtime=1120.07 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 38064 0 0 0 111939 68 0 0 25 0 5 0 517787183 756469760 148252 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=738740 CPUtime=1120.96 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 33440 0 0 0 112036 60 0 0 25 0 5 0 517787184 756469760 148252 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=738740 CPUtime=1122.04 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 43440 0 0 0 112137 67 0 0 25 0 5 0 517787187 756469760 148252 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=738740 CPUtime=1119.22 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 34024 0 0 0 111860 62 0 0 25 0 5 0 517787190 756469760 148252 33554432000 4194304 5787044 140735484997920 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.44
Current children cumulated vsize (KiB) 747440

[startup+1182.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/188 13792
/proc/meminfo: memFree=25268560/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=738740 CPUtime=4722.13 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 157350 0 0 0 471951 262 0 0 25 0 5 0 517787176 756469760 148581 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 184685 148581 419 389 0 180435 0
[pid=13722/tid=13724] ppid=13721 vsize=738740 CPUtime=1180.07 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 38089 0 0 0 117939 68 0 0 25 0 5 0 517787183 756469760 148581 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=738740 CPUtime=1180.95 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 33744 0 0 0 118035 60 0 0 25 0 5 0 517787184 756469760 148581 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=738740 CPUtime=1182.05 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 43440 0 0 0 118137 68 0 0 25 0 5 0 517787187 756469760 148581 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=738740 CPUtime=1178.9 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 34024 0 0 0 117827 63 0 0 25 0 5 0 517787190 756469760 148581 33554432000 4194304 5787044 140735484997920 18446744073709551615 5527568 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.13
Current children cumulated vsize (KiB) 747440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.09 8.11 8.03 9/188 13792
/proc/meminfo: memFree=25267688/32950928 swapFree=67111364/67111528
[pid=13721] ppid=13719 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/13721/stat : 13721 (prissAuto.sh) S 13719 13721 12570 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 517787176 8908800 251 33554432000 4194304 4922060 140736041655488 18446744073709551615 208080051333 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/13721/statm: 2175 251 211 178 0 68 0
[pid=13722] ppid=13721 vsize=738740 CPUtime=4800.04 cores=1,3,5,7
/proc/13722/stat : 13722 (priss) S 13721 13721 12570 0 -1 4202496 157488 0 0 0 479742 262 0 0 25 0 5 0 517787176 756469760 148719 33554432000 4194304 5787044 140735484997920 18446744073709551615 208092055985 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/13722/statm: 184685 148719 419 389 0 180435 0
[pid=13722/tid=13724] ppid=13721 vsize=738740 CPUtime=1199.58 cores=1,3,5,7
/proc/13722/task/13724/stat : 13724 (priss) R 13721 13721 12570 0 -1 4202560 38111 0 0 0 119890 68 0 0 25 0 5 0 517787183 756469760 148719 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13722/tid=13725] ppid=13721 vsize=738740 CPUtime=1200.46 cores=1,3,5,7
/proc/13722/task/13725/stat : 13725 (priss) R 13721 13721 12570 0 -1 4202560 33860 0 0 0 119986 60 0 0 25 0 5 0 517787184 756469760 148719 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591195 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13722/tid=13726] ppid=13721 vsize=738740 CPUtime=1201.56 cores=1,3,5,7
/proc/13722/task/13726/stat : 13726 (priss) R 13721 13721 12570 0 -1 4202560 43440 0 0 0 120088 68 0 0 25 0 5 0 517787187 756469760 148719 33554432000 4194304 5787044 140735484997920 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13722/tid=13727] ppid=13721 vsize=738740 CPUtime=1198.29 cores=1,3,5,7
/proc/13722/task/13727/stat : 13727 (priss) R 13721 13721 12570 0 -1 4202560 34024 0 0 0 119766 63 0 0 25 0 5 0 517787190 756469760 148719 33554432000 4194304 5787044 140735484997920 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 747440

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 13721 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1201.82
CPU time (s): 4800.04
CPU user time (s): 4797.42
CPU system time (s): 2.62
CPU usage (%): 399.398
Max. virtual memory (cumulated for all children) (KiB): 747440

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

The end

Launcher Data 

Begin job on node127 at 2011-04-29 09:24:35
IDJOB=3289986
IDBENCH=83413
IDSOLVER=1602
FILE ID=node127/3289986-1304061875
RUNJOBID= node127-1304052231-12589
PBS_JOBID= 13170417
Free space on /tmp= 71816 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289986-1304061875/watcher-3289986-1304061875 -o /tmp/evaluation-result-3289986-1304061875/solver-3289986-1304061875 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3289986-1304061875.cnf 669940374 4800 15500 4

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

MD5SUM BENCH= f35f3aee72237c1bf3d673feb4883756
RANDOM SEED=669940374

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25974456 kB
Buffers:       1387052 kB
Cached:        4703952 kB
SwapCached:          0 kB
Active:        2088424 kB
Inactive:      4413704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25974456 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            4728 kB
Writeback:           0 kB
AnonPages:      410956 kB
Mapped:          15620 kB
Slab:           409872 kB
PageTables:       5520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   606596 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= 71812 MiB
End job on node127 at 2011-04-29 09:44:39