Trace number 3289313

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

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-bottom19.cnf
MD5SUMd725e0d6a363434dce7cb39ffdb1b83f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables40286
Number of clauses134663
Sum of the clauses size343327
Maximum clause length1301
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 269181
Number of clauses of size 364779
Number of clauses of size 4189
Number of clauses of size 517
Number of clauses of size over 5496

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-3289313-1304082661/watcher-3289313-1304082661 -o /tmp/evaluation-result-3289313-1304082661/solver-3289313-1304082661 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3289313-1304082661.cnf -threads=4 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.12 8.06 7.66 5/180 32539
/proc/meminfo: memFree=25622604/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=25244 CPUtime=0 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 1213 0 0 0 0 0 0 0 25 0 1 0 500681605 25849856 1150 33554432000 4194304 4623224 140736116708816 18446744073709551615 228095450880 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/32539/statm: 6311 1150 300 105 0 1815 0

[startup+0.0899419 s]
/proc/loadavg: 8.12 8.06 7.66 5/180 32539
/proc/meminfo: memFree=25622604/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=283696 CPUtime=0.13 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 10607 0 0 0 12 1 0 0 25 0 4 0 500681605 290504704 8625 33554432000 4194304 4623224 140736116708816 18446744073709551615 4388779 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 70924 8627 329 105 0 66428 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 283696

[startup+0.176288 s]
/proc/loadavg: 8.12 8.06 7.66 5/180 32539
/proc/meminfo: memFree=25622604/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=283696 CPUtime=0.48 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 11308 0 0 0 47 1 0 0 25 0 4 0 500681605 290504704 9275 33554432000 4194304 4623224 140736116708816 18446744073709551615 4360092 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 70924 9275 334 105 0 66428 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 283696

[startup+0.300268 s]
/proc/loadavg: 8.12 8.06 7.66 5/180 32539
/proc/meminfo: memFree=25622604/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=284780 CPUtime=0.97 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 12871 0 0 0 96 1 0 0 25 0 4 0 500681605 291614720 10046 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510167 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 71195 10046 342 105 0 66699 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 284780

[startup+0.700194 s]
/proc/loadavg: 8.12 8.06 7.66 5/180 32539
/proc/meminfo: memFree=25622604/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=291672 CPUtime=2.57 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 19644 0 0 0 255 2 0 0 25 0 4 0 500681605 298672128 13574 33554432000 4194304 4623224 140736116708816 18446744073709551615 4507139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 72918 13574 343 105 0 68422 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 291672

[startup+1.50105 s]
/proc/loadavg: 8.12 8.06 7.66 9/184 32543
/proc/meminfo: memFree=25510484/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=291672 CPUtime=5.77 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 21012 0 0 0 575 2 0 0 25 0 4 0 500681605 298672128 13929 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 72918 13929 343 105 0 68422 0
[pid=32539/tid=32541] ppid=32537 vsize=291672 CPUtime=1.42 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 2025 0 0 0 142 0 0 0 25 0 4 0 500681612 298672128 13929 33554432000 4194304 4623224 140736116708816 18446744073709551615 4330719 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=291672 CPUtime=1.42 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 2138 0 0 0 142 0 0 0 25 0 4 0 500681612 298672128 13929 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=291672 CPUtime=1.41 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 5409 0 0 0 141 0 0 0 25 0 4 0 500681612 298672128 13930 33554432000 4194304 4623224 140736116708816 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 291672

[startup+3.10075 s]
/proc/loadavg: 8.12 8.06 7.66 9/184 32543
/proc/meminfo: memFree=25503800/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=314436 CPUtime=12.16 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 34973 0 0 0 1212 4 0 0 25 0 4 0 500681605 321982464 20058 33554432000 4194304 4623224 140736116708816 18446744073709551615 4306456 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 78609 20060 343 105 0 74113 0
[pid=32539/tid=32541] ppid=32537 vsize=314436 CPUtime=3.01 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 4705 0 0 0 301 0 0 0 25 0 4 0 500681612 321982464 20060 33554432000 4194304 4623224 140736116708816 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=314436 CPUtime=3.02 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 2895 0 0 0 302 0 0 0 25 0 4 0 500681612 321982464 20063 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=314436 CPUtime=3.01 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 10611 0 0 0 300 1 0 0 25 0 4 0 500681612 321982464 20064 33554432000 4194304 4623224 140736116708816 18446744073709551615 4355396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 314436

[startup+6.30116 s]
/proc/loadavg: 8.11 8.06 7.66 9/184 32543
/proc/meminfo: memFree=25361580/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=446064 CPUtime=24.93 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 122285 0 0 0 2477 16 0 0 25 0 4 0 500681605 456769536 48684 33554432000 4194304 4623224 140736116708816 18446744073709551615 228095118240 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 111516 48684 344 105 0 107020 0
[pid=32539/tid=32541] ppid=32537 vsize=446064 CPUtime=6.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 15880 0 0 0 619 2 0 0 25 0 4 0 500681612 456769536 48684 33554432000 4194304 4623224 140736116708816 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=446064 CPUtime=6.22 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 15508 0 0 0 620 2 0 0 25 0 4 0 500681612 456769536 48684 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=446064 CPUtime=6.18 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 43979 0 0 0 613 5 0 0 25 0 4 0 500681612 456769536 48684 33554432000 4194304 4623224 140736116708816 18446744073709551615 4545903 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 446064

[startup+12.701 s]
/proc/loadavg: 8.10 8.06 7.67 9/184 32544
/proc/meminfo: memFree=25336816/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=446064 CPUtime=50.49 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 159085 0 0 0 5024 25 0 0 25 0 4 0 500681605 456769536 51681 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510108 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 111516 51681 344 105 0 107020 0
[pid=32539/tid=32541] ppid=32537 vsize=446064 CPUtime=12.61 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 15988 0 0 0 1259 2 0 0 25 0 4 0 500681612 456769536 51681 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=446064 CPUtime=12.61 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 16939 0 0 0 1259 2 0 0 25 0 4 0 500681612 456769536 51681 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=446064 CPUtime=12.55 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 79149 0 0 0 1241 14 0 0 25 0 4 0 500681612 456769536 51681 33554432000 4194304 4623224 140736116708816 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 446064

[startup+25.5006 s]
/proc/loadavg: 8.15 8.07 7.68 9/184 32574
/proc/meminfo: memFree=25314840/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=454348 CPUtime=101.6 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 259301 0 0 0 10117 43 0 0 25 0 4 0 500681605 465252352 58866 33554432000 4194304 4623224 140736116708816 18446744073709551615 4507139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 113587 58866 345 105 0 109091 0
[pid=32539/tid=32541] ppid=32537 vsize=454348 CPUtime=25.41 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 23664 0 0 0 2538 3 0 0 25 0 4 0 500681612 465252352 58866 33554432000 4194304 4623224 140736116708816 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=454348 CPUtime=25.41 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 18860 0 0 0 2538 3 0 0 25 0 4 0 500681612 465252352 58866 33554432000 4194304 4623224 140736116708816 18446744073709551615 4377073 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=454348 CPUtime=25.28 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 169465 0 0 0 2497 31 0 0 25 0 4 0 500681612 465252352 58866 33554432000 4194304 4623224 140736116708816 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 454348

[startup+51.1009 s]
/proc/loadavg: 8.10 8.06 7.68 9/184 32575
/proc/meminfo: memFree=25220008/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=472096 CPUtime=203.86 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 354118 0 0 0 20323 63 0 0 25 0 4 0 500681605 483426304 62414 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 118024 62414 345 105 0 113528 0
[pid=32539/tid=32541] ppid=32537 vsize=472096 CPUtime=51.01 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 26765 0 0 0 5095 6 0 0 25 0 4 0 500681612 483426304 62414 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=472096 CPUtime=51 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 23557 0 0 0 5096 4 0 0 25 0 4 0 500681612 483426304 62414 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=472096 CPUtime=50.74 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 252082 0 0 0 5030 44 0 0 25 0 4 0 500681612 483426304 62414 33554432000 4194304 4623224 140736116708816 18446744073709551615 4289700 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 472096

[startup+102.306 s]
/proc/loadavg: 8.04 8.05 7.70 9/184 32576
/proc/meminfo: memFree=24930580/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=497436 CPUtime=408.4 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 579108 0 0 0 40730 110 0 0 25 0 4 0 500681605 509374464 75835 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 124359 75835 345 105 0 119863 0
[pid=32539/tid=32541] ppid=32537 vsize=497436 CPUtime=102.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 36634 0 0 0 10211 10 0 0 25 0 4 0 500681612 509374464 75835 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=497436 CPUtime=102.21 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 26549 0 0 0 10215 6 0 0 25 0 4 0 500681612 509374464 75835 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=497436 CPUtime=101.67 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 463493 0 0 0 10082 85 0 0 25 0 4 0 500681612 509374464 75835 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.4
Current children cumulated vsize (KiB) 497436

[startup+162.3 s]
/proc/loadavg: 8.07 8.05 7.72 9/184 32578
/proc/meminfo: memFree=24782372/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=547804 CPUtime=648.04 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 917148 0 0 0 64630 174 0 0 25 0 4 0 500681605 560951296 95921 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 136951 95921 345 105 0 132455 0
[pid=32539/tid=32541] ppid=32537 vsize=547804 CPUtime=162.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 51809 0 0 0 16208 13 0 0 25 0 4 0 500681612 560951296 95921 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=547804 CPUtime=162.19 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 37072 0 0 0 16208 11 0 0 25 0 4 0 500681612 560951296 95921 33554432000 4194304 4623224 140736116708816 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=547804 CPUtime=161.33 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 774091 0 0 0 15992 141 0 0 25 0 4 0 500681612 560951296 95922 33554432000 4194304 4623224 140736116708816 18446744073709551615 4559125 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.04
Current children cumulated vsize (KiB) 547804

[startup+222.3 s]
/proc/loadavg: 8.14 8.07 7.75 9/184 32579
/proc/meminfo: memFree=24584324/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=697012 CPUtime=887.7 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 1143426 0 0 0 88553 217 0 0 25 0 4 0 500681605 713740288 117859 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 174253 117859 345 105 0 169757 0
[pid=32539/tid=32541] ppid=32537 vsize=697012 CPUtime=222.2 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 63336 0 0 0 22201 19 0 0 25 0 4 0 500681612 713740288 117859 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=697012 CPUtime=222.19 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 40581 0 0 0 22205 14 0 0 25 0 4 0 500681612 713740288 117859 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=697012 CPUtime=221.01 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 977981 0 0 0 21926 175 0 0 25 0 4 0 500681612 713740288 117859 33554432000 4194304 4623224 140736116708816 18446744073709551615 4577436 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.7
Current children cumulated vsize (KiB) 697012

[startup+282.301 s]

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

[pid=32539] ppid=32537 vsize=1176540 CPUtime=2565.42 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 3267864 0 0 0 255939 603 0 0 25 0 4 0 500681605 1204776960 222876 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 294135 222876 345 105 0 289639 0
[pid=32539/tid=32541] ppid=32537 vsize=1176540 CPUtime=642.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 142552 0 0 0 64175 46 0 0 25 0 4 0 500681612 1204776960 222876 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1176540 CPUtime=642.17 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 66673 0 0 0 64183 34 0 0 25 0 4 0 500681612 1204776960 222876 33554432000 4194304 4623224 140736116708816 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1176540 CPUtime=638.74 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 2975857 0 0 0 63365 509 0 0 25 0 4 0 500681612 1204776960 222876 33554432000 4194304 4623224 140736116708816 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.42
Current children cumulated vsize (KiB) 1176540

[startup+702.3 s]
/proc/loadavg: 8.18 8.14 7.90 9/184 32622
/proc/meminfo: memFree=24123608/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=1211392 CPUtime=2805.07 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 3672656 0 0 0 279835 672 0 0 25 0 4 0 500681605 1240465408 233660 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 302848 233660 345 105 0 298352 0
[pid=32539/tid=32541] ppid=32537 vsize=1211392 CPUtime=702.2 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 143525 0 0 0 70174 46 0 0 25 0 4 0 500681612 1240465408 233660 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376820 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1211392 CPUtime=702.16 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 69104 0 0 0 70180 36 0 0 25 0 4 0 500681612 1240465408 233660 33554432000 4194304 4623224 140736116708816 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1211392 CPUtime=698.4 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 3361974 0 0 0 69267 573 0 0 25 0 4 0 500681612 1240465408 233660 33554432000 4194304 4623224 140736116708816 18446744073709551615 4366020 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.07
Current children cumulated vsize (KiB) 1211392

[startup+762.306 s]
/proc/loadavg: 8.15 8.14 7.91 9/184 32624
/proc/meminfo: memFree=23978884/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=1352928 CPUtime=3044.76 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 4115720 0 0 0 303729 747 0 0 25 0 4 0 500681605 1385398272 246618 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 338232 246618 345 105 0 333736 0
[pid=32539/tid=32541] ppid=32537 vsize=1352928 CPUtime=762.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 179562 0 0 0 76169 52 0 0 25 0 4 0 500681612 1385398272 246618 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1352928 CPUtime=762.15 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 71528 0 0 0 76178 37 0 0 25 0 4 0 500681612 1385398272 246618 33554432000 4194304 4623224 140736116708816 18446744073709551615 228095118208 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1352928 CPUtime=758.08 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 3765254 0 0 0 75168 640 0 0 25 0 4 0 500681612 1385398272 246618 33554432000 4194304 4623224 140736116708816 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.76
Current children cumulated vsize (KiB) 1352928

[startup+822.3 s]
/proc/loadavg: 8.10 8.13 7.92 9/184 32625
/proc/meminfo: memFree=23935348/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=1362992 CPUtime=3284.41 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 4125539 0 0 0 327687 754 0 0 25 0 4 0 500681605 1395703808 255659 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510285 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 340748 255659 345 105 0 336252 0
[pid=32539/tid=32541] ppid=32537 vsize=1362992 CPUtime=822.2 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 182229 0 0 0 82167 53 0 0 25 0 4 0 500681612 1395703808 255659 33554432000 4194304 4623224 140736116708816 18446744073709551615 4463039 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1362992 CPUtime=822.15 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 74542 0 0 0 82173 42 0 0 25 0 4 0 500681612 1395703808 255659 33554432000 4194304 4623224 140736116708816 18446744073709551615 4465915 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1362992 CPUtime=817.75 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 3768816 0 0 0 81134 641 0 0 25 0 4 0 500681612 1395703808 255659 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.41
Current children cumulated vsize (KiB) 1362992

[startup+882.3 s]
/proc/loadavg: 8.29 8.18 7.95 9/184 32630
/proc/meminfo: memFree=23885400/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=1373172 CPUtime=3524.08 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 4327560 0 0 0 351616 792 0 0 25 0 4 0 500681605 1406128128 263219 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 343293 263219 345 105 0 338797 0
[pid=32539/tid=32541] ppid=32537 vsize=1373172 CPUtime=882.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 184121 0 0 0 88166 55 0 0 25 0 4 0 500681612 1406128128 263219 33554432000 4194304 4623224 140736116708816 18446744073709551615 4366364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1373172 CPUtime=882.15 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 76884 0 0 0 88171 44 0 0 25 0 4 0 500681612 1406128128 263219 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1373172 CPUtime=877.42 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 3965913 0 0 0 87068 674 0 0 25 0 4 0 500681612 1406128128 263219 33554432000 4194304 4623224 140736116708816 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.08
Current children cumulated vsize (KiB) 1373172

[startup+942.301 s]
/proc/loadavg: 8.22 8.17 7.96 9/184 32631
/proc/meminfo: memFree=23833556/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=1376036 CPUtime=3763.75 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 4659446 0 0 0 375530 845 0 0 25 0 4 0 500681605 1409060864 270888 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 344009 270888 346 105 0 339513 0
[pid=32539/tid=32541] ppid=32537 vsize=1376036 CPUtime=942.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 185105 0 0 0 94165 56 0 0 25 0 4 0 500681612 1409060864 270888 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1376036 CPUtime=942.15 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 77770 0 0 0 94169 46 0 0 25 0 4 0 500681612 1409060864 270888 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1376036 CPUtime=937.1 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 4295112 0 0 0 92985 725 0 0 25 0 4 0 500681612 1409060864 270888 33554432000 4194304 4623224 140736116708816 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.75
Current children cumulated vsize (KiB) 1376036

[startup+1002.3 s]
/proc/loadavg: 8.20 8.17 7.97 9/184 32633
/proc/meminfo: memFree=23772660/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=1382108 CPUtime=4003.43 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 5055710 0 0 0 399432 911 0 0 25 0 4 0 500681605 1415278592 279109 33554432000 4194304 4623224 140736116708816 18446744073709551615 4509907 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 345527 279109 345 105 0 341031 0
[pid=32539/tid=32541] ppid=32537 vsize=1382108 CPUtime=1002.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 187908 0 0 0 100164 57 0 0 25 0 4 0 500681612 1415278592 279109 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1382108 CPUtime=1002.14 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 78126 0 0 0 100168 46 0 0 25 0 4 0 500681612 1415278592 279109 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1382108 CPUtime=996.77 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 4687704 0 0 0 98888 789 0 0 25 0 4 0 500681612 1415278592 279109 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.43
Current children cumulated vsize (KiB) 1382108

[startup+1062.3 s]
/proc/loadavg: 8.19 8.17 7.98 9/184 32635
/proc/meminfo: memFree=23708784/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=1453980 CPUtime=4243.1 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 5430934 0 0 0 423340 970 0 0 25 0 4 0 500681605 1488875520 287004 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 363495 287004 346 105 0 358999 0
[pid=32539/tid=32541] ppid=32537 vsize=1453980 CPUtime=1062.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 190480 0 0 0 106163 58 0 0 25 0 4 0 500681612 1488875520 287004 33554432000 4194304 4623224 140736116708816 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1453980 CPUtime=1062.13 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 78260 0 0 0 106167 46 0 0 25 0 4 0 500681612 1488875520 287004 33554432000 4194304 4623224 140736116708816 18446744073709551615 4377040 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1453980 CPUtime=1056.45 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 5059435 0 0 0 104799 846 0 0 25 0 4 0 500681612 1488875520 287004 33554432000 4194304 4623224 140736116708816 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.1
Current children cumulated vsize (KiB) 1453980

[startup+1122.3 s]
/proc/loadavg: 8.11 8.15 7.98 9/184 32636
/proc/meminfo: memFree=23619996/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=1472896 CPUtime=4482.77 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 5680314 0 0 0 447263 1014 0 0 25 0 4 0 500681605 1508245504 296399 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 368224 296399 345 105 0 363728 0
[pid=32539/tid=32541] ppid=32537 vsize=1472896 CPUtime=1122.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 191509 0 0 0 112162 59 0 0 25 0 4 0 500681612 1508245504 296399 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376668 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1472896 CPUtime=1122.13 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 79836 0 0 0 112165 48 0 0 25 0 4 0 500681612 1508245504 296399 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1472896 CPUtime=1116.12 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 5305289 0 0 0 110725 887 0 0 25 0 4 0 500681612 1508245504 296399 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.77
Current children cumulated vsize (KiB) 1472896

[startup+1182.3 s]
/proc/loadavg: 6.50 7.75 7.86 5/175 32655
/proc/meminfo: memFree=24421236/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=1491064 CPUtime=4722.45 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 6084090 0 0 0 471161 1084 0 0 25 0 4 0 500681605 1526849536 305257 33554432000 4194304 4623224 140736116708816 18446744073709551615 4511128 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 372766 305257 345 105 0 368270 0
[pid=32539/tid=32541] ppid=32537 vsize=1491064 CPUtime=1182.21 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 193935 0 0 0 118159 62 0 0 25 0 4 0 500681612 1526849536 305257 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1491064 CPUtime=1182.12 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 81673 0 0 0 118163 49 0 0 25 0 4 0 500681612 1526849536 305257 33554432000 4194304 4623224 140736116708816 18446744073709551615 4377864 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1491064 CPUtime=1175.82 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 5697635 0 0 0 116630 952 0 0 25 0 4 0 500681612 1526849536 305257 33554432000 4194304 4623224 140736116708816 18446744073709551615 4544751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.45
Current children cumulated vsize (KiB) 1491064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 5.79 7.51 7.78 5/175 32655
/proc/meminfo: memFree=24416884/32951124 swapFree=67111524/67111528
[pid=32539] ppid=32537 vsize=1491064 CPUtime=4800.39 cores=1,3,5,7
/proc/32539/stat : 32539 (SArTagnan) R 32537 32539 30205 0 -1 4202496 6185690 0 0 0 478936 1103 0 0 25 0 4 0 500681605 1526849536 306794 33554432000 4194304 4623224 140736116708816 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32539/statm: 372766 306794 345 105 0 368270 0
[pid=32539/tid=32541] ppid=32537 vsize=1491064 CPUtime=1201.72 cores=1,3,5,7
/proc/32539/task/32541/stat : 32541 (SArTagnan) R 32537 32539 30205 0 -1 4202560 194214 0 0 0 120110 62 0 0 25 0 4 0 500681612 1526849536 306794 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32539/tid=32542] ppid=32537 vsize=1491064 CPUtime=1201.63 cores=1,3,5,7
/proc/32539/task/32542/stat : 32542 (SArTagnan) R 32537 32539 30205 0 -1 4202560 81722 0 0 0 120114 49 0 0 25 0 4 0 500681612 1526849536 306794 33554432000 4194304 4623224 140736116708816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32539/tid=32543] ppid=32537 vsize=1491064 CPUtime=1195.22 cores=1,3,5,7
/proc/32539/task/32543/stat : 32543 (SArTagnan) R 32537 32539 30205 0 -1 4202560 5798886 0 0 0 118552 970 0 0 25 0 4 0 500681612 1526849536 306794 33554432000 4194304 4623224 140736116708816 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 1491064

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.47
CPU user time (s): 4789.38
CPU system time (s): 11.0853
CPU usage (%): 399.417
Max. virtual memory (cumulated for all children) (KiB): 1491064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4789.38
system time used= 11.0853
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6185695
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= 2864
involuntary context switches= 34709

runsolver used 1.82772 second user time and 4.70528 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 15:11:01
IDJOB=3289313
IDBENCH=83119
IDSOLVER=1656
FILE ID=node142/3289313-1304082661
RUNJOBID= node142-1304081457-32414
PBS_JOBID= 13170458
Free space on /tmp= 71312 MiB

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

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

MD5SUM BENCH= d725e0d6a363434dce7cb39ffdb1b83f
RANDOM SEED=426074417

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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:      25622760 kB
Buffers:       1673108 kB
Cached:        5028116 kB
SwapCached:          4 kB
Active:         873428 kB
Inactive:      5915656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25622760 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            4180 kB
Writeback:           0 kB
AnonPages:       87832 kB
Mapped:          15416 kB
Slab:           476852 kB
PageTables:       4668 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   258028 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= 71312 MiB
End job on node142 at 2011-04-29 15:31:05