Trace number 3371001

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)? (TO) 4800.32 1202.53

General information on the benchmark

NameSAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/
mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
MD5SUMdfc7796289f8cacbd4db5eb947a1ba09
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark194.024
Satisfiable
(Un)Satisfiability was proved
Number of variables339
Number of clauses2416
Sum of the clauses size10720
Maximum clause length6
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 41496
Number of clauses of size 5784
Number of clauses of size over 5136

Solver Data


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.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-3371001-1305431243/watcher-3371001-1305431243 -o /tmp/evaluation-result-3371001-1305431243/solver-3371001-1305431243 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371001-1305431243.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.91 8.11 7.65 5/266 25839
/proc/meminfo: memFree=22490144/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=50636 CPUtime=0 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 501 1252 0 0 0 0 0 0 25 0 5 0 654722496 51851264 428 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 12659 445 166 55 0 10545 0
[pid=25839/tid=25845] ppid=25837 vsize=50896 CPUtime=0 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 84 1252 0 0 0 0 0 0 25 0 5 0 654722497 52117504 519 33554432000 4194304 4417452 140735021080688 18446744073709551615 246516528109 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=50896 CPUtime=0 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 0 1252 0 0 0 0 0 0 25 0 5 0 654722497 52117504 519 33554432000 4194304 4417452 140735021080688 18446744073709551615 4362598 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=50896 CPUtime=0 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 2 1252 0 0 0 0 0 0 25 0 5 0 654722497 52117504 519 33554432000 4194304 4417452 140735021080688 18446744073709551615 4325998 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=50896 CPUtime=0 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 36 1252 0 0 0 0 0 0 25 0 5 0 654722497 52117504 519 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 1 0 0 0

[startup+0.134731 s]
/proc/loadavg: 7.91 8.11 7.65 5/266 25839
/proc/meminfo: memFree=22490144/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=52532 CPUtime=0.5 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 1093 1252 0 0 50 0 0 0 25 0 5 0 654722496 53792768 956 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 13133 956 179 55 0 11019 0
[pid=25839/tid=25845] ppid=25837 vsize=52532 CPUtime=0.12 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 91 1252 0 0 12 0 0 0 25 0 5 0 654722497 53792768 956 33554432000 4194304 4417452 140735021080688 18446744073709551615 4274040 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=52532 CPUtime=0.12 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 72 1252 0 0 12 0 0 0 25 0 5 0 654722497 53792768 956 33554432000 4194304 4417452 140735021080688 18446744073709551615 4252083 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=52532 CPUtime=0.12 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 62 1252 0 0 12 0 0 0 25 0 5 0 654722497 53792768 956 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=52532 CPUtime=0.12 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 398 1252 0 0 12 0 0 0 25 0 5 0 654722497 53792768 956 33554432000 4194304 4417452 140735021080688 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 52532

[startup+0.20072 s]
/proc/loadavg: 7.91 8.11 7.65 5/266 25839
/proc/meminfo: memFree=22490144/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=52872 CPUtime=0.77 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 1319 1252 0 0 77 0 0 0 25 0 5 0 654722496 54140928 1047 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 13218 1047 179 55 0 11104 0
[pid=25839/tid=25845] ppid=25837 vsize=52872 CPUtime=0.19 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 91 1252 0 0 19 0 0 0 25 0 5 0 654722497 54140928 1047 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=52872 CPUtime=0.19 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 72 1252 0 0 19 0 0 0 25 0 5 0 654722497 54140928 1047 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=52872 CPUtime=0.19 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 191 1252 0 0 19 0 0 0 25 0 5 0 654722497 54140928 1047 33554432000 4194304 4417452 140735021080688 18446744073709551615 4365036 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=52872 CPUtime=0.19 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 495 1252 0 0 19 0 0 0 25 0 5 0 654722497 54140928 1047 33554432000 4194304 4417452 140735021080688 18446744073709551615 4354079 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 52872

[startup+0.300702 s]
/proc/loadavg: 7.91 8.11 7.65 5/266 25839
/proc/meminfo: memFree=22490144/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=54544 CPUtime=1.17 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 1823 1252 0 0 117 0 0 0 25 0 5 0 654722496 55853056 1461 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 13636 1461 179 55 0 11522 0
[pid=25839/tid=25845] ppid=25837 vsize=54544 CPUtime=0.29 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 204 1252 0 0 29 0 0 0 25 0 5 0 654722497 55853056 1461 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=54544 CPUtime=0.29 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 238 1252 0 0 29 0 0 0 25 0 5 0 654722497 55853056 1461 33554432000 4194304 4417452 140735021080688 18446744073709551615 4253083 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=54544 CPUtime=0.29 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 368 1252 0 0 29 0 0 0 25 0 5 0 654722497 55853056 1461 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364854 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=54544 CPUtime=0.29 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 543 1252 0 0 29 0 0 0 25 0 5 0 654722497 55853056 1461 33554432000 4194304 4417452 140735021080688 18446744073709551615 18446744073699065904 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 54544

[startup+0.700629 s]
/proc/loadavg: 7.91 8.11 7.65 5/266 25839
/proc/meminfo: memFree=22490144/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=57244 CPUtime=2.76 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 3336 1252 0 0 276 0 0 0 25 0 5 0 654722496 58617856 2115 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 14311 2115 179 55 0 12197 0
[pid=25839/tid=25845] ppid=25837 vsize=57244 CPUtime=0.69 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 569 1252 0 0 69 0 0 0 25 0 5 0 654722497 58617856 2115 33554432000 4194304 4417452 140735021080688 18446744073709551615 4358046 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=57244 CPUtime=0.69 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 575 1252 0 0 69 0 0 0 25 0 5 0 654722497 58617856 2115 33554432000 4194304 4417452 140735021080688 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=57244 CPUtime=0.69 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 642 1252 0 0 69 0 0 0 25 0 5 0 654722497 58617856 2115 33554432000 4194304 4417452 140735021080688 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=57244 CPUtime=0.69 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 1080 1252 0 0 69 0 0 0 25 0 5 0 654722497 58617856 2115 33554432000 4194304 4417452 140735021080688 18446744073709551615 4366102 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 57244

[startup+1.50048 s]
/proc/loadavg: 7.91 8.11 7.65 9/271 25849
/proc/meminfo: memFree=22496116/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=61464 CPUtime=5.95 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 6312 1252 0 0 595 0 0 0 25 0 5 0 654722496 62939136 3180 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 15366 3180 179 55 0 13252 0
[pid=25839/tid=25845] ppid=25837 vsize=61464 CPUtime=1.49 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 1358 1252 0 0 149 0 0 0 25 0 5 0 654722497 62939136 3180 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=61464 CPUtime=1.48 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 1266 1252 0 0 148 0 0 0 25 0 5 0 654722497 62939136 3180 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=61464 CPUtime=1.49 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 1289 1252 0 0 149 0 0 0 25 0 5 0 654722497 62939136 3180 33554432000 4194304 4417452 140735021080688 18446744073709551615 4232680 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=61464 CPUtime=1.49 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 1929 1252 0 0 149 0 0 0 25 0 5 0 654722497 62939136 3180 33554432000 4194304 4417452 140735021080688 18446744073709551615 4366134 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 61464

[startup+3.1012 s]
/proc/loadavg: 7.91 8.11 7.65 9/271 25849
/proc/meminfo: memFree=22492644/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=72196 CPUtime=12.35 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 11172 1252 0 0 1234 1 0 0 25 0 5 0 654722496 73928704 5877 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 18049 5877 179 55 0 15935 0
[pid=25839/tid=25845] ppid=25837 vsize=72196 CPUtime=3.09 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 2275 1252 0 0 309 0 0 0 25 0 5 0 654722497 73928704 5877 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=72196 CPUtime=3.06 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 2646 1252 0 0 306 0 0 0 25 0 5 0 654722497 73928704 5877 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=72196 CPUtime=3.08 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 2417 1252 0 0 308 0 0 0 25 0 5 0 654722497 73928704 5877 33554432000 4194304 4417452 140735021080688 18446744073709551615 4250982 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=72196 CPUtime=3.08 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 3364 1252 0 0 308 0 0 0 25 0 5 0 654722497 73928704 5877 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 72196

[startup+6.30061 s]
/proc/loadavg: 7.92 8.11 7.65 9/271 25849
/proc/meminfo: memFree=22476144/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=84940 CPUtime=25.12 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 19295 1252 0 0 2510 2 0 0 25 0 5 0 654722496 86978560 9040 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 21235 9040 180 55 0 19121 0
[pid=25839/tid=25845] ppid=25837 vsize=84940 CPUtime=6.28 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 3775 1252 0 0 628 0 0 0 25 0 5 0 654722497 86978560 9040 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=84940 CPUtime=6.24 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 4504 1252 0 0 624 0 0 0 25 0 5 0 654722497 86978560 9040 33554432000 4194304 4417452 140735021080688 18446744073709551615 4354159 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=84940 CPUtime=6.28 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 4706 1252 0 0 628 0 0 0 25 0 5 0 654722497 86978560 9040 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=84940 CPUtime=6.28 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 5840 1252 0 0 628 0 0 0 25 0 5 0 654722497 86978560 9040 33554432000 4194304 4417452 140735021080688 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 84940

[startup+12.7004 s]
/proc/loadavg: 7.92 8.11 7.65 9/271 25849
/proc/meminfo: memFree=22463520/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=94568 CPUtime=50.67 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 31133 1252 0 0 5063 4 0 0 25 0 5 0 654722496 96837632 11447 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 23642 11447 180 55 0 21528 0
[pid=25839/tid=25845] ppid=25837 vsize=94568 CPUtime=12.68 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 7098 1252 0 0 1268 0 0 0 25 0 5 0 654722497 96837632 11447 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=94568 CPUtime=12.58 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 7625 1252 0 0 1257 1 0 0 25 0 5 0 654722497 96837632 11447 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=94568 CPUtime=12.68 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 7305 1252 0 0 1268 0 0 0 25 0 5 0 654722497 96837632 11447 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=94568 CPUtime=12.69 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 8635 1252 0 0 1268 1 0 0 25 0 5 0 654722497 96837632 11447 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 94568

[startup+25.5011 s]
/proc/loadavg: 7.94 8.10 7.66 9/271 25850
/proc/meminfo: memFree=22358104/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=125868 CPUtime=101.76 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 50831 1252 0 0 10169 7 0 0 25 0 5 0 654722496 128888832 19272 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 31467 19272 180 55 0 29353 0
[pid=25839/tid=25845] ppid=25837 vsize=125868 CPUtime=25.48 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 12842 1252 0 0 2547 1 0 0 25 0 5 0 654722497 128888832 19272 33554432000 4194304 4417452 140735021080688 18446744073709551615 4236816 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=125868 CPUtime=25.27 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 12604 1252 0 0 2526 1 0 0 25 0 5 0 654722497 128888832 19272 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=125868 CPUtime=25.48 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 12135 1252 0 0 2547 1 0 0 25 0 5 0 654722497 128888832 19272 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=125868 CPUtime=25.49 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 12780 1252 0 0 2547 2 0 0 25 0 5 0 654722497 128888832 19272 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 125868

[startup+51.1004 s]
/proc/loadavg: 8.04 8.11 7.67 9/271 25851
/proc/meminfo: memFree=22230624/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=153176 CPUtime=203.95 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 73845 1252 0 0 20384 11 0 0 25 0 5 0 654722496 156852224 26099 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 38294 26099 180 55 0 36180 0
[pid=25839/tid=25845] ppid=25837 vsize=153176 CPUtime=51.08 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 17734 1252 0 0 5106 2 0 0 25 0 5 0 654722497 156852224 26099 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=153176 CPUtime=50.67 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 20150 1252 0 0 5064 3 0 0 25 0 5 0 654722497 156852224 26099 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=153176 CPUtime=51.08 cores=1,3,5,7

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

[pid=25839/tid=25846] ppid=25837 vsize=472236 CPUtime=696.56 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 97125 1252 0 0 69641 15 0 0 25 0 5 0 654722497 483569664 105864 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=472236 CPUtime=702.3 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 76627 1252 0 0 70216 14 0 0 25 0 5 0 654722497 483569664 105864 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=472236 CPUtime=702.28 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 74774 1252 0 0 70216 12 0 0 25 0 5 0 654722497 483569664 105864 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2803.48
Current children cumulated vsize (KiB) 472236

[startup+762.301 s]
/proc/loadavg: 8.20 8.18 7.94 9/271 25869
/proc/meminfo: memFree=21679900/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=459716 CPUtime=3043.03 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 314011 1252 0 0 304250 53 0 0 25 0 5 0 654722496 470749184 102734 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 114929 102734 180 55 0 112815 0
[pid=25839/tid=25845] ppid=25837 vsize=459716 CPUtime=762.32 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 59953 1252 0 0 76223 9 0 0 25 0 5 0 654722497 470749184 102734 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=459716 CPUtime=756.07 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 97125 1252 0 0 75592 15 0 0 25 0 5 0 654722497 470749184 102734 33554432000 4194304 4417452 140735021080688 18446744073709551615 4366117 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=459716 CPUtime=762.31 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 76627 1252 0 0 76217 14 0 0 25 0 5 0 654722497 470749184 102734 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=459716 CPUtime=762.29 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 79836 1252 0 0 76216 13 0 0 25 0 5 0 654722497 470749184 102734 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3043.03
Current children cumulated vsize (KiB) 459716

[startup+822.301 s]
/proc/loadavg: 7.02 7.90 7.86 5/261 25898
/proc/meminfo: memFree=22630888/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=490812 CPUtime=3282.51 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 324483 1252 0 0 328197 54 0 0 25 0 5 0 654722496 502591488 110508 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 122703 110508 180 55 0 120589 0
[pid=25839/tid=25845] ppid=25837 vsize=490812 CPUtime=822.31 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 70425 1252 0 0 82221 10 0 0 25 0 5 0 654722497 502591488 110508 33554432000 4194304 4417452 140735021080688 18446744073709551615 4242764 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=490812 CPUtime=815.58 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 97125 1252 0 0 81543 15 0 0 25 0 5 0 654722497 502591488 110508 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=490812 CPUtime=822.31 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 76627 1252 0 0 82217 14 0 0 25 0 5 0 654722497 502591488 110508 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=490812 CPUtime=822.28 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 79836 1252 0 0 82215 13 0 0 25 0 5 0 654722497 502591488 110508 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3282.51
Current children cumulated vsize (KiB) 490812

[startup+882.31 s]
/proc/loadavg: 5.11 7.19 7.61 5/261 25900
/proc/meminfo: memFree=22633728/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=490196 CPUtime=3522.06 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 339488 1252 0 0 352150 56 0 0 25 0 5 0 654722496 501960704 110354 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 122549 110354 180 55 0 120435 0
[pid=25839/tid=25845] ppid=25837 vsize=490196 CPUtime=882.32 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 76015 1252 0 0 88221 11 0 0 25 0 5 0 654722497 501960704 110354 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=490196 CPUtime=875.1 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 101438 1252 0 0 87494 16 0 0 25 0 5 0 654722497 501960704 110354 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=490196 CPUtime=882.32 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 76627 1252 0 0 88218 14 0 0 25 0 5 0 654722497 501960704 110354 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=490196 CPUtime=882.29 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 84938 1252 0 0 88216 13 0 0 25 0 5 0 654722497 501960704 110354 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3522.06
Current children cumulated vsize (KiB) 490196

[startup+942.301 s]
/proc/loadavg: 4.51 6.64 7.39 5/261 25901
/proc/meminfo: memFree=22631732/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=492036 CPUtime=3761.55 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 339948 1252 0 0 376099 56 0 0 25 0 5 0 654722496 503844864 110814 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 123009 110814 180 55 0 120895 0
[pid=25839/tid=25845] ppid=25837 vsize=492036 CPUtime=942.32 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 76015 1252 0 0 94221 11 0 0 25 0 5 0 654722497 503844864 110814 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=492036 CPUtime=934.6 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 101438 1252 0 0 93444 16 0 0 25 0 5 0 654722497 503844864 110814 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=492036 CPUtime=942.31 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 77087 1252 0 0 94217 14 0 0 25 0 5 0 654722497 503844864 110814 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=492036 CPUtime=942.28 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 84938 1252 0 0 94215 13 0 0 25 0 5 0 654722497 503844864 110814 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364572 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3761.55
Current children cumulated vsize (KiB) 492036

[startup+1002.3 s]
/proc/loadavg: 4.25 6.17 7.18 5/261 25903
/proc/meminfo: memFree=22613972/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=510192 CPUtime=4001.06 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 344487 1252 0 0 400049 57 0 0 25 0 5 0 654722496 522436608 115353 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 127548 115353 180 55 0 125434 0
[pid=25839/tid=25845] ppid=25837 vsize=510192 CPUtime=1002.32 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 80554 1252 0 0 100220 12 0 0 25 0 5 0 654722497 522436608 115353 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=510192 CPUtime=994.11 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 101438 1252 0 0 99395 16 0 0 25 0 5 0 654722497 522436608 115353 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=510192 CPUtime=1002.31 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 77087 1252 0 0 100217 14 0 0 25 0 5 0 654722497 522436608 115353 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=510192 CPUtime=1002.28 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 84938 1252 0 0 100215 13 0 0 25 0 5 0 654722497 522436608 115353 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4001.06
Current children cumulated vsize (KiB) 510192

[startup+1062.3 s]
/proc/loadavg: 4.15 5.79 6.99 5/261 25907
/proc/meminfo: memFree=22538592/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=584776 CPUtime=4240.58 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 371325 1252 0 0 423997 61 0 0 25 0 5 0 654722496 598810624 133999 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 146194 133999 180 55 0 144080 0
[pid=25839/tid=25845] ppid=25837 vsize=584776 CPUtime=1062.32 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 80554 1252 0 0 106220 12 0 0 25 0 5 0 654722497 598810624 133999 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=584776 CPUtime=1053.62 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 109630 1252 0 0 105345 17 0 0 25 0 5 0 654722497 598810624 133999 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=584776 CPUtime=1062.32 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 95733 1252 0 0 106215 17 0 0 25 0 5 0 654722497 598810624 133999 33554432000 4194304 4417452 140735021080688 18446744073709551615 4250569 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=584776 CPUtime=1062.28 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 84938 1252 0 0 106215 13 0 0 25 0 5 0 654722497 598810624 133999 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4240.58
Current children cumulated vsize (KiB) 584776

[startup+1122.3 s]
/proc/loadavg: 4.12 5.49 6.81 5/261 25909
/proc/meminfo: memFree=22506560/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=617544 CPUtime=4480.09 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 379517 1252 0 0 447947 62 0 0 25 0 5 0 654722496 632365056 142191 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 154386 142191 180 55 0 152272 0
[pid=25839/tid=25845] ppid=25837 vsize=617544 CPUtime=1122.32 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 80554 1252 0 0 112220 12 0 0 25 0 5 0 654722497 632365056 142191 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=617544 CPUtime=1113.14 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 117822 1252 0 0 111295 19 0 0 25 0 5 0 654722497 632365056 142191 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=617544 CPUtime=1122.32 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 95733 1252 0 0 112215 17 0 0 25 0 5 0 654722497 632365056 142191 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=617544 CPUtime=1122.29 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 84938 1252 0 0 112216 13 0 0 25 0 5 0 654722497 632365056 142191 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4480.09
Current children cumulated vsize (KiB) 617544

[startup+1182.3 s]
/proc/loadavg: 4.10 5.23 6.63 5/261 25911
/proc/meminfo: memFree=22596320/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=527444 CPUtime=4719.61 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 395313 1252 0 0 471896 65 0 0 25 0 5 0 654722496 540102656 119666 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 131861 119666 180 55 0 129747 0
[pid=25839/tid=25845] ppid=25837 vsize=527444 CPUtime=1182.32 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 80554 1252 0 0 118220 12 0 0 25 0 5 0 654722497 540102656 119666 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=527444 CPUtime=1172.65 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 124635 1252 0 0 117245 20 0 0 25 0 5 0 654722497 540102656 119666 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=527444 CPUtime=1182.32 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 104716 1252 0 0 118214 18 0 0 25 0 5 0 654722497 540102656 119666 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=527444 CPUtime=1182.29 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 84938 1252 0 0 118216 13 0 0 25 0 5 0 654722497 540102656 119666 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4719.61
Current children cumulated vsize (KiB) 527444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 4.07 5.15 6.58 5/261 25911
/proc/meminfo: memFree=22596440/32951124 swapFree=61565116/67111528
[pid=25839] ppid=25837 vsize=527444 CPUtime=4800.26 cores=1,3,5,7
/proc/25839/stat : 25839 (plingeling) S 25837 25839 18974 0 -1 4202496 395313 1252 0 0 479961 65 0 0 25 0 5 0 654722496 540102656 119666 33554432000 4194304 4417452 140735021080688 18446744073709551615 246528636901 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/25839/statm: 131861 119666 180 55 0 129747 0
[pid=25839/tid=25845] ppid=25837 vsize=527444 CPUtime=1202.53 cores=1,3,5,7
/proc/25839/task/25845/stat : 25845 (plingeling) R 25837 25839 18974 0 -1 4202560 80554 1252 0 0 120241 12 0 0 25 0 5 0 654722497 540102656 119666 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=25839/tid=25846] ppid=25837 vsize=527444 CPUtime=1192.68 cores=1,3,5,7
/proc/25839/task/25846/stat : 25846 (plingeling) R 25837 25839 18974 0 -1 4202560 124635 1252 0 0 119248 20 0 0 25 0 5 0 654722497 540102656 119666 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25839/tid=25847] ppid=25837 vsize=527444 CPUtime=1202.53 cores=1,3,5,7
/proc/25839/task/25847/stat : 25847 (plingeling) R 25837 25839 18974 0 -1 4202560 104716 1252 0 0 120235 18 0 0 25 0 5 0 654722497 540102656 119666 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25839/tid=25848] ppid=25837 vsize=527444 CPUtime=1202.5 cores=1,3,5,7
/proc/25839/task/25848/stat : 25848 (plingeling) R 25837 25839 18974 0 -1 4202560 84938 1252 0 0 120237 13 0 0 25 0 5 0 654722497 540102656 119666 33554432000 4194304 4417452 140735021080688 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 527444

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)
Real time (s): 1202.53
CPU time (s): 4800.32
CPU user time (s): 4799.64
CPU system time (s): 0.676897
CPU usage (%): 399.184
Max. virtual memory (cumulated for all children) (KiB): 617544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.64
system time used= 0.676897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 396565
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= 24
involuntary context switches= 24967

runsolver used 2.52562 second user time and 7.33089 second system time

The end

Launcher Data 

Begin job on node134 at 2011-05-15 05:47:23
IDJOB=3371001
IDBENCH=85343
IDSOLVER=1848
FILE ID=node134/3371001-1305431243
RUNJOBID= node134-1305428833-25600
PBS_JOBID= 13324593
Free space on /tmp= 73492 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT05/crafted/jarvisalo05/mod2c-rand3bip-sat/mod2c-rand3bip-sat-240-3.shuffled-as.sat05-2520.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3371001-1305431243/watcher-3371001-1305431243 -o /tmp/evaluation-result-3371001-1305431243/solver-3371001-1305431243 -C 4800 -W 1300 -M 15500  plingeling -t 4 HOME/instance-3371001-1305431243.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= dfc7796289f8cacbd4db5eb947a1ba09
RANDOM SEED=1122407315

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22490300 kB
Buffers:        266596 kB
Cached:        6076068 kB
SwapCached:      13768 kB
Active:        1527932 kB
Inactive:      8717896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22490300 kB
SwapTotal:    67111528 kB
SwapFree:     61565116 kB
Dirty:              24 kB
Writeback:           0 kB
AnonPages:     3896884 kB
Mapped:          12612 kB
Slab:           122736 kB
PageTables:      31768 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 39516960 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= 73508 MiB
End job on node134 at 2011-05-15 06:07:28