Trace number 3250854

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.1 1202.32

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
MD5SUM472b10ce0a2683d9355981037eea091e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.17391
Satisfiable
(Un)Satisfiability was proved
Number of variables3672
Number of clauses1163952
Sum of the clauses size2331456
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21163892
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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: 20329
0.00/0.26	c parsetime: 255410us
0.00/0.26	c parsed 1163952 clauses with 3672 variables
0.00/0.32	c NW started thread 0 successfully (1086466368)
0.00/0.40	c NW started thread 1 successfully (1096956224)
0.00/0.48	c NW started thread 2 successfully (1107446080)
0.00/0.57	c NW started thread 3 successfully (1117935936)
61.92/15.94	c preprocessor returned 10003 variables
61.92/15.94	c preprocessing returned UNKNOWN
61.92/15.94	c PP set 0 variables
61.92/15.94	c pp time: 15611348us (15s)
61.92/15.98	c preprocessor returned 10003 variables
61.92/15.98	c preprocessing returned UNKNOWN
61.92/15.98	c PP set 0 variables
61.92/15.98	c pp time: 15580326us (15s)
62.31/16.06	c preprocessor returned 10003 variables
62.31/16.06	c preprocessing returned UNKNOWN
62.31/16.06	c PP set 0 variables
62.31/16.06	c pp time: 15578403us (15s)
85.48/21.89	c preprocessor returned 30006 variables
85.48/21.89	c preprocessing returned UNKNOWN
85.48/21.89	c PP set 0 variables
85.48/21.89	c pp time: 21317586us (21s)

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-3250854-1304083660/watcher-3250854-1304083660 -o /tmp/evaluation-result-3250854-1304083660/solver-3250854-1304083660 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3250854-1304083660.cnf 122241705 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: 8.23 8.09 8.02 5/182 20328
/proc/meminfo: memFree=28487108/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0

[startup+0.0499001 s]
/proc/loadavg: 8.23 8.09 8.02 5/182 20328
/proc/meminfo: memFree=28487108/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100891 s]
/proc/loadavg: 8.23 8.09 8.02 5/182 20328
/proc/meminfo: memFree=28487108/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300854 s]
/proc/loadavg: 8.23 8.09 8.02 5/182 20328
/proc/meminfo: memFree=28487108/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.702006 s]
/proc/loadavg: 8.23 8.09 8.02 5/182 20328
/proc/meminfo: memFree=28487108/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5006 s]
/proc/loadavg: 8.23 8.09 8.02 9/188 20334
/proc/meminfo: memFree=27897316/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=836736 CPUtime=4.59 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 177557 0 0 0 412 47 0 0 18 0 5 0 598596592 856817664 175552 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 209184 175552 344 389 0 204934 0
[pid=20329/tid=20331] ppid=20328 vsize=836736 CPUtime=1.12 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 30822 0 0 0 98 14 0 0 18 0 5 0 598596624 856817664 175552 33554432000 4194304 5787044 140733503451120 18446744073709551615 260020045004 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=836736 CPUtime=1.03 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 30812 0 0 0 92 11 0 0 18 0 5 0 598596632 856817664 175552 33554432000 4194304 5787044 140733503451120 18446744073709551615 260020050928 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=836736 CPUtime=0.98 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 30826 0 0 0 88 10 0 0 18 0 5 0 598596640 856817664 175552 33554432000 4194304 5787044 140733503451120 18446744073709551615 260020051925 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=836736 CPUtime=0.89 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 30833 0 0 0 85 4 0 0 18 0 5 0 598596649 856817664 175552 33554432000 4194304 5787044 140733503451120 18446744073709551615 260020051925 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 845436

[startup+3.1003 s]
/proc/loadavg: 8.21 8.09 8.02 9/188 20334
/proc/meminfo: memFree=28164412/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=555448 CPUtime=10.84 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 190362 0 0 0 1033 51 0 0 18 0 5 0 598596592 568778752 82828 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 138862 82828 350 389 0 134612 0
[pid=20329/tid=20331] ppid=20328 vsize=555448 CPUtime=2.71 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 30834 0 0 0 257 14 0 0 21 0 5 0 598596624 568778752 82828 33554432000 4194304 5787044 140733503451120 18446744073709551615 4336804 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=555448 CPUtime=2.62 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 36659 0 0 0 250 12 0 0 21 0 5 0 598596632 568778752 82828 33554432000 4194304 5787044 140733503451120 18446744073709551615 4337006 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=555448 CPUtime=2.53 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 36616 0 0 0 242 11 0 0 20 0 5 0 598596640 568778752 82828 33554432000 4194304 5787044 140733503451120 18446744073709551615 4336957 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=555448 CPUtime=2.39 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 31989 0 0 0 234 5 0 0 19 0 5 0 598596649 568778752 82828 33554432000 4194304 5787044 140733503451120 18446744073709551615 4336957 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.84
Current children cumulated vsize (KiB) 564148

[startup+6.30071 s]
/proc/loadavg: 8.21 8.09 8.02 9/188 20334
/proc/meminfo: memFree=28136636/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=555448 CPUtime=23.62 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 194887 0 0 0 2311 51 0 0 18 0 5 0 598596592 568778752 87353 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 138862 87353 350 389 0 134612 0
[pid=20329/tid=20331] ppid=20328 vsize=555448 CPUtime=5.89 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 31725 0 0 0 575 14 0 0 25 0 5 0 598596624 568778752 87353 33554432000 4194304 5787044 140733503451120 18446744073709551615 4340056 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=555448 CPUtime=5.82 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 37930 0 0 0 570 12 0 0 25 0 5 0 598596632 568778752 87353 33554432000 4194304 5787044 140733503451120 18446744073709551615 4340056 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=555448 CPUtime=5.74 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 38970 0 0 0 562 12 0 0 25 0 5 0 598596640 568778752 87353 33554432000 4194304 5787044 140733503451120 18446744073709551615 4340028 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=555448 CPUtime=5.59 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 31998 0 0 0 554 5 0 0 25 0 5 0 598596649 568778752 87353 33554432000 4194304 5787044 140733503451120 18446744073709551615 4339899 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.62
Current children cumulated vsize (KiB) 564148

[startup+12.7005 s]
/proc/loadavg: 8.20 8.09 8.01 9/188 20334
/proc/meminfo: memFree=28042172/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=603952 CPUtime=49.18 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 222552 0 0 0 4863 55 0 0 18 0 5 0 598596592 618446848 111050 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 150988 111050 355 389 0 146738 0
[pid=20329/tid=20331] ppid=20328 vsize=603952 CPUtime=12.26 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 37133 0 0 0 1211 15 0 0 25 0 5 0 598596624 618446848 111050 33554432000 4194304 5787044 140733503451120 18446744073709551615 4318959 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=603952 CPUtime=12.22 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 46860 0 0 0 1209 13 0 0 25 0 5 0 598596632 618446848 111050 33554432000 4194304 5787044 140733503451120 18446744073709551615 4318959 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=603952 CPUtime=12.13 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 41988 0 0 0 1201 12 0 0 25 0 5 0 598596640 618446848 111050 33554432000 4194304 5787044 140733503451120 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=603952 CPUtime=11.99 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 42307 0 0 0 1192 7 0 0 25 0 5 0 598596649 618446848 111050 33554432000 4194304 5787044 140733503451120 18446744073709551615 4390767 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.18
Current children cumulated vsize (KiB) 612652

[startup+25.5012 s]
/proc/loadavg: 8.22 8.10 8.02 9/188 20335
/proc/meminfo: memFree=27976372/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=688912 CPUtime=100.26 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 343318 0 0 0 9939 87 0 0 18 0 5 0 598596592 705445888 128167 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 172228 128168 417 389 0 167978 0
[pid=20329/tid=20331] ppid=20328 vsize=688912 CPUtime=24.97 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 66745 0 0 0 2472 25 0 0 25 0 5 0 598596624 705445888 128168 33554432000 4194304 5787044 140733503451120 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=688912 CPUtime=25 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 77360 0 0 0 2479 21 0 0 25 0 5 0 598596632 705445888 128168 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=688912 CPUtime=24.92 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 73357 0 0 0 2470 22 0 0 25 0 5 0 598596640 705445888 128168 33554432000 4194304 5787044 140733503451120 18446744073709551615 260020057121 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=688912 CPUtime=24.79 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 71593 0 0 0 2468 11 0 0 25 0 5 0 598596649 705445888 128168 33554432000 4194304 5787044 140733503451120 18446744073709551615 5524646 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.26
Current children cumulated vsize (KiB) 697612

[startup+51.1005 s]
/proc/loadavg: 8.14 8.09 8.02 9/188 20335
/proc/meminfo: memFree=27923196/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=755328 CPUtime=202.5 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 356949 0 0 0 20155 95 0 0 18 0 5 0 598596592 773455872 141798 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 188832 141798 417 389 0 184582 0
[pid=20329/tid=20331] ppid=20328 vsize=755328 CPUtime=50.43 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 71114 0 0 0 5015 28 0 0 25 0 5 0 598596624 773455872 141798 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591760 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=755328 CPUtime=50.61 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 81845 0 0 0 5037 24 0 0 25 0 5 0 598596632 773455872 141798 33554432000 4194304 5787044 140733503451120 18446744073709551615 5590604 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=755328 CPUtime=50.51 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 77949 0 0 0 5027 24 0 0 25 0 5 0 598596640 773455872 141798 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=755328 CPUtime=50.39 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 71777 0 0 0 5027 12 0 0 25 0 5 0 598596649 773455872 141798 33554432000 4194304 5787044 140733503451120 18446744073709551615 5534180 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.5
Current children cumulated vsize (KiB) 764028

[startup+102.307 s]
/proc/loadavg: 8.13 8.10 8.02 9/188 20337
/proc/meminfo: memFree=27683912/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=834008 CPUtime=407.04 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 374145 0 0 0 40593 111 0 0 18 0 5 0 598596592 854024192 158925 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 208502 158925 417 389 0 204252 0
[pid=20329/tid=20331] ppid=20328 vsize=834008 CPUtime=101.35 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 75892 0 0 0 10103 32 0 0 25 0 5 0 598596624 854024192 158925 33554432000 4194304 5787044 140733503451120 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=834008 CPUtime=101.81 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 85785 0 0 0 10153 28 0 0 25 0 5 0 598596632 854024192 158925 33554432000 4194304 5787044 140733503451120 18446744073709551615 5601760 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=834008 CPUtime=101.72 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 83134 0 0 0 10142 30 0 0 25 0 5 0 598596640 854024192 158925 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=834008 CPUtime=101.59 cores=0,2,4,6

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

/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 121028 0 0 0 88035 76 0 0 25 0 5 0 598596632 1530081280 316457 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591547 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=1494220 CPUtime=881.71 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 131873 0 0 0 88079 92 0 0 25 0 5 0 598596640 1530081280 316457 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=1494220 CPUtime=881.58 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 108299 0 0 0 88123 35 0 0 25 0 5 0 598596649 1530081280 316457 33554432000 4194304 5787044 140733503451120 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.81
Current children cumulated vsize (KiB) 1502920

[startup+942.3 s]
/proc/loadavg: 8.07 8.13 8.07 9/188 20395
/proc/meminfo: memFree=28983852/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=1494220 CPUtime=3761.49 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 543813 0 0 0 375841 308 0 0 18 0 5 0 598596592 1530081280 326902 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 373555 326902 417 389 0 369305 0
[pid=20329/tid=20331] ppid=20328 vsize=1494220 CPUtime=936.5 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 117911 0 0 0 93569 81 0 0 25 0 5 0 598596624 1530081280 326902 33554432000 4194304 5787044 140733503451120 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=1494220 CPUtime=941.12 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 125581 0 0 0 94029 83 0 0 25 0 5 0 598596632 1530081280 326902 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591999 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=1494220 CPUtime=941.72 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 137757 0 0 0 94071 101 0 0 25 0 5 0 598596640 1530081280 326902 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=1494220 CPUtime=941.58 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 108300 0 0 0 94123 35 0 0 25 0 5 0 598596649 1530081280 326902 33554432000 4194304 5787044 140733503451120 18446744073709551615 5527227 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3761.49
Current children cumulated vsize (KiB) 1502920

[startup+1002.3 s]
/proc/loadavg: 8.06 8.11 8.07 9/188 20397
/proc/meminfo: memFree=28865148/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=1498316 CPUtime=4001.16 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 550177 0 0 0 399802 314 0 0 18 0 5 0 598596592 1534275584 332816 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 374579 332816 417 389 0 370329 0
[pid=20329/tid=20331] ppid=20328 vsize=1498316 CPUtime=996.16 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 118065 0 0 0 99534 82 0 0 25 0 5 0 598596624 1534275584 332816 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=1498316 CPUtime=1001.11 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 128632 0 0 0 100025 86 0 0 25 0 5 0 598596632 1534275584 332816 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=1498316 CPUtime=1001.72 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 139883 0 0 0 100070 102 0 0 25 0 5 0 598596640 1534275584 332816 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=1498316 CPUtime=1001.58 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 109333 0 0 0 100123 35 0 0 25 0 5 0 598596649 1534275584 332816 33554432000 4194304 5787044 140733503451120 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4001.16
Current children cumulated vsize (KiB) 1507016

[startup+1062.3 s]
/proc/loadavg: 8.06 8.11 8.07 10/188 20398
/proc/meminfo: memFree=28808696/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=1498316 CPUtime=4240.83 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 550514 0 0 0 423769 314 0 0 18 0 5 0 598596592 1534275584 333153 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 374579 333153 417 389 0 370329 0
[pid=20329/tid=20331] ppid=20328 vsize=1498316 CPUtime=1056.04 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 118377 0 0 0 105522 82 0 0 25 0 5 0 598596624 1534275584 333153 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=1498316 CPUtime=1060.91 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 128634 0 0 0 106005 86 0 0 25 0 5 0 598596632 1534275584 333153 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=1498316 CPUtime=1061.72 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 139885 0 0 0 106070 102 0 0 25 0 5 0 598596640 1534275584 333153 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=1498316 CPUtime=1061.58 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 109354 0 0 0 106123 35 0 0 25 0 5 0 598596649 1534275584 333153 33554432000 4194304 5787044 140733503451120 18446744073709551615 5527122 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4240.83
Current children cumulated vsize (KiB) 1507016

[startup+1122.3 s]
/proc/loadavg: 8.13 8.11 8.08 10/188 20400
/proc/meminfo: memFree=28707852/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=1514860 CPUtime=4480.5 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 559066 0 0 0 447725 325 0 0 18 0 5 0 598596592 1551216640 341705 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 378715 341705 417 389 0 374465 0
[pid=20329/tid=20331] ppid=20328 vsize=1514860 CPUtime=1116.03 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 122749 0 0 0 111513 90 0 0 25 0 5 0 598596624 1551216640 341705 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=1514860 CPUtime=1120.58 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 128645 0 0 0 111971 87 0 0 25 0 5 0 598596632 1551216640 341705 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=1514860 CPUtime=1121.72 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 139890 0 0 0 112070 102 0 0 25 0 5 0 598596640 1551216640 341705 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=1514860 CPUtime=1121.59 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 113518 0 0 0 112121 38 0 0 25 0 5 0 598596649 1551216640 341705 33554432000 4194304 5787044 140733503451120 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4480.5
Current children cumulated vsize (KiB) 1523560

[startup+1182.3 s]
/proc/loadavg: 8.17 8.12 8.08 10/188 20402
/proc/meminfo: memFree=28619864/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=1530208 CPUtime=4720.17 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 568145 0 0 0 471682 335 0 0 18 0 5 0 598596592 1566932992 350784 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 382552 350784 417 389 0 378302 0
[pid=20329/tid=20331] ppid=20328 vsize=1530208 CPUtime=1176.03 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 126950 0 0 0 117506 97 0 0 25 0 5 0 598596624 1566932992 350784 33554432000 4194304 5787044 140733503451120 18446744073709551615 5586615 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=1530208 CPUtime=1180.25 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 128656 0 0 0 117938 87 0 0 25 0 5 0 598596632 1566932992 350784 33554432000 4194304 5787044 140733503451120 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=1530208 CPUtime=1181.72 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 140927 0 0 0 118070 102 0 0 25 0 5 0 598596640 1566932992 350784 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=1530208 CPUtime=1181.59 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 117348 0 0 0 118119 40 0 0 25 0 5 0 598596649 1566932992 350784 33554432000 4194304 5787044 140733503451120 18446744073709551615 5527232 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4720.17
Current children cumulated vsize (KiB) 1538908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.31 s]
/proc/loadavg: 8.17 8.13 8.09 10/188 20402
/proc/meminfo: memFree=28571844/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=1535224 CPUtime=4800.1 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 571739 0 0 0 479673 337 0 0 18 0 5 0 598596592 1572069376 354378 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 383806 354378 417 389 0 379556 0
[pid=20329/tid=20331] ppid=20328 vsize=1535224 CPUtime=1196.05 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 128241 0 0 0 119506 99 0 0 25 0 5 0 598596624 1572069376 354378 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=1535224 CPUtime=1200.14 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 129685 0 0 0 119927 87 0 0 25 0 5 0 598596632 1572069376 354378 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=1535224 CPUtime=1201.73 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 140932 0 0 0 120071 102 0 0 25 0 5 0 598596640 1572069376 354378 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591712 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=1535224 CPUtime=1201.61 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 118617 0 0 0 120120 41 0 0 25 0 5 0 598596649 1572069376 354378 33554432000 4194304 5787044 140733503451120 18446744073709551615 5527171 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1543924

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1202.31 s]
/proc/loadavg: 8.17 8.13 8.09 10/188 20402
/proc/meminfo: memFree=28571844/32951124 swapFree=67111464/67111528
[pid=20328] ppid=20326 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/20328/stat : 20328 (priss.sh) S 20326 20328 19459 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 598596591 8908800 252 33554432000 4194304 4922060 140735299153952 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/20328/statm: 2175 252 211 178 0 68 0
[pid=20329] ppid=20328 vsize=1535224 CPUtime=4800.1 cores=0,2,4,6
/proc/20329/stat : 20329 (priss) S 20328 20328 19459 0 -1 4202496 571739 0 0 0 479673 337 0 0 18 0 5 0 598596592 1572069376 354378 33554432000 4194304 5787044 140733503451120 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/20329/statm: 383806 354378 417 389 0 379556 0
[pid=20329/tid=20331] ppid=20328 vsize=1535224 CPUtime=1196.05 cores=0,2,4,6
/proc/20329/task/20331/stat : 20331 (priss) R 20328 20328 19459 0 -1 4202560 128241 0 0 0 119506 99 0 0 25 0 5 0 598596624 1572069376 354378 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=20329/tid=20332] ppid=20328 vsize=1535224 CPUtime=1200.14 cores=0,2,4,6
/proc/20329/task/20332/stat : 20332 (priss) R 20328 20328 19459 0 -1 4202560 129685 0 0 0 119927 87 0 0 25 0 5 0 598596632 1572069376 354378 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=20329/tid=20333] ppid=20328 vsize=1535224 CPUtime=1201.73 cores=0,2,4,6
/proc/20329/task/20333/stat : 20333 (priss) R 20328 20328 19459 0 -1 4202560 140932 0 0 0 120071 102 0 0 25 0 5 0 598596640 1572069376 354378 33554432000 4194304 5787044 140733503451120 18446744073709551615 5591712 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=20329/tid=20334] ppid=20328 vsize=1535224 CPUtime=1201.61 cores=0,2,4,6
/proc/20329/task/20334/stat : 20334 (priss) R 20328 20328 19459 0 -1 4202560 118617 0 0 0 120120 41 0 0 25 0 5 0 598596649 1572069376 354378 33554432000 4194304 5787044 140733503451120 18446744073709551615 5527171 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1543924

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20328 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.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1202.32
CPU time (s): 4800.1
CPU user time (s): 4796.73
CPU system time (s): 3.37
CPU usage (%): 399.235
Max. virtual memory (cumulated for all children) (KiB): 1543924

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= 332
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.85072 second user time and 4.72128 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-29 15:27:40
IDJOB=3250854
IDBENCH=88203
IDSOLVER=1603
FILE ID=node110/3250854-1304083660
RUNJOBID= node110-1304082043-20090
PBS_JOBID= 13170503
Free space on /tmp= 72724 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250854-1304083660/watcher-3250854-1304083660 -o /tmp/evaluation-result-3250854-1304083660/solver-3250854-1304083660 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3250854-1304083660.cnf 122241705 4800 15500 4

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

MD5SUM BENCH= 472b10ce0a2683d9355981037eea091e
RANDOM SEED=122241705

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.74
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.830
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:     32951124 kB
MemFree:      28487264 kB
Buffers:        890424 kB
Cached:         809608 kB
SwapCached:         64 kB
Active:        2497436 kB
Inactive:      1554680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28487264 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           70340 kB
Writeback:           0 kB
AnonPages:     2351780 kB
Mapped:          15508 kB
Slab:           342440 kB
PageTables:       9636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2726160 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= 72808 MiB
End job on node110 at 2011-04-29 15:47:44