Trace number 3499741

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 5100.02

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
MD5SUM71638ad618721ad48c6bd2d48b828020
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.32195
Satisfiable
(Un)Satisfiability was proved
Number of variables2377
Number of clauses566749
Sum of the clauses size1135775
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2566699
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

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: 1394
0.00/0.12	c parsetime: 124216us
0.00/0.12	c parsed 566749 clauses with 2377 variables
0.00/0.16	c NW started thread 0 successfully (1114376512)
0.00/0.21	c NW started thread 1 successfully (1097521472)
0.00/0.28	c NW started thread 2 successfully (1124866368)
0.00/0.33	c NW started thread 3 successfully (1135356224)
201.64/50.77	c preprocessor returned 10008 variables
201.64/50.77	c preprocessing returned UNKNOWN
201.64/50.77	c PP set 0 variables
201.64/50.77	c pp time: 50490884us (50s)
202.45/50.93	c preprocessor returned 10008 variables
202.45/50.93	c preprocessing returned UNKNOWN
202.45/50.93	c PP set 0 variables
202.45/50.93	c pp time: 50768001us (50s)
216.05/54.31	c preprocessor returned 10008 variables
216.05/54.31	c preprocessing returned UNKNOWN
216.05/54.31	c PP set 0 variables
216.05/54.31	c pp time: 54097861us (54s)
246.85/62.01	c preprocessor returned 30023 variables
246.85/62.01	c preprocessing returned UNKNOWN
246.85/62.01	c PP set 0 variables
246.85/62.01	c pp time: 61685523us (61s)
10735.92/2684.37	c HTE
10965.13/2741.63	c subsumption
11458.35/2864.97	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-3499741-1308011670/watcher-3499741-1308011670 -o /var/tmp/evaluation-result-3499741-1308011670/solver-3499741-1308011670 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499741-1308011670.cnf 278187508 40000 31000 8 

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

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


[startup+0 s]
/proc/loadavg: 4.00 4.00 4.00 2/170 1393
/proc/meminfo: memFree=10908420/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0

[startup+0.021005 s]
/proc/loadavg: 4.00 4.00 4.00 2/170 1393
/proc/meminfo: memFree=10908420/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100991 s]
/proc/loadavg: 4.00 4.00 4.00 2/170 1393
/proc/meminfo: memFree=10908420/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300946 s]
/proc/loadavg: 4.00 4.00 4.00 2/170 1393
/proc/meminfo: memFree=10908420/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700881 s]
/proc/loadavg: 4.00 4.00 4.00 2/170 1393
/proc/meminfo: memFree=10908420/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50073 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1399
/proc/meminfo: memFree=10693256/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=400956 CPUtime=4.84 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 92496 0 0 0 461 23 0 0 18 0 5 0 991397629 410578944 44166 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 100239 44166 349 389 0 95989 0
[pid=1394/tid=1396] ppid=1393 vsize=400956 CPUtime=1.26 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 16256 0 0 0 122 4 0 0 18 0 5 0 991397645 410578944 44166 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=400956 CPUtime=1.23 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 17451 0 0 0 114 9 0 0 19 0 5 0 991397650 410578944 44166 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=400956 CPUtime=1.13 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 17374 0 0 0 107 6 0 0 18 0 5 0 991397657 410578944 44166 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=400956 CPUtime=0.87 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 14646 0 0 0 87 0 0 0 18 0 5 0 991397662 410578944 44166 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336171 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 409656

[startup+3.10044 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1399
/proc/meminfo: memFree=10732956/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=400956 CPUtime=11.23 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 92496 0 0 0 1100 23 0 0 18 0 5 0 991397629 410578944 44166 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 100239 44166 349 389 0 95989 0
[pid=1394/tid=1396] ppid=1393 vsize=400956 CPUtime=2.86 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 16256 0 0 0 282 4 0 0 22 0 5 0 991397645 410578944 44166 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336159 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=400956 CPUtime=2.83 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 17451 0 0 0 274 9 0 0 22 0 5 0 991397650 410578944 44166 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336744 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=400956 CPUtime=2.73 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 17374 0 0 0 267 6 0 0 21 0 5 0 991397657 410578944 44166 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336560 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=400956 CPUtime=2.47 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 14646 0 0 0 247 0 0 0 22 0 5 0 991397662 410578944 44166 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336171 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 409656

[startup+6.30085 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1399
/proc/meminfo: memFree=10732744/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=394308 CPUtime=24.04 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 96369 0 0 0 2380 24 0 0 18 0 5 0 991397629 403771392 46377 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 98577 46377 350 389 0 94327 0
[pid=1394/tid=1396] ppid=1393 vsize=394308 CPUtime=6.06 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 16257 0 0 0 602 4 0 0 18 0 5 0 991397645 403771392 46377 33554432000 4194304 5787044 140737429119056 18446744073709551615 4340045 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=394308 CPUtime=6.03 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 18949 0 0 0 594 9 0 0 25 0 5 0 991397650 403771392 46377 33554432000 4194304 5787044 140737429119056 18446744073709551615 4340045 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=394308 CPUtime=5.93 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 18691 0 0 0 587 6 0 0 18 0 5 0 991397657 403771392 46377 33554432000 4194304 5787044 140737429119056 18446744073709551615 4339899 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=394308 CPUtime=5.67 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 15703 0 0 0 567 0 0 0 18 0 5 0 991397662 403771392 46377 33554432000 4194304 5787044 140737429119056 18446744073709551615 4340045 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.04
Current children cumulated vsize (KiB) 403008

[startup+12.7007 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1399
/proc/meminfo: memFree=10723724/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=394308 CPUtime=49.64 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 96371 0 0 0 4940 24 0 0 18 0 5 0 991397629 403771392 46379 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 98577 46379 350 389 0 94327 0
[pid=1394/tid=1396] ppid=1393 vsize=394308 CPUtime=12.46 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 16257 0 0 0 1242 4 0 0 25 0 5 0 991397645 403771392 46379 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=394308 CPUtime=12.43 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 18950 0 0 0 1234 9 0 0 25 0 5 0 991397650 403771392 46379 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336703 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=394308 CPUtime=12.33 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 18692 0 0 0 1227 6 0 0 25 0 5 0 991397657 403771392 46379 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=394308 CPUtime=12.07 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 15703 0 0 0 1207 0 0 0 25 0 5 0 991397662 403771392 46379 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336786 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.64
Current children cumulated vsize (KiB) 403008

[startup+25.5003 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1399
/proc/meminfo: memFree=10724840/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=394308 CPUtime=100.84 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 96371 0 0 0 10060 24 0 0 18 0 5 0 991397629 403771392 46379 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 98577 46379 350 389 0 94327 0
[pid=1394/tid=1396] ppid=1393 vsize=394308 CPUtime=25.26 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 16257 0 0 0 2522 4 0 0 25 0 5 0 991397645 403771392 46379 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=394308 CPUtime=25.23 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 18950 0 0 0 2514 9 0 0 25 0 5 0 991397650 403771392 46379 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=394308 CPUtime=25.13 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 18692 0 0 0 2507 6 0 0 25 0 5 0 991397657 403771392 46379 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336718 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=394308 CPUtime=24.87 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 15703 0 0 0 2487 0 0 0 25 0 5 0 991397662 403771392 46379 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336759 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.84
Current children cumulated vsize (KiB) 403008

[startup+51.1006 s]
/proc/loadavg: 4.00 4.00 4.00 6/176 1400
/proc/meminfo: memFree=10616724/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=392296 CPUtime=203.24 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 131227 0 0 0 20293 31 0 0 18 0 5 0 991397629 401711104 58221 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 98074 58221 404 389 0 93824 0
[pid=1394/tid=1396] ppid=1393 vsize=392296 CPUtime=50.86 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 26021 0 0 0 5080 6 0 0 18 0 5 0 991397645 401711104 58221 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032208120 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=392296 CPUtime=50.84 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 20702 0 0 0 5074 10 0 0 25 0 5 0 991397650 401711104 58221 33554432000 4194304 5787044 140737429119056 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=392296 CPUtime=50.73 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 36370 0 0 0 5063 10 0 0 18 0 5 0 991397657 401711104 58221 33554432000 4194304 5787044 140737429119056 18446744073709551615 5590530 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=392296 CPUtime=50.47 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 21365 0 0 0 5046 1 0 0 22 0 5 0 991397662 401711104 58221 33554432000 4194304 5787044 140737429119056 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.24
Current children cumulated vsize (KiB) 400996

[startup+102.306 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1402
/proc/meminfo: memFree=10598520/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=404980 CPUtime=408.04 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 177035 0 0 0 40743 61 0 0 18 0 5 0 991397629 414699520 78165 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 101245 78165 417 389 0 96995 0
[pid=1394/tid=1396] ppid=1393 vsize=404980 CPUtime=102.06 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 29005 0 0 0 10198 8 0 0 19 0 5 0 991397645 414699520 78165 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=404980 CPUtime=102.04 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 41849 0 0 0 10188 16 0 0 25 0 5 0 991397650 414699520 78165 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=404980 CPUtime=101.93 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 40209 0 0 0 10181 12 0 0 18 0 5 0 991397657 414699520 78165 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591328 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=404980 CPUtime=101.67 cores=0-7

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

/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 114091 0 0 0 472015 186 0 0 25 0 5 0 991397650 2174058496 474070 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=2123104 CPUtime=4721.97 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 139173 0 0 0 471756 441 0 0 25 0 5 0 991397657 2174058496 474070 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=2123104 CPUtime=4721.76 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 169300 0 0 0 471867 309 0 0 25 0 5 0 991397662 2174058496 474070 33554432000 4194304 5787044 140737429119056 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18888.1
Current children cumulated vsize (KiB) 2131804

[startup+4782.3 s]
/proc/loadavg: 4.01 4.00 4.00 5/176 1541
/proc/meminfo: memFree=9001652/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=2123104 CPUtime=19128.1 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 585840 0 0 0 1911772 1039 0 0 18 0 5 0 991397629 2174058496 476067 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 530776 476067 417 389 0 526526 0
[pid=1394/tid=1396] ppid=1393 vsize=2123104 CPUtime=4782.05 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 134514 0 0 0 478119 86 0 0 25 0 5 0 991397645 2174058496 476067 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591252 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=2123104 CPUtime=4782.01 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 114125 0 0 0 478014 187 0 0 25 0 5 0 991397650 2174058496 476067 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=2123104 CPUtime=4781.96 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 141132 0 0 0 477742 454 0 0 25 0 5 0 991397657 2174058496 476067 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=2123104 CPUtime=4781.75 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 169300 0 0 0 477866 309 0 0 25 0 5 0 991397662 2174058496 476067 33554432000 4194304 5787044 140737429119056 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19128.1
Current children cumulated vsize (KiB) 2131804

[startup+4842.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1543
/proc/meminfo: memFree=8993684/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=2188640 CPUtime=19368.1 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 587840 0 0 0 1935762 1051 0 0 18 0 5 0 991397629 2241167360 478067 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 547160 478067 417 389 0 542910 0
[pid=1394/tid=1396] ppid=1393 vsize=2188640 CPUtime=4842.05 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 134524 0 0 0 484119 86 0 0 25 0 5 0 991397645 2241167360 478067 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=2188640 CPUtime=4842.01 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 114182 0 0 0 484014 187 0 0 25 0 5 0 991397650 2241167360 478067 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=2188640 CPUtime=4841.97 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 143065 0 0 0 483731 466 0 0 25 0 5 0 991397657 2241167360 478067 33554432000 4194304 5787044 140737429119056 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=2188640 CPUtime=4841.75 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 169300 0 0 0 483866 309 0 0 25 0 5 0 991397662 2241167360 478067 33554432000 4194304 5787044 140737429119056 18446744073709551615 5527156 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19368.1
Current children cumulated vsize (KiB) 2197340

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1545
/proc/meminfo: memFree=8985944/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=2188640 CPUtime=19608.1 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 589784 0 0 0 1959751 1062 0 0 18 0 5 0 991397629 2241167360 480011 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 547160 480011 417 389 0 542910 0
[pid=1394/tid=1396] ppid=1393 vsize=2188640 CPUtime=4902.05 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 134529 0 0 0 490119 86 0 0 25 0 5 0 991397645 2241167360 480011 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=2188640 CPUtime=4902.02 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 114212 0 0 0 490015 187 0 0 25 0 5 0 991397650 2241167360 480011 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=2188640 CPUtime=4901.97 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 144972 0 0 0 489721 476 0 0 25 0 5 0 991397657 2241167360 480011 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=2188640 CPUtime=4901.76 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 169302 0 0 0 489867 309 0 0 25 0 5 0 991397662 2241167360 480011 33554432000 4194304 5787044 140737429119056 18446744073709551615 4238952 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19608.1
Current children cumulated vsize (KiB) 2197340

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1546
/proc/meminfo: memFree=8978464/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=2188640 CPUtime=19848.1 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 591683 0 0 0 1983742 1072 0 0 18 0 5 0 991397629 2241167360 481910 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 547160 481910 417 389 0 542910 0
[pid=1394/tid=1396] ppid=1393 vsize=2188640 CPUtime=4962.05 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 134543 0 0 0 496119 86 0 0 25 0 5 0 991397645 2241167360 481910 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=2188640 CPUtime=4962.02 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 114279 0 0 0 496015 187 0 0 25 0 5 0 991397650 2241167360 481910 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=2188640 CPUtime=4961.97 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 146788 0 0 0 495711 486 0 0 25 0 5 0 991397657 2241167360 481910 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=2188640 CPUtime=4961.76 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 169304 0 0 0 495867 309 0 0 25 0 5 0 991397662 2241167360 481910 33554432000 4194304 5787044 140737429119056 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19848.1
Current children cumulated vsize (KiB) 2197340

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1548
/proc/meminfo: memFree=8966900/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=2188640 CPUtime=20088.2 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 594587 0 0 0 2007735 1080 0 0 18 0 5 0 991397629 2241167360 484814 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 547160 484814 417 389 0 542910 0
[pid=1394/tid=1396] ppid=1393 vsize=2188640 CPUtime=5022.05 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 134550 0 0 0 502119 86 0 0 25 0 5 0 991397645 2241167360 484814 33554432000 4194304 5787044 140737429119056 18446744073709551615 5590268 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=2188640 CPUtime=5022.02 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 115357 0 0 0 502015 187 0 0 25 0 5 0 991397650 2241167360 484814 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=2188640 CPUtime=5021.97 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 148605 0 0 0 501703 494 0 0 25 0 5 0 991397657 2241167360 484814 33554432000 4194304 5787044 140737429119056 18446744073709551615 260020057121 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=2188640 CPUtime=5021.76 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 169306 0 0 0 501867 309 0 0 25 0 5 0 991397662 2241167360 484814 33554432000 4194304 5787044 140737429119056 18446744073709551615 5527008 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20088.2
Current children cumulated vsize (KiB) 2197340

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1549
/proc/meminfo: memFree=8958928/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=2188640 CPUtime=20328.2 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 596508 0 0 0 2031728 1087 0 0 18 0 5 0 991397629 2241167360 486735 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 547160 486735 417 389 0 542910 0
[pid=1394/tid=1396] ppid=1393 vsize=2188640 CPUtime=5082.06 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 134575 0 0 0 508120 86 0 0 25 0 5 0 991397645 2241167360 486735 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=2188640 CPUtime=5082.02 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 115423 0 0 0 508015 187 0 0 25 0 5 0 991397650 2241167360 486735 33554432000 4194304 5787044 140737429119056 18446744073709551615 5590268 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=2188640 CPUtime=5081.98 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 150433 0 0 0 507696 502 0 0 25 0 5 0 991397657 2241167360 486735 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=2188640 CPUtime=5081.76 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 169308 0 0 0 507867 309 0 0 25 0 5 0 991397662 2241167360 486735 33554432000 4194304 5787044 140737429119056 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20328.1
Current children cumulated vsize (KiB) 2197340



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 4.00 5/176 1550
/proc/meminfo: memFree=8952596/32951124 swapFree=67056304/67111528
[pid=1393] ppid=1391 vsize=8700 CPUtime=0 cores=0-7
/proc/1393/stat : 1393 (priss.sh) S 1391 1393 326 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 991397629 8908800 252 33554432000 4194304 4922060 140734678792176 18446744073709551615 260020214917 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0
/proc/1393/statm: 2175 252 211 178 0 68 0
[pid=1394] ppid=1393 vsize=2188640 CPUtime=20399 cores=0-7
/proc/1394/stat : 1394 (priss) S 1393 1393 326 0 -1 4202496 598066 0 0 0 2038807 1090 0 0 18 0 5 0 991397629 2241167360 488293 33554432000 4194304 5787044 140737429119056 18446744073709551615 260032219569 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1394/statm: 547160 488293 417 389 0 542910 0
[pid=1394/tid=1396] ppid=1393 vsize=2188640 CPUtime=5099.76 cores=0-7
/proc/1394/task/1396/stat : 1396 (priss) R 1393 1393 326 0 -1 4202560 134578 0 0 0 509890 86 0 0 25 0 5 0 991397645 2241167360 488293 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=1394/tid=1397] ppid=1393 vsize=2188640 CPUtime=5099.73 cores=0-7
/proc/1394/task/1397/stat : 1397 (priss) R 1393 1393 326 0 -1 4202560 115433 0 0 0 509786 187 0 0 25 0 5 0 991397650 2241167360 488293 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=1394/tid=1398] ppid=1393 vsize=2188640 CPUtime=5099.68 cores=0-7
/proc/1394/task/1398/stat : 1398 (priss) R 1393 1393 326 0 -1 4202560 150985 0 0 0 509464 504 0 0 25 0 5 0 991397657 2241167360 488293 33554432000 4194304 5787044 140737429119056 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=1394/tid=1399] ppid=1393 vsize=2188640 CPUtime=5099.47 cores=0-7
/proc/1394/task/1399/stat : 1399 (priss) R 1393 1393 326 0 -1 4202560 170301 0 0 0 509638 309 0 0 25 0 5 0 991397662 2241167360 488293 33554432000 4194304 5787044 140737429119056 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20399
Current children cumulated vsize (KiB) 2197340

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 1393 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 20399
#
# 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
CPU user time (s): 20388.1
CPU system time (s): 10.9
CPU usage (%): 399.978
Max. virtual memory (cumulated for all children) (KiB): 2197340

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 8.15376 second user time and 19.547 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-14 02:34:30
IDJOB=3499741
IDBENCH=88228
IDSOLVER=1994
FILE ID=node110/3499741-1308011670
RUNJOBID= node110-1307987150-340
PBS_JOBID= 13559801
Free space on /var/tmp= 2876 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p15-s98191766.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499741-1308011670/watcher-3499741-1308011670 -o /var/tmp/evaluation-result-3499741-1308011670/solver-3499741-1308011670 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499741-1308011670.cnf 278187508 40000 31000 8

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

MD5SUM BENCH= 71638ad618721ad48c6bd2d48b828020
RANDOM SEED=278187508

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10908840 kB
Buffers:        121240 kB
Cached:       21178888 kB
SwapCached:       9184 kB
Active:        5799424 kB
Inactive:     15519772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10908840 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            8940 kB
Writeback:          44 kB
AnonPages:       16860 kB
Mapped:          12656 kB
Slab:           658224 kB
PageTables:       4068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191504 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= 2876 MiB
End job on node110 at 2011-06-14 03:59:33