Trace number 3266932

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.32 1201.79

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m27-q255-n25-p15-s2076598.cnf
MD5SUMf5a22d1154b549fd98215f1710a15f46
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.357944
Satisfiable
(Un)Satisfiability was proved
Number of variables545
Number of clauses29734
Sum of the clauses size59963
Maximum clause length27
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 229709
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 525

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-3266932-1304123390/watcher-3266932-1304123390 -o /tmp/evaluation-result-3266932-1304123390/solver-3266932-1304123390 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3266932-1304123390.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: 3.41 4.37 5.97 3/174 20808
/proc/meminfo: memFree=21157616/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=19356 CPUtime=0 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 501 0 0 0 0 0 0 0 23 0 1 0 504754629 19820544 429 33554432000 4194304 4623224 140735383400352 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/20808/statm: 4839 429 297 105 0 343 0

[startup+0.013243 s]
/proc/loadavg: 3.41 4.37 5.97 3/174 20808
/proc/meminfo: memFree=21157616/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=51920 CPUtime=0.01 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 1033 0 0 0 1 0 0 0 23 0 4 0 504754629 53166080 786 33554432000 4194304 4623224 140735383400352 18446744073709551615 47649544898482 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 12980 786 302 105 0 8484 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 51920

[startup+0.100233 s]
/proc/loadavg: 3.41 4.37 5.97 3/174 20808
/proc/meminfo: memFree=21157616/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=251820 CPUtime=0.35 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 2953 0 0 0 35 0 0 0 25 0 4 0 504754629 257863680 2218 33554432000 4194304 4623224 140735383400352 18446744073709551615 4511659 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 62955 2218 344 105 0 58459 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 251820

[startup+0.300163 s]
/proc/loadavg: 3.41 4.37 5.97 3/174 20808
/proc/meminfo: memFree=21157616/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=255072 CPUtime=1.15 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 4877 0 0 0 115 0 0 0 25 0 4 0 504754629 261193728 3771 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510433 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 63768 3771 344 105 0 59272 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 255072

[startup+0.701087 s]
/proc/loadavg: 3.41 4.37 5.97 3/174 20808
/proc/meminfo: memFree=21157616/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=258932 CPUtime=2.76 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 7494 0 0 0 275 1 0 0 25 0 4 0 504754629 265146368 5441 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510066 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 64733 5441 344 105 0 60237 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 258932

[startup+1.50094 s]
/proc/loadavg: 3.41 4.37 5.97 10/184 20821
/proc/meminfo: memFree=21070744/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=265524 CPUtime=5.95 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 12859 0 0 0 593 2 0 0 25 0 4 0 504754629 271896576 8289 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 66381 8289 344 105 0 61885 0
[pid=20808/tid=20810] ppid=20806 vsize=265524 CPUtime=1.48 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 3818 0 0 0 148 0 0 0 25 0 4 0 504754630 271896576 8289 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=265524 CPUtime=1.48 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 3675 0 0 0 147 1 0 0 18 0 4 0 504754630 271896576 8289 33554432000 4194304 4623224 140735383400352 18446744073709551615 4463392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=265524 CPUtime=1.47 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 1985 0 0 0 147 0 0 0 25 0 4 0 504754630 271896576 8289 33554432000 4194304 4623224 140735383400352 18446744073709551615 4550432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 265524

[startup+3.10064 s]
/proc/loadavg: 3.41 4.37 5.97 9/184 20821
/proc/meminfo: memFree=21029372/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=270404 CPUtime=12.34 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 31552 0 0 0 1228 6 0 0 25 0 4 0 504754629 276893696 12125 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510486 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 67601 12125 344 105 0 63105 0
[pid=20808/tid=20810] ppid=20806 vsize=270404 CPUtime=3.08 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 6306 0 0 0 307 1 0 0 25 0 4 0 504754630 276893696 12125 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=270404 CPUtime=3.08 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 5821 0 0 0 306 2 0 0 22 0 4 0 504754630 276893696 12125 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=270404 CPUtime=3.07 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 15542 0 0 0 305 2 0 0 25 0 4 0 504754630 276893696 12125 33554432000 4194304 4623224 140735383400352 18446744073709551615 4577479 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 270404

[startup+6.30103 s]
/proc/loadavg: 3.77 4.43 5.98 9/184 20821
/proc/meminfo: memFree=20941580/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=284152 CPUtime=25.12 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 51806 0 0 0 2502 10 0 0 25 0 4 0 504754629 290971648 19323 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510486 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 71038 19323 372 105 0 66542 0
[pid=20808/tid=20810] ppid=20806 vsize=284152 CPUtime=6.28 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 10037 0 0 0 626 2 0 0 25 0 4 0 504754630 290971648 19323 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=284152 CPUtime=6.28 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 8962 0 0 0 625 3 0 0 25 0 4 0 504754630 290971648 19323 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=284152 CPUtime=6.25 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 27666 0 0 0 621 4 0 0 25 0 4 0 504754630 290971648 19323 33554432000 4194304 4623224 140735383400352 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 284152

[startup+12.7008 s]
/proc/loadavg: 4.11 4.49 5.99 9/184 20821
/proc/meminfo: memFree=20826964/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=298652 CPUtime=50.68 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 105354 0 0 0 5049 19 0 0 25 0 4 0 504754629 305819648 28436 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 74663 28436 409 105 0 70167 0
[pid=20808/tid=20810] ppid=20806 vsize=298652 CPUtime=12.68 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 15048 0 0 0 1264 4 0 0 25 0 4 0 504754630 305819648 28436 33554432000 4194304 4623224 140735383400352 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=298652 CPUtime=12.67 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 12869 0 0 0 1264 3 0 0 25 0 4 0 504754630 305819648 28436 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=298652 CPUtime=12.62 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 69825 0 0 0 1252 10 0 0 25 0 4 0 504754630 305819648 28436 33554432000 4194304 4623224 140735383400352 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 298652

[startup+25.5004 s]
/proc/loadavg: 4.97 4.66 6.02 9/184 20822
/proc/meminfo: memFree=20637624/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=326068 CPUtime=101.81 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 235461 0 0 0 10142 39 0 0 25 0 4 0 504754629 333893632 43523 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 81517 43523 495 105 0 77021 0
[pid=20808/tid=20810] ppid=20806 vsize=326068 CPUtime=25.48 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 21832 0 0 0 2542 6 0 0 25 0 4 0 504754630 333893632 43523 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376850 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=326068 CPUtime=25.47 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 24745 0 0 0 2542 5 0 0 25 0 4 0 504754630 333893632 43523 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=326068 CPUtime=25.35 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 177666 0 0 0 2509 26 0 0 25 0 4 0 504754630 333893632 43523 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 326068

[startup+51.1006 s]
/proc/loadavg: 6.00 4.93 6.07 9/184 20822
/proc/meminfo: memFree=20116036/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=369648 CPUtime=204.08 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 439700 0 0 0 20336 72 0 0 25 0 4 0 504754629 378519552 61908 33554432000 4194304 4623224 140735383400352 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 92412 61908 349 105 0 87916 0
[pid=20808/tid=20810] ppid=20806 vsize=369648 CPUtime=51.08 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 43256 0 0 0 5099 9 0 0 25 0 4 0 504754630 378519552 61908 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376829 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=369648 CPUtime=51.08 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 27520 0 0 0 5102 6 0 0 25 0 4 0 504754630 378519552 61908 33554432000 4194304 4623224 140735383400352 18446744073709551615 264726072322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=369648 CPUtime=50.81 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 356677 0 0 0 5027 54 0 0 25 0 4 0 504754630 378519552 61908 33554432000 4194304 4623224 140735383400352 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 369648

[startup+102.307 s]
/proc/loadavg: 7.17 5.42 6.18 9/184 20824
/proc/meminfo: memFree=19505312/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=605344 CPUtime=408.62 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 638189 0 0 0 40757 105 0 0 25 0 4 0 504754629 619872256 95539 33554432000 4194304 4623224 140735383400352 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 151336 95539 1076 105 0 146840 0
[pid=20808/tid=20810] ppid=20806 vsize=605344 CPUtime=102.28 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 62941 0 0 0 10214 14 0 0 25 0 4 0 504754630 619872256 95539 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=605344 CPUtime=102.28 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 40912 0 0 0 10218 10 0 0 25 0 4 0 504754630 619872256 95539 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=605344 CPUtime=101.74 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 512338 0 0 0 10096 78 0 0 25 0 4 0 504754630 619872256 95539 33554432000 4194304 4623224 140735383400352 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 605344

[startup+162.301 s]
/proc/loadavg: 7.73 5.90 6.29 9/184 20825
/proc/meminfo: memFree=19140232/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=696792 CPUtime=648.28 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 856859 0 0 0 64686 142 0 0 25 0 4 0 504754629 713515008 129939 33554432000 4194304 4623224 140735383400352 18446744073709551615 4415022 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 174198 129939 1316 105 0 169702 0
[pid=20808/tid=20810] ppid=20806 vsize=696792 CPUtime=162.28 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 68295 0 0 0 16210 18 0 0 25 0 4 0 504754630 713515008 129939 33554432000 4194304 4623224 140735383400352 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=696792 CPUtime=162.28 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 55837 0 0 0 16216 12 0 0 25 0 4 0 504754630 713515008 129939 33554432000 4194304 4623224 140735383400352 18446744073709551615 4316817 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=696792 CPUtime=161.41 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 680018 0 0 0 16036 105 0 0 25 0 4 0 504754630 713515008 129939 33554432000 4194304 4623224 140735383400352 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.28
Current children cumulated vsize (KiB) 696792

[startup+222.3 s]
/proc/loadavg: 8.01 6.31 6.41 9/184 20827
/proc/meminfo: memFree=18966356/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=828684 CPUtime=887.94 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 1582598 0 0 0 88531 263 0 0 25 0 4 0 504754629 848572416 156884 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 207171 156884 1420 105 0 202675 0
[pid=20808/tid=20810] ppid=20806 vsize=828684 CPUtime=222.28 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 98064 0 0 0 22202 26 0 0 25 0 4 0 504754630 848572416 156884 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=828684 CPUtime=222.28 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 57282 0 0 0 22216 12 0 0 25 0 4 0 504754630 848572416 156884 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=828684 CPUtime=221.08 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 1344308 0 0 0 21895 213 0 0 25 0 4 0 504754630 848572416 156884 33554432000 4194304 4623224 140735383400352 18446744073709551615 264726448487 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.94
Current children cumulated vsize (KiB) 828684

[startup+282.301 s]

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

[pid=20808] ppid=20806 vsize=1464352 CPUtime=2805.33 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 3819086 0 0 0 279910 623 0 0 25 0 4 0 504754629 1499496448 288411 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 366088 288413 384 105 0 361592 0
[pid=20808/tid=20810] ppid=20806 vsize=1464352 CPUtime=702.3 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 162657 0 0 0 70177 53 0 0 25 0 4 0 504754630 1499496448 288413 33554432000 4194304 4623224 140735383400352 18446744073709551615 4377018 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1464352 CPUtime=700.88 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 124652 0 0 0 70062 26 0 0 25 0 4 0 504754630 1499496448 288413 33554432000 4194304 4623224 140735383400352 18446744073709551615 4317296 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1464352 CPUtime=699.88 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 3094020 0 0 0 69518 470 0 0 25 0 4 0 504754630 1499496448 288413 33554432000 4194304 4623224 140735383400352 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 1464352

[startup+762.306 s]
/proc/loadavg: 8.16 7.83 7.15 9/184 20841
/proc/meminfo: memFree=17950912/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=1466724 CPUtime=3045.03 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 4451304 0 0 0 303789 714 0 0 25 0 4 0 504754629 1501925376 297551 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 366681 297551 377 105 0 362185 0
[pid=20808/tid=20810] ppid=20806 vsize=1466724 CPUtime=762.3 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 165966 0 0 0 76177 53 0 0 25 0 4 0 504754630 1501925376 297551 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1466724 CPUtime=760.55 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 126058 0 0 0 76029 26 0 0 25 0 4 0 504754630 1501925376 297551 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1466724 CPUtime=759.89 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 3705632 0 0 0 75433 556 0 0 25 0 4 0 504754630 1501925376 297551 33554432000 4194304 4623224 140735383400352 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 1466724

[startup+822.301 s]
/proc/loadavg: 8.15 7.89 7.21 9/184 20843
/proc/meminfo: memFree=17841868/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=1670844 CPUtime=3284.67 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 5057998 0 0 0 327665 802 0 0 25 0 4 0 504754629 1710944256 317537 33554432000 4194304 4623224 140735383400352 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 417711 317537 403 105 0 413215 0
[pid=20808/tid=20810] ppid=20806 vsize=1670844 CPUtime=822.29 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 168261 0 0 0 82173 56 0 0 25 0 4 0 504754630 1710944256 317537 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1670844 CPUtime=820.22 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 127694 0 0 0 81995 27 0 0 25 0 4 0 504754630 1710944256 317537 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1670844 CPUtime=819.88 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 4235011 0 0 0 81356 632 0 0 25 0 4 0 504754630 1710944256 317537 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 1670844

[startup+882.301 s]
/proc/loadavg: 8.15 7.94 7.27 9/184 20845
/proc/meminfo: memFree=17783564/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=1670844 CPUtime=3524.34 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 5741469 0 0 0 351526 908 0 0 25 0 4 0 504754629 1710944256 325930 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 417711 325930 377 105 0 413215 0
[pid=20808/tid=20810] ppid=20806 vsize=1670844 CPUtime=882.29 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 172641 0 0 0 88170 59 0 0 25 0 4 0 504754630 1710944256 325930 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1670844 CPUtime=879.9 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 128045 0 0 0 87963 27 0 0 25 0 4 0 504754630 1710944256 325930 33554432000 4194304 4623224 140735383400352 18446744073709551615 4366416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1670844 CPUtime=879.89 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 4911117 0 0 0 87255 734 0 0 25 0 4 0 504754630 1710944256 325930 33554432000 4194304 4623224 140735383400352 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.34
Current children cumulated vsize (KiB) 1670844

[startup+942.3 s]
/proc/loadavg: 8.10 7.96 7.31 9/184 20846
/proc/meminfo: memFree=17694132/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=1753296 CPUtime=3764.02 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 6412561 0 0 0 375396 1006 0 0 25 0 4 0 504754629 1795375104 340579 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510199 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 438324 340580 376 105 0 433828 0
[pid=20808/tid=20810] ppid=20806 vsize=1753296 CPUtime=942.29 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 220511 0 0 0 94160 69 0 0 25 0 4 0 504754630 1795375104 340580 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1753296 CPUtime=939.57 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 131356 0 0 0 93929 28 0 0 25 0 4 0 504754630 1795375104 340582 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1753296 CPUtime=939.89 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 5528308 0 0 0 93168 821 0 0 25 0 4 0 504754630 1795375104 340582 33554432000 4194304 4623224 140735383400352 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 1753296

[startup+1002.3 s]
/proc/loadavg: 8.08 7.98 7.36 9/184 20848
/proc/meminfo: memFree=17596276/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=1833424 CPUtime=4003.68 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 7103425 0 0 0 399262 1106 0 0 25 0 4 0 504754629 1877426176 355773 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 458356 355774 388 105 0 453860 0
[pid=20808/tid=20810] ppid=20806 vsize=1833424 CPUtime=1002.3 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 224139 0 0 0 100158 72 0 0 25 0 4 0 504754630 1877426176 355774 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376855 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1833424 CPUtime=999.25 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 177955 0 0 0 99890 35 0 0 25 0 4 0 504754630 1877426176 355774 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1833424 CPUtime=999.88 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 6166045 0 0 0 99078 910 0 0 25 0 4 0 504754630 1877426176 355775 33554432000 4194304 4623224 140735383400352 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 1833424

[startup+1062.3 s]
/proc/loadavg: 8.07 8.00 7.40 9/184 20849
/proc/meminfo: memFree=17544412/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=1840784 CPUtime=4243.36 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 7390875 0 0 0 423187 1149 0 0 25 0 4 0 504754629 1884962816 362770 33554432000 4194304 4623224 140735383400352 18446744073709551615 4414978 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 460196 362770 376 105 0 455700 0
[pid=20808/tid=20810] ppid=20806 vsize=1840784 CPUtime=1062.29 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 225062 0 0 0 106157 72 0 0 25 0 4 0 504754630 1884962816 362770 33554432000 4194304 4623224 140735383400352 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1840784 CPUtime=1058.93 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 179803 0 0 0 105857 36 0 0 25 0 4 0 504754630 1884962816 362770 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1840784 CPUtime=1059.88 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 6376472 0 0 0 105050 938 0 0 25 0 4 0 504754630 1884962816 362770 33554432000 4194304 4623224 140735383400352 18446744073709551615 4363989 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 1840784

[startup+1122.3 s]
/proc/loadavg: 8.06 8.01 7.44 9/184 20851
/proc/meminfo: memFree=17483508/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=1845880 CPUtime=4483.03 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 7502983 0 0 0 447134 1169 0 0 25 0 4 0 504754629 1890181120 367621 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 461470 367621 376 105 0 456974 0
[pid=20808/tid=20810] ppid=20806 vsize=1845880 CPUtime=1122.29 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 225145 0 0 0 112157 72 0 0 25 0 4 0 504754630 1890181120 367621 33554432000 4194304 4623224 140735383400352 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1845880 CPUtime=1118.6 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 181582 0 0 0 111823 37 0 0 25 0 4 0 504754630 1890181120 367621 33554432000 4194304 4623224 140735383400352 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1845880 CPUtime=1119.88 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 6378274 0 0 0 111050 938 0 0 25 0 4 0 504754630 1890181120 367621 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 1845880

[startup+1182.3 s]
/proc/loadavg: 8.06 8.02 7.48 9/184 20853
/proc/meminfo: memFree=17408080/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=1899188 CPUtime=4722.71 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 7658503 0 0 0 471077 1194 0 0 25 0 4 0 504754629 1944768512 378705 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 474797 378705 376 105 0 470301 0
[pid=20808/tid=20810] ppid=20806 vsize=1899188 CPUtime=1182.3 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 225232 0 0 0 118158 72 0 0 25 0 4 0 504754630 1944768512 378705 33554432000 4194304 4623224 140735383400352 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1899188 CPUtime=1178.28 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 182300 0 0 0 117791 37 0 0 25 0 4 0 504754630 1944768512 378705 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1899188 CPUtime=1179.89 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 6380989 0 0 0 117050 939 0 0 25 0 4 0 504754630 1944768512 378705 33554432000 4194304 4623224 140735383400352 18446744073709551615 4545407 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 1899188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.03 7.49 9/184 20853
/proc/meminfo: memFree=17384148/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=1964724 CPUtime=4800.21 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 7749382 0 0 0 478814 1207 0 0 25 0 4 0 504754629 2011877376 382744 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 491181 382744 400 105 0 486685 0
[pid=20808/tid=20810] ppid=20806 vsize=1964724 CPUtime=1201.7 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 225268 0 0 0 120098 72 0 0 25 0 4 0 504754630 2011877376 382744 33554432000 4194304 4623224 140735383400352 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1964724 CPUtime=1197.57 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 182686 0 0 0 119720 37 0 0 25 0 4 0 504754630 2011877376 382744 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1964724 CPUtime=1199.28 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 6449637 0 0 0 118980 948 0 0 25 0 4 0 504754630 2011877376 382744 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1964724

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

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

[startup+1201.7 s]
/proc/loadavg: 8.10 8.03 7.49 9/184 20853
/proc/meminfo: memFree=17384148/32951124 swapFree=67111524/67111528
[pid=20808] ppid=20806 vsize=1964724 CPUtime=4800.21 cores=0,2,4,6
/proc/20808/stat : 20808 (SArTagnan) R 20806 20808 20447 0 -1 4202496 7749382 0 0 0 478814 1207 0 0 25 0 4 0 504754629 2011877376 382744 33554432000 4194304 4623224 140735383400352 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20808/statm: 491181 382744 400 105 0 486685 0
[pid=20808/tid=20810] ppid=20806 vsize=1964724 CPUtime=1201.7 cores=0,2,4,6
/proc/20808/task/20810/stat : 20810 (SArTagnan) R 20806 20808 20447 0 -1 4202560 225268 0 0 0 120098 72 0 0 25 0 4 0 504754630 2011877376 382744 33554432000 4194304 4623224 140735383400352 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20808/tid=20811] ppid=20806 vsize=1964724 CPUtime=1197.57 cores=0,2,4,6
/proc/20808/task/20811/stat : 20811 (SArTagnan) R 20806 20808 20447 0 -1 4202560 182686 0 0 0 119720 37 0 0 25 0 4 0 504754630 2011877376 382744 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20808/tid=20812] ppid=20806 vsize=1964724 CPUtime=1199.28 cores=0,2,4,6
/proc/20808/task/20812/stat : 20812 (SArTagnan) R 20806 20808 20447 0 -1 4202560 6449637 0 0 0 118980 948 0 0 25 0 4 0 504754630 2011877376 382744 33554432000 4194304 4623224 140735383400352 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1964724

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.79
CPU time (s): 4800.32
CPU user time (s): 4788.17
CPU system time (s): 12.1492
CPU usage (%): 399.432
Max. virtual memory (cumulated for all children) (KiB): 1991632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.17
system time used= 12.1492
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7749382
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= 1177
involuntary context switches= 21988

runsolver used 1.91471 second user time and 4.6353 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-30 02:29:50
IDJOB=3266932
IDBENCH=88220
IDSOLVER=1656
FILE ID=node141/3266932-1304123390
RUNJOBID= node141-1304123390-20794
PBS_JOBID= 13170729
Free space on /tmp= 71424 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m27-q255-n25-p15-s2076598.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266932-1304123390/watcher-3266932-1304123390 -o /tmp/evaluation-result-3266932-1304123390/solver-3266932-1304123390 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3266932-1304123390.cnf -threads=4

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

MD5SUM BENCH= f5a22d1154b549fd98215f1710a15f46
RANDOM SEED=1778002974

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      21157896 kB
Buffers:       1400464 kB
Cached:        9751336 kB
SwapCached:          4 kB
Active:        3009612 kB
Inactive:      8208476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21157896 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:             896 kB
Writeback:           0 kB
AnonPages:       66132 kB
Mapped:          14484 kB
Slab:           512016 kB
PageTables:       4352 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187344 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= 71420 MiB
End job on node141 at 2011-04-30 02:49:54