Trace number 3372689

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
Plingeling 587f (fixed)UNSAT 3072.31 384.79

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom13.cnf
MD5SUMf3c2fb082f5fbc8fb1f714d6ee13929d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark93.9187
Satisfiable
(Un)Satisfiability was proved
Number of variables19995
Number of clauses66333
Sum of the clauses size168341
Maximum clause length698
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 235137
Number of clauses of size 330832
Number of clauses of size 490
Number of clauses of size 511
Number of clauses of size over 5262

Solver Data 

3072.22/384.78	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3372689-1305440512/watcher-3372689-1305440512 -o /tmp/evaluation-result-3372689-1305440512/solver-3372689-1305440512 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3372689-1305440512.cnf 

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: 8.07 8.09 7.94 1/294 28959
/proc/meminfo: memFree=11895092/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=14576 CPUtime=0 cores=0-7
/proc/28959/stat : 28959 (plingeling) R 28957 28959 28338 0 -1 4202496 1713 1260 0 0 0 0 0 0 23 0 1 0 655649105 14925824 1643 33554432000 4194304 4417452 140737417602880 18446744073709551615 255377301248 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/28959/statm: 3644 1643 148 55 0 1530 0

[startup+0.0277519 s]
/proc/loadavg: 8.07 8.09 7.94 1/294 28959
/proc/meminfo: memFree=11895092/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=19160 CPUtime=0.02 cores=0-7
/proc/28959/stat : 28959 (plingeling) R 28957 28959 28338 0 -1 4202496 2900 1260 0 0 2 0 0 0 23 0 1 0 655649105 19619840 2814 33554432000 4194304 4417452 140737417602880 18446744073709551615 4231291 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/28959/statm: 4790 2814 149 55 0 2676 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19160

[startup+0.100744 s]
/proc/loadavg: 8.07 8.09 7.94 1/294 28959
/proc/meminfo: memFree=11895092/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=29104 CPUtime=0.09 cores=0-7
/proc/28959/stat : 28959 (plingeling) R 28957 28959 28338 0 -1 4202496 5434 1260 0 0 9 0 0 0 23 0 1 0 655649105 29802496 5300 33554432000 4194304 4417452 140737417602880 18446744073709551615 4236017 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/28959/statm: 7276 5300 149 55 0 5162 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29104

[startup+0.66323 s]
/proc/loadavg: 8.07 8.09 7.94 1/294 28959
/proc/meminfo: memFree=11895092/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=254292 CPUtime=4.1 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 20972 1260 0 0 407 3 0 0 18 0 9 0 655649105 260395008 9724 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 63573 9724 175 55 0 61459 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 254292

[startup+1.11452 s]
/proc/loadavg: 8.07 8.09 7.94 1/294 28959
/proc/meminfo: memFree=11895092/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=261440 CPUtime=7.72 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 26909 1260 0 0 768 4 0 0 18 0 9 0 655649105 267714560 11134 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 65360 11134 178 55 0 63246 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 261440

[startup+1.50045 s]
/proc/loadavg: 8.07 8.09 7.94 1/294 28959
/proc/meminfo: memFree=11895092/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=267748 CPUtime=10.8 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 29440 1260 0 0 1076 4 0 0 18 0 9 0 655649105 274173952 12956 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 66937 12956 180 55 0 64823 0
Current children cumulated CPU time (s) 10.8
Current children cumulated vsize (KiB) 267748

[startup+3.10115 s]
/proc/loadavg: 8.14 8.10 7.95 9/303 28973
/proc/meminfo: memFree=11838236/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=271224 CPUtime=23.59 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 32398 1260 0 0 2354 5 0 0 18 0 9 0 655649105 277733376 13844 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 67806 13844 180 55 0 65692 0
[pid=28959/tid=28966] ppid=28957 vsize=271224 CPUtime=2.93 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 3780 1260 0 0 293 0 0 0 25 0 9 0 655649121 277733376 13844 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=271224 CPUtime=2.92 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 3718 1260 0 0 292 0 0 0 24 0 9 0 655649121 277733376 13844 33554432000 4194304 4417452 140737417602880 18446744073709551615 4277540 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=271224 CPUtime=2.92 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 2573 1260 0 0 292 0 0 0 24 0 9 0 655649121 277733376 13844 33554432000 4194304 4417452 140737417602880 18446744073709551615 4234260 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=271224 CPUtime=2.94 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 1415 1260 0 0 294 0 0 0 24 0 9 0 655649121 277733376 13844 33554432000 4194304 4417452 140737417602880 18446744073709551615 4321005 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=271224 CPUtime=2.93 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 2954 1260 0 0 293 0 0 0 24 0 9 0 655649121 277733376 13844 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=271224 CPUtime=2.93 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 2780 1260 0 0 293 0 0 0 24 0 9 0 655649121 277733376 13844 33554432000 4194304 4417452 140737417602880 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=271224 CPUtime=2.9 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 3498 1260 0 0 290 0 0 0 24 0 9 0 655649121 277733376 13844 33554432000 4194304 4417452 140737417602880 18446744073709551615 4277897 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=271224 CPUtime=2.88 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 2251 1260 0 0 288 0 0 0 25 0 9 0 655649121 277733376 13844 33554432000 4194304 4417452 140737417602880 18446744073709551615 4357671 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.59
Current children cumulated vsize (KiB) 271224

[startup+6.31156 s]
/proc/loadavg: 8.21 8.12 7.95 9/303 28974
/proc/meminfo: memFree=11825716/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=287072 CPUtime=49.24 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 36346 1260 0 0 4919 5 0 0 18 0 9 0 655649105 293961728 17782 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 71768 17782 180 55 0 69654 0
[pid=28959/tid=28966] ppid=28957 vsize=287072 CPUtime=6.14 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 3815 1260 0 0 614 0 0 0 25 0 9 0 655649121 293961728 17782 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=287072 CPUtime=6.13 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 4505 1260 0 0 613 0 0 0 25 0 9 0 655649121 293961728 17782 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=287072 CPUtime=6.13 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 3374 1260 0 0 613 0 0 0 25 0 9 0 655649121 293961728 17782 33554432000 4194304 4417452 140737417602880 18446744073709551615 4354510 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=287072 CPUtime=6.15 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 1618 1260 0 0 615 0 0 0 25 0 9 0 655649121 293961728 17782 33554432000 4194304 4417452 140737417602880 18446744073709551615 4366520 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=287072 CPUtime=6.14 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 3733 1260 0 0 614 0 0 0 25 0 9 0 655649121 293961728 17782 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=287072 CPUtime=6.14 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 3058 1260 0 0 614 0 0 0 25 0 9 0 655649121 293961728 17782 33554432000 4194304 4417452 140737417602880 18446744073709551615 4232580 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=287072 CPUtime=6.08 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 3857 1260 0 0 608 0 0 0 25 0 9 0 655649121 293961728 17782 33554432000 4194304 4417452 140737417602880 18446744073709551615 4354488 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=287072 CPUtime=6.09 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 2957 1260 0 0 609 0 0 0 25 0 9 0 655649121 293961728 17782 33554432000 4194304 4417452 140737417602880 18446744073709551615 4264994 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.24
Current children cumulated vsize (KiB) 287072

[startup+12.7004 s]
/proc/loadavg: 8.19 8.11 7.95 9/303 28974
/proc/meminfo: memFree=11791756/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=318212 CPUtime=100.3 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 50589 1260 0 0 10023 7 0 0 18 0 9 0 655649105 325849088 25573 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 79553 25573 180 55 0 77439 0
[pid=28959/tid=28966] ppid=28957 vsize=318212 CPUtime=12.54 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 5921 1260 0 0 1253 1 0 0 25 0 9 0 655649121 325849088 25573 33554432000 4194304 4417452 140737417602880 18446744073709551615 4353520 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=318212 CPUtime=12.53 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 6613 1260 0 0 1252 1 0 0 25 0 9 0 655649121 325849088 25573 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=318212 CPUtime=12.52 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 4872 1260 0 0 1252 0 0 0 25 0 9 0 655649121 325849088 25573 33554432000 4194304 4417452 140737417602880 18446744073709551615 4252582 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=318212 CPUtime=12.53 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 3198 1260 0 0 1253 0 0 0 25 0 9 0 655649121 325849088 25573 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=318212 CPUtime=12.53 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 4472 1260 0 0 1253 0 0 0 25 0 9 0 655649121 325849088 25573 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=318212 CPUtime=12.52 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 5728 1260 0 0 1252 0 0 0 25 0 9 0 655649121 325849088 25573 33554432000 4194304 4417452 140737417602880 18446744073709551615 4237338 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=318212 CPUtime=12.42 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 4887 1260 0 0 1242 0 0 0 25 0 9 0 655649121 325849088 25573 33554432000 4194304 4417452 140737417602880 18446744073709551615 4309936 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=318212 CPUtime=12.49 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 5469 1260 0 0 1248 1 0 0 25 0 9 0 655649121 325849088 25573 33554432000 4194304 4417452 140737417602880 18446744073709551615 4366543 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.3
Current children cumulated vsize (KiB) 318212

[startup+25.501 s]
/proc/loadavg: 8.24 8.13 7.96 9/303 28974
/proc/meminfo: memFree=11774384/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=337728 CPUtime=202.59 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 73952 1260 0 0 20247 12 0 0 18 0 9 0 655649105 345833472 30586 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 84432 30586 180 55 0 82318 0
[pid=28959/tid=28966] ppid=28957 vsize=337728 CPUtime=25.33 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 10005 1260 0 0 2532 1 0 0 25 0 9 0 655649121 345833472 30586 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=337728 CPUtime=25.32 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 9763 1260 0 0 2531 1 0 0 25 0 9 0 655649121 345833472 30586 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=337728 CPUtime=25.32 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 5896 1260 0 0 2532 0 0 0 25 0 9 0 655649121 345833472 30586 33554432000 4194304 4417452 140737417602880 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=337728 CPUtime=25.34 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 7689 1260 0 0 2533 1 0 0 25 0 9 0 655649121 345833472 30586 33554432000 4194304 4417452 140737417602880 18446744073709551615 4356852 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=337728 CPUtime=25.33 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 6369 1260 0 0 2532 1 0 0 25 0 9 0 655649121 345833472 30586 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=337728 CPUtime=25.33 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 9632 1260 0 0 2532 1 0 0 25 0 9 0 655649121 345833472 30586 33554432000 4194304 4417452 140737417602880 18446744073709551615 4365181 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=337728 CPUtime=25.11 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 7848 1260 0 0 2510 1 0 0 25 0 9 0 655649121 345833472 30586 33554432000 4194304 4417452 140737417602880 18446744073709551615 4309591 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=337728 CPUtime=25.29 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 7321 1260 0 0 2528 1 0 0 25 0 9 0 655649121 345833472 30586 33554432000 4194304 4417452 140737417602880 18446744073709551615 4365150 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.59
Current children cumulated vsize (KiB) 337728

[startup+51.1013 s]
/proc/loadavg: 8.16 8.11 7.96 9/303 28975
/proc/meminfo: memFree=11737984/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=369212 CPUtime=407.15 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 149009 1260 0 0 40688 27 0 0 18 0 9 0 655649105 378073088 38457 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 92303 38457 180 55 0 90189 0
[pid=28959/tid=28966] ppid=28957 vsize=369212 CPUtime=50.93 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 19598 1260 0 0 5090 3 0 0 25 0 9 0 655649121 378073088 38457 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=369212 CPUtime=50.92 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 18381 1260 0 0 5089 3 0 0 25 0 9 0 655649121 378073088 38457 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=369212 CPUtime=50.93 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 16086 1260 0 0 5091 2 0 0 25 0 9 0 655649121 378073088 38457 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=369212 CPUtime=50.94 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 16154 1260 0 0 5091 3 0 0 25 0 9 0 655649121 378073088 38457 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=369212 CPUtime=50.93 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 16499 1260 0 0 5090 3 0 0 25 0 9 0 655649121 378073088 38457 33554432000 4194304 4417452 140737417602880 18446744073709551615 4353568 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=369212 CPUtime=50.93 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 20589 1260 0 0 5090 3 0 0 25 0 9 0 655649121 378073088 38457 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=369212 CPUtime=50.47 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 15434 1260 0 0 5044 3 0 0 25 0 9 0 655649121 378073088 38457 33554432000 4194304 4417452 140737417602880 18446744073709551615 4246269 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=369212 CPUtime=50.89 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 16839 1260 0 0 5087 2 0 0 25 0 9 0 655649121 378073088 38457 33554432000 4194304 4417452 140737417602880 18446744073709551615 4366079 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.15
Current children cumulated vsize (KiB) 369212

[startup+102.301 s]
/proc/loadavg: 8.24 8.15 7.98 9/303 28976

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

/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 105752 1260 0 0 35873 21 0 0 25 0 9 0 655649121 538578944 77642 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=525956 CPUtime=358.94 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 116140 1260 0 0 35874 20 0 0 25 0 9 0 655649121 538578944 77642 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=525956 CPUtime=355.57 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 101428 1260 0 0 35536 21 0 0 25 0 9 0 655649121 538578944 77642 33554432000 4194304 4417452 140737417602880 18446744073709551615 18446744073699065939 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=525956 CPUtime=358.89 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 109132 1260 0 0 35870 19 0 0 25 0 9 0 655649121 538578944 77642 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2868.26
Current children cumulated vsize (KiB) 525956

[startup+371.901 s]
/proc/loadavg: 8.14 8.18 8.03 9/303 28983
/proc/meminfo: memFree=11581804/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=531108 CPUtime=2970.53 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 858486 1260 0 0 296887 166 0 0 18 0 9 0 655649105 543854592 78931 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 132777 78931 180 55 0 130663 0
[pid=28959/tid=28966] ppid=28957 vsize=531108 CPUtime=371.74 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 105158 1260 0 0 37154 20 0 0 25 0 9 0 655649121 543854592 78931 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=531108 CPUtime=371.68 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 107578 1260 0 0 37148 20 0 0 25 0 9 0 655649121 543854592 78931 33554432000 4194304 4417452 140737417602880 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=531108 CPUtime=371.73 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 95034 1260 0 0 37154 19 0 0 25 0 9 0 655649121 543854592 78931 33554432000 4194304 4417452 140737417602880 18446744073709551615 4277571 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=531108 CPUtime=371.75 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 95101 1260 0 0 37155 20 0 0 25 0 9 0 655649121 543854592 78931 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=531108 CPUtime=371.74 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 108962 1260 0 0 37153 21 0 0 25 0 9 0 655649121 543854592 78931 33554432000 4194304 4417452 140737417602880 18446744073709551615 4365103 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=531108 CPUtime=371.74 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 118866 1260 0 0 37154 20 0 0 25 0 9 0 655649121 543854592 78931 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=531108 CPUtime=368.24 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 104909 1260 0 0 36803 21 0 0 25 0 9 0 655649121 543854592 78931 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=531108 CPUtime=371.69 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 113449 1260 0 0 37149 20 0 0 25 0 9 0 655649121 543854592 78931 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2970.53
Current children cumulated vsize (KiB) 531108

[startup+378.301 s]
/proc/loadavg: 8.13 8.17 8.02 9/303 28983
/proc/meminfo: memFree=11585280/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=527216 CPUtime=3021.67 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 870805 1260 0 0 302000 167 0 0 18 0 9 0 655649105 539869184 77958 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 131804 77958 180 55 0 129690 0
[pid=28959/tid=28966] ppid=28957 vsize=527216 CPUtime=378.14 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 105158 1260 0 0 37794 20 0 0 25 0 9 0 655649121 539869184 77958 33554432000 4194304 4417452 140737417602880 18446744073709551615 4366105 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=527216 CPUtime=378.08 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 108363 1260 0 0 37788 20 0 0 25 0 9 0 655649121 539869184 77958 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=527216 CPUtime=378.14 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 100988 1260 0 0 37794 20 0 0 25 0 9 0 655649121 539869184 77958 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364716 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=527216 CPUtime=378.15 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 96635 1260 0 0 37795 20 0 0 25 0 9 0 655649121 539869184 77958 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=527216 CPUtime=378.15 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 109316 1260 0 0 37793 22 0 0 25 0 9 0 655649121 539869184 77958 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=527216 CPUtime=378.14 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 120914 1260 0 0 37793 21 0 0 25 0 9 0 655649121 539869184 77958 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=527216 CPUtime=374.58 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 106553 1260 0 0 37436 22 0 0 25 0 9 0 655649121 539869184 77958 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=527216 CPUtime=378.09 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 113449 1260 0 0 37789 20 0 0 25 0 9 0 655649121 539869184 77958 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3021.67
Current children cumulated vsize (KiB) 527216

[startup+381.501 s]
/proc/loadavg: 8.12 8.17 8.02 9/303 28984
/proc/meminfo: memFree=11583424/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=529812 CPUtime=3047.25 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 880596 1260 0 0 304556 169 0 0 18 0 9 0 655649105 542527488 78638 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 132453 78638 180 55 0 130339 0
[pid=28959/tid=28966] ppid=28957 vsize=529812 CPUtime=381.34 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 105158 1260 0 0 38114 20 0 0 25 0 9 0 655649121 542527488 78638 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=529812 CPUtime=381.28 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 109824 1260 0 0 38108 20 0 0 25 0 9 0 655649121 542527488 78638 33554432000 4194304 4417452 140737417602880 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=529812 CPUtime=381.34 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 101358 1260 0 0 38114 20 0 0 25 0 9 0 655649121 542527488 78638 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=529812 CPUtime=381.35 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 98096 1260 0 0 38115 20 0 0 25 0 9 0 655649121 542527488 78638 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=529812 CPUtime=381.34 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 112116 1260 0 0 38112 22 0 0 25 0 9 0 655649121 542527488 78638 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=529812 CPUtime=381.34 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 122015 1260 0 0 38113 21 0 0 25 0 9 0 655649121 542527488 78638 33554432000 4194304 4417452 140737417602880 18446744073709551615 4236790 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=529812 CPUtime=377.75 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 109151 1260 0 0 37753 22 0 0 25 0 9 0 655649121 542527488 78638 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=529812 CPUtime=381.3 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 113449 1260 0 0 38110 20 0 0 25 0 9 0 655649121 542527488 78638 33554432000 4194304 4417452 140737417602880 18446744073709551615 4236827 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3047.25
Current children cumulated vsize (KiB) 529812

[startup+383.101 s]
/proc/loadavg: 8.12 8.17 8.02 9/303 28984
/proc/meminfo: memFree=11577100/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=535836 CPUtime=3060.03 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 882102 1260 0 0 305834 169 0 0 18 0 9 0 655649105 548696064 80144 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 133959 80144 180 55 0 131845 0
[pid=28959/tid=28966] ppid=28957 vsize=535836 CPUtime=382.93 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 106007 1260 0 0 38273 20 0 0 25 0 9 0 655649121 548696064 80144 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=535836 CPUtime=382.88 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 110227 1260 0 0 38268 20 0 0 25 0 9 0 655649121 548696064 80144 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=535836 CPUtime=382.94 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 101516 1260 0 0 38274 20 0 0 25 0 9 0 655649121 548696064 80144 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=535836 CPUtime=382.95 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 98192 1260 0 0 38275 20 0 0 25 0 9 0 655649121 548696064 80144 33554432000 4194304 4417452 140737417602880 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=535836 CPUtime=382.94 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 112116 1260 0 0 38272 22 0 0 25 0 9 0 655649121 548696064 80144 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=535836 CPUtime=382.94 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 122015 1260 0 0 38273 21 0 0 25 0 9 0 655649121 548696064 80144 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=535836 CPUtime=379.34 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 109151 1260 0 0 37912 22 0 0 25 0 9 0 655649121 548696064 80144 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364972 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=535836 CPUtime=382.89 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 113449 1260 0 0 38269 20 0 0 25 0 9 0 655649121 548696064 80144 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3060.03
Current children cumulated vsize (KiB) 535836

[startup+383.901 s]
/proc/loadavg: 8.12 8.17 8.02 9/303 28984
/proc/meminfo: memFree=11581316/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=530896 CPUtime=3066.42 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 883759 1260 0 0 306472 170 0 0 18 0 9 0 655649105 543637504 78909 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 132724 78909 180 55 0 130610 0
[pid=28959/tid=28966] ppid=28957 vsize=530896 CPUtime=383.73 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 106944 1260 0 0 38353 20 0 0 25 0 9 0 655649121 543637504 78909 33554432000 4194304 4417452 140737417602880 18446744073709551615 4357159 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=530896 CPUtime=383.68 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 110227 1260 0 0 38348 20 0 0 25 0 9 0 655649121 543637504 78909 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=530896 CPUtime=383.74 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 101516 1260 0 0 38354 20 0 0 25 0 9 0 655649121 543637504 78909 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=530896 CPUtime=383.75 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 98369 1260 0 0 38355 20 0 0 25 0 9 0 655649121 543637504 78909 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=530896 CPUtime=383.74 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 112116 1260 0 0 38352 22 0 0 25 0 9 0 655649121 543637504 78909 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=530896 CPUtime=383.74 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 122558 1260 0 0 38353 21 0 0 25 0 9 0 655649121 543637504 78909 33554432000 4194304 4417452 140737417602880 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=530896 CPUtime=380.13 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 109151 1260 0 0 37991 22 0 0 25 0 9 0 655649121 543637504 78909 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=530896 CPUtime=383.69 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 113449 1260 0 0 38349 20 0 0 25 0 9 0 655649121 543637504 78909 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3066.42
Current children cumulated vsize (KiB) 530896

[startup+384.301 s]
/proc/loadavg: 8.12 8.17 8.02 9/303 28984
/proc/meminfo: memFree=11581316/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=532412 CPUtime=3069.62 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 884138 1260 0 0 306792 170 0 0 18 0 9 0 655649105 545189888 79288 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 133103 79288 180 55 0 130989 0
[pid=28959/tid=28966] ppid=28957 vsize=532412 CPUtime=384.13 cores=0-7
/proc/28959/task/28966/stat : 28966 (plingeling) R 28957 28959 28338 0 -1 4202560 106944 1260 0 0 38393 20 0 0 25 0 9 0 655649121 545189888 79288 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28959/tid=28967] ppid=28957 vsize=532412 CPUtime=384.08 cores=0-7
/proc/28959/task/28967/stat : 28967 (plingeling) R 28957 28959 28338 0 -1 4202560 110606 1260 0 0 38388 20 0 0 25 0 9 0 655649121 545189888 79288 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28959/tid=28968] ppid=28957 vsize=532412 CPUtime=384.14 cores=0-7
/proc/28959/task/28968/stat : 28968 (plingeling) R 28957 28959 28338 0 -1 4202560 101516 1260 0 0 38394 20 0 0 25 0 9 0 655649121 545189888 79288 33554432000 4194304 4417452 140737417602880 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28959/tid=28969] ppid=28957 vsize=532412 CPUtime=384.15 cores=0-7
/proc/28959/task/28969/stat : 28969 (plingeling) R 28957 28959 28338 0 -1 4202560 98369 1260 0 0 38395 20 0 0 25 0 9 0 655649121 545189888 79288 33554432000 4194304 4417452 140737417602880 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28959/tid=28970] ppid=28957 vsize=532412 CPUtime=384.14 cores=0-7
/proc/28959/task/28970/stat : 28970 (plingeling) R 28957 28959 28338 0 -1 4202560 112116 1260 0 0 38392 22 0 0 25 0 9 0 655649121 545189888 79288 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28959/tid=28971] ppid=28957 vsize=532412 CPUtime=384.14 cores=0-7
/proc/28959/task/28971/stat : 28971 (plingeling) R 28957 28959 28338 0 -1 4202560 122558 1260 0 0 38393 21 0 0 25 0 9 0 655649121 545189888 79288 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28959/tid=28972] ppid=28957 vsize=532412 CPUtime=380.53 cores=0-7
/proc/28959/task/28972/stat : 28972 (plingeling) R 28957 28959 28338 0 -1 4202560 109151 1260 0 0 38031 22 0 0 25 0 9 0 655649121 545189888 79288 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28959/tid=28973] ppid=28957 vsize=532412 CPUtime=384.09 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 113449 1260 0 0 38389 20 0 0 25 0 9 0 655649121 545189888 79288 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3069.62
Current children cumulated vsize (KiB) 532412

[startup+384.712 s]
/proc/loadavg: 8.12 8.17 8.02 5/299 28984
/proc/meminfo: memFree=11587916/32951124 swapFree=66050672/67111528
[pid=28959] ppid=28957 vsize=482936 CPUtime=3072.22 cores=0-7
/proc/28959/stat : 28959 (plingeling) S 28957 28959 28338 0 -1 4202496 884139 1260 0 0 307052 170 0 0 16 0 2 0 655649105 494526464 77139 33554432000 4194304 4417452 140737417602880 18446744073709551615 255389104101 0 0 4096 17442 18446744073709551615 0 0 17 7 0 0 0
/proc/28959/statm: 120734 77139 181 55 0 118620 0
[pid=28959/tid=28973] ppid=28957 vsize=482936 CPUtime=384.51 cores=0-7
/proc/28959/task/28973/stat : 28973 (plingeling) R 28957 28959 28338 0 -1 4202560 113449 1260 0 0 38431 20 0 0 25 0 2 0 655649121 494526464 77139 33554432000 4194304 4417452 140737417602880 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3072.22
Current children cumulated vsize (KiB) 482936

Child status: 20
Real time (s): 384.79
CPU time (s): 3072.31
CPU user time (s): 3070.59
CPU system time (s): 1.72274
CPU usage (%): 798.438
Max. virtual memory (cumulated for all children) (KiB): 546240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3070.59
system time used= 1.72274
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 885402
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= 332
involuntary context switches= 25965

runsolver used 1.04084 second user time and 2.5926 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-15 08:21:52
IDJOB=3372689
IDBENCH=83117
IDSOLVER=1851
FILE ID=node135/3372689-1305440512
RUNJOBID= node135-1305436652-28352
PBS_JOBID= 13324754
Free space on /tmp= 73368 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom13.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372689-1305440512/watcher-3372689-1305440512 -o /tmp/evaluation-result-3372689-1305440512/solver-3372689-1305440512 -C 40000 -W 5100 -M 31000  plingeling -t 8 HOME/instance-3372689-1305440512.cnf

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

MD5SUM BENCH= f3c2fb082f5fbc8fb1f714d6ee13929d
RANDOM SEED=211676153

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:      11895372 kB
Buffers:        291016 kB
Cached:        6101800 kB
SwapCached:      50684 kB
Active:        9940324 kB
Inactive:     10868364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11895372 kB
SwapTotal:    67111528 kB
SwapFree:     66050672 kB
Dirty:            1204 kB
Writeback:           0 kB
AnonPages:    14370424 kB
Mapped:          18324 kB
Slab:           137796 kB
PageTables:      46040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 57036348 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= 73368 MiB
End job on node135 at 2011-05-15 08:28:17