Trace number 3439146

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)UNSAT 1297.47 162.564

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
MD5SUM9f9afdb81b528e7852015fad23de6353
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark178.147
Satisfiable
(Un)Satisfiability was proved
Number of variables195
Number of clauses20607
Sum of the clauses size92222
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 265
Number of clauses of size 318744
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51798

Solver Data 

1297.20/162.53	
1297.20/162.53	s UNSATISFIABLE
1297.20/162.53	c Conflict at level 0

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3439146-1306960405/watcher-3439146-1306960405 -o /tmp/evaluation-result-3439146-1306960405/solver-3439146-1306960405 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3439146-1306960405.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/430 23712
/proc/meminfo: memFree=25041796/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=20852 CPUtime=0.01 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 1364 0 0 0 1 0 0 0 25 0 1 0 788456081 21352448 917 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338044613 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/23712/statm: 5213 917 296 106 0 716 0
[pid=23712/tid=23713] ppid=23710 vsize=98436 CPUtime=0 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 788456083 100798464 2308 33554432000 4194304 4625164 140733498593184 18446744073709551615 270333415656 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=98436 CPUtime=0 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 788456083 100798464 2308 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=98436 CPUtime=0 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 788456083 100798464 2308 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=98436 CPUtime=0 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 788456083 100798464 2308 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=98436 CPUtime=0 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 788456083 100798464 2308 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=98436 CPUtime=0 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 788456083 100798464 2308 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=98436 CPUtime=0 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 788456083 100798464 2308 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.119649 s]
/proc/loadavg: 0.00 0.00 0.00 2/430 23712
/proc/meminfo: memFree=25041796/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=301788 CPUtime=0.74 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 6708 0 0 0 74 0 0 0 25 0 8 0 788456081 309030912 3497 33554432000 4194304 4625164 140733498593184 18446744073709551615 4512441 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 75447 3497 345 106 0 70950 0
[pid=23712/tid=23713] ppid=23710 vsize=301788 CPUtime=0.1 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 493 0 0 0 10 0 0 0 25 0 8 0 788456083 309030912 3498 33554432000 4194304 4625164 140733498593184 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=301788 CPUtime=0.06 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 493 0 0 0 6 0 0 0 25 0 8 0 788456083 309030912 3498 33554432000 4194304 4625164 140733498593184 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=301788 CPUtime=0.07 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 810 0 0 0 7 0 0 0 18 0 8 0 788456083 309030912 3498 33554432000 4194304 4625164 140733498593184 18446744073709551615 4559864 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=301788 CPUtime=0.09 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 496 0 0 0 9 0 0 0 25 0 8 0 788456083 309030912 3498 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=301788 CPUtime=0.09 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 493 0 0 0 9 0 0 0 25 0 8 0 788456083 309030912 3498 33554432000 4194304 4625164 140733498593184 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=301788 CPUtime=0.09 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 492 0 0 0 9 0 0 0 25 0 8 0 788456083 309030912 3498 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338488863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=301788 CPUtime=0.1 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 491 0 0 0 10 0 0 0 25 0 8 0 788456083 309030912 3498 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 301788

[startup+0.200634 s]
/proc/loadavg: 0.00 0.00 0.00 2/430 23712
/proc/meminfo: memFree=25041796/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=302564 CPUtime=1.39 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 7466 0 0 0 139 0 0 0 25 0 8 0 788456081 309825536 4025 33554432000 4194304 4625164 140733498593184 18446744073709551615 4512138 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 75641 4025 345 106 0 71144 0
[pid=23712/tid=23713] ppid=23710 vsize=302564 CPUtime=0.18 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 528 0 0 0 18 0 0 0 25 0 8 0 788456083 309825536 4025 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=302564 CPUtime=0.14 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 517 0 0 0 14 0 0 0 25 0 8 0 788456083 309825536 4025 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352157 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=302564 CPUtime=0.15 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 1325 0 0 0 15 0 0 0 18 0 8 0 788456083 309825536 4025 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338080523 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=302564 CPUtime=0.17 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 538 0 0 0 17 0 0 0 25 0 8 0 788456083 309825536 4025 33554432000 4194304 4625164 140733498593184 18446744073709551615 4462399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=302564 CPUtime=0.18 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 536 0 0 0 18 0 0 0 25 0 8 0 788456083 309825536 4025 33554432000 4194304 4625164 140733498593184 18446744073709551615 4348918 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=302564 CPUtime=0.17 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 524 0 0 0 17 0 0 0 25 0 8 0 788456083 309825536 4025 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=302564 CPUtime=0.18 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 536 0 0 0 18 0 0 0 25 0 8 0 788456083 309825536 4025 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 302564

[startup+0.300615 s]
/proc/loadavg: 0.00 0.00 0.00 2/430 23712
/proc/meminfo: memFree=25041796/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=304080 CPUtime=2.19 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 8821 0 0 0 218 1 0 0 25 0 8 0 788456081 311377920 4608 33554432000 4194304 4625164 140733498593184 18446744073709551615 4512167 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 76020 4608 345 106 0 71523 0
[pid=23712/tid=23713] ppid=23710 vsize=304080 CPUtime=0.28 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 573 0 0 0 28 0 0 0 25 0 8 0 788456083 311377920 4608 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351878 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=304080 CPUtime=0.24 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 544 0 0 0 24 0 0 0 25 0 8 0 788456083 311377920 4608 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=304080 CPUtime=0.24 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 1956 0 0 0 24 0 0 0 18 0 8 0 788456083 311377920 4608 33554432000 4194304 4625164 140733498593184 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=304080 CPUtime=0.27 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 867 0 0 0 27 0 0 0 25 0 8 0 788456083 311377920 4608 33554432000 4194304 4625164 140733498593184 18446744073709551615 4339680 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=304080 CPUtime=0.28 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 572 0 0 0 28 0 0 0 25 0 8 0 788456083 311377920 4608 33554432000 4194304 4625164 140733498593184 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=304080 CPUtime=0.27 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 564 0 0 0 27 0 0 0 25 0 8 0 788456083 311377920 4608 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=304080 CPUtime=0.28 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 577 0 0 0 28 0 0 0 25 0 8 0 788456083 311377920 4608 33554432000 4194304 4625164 140733498593184 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 304080

[startup+0.700535 s]
/proc/loadavg: 0.00 0.00 0.00 2/430 23712
/proc/meminfo: memFree=25041796/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=307500 CPUtime=5.38 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 13537 0 0 0 537 1 0 0 25 0 8 0 788456081 314880000 6780 33554432000 4194304 4625164 140733498593184 18446744073709551615 4512110 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 76875 6780 345 106 0 72378 0
[pid=23712/tid=23713] ppid=23710 vsize=307500 CPUtime=0.68 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 982 0 0 0 68 0 0 0 25 0 8 0 788456083 314880000 6780 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=307500 CPUtime=0.64 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 923 0 0 0 64 0 0 0 25 0 8 0 788456083 314880000 6780 33554432000 4194304 4625164 140733498593184 18446744073709551615 4466323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=307500 CPUtime=0.64 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 4380 0 0 0 64 0 0 0 18 0 8 0 788456083 314880000 6780 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=307500 CPUtime=0.67 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 985 0 0 0 67 0 0 0 25 0 8 0 788456083 314880000 6780 33554432000 4194304 4625164 140733498593184 18446744073709551615 4288640 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=307500 CPUtime=0.67 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 960 0 0 0 67 0 0 0 25 0 8 0 788456083 314880000 6780 33554432000 4194304 4625164 140733498593184 18446744073709551615 4348879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=307500 CPUtime=0.67 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 981 0 0 0 67 0 0 0 25 0 8 0 788456083 314880000 6780 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=307500 CPUtime=0.68 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 1002 0 0 0 68 0 0 0 25 0 8 0 788456083 314880000 6780 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.38
Current children cumulated vsize (KiB) 307500

[startup+1.50038 s]
/proc/loadavg: 0.00 0.00 0.00 9/438 23720
/proc/meminfo: memFree=25004672/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=313272 CPUtime=11.77 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 24256 0 0 0 1174 3 0 0 25 0 8 0 788456081 320790528 10671 33554432000 4194304 4625164 140733498593184 18446744073709551615 4512854 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 78318 10671 348 106 0 73821 0
[pid=23712/tid=23713] ppid=23710 vsize=313272 CPUtime=1.48 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 1803 0 0 0 148 0 0 0 25 0 8 0 788456083 320790528 10671 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=313272 CPUtime=1.44 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 1673 0 0 0 144 0 0 0 25 0 8 0 788456083 320790528 10671 33554432000 4194304 4625164 140733498593184 18446744073709551615 4292264 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=313272 CPUtime=1.44 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 9489 0 0 0 143 1 0 0 20 0 8 0 788456083 320790528 10671 33554432000 4194304 4625164 140733498593184 18446744073709551615 4552336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=313272 CPUtime=1.46 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 2503 0 0 0 146 0 0 0 25 0 8 0 788456083 320790528 10671 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=313272 CPUtime=1.47 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 1763 0 0 0 147 0 0 0 25 0 8 0 788456083 320790528 10671 33554432000 4194304 4625164 140733498593184 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=313272 CPUtime=1.47 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 1652 0 0 0 147 0 0 0 25 0 8 0 788456083 320790528 10671 33554432000 4194304 4625164 140733498593184 18446744073709551615 4339569 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=313272 CPUtime=1.46 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 1800 0 0 0 146 0 0 0 25 0 8 0 788456083 320790528 10671 33554432000 4194304 4625164 140733498593184 18446744073709551615 4462504 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.77
Current children cumulated vsize (KiB) 313272

[startup+3.10106 s]
/proc/loadavg: 0.00 0.00 0.00 9/438 23721
/proc/meminfo: memFree=24985824/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=328028 CPUtime=24.56 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 41890 0 0 0 2450 6 0 0 25 0 8 0 788456081 335900672 16976 33554432000 4194304 4625164 140733498593184 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 82007 16976 348 106 0 77510 0
[pid=23712/tid=23713] ppid=23710 vsize=328028 CPUtime=3.07 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 3834 0 0 0 307 0 0 0 25 0 8 0 788456083 335900672 16976 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=328028 CPUtime=3.04 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 2601 0 0 0 304 0 0 0 25 0 8 0 788456083 335900672 16976 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=328028 CPUtime=3.04 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 18354 0 0 0 302 2 0 0 25 0 8 0 788456083 335900672 16976 33554432000 4194304 4625164 140733498593184 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=328028 CPUtime=3.06 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 3942 0 0 0 306 0 0 0 25 0 8 0 788456083 335900672 16976 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=328028 CPUtime=3.07 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 2700 0 0 0 307 0 0 0 25 0 8 0 788456083 335900672 16976 33554432000 4194304 4625164 140733498593184 18446744073709551615 4349054 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=328028 CPUtime=3.07 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 2788 0 0 0 307 0 0 0 25 0 8 0 788456083 335900672 16976 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=328028 CPUtime=3.04 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 3794 0 0 0 304 0 0 0 25 0 8 0 788456083 335900672 16976 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.56
Current children cumulated vsize (KiB) 328028

[startup+6.30043 s]
/proc/loadavg: 0.64 0.13 0.04 9/438 23721
/proc/meminfo: memFree=24936132/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=357168 CPUtime=50.1 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 68409 0 0 0 5000 10 0 0 25 0 8 0 788456081 365740032 28704 33554432000 4194304 4625164 140733498593184 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 89292 28704 366 106 0 84795 0
[pid=23712/tid=23713] ppid=23710 vsize=357168 CPUtime=6.28 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 6296 0 0 0 627 1 0 0 25 0 8 0 788456083 365740032 28704 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=357168 CPUtime=6.24 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 3985 0 0 0 624 0 0 0 25 0 8 0 788456083 365740032 28704 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=357168 CPUtime=6.24 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 29892 0 0 0 620 4 0 0 25 0 8 0 788456083 365740032 28704 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=357168 CPUtime=6.27 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 6387 0 0 0 626 1 0 0 25 0 8 0 788456083 365740032 28704 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=357168 CPUtime=6.27 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 4516 0 0 0 627 0 0 0 25 0 8 0 788456083 365740032 28704 33554432000 4194304 4625164 140733498593184 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=357168 CPUtime=6.26 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 6304 0 0 0 626 0 0 0 25 0 8 0 788456083 365740032 28704 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=357168 CPUtime=6.19 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 6268 0 0 0 619 0 0 0 25 0 8 0 788456083 365740032 28704 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.1
Current children cumulated vsize (KiB) 357168

[startup+12.7012 s]
/proc/loadavg: 1.23 0.26 0.09 9/438 23721
/proc/meminfo: memFree=24880704/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=384580 CPUtime=101.22 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 109405 0 0 0 10106 16 0 0 25 0 8 0 788456081 393809920 41505 33554432000 4194304 4625164 140733498593184 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 96145 41506 349 106 0 91648 0
[pid=23712/tid=23713] ppid=23710 vsize=384580 CPUtime=12.67 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 9558 0 0 0 1266 1 0 0 25 0 8 0 788456083 393809920 41506 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351814 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=384580 CPUtime=12.64 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 5903 0 0 0 1264 0 0 0 25 0 8 0 788456083 393809920 41506 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=384580 CPUtime=12.64 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 52373 0 0 0 1257 7 0 0 25 0 8 0 788456083 393809920 41506 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=384580 CPUtime=12.66 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 9621 0 0 0 1265 1 0 0 25 0 8 0 788456083 393809920 41506 33554432000 4194304 4625164 140733498593184 18446744073709551615 4339639 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=384580 CPUtime=12.66 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 6784 0 0 0 1266 0 0 0 25 0 8 0 788456083 393809920 41506 33554432000 4194304 4625164 140733498593184 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=384580 CPUtime=12.67 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 9663 0 0 0 1266 1 0 0 25 0 8 0 788456083 393809920 41506 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=384580 CPUtime=12.5 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 9794 0 0 0 1249 1 0 0 25 0 8 0 788456083 393809920 41506 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (KiB) 384580

[startup+25.5006 s]
/proc/loadavg: 2.73 0.64 0.21 9/438 23721
/proc/meminfo: memFree=24780412/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=441068 CPUtime=203.41 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 175060 0 0 0 20314 27 0 0 25 0 8 0 788456081 451653632 65712 33554432000 4194304 4625164 140733498593184 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 110267 65712 514 106 0 105770 0
[pid=23712/tid=23713] ppid=23710 vsize=441068 CPUtime=25.47 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 15356 0 0 0 2544 3 0 0 25 0 8 0 788456083 451653632 65712 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=441068 CPUtime=25.44 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 10137 0 0 0 2543 1 0 0 25 0 8 0 788456083 451653632 65712 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=441068 CPUtime=25.44 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 84685 0 0 0 2532 12 0 0 25 0 8 0 788456083 451653632 65712 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=441068 CPUtime=25.46 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 16036 0 0 0 2544 2 0 0 25 0 8 0 788456083 451653632 65712 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=441068 CPUtime=25.46 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 10704 0 0 0 2545 1 0 0 25 0 8 0 788456083 451653632 65712 33554432000 4194304 4625164 140733498593184 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=441068 CPUtime=25.47 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 15314 0 0 0 2545 2 0 0 25 0 8 0 788456083 451653632 65712 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=441068 CPUtime=25.1 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 15470 0 0 0 2509 1 0 0 25 0 8 0 788456083 451653632 65712 33554432000 4194304 4625164 140733498593184 18446744073709551615 4353239 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.41
Current children cumulated vsize (KiB) 441068

[startup+51.1005 s]
/proc/loadavg: 4.53 1.23 0.42 9/438 23722
/proc/meminfo: memFree=24700072/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=570836 CPUtime=407.79 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 286197 0 0 0 40732 47 0 0 25 0 8 0 788456081 584536064 85606 33554432000 4194304 4625164 140733498593184 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 142709 85606 465 106 0 138212 0
[pid=23712/tid=23713] ppid=23710 vsize=570836 CPUtime=51.06 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 21991 0 0 0 5102 4 0 0 25 0 8 0 788456083 584536064 85606 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=570836 CPUtime=51.03 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 16061 0 0 0 5100 3 0 0 25 0 8 0 788456083 584536064 85606 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351814 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=570836 CPUtime=51.04 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 156618 0 0 0 5080 24 0 0 25 0 8 0 788456083 584536064 85606 33554432000 4194304 4625164 140733498593184 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=570836 CPUtime=51.05 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 22970 0 0 0 5102 3 0 0 25 0 8 0 788456083 584536064 85606 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=570836 CPUtime=51.05 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 14713 0 0 0 5103 2 0 0 25 0 8 0 788456083 584536064 85606 33554432000 4194304 4625164 140733498593184 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=570836 CPUtime=51.07 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 22863 0 0 0 5103 4 0 0 25 0 8 0 788456083 584536064 85606 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=570836 CPUtime=50.32 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 22374 0 0 0 5030 2 0 0 25 0 8 0 788456083 584536064 85606 33554432000 4194304 4625164 140733498593184 18446744073709551615 4462380 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.79
Current children cumulated vsize (KiB) 570836

[startup+102.301 s]
/proc/loadavg: 6.49 2.27 0.81 9/438 23723
/proc/meminfo: memFree=24557364/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=762196 CPUtime=816.69 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 414985 0 0 0 81597 72 0 0 25 0 8 0 788456081 780488704 121483 33554432000 4194304 4625164 140733498593184 18446744073709551615 4512023 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 190549 121483 939 106 0 186052 0
[pid=23712/tid=23713] ppid=23710 vsize=762196 CPUtime=102.24 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 33027 0 0 0 10218 6 0 0 25 0 8 0 788456083 780488704 121483 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=762196 CPUtime=102.25 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 23823 0 0 0 10221 4 0 0 25 0 8 0 788456083 780488704 121483 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=762196 CPUtime=102.26 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 234513 0 0 0 10188 38 0 0 25 0 8 0 788456083 780488704 121483 33554432000 4194304 4625164 140733498593184 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=762196 CPUtime=102.27 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 33188 0 0 0 10222 5 0 0 25 0 8 0 788456083 780488704 121483 33554432000 4194304 4625164 140733498593184 18446744073709551615 4339546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=762196 CPUtime=102.27 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 21079 0 0 0 10223 4 0 0 25 0 8 0 788456083 780488704 121483 33554432000 4194304 4625164 140733498593184 18446744073709551615 4349779 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=762196 CPUtime=102.28 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 35471 0 0 0 10221 7 0 0 25 0 8 0 788456083 780488704 121483 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=762196 CPUtime=100.77 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 22896 0 0 0 10074 3 0 0 25 0 8 0 788456083 780488704 121483 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 816.69
Current children cumulated vsize (KiB) 762196

[startup+162.3 s]
/proc/loadavg: 7.52 3.33 1.26 9/438 23725
/proc/meminfo: memFree=24418672/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=964944 CPUtime=1295.6 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 649837 0 0 0 129448 112 0 0 22 0 8 0 788456081 988102656 157611 33554432000 4194304 4625164 140733498593184 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 241236 157611 2077 106 0 236739 0
[pid=23712/tid=23713] ppid=23710 vsize=964944 CPUtime=162.19 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 34878 0 0 0 16212 7 0 0 22 0 8 0 788456083 988102656 157611 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=964944 CPUtime=162.21 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 32775 0 0 0 16216 5 0 0 20 0 8 0 788456083 988102656 157611 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=964944 CPUtime=162.24 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 415488 0 0 0 16154 70 0 0 25 0 8 0 788456083 988102656 157611 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=964944 CPUtime=162.24 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 47454 0 0 0 16217 7 0 0 25 0 8 0 788456083 988102656 157611 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=964944 CPUtime=162.24 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 30793 0 0 0 16219 5 0 0 25 0 8 0 788456083 988102656 157611 33554432000 4194304 4625164 140733498593184 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=964944 CPUtime=162.26 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 49843 0 0 0 16217 9 0 0 21 0 8 0 788456083 988102656 157611 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=964944 CPUtime=159.87 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 23297 0 0 0 15984 3 0 0 20 0 8 0 788456083 988102656 157611 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1295.6
Current children cumulated vsize (KiB) 964944

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

[startup+162.4 s]
/proc/loadavg: 7.52 3.33 1.26 9/438 23725
/proc/meminfo: memFree=24418672/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=964944 CPUtime=1296.41 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 650372 0 0 0 129528 113 0 0 22 0 8 0 788456081 988102656 157445 33554432000 4194304 4625164 140733498593184 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 241236 157445 2075 106 0 236739 0
[pid=23712/tid=23713] ppid=23710 vsize=964944 CPUtime=162.29 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 34878 0 0 0 16222 7 0 0 22 0 8 0 788456083 988102656 157445 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=964944 CPUtime=162.31 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 32776 0 0 0 16226 5 0 0 20 0 8 0 788456083 988102656 157445 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=964944 CPUtime=162.35 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 416021 0 0 0 16164 71 0 0 25 0 8 0 788456083 988102656 157445 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=964944 CPUtime=162.34 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 47454 0 0 0 16227 7 0 0 25 0 8 0 788456083 988102656 157445 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=964944 CPUtime=162.34 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 30794 0 0 0 16229 5 0 0 25 0 8 0 788456083 988102656 157445 33554432000 4194304 4625164 140733498593184 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=964944 CPUtime=162.36 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 49843 0 0 0 16227 9 0 0 21 0 8 0 788456083 988102656 157445 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=964944 CPUtime=159.97 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 23297 0 0 0 15994 3 0 0 20 0 8 0 788456083 988102656 157445 33554432000 4194304 4625164 140733498593184 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1296.41
Current children cumulated vsize (KiB) 964944

[startup+162.5 s]
/proc/loadavg: 7.52 3.33 1.26 9/438 23725
/proc/meminfo: memFree=24418672/32951124 swapFree=50923800/67111528
[pid=23712] ppid=23710 vsize=964944 CPUtime=1297.2 cores=0-7
/proc/23712/stat : 23712 (SArTagnan) R 23710 23712 23686 0 -1 4202496 650500 0 0 0 129607 113 0 0 23 0 8 0 788456081 988102656 157249 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338488863 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23712/statm: 241236 157249 2075 106 0 236739 0
[pid=23712/tid=23713] ppid=23710 vsize=964944 CPUtime=162.39 cores=0-7
/proc/23712/task/23713/stat : 23713 (SArTagnan) R 23710 23712 23686 0 -1 4202560 34878 0 0 0 16232 7 0 0 22 0 8 0 788456083 988102656 157249 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23712/tid=23714] ppid=23710 vsize=964944 CPUtime=162.41 cores=0-7
/proc/23712/task/23714/stat : 23714 (SArTagnan) R 23710 23712 23686 0 -1 4202560 32777 0 0 0 16236 5 0 0 20 0 8 0 788456083 988102656 157249 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23712/tid=23715] ppid=23710 vsize=964944 CPUtime=162.45 cores=0-7
/proc/23712/task/23715/stat : 23715 (SArTagnan) R 23710 23712 23686 0 -1 4202560 416148 0 0 0 16174 71 0 0 18 0 8 0 788456083 988102656 157249 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338488863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=23712/tid=23716] ppid=23710 vsize=964944 CPUtime=162.44 cores=0-7
/proc/23712/task/23716/stat : 23716 (SArTagnan) R 23710 23712 23686 0 -1 4202560 47454 0 0 0 16237 7 0 0 25 0 8 0 788456083 988102656 157249 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23712/tid=23717] ppid=23710 vsize=964944 CPUtime=162.43 cores=0-7
/proc/23712/task/23717/stat : 23717 (SArTagnan) R 23710 23712 23686 0 -1 4202560 30794 0 0 0 16238 5 0 0 18 0 8 0 788456083 988102656 157249 33554432000 4194304 4625164 140733498593184 18446744073709551615 270338488863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23712/tid=23718] ppid=23710 vsize=964944 CPUtime=162.45 cores=0-7
/proc/23712/task/23718/stat : 23718 (SArTagnan) R 23710 23712 23686 0 -1 4202560 49843 0 0 0 16236 9 0 0 22 0 8 0 788456083 988102656 157249 33554432000 4194304 4625164 140733498593184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23712/tid=23719] ppid=23710 vsize=964944 CPUtime=160.07 cores=0-7
/proc/23712/task/23719/stat : 23719 (SArTagnan) R 23710 23712 23686 0 -1 4202560 23297 0 0 0 16004 3 0 0 20 0 8 0 788456083 988102656 157249 33554432000 4194304 4625164 140733498593184 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1297.2
Current children cumulated vsize (KiB) 964944

Child status: 20
Real time (s): 162.564
CPU time (s): 1297.47
CPU user time (s): 1296.31
CPU system time (s): 1.16482
CPU usage (%): 798.132
Max. virtual memory (cumulated for all children) (KiB): 965412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1296.31
system time used= 1.16482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 650606
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= 6417
involuntary context switches= 5496

runsolver used 0.676897 second user time and 1.69274 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-01 22:33:25
IDJOB=3439146
IDBENCH=83292
IDSOLVER=1936
FILE ID=node143/3439146-1306960405
RUNJOBID= node143-1306960404-23700
PBS_JOBID= 13497608
Free space on /tmp= 73872 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-20_390.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3439146-1306960405/watcher-3439146-1306960405 -o /tmp/evaluation-result-3439146-1306960405/solver-3439146-1306960405 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3439146-1306960405.cnf -threads=8

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

MD5SUM BENCH= 9f9afdb81b528e7852015fad23de6353
RANDOM SEED=1261788837

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25042084 kB
Buffers:        186728 kB
Cached:         243148 kB
SwapCached:       9140 kB
Active:        7317872 kB
Inactive:       320796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25042084 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:             808 kB
Writeback:           0 kB
AnonPages:     7206052 kB
Mapped:          21032 kB
Slab:           121496 kB
PageTables:      80248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115656436 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73872 MiB
End job on node143 at 2011-06-01 22:36:07