Trace number 3386389

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.42 1205.06

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-12.cnf
MD5SUM0621e557bffdc18ca509447665adecda
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables69553
Number of clauses226752
Sum of the clauses size587624
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292374
Number of clauses of size 3134249
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3386389-1305577418/watcher-3386389-1305577418 -o /tmp/evaluation-result-3386389-1305577418/solver-3386389-1305577418 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386389-1305577418.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: 8.33 8.47 8.24 2/456 7841
/proc/meminfo: memFree=10530584/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=30364 CPUtime=0 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 1913 0 0 0 0 0 0 0 21 0 1 0 650157301 31092736 1851 33554432000 4194304 4625164 140735844797520 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/7841/statm: 7591 1852 299 106 0 3094 0

[startup+0.0637119 s]
/proc/loadavg: 8.33 8.47 8.24 2/456 7841
/proc/meminfo: memFree=10530584/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=37748 CPUtime=0.05 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 6298 0 0 0 5 0 0 0 21 0 1 0 650157301 38653952 3735 33554432000 4194304 4625164 140735844797520 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/7841/statm: 9437 3737 299 106 0 4940 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 37748

[startup+0.100707 s]
/proc/loadavg: 8.33 8.47 8.24 2/456 7841
/proc/meminfo: memFree=10530584/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=43336 CPUtime=0.09 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 9579 0 0 0 9 0 0 0 21 0 1 0 650157301 44376064 5123 33554432000 4194304 4625164 140735844797520 18446744073709551615 228095111877 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/7841/statm: 10834 5124 299 106 0 6337 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43336

[startup+0.300629 s]
/proc/loadavg: 8.33 8.47 8.24 2/456 7841
/proc/meminfo: memFree=10530584/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=323644 CPUtime=0.78 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 27284 0 0 0 76 2 0 0 23 0 4 0 650157301 331411456 20354 33554432000 4194304 4625164 140735844797520 18446744073709551615 4364737 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 80911 20354 336 106 0 76414 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 323644

[startup+0.700555 s]
/proc/loadavg: 8.33 8.47 8.24 2/456 7841
/proc/meminfo: memFree=10530584/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=328508 CPUtime=2.38 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 31765 0 0 0 235 3 0 0 25 0 4 0 650157301 336392192 20494 33554432000 4194304 4625164 140735844797520 18446744073709551615 228095107079 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 82127 20494 342 106 0 77630 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 328508

[startup+1.50041 s]
/proc/loadavg: 8.33 8.47 8.24 9/463 7848
/proc/meminfo: memFree=10380008/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=415272 CPUtime=5.55 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 99832 0 0 0 542 13 0 0 18 0 4 0 650157301 425238528 51482 33554432000 4194304 4625164 140735844797520 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 103818 51484 343 106 0 99321 0
[pid=7841/tid=7846] ppid=7839 vsize=415272 CPUtime=1.35 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 10699 0 0 0 134 1 0 0 25 0 4 0 650157315 425238528 51485 33554432000 4194304 4625164 140735844797520 18446744073709551615 4466430 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=415272 CPUtime=1.35 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 2874 0 0 0 135 0 0 0 25 0 4 0 650157315 425238528 51486 33554432000 4194304 4625164 140735844797520 18446744073709551615 4464310 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=415272 CPUtime=1.34 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 19676 0 0 0 132 2 0 0 18 0 4 0 650157315 425238528 51486 33554432000 4194304 4625164 140735844797520 18446744073709551615 4490633 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.55
Current children cumulated vsize (KiB) 415272

[startup+3.10111 s]
/proc/loadavg: 8.30 8.46 8.24 9/463 7848
/proc/meminfo: memFree=10025492/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=482900 CPUtime=11.94 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 132277 0 0 0 1177 17 0 0 21 0 4 0 650157301 494489600 65021 33554432000 4194304 4625164 140735844797520 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 120725 65021 346 106 0 116228 0
[pid=7841/tid=7846] ppid=7839 vsize=482900 CPUtime=2.95 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 19938 0 0 0 293 2 0 0 25 0 4 0 650157315 494489600 65021 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=482900 CPUtime=2.95 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 14851 0 0 0 294 1 0 0 25 0 4 0 650157315 494489600 65021 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=482900 CPUtime=2.92 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 30418 0 0 0 289 3 0 0 21 0 4 0 650157315 494489600 65021 33554432000 4194304 4625164 140735844797520 18446744073709551615 4335177 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 482900

[startup+6.30053 s]
/proc/loadavg: 8.30 8.46 8.24 9/463 7849
/proc/meminfo: memFree=10055144/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=471808 CPUtime=24.69 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 144789 0 0 0 2450 19 0 0 25 0 4 0 650157301 483131392 60704 33554432000 4194304 4625164 140735844797520 18446744073709551615 228095106963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 117952 60704 346 106 0 113455 0
[pid=7841/tid=7846] ppid=7839 vsize=471808 CPUtime=6.15 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 20348 0 0 0 613 2 0 0 25 0 4 0 650157315 483131392 60704 33554432000 4194304 4625164 140735844797520 18446744073709551615 4464377 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=471808 CPUtime=6.15 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 19243 0 0 0 613 2 0 0 25 0 4 0 650157315 483131392 60704 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351918 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=471808 CPUtime=6.07 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 37816 0 0 0 603 4 0 0 25 0 4 0 650157315 483131392 60704 33554432000 4194304 4625164 140735844797520 18446744073709551615 4469579 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.69
Current children cumulated vsize (KiB) 471808

[startup+12.7003 s]
/proc/loadavg: 8.25 8.45 8.24 9/463 7849
/proc/meminfo: memFree=10047520/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=475088 CPUtime=50.18 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 160305 0 0 0 4997 21 0 0 25 0 4 0 650157301 486490112 62740 33554432000 4194304 4625164 140735844797520 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 118772 62740 346 106 0 114275 0
[pid=7841/tid=7846] ppid=7839 vsize=475088 CPUtime=12.55 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 20769 0 0 0 1253 2 0 0 25 0 4 0 650157315 486490112 62740 33554432000 4194304 4625164 140735844797520 18446744073709551615 228095109257 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=475088 CPUtime=12.55 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 19591 0 0 0 1253 2 0 0 25 0 4 0 650157315 486490112 62740 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=475088 CPUtime=12.37 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 52325 0 0 0 1230 7 0 0 25 0 4 0 650157315 486490112 62740 33554432000 4194304 4625164 140735844797520 18446744073709551615 228095148506 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.18
Current children cumulated vsize (KiB) 475088

[startup+25.501 s]
/proc/loadavg: 8.21 8.43 8.23 9/463 7849
/proc/meminfo: memFree=10040180/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=475088 CPUtime=101.17 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 230296 0 0 0 10085 32 0 0 25 0 4 0 650157301 486490112 64831 33554432000 4194304 4625164 140735844797520 18446744073709551615 4357032 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 118772 64831 346 106 0 114275 0
[pid=7841/tid=7846] ppid=7839 vsize=475088 CPUtime=25.34 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 20880 0 0 0 2532 2 0 0 25 0 4 0 650157315 486490112 64831 33554432000 4194304 4625164 140735844797520 18446744073709551615 4276048 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=475088 CPUtime=25.35 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 19843 0 0 0 2533 2 0 0 25 0 4 0 650157315 486490112 64831 33554432000 4194304 4625164 140735844797520 18446744073709551615 4462593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=475088 CPUtime=24.97 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 121761 0 0 0 2479 18 0 0 25 0 4 0 650157315 486490112 64831 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 475088

[startup+51.1003 s]
/proc/loadavg: 8.22 8.41 8.23 9/463 7850
/proc/meminfo: memFree=10026140/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=477184 CPUtime=203.19 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 313980 0 0 0 20274 45 0 0 25 0 4 0 650157301 488636416 64721 33554432000 4194304 4625164 140735844797520 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 119296 64721 346 106 0 114799 0
[pid=7841/tid=7846] ppid=7839 vsize=477184 CPUtime=50.94 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 21048 0 0 0 5092 2 0 0 25 0 4 0 650157315 488636416 64721 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=477184 CPUtime=50.95 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 19960 0 0 0 5092 3 0 0 25 0 4 0 650157315 488636416 64721 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=477184 CPUtime=50.18 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 204934 0 0 0 4988 30 0 0 25 0 4 0 650157315 488636416 64721 33554432000 4194304 4625164 140735844797520 18446744073709551615 4339616 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.19
Current children cumulated vsize (KiB) 477184

[startup+102.318 s]
/proc/loadavg: 8.51 8.44 8.25 11/464 7854
/proc/meminfo: memFree=9977508/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=484196 CPUtime=406.93 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 318733 0 0 0 40646 47 0 0 25 0 4 0 650157301 495816704 68163 33554432000 4194304 4625164 140735844797520 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 121049 68163 347 106 0 116552 0
[pid=7841/tid=7846] ppid=7839 vsize=484196 CPUtime=102.13 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 21581 0 0 0 10211 2 0 0 25 0 4 0 650157315 495816704 68163 33554432000 4194304 4625164 140735844797520 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=484196 CPUtime=102.17 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 20212 0 0 0 10214 3 0 0 25 0 4 0 650157315 495816704 68163 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=484196 CPUtime=100.46 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 208406 0 0 0 10015 31 0 0 25 0 4 0 650157315 495816704 68163 33554432000 4194304 4625164 140735844797520 18446744073709551615 4328194 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 406.93
Current children cumulated vsize (KiB) 484196

[startup+162.301 s]
/proc/loadavg: 8.36 8.41 8.25 9/463 7856
/proc/meminfo: memFree=9941748/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=507308 CPUtime=645.44 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 450125 0 0 0 64477 67 0 0 25 0 4 0 650157301 519483392 75345 33554432000 4194304 4625164 140735844797520 18446744073709551615 4512075 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 126827 75345 347 106 0 122330 0
[pid=7841/tid=7846] ppid=7839 vsize=507308 CPUtime=162.09 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 23065 0 0 0 16206 3 0 0 25 0 4 0 650157315 519483392 75345 33554432000 4194304 4625164 140735844797520 18446744073709551615 4464328 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=507308 CPUtime=162.14 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 20910 0 0 0 16211 3 0 0 25 0 4 0 650157315 519483392 75345 33554432000 4194304 4625164 140735844797520 18446744073709551615 4464310 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=507308 CPUtime=159.53 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 330878 0 0 0 15904 49 0 0 25 0 4 0 650157315 519483392 75345 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 645.44
Current children cumulated vsize (KiB) 507308

[startup+222.301 s]
/proc/loadavg: 8.39 8.40 8.26 9/463 7857
/proc/meminfo: memFree=9878628/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=588412 CPUtime=884.52 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 841379 0 0 0 88329 123 0 0 25 0 4 0 650157301 602533888 83603 33554432000 4194304 4625164 140735844797520 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 147103 83603 347 106 0 142606 0
[pid=7841/tid=7846] ppid=7839 vsize=588412 CPUtime=222.08 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 30774 0 0 0 22203 5 0 0 25 0 4 0 650157315 602533888 83603 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=588412 CPUtime=222.15 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 21180 0 0 0 22212 3 0 0 25 0 4 0 650157315 602533888 83603 33554432000 4194304 4625164 140735844797520 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=588412 CPUtime=218.62 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 713177 0 0 0 21759 103 0 0 25 0 4 0 650157315 602533888 83603 33554432000 4194304 4625164 140735844797520 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 884.52
Current children cumulated vsize (KiB) 588412

[startup+282.301 s]

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

[pid=7841] ppid=7839 vsize=808196 CPUtime=2558.16 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2154819 0 0 0 255493 323 0 0 25 0 4 0 650157301 827592704 137943 33554432000 4194304 4625164 140735844797520 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 202049 137943 347 106 0 197552 0
[pid=7841/tid=7846] ppid=7839 vsize=808196 CPUtime=642 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 48640 0 0 0 64189 11 0 0 25 0 4 0 650157315 827592704 137943 33554432000 4194304 4625164 140735844797520 18446744073709551615 4462556 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=808196 CPUtime=642.17 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 34896 0 0 0 64208 9 0 0 25 0 4 0 650157315 827592704 137943 33554432000 4194304 4625164 140735844797520 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=808196 CPUtime=632.31 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 1971744 0 0 0 62944 287 0 0 25 0 4 0 650157315 827592704 137943 33554432000 4194304 4625164 140735844797520 18446744073709551615 4579376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2558.16
Current children cumulated vsize (KiB) 808196

[startup+702.3 s]
/proc/loadavg: 8.14 8.18 8.18 9/463 7870
/proc/meminfo: memFree=9406204/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=822892 CPUtime=2797.19 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2164242 0 0 0 279392 327 0 0 25 0 4 0 650157301 842641408 146093 33554432000 4194304 4625164 140735844797520 18446744073709551615 4511963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 205723 146093 347 106 0 201226 0
[pid=7841/tid=7846] ppid=7839 vsize=822892 CPUtime=701.97 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 50192 0 0 0 70185 12 0 0 25 0 4 0 650157315 842641408 146093 33554432000 4194304 4625164 140735844797520 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=822892 CPUtime=702.14 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 36453 0 0 0 70204 10 0 0 25 0 4 0 650157315 842641408 146093 33554432000 4194304 4625164 140735844797520 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=822892 CPUtime=691.39 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 1976942 0 0 0 68852 287 0 0 25 0 4 0 650157315 842641408 146093 33554432000 4194304 4625164 140735844797520 18446744073709551615 4335146 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2797.19
Current children cumulated vsize (KiB) 822892

[startup+762.317 s]
/proc/loadavg: 8.13 8.17 8.18 9/463 7872
/proc/meminfo: memFree=9343940/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=838708 CPUtime=3036.35 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2171288 0 0 0 303305 330 0 0 25 0 4 0 650157301 858836992 153054 33554432000 4194304 4625164 140735844797520 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 209677 153054 347 106 0 205180 0
[pid=7841/tid=7846] ppid=7839 vsize=838708 CPUtime=761.98 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 51222 0 0 0 76185 13 0 0 25 0 4 0 650157315 858836992 153054 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=838708 CPUtime=762.17 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 37058 0 0 0 76206 11 0 0 25 0 4 0 650157315 858836992 153054 33554432000 4194304 4625164 140735844797520 18446744073709551615 4352609 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=838708 CPUtime=750.49 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 1981093 0 0 0 74761 288 0 0 25 0 4 0 650157315 858836992 153054 33554432000 4194304 4625164 140735844797520 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3036.35
Current children cumulated vsize (KiB) 838708

[startup+822.3 s]
/proc/loadavg: 8.16 8.18 8.18 10/463 7873
/proc/meminfo: memFree=9296068/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=871808 CPUtime=3275.37 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2187276 0 0 0 327203 334 0 0 25 0 4 0 650157301 892731392 159746 33554432000 4194304 4625164 140735844797520 18446744073709551615 4511936 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 217952 159746 347 106 0 213455 0
[pid=7841/tid=7846] ppid=7839 vsize=871808 CPUtime=821.95 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 52236 0 0 0 82181 14 0 0 25 0 4 0 650157315 892731392 159746 33554432000 4194304 4625164 140735844797520 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=871808 CPUtime=822.15 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 46802 0 0 0 82203 12 0 0 25 0 4 0 650157315 892731392 159746 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=871808 CPUtime=809.58 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 1985020 0 0 0 80669 289 0 0 25 0 4 0 650157315 892731392 159746 33554432000 4194304 4625164 140735844797520 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3275.37
Current children cumulated vsize (KiB) 871808

[startup+882.3 s]
/proc/loadavg: 8.13 8.17 8.18 9/463 7875
/proc/meminfo: memFree=9244352/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=930952 CPUtime=3514.42 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2217928 0 0 0 351101 341 0 0 25 0 4 0 650157301 953294848 167274 33554432000 4194304 4625164 140735844797520 18446744073709551615 4511986 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 232738 167274 347 106 0 228241 0
[pid=7841/tid=7846] ppid=7839 vsize=930952 CPUtime=881.93 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 53976 0 0 0 88176 17 0 0 25 0 4 0 650157315 953294848 167274 33554432000 4194304 4625164 140735844797520 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=930952 CPUtime=882.15 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 47252 0 0 0 88203 12 0 0 25 0 4 0 650157315 953294848 167274 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=930952 CPUtime=868.65 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 1988534 0 0 0 86575 290 0 0 25 0 4 0 650157315 953294848 167274 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3514.42
Current children cumulated vsize (KiB) 930952

[startup+942.3 s]
/proc/loadavg: 8.09 8.15 8.17 9/463 7876
/proc/meminfo: memFree=9194368/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=945820 CPUtime=3753.52 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2224827 0 0 0 375007 345 0 0 25 0 4 0 650157301 968519680 174136 33554432000 4194304 4625164 140735844797520 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 236455 174136 347 106 0 231958 0
[pid=7841/tid=7846] ppid=7839 vsize=945820 CPUtime=941.92 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 55349 0 0 0 94173 19 0 0 25 0 4 0 650157315 968519680 174136 33554432000 4194304 4625164 140735844797520 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=945820 CPUtime=942.14 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 47956 0 0 0 94202 12 0 0 25 0 4 0 650157315 968519680 174136 33554432000 4194304 4625164 140735844797520 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=945820 CPUtime=927.76 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 1992375 0 0 0 92484 292 0 0 25 0 4 0 650157315 968519680 174136 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3753.52
Current children cumulated vsize (KiB) 945820

[startup+1002.3 s]
/proc/loadavg: 8.10 8.15 8.17 9/463 7878
/proc/meminfo: memFree=9134584/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=978392 CPUtime=3992.61 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2241126 0 0 0 398911 350 0 0 25 0 4 0 650157301 1001873408 181151 33554432000 4194304 4625164 140735844797520 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 244598 181151 347 106 0 240101 0
[pid=7841/tid=7846] ppid=7839 vsize=978392 CPUtime=1001.91 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 56518 0 0 0 100171 20 0 0 25 0 4 0 650157315 1001873408 181151 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=978392 CPUtime=1002.15 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 48891 0 0 0 100202 13 0 0 25 0 4 0 650157315 1001873408 181151 33554432000 4194304 4625164 140735844797520 18446744073709551615 4339536 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=978392 CPUtime=986.85 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 2005440 0 0 0 98391 294 0 0 25 0 4 0 650157315 1001873408 181151 33554432000 4194304 4625164 140735844797520 18446744073709551615 4469221 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3992.61
Current children cumulated vsize (KiB) 978392

[startup+1062.3 s]
/proc/loadavg: 8.11 8.14 8.16 9/463 7880
/proc/meminfo: memFree=9087936/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=990304 CPUtime=4231.7 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2247983 0 0 0 422816 354 0 0 25 0 4 0 650157301 1014071296 187914 33554432000 4194304 4625164 140735844797520 18446744073709551615 4511986 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 247576 187914 347 106 0 243079 0
[pid=7841/tid=7846] ppid=7839 vsize=990304 CPUtime=1061.89 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 58176 0 0 0 106166 23 0 0 25 0 4 0 650157315 1014071296 187914 33554432000 4194304 4625164 140735844797520 18446744073709551615 4464513 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=990304 CPUtime=1062.15 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 49090 0 0 0 106202 13 0 0 25 0 4 0 650157315 1014071296 187914 33554432000 4194304 4625164 140735844797520 18446744073709551615 4464638 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=990304 CPUtime=1045.95 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 2008857 0 0 0 104301 294 0 0 25 0 4 0 650157315 1014071296 187914 33554432000 4194304 4625164 140735844797520 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4231.7
Current children cumulated vsize (KiB) 990304

[startup+1122.3 s]
/proc/loadavg: 8.12 8.13 8.16 9/463 7881
/proc/meminfo: memFree=9036344/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=1006088 CPUtime=4470.79 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2255996 0 0 0 446721 358 0 0 25 0 4 0 650157301 1030234112 195877 33554432000 4194304 4625164 140735844797520 18446744073709551615 4511906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 251522 195877 347 106 0 247025 0
[pid=7841/tid=7846] ppid=7839 vsize=1006088 CPUtime=1121.88 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 59988 0 0 0 112163 25 0 0 25 0 4 0 650157315 1030234112 195877 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=1006088 CPUtime=1122.16 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 50145 0 0 0 112202 14 0 0 25 0 4 0 650157315 1030234112 195877 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=1006088 CPUtime=1105.05 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 2012874 0 0 0 110210 295 0 0 25 0 4 0 650157315 1030234112 195877 33554432000 4194304 4625164 140735844797520 18446744073709551615 4490075 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4470.79
Current children cumulated vsize (KiB) 1006088

[startup+1182.3 s]
/proc/loadavg: 8.18 8.13 8.15 9/463 7883
/proc/meminfo: memFree=8987360/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=1047412 CPUtime=4709.87 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2277592 0 0 0 470625 362 0 0 25 0 4 0 650157301 1072549888 203510 33554432000 4194304 4625164 140735844797520 18446744073709551615 4512156 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 261853 203510 347 106 0 257356 0
[pid=7841/tid=7846] ppid=7839 vsize=1047412 CPUtime=1181.88 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 75867 0 0 0 118159 29 0 0 25 0 4 0 650157315 1072549888 203510 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=1047412 CPUtime=1182.15 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 50449 0 0 0 118201 14 0 0 25 0 4 0 650157315 1072549888 203510 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=1047412 CPUtime=1164.15 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 2016463 0 0 0 116119 296 0 0 25 0 4 0 650157315 1072549888 203510 33554432000 4194304 4625164 140735844797520 18446744073709551615 4334485 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4709.87
Current children cumulated vsize (KiB) 1047412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205 s]
/proc/loadavg: 8.13 8.12 8.15 5/458 7885
/proc/meminfo: memFree=9726928/32951124 swapFree=65980224/67111528
[pid=7841] ppid=7839 vsize=1051924 CPUtime=4800.34 cores=0,2,4,6
/proc/7841/stat : 7841 (SArTagnan) R 7839 7841 7803 0 -1 4202496 2280069 0 0 0 479670 364 0 0 25 0 4 0 650157301 1077170176 205972 33554432000 4194304 4625164 140735844797520 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/7841/statm: 262981 205972 347 106 0 258484 0
[pid=7841/tid=7846] ppid=7839 vsize=1051924 CPUtime=1204.58 cores=0,2,4,6
/proc/7841/task/7846/stat : 7846 (SArTagnan) R 7839 7841 7803 0 -1 4202560 76600 0 0 0 120428 30 0 0 25 0 4 0 650157315 1077170176 205972 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7841/tid=7847] ppid=7839 vsize=1051924 CPUtime=1204.87 cores=0,2,4,6
/proc/7841/task/7847/stat : 7847 (SArTagnan) R 7839 7841 7803 0 -1 4202560 50511 0 0 0 120473 14 0 0 25 0 4 0 650157315 1077170176 205972 33554432000 4194304 4625164 140735844797520 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=7841/tid=7848] ppid=7839 vsize=1051924 CPUtime=1186.49 cores=0,2,4,6
/proc/7841/task/7848/stat : 7848 (SArTagnan) R 7839 7841 7803 0 -1 4202560 2017761 0 0 0 118353 296 0 0 25 0 4 0 650157315 1077170176 205972 33554432000 4194304 4625164 140735844797520 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 1051924

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): 1205.06
CPU time (s): 4800.42
CPU user time (s): 4796.75
CPU system time (s): 3.67644
CPU usage (%): 398.357
Max. virtual memory (cumulated for all children) (KiB): 1095544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.75
system time used= 3.67644
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2280069
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= 905
involuntary context switches= 32671

runsolver used 5.30519 second user time and 12.952 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-16 22:23:38
IDJOB=3386389
IDBENCH=70829
IDSOLVER=1871
FILE ID=node142/3386389-1305577418
RUNJOBID= node142-1305577418-7821
PBS_JOBID= 13350222
Free space on /tmp= 73564 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-12.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386389-1305577418/watcher-3386389-1305577418 -o /tmp/evaluation-result-3386389-1305577418/solver-3386389-1305577418 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386389-1305577418.cnf -threads=4

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

MD5SUM BENCH= 0621e557bffdc18ca509447665adecda
RANDOM SEED=997631371

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      10530864 kB
Buffers:        355332 kB
Cached:        4979256 kB
SwapCached:      11512 kB
Active:       18913328 kB
Inactive:      3128724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      10530864 kB
SwapTotal:    67111528 kB
SwapFree:     65980224 kB
Dirty:            8960 kB
Writeback:           0 kB
AnonPages:    16704940 kB
Mapped:          26808 kB
Slab:           238624 kB
PageTables:      66436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114544220 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= 73564 MiB
End job on node142 at 2011-05-16 22:43:45