Trace number 3499441

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.2 5100.02

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
MD5SUMa52d60bf6e72caa628ad712a5fe0fb7a
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 variables4229
Number of clauses100397
Sum of the clauses size411595
Maximum clause length5
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 490390
Number of clauses of size 510007
Number of clauses of size over 50

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 29547
0.00/0.03	c parsetime: 29275us
0.00/0.03	c parsed 100397 clauses with 4229 variables
0.00/0.04	c NW started thread 0 successfully (1101957440)
0.00/0.05	c NW started thread 1 successfully (1112447296)
0.00/0.07	c NW started thread 2 successfully (1084234048)
0.00/0.10	c NW started thread 3 successfully (1122937152)
8.24/2.15	c preprocessor returned 10001 variables
8.24/2.15	c preprocessing returned UNKNOWN
8.24/2.15	c PP set 2 variables
8.24/2.15	c pp time: 2114627us (2s)
8.24/2.17	c preprocessor returned 10001 variables
8.24/2.17	c preprocessing returned UNKNOWN
8.24/2.17	c PP set 2 variables
8.24/2.17	c pp time: 2096198us (2s)
8.64/2.21	c preprocessor returned 10001 variables
8.64/2.21	c preprocessing returned UNKNOWN
8.64/2.21	c PP set 2 variables
8.64/2.21	c pp time: 2154589us (2s)
20.20/5.14	c preprocessor returned 30002 variables
20.20/5.14	c preprocessing returned UNKNOWN
20.20/5.14	c PP set 2 variables
20.20/5.14	c pp time: 5041219us (5s)
16201.49/4050.63	c HTE
16235.90/4059.27	c subsumption
16502.30/4125.83	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 /tmp/evaluation-result-3499441-1307999325/watcher-3499441-1307999325 -o /tmp/evaluation-result-3499441-1307999325/solver-3499441-1307999325 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499441-1307999325.cnf 161485827 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: 3.73 3.95 3.98 2/171 29546
/proc/meminfo: memFree=31961868/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0

[startup+0.075356 s]
/proc/loadavg: 3.73 3.95 3.98 2/171 29546
/proc/meminfo: memFree=31961868/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10034 s]
/proc/loadavg: 3.73 3.95 3.98 2/171 29546
/proc/meminfo: memFree=31961868/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300303 s]
/proc/loadavg: 3.73 3.95 3.98 2/171 29546
/proc/meminfo: memFree=31961868/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.70023 s]
/proc/loadavg: 3.73 3.95 3.98 2/171 29546
/proc/meminfo: memFree=31961868/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50108 s]
/proc/loadavg: 3.73 3.95 3.98 5/177 29552
/proc/meminfo: memFree=31911252/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=298760 CPUtime=5.81 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 14185 0 0 0 579 2 0 0 18 0 5 0 911530381 305930240 12756 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 74690 12756 355 389 0 70440 0
[pid=29547/tid=29549] ppid=29546 vsize=298760 CPUtime=1.45 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 1889 0 0 0 145 0 0 0 18 0 5 0 911530385 305930240 12756 33554432000 4194304 5787044 140736074435392 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=298760 CPUtime=1.43 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 2050 0 0 0 143 0 0 0 18 0 5 0 911530386 305930240 12756 33554432000 4194304 5787044 140736074435392 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=298760 CPUtime=1.42 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 1984 0 0 0 142 0 0 0 18 0 5 0 911530388 305930240 12756 33554432000 4194304 5787044 140736074435392 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=298760 CPUtime=1.39 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 2786 0 0 0 139 0 0 0 23 0 5 0 911530391 305930240 12756 33554432000 4194304 5787044 140736074435392 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 307460

[startup+3.10079 s]
/proc/loadavg: 3.73 3.95 3.98 5/177 29552
/proc/meminfo: memFree=31910756/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=303256 CPUtime=12.22 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 18721 0 0 0 1217 5 0 0 18 0 5 0 911530381 310534144 16535 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 75814 16535 404 389 0 71564 0
[pid=29547/tid=29549] ppid=29546 vsize=303256 CPUtime=3.05 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 3778 0 0 0 304 1 0 0 18 0 5 0 911530385 310534144 16535 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=303256 CPUtime=3.03 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 3117 0 0 0 302 1 0 0 21 0 5 0 911530386 310534144 16535 33554432000 4194304 5787044 140736074435392 18446744073709551615 5586602 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=303256 CPUtime=3.01 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 3390 0 0 0 301 0 0 0 18 0 5 0 911530388 310534144 16535 33554432000 4194304 5787044 140736074435392 18446744073709551615 4215351 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=303256 CPUtime=2.98 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 2960 0 0 0 298 0 0 0 18 0 5 0 911530391 310534144 16535 33554432000 4194304 5787044 140736074435392 18446744073709551615 4359259 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 311956

[startup+6.30119 s]
/proc/loadavg: 3.75 3.95 3.98 5/177 29553
/proc/meminfo: memFree=31885148/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=305444 CPUtime=25 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 23872 0 0 0 2491 9 0 0 18 0 5 0 911530381 312774656 20638 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 76361 20638 417 389 0 72111 0
[pid=29547/tid=29549] ppid=29546 vsize=305444 CPUtime=6.25 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 4765 0 0 0 623 2 0 0 18 0 5 0 911530385 312774656 20638 33554432000 4194304 5787044 140736074435392 18446744073709551615 5592012 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=305444 CPUtime=6.23 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 4243 0 0 0 622 1 0 0 20 0 5 0 911530386 312774656 20638 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=305444 CPUtime=6.22 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 3809 0 0 0 621 1 0 0 18 0 5 0 911530388 312774656 20638 33554432000 4194304 5787044 140736074435392 18446744073709551615 4254992 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=305444 CPUtime=6.18 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 5579 0 0 0 615 3 0 0 18 0 5 0 911530391 312774656 20638 33554432000 4194304 5787044 140736074435392 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 314144

[startup+12.701 s]
/proc/loadavg: 3.77 3.95 3.98 5/177 29553
/proc/meminfo: memFree=31856196/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=314088 CPUtime=50.55 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 30218 0 0 0 5035 20 0 0 18 0 5 0 911530381 321626112 26984 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 78522 26984 417 389 0 74272 0
[pid=29547/tid=29549] ppid=29546 vsize=314088 CPUtime=12.63 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 6145 0 0 0 1260 3 0 0 18 0 5 0 911530385 321626112 26984 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=314088 CPUtime=12.63 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 6755 0 0 0 1259 4 0 0 25 0 5 0 911530386 321626112 26984 33554432000 4194304 5787044 140736074435392 18446744073709551615 5590313 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=314088 CPUtime=12.61 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 4742 0 0 0 1258 3 0 0 18 0 5 0 911530388 321626112 26984 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=314088 CPUtime=12.54 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 7100 0 0 0 1247 7 0 0 18 0 5 0 911530391 321626112 26984 33554432000 4194304 5787044 140736074435392 18446744073709551615 5528429 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 322788

[startup+25.5006 s]
/proc/loadavg: 3.82 3.95 3.98 5/177 29553
/proc/meminfo: memFree=31822744/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=327488 CPUtime=101.67 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 38839 0 0 0 10138 29 0 0 18 0 5 0 911530381 335347712 35601 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 81872 35601 417 389 0 77622 0
[pid=29547/tid=29549] ppid=29546 vsize=327488 CPUtime=25.43 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 9255 0 0 0 2538 5 0 0 18 0 5 0 911530385 335347712 35601 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591219 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=327488 CPUtime=25.42 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 8632 0 0 0 2536 6 0 0 25 0 5 0 911530386 335347712 35601 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=327488 CPUtime=25.39 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 7211 0 0 0 2534 5 0 0 18 0 5 0 911530388 335347712 35601 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591712 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=327488 CPUtime=25.3 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 8265 0 0 0 2519 11 0 0 18 0 5 0 911530391 335347712 35601 33554432000 4194304 5787044 140736074435392 18446744073709551615 5527426 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 336188

[startup+51.1009 s]
/proc/loadavg: 3.96 3.97 3.99 5/177 29554
/proc/meminfo: memFree=31763768/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=348184 CPUtime=204.03 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 53946 0 0 0 20357 46 0 0 18 0 5 0 911530381 356540416 50610 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 87046 50610 417 389 0 82796 0
[pid=29547/tid=29549] ppid=29546 vsize=348184 CPUtime=51.02 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 14436 0 0 0 5092 10 0 0 18 0 5 0 911530385 356540416 50610 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=348184 CPUtime=51.01 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 12422 0 0 0 5092 9 0 0 25 0 5 0 911530386 356540416 50610 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=348184 CPUtime=50.99 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 10104 0 0 0 5091 8 0 0 18 0 5 0 911530388 356540416 50610 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=348184 CPUtime=50.87 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 11508 0 0 0 5070 17 0 0 18 0 5 0 911530391 356540416 50610 33554432000 4194304 5787044 140736074435392 18446744073709551615 4254964 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 356884

[startup+102.306 s]
/proc/loadavg: 3.98 3.97 3.99 5/177 29555
/proc/meminfo: memFree=31688600/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=373996 CPUtime=408.8 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 72499 0 0 0 40809 71 0 0 18 0 5 0 911530381 382971904 69015 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 93499 69015 417 389 0 89249 0
[pid=29547/tid=29549] ppid=29546 vsize=373996 CPUtime=102.22 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 20582 0 0 0 10203 19 0 0 20 0 5 0 911530385 382971904 69015 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=373996 CPUtime=102.2 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 17139 0 0 0 10204 16 0 0 25 0 5 0 911530386 382971904 69015 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=373996 CPUtime=102.18 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 13763 0 0 0 10207 11 0 0 18 0 5 0 911530388 382971904 69015 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591780 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=373996 CPUtime=102.06 cores=0-7

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

/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 98434 0 0 0 472111 99 0 0 25 0 5 0 911530386 1906622464 410129 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=1861936 CPUtime=4722.14 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 100920 0 0 0 472110 104 0 0 25 0 5 0 911530388 1906622464 410129 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=1861936 CPUtime=4721.88 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 85563 0 0 0 472043 145 0 0 25 0 5 0 911530391 1906622464 410129 33554432000 4194304 5787044 140736074435392 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18888.4
Current children cumulated vsize (KiB) 1870636

[startup+4782.3 s]
/proc/loadavg: 4.00 4.00 4.00 5/177 29692
/proc/meminfo: memFree=30308380/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=1861936 CPUtime=19128.4 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 427202 0 0 0 1912286 552 0 0 18 0 5 0 911530381 1906622464 412815 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 465484 412815 418 389 0 461234 0
[pid=29547/tid=29549] ppid=29546 vsize=1861936 CPUtime=4782.13 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 134128 0 0 0 478019 194 0 0 25 0 5 0 911530385 1906622464 412815 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=1861936 CPUtime=4782.1 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 98599 0 0 0 478111 99 0 0 25 0 5 0 911530386 1906622464 412815 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=1861936 CPUtime=4782.14 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 102041 0 0 0 478109 105 0 0 25 0 5 0 911530388 1906622464 412815 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591289 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=1861936 CPUtime=4781.88 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 86958 0 0 0 478036 152 0 0 25 0 5 0 911530391 1906622464 412815 33554432000 4194304 5787044 140736074435392 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19128.4
Current children cumulated vsize (KiB) 1870636

[startup+4842.3 s]
/proc/loadavg: 4.05 4.01 4.00 5/177 29694
/proc/meminfo: memFree=30297200/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=1866032 CPUtime=19368.4 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 430105 0 0 0 1936279 559 0 0 18 0 5 0 911530381 1910816768 415718 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 466508 415718 418 389 0 462258 0
[pid=29547/tid=29549] ppid=29546 vsize=1866032 CPUtime=4842.13 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 135157 0 0 0 484019 194 0 0 25 0 5 0 911530385 1910816768 415718 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=1866032 CPUtime=4842.1 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 98785 0 0 0 484111 99 0 0 25 0 5 0 911530386 1910816768 415718 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=1866032 CPUtime=4842.13 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 102366 0 0 0 484108 105 0 0 25 0 5 0 911530388 1910816768 415718 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=1866032 CPUtime=4841.88 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 88321 0 0 0 484030 158 0 0 25 0 5 0 911530391 1910816768 415718 33554432000 4194304 5787044 140736074435392 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19368.4
Current children cumulated vsize (KiB) 1874732

[startup+4902.3 s]
/proc/loadavg: 4.08 4.02 4.00 5/177 29695
/proc/meminfo: memFree=30282792/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=1931568 CPUtime=19608.4 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 433756 0 0 0 1960273 566 0 0 18 0 5 0 911530381 1977925632 419369 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 482892 419369 418 389 0 478642 0
[pid=29547/tid=29549] ppid=29546 vsize=1931568 CPUtime=4902.14 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 135158 0 0 0 490020 194 0 0 25 0 5 0 911530385 1977925632 419369 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=1931568 CPUtime=4902.1 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 98989 0 0 0 490110 100 0 0 25 0 5 0 911530386 1977925632 419369 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=1931568 CPUtime=4902.13 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 104633 0 0 0 490106 107 0 0 25 0 5 0 911530388 1977925632 419369 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591564 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=1931568 CPUtime=4901.87 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 89500 0 0 0 490025 162 0 0 25 0 5 0 911530391 1977925632 419369 33554432000 4194304 5787044 140736074435392 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19608.4
Current children cumulated vsize (KiB) 1940268

[startup+4962.3 s]
/proc/loadavg: 4.19 4.05 4.01 5/177 29697
/proc/meminfo: memFree=30264536/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=1931568 CPUtime=19848.4 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 438207 0 0 0 1984264 576 0 0 18 0 5 0 911530381 1977925632 423820 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 482892 423820 418 389 0 478642 0
[pid=29547/tid=29549] ppid=29546 vsize=1931568 CPUtime=4962.14 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 135168 0 0 0 496020 194 0 0 25 0 5 0 911530385 1977925632 423820 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=1931568 CPUtime=4962.1 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 99197 0 0 0 496110 100 0 0 25 0 5 0 911530386 1977925632 423820 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=1931568 CPUtime=4962.14 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 107592 0 0 0 496101 113 0 0 21 0 5 0 911530388 1977925632 423820 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=1931568 CPUtime=4961.88 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 90774 0 0 0 496022 166 0 0 25 0 5 0 911530391 1977925632 423820 33554432000 4194304 5787044 140736074435392 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 19848.4
Current children cumulated vsize (KiB) 1940268

[startup+5022.3 s]
/proc/loadavg: 4.12 4.06 4.01 5/177 29698
/proc/meminfo: memFree=30246640/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=1931568 CPUtime=20088.4 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 442688 0 0 0 2008255 585 0 0 18 0 5 0 911530381 1977925632 428301 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 482892 428301 418 389 0 478642 0
[pid=29547/tid=29549] ppid=29546 vsize=1931568 CPUtime=5022.14 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 135175 0 0 0 502020 194 0 0 25 0 5 0 911530385 1977925632 428301 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=1931568 CPUtime=5022.11 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 99400 0 0 0 502111 100 0 0 25 0 5 0 911530386 1977925632 428301 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=1931568 CPUtime=5022.14 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 109271 0 0 0 502098 116 0 0 25 0 5 0 911530388 1977925632 428301 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591751 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=1931568 CPUtime=5021.88 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 93366 0 0 0 502016 172 0 0 25 0 5 0 911530391 1977925632 428301 33554432000 4194304 5787044 140736074435392 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20088.4
Current children cumulated vsize (KiB) 1940268

[startup+5082.3 s]
/proc/loadavg: 4.12 4.07 4.02 5/177 29700
/proc/meminfo: memFree=30228280/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=1934736 CPUtime=20328.4 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 447307 0 0 0 2032247 594 0 0 18 0 5 0 911530381 1981169664 432920 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 483684 432920 418 389 0 479434 0
[pid=29547/tid=29549] ppid=29546 vsize=1934736 CPUtime=5082.14 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 135998 0 0 0 508020 194 0 0 25 0 5 0 911530385 1981169664 432920 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=1934736 CPUtime=5082.11 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 100554 0 0 0 508111 100 0 0 25 0 5 0 911530386 1981169664 432920 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=1934736 CPUtime=5082.14 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 110655 0 0 0 508096 118 0 0 25 0 5 0 911530388 1981169664 432920 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=1934736 CPUtime=5081.88 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 94624 0 0 0 508010 178 0 0 25 0 5 0 911530391 1981169664 432920 33554432000 4194304 5787044 140736074435392 18446744073709551615 5528404 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20328.4
Current children cumulated vsize (KiB) 1943436



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.08 4.07 4.01 5/177 29700
/proc/meminfo: memFree=30223316/32951124 swapFree=67072804/67111528
[pid=29546] ppid=29544 vsize=8700 CPUtime=0 cores=0-7
/proc/29546/stat : 29546 (priss.sh) S 29544 29546 29120 0 -1 4202496 330 0 0 0 0 0 0 0 25 0 1 0 911530381 8908800 251 33554432000 4194304 4922060 140737100012800 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/29546/statm: 2175 251 211 178 0 68 0
[pid=29547] ppid=29546 vsize=1936056 CPUtime=20399.2 cores=0-7
/proc/29547/stat : 29547 (priss) S 29546 29546 29120 0 -1 4202496 448505 0 0 0 2039328 596 0 0 18 0 5 0 911530381 1982521344 434118 33554432000 4194304 5787044 140736074435392 18446744073709551615 255389125041 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29547/statm: 484014 434118 418 389 0 479764 0
[pid=29547/tid=29549] ppid=29546 vsize=1936056 CPUtime=5099.85 cores=0-7
/proc/29547/task/29549/stat : 29549 (priss) R 29546 29546 29120 0 -1 4202560 136354 0 0 0 509790 195 0 0 25 0 5 0 911530385 1982521344 434118 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=29547/tid=29550] ppid=29546 vsize=1936056 CPUtime=5099.81 cores=0-7
/proc/29547/task/29550/stat : 29550 (priss) R 29546 29546 29120 0 -1 4202560 100657 0 0 0 509881 100 0 0 25 0 5 0 911530386 1982521344 434118 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591342 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29547/tid=29551] ppid=29546 vsize=1936056 CPUtime=5099.85 cores=0-7
/proc/29547/task/29551/stat : 29551 (priss) R 29546 29546 29120 0 -1 4202560 111038 0 0 0 509866 119 0 0 25 0 5 0 911530388 1982521344 434118 33554432000 4194304 5787044 140736074435392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=29547/tid=29552] ppid=29546 vsize=1936056 CPUtime=5099.59 cores=0-7
/proc/29547/task/29552/stat : 29552 (priss) R 29546 29546 29120 0 -1 4202560 94980 0 0 0 509779 180 0 0 21 0 5 0 911530391 1982521344 434118 33554432000 4194304 5787044 140736074435392 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 20399.2
Current children cumulated vsize (KiB) 1944756

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 29546 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.2
#
# 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.2
CPU user time (s): 20393.3
CPU system time (s): 5.96
CPU usage (%): 399.984
Max. virtual memory (cumulated for all children) (KiB): 1944756

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= 330
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 7.58385 second user time and 20.2419 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-13 23:08:45
IDJOB=3499441
IDBENCH=83248
IDSOLVER=1994
FILE ID=node135/3499441-1307999325
RUNJOBID= node135-1307989120-29134
PBS_JOBID= 13559816
Free space on /tmp= 73824 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4231.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3499441-1307999325/watcher-3499441-1307999325 -o /tmp/evaluation-result-3499441-1307999325/solver-3499441-1307999325 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499441-1307999325.cnf 161485827 40000 31000 8

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

MD5SUM BENCH= a52d60bf6e72caa628ad712a5fe0fb7a
RANDOM SEED=161485827

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31962040 kB
Buffers:        221152 kB
Cached:         533808 kB
SwapCached:       6348 kB
Active:         355620 kB
Inactive:       423672 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31962040 kB
SwapTotal:    67111528 kB
SwapFree:     67072804 kB
Dirty:            3528 kB
Writeback:           0 kB
AnonPages:       24268 kB
Mapped:          10284 kB
Slab:           143192 kB
PageTables:       3928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   160204 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73820 MiB
End job on node135 at 2011-06-14 00:33:47