Trace number 3289175

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

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top24.cnf
MD5SUM1f485d737caaaca49e2c467c83cbdcec
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark520.047
Satisfiable
(Un)Satisfiability was proved
Number of variables65983
Number of clauses209942
Sum of the clauses size513194
Maximum clause length2578
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2127592
Number of clauses of size 380970
Number of clauses of size 4299
Number of clauses of size 522
Number of clauses of size over 51058

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-3289175-1304082165/watcher-3289175-1304082165 -o /tmp/evaluation-result-3289175-1304082165/solver-3289175-1304082165 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3289175-1304082165.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: 6.07 7.59 7.42 5/180 18179
/proc/meminfo: memFree=17885960/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=28840 CPUtime=0 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 1595 0 0 0 0 0 0 0 24 0 1 0 519819088 29532160 1533 33554432000 4194304 4623224 140734717508288 18446744073709551615 216634515200 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18179/statm: 7210 1533 296 105 0 2714 0

[startup+0.038228 s]
/proc/loadavg: 6.07 7.59 7.42 5/180 18179
/proc/meminfo: memFree=17885960/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=32468 CPUtime=0.03 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 3549 0 0 0 3 0 0 0 24 0 1 0 519819088 33247232 2494 33554432000 4194304 4623224 140734717508288 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18179/statm: 8117 2495 301 105 0 3621 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 32468

[startup+0.100225 s]
/proc/loadavg: 6.07 7.59 7.42 5/180 18179
/proc/meminfo: memFree=17885960/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=66188 CPUtime=0.09 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 12815 0 0 0 8 1 0 0 24 0 1 0 519819088 67776512 9792 33554432000 4194304 4623224 140734717508288 18446744073709551615 4299041 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/18179/statm: 16547 9818 303 105 0 12051 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 66188

[startup+0.300118 s]
/proc/loadavg: 6.07 7.59 7.42 5/180 18179
/proc/meminfo: memFree=17885960/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=305012 CPUtime=0.88 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 18464 0 0 0 86 2 0 0 25 0 4 0 519819088 312332288 13006 33554432000 4194304 4623224 140734717508288 18446744073709551615 4412457 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 76253 13006 335 105 0 71757 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 305012

[startup+0.701049 s]
/proc/loadavg: 6.07 7.59 7.42 5/180 18179
/proc/meminfo: memFree=17885960/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=307528 CPUtime=2.48 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 21463 0 0 0 246 2 0 0 25 0 4 0 519819088 314908672 14530 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 76882 14530 343 105 0 72386 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 307528

[startup+1.50091 s]
/proc/loadavg: 6.07 7.59 7.42 9/184 18183
/proc/meminfo: memFree=17814512/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=311864 CPUtime=5.67 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 27793 0 0 0 564 3 0 0 25 0 4 0 519819088 319348736 15882 33554432000 4194304 4623224 140734717508288 18446744073709551615 4412527 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 77966 15883 343 105 0 73470 0
[pid=18179/tid=18181] ppid=18177 vsize=311864 CPUtime=1.39 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 2160 0 0 0 139 0 0 0 19 0 4 0 519819098 319348736 15883 33554432000 4194304 4623224 140734717508288 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=311864 CPUtime=1.39 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 2087 0 0 0 139 0 0 0 25 0 4 0 519819098 319348736 15884 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=311864 CPUtime=1.38 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 7571 0 0 0 138 0 0 0 25 0 4 0 519819098 319348736 15885 33554432000 4194304 4623224 140734717508288 18446744073709551615 4545403 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 311864

[startup+3.10063 s]
/proc/loadavg: 6.23 7.59 7.43 9/184 18183
/proc/meminfo: memFree=17747924/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=311864 CPUtime=12.07 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 32678 0 0 0 1203 4 0 0 25 0 4 0 519819088 319348736 16849 33554432000 4194304 4623224 140734717508288 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 77966 16849 343 105 0 73470 0
[pid=18179/tid=18181] ppid=18177 vsize=311864 CPUtime=2.99 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 2293 0 0 0 299 0 0 0 24 0 4 0 519819098 319348736 16849 33554432000 4194304 4623224 140734717508288 18446744073709551615 4460999 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=311864 CPUtime=2.99 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 2256 0 0 0 299 0 0 0 25 0 4 0 519819098 319348736 16849 33554432000 4194304 4623224 140734717508288 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=311864 CPUtime=2.98 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 12050 0 0 0 297 1 0 0 25 0 4 0 519819098 319348736 16849 33554432000 4194304 4623224 140734717508288 18446744073709551615 47678846001114 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.07
Current children cumulated vsize (KiB) 311864

[startup+6.30106 s]
/proc/loadavg: 6.23 7.59 7.43 9/184 18183
/proc/meminfo: memFree=17733920/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=316736 CPUtime=24.85 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 45506 0 0 0 2479 6 0 0 25 0 4 0 519819088 324337664 18049 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 79184 18049 343 105 0 74688 0
[pid=18179/tid=18181] ppid=18177 vsize=316736 CPUtime=6.18 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 3511 0 0 0 618 0 0 0 25 0 4 0 519819098 324337664 18049 33554432000 4194304 4623224 140734717508288 18446744073709551615 4289875 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=316736 CPUtime=6.19 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 3217 0 0 0 619 0 0 0 25 0 4 0 519819098 324337664 18049 33554432000 4194304 4623224 140734717508288 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=316736 CPUtime=6.15 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 21758 0 0 0 613 2 0 0 25 0 4 0 519819098 324337664 18049 33554432000 4194304 4623224 140734717508288 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.85
Current children cumulated vsize (KiB) 316736

[startup+12.7009 s]
/proc/loadavg: 6.50 7.61 7.43 9/184 18183
/proc/meminfo: memFree=17697332/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=330792 CPUtime=50.41 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 70720 0 0 0 5030 11 0 0 25 0 4 0 519819088 338731008 24005 33554432000 4194304 4623224 140734717508288 18446744073709551615 4412617 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 82698 24005 343 105 0 78202 0
[pid=18179/tid=18181] ppid=18177 vsize=330792 CPUtime=12.59 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 6733 0 0 0 1258 1 0 0 25 0 4 0 519819098 338731008 24005 33554432000 4194304 4623224 140734717508288 18446744073709551615 4366381 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=330792 CPUtime=12.59 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 6430 0 0 0 1258 1 0 0 25 0 4 0 519819098 338731008 24005 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=330792 CPUtime=12.52 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 37989 0 0 0 1247 5 0 0 25 0 4 0 519819098 338731008 24005 33554432000 4194304 4623224 140734717508288 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 330792

[startup+25.5007 s]
/proc/loadavg: 6.73 7.62 7.44 9/184 18184
/proc/meminfo: memFree=17493492/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=461568 CPUtime=101.51 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 169560 0 0 0 10123 28 0 0 25 0 4 0 519819088 472645632 71107 33554432000 4194304 4623224 140734717508288 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 115392 71107 361 105 0 110896 0
[pid=18179/tid=18181] ppid=18177 vsize=461568 CPUtime=25.38 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 27936 0 0 0 2534 4 0 0 25 0 4 0 519819098 472645632 71107 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376946 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=461568 CPUtime=25.38 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 19624 0 0 0 2535 3 0 0 25 0 4 0 519819098 472645632 71107 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=461568 CPUtime=25.24 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 60560 0 0 0 2515 9 0 0 25 0 4 0 519819098 472645632 71107 33554432000 4194304 4623224 140734717508288 18446744073709551615 4363945 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 461568

[startup+51.1012 s]
/proc/loadavg: 7.24 7.66 7.46 10/185 18187
/proc/meminfo: memFree=17450820/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=486284 CPUtime=203.78 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 178947 0 0 0 20347 31 0 0 25 0 4 0 519819088 497954816 74408 33554432000 4194304 4623224 140734717508288 18446744073709551615 4507171 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 121571 74408 348 105 0 117075 0
[pid=18179/tid=18181] ppid=18177 vsize=486284 CPUtime=50.98 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 30503 0 0 0 5093 5 0 0 25 0 4 0 519819098 497954816 74408 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=486284 CPUtime=50.97 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 25598 0 0 0 5093 4 0 0 25 0 4 0 519819098 497954816 74408 33554432000 4194304 4623224 140734717508288 18446744073709551615 4377410 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=486284 CPUtime=50.7 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 60571 0 0 0 5061 9 0 0 25 0 4 0 519819098 497954816 74408 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 486284

[startup+102.306 s]
/proc/loadavg: 7.93 7.79 7.51 9/184 18189
/proc/meminfo: memFree=17316328/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=509804 CPUtime=408.27 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 303719 0 0 0 40773 54 0 0 25 0 4 0 519819088 522039296 89683 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510627 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 127451 89683 344 105 0 122955 0
[pid=18179/tid=18181] ppid=18177 vsize=509804 CPUtime=102.17 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 44371 0 0 0 10208 9 0 0 25 0 4 0 519819098 522039296 89683 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=509804 CPUtime=102.18 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 28208 0 0 0 10212 6 0 0 25 0 4 0 519819098 522039296 89683 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=509804 CPUtime=101.62 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 166817 0 0 0 10135 27 0 0 25 0 4 0 519819098 522039296 89683 33554432000 4194304 4623224 140734717508288 18446744073709551615 4577483 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 509804

[startup+162.301 s]
/proc/loadavg: 8.05 7.84 7.55 9/184 18190
/proc/meminfo: memFree=17185356/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=613612 CPUtime=647.91 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 586364 0 0 0 64687 104 0 0 25 0 4 0 519819088 628338688 101076 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 153403 101076 344 105 0 148907 0
[pid=18179/tid=18181] ppid=18177 vsize=613612 CPUtime=162.15 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 60525 0 0 0 16200 15 0 0 25 0 4 0 519819098 628338688 101076 33554432000 4194304 4623224 140734717508288 18446744073709551615 4377466 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=613612 CPUtime=162.17 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 28741 0 0 0 16211 6 0 0 25 0 4 0 519819098 628338688 101076 33554432000 4194304 4623224 140734717508288 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=613612 CPUtime=161.28 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 432670 0 0 0 16058 70 0 0 25 0 4 0 519819098 628338688 101076 33554432000 4194304 4623224 140734717508288 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 647.91
Current children cumulated vsize (KiB) 613612

[startup+222.301 s]
/proc/loadavg: 8.08 7.89 7.58 9/184 18192
/proc/meminfo: memFree=17055244/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=703036 CPUtime=887.57 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 938054 0 0 0 88596 161 0 0 25 0 4 0 519819088 719908864 111064 33554432000 4194304 4623224 140734717508288 18446744073709551615 4507356 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 175759 111064 345 105 0 171263 0
[pid=18179/tid=18181] ppid=18177 vsize=703036 CPUtime=222.15 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 64678 0 0 0 22198 17 0 0 25 0 4 0 519819098 719908864 111064 33554432000 4194304 4623224 140734717508288 18446744073709551615 4357533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=703036 CPUtime=222.17 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 37943 0 0 0 22208 9 0 0 25 0 4 0 519819098 719908864 111064 33554432000 4194304 4623224 140734717508288 18446744073709551615 4462984 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=703036 CPUtime=220.95 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 770694 0 0 0 21973 122 0 0 25 0 4 0 519819098 719908864 111064 33554432000 4194304 4623224 140734717508288 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.57
Current children cumulated vsize (KiB) 703036

[startup+282.301 s]

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

[pid=18179] ppid=18177 vsize=1098340 CPUtime=2565.31 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 2942668 0 0 0 256040 491 0 0 25 0 4 0 519819088 1124700160 202494 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 274585 202494 422 105 0 270089 0
[pid=18179/tid=18181] ppid=18177 vsize=1098340 CPUtime=642.16 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 124077 0 0 0 64183 33 0 0 25 0 4 0 519819098 1124700160 202494 33554432000 4194304 4623224 140734717508288 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1098340 CPUtime=642.17 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 70531 0 0 0 64190 27 0 0 25 0 4 0 519819098 1124700160 202494 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1098340 CPUtime=638.67 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 2657136 0 0 0 63454 413 0 0 25 0 4 0 519819098 1124700160 202494 33554432000 4194304 4623224 140734717508288 18446744073709551615 4545872 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.31
Current children cumulated vsize (KiB) 1098340

[startup+702.301 s]
/proc/loadavg: 8.07 8.06 7.78 9/184 18235
/proc/meminfo: memFree=16981500/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=1169600 CPUtime=2804.96 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 3289336 0 0 0 279953 543 0 0 25 0 4 0 519819088 1197670400 210041 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 292400 210041 345 105 0 287904 0
[pid=18179/tid=18181] ppid=18177 vsize=1169600 CPUtime=702.15 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 125509 0 0 0 70182 33 0 0 25 0 4 0 519819098 1197670400 210041 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1169600 CPUtime=702.17 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 71827 0 0 0 70189 28 0 0 25 0 4 0 519819098 1197670400 210041 33554432000 4194304 4623224 140734717508288 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1169600 CPUtime=698.34 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 3000656 0 0 0 69370 464 0 0 25 0 4 0 519819098 1197670400 210041 33554432000 4194304 4623224 140734717508288 18446744073709551615 4545527 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2804.96
Current children cumulated vsize (KiB) 1169600

[startup+762.307 s]
/proc/loadavg: 8.14 8.08 7.80 10/184 18236
/proc/meminfo: memFree=16661424/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=1180132 CPUtime=3044.68 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 3453549 0 0 0 303896 572 0 0 25 0 4 0 519819088 1208455168 220816 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 295033 220816 345 105 0 290537 0
[pid=18179/tid=18181] ppid=18177 vsize=1180132 CPUtime=762.16 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 128910 0 0 0 76181 35 0 0 25 0 4 0 519819098 1208455168 220816 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1180132 CPUtime=762.18 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 73139 0 0 0 76189 29 0 0 25 0 4 0 519819098 1208455168 220816 33554432000 4194304 4623224 140734717508288 18446744073709551615 4330860 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1180132 CPUtime=758.02 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 3159830 0 0 0 75313 489 0 0 25 0 4 0 519819098 1208455168 220816 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.68
Current children cumulated vsize (KiB) 1180132

[startup+822.3 s]
/proc/loadavg: 8.08 8.07 7.82 10/184 18238
/proc/meminfo: memFree=16545324/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=1217160 CPUtime=3284.32 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 3528421 0 0 0 327840 592 0 0 25 0 4 0 519819088 1246371840 234002 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 304290 234002 345 105 0 299794 0
[pid=18179/tid=18181] ppid=18177 vsize=1217160 CPUtime=822.15 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 137033 0 0 0 82178 37 0 0 25 0 4 0 519819098 1246371840 234002 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1217160 CPUtime=822.17 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 77259 0 0 0 82182 35 0 0 25 0 4 0 519819098 1246371840 234002 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376904 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1217160 CPUtime=817.68 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 3221396 0 0 0 81268 500 0 0 25 0 4 0 519819098 1246371840 234003 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.32
Current children cumulated vsize (KiB) 1217160

[startup+882.301 s]
/proc/loadavg: 8.25 8.12 7.85 10/184 18239
/proc/meminfo: memFree=16471616/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=1227424 CPUtime=3523.99 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 3776668 0 0 0 351767 632 0 0 25 0 4 0 519819088 1256882176 241803 33554432000 4194304 4623224 140734717508288 18446744073709551615 4511128 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 306856 241803 345 105 0 302360 0
[pid=18179/tid=18181] ppid=18177 vsize=1227424 CPUtime=882.16 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 138311 0 0 0 88178 38 0 0 25 0 4 0 519819098 1256882176 241803 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376993 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1227424 CPUtime=882.18 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 77645 0 0 0 88182 36 0 0 25 0 4 0 519819098 1256882176 241803 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376837 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1227424 CPUtime=877.35 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 3466783 0 0 0 87196 539 0 0 25 0 4 0 519819098 1256882176 241803 33554432000 4194304 4623224 140734717508288 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3523.99
Current children cumulated vsize (KiB) 1227424

[startup+942.3 s]
/proc/loadavg: 8.24 8.13 7.86 9/184 18241
/proc/meminfo: memFree=16412672/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=1233364 CPUtime=3763.68 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 4183730 0 0 0 375678 690 0 0 25 0 4 0 519819088 1262964736 251765 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 308341 251765 345 105 0 303845 0
[pid=18179/tid=18181] ppid=18177 vsize=1233364 CPUtime=942.16 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 140830 0 0 0 94177 39 0 0 25 0 4 0 519819098 1262964736 251765 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1233364 CPUtime=942.18 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 78892 0 0 0 94182 36 0 0 25 0 4 0 519819098 1262964736 251765 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1233364 CPUtime=937.04 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 3868516 0 0 0 93109 595 0 0 25 0 4 0 519819098 1262964736 251765 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.68
Current children cumulated vsize (KiB) 1233364

[startup+1002.3 s]
/proc/loadavg: 8.22 8.13 7.88 9/184 18243
/proc/meminfo: memFree=16376160/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=1236620 CPUtime=4003.36 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 4581110 0 0 0 399584 752 0 0 25 0 4 0 519819088 1266298880 259793 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 309155 259793 345 105 0 304659 0
[pid=18179/tid=18181] ppid=18177 vsize=1236620 CPUtime=1002.16 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 144001 0 0 0 100175 41 0 0 25 0 4 0 519819098 1266298880 259793 33554432000 4194304 4623224 140734717508288 18446744073709551615 4377034 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1236620 CPUtime=1002.18 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 80261 0 0 0 100181 37 0 0 25 0 4 0 519819098 1266298880 259793 33554432000 4194304 4623224 140734717508288 18446744073709551615 4289772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1236620 CPUtime=996.71 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 4260799 0 0 0 99017 654 0 0 25 0 4 0 519819098 1266298880 259793 33554432000 4194304 4623224 140734717508288 18446744073709551615 4545260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.36
Current children cumulated vsize (KiB) 1236620

[startup+1062.3 s]
/proc/loadavg: 8.20 8.14 7.89 10/184 18244
/proc/meminfo: memFree=16288312/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=1329480 CPUtime=4243.04 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 5028852 0 0 0 423483 821 0 0 25 0 4 0 519819088 1361387520 273923 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510116 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 332370 273923 347 105 0 327874 0
[pid=18179/tid=18181] ppid=18177 vsize=1329480 CPUtime=1062.16 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 181907 0 0 0 106170 46 0 0 25 0 4 0 519819098 1361387520 273923 33554432000 4194304 4623224 140734717508288 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1329480 CPUtime=1062.18 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 82060 0 0 0 106180 38 0 0 25 0 4 0 519819098 1361387520 273923 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1329480 CPUtime=1056.38 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 4654317 0 0 0 104924 714 0 0 25 0 4 0 519819098 1361387520 273923 33554432000 4194304 4623224 140734717508288 18446744073709551615 4364669 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.04
Current children cumulated vsize (KiB) 1329480

[startup+1122.3 s]
/proc/loadavg: 8.26 8.16 7.91 10/184 18246
/proc/meminfo: memFree=16157316/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=1413748 CPUtime=4482.71 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 5193304 0 0 0 447422 849 0 0 25 0 4 0 519819088 1447677952 293067 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 353437 293067 717 105 0 348941 0
[pid=18179/tid=18181] ppid=18177 vsize=1413748 CPUtime=1122.16 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 184593 0 0 0 112168 48 0 0 25 0 4 0 519819098 1447677952 293067 33554432000 4194304 4623224 140734717508288 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1413748 CPUtime=1122.18 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 99499 0 0 0 112176 42 0 0 25 0 4 0 519819098 1447677952 293067 33554432000 4194304 4623224 140734717508288 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1413748 CPUtime=1116.06 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 4789615 0 0 0 110871 735 0 0 25 0 4 0 519819098 1447677952 293067 33554432000 4194304 4623224 140734717508288 18446744073709551615 4577438 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.71
Current children cumulated vsize (KiB) 1413748

[startup+1182.3 s]
/proc/loadavg: 8.21 8.16 7.93 10/184 18247
/proc/meminfo: memFree=16043312/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=1548916 CPUtime=4722.39 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 5583302 0 0 0 471327 912 0 0 25 0 4 0 519819088 1586089984 306232 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 387229 306232 718 105 0 382733 0
[pid=18179/tid=18181] ppid=18177 vsize=1548916 CPUtime=1182.17 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 185672 0 0 0 118167 50 0 0 25 0 4 0 519819098 1586089984 306232 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1548916 CPUtime=1182.18 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 103716 0 0 0 118171 47 0 0 25 0 4 0 519819098 1586089984 306232 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1548916 CPUtime=1175.73 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 5171584 0 0 0 116782 791 0 0 25 0 4 0 519819098 1586089984 306232 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.39
Current children cumulated vsize (KiB) 1548916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.15 8.14 7.93 9/184 18248
/proc/meminfo: memFree=16011180/32951124 swapFree=67111528/67111528
[pid=18179] ppid=18177 vsize=1548916 CPUtime=4800.3 cores=0,2,4,6
/proc/18179/stat : 18179 (SArTagnan) R 18177 18179 18138 0 -1 4202496 5711644 0 0 0 479097 933 0 0 25 0 4 0 519819088 1586089984 307859 33554432000 4194304 4623224 140734717508288 18446744073709551615 4510627 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/18179/statm: 387229 307859 717 105 0 382733 0
[pid=18179/tid=18181] ppid=18177 vsize=1548916 CPUtime=1201.67 cores=0,2,4,6
/proc/18179/task/18181/stat : 18181 (SArTagnan) R 18177 18179 18138 0 -1 4202560 185789 0 0 0 120117 50 0 0 25 0 4 0 519819098 1586089984 307859 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18179/tid=18182] ppid=18177 vsize=1548916 CPUtime=1201.69 cores=0,2,4,6
/proc/18179/task/18182/stat : 18182 (SArTagnan) R 18177 18179 18138 0 -1 4202560 103754 0 0 0 120122 47 0 0 25 0 4 0 519819098 1586089984 307859 33554432000 4194304 4623224 140734717508288 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18179/tid=18183] ppid=18177 vsize=1548916 CPUtime=1195.12 cores=0,2,4,6
/proc/18179/task/18183/stat : 18183 (SArTagnan) R 18177 18179 18138 0 -1 4202560 5299002 0 0 0 118701 811 0 0 25 0 4 0 519819098 1586089984 307859 33554432000 4194304 4623224 140734717508288 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1548916

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.39
CPU user time (s): 4791
CPU system time (s): 9.38957
CPU usage (%): 399.41
Max. virtual memory (cumulated for all children) (KiB): 1548916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791
system time used= 9.38957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5711646
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= 4249
involuntary context switches= 30913

runsolver used 1.83372 second user time and 4.6273 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 15:02:45
IDJOB=3289175
IDBENCH=83116
IDSOLVER=1656
FILE ID=node103/3289175-1304082165
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-top24.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289175-1304082165/watcher-3289175-1304082165 -o /tmp/evaluation-result-3289175-1304082165/solver-3289175-1304082165 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3289175-1304082165.cnf -threads=4

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

MD5SUM BENCH= 1f485d737caaaca49e2c467c83cbdcec
RANDOM SEED=568569881

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:      17886116 kB
Buffers:       2148156 kB
Cached:       12250444 kB
SwapCached:          0 kB
Active:        5596856 kB
Inactive:      8883640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17886116 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5540 kB
Writeback:           0 kB
AnonPages:       81556 kB
Mapped:          14916 kB
Slab:           519564 kB
PageTables:       5248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   257312 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:22:49