Trace number 3259188

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-03-24? (TO) 4800.45 1201.76

General information on the benchmark

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

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3259188-1304057814/watcher-3259188-1304057814 -o /tmp/evaluation-result-3259188-1304057814/solver-3259188-1304057814 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3259188-1304057814.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: 3.21 5.36 6.86 2/174 15002
/proc/meminfo: memFree=30591912/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=19772 CPUtime=0 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 545 0 0 0 0 0 0 0 22 0 1 0 517383807 20246528 447 33554432000 4194304 4623224 140736673692176 18446744073709551615 212436016896 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/15002/statm: 4943 448 297 105 0 447 0

[startup+0.551157 s]
/proc/loadavg: 3.21 5.36 6.86 2/174 15002
/proc/meminfo: memFree=30591912/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=258492 CPUtime=2.14 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 6284 0 0 0 214 0 0 0 25 0 4 0 517383807 264695808 4425 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510195 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 64623 4425 344 105 0 60127 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 258492

[startup+0.624799 s]
/proc/loadavg: 3.21 5.36 6.86 2/174 15002
/proc/meminfo: memFree=30591912/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=259316 CPUtime=2.44 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 7035 0 0 0 244 0 0 0 25 0 4 0 517383807 265539584 4657 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510199 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 64829 4657 344 105 0 60333 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 259316

[startup+0.700786 s]
/proc/loadavg: 3.21 5.36 6.86 2/174 15002
/proc/meminfo: memFree=30591912/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=259448 CPUtime=2.74 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 7527 0 0 0 274 0 0 0 25 0 4 0 517383807 265674752 4809 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 64862 4809 344 105 0 60366 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 259448

[startup+0.800768 s]
/proc/loadavg: 3.21 5.36 6.86 2/174 15002
/proc/meminfo: memFree=30591912/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=259712 CPUtime=3.15 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 8376 0 0 0 314 1 0 0 25 0 4 0 517383807 265945088 5074 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 64928 5074 344 105 0 60432 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 259712

[startup+1.50064 s]
/proc/loadavg: 3.21 5.36 6.86 9/184 15015
/proc/meminfo: memFree=30506776/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=263700 CPUtime=5.96 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 15272 0 0 0 595 1 0 0 25 0 4 0 517383807 270028800 7015 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 65925 7015 344 105 0 61429 0
[pid=15002/tid=15004] ppid=15000 vsize=263700 CPUtime=1.48 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 2380 0 0 0 148 0 0 0 25 0 4 0 517383808 270028800 7016 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=263700 CPUtime=1.48 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 2541 0 0 0 148 0 0 0 25 0 4 0 517383808 270028800 7016 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376837 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=263700 CPUtime=1.47 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 6498 0 0 0 147 0 0 0 20 0 4 0 517383808 270028800 7016 33554432000 4194304 4623224 140736673692176 18446744073709551615 4568813 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 263700

[startup+3.10033 s]
/proc/loadavg: 3.21 5.36 6.86 9/184 15015
/proc/meminfo: memFree=30478008/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=267372 CPUtime=12.34 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 24870 0 0 0 1231 3 0 0 25 0 4 0 517383807 273788928 10149 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510142 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 66843 10149 344 105 0 62347 0
[pid=15002/tid=15004] ppid=15000 vsize=267372 CPUtime=3.07 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 4046 0 0 0 307 0 0 0 19 0 4 0 517383808 273788928 10149 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=267372 CPUtime=3.07 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 4248 0 0 0 307 0 0 0 25 0 4 0 517383808 273788928 10149 33554432000 4194304 4623224 140736673692176 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=267372 CPUtime=3.07 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 12613 0 0 0 306 1 0 0 25 0 4 0 517383808 273788928 10149 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376745 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 267372

[startup+6.30072 s]
/proc/loadavg: 3.59 5.40 6.86 9/184 15015
/proc/meminfo: memFree=30411680/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=277124 CPUtime=25.12 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 55835 0 0 0 2504 8 0 0 25 0 4 0 517383807 283774976 15190 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510472 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 69281 15190 344 105 0 64785 0
[pid=15002/tid=15004] ppid=15000 vsize=277124 CPUtime=6.27 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 7944 0 0 0 626 1 0 0 25 0 4 0 517383808 283774976 15190 33554432000 4194304 4623224 140736673692176 18446744073709551615 4289714 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=277124 CPUtime=6.28 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 8210 0 0 0 627 1 0 0 25 0 4 0 517383808 283774976 15190 33554432000 4194304 4623224 140736673692176 18446744073709551615 4366465 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=277124 CPUtime=6.25 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 35575 0 0 0 621 4 0 0 25 0 4 0 517383808 283774976 15190 33554432000 4194304 4623224 140736673692176 18446744073709551615 4577684 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 277124

[startup+12.7005 s]
/proc/loadavg: 3.95 5.45 6.87 9/184 15015
/proc/meminfo: memFree=30325088/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=288828 CPUtime=50.68 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 111948 0 0 0 5051 17 0 0 25 0 4 0 517383807 295759872 24207 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510108 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 72207 24207 347 105 0 67711 0
[pid=15002/tid=15004] ppid=15000 vsize=288828 CPUtime=12.68 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 12479 0 0 0 1265 3 0 0 25 0 4 0 517383808 295759872 24207 33554432000 4194304 4623224 140736673692176 18446744073709551615 4367191 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=288828 CPUtime=12.68 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 12456 0 0 0 1265 3 0 0 25 0 4 0 517383808 295759872 24207 33554432000 4194304 4623224 140736673692176 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=288828 CPUtime=12.61 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 80628 0 0 0 1251 10 0 0 25 0 4 0 517383808 295759872 24207 33554432000 4194304 4623224 140736673692176 18446744073709551615 4550519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 288828

[startup+25.5011 s]
/proc/loadavg: 4.57 5.53 6.88 9/184 15015
/proc/meminfo: memFree=30194260/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=321916 CPUtime=101.82 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 199063 0 0 0 10149 33 0 0 25 0 4 0 517383807 329641984 36517 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510214 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 80479 36517 376 105 0 75983 0
[pid=15002/tid=15004] ppid=15000 vsize=321916 CPUtime=25.47 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 18851 0 0 0 2543 4 0 0 25 0 4 0 517383808 329641984 36517 33554432000 4194304 4623224 140736673692176 18446744073709551615 4465869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=321916 CPUtime=25.48 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 18069 0 0 0 2544 4 0 0 25 0 4 0 517383808 329641984 36517 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=321916 CPUtime=25.34 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 153275 0 0 0 2512 22 0 0 25 0 4 0 517383808 329641984 36517 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 321916

[startup+51.1072 s]
/proc/loadavg: 5.92 5.76 6.91 9/184 15016
/proc/meminfo: memFree=29863400/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=366656 CPUtime=204.1 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 361545 0 0 0 20349 61 0 0 25 0 4 0 517383807 375455744 55193 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 91664 55193 362 105 0 87168 0
[pid=15002/tid=15004] ppid=15000 vsize=366656 CPUtime=51.09 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 29000 0 0 0 5098 11 0 0 25 0 4 0 517383808 375455744 55193 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=366656 CPUtime=51.08 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 26147 0 0 0 5102 6 0 0 25 0 4 0 517383808 375455744 55193 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=366656 CPUtime=50.81 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 288483 0 0 0 5041 40 0 0 25 0 4 0 517383808 375455744 55193 33554432000 4194304 4623224 140736673692176 18446744073709551615 4364237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 366656

[startup+102.3 s]
/proc/loadavg: 7.15 6.12 6.97 9/184 15018
/proc/meminfo: memFree=29475632/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=557080 CPUtime=408.59 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 801174 0 0 0 40726 133 0 0 25 0 4 0 517383807 570449920 82095 33554432000 4194304 4623224 140736673692176 18446744073709551615 4355942 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 139270 82095 396 105 0 134774 0
[pid=15002/tid=15004] ppid=15000 vsize=557080 CPUtime=102.27 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 43554 0 0 0 10211 16 0 0 25 0 4 0 517383808 570449920 82095 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=557080 CPUtime=102.27 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 39355 0 0 0 10215 12 0 0 25 0 4 0 517383808 570449920 82095 33554432000 4194304 4623224 140736673692176 18446744073709551615 4377579 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=557080 CPUtime=101.73 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 682984 0 0 0 10075 98 0 0 25 0 4 0 517383808 570449920 82095 33554432000 4194304 4623224 140736673692176 18446744073709551615 4577681 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.59
Current children cumulated vsize (KiB) 557080

[startup+162.301 s]
/proc/loadavg: 7.68 6.46 7.04 9/184 15019
/proc/meminfo: memFree=29125804/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=576284 CPUtime=648.27 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 1366332 0 0 0 64607 220 0 0 25 0 4 0 517383807 590114816 96092 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 144071 96092 431 105 0 139575 0
[pid=15002/tid=15004] ppid=15000 vsize=576284 CPUtime=162.28 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 45295 0 0 0 16211 17 0 0 25 0 4 0 517383808 590114816 96092 33554432000 4194304 4623224 140736673692176 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=576284 CPUtime=162.26 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 40076 0 0 0 16214 12 0 0 25 0 4 0 517383808 590114816 96092 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=576284 CPUtime=161.4 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 1225848 0 0 0 15959 181 0 0 25 0 4 0 517383808 590114816 96092 33554432000 4194304 4623224 140736673692176 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 576284

[startup+222.301 s]
/proc/loadavg: 7.93 6.75 7.10 9/184 15021
/proc/meminfo: memFree=28840328/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=699188 CPUtime=887.95 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 2087323 0 0 0 88466 329 0 0 25 0 4 0 517383807 715968512 118550 33554432000 4194304 4623224 140736673692176 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 174797 118550 512 105 0 170301 0
[pid=15002/tid=15004] ppid=15000 vsize=699188 CPUtime=222.28 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 59134 0 0 0 22209 19 0 0 25 0 4 0 517383808 715968512 118550 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=699188 CPUtime=222.27 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 43809 0 0 0 22210 17 0 0 25 0 4 0 517383808 715968512 118550 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=699188 CPUtime=221.07 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 1905015 0 0 0 21829 278 0 0 25 0 4 0 517383808 715968512 118550 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.95
Current children cumulated vsize (KiB) 699188

[startup+282.3 s]

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

[pid=15002] ppid=15000 vsize=1067656 CPUtime=2565.72 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 2994758 0 0 0 256077 495 0 0 25 0 4 0 517383807 1093279744 200375 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 266914 200375 377 105 0 262418 0
[pid=15002/tid=15004] ppid=15000 vsize=1067656 CPUtime=642.3 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 95898 0 0 0 64190 40 0 0 25 0 4 0 517383808 1093279744 200375 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1067656 CPUtime=642.29 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 64418 0 0 0 64204 25 0 0 25 0 4 0 517383808 1093279744 200375 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1067656 CPUtime=638.8 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 2621635 0 0 0 63489 391 0 0 25 0 4 0 517383808 1093279744 200375 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 1067656

[startup+702.306 s]
/proc/loadavg: 8.08 7.80 7.48 9/184 15034
/proc/meminfo: memFree=27926572/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=1096648 CPUtime=2805.43 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 3241703 0 0 0 280007 536 0 0 25 0 4 0 517383807 1122967552 210002 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 274162 210002 345 105 0 269666 0
[pid=15002/tid=15004] ppid=15000 vsize=1096648 CPUtime=702.31 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 98797 0 0 0 70189 42 0 0 25 0 4 0 517383808 1122967552 210002 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1096648 CPUtime=702.29 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 65181 0 0 0 70204 25 0 0 25 0 4 0 517383808 1122967552 210002 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376832 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1096648 CPUtime=698.47 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 2859575 0 0 0 69420 427 0 0 25 0 4 0 517383808 1122967552 210002 33554432000 4194304 4623224 140736673692176 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 1096648

[startup+762.301 s]
/proc/loadavg: 8.08 7.85 7.51 9/184 15035
/proc/meminfo: memFree=27802556/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=1210188 CPUtime=3045.08 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 3841055 0 0 0 303876 632 0 0 25 0 4 0 517383807 1239232512 222430 33554432000 4194304 4623224 140736673692176 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 302547 222430 344 105 0 298051 0
[pid=15002/tid=15004] ppid=15000 vsize=1210188 CPUtime=762.3 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 108516 0 0 0 76183 47 0 0 25 0 4 0 517383808 1239232512 222430 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1210188 CPUtime=762.29 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 65499 0 0 0 76204 25 0 0 25 0 4 0 517383808 1239232512 222430 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1210188 CPUtime=758.15 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 3446708 0 0 0 75297 518 0 0 25 0 4 0 517383808 1239232512 222430 33554432000 4194304 4623224 140736673692176 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 1210188

[startup+822.301 s]
/proc/loadavg: 8.13 7.90 7.55 9/184 15037
/proc/meminfo: memFree=27602892/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=1283064 CPUtime=3284.75 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 4497394 0 0 0 327740 735 0 0 25 0 4 0 517383807 1313857536 233050 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510123 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 320766 233050 344 105 0 316270 0
[pid=15002/tid=15004] ppid=15000 vsize=1283064 CPUtime=822.3 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 138596 0 0 0 82174 56 0 0 25 0 4 0 517383808 1313857536 233050 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376806 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1283064 CPUtime=822.29 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 65724 0 0 0 82204 25 0 0 25 0 4 0 517383808 1313857536 233050 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1283064 CPUtime=817.81 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 4058259 0 0 0 81171 610 0 0 25 0 4 0 517383808 1313857536 233050 33554432000 4194304 4623224 140736673692176 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 1283064

[startup+882.301 s]
/proc/loadavg: 8.19 7.96 7.59 9/184 15038
/proc/meminfo: memFree=27510360/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=1283064 CPUtime=3524.44 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 5176064 0 0 0 351599 845 0 0 25 0 4 0 517383807 1313857536 240287 33554432000 4194304 4623224 140736673692176 18446744073709551615 212435677320 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 320766 240287 344 105 0 316270 0
[pid=15002/tid=15004] ppid=15000 vsize=1283064 CPUtime=882.31 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 142057 0 0 0 88170 61 0 0 25 0 4 0 517383808 1313857536 240287 33554432000 4194304 4623224 140736673692176 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1283064 CPUtime=882.3 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 66217 0 0 0 88204 26 0 0 25 0 4 0 517383808 1313857536 240287 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1283064 CPUtime=877.5 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 4730605 0 0 0 87035 715 0 0 25 0 4 0 517383808 1313857536 240287 33554432000 4194304 4623224 140736673692176 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 1283064

[startup+942.301 s]
/proc/loadavg: 8.16 8.00 7.62 9/184 15040
/proc/meminfo: memFree=27425388/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=1304480 CPUtime=3764.11 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 5813602 0 0 0 375463 948 0 0 25 0 4 0 517383807 1335787520 250291 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 326120 250291 351 105 0 321624 0
[pid=15002/tid=15004] ppid=15000 vsize=1304480 CPUtime=942.31 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 145375 0 0 0 94164 67 0 0 25 0 4 0 517383808 1335787520 250291 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1304480 CPUtime=942.3 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 66541 0 0 0 94204 26 0 0 25 0 4 0 517383808 1335787520 250291 33554432000 4194304 4623224 140736673692176 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1304480 CPUtime=937.17 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 5361929 0 0 0 92906 811 0 0 25 0 4 0 517383808 1335787520 250291 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 1304480

[startup+1002.3 s]
/proc/loadavg: 8.10 8.01 7.65 9/184 15042
/proc/meminfo: memFree=27305084/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=1402116 CPUtime=4003.8 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 6518105 0 0 0 399319 1061 0 0 25 0 4 0 517383807 1435766784 261870 33554432000 4194304 4623224 140736673692176 18446744073709551615 4360087 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 350529 261870 344 105 0 346033 0
[pid=15002/tid=15004] ppid=15000 vsize=1402116 CPUtime=1002.31 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 148140 0 0 0 100161 70 0 0 25 0 4 0 517383808 1435766784 261870 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1402116 CPUtime=1002.3 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 66827 0 0 0 100204 26 0 0 25 0 4 0 517383808 1435766784 261870 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1402116 CPUtime=996.84 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 6006528 0 0 0 98771 913 0 0 25 0 4 0 517383808 1435766784 261870 33554432000 4194304 4623224 140736673692176 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 1402116

[startup+1062.3 s]
/proc/loadavg: 8.07 8.02 7.67 9/184 15043
/proc/meminfo: memFree=27234624/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=1402116 CPUtime=4243.48 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 6945486 0 0 0 423223 1125 0 0 25 0 4 0 517383807 1435766784 265767 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510217 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 350529 265767 347 105 0 346033 0
[pid=15002/tid=15004] ppid=15000 vsize=1402116 CPUtime=1062.31 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 149231 0 0 0 106161 70 0 0 25 0 4 0 517383808 1435766784 265767 33554432000 4194304 4623224 140736673692176 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1402116 CPUtime=1062.3 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 67060 0 0 0 106204 26 0 0 25 0 4 0 517383808 1435766784 265767 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1402116 CPUtime=1056.51 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 6432581 0 0 0 104675 976 0 0 25 0 4 0 517383808 1435766784 265767 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376714 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 1402116

[startup+1122.3 s]
/proc/loadavg: 8.06 8.03 7.69 9/184 15045
/proc/meminfo: memFree=27171736/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=1402116 CPUtime=4483.16 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 7566492 0 0 0 447097 1219 0 0 25 0 4 0 517383807 1435766784 268788 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 350529 268788 344 105 0 346033 0
[pid=15002/tid=15004] ppid=15000 vsize=1402116 CPUtime=1122.31 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 151224 0 0 0 112160 71 0 0 25 0 4 0 517383808 1435766784 268788 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1402116 CPUtime=1122.3 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 67244 0 0 0 112204 26 0 0 25 0 4 0 517383808 1435766784 268788 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1402116 CPUtime=1116.19 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 7051406 0 0 0 110549 1070 0 0 25 0 4 0 517383808 1435766784 268788 33554432000 4194304 4623224 140736673692176 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 1402116

[startup+1182.3 s]
/proc/loadavg: 8.13 8.05 7.72 9/184 15046
/proc/meminfo: memFree=27084524/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=1467652 CPUtime=4722.84 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 8130021 0 0 0 470979 1305 0 0 25 0 4 0 517383807 1502875648 276508 33554432000 4194304 4623224 140736673692176 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 366913 276508 355 105 0 362417 0
[pid=15002/tid=15004] ppid=15000 vsize=1467652 CPUtime=1182.32 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 155578 0 0 0 118159 73 0 0 25 0 4 0 517383808 1502875648 276508 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1467652 CPUtime=1182.3 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 67567 0 0 0 118204 26 0 0 25 0 4 0 517383808 1502875648 276508 33554432000 4194304 4623224 140736673692176 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1467652 CPUtime=1175.86 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 7610218 0 0 0 116432 1154 0 0 25 0 4 0 517383808 1502875648 276508 33554432000 4194304 4623224 140736673692176 18446744073709551615 4364237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 1467652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.71 s]
/proc/loadavg: 8.09 8.05 7.73 9/184 15047
/proc/meminfo: memFree=27063060/32951124 swapFree=67111416/67111528
[pid=15002] ppid=15000 vsize=1402116 CPUtime=4800.38 cores=1,3,5,7
/proc/15002/stat : 15002 (SArTagnan) R 15000 15002 14674 0 -1 4202496 8319999 0 0 0 478703 1335 0 0 25 0 4 0 517383807 1435766784 277459 33554432000 4194304 4623224 140736673692176 18446744073709551615 4510123 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15002/statm: 350529 277459 349 105 0 346033 0
[pid=15002/tid=15004] ppid=15000 vsize=1402116 CPUtime=1201.72 cores=1,3,5,7
/proc/15002/task/15004/stat : 15004 (SArTagnan) R 15000 15002 14674 0 -1 4202560 156225 0 0 0 120099 73 0 0 25 0 4 0 517383808 1435766784 277459 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15002/tid=15005] ppid=15000 vsize=1402116 CPUtime=1201.72 cores=1,3,5,7
/proc/15002/task/15005/stat : 15005 (SArTagnan) R 15000 15002 14674 0 -1 4202560 67599 0 0 0 120146 26 0 0 25 0 4 0 517383808 1435766784 277459 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15002/tid=15006] ppid=15000 vsize=1402116 CPUtime=1195.16 cores=1,3,5,7
/proc/15002/task/15006/stat : 15006 (SArTagnan) R 15000 15002 14674 0 -1 4202560 7799480 0 0 0 118333 1183 0 0 25 0 4 0 517383808 1435766784 277459 33554432000 4194304 4623224 140736673692176 18446744073709551615 4376726 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 1402116

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): 1201.76
CPU time (s): 4800.45
CPU user time (s): 4787.05
CPU system time (s): 13.4
CPU usage (%): 399.451
Max. virtual memory (cumulated for all children) (KiB): 1597040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.05
system time used= 13.4
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8319999
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= 1730
involuntary context switches= 32365

runsolver used 1.66975 second user time and 4.89426 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 08:16:55
IDJOB=3259188
IDBENCH=71514
IDSOLVER=1656
FILE ID=node102/3259188-1304057814
RUNJOBID= node102-1304057814-14989
PBS_JOBID= 13170428
Free space on /tmp= 71560 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/unforced/rbsat-v760c43649g2.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3259188-1304057814/watcher-3259188-1304057814 -o /tmp/evaluation-result-3259188-1304057814/solver-3259188-1304057814 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3259188-1304057814.cnf -threads=4

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

MD5SUM BENCH= 791cdb75c1a209efd7f7547f06e0fed9
RANDOM SEED=469378706

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

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.82
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.828
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.828
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.828
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:      30591944 kB
Buffers:        628324 kB
Cached:        1239880 kB
SwapCached:          8 kB
Active:         222096 kB
Inactive:      1714136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30591944 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:            1668 kB
Writeback:           0 kB
AnonPages:       67700 kB
Mapped:          14488 kB
Slab:           358364 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190348 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= 71556 MiB
End job on node102 at 2011-04-29 08:36:58