Trace number 3499527

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
MD5SUMad30956261e72142648a01bc7c025dba
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables85
Number of clauses29282
Sum of the clauses size292650
Maximum clause length10
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 534
Number of clauses of size over 529248

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: 2051
0.00/0.02	c parsetime: 18272us
0.00/0.02	c parsed 29282 clauses with 85 variables
0.00/0.02	c NW started thread 0 successfully (1107687744)
0.00/0.03	c NW started thread 1 successfully (1118177600)
0.00/0.05	c NW started thread 2 successfully (1128667456)
0.00/0.06	c NW started thread 3 successfully (1086015808)
59.82/15.08	c preprocessor returned 10120 variables
59.82/15.08	c preprocessing returned UNKNOWN
59.82/15.08	c PP set 0 variables
59.82/15.08	c pp time: 15049871us (15s)
60.23/15.10	c preprocessor returned 10120 variables
60.23/15.10	c preprocessing returned UNKNOWN
60.23/15.10	c PP set 0 variables
60.23/15.10	c pp time: 15052234us (15s)
60.23/15.11	c preprocessor returned 10120 variables
60.23/15.11	c preprocessing returned UNKNOWN
60.23/15.11	c PP set 0 variables
60.23/15.11	c pp time: 15082660us (15s)
421.40/105.49	c preprocessor returned 30342 variables
421.40/105.49	c preprocessing returned UNKNOWN
421.40/105.49	c PP set 0 variables
421.40/105.49	c pp time: 105425823us (105s)

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499527-1308003929/watcher-3499527-1308003929 -o /var/tmp/evaluation-result-3499527-1308003929/solver-3499527-1308003929 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499527-1308003929.cnf 1019944870 40000 31000 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.00 3.99 3.91 1/170 2050
/proc/meminfo: memFree=13135152/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0

[startup+0.0898881 s]
/proc/loadavg: 4.00 3.99 3.91 1/170 2050
/proc/meminfo: memFree=13135152/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100888 s]
/proc/loadavg: 4.00 3.99 3.91 1/170 2050
/proc/meminfo: memFree=13135152/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300849 s]
/proc/loadavg: 4.00 3.99 3.91 1/170 2050
/proc/meminfo: memFree=13135152/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700791 s]
/proc/loadavg: 4.00 3.99 3.91 1/170 2050
/proc/meminfo: memFree=13135152/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50065 s]
/proc/loadavg: 4.00 3.99 3.91 5/176 2056
/proc/meminfo: memFree=13114544/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=205104 CPUtime=5.86 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 5515 0 0 0 584 2 0 0 19 0 5 0 892809012 210026496 5427 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 51276 5427 351 389 0 47026 0
[pid=2051/tid=2053] ppid=2050 vsize=205104 CPUtime=1.46 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 493 0 0 0 146 0 0 0 18 0 5 0 892809015 210026496 5427 33554432000 4194304 5787044 140734534337680 18446744073709551615 4336120 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=205104 CPUtime=1.45 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 412 0 0 0 145 0 0 0 18 0 5 0 892809016 210026496 5427 33554432000 4194304 5787044 140734534337680 18446744073709551615 255106466384 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=205104 CPUtime=1.44 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 403 0 0 0 144 0 0 0 18 0 5 0 892809017 210026496 5427 33554432000 4194304 5787044 140734534337680 18446744073709551615 4336155 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=205104 CPUtime=1.42 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 426 0 0 0 142 0 0 0 18 0 5 0 892809019 210026496 5427 33554432000 4194304 5787044 140734534337680 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 213804

[startup+3.10036 s]
/proc/loadavg: 4.00 3.99 3.91 5/176 2057
/proc/meminfo: memFree=13114764/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=205104 CPUtime=12.25 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 5515 0 0 0 1222 3 0 0 19 0 5 0 892809012 210026496 5427 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 51276 5427 351 389 0 47026 0
[pid=2051/tid=2053] ppid=2050 vsize=205104 CPUtime=3.06 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 493 0 0 0 305 1 0 0 18 0 5 0 892809015 210026496 5427 33554432000 4194304 5787044 140734534337680 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=205104 CPUtime=3.05 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 412 0 0 0 305 0 0 0 18 0 5 0 892809016 210026496 5427 33554432000 4194304 5787044 140734534337680 18446744073709551615 255106873887 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=205104 CPUtime=3.04 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 403 0 0 0 303 1 0 0 18 0 5 0 892809017 210026496 5427 33554432000 4194304 5787044 140734534337680 18446744073709551615 4336759 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=205104 CPUtime=3.02 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 426 0 0 0 302 0 0 0 20 0 5 0 892809019 210026496 5427 33554432000 4194304 5787044 140734534337680 18446744073709551615 255106873887 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 213804

[startup+6.30079 s]
/proc/loadavg: 4.00 3.99 3.91 5/176 2057
/proc/meminfo: memFree=13115276/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=205104 CPUtime=25.04 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 5516 0 0 0 2500 4 0 0 19 0 5 0 892809012 210026496 5428 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 51276 5428 351 389 0 47026 0
[pid=2051/tid=2053] ppid=2050 vsize=205104 CPUtime=6.26 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 494 0 0 0 625 1 0 0 18 0 5 0 892809015 210026496 5428 33554432000 4194304 5787044 140734534337680 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=205104 CPUtime=6.24 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 412 0 0 0 624 0 0 0 18 0 5 0 892809016 210026496 5428 33554432000 4194304 5787044 140734534337680 18446744073709551615 4336816 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=205104 CPUtime=6.24 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 403 0 0 0 623 1 0 0 18 0 5 0 892809017 210026496 5428 33554432000 4194304 5787044 140734534337680 18446744073709551615 4336718 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=205104 CPUtime=6.22 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 426 0 0 0 622 0 0 0 25 0 5 0 892809019 210026496 5428 33554432000 4194304 5787044 140734534337680 18446744073709551615 4336703 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 213804

[startup+12.7007 s]
/proc/loadavg: 4.00 3.99 3.91 5/176 2057
/proc/meminfo: memFree=13107840/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=218988 CPUtime=50.63 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 8916 0 0 0 5058 5 0 0 19 0 5 0 892809012 224243712 8461 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 54747 8469 356 389 0 50497 0
[pid=2051/tid=2053] ppid=2050 vsize=218988 CPUtime=12.66 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 1061 0 0 0 1265 1 0 0 18 0 5 0 892809015 224243712 8476 33554432000 4194304 5787044 140734534337680 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=218988 CPUtime=12.62 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 1318 0 0 0 1262 0 0 0 18 0 5 0 892809016 224243712 8484 33554432000 4194304 5787044 140734534337680 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=218988 CPUtime=12.64 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 1582 0 0 0 1262 2 0 0 18 0 5 0 892809017 224243712 8493 33554432000 4194304 5787044 140734534337680 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=218988 CPUtime=12.62 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 1216 0 0 0 1262 0 0 0 25 0 5 0 892809019 224243712 8503 33554432000 4194304 5787044 140734534337680 18446744073709551615 4297739 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 227688

[startup+25.5004 s]
/proc/loadavg: 4.00 3.99 3.91 5/176 2057
/proc/meminfo: memFree=13073872/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=298196 CPUtime=101.82 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 17060 0 0 0 10169 13 0 0 19 0 5 0 892809012 305352704 16249 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 74549 16249 405 389 0 70299 0
[pid=2051/tid=2053] ppid=2050 vsize=298196 CPUtime=25.45 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 2728 0 0 0 2543 2 0 0 18 0 5 0 892809015 305352704 16249 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591298 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=298196 CPUtime=25.42 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 3397 0 0 0 2537 5 0 0 18 0 5 0 892809016 305352704 16249 33554432000 4194304 5787044 140734534337680 18446744073709551615 4254979 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=298196 CPUtime=25.43 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 4595 0 0 0 2540 3 0 0 18 0 5 0 892809017 305352704 16249 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591623 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=298196 CPUtime=25.42 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 2559 0 0 0 2542 0 0 0 25 0 5 0 892809019 305352704 16249 33554432000 4194304 5787044 140734534337680 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 306896

[startup+51.1009 s]
/proc/loadavg: 4.00 3.99 3.91 5/176 2058
/proc/meminfo: memFree=13045280/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=308220 CPUtime=204.21 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 24552 0 0 0 20399 22 0 0 19 0 5 0 892809012 315617280 23739 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 77055 23739 405 389 0 72805 0
[pid=2051/tid=2053] ppid=2050 vsize=308220 CPUtime=51.05 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 6089 0 0 0 5101 4 0 0 24 0 5 0 892809015 315617280 23739 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=308220 CPUtime=51.01 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 5227 0 0 0 5091 10 0 0 19 0 5 0 892809016 315617280 23739 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=308220 CPUtime=51.02 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 6896 0 0 0 5097 5 0 0 18 0 5 0 892809017 315617280 23739 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=308220 CPUtime=51.02 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 2559 0 0 0 5102 0 0 0 25 0 5 0 892809019 315617280 23739 33554432000 4194304 5787044 140734534337680 18446744073709551615 255106462701 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.21
Current children cumulated vsize (KiB) 316920

[startup+102.307 s]
/proc/loadavg: 4.00 3.99 3.91 5/176 2059
/proc/meminfo: memFree=12996776/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=324060 CPUtime=409.02 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 36357 0 0 0 40863 39 0 0 19 0 5 0 892809012 331837440 35379 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 81015 35379 405 389 0 76765 0
[pid=2051/tid=2053] ppid=2050 vsize=324060 CPUtime=102.26 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 10660 0 0 0 10216 10 0 0 25 0 5 0 892809015 331837440 35379 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=324060 CPUtime=102.22 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 8228 0 0 0 10204 18 0 0 25 0 5 0 892809016 331837440 35379 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=324060 CPUtime=102.23 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 11129 0 0 0 10215 8 0 0 25 0 5 0 892809017 331837440 35379 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591730 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=324060 CPUtime=102.23 cores=0-7

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

/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 74007 0 0 0 472070 149 0 0 25 0 5 0 892809016 1360285696 286968 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=1328404 CPUtime=4722.3 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 57192 0 0 0 472168 62 0 0 25 0 5 0 892809017 1360285696 286968 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591511 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=1328404 CPUtime=4722.32 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 75148 0 0 0 472155 77 0 0 25 0 5 0 892809019 1360285696 286968 33554432000 4194304 5787044 140734534337680 18446744073709551615 5527037 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18889.2
Current children cumulated vsize (KiB) 1337104

[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/176 2196
/proc/meminfo: memFree=11972204/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=1332340 CPUtime=19129.2 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 298441 0 0 0 1912519 401 0 0 19 0 5 0 892809012 1364316160 290702 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 333085 290702 418 389 0 328835 0
[pid=2051/tid=2053] ppid=2050 vsize=1332340 CPUtime=4782.32 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 85442 0 0 0 478126 106 0 0 25 0 5 0 892809015 1364316160 290702 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591217 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=1332340 CPUtime=4782.19 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 74837 0 0 0 478068 151 0 0 25 0 5 0 892809016 1364316160 290702 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=1332340 CPUtime=4782.3 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 58287 0 0 0 478166 64 0 0 25 0 5 0 892809017 1364316160 290702 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591325 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=1332340 CPUtime=4782.3 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 76094 0 0 0 478152 78 0 0 25 0 5 0 892809019 1364316160 290702 33554432000 4194304 5787044 140734534337680 18446744073709551615 5527087 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19129.2
Current children cumulated vsize (KiB) 1341040

[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/176 2198
/proc/meminfo: memFree=11949988/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=1340960 CPUtime=19369.2 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 303929 0 0 0 1936511 409 0 0 19 0 5 0 892809012 1373143040 296190 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 335240 296190 418 389 0 330990 0
[pid=2051/tid=2053] ppid=2050 vsize=1340960 CPUtime=4842.31 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 87567 0 0 0 484125 106 0 0 25 0 5 0 892809015 1373143040 296190 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=1340960 CPUtime=4842.2 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 75798 0 0 0 484066 154 0 0 18 0 5 0 892809016 1373143040 296190 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=1340960 CPUtime=4842.29 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 59499 0 0 0 484163 66 0 0 25 0 5 0 892809017 1373143040 296190 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=1340960 CPUtime=4842.31 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 77284 0 0 0 484150 81 0 0 25 0 5 0 892809019 1373143040 296190 33554432000 4194304 5787044 140734534337680 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19369.2
Current children cumulated vsize (KiB) 1349660

[startup+4902.3 s]
/proc/loadavg: 4.06 4.02 3.95 5/176 2199
/proc/meminfo: memFree=11932484/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=1410772 CPUtime=19609.2 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 308430 0 0 0 1960502 419 0 0 19 0 5 0 892809012 1444630528 300691 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 352693 300691 418 389 0 348443 0
[pid=2051/tid=2053] ppid=2050 vsize=1410772 CPUtime=4902.31 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 88632 0 0 0 490124 107 0 0 25 0 5 0 892809015 1444630528 300691 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=1410772 CPUtime=4902.19 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 76934 0 0 0 490061 158 0 0 25 0 5 0 892809016 1444630528 300691 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=1410772 CPUtime=4902.3 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 60540 0 0 0 490161 69 0 0 25 0 5 0 892809017 1444630528 300691 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=1410772 CPUtime=4902.31 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 78543 0 0 0 490149 82 0 0 25 0 5 0 892809019 1444630528 300691 33554432000 4194304 5787044 140734534337680 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19609.2
Current children cumulated vsize (KiB) 1419472

[startup+4962.3 s]
/proc/loadavg: 4.02 4.01 3.95 5/176 2201
/proc/meminfo: memFree=11910508/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=1484864 CPUtime=19849.2 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 313817 0 0 0 1984494 427 0 0 19 0 5 0 892809012 1520500736 306078 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 371216 306078 418 389 0 366966 0
[pid=2051/tid=2053] ppid=2050 vsize=1484864 CPUtime=4962.32 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 90750 0 0 0 496123 109 0 0 25 0 5 0 892809015 1520500736 306078 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=1484864 CPUtime=4962.19 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 78196 0 0 0 496057 162 0 0 25 0 5 0 892809016 1520500736 306078 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=1484864 CPUtime=4962.29 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 61522 0 0 0 496159 70 0 0 25 0 5 0 892809017 1520500736 306078 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=1484864 CPUtime=4962.31 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 79568 0 0 0 496148 83 0 0 25 0 5 0 892809019 1520500736 306078 33554432000 4194304 5787044 140734534337680 18446744073709551615 5527101 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19849.2
Current children cumulated vsize (KiB) 1493564

[startup+5022.3 s]
/proc/loadavg: 4.01 4.00 3.95 5/176 2202
/proc/meminfo: memFree=11893000/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=1489288 CPUtime=20089.2 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 318221 0 0 0 2008485 437 0 0 19 0 5 0 892809012 1525030912 310482 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 372322 310482 418 389 0 368072 0
[pid=2051/tid=2053] ppid=2050 vsize=1489288 CPUtime=5022.32 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 91776 0 0 0 502122 110 0 0 25 0 5 0 892809015 1525030912 310482 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=1489288 CPUtime=5022.19 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 79602 0 0 0 502052 167 0 0 25 0 5 0 892809016 1525030912 310482 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=1489288 CPUtime=5022.3 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 62661 0 0 0 502158 72 0 0 25 0 5 0 892809017 1525030912 310482 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=1489288 CPUtime=5022.31 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 80401 0 0 0 502146 85 0 0 25 0 5 0 892809019 1525030912 310482 33554432000 4194304 5787044 140734534337680 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20089.2
Current children cumulated vsize (KiB) 1497988

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/176 2204
/proc/meminfo: memFree=11871040/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=1493448 CPUtime=20329.2 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 323623 0 0 0 2032478 444 0 0 19 0 5 0 892809012 1529290752 315884 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 373362 315884 418 389 0 369112 0
[pid=2051/tid=2053] ppid=2050 vsize=1493448 CPUtime=5082.32 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 92886 0 0 0 508122 110 0 0 20 0 5 0 892809015 1529290752 315884 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591289 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=1493448 CPUtime=5082.2 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 80661 0 0 0 508050 170 0 0 25 0 5 0 892809016 1529290752 315884 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=1493448 CPUtime=5082.31 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 64830 0 0 0 508156 75 0 0 25 0 5 0 892809017 1529290752 315884 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=1493448 CPUtime=5082.32 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 81465 0 0 0 508145 87 0 0 25 0 5 0 892809019 1529290752 315884 33554432000 4194304 5787044 140734534337680 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20329.2
Current children cumulated vsize (KiB) 1502148



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 3.95 5/176 2204
/proc/meminfo: memFree=11866072/32951124 swapFree=67055536/67111528
[pid=2050] ppid=2048 vsize=8700 CPUtime=0 cores=0-7
/proc/2050/stat : 2050 (priss.sh) S 2048 2050 1730 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 892809012 8908800 252 33554432000 4194304 4922060 140737356997776 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/2050/statm: 2175 252 211 178 0 68 0
[pid=2051] ppid=2050 vsize=1494564 CPUtime=20400 cores=0-7
/proc/2051/stat : 2051 (priss) S 2050 2050 1730 0 -1 4202496 324849 0 0 0 2039557 447 0 0 19 0 5 0 892809012 1530433536 317110 33554432000 4194304 5787044 140734534337680 18446744073709551615 255118592433 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2051/statm: 373641 317110 418 389 0 369391 0
[pid=2051/tid=2053] ppid=2050 vsize=1494564 CPUtime=5100.03 cores=0-7
/proc/2051/task/2053/stat : 2053 (priss) R 2050 2050 1730 0 -1 4202560 93179 0 0 0 509892 111 0 0 25 0 5 0 892809015 1530433536 317110 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=2051/tid=2054] ppid=2050 vsize=1494564 CPUtime=5099.9 cores=0-7
/proc/2051/task/2054/stat : 2054 (priss) R 2050 2050 1730 0 -1 4202560 80957 0 0 0 509818 172 0 0 25 0 5 0 892809016 1530433536 317110 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=2051/tid=2055] ppid=2050 vsize=1494564 CPUtime=5100.01 cores=0-7
/proc/2051/task/2055/stat : 2055 (priss) R 2050 2050 1730 0 -1 4202560 65104 0 0 0 509926 75 0 0 25 0 5 0 892809017 1530433536 317110 33554432000 4194304 5787044 140734534337680 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=2051/tid=2056] ppid=2050 vsize=1494564 CPUtime=5100.02 cores=0-7
/proc/2051/task/2056/stat : 2056 (priss) R 2050 2050 1730 0 -1 4202560 81828 0 0 0 509915 87 0 0 25 0 5 0 892809019 1530433536 317110 33554432000 4194304 5787044 140734534337680 18446744073709551615 5527568 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20400
Current children cumulated vsize (KiB) 1503264

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

Real time (s): 5100.02
CPU time (s): 20400
CPU user time (s): 20395.6
CPU system time (s): 4.47
CPU usage (%): 399.999
Max. virtual memory (cumulated for all children) (KiB): 1503264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2

runsolver used 8.22275 second user time and 19.443 second system time

The end

Launcher Data 

Begin job on node144 at 2011-06-14 00:25:29
IDJOB=3499527
IDBENCH=83924
IDSOLVER=1994
FILE ID=node144/3499527-1308003929
RUNJOBID= node144-1307998791-1744
PBS_JOBID= 13559834
Free space on /var/tmp= 2912 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_80_17_90_7-log.shuffled-as.sat03-190.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499527-1308003929/watcher-3499527-1308003929 -o /var/tmp/evaluation-result-3499527-1308003929/solver-3499527-1308003929 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499527-1308003929.cnf 1019944870 40000 31000 8

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

MD5SUM BENCH= ad30956261e72142648a01bc7c025dba
RANDOM SEED=1019944870

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13135712 kB
Buffers:        121152 kB
Cached:       19009856 kB
SwapCached:       9140 kB
Active:        3622668 kB
Inactive:     15526596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13135712 kB
SwapTotal:    67111528 kB
SwapFree:     67055536 kB
Dirty:            4056 kB
Writeback:           0 kB
AnonPages:       16492 kB
Mapped:          12436 kB
Slab:           600352 kB
PageTables:       4288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184560 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2908 MiB
End job on node144 at 2011-06-14 01:50:31