Trace number 3289497

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.17 1201.77

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom14.cnf
MD5SUM7af4cc1b94644f101ccf5f2373fdbfea
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark321.647
Satisfiable
(Un)Satisfiability was proved
Number of variables22886
Number of clauses76038
Sum of the clauses size193162
Maximum clause length786
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 240006
Number of clauses of size 335619
Number of clauses of size 4104
Number of clauses of size 512
Number of clauses of size over 5296

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-3289497-1304083027/watcher-3289497-1304083027 -o /tmp/evaluation-result-3289497-1304083027/solver-3289497-1304083027 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3289497-1304083027.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.21 8.23 8.18 6/184 9170
/proc/meminfo: memFree=24900644/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=22412 CPUtime=0 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 905 0 0 0 0 0 0 0 25 0 1 0 519900849 22949888 842 33554432000 4194304 4623224 140734336116992 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/9170/statm: 5603 842 300 105 0 1107 0

[startup+0.0921099 s]
/proc/loadavg: 8.21 8.23 8.18 6/184 9170
/proc/meminfo: memFree=24900644/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=268604 CPUtime=0.22 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 6842 0 0 0 22 0 0 0 25 0 4 0 519900849 275050496 5599 33554432000 4194304 4623224 140734336116992 18446744073709551615 246516490197 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 67151 5600 334 105 0 62655 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 268604

[startup+0.101108 s]
/proc/loadavg: 8.21 8.23 8.18 6/184 9170
/proc/meminfo: memFree=24900644/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=268604 CPUtime=0.26 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 6907 0 0 0 26 0 0 0 25 0 4 0 519900849 275050496 5664 33554432000 4194304 4623224 140734336116992 18446744073709551615 4359576 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 67151 5664 334 105 0 62655 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 268604

[startup+0.301072 s]
/proc/loadavg: 8.21 8.23 8.18 6/184 9170
/proc/meminfo: memFree=24900644/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=270676 CPUtime=1.07 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 8291 0 0 0 106 1 0 0 25 0 4 0 519900849 277172224 6905 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 67669 6905 343 105 0 63173 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 270676

[startup+0.700998 s]
/proc/loadavg: 8.21 8.23 8.18 6/184 9170
/proc/meminfo: memFree=24900644/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=270676 CPUtime=2.66 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 9728 0 0 0 265 1 0 0 25 0 4 0 519900849 277172224 7663 33554432000 4194304 4623224 140734336116992 18446744073709551615 4507421 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 67669 7663 343 105 0 63173 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 270676

[startup+1.50085 s]
/proc/loadavg: 8.19 8.22 8.18 10/188 9174
/proc/meminfo: memFree=24859812/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=344588 CPUtime=5.85 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 49294 0 0 0 578 7 0 0 25 0 4 0 519900849 352858112 27969 33554432000 4194304 4623224 140734336116992 18446744073709551615 246516531802 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 86147 27992 343 105 0 81651 0
[pid=9170/tid=9172] ppid=9168 vsize=344588 CPUtime=1.44 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 8405 0 0 0 143 1 0 0 25 0 4 0 519900853 352858112 28003 33554432000 4194304 4623224 140734336116992 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=344588 CPUtime=1.43 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 6946 0 0 0 143 0 0 0 25 0 4 0 519900853 352858112 28020 33554432000 4194304 4623224 140734336116992 18446744073709551615 246516501466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=344588 CPUtime=1.45 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 10555 0 0 0 144 1 0 0 25 0 4 0 519900853 352858112 28034 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 344588

[startup+3.10056 s]
/proc/loadavg: 8.19 8.22 8.18 9/188 9174
/proc/meminfo: memFree=24773384/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=347288 CPUtime=12.23 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 66430 0 0 0 1214 9 0 0 25 0 4 0 519900849 355622912 27298 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510119 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 86822 27298 345 105 0 82326 0
[pid=9170/tid=9172] ppid=9168 vsize=347288 CPUtime=3.03 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 10846 0 0 0 302 1 0 0 25 0 4 0 519900853 355622912 27298 33554432000 4194304 4623224 140734336116992 18446744073709551615 4463039 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=347288 CPUtime=3.03 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 11116 0 0 0 302 1 0 0 25 0 4 0 519900853 355622912 27298 33554432000 4194304 4623224 140734336116992 18446744073709551615 4289632 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=347288 CPUtime=3.05 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 18045 0 0 0 303 2 0 0 25 0 4 0 519900853 355622912 27298 33554432000 4194304 4623224 140734336116992 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 347288

[startup+6.30097 s]
/proc/loadavg: 8.19 8.22 8.18 9/188 9174
/proc/meminfo: memFree=24758868/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=347288 CPUtime=25.02 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 84978 0 0 0 2490 12 0 0 25 0 4 0 519900849 355622912 28351 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510604 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 86822 28351 345 105 0 82326 0
[pid=9170/tid=9172] ppid=9168 vsize=347288 CPUtime=6.24 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 11014 0 0 0 623 1 0 0 25 0 4 0 519900853 355622912 28351 33554432000 4194304 4623224 140734336116992 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=347288 CPUtime=6.21 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 11336 0 0 0 620 1 0 0 25 0 4 0 519900853 355622912 28351 33554432000 4194304 4623224 140734336116992 18446744073709551615 4464760 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=347288 CPUtime=6.25 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 36114 0 0 0 621 4 0 0 25 0 4 0 519900853 355622912 28351 33554432000 4194304 4623224 140734336116992 18446744073709551615 4289984 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 347288

[startup+12.7008 s]
/proc/loadavg: 8.16 8.21 8.18 9/188 9174
/proc/meminfo: memFree=24736188/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=347288 CPUtime=50.58 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 129592 0 0 0 5039 19 0 0 25 0 4 0 519900849 355622912 30582 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 86822 30582 345 105 0 82326 0
[pid=9170/tid=9172] ppid=9168 vsize=347288 CPUtime=12.64 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 12043 0 0 0 1262 2 0 0 25 0 4 0 519900853 355622912 30582 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=347288 CPUtime=12.58 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 11889 0 0 0 1256 2 0 0 25 0 4 0 519900853 355622912 30582 33554432000 4194304 4623224 140734336116992 18446744073709551615 4463825 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=347288 CPUtime=12.64 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 79065 0 0 0 1254 10 0 0 25 0 4 0 519900853 355622912 30582 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 347288

[startup+25.5005 s]
/proc/loadavg: 8.22 8.22 8.18 9/188 9174
/proc/meminfo: memFree=24479912/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=362848 CPUtime=101.69 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 210165 0 0 0 10138 31 0 0 25 0 4 0 519900849 371556352 34874 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 90712 34874 345 105 0 86216 0
[pid=9170/tid=9172] ppid=9168 vsize=362848 CPUtime=25.44 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 16543 0 0 0 2540 4 0 0 25 0 4 0 519900853 371556352 34874 33554432000 4194304 4623224 140734336116992 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=362848 CPUtime=25.3 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 16196 0 0 0 2527 3 0 0 18 0 4 0 519900853 371556352 34874 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=362848 CPUtime=25.45 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 148747 0 0 0 2525 20 0 0 25 0 4 0 519900853 371556352 34874 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 362848

[startup+51.1008 s]
/proc/loadavg: 8.14 8.20 8.18 9/188 9175
/proc/meminfo: memFree=24427376/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=369576 CPUtime=203.95 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 324352 0 0 0 20341 54 0 0 25 0 4 0 519900849 378445824 45151 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510093 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 92394 45151 345 105 0 87898 0
[pid=9170/tid=9172] ppid=9168 vsize=369576 CPUtime=51.03 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 25642 0 0 0 5096 7 0 0 25 0 4 0 519900853 378445824 45151 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=369576 CPUtime=50.76 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 18184 0 0 0 5073 3 0 0 25 0 4 0 519900853 378445824 45151 33554432000 4194304 4623224 140734336116992 18446744073709551615 246516492717 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=369576 CPUtime=51.04 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 251473 0 0 0 5066 38 0 0 25 0 4 0 519900853 378445824 45151 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 369576

[startup+102.306 s]
/proc/loadavg: 8.21 8.20 8.18 9/188 9177
/proc/meminfo: memFree=24284256/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=408424 CPUtime=408.49 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 561233 0 0 0 40756 93 0 0 25 0 4 0 519900849 418226176 64736 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510217 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 102106 64736 364 105 0 97610 0
[pid=9170/tid=9172] ppid=9168 vsize=408424 CPUtime=102.24 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 40715 0 0 0 10212 12 0 0 25 0 4 0 519900853 418226176 64736 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376850 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=408424 CPUtime=101.68 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 24935 0 0 0 10163 5 0 0 25 0 4 0 519900853 418226176 64736 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=408424 CPUtime=102.25 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 462215 0 0 0 10154 71 0 0 25 0 4 0 519900853 418226176 64736 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376901 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.49
Current children cumulated vsize (KiB) 408424

[startup+162.3 s]
/proc/loadavg: 8.19 8.19 8.17 10/188 9178
/proc/meminfo: memFree=24141740/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=547272 CPUtime=648.13 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 824164 0 0 0 64675 138 0 0 25 0 4 0 519900849 560406528 83326 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 136818 83326 374 105 0 132322 0
[pid=9170/tid=9172] ppid=9168 vsize=547272 CPUtime=162.23 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 56241 0 0 0 16208 15 0 0 25 0 4 0 519900853 560406528 83326 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=547272 CPUtime=161.35 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 26763 0 0 0 16129 6 0 0 25 0 4 0 519900853 560406528 83326 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=547272 CPUtime=162.23 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 701693 0 0 0 16113 110 0 0 25 0 4 0 519900853 560406528 83327 33554432000 4194304 4623224 140734336116992 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 648.13
Current children cumulated vsize (KiB) 547272

[startup+222.3 s]
/proc/loadavg: 8.20 8.19 8.17 9/188 9180
/proc/meminfo: memFree=24104988/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=603072 CPUtime=887.8 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 1021315 0 0 0 88609 171 0 0 25 0 4 0 519900849 617545728 92166 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 150768 92166 365 105 0 146272 0
[pid=9170/tid=9172] ppid=9168 vsize=603072 CPUtime=222.23 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 60447 0 0 0 22207 16 0 0 25 0 4 0 519900853 617545728 92166 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=603072 CPUtime=221.03 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 34622 0 0 0 22095 8 0 0 25 0 4 0 519900853 617545728 92166 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=603072 CPUtime=222.23 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 876324 0 0 0 22084 139 0 0 25 0 4 0 519900853 617545728 92166 33554432000 4194304 4623224 140734336116992 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 887.8
Current children cumulated vsize (KiB) 603072

[startup+282.3 s]

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

[pid=9170] ppid=9168 vsize=1039204 CPUtime=2805.15 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 2561415 0 0 0 280085 430 0 0 25 0 4 0 519900849 1064144896 192324 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 259801 192324 345 105 0 255305 0
[pid=9170/tid=9172] ppid=9168 vsize=1039204 CPUtime=702.23 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 133833 0 0 0 70185 38 0 0 25 0 4 0 519900853 1064144896 192324 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1039204 CPUtime=698.42 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 49849 0 0 0 69828 14 0 0 25 0 4 0 519900853 1064144896 192324 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1039204 CPUtime=702.2 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 2264826 0 0 0 69859 361 0 0 25 0 4 0 519900853 1064144896 192324 33554432000 4194304 4623224 140734336116992 18446744073709551615 4366446 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.15
Current children cumulated vsize (KiB) 1039204

[startup+762.307 s]
/proc/loadavg: 5.99 7.59 7.97 5/179 9211
/proc/meminfo: memFree=24220804/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=1101724 CPUtime=3044.85 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 3014290 0 0 0 303985 500 0 0 25 0 4 0 519900849 1128165376 202706 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 275431 202706 345 105 0 270935 0
[pid=9170/tid=9172] ppid=9168 vsize=1101724 CPUtime=762.23 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 170779 0 0 0 76178 45 0 0 25 0 4 0 519900853 1128165376 202706 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1101724 CPUtime=758.09 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 50550 0 0 0 75795 14 0 0 25 0 4 0 519900853 1128165376 202706 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1101724 CPUtime=762.21 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 2678251 0 0 0 75799 422 0 0 25 0 4 0 519900853 1128165376 202706 33554432000 4194304 4623224 140734336116992 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3044.85
Current children cumulated vsize (KiB) 1101724

[startup+822.301 s]
/proc/loadavg: 4.88 6.99 7.74 5/179 9213
/proc/meminfo: memFree=24175900/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=1119224 CPUtime=3284.5 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 3314702 0 0 0 327898 552 0 0 25 0 4 0 519900849 1146085376 214764 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510475 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 279806 214764 349 105 0 275310 0
[pid=9170/tid=9172] ppid=9168 vsize=1119224 CPUtime=822.23 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 172932 0 0 0 82176 47 0 0 25 0 4 0 519900853 1146085376 214764 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1119224 CPUtime=817.77 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 51585 0 0 0 81762 15 0 0 25 0 4 0 519900853 1146085376 214764 33554432000 4194304 4623224 140734336116992 18446744073709551615 4377670 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1119224 CPUtime=822.2 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 2968937 0 0 0 81751 469 0 0 25 0 4 0 519900853 1146085376 214764 33554432000 4194304 4623224 140734336116992 18446744073709551615 4366369 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.5
Current children cumulated vsize (KiB) 1119224

[startup+882.301 s]
/proc/loadavg: 4.32 6.44 7.50 5/179 9214
/proc/meminfo: memFree=24130996/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=1173384 CPUtime=3524.16 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 3375378 0 0 0 351854 562 0 0 25 0 4 0 519900849 1201545216 225386 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 293346 225386 345 105 0 288850 0
[pid=9170/tid=9172] ppid=9168 vsize=1173384 CPUtime=882.23 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 176685 0 0 0 88175 48 0 0 25 0 4 0 519900853 1201545216 225386 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1173384 CPUtime=877.44 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 51789 0 0 0 87729 15 0 0 25 0 4 0 519900853 1201545216 225386 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1173384 CPUtime=882.19 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 3005333 0 0 0 87745 474 0 0 25 0 4 0 519900853 1201545216 225386 33554432000 4194304 4623224 140734336116992 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.16
Current children cumulated vsize (KiB) 1173384

[startup+942.301 s]
/proc/loadavg: 4.30 6.05 7.30 5/179 9216
/proc/meminfo: memFree=24102220/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=1215936 CPUtime=3763.85 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 3786948 0 0 0 375758 627 0 0 25 0 4 0 519900849 1245118464 233395 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 303984 233395 349 105 0 299488 0
[pid=9170/tid=9172] ppid=9168 vsize=1215936 CPUtime=942.23 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 177370 0 0 0 94174 49 0 0 25 0 4 0 519900853 1245118464 233395 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1215936 CPUtime=937.12 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 51942 0 0 0 93697 15 0 0 25 0 4 0 519900853 1245118464 233395 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1215936 CPUtime=942.18 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 3390364 0 0 0 93685 533 0 0 25 0 4 0 519900853 1245118464 233395 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3763.85
Current children cumulated vsize (KiB) 1215936

[startup+1002.3 s]
/proc/loadavg: 4.11 5.68 7.09 5/179 9217
/proc/meminfo: memFree=24076176/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=1215936 CPUtime=4003.52 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 4190148 0 0 0 399658 694 0 0 25 0 4 0 519900849 1245118464 238373 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 303984 238373 345 105 0 299488 0
[pid=9170/tid=9172] ppid=9168 vsize=1215936 CPUtime=1002.23 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 178525 0 0 0 100174 49 0 0 25 0 4 0 519900853 1245118464 238373 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1215936 CPUtime=996.79 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 52124 0 0 0 99664 15 0 0 25 0 4 0 519900853 1245118464 238373 33554432000 4194304 4623224 140734336116992 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1215936 CPUtime=1002.19 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 3789763 0 0 0 99619 600 0 0 25 0 4 0 519900853 1245118464 238373 33554432000 4194304 4623224 140734336116992 18446744073709551615 4545997 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.52
Current children cumulated vsize (KiB) 1215936

[startup+1062.3 s]
/proc/loadavg: 4.22 5.43 6.91 5/179 9219
/proc/meminfo: memFree=24023716/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=1351072 CPUtime=4243.21 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 4568696 0 0 0 423558 763 0 0 25 0 4 0 519900849 1383497728 252703 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 337768 252703 351 105 0 333272 0
[pid=9170/tid=9172] ppid=9168 vsize=1351072 CPUtime=1062.23 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 181652 0 0 0 106173 50 0 0 25 0 4 0 519900853 1383497728 252703 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1351072 CPUtime=1056.47 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 53095 0 0 0 105631 16 0 0 25 0 4 0 519900853 1383497728 252703 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1351072 CPUtime=1062.18 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 4158462 0 0 0 105560 658 0 0 25 0 4 0 519900853 1383497728 252703 33554432000 4194304 4623224 140734336116992 18446744073709551615 4366443 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.21
Current children cumulated vsize (KiB) 1351072

[startup+1122.3 s]
/proc/loadavg: 4.14 5.18 6.73 5/179 9221
/proc/meminfo: memFree=23993088/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=1355536 CPUtime=4482.88 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 4793227 0 0 0 447489 799 0 0 25 0 4 0 519900849 1388068864 258512 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510285 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 338884 258514 345 105 0 334388 0
[pid=9170/tid=9172] ppid=9168 vsize=1355536 CPUtime=1122.23 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 182737 0 0 0 112173 50 0 0 25 0 4 0 519900853 1388068864 258514 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1355536 CPUtime=1116.16 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 54604 0 0 0 111597 19 0 0 25 0 4 0 519900853 1388068864 258514 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1355536 CPUtime=1122.18 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 4377847 0 0 0 111527 691 0 0 25 0 4 0 519900853 1388068864 258514 33554432000 4194304 4623224 140734336116992 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4482.88
Current children cumulated vsize (KiB) 1355536

[startup+1182.3 s]
/proc/loadavg: 4.23 5.01 6.58 5/179 9222
/proc/meminfo: memFree=23974364/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=1355536 CPUtime=4722.57 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 5180688 0 0 0 471387 870 0 0 25 0 4 0 519900849 1388068864 264339 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510302 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 338884 264340 345 105 0 334388 0
[pid=9170/tid=9172] ppid=9168 vsize=1355536 CPUtime=1182.24 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 184153 0 0 0 118173 51 0 0 25 0 4 0 519900853 1388068864 264341 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1355536 CPUtime=1175.84 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 56025 0 0 0 117560 24 0 0 25 0 4 0 519900853 1388068864 264341 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1355536 CPUtime=1182.18 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 4760000 0 0 0 117463 755 0 0 25 0 4 0 519900853 1388068864 264341 33554432000 4194304 4623224 140734336116992 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.57
Current children cumulated vsize (KiB) 1355536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.16 4.94 6.52 5/179 9223
/proc/meminfo: memFree=23966300/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=1355536 CPUtime=4800.09 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 5303773 0 0 0 479119 890 0 0 25 0 4 0 519900849 1388068864 266666 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 338884 266666 351 105 0 334388 0
[pid=9170/tid=9172] ppid=9168 vsize=1355536 CPUtime=1201.65 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 184172 0 0 0 120114 51 0 0 25 0 4 0 519900853 1388068864 266666 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1355536 CPUtime=1195.13 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 56430 0 0 0 119487 26 0 0 25 0 4 0 519900853 1388068864 266666 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1355536 CPUtime=1201.59 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 4881980 0 0 0 119386 773 0 0 25 0 4 0 519900853 1388068864 266666 33554432000 4194304 4623224 140734336116992 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 1355536

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

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

[startup+1201.7 s]
/proc/loadavg: 4.16 4.94 6.52 5/179 9223
/proc/meminfo: memFree=23966300/32951124 swapFree=67111352/67111528
[pid=9170] ppid=9168 vsize=1355536 CPUtime=4800.09 cores=0,2,4,6
/proc/9170/stat : 9170 (SArTagnan) R 9168 9170 8802 0 -1 4202496 5303773 0 0 0 479119 890 0 0 25 0 4 0 519900849 1388068864 266666 33554432000 4194304 4623224 140734336116992 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9170/statm: 338884 266666 351 105 0 334388 0
[pid=9170/tid=9172] ppid=9168 vsize=1355536 CPUtime=1201.65 cores=0,2,4,6
/proc/9170/task/9172/stat : 9172 (SArTagnan) R 9168 9170 8802 0 -1 4202560 184172 0 0 0 120114 51 0 0 25 0 4 0 519900853 1388068864 266666 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9170/tid=9173] ppid=9168 vsize=1355536 CPUtime=1195.13 cores=0,2,4,6
/proc/9170/task/9173/stat : 9173 (SArTagnan) R 9168 9170 8802 0 -1 4202560 56430 0 0 0 119487 26 0 0 25 0 4 0 519900853 1388068864 266666 33554432000 4194304 4623224 140734336116992 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9170/tid=9174] ppid=9168 vsize=1355536 CPUtime=1201.59 cores=0,2,4,6
/proc/9170/task/9174/stat : 9174 (SArTagnan) R 9168 9170 8802 0 -1 4202560 4881980 0 0 0 119386 773 0 0 25 0 4 0 519900853 1388068864 266666 33554432000 4194304 4623224 140734336116992 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 1355536

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.77
CPU time (s): 4800.17
CPU user time (s): 4791.22
CPU system time (s): 8.95764
CPU usage (%): 399.426
Max. virtual memory (cumulated for all children) (KiB): 1355536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.22
system time used= 8.95764
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5303773
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= 4022
involuntary context switches= 69387

runsolver used 1.9517 second user time and 4.5843 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 15:17:07
IDJOB=3289497
IDBENCH=83125
IDSOLVER=1656
FILE ID=node134/3289497-1304083027
RUNJOBID= node134-1304080396-8820
PBS_JOBID= 13170534
Free space on /tmp= 71580 MiB

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

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

MD5SUM BENCH= 7af4cc1b94644f101ccf5f2373fdbfea
RANDOM SEED=1289342469

node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.83
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24900924 kB
Buffers:       1487164 kB
Cached:        5850004 kB
SwapCached:         64 kB
Active:        1582548 kB
Inactive:      5946444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24900924 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            6924 kB
Writeback:           0 kB
AnonPages:      191488 kB
Mapped:          15620 kB
Slab:           459248 kB
PageTables:       5156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   386884 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71584 MiB
End job on node134 at 2011-04-29 15:37:10