Trace number 3386040

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) 4800.31 1204.98

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-14-26-sat.cnf
MD5SUM1e53251276ed6dee048eca4aa337d77b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables364
Number of clauses2562
Sum of the clauses size9828
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22366
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5196

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3386040-1305581538/watcher-3386040-1305581538 -o /tmp/evaluation-result-3386040-1305581538/solver-3386040-1305581538 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386040-1305581538.cnf -threads=4 

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

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


[startup+0 s]
/proc/loadavg: 8.27 8.12 7.77 5/481 11194
/proc/meminfo: memFree=14725000/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=180900 CPUtime=0.01 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 741 0 0 0 1 0 0 0 18 0 4 0 669750502 185241600 642 33554432000 4194304 4625164 140733494712944 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 45225 642 341 106 0 40728 0
[pid=11194/tid=11195] ppid=11192 vsize=181276 CPUtime=0 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 22 0 0 0 0 0 0 0 25 0 4 0 669750502 185626624 760 33554432000 4194304 4625164 140733494712944 18446744073709551615 254500796910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=181276 CPUtime=0.01 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 92 0 0 0 1 0 0 0 25 0 4 0 669750502 185626624 760 33554432000 4194304 4625164 140733494712944 18446744073709551615 4464215 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=181276 CPUtime=0.01 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 84 0 0 0 1 0 0 0 18 0 4 0 669750502 185626624 760 33554432000 4194304 4625164 140733494712944 18446744073709551615 4339137 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.109646 s]
/proc/loadavg: 8.27 8.12 7.77 5/481 11194
/proc/meminfo: memFree=14725000/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=184188 CPUtime=0.39 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 3267 0 0 0 39 0 0 0 18 0 4 0 669750502 188608512 2527 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393055 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 46047 2528 342 106 0 41550 0
[pid=11194/tid=11195] ppid=11192 vsize=184188 CPUtime=0.08 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 469 0 0 0 8 0 0 0 25 0 4 0 669750502 188608512 2528 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=184188 CPUtime=0.1 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 639 0 0 0 10 0 0 0 25 0 4 0 669750502 188608512 2528 33554432000 4194304 4625164 140733494712944 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=184188 CPUtime=0.1 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 471 0 0 0 10 0 0 0 18 0 4 0 669750502 188608512 2528 33554432000 4194304 4625164 140733494712944 18446744073709551615 4547836 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 184188

[startup+0.200628 s]
/proc/loadavg: 8.27 8.12 7.77 5/481 11194
/proc/meminfo: memFree=14725000/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=186132 CPUtime=0.75 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 4956 0 0 0 75 0 0 0 18 0 4 0 669750502 190599168 3843 33554432000 4194304 4625164 140733494712944 18446744073709551615 4338094 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 46533 3844 343 106 0 42036 0
[pid=11194/tid=11195] ppid=11192 vsize=186132 CPUtime=0.17 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 671 0 0 0 17 0 0 0 25 0 4 0 669750502 190599168 3844 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=186132 CPUtime=0.19 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 983 0 0 0 19 0 0 0 25 0 4 0 669750502 190599168 3844 33554432000 4194304 4625164 140733494712944 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=186132 CPUtime=0.19 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 796 0 0 0 19 0 0 0 18 0 4 0 669750502 190599168 3844 33554432000 4194304 4625164 140733494712944 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 186132

[startup+0.300611 s]
/proc/loadavg: 8.27 8.12 7.77 5/481 11194
/proc/meminfo: memFree=14725000/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=187644 CPUtime=1.16 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 5897 0 0 0 115 1 0 0 18 0 4 0 669750502 192147456 4782 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 46911 4783 348 106 0 42414 0
[pid=11194/tid=11195] ppid=11192 vsize=187644 CPUtime=0.27 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1008 0 0 0 27 0 0 0 25 0 4 0 669750502 192147456 4783 33554432000 4194304 4625164 140733494712944 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=187644 CPUtime=0.29 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1311 0 0 0 29 0 0 0 25 0 4 0 669750502 192147456 4783 33554432000 4194304 4625164 140733494712944 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=187644 CPUtime=0.29 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1009 0 0 0 29 0 0 0 18 0 4 0 669750502 192147456 4783 33554432000 4194304 4625164 140733494712944 18446744073709551615 254500349680 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 187644

[startup+0.700529 s]
/proc/loadavg: 8.27 8.12 7.77 5/481 11194
/proc/meminfo: memFree=14725000/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=259432 CPUtime=2.76 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 9722 0 0 0 275 1 0 0 18 0 4 0 669750502 265658368 7954 33554432000 4194304 4625164 140733494712944 18446744073709551615 46935536146982 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 64858 7954 342 106 0 60361 0
[pid=11194/tid=11195] ppid=11192 vsize=259432 CPUtime=0.67 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 2000 0 0 0 67 0 0 0 25 0 4 0 669750502 265658368 7954 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=259432 CPUtime=0.68 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 2305 0 0 0 68 0 0 0 25 0 4 0 669750502 265658368 7954 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351747 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=259432 CPUtime=0.68 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1867 0 0 0 68 0 0 0 18 0 4 0 669750502 265658368 7954 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 259432

[startup+1.50037 s]
/proc/loadavg: 8.27 8.12 7.77 9/485 11198
/proc/meminfo: memFree=14671112/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=267532 CPUtime=5.94 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 20092 0 0 0 591 3 0 0 20 0 4 0 669750502 273952768 14344 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 66883 14344 342 106 0 62386 0
[pid=11194/tid=11195] ppid=11192 vsize=267532 CPUtime=1.45 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 4787 0 0 0 145 0 0 0 25 0 4 0 669750502 273952768 14344 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=267532 CPUtime=1.49 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 5642 0 0 0 148 1 0 0 25 0 4 0 669750502 273952768 14344 33554432000 4194304 4625164 140733494712944 18446744073709551615 4339660 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=267532 CPUtime=1.48 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 2656 0 0 0 148 0 0 0 20 0 4 0 669750502 273952768 14344 33554432000 4194304 4625164 140733494712944 18446744073709551615 4546825 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 267532

[startup+3.10105 s]
/proc/loadavg: 8.27 8.12 7.77 9/485 11198
/proc/meminfo: memFree=14637632/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=283192 CPUtime=12.32 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 30352 0 0 0 1227 5 0 0 25 0 4 0 669750502 289988608 22062 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393068 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 70798 22062 397 106 0 66301 0
[pid=11194/tid=11195] ppid=11192 vsize=283192 CPUtime=3.04 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 8213 0 0 0 303 1 0 0 25 0 4 0 669750502 289988608 22062 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=283192 CPUtime=3.09 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 9801 0 0 0 307 2 0 0 25 0 4 0 669750502 289988608 22062 33554432000 4194304 4625164 140733494712944 18446744073709551615 4352855 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=283192 CPUtime=3.08 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 5062 0 0 0 308 0 0 0 25 0 4 0 669750502 289988608 22062 33554432000 4194304 4625164 140733494712944 18446744073709551615 4547836 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 283192

[startup+6.30042 s]
/proc/loadavg: 8.33 8.14 7.77 9/485 11198
/proc/meminfo: memFree=14566844/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=302792 CPUtime=25.07 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 48271 0 0 0 2499 8 0 0 25 0 4 0 669750502 310059008 31574 33554432000 4194304 4625164 140733494712944 18446744073709551615 4338090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 75698 31575 343 106 0 71201 0
[pid=11194/tid=11195] ppid=11192 vsize=302792 CPUtime=6.19 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 13262 0 0 0 617 2 0 0 25 0 4 0 669750502 310059008 31576 33554432000 4194304 4625164 140733494712944 18446744073709551615 4462644 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=302792 CPUtime=6.29 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 14617 0 0 0 626 3 0 0 25 0 4 0 669750502 310059008 31576 33554432000 4194304 4625164 140733494712944 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=302792 CPUtime=6.28 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 10193 0 0 0 627 1 0 0 25 0 4 0 669750502 310059008 31576 33554432000 4194304 4625164 140733494712944 18446744073709551615 254500389056 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 302792

[startup+12.7011 s]
/proc/loadavg: 8.30 8.13 7.78 9/485 11198
/proc/meminfo: memFree=14461148/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=342976 CPUtime=50.56 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 84099 0 0 0 5040 16 0 0 25 0 4 0 669750502 351207424 48188 33554432000 4194304 4625164 140733494712944 18446744073709551615 4338085 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 85744 48188 343 106 0 81247 0
[pid=11194/tid=11195] ppid=11192 vsize=342976 CPUtime=12.48 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 20561 0 0 0 1243 5 0 0 25 0 4 0 669750502 351207424 48188 33554432000 4194304 4625164 140733494712944 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=342976 CPUtime=12.68 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 28444 0 0 0 1263 5 0 0 25 0 4 0 669750502 351207424 48188 33554432000 4194304 4625164 140733494712944 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=342976 CPUtime=12.69 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 20263 0 0 0 1266 3 0 0 25 0 4 0 669750502 351207424 48188 33554432000 4194304 4625164 140733494712944 18446744073709551615 254500346902 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 342976

[startup+25.5006 s]
/proc/loadavg: 8.23 8.13 7.78 9/485 11199
/proc/meminfo: memFree=14294624/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=456744 CPUtime=101.56 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 130189 0 0 0 10128 28 0 0 25 0 4 0 669750502 467705856 74042 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393051 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 114186 74042 343 106 0 109689 0
[pid=11194/tid=11195] ppid=11192 vsize=456744 CPUtime=25.08 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 33013 0 0 0 2500 8 0 0 25 0 4 0 669750502 467705856 74042 33554432000 4194304 4625164 140733494712944 18446744073709551615 4464320 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=456744 CPUtime=25.48 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 44982 0 0 0 2537 11 0 0 25 0 4 0 669750502 467705856 74044 33554432000 4194304 4625164 140733494712944 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=456744 CPUtime=25.48 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 35182 0 0 0 2543 5 0 0 25 0 4 0 669750502 467705856 74044 33554432000 4194304 4625164 140733494712944 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 456744

[startup+51.1005 s]
/proc/loadavg: 8.21 8.13 7.79 9/485 11199
/proc/meminfo: memFree=14038788/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=591420 CPUtime=203.56 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 233332 0 0 0 20300 56 0 0 25 0 4 0 669750502 605614080 118813 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 147855 118813 394 106 0 143358 0
[pid=11194/tid=11195] ppid=11192 vsize=591420 CPUtime=50.28 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 53909 0 0 0 5012 16 0 0 25 0 4 0 669750502 605614080 118813 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=591420 CPUtime=51.08 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 72454 0 0 0 5087 21 0 0 25 0 4 0 669750502 605614080 118813 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=591420 CPUtime=51.08 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 83111 0 0 0 5095 13 0 0 25 0 4 0 669750502 605614080 118813 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.56
Current children cumulated vsize (KiB) 591420

[startup+102.301 s]
/proc/loadavg: 8.26 8.15 7.81 9/485 11201
/proc/meminfo: memFree=13674696/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=860156 CPUtime=407.61 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 366866 0 0 0 40666 95 0 0 25 0 4 0 669750502 880799744 177781 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 215039 177781 1186 106 0 210542 0
[pid=11194/tid=11195] ppid=11192 vsize=860156 CPUtime=100.68 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 79001 0 0 0 10039 29 0 0 25 0 4 0 669750502 880799744 177836 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=860156 CPUtime=102.3 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 100682 0 0 0 10196 34 0 0 25 0 4 0 669750502 880799744 177844 33554432000 4194304 4625164 140733494712944 18446744073709551615 4339865 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=860156 CPUtime=102.3 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 154893 0 0 0 10205 25 0 0 25 0 4 0 669750502 880799744 177851 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.61
Current children cumulated vsize (KiB) 860156

[startup+162.3 s]

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

[pid=11194] ppid=11192 vsize=1601064 CPUtime=2558.88 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 1401675 0 0 0 255550 338 0 0 25 0 4 0 669750502 1639489536 332516 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 400266 332516 492 106 0 395769 0
[pid=11194/tid=11195] ppid=11192 vsize=1601064 CPUtime=631.92 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150249 0 0 0 63121 71 0 0 25 0 4 0 669750502 1639489536 332516 33554432000 4194304 4625164 140733494712944 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1601064 CPUtime=642.3 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 196337 0 0 0 64150 80 0 0 25 0 4 0 669750502 1639489536 332516 33554432000 4194304 4625164 140733494712944 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1601064 CPUtime=642.31 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 944543 0 0 0 64061 170 0 0 25 0 4 0 669750502 1639489536 332516 33554432000 4194304 4625164 140733494712944 18446744073709551615 4547872 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2558.88
Current children cumulated vsize (KiB) 1601064

[startup+702.301 s]
/proc/loadavg: 8.06 8.10 7.93 9/485 11217
/proc/meminfo: memFree=12183072/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=1601196 CPUtime=2797.9 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 1545118 0 0 0 279426 364 0 0 25 0 4 0 669750502 1639624704 335573 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393112 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 400299 335573 507 106 0 395802 0
[pid=11194/tid=11195] ppid=11192 vsize=1601196 CPUtime=690.93 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150257 0 0 0 69022 71 0 0 25 0 4 0 669750502 1639624704 335573 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1601196 CPUtime=702.3 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 196342 0 0 0 70150 80 0 0 25 0 4 0 669750502 1639624704 335573 33554432000 4194304 4625164 140733494712944 18446744073709551615 4330844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1601196 CPUtime=702.32 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1086715 0 0 0 70036 196 0 0 25 0 4 0 669750502 1639624704 335573 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351958 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2797.9
Current children cumulated vsize (KiB) 1601196

[startup+762.301 s]
/proc/loadavg: 8.02 8.08 7.93 9/485 11218
/proc/meminfo: memFree=12082964/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=1683372 CPUtime=3036.98 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 1626231 0 0 0 303320 378 0 0 25 0 4 0 669750502 1723772928 341912 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393097 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 420843 341912 492 106 0 416346 0
[pid=11194/tid=11195] ppid=11192 vsize=1683372 CPUtime=749.96 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150264 0 0 0 74925 71 0 0 25 0 4 0 669750502 1723772928 341912 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1683372 CPUtime=762.33 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 196635 0 0 0 76153 80 0 0 25 0 4 0 669750502 1723772928 341912 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1683372 CPUtime=762.33 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1165091 0 0 0 76024 209 0 0 25 0 4 0 669750502 1723772928 341912 33554432000 4194304 4625164 140733494712944 18446744073709551615 4352085 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3036.98
Current children cumulated vsize (KiB) 1683372

[startup+822.3 s]
/proc/loadavg: 8.14 8.09 7.94 9/485 11220
/proc/meminfo: memFree=11996376/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=1749156 CPUtime=3275.96 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 1747451 0 0 0 327197 399 0 0 25 0 4 0 669750502 1791135744 347980 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393121 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 437289 347980 492 106 0 432792 0
[pid=11194/tid=11195] ppid=11192 vsize=1749156 CPUtime=808.98 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150299 0 0 0 80827 71 0 0 25 0 4 0 669750502 1791135744 347980 33554432000 4194304 4625164 140733494712944 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1749156 CPUtime=822.31 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 197014 0 0 0 82151 80 0 0 25 0 4 0 669750502 1791135744 347980 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1749156 CPUtime=822.31 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1247970 0 0 0 82007 224 0 0 25 0 4 0 669750502 1791135744 347980 33554432000 4194304 4625164 140733494712944 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3275.96
Current children cumulated vsize (KiB) 1749156

[startup+882.318 s]
/proc/loadavg: 8.17 8.10 7.95 9/485 11221
/proc/meminfo: memFree=11897132/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=1749156 CPUtime=3515.04 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 1864125 0 0 0 351084 420 0 0 25 0 4 0 669750502 1791135744 349871 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 437289 349871 492 106 0 432792 0
[pid=11194/tid=11195] ppid=11192 vsize=1749156 CPUtime=868.01 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150307 0 0 0 86730 71 0 0 25 0 4 0 669750502 1791135744 349871 33554432000 4194304 4625164 140733494712944 18446744073709551615 4488064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1749156 CPUtime=882.33 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 197193 0 0 0 88153 80 0 0 25 0 4 0 669750502 1791135744 349871 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1749156 CPUtime=882.33 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1363473 0 0 0 87987 246 0 0 25 0 4 0 669750502 1791135744 349871 33554432000 4194304 4625164 140733494712944 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3515.04
Current children cumulated vsize (KiB) 1749156

[startup+942.3 s]
/proc/loadavg: 8.17 8.11 7.96 9/485 11223
/proc/meminfo: memFree=11806580/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=1717136 CPUtime=3754.02 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 2011276 0 0 0 374953 449 0 0 25 0 4 0 669750502 1758347264 349227 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 429284 349227 452 106 0 424787 0
[pid=11194/tid=11195] ppid=11192 vsize=1717136 CPUtime=927.02 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150325 0 0 0 92631 71 0 0 25 0 4 0 669750502 1758347264 349227 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1717136 CPUtime=942.31 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 197367 0 0 0 94151 80 0 0 25 0 4 0 669750502 1758347264 349227 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1717136 CPUtime=942.32 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1504042 0 0 0 93958 274 0 0 25 0 4 0 669750502 1758347264 349227 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3754.02
Current children cumulated vsize (KiB) 1717136

[startup+1002.3 s]
/proc/loadavg: 8.16 8.12 7.97 9/485 11225
/proc/meminfo: memFree=11731144/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=1717136 CPUtime=3993.04 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 2176422 0 0 0 398826 478 0 0 25 0 4 0 669750502 1758347264 352932 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 429284 352932 480 106 0 424787 0
[pid=11194/tid=11195] ppid=11192 vsize=1717136 CPUtime=986.03 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150348 0 0 0 98532 71 0 0 25 0 4 0 669750502 1758347264 352932 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1717136 CPUtime=1002.32 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 197566 0 0 0 100151 81 0 0 25 0 4 0 669750502 1758347264 352932 33554432000 4194304 4625164 140733494712944 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1717136 CPUtime=1002.33 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1668097 0 0 0 99930 303 0 0 25 0 4 0 669750502 1758347264 352932 33554432000 4194304 4625164 140733494712944 18446744073709551615 4552423 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3993.04
Current children cumulated vsize (KiB) 1717136

[startup+1062.3 s]
/proc/loadavg: 8.19 8.14 7.98 9/485 11226
/proc/meminfo: memFree=11676428/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=1717136 CPUtime=4232.07 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 2309505 0 0 0 422704 503 0 0 25 0 4 0 669750502 1758347264 354694 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 429284 354694 452 106 0 424787 0
[pid=11194/tid=11195] ppid=11192 vsize=1717136 CPUtime=1045.06 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150373 0 0 0 104435 71 0 0 25 0 4 0 669750502 1758347264 354694 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1717136 CPUtime=1062.32 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 197738 0 0 0 106151 81 0 0 25 0 4 0 669750502 1758347264 354694 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1717136 CPUtime=1062.32 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1800164 0 0 0 105905 327 0 0 25 0 4 0 669750502 1758347264 354694 33554432000 4194304 4625164 140733494712944 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4232.07
Current children cumulated vsize (KiB) 1717136

[startup+1122.3 s]
/proc/loadavg: 8.28 8.17 8.00 9/485 11228
/proc/meminfo: memFree=11643904/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=1717136 CPUtime=4471.1 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 2434628 0 0 0 446583 527 0 0 25 0 4 0 669750502 1758347264 358298 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 429284 358298 468 106 0 424787 0
[pid=11194/tid=11195] ppid=11192 vsize=1717136 CPUtime=1104.08 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150393 0 0 0 110337 71 0 0 25 0 4 0 669750502 1758347264 358298 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1717136 CPUtime=1122.33 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 197907 0 0 0 112152 81 0 0 25 0 4 0 669750502 1758347264 358298 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1717136 CPUtime=1122.32 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 1924461 0 0 0 111882 350 0 0 25 0 4 0 669750502 1758347264 358298 33554432000 4194304 4625164 140733494712944 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4471.1
Current children cumulated vsize (KiB) 1717136

[startup+1182.3 s]
/proc/loadavg: 8.24 8.18 8.01 9/485 11229
/proc/meminfo: memFree=11558916/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=1717136 CPUtime=4710.14 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 2571590 0 0 0 470464 550 0 0 25 0 4 0 669750502 1758347264 360271 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393094 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 429284 360271 452 106 0 424787 0
[pid=11194/tid=11195] ppid=11192 vsize=1717136 CPUtime=1163.11 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150413 0 0 0 116240 71 0 0 25 0 4 0 669750502 1758347264 360271 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1717136 CPUtime=1182.33 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 198073 0 0 0 118152 81 0 0 25 0 4 0 669750502 1758347264 360271 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1717136 CPUtime=1182.33 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 2060087 0 0 0 117860 373 0 0 25 0 4 0 669750502 1758347264 360271 33554432000 4194304 4625164 140733494712944 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4710.14
Current children cumulated vsize (KiB) 1717136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.9 s]
/proc/loadavg: 7.90 8.12 8.00 5/477 11248
/proc/meminfo: memFree=13329648/32950928 swapFree=45358800/67111528
[pid=11194] ppid=11192 vsize=1717136 CPUtime=4800.2 cores=1,3,5,7
/proc/11194/stat : 11194 (SArTagnan) R 11192 11194 10402 0 -1 4202496 2612083 0 0 0 479462 558 0 0 25 0 4 0 669750502 1758347264 361363 33554432000 4194304 4625164 140733494712944 18446744073709551615 4393112 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11194/statm: 429284 361363 452 106 0 424787 0
[pid=11194/tid=11195] ppid=11192 vsize=1717136 CPUtime=1185.33 cores=1,3,5,7
/proc/11194/task/11195/stat : 11195 (SArTagnan) R 11192 11194 10402 0 -1 4202560 150421 0 0 0 118462 71 0 0 25 0 4 0 669750502 1758347264 361386 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11194/tid=11196] ppid=11192 vsize=1717136 CPUtime=1204.95 cores=1,3,5,7
/proc/11194/task/11196/stat : 11196 (SArTagnan) R 11192 11194 10402 0 -1 4202560 198137 0 0 0 120414 81 0 0 25 0 4 0 669750502 1758347264 361386 33554432000 4194304 4625164 140733494712944 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11194/tid=11197] ppid=11192 vsize=1717136 CPUtime=1204.95 cores=1,3,5,7
/proc/11194/task/11197/stat : 11197 (SArTagnan) R 11192 11194 10402 0 -1 4202560 2100239 0 0 0 120114 381 0 0 25 0 4 0 669750502 1758347264 361386 33554432000 4194304 4625164 140733494712944 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1717136

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.98
CPU time (s): 4800.31
CPU user time (s): 4794.66
CPU system time (s): 5.64214
CPU usage (%): 398.371
Max. virtual memory (cumulated for all children) (KiB): 1880596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.66
system time used= 5.64214
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2612107
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= 1521
involuntary context switches= 31784

runsolver used 5.2382 second user time and 14.3848 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-16 23:32:18
IDJOB=3386040
IDBENCH=83219
IDSOLVER=1871
FILE ID=node149/3386040-1305581538
RUNJOBID= node149-1305580327-10958
PBS_JOBID= 13350208
Free space on /tmp= 73532 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-14-26-sat.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386040-1305581538/watcher-3386040-1305581538 -o /tmp/evaluation-result-3386040-1305581538/solver-3386040-1305581538 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386040-1305581538.cnf -threads=4

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

MD5SUM BENCH= 1e53251276ed6dee048eca4aa337d77b
RANDOM SEED=725345967

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      14725280 kB
Buffers:         88232 kB
Cached:         561584 kB
SwapCached:      36208 kB
Active:        8786048 kB
Inactive:      9162164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14725280 kB
SwapTotal:    67111528 kB
SwapFree:     45358800 kB
Dirty:            1024 kB
Writeback:           0 kB
AnonPages:    17274652 kB
Mapped:          27396 kB
Slab:            97948 kB
PageTables:     112084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 156364828 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= 73532 MiB
End job on node149 at 2011-05-16 23:52:25