Trace number 3438981

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) 40001.1 5008.71

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-16-16-unsat.cnf
MD5SUMc07743bac800f91e403382f26717b1d0
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 variables256
Number of clauses2176
Sum of the clauses size7936
Maximum clause length16
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21920
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5256

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: 977)

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-3438981-1306924947/watcher-3438981-1306924947 -o /tmp/evaluation-result-3438981-1306924947/solver-3438981-1306924947 -C 40000 -W 5100 -M 31000 SArTagnan HOME/instance-3438981-1306924947.cnf -threads=8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.50 7.94 7.96 3/379 15756
/proc/meminfo: memFree=24302336/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=90752 CPUtime=0.01 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 555 0 0 0 1 0 0 0 25 0 8 0 804097495 92930048 491 33554432000 4194304 4625164 140736840464320 18446744073709551615 47308887930792 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15756/statm: 22688 491 300 106 0 18191 0
[pid=15756/tid=15757] ppid=15754 vsize=287360 CPUtime=0 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 26 0 0 0 0 0 0 0 25 0 8 0 804097495 294256640 715 33554432000 4194304 4625164 140736840464320 18446744073709551615 218370618053 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=287360 CPUtime=0 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) D 15754 15756 15516 0 -1 4202560 42 0 0 0 0 0 0 0 25 0 8 0 804097495 294256640 715 33554432000 4194304 4625164 140736840464320 18446744073709551615 4340391 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=287360 CPUtime=0 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 18 0 0 0 0 0 0 0 25 0 8 0 804097495 294256640 718 33554432000 4194304 4625164 140736840464320 18446744073709551615 218371062254 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=287360 CPUtime=0 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 31 0 0 0 0 0 0 0 18 0 8 0 804097495 294256640 719 33554432000 4194304 4625164 140736840464320 18446744073709551615 218371062303 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=287360 CPUtime=0 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 40 0 0 0 0 0 0 0 18 0 8 0 804097495 294256640 720 33554432000 4194304 4625164 140736840464320 18446744073709551615 4435140 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=287360 CPUtime=0 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 8 0 804097495 294256640 721 33554432000 4194304 4625164 140736840464320 18446744073709551615 218370618053 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=287360 CPUtime=0 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 29 0 0 0 0 0 0 0 25 0 8 0 804097495 294256640 721 33554432000 4194304 4625164 140736840464320 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0631811 s]
/proc/loadavg: 7.50 7.94 7.96 3/379 15756
/proc/meminfo: memFree=24302336/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=419944 CPUtime=0.35 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 2665 0 0 0 35 0 0 0 18 0 8 0 804097495 430022656 2411 33554432000 4194304 4625164 140736840464320 18446744073709551615 4357403 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 104986 2411 349 106 0 100489 0
[pid=15756/tid=15757] ppid=15754 vsize=419944 CPUtime=0.05 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 273 0 0 0 5 0 0 0 18 0 8 0 804097495 430022656 2411 33554432000 4194304 4625164 140736840464320 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=419944 CPUtime=0.05 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 264 0 0 0 5 0 0 0 25 0 8 0 804097495 430022656 2411 33554432000 4194304 4625164 140736840464320 18446744073709551615 4462375 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=419944 CPUtime=0.04 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 204 0 0 0 4 0 0 0 25 0 8 0 804097495 430022656 2412 33554432000 4194304 4625164 140736840464320 18446744073709551615 4278657 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=419944 CPUtime=0.05 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 298 0 0 0 5 0 0 0 18 0 8 0 804097495 430022656 2412 33554432000 4194304 4625164 140736840464320 18446744073709551615 4463233 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=419944 CPUtime=0.05 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 314 0 0 0 5 0 0 0 18 0 8 0 804097495 430022656 2413 33554432000 4194304 4625164 140736840464320 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=419944 CPUtime=0.04 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 321 0 0 0 4 0 0 0 18 0 8 0 804097495 430022656 2414 33554432000 4194304 4625164 140736840464320 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=419944 CPUtime=0.01 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 73 0 0 0 1 0 0 0 25 0 8 0 804097495 430022656 2414 33554432000 4194304 4625164 140736840464320 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 419944

[startup+0.112483 s]
/proc/loadavg: 7.50 7.94 7.96 3/379 15756
/proc/meminfo: memFree=24302336/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=422640 CPUtime=0.73 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 4622 0 0 0 72 1 0 0 18 0 8 0 804097495 432783360 3845 33554432000 4194304 4625164 140736840464320 18446744073709551615 4204720 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 105660 3849 352 106 0 101163 0
[pid=15756/tid=15757] ppid=15754 vsize=422640 CPUtime=0.1 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 512 0 0 0 10 0 0 0 18 0 8 0 804097495 432783360 3849 33554432000 4194304 4625164 140736840464320 18446744073709551615 4339865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=422640 CPUtime=0.09 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 655 0 0 0 9 0 0 0 25 0 8 0 804097495 432783360 3849 33554432000 4194304 4625164 140736840464320 18446744073709551615 4339643 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=422640 CPUtime=0.09 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 447 0 0 0 9 0 0 0 25 0 8 0 804097495 432783360 3849 33554432000 4194304 4625164 140736840464320 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=422640 CPUtime=0.1 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 451 0 0 0 10 0 0 0 18 0 8 0 804097495 432783360 3849 33554432000 4194304 4625164 140736840464320 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=422640 CPUtime=0.09 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 535 0 0 0 9 0 0 0 18 0 8 0 804097495 432783360 3849 33554432000 4194304 4625164 140736840464320 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=422640 CPUtime=0.08 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 643 0 0 0 8 0 0 0 18 0 8 0 804097495 432783360 3849 33554432000 4194304 4625164 140736840464320 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=422640 CPUtime=0.04 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 241 0 0 0 4 0 0 0 25 0 8 0 804097495 432783360 3849 33554432000 4194304 4625164 140736840464320 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 422640

[startup+0.301105 s]
/proc/loadavg: 7.50 7.94 7.96 3/379 15756
/proc/meminfo: memFree=24302336/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=428932 CPUtime=2.23 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 10406 0 0 0 220 3 0 0 18 0 8 0 804097495 439226368 7943 33554432000 4194304 4625164 140736840464320 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 107233 7943 349 106 0 102736 0
[pid=15756/tid=15757] ppid=15754 vsize=428932 CPUtime=0.28 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 941 0 0 0 28 0 0 0 18 0 8 0 804097495 439226368 7945 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351795 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=428932 CPUtime=0.28 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 1154 0 0 0 28 0 0 0 18 0 8 0 804097495 439226368 7945 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=428932 CPUtime=0.27 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 1534 0 0 0 27 0 0 0 25 0 8 0 804097495 439226368 7945 33554432000 4194304 4625164 140736840464320 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=428932 CPUtime=0.28 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 1125 0 0 0 28 0 0 0 18 0 8 0 804097495 439226368 7945 33554432000 4194304 4625164 140736840464320 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=428932 CPUtime=0.28 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 1391 0 0 0 28 0 0 0 18 0 8 0 804097495 439226368 7945 33554432000 4194304 4625164 140736840464320 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=428932 CPUtime=0.27 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 1504 0 0 0 27 0 0 0 18 0 8 0 804097495 439226368 7945 33554432000 4194304 4625164 140736840464320 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=428932 CPUtime=0.22 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 869 0 0 0 22 0 0 0 25 0 8 0 804097495 439226368 7946 33554432000 4194304 4625164 140736840464320 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 428932

[startup+0.701036 s]
/proc/loadavg: 7.50 7.94 7.96 3/379 15756
/proc/meminfo: memFree=24302336/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=442880 CPUtime=5.42 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 20705 0 0 0 537 5 0 0 18 0 8 0 804097495 453509120 14557 33554432000 4194304 4625164 140736840464320 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 110720 14557 349 106 0 106223 0
[pid=15756/tid=15757] ppid=15754 vsize=442880 CPUtime=0.68 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 2013 0 0 0 68 0 0 0 18 0 8 0 804097495 453509120 14557 33554432000 4194304 4625164 140736840464320 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=442880 CPUtime=0.67 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 2535 0 0 0 67 0 0 0 18 0 8 0 804097495 453509120 14557 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351989 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=442880 CPUtime=0.66 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 3468 0 0 0 66 0 0 0 18 0 8 0 804097495 453509120 14560 33554432000 4194304 4625164 140736840464320 18446744073709551615 4552423 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=442880 CPUtime=0.68 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 2213 0 0 0 68 0 0 0 18 0 8 0 804097495 453509120 14563 33554432000 4194304 4625164 140736840464320 18446744073709551615 4464320 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=442880 CPUtime=0.68 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 2549 0 0 0 68 0 0 0 18 0 8 0 804097495 453509120 14565 33554432000 4194304 4625164 140736840464320 18446744073709551615 4349325 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=442880 CPUtime=0.68 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 3155 0 0 0 67 1 0 0 18 0 8 0 804097495 453509120 14565 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=442880 CPUtime=0.62 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 1906 0 0 0 62 0 0 0 25 0 8 0 804097495 453509120 14565 33554432000 4194304 4625164 140736840464320 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 442880

[startup+1.5009 s]
/proc/loadavg: 7.50 7.94 7.96 9/387 15764
/proc/meminfo: memFree=24229540/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=452656 CPUtime=11.81 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 34901 0 0 0 1173 8 0 0 20 0 8 0 804097495 463519744 23513 33554432000 4194304 4625164 140736840464320 18446744073709551615 4393051 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 113164 23514 349 106 0 108667 0
[pid=15756/tid=15757] ppid=15754 vsize=452656 CPUtime=1.48 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 3168 0 0 0 148 0 0 0 20 0 8 0 804097495 463519744 23514 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=452656 CPUtime=1.48 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 3909 0 0 0 147 1 0 0 19 0 8 0 804097495 463519744 23514 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=452656 CPUtime=1.47 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 7110 0 0 0 146 1 0 0 19 0 8 0 804097495 463519744 23514 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=452656 CPUtime=1.48 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 3535 0 0 0 148 0 0 0 20 0 8 0 804097495 463519744 23514 33554432000 4194304 4625164 140736840464320 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=452656 CPUtime=1.48 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 4793 0 0 0 147 1 0 0 20 0 8 0 804097495 463519744 23514 33554432000 4194304 4625164 140736840464320 18446744073709551615 4348844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=452656 CPUtime=1.47 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 5169 0 0 0 146 1 0 0 20 0 8 0 804097495 463519744 23514 33554432000 4194304 4625164 140736840464320 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=452656 CPUtime=1.4 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 3045 0 0 0 140 0 0 0 25 0 8 0 804097495 463519744 23514 33554432000 4194304 4625164 140736840464320 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 452656

[startup+3.10061 s]
/proc/loadavg: 7.50 7.94 7.96 9/387 15764
/proc/meminfo: memFree=24183908/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=474400 CPUtime=24.59 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 59416 0 0 0 2447 12 0 0 25 0 8 0 804097495 485785600 39909 33554432000 4194304 4625164 140736840464320 18446744073709551615 4512970 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 118600 39909 526 106 0 114103 0
[pid=15756/tid=15757] ppid=15754 vsize=474400 CPUtime=3.08 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 6142 0 0 0 308 0 0 0 25 0 8 0 804097495 485785600 39909 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=474400 CPUtime=3.07 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 7789 0 0 0 306 1 0 0 24 0 8 0 804097495 485785600 39909 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=474400 CPUtime=3.07 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 13325 0 0 0 305 2 0 0 24 0 8 0 804097495 485785600 39909 33554432000 4194304 4625164 140736840464320 18446744073709551615 218370615733 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=474400 CPUtime=3.08 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 5507 0 0 0 308 0 0 0 18 0 8 0 804097495 485785600 39909 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=474400 CPUtime=3.08 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 7247 0 0 0 307 1 0 0 25 0 8 0 804097495 485785600 39909 33554432000 4194304 4625164 140736840464320 18446744073709551615 4435230 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=474400 CPUtime=3.07 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 7485 0 0 0 305 2 0 0 25 0 8 0 804097495 485785600 39909 33554432000 4194304 4625164 140736840464320 18446744073709551615 4462912 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=474400 CPUtime=2.99 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 5907 0 0 0 298 1 0 0 25 0 8 0 804097495 485785600 39909 33554432000 4194304 4625164 140736840464320 18446744073709551615 4462312 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.59
Current children cumulated vsize (KiB) 474400

[startup+6.30104 s]
/proc/loadavg: 7.54 7.94 7.96 9/387 15764
/proc/meminfo: memFree=24076972/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=528640 CPUtime=50.15 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 101721 0 0 0 4994 21 0 0 25 0 8 0 804097495 541327360 62749 33554432000 4194304 4625164 140736840464320 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 132160 62749 624 106 0 127663 0
[pid=15756/tid=15757] ppid=15754 vsize=528640 CPUtime=6.28 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 9709 0 0 0 626 2 0 0 25 0 8 0 804097495 541327360 62749 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=528640 CPUtime=6.27 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 15915 0 0 0 625 2 0 0 25 0 8 0 804097495 541327360 62749 33554432000 4194304 4625164 140736840464320 18446744073709551615 4352007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=528640 CPUtime=6.26 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 21315 0 0 0 623 3 0 0 25 0 8 0 804097495 541327360 62749 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=528640 CPUtime=6.28 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 10712 0 0 0 627 1 0 0 25 0 8 0 804097495 541327360 62749 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=528640 CPUtime=6.28 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 10674 0 0 0 626 2 0 0 25 0 8 0 804097495 541327360 62749 33554432000 4194304 4625164 140736840464320 18446744073709551615 4349042 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=528640 CPUtime=6.27 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 15794 0 0 0 624 3 0 0 25 0 8 0 804097495 541327360 62749 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=528640 CPUtime=6.15 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 9251 0 0 0 614 1 0 0 25 0 8 0 804097495 541327360 62749 33554432000 4194304 4625164 140736840464320 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 7 0 0 0

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

Current children cumulated vsize (KiB) 4755560

[startup+4722.32 s]
/proc/loadavg: 8.07 8.05 8.00 9/387 15911
/proc/meminfo: memFree=20460240/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=4755560 CPUtime=37715.9 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 15122260 0 0 0 3768702 2884 0 0 25 0 8 0 804097495 4869693440 957708 33554432000 4194304 4625164 140736840464320 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 1188890 957708 354 106 0 1184393 0
[pid=15756/tid=15757] ppid=15754 vsize=4755560 CPUtime=4722.37 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 172520 0 0 0 472172 65 0 0 25 0 8 0 804097495 4869693440 957708 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=4755560 CPUtime=4722.39 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 194768 0 0 0 472205 34 0 0 25 0 8 0 804097495 4869693440 957708 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=4755560 CPUtime=4722.33 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 7366471 0 0 0 470943 1290 0 0 25 0 8 0 804097495 4869693440 957708 33554432000 4194304 4625164 140736840464320 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=4755560 CPUtime=4722.38 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 130717 0 0 0 472210 28 0 0 25 0 8 0 804097495 4869693440 957708 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=4755560 CPUtime=4662.49 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 151703 0 0 0 466209 40 0 0 25 0 8 0 804097495 4869693440 957708 33554432000 4194304 4625164 140736840464320 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=4755560 CPUtime=4721.28 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 265639 0 0 0 472083 45 0 0 25 0 8 0 804097495 4869693440 957708 33554432000 4194304 4625164 140736840464320 18446744073709551615 4330793 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=4755560 CPUtime=4720.17 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 156557 0 0 0 471987 30 0 0 25 0 8 0 804097495 4869693440 957708 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37715.9
Current children cumulated vsize (KiB) 4755560

[startup+4782.3 s]
/proc/loadavg: 8.08 8.06 8.00 9/387 15913
/proc/meminfo: memFree=20456016/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=4755560 CPUtime=38195 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 15366618 0 0 0 3816566 2930 0 0 25 0 8 0 804097495 4869693440 959792 33554432000 4194304 4625164 140736840464320 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 1188890 959792 410 106 0 1184393 0
[pid=15756/tid=15757] ppid=15754 vsize=4755560 CPUtime=4782.36 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 172531 0 0 0 478171 65 0 0 25 0 8 0 804097495 4869693440 959792 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=4755560 CPUtime=4782.38 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 194783 0 0 0 478204 34 0 0 25 0 8 0 804097495 4869693440 959792 33554432000 4194304 4625164 140736840464320 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=4755560 CPUtime=4782.32 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 7557697 0 0 0 476908 1324 0 0 25 0 8 0 804097495 4869693440 959792 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=4755560 CPUtime=4782.37 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 130749 0 0 0 478209 28 0 0 25 0 8 0 804097495 4869693440 959792 33554432000 4194304 4625164 140736840464320 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=4755560 CPUtime=4721.7 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 151705 0 0 0 472130 40 0 0 25 0 8 0 804097495 4869693440 959792 33554432000 4194304 4625164 140736840464320 18446744073709551615 4460412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=4755560 CPUtime=4781.24 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 265674 0 0 0 478079 45 0 0 25 0 8 0 804097495 4869693440 959792 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=4755560 CPUtime=4780.17 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 156587 0 0 0 477986 31 0 0 25 0 8 0 804097495 4869693440 959792 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38195
Current children cumulated vsize (KiB) 4755560

[startup+4842.3 s]
/proc/loadavg: 8.09 8.06 8.00 9/387 15914
/proc/meminfo: memFree=20445296/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=4755560 CPUtime=38674.2 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 15583565 0 0 0 3864446 2971 0 0 25 0 8 0 804097495 4869693440 961747 33554432000 4194304 4625164 140736840464320 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 1188890 961747 395 106 0 1184393 0
[pid=15756/tid=15757] ppid=15754 vsize=4755560 CPUtime=4842.35 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 172540 0 0 0 484170 65 0 0 25 0 8 0 804097495 4869693440 961747 33554432000 4194304 4625164 140736840464320 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=4755560 CPUtime=4842.38 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 194801 0 0 0 484204 34 0 0 25 0 8 0 804097495 4869693440 961747 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=4755560 CPUtime=4842.32 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 7703253 0 0 0 482881 1351 0 0 25 0 8 0 804097495 4869693440 961747 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=4755560 CPUtime=4842.37 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 130779 0 0 0 484209 28 0 0 25 0 8 0 804097495 4869693440 961747 33554432000 4194304 4625164 140736840464320 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=4755560 CPUtime=4780.92 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 151707 0 0 0 478052 40 0 0 25 0 8 0 804097495 4869693440 961747 33554432000 4194304 4625164 140736840464320 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=4755560 CPUtime=4841.23 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 265707 0 0 0 484078 45 0 0 25 0 8 0 804097495 4869693440 961747 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=4755560 CPUtime=4840.17 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 156611 0 0 0 483986 31 0 0 25 0 8 0 804097495 4869693440 961747 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 38674.2
Current children cumulated vsize (KiB) 4755560

[startup+4902.3 s]
/proc/loadavg: 8.38 8.14 8.03 9/387 15919
/proc/meminfo: memFree=20438140/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=4755560 CPUtime=39152.5 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 15836441 0 0 0 3912231 3021 0 0 25 0 8 0 804097495 4869693440 963466 33554432000 4194304 4625164 140736840464320 18446744073709551615 4393051 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 1188890 963466 351 106 0 1184393 0
[pid=15756/tid=15757] ppid=15754 vsize=4755560 CPUtime=4902.35 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 172549 0 0 0 490170 65 0 0 25 0 8 0 804097495 4869693440 963466 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=4755560 CPUtime=4902.38 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 194818 0 0 0 490204 34 0 0 25 0 8 0 804097495 4869693440 963466 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=4755560 CPUtime=4902.32 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 7887450 0 0 0 488848 1384 0 0 25 0 8 0 804097495 4869693440 963466 33554432000 4194304 4625164 140736840464320 18446744073709551615 4547901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=4755560 CPUtime=4902.37 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 130813 0 0 0 490209 28 0 0 25 0 8 0 804097495 4869693440 963466 33554432000 4194304 4625164 140736840464320 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=4755560 CPUtime=4840.1 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 151708 0 0 0 483970 40 0 0 25 0 8 0 804097495 4869693440 963466 33554432000 4194304 4625164 140736840464320 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=4755560 CPUtime=4901.22 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 265743 0 0 0 490077 45 0 0 25 0 8 0 804097495 4869693440 963466 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=4755560 CPUtime=4900.17 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 156632 0 0 0 489986 31 0 0 25 0 8 0 804097495 4869693440 963466 33554432000 4194304 4625164 140736840464320 18446744073709551615 4488064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39152.5
Current children cumulated vsize (KiB) 4755560

[startup+4962.3 s]
/proc/loadavg: 8.18 8.13 8.03 9/387 15921
/proc/meminfo: memFree=20432500/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=4755560 CPUtime=39631.7 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 15985447 0 0 0 3960125 3048 0 0 25 0 8 0 804097495 4869693440 965465 33554432000 4194304 4625164 140736840464320 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 1188890 965465 351 106 0 1184393 0
[pid=15756/tid=15757] ppid=15754 vsize=4755560 CPUtime=4962.35 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 172557 0 0 0 496170 65 0 0 25 0 8 0 804097495 4869693440 965465 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=4755560 CPUtime=4962.38 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 194829 0 0 0 496204 34 0 0 25 0 8 0 804097495 4869693440 965465 33554432000 4194304 4625164 140736840464320 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=4755560 CPUtime=4962.32 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 8031643 0 0 0 494823 1409 0 0 25 0 8 0 804097495 4869693440 965465 33554432000 4194304 4625164 140736840464320 18446744073709551615 4334585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=4755560 CPUtime=4962.37 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 130849 0 0 0 496209 28 0 0 25 0 8 0 804097495 4869693440 965465 33554432000 4194304 4625164 140736840464320 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=4755560 CPUtime=4899.32 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 151710 0 0 0 489892 40 0 0 25 0 8 0 804097495 4869693440 965465 33554432000 4194304 4625164 140736840464320 18446744073709551615 4460412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=4755560 CPUtime=4961.2 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 265780 0 0 0 496075 45 0 0 25 0 8 0 804097495 4869693440 965465 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=4755560 CPUtime=4960.17 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 156655 0 0 0 495986 31 0 0 25 0 8 0 804097495 4869693440 965465 33554432000 4194304 4625164 140736840464320 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 39631.7
Current children cumulated vsize (KiB) 4755560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5008.5 s]
/proc/loadavg: 8.14 8.12 8.03 9/387 15922
/proc/meminfo: memFree=20405920/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=4803564 CPUtime=40000.8 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) R 15754 15756 15516 0 -1 4202496 16157055 0 0 0 3996996 3081 0 0 25 0 8 0 804097495 4918849536 971702 33554432000 4194304 4625164 140736840464320 18446744073709551615 4393080 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 1200891 971702 351 106 0 1196394 0
[pid=15756/tid=15757] ppid=15754 vsize=4803564 CPUtime=5008.57 cores=0-7
/proc/15756/task/15757/stat : 15757 (SArTagnan) R 15754 15756 15516 0 -1 4202560 178565 0 0 0 500791 66 0 0 25 0 8 0 804097495 4918849536 971859 33554432000 4194304 4625164 140736840464320 18446744073709551615 4488054 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15756/tid=15758] ppid=15754 vsize=4803564 CPUtime=5008.6 cores=0-7
/proc/15756/task/15758/stat : 15758 (SArTagnan) R 15754 15756 15516 0 -1 4202560 194847 0 0 0 500826 34 0 0 25 0 8 0 804097495 4918849536 971863 33554432000 4194304 4625164 140736840464320 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15756/tid=15759] ppid=15754 vsize=4803564 CPUtime=5008.54 cores=0-7
/proc/15756/task/15759/stat : 15759 (SArTagnan) R 15754 15756 15516 0 -1 4202560 8196737 0 0 0 499413 1441 0 0 25 0 8 0 804097495 4918849536 971863 33554432000 4194304 4625164 140736840464320 18446744073709551615 4579598 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15756/tid=15760] ppid=15754 vsize=4803564 CPUtime=5008.59 cores=0-7
/proc/15756/task/15760/stat : 15760 (SArTagnan) R 15754 15756 15516 0 -1 4202560 130874 0 0 0 500831 28 0 0 25 0 8 0 804097495 4918849536 971864 33554432000 4194304 4625164 140736840464320 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=4803564 CPUtime=4944.91 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4202560 151711 0 0 0 494451 40 0 0 25 0 8 0 804097495 4918849536 971864 33554432000 4194304 4625164 140736840464320 18446744073709551615 4329981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15756/tid=15762] ppid=15754 vsize=4803564 CPUtime=5007.4 cores=0-7
/proc/15756/task/15762/stat : 15762 (SArTagnan) R 15754 15756 15516 0 -1 4202560 265813 0 0 0 500695 45 0 0 25 0 8 0 804097495 4918849536 971864 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15756/tid=15763] ppid=15754 vsize=4803564 CPUtime=5006.39 cores=0-7
/proc/15756/task/15763/stat : 15763 (SArTagnan) R 15754 15756 15516 0 -1 4202560 156675 0 0 0 500608 31 0 0 25 0 8 0 804097495 4918849536 971864 33554432000 4194304 4625164 140736840464320 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.8
Current children cumulated vsize (KiB) 4803564

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

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

[startup+5008.62 s]
/proc/loadavg: 8.14 8.12 8.03 9/387 15922
/proc/meminfo: memFree=20405920/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=0 CPUtime=40001 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) Z 15754 15756 15516 0 -1 4203548 16157381 0 0 0 3997005 3091 0 0 25 0 2 0 804097495 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 0 0 0 0 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=0 CPUtime=4945.01 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4203588 151711 0 0 0 494451 50 0 0 25 0 2 0 804097495 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001
Current children cumulated vsize (KiB) 0

[startup+5008.7 s]
/proc/loadavg: 8.14 8.12 8.03 9/387 15922
/proc/meminfo: memFree=20405920/32951124 swapFree=49244120/67111528
[pid=15756] ppid=15754 vsize=0 CPUtime=40001 cores=0-7
/proc/15756/stat : 15756 (SArTagnan) Z 15754 15756 15516 0 -1 4203548 16157381 0 0 0 3997005 3099 0 0 25 0 2 0 804097495 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15756/statm: 0 0 0 0 0 0 0
[pid=15756/tid=15761] ppid=15754 vsize=0 CPUtime=4945.09 cores=0-7
/proc/15756/task/15761/stat : 15761 (SArTagnan) R 15754 15756 15516 0 -1 4203588 151711 0 0 0 494451 58 0 0 25 0 2 0 804097495 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40001
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5008.71
CPU time (s): 40001.1
CPU user time (s): 39970.1
CPU system time (s): 31.0053
CPU usage (%): 798.63
Max. virtual memory (cumulated for all children) (KiB): 4803564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39970.1
system time used= 31.0053
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16157381
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= 3689
involuntary context switches= 179998

runsolver used 16.0206 second user time and 48.8856 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-01 12:42:27
IDJOB=3438981
IDBENCH=83223
IDSOLVER=1936
FILE ID=node101/3438981-1306924947
RUNJOBID= node101-1306920091-15533
PBS_JOBID= 13488543
Free space on /tmp= 73944 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-16-16-unsat.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3438981-1306924947/watcher-3438981-1306924947 -o /tmp/evaluation-result-3438981-1306924947/solver-3438981-1306924947 -C 40000 -W 5100 -M 31000  SArTagnan HOME/instance-3438981-1306924947.cnf -threads=8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= c07743bac800f91e403382f26717b1d0
RANDOM SEED=1434051655

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24302740 kB
Buffers:        128976 kB
Cached:         113804 kB
SwapCached:      27120 kB
Active:        8243744 kB
Inactive:       135020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24302740 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:             448 kB
Writeback:           0 kB
AnonPages:     8130848 kB
Mapped:          17540 kB
Slab:           126988 kB
PageTables:      73536 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78585584 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= 73944 MiB
End job on node101 at 2011-06-01 14:05:58