Trace number 3385953

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.49 1203.86

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
MD5SUMdc046d6f885b64777ffc1cfc8367a176
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.909861
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

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-3385953-1305579089/watcher-3385953-1305579089 -o /tmp/evaluation-result-3385953-1305579089/solver-3385953-1305579089 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385953-1305579089.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.85 8.08 8.08 6/376 5315
/proc/meminfo: memFree=27261980/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=20056 CPUtime=0 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 742 0 0 0 0 0 0 0 25 0 1 0 669509327 20537344 504 33554432000 4194304 4625164 140736715002112 18446744073709551615 230809165568 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/5315/statm: 5014 504 296 106 0 517 0
[pid=5315/tid=5316] ppid=5313 vsize=53436 CPUtime=0 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669509328 54718464 946 33554432000 4194304 4625164 140736715002112 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=53436 CPUtime=0 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669509328 54718464 946 33554432000 4194304 4625164 140736715002112 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=53436 CPUtime=0 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 669509328 54718464 946 33554432000 4194304 4625164 140736715002112 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0388239 s]
/proc/loadavg: 7.85 8.08 8.08 6/376 5315
/proc/meminfo: memFree=27261980/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=250576 CPUtime=0.1 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 2116 0 0 0 10 0 0 0 25 0 4 0 669509327 256589824 1747 33554432000 4194304 4625164 140736715002112 18446744073709551615 4499412 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 62644 1747 344 106 0 58147 0
[pid=5315/tid=5316] ppid=5313 vsize=250576 CPUtime=0.02 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 129 0 0 0 2 0 0 0 25 0 4 0 669509328 256589824 1747 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=250576 CPUtime=0.02 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 135 0 0 0 2 0 0 0 25 0 4 0 669509328 256589824 1747 33554432000 4194304 4625164 140736715002112 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=250576 CPUtime=0.02 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 98 0 0 0 2 0 0 0 25 0 4 0 669509328 256589824 1747 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 250576

[startup+0.100813 s]
/proc/loadavg: 7.85 8.08 8.08 6/376 5315
/proc/meminfo: memFree=27261980/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=252240 CPUtime=0.35 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 2924 0 0 0 35 0 0 0 25 0 4 0 669509327 258293760 2429 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512273 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 63060 2430 345 106 0 58563 0
[pid=5315/tid=5316] ppid=5313 vsize=252240 CPUtime=0.08 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 306 0 0 0 8 0 0 0 25 0 4 0 669509328 258293760 2430 33554432000 4194304 4625164 140736715002112 18446744073709551615 230808824070 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=252240 CPUtime=0.08 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 359 0 0 0 8 0 0 0 25 0 4 0 669509328 258293760 2430 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=252240 CPUtime=0.08 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 202 0 0 0 8 0 0 0 25 0 4 0 669509328 258293760 2430 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 252240

[startup+0.300776 s]
/proc/loadavg: 7.85 8.08 8.08 6/376 5315
/proc/meminfo: memFree=27261980/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=256260 CPUtime=1.15 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 5013 0 0 0 115 0 0 0 25 0 4 0 669509327 262410240 3531 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 64065 3531 345 106 0 59568 0
[pid=5315/tid=5316] ppid=5313 vsize=256260 CPUtime=0.28 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 755 0 0 0 28 0 0 0 25 0 4 0 669509328 262410240 3531 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=256260 CPUtime=0.28 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 849 0 0 0 28 0 0 0 25 0 4 0 669509328 262410240 3531 33554432000 4194304 4625164 140736715002112 18446744073709551615 230808826565 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=256260 CPUtime=0.28 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 604 0 0 0 28 0 0 0 25 0 4 0 669509328 262410240 3531 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351989 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 256260

[startup+0.700705 s]
/proc/loadavg: 7.85 8.08 8.08 6/376 5315
/proc/meminfo: memFree=27261980/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=258912 CPUtime=2.74 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 7426 0 0 0 274 0 0 0 25 0 4 0 669509327 265125888 4440 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 64728 4440 345 106 0 60231 0
[pid=5315/tid=5316] ppid=5313 vsize=258912 CPUtime=0.68 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 1183 0 0 0 68 0 0 0 25 0 4 0 669509328 265125888 4440 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=258912 CPUtime=0.68 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 1461 0 0 0 68 0 0 0 25 0 4 0 669509328 265125888 4440 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=258912 CPUtime=0.68 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 1924 0 0 0 68 0 0 0 25 0 4 0 669509328 265125888 4440 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352859 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 258912

[startup+1.50056 s]
/proc/loadavg: 7.85 8.08 8.08 9/380 5319
/proc/meminfo: memFree=27239384/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=263696 CPUtime=5.93 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 15061 0 0 0 591 2 0 0 25 0 4 0 669509327 270024704 6681 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512740 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 65924 6681 345 106 0 61427 0
[pid=5315/tid=5316] ppid=5313 vsize=263696 CPUtime=1.47 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 2193 0 0 0 147 0 0 0 25 0 4 0 669509328 270024704 6681 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=263696 CPUtime=1.47 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 2744 0 0 0 147 0 0 0 25 0 4 0 669509328 270024704 6681 33554432000 4194304 4625164 140736715002112 18446744073709551615 230808826565 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=263696 CPUtime=1.46 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 6583 0 0 0 146 0 0 0 25 0 4 0 669509328 270024704 6682 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 263696

[startup+3.10027 s]
/proc/loadavg: 7.85 8.08 8.08 9/380 5319
/proc/meminfo: memFree=27230208/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=270716 CPUtime=12.31 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 32432 0 0 0 1227 4 0 0 25 0 4 0 669509327 277213184 9802 33554432000 4194304 4625164 140736715002112 18446744073709551615 4511950 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 67679 9802 346 106 0 63182 0
[pid=5315/tid=5316] ppid=5313 vsize=270716 CPUtime=3.07 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 3866 0 0 0 307 0 0 0 25 0 4 0 669509328 277213184 9802 33554432000 4194304 4625164 140736715002112 18446744073709551615 4375344 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=270716 CPUtime=3.08 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 4599 0 0 0 307 1 0 0 25 0 4 0 669509328 277213184 9802 33554432000 4194304 4625164 140736715002112 18446744073709551615 4462504 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=270716 CPUtime=3.05 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 20337 0 0 0 303 2 0 0 25 0 4 0 669509328 277213184 9802 33554432000 4194304 4625164 140736715002112 18446744073709551615 4559690 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 270716

[startup+6.30068 s]
/proc/loadavg: 7.87 8.08 8.08 9/380 5319
/proc/meminfo: memFree=27203548/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=280364 CPUtime=25.08 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 49791 0 0 0 2499 9 0 0 25 0 4 0 669509327 287092736 14511 33554432000 4194304 4625164 140736715002112 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 70091 14511 346 106 0 65594 0
[pid=5315/tid=5316] ppid=5313 vsize=280364 CPUtime=6.27 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 6153 0 0 0 626 1 0 0 25 0 4 0 669509328 287092736 14511 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=280364 CPUtime=6.28 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 7084 0 0 0 626 2 0 0 25 0 4 0 669509328 287092736 14511 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=280364 CPUtime=6.21 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 32782 0 0 0 617 4 0 0 25 0 4 0 669509328 287092736 14511 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 280364

[startup+12.7005 s]
/proc/loadavg: 7.88 8.08 8.08 9/380 5319
/proc/meminfo: memFree=27169440/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=300048 CPUtime=50.59 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 137559 0 0 0 5036 23 0 0 25 0 4 0 669509327 307249152 23069 33554432000 4194304 4625164 140736715002112 18446744073709551615 4516209 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 75012 23069 348 106 0 70515 0
[pid=5315/tid=5316] ppid=5313 vsize=300048 CPUtime=12.67 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 9845 0 0 0 1265 2 0 0 25 0 4 0 669509328 307249152 23069 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=300048 CPUtime=12.67 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 13287 0 0 0 1264 3 0 0 25 0 4 0 669509328 307249152 23069 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=300048 CPUtime=12.54 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 108471 0 0 0 1238 16 0 0 25 0 4 0 669509328 307249152 23069 33554432000 4194304 4625164 140736715002112 18446744073709551615 4562532 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 300048

[startup+25.5012 s]
/proc/loadavg: 7.98 8.09 8.09 9/380 5320
/proc/meminfo: memFree=27120820/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=311500 CPUtime=101.64 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 227445 0 0 0 10125 39 0 0 25 0 4 0 669509327 318976000 33425 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512017 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 77875 33425 365 106 0 73378 0
[pid=5315/tid=5316] ppid=5313 vsize=311500 CPUtime=25.48 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 15660 0 0 0 2543 5 0 0 25 0 4 0 669509328 318976000 33425 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=311500 CPUtime=25.48 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 18199 0 0 0 2543 5 0 0 25 0 4 0 669509328 318976000 33425 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=311500 CPUtime=25.18 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 184904 0 0 0 2491 27 0 0 25 0 4 0 669509328 318976000 33425 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 311500

[startup+51.1005 s]
/proc/loadavg: 7.99 8.08 8.08 9/380 5320
/proc/meminfo: memFree=27044652/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=341120 CPUtime=203.74 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 306480 0 0 0 20319 55 0 0 25 0 4 0 669509327 349306880 50384 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 85280 50384 585 106 0 80783 0
[pid=5315/tid=5316] ppid=5313 vsize=341120 CPUtime=51.07 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 21968 0 0 0 5099 8 0 0 25 0 4 0 669509328 349306880 50384 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=341120 CPUtime=51.08 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 26968 0 0 0 5100 8 0 0 25 0 4 0 669509328 349306880 50384 33554432000 4194304 4625164 140736715002112 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=341120 CPUtime=50.48 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 240397 0 0 0 5013 35 0 0 25 0 4 0 669509328 349306880 50384 33554432000 4194304 4625164 140736715002112 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.74
Current children cumulated vsize (KiB) 341120

[startup+102.314 s]
/proc/loadavg: 7.51 7.93 8.03 9/380 5353
/proc/meminfo: memFree=25781884/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=390296 CPUtime=407.95 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 929655 0 0 0 40637 158 0 0 25 0 4 0 669509327 399663104 72083 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512779 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 97574 72083 550 106 0 93077 0
[pid=5315/tid=5316] ppid=5313 vsize=390296 CPUtime=102.29 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 32185 0 0 0 10215 14 0 0 25 0 4 0 669509328 399663104 72083 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352161 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=390296 CPUtime=102.28 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 29100 0 0 0 10219 9 0 0 25 0 4 0 669509328 399663104 72083 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=390296 CPUtime=101.08 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 828287 0 0 0 9990 118 0 0 25 0 4 0 669509328 399663104 72083 33554432000 4194304 4625164 140736715002112 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 390296

[startup+162.301 s]

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

[pid=5315] ppid=5313 vsize=1056716 CPUtime=2561.26 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 2977891 0 0 0 255649 477 0 0 25 0 4 0 669509327 1082077184 187388 33554432000 4194304 4625164 140736715002112 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 264179 187388 365 106 0 259682 0
[pid=5315/tid=5316] ppid=5313 vsize=1056716 CPUtime=642.22 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 91101 0 0 0 64193 29 0 0 25 0 4 0 669509328 1082077184 187388 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1056716 CPUtime=642.28 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 69240 0 0 0 64201 27 0 0 25 0 4 0 669509328 1082077184 187388 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1056716 CPUtime=634.58 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 2642980 0 0 0 63078 380 0 0 25 0 4 0 669509328 1082077184 187388 33554432000 4194304 4625164 140736715002112 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561.26
Current children cumulated vsize (KiB) 1056716

[startup+702.301 s]
/proc/loadavg: 7.82 7.85 7.94 9/380 5528
/proc/meminfo: memFree=26717096/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=1057736 CPUtime=2800.51 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 2985059 0 0 0 279567 484 0 0 25 0 4 0 669509327 1083121664 194333 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 264434 194333 365 106 0 259937 0
[pid=5315/tid=5316] ppid=5313 vsize=1057736 CPUtime=702.21 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 94381 0 0 0 70188 33 0 0 25 0 4 0 669509328 1083121664 194333 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1057736 CPUtime=702.26 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 70339 0 0 0 70198 28 0 0 25 0 4 0 669509328 1083121664 194333 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1057736 CPUtime=693.87 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 2643384 0 0 0 69007 380 0 0 25 0 4 0 669509328 1083121664 194333 33554432000 4194304 4625164 140736715002112 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.51
Current children cumulated vsize (KiB) 1057736

[startup+762.314 s]
/proc/loadavg: 8.00 7.89 7.94 9/380 5592
/proc/meminfo: memFree=26912292/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=1105740 CPUtime=3039.7 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 3356800 0 0 0 303428 542 0 0 25 0 4 0 669509327 1132277760 206609 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 276435 206609 346 106 0 271938 0
[pid=5315/tid=5316] ppid=5313 vsize=1105740 CPUtime=762.21 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 101939 0 0 0 76186 35 0 0 25 0 4 0 669509328 1132277760 206609 33554432000 4194304 4625164 140736715002112 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1105740 CPUtime=762.28 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 71890 0 0 0 76198 30 0 0 25 0 4 0 669509328 1132277760 206609 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1105740 CPUtime=753.02 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 3003083 0 0 0 74870 432 0 0 25 0 4 0 669509328 1132277760 206609 33554432000 4194304 4625164 140736715002112 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.7
Current children cumulated vsize (KiB) 1105740

[startup+822.301 s]
/proc/loadavg: 8.19 7.97 7.96 9/380 5684
/proc/meminfo: memFree=26559192/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=1176688 CPUtime=3278.94 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 3411438 0 0 0 327342 552 0 0 25 0 4 0 669509327 1204928512 213434 33554432000 4194304 4625164 140736715002112 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 294172 213434 346 106 0 289675 0
[pid=5315/tid=5316] ppid=5313 vsize=1176688 CPUtime=822.2 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 128832 0 0 0 82182 38 0 0 25 0 4 0 669509328 1204928512 213434 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1176688 CPUtime=822.27 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 73043 0 0 0 82195 32 0 0 25 0 4 0 669509328 1204928512 213434 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1176688 CPUtime=812.31 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 3015515 0 0 0 80796 435 0 0 25 0 4 0 669509328 1204928512 213434 33554432000 4194304 4625164 140736715002112 18446744073709551615 4579325 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.94
Current children cumulated vsize (KiB) 1176688

[startup+882.301 s]
/proc/loadavg: 8.13 7.99 7.97 9/380 5716
/proc/meminfo: memFree=26470388/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=1176688 CPUtime=3518.22 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 3629106 0 0 0 351239 583 0 0 25 0 4 0 669509327 1204928512 219853 33554432000 4194304 4625164 140736715002112 18446744073709551615 4393161 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 294172 219853 350 106 0 289675 0
[pid=5315/tid=5316] ppid=5313 vsize=1176688 CPUtime=882.2 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 130551 0 0 0 88181 39 0 0 25 0 4 0 669509328 1204928512 219853 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1176688 CPUtime=882.27 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 73453 0 0 0 88195 32 0 0 25 0 4 0 669509328 1204928512 219853 33554432000 4194304 4625164 140736715002112 18446744073709551615 230808833021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1176688 CPUtime=871.6 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 3228229 0 0 0 86697 463 0 0 25 0 4 0 669509328 1204928512 219853 33554432000 4194304 4625164 140736715002112 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.22
Current children cumulated vsize (KiB) 1176688

[startup+942.301 s]
/proc/loadavg: 8.23 8.03 7.98 9/380 5747
/proc/meminfo: memFree=26601788/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=1273348 CPUtime=3757.5 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 4144206 0 0 0 375092 658 0 0 25 0 4 0 669509327 1303908352 234015 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512066 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 318337 234015 346 106 0 313840 0
[pid=5315/tid=5316] ppid=5313 vsize=1273348 CPUtime=942.2 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 132699 0 0 0 94179 41 0 0 25 0 4 0 669509328 1303908352 234015 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1273348 CPUtime=942.27 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 74892 0 0 0 94193 34 0 0 25 0 4 0 669509328 1303908352 234015 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1273348 CPUtime=930.89 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 3682976 0 0 0 92562 527 0 0 25 0 4 0 669509328 1303908352 234015 33554432000 4194304 4625164 140736715002112 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.5
Current children cumulated vsize (KiB) 1273348

[startup+1002.3 s]
/proc/loadavg: 8.16 8.04 7.99 9/380 5749
/proc/meminfo: memFree=26457076/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=1343240 CPUtime=3996.78 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 4489971 0 0 0 398968 710 0 0 25 0 4 0 669509327 1375477760 238120 33554432000 4194304 4625164 140736715002112 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 335810 238120 346 106 0 331313 0
[pid=5315/tid=5316] ppid=5313 vsize=1343240 CPUtime=1002.2 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 134712 0 0 0 100178 42 0 0 25 0 4 0 669509328 1375477760 238120 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1343240 CPUtime=1002.27 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 76462 0 0 0 100192 35 0 0 25 0 4 0 669509328 1375477760 238120 33554432000 4194304 4625164 140736715002112 18446744073709551615 4288789 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1343240 CPUtime=990.18 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 4023264 0 0 0 98442 576 0 0 25 0 4 0 669509328 1375477760 238120 33554432000 4194304 4625164 140736715002112 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.78
Current children cumulated vsize (KiB) 1343240

[startup+1062.3 s]
/proc/loadavg: 8.16 8.06 8.00 9/380 5750
/proc/meminfo: memFree=26377420/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=1356664 CPUtime=4236.07 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 4824527 0 0 0 422848 759 0 0 25 0 4 0 669509327 1389223936 251069 33554432000 4194304 4625164 140736715002112 18446744073709551615 4519365 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 339166 251069 353 106 0 334669 0
[pid=5315/tid=5316] ppid=5313 vsize=1356664 CPUtime=1062.2 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 135454 0 0 0 106177 43 0 0 25 0 4 0 669509328 1389223936 251069 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1356664 CPUtime=1062.27 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 81052 0 0 0 106186 41 0 0 25 0 4 0 669509328 1389223936 251069 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1356664 CPUtime=1049.48 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 4350529 0 0 0 104330 618 0 0 25 0 4 0 669509328 1389223936 251069 33554432000 4194304 4625164 140736715002112 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.07
Current children cumulated vsize (KiB) 1356664

[startup+1122.3 s]
/proc/loadavg: 8.12 8.06 8.00 9/380 5752
/proc/meminfo: memFree=26307204/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=1356664 CPUtime=4475.35 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 5456564 0 0 0 446693 842 0 0 25 0 4 0 669509327 1389223936 256162 33554432000 4194304 4625164 140736715002112 18446744073709551615 4511973 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 339166 256162 351 106 0 334669 0
[pid=5315/tid=5316] ppid=5313 vsize=1356664 CPUtime=1122.2 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 136482 0 0 0 112177 43 0 0 25 0 4 0 669509328 1389223936 256162 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1356664 CPUtime=1122.28 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 81371 0 0 0 112187 41 0 0 25 0 4 0 669509328 1389223936 256162 33554432000 4194304 4625164 140736715002112 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1356664 CPUtime=1108.76 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 4979227 0 0 0 110175 701 0 0 25 0 4 0 669509328 1389223936 256162 33554432000 4194304 4625164 140736715002112 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.35
Current children cumulated vsize (KiB) 1356664

[startup+1182.3 s]
/proc/loadavg: 8.13 8.08 8.01 9/380 5754
/proc/meminfo: memFree=26232272/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=1364468 CPUtime=4714.64 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 5896980 0 0 0 470562 902 0 0 25 0 4 0 669509327 1397215232 261546 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 341117 261546 346 106 0 336620 0
[pid=5315/tid=5316] ppid=5313 vsize=1364468 CPUtime=1182.2 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 137078 0 0 0 118177 43 0 0 25 0 4 0 669509328 1397215232 261546 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1364468 CPUtime=1182.27 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 83085 0 0 0 118185 42 0 0 25 0 4 0 669509328 1397215232 261546 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1364468 CPUtime=1168.06 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 5415281 0 0 0 116049 757 0 0 25 0 4 0 669509328 1397215232 261546 33554432000 4194304 4625164 140736715002112 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.64
Current children cumulated vsize (KiB) 1364468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.16 8.09 8.01 9/380 5754
/proc/meminfo: memFree=26196184/32951124 swapFree=37160408/67111528
[pid=5315] ppid=5313 vsize=1366344 CPUtime=4800.41 cores=0,2,4,6
/proc/5315/stat : 5315 (SArTagnan) R 5313 5315 5006 0 -1 4202496 6006552 0 0 0 479121 920 0 0 25 0 4 0 669509327 1399136256 267905 33554432000 4194304 4625164 140736715002112 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5315/statm: 341586 267905 357 106 0 337089 0
[pid=5315/tid=5316] ppid=5313 vsize=1366344 CPUtime=1203.71 cores=0,2,4,6
/proc/5315/task/5316/stat : 5316 (SArTagnan) R 5313 5315 5006 0 -1 4202560 137542 0 0 0 120328 43 0 0 25 0 4 0 669509328 1399136256 267905 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5315/tid=5317] ppid=5313 vsize=1366344 CPUtime=1203.79 cores=0,2,4,6
/proc/5315/task/5317/stat : 5317 (SArTagnan) R 5313 5315 5006 0 -1 4202560 84166 0 0 0 120336 43 0 0 25 0 4 0 669509328 1399136256 267905 33554432000 4194304 4625164 140736715002112 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5315/tid=5318] ppid=5313 vsize=1366344 CPUtime=1189.31 cores=0,2,4,6
/proc/5315/task/5318/stat : 5318 (SArTagnan) R 5313 5315 5006 0 -1 4202560 5522830 0 0 0 118156 775 0 0 25 0 4 0 669509328 1399136256 267905 33554432000 4194304 4625164 140736715002112 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 1366344

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.86
CPU time (s): 4800.49
CPU user time (s): 4791.24
CPU system time (s): 9.24959
CPU usage (%): 398.757
Max. virtual memory (cumulated for all children) (KiB): 1464876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.24
system time used= 9.24959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6006552
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= 970
involuntary context switches= 25590

runsolver used 4.00139 second user time and 10.3724 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-16 22:51:29
IDJOB=3385953
IDBENCH=71576
IDSOLVER=1871
FILE ID=node104/3385953-1305579089
RUNJOBID= node104-1305576965-5024
PBS_JOBID= 13350212
Free space on /tmp= 73268 MiB

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

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

MD5SUM BENCH= dc046d6f885b64777ffc1cfc8367a176
RANDOM SEED=984154922

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:      27262136 kB
Buffers:        300368 kB
Cached:        2619776 kB
SwapCached:     152312 kB
Active:        1953032 kB
Inactive:      3454296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27262136 kB
SwapTotal:    67111528 kB
SwapFree:     37160408 kB
Dirty:             788 kB
Writeback:           0 kB
AnonPages:     2347760 kB
Mapped:          11320 kB
Slab:           127448 kB
PageTables:      90360 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 88562696 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= 73268 MiB
End job on node104 at 2011-05-16 23:11:35