Trace number 3289589

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

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom18.cnf
MD5SUM9ece8f569c93ceee834817ef3350ed8e
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 variables36410
Number of clauses121578
Sum of the clauses size309786
Maximum clause length1188
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 262692
Number of clauses of size 358247
Number of clauses of size 4170
Number of clauses of size 516
Number of clauses of size over 5452

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-3289589-1304083369/watcher-3289589-1304083369 -o /tmp/evaluation-result-3289589-1304083369/solver-3289589-1304083369 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3289589-1304083369.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.15 8.14 7.93 5/180 18275
/proc/meminfo: memFree=17242988/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=24492 CPUtime=0 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 1134 0 0 0 0 0 0 0 25 0 1 0 519939488 25079808 1071 33554432000 4194304 4623224 140735976432000 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18275/statm: 6123 1071 300 105 0 1627 0

[startup+0.0408669 s]
/proc/loadavg: 8.15 8.14 7.93 5/180 18275
/proc/meminfo: memFree=17242988/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=28908 CPUtime=0.03 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 3652 0 0 0 3 0 0 0 25 0 1 0 519939488 29601792 2273 33554432000 4194304 4623224 140735976432000 18446744073709551615 4584016 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18275/statm: 7227 2274 301 105 0 2731 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 28908

[startup+0.177796 s]
/proc/loadavg: 8.15 8.14 7.93 5/180 18275
/proc/meminfo: memFree=17242988/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=281360 CPUtime=0.5 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 10710 0 0 0 49 1 0 0 25 0 4 0 519939488 288112640 8728 33554432000 4194304 4623224 140735976432000 18446744073709551615 4412310 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 70340 8728 334 105 0 65844 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 281360

[startup+0.300776 s]
/proc/loadavg: 8.15 8.14 7.93 5/180 18275
/proc/meminfo: memFree=17242988/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=284464 CPUtime=0.99 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 12238 0 0 0 98 1 0 0 25 0 4 0 519939488 291291136 10027 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 71116 10027 343 105 0 66620 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 284464

[startup+0.700706 s]
/proc/loadavg: 8.15 8.14 7.93 5/180 18275
/proc/meminfo: memFree=17242988/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=291696 CPUtime=2.6 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 16638 0 0 0 258 2 0 0 25 0 4 0 519939488 298696704 12852 33554432000 4194304 4623224 140735976432000 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 72924 12852 343 105 0 68428 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 291696

[startup+1.50056 s]
/proc/loadavg: 8.15 8.14 7.93 9/184 18279
/proc/meminfo: memFree=17191008/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=293864 CPUtime=5.78 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 19928 0 0 0 576 2 0 0 25 0 4 0 519939488 300916736 13234 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 73466 13234 343 105 0 68970 0
[pid=18275/tid=18277] ppid=18273 vsize=293864 CPUtime=1.43 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 1911 0 0 0 143 0 0 0 25 0 4 0 519939495 300916736 13234 33554432000 4194304 4623224 140735976432000 18446744073709551615 4466008 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=293864 CPUtime=1.43 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 2055 0 0 0 143 0 0 0 25 0 4 0 519939495 300916736 13234 33554432000 4194304 4623224 140735976432000 18446744073709551615 4464373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=293864 CPUtime=1.42 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 5409 0 0 0 141 1 0 0 25 0 4 0 519939495 300916736 13234 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 293864

[startup+3.10028 s]
/proc/loadavg: 8.14 8.14 7.93 9/184 18279
/proc/meminfo: memFree=17182576/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=305296 CPUtime=12.18 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 36254 0 0 0 1213 5 0 0 25 0 4 0 519939488 312623104 18521 33554432000 4194304 4623224 140735976432000 18446744073709551615 4366247 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 76324 18522 343 105 0 71828 0
[pid=18275/tid=18277] ppid=18273 vsize=305296 CPUtime=3.02 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 3806 0 0 0 302 0 0 0 25 0 4 0 519939495 312623104 18525 33554432000 4194304 4623224 140735976432000 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=305296 CPUtime=3.02 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 2489 0 0 0 302 0 0 0 25 0 4 0 519939495 312623104 18528 33554432000 4194304 4623224 140735976432000 18446744073709551615 4330719 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=305296 CPUtime=3.01 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 13527 0 0 0 299 2 0 0 25 0 4 0 519939495 312623104 18530 33554432000 4194304 4623224 140735976432000 18446744073709551615 4354675 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.18
Current children cumulated vsize (KiB) 305296

[startup+6.30072 s]
/proc/loadavg: 8.14 8.14 7.93 9/184 18279
/proc/meminfo: memFree=17060188/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=442504 CPUtime=24.94 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 105720 0 0 0 2480 14 0 0 25 0 4 0 519939488 453124096 43840 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 110626 43840 344 105 0 106130 0
[pid=18275/tid=18277] ppid=18273 vsize=442504 CPUtime=6.21 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 17130 0 0 0 620 1 0 0 25 0 4 0 519939495 453124096 43840 33554432000 4194304 4623224 140735976432000 18446744073709551615 4289768 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=442504 CPUtime=6.21 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 17245 0 0 0 620 1 0 0 25 0 4 0 519939495 453124096 43840 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=442504 CPUtime=6.18 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 29702 0 0 0 614 4 0 0 25 0 4 0 519939495 453124096 43840 33554432000 4194304 4623224 140735976432000 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 442504

[startup+12.7006 s]
/proc/loadavg: 8.19 8.15 7.93 9/184 18279
/proc/meminfo: memFree=17050224/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=442504 CPUtime=50.49 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 107360 0 0 0 5035 14 0 0 25 0 4 0 519939488 453124096 45480 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 110626 45480 344 105 0 106130 0
[pid=18275/tid=18277] ppid=18273 vsize=442504 CPUtime=12.61 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 17770 0 0 0 1259 2 0 0 25 0 4 0 519939495 453124096 45480 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376937 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=442504 CPUtime=12.62 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 18187 0 0 0 1260 2 0 0 25 0 4 0 519939495 453124096 45480 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=442504 CPUtime=12.55 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 29702 0 0 0 1251 4 0 0 25 0 4 0 519939495 453124096 45480 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 442504

[startup+25.5003 s]
/proc/loadavg: 8.24 8.16 7.94 9/184 18280
/proc/meminfo: memFree=17024056/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=453040 CPUtime=101.62 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 181513 0 0 0 10135 27 0 0 25 0 4 0 519939488 463912960 49681 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 113260 49681 344 105 0 108764 0
[pid=18275/tid=18277] ppid=18273 vsize=453040 CPUtime=25.41 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 23713 0 0 0 2538 3 0 0 25 0 4 0 519939495 463912960 49681 33554432000 4194304 4623224 140735976432000 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=453040 CPUtime=25.42 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 18821 0 0 0 2540 2 0 0 25 0 4 0 519939495 463912960 49681 33554432000 4194304 4623224 140735976432000 18446744073709551615 4366416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=453040 CPUtime=25.27 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 96546 0 0 0 2513 14 0 0 25 0 4 0 519939495 463912960 49681 33554432000 4194304 4623224 140735976432000 18446744073709551615 4577479 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 453040

[startup+51.1008 s]
/proc/loadavg: 8.16 8.15 7.94 9/184 18280
/proc/meminfo: memFree=16974424/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=468848 CPUtime=203.87 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 382483 0 0 0 20327 60 0 0 25 0 4 0 519939488 480100352 58175 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 117212 58175 344 105 0 112716 0
[pid=18275/tid=18277] ppid=18273 vsize=468848 CPUtime=51.01 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 26334 0 0 0 5097 4 0 0 25 0 4 0 519939495 480100352 58175 33554432000 4194304 4623224 140735976432000 18446744073709551615 4463274 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=468848 CPUtime=51.02 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 27246 0 0 0 5097 5 0 0 25 0 4 0 519939495 480100352 58175 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=468848 CPUtime=50.73 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 286166 0 0 0 5030 43 0 0 25 0 4 0 519939495 480100352 58175 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376858 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 468848

[startup+102.307 s]
/proc/loadavg: 8.15 8.15 7.95 9/184 18282
/proc/meminfo: memFree=16874328/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=503632 CPUtime=408.41 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 635095 0 0 0 40738 103 0 0 25 0 4 0 519939488 515719168 71894 33554432000 4194304 4623224 140735976432000 18446744073709551615 4509955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 125908 71894 345 105 0 121412 0
[pid=18275/tid=18277] ppid=18273 vsize=503632 CPUtime=102.21 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 37807 0 0 0 10214 7 0 0 25 0 4 0 519939495 515719168 71894 33554432000 4194304 4623224 140735976432000 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=503632 CPUtime=102.22 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 30302 0 0 0 10214 8 0 0 25 0 4 0 519939495 515719168 71894 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=503632 CPUtime=101.66 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 519243 0 0 0 10086 80 0 0 25 0 4 0 519939495 515719168 71894 33554432000 4194304 4623224 140735976432000 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 503632

[startup+162.3 s]
/proc/loadavg: 8.15 8.15 7.96 9/184 18283
/proc/meminfo: memFree=16727340/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=541328 CPUtime=648.05 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 987585 0 0 0 64638 167 0 0 25 0 4 0 519939488 554319872 93186 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 135332 93186 345 105 0 130836 0
[pid=18275/tid=18277] ppid=18273 vsize=541328 CPUtime=162.21 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 55086 0 0 0 16207 14 0 0 25 0 4 0 519939495 554319872 93186 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=541328 CPUtime=162.21 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 40990 0 0 0 16209 12 0 0 25 0 4 0 519939495 554319872 93186 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=541328 CPUtime=161.31 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 842023 0 0 0 15999 132 0 0 25 0 4 0 519939495 554319872 93186 33554432000 4194304 4623224 140735976432000 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.05
Current children cumulated vsize (KiB) 541328

[startup+222.301 s]
/proc/loadavg: 8.09 8.14 7.96 9/184 18285
/proc/meminfo: memFree=16592380/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=683856 CPUtime=887.71 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 1315356 0 0 0 88547 224 0 0 25 0 4 0 519939488 700268544 113564 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 170964 113564 345 105 0 166468 0
[pid=18275/tid=18277] ppid=18273 vsize=683856 CPUtime=222.21 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 63286 0 0 0 22204 17 0 0 25 0 4 0 519939495 700268544 113564 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376790 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=683856 CPUtime=222.21 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 45296 0 0 0 22207 14 0 0 25 0 4 0 519939495 700268544 113564 33554432000 4194304 4623224 140735976432000 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=683856 CPUtime=220.98 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 1149674 0 0 0 21915 183 0 0 25 0 4 0 519939495 700268544 113564 33554432000 4194304 4623224 140735976432000 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.71
Current children cumulated vsize (KiB) 683856

[startup+282.301 s]

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

[pid=18275] ppid=18273 vsize=1171408 CPUtime=2565.44 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 3979342 0 0 0 255887 657 0 0 25 0 4 0 519939488 1199521792 215153 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510472 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 292852 215153 430 105 0 288356 0
[pid=18275/tid=18277] ppid=18273 vsize=1171408 CPUtime=642.22 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 137950 0 0 0 64188 34 0 0 25 0 4 0 519939495 1199521792 215153 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376928 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1171408 CPUtime=642.23 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 71657 0 0 0 64194 29 0 0 25 0 4 0 519939495 1199521792 215153 33554432000 4194304 4623224 140735976432000 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1171408 CPUtime=638.67 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 3691404 0 0 0 63288 579 0 0 25 0 4 0 519939495 1199521792 215153 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.44
Current children cumulated vsize (KiB) 1171408

[startup+702.3 s]
/proc/loadavg: 7.85 8.04 7.99 9/184 18329
/proc/meminfo: memFree=16926588/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=1199384 CPUtime=2805.1 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 4394044 0 0 0 279789 721 0 0 25 0 4 0 519939488 1228169216 224105 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 299846 224105 431 105 0 295350 0
[pid=18275/tid=18277] ppid=18273 vsize=1199384 CPUtime=702.21 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 139999 0 0 0 70186 35 0 0 25 0 4 0 519939495 1228169216 224105 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1199384 CPUtime=702.21 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 72281 0 0 0 70192 29 0 0 25 0 4 0 519939495 1228169216 224105 33554432000 4194304 4623224 140735976432000 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1199384 CPUtime=698.34 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 4088088 0 0 0 69195 639 0 0 25 0 4 0 519939495 1228169216 224105 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376778 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.1
Current children cumulated vsize (KiB) 1199384

[startup+762.307 s]
/proc/loadavg: 8.01 8.04 7.99 9/184 18330
/proc/meminfo: memFree=16595440/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=1208452 CPUtime=3044.79 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 4810421 0 0 0 303698 781 0 0 25 0 4 0 519939488 1237454848 233191 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 302113 233191 428 105 0 297617 0
[pid=18275/tid=18277] ppid=18273 vsize=1208452 CPUtime=762.23 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 142959 0 0 0 76186 37 0 0 25 0 4 0 519939495 1237454848 233191 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1208452 CPUtime=762.22 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 73957 0 0 0 76192 30 0 0 25 0 4 0 519939495 1237454848 233191 33554432000 4194304 4623224 140735976432000 18446744073709551615 4377864 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1208452 CPUtime=758.01 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 4499497 0 0 0 75104 697 0 0 25 0 4 0 519939495 1237454848 233191 33554432000 4194304 4623224 140735976432000 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.79
Current children cumulated vsize (KiB) 1208452

[startup+822.301 s]
/proc/loadavg: 8.06 8.05 8.00 9/184 18332
/proc/meminfo: memFree=16497812/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=1277200 CPUtime=3284.44 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 5232373 0 0 0 327599 845 0 0 25 0 4 0 519939488 1307852800 245148 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 319300 245148 345 105 0 314804 0
[pid=18275/tid=18277] ppid=18273 vsize=1277200 CPUtime=822.21 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 180522 0 0 0 82180 41 0 0 25 0 4 0 519939495 1307852800 245148 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1277200 CPUtime=822.22 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 74968 0 0 0 82191 31 0 0 25 0 4 0 519939495 1307852800 245148 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1277200 CPUtime=817.67 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 4882373 0 0 0 81012 755 0 0 25 0 4 0 519939495 1307852800 245148 33554432000 4194304 4623224 140735976432000 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.44
Current children cumulated vsize (KiB) 1277200

[startup+882.301 s]
/proc/loadavg: 8.07 8.05 8.00 9/184 18334
/proc/meminfo: memFree=16388520/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=1411528 CPUtime=3524.1 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 5619188 0 0 0 351501 909 0 0 25 0 4 0 519939488 1445404672 256616 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 352882 256616 345 105 0 348386 0
[pid=18275/tid=18277] ppid=18273 vsize=1411528 CPUtime=882.22 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 184975 0 0 0 88176 46 0 0 25 0 4 0 519939495 1445404672 256616 33554432000 4194304 4623224 140735976432000 18446744073709551615 216634176545 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1411528 CPUtime=882.22 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 75574 0 0 0 88191 31 0 0 25 0 4 0 519939495 1445404672 256616 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1411528 CPUtime=877.34 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 5263294 0 0 0 86919 815 0 0 25 0 4 0 519939495 1445404672 256616 33554432000 4194304 4623224 140735976432000 18446744073709551615 4545943 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.1
Current children cumulated vsize (KiB) 1411528

[startup+942.301 s]
/proc/loadavg: 8.13 8.07 8.01 10/184 18335
/proc/meminfo: memFree=16264452/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=1411528 CPUtime=3763.78 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 6009756 0 0 0 375407 971 0 0 25 0 4 0 519939488 1445404672 267115 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 352882 267115 345 105 0 348386 0
[pid=18275/tid=18277] ppid=18273 vsize=1411528 CPUtime=942.22 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 188794 0 0 0 94173 49 0 0 25 0 4 0 519939495 1445404672 267115 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1411528 CPUtime=942.23 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 77567 0 0 0 94191 32 0 0 25 0 4 0 519939495 1445404672 267115 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1411528 CPUtime=937.01 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 5646866 0 0 0 92829 872 0 0 25 0 4 0 519939495 1445404672 267115 33554432000 4194304 4623224 140735976432000 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.78
Current children cumulated vsize (KiB) 1411528

[startup+1002.3 s]
/proc/loadavg: 8.13 8.08 8.01 9/184 18337
/proc/meminfo: memFree=16141512/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=1411528 CPUtime=4003.45 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 6410610 0 0 0 399310 1035 0 0 25 0 4 0 519939488 1445404672 278659 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 352882 278659 346 105 0 348386 0
[pid=18275/tid=18277] ppid=18273 vsize=1411528 CPUtime=1002.22 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 192908 0 0 0 100168 54 0 0 25 0 4 0 519939495 1445404672 278659 33554432000 4194304 4623224 140735976432000 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1411528 CPUtime=1002.23 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 79214 0 0 0 100188 35 0 0 25 0 4 0 519939495 1445404672 278659 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376862 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1411528 CPUtime=996.68 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 6040847 0 0 0 98739 929 0 0 25 0 4 0 519939495 1445404672 278659 33554432000 4194304 4623224 140735976432000 18446744073709551615 4354994 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.45
Current children cumulated vsize (KiB) 1411528

[startup+1062.3 s]
/proc/loadavg: 8.14 8.10 8.02 10/184 18338
/proc/meminfo: memFree=16082196/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=1440532 CPUtime=4243.12 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 6830829 0 0 0 423210 1102 0 0 25 0 4 0 519939488 1475104768 286108 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 360133 286108 345 105 0 355637 0
[pid=18275/tid=18277] ppid=18273 vsize=1440532 CPUtime=1062.22 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 202878 0 0 0 106164 58 0 0 25 0 4 0 519939495 1475104768 286108 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1440532 CPUtime=1062.23 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 79671 0 0 0 106188 35 0 0 25 0 4 0 519939495 1475104768 286108 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1440532 CPUtime=1056.35 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 6450235 0 0 0 104644 991 0 0 25 0 4 0 519939495 1475104768 286108 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.12
Current children cumulated vsize (KiB) 1440532

[startup+1122.3 s]
/proc/loadavg: 8.05 8.08 8.01 9/184 18340
/proc/meminfo: memFree=15990756/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=1571604 CPUtime=4482.79 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 7216111 0 0 0 447115 1164 0 0 25 0 4 0 519939488 1609322496 294227 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 392901 294227 345 105 0 388405 0
[pid=18275/tid=18277] ppid=18273 vsize=1571604 CPUtime=1122.22 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 204634 0 0 0 112163 59 0 0 25 0 4 0 519939495 1609322496 294227 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1571604 CPUtime=1122.23 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 82175 0 0 0 112185 38 0 0 25 0 4 0 519939495 1609322496 294227 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1571604 CPUtime=1116.02 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 6831216 0 0 0 110553 1049 0 0 25 0 4 0 519939495 1609322496 294227 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.79
Current children cumulated vsize (KiB) 1571604

[startup+1182.3 s]
/proc/loadavg: 8.06 8.08 8.01 9/184 18341
/proc/meminfo: memFree=15889900/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=1571604 CPUtime=4722.47 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 7612946 0 0 0 471020 1227 0 0 25 0 4 0 519939488 1609322496 300584 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 392901 300584 345 105 0 388405 0
[pid=18275/tid=18277] ppid=18273 vsize=1571604 CPUtime=1182.21 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 206155 0 0 0 118162 59 0 0 25 0 4 0 519939495 1609322496 300584 33554432000 4194304 4623224 140735976432000 18446744073709551615 4366439 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1571604 CPUtime=1182.23 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 83625 0 0 0 118182 41 0 0 25 0 4 0 519939495 1609322496 300584 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1571604 CPUtime=1175.7 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 7224611 0 0 0 116461 1109 0 0 25 0 4 0 519939495 1609322496 300584 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.47
Current children cumulated vsize (KiB) 1571604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.19 8.10 8.02 9/184 18342
/proc/meminfo: memFree=15858008/32951124 swapFree=67111528/67111528
[pid=18275] ppid=18273 vsize=1571604 CPUtime=4800.37 cores=0,2,4,6
/proc/18275/stat : 18275 (SArTagnan) R 18273 18275 18138 0 -1 4202496 7743703 0 0 0 478792 1245 0 0 25 0 4 0 519939488 1609322496 303374 33554432000 4194304 4623224 140735976432000 18446744073709551615 4510226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18275/statm: 392901 303374 345 105 0 388405 0
[pid=18275/tid=18277] ppid=18273 vsize=1571604 CPUtime=1201.71 cores=0,2,4,6
/proc/18275/task/18277/stat : 18277 (SArTagnan) R 18273 18275 18138 0 -1 4202560 206839 0 0 0 120111 60 0 0 25 0 4 0 519939495 1609322496 303374 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18275/tid=18278] ppid=18273 vsize=1571604 CPUtime=1201.74 cores=0,2,4,6
/proc/18275/task/18278/stat : 18278 (SArTagnan) R 18273 18275 18138 0 -1 4202560 83670 0 0 0 120133 41 0 0 25 0 4 0 519939495 1609322496 303374 33554432000 4194304 4623224 140735976432000 18446744073709551615 4366416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18275/tid=18279] ppid=18273 vsize=1571604 CPUtime=1195.09 cores=0,2,4,6
/proc/18275/task/18279/stat : 18279 (SArTagnan) R 18273 18275 18138 0 -1 4202560 7354442 0 0 0 118383 1126 0 0 25 0 4 0 519939495 1609322496 303374 33554432000 4194304 4623224 140735976432000 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 1571604

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.87
CPU time (s): 4800.46
CPU user time (s): 4787.95
CPU system time (s): 12.5091
CPU usage (%): 399.416
Max. virtual memory (cumulated for all children) (KiB): 1571604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4787.95
system time used= 12.5091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7743707
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= 3035
involuntary context switches= 32581

runsolver used 1.88471 second user time and 4.65829 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 15:22:49
IDJOB=3289589
IDBENCH=83127
IDSOLVER=1656
FILE ID=node103/3289589-1304083369
RUNJOBID= node103-1304082164-18156
PBS_JOBID= 13170539
Free space on /tmp= 71512 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-bottom18.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289589-1304083369/watcher-3289589-1304083369 -o /tmp/evaluation-result-3289589-1304083369/solver-3289589-1304083369 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3289589-1304083369.cnf -threads=4

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

MD5SUM BENCH= 9ece8f569c93ceee834817ef3350ed8e
RANDOM SEED=1588457916

node103.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.858
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.71
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.858
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.858
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.75
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.858
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.77
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.858
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.858
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.858
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.83
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.858
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:      17243152 kB
Buffers:       2148172 kB
Cached:       12252000 kB
SwapCached:          0 kB
Active:        6241656 kB
Inactive:      8883476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17243152 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2372 kB
Writeback:           0 kB
AnonPages:      723920 kB
Mapped:          15484 kB
Slab:           519412 kB
PageTables:       5924 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   986708 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= 71512 MiB
End job on node103 at 2011-04-29 15:42:53