Trace number 3386020

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.5 1203.89

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
MD5SUM02e75ad23aeadbf30b2a4fb3c21ae723
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.466928
Satisfiable
(Un)Satisfiability was proved
Number of variables894
Number of clauses82294
Sum of the clauses size165422
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 282264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

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-3386020-1305583644/watcher-3386020-1305583644 -o /tmp/evaluation-result-3386020-1305583644/solver-3386020-1305583644 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386020-1305583644.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: 6.86 7.90 7.82 5/376 6042
/proc/meminfo: memFree=27859652/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=21020 CPUtime=0 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 799 0 0 0 0 0 0 0 19 0 1 0 669964858 21524480 540 33554432000 4194304 4625164 140735899664000 18446744073709551615 230809165568 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/6042/statm: 5255 540 296 106 0 758 0

[startup+0.049475 s]
/proc/loadavg: 6.86 7.90 7.82 5/376 6042
/proc/meminfo: memFree=27859652/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=188084 CPUtime=0.12 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 2916 0 0 0 12 0 0 0 20 0 4 0 669964858 192598016 2327 33554432000 4194304 4625164 140735899664000 18446744073709551615 4499412 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 47021 2327 342 106 0 42524 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 188084

[startup+0.100466 s]
/proc/loadavg: 6.86 7.90 7.82 5/376 6042
/proc/meminfo: memFree=27859652/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=190472 CPUtime=0.32 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 3677 0 0 0 32 0 0 0 20 0 4 0 669964858 195043328 3088 33554432000 4194304 4625164 140735899664000 18446744073709551615 4513922 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 47618 3088 345 106 0 43121 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 190472

[startup+0.300431 s]
/proc/loadavg: 6.86 7.90 7.82 5/376 6042
/proc/meminfo: memFree=27859652/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=258024 CPUtime=1.12 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5580 0 0 0 111 1 0 0 20 0 4 0 669964858 264216576 4743 33554432000 4194304 4625164 140735899664000 18446744073709551615 4519346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 64506 4743 345 106 0 60009 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 258024

[startup+0.700357 s]
/proc/loadavg: 6.86 7.90 7.82 5/376 6042
/proc/meminfo: memFree=27859652/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=263680 CPUtime=2.72 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 9340 0 0 0 271 1 0 0 21 0 4 0 669964858 270008320 6722 33554432000 4194304 4625164 140735899664000 18446744073709551615 4512326 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 65920 6722 345 106 0 61423 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 263680

[startup+1.50021 s]
/proc/loadavg: 6.86 7.90 7.82 10/380 6046
/proc/meminfo: memFree=27804696/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=270676 CPUtime=5.91 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 16693 0 0 0 589 2 0 0 23 0 4 0 669964858 277172224 10037 33554432000 4194304 4625164 140735899664000 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 67669 10038 345 106 0 63172 0
[pid=6042/tid=6044] ppid=6040 vsize=270676 CPUtime=1.47 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 3268 0 0 0 147 0 0 0 25 0 4 0 669964860 277172224 10038 33554432000 4194304 4625164 140735899664000 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=270676 CPUtime=1.45 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 3453 0 0 0 145 0 0 0 25 0 4 0 669964860 277172224 10039 33554432000 4194304 4625164 140735899664000 18446744073709551615 4352843 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=270676 CPUtime=1.47 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4651 0 0 0 147 0 0 0 25 0 4 0 669964860 277172224 10040 33554432000 4194304 4625164 140735899664000 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 270676

[startup+3.10092 s]
/proc/loadavg: 6.86 7.90 7.82 10/380 6046
/proc/meminfo: memFree=27775976/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=279924 CPUtime=12.3 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 25731 0 0 0 1225 5 0 0 25 0 4 0 669964858 286642176 14183 33554432000 4194304 4625164 140735899664000 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 69981 14183 346 106 0 65484 0
[pid=6042/tid=6044] ppid=6040 vsize=279924 CPUtime=3.06 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 5785 0 0 0 306 0 0 0 25 0 4 0 669964860 286642176 14183 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=279924 CPUtime=3.04 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 5319 0 0 0 303 1 0 0 25 0 4 0 669964860 286642176 14183 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=279924 CPUtime=3.07 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 9089 0 0 0 306 1 0 0 25 0 4 0 669964860 286642176 14183 33554432000 4194304 4625164 140735899664000 18446744073709551615 4554661 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 279924

[startup+6.30034 s]
/proc/loadavg: 6.95 7.90 7.82 9/380 6046
/proc/meminfo: memFree=27716088/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=292392 CPUtime=25.06 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 43945 0 0 0 2498 8 0 0 25 0 4 0 669964858 299409408 21358 33554432000 4194304 4625164 140735899664000 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 73098 21358 351 106 0 68601 0
[pid=6042/tid=6044] ppid=6040 vsize=292392 CPUtime=6.27 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 11094 0 0 0 626 1 0 0 25 0 4 0 669964860 299409408 21358 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=292392 CPUtime=6.2 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 8793 0 0 0 618 2 0 0 25 0 4 0 669964860 299409408 21358 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=292392 CPUtime=6.27 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 16921 0 0 0 625 2 0 0 25 0 4 0 669964860 299409408 21358 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 292392

[startup+12.7012 s]
/proc/loadavg: 7.12 7.92 7.83 9/380 6046
/proc/meminfo: memFree=27616016/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=304820 CPUtime=50.58 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 111292 0 0 0 5038 20 0 0 25 0 4 0 669964858 312135680 32757 33554432000 4194304 4625164 140735899664000 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 76205 32758 372 106 0 71708 0
[pid=6042/tid=6044] ppid=6040 vsize=304820 CPUtime=12.67 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 16967 0 0 0 1263 4 0 0 25 0 4 0 669964860 312135680 32759 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=304820 CPUtime=12.53 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 13141 0 0 0 1249 4 0 0 25 0 4 0 669964860 312135680 32759 33554432000 4194304 4625164 140735899664000 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=304820 CPUtime=12.67 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 71942 0 0 0 1257 10 0 0 25 0 4 0 669964860 312135680 32760 33554432000 4194304 4625164 140735899664000 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 304820

[startup+25.5008 s]
/proc/loadavg: 7.31 7.92 7.83 9/380 6046
/proc/meminfo: memFree=27507524/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=332828 CPUtime=101.63 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 229475 0 0 0 10126 37 0 0 25 0 4 0 669964858 340815872 46357 33554432000 4194304 4625164 140735899664000 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 83207 46357 347 106 0 78710 0
[pid=6042/tid=6044] ppid=6040 vsize=332828 CPUtime=25.47 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 24059 0 0 0 2542 5 0 0 25 0 4 0 669964860 340815872 46357 33554432000 4194304 4625164 140735899664000 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=332828 CPUtime=25.17 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 20238 0 0 0 2512 5 0 0 25 0 4 0 669964860 340815872 46357 33554432000 4194304 4625164 140735899664000 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=332828 CPUtime=25.47 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 172943 0 0 0 2523 24 0 0 25 0 4 0 669964860 340815872 46357 33554432000 4194304 4625164 140735899664000 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 332828

[startup+51.1011 s]
/proc/loadavg: 7.55 7.93 7.83 9/380 6047
/proc/meminfo: memFree=27314564/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=428688 CPUtime=203.73 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 467188 0 0 0 20296 77 0 0 25 0 4 0 669964858 438976512 75022 33554432000 4194304 4625164 140735899664000 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 107172 75022 562 106 0 102675 0
[pid=6042/tid=6044] ppid=6040 vsize=428688 CPUtime=51.07 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 35839 0 0 0 5099 8 0 0 25 0 4 0 669964860 438976512 75022 33554432000 4194304 4625164 140735899664000 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=428688 CPUtime=50.48 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 37939 0 0 0 5038 10 0 0 25 0 4 0 669964860 438976512 75022 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=428688 CPUtime=51.05 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 360604 0 0 0 5053 52 0 0 25 0 4 0 669964860 438976512 75022 33554432000 4194304 4625164 140735899664000 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 428688

[startup+102.315 s]
/proc/loadavg: 7.90 7.97 7.85 9/380 6048
/proc/meminfo: memFree=26996492/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=739708 CPUtime=407.97 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 583745 0 0 0 40694 103 0 0 25 0 4 0 669964858 757460992 115346 33554432000 4194304 4625164 140735899664000 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 184927 115346 374 106 0 180430 0
[pid=6042/tid=6044] ppid=6040 vsize=739708 CPUtime=102.28 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 51523 0 0 0 10215 13 0 0 25 0 4 0 669964860 757460992 115346 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=739708 CPUtime=101.7 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 58890 0 0 0 10151 19 0 0 25 0 4 0 669964860 757460992 115346 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=739708 CPUtime=101.64 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 397072 0 0 0 10106 58 0 0 25 0 4 0 669964860 757460992 115346 33554432000 4194304 4625164 140735899664000 18446744073709551615 4579442 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.97
Current children cumulated vsize (KiB) 739708

[startup+162.301 s]
/proc/loadavg: 7.96 7.97 7.85 9/380 6050
/proc/meminfo: memFree=26677920/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=831864 CPUtime=647.2 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 1046393 0 0 0 64544 176 0 0 25 0 4 0 669964858 851828736 155841 33554432000 4194304 4625164 140735899664000 18446744073709551615 4393074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 207966 155841 433 106 0 203469 0
[pid=6042/tid=6044] ppid=6040 vsize=831864 CPUtime=162.27 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 70246 0 0 0 16207 20 0 0 25 0 4 0 669964860 851828736 155841 33554432000 4194304 4625164 140735899664000 18446744073709551615 230808826913 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=831864 CPUtime=161.68 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 65518 0 0 0 16143 25 0 0 25 0 4 0 669964860 851828736 155841 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=831864 CPUtime=160.92 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 795518 0 0 0 15979 113 0 0 25 0 4 0 669964860 851828736 155841 33554432000 4194304 4625164 140735899664000 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.2
Current children cumulated vsize (KiB) 831864

[startup+222.301 s]
/proc/loadavg: 8.02 7.99 7.86 9/380 6051
/proc/meminfo: memFree=26390340/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=1086756 CPUtime=886.46 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 1374712 0 0 0 88409 237 0 0 25 0 4 0 669964858 1112838144 198635 33554432000 4194304 4625164 140735899664000 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 271689 198635 438 106 0 267192 0
[pid=6042/tid=6044] ppid=6040 vsize=1086756 CPUtime=222.27 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 78624 0 0 0 22198 29 0 0 25 0 4 0 669964860 1112838144 198635 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=1086756 CPUtime=221.69 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 86671 0 0 0 22139 30 0 0 25 0 4 0 669964860 1112838144 198635 33554432000 4194304 4625164 140735899664000 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=1086756 CPUtime=220.18 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 1035972 0 0 0 21867 151 0 0 25 0 4 0 669964860 1112838144 198635 33554432000 4194304 4625164 140735899664000 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 886.46
Current children cumulated vsize (KiB) 1086756

[startup+282.301 s]

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

[pid=6042] ppid=6040 vsize=1784404 CPUtime=2561.37 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 4654357 0 0 0 255372 765 0 0 25 0 4 0 669964858 1827229696 358243 33554432000 4194304 4625164 140735899664000 18446744073709551615 4512747 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 446101 358243 346 106 0 441604 0
[pid=6042/tid=6044] ppid=6040 vsize=1784404 CPUtime=638.17 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 156799 0 0 0 63762 55 0 0 25 0 4 0 669964860 1827229696 358244 33554432000 4194304 4625164 140735899664000 18446744073709551615 4330844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=1784404 CPUtime=641.71 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 148487 0 0 0 64110 61 0 0 25 0 4 0 669964860 1827229696 358244 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=1784404 CPUtime=639.16 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 3821789 0 0 0 63352 564 0 0 25 0 4 0 669964860 1827229696 358244 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2561.37
Current children cumulated vsize (KiB) 1784404

[startup+702.301 s]
/proc/loadavg: 8.09 8.10 7.96 9/380 6064
/proc/meminfo: memFree=24742116/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=1935396 CPUtime=2800.59 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5112750 0 0 0 279219 840 0 0 25 0 4 0 669964858 1981845504 379151 33554432000 4194304 4625164 140735899664000 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 483849 379151 346 106 0 479352 0
[pid=6042/tid=6044] ppid=6040 vsize=1935396 CPUtime=697.42 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 157046 0 0 0 69687 55 0 0 25 0 4 0 669964860 1981845504 379151 33554432000 4194304 4625164 140735899664000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=1935396 CPUtime=701.69 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 193833 0 0 0 70098 71 0 0 25 0 4 0 669964860 1981845504 379151 33554432000 4194304 4625164 140735899664000 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=1935396 CPUtime=699.14 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4210617 0 0 0 69290 624 0 0 25 0 4 0 669964860 1981845504 379151 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.59
Current children cumulated vsize (KiB) 1935396

[startup+762.315 s]
/proc/loadavg: 8.08 8.09 7.97 9/380 6066
/proc/meminfo: memFree=24618836/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=1947144 CPUtime=3039.89 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5189517 0 0 0 303130 859 0 0 25 0 4 0 669964858 1993875456 390274 33554432000 4194304 4625164 140735899664000 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 486786 390274 346 106 0 482289 0
[pid=6042/tid=6044] ppid=6040 vsize=1947144 CPUtime=756.67 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 157122 0 0 0 75612 55 0 0 25 0 4 0 669964860 1993875456 390274 33554432000 4194304 4625164 140735899664000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=1947144 CPUtime=761.71 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 197448 0 0 0 76097 74 0 0 25 0 4 0 669964860 1993875456 390274 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=1947144 CPUtime=759.16 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4213794 0 0 0 75291 625 0 0 25 0 4 0 669964860 1993875456 390274 33554432000 4194304 4625164 140735899664000 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.89
Current children cumulated vsize (KiB) 1947144

[startup+822.301 s]
/proc/loadavg: 8.14 8.10 7.98 9/380 6067
/proc/meminfo: memFree=24530908/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=1955936 CPUtime=3279.1 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5270982 0 0 0 327030 880 0 0 25 0 4 0 669964858 2002878464 401567 33554432000 4194304 4625164 140735899664000 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 488984 401567 346 106 0 484487 0
[pid=6042/tid=6044] ppid=6040 vsize=1955936 CPUtime=815.91 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 157364 0 0 0 81536 55 0 0 25 0 4 0 669964860 2002878464 401567 33554432000 4194304 4625164 140735899664000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=1955936 CPUtime=821.7 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 201987 0 0 0 82089 81 0 0 25 0 4 0 669964860 2002878464 401567 33554432000 4194304 4625164 140735899664000 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=1955936 CPUtime=819.15 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4216677 0 0 0 81289 626 0 0 25 0 4 0 669964860 2002878464 401567 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.1
Current children cumulated vsize (KiB) 1955936

[startup+882.301 s]
/proc/loadavg: 8.14 8.11 7.99 9/380 6069
/proc/meminfo: memFree=24451780/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=1966192 CPUtime=3518.35 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5355060 0 0 0 350935 900 0 0 25 0 4 0 669964858 2013380608 411930 33554432000 4194304 4625164 140735899664000 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 491548 411930 346 106 0 487051 0
[pid=6042/tid=6044] ppid=6040 vsize=1966192 CPUtime=875.16 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 157468 0 0 0 87461 55 0 0 25 0 4 0 669964860 2013380608 411930 33554432000 4194304 4625164 140735899664000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=1966192 CPUtime=881.7 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 205443 0 0 0 88084 86 0 0 25 0 4 0 669964860 2013380608 411930 33554432000 4194304 4625164 140735899664000 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=1966192 CPUtime=879.15 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4219783 0 0 0 87287 628 0 0 25 0 4 0 669964860 2013380608 411930 33554432000 4194304 4625164 140735899664000 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.35
Current children cumulated vsize (KiB) 1966192

[startup+942.301 s]
/proc/loadavg: 8.14 8.12 8.00 9/380 6071
/proc/meminfo: memFree=24257080/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=2238624 CPUtime=3757.61 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5584303 0 0 0 374822 939 0 0 25 0 4 0 669964858 2292350976 437031 33554432000 4194304 4625164 140735899664000 18446744073709551615 4393124 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 559656 437031 346 106 0 555159 0
[pid=6042/tid=6044] ppid=6040 vsize=2238624 CPUtime=934.42 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 157813 0 0 0 93387 55 0 0 25 0 4 0 669964860 2292350976 437031 33554432000 4194304 4625164 140735899664000 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=2238624 CPUtime=941.69 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 208708 0 0 0 94080 89 0 0 25 0 4 0 669964860 2292350976 437031 33554432000 4194304 4625164 140735899664000 18446744073709551615 4345250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=2238624 CPUtime=939.15 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4222827 0 0 0 93286 629 0 0 25 0 4 0 669964860 2292350976 437031 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.61
Current children cumulated vsize (KiB) 2238624

[startup+1002.3 s]
/proc/loadavg: 8.24 8.15 8.01 9/380 6072
/proc/meminfo: memFree=24040056/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=2281572 CPUtime=3996.87 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5691175 0 0 0 398730 957 0 0 25 0 4 0 669964858 2336329728 445663 33554432000 4194304 4625164 140735899664000 18446744073709551615 4392976 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 570393 445663 346 106 0 565896 0
[pid=6042/tid=6044] ppid=6040 vsize=2281572 CPUtime=993.66 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 157953 0 0 0 99311 55 0 0 25 0 4 0 669964860 2336329728 445663 33554432000 4194304 4625164 140735899664000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=2281572 CPUtime=1001.7 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 211849 0 0 0 100078 92 0 0 25 0 4 0 669964860 2336329728 445663 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=2281572 CPUtime=999.15 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4242822 0 0 0 99283 632 0 0 25 0 4 0 669964860 2336329728 445663 33554432000 4194304 4625164 140735899664000 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3996.87
Current children cumulated vsize (KiB) 2281572

[startup+1062.3 s]
/proc/loadavg: 8.18 8.15 8.02 9/380 6074
/proc/meminfo: memFree=23823792/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=2290688 CPUtime=4236.14 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5783396 0 0 0 422635 979 0 0 25 0 4 0 669964858 2345664512 454349 33554432000 4194304 4625164 140735899664000 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 572672 454349 346 106 0 568175 0
[pid=6042/tid=6044] ppid=6040 vsize=2290688 CPUtime=1052.92 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 158176 0 0 0 105237 55 0 0 25 0 4 0 669964860 2345664512 454349 33554432000 4194304 4625164 140735899664000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=2290688 CPUtime=1061.7 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 215580 0 0 0 106074 96 0 0 25 0 4 0 669964860 2345664512 454349 33554432000 4194304 4625164 140735899664000 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=2290688 CPUtime=1059.15 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4245444 0 0 0 105282 633 0 0 25 0 4 0 669964860 2345664512 454349 33554432000 4194304 4625164 140735899664000 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.14
Current children cumulated vsize (KiB) 2290688

[startup+1122.3 s]
/proc/loadavg: 8.10 8.14 8.02 9/380 6075
/proc/meminfo: memFree=23700388/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=2365228 CPUtime=4475.39 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5870479 0 0 0 446540 999 0 0 25 0 4 0 669964858 2421993472 463782 33554432000 4194304 4625164 140735899664000 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 591307 463782 346 106 0 586810 0
[pid=6042/tid=6044] ppid=6040 vsize=2365228 CPUtime=1112.17 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 158426 0 0 0 111162 55 0 0 25 0 4 0 669964860 2421993472 463782 33554432000 4194304 4625164 140735899664000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=2365228 CPUtime=1121.71 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 219047 0 0 0 112070 101 0 0 25 0 4 0 669964860 2421993472 463782 33554432000 4194304 4625164 140735899664000 18446744073709551615 4488006 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=2365228 CPUtime=1119.16 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4248362 0 0 0 111282 634 0 0 25 0 4 0 669964860 2421993472 463782 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.39
Current children cumulated vsize (KiB) 2365228

[startup+1182.3 s]
/proc/loadavg: 8.10 8.14 8.02 9/380 6077
/proc/meminfo: memFree=23596584/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=2372988 CPUtime=4714.64 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5959366 0 0 0 470449 1015 0 0 25 0 4 0 669964858 2429939712 467847 33554432000 4194304 4625164 140735899664000 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 593247 467847 346 106 0 588750 0
[pid=6042/tid=6044] ppid=6040 vsize=2372988 CPUtime=1171.41 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 158592 0 0 0 117086 55 0 0 25 0 4 0 669964860 2429939712 467847 33554432000 4194304 4625164 140735899664000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=2372988 CPUtime=1181.71 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 219154 0 0 0 118070 101 0 0 25 0 4 0 669964860 2429939712 467847 33554432000 4194304 4625164 140735899664000 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=2372988 CPUtime=1179.15 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4250597 0 0 0 117281 634 0 0 25 0 4 0 669964860 2429939712 467847 33554432000 4194304 4625164 140735899664000 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4714.64
Current children cumulated vsize (KiB) 2372988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.07 8.12 8.02 5/375 6079
/proc/meminfo: memFree=25985232/32951124 swapFree=37160408/67111528
[pid=6042] ppid=6040 vsize=2375688 CPUtime=4800.39 cores=1,3,5,7
/proc/6042/stat : 6042 (SArTagnan) R 6040 6042 5006 0 -1 4202496 5993870 0 0 0 479017 1022 0 0 25 0 4 0 669964858 2432704512 469390 33554432000 4194304 4625164 140735899664000 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/6042/statm: 593922 469390 346 106 0 589425 0
[pid=6042/tid=6044] ppid=6040 vsize=2375688 CPUtime=1192.64 cores=1,3,5,7
/proc/6042/task/6044/stat : 6044 (SArTagnan) R 6040 6042 5006 0 -1 4202560 158614 0 0 0 119208 56 0 0 25 0 4 0 669964860 2432704512 469390 33554432000 4194304 4625164 140735899664000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6042/tid=6045] ppid=6040 vsize=2375688 CPUtime=1203.22 cores=1,3,5,7
/proc/6042/task/6045/stat : 6045 (SArTagnan) R 6040 6042 5006 0 -1 4202560 219183 0 0 0 120221 101 0 0 25 0 4 0 669964860 2432704512 469390 33554432000 4194304 4625164 140735899664000 18446744073709551615 4330976 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6042/tid=6046] ppid=6040 vsize=2375688 CPUtime=1200.68 cores=1,3,5,7
/proc/6042/task/6046/stat : 6046 (SArTagnan) R 6040 6042 5006 0 -1 4202560 4251421 0 0 0 119433 635 0 0 25 0 4 0 669964860 2432704512 469390 33554432000 4194304 4625164 140735899664000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 2375688

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): 1203.89
CPU time (s): 4800.5
CPU user time (s): 4790.21
CPU system time (s): 10.2954
CPU usage (%): 398.749
Max. virtual memory (cumulated for all children) (KiB): 2679148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.21
system time used= 10.2954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5993870
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= 1779
involuntary context switches= 29537

runsolver used 4.08338 second user time and 10.7984 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-17 00:07:24
IDJOB=3386020
IDBENCH=88215
IDSOLVER=1871
FILE ID=node104/3386020-1305583644
RUNJOBID= node104-1305583644-6020
PBS_JOBID= 13350212
Free space on /tmp= 73268 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386020-1305583644/watcher-3386020-1305583644 -o /tmp/evaluation-result-3386020-1305583644/solver-3386020-1305583644 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386020-1305583644.cnf -threads=4

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

MD5SUM BENCH= 02e75ad23aeadbf30b2a4fb3c21ae723
RANDOM SEED=501810637

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27859932 kB
Buffers:        302488 kB
Cached:        2722252 kB
SwapCached:     152312 kB
Active:        1270652 kB
Inactive:      3539312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27859932 kB
SwapTotal:    67111528 kB
SwapFree:     37160408 kB
Dirty:            2856 kB
Writeback:           0 kB
AnonPages:     1645604 kB
Mapped:          10796 kB
Slab:           127864 kB
PageTables:      88692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 87764140 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= 73272 MiB
End job on node104 at 2011-05-17 00:27:30