Trace number 3311197

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 1205.64

General information on the benchmark

Namerandom/large/
unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf
MD5SUMa9820c4b7c4cca37033a1ea45b264344
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.10137
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses15000
Sum of the clauses size75000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 515000
Number of clauses of size over 50

Solver Data 

0.10/0.12	48:39 INFO : Reading from input HOME/instance-3311197-1304113719.cnf
0.52/0.37	Executor set job limit to 1000000
0.52/0.37	Executor set job limit to 1000000
0.52/0.37	Executor set job limit to 1000000
0.52/0.37	Executor set job limit to 1000000
0.52/0.37	Starting Executor!
0.52/0.37	Starting Executor!
0.52/0.37	Starting Executor!
0.52/0.37	Starting Executor!
1.72/0.87	48:40 INFO : 750 variables remaining out of 750
1.72/0.87	48:40 INFO : 90000 literals remaining out of 90000

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-3311197-1304113719/watcher-3311197-1304113719 -o /tmp/evaluation-result-3311197-1304113719/solver-3311197-1304113719 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311197-1304113719.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: 4.90 5.03 5.79 5/198 18483
/proc/meminfo: memFree=21095128/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/18483/stat : 18483 (java) R 18481 18483 18155 0 -1 4202496 915 0 0 0 0 0 0 0 25 0 1 0 522970615 23580672 401 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251809277717 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/18483/statm: 5757 411 318 9 0 124 0

[startup+0.096235 s]
/proc/loadavg: 4.90 5.03 5.79 5/198 18483
/proc/meminfo: memFree=21095128/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=15677128 CPUtime=0.1 cores=1,3,5,7
/proc/18483/stat : 18483 (java) S 18481 18483 18155 0 -1 4202496 5533 0 1 0 9 1 0 0 25 0 18 0 522970615 16053379072 4934 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18483/statm: 3919282 4935 2115 9 0 3910001 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677128

[startup+0.100232 s]
/proc/loadavg: 4.90 5.03 5.79 5/198 18483
/proc/meminfo: memFree=21095128/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=15677128 CPUtime=0.1 cores=1,3,5,7
/proc/18483/stat : 18483 (java) S 18481 18483 18155 0 -1 4202496 5584 0 1 0 9 1 0 0 25 0 18 0 522970615 16053379072 4985 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18483/statm: 3919282 4985 2116 9 0 3910001 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677128

[startup+0.300202 s]
/proc/loadavg: 4.90 5.03 5.79 5/198 18483
/proc/meminfo: memFree=21095128/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=15680812 CPUtime=0.52 cores=1,3,5,7
/proc/18483/stat : 18483 (java) S 18481 18483 18155 0 -1 4202496 15047 0 1 0 50 2 0 0 25 0 18 0 522970615 16057151488 13481 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18483/statm: 3920203 13488 2206 9 0 3910922 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15680812

[startup+0.700139 s]
/proc/loadavg: 4.90 5.03 5.79 5/198 18483
/proc/meminfo: memFree=21095128/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=15708296 CPUtime=1.42 cores=1,3,5,7
/proc/18483/stat : 18483 (java) S 18481 18483 18155 0 -1 4202496 37598 0 1 0 137 5 0 0 25 0 22 0 522970615 16085295104 33256 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18483/statm: 3927074 33256 2241 9 0 3917793 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 15708296

[startup+1.501 s]
/proc/loadavg: 4.90 5.03 5.79 9/220 18505
/proc/meminfo: memFree=20958100/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=15710040 CPUtime=4.23 cores=1,3,5,7
/proc/18483/stat : 18483 (java) S 18481 18483 18155 0 -1 4202496 65478 0 1 0 415 8 0 0 25 0 22 0 522970615 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18483/statm: 3927510 55547 2272 9 0 3918229 0
[pid=18483/tid=18485] ppid=18481 vsize=15710040 CPUtime=0.86 cores=1,3,5,7
/proc/18483/task/18485/stat : 18485 (java) S 18481 18483 18155 0 -1 4202560 21885 0 1 0 83 3 0 0 25 0 22 0 522970616 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18486] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18486/stat : 18486 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522970616 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18487] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18487/stat : 18487 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522970616 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18488] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18488/stat : 18488 (java) S 18481 18483 18155 0 -1 4202560 822 0 0 0 0 0 0 0 16 0 22 0 522970616 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18489] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18489/stat : 18489 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522970616 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18490] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18490/stat : 18490 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522970616 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18491] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18491/stat : 18491 (java) S 18481 18483 18155 0 -1 4202560 1689 0 0 0 0 0 0 0 15 0 22 0 522970616 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18492] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18492/stat : 18492 (java) S 18481 18483 18155 0 -1 4202560 2962 0 0 0 0 0 0 0 16 0 22 0 522970616 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18493] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18493/stat : 18493 (java) S 18481 18483 18155 0 -1 4202560 982 0 0 0 0 0 0 0 15 0 22 0 522970616 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18494] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18494/stat : 18494 (java) S 18481 18483 18155 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 522970617 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 0 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18495] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18495/stat : 18495 (java) S 18481 18483 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522970618 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18496] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18496/stat : 18496 (java) S 18481 18483 18155 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522970618 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18497] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18497/stat : 18497 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826063793 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18498] ppid=18481 vsize=15710040 CPUtime=0.88 cores=1,3,5,7
/proc/18483/task/18498/stat : 18498 (java) R 18481 18483 18155 0 -1 4202560 14045 0 0 0 87 1 0 0 25 0 22 0 522970620 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 47270430098865 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18483/tid=18499] ppid=18481 vsize=15710040 CPUtime=0.8 cores=1,3,5,7
/proc/18483/task/18499/stat : 18499 (java) R 18481 18483 18155 0 -1 4202560 7821 0 0 0 80 0 0 0 25 0 22 0 522970620 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 47270433727200 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18483/tid=18500] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18500/stat : 18500 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18501] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18501/stat : 18501 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522970620 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18502] ppid=18481 vsize=15710040 CPUtime=0.33 cores=1,3,5,7
/proc/18483/task/18502/stat : 18502 (java) R 18481 18483 18155 0 -1 4202560 3321 0 0 0 33 0 0 0 19 0 22 0 522970652 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505984042 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18483/tid=18503] ppid=18481 vsize=15710040 CPUtime=0.37 cores=1,3,5,7
/proc/18483/task/18503/stat : 18503 (java) R 18481 18483 18155 0 -1 4202560 798 0 0 0 37 0 0 0 18 0 22 0 522970652 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505848684 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18483/tid=18504] ppid=18481 vsize=15710040 CPUtime=0.43 cores=1,3,5,7
/proc/18483/task/18504/stat : 18504 (java) R 18481 18483 18155 0 -1 4202560 3960 0 0 0 43 0 0 0 16 0 22 0 522970652 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505835053 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18483/tid=18505] ppid=18481 vsize=15710040 CPUtime=0.48 cores=1,3,5,7
/proc/18483/task/18505/stat : 18505 (java) R 18481 18483 18155 0 -1 4202560 5727 0 0 0 48 0 0 0 16 0 22 0 522970652 16087080960 55547 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505848469 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.23
Current children cumulated vsize (KiB) 15710040

[startup+3.10074 s]
/proc/loadavg: 4.90 5.03 5.79 10/220 18505
/proc/meminfo: memFree=20825544/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=15710040 CPUtime=10.61 cores=1,3,5,7
/proc/18483/stat : 18483 (java) S 18481 18483 18155 0 -1 4202496 124951 0 1 0 1045 16 0 0 25 0 22 0 522970615 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18483/statm: 3927510 114861 2274 9 0 3918229 0
[pid=18483/tid=18485] ppid=18481 vsize=15710040 CPUtime=0.86 cores=1,3,5,7
/proc/18483/task/18485/stat : 18485 (java) S 18481 18483 18155 0 -1 4202560 21885 0 1 0 83 3 0 0 25 0 22 0 522970616 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18486] ppid=18481 vsize=15710040 CPUtime=0.03 cores=1,3,5,7
/proc/18483/task/18486/stat : 18486 (java) S 18481 18483 18155 0 -1 4202560 10817 0 0 0 2 1 0 0 16 0 22 0 522970616 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18487] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18487/stat : 18487 (java) S 18481 18483 18155 0 -1 4202560 2791 0 0 0 0 0 0 0 16 0 22 0 522970616 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18488] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18488/stat : 18488 (java) S 18481 18483 18155 0 -1 4202560 4673 0 0 0 0 0 0 0 15 0 22 0 522970616 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18489] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18489/stat : 18489 (java) S 18481 18483 18155 0 -1 4202560 1897 0 0 0 0 0 0 0 15 0 22 0 522970616 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18490] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18490/stat : 18490 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522970616 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18491] ppid=18481 vsize=15710040 CPUtime=0.02 cores=1,3,5,7
/proc/18483/task/18491/stat : 18491 (java) S 18481 18483 18155 0 -1 4202560 9669 0 0 0 1 1 0 0 15 0 22 0 522970616 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18492] ppid=18481 vsize=15710040 CPUtime=0.02 cores=1,3,5,7
/proc/18483/task/18492/stat : 18492 (java) S 18481 18483 18155 0 -1 4202560 8784 0 0 0 1 1 0 0 16 0 22 0 522970616 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18493] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18493/stat : 18493 (java) S 18481 18483 18155 0 -1 4202560 4561 0 0 0 0 0 0 0 16 0 22 0 522970616 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18494] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18494/stat : 18494 (java) S 18481 18483 18155 0 -1 4202560 239 0 0 0 0 0 0 0 15 0 22 0 522970617 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 0 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18495] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18495/stat : 18495 (java) S 18481 18483 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522970618 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18496] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18496/stat : 18496 (java) S 18481 18483 18155 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522970618 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18497] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18497/stat : 18497 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826063793 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18498] ppid=18481 vsize=15710040 CPUtime=0.92 cores=1,3,5,7
/proc/18483/task/18498/stat : 18498 (java) R 18481 18483 18155 0 -1 4202560 14045 0 0 0 91 1 0 0 25 0 22 0 522970620 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 47270430098450 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18483/tid=18499] ppid=18481 vsize=15710040 CPUtime=0.98 cores=1,3,5,7
/proc/18483/task/18499/stat : 18499 (java) S 18481 18483 18155 0 -1 4202560 7846 0 0 0 98 0 0 0 20 0 22 0 522970620 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18500] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18500/stat : 18500 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18501] ppid=18481 vsize=15710040 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18501/stat : 18501 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522970620 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18502] ppid=18481 vsize=15710040 CPUtime=1.69 cores=1,3,5,7
/proc/18483/task/18502/stat : 18502 (java) R 18481 18483 18155 0 -1 4202560 9046 0 0 0 169 0 0 0 20 0 22 0 522970652 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505523184 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18483/tid=18503] ppid=18481 vsize=15710040 CPUtime=1.91 cores=1,3,5,7
/proc/18483/task/18503/stat : 18503 (java) R 18481 18483 18155 0 -1 4202560 6733 0 0 0 191 0 0 0 21 0 22 0 522970652 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912506036158 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18483/tid=18504] ppid=18481 vsize=15710040 CPUtime=1.98 cores=1,3,5,7
/proc/18483/task/18504/stat : 18504 (java) R 18481 18483 18155 0 -1 4202560 9567 0 0 0 198 0 0 0 17 0 22 0 522970652 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505905376 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18483/tid=18505] ppid=18481 vsize=15710040 CPUtime=2.03 cores=1,3,5,7
/proc/18483/task/18505/stat : 18505 (java) R 18481 18483 18155 0 -1 4202560 11009 0 0 0 202 1 0 0 17 0 22 0 522970652 16087080960 114861 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505941533 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.61
Current children cumulated vsize (KiB) 15710040

[startup+6.3012 s]
/proc/loadavg: 5.23 5.09 5.81 9/220 18505
/proc/meminfo: memFree=20244616/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=15704408 CPUtime=23.39 cores=1,3,5,7
/proc/18483/stat : 18483 (java) S 18481 18483 18155 0 -1 4202496 306282 0 1 0 2300 39 0 0 25 0 22 0 522970615 16081313792 294193 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18483/statm: 3926102 294196 2277 9 0 3916821 0
[pid=18483/tid=18485] ppid=18481 vsize=15704408 CPUtime=0.86 cores=1,3,5,7
/proc/18483/task/18485/stat : 18485 (java) S 18481 18483 18155 0 -1 4202560 21885 0 1 0 83 3 0 0 25 0 22 0 522970616 16081313792 294197 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18486] ppid=18481 vsize=15704408 CPUtime=0.03 cores=1,3,5,7
/proc/18483/task/18486/stat : 18486 (java) S 18481 18483 18155 0 -1 4202560 10817 0 0 0 2 1 0 0 15 0 22 0 522970616 16081313792 294199 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18487] ppid=18481 vsize=15704408 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18487/stat : 18487 (java) S 18481 18483 18155 0 -1 4202560 2796 0 0 0 0 0 0 0 15 0 22 0 522970616 16081313792 294200 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18488] ppid=18481 vsize=15704408 CPUtime=0.06 cores=1,3,5,7
/proc/18483/task/18488/stat : 18488 (java) S 18481 18483 18155 0 -1 4202560 19526 0 0 0 3 3 0 0 16 0 22 0 522970616 16081313792 294202 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18489] ppid=18481 vsize=15704408 CPUtime=0.02 cores=1,3,5,7
/proc/18483/task/18489/stat : 18489 (java) S 18481 18483 18155 0 -1 4202560 9196 0 0 0 1 1 0 0 15 0 22 0 522970616 16081313792 294204 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18490] ppid=18481 vsize=15704408 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18490/stat : 18490 (java) S 18481 18483 18155 0 -1 4202560 195 0 0 0 0 0 0 0 16 0 22 0 522970616 16081313792 294205 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18491] ppid=18481 vsize=15704408 CPUtime=0.06 cores=1,3,5,7
/proc/18483/task/18491/stat : 18491 (java) S 18481 18483 18155 0 -1 4202560 23361 0 0 0 4 2 0 0 16 0 22 0 522970616 16081313792 294207 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18492] ppid=18481 vsize=15704408 CPUtime=0.04 cores=1,3,5,7
/proc/18483/task/18492/stat : 18492 (java) S 18481 18483 18155 0 -1 4202560 15437 0 0 0 2 2 0 0 16 0 22 0 522970616 16081313792 294209 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18493] ppid=18481 vsize=15704408 CPUtime=0.04 cores=1,3,5,7
/proc/18483/task/18493/stat : 18493 (java) S 18481 18483 18155 0 -1 4202560 11202 0 0 0 2 2 0 0 16 0 22 0 522970616 16081313792 294210 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18494] ppid=18481 vsize=15704408 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18494/stat : 18494 (java) S 18481 18483 18155 0 -1 4202560 531 0 0 0 0 0 0 0 15 0 22 0 522970617 16081313792 294211 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 0 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18495] ppid=18481 vsize=15704408 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18495/stat : 18495 (java) S 18481 18483 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522970618 16081313792 294213 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18496] ppid=18481 vsize=15704408 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18496/stat : 18496 (java) S 18481 18483 18155 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522970618 16081313792 294214 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18497] ppid=18481 vsize=15704408 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18497/stat : 18497 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16081313792 294216 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826063793 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18498] ppid=18481 vsize=15704408 CPUtime=1.02 cores=1,3,5,7
/proc/18483/task/18498/stat : 18498 (java) S 18481 18483 18155 0 -1 4202560 14090 0 0 0 101 1 0 0 15 0 22 0 522970620 16081313792 294217 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0

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

[pid=18483/tid=18503] ppid=18481 vsize=15694352 CPUtime=1049.74 cores=1,3,5,7
/proc/18483/task/18503/stat : 18503 (java) R 18481 18483 18155 0 -1 4202560 343761 0 0 0 104927 47 0 0 25 0 22 0 522970652 16071016448 144177 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 47270433067754 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18483/tid=18504] ppid=18481 vsize=15694352 CPUtime=1049.67 cores=1,3,5,7
/proc/18483/task/18504/stat : 18504 (java) R 18481 18483 18155 0 -1 4202560 344904 0 0 0 104920 47 0 0 25 0 22 0 522970652 16071016448 144177 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505607674 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18483/tid=18505] ppid=18481 vsize=15694352 CPUtime=1049.15 cores=1,3,5,7
/proc/18483/task/18505/stat : 18505 (java) R 18481 18483 18155 0 -1 4202560 343909 0 0 0 104869 46 0 0 25 0 22 0 522970652 16071016448 144177 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505635728 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4229.65
Current children cumulated vsize (KiB) 15694352

[startup+1122.3 s]
/proc/loadavg: 5.16 5.29 5.65 6/219 18547
/proc/meminfo: memFree=14861924/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=15694352 CPUtime=4468.56 cores=1,3,5,7
/proc/18483/stat : 18483 (java) S 18481 18483 18155 0 -1 4202496 2783591 0 1 0 446342 514 0 0 25 0 22 0 522970615 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18483/statm: 3923588 149339 2298 9 0 3914307 0
[pid=18483/tid=18485] ppid=18481 vsize=15694352 CPUtime=0.86 cores=1,3,5,7
/proc/18483/task/18485/stat : 18485 (java) S 18481 18483 18155 0 -1 4202560 21885 0 1 0 83 3 0 0 25 0 22 0 522970616 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18486] ppid=18481 vsize=15694352 CPUtime=3.46 cores=1,3,5,7
/proc/18483/task/18486/stat : 18486 (java) S 18481 18483 18155 0 -1 4202560 146977 0 0 0 321 25 0 0 15 0 22 0 522970616 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 5 0 0 0
[pid=18483/tid=18487] ppid=18481 vsize=15694352 CPUtime=3.51 cores=1,3,5,7
/proc/18483/task/18487/stat : 18487 (java) S 18481 18483 18155 0 -1 4202560 153079 0 0 0 320 31 0 0 15 0 22 0 522970616 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18488] ppid=18481 vsize=15694352 CPUtime=3.55 cores=1,3,5,7
/proc/18483/task/18488/stat : 18488 (java) S 18481 18483 18155 0 -1 4202560 169956 0 0 0 323 32 0 0 16 0 22 0 522970616 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18489] ppid=18481 vsize=15694352 CPUtime=3.56 cores=1,3,5,7
/proc/18483/task/18489/stat : 18489 (java) S 18481 18483 18155 0 -1 4202560 161425 0 0 0 325 31 0 0 15 0 22 0 522970616 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18490] ppid=18481 vsize=15694352 CPUtime=3.51 cores=1,3,5,7
/proc/18483/task/18490/stat : 18490 (java) S 18481 18483 18155 0 -1 4202560 154830 0 0 0 324 27 0 0 16 0 22 0 522970616 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 5 0 0 0
[pid=18483/tid=18491] ppid=18481 vsize=15694352 CPUtime=3.77 cores=1,3,5,7
/proc/18483/task/18491/stat : 18491 (java) S 18481 18483 18155 0 -1 4202560 181356 0 0 0 346 31 0 0 15 0 22 0 522970616 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18492] ppid=18481 vsize=15694352 CPUtime=3.59 cores=1,3,5,7
/proc/18483/task/18492/stat : 18492 (java) S 18481 18483 18155 0 -1 4202560 166938 0 0 0 330 29 0 0 16 0 22 0 522970616 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18493] ppid=18481 vsize=15694352 CPUtime=3.46 cores=1,3,5,7
/proc/18483/task/18493/stat : 18493 (java) S 18481 18483 18155 0 -1 4202560 154150 0 0 0 318 28 0 0 15 0 22 0 522970616 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18494] ppid=18481 vsize=15694352 CPUtime=1.69 cores=1,3,5,7
/proc/18483/task/18494/stat : 18494 (java) S 18481 18483 18155 0 -1 4202560 7374 0 0 0 100 69 0 0 15 0 22 0 522970617 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 0 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18495] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18495/stat : 18495 (java) S 18481 18483 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522970618 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18496] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18496/stat : 18496 (java) S 18481 18483 18155 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522970618 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18497] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18497/stat : 18497 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826063793 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18498] ppid=18481 vsize=15694352 CPUtime=1.21 cores=1,3,5,7
/proc/18483/task/18498/stat : 18498 (java) S 18481 18483 18155 0 -1 4202560 14129 0 0 0 120 1 0 0 15 0 22 0 522970620 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18499] ppid=18481 vsize=15694352 CPUtime=1.37 cores=1,3,5,7
/proc/18483/task/18499/stat : 18499 (java) S 18481 18483 18155 0 -1 4202560 7956 0 0 0 137 0 0 0 16 0 22 0 522970620 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18500] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18500/stat : 18500 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18501] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18501/stat : 18501 (java) S 18481 18483 18155 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 522970620 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 4 0 16800975 18446604467390853440 0 0 -1 5 0 0 0
[pid=18483/tid=18502] ppid=18481 vsize=15694352 CPUtime=1108.38 cores=1,3,5,7
/proc/18483/task/18502/stat : 18502 (java) R 18481 18483 18155 0 -1 4202560 358004 0 0 0 110788 50 0 0 25 0 22 0 522970652 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18483/tid=18503] ppid=18481 vsize=15694352 CPUtime=1108.96 cores=1,3,5,7
/proc/18483/task/18503/stat : 18503 (java) R 18481 18483 18155 0 -1 4202560 361843 0 0 0 110846 50 0 0 25 0 22 0 522970652 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505848483 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18483/tid=18504] ppid=18481 vsize=15694352 CPUtime=1109.05 cores=1,3,5,7
/proc/18483/task/18504/stat : 18504 (java) R 18481 18483 18155 0 -1 4202560 363348 0 0 0 110856 49 0 0 25 0 22 0 522970652 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505848376 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18483/tid=18505] ppid=18481 vsize=15694352 CPUtime=1108.45 cores=1,3,5,7
/proc/18483/task/18505/stat : 18505 (java) R 18481 18483 18155 0 -1 4202560 358889 0 0 0 110797 48 0 0 25 0 22 0 522970652 16071016448 149339 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4468.56
Current children cumulated vsize (KiB) 15694352

[startup+1182.3 s]
/proc/loadavg: 5.30 5.29 5.62 9/220 18599
/proc/meminfo: memFree=28703920/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=15694352 CPUtime=4707.53 cores=1,3,5,7
/proc/18483/stat : 18483 (java) S 18481 18483 18155 0 -1 4202496 2914781 0 1 0 470213 540 0 0 25 0 22 0 522970615 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18483/statm: 3923588 144657 2298 9 0 3914307 0
[pid=18483/tid=18485] ppid=18481 vsize=15694352 CPUtime=0.86 cores=1,3,5,7
/proc/18483/task/18485/stat : 18485 (java) S 18481 18483 18155 0 -1 4202560 21885 0 1 0 83 3 0 0 25 0 22 0 522970616 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18486] ppid=18481 vsize=15694352 CPUtime=3.67 cores=1,3,5,7
/proc/18483/task/18486/stat : 18486 (java) S 18481 18483 18155 0 -1 4202560 153984 0 0 0 341 26 0 0 15 0 22 0 522970616 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18487] ppid=18481 vsize=15694352 CPUtime=3.77 cores=1,3,5,7
/proc/18483/task/18487/stat : 18487 (java) S 18481 18483 18155 0 -1 4202560 162632 0 0 0 344 33 0 0 15 0 22 0 522970616 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 5 0 0 0
[pid=18483/tid=18488] ppid=18481 vsize=15694352 CPUtime=3.77 cores=1,3,5,7
/proc/18483/task/18488/stat : 18488 (java) S 18481 18483 18155 0 -1 4202560 177955 0 0 0 343 34 0 0 16 0 22 0 522970616 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 5 0 0 0
[pid=18483/tid=18489] ppid=18481 vsize=15694352 CPUtime=3.78 cores=1,3,5,7
/proc/18483/task/18489/stat : 18489 (java) S 18481 18483 18155 0 -1 4202560 171156 0 0 0 345 33 0 0 15 0 22 0 522970616 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18490] ppid=18481 vsize=15694352 CPUtime=3.72 cores=1,3,5,7
/proc/18483/task/18490/stat : 18490 (java) S 18481 18483 18155 0 -1 4202560 162978 0 0 0 343 29 0 0 16 0 22 0 522970616 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18491] ppid=18481 vsize=15694352 CPUtime=3.99 cores=1,3,5,7
/proc/18483/task/18491/stat : 18491 (java) S 18481 18483 18155 0 -1 4202560 190465 0 0 0 365 34 0 0 15 0 22 0 522970616 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18492] ppid=18481 vsize=15694352 CPUtime=3.8 cores=1,3,5,7
/proc/18483/task/18492/stat : 18492 (java) S 18481 18483 18155 0 -1 4202560 175549 0 0 0 349 31 0 0 15 0 22 0 522970616 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18493] ppid=18481 vsize=15694352 CPUtime=3.65 cores=1,3,5,7
/proc/18483/task/18493/stat : 18493 (java) S 18481 18483 18155 0 -1 4202560 160509 0 0 0 336 29 0 0 15 0 22 0 522970616 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18494] ppid=18481 vsize=15694352 CPUtime=1.78 cores=1,3,5,7
/proc/18483/task/18494/stat : 18494 (java) S 18481 18483 18155 0 -1 4202560 7700 0 0 0 106 72 0 0 15 0 22 0 522970617 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 0 0 16800975 18446604467390853440 0 0 -1 5 0 0 0
[pid=18483/tid=18495] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18495/stat : 18495 (java) S 18481 18483 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522970618 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18496] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18496/stat : 18496 (java) S 18481 18483 18155 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522970618 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18497] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18497/stat : 18497 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826063793 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18498] ppid=18481 vsize=15694352 CPUtime=1.21 cores=1,3,5,7
/proc/18483/task/18498/stat : 18498 (java) S 18481 18483 18155 0 -1 4202560 14129 0 0 0 120 1 0 0 15 0 22 0 522970620 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18499] ppid=18481 vsize=15694352 CPUtime=1.37 cores=1,3,5,7
/proc/18483/task/18499/stat : 18499 (java) S 18481 18483 18155 0 -1 4202560 7956 0 0 0 137 0 0 0 16 0 22 0 522970620 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18500] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18500/stat : 18500 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18501] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18501/stat : 18501 (java) S 18481 18483 18155 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 522970620 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 4 0 16800975 18446604467390853440 0 0 -1 5 0 0 0
[pid=18483/tid=18502] ppid=18481 vsize=15694352 CPUtime=1167.76 cores=1,3,5,7
/proc/18483/task/18502/stat : 18502 (java) R 18481 18483 18155 0 -1 4202560 374376 0 0 0 116723 53 0 0 25 0 22 0 522970652 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 47270433067163 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18483/tid=18503] ppid=18481 vsize=15694352 CPUtime=1168.21 cores=1,3,5,7
/proc/18483/task/18503/stat : 18503 (java) R 18481 18483 18155 0 -1 4202560 378051 0 0 0 116768 53 0 0 25 0 22 0 522970652 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505695381 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18483/tid=18504] ppid=18481 vsize=15694352 CPUtime=1168.42 cores=1,3,5,7
/proc/18483/task/18504/stat : 18504 (java) R 18481 18483 18155 0 -1 4202560 379512 0 0 0 116790 52 0 0 20 0 22 0 522970652 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18483/tid=18505] ppid=18481 vsize=15694352 CPUtime=1167.62 cores=1,3,5,7
/proc/18483/task/18505/stat : 18505 (java) R 18481 18483 18155 0 -1 4202560 374488 0 0 0 116712 50 0 0 25 0 22 0 522970652 16071016448 144657 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505742511 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4707.53
Current children cumulated vsize (KiB) 15694352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.61 s]
/proc/loadavg: 6.28 5.52 5.69 9/220 18600
/proc/meminfo: memFree=26406660/32950928 swapFree=67111448/67111528
[pid=18483] ppid=18481 vsize=15694352 CPUtime=4800.36 cores=1,3,5,7
/proc/18483/stat : 18483 (java) S 18481 18483 18155 0 -1 4202496 2956036 0 1 0 479487 549 0 0 25 0 22 0 522970615 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/18483/statm: 3923588 137807 2298 9 0 3914307 0
[pid=18483/tid=18485] ppid=18481 vsize=15694352 CPUtime=0.86 cores=1,3,5,7
/proc/18483/task/18485/stat : 18485 (java) S 18481 18483 18155 0 -1 4202560 21885 0 1 0 83 3 0 0 25 0 22 0 522970616 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18486] ppid=18481 vsize=15694352 CPUtime=3.76 cores=1,3,5,7
/proc/18483/task/18486/stat : 18486 (java) S 18481 18483 18155 0 -1 4202560 157315 0 0 0 349 27 0 0 15 0 22 0 522970616 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18487] ppid=18481 vsize=15694352 CPUtime=3.85 cores=1,3,5,7
/proc/18483/task/18487/stat : 18487 (java) S 18481 18483 18155 0 -1 4202560 164737 0 0 0 352 33 0 0 15 0 22 0 522970616 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 5 0 0 0
[pid=18483/tid=18488] ppid=18481 vsize=15694352 CPUtime=3.83 cores=1,3,5,7
/proc/18483/task/18488/stat : 18488 (java) S 18481 18483 18155 0 -1 4202560 180077 0 0 0 349 34 0 0 15 0 22 0 522970616 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18489] ppid=18481 vsize=15694352 CPUtime=3.87 cores=1,3,5,7
/proc/18483/task/18489/stat : 18489 (java) S 18481 18483 18155 0 -1 4202560 175081 0 0 0 354 33 0 0 15 0 22 0 522970616 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18490] ppid=18481 vsize=15694352 CPUtime=3.8 cores=1,3,5,7
/proc/18483/task/18490/stat : 18490 (java) S 18481 18483 18155 0 -1 4202560 165232 0 0 0 351 29 0 0 15 0 22 0 522970616 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18491] ppid=18481 vsize=15694352 CPUtime=4.06 cores=1,3,5,7
/proc/18483/task/18491/stat : 18491 (java) S 18481 18483 18155 0 -1 4202560 193529 0 0 0 372 34 0 0 15 0 22 0 522970616 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18492] ppid=18481 vsize=15694352 CPUtime=3.88 cores=1,3,5,7
/proc/18483/task/18492/stat : 18492 (java) S 18481 18483 18155 0 -1 4202560 178230 0 0 0 356 32 0 0 15 0 22 0 522970616 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 5 0 0 0
[pid=18483/tid=18493] ppid=18481 vsize=15694352 CPUtime=3.74 cores=1,3,5,7
/proc/18483/task/18493/stat : 18493 (java) S 18481 18483 18155 0 -1 4202560 163675 0 0 0 344 30 0 0 15 0 22 0 522970616 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18494] ppid=18481 vsize=15694352 CPUtime=1.81 cores=1,3,5,7
/proc/18483/task/18494/stat : 18494 (java) S 18481 18483 18155 0 -1 4202560 7810 0 0 0 107 74 0 0 15 0 22 0 522970617 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 0 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18495] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18495/stat : 18495 (java) S 18481 18483 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522970618 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18496] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18496/stat : 18496 (java) S 18481 18483 18155 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522970618 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18497] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18497/stat : 18497 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826063793 0 4 0 16800975 18446604467390853440 0 0 -1 1 0 0 0
[pid=18483/tid=18498] ppid=18481 vsize=15694352 CPUtime=1.21 cores=1,3,5,7
/proc/18483/task/18498/stat : 18498 (java) S 18481 18483 18155 0 -1 4202560 14129 0 0 0 120 1 0 0 15 0 22 0 522970620 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18499] ppid=18481 vsize=15694352 CPUtime=1.37 cores=1,3,5,7
/proc/18483/task/18499/stat : 18499 (java) S 18481 18483 18155 0 -1 4202560 7956 0 0 0 137 0 0 0 16 0 22 0 522970620 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 7 0 0 0
[pid=18483/tid=18500] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18500/stat : 18500 (java) S 18481 18483 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522970620 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056089 0 4 0 16800975 18446604467390853440 0 0 -1 3 0 0 0
[pid=18483/tid=18501] ppid=18481 vsize=15694352 CPUtime=0 cores=1,3,5,7
/proc/18483/task/18501/stat : 18501 (java) S 18481 18483 18155 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 522970620 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 251826056704 0 4 0 16800975 18446604467390853440 0 0 -1 5 0 0 0
[pid=18483/tid=18502] ppid=18481 vsize=15694352 CPUtime=1190.83 cores=1,3,5,7
/proc/18483/task/18502/stat : 18502 (java) R 18481 18483 18155 0 -1 4202560 378887 0 0 0 119030 53 0 0 25 0 22 0 522970652 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505695386 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18483/tid=18503] ppid=18481 vsize=15694352 CPUtime=1191.27 cores=1,3,5,7
/proc/18483/task/18503/stat : 18503 (java) R 18481 18483 18155 0 -1 4202560 382552 0 0 0 119074 53 0 0 25 0 22 0 522970652 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505607624 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18483/tid=18504] ppid=18481 vsize=15694352 CPUtime=1191.36 cores=1,3,5,7
/proc/18483/task/18504/stat : 18504 (java) R 18481 18483 18155 0 -1 4202560 384175 0 0 0 119083 53 0 0 25 0 22 0 522970652 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 46912505714055 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18483/tid=18505] ppid=18481 vsize=15694352 CPUtime=1190.69 cores=1,3,5,7
/proc/18483/task/18505/stat : 18505 (java) R 18481 18483 18155 0 -1 4202560 379308 0 0 0 119018 51 0 0 25 0 22 0 522970652 16071016448 137807 33554432000 1073741824 1073778376 140734266479232 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 15694352

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

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

Child status: 143
Real time (s): 1205.64
CPU time (s): 4800.42
CPU user time (s): 4794.9
CPU system time (s): 5.52116
CPU usage (%): 398.162
Max. virtual memory (cumulated for all children) (KiB): 15710040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.9
system time used= 5.52116
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2956063
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= 132641
involuntary context switches= 95731

runsolver used 1.93371 second user time and 4.70928 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 23:48:39
IDJOB=3311197
IDBENCH=82582
IDSOLVER=1698
FILE ID=node126/3311197-1304113719
RUNJOBID= node126-1304111178-18174
PBS_JOBID= 13170683
Free space on /tmp= 71592 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311197-1304113719/watcher-3311197-1304113719 -o /tmp/evaluation-result-3311197-1304113719/solver-3311197-1304113719 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311197-1304113719.cnf -hbr 2

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

MD5SUM BENCH= a9820c4b7c4cca37033a1ea45b264344
RANDOM SEED=2066865373

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21095524 kB
Buffers:        259056 kB
Cached:        1415840 kB
SwapCached:         76 kB
Active:        9922152 kB
Inactive:      1602500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21095524 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            2172 kB
Writeback:           8 kB
AnonPages:     9849428 kB
Mapped:          23468 kB
Slab:           247172 kB
PageTables:      23992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 11455336 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= 71596 MiB
End job on node126 at 2011-04-30 00:08:47