Trace number 3386384

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.28 1204.84

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor128.cnf
MD5SUM065c126f0d55807310a398728b44423f
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 variables200440
Number of clauses599015
Sum of the clauses size1397699
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399342
Number of clauses of size 3199671
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-3386384-1305577314/watcher-3386384-1305577314 -o /tmp/evaluation-result-3386384-1305577314/solver-3386384-1305577314 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386384-1305577314.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.07 8.05 8.03 5/450 30274
/proc/meminfo: memFree=17446292/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=49840 CPUtime=0 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 4183 0 0 0 0 0 0 0 25 0 1 0 747962250 51036160 4121 33554432000 4194304 4625164 140735373468336 18446744073709551615 215988592384 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30274/statm: 12460 4121 296 106 0 7963 0

[startup+0.104663 s]
/proc/loadavg: 8.07 8.05 8.03 5/450 30274
/proc/meminfo: memFree=17446292/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=60144 CPUtime=0.09 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 10286 0 0 0 9 0 0 0 25 0 1 0 747962250 61587456 6620 33554432000 4194304 4625164 140735373468336 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30274/statm: 15036 6621 296 106 0 10539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 60144

[startup+0.200646 s]
/proc/loadavg: 8.07 8.05 8.03 5/450 30274
/proc/meminfo: memFree=17446292/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=68952 CPUtime=0.19 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 15692 0 0 0 18 1 0 0 25 0 1 0 747962250 70606848 9284 33554432000 4194304 4625164 140735373468336 18446744073709551615 215988211205 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30274/statm: 17238 9285 296 106 0 12741 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 68952

[startup+0.30063 s]
/proc/loadavg: 8.07 8.05 8.03 5/450 30274
/proc/meminfo: memFree=17446292/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=160932 CPUtime=0.29 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 37360 0 0 0 26 3 0 0 25 0 1 0 747962250 164794368 27652 33554432000 4194304 4625164 140735373468336 18446744073709551615 215988290005 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30274/statm: 40233 27671 301 106 0 35736 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 160932

[startup+0.700562 s]
/proc/loadavg: 8.07 8.05 8.03 5/450 30274
/proc/meminfo: memFree=17446292/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=408028 CPUtime=1.86 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 45176 0 0 0 182 4 0 0 25 0 4 0 747962250 417820672 35405 33554432000 4194304 4625164 140735373468336 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 102007 35405 336 106 0 97510 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 408028

[startup+1.50042 s]
/proc/loadavg: 8.07 8.05 8.03 9/454 30278
/proc/meminfo: memFree=17299452/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=414268 CPUtime=5.05 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 46950 0 0 0 500 5 0 0 25 0 4 0 747962250 424210432 37051 33554432000 4194304 4625164 140735373468336 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 103567 37051 336 106 0 99070 0
[pid=30274/tid=30276] ppid=30272 vsize=414268 CPUtime=1.18 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 1914 0 0 0 118 0 0 0 25 0 4 0 747962280 424210432 37051 33554432000 4194304 4625164 140735373468336 18446744073709551615 4352636 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=414268 CPUtime=1.19 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 1812 0 0 0 119 0 0 0 25 0 4 0 747962280 424210432 37051 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=414268 CPUtime=1.17 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 3388 0 0 0 117 0 0 0 25 0 4 0 747962280 424210432 37051 33554432000 4194304 4625164 140735373468336 18446744073709551615 4352800 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.05
Current children cumulated vsize (KiB) 414268

[startup+3.10114 s]
/proc/loadavg: 8.06 8.05 8.03 9/454 30278
/proc/meminfo: memFree=17291636/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=414268 CPUtime=11.43 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 50565 0 0 0 1138 5 0 0 25 0 4 0 747962250 424210432 39083 33554432000 4194304 4625164 140735373468336 18446744073709551615 4390553 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 103567 39083 336 106 0 99070 0
[pid=30274/tid=30276] ppid=30272 vsize=414268 CPUtime=2.78 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 2192 0 0 0 278 0 0 0 25 0 4 0 747962280 424210432 39083 33554432000 4194304 4625164 140735373468336 18446744073709551615 4486983 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=414268 CPUtime=2.79 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 1863 0 0 0 279 0 0 0 25 0 4 0 747962280 424210432 39083 33554432000 4194304 4625164 140735373468336 18446744073709551615 4467647 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=414268 CPUtime=2.75 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 6629 0 0 0 274 1 0 0 25 0 4 0 747962280 424210432 39083 33554432000 4194304 4625164 140735373468336 18446744073709551615 4555322 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.43
Current children cumulated vsize (KiB) 414268

[startup+6.30058 s]
/proc/loadavg: 8.06 8.05 8.03 9/454 30278
/proc/meminfo: memFree=17266092/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=420508 CPUtime=24.19 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 58529 0 0 0 2412 7 0 0 25 0 4 0 747962250 430600192 43538 33554432000 4194304 4625164 140735373468336 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 105127 43538 336 106 0 100630 0
[pid=30274/tid=30276] ppid=30272 vsize=420508 CPUtime=5.98 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 2655 0 0 0 598 0 0 0 25 0 4 0 747962280 430600192 43538 33554432000 4194304 4625164 140735373468336 18446744073709551615 4288864 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=420508 CPUtime=5.99 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 2333 0 0 0 599 0 0 0 25 0 4 0 747962280 430600192 43538 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=420508 CPUtime=5.91 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 13222 0 0 0 589 2 0 0 25 0 4 0 747962280 430600192 43538 33554432000 4194304 4625164 140735373468336 18446744073709551615 4288925 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.19
Current children cumulated vsize (KiB) 420508

[startup+12.7005 s]
/proc/loadavg: 8.05 8.05 8.03 9/454 30278
/proc/meminfo: memFree=17243416/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=435140 CPUtime=49.68 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 80279 0 0 0 4959 9 0 0 25 0 4 0 747962250 445583360 46820 33554432000 4194304 4625164 140735373468336 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 108785 46820 342 106 0 104288 0
[pid=30274/tid=30276] ppid=30272 vsize=435140 CPUtime=12.38 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 5124 0 0 0 1238 0 0 0 25 0 4 0 747962280 445583360 46820 33554432000 4194304 4625164 140735373468336 18446744073709551615 4288793 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=435140 CPUtime=12.38 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 4611 0 0 0 1238 0 0 0 25 0 4 0 747962280 445583360 46820 33554432000 4194304 4625164 140735373468336 18446744073709551615 4463931 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=435140 CPUtime=12.2 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 27577 0 0 0 1217 3 0 0 25 0 4 0 747962280 445583360 46820 33554432000 4194304 4625164 140735373468336 18446744073709551615 4334466 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 49.68
Current children cumulated vsize (KiB) 435140

[startup+25.5012 s]
/proc/loadavg: 8.12 8.06 8.04 9/454 30279
/proc/meminfo: memFree=17253460/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=460828 CPUtime=100.7 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 130706 0 0 0 10052 18 0 0 25 0 4 0 747962250 471887872 51945 33554432000 4194304 4625164 140735373468336 18446744073709551615 4509196 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 115207 51945 342 106 0 110710 0
[pid=30274/tid=30276] ppid=30272 vsize=460828 CPUtime=25.18 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 9044 0 0 0 2517 1 0 0 25 0 4 0 747962280 471887872 51945 33554432000 4194304 4625164 140735373468336 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=460828 CPUtime=25.19 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 10102 0 0 0 2518 1 0 0 25 0 4 0 747962280 471887872 51945 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=460828 CPUtime=24.82 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 64628 0 0 0 2472 10 0 0 25 0 4 0 747962280 471887872 51945 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 100.7
Current children cumulated vsize (KiB) 460828

[startup+51.1007 s]
/proc/loadavg: 8.15 8.07 8.04 9/454 30279
/proc/meminfo: memFree=17172896/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=488388 CPUtime=202.72 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 201781 0 0 0 20242 30 0 0 25 0 4 0 747962250 500109312 64893 33554432000 4194304 4625164 140735373468336 18446744073709551615 4509011 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 122097 64893 343 106 0 117600 0
[pid=30274/tid=30276] ppid=30272 vsize=488388 CPUtime=50.78 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 13466 0 0 0 5075 3 0 0 25 0 4 0 747962280 500109312 64893 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=488388 CPUtime=50.77 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 16495 0 0 0 5075 2 0 0 25 0 4 0 747962280 500109312 64893 33554432000 4194304 4625164 140735373468336 18446744073709551615 4486956 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=488388 CPUtime=50.05 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 124179 0 0 0 4987 18 0 0 25 0 4 0 747962280 500109312 64893 33554432000 4194304 4625164 140735373468336 18446744073709551615 4553548 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 202.72
Current children cumulated vsize (KiB) 488388

[startup+102.301 s]
/proc/loadavg: 8.19 8.09 8.05 9/454 30281
/proc/meminfo: memFree=17030968/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=553104 CPUtime=406.82 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 377997 0 0 0 40624 58 0 0 25 0 4 0 747962250 566378496 86918 33554432000 4194304 4625164 140735373468336 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 138276 86918 343 106 0 133779 0
[pid=30274/tid=30276] ppid=30272 vsize=553104 CPUtime=102 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 25706 0 0 0 10193 7 0 0 25 0 4 0 747962280 566378496 86918 33554432000 4194304 4625164 140735373468336 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=553104 CPUtime=101.98 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 32040 0 0 0 10194 4 0 0 25 0 4 0 747962280 566378496 86918 33554432000 4194304 4625164 140735373468336 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=553104 CPUtime=100.52 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 265132 0 0 0 10013 39 0 0 25 0 4 0 747962280 566378496 86918 33554432000 4194304 4625164 140735373468336 18446744073709551615 4554631 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 406.82
Current children cumulated vsize (KiB) 553104

[startup+162.3 s]
/proc/loadavg: 8.20 8.10 8.05 9/454 30282
/proc/meminfo: memFree=16848660/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=664360 CPUtime=645.89 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 527925 0 0 0 64503 86 0 0 25 0 4 0 747962250 680304640 118353 33554432000 4194304 4625164 140735373468336 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 166090 118353 460 106 0 161593 0
[pid=30274/tid=30276] ppid=30272 vsize=664360 CPUtime=161.99 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 32937 0 0 0 16185 14 0 0 25 0 4 0 747962280 680304640 118353 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=664360 CPUtime=161.95 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 47227 0 0 0 16189 6 0 0 25 0 4 0 747962280 680304640 118353 33554432000 4194304 4625164 140735373468336 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=664360 CPUtime=159.63 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 385298 0 0 0 15907 56 0 0 25 0 4 0 747962280 680304640 118353 33554432000 4194304 4625164 140735373468336 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 645.89
Current children cumulated vsize (KiB) 664360

[startup+222.317 s]
/proc/loadavg: 8.17 8.11 8.06 9/454 30284
/proc/meminfo: memFree=16298444/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=1247220 CPUtime=885.04 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 933776 0 0 0 88351 153 0 0 25 0 4 0 747962250 1277153280 242972 33554432000 4194304 4625164 140735373468336 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 311805 242972 343 106 0 307308 0
[pid=30274/tid=30276] ppid=30272 vsize=1247220 CPUtime=221.99 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 45499 0 0 0 22179 20 0 0 25 0 4 0 747962280 1277153280 242972 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=1247220 CPUtime=221.95 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 62931 0 0 0 22184 11 0 0 25 0 4 0 747962280 1277153280 242972 33554432000 4194304 4625164 140735373468336 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=1247220 CPUtime=218.77 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 520265 0 0 0 21801 76 0 0 25 0 4 0 747962280 1277153280 242972 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 885.04
Current children cumulated vsize (KiB) 1247220

[startup+282.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.18 8.11 8.06 9/454 30297
/proc/meminfo: memFree=14716544/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=2503248 CPUtime=2797.91 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 1871210 0 0 0 279483 308 0 0 25 0 4 0 747962250 2563325952 525367 33554432000 4194304 4625164 140735373468336 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 625812 525367 383 106 0 621315 0
[pid=30274/tid=30276] ppid=30272 vsize=2503248 CPUtime=701.97 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 121244 0 0 0 70148 49 0 0 25 0 4 0 747962280 2563325952 525367 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=2503248 CPUtime=701.84 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 160955 0 0 0 70157 27 0 0 25 0 4 0 747962280 2563325952 525367 33554432000 4194304 4625164 140735373468336 18446744073709551615 4316721 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=2503248 CPUtime=691.77 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 986110 0 0 0 69031 146 0 0 25 0 4 0 747962280 2563325952 525367 33554432000 4194304 4625164 140735373468336 18446744073709551615 4551106 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2797.91
Current children cumulated vsize (KiB) 2503248

[startup+762.301 s]
/proc/loadavg: 8.16 8.12 8.06 9/454 30298
/proc/meminfo: memFree=14634300/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=2510704 CPUtime=3037.07 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 2011433 0 0 0 303378 329 0 0 25 0 4 0 747962250 2570960896 529336 33554432000 4194304 4625164 140735373468336 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 627676 529336 381 106 0 623179 0
[pid=30274/tid=30276] ppid=30272 vsize=2510704 CPUtime=761.99 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 121402 0 0 0 76149 50 0 0 25 0 4 0 747962280 2570960896 529336 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=2510704 CPUtime=761.84 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 161019 0 0 0 76157 27 0 0 25 0 4 0 747962280 2570960896 529336 33554432000 4194304 4625164 140735373468336 18446744073709551615 4353016 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=2510704 CPUtime=750.91 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 1124917 0 0 0 74924 167 0 0 25 0 4 0 747962280 2570960896 529336 33554432000 4194304 4625164 140735373468336 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3037.07
Current children cumulated vsize (KiB) 2510704

[startup+822.301 s]
/proc/loadavg: 8.16 8.12 8.07 9/454 30300
/proc/meminfo: memFree=14593232/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=2529672 CPUtime=3276.14 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 2187851 0 0 0 327254 360 0 0 25 0 4 0 747962250 2590384128 534000 33554432000 4194304 4625164 140735373468336 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 632418 534000 347 106 0 627921 0
[pid=30274/tid=30276] ppid=30272 vsize=2529672 CPUtime=821.98 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 122043 0 0 0 82148 50 0 0 25 0 4 0 747962280 2590384128 534000 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=2529672 CPUtime=821.81 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 163780 0 0 0 82153 28 0 0 25 0 4 0 747962280 2590384128 534000 33554432000 4194304 4625164 140735373468336 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=2529672 CPUtime=810.03 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 1296736 0 0 0 80807 196 0 0 25 0 4 0 747962280 2590384128 534000 33554432000 4194304 4625164 140735373468336 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3276.14
Current children cumulated vsize (KiB) 2529672

[startup+882.317 s]
/proc/loadavg: 8.14 8.13 8.07 9/454 30301
/proc/meminfo: memFree=14420332/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=2623884 CPUtime=3515.32 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 2396205 0 0 0 351137 395 0 0 25 0 4 0 747962250 2686857216 540701 33554432000 4194304 4625164 140735373468336 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 655971 540701 347 106 0 651474 0
[pid=30274/tid=30276] ppid=30272 vsize=2623884 CPUtime=881.99 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 137166 0 0 0 88147 52 0 0 25 0 4 0 747962280 2686857216 540701 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=2623884 CPUtime=881.81 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 197100 0 0 0 88146 35 0 0 25 0 4 0 747962280 2686857216 540701 33554432000 4194304 4625164 140735373468336 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=2623884 CPUtime=869.17 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 1456209 0 0 0 86695 222 0 0 25 0 4 0 747962280 2686857216 540701 33554432000 4194304 4625164 140735373468336 18446744073709551615 4548757 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3515.32
Current children cumulated vsize (KiB) 2623884

[startup+942.301 s]
/proc/loadavg: 8.12 8.12 8.07 9/454 30303
/proc/meminfo: memFree=14317760/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=2689420 CPUtime=3754.37 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 2579992 0 0 0 375007 430 0 0 25 0 4 0 747962250 2753966080 549956 33554432000 4194304 4625164 140735373468336 18446744073709551615 4390569 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 672355 549956 347 106 0 667858 0
[pid=30274/tid=30276] ppid=30272 vsize=2689420 CPUtime=941.98 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 140490 0 0 0 94142 56 0 0 25 0 4 0 747962280 2753966080 549956 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=2689420 CPUtime=941.78 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 226336 0 0 0 94136 42 0 0 25 0 4 0 747962280 2753966080 549956 33554432000 4194304 4625164 140735373468336 18446744073709551615 4317344 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=2689420 CPUtime=928.29 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 1607036 0 0 0 92583 246 0 0 25 0 4 0 747962280 2753966080 549956 33554432000 4194304 4625164 140735373468336 18446744073709551615 4554582 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3754.37
Current children cumulated vsize (KiB) 2689420

[startup+1002.3 s]
/proc/loadavg: 8.12 8.12 8.08 9/454 30305
/proc/meminfo: memFree=14148968/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=2689420 CPUtime=3993.48 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 2743532 0 0 0 398887 461 0 0 25 0 4 0 747962250 2753966080 565141 33554432000 4194304 4625164 140735373468336 18446744073709551615 4390542 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 672355 565141 347 106 0 667858 0
[pid=30274/tid=30276] ppid=30272 vsize=2689420 CPUtime=1001.98 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 147422 0 0 0 100135 63 0 0 25 0 4 0 747962280 2753966080 565141 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=2689420 CPUtime=1001.77 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 240448 0 0 0 100132 45 0 0 25 0 4 0 747962280 2753966080 565141 33554432000 4194304 4625164 140735373468336 18446744073709551615 4316696 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=2689420 CPUtime=987.41 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 1748227 0 0 0 98475 266 0 0 25 0 4 0 747962280 2753966080 565141 33554432000 4194304 4625164 140735373468336 18446744073709551615 4551106 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3993.48
Current children cumulated vsize (KiB) 2689420

[startup+1062.3 s]
/proc/loadavg: 8.38 8.19 8.10 9/454 30340
/proc/meminfo: memFree=16368524/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=2754956 CPUtime=4232.61 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 2902224 0 0 0 422765 496 0 0 25 0 4 0 747962250 2821074944 579272 33554432000 4194304 4625164 140735373468336 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 688739 579272 347 106 0 684242 0
[pid=30274/tid=30276] ppid=30272 vsize=2754956 CPUtime=1061.98 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 154900 0 0 0 106126 72 0 0 25 0 4 0 747962280 2821074944 579272 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=2754956 CPUtime=1061.76 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 250947 0 0 0 106126 50 0 0 25 0 4 0 747962280 2821074944 579272 33554432000 4194304 4625164 140735373468336 18446744073709551615 4288755 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=2754956 CPUtime=1046.54 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 1888554 0 0 0 104368 286 0 0 25 0 4 0 747962280 2821074944 579272 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4232.61
Current children cumulated vsize (KiB) 2754956

[startup+1122.3 s]
/proc/loadavg: 8.17 8.16 8.09 9/454 30342
/proc/meminfo: memFree=16010092/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=2820492 CPUtime=4471.71 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 3116934 0 0 0 446635 536 0 0 25 0 4 0 747962250 2888183808 599812 33554432000 4194304 4625164 140735373468336 18446744073709551615 4519673 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 705123 599812 347 106 0 700626 0
[pid=30274/tid=30276] ppid=30272 vsize=2820492 CPUtime=1121.98 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 165721 0 0 0 112115 83 0 0 25 0 4 0 747962280 2888183808 599812 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=2820492 CPUtime=1121.74 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 260859 0 0 0 112122 52 0 0 25 0 4 0 747962280 2888183808 599812 33554432000 4194304 4625164 140735373468336 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=2820492 CPUtime=1105.66 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 2082298 0 0 0 110253 313 0 0 25 0 4 0 747962280 2888183808 599812 33554432000 4194304 4625164 140735373468336 18446744073709551615 4579376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4471.71
Current children cumulated vsize (KiB) 2820492

[startup+1182.3 s]
/proc/loadavg: 8.19 8.17 8.09 9/454 30343
/proc/meminfo: memFree=15771368/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=2960664 CPUtime=4710.84 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 3444938 0 0 0 470490 594 0 0 25 0 4 0 747962250 3031719936 626312 33554432000 4194304 4625164 140735373468336 18446744073709551615 4519319 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 740166 626312 350 106 0 735669 0
[pid=30274/tid=30276] ppid=30272 vsize=2960664 CPUtime=1181.98 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 173506 0 0 0 118106 92 0 0 25 0 4 0 747962280 3031719936 626312 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=2960664 CPUtime=1181.73 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 272948 0 0 0 118116 57 0 0 25 0 4 0 747962280 3031719936 626312 33554432000 4194304 4625164 140735373468336 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=2960664 CPUtime=1164.8 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 2390019 0 0 0 116122 358 0 0 25 0 4 0 747962280 3031719936 626312 33554432000 4194304 4625164 140735373468336 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4710.84
Current children cumulated vsize (KiB) 2960664



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.7 s]
/proc/loadavg: 8.20 8.17 8.10 9/454 30344
/proc/meminfo: memFree=15718400/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=2960664 CPUtime=4800.14 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) R 30272 30274 30199 0 -1 4202496 3573887 0 0 0 479400 614 0 0 25 0 4 0 747962250 3031719936 633191 33554432000 4194304 4625164 140735373468336 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 740166 633191 347 106 0 735669 0
[pid=30274/tid=30276] ppid=30272 vsize=2960664 CPUtime=1204.39 cores=0,2,4,6
/proc/30274/task/30276/stat : 30276 (SArTagnan) R 30272 30274 30199 0 -1 4202560 176023 0 0 0 120346 93 0 0 25 0 4 0 747962280 3031719936 633191 33554432000 4194304 4625164 140735373468336 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30274/tid=30277] ppid=30272 vsize=2960664 CPUtime=1204.14 cores=0,2,4,6
/proc/30274/task/30277/stat : 30277 (SArTagnan) R 30272 30274 30199 0 -1 4202560 277663 0 0 0 120355 59 0 0 25 0 4 0 747962280 3031719936 633191 33554432000 4194304 4625164 140735373468336 18446744073709551615 215988259802 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=2960664 CPUtime=1186.86 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4202560 2511548 0 0 0 118312 374 0 0 25 0 4 0 747962280 3031719936 633191 33554432000 4194304 4625164 140735373468336 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 2960664

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

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

[startup+1204.82 s]
/proc/loadavg: 8.20 8.17 8.10 9/454 30344
/proc/meminfo: memFree=15718400/32950940 swapFree=67111356/67111528
[pid=30274] ppid=30272 vsize=0 CPUtime=4800.26 cores=0,2,4,6
/proc/30274/stat : 30274 (SArTagnan) Z 30272 30274 30199 0 -1 4203548 3573887 0 0 0 479402 624 0 0 25 0 2 0 747962250 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30274/statm: 0 0 0 0 0 0 0
[pid=30274/tid=30278] ppid=30272 vsize=0 CPUtime=1186.97 cores=0,2,4,6
/proc/30274/task/30278/stat : 30278 (SArTagnan) R 30272 30274 30199 0 -1 4203588 2511548 0 0 0 118313 384 0 0 25 0 2 0 747962280 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.84
CPU time (s): 4800.28
CPU user time (s): 4794.03
CPU system time (s): 6.25605
CPU usage (%): 398.418
Max. virtual memory (cumulated for all children) (KiB): 2960664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.03
system time used= 6.25605
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3573887
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= 1692
involuntary context switches= 33418

runsolver used 4.95125 second user time and 12.6001 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-16 22:21:55
IDJOB=3386384
IDBENCH=70815
IDSOLVER=1871
FILE ID=node117/3386384-1305577314
RUNJOBID= node117-1305577168-30217
PBS_JOBID= 13350218
Free space on /tmp= 73424 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386384-1305577314/watcher-3386384-1305577314 -o /tmp/evaluation-result-3386384-1305577314/solver-3386384-1305577314 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386384-1305577314.cnf -threads=4

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

MD5SUM BENCH= 065c126f0d55807310a398728b44423f
RANDOM SEED=1289484855

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      17446456 kB
Buffers:        339596 kB
Cached:        4776316 kB
SwapCached:          0 kB
Active:       11895440 kB
Inactive:      3245212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      17446456 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           10892 kB
Writeback:           0 kB
AnonPages:    10024976 kB
Mapped:          35088 kB
Slab:           246852 kB
PageTables:      51896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 116961584 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= 73440 MiB
End job on node117 at 2011-05-16 22:42:02