Trace number 3499211

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

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v1820c171155gyes3.cnf
MD5SUMcd19d9eb9be97e183fa1a1d47d679d01
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 variables1820
Number of clauses171155
Sum of the clauses size344000
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2171090
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 565

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: 30824
0.00/0.04	c parsetime: 35923us
0.00/0.04	c parsed 171155 clauses with 1820 variables
0.00/0.05	c NW started thread 0 successfully (1106835776)
0.00/0.07	c NW started thread 1 successfully (1117325632)
0.00/0.11	c NW started thread 2 successfully (1091299648)
0.00/0.14	c NW started thread 3 successfully (1127815488)
23.53/6.09	c preprocessor returned 10010 variables
23.53/6.09	c preprocessing returned UNKNOWN
23.53/6.09	c PP set 0 variables
23.53/6.09	c pp time: 6014220us (6s)
23.94/6.17	c preprocessor returned 10010 variables
23.94/6.17	c preprocessing returned UNKNOWN
23.94/6.17	c PP set 0 variables
23.94/6.17	c pp time: 6121266us (6s)
24.33/6.20	c preprocessor returned 10010 variables
24.33/6.20	c preprocessing returned UNKNOWN
24.33/6.20	c PP set 0 variables
24.33/6.20	c pp time: 6089724us (6s)
53.54/13.58	c preprocessor returned 30018 variables
53.54/13.58	c preprocessing returned UNKNOWN
53.54/13.58	c PP set 0 variables
53.54/13.58	c pp time: 13441860us (13s)
9298.48/2324.83	c HTE
9332.88/2333.42	c subsumption
9701.31/2425.54	c simplified formula contains 0 unit clauses

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.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-3499211-1307989165/watcher-3499211-1307989165 -o /var/tmp/evaluation-result-3499211-1307989165/solver-3499211-1307989165 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499211-1307989165.cnf 344685458 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.00 2.00 2.00 1/167 30823
/proc/meminfo: memFree=7408360/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0

[startup+0.00974107 s]
/proc/loadavg: 2.00 2.00 2.00 1/167 30823
/proc/meminfo: memFree=7408360/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100714 s]
/proc/loadavg: 2.00 2.00 2.00 1/167 30823
/proc/meminfo: memFree=7408360/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300654 s]
/proc/loadavg: 2.00 2.00 2.00 1/167 30823
/proc/meminfo: memFree=7408360/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700574 s]
/proc/loadavg: 2.00 2.00 2.00 1/167 30823
/proc/meminfo: memFree=7408360/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.00 5/173 30829
/proc/meminfo: memFree=7352540/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=294928 CPUtime=5.55 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 28258 0 0 0 542 13 0 0 18 0 5 0 910516988 302006272 14165 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 73732 14165 350 389 0 69482 0
[pid=30824/tid=30826] ppid=30823 vsize=294928 CPUtime=1.39 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 5573 0 0 0 137 2 0 0 18 0 5 0 910516993 302006272 14165 33554432000 4194304 5787044 140733881762512 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=294928 CPUtime=1.32 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 5658 0 0 0 126 6 0 0 18 0 5 0 910516996 302006272 14165 33554432000 4194304 5787044 140733881762512 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=294928 CPUtime=1.35 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 4460 0 0 0 135 0 0 0 18 0 5 0 910517000 302006272 14165 33554432000 4194304 5787044 140733881762512 18446744073709551615 4336131 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=294928 CPUtime=1.33 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 3855 0 0 0 131 2 0 0 19 0 5 0 910517003 302006272 14165 33554432000 4194304 5787044 140733881762512 18446744073709551615 4336171 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 303628

[startup+3.10114 s]
/proc/loadavg: 2.16 2.03 2.01 5/173 30829
/proc/meminfo: memFree=7352416/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=294928 CPUtime=11.95 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 28258 0 0 0 1182 13 0 0 18 0 5 0 910516988 302006272 14165 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 73732 14165 350 389 0 69482 0
[pid=30824/tid=30826] ppid=30823 vsize=294928 CPUtime=2.99 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 5573 0 0 0 297 2 0 0 21 0 5 0 910516993 302006272 14165 33554432000 4194304 5787044 140733881762512 18446744073709551615 18446744073699065949 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=294928 CPUtime=2.93 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 5658 0 0 0 287 6 0 0 21 0 5 0 910516996 302006272 14165 33554432000 4194304 5787044 140733881762512 18446744073709551615 4336759 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=294928 CPUtime=2.95 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 4460 0 0 0 295 0 0 0 21 0 5 0 910517000 302006272 14165 33554432000 4194304 5787044 140733881762512 18446744073709551615 4336801 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=294928 CPUtime=2.93 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 3855 0 0 0 291 2 0 0 24 0 5 0 910517003 302006272 14165 33554432000 4194304 5787044 140733881762512 18446744073709551615 4336739 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.95
Current children cumulated vsize (KiB) 303628

[startup+6.30053 s]
/proc/loadavg: 2.16 2.03 2.01 5/173 30829
/proc/meminfo: memFree=7337804/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=312004 CPUtime=24.73 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 50354 0 0 0 2452 21 0 0 18 0 5 0 910516988 319492096 23889 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 78001 23889 404 389 0 73751 0
[pid=30824/tid=30826] ppid=30823 vsize=312004 CPUtime=6.19 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 12213 0 0 0 615 4 0 0 18 0 5 0 910516993 319492096 23889 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=312004 CPUtime=6.11 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 12251 0 0 0 600 11 0 0 18 0 5 0 910516996 319492096 23889 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=312004 CPUtime=6.16 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 10693 0 0 0 615 1 0 0 18 0 5 0 910517000 319492096 23889 33554432000 4194304 5787044 140733881762512 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=312004 CPUtime=6.13 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 6485 0 0 0 611 2 0 0 25 0 5 0 910517003 319492096 23889 33554432000 4194304 5787044 140733881762512 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.73
Current children cumulated vsize (KiB) 320704

[startup+12.7003 s]
/proc/loadavg: 2.44 2.10 2.03 5/173 30830
/proc/meminfo: memFree=7306928/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=314816 CPUtime=50.33 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 52383 0 0 0 5011 22 0 0 18 0 5 0 910516988 322371584 25918 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 78704 25918 404 389 0 74454 0
[pid=30824/tid=30826] ppid=30823 vsize=314816 CPUtime=12.59 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 12884 0 0 0 1255 4 0 0 19 0 5 0 910516993 322371584 25918 33554432000 4194304 5787044 140733881762512 18446744073709551615 5586853 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=314816 CPUtime=12.51 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 12878 0 0 0 1240 11 0 0 20 0 5 0 910516996 322371584 25918 33554432000 4194304 5787044 140733881762512 18446744073709551615 5601949 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=314816 CPUtime=12.56 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 11388 0 0 0 1254 2 0 0 20 0 5 0 910517000 322371584 25918 33554432000 4194304 5787044 140733881762512 18446744073709551615 4218896 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=314816 CPUtime=12.53 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 6521 0 0 0 1251 2 0 0 25 0 5 0 910517003 322371584 25918 33554432000 4194304 5787044 140733881762512 18446744073709551615 4359250 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.33
Current children cumulated vsize (KiB) 323516

[startup+25.501 s]
/proc/loadavg: 2.68 2.16 2.05 5/173 30830
/proc/meminfo: memFree=7278736/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=324428 CPUtime=101.53 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 64666 0 0 0 10126 27 0 0 18 0 5 0 910516988 332214272 33360 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 81107 33360 418 389 0 76857 0
[pid=30824/tid=30826] ppid=30823 vsize=324428 CPUtime=25.39 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 14286 0 0 0 2534 5 0 0 18 0 5 0 910516993 332214272 33360 33554432000 4194304 5787044 140733881762512 18446744073709551615 5590788 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=324428 CPUtime=25.31 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 14229 0 0 0 2519 12 0 0 18 0 5 0 910516996 332214272 33360 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=324428 CPUtime=25.35 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 12721 0 0 0 2533 2 0 0 18 0 5 0 910517000 332214272 33360 33554432000 4194304 5787044 140733881762512 18446744073709551615 5588291 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=324428 CPUtime=25.33 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 14718 0 0 0 2528 5 0 0 25 0 5 0 910517003 332214272 33360 33554432000 4194304 5787044 140733881762512 18446744073709551615 5527014 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 333128

[startup+51.1012 s]
/proc/loadavg: 3.13 2.31 2.10 5/173 30831
/proc/meminfo: memFree=7249360/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=336044 CPUtime=203.9 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 72208 0 0 0 20358 32 0 0 18 0 5 0 910516988 344109056 40901 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 84011 40901 418 389 0 79761 0
[pid=30824/tid=30826] ppid=30823 vsize=336044 CPUtime=50.99 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 15791 0 0 0 5093 6 0 0 19 0 5 0 910516993 344109056 40901 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=336044 CPUtime=50.89 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 15706 0 0 0 5075 14 0 0 18 0 5 0 910516996 344109056 40901 33554432000 4194304 5787044 140733881762512 18446744073709551615 4218876 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=336044 CPUtime=50.95 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 14563 0 0 0 5091 4 0 0 25 0 5 0 910517000 344109056 40901 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=336044 CPUtime=50.93 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 17436 0 0 0 5087 6 0 0 25 0 5 0 910517003 344109056 40901 33554432000 4194304 5787044 140733881762512 18446744073709551615 4255030 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 344744

[startup+102.307 s]
/proc/loadavg: 3.65 2.59 2.21 5/173 30832
/proc/meminfo: memFree=7179012/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=361764 CPUtime=408.68 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 89667 0 0 0 40813 55 0 0 18 0 5 0 910516988 370446336 58314 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 90441 58314 418 389 0 86191 0
[pid=30824/tid=30826] ppid=30823 vsize=361764 CPUtime=102.18 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 20825 0 0 0 10209 9 0 0 18 0 5 0 910516993 370446336 58314 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=361764 CPUtime=102.07 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 19955 0 0 0 10180 27 0 0 18 0 5 0 910516996 370446336 58314 33554432000 4194304 5787044 140733881762512 18446744073709551615 4220143 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=361764 CPUtime=102.15 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 18923 0 0 0 10208 7 0 0 18 0 5 0 910517000 370446336 58314 33554432000 4194304 5787044 140733881762512 18446744073709551615 5590464 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=361764 CPUtime=102.13 cores=0-7

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

/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 138731 0 0 0 471794 394 0 0 25 0 5 0 910516996 2306396160 497350 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=2252340 CPUtime=4722.19 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 133427 0 0 0 472127 92 0 0 25 0 5 0 910517000 2306396160 497350 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=2252340 CPUtime=4722.2 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 121148 0 0 0 472093 127 0 0 25 0 5 0 910517003 2306396160 497350 33554432000 4194304 5787044 140733881762512 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18888.7
Current children cumulated vsize (KiB) 2261040

[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/173 30969
/proc/meminfo: memFree=5406676/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=2263164 CPUtime=19128.7 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 550901 0 0 0 1912049 816 0 0 18 0 5 0 910516988 2317479936 500096 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 565791 500096 418 389 0 561541 0
[pid=30824/tid=30826] ppid=30823 vsize=2263164 CPUtime=4782.24 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 146138 0 0 0 478026 198 0 0 25 0 5 0 910516993 2317479936 500096 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=2263164 CPUtime=4781.87 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 138732 0 0 0 477793 394 0 0 25 0 5 0 910516996 2317479936 500096 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=2263164 CPUtime=4782.19 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 136127 0 0 0 478125 94 0 0 25 0 5 0 910517000 2317479936 500096 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=2263164 CPUtime=4782.2 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 121192 0 0 0 478093 127 0 0 25 0 5 0 910517003 2317479936 500096 33554432000 4194304 5787044 140733881762512 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19128.7
Current children cumulated vsize (KiB) 2271864

[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/173 30970
/proc/meminfo: memFree=5395724/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=2273636 CPUtime=19368.7 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 553573 0 0 0 1936046 819 0 0 18 0 5 0 910516988 2328203264 502768 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 568409 502768 418 389 0 564159 0
[pid=30824/tid=30826] ppid=30823 vsize=2273636 CPUtime=4842.24 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 146138 0 0 0 484026 198 0 0 25 0 5 0 910516993 2328203264 502768 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=2273636 CPUtime=4841.87 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 138732 0 0 0 483793 394 0 0 25 0 5 0 910516996 2328203264 502768 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=2273636 CPUtime=4842.19 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 138752 0 0 0 484122 97 0 0 25 0 5 0 910517000 2328203264 502768 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=2273636 CPUtime=4842.2 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 121239 0 0 0 484093 127 0 0 25 0 5 0 910517003 2328203264 502768 33554432000 4194304 5787044 140733881762512 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19368.7
Current children cumulated vsize (KiB) 2282336

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/173 30972
/proc/meminfo: memFree=5385132/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=2284012 CPUtime=19608.7 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 556252 0 0 0 1960045 821 0 0 18 0 5 0 910516988 2338828288 505447 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 571003 505447 418 389 0 566753 0
[pid=30824/tid=30826] ppid=30823 vsize=2284012 CPUtime=4902.24 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 146139 0 0 0 490026 198 0 0 25 0 5 0 910516993 2338828288 505447 33554432000 4194304 5787044 140733881762512 18446744073709551615 5586761 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=2284012 CPUtime=4901.87 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 138732 0 0 0 489793 394 0 0 25 0 5 0 910516996 2338828288 505447 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=2284012 CPUtime=4902.19 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 141357 0 0 0 490121 98 0 0 25 0 5 0 910517000 2338828288 505447 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=2284012 CPUtime=4902.21 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 121312 0 0 0 490093 128 0 0 25 0 5 0 910517003 2338828288 505447 33554432000 4194304 5787044 140733881762512 18446744073709551615 4218330 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19608.7
Current children cumulated vsize (KiB) 2292712

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/173 30974
/proc/meminfo: memFree=5374044/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=2294364 CPUtime=19848.7 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 558909 0 0 0 1984044 823 0 0 18 0 5 0 910516988 2349428736 508104 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 573591 508104 418 389 0 569341 0
[pid=30824/tid=30826] ppid=30823 vsize=2294364 CPUtime=4962.24 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 146139 0 0 0 496026 198 0 0 25 0 5 0 910516993 2349428736 508104 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=2294364 CPUtime=4961.88 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 138733 0 0 0 495794 394 0 0 25 0 5 0 910516996 2349428736 508104 33554432000 4194304 5787044 140733881762512 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=2294364 CPUtime=4962.19 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 143936 0 0 0 496119 100 0 0 25 0 5 0 910517000 2349428736 508104 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=2294364 CPUtime=4962.21 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 121389 0 0 0 496093 128 0 0 25 0 5 0 910517003 2349428736 508104 33554432000 4194304 5787044 140733881762512 18446744073709551615 4254912 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19848.7
Current children cumulated vsize (KiB) 2303064

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/173 30975
/proc/meminfo: memFree=5363328/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=2304552 CPUtime=20088.7 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 561640 0 0 0 2008042 826 0 0 18 0 5 0 910516988 2359861248 510835 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 576138 510835 418 389 0 571888 0
[pid=30824/tid=30826] ppid=30823 vsize=2304552 CPUtime=5022.24 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 146141 0 0 0 502026 198 0 0 25 0 5 0 910516993 2359861248 510835 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=2304552 CPUtime=5021.88 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 138734 0 0 0 501794 394 0 0 25 0 5 0 910516996 2359861248 510835 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=2304552 CPUtime=5022.2 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 146522 0 0 0 502118 102 0 0 25 0 5 0 910517000 2359861248 510835 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=2304552 CPUtime=5022.21 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 121531 0 0 0 502092 129 0 0 25 0 5 0 910517003 2359861248 510835 33554432000 4194304 5787044 140733881762512 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20088.7
Current children cumulated vsize (KiB) 2313252

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/173 30977
/proc/meminfo: memFree=5352368/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=2315072 CPUtime=20328.7 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 564332 0 0 0 2032041 828 0 0 18 0 5 0 910516988 2370633728 513527 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 578768 513527 418 389 0 574518 0
[pid=30824/tid=30826] ppid=30823 vsize=2315072 CPUtime=5082.24 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 146141 0 0 0 508026 198 0 0 25 0 5 0 910516993 2370633728 513527 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=2315072 CPUtime=5081.89 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 138734 0 0 0 507794 395 0 0 25 0 5 0 910516996 2370633728 513527 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=2315072 CPUtime=5082.2 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 149119 0 0 0 508116 104 0 0 25 0 5 0 910517000 2370633728 513527 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=2315072 CPUtime=5082.22 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 121626 0 0 0 508093 129 0 0 25 0 5 0 910517003 2370633728 513527 33554432000 4194304 5787044 140733881762512 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20328.7
Current children cumulated vsize (KiB) 2323772



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 3.91 5/173 30977
/proc/meminfo: memFree=5349008/32951124 swapFree=67064380/67111528
[pid=30823] ppid=30821 vsize=8700 CPUtime=0 cores=0-7
/proc/30823/stat : 30823 (priss.sh) S 30821 30823 30793 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 910516988 8908800 252 33554432000 4194304 4922060 140736912865392 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/30823/statm: 2175 252 211 178 0 68 0
[pid=30824] ppid=30823 vsize=2318156 CPUtime=20399.5 cores=0-7
/proc/30824/stat : 30824 (priss) S 30823 30823 30793 0 -1 4202496 565150 0 0 0 2039123 828 0 0 18 0 5 0 910516988 2373791744 514345 33554432000 4194304 5787044 140733881762512 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30824/statm: 579539 514345 418 389 0 575289 0
[pid=30824/tid=30826] ppid=30823 vsize=2318156 CPUtime=5099.95 cores=0-7
/proc/30824/task/30826/stat : 30826 (priss) R 30823 30823 30793 0 -1 4202560 146142 0 0 0 509797 198 0 0 18 0 5 0 910516993 2373791744 514345 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30824/tid=30827] ppid=30823 vsize=2318156 CPUtime=5099.59 cores=0-7
/proc/30824/task/30827/stat : 30827 (priss) R 30823 30823 30793 0 -1 4202560 138734 0 0 0 509564 395 0 0 25 0 5 0 910516996 2373791744 514345 33554432000 4194304 5787044 140733881762512 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=30824/tid=30828] ppid=30823 vsize=2318156 CPUtime=5099.9 cores=0-7
/proc/30824/task/30828/stat : 30828 (priss) R 30823 30823 30793 0 -1 4202560 149899 0 0 0 509886 104 0 0 25 0 5 0 910517000 2373791744 514345 33554432000 4194304 5787044 140733881762512 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30824/tid=30829] ppid=30823 vsize=2318156 CPUtime=5099.92 cores=0-7
/proc/30824/task/30829/stat : 30829 (priss) R 30823 30823 30793 0 -1 4202560 121663 0 0 0 509863 129 0 0 25 0 5 0 910517003 2373791744 514345 33554432000 4194304 5787044 140733881762512 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20399.5
Current children cumulated vsize (KiB) 2326856

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 30823 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 20399.5
#
# 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): 20399.5
CPU user time (s): 20391.2
CPU system time (s): 8.28
CPU usage (%): 399.989
Max. virtual memory (cumulated for all children) (KiB): 2326856

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

runsolver used 7.48086 second user time and 18.2192 second system time

The end

Launcher Data 

Begin job on node105 at 2011-06-13 20:19:25
IDJOB=3499211
IDBENCH=71409
IDSOLVER=1994
FILE ID=node105/3499211-1307989165
RUNJOBID= node105-1307989165-30807
PBS_JOBID= 13559823
Free space on /var/tmp= 2856 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1820c171155gyes3.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499211-1307989165/watcher-3499211-1307989165 -o /var/tmp/evaluation-result-3499211-1307989165/solver-3499211-1307989165 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499211-1307989165.cnf 344685458 40000 31000 8

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

MD5SUM BENCH= cd19d9eb9be97e183fa1a1d47d679d01
RANDOM SEED=344685458

node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       7408432 kB
Buffers:        113636 kB
Cached:       24584668 kB
SwapCached:      19904 kB
Active:        9221484 kB
Inactive:     15504772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       7408432 kB
SwapTotal:    67111528 kB
SwapFree:     67064380 kB
Dirty:            3924 kB
Writeback:           0 kB
AnonPages:       25412 kB
Mapped:           9652 kB
Slab:           749300 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   153880 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= 2856 MiB
End job on node105 at 2011-06-13 21:44:28