Trace number 3438471

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) 40001.1 5009.52

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v1375c111739gyes10.cnf
MD5SUMc904604702db7cfabf92e607e197d409
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.50471
Satisfiable
(Un)Satisfiability was proved
Number of variables1375
Number of clauses111739
Sum of the clauses size224743
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2111684
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 555

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-3438471-1306917968/watcher-3438471-1306917968 -o /tmp/evaluation-result-3438471-1306917968/solver-3438471-1306917968 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3438471-1306917968.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: 7.51 7.96 7.97 1/430 21799
/proc/meminfo: memFree=25150056/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=22876 CPUtime=0 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 955 0 0 0 0 0 0 0 18 0 1 0 784212434 23425024 736 33554432000 4194304 4625164 140734573361264 18446744073709551615 270338081237 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/21799/statm: 5719 600 296 106 0 1222 0

[startup+0.025709 s]
/proc/loadavg: 7.51 7.96 7.97 1/430 21799
/proc/meminfo: memFree=25150056/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=23368 CPUtime=0.01 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 1667 0 0 0 1 0 0 0 18 0 1 0 784212434 23928832 780 33554432000 4194304 4625164 140734573361264 18446744073709551615 270338002521 0 0 4096 2 0 0 0 17 6 0 0 0
/proc/21799/statm: 5842 781 296 106 0 1345 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 23368

[startup+0.119274 s]
/proc/loadavg: 7.51 7.96 7.97 1/430 21799
/proc/meminfo: memFree=25150056/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=507892 CPUtime=0.98 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 11280 0 0 0 97 1 0 0 18 0 8 0 784212434 520081408 8917 33554432000 4194304 4625164 140734573361264 18446744073709551615 4356539 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 126973 8917 354 106 0 122476 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 507892

[startup+0.355605 s]
/proc/loadavg: 7.51 7.96 7.97 1/430 21799
/proc/meminfo: memFree=25150056/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=513064 CPUtime=2.58 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 15954 0 0 0 256 2 0 0 18 0 8 0 784212434 525377536 12052 33554432000 4194304 4625164 140734573361264 18446744073709551615 4513015 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 128266 12052 355 106 0 123769 0
Current children cumulated CPU time (s) 2.58
Current children cumulated vsize (KiB) 513064

[startup+0.700536 s]
/proc/loadavg: 7.51 7.96 7.97 1/430 21799
/proc/meminfo: memFree=25150056/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=516336 CPUtime=5.34 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 22193 0 0 0 530 4 0 0 18 0 8 0 784212434 528728064 16904 33554432000 4194304 4625164 140734573361264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 129084 16904 352 106 0 124587 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 516336

[startup+1.50038 s]
/proc/loadavg: 7.51 7.96 7.97 9/438 21807
/proc/meminfo: memFree=25069896/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=544780 CPUtime=11.72 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 36782 0 0 0 1166 6 0 0 20 0 8 0 784212434 557854720 25649 33554432000 4194304 4625164 140734573361264 18446744073709551615 270338081237 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 136195 25672 369 106 0 131698 0
[pid=21799/tid=21801] ppid=21797 vsize=544780 CPUtime=1.46 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 2715 0 0 0 146 0 0 0 23 0 8 0 784212437 557854720 25684 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=544780 CPUtime=1.42 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 3887 0 0 0 142 0 0 0 23 0 8 0 784212437 557854720 25695 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352855 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=544780 CPUtime=1.45 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 5165 0 0 0 145 0 0 0 18 0 8 0 784212437 557854720 25710 33554432000 4194304 4625164 140734573361264 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=544780 CPUtime=1.46 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 3127 0 0 0 146 0 0 0 23 0 8 0 784212437 557854720 25723 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=544780 CPUtime=1.46 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 2717 0 0 0 146 0 0 0 23 0 8 0 784212437 557854720 25734 33554432000 4194304 4625164 140734573361264 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=544780 CPUtime=1.46 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 3218 0 0 0 146 0 0 0 25 0 8 0 784212437 557854720 25748 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=544780 CPUtime=1.46 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 2658 0 0 0 146 0 0 0 25 0 8 0 784212437 557854720 25763 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.72
Current children cumulated vsize (KiB) 544780

[startup+3.10106 s]
/proc/loadavg: 7.51 7.96 7.97 9/438 21807
/proc/meminfo: memFree=25040556/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=540000 CPUtime=24.51 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 48013 0 0 0 2443 8 0 0 25 0 8 0 784212434 552960000 32751 33554432000 4194304 4625164 140734573361264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 135000 32751 382 106 0 130503 0
[pid=21799/tid=21801] ppid=21797 vsize=540000 CPUtime=3.06 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 4097 0 0 0 306 0 0 0 25 0 8 0 784212437 552960000 32751 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=540000 CPUtime=3 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 4161 0 0 0 300 0 0 0 25 0 8 0 784212437 552960000 32751 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=540000 CPUtime=3.05 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 6266 0 0 0 305 0 0 0 21 0 8 0 784212437 552960000 32751 33554432000 4194304 4625164 140734573361264 18446744073709551615 4547833 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=540000 CPUtime=3.06 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 4511 0 0 0 306 0 0 0 25 0 8 0 784212437 552960000 32751 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=540000 CPUtime=3.05 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 4173 0 0 0 305 0 0 0 25 0 8 0 784212437 552960000 32751 33554432000 4194304 4625164 140734573361264 18446744073709551615 4349061 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=540000 CPUtime=3.05 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 5083 0 0 0 305 0 0 0 25 0 8 0 784212437 552960000 32751 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=540000 CPUtime=3.06 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 3902 0 0 0 306 0 0 0 25 0 8 0 784212437 552960000 32751 33554432000 4194304 4625164 140734573361264 18446744073709551615 4464310 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 540000

[startup+6.30043 s]
/proc/loadavg: 7.55 7.96 7.97 9/438 21807
/proc/meminfo: memFree=24983224/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=541536 CPUtime=50.05 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 68887 0 0 0 4993 12 0 0 25 0 8 0 784212434 554532864 43153 33554432000 4194304 4625164 140734573361264 18446744073709551615 4512364 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 135384 43153 400 106 0 130887 0
[pid=21799/tid=21801] ppid=21797 vsize=541536 CPUtime=6.25 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 6679 0 0 0 625 0 0 0 25 0 8 0 784212437 554532864 43153 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=541536 CPUtime=6.15 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 6010 0 0 0 615 0 0 0 25 0 8 0 784212437 554532864 43153 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351972 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=541536 CPUtime=6.25 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 10642 0 0 0 624 1 0 0 25 0 8 0 784212437 554532864 43153 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=541536 CPUtime=6.25 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 5341 0 0 0 625 0 0 0 23 0 8 0 784212437 554532864 43153 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=541536 CPUtime=6.25 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 6009 0 0 0 625 0 0 0 25 0 8 0 784212437 554532864 43153 33554432000 4194304 4625164 140734573361264 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=541536 CPUtime=6.26 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 7911 0 0 0 625 1 0 0 25 0 8 0 784212437 554532864 43153 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=541536 CPUtime=6.26 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 4300 0 0 0 625 1 0 0 25 0 8 0 784212437 554532864 43153 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351795 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.05
Current children cumulated vsize (KiB) 541536

[startup+12.7012 s]
/proc/loadavg: 7.59 7.96 7.97 9/438 21807
/proc/meminfo: memFree=24928916/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=579768 CPUtime=101.17 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 105301 0 0 0 10099 18 0 0 25 0 8 0 784212434 593682432 56293 33554432000 4194304 4625164 140734573361264 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 144942 56293 484 106 0 140445 0
[pid=21799/tid=21801] ppid=21797 vsize=579768 CPUtime=12.66 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 9742 0 0 0 1265 1 0 0 25 0 8 0 784212437 593682432 56293 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352157 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=579768 CPUtime=12.46 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 6377 0 0 0 1246 0 0 0 25 0 8 0 784212437 593682432 56293 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=579768 CPUtime=12.65 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 26558 0 0 0 1262 3 0 0 25 0 8 0 784212437 593682432 56293 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=579768 CPUtime=12.66 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 7403 0 0 0 1265 1 0 0 25 0 8 0 784212437 593682432 56293 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=579768 CPUtime=12.66 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 8701 0 0 0 1265 1 0 0 25 0 8 0 784212437 593682432 56293 33554432000 4194304 4625164 140734573361264 18446744073709551615 4348903 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=579768 CPUtime=12.66 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 11989 0 0 0 1264 2 0 0 25 0 8 0 784212437 593682432 56293 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=579768 CPUtime=12.66 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 6555 0 0 0 1265 1 0 0 25 0 8 0 784212437 593682432 56293 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 579768

[startup+25.5006 s]
/proc/loadavg: 7.68 7.96 7.97 9/438 21807
/proc/meminfo: memFree=24845764/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=675024 CPUtime=203.36 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 180769 0 0 0 20306 30 0 0 25 0 8 0 784212434 691224576 77369 33554432000 4194304 4625164 140734573361264 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 168756 77369 494 106 0 164259 0
[pid=21799/tid=21801] ppid=21797 vsize=675024 CPUtime=25.46 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 14195 0 0 0 2544 2 0 0 25 0 8 0 784212437 691224576 77369 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=675024 CPUtime=25.07 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 9019 0 0 0 2506 1 0 0 25 0 8 0 784212437 691224576 77369 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=675024 CPUtime=25.44 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 64809 0 0 0 2535 9 0 0 25 0 8 0 784212437 691224576 77369 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=675024 CPUtime=25.45 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 10339 0 0 0 2544 1 0 0 25 0 8 0 784212437 691224576 77369 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=675024 CPUtime=25.45 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 14029 0 0 0 2543 2 0 0 25 0 8 0 784212437 691224576 77369 33554432000 4194304 4625164 140734573361264 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=675024 CPUtime=25.46 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 19061 0 0 0 2543 3 0 0 25 0 8 0 784212437 691224576 77369 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=675024 CPUtime=25.46 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 9400 0 0 0 2544 2 0 0 25 0 8 0 784212437 691224576 77369 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.36
Current children cumulated vsize (KiB) 675024

[startup+51.1005 s]
/proc/loadavg: 7.87 7.98 7.97 9/438 21808
/proc/meminfo: memFree=24747772/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=733140 CPUtime=407.8 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 317818 0 0 0 40727 53 0 0 25 0 8 0 784212434 750735360 101712 33554432000 4194304 4625164 140734573361264 18446744073709551615 4512054 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 183285 101712 578 106 0 178788 0
[pid=21799/tid=21801] ppid=21797 vsize=733140 CPUtime=51.06 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 15273 0 0 0 5104 2 0 0 25 0 8 0 784212437 750735360 101712 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=733140 CPUtime=50.31 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 13319 0 0 0 5029 2 0 0 25 0 8 0 784212437 750735360 101712 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=733140 CPUtime=51.04 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 171718 0 0 0 5078 26 0 0 25 0 8 0 784212437 750735360 101712 33554432000 4194304 4625164 140734573361264 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=733140 CPUtime=51.05 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 12098 0 0 0 5104 1 0 0 25 0 8 0 784212437 750735360 101712 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=733140 CPUtime=51.06 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 20118 0 0 0 5103 3 0 0 25 0 8 0 784212437 750735360 101712 33554432000 4194304 4625164 140734573361264 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=733140 CPUtime=51.06 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 28605 0 0 0 5101 5 0 0 25 0 8 0 784212437 750735360 101712 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=733140 CPUtime=51.06 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 10477 0 0 0 5104 2 0 0 25 0 8 0 784212437 750735360 101712 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.8

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

Current children cumulated vsize (KiB) 4412672

[startup+4722.32 s]
/proc/loadavg: 8.10 8.08 8.01 9/438 21954
/proc/meminfo: memFree=21497076/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=4412672 CPUtime=37708.9 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 27131329 0 0 0 3766518 4377 0 0 25 0 8 0 784212434 4518576128 910618 33554432000 4194304 4625164 140734573361264 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 1103168 910619 353 106 0 1098671 0
[pid=21799/tid=21801] ppid=21797 vsize=4412672 CPUtime=4721.91 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 127765 0 0 0 472159 32 0 0 25 0 8 0 784212437 4518576128 910619 33554432000 4194304 4625164 140734573361264 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=4412672 CPUtime=4719.9 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 140953 0 0 0 471896 94 0 0 25 0 8 0 784212437 4518576128 910619 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=4412672 CPUtime=4721.22 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 24196773 0 0 0 468393 3729 0 0 25 0 8 0 784212437 4518576128 910619 33554432000 4194304 4625164 140734573361264 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=4412672 CPUtime=4721.79 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 108712 0 0 0 472147 32 0 0 25 0 8 0 784212437 4518576128 910620 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=4412672 CPUtime=4722.46 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 160708 0 0 0 472211 35 0 0 25 0 8 0 784212437 4518576128 910620 33554432000 4194304 4625164 140734573361264 18446744073709551615 4329721 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=4412672 CPUtime=4722.47 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 170526 0 0 0 472204 43 0 0 25 0 8 0 784212437 4518576128 910621 33554432000 4194304 4625164 140734573361264 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=4412672 CPUtime=4656.78 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 115785 0 0 0 465611 67 0 0 25 0 8 0 784212437 4518576128 910621 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 37708.9
Current children cumulated vsize (KiB) 4412672

[startup+4782.3 s]
/proc/loadavg: 8.15 8.10 8.02 9/438 21955
/proc/meminfo: memFree=21476960/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=4412672 CPUtime=38188 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 27691481 0 0 0 3814331 4465 0 0 25 0 8 0 784212434 4518576128 916628 33554432000 4194304 4625164 140734573361264 18446744073709551615 4511938 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 1103168 916628 352 106 0 1098671 0
[pid=21799/tid=21801] ppid=21797 vsize=4412672 CPUtime=4781.89 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 127883 0 0 0 478157 32 0 0 25 0 8 0 784212437 4518576128 916628 33554432000 4194304 4625164 140734573361264 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=4412672 CPUtime=4779.89 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 141940 0 0 0 477894 95 0 0 25 0 8 0 784212437 4518576128 916628 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=4412672 CPUtime=4781.19 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 24710087 0 0 0 474312 3807 0 0 25 0 8 0 784212437 4518576128 916628 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=4412672 CPUtime=4781.77 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 108797 0 0 0 478145 32 0 0 25 0 8 0 784212437 4518576128 916628 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=4412672 CPUtime=4782.45 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 160834 0 0 0 478210 35 0 0 25 0 8 0 784212437 4518576128 916628 33554432000 4194304 4625164 140734573361264 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=4412672 CPUtime=4782.46 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 170932 0 0 0 478203 43 0 0 25 0 8 0 784212437 4518576128 916628 33554432000 4194304 4625164 140734573361264 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=4412672 CPUtime=4715.9 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 116474 0 0 0 471523 67 0 0 25 0 8 0 784212437 4518576128 916628 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38188
Current children cumulated vsize (KiB) 4412672

[startup+4842.3 s]
/proc/loadavg: 8.11 8.09 8.02 9/438 21957
/proc/meminfo: memFree=21452876/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=4478208 CPUtime=38667.1 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 28261331 0 0 0 3862150 4558 0 0 25 0 8 0 784212434 4585684992 922278 33554432000 4194304 4625164 140734573361264 18446744073709551615 4519381 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 1119552 922278 352 106 0 1115055 0
[pid=21799/tid=21801] ppid=21797 vsize=4478208 CPUtime=4841.89 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 128028 0 0 0 484157 32 0 0 25 0 8 0 784212437 4585684992 922278 33554432000 4194304 4625164 140734573361264 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=4478208 CPUtime=4839.9 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 143055 0 0 0 483893 97 0 0 25 0 8 0 784212437 4585684992 922278 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=4478208 CPUtime=4841.17 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 25233406 0 0 0 480227 3890 0 0 25 0 8 0 784212437 4585684992 922278 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=4478208 CPUtime=4841.77 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 108988 0 0 0 484145 32 0 0 25 0 8 0 784212437 4585684992 922278 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=4478208 CPUtime=4842.45 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 160935 0 0 0 484210 35 0 0 25 0 8 0 784212437 4585684992 922278 33554432000 4194304 4625164 140734573361264 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=4478208 CPUtime=4842.46 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 171171 0 0 0 484203 43 0 0 25 0 8 0 784212437 4585684992 922278 33554432000 4194304 4625164 140734573361264 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=4478208 CPUtime=4775.02 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 118174 0 0 0 477433 69 0 0 25 0 8 0 784212437 4585684992 922278 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38667.1
Current children cumulated vsize (KiB) 4478208

[startup+4902.3 s]
/proc/loadavg: 8.04 8.07 8.01 9/438 21958
/proc/meminfo: memFree=21427428/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=4543744 CPUtime=39146.2 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 28714666 0 0 0 3909992 4631 0 0 25 0 8 0 784212434 4652793856 929890 33554432000 4194304 4625164 140734573361264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 1135936 929890 352 106 0 1131439 0
[pid=21799/tid=21801] ppid=21797 vsize=4543744 CPUtime=4901.9 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 128180 0 0 0 490158 32 0 0 25 0 8 0 784212437 4652793856 929890 33554432000 4194304 4625164 140734573361264 18446744073709551615 4488054 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=4543744 CPUtime=4899.9 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 145671 0 0 0 489890 100 0 0 25 0 8 0 784212437 4652793856 929890 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=4543744 CPUtime=4901.16 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 25642232 0 0 0 486163 3953 0 0 25 0 8 0 784212437 4652793856 929890 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=4543744 CPUtime=4901.78 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 109082 0 0 0 490146 32 0 0 25 0 8 0 784212437 4652793856 929890 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352800 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=4543744 CPUtime=4902.45 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 161076 0 0 0 490210 35 0 0 25 0 8 0 784212437 4652793856 929890 33554432000 4194304 4625164 140734573361264 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=4543744 CPUtime=4902.46 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 171250 0 0 0 490203 43 0 0 25 0 8 0 784212437 4652793856 929890 33554432000 4194304 4625164 140734573361264 18446744073709551615 4330853 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=4543744 CPUtime=4834.16 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 118297 0 0 0 483347 69 0 0 25 0 8 0 784212437 4652793856 929890 33554432000 4194304 4625164 140734573361264 18446744073709551615 4339554 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 39146.2
Current children cumulated vsize (KiB) 4543744

[startup+4962.3 s]
/proc/loadavg: 8.01 8.06 8.01 9/438 21960
/proc/meminfo: memFree=21395028/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=4621496 CPUtime=39625.4 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 29108565 0 0 0 3957843 4692 0 0 25 0 8 0 784212434 4732411904 936389 33554432000 4194304 4625164 140734573361264 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 1155374 936389 352 106 0 1150877 0
[pid=21799/tid=21801] ppid=21797 vsize=4621496 CPUtime=4961.9 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 128369 0 0 0 496158 32 0 0 25 0 8 0 784212437 4732411904 936389 33554432000 4194304 4625164 140734573361264 18446744073709551615 4331184 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=4621496 CPUtime=4959.9 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 146088 0 0 0 495889 101 0 0 25 0 8 0 784212437 4732411904 936389 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=4621496 CPUtime=4961.15 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 25943603 0 0 0 492117 3998 0 0 25 0 8 0 784212437 4732411904 936389 33554432000 4194304 4625164 140734573361264 18446744073709551615 4547348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=4621496 CPUtime=4961.77 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 137211 0 0 0 496142 35 0 0 25 0 8 0 784212437 4732411904 936389 33554432000 4194304 4625164 140734573361264 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=4621496 CPUtime=4962.46 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 161235 0 0 0 496211 35 0 0 25 0 8 0 784212437 4732411904 936389 33554432000 4194304 4625164 140734573361264 18446744073709551615 4329694 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=4621496 CPUtime=4962.47 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 171335 0 0 0 496203 44 0 0 25 0 8 0 784212437 4732411904 936389 33554432000 4194304 4625164 140734573361264 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=4621496 CPUtime=4893.29 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 118530 0 0 0 489259 70 0 0 25 0 8 0 784212437 4732411904 936389 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 39625.4
Current children cumulated vsize (KiB) 4621496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5009.3 s]
/proc/loadavg: 8.00 8.05 8.00 10/438 21961
/proc/meminfo: memFree=21385204/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=4687032 CPUtime=40000.9 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) R 21797 21799 21299 0 -1 4202496 29144010 0 0 0 3995387 4700 0 0 25 0 8 0 784212434 4799520768 939118 33554432000 4194304 4625164 140734573361264 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 1171758 939118 352 106 0 1167261 0
[pid=21799/tid=21801] ppid=21797 vsize=4687032 CPUtime=5008.93 cores=0-7
/proc/21799/task/21801/stat : 21801 (SArTagnan) R 21797 21799 21299 0 -1 4202560 128444 0 0 0 500861 32 0 0 25 0 8 0 784212437 4799520768 939118 33554432000 4194304 4625164 140734573361264 18446744073709551615 4330793 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21799/tid=21802] ppid=21797 vsize=4687032 CPUtime=5006.93 cores=0-7
/proc/21799/task/21802/stat : 21802 (SArTagnan) R 21797 21799 21299 0 -1 4202560 146089 0 0 0 500592 101 0 0 25 0 8 0 784212437 4799520768 939118 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21799/tid=21803] ppid=21797 vsize=4687032 CPUtime=5008.16 cores=0-7
/proc/21799/task/21803/stat : 21803 (SArTagnan) R 21797 21799 21299 0 -1 4202560 25943715 0 0 0 496818 3998 0 0 25 0 8 0 784212437 4799520768 939118 33554432000 4194304 4625164 140734573361264 18446744073709551615 4552425 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=21799/tid=21804] ppid=21797 vsize=4687032 CPUtime=5008.81 cores=0-7
/proc/21799/task/21804/stat : 21804 (SArTagnan) R 21797 21799 21299 0 -1 4202560 137300 0 0 0 500846 35 0 0 25 0 8 0 784212437 4799520768 939118 33554432000 4194304 4625164 140734573361264 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21799/tid=21805] ppid=21797 vsize=4687032 CPUtime=5009.49 cores=0-7
/proc/21799/task/21805/stat : 21805 (SArTagnan) R 21797 21799 21299 0 -1 4202560 161323 0 0 0 500914 35 0 0 25 0 8 0 784212437 4799520768 939118 33554432000 4194304 4625164 140734573361264 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21799/tid=21806] ppid=21797 vsize=4687032 CPUtime=5009.5 cores=0-7
/proc/21799/task/21806/stat : 21806 (SArTagnan) R 21797 21799 21299 0 -1 4202560 171403 0 0 0 500906 44 0 0 25 0 8 0 784212437 4799520768 939118 33554432000 4194304 4625164 140734573361264 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=4687032 CPUtime=4939.61 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4202560 119539 0 0 0 493889 72 0 0 25 0 8 0 784212437 4799520768 939118 33554432000 4194304 4625164 140734573361264 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 40000.9
Current children cumulated vsize (KiB) 4687032

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

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

[startup+5009.44 s]
/proc/loadavg: 8.00 8.05 8.00 10/438 21961
/proc/meminfo: memFree=21385204/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=0 CPUtime=40001 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) Z 21797 21799 21299 0 -1 4203548 29144010 0 0 0 3995394 4710 0 0 25 0 2 0 784212434 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 0 0 0 0 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=0 CPUtime=4939.72 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4203588 119539 0 0 0 493890 82 0 0 25 0 2 0 784212437 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40001
Current children cumulated vsize (KiB) 0

[startup+5009.5 s]
/proc/loadavg: 8.00 8.05 8.00 10/438 21961
/proc/meminfo: memFree=21385204/32951124 swapFree=50923800/67111528
[pid=21799] ppid=21797 vsize=0 CPUtime=40001.1 cores=0-7
/proc/21799/stat : 21799 (SArTagnan) Z 21797 21799 21299 0 -1 4203548 29144010 0 0 0 3995394 4717 0 0 25 0 2 0 784212434 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/21799/statm: 0 0 0 0 0 0 0
[pid=21799/tid=21807] ppid=21797 vsize=0 CPUtime=4939.78 cores=0-7
/proc/21799/task/21807/stat : 21807 (SArTagnan) R 21797 21799 21299 0 -1 4203588 119539 0 0 0 493890 88 0 0 25 0 2 0 784212437 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 40001.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5009.52
CPU time (s): 40001.1
CPU user time (s): 39953.9
CPU system time (s): 47.1938
CPU usage (%): 798.502
Max. virtual memory (cumulated for all children) (KiB): 4870880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39953.9
system time used= 47.1938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29144010
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= 7095
involuntary context switches= 169022

runsolver used 19.1391 second user time and 53.7628 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-01 10:46:08
IDJOB=3438471
IDBENCH=71397
IDSOLVER=1936
FILE ID=node143/3438471-1306917968
RUNJOBID= node143-1306912950-21313
PBS_JOBID= 13488509
Free space on /tmp= 73880 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1375c111739gyes10.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438471-1306917968/watcher-3438471-1306917968 -o /tmp/evaluation-result-3438471-1306917968/solver-3438471-1306917968 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3438471-1306917968.cnf -threads=8

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

MD5SUM BENCH= c904604702db7cfabf92e607e197d409
RANDOM SEED=974833326

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:      25150212 kB
Buffers:        156692 kB
Cached:         162832 kB
SwapCached:       9140 kB
Active:        7304072 kB
Inactive:       223848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25150212 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:            1960 kB
Writeback:           0 kB
AnonPages:     7206484 kB
Mapped:          21284 kB
Slab:           121620 kB
PageTables:      79888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115654144 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= 73880 MiB
End job on node143 at 2011-06-01 12:09:40