Trace number 3438316

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SArTagnan 2011-05-15 (fixed)? (TO) 40000.4 5010.52

General information on the benchmark

Namecrafted/spence/
hard/s113-100.cnf
MD5SUM346cb413e25976ab9ce2952e1d53c865
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1113.71
Satisfiable
(Un)Satisfiability was proved
Number of variables113
Number of clauses236
Sum of the clauses size708
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3236
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3438316-1306911015/watcher-3438316-1306911015 -o /tmp/evaluation-result-3438316-1306911015/solver-3438316-1306911015 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3438316-1306911015.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.68 0.94 0.97 1/466 11010
/proc/meminfo: memFree=6527296/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=90324 CPUtime=0.02 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 467 0 0 0 2 0 0 0 25 0 8 0 802701148 92491776 403 33554432000 4194304 4625164 140737197737696 18446744073709551615 47745287702450 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/11010/statm: 22581 403 300 106 0 18084 0
[pid=11010/tid=11011] ppid=11008 vsize=287064 CPUtime=0.01 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 26 0 0 0 1 0 0 0 25 0 8 0 802701148 293953536 636 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=287064 CPUtime=0 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 30 0 0 0 0 0 0 0 25 0 8 0 802701148 293953536 636 33554432000 4194304 4625164 140737197737696 18446744073709551615 274474072558 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=287064 CPUtime=0 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 31 0 0 0 0 0 0 0 25 0 8 0 802701148 293953536 636 33554432000 4194304 4625164 140737197737696 18446744073709551615 274473626356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=287064 CPUtime=0.01 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 14 0 0 0 1 0 0 0 25 0 8 0 802701148 293953536 637 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=287064 CPUtime=0.01 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 26 0 0 0 1 0 0 0 25 0 8 0 802701148 293953536 637 33554432000 4194304 4625164 140737197737696 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=287064 CPUtime=0 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 26 0 0 0 0 0 0 0 25 0 8 0 802701148 293953536 637 33554432000 4194304 4625164 140737197737696 18446744073709551615 4340391 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=287064 CPUtime=0 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 34 0 0 0 0 0 0 0 25 0 8 0 802701148 293953536 637 33554432000 4194304 4625164 140737197737696 18446744073709551615 274474072558 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.109106 s]
/proc/loadavg: 0.68 0.94 0.97 1/466 11010
/proc/meminfo: memFree=6527296/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=289492 CPUtime=0.61 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 2671 0 0 0 61 0 0 0 25 0 8 0 802701148 296439808 2065 33554432000 4194304 4625164 140737197737696 18446744073709551615 274474072558 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11010/statm: 72373 2065 351 106 0 67876 0
[pid=11010/tid=11011] ppid=11008 vsize=289492 CPUtime=0.1 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 320 0 0 0 10 0 0 0 25 0 8 0 802701148 296439808 2065 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=289492 CPUtime=0 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 35 0 0 0 0 0 0 0 25 0 8 0 802701148 296439808 2065 33554432000 4194304 4625164 140737197737696 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=289492 CPUtime=0.09 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 501 0 0 0 9 0 0 0 25 0 8 0 802701148 296439808 2065 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=289492 CPUtime=0.1 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 291 0 0 0 10 0 0 0 25 0 8 0 802701148 296439808 2065 33554432000 4194304 4625164 140737197737696 18446744073709551615 4463240 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=289492 CPUtime=0.1 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 303 0 0 0 10 0 0 0 25 0 8 0 802701148 296439808 2065 33554432000 4194304 4625164 140737197737696 18446744073709551615 4458496 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=289492 CPUtime=0.09 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 330 0 0 0 9 0 0 0 25 0 8 0 802701148 296439808 2065 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352951 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=289492 CPUtime=0.09 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 349 0 0 0 9 0 0 0 25 0 8 0 802701148 296439808 2065 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 289492

[startup+0.201093 s]
/proc/loadavg: 0.68 0.94 0.97 1/466 11010
/proc/meminfo: memFree=6527296/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=292948 CPUtime=1.28 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 5081 0 0 0 128 0 0 0 25 0 8 0 802701148 299978752 3328 33554432000 4194304 4625164 140737197737696 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 73237 3328 351 106 0 68740 0
[pid=11010/tid=11011] ppid=11008 vsize=292948 CPUtime=0.18 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 628 0 0 0 18 0 0 0 25 0 8 0 802701148 299978752 3328 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=292948 CPUtime=0.09 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 268 0 0 0 9 0 0 0 25 0 8 0 802701148 299978752 3328 33554432000 4194304 4625164 140737197737696 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=292948 CPUtime=0.18 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 923 0 0 0 18 0 0 0 25 0 8 0 802701148 299978752 3328 33554432000 4194304 4625164 140737197737696 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=292948 CPUtime=0.19 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 636 0 0 0 19 0 0 0 25 0 8 0 802701148 299978752 3328 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=292948 CPUtime=0.19 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 626 0 0 0 19 0 0 0 25 0 8 0 802701148 299978752 3328 33554432000 4194304 4625164 140737197737696 18446744073709551615 4348804 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=292948 CPUtime=0.18 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 665 0 0 0 18 0 0 0 25 0 8 0 802701148 299978752 3328 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=292948 CPUtime=0.18 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 667 0 0 0 18 0 0 0 25 0 8 0 802701148 299978752 3328 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 292948

[startup+0.301076 s]
/proc/loadavg: 0.68 0.94 0.97 1/466 11010
/proc/meminfo: memFree=6527296/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=296840 CPUtime=2.09 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 6959 0 0 0 208 1 0 0 25 0 8 0 802701148 303964160 4801 33554432000 4194304 4625164 140737197737696 18446744073709551615 4356352 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 74210 4802 353 106 0 69713 0
[pid=11010/tid=11011] ppid=11008 vsize=296840 CPUtime=0.28 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 709 0 0 0 28 0 0 0 25 0 8 0 802701148 303964160 4802 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=296840 CPUtime=0.19 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 589 0 0 0 19 0 0 0 25 0 8 0 802701148 303964160 4803 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=296840 CPUtime=0.28 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 1458 0 0 0 28 0 0 0 25 0 8 0 802701148 303964160 4803 33554432000 4194304 4625164 140737197737696 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=296840 CPUtime=0.29 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 686 0 0 0 29 0 0 0 25 0 8 0 802701148 303964160 4803 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=296840 CPUtime=0.29 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 740 0 0 0 29 0 0 0 25 0 8 0 802701148 303964160 4803 33554432000 4194304 4625164 140737197737696 18446744073709551615 4349779 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=296840 CPUtime=0.28 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 961 0 0 0 28 0 0 0 25 0 8 0 802701148 303964160 4803 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=296840 CPUtime=0.28 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 1008 0 0 0 28 0 0 0 25 0 8 0 802701148 303964160 4803 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 296840

[startup+0.701006 s]
/proc/loadavg: 0.68 0.94 0.97 1/466 11010
/proc/meminfo: memFree=6527296/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=305564 CPUtime=5.29 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 13296 0 0 0 527 2 0 0 25 0 8 0 802701148 312897536 8190 33554432000 4194304 4625164 140737197737696 18446744073709551615 4519568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 76391 8190 352 106 0 71894 0
[pid=11010/tid=11011] ppid=11008 vsize=305564 CPUtime=0.67 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 1528 0 0 0 67 0 0 0 25 0 8 0 802701148 312897536 8190 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=305564 CPUtime=0.59 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 1347 0 0 0 59 0 0 0 25 0 8 0 802701148 312897536 8190 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=305564 CPUtime=0.68 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 2993 0 0 0 68 0 0 0 25 0 8 0 802701148 312897536 8190 33554432000 4194304 4625164 140737197737696 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=305564 CPUtime=0.69 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 1396 0 0 0 69 0 0 0 25 0 8 0 802701148 312897536 8190 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=305564 CPUtime=0.69 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 1595 0 0 0 69 0 0 0 25 0 8 0 802701148 312897536 8190 33554432000 4194304 4625164 140737197737696 18446744073709551615 4340354 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=305564 CPUtime=0.68 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 1583 0 0 0 68 0 0 0 25 0 8 0 802701148 312897536 8190 33554432000 4194304 4625164 140737197737696 18446744073709551615 4462399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=305564 CPUtime=0.68 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 1599 0 0 0 68 0 0 0 25 0 8 0 802701148 312897536 8190 33554432000 4194304 4625164 140737197737696 18446744073709551615 4467836 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.29
Current children cumulated vsize (KiB) 305564

[startup+1.50087 s]
/proc/loadavg: 1.27 1.06 1.01 9/474 11018
/proc/meminfo: memFree=6482352/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=315248 CPUtime=11.67 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 23330 0 0 0 1163 4 0 0 25 0 8 0 802701148 322813952 12979 33554432000 4194304 4625164 140737197737696 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 78812 12979 351 106 0 74315 0
[pid=11010/tid=11011] ppid=11008 vsize=315248 CPUtime=1.46 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 2324 0 0 0 146 0 0 0 25 0 8 0 802701148 322813952 12979 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=315248 CPUtime=1.39 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 2124 0 0 0 139 0 0 0 25 0 8 0 802701148 322813952 12979 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=315248 CPUtime=1.48 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 6857 0 0 0 147 1 0 0 25 0 8 0 802701148 322813952 12980 33554432000 4194304 4625164 140737197737696 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=315248 CPUtime=1.49 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 2356 0 0 0 149 0 0 0 25 0 8 0 802701148 322813952 12980 33554432000 4194304 4625164 140737197737696 18446744073709551615 4463482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=315248 CPUtime=1.48 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 2457 0 0 0 148 0 0 0 25 0 8 0 802701148 322813952 12980 33554432000 4194304 4625164 140737197737696 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=315248 CPUtime=1.47 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 3086 0 0 0 147 0 0 0 25 0 8 0 802701148 322813952 12980 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=315248 CPUtime=1.48 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 2417 0 0 0 148 0 0 0 25 0 8 0 802701148 322813952 12980 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351844 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.67
Current children cumulated vsize (KiB) 315248

[startup+3.10059 s]
/proc/loadavg: 1.27 1.06 1.01 9/474 11018
/proc/meminfo: memFree=6460864/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=324368 CPUtime=24.45 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 37112 0 0 0 2438 7 0 0 25 0 8 0 802701148 332152832 19572 33554432000 4194304 4625164 140737197737696 18446744073709551615 4512854 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 81092 19572 361 106 0 76595 0
[pid=11010/tid=11011] ppid=11008 vsize=324368 CPUtime=3.03 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 3823 0 0 0 303 0 0 0 25 0 8 0 802701148 332152832 19572 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=324368 CPUtime=2.99 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 3485 0 0 0 299 0 0 0 25 0 8 0 802701148 332152832 19572 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=324368 CPUtime=3.08 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 12566 0 0 0 306 2 0 0 25 0 8 0 802701148 332152832 19572 33554432000 4194304 4625164 140737197737696 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=324368 CPUtime=3.09 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 3668 0 0 0 309 0 0 0 25 0 8 0 802701148 332152832 19572 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=324368 CPUtime=3.08 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 3790 0 0 0 308 0 0 0 25 0 8 0 802701148 332152832 19572 33554432000 4194304 4625164 140737197737696 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=324368 CPUtime=3.08 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 3520 0 0 0 307 1 0 0 25 0 8 0 802701148 332152832 19572 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=324368 CPUtime=3.07 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 3886 0 0 0 307 0 0 0 25 0 8 0 802701148 332152832 19572 33554432000 4194304 4625164 140737197737696 18446744073709551615 4353247 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 24.45
Current children cumulated vsize (KiB) 324368

[startup+6.30102 s]
/proc/loadavg: 1.80 1.17 1.05 9/474 11018
/proc/meminfo: memFree=6418712/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=350448 CPUtime=49.99 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 61310 0 0 0 4989 10 0 0 25 0 8 0 802701148 358858752 29156 33554432000 4194304 4625164 140737197737696 18446744073709551615 4392937 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 87612 29156 376 106 0 83115 0
[pid=11010/tid=11011] ppid=11008 vsize=350448 CPUtime=6.18 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 5795 0 0 0 618 0 0 0 25 0 8 0 802701148 358858752 29156 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=350448 CPUtime=6.18 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 7318 0 0 0 618 0 0 0 25 0 8 0 802701148 358858752 29156 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=350448 CPUtime=6.28 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 22084 0 0 0 624 4 0 0 25 0 8 0 802701148 358858752 29156 33554432000 4194304 4625164 140737197737696 18446744073709551615 4579598 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=350448 CPUtime=6.28 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 5883 0 0 0 628 0 0 0 25 0 8 0 802701148 358858752 29156 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=350448 CPUtime=6.28 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 5583 0 0 0 628 0 0 0 25 0 8 0 802701148 358858752 29156 33554432000 4194304 4625164 140737197737696 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=350448 CPUtime=6.27 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 5125 0 0 0 626 1 0 0 25 0 8 0 802701148 358858752 29156 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351967 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=350448 CPUtime=6.28 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 6106 0 0 0 627 1 0 0 25 0 8 0 802701148 358858752 29156 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0

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

[pid=11010/tid=11012] ppid=11008 vsize=4440936 CPUtime=4662.11 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 227423 0 0 0 466165 46 0 0 25 0 8 0 802701148 4547518464 888852 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=4440936 CPUtime=4648.84 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 8063577 0 0 0 463585 1299 0 0 25 0 8 0 802701148 4547518464 888852 33554432000 4194304 4625164 140737197737696 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=4440936 CPUtime=4662.05 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 253160 0 0 0 466150 55 0 0 25 0 8 0 802701148 4547518464 888852 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=4440936 CPUtime=4633.83 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 91484 0 0 0 463361 22 0 0 25 0 8 0 802701148 4547518464 888852 33554432000 4194304 4625164 140737197737696 18446744073709551615 4349019 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=4440936 CPUtime=4659.48 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 55170 0 0 0 465916 32 0 0 25 0 8 0 802701148 4547518464 888852 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=4440936 CPUtime=4662.21 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 270535 0 0 0 466172 49 0 0 25 0 8 0 802701148 4547518464 888852 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37221.9
Current children cumulated vsize (KiB) 4440936

[startup+4722.3 s]
/proc/loadavg: 8.06 8.09 8.00 9/474 11196
/proc/meminfo: memFree=2934596/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=4586012 CPUtime=37701 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 10398080 0 0 0 3768319 1780 0 0 25 0 8 0 802701148 4696076288 896643 33554432000 4194304 4625164 140737197737696 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 1146503 896643 427 106 0 1142006 0
[pid=11010/tid=11011] ppid=11008 vsize=4586012 CPUtime=4691.06 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 238806 0 0 0 469053 53 0 0 25 0 8 0 802701148 4696076288 896643 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=4586012 CPUtime=4722.13 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 304594 0 0 0 472156 57 0 0 25 0 8 0 802701148 4696076288 896643 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=4586012 CPUtime=4708.86 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 8158165 0 0 0 469571 1315 0 0 25 0 8 0 802701148 4696076288 896643 33554432000 4194304 4625164 140737197737696 18446744073709551615 4579595 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=4586012 CPUtime=4722.06 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 253287 0 0 0 472151 55 0 0 25 0 8 0 802701148 4696076288 896643 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=4586012 CPUtime=4692.89 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 91649 0 0 0 469267 22 0 0 25 0 8 0 802701148 4696076288 896643 33554432000 4194304 4625164 140737197737696 18446744073709551615 4348867 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=4586012 CPUtime=4719.47 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 55170 0 0 0 471915 32 0 0 25 0 8 0 802701148 4696076288 896643 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=4586012 CPUtime=4722.23 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 270825 0 0 0 472174 49 0 0 25 0 8 0 802701148 4696076288 896643 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37701
Current children cumulated vsize (KiB) 4586012

[startup+4782.3 s]
/proc/loadavg: 8.02 8.07 8.00 9/474 11197
/proc/meminfo: memFree=2896724/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=4588196 CPUtime=38180 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 10501097 0 0 0 3816203 1796 0 0 25 0 8 0 802701148 4698312704 906538 33554432000 4194304 4625164 140737197737696 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 1147049 906538 737 106 0 1142552 0
[pid=11010/tid=11011] ppid=11008 vsize=4588196 CPUtime=4751.05 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 238962 0 0 0 475052 53 0 0 25 0 8 0 802701148 4698312704 906538 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=4588196 CPUtime=4782.12 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 304782 0 0 0 478154 58 0 0 25 0 8 0 802701148 4698312704 906538 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=4588196 CPUtime=4768.83 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 8253766 0 0 0 475554 1329 0 0 25 0 8 0 802701148 4698312704 906538 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=4588196 CPUtime=4782.05 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 254217 0 0 0 478150 55 0 0 25 0 8 0 802701148 4698312704 906538 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351801 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=4588196 CPUtime=4751.96 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 91806 0 0 0 475173 23 0 0 25 0 8 0 802701148 4698312704 906538 33554432000 4194304 4625164 140737197737696 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=4588196 CPUtime=4779.44 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 55337 0 0 0 477912 32 0 0 25 0 8 0 802701148 4698312704 906538 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=4588196 CPUtime=4782.22 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 271270 0 0 0 478173 49 0 0 25 0 8 0 802701148 4698312704 906538 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38180
Current children cumulated vsize (KiB) 4588196

[startup+4842.32 s]
/proc/loadavg: 8.05 8.07 8.00 9/474 11199
/proc/meminfo: memFree=2888876/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=4592648 CPUtime=38659.2 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 10595005 0 0 0 3864106 1812 0 0 25 0 8 0 802701148 4702871552 908234 33554432000 4194304 4625164 140737197737696 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 1148162 908234 718 106 0 1143665 0
[pid=11010/tid=11011] ppid=11008 vsize=4592648 CPUtime=4811.06 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 239171 0 0 0 481053 53 0 0 25 0 8 0 802701148 4702871552 908234 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=4592648 CPUtime=4842.14 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 304855 0 0 0 484156 58 0 0 25 0 8 0 802701148 4702871552 908234 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351811 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=4592648 CPUtime=4828.85 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 8339869 0 0 0 481543 1342 0 0 25 0 8 0 802701148 4702871552 908234 33554432000 4194304 4625164 140737197737696 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=4592648 CPUtime=4842.06 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 254425 0 0 0 484151 55 0 0 25 0 8 0 802701148 4702871552 908234 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=4592648 CPUtime=4811.03 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 92147 0 0 0 481080 23 0 0 25 0 8 0 802701148 4702871552 908234 33554432000 4194304 4625164 140737197737696 18446744073709551615 4348832 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=4592648 CPUtime=4839.45 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 55381 0 0 0 483913 32 0 0 25 0 8 0 802701148 4702871552 908234 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=4592648 CPUtime=4842.23 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 271369 0 0 0 484174 49 0 0 25 0 8 0 802701148 4702871552 908234 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38659.2
Current children cumulated vsize (KiB) 4592648

[startup+4902.3 s]
/proc/loadavg: 8.05 8.07 8.00 9/474 11208
/proc/meminfo: memFree=2838476/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=4592648 CPUtime=39137.9 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 10690150 0 0 0 3911967 1827 0 0 25 0 8 0 802701148 4702871552 920928 33554432000 4194304 4625164 140737197737696 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 1148162 920928 602 106 0 1143665 0
[pid=11010/tid=11011] ppid=11008 vsize=4592648 CPUtime=4871.04 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 239288 0 0 0 487051 53 0 0 25 0 8 0 802701148 4702871552 920928 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=4592648 CPUtime=4902.12 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 306709 0 0 0 490154 58 0 0 25 0 8 0 802701148 4702871552 920928 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=4592648 CPUtime=4888.84 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 8424956 0 0 0 487528 1356 0 0 25 0 8 0 802701148 4702871552 920928 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=4592648 CPUtime=4902.05 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 254563 0 0 0 490149 56 0 0 25 0 8 0 802701148 4702871552 920928 33554432000 4194304 4625164 140737197737696 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=4592648 CPUtime=4870.08 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 92510 0 0 0 486985 23 0 0 25 0 8 0 802701148 4702871552 920928 33554432000 4194304 4625164 140737197737696 18446744073709551615 4348941 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=4592648 CPUtime=4899.41 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 55381 0 0 0 489909 32 0 0 25 0 8 0 802701148 4702871552 920928 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=4592648 CPUtime=4902.09 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 277281 0 0 0 490158 51 0 0 25 0 8 0 802701148 4702871552 920928 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39137.9
Current children cumulated vsize (KiB) 4592648

[startup+4962.3 s]
/proc/loadavg: 8.05 8.07 8.00 9/474 11223
/proc/meminfo: memFree=2818324/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=4597224 CPUtime=39616.8 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 10776475 0 0 0 3959840 1841 0 0 25 0 8 0 802701148 4707557376 925521 33554432000 4194304 4625164 140737197737696 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 1149306 925521 609 106 0 1144809 0
[pid=11010/tid=11011] ppid=11008 vsize=4597224 CPUtime=4930.99 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 239390 0 0 0 493046 53 0 0 25 0 8 0 802701148 4707557376 925521 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=4597224 CPUtime=4962.11 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 306805 0 0 0 496153 58 0 0 25 0 8 0 802701148 4707557376 925521 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=4597224 CPUtime=4948.83 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 8509014 0 0 0 493515 1368 0 0 25 0 8 0 802701148 4707557376 925521 33554432000 4194304 4625164 140737197737696 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=4597224 CPUtime=4961.95 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 254719 0 0 0 496139 56 0 0 25 0 8 0 802701148 4707557376 925521 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=4597224 CPUtime=4929.11 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 92959 0 0 0 492888 23 0 0 25 0 8 0 802701148 4707557376 925521 33554432000 4194304 4625164 140737197737696 18446744073709551615 4348844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=4597224 CPUtime=4959.41 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 55381 0 0 0 495908 33 0 0 25 0 8 0 802701148 4707557376 925521 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=4597224 CPUtime=4962.09 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 277792 0 0 0 496158 51 0 0 25 0 8 0 802701148 4707557376 925521 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39616.8
Current children cumulated vsize (KiB) 4597224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5010.3 s]
/proc/loadavg: 8.06 8.07 8.00 9/474 11224
/proc/meminfo: memFree=2816560/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=4603660 CPUtime=40000.1 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) R 11008 11010 10984 0 -1 4202496 10885391 0 0 0 3998156 1858 0 0 25 0 8 0 802701148 4714147840 926047 33554432000 4194304 4625164 140737197737696 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 1150915 926047 403 106 0 1146418 0
[pid=11010/tid=11011] ppid=11008 vsize=4603660 CPUtime=4979.02 cores=0-7
/proc/11010/task/11011/stat : 11011 (SArTagnan) R 11008 11010 10984 0 -1 4202560 240720 0 0 0 497848 54 0 0 25 0 8 0 802701148 4714147840 926047 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11010/tid=11012] ppid=11008 vsize=4603660 CPUtime=5010.13 cores=0-7
/proc/11010/task/11012/stat : 11012 (SArTagnan) R 11008 11010 10984 0 -1 4202560 306867 0 0 0 500955 58 0 0 25 0 8 0 802701148 4714147840 926047 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11010/tid=11013] ppid=11008 vsize=4603660 CPUtime=4996.85 cores=0-7
/proc/11010/task/11013/stat : 11013 (SArTagnan) R 11008 11010 10984 0 -1 4202560 8614722 0 0 0 498301 1384 0 0 25 0 8 0 802701148 4714147840 926047 33554432000 4194304 4625164 140737197737696 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11010/tid=11014] ppid=11008 vsize=4603660 CPUtime=5009.97 cores=0-7
/proc/11010/task/11014/stat : 11014 (SArTagnan) R 11008 11010 10984 0 -1 4202560 254814 0 0 0 500941 56 0 0 25 0 8 0 802701148 4714147840 926047 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11010/tid=11015] ppid=11008 vsize=4603660 CPUtime=4976.38 cores=0-7
/proc/11010/task/11015/stat : 11015 (SArTagnan) R 11008 11010 10984 0 -1 4202560 93320 0 0 0 497614 24 0 0 25 0 8 0 802701148 4714147840 926047 33554432000 4194304 4625164 140737197737696 18446744073709551615 4348864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11010/tid=11016] ppid=11008 vsize=4603660 CPUtime=5007.41 cores=0-7
/proc/11010/task/11016/stat : 11016 (SArTagnan) R 11008 11010 10984 0 -1 4202560 55381 0 0 0 500708 33 0 0 25 0 8 0 802701148 4714147840 926047 33554432000 4194304 4625164 140737197737696 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11010/tid=11017] ppid=11008 vsize=4603660 CPUtime=5010.11 cores=0-7
/proc/11010/task/11017/stat : 11017 (SArTagnan) R 11008 11010 10984 0 -1 4202560 278489 0 0 0 500960 51 0 0 25 0 8 0 802701148 4714147840 926047 33554432000 4194304 4625164 140737197737696 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 40000.1
Current children cumulated vsize (KiB) 4603660

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

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

[startup+5010.5 s]
/proc/loadavg: 8.06 8.07 8.00 2/469 11226
/proc/meminfo: memFree=6393132/32950928 swapFree=61858088/67111528
[pid=11010] ppid=11008 vsize=0 CPUtime=40000.4 cores=0-7
/proc/11010/stat : 11010 (SArTagnan) Z 11008 11010 10984 0 -1 4203548 10885391 0 0 0 3998166 1877 0 0 25 0 1 0 802701148 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/11010/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5010.52
CPU time (s): 40000.4
CPU user time (s): 39981.7
CPU system time (s): 18.7701
CPU usage (%): 798.329
Max. virtual memory (cumulated for all children) (KiB): 4921008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39981.7
system time used= 18.7701
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10885391
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= 4576
involuntary context switches= 173691

runsolver used 21.6227 second user time and 57.0743 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-01 08:50:15
IDJOB=3438316
IDBENCH=20442
IDSOLVER=1936
FILE ID=node125/3438316-1306911015
RUNJOBID= node125-1306911015-10998
PBS_JOBID= 13488506
Free space on /tmp= 59008 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT07/crafted/spence/hard/s113-100.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438316-1306911015/watcher-3438316-1306911015 -o /tmp/evaluation-result-3438316-1306911015/solver-3438316-1306911015 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3438316-1306911015.cnf -threads=8

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

MD5SUM BENCH= 346cb413e25976ab9ce2952e1d53c865
RANDOM SEED=1238054935

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       6527700 kB
Buffers:        294660 kB
Cached:       17097504 kB
SwapCached:       3520 kB
Active:       14099604 kB
Inactive:     11660860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       6527700 kB
SwapTotal:    67111528 kB
SwapFree:     61858088 kB
Dirty:             756 kB
Writeback:           0 kB
AnonPages:     8366752 kB
Mapped:          33364 kB
Slab:           531356 kB
PageTables:      61068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 129995744 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= 59004 MiB
End job on node125 at 2011-06-01 10:13:47