Trace number 3312813

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? (TO) 4800.32 1207.23

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf
MD5SUM053eacf65ab310107e284aa82f53766f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.963852
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 58010

Solver Data 

0.10/0.11	14:40 INFO : Reading from input HOME/instance-3312813-1304176480.cnf
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Starting Executor!
0.51/0.33	Starting Executor!
0.51/0.33	Starting Executor!
0.51/0.34	Starting Executor!
0.93/0.57	14:40 INFO : 90 variables remaining out of 90
0.93/0.57	14:40 INFO : 64080 literals remaining out of 64080

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.70 7.95 7.98 5/198 9236
/proc/meminfo: memFree=30284180/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=28384 CPUtime=0 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 1428 0 0 0 0 0 0 0 25 0 2 0 529246754 29065216 897 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 7096 897 686 9 0 381 0
[pid=9236/tid=9237] ppid=9234 vsize=30580 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) R 9234 9236 9128 0 -1 4202560 96 0 0 0 0 0 0 0 25 0 2 0 529246754 31313920 921 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268267726613 0 0 4096 0 0 0 0 -1 4 0 0 0

[startup+0.03625 s]
/proc/loadavg: 7.70 7.95 7.98 5/198 9236
/proc/meminfo: memFree=30284180/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=15669784 CPUtime=0.03 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 3736 0 1 0 2 1 0 0 25 0 13 0 529246754 16045858816 3175 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 3917446 3175 1680 9 0 3908194 0
[pid=9236/tid=9237] ppid=9234 vsize=15669784 CPUtime=0.01 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) R 9234 9236 9128 0 -1 4202560 2346 0 1 0 1 0 0 0 25 0 13 0 529246754 16045858816 3176 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 47978223072792 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15669784

[startup+0.10024 s]
/proc/loadavg: 7.70 7.95 7.98 5/198 9236
/proc/meminfo: memFree=30284180/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=15676752 CPUtime=0.1 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 5577 0 1 0 9 1 0 0 25 0 18 0 529246754 16052994048 5016 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 3919188 5016 2117 9 0 3909907 0
[pid=9236/tid=9237] ppid=9234 vsize=15676752 CPUtime=0.08 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) R 9234 9236 9128 0 -1 4202560 3502 0 1 0 8 0 0 0 25 0 18 0 529246754 16052994048 5016 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505230416 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676752

[startup+0.300206 s]
/proc/loadavg: 7.70 7.95 7.98 5/198 9236
/proc/meminfo: memFree=30284180/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=15680744 CPUtime=0.51 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 15702 0 1 0 49 2 0 0 25 0 18 0 529246754 16057081856 14033 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 3920186 14039 2208 9 0 3910905 0
[pid=9236/tid=9237] ppid=9234 vsize=15680744 CPUtime=0.28 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) R 9234 9236 9128 0 -1 4202560 10511 0 1 0 27 1 0 0 25 0 18 0 529246754 16057081856 14043 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505640211 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680744

[startup+0.700137 s]
/proc/loadavg: 7.70 7.95 7.98 5/198 9236
/proc/meminfo: memFree=30284180/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=15702960 CPUtime=1.51 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 33561 0 1 0 147 4 0 0 25 0 22 0 529246754 16079831040 28410 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 3925740 28410 2257 9 0 3916459 0
[pid=9236/tid=9237] ppid=9234 vsize=15702960 CPUtime=0.56 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) S 9234 9236 9128 0 -1 4202560 16312 0 1 0 54 2 0 0 25 0 22 0 529246754 16079831040 28412 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 15702960

[startup+1.50099 s]
/proc/loadavg: 7.70 7.95 7.98 10/220 9258
/proc/meminfo: memFree=30079840/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=15703948 CPUtime=4.58 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 62294 0 1 0 450 8 0 0 25 0 22 0 529246754 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 3925987 52850 2276 9 0 3916706 0
[pid=9236/tid=9237] ppid=9234 vsize=15703948 CPUtime=0.56 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) S 9234 9236 9128 0 -1 4202560 16312 0 1 0 54 2 0 0 25 0 22 0 529246754 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9239] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9239/stat : 9239 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9240] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9240/stat : 9240 (java) S 9234 9236 9128 0 -1 4202560 989 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9241] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9241/stat : 9241 (java) S 9234 9236 9128 0 -1 4202560 943 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9242] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9242/stat : 9242 (java) S 9234 9236 9128 0 -1 4202560 110 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9243] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9243/stat : 9243 (java) S 9234 9236 9128 0 -1 4202560 1771 0 0 0 0 0 0 0 16 0 22 0 529246755 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9244] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9244/stat : 9244 (java) S 9234 9236 9128 0 -1 4202560 627 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9245] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9245/stat : 9245 (java) S 9234 9236 9128 0 -1 4202560 1270 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9246] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9246/stat : 9246 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9247] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9247/stat : 9247 (java) S 9234 9236 9128 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 22 0 529246756 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284505600 0 0 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9248] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9248/stat : 9248 (java) S 9234 9236 9128 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529246756 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9249] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9249/stat : 9249 (java) S 9234 9236 9128 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529246756 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9250] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9250/stat : 9250 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529246758 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284512689 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9251] ppid=9234 vsize=15703948 CPUtime=0.83 cores=0,2,4,6
/proc/9236/task/9251/stat : 9251 (java) R 9234 9236 9128 0 -1 4202560 6038 0 0 0 83 0 0 0 25 0 22 0 529246758 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9236/tid=9252] ppid=9234 vsize=15703948 CPUtime=0.93 cores=0,2,4,6
/proc/9236/task/9252/stat : 9252 (java) R 9234 9236 9128 0 -1 4202560 13604 0 0 0 92 1 0 0 25 0 22 0 529246758 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9236/tid=9253] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9253/stat : 9253 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529246758 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9254] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9254/stat : 9254 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529246758 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284505600 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9255] ppid=9234 vsize=15703948 CPUtime=0.53 cores=0,2,4,6
/proc/9236/task/9255/stat : 9255 (java) R 9234 9236 9128 0 -1 4202560 2897 0 0 0 53 0 0 0 21 0 22 0 529246788 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505820925 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9236/tid=9256] ppid=9234 vsize=15703948 CPUtime=0.52 cores=0,2,4,6
/proc/9236/task/9256/stat : 9256 (java) R 9234 9236 9128 0 -1 4202560 4864 0 0 0 52 0 0 0 22 0 22 0 529246788 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505821578 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9236/tid=9257] ppid=9234 vsize=15703948 CPUtime=0.59 cores=0,2,4,6
/proc/9236/task/9257/stat : 9257 (java) R 9234 9236 9128 0 -1 4202560 6270 0 0 0 59 0 0 0 21 0 22 0 529246788 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505934877 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9236/tid=9258] ppid=9234 vsize=15703948 CPUtime=0.52 cores=0,2,4,6
/proc/9236/task/9258/stat : 9258 (java) R 9234 9236 9128 0 -1 4202560 5138 0 0 0 52 0 0 0 23 0 22 0 529246788 16080842752 52850 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505179184 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 15703948

[startup+3.10071 s]
/proc/loadavg: 7.70 7.95 7.98 10/220 9258
/proc/meminfo: memFree=29938108/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=15703948 CPUtime=10.95 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 141529 0 1 0 1077 18 0 0 25 0 22 0 529246754 16080842752 132077 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 3925987 132081 2286 9 0 3916706 0
[pid=9236/tid=9237] ppid=9234 vsize=15703948 CPUtime=0.56 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) S 9234 9236 9128 0 -1 4202560 16312 0 1 0 54 2 0 0 25 0 22 0 529246754 16080842752 132084 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9239] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9239/stat : 9239 (java) S 9234 9236 9128 0 -1 4202560 2367 0 0 0 0 0 0 0 16 0 22 0 529246755 16080842752 132086 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9240] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9240/stat : 9240 (java) S 9234 9236 9128 0 -1 4202560 989 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 132089 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9241] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9241/stat : 9241 (java) S 9234 9236 9128 0 -1 4202560 2891 0 0 0 0 0 0 0 16 0 22 0 529246755 16080842752 132094 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9242] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9242/stat : 9242 (java) S 9234 9236 9128 0 -1 4202560 3234 0 0 0 0 0 0 0 16 0 22 0 529246755 16080842752 132104 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9243] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9243/stat : 9243 (java) S 9234 9236 9128 0 -1 4202560 3412 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 132110 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9244] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9244/stat : 9244 (java) S 9234 9236 9128 0 -1 4202560 1642 0 0 0 0 0 0 0 16 0 22 0 529246755 16080842752 132115 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9245] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9245/stat : 9245 (java) S 9234 9236 9128 0 -1 4202560 2343 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 132120 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9246] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9246/stat : 9246 (java) S 9234 9236 9128 0 -1 4202560 2981 0 0 0 0 0 0 0 16 0 22 0 529246755 16080842752 132125 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9247] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9247/stat : 9247 (java) S 9234 9236 9128 0 -1 4202560 199 0 0 0 0 0 0 0 15 0 22 0 529246756 16080842752 132129 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284505600 0 0 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9248] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9248/stat : 9248 (java) S 9234 9236 9128 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529246756 16080842752 132132 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9249] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9249/stat : 9249 (java) S 9234 9236 9128 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529246756 16080842752 132137 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9250] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9250/stat : 9250 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529246758 16080842752 132140 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284512689 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9251] ppid=9234 vsize=15703948 CPUtime=0.96 cores=0,2,4,6
/proc/9236/task/9251/stat : 9251 (java) S 9234 9236 9128 0 -1 4202560 6069 0 0 0 96 0 0 0 15 0 22 0 529246758 16080842752 132143 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9252] ppid=9234 vsize=15703948 CPUtime=1.06 cores=0,2,4,6
/proc/9236/task/9252/stat : 9252 (java) S 9234 9236 9128 0 -1 4202560 13787 0 0 0 105 1 0 0 17 0 22 0 529246758 16080842752 132145 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9253] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9253/stat : 9253 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529246758 16080842752 132148 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9254] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9254/stat : 9254 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529246758 16080842752 132151 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284505600 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9255] ppid=9234 vsize=15703948 CPUtime=2.01 cores=0,2,4,6
/proc/9236/task/9255/stat : 9255 (java) R 9234 9236 9128 0 -1 4202560 18827 0 0 0 200 1 0 0 25 0 22 0 529246788 16080842752 132154 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505812098 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9236/tid=9256] ppid=9234 vsize=15703948 CPUtime=2 cores=0,2,4,6
/proc/9236/task/9256/stat : 9256 (java) R 9234 9236 9128 0 -1 4202560 20881 0 0 0 197 3 0 0 25 0 22 0 529246788 16080842752 132159 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505812098 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9236/tid=9257] ppid=9234 vsize=15703948 CPUtime=2.18 cores=0,2,4,6
/proc/9236/task/9257/stat : 9257 (java) R 9234 9236 9128 0 -1 4202560 22425 0 0 0 216 2 0 0 25 0 22 0 529246788 16080842752 132165 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505820947 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9236/tid=9258] ppid=9234 vsize=15703948 CPUtime=2.04 cores=0,2,4,6
/proc/9236/task/9258/stat : 9258 (java) R 9234 9236 9128 0 -1 4202560 21872 0 0 0 202 2 0 0 25 0 22 0 529246788 16080842752 132172 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505812098 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.95
Current children cumulated vsize (KiB) 15703948

[startup+6.30114 s]
/proc/loadavg: 7.73 7.95 7.98 9/220 9258
/proc/meminfo: memFree=29143556/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=15703948 CPUtime=23.73 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 284485 0 1 0 2337 36 0 0 25 0 22 0 529246754 16080842752 274344 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 3925987 274344 2289 9 0 3916706 0
[pid=9236/tid=9237] ppid=9234 vsize=15703948 CPUtime=0.56 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) S 9234 9236 9128 0 -1 4202560 16312 0 1 0 54 2 0 0 25 0 22 0 529246754 16080842752 274344 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9239] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9239/stat : 9239 (java) S 9234 9236 9128 0 -1 4202560 2491 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 274344 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9240] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9240/stat : 9240 (java) S 9234 9236 9128 0 -1 4202560 1257 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 274344 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9241] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9241/stat : 9241 (java) S 9234 9236 9128 0 -1 4202560 2891 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 274344 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9242] ppid=9234 vsize=15703948 CPUtime=0.01 cores=0,2,4,6
/proc/9236/task/9242/stat : 9242 (java) S 9234 9236 9128 0 -1 4202560 4418 0 0 0 1 0 0 0 16 0 22 0 529246755 16080842752 274344 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9243] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9243/stat : 9243 (java) S 9234 9236 9128 0 -1 4202560 4694 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 274344 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9244] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9244/stat : 9244 (java) S 9234 9236 9128 0 -1 4202560 2665 0 0 0 0 0 0 0 16 0 22 0 529246755 16080842752 274344 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9245] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9245/stat : 9245 (java) S 9234 9236 9128 0 -1 4202560 3497 0 0 0 0 0 0 0 16 0 22 0 529246755 16080842752 274344 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9246] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9246/stat : 9246 (java) S 9234 9236 9128 0 -1 4202560 3076 0 0 0 0 0 0 0 15 0 22 0 529246755 16080842752 274344 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0

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

[pid=9236/tid=9256] ppid=9234 vsize=15703948 CPUtime=1048.6 cores=0,2,4,6
/proc/9236/task/9256/stat : 9256 (java) R 9234 9236 9128 0 -1 4202560 183669 0 0 0 104827 33 0 0 25 0 22 0 529246788 16080842752 85488 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505881690 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=9236/tid=9257] ppid=9234 vsize=15703948 CPUtime=1049.02 cores=0,2,4,6
/proc/9236/task/9257/stat : 9257 (java) R 9234 9236 9128 0 -1 4202560 184110 0 0 0 104868 34 0 0 25 0 22 0 529246788 16080842752 85488 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505876393 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9236/tid=9258] ppid=9234 vsize=15703948 CPUtime=1049.12 cores=0,2,4,6
/proc/9236/task/9258/stat : 9258 (java) R 9234 9236 9128 0 -1 4202560 184038 0 0 0 104882 30 0 0 25 0 22 0 529246788 16080842752 85488 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505730656 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4224.25
Current children cumulated vsize (KiB) 15703948

[startup+1122.3 s]
/proc/loadavg: 8.12 8.07 8.01 9/220 9337
/proc/meminfo: memFree=29840080/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=15703948 CPUtime=4462.8 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 1321790 0 1 0 445955 325 0 0 25 0 22 0 529246754 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 3925987 85704 2299 9 0 3916706 0
[pid=9236/tid=9237] ppid=9234 vsize=15703948 CPUtime=0.56 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) S 9234 9236 9128 0 -1 4202560 16312 0 1 0 54 2 0 0 25 0 22 0 529246754 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9239] ppid=9234 vsize=15703948 CPUtime=3.02 cores=0,2,4,6
/proc/9236/task/9239/stat : 9239 (java) S 9234 9236 9128 0 -1 4202560 65789 0 0 0 286 16 0 0 15 0 22 0 529246755 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9240] ppid=9234 vsize=15703948 CPUtime=3.06 cores=0,2,4,6
/proc/9236/task/9240/stat : 9240 (java) S 9234 9236 9128 0 -1 4202560 59179 0 0 0 291 15 0 0 15 0 22 0 529246755 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9241] ppid=9234 vsize=15703948 CPUtime=3.13 cores=0,2,4,6
/proc/9236/task/9241/stat : 9241 (java) S 9234 9236 9128 0 -1 4202560 63050 0 0 0 296 17 0 0 16 0 22 0 529246755 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9242] ppid=9234 vsize=15703948 CPUtime=3.21 cores=0,2,4,6
/proc/9236/task/9242/stat : 9242 (java) S 9234 9236 9128 0 -1 4202560 67197 0 0 0 305 16 0 0 16 0 22 0 529246755 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9243] ppid=9234 vsize=15703948 CPUtime=3.12 cores=0,2,4,6
/proc/9236/task/9243/stat : 9243 (java) S 9234 9236 9128 0 -1 4202560 61180 0 0 0 299 13 0 0 15 0 22 0 529246755 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9244] ppid=9234 vsize=15703948 CPUtime=3.13 cores=0,2,4,6
/proc/9236/task/9244/stat : 9244 (java) S 9234 9236 9128 0 -1 4202560 58483 0 0 0 300 13 0 0 15 0 22 0 529246755 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9245] ppid=9234 vsize=15703948 CPUtime=3.11 cores=0,2,4,6
/proc/9236/task/9245/stat : 9245 (java) S 9234 9236 9128 0 -1 4202560 62156 0 0 0 297 14 0 0 16 0 22 0 529246755 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9246] ppid=9234 vsize=15703948 CPUtime=3.02 cores=0,2,4,6
/proc/9236/task/9246/stat : 9246 (java) S 9234 9236 9128 0 -1 4202560 62834 0 0 0 287 15 0 0 16 0 22 0 529246755 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9247] ppid=9234 vsize=15703948 CPUtime=1.99 cores=0,2,4,6
/proc/9236/task/9247/stat : 9247 (java) S 9234 9236 9128 0 -1 4202560 3257 0 0 0 140 59 0 0 16 0 22 0 529246756 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284505600 0 0 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9248] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9248/stat : 9248 (java) S 9234 9236 9128 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529246756 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9249] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9249/stat : 9249 (java) S 9234 9236 9128 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529246756 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9250] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9250/stat : 9250 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529246758 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284512689 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9251] ppid=9234 vsize=15703948 CPUtime=1.04 cores=0,2,4,6
/proc/9236/task/9251/stat : 9251 (java) S 9234 9236 9128 0 -1 4202560 6085 0 0 0 104 0 0 0 15 0 22 0 529246758 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9252] ppid=9234 vsize=15703948 CPUtime=1.19 cores=0,2,4,6
/proc/9236/task/9252/stat : 9252 (java) S 9234 9236 9128 0 -1 4202560 13802 0 0 0 118 1 0 0 16 0 22 0 529246758 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9253] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9253/stat : 9253 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529246758 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9254] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9254/stat : 9254 (java) S 9234 9236 9128 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 529246758 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284505600 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9255] ppid=9234 vsize=15703948 CPUtime=1108.5 cores=0,2,4,6
/proc/9236/task/9255/stat : 9255 (java) R 9234 9236 9128 0 -1 4202560 192560 0 0 0 110818 32 0 0 25 0 22 0 529246788 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505820307 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9236/tid=9256] ppid=9234 vsize=15703948 CPUtime=1107.85 cores=0,2,4,6
/proc/9236/task/9256/stat : 9256 (java) R 9234 9236 9128 0 -1 4202560 196258 0 0 0 110750 35 0 0 25 0 22 0 529246788 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505746499 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9236/tid=9257] ppid=9234 vsize=15703948 CPUtime=1108.33 cores=0,2,4,6
/proc/9236/task/9257/stat : 9257 (java) R 9234 9236 9128 0 -1 4202560 196327 0 0 0 110798 35 0 0 25 0 22 0 529246788 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505821768 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9236/tid=9258] ppid=9234 vsize=15703948 CPUtime=1108.37 cores=0,2,4,6
/proc/9236/task/9258/stat : 9258 (java) R 9234 9236 9128 0 -1 4202560 195873 0 0 0 110804 33 0 0 25 0 22 0 529246788 16080842752 85704 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 47978223831241 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4462.8
Current children cumulated vsize (KiB) 15703948

[startup+1182.3 s]
/proc/loadavg: 8.17 8.09 8.01 9/220 9339
/proc/meminfo: memFree=29853412/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=15703948 CPUtime=4701.33 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 1384225 0 1 0 469792 341 0 0 25 0 22 0 529246754 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 3925987 78284 2299 9 0 3916706 0
[pid=9236/tid=9237] ppid=9234 vsize=15703948 CPUtime=0.56 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) S 9234 9236 9128 0 -1 4202560 16312 0 1 0 54 2 0 0 25 0 22 0 529246754 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9239] ppid=9234 vsize=15703948 CPUtime=3.18 cores=0,2,4,6
/proc/9236/task/9239/stat : 9239 (java) S 9234 9236 9128 0 -1 4202560 70675 0 0 0 301 17 0 0 16 0 22 0 529246755 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9240] ppid=9234 vsize=15703948 CPUtime=3.23 cores=0,2,4,6
/proc/9236/task/9240/stat : 9240 (java) S 9234 9236 9128 0 -1 4202560 63188 0 0 0 307 16 0 0 15 0 22 0 529246755 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9241] ppid=9234 vsize=15703948 CPUtime=3.28 cores=0,2,4,6
/proc/9236/task/9241/stat : 9241 (java) S 9234 9236 9128 0 -1 4202560 67480 0 0 0 311 17 0 0 15 0 22 0 529246755 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9242] ppid=9234 vsize=15703948 CPUtime=3.36 cores=0,2,4,6
/proc/9236/task/9242/stat : 9242 (java) S 9234 9236 9128 0 -1 4202560 70522 0 0 0 319 17 0 0 15 0 22 0 529246755 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9243] ppid=9234 vsize=15703948 CPUtime=3.29 cores=0,2,4,6
/proc/9236/task/9243/stat : 9243 (java) S 9234 9236 9128 0 -1 4202560 64783 0 0 0 316 13 0 0 15 0 22 0 529246755 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9244] ppid=9234 vsize=15703948 CPUtime=3.29 cores=0,2,4,6
/proc/9236/task/9244/stat : 9244 (java) S 9234 9236 9128 0 -1 4202560 62326 0 0 0 315 14 0 0 15 0 22 0 529246755 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9245] ppid=9234 vsize=15703948 CPUtime=3.25 cores=0,2,4,6
/proc/9236/task/9245/stat : 9245 (java) S 9234 9236 9128 0 -1 4202560 64917 0 0 0 311 14 0 0 16 0 22 0 529246755 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9246] ppid=9234 vsize=15703948 CPUtime=3.17 cores=0,2,4,6
/proc/9236/task/9246/stat : 9246 (java) S 9234 9236 9128 0 -1 4202560 66666 0 0 0 301 16 0 0 15 0 22 0 529246755 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9247] ppid=9234 vsize=15703948 CPUtime=2.11 cores=0,2,4,6
/proc/9236/task/9247/stat : 9247 (java) S 9234 9236 9128 0 -1 4202560 3440 0 0 0 148 63 0 0 16 0 22 0 529246756 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284505600 0 0 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9248] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9248/stat : 9248 (java) S 9234 9236 9128 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529246756 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9249] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9249/stat : 9249 (java) S 9234 9236 9128 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529246756 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9250] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9250/stat : 9250 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529246758 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284512689 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9251] ppid=9234 vsize=15703948 CPUtime=1.04 cores=0,2,4,6
/proc/9236/task/9251/stat : 9251 (java) S 9234 9236 9128 0 -1 4202560 6085 0 0 0 104 0 0 0 15 0 22 0 529246758 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9252] ppid=9234 vsize=15703948 CPUtime=1.19 cores=0,2,4,6
/proc/9236/task/9252/stat : 9252 (java) S 9234 9236 9128 0 -1 4202560 13802 0 0 0 118 1 0 0 16 0 22 0 529246758 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9253] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9253/stat : 9253 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529246758 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9254] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9254/stat : 9254 (java) S 9234 9236 9128 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 529246758 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284505600 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9255] ppid=9234 vsize=15703948 CPUtime=1167.82 cores=0,2,4,6
/proc/9236/task/9255/stat : 9255 (java) R 9234 9236 9128 0 -1 4202560 200503 0 0 0 116748 34 0 0 25 0 22 0 529246788 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9236/tid=9256] ppid=9234 vsize=15703948 CPUtime=1167.1 cores=0,2,4,6
/proc/9236/task/9256/stat : 9256 (java) R 9234 9236 9128 0 -1 4202560 204280 0 0 0 116674 36 0 0 25 0 22 0 529246788 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505881757 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9236/tid=9257] ppid=9234 vsize=15703948 CPUtime=1167.59 cores=0,2,4,6
/proc/9236/task/9257/stat : 9257 (java) R 9234 9236 9128 0 -1 4202560 204256 0 0 0 116722 37 0 0 25 0 22 0 529246788 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505819658 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9236/tid=9258] ppid=9234 vsize=15703948 CPUtime=1167.7 cores=0,2,4,6
/proc/9236/task/9258/stat : 9258 (java) R 9234 9236 9128 0 -1 4202560 203539 0 0 0 116736 34 0 0 25 0 22 0 529246788 16080842752 78284 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505812733 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4701.33
Current children cumulated vsize (KiB) 15703948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.11 8.08 8.01 9/220 9339
/proc/meminfo: memFree=29927304/32950928 swapFree=67111464/67111528
[pid=9236] ppid=9234 vsize=15703948 CPUtime=4800.26 cores=0,2,4,6
/proc/9236/stat : 9236 (java) S 9234 9236 9128 0 -1 4202496 1411901 0 1 0 479679 347 0 0 25 0 22 0 529246754 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284491749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/9236/statm: 3925987 75049 2299 9 0 3916706 0
[pid=9236/tid=9237] ppid=9234 vsize=15703948 CPUtime=0.56 cores=0,2,4,6
/proc/9236/task/9237/stat : 9237 (java) S 9234 9236 9128 0 -1 4202560 16312 0 1 0 54 2 0 0 25 0 22 0 529246754 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9239] ppid=9234 vsize=15703948 CPUtime=3.24 cores=0,2,4,6
/proc/9236/task/9239/stat : 9239 (java) S 9234 9236 9128 0 -1 4202560 72447 0 0 0 307 17 0 0 16 0 22 0 529246755 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9240] ppid=9234 vsize=15703948 CPUtime=3.29 cores=0,2,4,6
/proc/9236/task/9240/stat : 9240 (java) S 9234 9236 9128 0 -1 4202560 64902 0 0 0 313 16 0 0 15 0 22 0 529246755 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9241] ppid=9234 vsize=15703948 CPUtime=3.36 cores=0,2,4,6
/proc/9236/task/9241/stat : 9241 (java) S 9234 9236 9128 0 -1 4202560 69663 0 0 0 318 18 0 0 15 0 22 0 529246755 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9242] ppid=9234 vsize=15703948 CPUtime=3.41 cores=0,2,4,6
/proc/9236/task/9242/stat : 9242 (java) S 9234 9236 9128 0 -1 4202560 71206 0 0 0 324 17 0 0 16 0 22 0 529246755 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9243] ppid=9234 vsize=15703948 CPUtime=3.37 cores=0,2,4,6
/proc/9236/task/9243/stat : 9243 (java) S 9234 9236 9128 0 -1 4202560 66355 0 0 0 323 14 0 0 15 0 22 0 529246755 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9244] ppid=9234 vsize=15703948 CPUtime=3.36 cores=0,2,4,6
/proc/9236/task/9244/stat : 9244 (java) S 9234 9236 9128 0 -1 4202560 63121 0 0 0 321 15 0 0 15 0 22 0 529246755 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9245] ppid=9234 vsize=15703948 CPUtime=3.31 cores=0,2,4,6
/proc/9236/task/9245/stat : 9245 (java) S 9234 9236 9128 0 -1 4202560 66315 0 0 0 317 14 0 0 15 0 22 0 529246755 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9246] ppid=9234 vsize=15703948 CPUtime=3.25 cores=0,2,4,6
/proc/9236/task/9246/stat : 9246 (java) S 9234 9236 9128 0 -1 4202560 68471 0 0 0 309 16 0 0 16 0 22 0 529246755 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9247] ppid=9234 vsize=15703948 CPUtime=2.17 cores=0,2,4,6
/proc/9236/task/9247/stat : 9247 (java) S 9234 9236 9128 0 -1 4202560 3506 0 0 0 153 64 0 0 15 0 22 0 529246756 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284505600 0 0 0 16800975 18446604453896495360 0 0 -1 0 0 0 0
[pid=9236/tid=9248] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9248/stat : 9248 (java) S 9234 9236 9128 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529246756 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9249] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9249/stat : 9249 (java) S 9234 9236 9128 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529246756 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9250] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9250/stat : 9250 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529246758 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284512689 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9251] ppid=9234 vsize=15703948 CPUtime=1.04 cores=0,2,4,6
/proc/9236/task/9251/stat : 9251 (java) S 9234 9236 9128 0 -1 4202560 6085 0 0 0 104 0 0 0 15 0 22 0 529246758 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 2 0 0 0
[pid=9236/tid=9252] ppid=9234 vsize=15703948 CPUtime=1.19 cores=0,2,4,6
/proc/9236/task/9252/stat : 9252 (java) S 9234 9236 9128 0 -1 4202560 13802 0 0 0 118 1 0 0 16 0 22 0 529246758 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 6 0 0 0
[pid=9236/tid=9253] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9253/stat : 9253 (java) S 9234 9236 9128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529246758 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284504985 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9254] ppid=9234 vsize=15703948 CPUtime=0 cores=0,2,4,6
/proc/9236/task/9254/stat : 9254 (java) S 9234 9236 9128 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 529246758 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 268284505600 0 4 0 16800975 18446604453896495360 0 0 -1 4 0 0 0
[pid=9236/tid=9255] ppid=9234 vsize=15703948 CPUtime=1192.45 cores=0,2,4,6
/proc/9236/task/9255/stat : 9255 (java) R 9234 9236 9128 0 -1 4202560 204254 0 0 0 119211 34 0 0 25 0 22 0 529246788 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505973704 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=9236/tid=9256] ppid=9234 vsize=15703948 CPUtime=1191.65 cores=0,2,4,6
/proc/9236/task/9256/stat : 9256 (java) R 9234 9236 9128 0 -1 4202560 208189 0 0 0 119128 37 0 0 25 0 22 0 529246788 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505973394 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=9236/tid=9257] ppid=9234 vsize=15703948 CPUtime=1192.15 cores=0,2,4,6
/proc/9236/task/9257/stat : 9257 (java) R 9234 9236 9128 0 -1 4202560 208317 0 0 0 119177 38 0 0 25 0 22 0 529246788 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505998286 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=9236/tid=9258] ppid=9234 vsize=15703948 CPUtime=1192.3 cores=0,2,4,6
/proc/9236/task/9258/stat : 9258 (java) R 9234 9236 9128 0 -1 4202560 207503 0 0 0 119196 34 0 0 25 0 22 0 529246788 16080842752 75049 33554432000 1073741824 1073778376 140733329788592 18446744073709551615 46912505919638 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 15703948

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): 1207.23
CPU time (s): 4800.32
CPU user time (s): 4796.83
CPU system time (s): 3.48747
CPU usage (%): 397.63
Max. virtual memory (cumulated for all children) (KiB): 15706608

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.83
system time used= 3.48747
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1411926
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= 289069
involuntary context switches= 155491

runsolver used 2.01869 second user time and 4.6153 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-30 17:14:40
IDJOB=3312813
IDBENCH=82998
IDSOLVER=1699
FILE ID=node122/3312813-1304176480
RUNJOBID= node122-1304176476-9146
PBS_JOBID= 13172421
Free space on /tmp= 73344 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312813-1304176480/watcher-3312813-1304176480 -o /tmp/evaluation-result-3312813-1304176480/solver-3312813-1304176480 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312813-1304176480.cnf

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

MD5SUM BENCH= 053eacf65ab310107e284aa82f53766f
RANDOM SEED=1584909325

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30284336 kB
Buffers:        337312 kB
Cached:        1714720 kB
SwapCached:         64 kB
Active:         370088 kB
Inactive:      1950292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30284336 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            4300 kB
Writeback:           0 kB
AnonPages:      268476 kB
Mapped:          23368 kB
Slab:           279852 kB
PageTables:       5108 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   944428 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= 73344 MiB
End job on node122 at 2011-04-30 17:34:49