Trace number 3386390

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.19 1204.1

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
rbcl_xits_09_UNKNOWN.cnf
MD5SUM18ad1dee1e9d863458e75a20545ae68a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1430
Number of clauses79453
Sum of the clauses size236162
Maximum clause length10
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22358
Number of clauses of size 377072
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 523

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-3386390-1305577932/watcher-3386390-1305577932 -o /tmp/evaluation-result-3386390-1305577932/solver-3386390-1305577932 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386390-1305577932.cnf -threads=4 

running on 4 cores: 0,2,4,6

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: 7.69 7.98 8.07 5/401 1780
/proc/meminfo: memFree=10981192/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=20804 CPUtime=0 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 578 0 0 0 0 0 0 0 25 0 1 0 669392846 21303296 512 33554432000 4194304 4625164 140733408422928 18446744073709551615 208080232192 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/1780/statm: 5201 512 296 106 0 704 0

[startup+0.0453499 s]
/proc/loadavg: 7.69 7.98 8.07 5/401 1780
/proc/meminfo: memFree=10981192/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=68784 CPUtime=0.03 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 6518 0 0 0 3 0 0 0 25 0 4 0 669392846 70434816 4744 33554432000 4194304 4625164 140733408422928 18446744073709551615 47508192171948 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1780/statm: 17196 4744 301 106 0 12699 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 68784

[startup+0.152331 s]
/proc/loadavg: 7.69 7.98 8.07 5/401 1780
/proc/meminfo: memFree=10981192/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=274060 CPUtime=0.45 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 9654 0 0 0 44 1 0 0 25 0 4 0 669392846 280637440 6875 33554432000 4194304 4625164 140733408422928 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 68515 6875 341 106 0 64018 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 274060

[startup+0.300302 s]
/proc/loadavg: 7.69 7.98 8.07 5/401 1780
/proc/meminfo: memFree=10981192/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=277512 CPUtime=1.04 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 13523 0 0 0 103 1 0 0 25 0 4 0 669392846 284172288 6955 33554432000 4194304 4625164 140733408422928 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 69378 6955 341 106 0 64881 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 277512

[startup+0.700228 s]
/proc/loadavg: 7.69 7.98 8.07 5/401 1780
/proc/meminfo: memFree=10981192/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=277212 CPUtime=2.64 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 21680 0 0 0 262 2 0 0 25 0 4 0 669392846 283865088 7751 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 69303 7751 341 106 0 64806 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 277212

[startup+1.50107 s]
/proc/loadavg: 7.69 7.98 8.07 9/405 1784
/proc/meminfo: memFree=10946820/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=278948 CPUtime=5.83 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 32359 0 0 0 579 4 0 0 25 0 4 0 669392846 285642752 9165 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 69737 9165 341 106 0 65240 0
[pid=1780/tid=1782] ppid=1778 vsize=278948 CPUtime=1.44 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 1320 0 0 0 144 0 0 0 25 0 4 0 669392851 285642752 9165 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=278948 CPUtime=1.44 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 3029 0 0 0 144 0 0 0 25 0 4 0 669392851 285642752 9165 33554432000 4194304 4625164 140733408422928 18446744073709551615 4462867 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=278948 CPUtime=1.43 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 20352 0 0 0 141 2 0 0 25 0 4 0 669392851 285642752 9165 33554432000 4194304 4625164 140733408422928 18446744073709551615 4552438 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 278948

[startup+3.10077 s]
/proc/loadavg: 7.69 7.98 8.07 9/405 1784
/proc/meminfo: memFree=10939008/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=280680 CPUtime=12.21 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 56462 0 0 0 1213 8 0 0 25 0 4 0 669392846 287416320 11278 33554432000 4194304 4625164 140733408422928 18446744073709551615 4509199 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 70170 11278 343 106 0 65673 0
[pid=1780/tid=1782] ppid=1778 vsize=280680 CPUtime=3.04 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 2596 0 0 0 304 0 0 0 25 0 4 0 669392851 287416320 11280 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=280680 CPUtime=3.04 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 4213 0 0 0 303 1 0 0 25 0 4 0 669392851 287416320 11280 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=280680 CPUtime=3.02 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 41917 0 0 0 296 6 0 0 25 0 4 0 669392851 287416320 11280 33554432000 4194304 4625164 140733408422928 18446744073709551615 4547319 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.21
Current children cumulated vsize (KiB) 280680

[startup+6.30116 s]
/proc/loadavg: 7.71 7.98 8.07 9/405 1785
/proc/meminfo: memFree=10916444/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=286956 CPUtime=24.98 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 96093 0 0 0 2483 15 0 0 25 0 4 0 669392846 293842944 15766 33554432000 4194304 4625164 140733408422928 18446744073709551615 4508828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 71739 15766 347 106 0 67242 0
[pid=1780/tid=1782] ppid=1778 vsize=286956 CPUtime=6.24 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 5200 0 0 0 624 0 0 0 19 0 4 0 669392851 293842944 15766 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=286956 CPUtime=6.24 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 7049 0 0 0 622 2 0 0 25 0 4 0 669392851 293842944 15766 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=286956 CPUtime=6.17 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 75792 0 0 0 607 10 0 0 25 0 4 0 669392851 293842944 15766 33554432000 4194304 4625164 140733408422928 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 286956

[startup+12.7009 s]
/proc/loadavg: 7.81 8.00 8.08 9/405 1785
/proc/meminfo: memFree=10871028/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=297592 CPUtime=50.49 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 167012 0 0 0 5022 27 0 0 25 0 4 0 669392846 304734208 25402 33554432000 4194304 4625164 140733408422928 18446744073709551615 4338071 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 74398 25402 364 106 0 69901 0
[pid=1780/tid=1782] ppid=1778 vsize=297592 CPUtime=12.64 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 9820 0 0 0 1262 2 0 0 25 0 4 0 669392851 304734208 25402 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=297592 CPUtime=12.64 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 11299 0 0 0 1261 3 0 0 25 0 4 0 669392851 304734208 25402 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=297592 CPUtime=12.49 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 135785 0 0 0 1230 19 0 0 25 0 4 0 669392851 304734208 25402 33554432000 4194304 4625164 140733408422928 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 297592

[startup+25.5005 s]
/proc/loadavg: 7.85 8.00 8.08 9/405 1785
/proc/meminfo: memFree=10819812/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=311988 CPUtime=101.52 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 187424 0 0 0 10118 34 0 0 25 0 4 0 669392846 319475712 36683 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512740 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 77997 36683 399 106 0 73500 0
[pid=1780/tid=1782] ppid=1778 vsize=311988 CPUtime=25.44 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 16479 0 0 0 2539 5 0 0 25 0 4 0 669392851 319475712 36683 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351798 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=311988 CPUtime=25.44 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 17204 0 0 0 2538 6 0 0 25 0 4 0 669392851 319475712 36683 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=311988 CPUtime=25.11 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 140112 0 0 0 2491 20 0 0 25 0 4 0 669392851 319475712 36683 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 311988

[startup+51.1006 s]
/proc/loadavg: 7.90 8.00 8.07 9/405 1786
/proc/meminfo: memFree=10713732/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=344480 CPUtime=203.57 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 358109 0 0 0 20292 65 0 0 25 0 4 0 669392846 352747520 58582 33554432000 4194304 4625164 140733408422928 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 86120 58582 527 106 0 81623 0
[pid=1780/tid=1782] ppid=1778 vsize=344480 CPUtime=51.04 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 25586 0 0 0 5097 7 0 0 25 0 4 0 669392851 352747520 58582 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=344480 CPUtime=51.03 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 24942 0 0 0 5095 8 0 0 25 0 4 0 669392851 352747520 58582 33554432000 4194304 4625164 140733408422928 18446744073709551615 4464333 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=344480 CPUtime=50.38 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 289442 0 0 0 4993 45 0 0 25 0 4 0 669392851 352747520 58582 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351998 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.57
Current children cumulated vsize (KiB) 344480

[startup+102.316 s]
/proc/loadavg: 8.09 8.04 8.09 9/405 1787
/proc/meminfo: memFree=10523104/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=606812 CPUtime=407.73 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 624082 0 0 0 40666 107 0 0 25 0 4 0 669392846 621375488 98161 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 151703 98161 1015 106 0 147206 0
[pid=1780/tid=1782] ppid=1778 vsize=606812 CPUtime=102.26 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 36624 0 0 0 10216 10 0 0 25 0 4 0 669392851 621375488 98161 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=606812 CPUtime=102.23 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 38428 0 0 0 10212 11 0 0 25 0 4 0 669392851 621375488 98161 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=606812 CPUtime=100.9 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 513089 0 0 0 10011 79 0 0 25 0 4 0 669392851 621375488 98161 33554432000 4194304 4625164 140733408422928 18446744073709551615 4339131 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.73
Current children cumulated vsize (KiB) 606812

[startup+162.3 s]
/proc/loadavg: 8.11 8.06 8.09 9/405 1789
/proc/meminfo: memFree=10337440/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=811068 CPUtime=646.88 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 791084 0 0 0 64555 133 0 0 25 0 4 0 669392846 830533632 133001 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 202767 133001 1152 106 0 198270 0
[pid=1780/tid=1782] ppid=1778 vsize=811068 CPUtime=162.24 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 49729 0 0 0 16212 12 0 0 25 0 4 0 669392851 830533632 133001 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=811068 CPUtime=162.22 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 52988 0 0 0 16208 14 0 0 25 0 4 0 669392851 830533632 133001 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=811068 CPUtime=160.1 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 603527 0 0 0 15917 93 0 0 25 0 4 0 669392851 830533632 133001 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 646.88
Current children cumulated vsize (KiB) 811068

[startup+222.301 s]
/proc/loadavg: 8.04 8.05 8.08 9/405 1790
/proc/meminfo: memFree=10217000/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=892036 CPUtime=886.06 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 1316465 0 0 0 88392 214 0 0 25 0 4 0 669392846 913444864 151927 33554432000 4194304 4625164 140733408422928 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 223009 151927 450 106 0 218512 0
[pid=1780/tid=1782] ppid=1778 vsize=892036 CPUtime=222.25 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 69691 0 0 0 22210 15 0 0 25 0 4 0 669392851 913444864 151927 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=892036 CPUtime=222.19 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 71419 0 0 0 22203 16 0 0 25 0 4 0 669392851 913444864 151927 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=892036 CPUtime=219.29 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 1075468 0 0 0 21763 166 0 0 25 0 4 0 669392851 913444864 151927 33554432000 4194304 4625164 140733408422928 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 886.06
Current children cumulated vsize (KiB) 892036

[startup+282.301 s]

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

[pid=1780] ppid=1778 vsize=1398752 CPUtime=2560.56 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 1988865 0 0 0 255703 353 0 0 25 0 4 0 669392846 1432322048 267188 33554432000 4194304 4625164 140733408422928 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 349688 267188 380 106 0 345191 0
[pid=1780/tid=1782] ppid=1778 vsize=1398752 CPUtime=642.28 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 129096 0 0 0 64187 41 0 0 25 0 4 0 669392851 1432322048 267188 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=1398752 CPUtime=642.13 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 120534 0 0 0 64175 38 0 0 25 0 4 0 669392851 1432322048 267188 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=1398752 CPUtime=633.83 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 1525626 0 0 0 63143 240 0 0 25 0 4 0 669392851 1432322048 267188 33554432000 4194304 4625164 140733408422928 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2560.56
Current children cumulated vsize (KiB) 1398752

[startup+702.301 s]
/proc/loadavg: 8.04 8.07 8.08 9/405 1834
/proc/meminfo: memFree=11109748/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=1403500 CPUtime=2799.77 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 2000811 0 0 0 279616 361 0 0 25 0 4 0 669392846 1437184000 278866 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 350875 278866 380 106 0 346378 0
[pid=1780/tid=1782] ppid=1778 vsize=1403500 CPUtime=702.26 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 133568 0 0 0 70182 44 0 0 25 0 4 0 669392851 1437184000 278866 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351798 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=1403500 CPUtime=702.11 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 123429 0 0 0 70169 42 0 0 25 0 4 0 669392851 1437184000 278866 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=1403500 CPUtime=693.05 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 1527390 0 0 0 69065 240 0 0 25 0 4 0 669392851 1437184000 278866 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2799.77
Current children cumulated vsize (KiB) 1403500

[startup+762.315 s]
/proc/loadavg: 8.05 8.07 8.08 9/405 1836
/proc/meminfo: memFree=10904124/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=1439304 CPUtime=3039.04 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 2026377 0 0 0 303534 370 0 0 25 0 4 0 669392846 1473847296 289211 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512023 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 359826 289211 380 106 0 355329 0
[pid=1780/tid=1782] ppid=1778 vsize=1439304 CPUtime=762.28 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 136318 0 0 0 76180 48 0 0 25 0 4 0 669392851 1473847296 289211 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=1439304 CPUtime=762.1 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 126230 0 0 0 76165 45 0 0 25 0 4 0 669392851 1473847296 289211 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=1439304 CPUtime=752.3 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 1544764 0 0 0 74987 243 0 0 25 0 4 0 669392851 1473847296 289211 33554432000 4194304 4625164 140733408422928 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.04
Current children cumulated vsize (KiB) 1439304

[startup+822.301 s]
/proc/loadavg: 8.18 8.10 8.09 9/405 1837
/proc/meminfo: memFree=10706064/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=1515000 CPUtime=3278.22 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 2077743 0 0 0 327439 383 0 0 25 0 4 0 669392846 1551360000 306434 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 378750 306434 380 106 0 374253 0
[pid=1780/tid=1782] ppid=1778 vsize=1515000 CPUtime=822.27 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 178858 0 0 0 82171 56 0 0 25 0 4 0 669392851 1551360000 306434 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=1515000 CPUtime=822.08 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 129134 0 0 0 82160 48 0 0 25 0 4 0 669392851 1551360000 306434 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=1515000 CPUtime=811.51 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 1547388 0 0 0 80908 243 0 0 25 0 4 0 669392851 1551360000 306434 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.22
Current children cumulated vsize (KiB) 1515000

[startup+882.3 s]
/proc/loadavg: 8.19 8.11 8.09 9/405 1839
/proc/meminfo: memFree=10441788/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=1729524 CPUtime=3517.43 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 2169328 0 0 0 351343 400 0 0 25 0 4 0 669392846 1771032576 325830 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 432381 325830 362 106 0 427884 0
[pid=1780/tid=1782] ppid=1778 vsize=1729524 CPUtime=882.27 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 181893 0 0 0 88168 59 0 0 25 0 4 0 669392851 1771032576 325830 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=1729524 CPUtime=882.07 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 130913 0 0 0 88156 51 0 0 25 0 4 0 669392851 1771032576 325830 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=1729524 CPUtime=870.74 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 1549891 0 0 0 86830 244 0 0 25 0 4 0 669392851 1771032576 325830 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3517.43
Current children cumulated vsize (KiB) 1729524

[startup+942.301 s]
/proc/loadavg: 8.25 8.14 8.10 9/405 1840
/proc/meminfo: memFree=10263692/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=1729524 CPUtime=3756.64 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 2187388 0 0 0 375258 406 0 0 25 0 4 0 669392846 1771032576 335925 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 432381 335925 362 106 0 427884 0
[pid=1780/tid=1782] ppid=1778 vsize=1729524 CPUtime=942.27 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 186241 0 0 0 94165 62 0 0 25 0 4 0 669392851 1771032576 335925 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=1729524 CPUtime=942.05 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 134829 0 0 0 94153 52 0 0 25 0 4 0 669392851 1771032576 335925 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=1729524 CPUtime=929.97 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 1550121 0 0 0 92753 244 0 0 25 0 4 0 669392851 1771032576 335925 33554432000 4194304 4625164 140733408422928 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3756.64
Current children cumulated vsize (KiB) 1729524

[startup+1002.3 s]
/proc/loadavg: 8.20 8.14 8.10 9/405 1842
/proc/meminfo: memFree=10040340/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=1768072 CPUtime=3995.86 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 2473168 0 0 0 399134 452 0 0 25 0 4 0 669392846 1810505728 351148 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 442018 351148 362 106 0 437521 0
[pid=1780/tid=1782] ppid=1778 vsize=1768072 CPUtime=1002.27 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 189976 0 0 0 100160 67 0 0 25 0 4 0 669392851 1810505728 351148 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=1768072 CPUtime=1002.04 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 141379 0 0 0 100151 53 0 0 25 0 4 0 669392851 1810505728 351148 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=1768072 CPUtime=989.19 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 1811280 0 0 0 98637 282 0 0 25 0 4 0 669392851 1810505728 351148 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352005 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3995.86
Current children cumulated vsize (KiB) 1768072

[startup+1062.3 s]
/proc/loadavg: 8.11 8.13 8.09 9/405 1844
/proc/meminfo: memFree=9932548/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=1833608 CPUtime=4235.1 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 2862643 0 0 0 423002 508 0 0 25 0 4 0 669392846 1877614592 357945 33554432000 4194304 4625164 140733408422928 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 458402 357945 362 106 0 453905 0
[pid=1780/tid=1782] ppid=1778 vsize=1833608 CPUtime=1062.28 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 192296 0 0 0 106158 70 0 0 25 0 4 0 669392851 1877614592 357945 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=1833608 CPUtime=1062.04 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 142111 0 0 0 106150 54 0 0 25 0 4 0 669392851 1877614592 357945 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=1833608 CPUtime=1048.42 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 2191771 0 0 0 104509 333 0 0 25 0 4 0 669392851 1877614592 357945 33554432000 4194304 4625164 140733408422928 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.1
Current children cumulated vsize (KiB) 1833608

[startup+1122.3 s]
/proc/loadavg: 8.08 8.12 8.09 9/405 1845
/proc/meminfo: memFree=9797360/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=1971916 CPUtime=4474.29 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 3180070 0 0 0 446873 556 0 0 25 0 4 0 669392846 2019241984 376136 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 492979 376136 362 106 0 488482 0
[pid=1780/tid=1782] ppid=1778 vsize=1971916 CPUtime=1122.28 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 194315 0 0 0 112158 70 0 0 25 0 4 0 669392851 2019241984 376136 33554432000 4194304 4625164 140733408422928 18446744073709551615 4352007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=1971916 CPUtime=1122.02 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 181790 0 0 0 112143 59 0 0 25 0 4 0 669392851 2019241984 376136 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351972 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=1971916 CPUtime=1107.64 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 2456136 0 0 0 110391 373 0 0 25 0 4 0 669392851 2019241984 376136 33554432000 4194304 4625164 140733408422928 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4474.29
Current children cumulated vsize (KiB) 1971916

[startup+1182.3 s]
/proc/loadavg: 8.06 8.11 8.09 9/405 1847
/proc/meminfo: memFree=9526504/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=2192136 CPUtime=4713.52 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 3585660 0 0 0 470739 613 0 0 25 0 4 0 669392846 2244747264 425535 33554432000 4194304 4625164 140733408422928 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 548034 425535 362 106 0 543537 0
[pid=1780/tid=1782] ppid=1778 vsize=2192136 CPUtime=1182.28 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 194989 0 0 0 118158 70 0 0 25 0 4 0 669392851 2244747264 425536 33554432000 4194304 4625164 140733408422928 18446744073709551615 4339639 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=2192136 CPUtime=1182.01 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 182728 0 0 0 118142 59 0 0 25 0 4 0 669392851 2244747264 425536 33554432000 4194304 4625164 140733408422928 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=2192136 CPUtime=1166.87 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 2737678 0 0 0 116274 413 0 0 25 0 4 0 669392851 2244747264 425536 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4713.52
Current children cumulated vsize (KiB) 2192136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204 s]
/proc/loadavg: 8.04 8.10 8.08 9/405 1847
/proc/meminfo: memFree=9479748/32950928 swapFree=57376972/67111528
[pid=1780] ppid=1778 vsize=2192532 CPUtime=4800.05 cores=0,2,4,6
/proc/1780/stat : 1780 (SArTagnan) R 1778 1780 1658 0 -1 4202496 3694805 0 0 0 479376 629 0 0 25 0 4 0 669392846 2245152768 431243 33554432000 4194304 4625164 140733408422928 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1780/statm: 548133 431243 386 106 0 543636 0
[pid=1780/tid=1782] ppid=1778 vsize=2192532 CPUtime=1204 cores=0,2,4,6
/proc/1780/task/1782/stat : 1782 (SArTagnan) R 1778 1780 1658 0 -1 4202560 198211 0 0 0 120329 71 0 0 25 0 4 0 669392851 2245152768 431243 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1780/tid=1783] ppid=1778 vsize=2192532 CPUtime=1203.73 cores=0,2,4,6
/proc/1780/task/1783/stat : 1783 (SArTagnan) R 1778 1780 1658 0 -1 4202560 183217 0 0 0 120314 59 0 0 25 0 4 0 669392851 2245152768 431243 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1780/tid=1784] ppid=1778 vsize=2192532 CPUtime=1188.28 cores=0,2,4,6
/proc/1780/task/1784/stat : 1784 (SArTagnan) R 1778 1780 1658 0 -1 4202560 2842179 0 0 0 118400 428 0 0 25 0 4 0 669392851 2245152768 431243 33554432000 4194304 4625164 140733408422928 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 2192532

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.1
CPU time (s): 4800.19
CPU user time (s): 4793.82
CPU system time (s): 6.37103
CPU usage (%): 398.653
Max. virtual memory (cumulated for all children) (KiB): 2413228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.82
system time used= 6.37103
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3694806
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= 559
involuntary context switches= 32129

runsolver used 4.53531 second user time and 11.1493 second system time

The end

Launcher Data 

Begin job on node127 at 2011-05-16 22:32:12
IDJOB=3386390
IDBENCH=71098
IDSOLVER=1871
FILE ID=node127/3386390-1305577932
RUNJOBID= node127-1305577123-1676
PBS_JOBID= 13350216
Free space on /tmp= 73380 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/rbcl_xits_09_UNKNOWN.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386390-1305577932/watcher-3386390-1305577932 -o /tmp/evaluation-result-3386390-1305577932/solver-3386390-1305577932 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386390-1305577932.cnf -threads=4

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

MD5SUM BENCH= 18ad1dee1e9d863458e75a20545ae68a
RANDOM SEED=1082907742

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      10981348 kB
Buffers:         79700 kB
Cached:         433156 kB
SwapCached:     117904 kB
Active:        7238560 kB
Inactive:     14509116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      10981348 kB
SwapTotal:    67111528 kB
SwapFree:     57376972 kB
Dirty:            1592 kB
Writeback:           0 kB
AnonPages:    21122804 kB
Mapped:          26972 kB
Slab:            71592 kB
PageTables:      84544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 86459708 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= 73380 MiB
End job on node127 at 2011-05-16 22:52:18