Trace number 3385853

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

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
MD5SUMf34a5dd1cdce70a322dd395bcb5f1303
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 variables2548
Number of clauses582679
Sum of the clauses size1167806
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2582629
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

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

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.14 7.89 7.96 2/453 8456
/proc/meminfo: memFree=11599472/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=32952 CPUtime=0 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 784 0 0 0 0 0 0 0 21 0 1 0 650762007 33742848 553 33554432000 4194304 4625164 140734906489280 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/8456/statm: 8238 553 296 106 0 3741 0

[startup+0.116474 s]
/proc/loadavg: 7.14 7.89 7.96 2/453 8456
/proc/meminfo: memFree=11599472/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=40676 CPUtime=0.11 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 6084 0 0 0 10 1 0 0 22 0 1 0 650762007 41652224 1993 33554432000 4194304 4625164 140734906489280 18446744073709551615 228095450880 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/8456/statm: 10169 1995 296 106 0 5672 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 40676

[startup+0.200425 s]
/proc/loadavg: 7.14 7.89 7.96 2/453 8456
/proc/meminfo: memFree=11599472/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=232080 CPUtime=0.35 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 15201 0 0 0 33 2 0 0 23 0 4 0 650762007 237649920 10076 33554432000 4194304 4625164 140734906489280 18446744073709551615 4339447 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 58020 10079 333 106 0 53523 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 232080

[startup+0.300407 s]
/proc/loadavg: 7.14 7.89 7.96 2/453 8456
/proc/meminfo: memFree=11599472/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=314488 CPUtime=0.74 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 26647 0 0 0 70 4 0 0 18 0 4 0 650762007 322035712 16636 33554432000 4194304 4625164 140734906489280 18446744073709551615 228095112225 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 78622 16638 344 106 0 74125 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 314488

[startup+0.700335 s]
/proc/loadavg: 7.14 7.89 7.96 2/453 8456
/proc/meminfo: memFree=11599472/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=341188 CPUtime=2.33 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 49960 0 0 0 225 8 0 0 18 0 4 0 650762007 349376512 28870 33554432000 4194304 4625164 140734906489280 18446744073709551615 4356595 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 85297 28870 391 106 0 80800 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 341188

[startup+1.50119 s]
/proc/loadavg: 7.14 7.89 7.96 10/463 8469
/proc/meminfo: memFree=11293748/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=345448 CPUtime=5.52 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 54156 0 0 0 543 9 0 0 19 0 4 0 650762007 353738752 33048 33554432000 4194304 4625164 140734906489280 18446744073709551615 4508984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 86362 33048 385 106 0 81865 0
[pid=8456/tid=8458] ppid=8454 vsize=345448 CPUtime=1.32 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 2547 0 0 0 132 0 0 0 25 0 4 0 650762021 353738752 33048 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=345448 CPUtime=1.34 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 5014 0 0 0 133 1 0 0 19 0 4 0 650762021 353738752 33048 33554432000 4194304 4625164 140734906489280 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=345448 CPUtime=1.34 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 1332 0 0 0 134 0 0 0 25 0 4 0 650762021 353738752 33048 33554432000 4194304 4625164 140734906489280 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 345448

[startup+3.10089 s]
/proc/loadavg: 7.14 7.89 7.96 10/463 8469
/proc/meminfo: memFree=11246132/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=355552 CPUtime=11.9 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 60180 0 0 0 1180 10 0 0 24 0 4 0 650762007 364085248 38780 33554432000 4194304 4625164 140734906489280 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 88888 38780 389 106 0 84391 0
[pid=8456/tid=8458] ppid=8454 vsize=355552 CPUtime=2.9 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 4798 0 0 0 290 0 0 0 25 0 4 0 650762021 364085248 38780 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351909 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=355552 CPUtime=2.93 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 7783 0 0 0 292 1 0 0 23 0 4 0 650762021 364085248 38780 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=355552 CPUtime=2.94 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 2257 0 0 0 294 0 0 0 25 0 4 0 650762021 364085248 38780 33554432000 4194304 4625164 140734906489280 18446744073709551615 4547164 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.9
Current children cumulated vsize (KiB) 355552

[startup+6.3003 s]
/proc/loadavg: 7.21 7.89 7.96 10/463 8469
/proc/meminfo: memFree=11143460/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=356608 CPUtime=24.64 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 75192 0 0 0 2450 14 0 0 25 0 4 0 650762007 365166592 47703 33554432000 4194304 4625164 140734906489280 18446744073709551615 4511747 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 89152 47703 450 106 0 84655 0
[pid=8456/tid=8458] ppid=8454 vsize=356608 CPUtime=6.05 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 8500 0 0 0 604 1 0 0 25 0 4 0 650762021 365166592 47703 33554432000 4194304 4625164 140734906489280 18446744073709551615 4352186 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=356608 CPUtime=6.12 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 11358 0 0 0 610 2 0 0 25 0 4 0 650762021 365166592 47703 33554432000 4194304 4625164 140734906489280 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=356608 CPUtime=6.15 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 8941 0 0 0 613 2 0 0 25 0 4 0 650762021 365166592 47703 33554432000 4194304 4625164 140734906489280 18446744073709551615 4335552 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.64
Current children cumulated vsize (KiB) 356608

[startup+12.7011 s]
/proc/loadavg: 7.27 7.89 7.96 9/463 8469
/proc/meminfo: memFree=10999988/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=373668 CPUtime=50.14 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 96473 0 0 0 4996 18 0 0 25 0 4 0 650762007 382636032 61404 33554432000 4194304 4625164 140734906489280 18446744073709551615 4511933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 93417 61404 523 106 0 88920 0
[pid=8456/tid=8458] ppid=8454 vsize=373668 CPUtime=12.35 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 13428 0 0 0 1233 2 0 0 25 0 4 0 650762021 382636032 61404 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=373668 CPUtime=12.53 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 16724 0 0 0 1249 4 0 0 25 0 4 0 650762021 382636032 61404 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=373668 CPUtime=12.54 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 18014 0 0 0 1251 3 0 0 25 0 4 0 650762021 382636032 61404 33554432000 4194304 4625164 140734906489280 18446744073709551615 4334424 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.14
Current children cumulated vsize (KiB) 373668

[startup+25.5008 s]
/proc/loadavg: 7.43 7.89 7.96 10/463 8469
/proc/meminfo: memFree=10794068/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=498676 CPUtime=101.13 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 130206 0 0 0 10087 26 0 0 25 0 4 0 650762007 510644224 83418 33554432000 4194304 4625164 140734906489280 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 124669 83418 893 106 0 120172 0
[pid=8456/tid=8458] ppid=8454 vsize=498676 CPUtime=24.94 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 22291 0 0 0 2490 4 0 0 25 0 4 0 650762021 510644224 83418 33554432000 4194304 4625164 140734906489280 18446744073709551615 4352765 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=498676 CPUtime=25.32 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 25995 0 0 0 2525 7 0 0 25 0 4 0 650762021 510644224 83418 33554432000 4194304 4625164 140734906489280 18446744073709551615 4339600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=498676 CPUtime=25.34 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 19193 0 0 0 2531 3 0 0 25 0 4 0 650762021 510644224 83418 33554432000 4194304 4625164 140734906489280 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.13
Current children cumulated vsize (KiB) 498676

[startup+51.101 s]
/proc/loadavg: 7.62 7.90 7.96 10/463 8470
/proc/meminfo: memFree=10434276/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=769348 CPUtime=203.13 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 357710 0 0 0 20248 65 0 0 25 0 4 0 650762007 787812352 133023 33554432000 4194304 4625164 140734906489280 18446744073709551615 4510188 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 192337 133023 795 106 0 187840 0
[pid=8456/tid=8458] ppid=8454 vsize=769348 CPUtime=50.16 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 32063 0 0 0 5008 8 0 0 25 0 4 0 650762021 787812352 133023 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=769348 CPUtime=50.92 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 39022 0 0 0 5081 11 0 0 25 0 4 0 650762021 787812352 133023 33554432000 4194304 4625164 140734906489280 18446744073709551615 4339680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=769348 CPUtime=50.94 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 126878 0 0 0 5074 20 0 0 25 0 4 0 650762021 787812352 133023 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.13
Current children cumulated vsize (KiB) 769348

[startup+102.301 s]
/proc/loadavg: 7.87 7.93 7.97 10/463 8471
/proc/meminfo: memFree=9804084/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=1256080 CPUtime=407.14 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 904931 0 0 0 40550 164 0 0 25 0 4 0 650762007 1286225920 238541 33554432000 4194304 4625164 140734906489280 18446744073709551615 4512461 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 314020 238541 460 106 0 309523 0
[pid=8456/tid=8458] ppid=8454 vsize=1256080 CPUtime=100.56 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 51517 0 0 0 10039 17 0 0 25 0 4 0 650762021 1286225920 238542 33554432000 4194304 4625164 140734906489280 18446744073709551615 4352017 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=1256080 CPUtime=102.1 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 78868 0 0 0 10185 25 0 0 25 0 4 0 650762021 1286225920 238542 33554432000 4194304 4625164 140734906489280 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=1256080 CPUtime=102.15 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 422638 0 0 0 10147 68 0 0 25 0 4 0 650762021 1286225920 238542 33554432000 4194304 4625164 140734906489280 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.14
Current children cumulated vsize (KiB) 1256080

[startup+162.301 s]
/proc/loadavg: 8.00 7.95 7.97 10/463 8473
/proc/meminfo: memFree=9276584/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=1692972 CPUtime=646.16 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 1147863 0 0 0 64397 219 0 0 25 0 4 0 650762007 1733603328 338276 33554432000 4194304 4625164 140734906489280 18446744073709551615 4393000 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 423243 338276 597 106 0 418746 0
[pid=8456/tid=8458] ppid=8454 vsize=1692972 CPUtime=159.64 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 72472 0 0 0 15937 27 0 0 25 0 4 0 650762021 1733603328 338276 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=1692972 CPUtime=162.07 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 96575 0 0 0 16166 41 0 0 25 0 4 0 650762021 1733603328 338276 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=1692972 CPUtime=162.14 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 434040 0 0 0 16143 71 0 0 25 0 4 0 650762021 1733603328 338276 33554432000 4194304 4625164 140734906489280 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 646.16
Current children cumulated vsize (KiB) 1692972

[startup+222.318 s]
/proc/loadavg: 8.11 7.99 7.98 10/463 8475
/proc/meminfo: memFree=9036636/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=1896824 CPUtime=885.3 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 1262343 0 0 0 88274 256 0 0 25 0 4 0 650762007 1942347776 389996 33554432000 4194304 4625164 140734906489280 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 474206 389996 468 106 0 469709 0
[pid=8456/tid=8458] ppid=8454 vsize=1896824 CPUtime=218.73 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 74503 0 0 0 21845 28 0 0 25 0 4 0 650762021 1942347776 389996 33554432000 4194304 4625164 140734906489280 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=1896824 CPUtime=222.07 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 131643 0 0 0 22146 61 0 0 25 0 4 0 650762021 1942347776 389996 33554432000 4194304 4625164 140734906489280 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=1896824 CPUtime=222.16 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 440207 0 0 0 22144 72 0 0 25 0 4 0 650762021 1942347776 389996 33554432000 4194304 4625164 140734906489280 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 885.3
Current children cumulated vsize (KiB) 1896824

[startup+282.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.09 8.08 8.02 10/463 8487
/proc/meminfo: memFree=6725372/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=3273352 CPUtime=2797.69 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 4796454 0 0 0 278893 876 0 0 25 0 4 0 650762007 3351912448 687432 33554432000 4194304 4625164 140734906489280 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 818338 687433 343 106 0 813841 0
[pid=8456/tid=8458] ppid=8454 vsize=3273352 CPUtime=691.31 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 79783 0 0 0 69101 30 0 0 25 0 4 0 650762021 3351912448 687433 33554432000 4194304 4625164 140734906489280 18446744073709551615 4330864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=3273352 CPUtime=701.93 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 137171 0 0 0 70127 66 0 0 25 0 4 0 650762021 3351912448 687433 33554432000 4194304 4625164 140734906489280 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=3273352 CPUtime=702.12 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 3112743 0 0 0 69666 546 0 0 25 0 4 0 650762021 3351912448 687434 33554432000 4194304 4625164 140734906489280 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2797.69
Current children cumulated vsize (KiB) 3273352

[startup+762.301 s]
/proc/loadavg: 8.09 8.08 8.02 10/463 8489
/proc/meminfo: memFree=6481712/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=3297700 CPUtime=3036.79 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 5323440 0 0 0 302709 970 0 0 25 0 4 0 650762007 3376844800 698529 33554432000 4194304 4625164 140734906489280 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 824425 698529 343 106 0 819928 0
[pid=8456/tid=8458] ppid=8454 vsize=3297700 CPUtime=750.39 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 80101 0 0 0 75009 30 0 0 25 0 4 0 650762021 3376844800 698529 33554432000 4194304 4625164 140734906489280 18446744073709551615 4330621 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=3297700 CPUtime=761.94 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 137427 0 0 0 76128 66 0 0 25 0 4 0 650762021 3376844800 698529 33554432000 4194304 4625164 140734906489280 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=3297700 CPUtime=762.14 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 3599917 0 0 0 75583 631 0 0 25 0 4 0 650762021 3376844800 698529 33554432000 4194304 4625164 140734906489280 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3036.79
Current children cumulated vsize (KiB) 3297700

[startup+822.301 s]
/proc/loadavg: 8.13 8.09 8.02 10/463 8491
/proc/meminfo: memFree=6142820/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=3363236 CPUtime=3275.82 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 5860969 0 0 0 326519 1063 0 0 25 0 4 0 650762007 3443953664 708257 33554432000 4194304 4625164 140734906489280 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 840809 708259 343 106 0 836312 0
[pid=8456/tid=8458] ppid=8454 vsize=3363236 CPUtime=809.46 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 80389 0 0 0 80915 31 0 0 25 0 4 0 650762021 3443953664 708259 33554432000 4194304 4625164 140734906489280 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=3363236 CPUtime=821.9 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 137533 0 0 0 82124 66 0 0 25 0 4 0 650762021 3443953664 708260 33554432000 4194304 4625164 140734906489280 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=3363236 CPUtime=822.11 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 4099096 0 0 0 81496 715 0 0 25 0 4 0 650762021 3443953664 708260 33554432000 4194304 4625164 140734906489280 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3275.82
Current children cumulated vsize (KiB) 3363236

[startup+882.318 s]
/proc/loadavg: 8.14 8.10 8.03 10/463 8492
/proc/meminfo: memFree=5942560/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=3525976 CPUtime=3514.95 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 6134210 0 0 0 350385 1110 0 0 25 0 4 0 650762007 3610599424 727497 33554432000 4194304 4625164 140734906489280 18446744073709551615 4393070 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 881494 727497 343 106 0 876997 0
[pid=8456/tid=8458] ppid=8454 vsize=3525976 CPUtime=868.54 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 80668 0 0 0 86823 31 0 0 25 0 4 0 650762021 3610599424 727497 33554432000 4194304 4625164 140734906489280 18446744073709551615 4330853 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=3525976 CPUtime=881.91 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 137755 0 0 0 88125 66 0 0 25 0 4 0 650762021 3610599424 727497 33554432000 4194304 4625164 140734906489280 18446744073709551615 4330844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=3525976 CPUtime=882.13 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 4304163 0 0 0 87463 750 0 0 25 0 4 0 650762021 3610599424 727497 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3514.95
Current children cumulated vsize (KiB) 3525976

[startup+942.301 s]
/proc/loadavg: 8.13 8.11 8.03 10/463 8494
/proc/meminfo: memFree=5789416/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=3525976 CPUtime=3753.95 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 6201402 0 0 0 374272 1123 0 0 25 0 4 0 650762007 3610599424 731838 33554432000 4194304 4625164 140734906489280 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 881494 731838 343 106 0 876997 0
[pid=8456/tid=8458] ppid=8454 vsize=3525976 CPUtime=927.61 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 80938 0 0 0 92730 31 0 0 25 0 4 0 650762021 3610599424 731838 33554432000 4194304 4625164 140734906489280 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=3525976 CPUtime=941.88 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 137958 0 0 0 94122 66 0 0 25 0 4 0 650762021 3610599424 731838 33554432000 4194304 4625164 140734906489280 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=3525976 CPUtime=942.12 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 4341587 0 0 0 93455 757 0 0 25 0 4 0 650762021 3610599424 731838 33554432000 4194304 4625164 140734906489280 18446744073709551615 4334497 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3753.95
Current children cumulated vsize (KiB) 3525976

[startup+1002.3 s]
/proc/loadavg: 8.24 8.15 8.05 10/463 8495
/proc/meminfo: memFree=5537824/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=3546308 CPUtime=3993 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 6660535 0 0 0 398099 1201 0 0 25 0 4 0 650762007 3631419392 745460 33554432000 4194304 4625164 140734906489280 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 886577 745460 343 106 0 882080 0
[pid=8456/tid=8458] ppid=8454 vsize=3546308 CPUtime=986.68 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 81257 0 0 0 98637 31 0 0 25 0 4 0 650762021 3631419392 745460 33554432000 4194304 4625164 140734906489280 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=3546308 CPUtime=1001.86 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 140510 0 0 0 100119 67 0 0 25 0 4 0 650762021 3631419392 745460 33554432000 4194304 4625164 140734906489280 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=3546308 CPUtime=1002.12 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 4766602 0 0 0 99385 827 0 0 25 0 4 0 650762021 3631419392 745460 33554432000 4194304 4625164 140734906489280 18446744073709551615 4339594 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3993
Current children cumulated vsize (KiB) 3546308

[startup+1062.3 s]
/proc/loadavg: 8.13 8.13 8.05 8/463 8497
/proc/meminfo: memFree=3863696/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=4276088 CPUtime=4232.08 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 7629330 0 0 0 421864 1344 0 0 25 0 4 0 650762007 4378714112 814549 33554432000 4194304 4625164 140734906489280 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 1069022 814549 343 106 0 1064525 0
[pid=8456/tid=8458] ppid=8454 vsize=4276088 CPUtime=1045.76 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 81442 0 0 0 104545 31 0 0 25 0 4 0 650762021 4378714112 814549 33554432000 4194304 4625164 140734906489280 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=4276088 CPUtime=1061.85 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 140738 0 0 0 106118 67 0 0 25 0 4 0 650762021 4378714112 814549 33554432000 4194304 4625164 140734906489280 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=4276088 CPUtime=1062.12 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 5290651 0 0 0 105301 911 0 0 25 0 4 0 650762021 4378714112 814549 33554432000 4194304 4625164 140734906489280 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4232.08
Current children cumulated vsize (KiB) 4276088

[startup+1122.3 s]
/proc/loadavg: 8.08 8.12 8.05 10/463 8499
/proc/meminfo: memFree=4571240/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=4341624 CPUtime=4471.13 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 8149383 0 0 0 445676 1437 0 0 25 0 4 0 650762007 4445822976 855474 33554432000 4194304 4625164 140734906489280 18446744073709551615 4512054 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 1085406 855474 343 106 0 1080909 0
[pid=8456/tid=8458] ppid=8454 vsize=4341624 CPUtime=1104.84 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 81661 0 0 0 110452 32 0 0 25 0 4 0 650762021 4445822976 855474 33554432000 4194304 4625164 140734906489280 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=4341624 CPUtime=1121.84 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 140874 0 0 0 112117 67 0 0 25 0 4 0 650762021 4445822976 855474 33554432000 4194304 4625164 140734906489280 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=4341624 CPUtime=1122.12 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 5754112 0 0 0 111220 992 0 0 25 0 4 0 650762021 4445822976 855474 33554432000 4194304 4625164 140734906489280 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4471.13
Current children cumulated vsize (KiB) 4341624

[startup+1182.3 s]
/proc/loadavg: 8.14 8.13 8.05 10/463 8500
/proc/meminfo: memFree=4382392/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=4341624 CPUtime=4710.2 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 8638694 0 0 0 469504 1516 0 0 25 0 4 0 650762007 4445822976 864456 33554432000 4194304 4625164 140734906489280 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 1085406 864456 343 106 0 1080909 0
[pid=8456/tid=8458] ppid=8454 vsize=4341624 CPUtime=1163.92 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 81827 0 0 0 116360 32 0 0 25 0 4 0 650762021 4445822976 864456 33554432000 4194304 4625164 140734906489280 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=4341624 CPUtime=1181.82 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 140907 0 0 0 118115 67 0 0 25 0 4 0 650762021 4445822976 864456 33554432000 4194304 4625164 140734906489280 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=4341624 CPUtime=1182.13 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 6215357 0 0 0 117147 1066 0 0 25 0 4 0 650762021 4445822976 864456 33554432000 4194304 4625164 140734906489280 18446744073709551615 4351808 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4710.2
Current children cumulated vsize (KiB) 4341624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.9 s]
/proc/loadavg: 8.09 8.12 8.05 9/463 8501
/proc/meminfo: memFree=4311712/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=4341624 CPUtime=4800.28 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) R 8454 8456 7803 0 -1 4202496 8850764 0 0 0 478476 1552 0 0 25 0 4 0 650762007 4445822976 865923 33554432000 4194304 4625164 140734906489280 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 1085406 865923 343 106 0 1080909 0
[pid=8456/tid=8458] ppid=8454 vsize=4341624 CPUtime=1186.16 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4202560 81904 0 0 0 118584 32 0 0 25 0 4 0 650762021 4445822976 866122 33554432000 4194304 4625164 140734906489280 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8456/tid=8459] ppid=8454 vsize=4341624 CPUtime=1204.44 cores=1,3,5,7
/proc/8456/task/8459/stat : 8459 (SArTagnan) R 8454 8456 7803 0 -1 4202560 140921 0 0 0 120377 67 0 0 25 0 4 0 650762021 4445822976 866122 33554432000 4194304 4625164 140734906489280 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8456/tid=8460] ppid=8454 vsize=4341624 CPUtime=1204.74 cores=1,3,5,7
/proc/8456/task/8460/stat : 8460 (SArTagnan) R 8454 8456 7803 0 -1 4202560 6412481 0 0 0 119375 1099 0 0 25 0 4 0 650762021 4445822976 866122 33554432000 4194304 4625164 140734906489280 18446744073709551615 4352299 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 4341624

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

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

[startup+1205.02 s]
/proc/loadavg: 8.09 8.12 8.05 9/463 8501
/proc/meminfo: memFree=4311712/32951124 swapFree=65980224/67111528
[pid=8456] ppid=8454 vsize=0 CPUtime=4800.42 cores=1,3,5,7
/proc/8456/stat : 8456 (SArTagnan) Z 8454 8456 7803 0 -1 4203548 8850968 0 0 0 478480 1562 0 0 25 0 2 0 650762007 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8456/statm: 0 0 0 0 0 0 0
[pid=8456/tid=8458] ppid=8454 vsize=0 CPUtime=1186.27 cores=1,3,5,7
/proc/8456/task/8458/stat : 8458 (SArTagnan) R 8454 8456 7803 0 -1 4203588 81904 0 0 0 118585 42 0 0 25 0 2 0 650762021 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) 4800.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1205.06
CPU time (s): 4800.46
CPU user time (s): 4784.81
CPU system time (s): 15.6546
CPU usage (%): 398.36
Max. virtual memory (cumulated for all children) (KiB): 5735012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4784.81
system time used= 15.6546
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8850968
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= 3473
involuntary context switches= 38055

runsolver used 4.98924 second user time and 13.6459 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-17 00:04:25
IDJOB=3385853
IDBENCH=88204
IDSOLVER=1871
FILE ID=node142/3385853-1305583465
RUNJOBID= node142-1305583465-8443
PBS_JOBID= 13350222
Free space on /tmp= 73556 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385853-1305583465/watcher-3385853-1305583465 -o /tmp/evaluation-result-3385853-1305583465/solver-3385853-1305583465 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385853-1305583465.cnf -threads=4

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

MD5SUM BENCH= f34a5dd1cdce70a322dd395bcb5f1303
RANDOM SEED=1253814877

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:      11599992 kB
Buffers:        313392 kB
Cached:        3977204 kB
SwapCached:      11512 kB
Active:       17070696 kB
Inactive:      3910124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11599992 kB
SwapTotal:    67111528 kB
SwapFree:     65980224 kB
Dirty:           15676 kB
Writeback:           0 kB
AnonPages:    16688192 kB
Mapped:          26812 kB
Slab:           235112 kB
PageTables:      66348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 114500912 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= 73548 MiB
End job on node142 at 2011-05-17 00:24:32