Trace number 3386116

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.44 1204.42

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
MD5SUM399c54da7337981a88a374a67e87ba30
Bench CategoryCRAFTED (crafted 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 variables2100
Number of clauses215164
Sum of the clauses size432288
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2215094
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 570

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-3386116-1305578231/watcher-3386116-1305578231 -o /tmp/evaluation-result-3386116-1305578231/solver-3386116-1305578231 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386116-1305578231.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.16 8.11 8.09 5/427 5515
/proc/meminfo: memFree=18904632/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=23900 CPUtime=0 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 585 0 0 0 0 0 0 0 25 0 1 0 748053762 24473600 462 33554432000 4194304 4625164 140737210028000 18446744073709551615 260905393920 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/5515/statm: 5975 462 296 106 0 1478 0

[startup+0.134228 s]
/proc/loadavg: 8.16 8.11 8.09 5/427 5515
/proc/meminfo: memFree=18904632/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=202332 CPUtime=0.35 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 6398 0 0 0 35 0 0 0 25 0 4 0 748053762 207187968 4413 33554432000 4194304 4625164 140737210028000 18446744073709551615 4512312 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 50583 4413 344 106 0 46086 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 202332

[startup+0.200691 s]
/proc/loadavg: 8.16 8.11 8.09 5/427 5515
/proc/meminfo: memFree=18904632/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=202332 CPUtime=0.62 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 7071 0 0 0 62 0 0 0 25 0 4 0 748053762 207187968 5086 33554432000 4194304 4625164 140737210028000 18446744073709551615 4512167 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 50583 5086 345 106 0 46086 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 202332

[startup+0.300674 s]
/proc/loadavg: 8.16 8.11 8.09 5/427 5515
/proc/meminfo: memFree=18904632/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=202848 CPUtime=1.02 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 8225 0 0 0 102 0 0 0 25 0 4 0 748053762 207716352 6240 33554432000 4194304 4625164 140737210028000 18446744073709551615 4360345 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 50712 6240 345 106 0 46215 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 202848

[startup+0.7006 s]
/proc/loadavg: 8.16 8.11 8.09 5/427 5515
/proc/meminfo: memFree=18904632/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=209748 CPUtime=2.63 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 11295 0 0 0 262 1 0 0 25 0 4 0 748053762 214781952 8836 33554432000 4194304 4625164 140737210028000 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 52437 8836 345 106 0 47940 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 209748

[startup+1.50045 s]
/proc/loadavg: 8.16 8.11 8.09 9/431 5519
/proc/meminfo: memFree=18857760/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=280780 CPUtime=5.81 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 15959 0 0 0 580 1 0 0 25 0 4 0 748053762 287518720 12237 33554432000 4194304 4625164 140737210028000 18446744073709551615 4521552 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 70195 12237 346 106 0 65698 0
[pid=5515/tid=5517] ppid=5513 vsize=280780 CPUtime=1.44 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 983 0 0 0 144 0 0 0 25 0 4 0 748053767 287518720 12237 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=280780 CPUtime=1.42 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 1957 0 0 0 142 0 0 0 25 0 4 0 748053767 287518720 12237 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=280780 CPUtime=1.44 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 3288 0 0 0 144 0 0 0 25 0 4 0 748053767 287518720 12237 33554432000 4194304 4625164 140737210028000 18446744073709551615 260905090827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 280780

[startup+3.10116 s]
/proc/loadavg: 8.16 8.11 8.09 9/431 5519
/proc/meminfo: memFree=18844244/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=297532 CPUtime=12.19 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 31073 0 0 0 1216 3 0 0 25 0 4 0 748053762 304672768 17946 33554432000 4194304 4625164 140737210028000 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 74383 17946 346 106 0 69886 0
[pid=5515/tid=5517] ppid=5513 vsize=297532 CPUtime=3.03 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 2572 0 0 0 303 0 0 0 25 0 4 0 748053767 304672768 17947 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=297532 CPUtime=3 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 4247 0 0 0 300 0 0 0 25 0 4 0 748053767 304672768 17947 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=297532 CPUtime=3.04 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 11543 0 0 0 303 1 0 0 25 0 4 0 748053767 304672768 17947 33554432000 4194304 4625164 140737210028000 18446744073709551615 260905055265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 297532

[startup+6.30058 s]
/proc/loadavg: 8.15 8.10 8.09 9/431 5519
/proc/meminfo: memFree=18816880/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=299568 CPUtime=24.95 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 49449 0 0 0 2488 7 0 0 25 0 4 0 748053762 306757632 22749 33554432000 4194304 4625164 140737210028000 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 74892 22750 346 106 0 70395 0
[pid=5515/tid=5517] ppid=5513 vsize=299568 CPUtime=6.24 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 4212 0 0 0 623 1 0 0 25 0 4 0 748053767 306757632 22750 33554432000 4194304 4625164 140737210028000 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=299568 CPUtime=6.16 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 5595 0 0 0 616 0 0 0 25 0 4 0 748053767 306757632 22750 33554432000 4194304 4625164 140737210028000 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=299568 CPUtime=6.23 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 22901 0 0 0 620 3 0 0 25 0 4 0 748053767 306757632 22750 33554432000 4194304 4625164 140737210028000 18446744073709551615 4339660 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 299568

[startup+12.7004 s]
/proc/loadavg: 8.13 8.10 8.09 9/431 5519
/proc/meminfo: memFree=18777840/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=321152 CPUtime=50.46 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 65349 0 0 0 5035 11 0 0 25 0 4 0 748053762 328859648 30403 33554432000 4194304 4625164 140737210028000 18446744073709551615 4515330 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 80288 30403 347 106 0 75791 0
[pid=5515/tid=5517] ppid=5513 vsize=321152 CPUtime=12.63 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 6813 0 0 0 1262 1 0 0 25 0 4 0 748053767 328859648 30403 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=321152 CPUtime=12.47 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 8899 0 0 0 1245 2 0 0 25 0 4 0 748053767 328859648 30403 33554432000 4194304 4625164 140737210028000 18446744073709551615 4463775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=321152 CPUtime=12.63 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 28347 0 0 0 1260 3 0 0 25 0 4 0 748053767 328859648 30403 33554432000 4194304 4625164 140737210028000 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 321152

[startup+25.5011 s]
/proc/loadavg: 8.10 8.10 8.09 9/431 5520
/proc/meminfo: memFree=18680888/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=374316 CPUtime=101.48 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 147987 0 0 0 10121 27 0 0 25 0 4 0 748053762 383299584 51138 33554432000 4194304 4625164 140737210028000 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 93579 51138 350 106 0 89082 0
[pid=5515/tid=5517] ppid=5513 vsize=374316 CPUtime=25.43 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 10892 0 0 0 2541 2 0 0 25 0 4 0 748053767 383299584 51138 33554432000 4194304 4625164 140737210028000 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=374316 CPUtime=25.09 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 14278 0 0 0 2503 6 0 0 25 0 4 0 748053767 383299584 51138 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=374316 CPUtime=25.44 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 68077 0 0 0 2535 9 0 0 25 0 4 0 748053767 383299584 51138 33554432000 4194304 4625164 140737210028000 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 374316

[startup+51.1004 s]
/proc/loadavg: 8.07 8.09 8.08 9/431 5520
/proc/meminfo: memFree=18523980/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=539676 CPUtime=203.53 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 355794 0 0 0 20287 66 0 0 25 0 4 0 748053762 552628224 85695 33554432000 4194304 4625164 140737210028000 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 134919 85695 464 106 0 130422 0
[pid=5515/tid=5517] ppid=5513 vsize=539676 CPUtime=51.03 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 15896 0 0 0 5098 5 0 0 25 0 4 0 748053767 552628224 85695 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=539676 CPUtime=50.34 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 23640 0 0 0 5020 14 0 0 25 0 4 0 748053767 552628224 85696 33554432000 4194304 4625164 140737210028000 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=539676 CPUtime=51.03 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 207502 0 0 0 5073 30 0 0 25 0 4 0 748053767 552628224 85696 33554432000 4194304 4625164 140737210028000 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.53
Current children cumulated vsize (KiB) 539676

[startup+102.301 s]
/proc/loadavg: 8.13 8.10 8.09 9/431 5524
/proc/meminfo: memFree=18278552/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=803336 CPUtime=407.65 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 650898 0 0 0 40646 119 0 0 25 0 4 0 748053762 822616064 137528 33554432000 4194304 4625164 140737210028000 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 200834 137528 598 106 0 196337 0
[pid=5515/tid=5517] ppid=5513 vsize=803336 CPUtime=102.24 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 25656 0 0 0 10215 9 0 0 25 0 4 0 748053767 822616064 137537 33554432000 4194304 4625164 140737210028000 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=803336 CPUtime=100.84 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 29396 0 0 0 10065 19 0 0 25 0 4 0 748053767 822616064 137537 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=803336 CPUtime=102.25 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 423665 0 0 0 10161 64 0 0 25 0 4 0 748053767 822616064 137537 33554432000 4194304 4625164 140737210028000 18446744073709551615 4339600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.65
Current children cumulated vsize (KiB) 803336

[startup+162.301 s]
/proc/loadavg: 8.28 8.17 8.11 9/431 5526
/proc/meminfo: memFree=18050804/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=952612 CPUtime=646.79 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 1147700 0 0 0 64473 206 0 0 25 0 4 0 748053762 975474688 179375 33554432000 4194304 4625164 140737210028000 18446744073709551615 4393127 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 238153 179375 387 106 0 233656 0
[pid=5515/tid=5517] ppid=5513 vsize=952612 CPUtime=162.23 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 39043 0 0 0 16206 17 0 0 25 0 4 0 748053767 975474688 179375 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=952612 CPUtime=160 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 34570 0 0 0 15980 20 0 0 25 0 4 0 748053767 975474688 179375 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351798 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=952612 CPUtime=162.23 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 823843 0 0 0 16093 130 0 0 25 0 4 0 748053767 975474688 179375 33554432000 4194304 4625164 140737210028000 18446744073709551615 4334483 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 646.79
Current children cumulated vsize (KiB) 952612

[startup+222.316 s]
/proc/loadavg: 8.10 8.13 8.10 9/431 5528
/proc/meminfo: memFree=17846276/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=1165336 CPUtime=886.01 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 1559439 0 0 0 88319 282 0 0 25 0 4 0 748053762 1193304064 220651 33554432000 4194304 4625164 140737210028000 18446744073709551615 4511953 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 291334 220651 382 106 0 286837 0
[pid=5515/tid=5517] ppid=5513 vsize=1165336 CPUtime=222.25 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 44704 0 0 0 22199 26 0 0 25 0 4 0 748053767 1193304064 220651 33554432000 4194304 4625164 140737210028000 18446744073709551615 4352192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=1165336 CPUtime=219.19 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 38484 0 0 0 21893 26 0 0 25 0 4 0 748053767 1193304064 220651 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=1165336 CPUtime=222.24 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 1132239 0 0 0 22043 181 0 0 25 0 4 0 748053767 1193304064 220651 33554432000 4194304 4625164 140737210028000 18446744073709551615 4334537 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 886.01
Current children cumulated vsize (KiB) 1165336

[startup+282.301 s]

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

[pid=5515] ppid=5513 vsize=2166368 CPUtime=2560.18 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 4243777 0 0 0 255293 725 0 0 25 0 4 0 748053762 2218360832 415967 33554432000 4194304 4625164 140737210028000 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 541592 415967 346 106 0 537095 0
[pid=5515/tid=5517] ppid=5513 vsize=2166368 CPUtime=642.23 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 72604 0 0 0 64179 44 0 0 25 0 4 0 748053767 2218360832 415967 33554432000 4194304 4625164 140737210028000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=2166368 CPUtime=633.41 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 66999 0 0 0 63286 55 0 0 25 0 4 0 748053767 2218360832 415967 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=2166368 CPUtime=642.22 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 3342820 0 0 0 63704 518 0 0 25 0 4 0 748053767 2218360832 415967 33554432000 4194304 4625164 140737210028000 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2560.18
Current children cumulated vsize (KiB) 2166368

[startup+702.301 s]
/proc/loadavg: 8.13 8.14 8.09 9/431 5541
/proc/meminfo: memFree=16482140/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=2180988 CPUtime=2799.35 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 4578079 0 0 0 279152 783 0 0 25 0 4 0 748053762 2233331712 436187 33554432000 4194304 4625164 140737210028000 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 545247 436187 346 106 0 540750 0
[pid=5515/tid=5517] ppid=5513 vsize=2180988 CPUtime=702.23 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 72987 0 0 0 70178 45 0 0 25 0 4 0 748053767 2233331712 436187 33554432000 4194304 4625164 140737210028000 18446744073709551615 4330829 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=2180988 CPUtime=692.56 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 69741 0 0 0 69197 59 0 0 25 0 4 0 748053767 2233331712 436187 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=2180988 CPUtime=702.21 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 3660844 0 0 0 69653 568 0 0 25 0 4 0 748053767 2233331712 436187 33554432000 4194304 4625164 140737210028000 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2799.35
Current children cumulated vsize (KiB) 2180988

[startup+762.301 s]
/proc/loadavg: 8.10 8.12 8.09 9/431 5542
/proc/meminfo: memFree=16422312/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=2253240 CPUtime=3038.56 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 4981331 0 0 0 303003 853 0 0 25 0 4 0 748053762 2307317760 450481 33554432000 4194304 4625164 140737210028000 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 563310 450481 346 106 0 558813 0
[pid=5515/tid=5517] ppid=5513 vsize=2253240 CPUtime=762.24 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 73352 0 0 0 76179 45 0 0 25 0 4 0 748053767 2307317760 450516 33554432000 4194304 4625164 140737210028000 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=2253240 CPUtime=751.75 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 70834 0 0 0 75113 62 0 0 25 0 4 0 748053767 2307317760 450516 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=2253240 CPUtime=762.23 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 4055053 0 0 0 75590 633 0 0 25 0 4 0 748053767 2307317760 450516 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351989 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3038.56
Current children cumulated vsize (KiB) 2253240

[startup+822.301 s]
/proc/loadavg: 8.22 8.14 8.10 10/431 5544
/proc/meminfo: memFree=15922292/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=2330504 CPUtime=3277.7 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 5435319 0 0 0 326849 921 0 0 25 0 4 0 748053762 2386436096 491471 33554432000 4194304 4625164 140737210028000 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 582626 491471 346 106 0 578129 0
[pid=5515/tid=5517] ppid=5513 vsize=2330504 CPUtime=822.22 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 90149 0 0 0 82175 47 0 0 25 0 4 0 748053767 2386436096 491471 33554432000 4194304 4625164 140737210028000 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=2330504 CPUtime=810.91 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 73240 0 0 0 81025 66 0 0 25 0 4 0 748053767 2386436096 491471 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=2330504 CPUtime=822.22 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 4454248 0 0 0 81533 689 0 0 25 0 4 0 748053767 2386436096 491471 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3277.7
Current children cumulated vsize (KiB) 2330504

[startup+882.316 s]
/proc/loadavg: 8.14 8.13 8.09 9/431 5577
/proc/meminfo: memFree=17670804/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=2446880 CPUtime=3516.93 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 5858197 0 0 0 350704 989 0 0 25 0 4 0 748053762 2505605120 505883 33554432000 4194304 4625164 140737210028000 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 611720 505883 346 106 0 607223 0
[pid=5515/tid=5517] ppid=5513 vsize=2446880 CPUtime=882.25 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 90627 0 0 0 88177 48 0 0 25 0 4 0 748053767 2505605120 505883 33554432000 4194304 4625164 140737210028000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=2446880 CPUtime=870.09 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 74759 0 0 0 86941 68 0 0 25 0 4 0 748053767 2505605120 505883 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=2446880 CPUtime=882.24 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 4842112 0 0 0 87474 750 0 0 25 0 4 0 748053767 2505605120 505883 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3516.93
Current children cumulated vsize (KiB) 2446880

[startup+942.301 s]
/proc/loadavg: 8.20 8.15 8.10 9/431 5578
/proc/meminfo: memFree=17297028/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=2562776 CPUtime=3756.05 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 6284180 0 0 0 374548 1057 0 0 25 0 4 0 748053762 2624282624 532634 33554432000 4194304 4625164 140737210028000 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 640694 532634 346 106 0 636197 0
[pid=5515/tid=5517] ppid=5513 vsize=2562776 CPUtime=942.23 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 90985 0 0 0 94175 48 0 0 25 0 4 0 748053767 2624282624 532635 33554432000 4194304 4625164 140737210028000 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=2562776 CPUtime=929.26 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 92879 0 0 0 92852 74 0 0 25 0 4 0 748053767 2624282624 532635 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=2562776 CPUtime=942.22 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 5223209 0 0 0 93415 807 0 0 25 0 4 0 748053767 2624282624 532635 33554432000 4194304 4625164 140737210028000 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3756.05
Current children cumulated vsize (KiB) 2562776

[startup+1002.3 s]
/proc/loadavg: 8.17 8.15 8.10 9/431 5580
/proc/meminfo: memFree=16895212/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=3113720 CPUtime=3995.14 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 7097381 0 0 0 398326 1188 0 0 25 0 4 0 748053762 3188449280 579562 33554432000 4194304 4625164 140737210028000 18446744073709551615 260905437543 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 778430 579563 346 106 0 773933 0
[pid=5515/tid=5517] ppid=5513 vsize=3113720 CPUtime=1002.22 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 91446 0 0 0 100174 48 0 0 25 0 4 0 748053767 3188449280 579563 33554432000 4194304 4625164 140737210028000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=3113720 CPUtime=988.36 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 99957 0 0 0 98752 84 0 0 25 0 4 0 748053767 3188449280 579563 33554432000 4194304 4625164 140737210028000 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=3113720 CPUtime=1002.19 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 5714721 0 0 0 99331 888 0 0 25 0 4 0 748053767 3188449280 579564 33554432000 4194304 4625164 140737210028000 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3995.14
Current children cumulated vsize (KiB) 3113720

[startup+1062.3 s]
/proc/loadavg: 8.20 8.16 8.10 9/431 5581
/proc/meminfo: memFree=16594196/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=3113720 CPUtime=4234.3 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 7530534 0 0 0 422168 1262 0 0 25 0 4 0 748053762 3188449280 599493 33554432000 4194304 4625164 140737210028000 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 778430 599493 346 106 0 773933 0
[pid=5515/tid=5517] ppid=5513 vsize=3113720 CPUtime=1062.23 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 91785 0 0 0 106174 49 0 0 25 0 4 0 748053767 3188449280 599493 33554432000 4194304 4625164 140737210028000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=3113720 CPUtime=1047.53 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 102016 0 0 0 104666 87 0 0 25 0 4 0 748053767 3188449280 599493 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=3113720 CPUtime=1062.2 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 6099433 0 0 0 105269 951 0 0 25 0 4 0 748053767 3188449280 599493 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4234.3
Current children cumulated vsize (KiB) 3113720

[startup+1122.3 s]
/proc/loadavg: 8.17 8.16 8.10 9/431 5583
/proc/meminfo: memFree=16394496/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=3161724 CPUtime=4473.44 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 7966634 0 0 0 446012 1332 0 0 25 0 4 0 748053762 3237605376 623432 33554432000 4194304 4625164 140737210028000 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 790431 623432 346 106 0 785934 0
[pid=5515/tid=5517] ppid=5513 vsize=3161724 CPUtime=1122.23 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 98151 0 0 0 112173 50 0 0 25 0 4 0 748053767 3237605376 623432 33554432000 4194304 4625164 140737210028000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=3161724 CPUtime=1106.67 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 102209 0 0 0 110580 87 0 0 25 0 4 0 748053767 3237605376 623432 33554432000 4194304 4625164 140737210028000 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=3161724 CPUtime=1122.2 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 6480773 0 0 0 111210 1010 0 0 25 0 4 0 748053767 3237605376 623432 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351798 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4473.44
Current children cumulated vsize (KiB) 3161724

[startup+1182.3 s]
/proc/loadavg: 8.06 8.13 8.09 9/431 5585
/proc/meminfo: memFree=16271052/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=3161724 CPUtime=4712.59 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 8393968 0 0 0 469858 1401 0 0 25 0 4 0 748053762 3237605376 637287 33554432000 4194304 4625164 140737210028000 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 790431 637287 346 106 0 785934 0
[pid=5515/tid=5517] ppid=5513 vsize=3161724 CPUtime=1182.23 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 98981 0 0 0 118173 50 0 0 25 0 4 0 748053767 3237605376 637287 33554432000 4194304 4625164 140737210028000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=3161724 CPUtime=1165.81 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 102252 0 0 0 116494 87 0 0 25 0 4 0 748053767 3237605376 637287 33554432000 4194304 4625164 140737210028000 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=3161724 CPUtime=1182.2 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 6855541 0 0 0 117151 1069 0 0 25 0 4 0 748053767 3237605376 637287 33554432000 4194304 4625164 140737210028000 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4712.59
Current children cumulated vsize (KiB) 3161724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.3 s]
/proc/loadavg: 8.11 8.13 8.09 9/431 5585
/proc/meminfo: memFree=16229984/32950928 swapFree=65730892/67111528
[pid=5515] ppid=5513 vsize=3227260 CPUtime=4800.3 cores=1,3,5,7
/proc/5515/stat : 5515 (SArTagnan) R 5513 5515 5247 0 -1 4202496 8542066 0 0 0 478604 1426 0 0 25 0 4 0 748053762 3304714240 641941 33554432000 4194304 4625164 140737210028000 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/5515/statm: 806815 641941 346 106 0 802318 0
[pid=5515/tid=5517] ppid=5513 vsize=3227260 CPUtime=1204.25 cores=1,3,5,7
/proc/5515/task/5517/stat : 5517 (SArTagnan) R 5513 5515 5247 0 -1 4202560 99159 0 0 0 120375 50 0 0 25 0 4 0 748053767 3304714240 641942 33554432000 4194304 4625164 140737210028000 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5515/tid=5518] ppid=5513 vsize=3227260 CPUtime=1187.49 cores=1,3,5,7
/proc/5515/task/5518/stat : 5518 (SArTagnan) R 5513 5515 5247 0 -1 4202560 102252 0 0 0 118662 87 0 0 25 0 4 0 748053767 3304714240 641942 33554432000 4194304 4625164 140737210028000 18446744073709551615 4345308 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5515/tid=5519] ppid=5513 vsize=3227260 CPUtime=1204.22 cores=1,3,5,7
/proc/5515/task/5519/stat : 5519 (SArTagnan) R 5513 5515 5247 0 -1 4202560 6985734 0 0 0 119332 1090 0 0 25 0 4 0 748053767 3304714240 641942 33554432000 4194304 4625164 140737210028000 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 3227260

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.42
CPU time (s): 4800.44
CPU user time (s): 4786.09
CPU system time (s): 14.3548
CPU usage (%): 398.57
Max. virtual memory (cumulated for all children) (KiB): 4015872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4786.09
system time used= 14.3548
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8542068
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= 2534
involuntary context switches= 18204

runsolver used 4.5683 second user time and 12.2031 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-16 22:37:11
IDJOB=3386116
IDBENCH=71308
IDSOLVER=1871
FILE ID=node116/3386116-1305578231
RUNJOBID= node116-1305576531-5266
PBS_JOBID= 13350205
Free space on /tmp= 73012 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v2100c215164g4.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386116-1305578231/watcher-3386116-1305578231 -o /tmp/evaluation-result-3386116-1305578231/solver-3386116-1305578231 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386116-1305578231.cnf -threads=4

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

MD5SUM BENCH= 399c54da7337981a88a374a67e87ba30
RANDOM SEED=706004601

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.75
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.826
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.75
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.826
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.77
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.826
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.826
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.826
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:      18904912 kB
Buffers:        183528 kB
Cached:        2357568 kB
SwapCached:      12328 kB
Active:       12603564 kB
Inactive:      1201984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18904912 kB
SwapTotal:    67111528 kB
SwapFree:     65730892 kB
Dirty:            3116 kB
Writeback:           0 kB
AnonPages:    11262212 kB
Mapped:          20488 kB
Slab:           117744 kB
PageTables:      55208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 114848328 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= 73036 MiB
End job on node116 at 2011-05-16 22:57:17