Trace number 3311574

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.12 1207.04

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf
MD5SUM31822745c6eca997ddfb1c68091841ad
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.945856
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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	00:34 INFO : Reading from input HOME/instance-3311574-1304136034.cnf
0.28/0.25	Executor set job limit to 1000000
0.28/0.25	Executor set job limit to 1000000
0.28/0.25	Executor set job limit to 1000000
0.28/0.25	Executor set job limit to 1000000
0.28/0.25	Starting Executor!
0.28/0.25	Starting Executor!
0.28/0.26	Starting Executor!
0.28/0.26	Starting Executor!
0.53/0.39	00:35 INFO : 646 variables remaining out of 650
0.53/0.39	00:35 INFO : 10964 literals remaining out of 11076

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

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: 8.25 8.11 7.84 6/198 30213
/proc/meminfo: memFree=25577748/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 1414 0 0 0 0 0 0 0 25 0 2 0 525206185 26714112 884 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 6793 885 678 9 0 381 0
[pid=30213/tid=30214] ppid=30211 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) R 30211 30213 29449 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 525206186 27824128 893 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218366033543 0 2147483391 4096 0 0 0 0 -1 4 0 0 0

[startup+0.0532141 s]
/proc/loadavg: 8.25 8.11 7.84 6/198 30213
/proc/meminfo: memFree=25577748/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=15609648 CPUtime=0.03 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 4035 0 1 0 3 0 0 0 25 0 18 0 525206185 15984279552 3473 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 3902412 3475 1752 9 0 3893131 0
[pid=30213/tid=30214] ppid=30211 vsize=15609648 CPUtime=0.03 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) R 30211 30213 29449 0 -1 4202560 2629 0 1 0 3 0 0 0 25 0 18 0 525206186 15984279552 3485 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218370651112 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15609648

[startup+0.100209 s]
/proc/loadavg: 8.25 8.11 7.84 6/198 30213
/proc/meminfo: memFree=25577748/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=15676728 CPUtime=0.1 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 5553 0 1 0 9 1 0 0 25 0 18 0 525206185 16052969472 4954 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 3919182 4955 2117 9 0 3909901 0
[pid=30213/tid=30214] ppid=30211 vsize=15676728 CPUtime=0.08 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) R 30211 30213 29449 0 -1 4202560 3391 0 1 0 7 1 0 0 18 0 18 0 525206186 16052969472 4955 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 47675069214200 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) 15676728

[startup+0.304164 s]
/proc/loadavg: 8.25 8.11 7.84 6/198 30213
/proc/meminfo: memFree=25577748/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=15682896 CPUtime=0.53 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 11347 0 1 0 51 2 0 0 25 0 22 0 525206185 16059285504 9760 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 3920724 9760 2213 9 0 3911443 0
[pid=30213/tid=30214] ppid=30211 vsize=15682896 CPUtime=0.28 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) R 30211 30213 29449 0 -1 4202560 6408 0 1 0 26 2 0 0 18 0 22 0 525206186 16059285504 9760 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505216005 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15682896

[startup+0.926019 s]
/proc/loadavg: 8.25 8.11 7.84 6/198 30213
/proc/meminfo: memFree=25577748/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=15705208 CPUtime=2.8 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 40747 0 1 0 275 5 0 0 25 0 22 0 525206185 16082132992 34798 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 3926302 34798 2257 9 0 3917021 0
[pid=30213/tid=30214] ppid=30211 vsize=15705208 CPUtime=0.37 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) S 30211 30213 29449 0 -1 4202560 6773 0 1 0 35 2 0 0 18 0 22 0 525206186 16082132992 34798 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 15705208

[startup+1.50092 s]
/proc/loadavg: 8.25 8.11 7.84 14/220 30235
/proc/meminfo: memFree=25397896/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=15702600 CPUtime=5.09 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 57016 0 1 0 501 8 0 0 25 0 22 0 525206185 16079462400 48740 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 3925650 48741 2273 9 0 3916369 0
[pid=30213/tid=30214] ppid=30211 vsize=15702600 CPUtime=0.37 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) S 30211 30213 29449 0 -1 4202560 6773 0 1 0 35 2 0 0 18 0 22 0 525206186 16079462400 48743 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30216] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30216/stat : 30216 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 525206187 16079462400 48743 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30217] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30217/stat : 30217 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 525206187 16079462400 48744 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30218] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30218/stat : 30218 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 525206187 16079462400 48745 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30219] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30219/stat : 30219 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 525206187 16079462400 48750 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30220] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30220/stat : 30220 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 525206187 16079462400 48752 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30221] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30221/stat : 30221 (java) S 30211 30213 29449 0 -1 4202560 504 0 0 0 0 0 0 0 16 0 22 0 525206187 16079462400 48752 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30222] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30222/stat : 30222 (java) S 30211 30213 29449 0 -1 4202560 1214 0 0 0 0 0 0 0 18 0 22 0 525206187 16079462400 48753 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30223] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30223/stat : 30223 (java) S 30211 30213 29449 0 -1 4202560 765 0 0 0 0 0 0 0 18 0 22 0 525206187 16079462400 48753 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30224] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30224/stat : 30224 (java) S 30211 30213 29449 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 525206188 16079462400 48753 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773760 0 0 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30225] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30225/stat : 30225 (java) S 30211 30213 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525206188 16079462400 48754 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30226] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30226/stat : 30226 (java) S 30211 30213 29449 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525206188 16079462400 48754 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30227] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30227/stat : 30227 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525206190 16079462400 48755 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382780849 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30228] ppid=30211 vsize=15702600 CPUtime=0.99 cores=0,2,4,6
/proc/30213/task/30228/stat : 30228 (java) R 30211 30213 29449 0 -1 4202560 8511 0 0 0 99 0 0 0 17 0 22 0 525206190 16079462400 48755 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 47675064164781 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30213/tid=30229] ppid=30211 vsize=15702600 CPUtime=0.49 cores=0,2,4,6
/proc/30213/task/30229/stat : 30229 (java) R 30211 30213 29449 0 -1 4202560 9601 0 0 0 49 0 0 0 17 0 22 0 525206190 16079462400 48756 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 47675068046052 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30213/tid=30230] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30230/stat : 30230 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525206190 16079462400 48756 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30231] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30231/stat : 30231 (java) R 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 525206190 16079462400 48757 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773760 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30213/tid=30232] ppid=30211 vsize=15702600 CPUtime=0.66 cores=0,2,4,6
/proc/30213/task/30232/stat : 30232 (java) R 30211 30213 29449 0 -1 4202560 5162 0 0 0 66 0 0 0 18 0 22 0 525206211 16079462400 48757 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505980634 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30213/tid=30233] ppid=30211 vsize=15702600 CPUtime=0.95 cores=0,2,4,6
/proc/30213/task/30233/stat : 30233 (java) R 30211 30213 29449 0 -1 4202560 8105 0 0 0 95 0 0 0 18 0 22 0 525206211 16079462400 48760 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505215751 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30213/tid=30234] ppid=30211 vsize=15702600 CPUtime=0.76 cores=0,2,4,6
/proc/30213/task/30234/stat : 30234 (java) R 30211 30213 29449 0 -1 4202560 7848 0 0 0 75 1 0 0 19 0 22 0 525206211 16079462400 48760 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382783157 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30213/tid=30235] ppid=30211 vsize=15702600 CPUtime=0.79 cores=0,2,4,6
/proc/30213/task/30235/stat : 30235 (java) R 30211 30213 29449 0 -1 4202560 7149 0 0 0 79 0 0 0 17 0 22 0 525206212 16079462400 48760 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505980626 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 15702600

[startup+3.10163 s]
/proc/loadavg: 8.25 8.11 7.84 9/220 30235
/proc/meminfo: memFree=25257284/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=15702600 CPUtime=11.45 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 158248 0 1 0 1125 20 0 0 25 0 22 0 525206185 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 3925650 149900 2284 9 0 3916369 0
[pid=30213/tid=30214] ppid=30211 vsize=15702600 CPUtime=0.37 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) S 30211 30213 29449 0 -1 4202560 6773 0 1 0 35 2 0 0 18 0 22 0 525206186 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30216] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30216/stat : 30216 (java) S 30211 30213 29449 0 -1 4202560 1743 0 0 0 0 0 0 0 15 0 22 0 525206187 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30217] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30217/stat : 30217 (java) S 30211 30213 29449 0 -1 4202560 685 0 0 0 0 0 0 0 16 0 22 0 525206187 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30218] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30218/stat : 30218 (java) S 30211 30213 29449 0 -1 4202560 2579 0 0 0 0 0 0 0 15 0 22 0 525206187 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30219] ppid=30211 vsize=15702600 CPUtime=0.01 cores=0,2,4,6
/proc/30213/task/30219/stat : 30219 (java) S 30211 30213 29449 0 -1 4202560 4469 0 0 0 1 0 0 0 16 0 22 0 525206187 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30220] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30220/stat : 30220 (java) S 30211 30213 29449 0 -1 4202560 1570 0 0 0 0 0 0 0 15 0 22 0 525206187 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30221] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30221/stat : 30221 (java) S 30211 30213 29449 0 -1 4202560 1916 0 0 0 0 0 0 0 16 0 22 0 525206187 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30222] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30222/stat : 30222 (java) S 30211 30213 29449 0 -1 4202560 3616 0 0 0 0 0 0 0 15 0 22 0 525206187 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30223] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30223/stat : 30223 (java) S 30211 30213 29449 0 -1 4202560 1524 0 0 0 0 0 0 0 15 0 22 0 525206187 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30224] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30224/stat : 30224 (java) S 30211 30213 29449 0 -1 4202560 446 0 0 0 0 0 0 0 16 0 22 0 525206188 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773760 0 0 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30225] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30225/stat : 30225 (java) S 30211 30213 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525206188 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30226] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30226/stat : 30226 (java) S 30211 30213 29449 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525206188 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30227] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30227/stat : 30227 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525206190 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382780849 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30228] ppid=30211 vsize=15702600 CPUtime=1 cores=0,2,4,6
/proc/30213/task/30228/stat : 30228 (java) S 30211 30213 29449 0 -1 4202560 8514 0 0 0 100 0 0 0 15 0 22 0 525206190 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30229] ppid=30211 vsize=15702600 CPUtime=0.57 cores=0,2,4,6
/proc/30213/task/30229/stat : 30229 (java) S 30211 30213 29449 0 -1 4202560 9688 0 0 0 56 1 0 0 15 0 22 0 525206190 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30230] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30230/stat : 30230 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525206190 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30231] ppid=30211 vsize=15702600 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30231/stat : 30231 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 525206190 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773760 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30232] ppid=30211 vsize=15702600 CPUtime=2.22 cores=0,2,4,6
/proc/30213/task/30232/stat : 30232 (java) R 30211 30213 29449 0 -1 4202560 27739 0 0 0 219 3 0 0 20 0 22 0 525206211 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 18446744073699065897 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30213/tid=30233] ppid=30211 vsize=15702600 CPUtime=2.52 cores=0,2,4,6
/proc/30213/task/30233/stat : 30233 (java) R 30211 30213 29449 0 -1 4202560 29188 0 0 0 249 3 0 0 21 0 22 0 525206211 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505797901 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30213/tid=30234] ppid=30211 vsize=15702600 CPUtime=2.32 cores=0,2,4,6
/proc/30213/task/30234/stat : 30234 (java) R 30211 30213 29449 0 -1 4202560 29088 0 0 0 229 3 0 0 22 0 22 0 525206211 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505948924 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30213/tid=30235] ppid=30211 vsize=15702600 CPUtime=2.32 cores=0,2,4,6
/proc/30213/task/30235/stat : 30235 (java) R 30211 30213 29449 0 -1 4202560 27324 0 0 0 229 3 0 0 18 0 22 0 525206212 16079462400 149900 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505701948 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.45
Current children cumulated vsize (KiB) 15702600

[startup+6.30106 s]
/proc/loadavg: 8.23 8.11 7.84 9/220 30235
/proc/meminfo: memFree=24522428/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=15696616 CPUtime=24.22 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 282582 0 1 0 2388 34 0 0 25 0 22 0 525206185 16073334784 271735 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 3924154 271735 2284 9 0 3914873 0
[pid=30213/tid=30214] ppid=30211 vsize=15696616 CPUtime=0.37 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) S 30211 30213 29449 0 -1 4202560 6773 0 1 0 35 2 0 0 18 0 22 0 525206186 16073334784 271735 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30216] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30216/stat : 30216 (java) S 30211 30213 29449 0 -1 4202560 2006 0 0 0 0 0 0 0 15 0 22 0 525206187 16073334784 271735 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30217] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30217/stat : 30217 (java) S 30211 30213 29449 0 -1 4202560 854 0 0 0 0 0 0 0 15 0 22 0 525206187 16073334784 271735 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30218] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30218/stat : 30218 (java) S 30211 30213 29449 0 -1 4202560 2990 0 0 0 0 0 0 0 16 0 22 0 525206187 16073334784 271735 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30219] ppid=30211 vsize=15696616 CPUtime=0.01 cores=0,2,4,6
/proc/30213/task/30219/stat : 30219 (java) S 30211 30213 29449 0 -1 4202560 4715 0 0 0 1 0 0 0 15 0 22 0 525206187 16073334784 271735 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30220] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30220/stat : 30220 (java) S 30211 30213 29449 0 -1 4202560 1871 0 0 0 0 0 0 0 16 0 22 0 525206187 16073334784 271735 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30221] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30221/stat : 30221 (java) S 30211 30213 29449 0 -1 4202560 2189 0 0 0 0 0 0 0 15 0 22 0 525206187 16073334784 271735 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30222] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30222/stat : 30222 (java) S 30211 30213 29449 0 -1 4202560 4297 0 0 0 0 0 0 0 16 0 22 0 525206187 16073334784 271735 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30223] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30223/stat : 30223 (java) S 30211 30213 29449 0 -1 4202560 1780 0 0 0 0 0 0 0 16 0 22 0 525206187 16073334784 271735 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0

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

[pid=30213/tid=30233] ppid=30211 vsize=15696616 CPUtime=1107.63 cores=0,2,4,6
/proc/30213/task/30233/stat : 30233 (java) R 30211 30213 29449 0 -1 4202560 389262 0 0 0 110711 52 0 0 25 0 22 0 525206211 16073334784 107313 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 47675068533464 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30213/tid=30234] ppid=30211 vsize=15696616 CPUtime=1107.92 cores=0,2,4,6
/proc/30213/task/30234/stat : 30234 (java) R 30211 30213 29449 0 -1 4202560 395456 0 0 0 110740 52 0 0 25 0 22 0 525206211 16073334784 107313 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505817292 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30213/tid=30235] ppid=30211 vsize=15696616 CPUtime=1108.44 cores=0,2,4,6
/proc/30213/task/30235/stat : 30235 (java) R 30211 30213 29449 0 -1 4202560 388690 0 0 0 110788 56 0 0 25 0 22 0 525206212 16073334784 107313 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505726726 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4463.13
Current children cumulated vsize (KiB) 15696616

[startup+1182.3 s]
/proc/loadavg: 8.05 8.08 8.01 9/220 30327
/proc/meminfo: memFree=25051480/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=15696616 CPUtime=4701.83 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 2930400 0 1 0 469646 537 0 0 25 0 22 0 525206185 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 3924154 119606 2298 9 0 3914873 0
[pid=30213/tid=30214] ppid=30211 vsize=15696616 CPUtime=0.37 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) S 30211 30213 29449 0 -1 4202560 6773 0 1 0 35 2 0 0 18 0 22 0 525206186 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30216] ppid=30211 vsize=15696616 CPUtime=3.54 cores=0,2,4,6
/proc/30213/task/30216/stat : 30216 (java) S 30211 30213 29449 0 -1 4202560 156933 0 0 0 327 27 0 0 16 0 22 0 525206187 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30217] ppid=30211 vsize=15696616 CPUtime=3.48 cores=0,2,4,6
/proc/30213/task/30217/stat : 30217 (java) S 30211 30213 29449 0 -1 4202560 157949 0 0 0 321 27 0 0 15 0 22 0 525206187 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30218] ppid=30211 vsize=15696616 CPUtime=3.53 cores=0,2,4,6
/proc/30213/task/30218/stat : 30218 (java) S 30211 30213 29449 0 -1 4202560 155288 0 0 0 324 29 0 0 15 0 22 0 525206187 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30219] ppid=30211 vsize=15696616 CPUtime=3.55 cores=0,2,4,6
/proc/30213/task/30219/stat : 30219 (java) S 30211 30213 29449 0 -1 4202560 156627 0 0 0 331 24 0 0 15 0 22 0 525206187 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30220] ppid=30211 vsize=15696616 CPUtime=3.53 cores=0,2,4,6
/proc/30213/task/30220/stat : 30220 (java) S 30211 30213 29449 0 -1 4202560 151553 0 0 0 327 26 0 0 15 0 22 0 525206187 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30221] ppid=30211 vsize=15696616 CPUtime=3.63 cores=0,2,4,6
/proc/30213/task/30221/stat : 30221 (java) S 30211 30213 29449 0 -1 4202560 155214 0 0 0 335 28 0 0 16 0 22 0 525206187 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30222] ppid=30211 vsize=15696616 CPUtime=3.48 cores=0,2,4,6
/proc/30213/task/30222/stat : 30222 (java) S 30211 30213 29449 0 -1 4202560 153150 0 0 0 323 25 0 0 15 0 22 0 525206187 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30223] ppid=30211 vsize=15696616 CPUtime=3.61 cores=0,2,4,6
/proc/30213/task/30223/stat : 30223 (java) S 30211 30213 29449 0 -1 4202560 163755 0 0 0 333 28 0 0 15 0 22 0 525206187 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30224] ppid=30211 vsize=15696616 CPUtime=2.16 cores=0,2,4,6
/proc/30213/task/30224/stat : 30224 (java) S 30211 30213 29449 0 -1 4202560 7398 0 0 0 135 81 0 0 15 0 22 0 525206188 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773760 0 0 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30225] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30225/stat : 30225 (java) S 30211 30213 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525206188 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30226] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30226/stat : 30226 (java) S 30211 30213 29449 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525206188 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30227] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30227/stat : 30227 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525206190 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382780849 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30228] ppid=30211 vsize=15696616 CPUtime=1.2 cores=0,2,4,6
/proc/30213/task/30228/stat : 30228 (java) S 30211 30213 29449 0 -1 4202560 8843 0 0 0 120 0 0 0 16 0 22 0 525206190 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30229] ppid=30211 vsize=15696616 CPUtime=0.71 cores=0,2,4,6
/proc/30213/task/30229/stat : 30229 (java) S 30211 30213 29449 0 -1 4202560 9711 0 0 0 70 1 0 0 15 0 22 0 525206190 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30230] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30230/stat : 30230 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525206190 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30231] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30231/stat : 30231 (java) S 30211 30213 29449 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 525206190 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773760 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30232] ppid=30211 vsize=15696616 CPUtime=1167.01 cores=0,2,4,6
/proc/30213/task/30232/stat : 30232 (java) R 30211 30213 29449 0 -1 4202560 406130 0 0 0 116640 61 0 0 25 0 22 0 525206211 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505745592 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=30213/tid=30233] ppid=30211 vsize=15696616 CPUtime=1166.83 cores=0,2,4,6
/proc/30213/task/30233/stat : 30233 (java) R 30211 30213 29449 0 -1 4202560 411540 0 0 0 116628 55 0 0 25 0 22 0 525206211 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505812020 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30213/tid=30234] ppid=30211 vsize=15696616 CPUtime=1167.22 cores=0,2,4,6
/proc/30213/task/30234/stat : 30234 (java) R 30211 30213 29449 0 -1 4202560 417987 0 0 0 116667 55 0 0 25 0 22 0 525206211 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505729253 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30213/tid=30235] ppid=30211 vsize=15696616 CPUtime=1167.82 cores=0,2,4,6
/proc/30213/task/30235/stat : 30235 (java) R 30211 30213 29449 0 -1 4202560 410100 0 0 0 116722 60 0 0 25 0 22 0 525206212 16073334784 119606 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505811724 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4701.83
Current children cumulated vsize (KiB) 15696616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.01 s]
/proc/loadavg: 8.09 8.09 8.01 9/220 30328
/proc/meminfo: memFree=25017472/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=15696616 CPUtime=4800.06 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 2986361 0 1 0 479459 547 0 0 25 0 22 0 525206185 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 3924154 115183 2298 9 0 3914873 0
[pid=30213/tid=30214] ppid=30211 vsize=15696616 CPUtime=0.37 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) S 30211 30213 29449 0 -1 4202560 6773 0 1 0 35 2 0 0 18 0 22 0 525206186 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30216] ppid=30211 vsize=15696616 CPUtime=3.62 cores=0,2,4,6
/proc/30213/task/30216/stat : 30216 (java) S 30211 30213 29449 0 -1 4202560 160384 0 0 0 334 28 0 0 16 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30217] ppid=30211 vsize=15696616 CPUtime=3.56 cores=0,2,4,6
/proc/30213/task/30217/stat : 30217 (java) S 30211 30213 29449 0 -1 4202560 161184 0 0 0 329 27 0 0 15 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30218] ppid=30211 vsize=15696616 CPUtime=3.61 cores=0,2,4,6
/proc/30213/task/30218/stat : 30218 (java) S 30211 30213 29449 0 -1 4202560 158352 0 0 0 332 29 0 0 15 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30219] ppid=30211 vsize=15696616 CPUtime=3.63 cores=0,2,4,6
/proc/30213/task/30219/stat : 30219 (java) S 30211 30213 29449 0 -1 4202560 159378 0 0 0 338 25 0 0 16 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30220] ppid=30211 vsize=15696616 CPUtime=3.61 cores=0,2,4,6
/proc/30213/task/30220/stat : 30220 (java) S 30211 30213 29449 0 -1 4202560 155875 0 0 0 334 27 0 0 15 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30221] ppid=30211 vsize=15696616 CPUtime=3.69 cores=0,2,4,6
/proc/30213/task/30221/stat : 30221 (java) S 30211 30213 29449 0 -1 4202560 157718 0 0 0 341 28 0 0 16 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30222] ppid=30211 vsize=15696616 CPUtime=3.57 cores=0,2,4,6
/proc/30213/task/30222/stat : 30222 (java) S 30211 30213 29449 0 -1 4202560 157604 0 0 0 331 26 0 0 16 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30223] ppid=30211 vsize=15696616 CPUtime=3.67 cores=0,2,4,6
/proc/30213/task/30223/stat : 30223 (java) S 30211 30213 29449 0 -1 4202560 166650 0 0 0 339 28 0 0 15 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30224] ppid=30211 vsize=15696616 CPUtime=2.22 cores=0,2,4,6
/proc/30213/task/30224/stat : 30224 (java) S 30211 30213 29449 0 -1 4202560 7523 0 0 0 139 83 0 0 15 0 22 0 525206188 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773760 0 0 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30225] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30225/stat : 30225 (java) S 30211 30213 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525206188 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30226] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30226/stat : 30226 (java) S 30211 30213 29449 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525206188 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30227] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30227/stat : 30227 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525206190 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382780849 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30228] ppid=30211 vsize=15696616 CPUtime=1.2 cores=0,2,4,6
/proc/30213/task/30228/stat : 30228 (java) S 30211 30213 29449 0 -1 4202560 8843 0 0 0 120 0 0 0 16 0 22 0 525206190 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30229] ppid=30211 vsize=15696616 CPUtime=0.71 cores=0,2,4,6
/proc/30213/task/30229/stat : 30229 (java) S 30211 30213 29449 0 -1 4202560 9711 0 0 0 70 1 0 0 15 0 22 0 525206190 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30230] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30230/stat : 30230 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525206190 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30231] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30231/stat : 30231 (java) S 30211 30213 29449 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 525206190 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773760 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30232] ppid=30211 vsize=15696616 CPUtime=1191.41 cores=0,2,4,6
/proc/30213/task/30232/stat : 30232 (java) R 30211 30213 29449 0 -1 4202560 413416 0 0 0 119079 62 0 0 25 0 22 0 525206211 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505811957 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30213/tid=30233] ppid=30211 vsize=15696616 CPUtime=1191.26 cores=0,2,4,6
/proc/30213/task/30233/stat : 30233 (java) R 30211 30213 29449 0 -1 4202560 419304 0 0 0 119070 56 0 0 25 0 22 0 525206211 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505897101 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30213/tid=30234] ppid=30211 vsize=15696616 CPUtime=1191.56 cores=0,2,4,6
/proc/30213/task/30234/stat : 30234 (java) R 30211 30213 29449 0 -1 4202560 425314 0 0 0 119100 56 0 0 25 0 22 0 525206211 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505769798 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30213/tid=30235] ppid=30211 vsize=15696616 CPUtime=1192.22 cores=0,2,4,6
/proc/30213/task/30235/stat : 30235 (java) R 30211 30213 29449 0 -1 4202560 416881 0 0 0 119161 61 0 0 25 0 22 0 525206212 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 15696616

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

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

[startup+1207.01 s]
/proc/loadavg: 8.09 8.09 8.01 9/220 30328
/proc/meminfo: memFree=25017472/32951124 swapFree=67051468/67111528
[pid=30213] ppid=30211 vsize=15696616 CPUtime=4800.06 cores=0,2,4,6
/proc/30213/stat : 30213 (java) S 30211 30213 29449 0 -1 4202496 2986361 0 1 0 479459 547 0 0 25 0 22 0 525206185 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30213/statm: 3924154 115183 2298 9 0 3914873 0
[pid=30213/tid=30214] ppid=30211 vsize=15696616 CPUtime=0.37 cores=0,2,4,6
/proc/30213/task/30214/stat : 30214 (java) S 30211 30213 29449 0 -1 4202560 6773 0 1 0 35 2 0 0 18 0 22 0 525206186 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30216] ppid=30211 vsize=15696616 CPUtime=3.62 cores=0,2,4,6
/proc/30213/task/30216/stat : 30216 (java) S 30211 30213 29449 0 -1 4202560 160384 0 0 0 334 28 0 0 16 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30217] ppid=30211 vsize=15696616 CPUtime=3.56 cores=0,2,4,6
/proc/30213/task/30217/stat : 30217 (java) S 30211 30213 29449 0 -1 4202560 161184 0 0 0 329 27 0 0 15 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30218] ppid=30211 vsize=15696616 CPUtime=3.61 cores=0,2,4,6
/proc/30213/task/30218/stat : 30218 (java) S 30211 30213 29449 0 -1 4202560 158352 0 0 0 332 29 0 0 15 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30219] ppid=30211 vsize=15696616 CPUtime=3.63 cores=0,2,4,6
/proc/30213/task/30219/stat : 30219 (java) S 30211 30213 29449 0 -1 4202560 159378 0 0 0 338 25 0 0 16 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30220] ppid=30211 vsize=15696616 CPUtime=3.61 cores=0,2,4,6
/proc/30213/task/30220/stat : 30220 (java) S 30211 30213 29449 0 -1 4202560 155875 0 0 0 334 27 0 0 15 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30221] ppid=30211 vsize=15696616 CPUtime=3.69 cores=0,2,4,6
/proc/30213/task/30221/stat : 30221 (java) S 30211 30213 29449 0 -1 4202560 157718 0 0 0 341 28 0 0 16 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 6 0 0 0
[pid=30213/tid=30222] ppid=30211 vsize=15696616 CPUtime=3.57 cores=0,2,4,6
/proc/30213/task/30222/stat : 30222 (java) S 30211 30213 29449 0 -1 4202560 157604 0 0 0 331 26 0 0 16 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30223] ppid=30211 vsize=15696616 CPUtime=3.67 cores=0,2,4,6
/proc/30213/task/30223/stat : 30223 (java) S 30211 30213 29449 0 -1 4202560 166650 0 0 0 339 28 0 0 15 0 22 0 525206187 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30224] ppid=30211 vsize=15696616 CPUtime=2.22 cores=0,2,4,6
/proc/30213/task/30224/stat : 30224 (java) S 30211 30213 29449 0 -1 4202560 7523 0 0 0 139 83 0 0 15 0 22 0 525206188 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773760 0 0 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30225] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30225/stat : 30225 (java) S 30211 30213 29449 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 525206188 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30226] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30226/stat : 30226 (java) S 30211 30213 29449 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 525206188 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30227] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30227/stat : 30227 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525206190 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382780849 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30228] ppid=30211 vsize=15696616 CPUtime=1.2 cores=0,2,4,6
/proc/30213/task/30228/stat : 30228 (java) S 30211 30213 29449 0 -1 4202560 8843 0 0 0 120 0 0 0 16 0 22 0 525206190 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30229] ppid=30211 vsize=15696616 CPUtime=0.71 cores=0,2,4,6
/proc/30213/task/30229/stat : 30229 (java) S 30211 30213 29449 0 -1 4202560 9711 0 0 0 70 1 0 0 15 0 22 0 525206190 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 0 0 0 0
[pid=30213/tid=30230] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30230/stat : 30230 (java) S 30211 30213 29449 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 525206190 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773145 0 4 0 16800975 18446604453958038464 0 0 -1 4 0 0 0
[pid=30213/tid=30231] ppid=30211 vsize=15696616 CPUtime=0 cores=0,2,4,6
/proc/30213/task/30231/stat : 30231 (java) S 30211 30213 29449 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 525206190 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 218382773760 0 4 0 16800975 18446604453958038464 0 0 -1 2 0 0 0
[pid=30213/tid=30232] ppid=30211 vsize=15696616 CPUtime=1191.41 cores=0,2,4,6
/proc/30213/task/30232/stat : 30232 (java) R 30211 30213 29449 0 -1 4202560 413416 0 0 0 119079 62 0 0 25 0 22 0 525206211 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505811957 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30213/tid=30233] ppid=30211 vsize=15696616 CPUtime=1191.26 cores=0,2,4,6
/proc/30213/task/30233/stat : 30233 (java) R 30211 30213 29449 0 -1 4202560 419304 0 0 0 119070 56 0 0 25 0 22 0 525206211 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505897101 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30213/tid=30234] ppid=30211 vsize=15696616 CPUtime=1191.56 cores=0,2,4,6
/proc/30213/task/30234/stat : 30234 (java) R 30211 30213 29449 0 -1 4202560 425314 0 0 0 119100 56 0 0 25 0 22 0 525206211 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 46912505769798 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30213/tid=30235] ppid=30211 vsize=15696616 CPUtime=1192.22 cores=0,2,4,6
/proc/30213/task/30235/stat : 30235 (java) R 30211 30213 29449 0 -1 4202560 416881 0 0 0 119161 61 0 0 25 0 22 0 525206212 16073334784 115183 33554432000 1073741824 1073778376 140735016780144 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 15696616

Child status: 143
Real time (s): 1207.04
CPU time (s): 4800.12
CPU user time (s): 4794.62
CPU system time (s): 5.50016
CPU usage (%): 397.676
Max. virtual memory (cumulated for all children) (KiB): 15705208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.62
system time used= 5.50016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2986388
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= 212398
involuntary context switches= 129599

runsolver used 1.82272 second user time and 4.81827 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-30 06:00:34
IDJOB=3311574
IDBENCH=82959
IDSOLVER=1698
FILE ID=node101/3311574-1304136034
RUNJOBID= node101-1304134780-29987
PBS_JOBID= 13170794
Free space on /tmp= 72160 MiB

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

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

MD5SUM BENCH= 31822745c6eca997ddfb1c68091841ad
RANDOM SEED=133619955

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.841
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.841
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.83
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.841
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.841
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:      25578020 kB
Buffers:       1916508 kB
Cached:        4668684 kB
SwapCached:      30424 kB
Active:        2049732 kB
Inactive:      4878900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25578020 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:            1596 kB
Writeback:           0 kB
AnonPages:      334840 kB
Mapped:          17572 kB
Slab:           379476 kB
PageTables:       6148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   853008 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 node101 at 2011-04-30 06:20:43