Trace number 3499357

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

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x39.cnf
MD5SUMe7679ca49bb432c9b90305d907365c4e
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 variables3276
Number of clauses628173
Sum of the clauses size2502864
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24914
Number of clauses of size 30
Number of clauses of size 4623259
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 13131
0.00/0.18	c parsetime: 177755us
0.00/0.18	c parsed 628173 clauses with 3276 variables
0.00/0.21	c NW started thread 0 successfully (1111857472)
0.00/0.28	c NW started thread 1 successfully (1093704000)
0.00/0.33	c NW started thread 2 successfully (1122347328)
0.00/0.37	c NW started thread 3 successfully (1132837184)
561.06/140.52	c preprocessor returned 10010 variables
561.06/140.52	c preprocessing returned UNKNOWN
561.06/140.52	c PP set 0 variables
561.06/140.52	c pp time: 140298317us (140s)
561.47/140.65	c preprocessor returned 10010 variables
561.47/140.65	c preprocessing returned UNKNOWN
561.47/140.65	c PP set 0 variables
561.47/140.65	c pp time: 140322576us (140s)
572.27/143.33	c preprocessor returned 30006 variables
572.27/143.33	c preprocessing returned UNKNOWN
572.27/143.33	c PP set 0 variables
572.27/143.33	c pp time: 142959906us (142s)
591.86/148.21	c preprocessor returned 10010 variables
591.86/148.21	c preprocessing returned UNKNOWN
591.86/148.21	c PP set 0 variables
591.86/148.21	c pp time: 147925144us (147s)
3326.28/832.21	c HTE
3354.30/839.24	c subsumption
3492.27/873.74	c simplified formula contains 0 unit clauses
8914.28/2229.73	c HTE
9450.57/2363.96	c subsumption
11265.85/2817.81	c simplified formula contains 0 unit clauses
19498.14/4876.43	c HTE

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 /tmp/evaluation-result-3499357-1307998755/watcher-3499357-1307998755 -o /tmp/evaluation-result-3499357-1307998755/solver-3499357-1307998755 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499357-1307998755.cnf 1228143063 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: 2.03 3.21 3.63 2/165 13130
/proc/meminfo: memFree=28728104/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0

[startup+0.084916 s]
/proc/loadavg: 2.03 3.21 3.63 2/165 13130
/proc/meminfo: memFree=28728104/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100909 s]
/proc/loadavg: 2.03 3.21 3.63 2/165 13130
/proc/meminfo: memFree=28728104/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300859 s]
/proc/loadavg: 2.03 3.21 3.63 2/165 13130
/proc/meminfo: memFree=28728104/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700786 s]
/proc/loadavg: 2.03 3.21 3.63 2/165 13130
/proc/meminfo: memFree=28728104/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50063 s]
/proc/loadavg: 2.19 3.23 3.64 5/171 13136
/proc/meminfo: memFree=28546420/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=343568 CPUtime=5.1 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 48697 0 0 0 504 6 0 0 18 0 5 0 911475158 351813632 45684 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 85892 45684 349 389 0 81642 0
[pid=13131/tid=13133] ppid=13130 vsize=343568 CPUtime=1.25 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 5151 0 0 0 124 1 0 0 18 0 5 0 911475180 351813632 45684 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=343568 CPUtime=1.2 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 4926 0 0 0 120 0 0 0 18 0 5 0 911475186 351813632 45684 33554432000 4194304 5787044 140736265544624 18446744073709551615 210647251487 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=343568 CPUtime=1.16 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 5351 0 0 0 115 1 0 0 18 0 5 0 911475191 351813632 45684 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=343568 CPUtime=1.11 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 4156 0 0 0 111 0 0 0 18 0 5 0 911475195 351813632 45684 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336120 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 352268

[startup+3.10036 s]
/proc/loadavg: 2.19 3.23 3.64 5/171 13136
/proc/meminfo: memFree=28546296/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=409104 CPUtime=11.49 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 48699 0 0 0 1142 7 0 0 18 0 5 0 911475158 418922496 45686 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 102276 45686 349 389 0 98026 0
[pid=13131/tid=13133] ppid=13130 vsize=409104 CPUtime=2.85 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 5153 0 0 0 284 1 0 0 18 0 5 0 911475180 418922496 45686 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=409104 CPUtime=2.8 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 4926 0 0 0 279 1 0 0 18 0 5 0 911475186 418922496 45686 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=409104 CPUtime=2.76 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 5351 0 0 0 275 1 0 0 18 0 5 0 911475191 418922496 45686 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336819 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=409104 CPUtime=2.71 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 4156 0 0 0 271 0 0 0 18 0 5 0 911475195 418922496 45686 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 417804

[startup+6.30085 s]
/proc/loadavg: 2.19 3.23 3.64 6/171 13136
/proc/meminfo: memFree=28546420/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=409104 CPUtime=24.3 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 48699 0 0 0 2420 10 0 0 18 0 5 0 911475158 418922496 45686 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 102276 45686 349 389 0 98026 0
[pid=13131/tid=13133] ppid=13130 vsize=409104 CPUtime=6.05 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 5153 0 0 0 604 1 0 0 25 0 5 0 911475180 418922496 45686 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=409104 CPUtime=5.99 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 4926 0 0 0 596 3 0 0 25 0 5 0 911475186 418922496 45686 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=409104 CPUtime=5.96 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 5351 0 0 0 595 1 0 0 25 0 5 0 911475191 418922496 45686 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=409104 CPUtime=5.91 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 4156 0 0 0 591 0 0 0 25 0 5 0 911475195 418922496 45686 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336560 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.3
Current children cumulated vsize (KiB) 417804

[startup+12.7007 s]
/proc/loadavg: 2.62 3.28 3.65 5/171 13136
/proc/meminfo: memFree=28547700/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=420560 CPUtime=49.89 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 52542 0 0 0 4978 11 0 0 18 0 5 0 911475158 430653440 47687 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 105140 47688 350 389 0 100890 0
[pid=13131/tid=13133] ppid=13130 vsize=420560 CPUtime=12.46 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 6140 0 0 0 1244 2 0 0 18 0 5 0 911475180 430653440 47689 33554432000 4194304 5787044 140736265544624 18446744073709551615 210646807237 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=420560 CPUtime=12.39 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 4926 0 0 0 1236 3 0 0 25 0 5 0 911475186 430653440 47689 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=420560 CPUtime=12.36 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 6087 0 0 0 1235 1 0 0 25 0 5 0 911475191 430653440 47689 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=420560 CPUtime=12.31 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 6278 0 0 0 1230 1 0 0 25 0 5 0 911475195 430653440 47689 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336560 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.89
Current children cumulated vsize (KiB) 429260

[startup+25.5006 s]
/proc/loadavg: 2.83 3.31 3.65 5/171 13136
/proc/meminfo: memFree=28355472/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=515300 CPUtime=101.06 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 101107 0 0 0 10058 48 0 0 18 0 5 0 911475158 527667200 95638 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 128825 95638 350 389 0 124575 0
[pid=13131/tid=13133] ppid=13130 vsize=515300 CPUtime=25.25 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 18362 0 0 0 2517 8 0 0 18 0 5 0 911475180 527667200 95638 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=515300 CPUtime=25.19 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 16810 0 0 0 2513 6 0 0 25 0 5 0 911475186 527667200 95638 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=515300 CPUtime=25.15 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 20430 0 0 0 2510 5 0 0 20 0 5 0 911475191 527667200 95638 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=515300 CPUtime=25.1 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 16392 0 0 0 2485 25 0 0 18 0 5 0 911475195 527667200 95638 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.06
Current children cumulated vsize (KiB) 524000

[startup+51.1013 s]
/proc/loadavg: 3.23 3.36 3.66 5/171 13138
/proc/meminfo: memFree=28329420/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=527188 CPUtime=203.47 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 106165 0 0 0 20295 52 0 0 18 0 5 0 911475158 539840512 100696 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 131797 100696 350 389 0 127547 0
[pid=13131/tid=13133] ppid=13130 vsize=527188 CPUtime=50.85 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 19046 0 0 0 5077 8 0 0 25 0 5 0 911475180 539840512 100696 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=527188 CPUtime=50.79 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 18869 0 0 0 5072 7 0 0 25 0 5 0 911475186 539840512 100696 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=527188 CPUtime=50.75 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 21136 0 0 0 5069 6 0 0 25 0 5 0 911475191 539840512 100696 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336801 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=527188 CPUtime=50.7 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 18001 0 0 0 5043 27 0 0 25 0 5 0 911475195 539840512 100696 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336234 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.47
Current children cumulated vsize (KiB) 535888

[startup+102.307 s]
/proc/loadavg: 3.69 3.47 3.68 5/171 13138
/proc/meminfo: memFree=28328796/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=527188 CPUtime=408.29 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 106255 0 0 0 40777 52 0 0 18 0 5 0 911475158 539840512 100786 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 131797 100786 352 389 0 127547 0
[pid=13131/tid=13133] ppid=13130 vsize=527188 CPUtime=102.06 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 19068 0 0 0 10198 8 0 0 25 0 5 0 911475180 539840512 100786 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=527188 CPUtime=101.99 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 18891 0 0 0 10192 7 0 0 25 0 5 0 911475186 539840512 100786 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336744 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=527188 CPUtime=101.96 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 21158 0 0 0 10190 6 0 0 25 0 5 0 911475191 539840512 100786 33554432000 4194304 5787044 140736265544624 18446744073709551615 4336718 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=527188 CPUtime=101.9 cores=0-7

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

/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 347572 0 0 0 471686 383 0 0 18 0 5 0 911475186 6027411456 1377515 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=5886144 CPUtime=4720.79 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 355174 0 0 0 471650 429 0 0 18 0 5 0 911475191 6027411456 1377515 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=5886144 CPUtime=4719.17 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 346064 0 0 0 471276 641 0 0 18 0 5 0 911475195 6027411456 1377515 33554432000 4194304 5787044 140736265544624 18446744073709551615 5528380 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18881.8
Current children cumulated vsize (KiB) 5894844

[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/171 13288
/proc/meminfo: memFree=23085748/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=6055236 CPUtime=19121.8 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 1469145 0 0 0 1910278 1900 0 0 18 0 5 0 911475158 6200561664 1410281 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 1513809 1410282 417 389 0 1509559 0
[pid=13131/tid=13133] ppid=13130 vsize=6055236 CPUtime=4780.78 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 368454 0 0 0 477671 407 0 0 25 0 5 0 911475180 6200561664 1410282 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=6055236 CPUtime=4780.68 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 357144 0 0 0 477678 390 0 0 18 0 5 0 911475186 6200561664 1410282 33554432000 4194304 5787044 140736265544624 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=6055236 CPUtime=4780.78 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 360721 0 0 0 477640 438 0 0 18 0 5 0 911475191 6200561664 1410282 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=6055236 CPUtime=4779.16 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 353714 0 0 0 477255 661 0 0 19 0 5 0 911475195 6200561664 1410282 33554432000 4194304 5787044 140736265544624 18446744073709551615 210646807585 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19121.8
Current children cumulated vsize (KiB) 6063936

[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/171 13290
/proc/meminfo: memFree=22958264/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=6085956 CPUtime=19361.8 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 1499702 0 0 0 1934228 1948 0 0 18 0 5 0 911475158 6232018944 1440838 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 1521489 1440838 417 389 0 1517239 0
[pid=13131/tid=13133] ppid=13130 vsize=6085956 CPUtime=4840.78 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 375539 0 0 0 483664 414 0 0 25 0 5 0 911475180 6232018944 1440838 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=6085956 CPUtime=4840.68 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 366605 0 0 0 483671 397 0 0 18 0 5 0 911475186 6232018944 1440838 33554432000 4194304 5787044 140736265544624 18446744073709551615 4218750 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=6085956 CPUtime=4840.77 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 368088 0 0 0 483630 447 0 0 19 0 5 0 911475191 6232018944 1440838 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=6085956 CPUtime=4839.15 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 360357 0 0 0 483229 686 0 0 18 0 5 0 911475195 6232018944 1440838 33554432000 4194304 5787044 140736265544624 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19361.8
Current children cumulated vsize (KiB) 6094656

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 3.93 4/171 13290
/proc/meminfo: memFree=22288152/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=6911928 CPUtime=19600.7 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 1677161 0 0 0 1957923 2148 0 0 18 0 5 0 911475158 7077814272 1607859 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 1727982 1607859 417 389 0 1723732 0
[pid=13131/tid=13133] ppid=13130 vsize=6911928 CPUtime=4900.77 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 380200 0 0 0 489661 416 0 0 19 0 5 0 911475180 7077814272 1607859 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=6911928 CPUtime=4900.2 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 373283 0 0 0 489548 472 0 0 18 0 5 0 911475186 7077814272 1607859 33554432000 4194304 5787044 140736265544624 18446744073709551615 5585255 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=6911928 CPUtime=4900.23 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 373819 0 0 0 489496 527 0 0 18 0 5 0 911475191 7077814272 1607859 33554432000 4194304 5787044 140736265544624 18446744073709551615 5590978 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=6911928 CPUtime=4899.14 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 520746 0 0 0 489185 729 0 0 25 0 5 0 911475195 7077814272 1607859 33554432000 4194304 5787044 140736265544624 18446744073709551615 4332587 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19600.7
Current children cumulated vsize (KiB) 6920628

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 3.93 5/171 13292
/proc/meminfo: memFree=22288148/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=6911928 CPUtime=19840.6 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 1677162 0 0 0 1981911 2151 0 0 18 0 5 0 911475158 7077814272 1607860 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 1727982 1607860 417 389 0 1723732 0
[pid=13131/tid=13133] ppid=13130 vsize=6911928 CPUtime=4960.74 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 380201 0 0 0 495657 417 0 0 18 0 5 0 911475180 7077814272 1607860 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=6911928 CPUtime=4960.16 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 373283 0 0 0 495543 473 0 0 18 0 5 0 911475186 7077814272 1607860 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=6911928 CPUtime=4960.23 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 373819 0 0 0 495495 528 0 0 25 0 5 0 911475191 7077814272 1607860 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=6911928 CPUtime=4959.12 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 520746 0 0 0 495183 729 0 0 25 0 5 0 911475195 7077814272 1607860 33554432000 4194304 5787044 140736265544624 18446744073709551615 4332737 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19840.6
Current children cumulated vsize (KiB) 6920628

[startup+5022.3 s]
/proc/loadavg: 4.07 4.02 3.93 5/171 13294
/proc/meminfo: memFree=22288144/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=6911928 CPUtime=20080.6 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 1677167 0 0 0 2005904 2156 0 0 18 0 5 0 911475158 7077814272 1607865 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 1727982 1607865 417 389 0 1723732 0
[pid=13131/tid=13133] ppid=13130 vsize=6911928 CPUtime=5020.73 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 380203 0 0 0 501655 418 0 0 18 0 5 0 911475180 7077814272 1607865 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=6911928 CPUtime=5020.16 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 373285 0 0 0 501542 474 0 0 23 0 5 0 911475186 7077814272 1607865 33554432000 4194304 5787044 140736265544624 18446744073709551615 4254546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=6911928 CPUtime=5020.23 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 373820 0 0 0 501494 529 0 0 25 0 5 0 911475191 7077814272 1607865 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=6911928 CPUtime=5019.09 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 520746 0 0 0 501179 730 0 0 18 0 5 0 911475195 7077814272 1607865 33554432000 4194304 5787044 140736265544624 18446744073709551615 4332602 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20080.6
Current children cumulated vsize (KiB) 6920628

[startup+5082.3 s]
/proc/loadavg: 4.02 4.01 3.93 5/171 13296
/proc/meminfo: memFree=22288140/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=6911928 CPUtime=20320.5 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 1677168 0 0 0 2029891 2163 0 0 18 0 5 0 911475158 7077814272 1607866 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 1727982 1607866 417 389 0 1723732 0
[pid=13131/tid=13133] ppid=13130 vsize=6911928 CPUtime=5080.73 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 380204 0 0 0 507654 419 0 0 20 0 5 0 911475180 7077814272 1607866 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591239 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=6911928 CPUtime=5080.16 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 373285 0 0 0 507540 476 0 0 18 0 5 0 911475186 7077814272 1607866 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=6911928 CPUtime=5080.23 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 373820 0 0 0 507494 529 0 0 25 0 5 0 911475191 7077814272 1607866 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591304 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=6911928 CPUtime=5079.03 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 520746 0 0 0 507169 734 0 0 18 0 5 0 911475195 7077814272 1607866 33554432000 4194304 5787044 140736265544624 18446744073709551615 4332992 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20320.5
Current children cumulated vsize (KiB) 6920628



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.02 4.01 3.93 5/171 13296
/proc/meminfo: memFree=22288140/32951132 swapFree=67061148/67111528
[pid=13130] ppid=13128 vsize=8700 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (priss.sh) S 13128 13130 13057 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 911475158 8908800 251 33554432000 4194304 4922060 140734751474064 18446744073709551615 210646965381 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/13130/statm: 2175 251 211 178 0 68 0
[pid=13131] ppid=13130 vsize=6911928 CPUtime=20391.3 cores=0-7
/proc/13131/stat : 13131 (priss) S 13130 13130 13057 0 -1 4202496 1677170 0 0 0 2036967 2166 0 0 18 0 5 0 911475158 7077814272 1607868 33554432000 4194304 5787044 140736265544624 18446744073709551615 210658970033 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13131/statm: 1727982 1607868 417 389 0 1723732 0
[pid=13131/tid=13133] ppid=13130 vsize=6911928 CPUtime=5098.44 cores=0-7
/proc/13131/task/13133/stat : 13133 (priss) R 13130 13130 13057 0 -1 4202560 380206 0 0 0 509424 420 0 0 19 0 5 0 911475180 7077814272 1607868 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591727 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=13131/tid=13134] ppid=13130 vsize=6911928 CPUtime=5097.87 cores=0-7
/proc/13131/task/13134/stat : 13134 (priss) R 13130 13130 13057 0 -1 4202560 373285 0 0 0 509310 477 0 0 18 0 5 0 911475186 7077814272 1607868 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=13131/tid=13135] ppid=13130 vsize=6911928 CPUtime=5097.94 cores=0-7
/proc/13131/task/13135/stat : 13135 (priss) R 13130 13130 13057 0 -1 4202560 373820 0 0 0 509264 530 0 0 25 0 5 0 911475191 7077814272 1607868 33554432000 4194304 5787044 140736265544624 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=13131/tid=13136] ppid=13130 vsize=6911928 CPUtime=5096.71 cores=0-7
/proc/13131/task/13136/stat : 13136 (priss) R 13130 13130 13057 0 -1 4202560 520746 0 0 0 508936 735 0 0 18 0 5 0 911475195 7077814272 1607868 33554432000 4194304 5787044 140736265544624 18446744073709551615 4332864 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 20391.3
Current children cumulated vsize (KiB) 6920628

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 13130 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 20391.3
#
# 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): 20391.3
CPU user time (s): 20369.7
CPU system time (s): 21.66
CPU usage (%): 399.829
Max. virtual memory (cumulated for all children) (KiB): 6920628

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

runsolver used 6.90395 second user time and 16.5845 second system time

The end

Launcher Data 

Begin job on node129 at 2011-06-13 22:59:15
IDJOB=3499357
IDBENCH=83184
IDSOLVER=1994
FILE ID=node129/3499357-1307998755
RUNJOBID= node129-1307998753-13071
PBS_JOBID= 13559833
Free space on /tmp= 74040 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x39.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3499357-1307998755/watcher-3499357-1307998755 -o /tmp/evaluation-result-3499357-1307998755/solver-3499357-1307998755 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499357-1307998755.cnf 1228143063 40000 31000 8

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

MD5SUM BENCH= e7679ca49bb432c9b90305d907365c4e
RANDOM SEED=1228143063

node129.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.831
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.831
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.831
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.831
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.82
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.831
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.74
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.831
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.831
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.831
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:     32951132 kB
MemFree:      28728400 kB
Buffers:        455148 kB
Cached:        3461284 kB
SwapCached:      13132 kB
Active:        1240148 kB
Inactive:      2693732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      28728400 kB
SwapTotal:    67111528 kB
SwapFree:     67061148 kB
Dirty:           16808 kB
Writeback:           0 kB
AnonPages:       15072 kB
Mapped:           8656 kB
Slab:           222492 kB
PageTables:       4216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   153844 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74040 MiB
End job on node129 at 2011-06-14 00:24:17