Trace number 3311692

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
STRUCTure 0.1 (hbr=2)? (TO) 4800.42 1207.65

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf
MD5SUMc8e689035f3179f449d681054feb5bd2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005999
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.09/0.12	03:18 INFO : Reading from input HOME/instance-3311692-1304179397.cnf
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.46/0.35	03:18 INFO : 499 variables remaining out of 500
0.46/0.35	03:18 INFO : 8496 literals remaining out of 8520

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-3311692-1304179397/watcher-3311692-1304179397 -o /tmp/evaluation-result-3311692-1304179397/solver-3311692-1304179397 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311692-1304179397.cnf -hbr 2 

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.10 8.11 8.09 5/198 29294
/proc/meminfo: memFree=29783392/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=2464 CPUtime=0 cores=1,3,5,7
/proc/29294/stat : 29294 (java) R 29292 29294 28847 0 -1 4194304 537 0 0 0 0 0 0 0 25 0 1 0 529540141 2523136 44 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253635935879 0 2147483391 4096 0 0 0 0 17 1 0 0 0
/proc/29294/statm: 882 44 35 9 0 27 0

[startup+0.104792 s]
/proc/loadavg: 8.10 8.11 8.09 5/198 29294
/proc/meminfo: memFree=29783392/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=15676820 CPUtime=0.09 cores=1,3,5,7
/proc/29294/stat : 29294 (java) S 29292 29294 28847 0 -1 4202496 5585 0 1 0 9 0 0 0 25 0 18 0 529540141 16053063680 4991 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29294/statm: 3919205 4991 2117 9 0 3909924 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676820

[startup+0.200785 s]
/proc/loadavg: 8.10 8.11 8.09 5/198 29294
/proc/meminfo: memFree=29783392/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=15677436 CPUtime=0.26 cores=1,3,5,7
/proc/29294/stat : 29294 (java) S 29292 29294 28847 0 -1 4202496 7040 0 1 0 25 1 0 0 25 0 18 0 529540141 16053694464 6397 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29294/statm: 3919359 6400 2184 9 0 3910078 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 15677436

[startup+0.300755 s]
/proc/loadavg: 8.10 8.11 8.09 5/198 29294
/proc/meminfo: memFree=29783392/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=15682140 CPUtime=0.46 cores=1,3,5,7
/proc/29294/stat : 29294 (java) S 29292 29294 28847 0 -1 4202496 9030 0 1 0 45 1 0 0 25 0 22 0 529540141 16058511360 8300 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29294/statm: 3920535 8300 2221 9 0 3911254 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 15682140

[startup+1.09384 s]
/proc/loadavg: 8.10 8.11 8.09 5/198 29294
/proc/meminfo: memFree=29783392/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=15688632 CPUtime=3.25 cores=1,3,5,7
/proc/29294/stat : 29294 (java) S 29292 29294 28847 0 -1 4202496 50989 0 1 0 319 6 0 0 25 0 22 0 529540141 16065159168 46383 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29294/statm: 3922158 46383 2262 9 0 3912877 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 15688632

[startup+1.5005 s]
/proc/loadavg: 8.10 8.11 8.09 10/220 29316
/proc/meminfo: memFree=29591824/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=15688660 CPUtime=4.89 cores=1,3,5,7
/proc/29294/stat : 29294 (java) S 29292 29294 28847 0 -1 4202496 58195 0 1 0 481 8 0 0 25 0 22 0 529540141 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29294/statm: 3922165 51156 2273 9 0 3912884 0
[pid=29294/tid=29296] ppid=29292 vsize=15688660 CPUtime=0.34 cores=1,3,5,7
/proc/29294/task/29296/stat : 29296 (java) S 29292 29294 28847 0 -1 4202560 6222 0 1 0 33 1 0 0 20 0 22 0 529540142 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29297/stat : 29297 (java) S 29292 29294 28847 0 -1 4202560 679 0 0 0 0 0 0 0 16 0 22 0 529540142 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29298] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29298/stat : 29298 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529540142 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29299] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29299/stat : 29299 (java) S 29292 29294 28847 0 -1 4202560 526 0 0 0 0 0 0 0 15 0 22 0 529540142 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29300] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29300/stat : 29300 (java) S 29292 29294 28847 0 -1 4202560 599 0 0 0 0 0 0 0 15 0 22 0 529540142 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29301] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29301/stat : 29301 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529540142 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29302] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29302/stat : 29302 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529540142 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29303] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29303/stat : 29303 (java) S 29292 29294 28847 0 -1 4202560 857 0 0 0 0 0 0 0 17 0 22 0 529540142 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29304] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29304/stat : 29304 (java) S 29292 29294 28847 0 -1 4202560 835 0 0 0 0 0 0 0 15 0 22 0 529540142 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29305] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29305/stat : 29305 (java) S 29292 29294 28847 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 529540143 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 0 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29306] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29306/stat : 29306 (java) S 29292 29294 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529540144 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29307] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29307/stat : 29307 (java) S 29292 29294 28847 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529540144 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29308] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29308/stat : 29308 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652683185 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29309] ppid=29292 vsize=15688660 CPUtime=0.64 cores=1,3,5,7
/proc/29294/task/29309/stat : 29309 (java) R 29292 29294 28847 0 -1 4202560 12292 0 0 0 63 1 0 0 18 0 22 0 529540146 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 47952705856395 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29294/tid=29310] ppid=29292 vsize=15688660 CPUtime=0.98 cores=1,3,5,7
/proc/29294/task/29310/stat : 29310 (java) S 29292 29294 28847 0 -1 4202560 5555 0 0 0 98 0 0 0 16 0 22 0 529540146 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29311] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29311/stat : 29311 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29312] ppid=29292 vsize=15688660 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29312/stat : 29312 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529540146 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29313] ppid=29292 vsize=15688660 CPUtime=0.93 cores=1,3,5,7
/proc/29294/task/29313/stat : 29313 (java) R 29292 29294 28847 0 -1 4202560 9956 0 0 0 92 1 0 0 17 0 22 0 529540166 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505668311 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29294/tid=29314] ppid=29292 vsize=15688660 CPUtime=0.37 cores=1,3,5,7
/proc/29294/task/29314/stat : 29314 (java) R 29292 29294 28847 0 -1 4202560 379 0 0 0 37 0 0 0 16 0 22 0 529540166 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505791430 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29294/tid=29315] ppid=29292 vsize=15688660 CPUtime=0.66 cores=1,3,5,7
/proc/29294/task/29315/stat : 29315 (java) R 29292 29294 28847 0 -1 4202560 9288 0 0 0 65 1 0 0 17 0 22 0 529540166 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652685493 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29294/tid=29316] ppid=29292 vsize=15688660 CPUtime=0.91 cores=1,3,5,7
/proc/29294/task/29316/stat : 29316 (java) R 29292 29294 28847 0 -1 4202560 9608 0 0 0 90 1 0 0 16 0 22 0 529540166 16065187840 51156 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505660163 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 15688660

[startup+3.10121 s]
/proc/loadavg: 8.17 8.13 8.09 10/220 29316
/proc/meminfo: memFree=29430620/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=15687100 CPUtime=11.23 cores=1,3,5,7
/proc/29294/stat : 29294 (java) S 29292 29294 28847 0 -1 4202496 159390 0 1 0 1104 19 0 0 25 0 22 0 529540141 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29294/statm: 3921775 145131 2277 9 0 3912494 0
[pid=29294/tid=29296] ppid=29292 vsize=15687100 CPUtime=0.34 cores=1,3,5,7
/proc/29294/task/29296/stat : 29296 (java) S 29292 29294 28847 0 -1 4202560 6222 0 1 0 33 1 0 0 20 0 22 0 529540142 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29297/stat : 29297 (java) S 29292 29294 28847 0 -1 4202560 2025 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29298] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29298/stat : 29298 (java) S 29292 29294 28847 0 -1 4202560 1452 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29299] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29299/stat : 29299 (java) S 29292 29294 28847 0 -1 4202560 528 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29300] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29300/stat : 29300 (java) S 29292 29294 28847 0 -1 4202560 1877 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29301] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29301/stat : 29301 (java) S 29292 29294 28847 0 -1 4202560 1321 0 0 0 0 0 0 0 16 0 22 0 529540142 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29302] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29302/stat : 29302 (java) S 29292 29294 28847 0 -1 4202560 723 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29303] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29303/stat : 29303 (java) S 29292 29294 28847 0 -1 4202560 1392 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29304] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29304/stat : 29304 (java) S 29292 29294 28847 0 -1 4202560 2385 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29305] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29305/stat : 29305 (java) S 29292 29294 28847 0 -1 4202560 188 0 0 0 0 0 0 0 16 0 22 0 529540143 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 0 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29306] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29306/stat : 29306 (java) S 29292 29294 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529540144 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29307] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29307/stat : 29307 (java) S 29292 29294 28847 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529540144 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29308] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29308/stat : 29308 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652683185 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29309] ppid=29292 vsize=15687100 CPUtime=1.08 cores=1,3,5,7
/proc/29294/task/29309/stat : 29309 (java) S 29292 29294 28847 0 -1 4202560 16881 0 0 0 107 1 0 0 16 0 22 0 529540146 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29310] ppid=29292 vsize=15687100 CPUtime=1.09 cores=1,3,5,7
/proc/29294/task/29310/stat : 29310 (java) S 29292 29294 28847 0 -1 4202560 5714 0 0 0 109 0 0 0 15 0 22 0 529540146 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29311] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29311/stat : 29311 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29312] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29312/stat : 29312 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529540146 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29313] ppid=29292 vsize=15687100 CPUtime=2.39 cores=1,3,5,7
/proc/29294/task/29313/stat : 29313 (java) R 29292 29294 28847 0 -1 4202560 32337 0 0 0 236 3 0 0 20 0 22 0 529540166 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505690087 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29294/tid=29314] ppid=29292 vsize=15687100 CPUtime=1.94 cores=1,3,5,7
/proc/29294/task/29314/stat : 29314 (java) R 29292 29294 28847 0 -1 4202560 22540 0 0 0 192 2 0 0 17 0 22 0 529540166 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505668021 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29294/tid=29315] ppid=29292 vsize=15687100 CPUtime=1.86 cores=1,3,5,7
/proc/29294/task/29315/stat : 29315 (java) R 29292 29294 28847 0 -1 4202560 31465 0 0 0 183 3 0 0 18 0 22 0 529540166 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505791440 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29294/tid=29316] ppid=29292 vsize=15687100 CPUtime=2.4 cores=1,3,5,7
/proc/29294/task/29316/stat : 29316 (java) R 29292 29294 28847 0 -1 4202560 30955 0 0 0 237 3 0 0 18 0 22 0 529540166 16063590400 145131 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505791363 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 15687100

[startup+6.30162 s]
/proc/loadavg: 8.17 8.13 8.09 9/220 29317
/proc/meminfo: memFree=29205168/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=15687100 CPUtime=23.97 cores=1,3,5,7
/proc/29294/stat : 29294 (java) S 29292 29294 28847 0 -1 4202496 160728 0 1 0 2377 20 0 0 25 0 22 0 529540141 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29294/statm: 3921775 139227 2284 9 0 3912494 0
[pid=29294/tid=29296] ppid=29292 vsize=15687100 CPUtime=0.34 cores=1,3,5,7
/proc/29294/task/29296/stat : 29296 (java) S 29292 29294 28847 0 -1 4202560 6222 0 1 0 33 1 0 0 20 0 22 0 529540142 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29297/stat : 29297 (java) S 29292 29294 28847 0 -1 4202560 2052 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29298] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29298/stat : 29298 (java) S 29292 29294 28847 0 -1 4202560 1507 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29299] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29299/stat : 29299 (java) S 29292 29294 28847 0 -1 4202560 623 0 0 0 0 0 0 0 16 0 22 0 529540142 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29300] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29300/stat : 29300 (java) S 29292 29294 28847 0 -1 4202560 2116 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29301] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29301/stat : 29301 (java) S 29292 29294 28847 0 -1 4202560 1338 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29302] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29302/stat : 29302 (java) S 29292 29294 28847 0 -1 4202560 1071 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29303] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29303/stat : 29303 (java) S 29292 29294 28847 0 -1 4202560 1826 0 0 0 0 0 0 0 15 0 22 0 529540142 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29304] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29304/stat : 29304 (java) S 29292 29294 28847 0 -1 4202560 2422 0 0 0 0 0 0 0 16 0 22 0 529540142 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29305] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29305/stat : 29305 (java) S 29292 29294 28847 0 -1 4202560 188 0 0 0 0 0 0 0 16 0 22 0 529540143 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 0 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29306] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29306/stat : 29306 (java) S 29292 29294 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529540144 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29307] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29307/stat : 29307 (java) S 29292 29294 28847 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529540144 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29308] ppid=29292 vsize=15687100 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29308/stat : 29308 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652683185 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29309] ppid=29292 vsize=15687100 CPUtime=1.1 cores=1,3,5,7
/proc/29294/task/29309/stat : 29309 (java) S 29292 29294 28847 0 -1 4202560 16884 0 0 0 108 2 0 0 16 0 22 0 529540146 16063590400 139227 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0

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

[pid=29294/tid=29314] ppid=29292 vsize=15752636 CPUtime=1107.13 cores=1,3,5,7
/proc/29294/task/29314/stat : 29314 (java) R 29292 29294 28847 0 -1 4202560 309855 0 0 0 110667 46 0 0 25 0 22 0 529540166 16130699264 87786 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505690665 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29294/tid=29315] ppid=29292 vsize=15752636 CPUtime=1107.24 cores=1,3,5,7
/proc/29294/task/29315/stat : 29315 (java) R 29292 29294 28847 0 -1 4202560 321201 0 0 0 110671 53 0 0 25 0 22 0 529540166 16130699264 87786 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505791403 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29294/tid=29316] ppid=29292 vsize=15752636 CPUtime=1108.28 cores=1,3,5,7
/proc/29294/task/29316/stat : 29316 (java) R 29292 29294 28847 0 -1 4202560 317311 0 0 0 110778 50 0 0 25 0 22 0 529540166 16130699264 87786 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505972986 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4461.14
Current children cumulated vsize (KiB) 15752636

[startup+1182.3 s]
/proc/loadavg: 4.02 4.97 6.56 5/193 29371
/proc/meminfo: memFree=29752932/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=15752636 CPUtime=4699.67 cores=1,3,5,7
/proc/29294/stat : 29294 (java) S 29292 29294 28847 0 -1 4202496 2365000 0 1 0 469462 505 0 0 25 0 22 0 529540141 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29294/statm: 3938159 90304 2298 9 0 3928878 0
[pid=29294/tid=29296] ppid=29292 vsize=15752636 CPUtime=0.34 cores=1,3,5,7
/proc/29294/task/29296/stat : 29296 (java) S 29292 29294 28847 0 -1 4202560 6222 0 1 0 33 1 0 0 20 0 22 0 529540142 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29292 vsize=15752636 CPUtime=3.39 cores=1,3,5,7
/proc/29294/task/29297/stat : 29297 (java) S 29292 29294 28847 0 -1 4202560 128741 0 0 0 310 29 0 0 15 0 22 0 529540142 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29298] ppid=29292 vsize=15752636 CPUtime=3.38 cores=1,3,5,7
/proc/29294/task/29298/stat : 29298 (java) S 29292 29294 28847 0 -1 4202560 122546 0 0 0 312 26 0 0 15 0 22 0 529540142 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29299] ppid=29292 vsize=15752636 CPUtime=3.39 cores=1,3,5,7
/proc/29294/task/29299/stat : 29299 (java) S 29292 29294 28847 0 -1 4202560 126419 0 0 0 314 25 0 0 15 0 22 0 529540142 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29300] ppid=29292 vsize=15752636 CPUtime=3.38 cores=1,3,5,7
/proc/29294/task/29300/stat : 29300 (java) S 29292 29294 28847 0 -1 4202560 126099 0 0 0 312 26 0 0 15 0 22 0 529540142 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29301] ppid=29292 vsize=15752636 CPUtime=3.35 cores=1,3,5,7
/proc/29294/task/29301/stat : 29301 (java) S 29292 29294 28847 0 -1 4202560 123187 0 0 0 310 25 0 0 16 0 22 0 529540142 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29302] ppid=29292 vsize=15752636 CPUtime=3.41 cores=1,3,5,7
/proc/29294/task/29302/stat : 29302 (java) S 29292 29294 28847 0 -1 4202560 130270 0 0 0 316 25 0 0 15 0 22 0 529540142 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29303] ppid=29292 vsize=15752636 CPUtime=3.37 cores=1,3,5,7
/proc/29294/task/29303/stat : 29303 (java) S 29292 29294 28847 0 -1 4202560 124607 0 0 0 312 25 0 0 16 0 22 0 529540142 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29304] ppid=29292 vsize=15752636 CPUtime=3.32 cores=1,3,5,7
/proc/29294/task/29304/stat : 29304 (java) S 29292 29294 28847 0 -1 4202560 124450 0 0 0 308 24 0 0 16 0 22 0 529540142 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29305] ppid=29292 vsize=15752636 CPUtime=2.31 cores=1,3,5,7
/proc/29294/task/29305/stat : 29305 (java) S 29292 29294 28847 0 -1 4202560 6130 0 0 0 155 76 0 0 15 0 22 0 529540143 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 0 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29306] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29306/stat : 29306 (java) S 29292 29294 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529540144 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29307] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29307/stat : 29307 (java) S 29292 29294 28847 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529540144 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29308] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29308/stat : 29308 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652683185 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29309] ppid=29292 vsize=15752636 CPUtime=1.17 cores=1,3,5,7
/proc/29294/task/29309/stat : 29309 (java) S 29292 29294 28847 0 -1 4202560 16899 0 0 0 115 2 0 0 15 0 22 0 529540146 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29310] ppid=29292 vsize=15752636 CPUtime=1.25 cores=1,3,5,7
/proc/29294/task/29310/stat : 29310 (java) S 29292 29294 28847 0 -1 4202560 5752 0 0 0 125 0 0 0 15 0 22 0 529540146 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29311] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29311/stat : 29311 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29312] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29312/stat : 29312 (java) S 29292 29294 28847 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 529540146 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29313] ppid=29292 vsize=15752636 CPUtime=1167.06 cores=1,3,5,7
/proc/29294/task/29313/stat : 29313 (java) R 29292 29294 28847 0 -1 4202560 331467 0 0 0 116649 57 0 0 25 0 22 0 529540166 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 47952710341051 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29294/tid=29314] ppid=29292 vsize=15752636 CPUtime=1166.45 cores=1,3,5,7
/proc/29294/task/29314/stat : 29314 (java) R 29292 29294 28847 0 -1 4202560 324295 0 0 0 116596 49 0 0 25 0 22 0 529540166 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505791430 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29294/tid=29315] ppid=29292 vsize=15752636 CPUtime=1166.55 cores=1,3,5,7
/proc/29294/task/29315/stat : 29315 (java) R 29292 29294 28847 0 -1 4202560 335779 0 0 0 116600 55 0 0 25 0 22 0 529540166 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505713858 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29294/tid=29316] ppid=29292 vsize=15752636 CPUtime=1167.43 cores=1,3,5,7
/proc/29294/task/29316/stat : 29316 (java) R 29292 29294 28847 0 -1 4202560 330688 0 0 0 116691 52 0 0 25 0 22 0 529540166 16130699264 90304 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 47952710342670 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4699.67
Current children cumulated vsize (KiB) 15752636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.6 s]
/proc/loadavg: 4.07 4.90 6.48 5/193 29372
/proc/meminfo: memFree=29737792/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=15752636 CPUtime=4800.27 cores=1,3,5,7
/proc/29294/stat : 29294 (java) S 29292 29294 28847 0 -1 4202496 2422132 0 1 0 479511 516 0 0 25 0 22 0 529540141 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29294/statm: 3938159 95481 2298 9 0 3928878 0
[pid=29294/tid=29296] ppid=29292 vsize=15752636 CPUtime=0.34 cores=1,3,5,7
/proc/29294/task/29296/stat : 29296 (java) S 29292 29294 28847 0 -1 4202560 6222 0 1 0 33 1 0 0 20 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29292 vsize=15752636 CPUtime=3.48 cores=1,3,5,7
/proc/29294/task/29297/stat : 29297 (java) S 29292 29294 28847 0 -1 4202560 132402 0 0 0 318 30 0 0 16 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29298] ppid=29292 vsize=15752636 CPUtime=3.45 cores=1,3,5,7
/proc/29294/task/29298/stat : 29298 (java) S 29292 29294 28847 0 -1 4202560 126056 0 0 0 318 27 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29299] ppid=29292 vsize=15752636 CPUtime=3.47 cores=1,3,5,7
/proc/29294/task/29299/stat : 29299 (java) S 29292 29294 28847 0 -1 4202560 130590 0 0 0 321 26 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29300] ppid=29292 vsize=15752636 CPUtime=3.44 cores=1,3,5,7
/proc/29294/task/29300/stat : 29300 (java) S 29292 29294 28847 0 -1 4202560 129471 0 0 0 318 26 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29301] ppid=29292 vsize=15752636 CPUtime=3.42 cores=1,3,5,7
/proc/29294/task/29301/stat : 29301 (java) S 29292 29294 28847 0 -1 4202560 125905 0 0 0 316 26 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29302] ppid=29292 vsize=15752636 CPUtime=3.48 cores=1,3,5,7
/proc/29294/task/29302/stat : 29302 (java) S 29292 29294 28847 0 -1 4202560 133851 0 0 0 322 26 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29303] ppid=29292 vsize=15752636 CPUtime=3.44 cores=1,3,5,7
/proc/29294/task/29303/stat : 29303 (java) S 29292 29294 28847 0 -1 4202560 127561 0 0 0 318 26 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29304] ppid=29292 vsize=15752636 CPUtime=3.4 cores=1,3,5,7
/proc/29294/task/29304/stat : 29304 (java) S 29292 29294 28847 0 -1 4202560 127721 0 0 0 315 25 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29305] ppid=29292 vsize=15752636 CPUtime=2.37 cores=1,3,5,7
/proc/29294/task/29305/stat : 29305 (java) S 29292 29294 28847 0 -1 4202560 6327 0 0 0 159 78 0 0 15 0 22 0 529540143 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 0 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29306] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29306/stat : 29306 (java) S 29292 29294 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529540144 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29307] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29307/stat : 29307 (java) S 29292 29294 28847 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529540144 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29308] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29308/stat : 29308 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652683185 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29309] ppid=29292 vsize=15752636 CPUtime=1.17 cores=1,3,5,7
/proc/29294/task/29309/stat : 29309 (java) S 29292 29294 28847 0 -1 4202560 16899 0 0 0 115 2 0 0 15 0 22 0 529540146 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29310] ppid=29292 vsize=15752636 CPUtime=1.25 cores=1,3,5,7
/proc/29294/task/29310/stat : 29310 (java) S 29292 29294 28847 0 -1 4202560 5752 0 0 0 125 0 0 0 15 0 22 0 529540146 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29311] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29311/stat : 29311 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29312] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29312/stat : 29312 (java) S 29292 29294 28847 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 529540146 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29313] ppid=29292 vsize=15752636 CPUtime=1192.03 cores=1,3,5,7
/proc/29294/task/29313/stat : 29313 (java) R 29292 29294 28847 0 -1 4202560 339092 0 0 0 119145 58 0 0 25 0 22 0 529540166 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505973834 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29294/tid=29314] ppid=29292 vsize=15752636 CPUtime=1191.44 cores=1,3,5,7
/proc/29294/task/29314/stat : 29314 (java) R 29292 29294 28847 0 -1 4202560 332012 0 0 0 119093 51 0 0 25 0 22 0 529540166 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 47952710339679 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29294/tid=29315] ppid=29292 vsize=15752636 CPUtime=1191.55 cores=1,3,5,7
/proc/29294/task/29315/stat : 29315 (java) R 29292 29294 28847 0 -1 4202560 343006 0 0 0 119099 56 0 0 25 0 22 0 529540166 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505755856 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29294/tid=29316] ppid=29292 vsize=15752636 CPUtime=1192.41 cores=1,3,5,7
/proc/29294/task/29316/stat : 29316 (java) R 29292 29294 28847 0 -1 4202560 337816 0 0 0 119189 52 0 0 25 0 22 0 529540166 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505791403 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 15752636

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

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

[startup+1207.6 s]
/proc/loadavg: 4.07 4.90 6.48 5/193 29372
/proc/meminfo: memFree=29737792/32951124 swapFree=67111364/67111528
[pid=29294] ppid=29292 vsize=15752636 CPUtime=4800.27 cores=1,3,5,7
/proc/29294/stat : 29294 (java) S 29292 29294 28847 0 -1 4202496 2422132 0 1 0 479511 516 0 0 25 0 22 0 529540141 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29294/statm: 3938159 95481 2298 9 0 3928878 0
[pid=29294/tid=29296] ppid=29292 vsize=15752636 CPUtime=0.34 cores=1,3,5,7
/proc/29294/task/29296/stat : 29296 (java) S 29292 29294 28847 0 -1 4202560 6222 0 1 0 33 1 0 0 20 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29297] ppid=29292 vsize=15752636 CPUtime=3.48 cores=1,3,5,7
/proc/29294/task/29297/stat : 29297 (java) S 29292 29294 28847 0 -1 4202560 132402 0 0 0 318 30 0 0 16 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29298] ppid=29292 vsize=15752636 CPUtime=3.45 cores=1,3,5,7
/proc/29294/task/29298/stat : 29298 (java) S 29292 29294 28847 0 -1 4202560 126056 0 0 0 318 27 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29299] ppid=29292 vsize=15752636 CPUtime=3.47 cores=1,3,5,7
/proc/29294/task/29299/stat : 29299 (java) S 29292 29294 28847 0 -1 4202560 130590 0 0 0 321 26 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 5 0 0 0
[pid=29294/tid=29300] ppid=29292 vsize=15752636 CPUtime=3.44 cores=1,3,5,7
/proc/29294/task/29300/stat : 29300 (java) S 29292 29294 28847 0 -1 4202560 129471 0 0 0 318 26 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29301] ppid=29292 vsize=15752636 CPUtime=3.42 cores=1,3,5,7
/proc/29294/task/29301/stat : 29301 (java) S 29292 29294 28847 0 -1 4202560 125905 0 0 0 316 26 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29302] ppid=29292 vsize=15752636 CPUtime=3.48 cores=1,3,5,7
/proc/29294/task/29302/stat : 29302 (java) S 29292 29294 28847 0 -1 4202560 133851 0 0 0 322 26 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29303] ppid=29292 vsize=15752636 CPUtime=3.44 cores=1,3,5,7
/proc/29294/task/29303/stat : 29303 (java) S 29292 29294 28847 0 -1 4202560 127561 0 0 0 318 26 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29304] ppid=29292 vsize=15752636 CPUtime=3.4 cores=1,3,5,7
/proc/29294/task/29304/stat : 29304 (java) S 29292 29294 28847 0 -1 4202560 127721 0 0 0 315 25 0 0 15 0 22 0 529540142 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29305] ppid=29292 vsize=15752636 CPUtime=2.37 cores=1,3,5,7
/proc/29294/task/29305/stat : 29305 (java) S 29292 29294 28847 0 -1 4202560 6327 0 0 0 159 78 0 0 15 0 22 0 529540143 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 0 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29306] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29306/stat : 29306 (java) S 29292 29294 28847 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529540144 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29307] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29307/stat : 29307 (java) S 29292 29294 28847 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529540144 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29308] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29308/stat : 29308 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652683185 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29309] ppid=29292 vsize=15752636 CPUtime=1.17 cores=1,3,5,7
/proc/29294/task/29309/stat : 29309 (java) S 29292 29294 28847 0 -1 4202560 16899 0 0 0 115 2 0 0 15 0 22 0 529540146 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 7 0 0 0
[pid=29294/tid=29310] ppid=29292 vsize=15752636 CPUtime=1.25 cores=1,3,5,7
/proc/29294/task/29310/stat : 29310 (java) S 29292 29294 28847 0 -1 4202560 5752 0 0 0 125 0 0 0 15 0 22 0 529540146 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29311] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29311/stat : 29311 (java) S 29292 29294 28847 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529540146 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652675481 0 4 0 16800975 18446604470202641088 0 0 -1 1 0 0 0
[pid=29294/tid=29312] ppid=29292 vsize=15752636 CPUtime=0 cores=1,3,5,7
/proc/29294/task/29312/stat : 29312 (java) S 29292 29294 28847 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 529540146 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 253652676096 0 4 0 16800975 18446604470202641088 0 0 -1 3 0 0 0
[pid=29294/tid=29313] ppid=29292 vsize=15752636 CPUtime=1192.03 cores=1,3,5,7
/proc/29294/task/29313/stat : 29313 (java) R 29292 29294 28847 0 -1 4202560 339092 0 0 0 119145 58 0 0 25 0 22 0 529540166 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505973834 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29294/tid=29314] ppid=29292 vsize=15752636 CPUtime=1191.44 cores=1,3,5,7
/proc/29294/task/29314/stat : 29314 (java) R 29292 29294 28847 0 -1 4202560 332012 0 0 0 119093 51 0 0 25 0 22 0 529540166 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 47952710339679 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29294/tid=29315] ppid=29292 vsize=15752636 CPUtime=1191.55 cores=1,3,5,7
/proc/29294/task/29315/stat : 29315 (java) R 29292 29294 28847 0 -1 4202560 343006 0 0 0 119099 56 0 0 25 0 22 0 529540166 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505755856 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29294/tid=29316] ppid=29292 vsize=15752636 CPUtime=1192.41 cores=1,3,5,7
/proc/29294/task/29316/stat : 29316 (java) R 29292 29294 28847 0 -1 4202560 337816 0 0 0 119189 52 0 0 25 0 22 0 529540166 16130699264 95481 33554432000 1073741824 1073778376 140735786875808 18446744073709551615 46912505791403 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 15752636

Child status: 143
Real time (s): 1207.65
CPU time (s): 4800.42
CPU user time (s): 4795.23
CPU system time (s): 5.18621
CPU usage (%): 397.499
Max. virtual memory (cumulated for all children) (KiB): 15752636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.23
system time used= 5.18621
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2422159
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249623
involuntary context switches= 142654

runsolver used 1.9417 second user time and 4.70428 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-30 18:03:17
IDJOB=3311692
IDBENCH=83077
IDSOLVER=1698
FILE ID=node106/3311692-1304179397
RUNJOBID= node106-1304176515-28866
PBS_JOBID= 13172424
Free space on /tmp= 72884 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311692-1304179397/watcher-3311692-1304179397 -o /tmp/evaluation-result-3311692-1304179397/solver-3311692-1304179397 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311692-1304179397.cnf -hbr 2

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

MD5SUM BENCH= c8e689035f3179f449d681054feb5bd2
RANDOM SEED=1112560328

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.82
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.830
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.74
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.830
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.830
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29783672 kB
Buffers:        287416 kB
Cached:        2274196 kB
SwapCached:         88 kB
Active:        1224776 kB
Inactive:      1727116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29783672 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            1624 kB
Writeback:           0 kB
AnonPages:      389896 kB
Mapped:          23480 kB
Slab:           148524 kB
PageTables:       6412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   591900 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= 72888 MiB
End job on node106 at 2011-04-30 18:23:27