Trace number 3312427

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.45 1204.65

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf
MD5SUM1cfa78dd8d87f0dbd61a5ae4dd552500
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.3301
Satisfiable
(Un)Satisfiability was proved
Number of variables2500
Number of clauses10500
Sum of the clauses size31500
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 310500
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	57:56 INFO : Reading from input HOME/instance-3312427-1304114276.cnf
0.51/0.31	Executor set job limit to 1000000
0.51/0.31	Executor set job limit to 1000000
0.51/0.31	Executor set job limit to 1000000
0.51/0.31	Executor set job limit to 1000000
0.51/0.32	Starting Executor!
0.51/0.32	Starting Executor!
0.51/0.32	Starting Executor!
0.51/0.32	Starting Executor!
1.28/0.68	57:57 INFO : 2485 variables remaining out of 2500
1.28/0.68	57:57 INFO : 41600 literals remaining out of 42000

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

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: 6.94 7.80 7.62 2/174 22184
/proc/meminfo: memFree=30330672/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/22184/stat : 22184 (java) R 22182 22184 22152 0 -1 4202496 1055 0 0 0 0 0 0 0 21 0 1 0 523028010 23580672 541 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253635897109 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/22184/statm: 5757 552 417 9 0 124 0

[startup+0.0975291 s]
/proc/loadavg: 6.94 7.80 7.62 2/174 22184
/proc/meminfo: memFree=30330672/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=15677700 CPUtime=0.1 cores=1,3,5,7
/proc/22184/stat : 22184 (java) S 22182 22184 22152 0 -1 4202496 5491 0 1 0 9 1 0 0 21 0 18 0 523028010 16053964800 4930 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22184/statm: 3919425 4931 2116 9 0 3910144 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677700

[startup+0.100539 s]
/proc/loadavg: 6.94 7.80 7.62 2/174 22184
/proc/meminfo: memFree=30330672/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=15677700 CPUtime=0.1 cores=1,3,5,7
/proc/22184/stat : 22184 (java) S 22182 22184 22152 0 -1 4202496 5521 0 1 0 9 1 0 0 21 0 18 0 523028010 16053964800 4960 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22184/statm: 3919425 4960 2117 9 0 3910144 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677700

[startup+0.300491 s]
/proc/loadavg: 6.94 7.80 7.62 2/174 22184
/proc/meminfo: memFree=30330672/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=15681796 CPUtime=0.51 cores=1,3,5,7
/proc/22184/stat : 22184 (java) S 22182 22184 22152 0 -1 4202496 15052 0 1 0 49 2 0 0 21 0 18 0 523028010 16058159104 13624 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22184/statm: 3920449 13631 2207 9 0 3911168 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15681796

[startup+0.700421 s]
/proc/loadavg: 6.94 7.80 7.62 2/174 22184
/proc/meminfo: memFree=30330672/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=15706088 CPUtime=1.57 cores=1,3,5,7
/proc/22184/stat : 22184 (java) S 22182 22184 22152 0 -1 4202496 29566 0 1 0 153 4 0 0 21 0 22 0 523028010 16083034112 25545 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22184/statm: 3926522 25545 2254 9 0 3917241 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 15706088

[startup+1.50124 s]
/proc/loadavg: 6.87 7.77 7.61 11/220 22233
/proc/meminfo: memFree=29975224/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=15718312 CPUtime=4.55 cores=1,3,5,7
/proc/22184/stat : 22184 (java) S 22182 22184 22152 0 -1 4202496 71960 0 1 0 447 8 0 0 21 0 22 0 523028010 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22184/statm: 3929578 66311 2274 9 0 3920297 0
[pid=22184/tid=22186] ppid=22182 vsize=15718312 CPUtime=0.66 cores=1,3,5,7
/proc/22184/task/22186/stat : 22186 (java) S 22182 22184 22152 0 -1 4202560 13328 0 1 0 64 2 0 0 20 0 22 0 523028011 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 22152 0 -1 4202560 634 0 0 0 0 0 0 0 15 0 22 0 523028011 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 22152 0 -1 4202560 1431 0 0 0 0 0 0 0 16 0 22 0 523028011 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 22152 0 -1 4202560 412 0 0 0 0 0 0 0 16 0 22 0 523028011 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 22152 0 -1 4202560 2864 0 0 0 0 0 0 0 15 0 22 0 523028011 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 22152 0 -1 4202560 1765 0 0 0 0 0 0 0 16 0 22 0 523028011 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 22152 0 -1 4202560 1086 0 0 0 0 0 0 0 15 0 22 0 523028011 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 22152 0 -1 4202560 1128 0 0 0 0 0 0 0 15 0 22 0 523028011 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=15718312 CPUtime=0.01 cores=1,3,5,7
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 22152 0 -1 4202560 3474 0 0 0 1 0 0 0 16 0 22 0 523028011 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22195/stat : 22195 (java) S 22182 22184 22152 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 523028012 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 0 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22196/stat : 22196 (java) R 22182 22184 22152 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 523028013 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652685493 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 22152 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 523028013 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22213] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22213/stat : 22213 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523028015 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652683185 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22214] ppid=22182 vsize=15718312 CPUtime=0.68 cores=1,3,5,7
/proc/22184/task/22214/stat : 22214 (java) R 22182 22184 22152 0 -1 4202560 15644 0 0 0 67 1 0 0 19 0 22 0 523028015 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 47441499666955 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22184/tid=22215] ppid=22182 vsize=15718312 CPUtime=0.99 cores=1,3,5,7
/proc/22184/task/22215/stat : 22215 (java) R 22182 22184 22152 0 -1 4202560 6649 0 0 0 98 1 0 0 18 0 22 0 523028015 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 47441499771353 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22184/tid=22216] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22216/stat : 22216 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523028015 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22217] ppid=22182 vsize=15718312 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22217/stat : 22217 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523028015 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 4 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22226] ppid=22182 vsize=15718312 CPUtime=0.63 cores=1,3,5,7
/proc/22184/task/22226/stat : 22226 (java) R 22182 22184 22152 0 -1 4202560 6926 0 0 0 63 0 0 0 16 0 22 0 523028042 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505164388 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22184/tid=22227] ppid=22182 vsize=15718312 CPUtime=0.44 cores=1,3,5,7
/proc/22184/task/22227/stat : 22227 (java) R 22182 22184 22152 0 -1 4202560 2963 0 0 0 44 0 0 0 16 0 22 0 523028042 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505994880 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22184/tid=22228] ppid=22182 vsize=15718312 CPUtime=0.56 cores=1,3,5,7
/proc/22184/task/22228/stat : 22228 (java) R 22182 22184 22152 0 -1 4202560 6335 0 0 0 56 0 0 0 16 0 22 0 523028042 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505164128 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22184/tid=22229] ppid=22182 vsize=15718312 CPUtime=0.46 cores=1,3,5,7
/proc/22184/task/22229/stat : 22229 (java) R 22182 22184 22152 0 -1 4202560 5863 0 0 0 46 0 0 0 16 0 22 0 523028042 16095551488 66311 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505523461 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 15718312

[startup+3.10095 s]
/proc/loadavg: 6.87 7.77 7.61 14/220 22233
/proc/meminfo: memFree=29647492/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=15718324 CPUtime=10.92 cores=1,3,5,7
/proc/22184/stat : 22184 (java) S 22182 22184 22152 0 -1 4202496 198565 0 1 0 1067 25 0 0 21 0 22 0 523028010 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22184/statm: 3929581 191352 2279 9 0 3920300 0
[pid=22184/tid=22186] ppid=22182 vsize=15718324 CPUtime=0.66 cores=1,3,5,7
/proc/22184/task/22186/stat : 22186 (java) S 22182 22184 22152 0 -1 4202560 13328 0 1 0 64 2 0 0 20 0 22 0 523028011 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=15718324 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 22152 0 -1 4202560 638 0 0 0 0 0 0 0 15 0 22 0 523028011 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=15718324 CPUtime=0.03 cores=1,3,5,7
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 22152 0 -1 4202560 10890 0 0 0 2 1 0 0 16 0 22 0 523028011 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=15718324 CPUtime=0.02 cores=1,3,5,7
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 22152 0 -1 4202560 9075 0 0 0 1 1 0 0 16 0 22 0 523028011 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=15718324 CPUtime=0.04 cores=1,3,5,7
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 22152 0 -1 4202560 13248 0 0 0 3 1 0 0 15 0 22 0 523028011 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=15718324 CPUtime=0.02 cores=1,3,5,7
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 22152 0 -1 4202560 7989 0 0 0 1 1 0 0 16 0 22 0 523028011 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=15718324 CPUtime=0.04 cores=1,3,5,7
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 22152 0 -1 4202560 15193 0 0 0 2 2 0 0 16 0 22 0 523028011 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=15718324 CPUtime=0.01 cores=1,3,5,7
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 22152 0 -1 4202560 2883 0 0 0 1 0 0 0 15 0 22 0 523028011 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=15718324 CPUtime=0.02 cores=1,3,5,7
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 22152 0 -1 4202560 5361 0 0 0 2 0 0 0 15 0 22 0 523028011 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=15718324 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22195/stat : 22195 (java) S 22182 22184 22152 0 -1 4202560 503 0 0 0 0 0 0 0 16 0 22 0 523028012 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 0 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=15718324 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 22152 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 523028013 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=15718324 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523028013 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22213] ppid=22182 vsize=15718324 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22213/stat : 22213 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523028015 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652683185 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22214] ppid=22182 vsize=15718324 CPUtime=0.73 cores=1,3,5,7
/proc/22184/task/22214/stat : 22214 (java) R 22182 22184 22152 0 -1 4202560 16707 0 0 0 71 2 0 0 20 0 22 0 523028015 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 47441501172215 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22184/tid=22215] ppid=22182 vsize=15718324 CPUtime=1.1 cores=1,3,5,7
/proc/22184/task/22215/stat : 22215 (java) S 22182 22184 22152 0 -1 4202560 6667 0 0 0 109 1 0 0 16 0 22 0 523028015 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22216] ppid=22182 vsize=15718324 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22216/stat : 22216 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523028015 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22217] ppid=22182 vsize=15718324 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22217/stat : 22217 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523028015 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 4 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22226] ppid=22182 vsize=15718324 CPUtime=2.16 cores=1,3,5,7
/proc/22184/task/22226/stat : 22226 (java) R 22182 22184 22152 0 -1 4202560 25801 0 0 0 214 2 0 0 17 0 22 0 523028042 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505901130 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22184/tid=22227] ppid=22182 vsize=15718324 CPUtime=1.96 cores=1,3,5,7
/proc/22184/task/22227/stat : 22227 (java) R 22182 22184 22152 0 -1 4202560 22469 0 0 0 195 1 0 0 17 0 22 0 523028042 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505977386 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22184/tid=22228] ppid=22182 vsize=15718324 CPUtime=2 cores=1,3,5,7
/proc/22184/task/22228/stat : 22228 (java) R 22182 22184 22152 0 -1 4202560 21373 0 0 0 197 3 0 0 17 0 22 0 523028042 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505523466 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22184/tid=22229] ppid=22182 vsize=15718324 CPUtime=1.99 cores=1,3,5,7
/proc/22184/task/22229/stat : 22229 (java) R 22182 22184 22152 0 -1 4202560 25053 0 0 0 197 2 0 0 17 0 22 0 523028042 16095563776 191352 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505523495 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.92
Current children cumulated vsize (KiB) 15718324

[startup+6.30136 s]
/proc/loadavg: 7.04 7.79 7.62 9/220 22233
/proc/meminfo: memFree=28502864/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=15714580 CPUtime=23.71 cores=1,3,5,7
/proc/22184/stat : 22184 (java) S 22182 22184 22152 0 -1 4202496 340018 0 1 0 2328 43 0 0 21 0 22 0 523028010 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22184/statm: 3928645 327047 2279 9 0 3919364 0
[pid=22184/tid=22186] ppid=22182 vsize=15714580 CPUtime=0.66 cores=1,3,5,7
/proc/22184/task/22186/stat : 22186 (java) S 22182 22184 22152 0 -1 4202560 13328 0 1 0 64 2 0 0 20 0 22 0 523028011 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 22152 0 -1 4202560 638 0 0 0 0 0 0 0 16 0 22 0 523028011 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=15714580 CPUtime=0.09 cores=1,3,5,7
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 22152 0 -1 4202560 22684 0 0 0 6 3 0 0 16 0 22 0 523028011 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=15714580 CPUtime=0.04 cores=1,3,5,7
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 22152 0 -1 4202560 13849 0 0 0 2 2 0 0 16 0 22 0 523028011 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=15714580 CPUtime=0.04 cores=1,3,5,7
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 22152 0 -1 4202560 13248 0 0 0 3 1 0 0 15 0 22 0 523028011 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=15714580 CPUtime=0.04 cores=1,3,5,7
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 22152 0 -1 4202560 12556 0 0 0 3 1 0 0 16 0 22 0 523028011 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=15714580 CPUtime=0.07 cores=1,3,5,7
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 22152 0 -1 4202560 23278 0 0 0 4 3 0 0 15 0 22 0 523028011 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=15714580 CPUtime=0.03 cores=1,3,5,7
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 22152 0 -1 4202560 7349 0 0 0 2 1 0 0 16 0 22 0 523028011 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=15714580 CPUtime=0.04 cores=1,3,5,7
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 22152 0 -1 4202560 12321 0 0 0 3 1 0 0 15 0 22 0 523028011 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22195/stat : 22195 (java) S 22182 22184 22152 0 -1 4202560 801 0 0 0 0 0 0 0 15 0 22 0 523028012 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 0 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 22152 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 523028013 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523028013 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22213] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22213/stat : 22213 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523028015 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652683185 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22214] ppid=22182 vsize=15714580 CPUtime=1.23 cores=1,3,5,7
/proc/22184/task/22214/stat : 22214 (java) S 22182 22184 22152 0 -1 4202560 21387 0 0 0 121 2 0 0 15 0 22 0 523028015 16091729920 327047 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0

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

[pid=22184/tid=22227] ppid=22182 vsize=15714580 CPUtime=1048.92 cores=1,3,5,7
/proc/22184/task/22227/stat : 22227 (java) R 22182 22184 22152 0 -1 4202560 353282 0 0 0 104851 41 0 0 25 0 22 0 523028042 16091729920 233688 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505942659 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22184/tid=22228] ppid=22182 vsize=15714580 CPUtime=1049.58 cores=1,3,5,7
/proc/22184/task/22228/stat : 22228 (java) R 22182 22184 22152 0 -1 4202560 328824 0 0 0 104921 37 0 0 25 0 22 0 523028042 16091729920 233688 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505893485 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22184/tid=22229] ppid=22182 vsize=15714580 CPUtime=1049.33 cores=1,3,5,7
/proc/22184/task/22229/stat : 22229 (java) R 22182 22184 22152 0 -1 4202560 349593 0 0 0 104891 42 0 0 25 0 22 0 523028042 16091729920 233688 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505868058 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4233.01
Current children cumulated vsize (KiB) 15714580

[startup+1122.3 s]
/proc/loadavg: 8.08 8.10 7.93 9/220 22275
/proc/meminfo: memFree=27487472/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=15714580 CPUtime=4472.27 cores=1,3,5,7
/proc/22184/stat : 22184 (java) S 22182 22184 22152 0 -1 4202496 3953319 0 1 0 446615 612 0 0 21 0 22 0 523028010 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22184/statm: 3928645 267494 2297 9 0 3919364 0
[pid=22184/tid=22186] ppid=22182 vsize=15714580 CPUtime=0.66 cores=1,3,5,7
/proc/22184/task/22186/stat : 22186 (java) S 22182 22184 22152 0 -1 4202560 13328 0 1 0 64 2 0 0 20 0 22 0 523028011 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=15714580 CPUtime=4.15 cores=1,3,5,7
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 22152 0 -1 4202560 321728 0 0 0 365 50 0 0 15 0 22 0 523028011 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=15714580 CPUtime=4.16 cores=1,3,5,7
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 22152 0 -1 4202560 332194 0 0 0 367 49 0 0 16 0 22 0 523028011 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=15714580 CPUtime=4.28 cores=1,3,5,7
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 22152 0 -1 4202560 327006 0 0 0 378 50 0 0 15 0 22 0 523028011 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=15714580 CPUtime=3.98 cores=1,3,5,7
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 22152 0 -1 4202560 299873 0 0 0 357 41 0 0 16 0 22 0 523028011 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=15714580 CPUtime=4.01 cores=1,3,5,7
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 22152 0 -1 4202560 297552 0 0 0 358 43 0 0 16 0 22 0 523028011 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=15714580 CPUtime=3.91 cores=1,3,5,7
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 22152 0 -1 4202560 284456 0 0 0 348 43 0 0 16 0 22 0 523028011 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=15714580 CPUtime=4.1 cores=1,3,5,7
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 22152 0 -1 4202560 294534 0 0 0 366 44 0 0 15 0 22 0 523028011 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=15714580 CPUtime=3.96 cores=1,3,5,7
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 22152 0 -1 4202560 281881 0 0 0 351 45 0 0 16 0 22 0 523028011 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=15714580 CPUtime=1.68 cores=1,3,5,7
/proc/22184/task/22195/stat : 22195 (java) S 22182 22184 22152 0 -1 4202560 11149 0 0 0 103 65 0 0 16 0 22 0 523028012 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 0 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 22152 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 523028013 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523028013 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22213] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22213/stat : 22213 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523028015 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652683185 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22214] ppid=22182 vsize=15714580 CPUtime=1.43 cores=1,3,5,7
/proc/22184/task/22214/stat : 22214 (java) S 22182 22184 22152 0 -1 4202560 21755 0 0 0 141 2 0 0 15 0 22 0 523028015 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22215] ppid=22182 vsize=15714580 CPUtime=1.34 cores=1,3,5,7
/proc/22184/task/22215/stat : 22215 (java) S 22182 22184 22152 0 -1 4202560 6710 0 0 0 133 1 0 0 15 0 22 0 523028015 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22216] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22216/stat : 22216 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523028015 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22217] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22217/stat : 22217 (java) S 22182 22184 22152 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 523028015 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22226] ppid=22182 vsize=15714580 CPUtime=1108.43 cores=1,3,5,7
/proc/22184/task/22226/stat : 22226 (java) R 22182 22184 22152 0 -1 4202560 368808 0 0 0 110800 43 0 0 25 0 22 0 523028042 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505717978 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22184/tid=22227] ppid=22182 vsize=15714580 CPUtime=1108.35 cores=1,3,5,7
/proc/22184/task/22227/stat : 22227 (java) R 22182 22184 22152 0 -1 4202560 375602 0 0 0 110792 43 0 0 25 0 22 0 523028042 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505748912 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22184/tid=22228] ppid=22182 vsize=15714580 CPUtime=1108.89 cores=1,3,5,7
/proc/22184/task/22228/stat : 22228 (java) R 22182 22184 22152 0 -1 4202560 343603 0 0 0 110850 39 0 0 25 0 22 0 523028042 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505601205 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22184/tid=22229] ppid=22182 vsize=15714580 CPUtime=1108.76 cores=1,3,5,7
/proc/22184/task/22229/stat : 22229 (java) R 22182 22184 22152 0 -1 4202560 371690 0 0 0 110832 44 0 0 25 0 22 0 523028042 16091729920 267494 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505757983 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4472.27
Current children cumulated vsize (KiB) 15714580

[startup+1182.3 s]
/proc/loadavg: 8.11 8.10 7.94 9/220 22276
/proc/meminfo: memFree=27507868/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=15714580 CPUtime=4711.5 cores=1,3,5,7
/proc/22184/stat : 22184 (java) S 22182 22184 22152 0 -1 4202496 4127963 0 1 0 470510 640 0 0 21 0 22 0 523028010 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22184/statm: 3928645 221052 2297 9 0 3919364 0
[pid=22184/tid=22186] ppid=22182 vsize=15714580 CPUtime=0.66 cores=1,3,5,7
/proc/22184/task/22186/stat : 22186 (java) S 22182 22184 22152 0 -1 4202560 13328 0 1 0 64 2 0 0 20 0 22 0 523028011 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=15714580 CPUtime=4.4 cores=1,3,5,7
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 22152 0 -1 4202560 336832 0 0 0 389 51 0 0 15 0 22 0 523028011 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=15714580 CPUtime=4.38 cores=1,3,5,7
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 22152 0 -1 4202560 341637 0 0 0 387 51 0 0 16 0 22 0 523028011 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=15714580 CPUtime=4.53 cores=1,3,5,7
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 22152 0 -1 4202560 345220 0 0 0 400 53 0 0 15 0 22 0 523028011 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=15714580 CPUtime=4.19 cores=1,3,5,7
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 22152 0 -1 4202560 312587 0 0 0 377 42 0 0 16 0 22 0 523028011 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=15714580 CPUtime=4.25 cores=1,3,5,7
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 22152 0 -1 4202560 314335 0 0 0 380 45 0 0 15 0 22 0 523028011 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=15714580 CPUtime=4.13 cores=1,3,5,7
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 22152 0 -1 4202560 291562 0 0 0 369 44 0 0 15 0 22 0 523028011 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=15714580 CPUtime=4.32 cores=1,3,5,7
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 22152 0 -1 4202560 309110 0 0 0 387 45 0 0 15 0 22 0 523028011 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=15714580 CPUtime=4.1 cores=1,3,5,7
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 22152 0 -1 4202560 291516 0 0 0 364 46 0 0 16 0 22 0 523028011 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=15714580 CPUtime=1.76 cores=1,3,5,7
/proc/22184/task/22195/stat : 22195 (java) S 22182 22184 22152 0 -1 4202560 11682 0 0 0 107 69 0 0 15 0 22 0 523028012 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 0 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 22152 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 523028013 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523028013 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22213] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22213/stat : 22213 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523028015 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652683185 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22214] ppid=22182 vsize=15714580 CPUtime=1.43 cores=1,3,5,7
/proc/22184/task/22214/stat : 22214 (java) S 22182 22184 22152 0 -1 4202560 21755 0 0 0 141 2 0 0 15 0 22 0 523028015 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22215] ppid=22182 vsize=15714580 CPUtime=1.34 cores=1,3,5,7
/proc/22184/task/22215/stat : 22215 (java) S 22182 22184 22152 0 -1 4202560 6710 0 0 0 133 1 0 0 15 0 22 0 523028015 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22216] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22216/stat : 22216 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523028015 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22217] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22217/stat : 22217 (java) S 22182 22184 22152 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 523028015 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22226] ppid=22182 vsize=15714580 CPUtime=1167.69 cores=1,3,5,7
/proc/22184/task/22226/stat : 22226 (java) R 22182 22184 22152 0 -1 4202560 385679 0 0 0 116723 46 0 0 25 0 22 0 523028042 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22184/tid=22227] ppid=22182 vsize=15714580 CPUtime=1167.77 cores=1,3,5,7
/proc/22184/task/22227/stat : 22227 (java) R 22182 22184 22152 0 -1 4202560 392982 0 0 0 116732 45 0 0 25 0 22 0 523028042 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505757525 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22184/tid=22228] ppid=22182 vsize=15714580 CPUtime=1168.16 cores=1,3,5,7
/proc/22184/task/22228/stat : 22228 (java) R 22182 22184 22152 0 -1 4202560 359568 0 0 0 116775 41 0 0 25 0 22 0 523028042 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505940762 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22184/tid=22229] ppid=22182 vsize=15714580 CPUtime=1168.18 cores=1,3,5,7
/proc/22184/task/22229/stat : 22229 (java) R 22182 22184 22152 0 -1 4202560 392006 0 0 0 116772 46 0 0 25 0 22 0 523028042 16091729920 221052 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505717973 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4711.5
Current children cumulated vsize (KiB) 15714580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.6 s]
/proc/loadavg: 7.89 8.05 7.93 5/197 22280
/proc/meminfo: memFree=29400276/32951124 swapFree=67111364/67111528
[pid=22184] ppid=22182 vsize=15714580 CPUtime=4800.38 cores=1,3,5,7
/proc/22184/stat : 22184 (java) S 22182 22184 22152 0 -1 4202496 4218164 0 1 0 479383 655 0 0 21 0 22 0 523028010 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652662245 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/22184/statm: 3928645 233509 2297 9 0 3919364 0
[pid=22184/tid=22186] ppid=22182 vsize=15714580 CPUtime=0.66 cores=1,3,5,7
/proc/22184/task/22186/stat : 22186 (java) S 22182 22184 22152 0 -1 4202560 13328 0 1 0 64 2 0 0 20 0 22 0 523028011 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22187] ppid=22182 vsize=15714580 CPUtime=4.53 cores=1,3,5,7
/proc/22184/task/22187/stat : 22187 (java) S 22182 22184 22152 0 -1 4202560 347578 0 0 0 400 53 0 0 15 0 22 0 523028011 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22188] ppid=22182 vsize=15714580 CPUtime=4.47 cores=1,3,5,7
/proc/22184/task/22188/stat : 22188 (java) S 22182 22184 22152 0 -1 4202560 352174 0 0 0 395 52 0 0 15 0 22 0 523028011 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22189] ppid=22182 vsize=15714580 CPUtime=4.61 cores=1,3,5,7
/proc/22184/task/22189/stat : 22189 (java) S 22182 22184 22152 0 -1 4202560 354114 0 0 0 407 54 0 0 15 0 22 0 523028011 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22190] ppid=22182 vsize=15714580 CPUtime=4.29 cores=1,3,5,7
/proc/22184/task/22190/stat : 22190 (java) S 22182 22184 22152 0 -1 4202560 318889 0 0 0 385 44 0 0 16 0 22 0 523028011 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22191] ppid=22182 vsize=15714580 CPUtime=4.35 cores=1,3,5,7
/proc/22184/task/22191/stat : 22191 (java) S 22182 22184 22152 0 -1 4202560 323252 0 0 0 388 47 0 0 15 0 22 0 523028011 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 1 0 0 0
[pid=22184/tid=22192] ppid=22182 vsize=15714580 CPUtime=4.23 cores=1,3,5,7
/proc/22184/task/22192/stat : 22192 (java) S 22182 22184 22152 0 -1 4202560 298109 0 0 0 377 46 0 0 15 0 22 0 523028011 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22193] ppid=22182 vsize=15714580 CPUtime=4.39 cores=1,3,5,7
/proc/22184/task/22193/stat : 22193 (java) S 22182 22184 22152 0 -1 4202560 314798 0 0 0 393 46 0 0 15 0 22 0 523028011 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 7 0 0 0
[pid=22184/tid=22194] ppid=22182 vsize=15714580 CPUtime=4.18 cores=1,3,5,7
/proc/22184/task/22194/stat : 22194 (java) S 22182 22184 22152 0 -1 4202560 298027 0 0 0 371 47 0 0 15 0 22 0 523028011 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22195] ppid=22182 vsize=15714580 CPUtime=1.81 cores=1,3,5,7
/proc/22184/task/22195/stat : 22195 (java) S 22182 22184 22152 0 -1 4202560 11886 0 0 0 110 71 0 0 15 0 22 0 523028012 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 0 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22196] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22196/stat : 22196 (java) S 22182 22184 22152 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 523028013 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22197] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22197/stat : 22197 (java) S 22182 22184 22152 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523028013 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22213] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22213/stat : 22213 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523028015 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652683185 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22214] ppid=22182 vsize=15714580 CPUtime=1.43 cores=1,3,5,7
/proc/22184/task/22214/stat : 22214 (java) S 22182 22184 22152 0 -1 4202560 21755 0 0 0 141 2 0 0 15 0 22 0 523028015 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22215] ppid=22182 vsize=15714580 CPUtime=1.34 cores=1,3,5,7
/proc/22184/task/22215/stat : 22215 (java) S 22182 22184 22152 0 -1 4202560 6710 0 0 0 133 1 0 0 15 0 22 0 523028015 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 3 0 0 0
[pid=22184/tid=22216] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22216/stat : 22216 (java) S 22182 22184 22152 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523028015 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652675481 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22217] ppid=22182 vsize=15714580 CPUtime=0 cores=1,3,5,7
/proc/22184/task/22217/stat : 22217 (java) S 22182 22184 22152 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 523028015 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 253652676096 0 4 0 16800975 18446604470439012160 0 0 -1 5 0 0 0
[pid=22184/tid=22226] ppid=22182 vsize=15714580 CPUtime=1189.75 cores=1,3,5,7
/proc/22184/task/22226/stat : 22226 (java) R 22182 22184 22152 0 -1 4202560 392953 0 0 0 118928 47 0 0 25 0 22 0 523028042 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505940396 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22184/tid=22227] ppid=22182 vsize=15714580 CPUtime=1189.71 cores=1,3,5,7
/proc/22184/task/22227/stat : 22227 (java) R 22182 22184 22152 0 -1 4202560 399634 0 0 0 118925 46 0 0 25 0 22 0 523028042 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505868150 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=22184/tid=22228] ppid=22182 vsize=15714580 CPUtime=1190.22 cores=1,3,5,7
/proc/22184/task/22228/stat : 22228 (java) R 22182 22184 22152 0 -1 4202560 364084 0 0 0 118980 42 0 0 25 0 22 0 523028042 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505749547 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22184/tid=22229] ppid=22182 vsize=15714580 CPUtime=1190.24 cores=1,3,5,7
/proc/22184/task/22229/stat : 22229 (java) R 22182 22184 22152 0 -1 4202560 399417 0 0 0 118977 47 0 0 25 0 22 0 523028042 16091729920 233509 33554432000 1073741824 1073778376 140736448803904 18446744073709551615 46912505601175 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 15714580

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): 1204.65
CPU time (s): 4800.45
CPU user time (s): 4793.86
CPU system time (s): 6.587
CPU usage (%): 398.493
Max. virtual memory (cumulated for all children) (KiB): 15718332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.86
system time used= 6.587
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4218190
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= 72560
involuntary context switches= 90751

runsolver used 2.07568 second user time and 4.56431 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 23:57:56
IDJOB=3312427
IDBENCH=82612
IDSOLVER=1699
FILE ID=node106/3312427-1304114276
RUNJOBID= node106-1304114276-22171
PBS_JOBID= 13170704
Free space on /tmp= 72160 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312427-1304114276/watcher-3312427-1304114276 -o /tmp/evaluation-result-3312427-1304114276/solver-3312427-1304114276 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312427-1304114276.cnf

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

MD5SUM BENCH= 1cfa78dd8d87f0dbd61a5ae4dd552500
RANDOM SEED=122248489

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30331068 kB
Buffers:        260588 kB
Cached:        2079548 kB
SwapCached:         88 kB
Active:         799308 kB
Inactive:      1606936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30331068 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            1704 kB
Writeback:           0 kB
AnonPages:       65772 kB
Mapped:          14712 kB
Slab:           147000 kB
PageTables:       5036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   192040 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= 72156 MiB
End job on node106 at 2011-04-30 00:18:03