Trace number 3439221

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
SArTagnan 2011-05-15 (fixed)? (TO) 40000.5 5012.57

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
MD5SUMb61e426b264831836f140414cdcf3e23
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables238
Number of clauses15812
Sum of the clauses size70446
Maximum clause length16
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 314042
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51770

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: 977)

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-3439221-1306960406/watcher-3439221-1306960406 -o /tmp/evaluation-result-3439221-1306960406/solver-3439221-1306960406 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439221-1306960406.cnf -threads=8 

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

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/523 15041
/proc/meminfo: memFree=15335312/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=97528 CPUtime=0.01 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 2383 0 0 0 1 0 0 0 24 0 8 0 807639254 99868672 1935 33554432000 4194304 4625164 140736625137312 18446744073709551615 242970606577 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15041/statm: 24382 1935 301 106 0 19885 0
[pid=15041/tid=15042] ppid=15039 vsize=97528 CPUtime=0 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 807639255 99868672 1935 33554432000 4194304 4625164 140736625137312 18446744073709551615 47172614420402 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=97528 CPUtime=0 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 807639255 99868672 1935 33554432000 4194304 4625164 140736625137312 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=97528 CPUtime=0 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 807639255 99868672 1935 33554432000 4194304 4625164 140736625137312 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=97528 CPUtime=0 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 807639255 99868672 1935 33554432000 4194304 4625164 140736625137312 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=97528 CPUtime=0 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 807639255 99868672 1935 33554432000 4194304 4625164 140736625137312 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=97528 CPUtime=0 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 807639255 99868672 1935 33554432000 4194304 4625164 140736625137312 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=97528 CPUtime=0 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 807639255 99868672 1935 33554432000 4194304 4625164 140736625137312 18446744073709551615 47172614420396 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.105261 s]
/proc/loadavg: 0.00 0.00 0.00 2/523 15041
/proc/meminfo: memFree=15335312/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=298360 CPUtime=0.32 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 3966 0 0 0 32 0 0 0 18 0 8 0 807639254 305520640 2750 33554432000 4194304 4625164 140736625137312 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15041/statm: 74590 2750 344 106 0 70093 0
[pid=15041/tid=15042] ppid=15039 vsize=298360 CPUtime=0.06 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) D 15039 15041 15015 0 -1 4202560 231 0 0 0 6 0 0 0 18 0 8 0 807639255 305520640 2750 33554432000 4194304 4625164 140736625137312 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=298360 CPUtime=0.03 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 261 0 0 0 3 0 0 0 18 0 8 0 807639255 305520640 2750 33554432000 4194304 4625164 140736625137312 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=298360 CPUtime=0.03 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) D 15039 15041 15015 0 -1 4202560 571 0 0 0 3 0 0 0 18 0 8 0 807639255 305520640 2750 33554432000 4194304 4625164 140736625137312 18446744073709551615 242970593463 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=298360 CPUtime=0.05 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 102 0 0 0 5 0 0 0 25 0 8 0 807639255 305520640 2750 33554432000 4194304 4625164 140736625137312 18446744073709551615 4352349 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=298360 CPUtime=0 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) D 15039 15041 15015 0 -1 4202560 46 0 0 0 0 0 0 0 25 0 8 0 807639255 305520640 2750 33554432000 4194304 4625164 140736625137312 18446744073709551615 4279928 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=298360 CPUtime=0.04 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 240 0 0 0 4 0 0 0 25 0 8 0 807639255 305520640 2750 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351894 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=298360 CPUtime=0 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 32 0 0 0 0 0 0 0 25 0 8 0 807639255 305520640 2750 33554432000 4194304 4625164 140736625137312 18446744073709551615 4279928 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 298360

[startup+0.203247 s]
/proc/loadavg: 0.00 0.00 0.00 2/523 15041
/proc/meminfo: memFree=15335312/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=365496 CPUtime=0.77 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 4890 0 0 0 77 0 0 0 18 0 8 0 807639254 374267904 3301 33554432000 4194304 4625164 140736625137312 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15041/statm: 91374 3301 344 106 0 86877 0
[pid=15041/tid=15042] ppid=15039 vsize=365496 CPUtime=0.13 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) D 15039 15041 15015 0 -1 4202560 281 0 0 0 13 0 0 0 18 0 8 0 807639255 374267904 3301 33554432000 4194304 4625164 140736625137312 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=365496 CPUtime=0.12 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) D 15039 15041 15015 0 -1 4202560 486 0 0 0 12 0 0 0 18 0 8 0 807639255 374267904 3301 33554432000 4194304 4625164 140736625137312 18446744073709551615 242970593415 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=365496 CPUtime=0.1 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 816 0 0 0 10 0 0 0 18 0 8 0 807639255 374267904 3301 33554432000 4194304 4625164 140736625137312 18446744073709551615 4552402 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=365496 CPUtime=0.12 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 113 0 0 0 12 0 0 0 25 0 8 0 807639255 374267904 3301 33554432000 4194304 4625164 140736625137312 18446744073709551615 4375299 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=365496 CPUtime=0.03 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 256 0 0 0 3 0 0 0 18 0 8 0 807639255 374267904 3301 33554432000 4194304 4625164 140736625137312 18446744073709551615 4348918 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=365496 CPUtime=0.05 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 254 0 0 0 5 0 0 0 25 0 8 0 807639255 374267904 3301 33554432000 4194304 4625164 140736625137312 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=365496 CPUtime=0 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) D 15039 15041 15015 0 -1 4202560 52 0 0 0 0 0 0 0 25 0 8 0 807639255 374267904 3301 33554432000 4194304 4625164 140736625137312 18446744073709551615 4279928 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 365496

[startup+0.441151 s]
/proc/loadavg: 0.00 0.00 0.00 2/523 15041
/proc/meminfo: memFree=15335312/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=375004 CPUtime=7.17 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 16346 0 0 0 716 1 0 0 19 0 8 0 807639254 384004096 8664 33554432000 4194304 4625164 140736625137312 18446744073709551615 4511982 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15041/statm: 93751 8664 348 106 0 89254 0
[pid=15041/tid=15042] ppid=15039 vsize=375004 CPUtime=0.94 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1539 0 0 0 94 0 0 0 19 0 8 0 807639255 384004096 8664 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=375004 CPUtime=0.94 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1288 0 0 0 94 0 0 0 19 0 8 0 807639255 384004096 8664 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=375004 CPUtime=0.91 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 4793 0 0 0 91 0 0 0 19 0 8 0 807639255 384004096 8664 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=375004 CPUtime=0.93 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1403 0 0 0 93 0 0 0 25 0 8 0 807639255 384004096 8664 33554432000 4194304 4625164 140736625137312 18446744073709551615 4353026 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=375004 CPUtime=0.84 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1209 0 0 0 84 0 0 0 19 0 8 0 807639255 384004096 8664 33554432000 4194304 4625164 140736625137312 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=375004 CPUtime=0.8 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1585 0 0 0 80 0 0 0 25 0 8 0 807639255 384004096 8664 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=375004 CPUtime=0.76 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1452 0 0 0 76 0 0 0 25 0 8 0 807639255 384004096 8664 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 375004

[startup+1.12571 s]
/proc/loadavg: 0.00 0.00 0.00 2/523 15041
/proc/meminfo: memFree=15335312/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=375708 CPUtime=7.96 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 17174 0 0 0 795 1 0 0 19 0 8 0 807639254 384724992 9362 33554432000 4194304 4625164 140736625137312 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15041/statm: 93927 9363 348 106 0 89430 0
[pid=15041/tid=15042] ppid=15039 vsize=375708 CPUtime=1.04 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1580 0 0 0 104 0 0 0 19 0 8 0 807639255 384724992 9363 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=375708 CPUtime=1.04 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1311 0 0 0 104 0 0 0 19 0 8 0 807639255 384724992 9364 33554432000 4194304 4625164 140736625137312 18446744073709551615 4288628 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=375708 CPUtime=1.01 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 5287 0 0 0 101 0 0 0 19 0 8 0 807639255 384724992 9364 33554432000 4194304 4625164 140736625137312 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=375708 CPUtime=1.03 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1446 0 0 0 103 0 0 0 25 0 8 0 807639255 384724992 9365 33554432000 4194304 4625164 140736625137312 18446744073709551615 4465206 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=375708 CPUtime=0.94 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1283 0 0 0 94 0 0 0 19 0 8 0 807639255 384724992 9365 33554432000 4194304 4625164 140736625137312 18446744073709551615 4437788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=375708 CPUtime=0.9 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1663 0 0 0 90 0 0 0 25 0 8 0 807639255 384724992 9365 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=375708 CPUtime=0.86 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1501 0 0 0 86 0 0 0 25 0 8 0 807639255 384724992 9366 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 375708

[startup+1.50065 s]
/proc/loadavg: 0.00 0.00 0.00 2/523 15041
/proc/meminfo: memFree=15335312/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=377164 CPUtime=10.97 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 21281 0 0 0 1095 2 0 0 20 0 8 0 807639254 386215936 11273 33554432000 4194304 4625164 140736625137312 18446744073709551615 242970655214 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15041/statm: 94291 11273 348 106 0 89794 0
[pid=15041/tid=15042] ppid=15039 vsize=377164 CPUtime=1.42 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1889 0 0 0 142 0 0 0 19 0 8 0 807639255 386215936 11273 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=377164 CPUtime=1.41 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1906 0 0 0 141 0 0 0 19 0 8 0 807639255 386215936 11273 33554432000 4194304 4625164 140736625137312 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=377164 CPUtime=1.38 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 7145 0 0 0 138 0 0 0 19 0 8 0 807639255 386215936 11273 33554432000 4194304 4625164 140736625137312 18446744073709551615 242970655263 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=377164 CPUtime=1.41 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1666 0 0 0 141 0 0 0 25 0 8 0 807639255 386215936 11273 33554432000 4194304 4625164 140736625137312 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=377164 CPUtime=1.31 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1828 0 0 0 131 0 0 0 19 0 8 0 807639255 386215936 11273 33554432000 4194304 4625164 140736625137312 18446744073709551615 4436872 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=377164 CPUtime=1.27 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1929 0 0 0 127 0 0 0 25 0 8 0 807639255 386215936 11273 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=377164 CPUtime=1.23 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 1716 0 0 0 123 0 0 0 25 0 8 0 807639255 386215936 11273 33554432000 4194304 4625164 140736625137312 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (KiB) 377164

[startup+3.10037 s]
/proc/loadavg: 0.80 0.17 0.05 9/531 15049
/proc/meminfo: memFree=15263104/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=393628 CPUtime=23.73 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 36786 0 0 0 2368 5 0 0 24 0 8 0 807639254 403075072 18154 33554432000 4194304 4625164 140736625137312 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15041/statm: 98407 18154 348 106 0 93910 0
[pid=15041/tid=15042] ppid=15039 vsize=393628 CPUtime=2.97 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 4047 0 0 0 297 0 0 0 24 0 8 0 807639255 403075072 18154 33554432000 4194304 4625164 140736625137312 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=393628 CPUtime=3.01 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 2877 0 0 0 301 0 0 0 25 0 8 0 807639255 403075072 18154 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=393628 CPUtime=2.98 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 13645 0 0 0 297 1 0 0 24 0 8 0 807639255 403075072 18154 33554432000 4194304 4625164 140736625137312 18446744073709551615 4339403 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=393628 CPUtime=3.01 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 2707 0 0 0 301 0 0 0 25 0 8 0 807639255 403075072 18154 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=393628 CPUtime=2.91 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 2903 0 0 0 291 0 0 0 24 0 8 0 807639255 403075072 18154 33554432000 4194304 4625164 140736625137312 18446744073709551615 4349087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=393628 CPUtime=2.87 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 4036 0 0 0 287 0 0 0 25 0 8 0 807639255 403075072 18154 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=393628 CPUtime=2.83 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 2854 0 0 0 283 0 0 0 25 0 8 0 807639255 403075072 18154 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.73
Current children cumulated vsize (KiB) 393628

[startup+6.32082 s]
/proc/loadavg: 1.38 0.30 0.10 9/531 15049
/proc/meminfo: memFree=15216116/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=410080 CPUtime=49.21 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 58558 0 0 0 4904 17 0 0 25 0 8 0 807639254 419921920 29438 33554432000 4194304 4625164 140736625137312 18446744073709551615 4511899 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15041/statm: 102520 29438 375 106 0 98023 0
[pid=15041/tid=15042] ppid=15039 vsize=410080 CPUtime=6.14 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 4927 0 0 0 614 0 0 0 25 0 8 0 807639255 419921920 29438 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=410080 CPUtime=6.17 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 4707 0 0 0 616 1 0 0 25 0 8 0 807639255 419921920 29438 33554432000 4194304 4625164 140736625137312 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=410080 CPUtime=6.21 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 22833 0 0 0 613 8 0 0 25 0 8 0 807639255 419921920 29438 33554432000 4194304 4625164 140736625137312 18446744073709551615 4579376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=410080 CPUtime=6.22 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 4611 0 0 0 622 0 0 0 25 0 8 0 807639255 419921920 29438 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=410080 CPUtime=6.13 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 4724 0 0 0 612 1 0 0 25 0 8 0 807639255 419921920 29438 33554432000 4194304 4625164 140736625137312 18446744073709551615 4436892 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=410080 CPUtime=5.94 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 6685 0 0 0 592 2 0 0 25 0 8 0 807639255 419921920 29438 33554432000 4194304 4625164 140736625137312 18446744073709551615 242986533915 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=410080 CPUtime=6.05 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 4716 0 0 0 605 0 0 0 25 0 8 0 807639255 419921920 29438 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0

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

Current children cumulated vsize (KiB) 5492476

[startup+4722.3 s]
/proc/loadavg: 8.11 8.10 8.01 9/531 15187
/proc/meminfo: memFree=10756912/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=5558012 CPUtime=37685.4 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 19069320 0 0 0 3765047 3498 0 0 25 0 8 0 807639254 5691404288 1142274 33554432000 4194304 4625164 140736625137312 18446744073709551615 4329225 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15041/statm: 1389503 1142274 348 106 0 1385006 0
[pid=15041/tid=15042] ppid=15039 vsize=5558012 CPUtime=4705.13 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 299928 0 0 0 470454 59 0 0 25 0 8 0 807639255 5691404288 1142275 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=5558012 CPUtime=4720.88 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 197382 0 0 0 472044 44 0 0 25 0 8 0 807639255 5691404288 1142275 33554432000 4194304 4625164 140736625137312 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=5558012 CPUtime=4721.98 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 14523596 0 0 0 469657 2541 0 0 25 0 8 0 807639255 5691404288 1142275 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=5558012 CPUtime=4722.19 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 278031 0 0 0 472163 56 0 0 25 0 8 0 807639255 5691404288 1142275 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=5558012 CPUtime=4652.52 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 114304 0 0 0 465197 55 0 0 25 0 8 0 807639255 5691404288 1142276 33554432000 4194304 4625164 140736625137312 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=5558012 CPUtime=4719.56 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 387973 0 0 0 471814 142 0 0 25 0 8 0 807639255 5691404288 1142276 33554432000 4194304 4625164 140736625137312 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=5558012 CPUtime=4722.09 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 272547 0 0 0 472153 56 0 0 25 0 8 0 807639255 5691404288 1142276 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 37685.4
Current children cumulated vsize (KiB) 5558012

[startup+4782.3 s]
/proc/loadavg: 8.08 8.10 8.01 9/531 15189
/proc/meminfo: memFree=10705072/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=5700136 CPUtime=38164.3 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 19520377 0 0 0 3812854 3577 0 0 25 0 8 0 807639254 5836939264 1154983 33554432000 4194304 4625164 140736625137312 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15041/statm: 1425034 1154983 351 106 0 1420537 0
[pid=15041/tid=15042] ppid=15039 vsize=5700136 CPUtime=4765.14 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 299981 0 0 0 476454 60 0 0 25 0 8 0 807639255 5836939264 1154983 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=5700136 CPUtime=4780.86 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 198057 0 0 0 478041 45 0 0 25 0 8 0 807639255 5836939264 1154983 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=5700136 CPUtime=4781.98 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 14793478 0 0 0 475606 2592 0 0 25 0 8 0 807639255 5836939264 1154983 33554432000 4194304 4625164 140736625137312 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=5700136 CPUtime=4782.17 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 278093 0 0 0 478161 56 0 0 25 0 8 0 807639255 5836939264 1154983 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=5700136 CPUtime=4711.44 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 114483 0 0 0 471089 55 0 0 25 0 8 0 807639255 5836939264 1154983 33554432000 4194304 4625164 140736625137312 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=5700136 CPUtime=4779.56 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 388028 0 0 0 477814 142 0 0 25 0 8 0 807639255 5836939264 1154983 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=5700136 CPUtime=4782.09 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 272610 0 0 0 478153 56 0 0 25 0 8 0 807639255 5836939264 1154983 33554432000 4194304 4625164 140736625137312 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38164.3
Current children cumulated vsize (KiB) 5700136

[startup+4842.3 s]
/proc/loadavg: 8.06 8.09 8.00 9/531 15191
/proc/meminfo: memFree=10690808/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=5703892 CPUtime=38643.2 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 19893431 0 0 0 3860669 3647 0 0 25 0 8 0 807639254 5840785408 1158566 33554432000 4194304 4625164 140736625137312 18446744073709551615 4511933 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15041/statm: 1425973 1158566 348 106 0 1421476 0
[pid=15041/tid=15042] ppid=15039 vsize=5703892 CPUtime=4825.14 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 300040 0 0 0 482454 60 0 0 25 0 8 0 807639255 5840785408 1158566 33554432000 4194304 4625164 140736625137312 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=5703892 CPUtime=4840.84 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 199058 0 0 0 484039 45 0 0 25 0 8 0 807639255 5840785408 1158566 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=5703892 CPUtime=4841.97 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 15061101 0 0 0 481557 2640 0 0 25 0 8 0 807639255 5840785408 1158566 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=5703892 CPUtime=4842.15 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 278165 0 0 0 484159 56 0 0 25 0 8 0 807639255 5840785408 1158566 33554432000 4194304 4625164 140736625137312 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=5703892 CPUtime=4770.34 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 114619 0 0 0 476978 56 0 0 25 0 8 0 807639255 5840785408 1158566 33554432000 4194304 4625164 140736625137312 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=5703892 CPUtime=4839.56 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 388084 0 0 0 483814 142 0 0 25 0 8 0 807639255 5840785408 1158566 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=5703892 CPUtime=4842.09 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 272676 0 0 0 484153 56 0 0 25 0 8 0 807639255 5840785408 1158566 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 38643.2
Current children cumulated vsize (KiB) 5703892

[startup+4902.3 s]
/proc/loadavg: 8.13 8.10 8.01 9/531 15191
/proc/meminfo: memFree=10666500/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=5706820 CPUtime=39122.1 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 20115359 0 0 0 3908523 3690 0 0 25 0 8 0 807639254 5843783680 1164889 33554432000 4194304 4625164 140736625137312 18446744073709551615 4511963 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15041/statm: 1426705 1164889 374 106 0 1422208 0
[pid=15041/tid=15042] ppid=15039 vsize=5706820 CPUtime=4885.16 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 300105 0 0 0 488456 60 0 0 25 0 8 0 807639255 5843783680 1164899 33554432000 4194304 4625164 140736625137312 18446744073709551615 4488064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=5706820 CPUtime=4900.85 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 200668 0 0 0 490040 45 0 0 25 0 8 0 807639255 5843783680 1164899 33554432000 4194304 4625164 140736625137312 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=5706820 CPUtime=4902 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 15258755 0 0 0 487523 2677 0 0 25 0 8 0 807639255 5843783680 1164899 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=5706820 CPUtime=4902.15 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 278240 0 0 0 490159 56 0 0 25 0 8 0 807639255 5843783680 1164899 33554432000 4194304 4625164 140736625137312 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=5706820 CPUtime=4829.26 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 114888 0 0 0 482870 56 0 0 25 0 8 0 807639255 5843783680 1164899 33554432000 4194304 4625164 140736625137312 18446744073709551615 4349883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=5706820 CPUtime=4899.58 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 388138 0 0 0 489816 142 0 0 25 0 8 0 807639255 5843783680 1164899 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=5706820 CPUtime=4902.11 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 272743 0 0 0 490155 56 0 0 25 0 8 0 807639255 5843783680 1164899 33554432000 4194304 4625164 140736625137312 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39122.1
Current children cumulated vsize (KiB) 5706820

[startup+4962.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/531 15193
/proc/meminfo: memFree=10649980/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=5709168 CPUtime=39600.9 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 20449104 0 0 0 3956331 3756 0 0 25 0 8 0 807639254 5846188032 1168141 33554432000 4194304 4625164 140736625137312 18446744073709551615 4512326 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15041/statm: 1427292 1168141 355 106 0 1422795 0
[pid=15041/tid=15042] ppid=15039 vsize=5709168 CPUtime=4945.14 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 300167 0 0 0 494454 60 0 0 25 0 8 0 807639255 5846188032 1168141 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=5709168 CPUtime=4960.8 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 201040 0 0 0 496034 46 0 0 25 0 8 0 807639255 5846188032 1168141 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=5709168 CPUtime=4961.98 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 15529718 0 0 0 493467 2731 0 0 25 0 8 0 807639255 5846188032 1168141 33554432000 4194304 4625164 140736625137312 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=5709168 CPUtime=4962.11 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 278303 0 0 0 496155 56 0 0 25 0 8 0 807639255 5846188032 1168141 33554432000 4194304 4625164 140736625137312 18446744073709551615 4330791 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=5709168 CPUtime=4888.16 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 114892 0 0 0 488760 56 0 0 25 0 8 0 807639255 5846188032 1168141 33554432000 4194304 4625164 140736625137312 18446744073709551615 4348870 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=5709168 CPUtime=4959.56 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 388189 0 0 0 495814 142 0 0 25 0 8 0 807639255 5846188032 1168141 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=5709168 CPUtime=4962.09 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 273642 0 0 0 496153 56 0 0 25 0 8 0 807639255 5846188032 1168141 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39600.9
Current children cumulated vsize (KiB) 5709168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5012.3 s]
/proc/loadavg: 8.13 8.10 8.01 10/531 15195
/proc/meminfo: memFree=10638424/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=5710536 CPUtime=40000.2 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) R 15039 15041 15015 0 -1 4202496 20731577 0 0 0 3996205 3812 0 0 25 0 8 0 807639254 5847588864 1171634 33554432000 4194304 4625164 140736625137312 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15041/statm: 1427634 1171634 348 106 0 1423137 0
[pid=15041/tid=15042] ppid=15039 vsize=5710536 CPUtime=4995.18 cores=0-7
/proc/15041/task/15042/stat : 15042 (SArTagnan) R 15039 15041 15015 0 -1 4202560 300223 0 0 0 499458 60 0 0 25 0 8 0 807639255 5847588864 1171643 33554432000 4194304 4625164 140736625137312 18446744073709551615 4330968 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15041/tid=15043] ppid=15039 vsize=5710536 CPUtime=5010.83 cores=0-7
/proc/15041/task/15043/stat : 15043 (SArTagnan) R 15039 15041 15015 0 -1 4202560 201238 0 0 0 501037 46 0 0 25 0 8 0 807639255 5847588864 1171643 33554432000 4194304 4625164 140736625137312 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15041/tid=15044] ppid=15039 vsize=5710536 CPUtime=5012.02 cores=0-7
/proc/15041/task/15044/stat : 15044 (SArTagnan) R 15039 15041 15015 0 -1 4202560 15730977 0 0 0 498431 2771 0 0 25 0 8 0 807639255 5847588864 1171643 33554432000 4194304 4625164 140736625137312 18446744073709551615 4579598 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15041/tid=15045] ppid=15039 vsize=5710536 CPUtime=5012.14 cores=0-7
/proc/15041/task/15045/stat : 15045 (SArTagnan) R 15039 15041 15015 0 -1 4202560 278359 0 0 0 501158 56 0 0 25 0 8 0 807639255 5847588864 1171643 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=5710536 CPUtime=4937.26 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4202560 115545 0 0 0 493670 56 0 0 25 0 8 0 807639255 5847588864 1171643 33554432000 4194304 4625164 140736625137312 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15041/tid=15047] ppid=15039 vsize=5710536 CPUtime=5009.6 cores=0-7
/proc/15041/task/15047/stat : 15047 (SArTagnan) R 15039 15041 15015 0 -1 4202560 388232 0 0 0 500818 142 0 0 25 0 8 0 807639255 5847588864 1171643 33554432000 4194304 4625164 140736625137312 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15041/tid=15048] ppid=15039 vsize=5710536 CPUtime=5012.14 cores=0-7
/proc/15041/task/15048/stat : 15048 (SArTagnan) R 15039 15041 15015 0 -1 4202560 274219 0 0 0 501157 57 0 0 25 0 8 0 807639255 5847588864 1171643 33554432000 4194304 4625164 140736625137312 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 40000.2
Current children cumulated vsize (KiB) 5710536

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+5012.45 s]
/proc/loadavg: 8.13 8.10 8.01 10/531 15195
/proc/meminfo: memFree=10638424/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=0 CPUtime=40000.4 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) Z 15039 15041 15015 0 -1 4203548 20731612 0 0 0 3996213 3822 0 0 25 0 2 0 807639254 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15041/statm: 0 0 0 0 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=0 CPUtime=4937.37 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4203588 115545 0 0 0 493671 66 0 0 25 0 2 0 807639255 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40000.3
Current children cumulated vsize (KiB) 0

[startup+5012.5 s]
/proc/loadavg: 8.13 8.10 8.01 10/531 15195
/proc/meminfo: memFree=10638424/32951132 swapFree=46579808/67111528
[pid=15041] ppid=15039 vsize=0 CPUtime=40000.4 cores=0-7
/proc/15041/stat : 15041 (SArTagnan) Z 15039 15041 15015 0 -1 4203548 20731612 0 0 0 3996213 3827 0 0 25 0 2 0 807639254 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15041/statm: 0 0 0 0 0 0 0
[pid=15041/tid=15046] ppid=15039 vsize=0 CPUtime=4937.42 cores=0-7
/proc/15041/task/15046/stat : 15046 (SArTagnan) R 15039 15041 15015 0 -1 4203588 115545 0 0 0 493671 71 0 0 25 0 2 0 807639255 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5012.57
CPU time (s): 40000.5
CPU user time (s): 39962.1
CPU system time (s): 38.3512
CPU usage (%): 798.003
Max. virtual memory (cumulated for all children) (KiB): 5982832

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39962.1
system time used= 38.3512
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20731612
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= 4639
involuntary context switches= 167736

runsolver used 25.1412 second user time and 65.895 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-01 22:33:26
IDJOB=3439221
IDBENCH=83365
IDSOLVER=1936
FILE ID=node128/3439221-1306960406
RUNJOBID= node128-1306960406-15029
PBS_JOBID= 13497623
Free space on /tmp= 73800 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-16_238.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439221-1306960406/watcher-3439221-1306960406 -o /tmp/evaluation-result-3439221-1306960406/solver-3439221-1306960406 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3439221-1306960406.cnf -threads=8

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

MD5SUM BENCH= b61e426b264831836f140414cdcf3e23
RANDOM SEED=643754986

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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	: 5434.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      15335848 kB
Buffers:        296964 kB
Cached:        3418568 kB
SwapCached:      35620 kB
Active:        8806172 kB
Inactive:      8494344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      15335848 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:             800 kB
Writeback:           0 kB
AnonPages:    13558620 kB
Mapped:          16748 kB
Slab:           133076 kB
PageTables:     111984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 174774008 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73800 MiB
End job on node128 at 2011-06-01 23:57:00