Trace number 3313379

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.44 1224.38

General information on the benchmark

NameSAT03/industrial/simon/sat02/
6pipe_6_ooo.shuffled-as.sat03-413.cnf
MD5SUM8bd122b0caab0988cbc54e4731b25623
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark21.2178
Satisfiable
(Un)Satisfiability was proved
Number of variables17064
Number of clauses545612
Sum of the clauses size1608428
Maximum clause length187
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2476931
Number of clauses of size 356141
Number of clauses of size 4301
Number of clauses of size 5290
Number of clauses of size over 511948

Solver Data 

0.10/0.11	55:54 INFO : Reading from input HOME/instance-3313379-1304186153.cnf
2.50/2.27	Executor set job limit to 1000000
2.50/2.27	Executor set job limit to 1000000
2.50/2.27	Executor set job limit to 1000000
2.50/2.27	Executor set job limit to 1000000
2.50/2.28	Starting Executor!
2.50/2.28	Starting Executor!
2.50/2.28	Starting Executor!
2.50/2.28	Starting Executor!
17.32/15.29	56:09 INFO : 16777 variables remaining out of 17064
17.32/15.29	56:09 INFO : 2912824 literals remaining out of 2154040

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-3313379-1304186153/watcher-3313379-1304186153 -o /tmp/evaluation-result-3313379-1304186153/solver-3313379-1304186153 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313379-1304186153.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.93 7.93 7.85 9/202 16048
/proc/meminfo: memFree=29247592/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 1473 0 0 0 0 0 0 0 25 0 2 0 530213204 31260672 936 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 7632 943 725 9 0 383 0
[pid=16048/tid=16049] ppid=16046 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) R 16046 16048 15989 0 -1 4202560 133 0 0 0 0 0 0 0 25 0 2 0 530213204 31260672 953 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255377301248 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0070269 s]
/proc/loadavg: 6.93 7.93 7.85 9/202 16048
/proc/meminfo: memFree=29247592/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 1532 0 0 0 0 0 0 0 25 0 2 0 530213204 32362496 992 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 7914 998 772 9 0 386 0
[pid=16048/tid=16049] ppid=16046 vsize=33748 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) R 16046 16048 15989 0 -1 4202560 187 0 0 0 0 0 0 0 25 0 2 0 530213204 34557952 1003 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255372379152 0 0 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 31604

[startup+0.10503 s]
/proc/loadavg: 6.93 7.93 7.85 9/202 16048
/proc/meminfo: memFree=29247592/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=15677088 CPUtime=0.1 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 5715 0 1 0 9 1 0 0 25 0 18 0 530213204 16053338112 5130 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 3919272 5131 2120 9 0 3909991 0
[pid=16048/tid=16049] ppid=16046 vsize=15677088 CPUtime=0.09 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) R 16046 16048 15989 0 -1 4202560 3572 0 1 0 8 1 0 0 18 0 18 0 530213204 16053338112 5131 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677088

[startup+0.30099 s]
/proc/loadavg: 6.93 7.93 7.85 9/202 16048
/proc/meminfo: memFree=29247592/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=15681184 CPUtime=0.52 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 16063 0 1 0 49 3 0 0 25 0 18 0 530213204 16057532416 14568 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 3920296 14574 2207 9 0 3911015 0
[pid=16048/tid=16049] ppid=16046 vsize=15681184 CPUtime=0.28 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) R 16046 16048 15989 0 -1 4202560 11009 0 1 0 26 2 0 0 18 0 18 0 530213204 16057532416 14577 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505640915 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15681184

[startup+0.700917 s]
/proc/loadavg: 6.93 7.93 7.85 9/202 16048
/proc/meminfo: memFree=29247592/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=15681184 CPUtime=0.92 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 41817 0 1 0 86 6 0 0 25 0 18 0 530213204 16057532416 40319 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 3920296 40319 2223 9 0 3911015 0
[pid=16048/tid=16049] ppid=16046 vsize=15681184 CPUtime=0.68 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) R 16046 16048 15989 0 -1 4202560 35544 0 1 0 62 6 0 0 18 0 18 0 530213204 16057532416 40319 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505529175 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15681184

[startup+1.50077 s]
/proc/loadavg: 6.93 7.93 7.85 6/220 16066
/proc/meminfo: memFree=28866520/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=15681184 CPUtime=1.73 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 75713 0 1 0 162 11 0 0 25 0 18 0 530213204 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 3920296 74212 2223 9 0 3911015 0
[pid=16048/tid=16049] ppid=16046 vsize=15681184 CPUtime=1.46 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) R 16046 16048 15989 0 -1 4202560 66272 0 1 0 137 9 0 0 19 0 18 0 530213204 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389128139 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16048/tid=16051] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16051/stat : 16051 (java) S 16046 16048 15989 0 -1 4202560 2003 0 0 0 0 0 0 0 16 0 18 0 530213205 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16052] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16052/stat : 16052 (java) S 16046 16048 15989 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 18 0 530213205 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16053] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16053/stat : 16053 (java) S 16046 16048 15989 0 -1 4202560 296 0 0 0 0 0 0 0 15 0 18 0 530213205 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16054] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16054/stat : 16054 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530213205 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16055] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16055/stat : 16055 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530213205 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16056] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16056/stat : 16056 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530213205 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16057] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16057/stat : 16057 (java) S 16046 16048 15989 0 -1 4202560 1737 0 0 0 0 0 0 0 16 0 18 0 530213205 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16058] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16058/stat : 16058 (java) S 16046 16048 15989 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 18 0 530213205 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16059] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16059/stat : 16059 (java) S 16046 16048 15989 0 -1 4202560 182 0 0 0 0 0 0 0 15 0 18 0 530213206 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 0 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16060] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16060/stat : 16060 (java) S 16046 16048 15989 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 530213206 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16061] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16061/stat : 16061 (java) S 16046 16048 15989 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 530213206 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16062] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16062/stat : 16062 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530213208 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389125041 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16063] ppid=16046 vsize=15681184 CPUtime=0.12 cores=1,3,5,7
/proc/16048/task/16063/stat : 16063 (java) S 16046 16048 15989 0 -1 4202560 2383 0 0 0 12 0 0 0 17 0 18 0 530213208 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16064] ppid=16046 vsize=15681184 CPUtime=0.1 cores=1,3,5,7
/proc/16048/task/16064/stat : 16064 (java) S 16046 16048 15989 0 -1 4202560 1288 0 0 0 10 0 0 0 25 0 18 0 530213208 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16065] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16065/stat : 16065 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 530213208 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16066] ppid=16046 vsize=15681184 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16066/stat : 16066 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 530213208 16057532416 74212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 15681184

[startup+3.10146 s]
/proc/loadavg: 6.78 7.88 7.83 7/220 16066
/proc/meminfo: memFree=28610088/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=15715632 CPUtime=3.9 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 145542 0 1 0 371 19 0 0 25 0 22 0 530213204 16092807168 140905 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 3928908 140907 2259 9 0 3919627 0
[pid=16048/tid=16049] ppid=16046 vsize=15715632 CPUtime=3.05 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) R 16046 16048 15989 0 -1 4202560 122798 0 1 0 290 15 0 0 25 0 22 0 530213204 16092807168 140908 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505776384 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16048/tid=16051] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16051/stat : 16051 (java) S 16046 16048 15989 0 -1 4202560 2006 0 0 0 0 0 0 0 15 0 22 0 530213205 16092807168 140909 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16052] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16052/stat : 16052 (java) S 16046 16048 15989 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 22 0 530213205 16092807168 140909 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16053] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16053/stat : 16053 (java) S 16046 16048 15989 0 -1 4202560 2901 0 0 0 0 0 0 0 15 0 22 0 530213205 16092807168 140910 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16054] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16054/stat : 16054 (java) S 16046 16048 15989 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 530213205 16092807168 140911 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16055] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16055/stat : 16055 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530213205 16092807168 140911 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16056] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16056/stat : 16056 (java) S 16046 16048 15989 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 530213205 16092807168 140911 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16057] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16057/stat : 16057 (java) S 16046 16048 15989 0 -1 4202560 1749 0 0 0 0 0 0 0 16 0 22 0 530213205 16092807168 140913 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16058] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16058/stat : 16058 (java) S 16046 16048 15989 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 530213205 16092807168 140914 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16059] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16059/stat : 16059 (java) S 16046 16048 15989 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 22 0 530213206 16092807168 140914 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 0 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16060] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16060/stat : 16060 (java) S 16046 16048 15989 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 530213206 16092807168 140915 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16061] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16061/stat : 16061 (java) S 16046 16048 15989 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 530213206 16092807168 140915 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16062] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16062/stat : 16062 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530213208 16092807168 140916 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389125041 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16063] ppid=16046 vsize=15715632 CPUtime=0.22 cores=1,3,5,7
/proc/16048/task/16063/stat : 16063 (java) S 16046 16048 15989 0 -1 4202560 2437 0 0 0 22 0 0 0 15 0 22 0 530213208 16092807168 140917 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16064] ppid=16046 vsize=15715632 CPUtime=0.54 cores=1,3,5,7
/proc/16048/task/16064/stat : 16064 (java) R 16046 16048 15989 0 -1 4202560 11766 0 0 0 53 1 0 0 16 0 22 0 530213208 16092807168 140918 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 47973810186404 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16048/tid=16065] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16065/stat : 16065 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530213208 16092807168 140919 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16066] ppid=16046 vsize=15715632 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16066/stat : 16066 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530213208 16092807168 140921 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 15715632

[startup+6.30087 s]
/proc/loadavg: 6.78 7.88 7.83 6/224 16070
/proc/meminfo: memFree=28477012/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=15715560 CPUtime=7.86 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 150551 0 1 0 766 20 0 0 25 0 22 0 530213204 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 3928890 141039 2276 9 0 3919609 0
[pid=16048/tid=16049] ppid=16046 vsize=15715560 CPUtime=6.25 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) R 16046 16048 15989 0 -1 4202560 122819 0 1 0 610 15 0 0 18 0 22 0 530213204 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505601696 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16048/tid=16051] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16051/stat : 16051 (java) S 16046 16048 15989 0 -1 4202560 2006 0 0 0 0 0 0 0 15 0 22 0 530213205 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16052] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16052/stat : 16052 (java) S 16046 16048 15989 0 -1 4202560 123 0 0 0 0 0 0 0 15 0 22 0 530213205 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16053] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16053/stat : 16053 (java) S 16046 16048 15989 0 -1 4202560 2901 0 0 0 0 0 0 0 15 0 22 0 530213205 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16054] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16054/stat : 16054 (java) S 16046 16048 15989 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 530213205 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16055] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16055/stat : 16055 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530213205 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16056] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16056/stat : 16056 (java) S 16046 16048 15989 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 530213205 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16057] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16057/stat : 16057 (java) S 16046 16048 15989 0 -1 4202560 1749 0 0 0 0 0 0 0 16 0 22 0 530213205 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16058] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16058/stat : 16058 (java) S 16046 16048 15989 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 530213205 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16059] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16059/stat : 16059 (java) S 16046 16048 15989 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 22 0 530213206 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 0 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16060] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16060/stat : 16060 (java) S 16046 16048 15989 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 530213206 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16061] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16061/stat : 16061 (java) S 16046 16048 15989 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 530213206 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16062] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16062/stat : 16062 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530213208 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389125041 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16063] ppid=16046 vsize=15715560 CPUtime=0.58 cores=1,3,5,7
/proc/16048/task/16063/stat : 16063 (java) S 16046 16048 15989 0 -1 4202560 4549 0 0 0 58 0 0 0 15 0 22 0 530213208 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16064] ppid=16046 vsize=15715560 CPUtime=0.94 cores=1,3,5,7
/proc/16048/task/16064/stat : 16064 (java) S 16046 16048 15989 0 -1 4202560 14625 0 0 0 92 2 0 0 16 0 22 0 530213208 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16065] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16065/stat : 16065 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530213208 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16066] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16066/stat : 16066 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530213208 16092733440 141039 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=24405900/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=15715560 CPUtime=4393.52 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 1550706 0 1 0 439103 249 0 0 25 0 22 0 530213204 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 3928890 999212 2301 9 0 3919609 0
[pid=16048/tid=16049] ppid=16046 vsize=15715560 CPUtime=15.25 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) S 16046 16048 15989 0 -1 4202560 122860 0 1 0 1510 15 0 0 25 0 22 0 530213204 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16051] ppid=16046 vsize=15715560 CPUtime=2.85 cores=1,3,5,7
/proc/16048/task/16051/stat : 16051 (java) S 16046 16048 15989 0 -1 4202560 86527 0 0 0 270 15 0 0 16 0 22 0 530213205 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16052] ppid=16046 vsize=15715560 CPUtime=2.82 cores=1,3,5,7
/proc/16048/task/16052/stat : 16052 (java) S 16046 16048 15989 0 -1 4202560 85228 0 0 0 266 16 0 0 16 0 22 0 530213205 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16053] ppid=16046 vsize=15715560 CPUtime=2.83 cores=1,3,5,7
/proc/16048/task/16053/stat : 16053 (java) S 16046 16048 15989 0 -1 4202560 75542 0 0 0 271 12 0 0 15 0 22 0 530213205 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16054] ppid=16046 vsize=15715560 CPUtime=3.13 cores=1,3,5,7
/proc/16048/task/16054/stat : 16054 (java) S 16046 16048 15989 0 -1 4202560 114571 0 0 0 293 20 0 0 16 0 22 0 530213205 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16055] ppid=16046 vsize=15715560 CPUtime=2.83 cores=1,3,5,7
/proc/16048/task/16055/stat : 16055 (java) S 16046 16048 15989 0 -1 4202560 92643 0 0 0 268 15 0 0 16 0 22 0 530213205 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16056] ppid=16046 vsize=15715560 CPUtime=3.15 cores=1,3,5,7
/proc/16048/task/16056/stat : 16056 (java) S 16046 16048 15989 0 -1 4202560 126760 0 0 0 294 21 0 0 15 0 22 0 530213205 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16057] ppid=16046 vsize=15715560 CPUtime=2.94 cores=1,3,5,7
/proc/16048/task/16057/stat : 16057 (java) S 16046 16048 15989 0 -1 4202560 77401 0 0 0 282 12 0 0 15 0 22 0 530213205 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16058] ppid=16046 vsize=15715560 CPUtime=3.08 cores=1,3,5,7
/proc/16048/task/16058/stat : 16058 (java) S 16046 16048 15989 0 -1 4202560 123164 0 0 0 286 22 0 0 15 0 22 0 530213205 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16059] ppid=16046 vsize=15715560 CPUtime=0.95 cores=1,3,5,7
/proc/16048/task/16059/stat : 16059 (java) S 16046 16048 15989 0 -1 4202560 11233 0 0 0 82 13 0 0 15 0 22 0 530213206 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 0 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16060] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16060/stat : 16060 (java) S 16046 16048 15989 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530213206 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16061] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16061/stat : 16061 (java) S 16046 16048 15989 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530213206 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16062] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16062/stat : 16062 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530213208 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389125041 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16063] ppid=16046 vsize=15715560 CPUtime=1.58 cores=1,3,5,7
/proc/16048/task/16063/stat : 16063 (java) S 16046 16048 15989 0 -1 4202560 8711 0 0 0 158 0 0 0 16 0 22 0 530213208 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16064] ppid=16046 vsize=15715560 CPUtime=1.93 cores=1,3,5,7
/proc/16048/task/16064/stat : 16064 (java) S 16046 16048 15989 0 -1 4202560 14770 0 0 0 191 2 0 0 16 0 22 0 530213208 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16065] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16065/stat : 16065 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530213208 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16066] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16066/stat : 16066 (java) S 16046 16048 15989 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 530213208 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16067] ppid=16046 vsize=15715560 CPUtime=1078.5 cores=1,3,5,7
/proc/16048/task/16067/stat : 16067 (java) R 16046 16048 15989 0 -1 4202560 232731 0 0 0 107822 28 0 0 25 0 22 0 530213432 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505846801 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16048/tid=16068] ppid=16046 vsize=15715560 CPUtime=1093.93 cores=1,3,5,7
/proc/16048/task/16068/stat : 16068 (java) R 16046 16048 15989 0 -1 4202560 149870 0 0 0 109373 20 0 0 25 0 22 0 530213432 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505667579 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=16048/tid=16069] ppid=16046 vsize=15715560 CPUtime=1097.88 cores=1,3,5,7
/proc/16048/task/16069/stat : 16069 (java) R 16046 16048 15989 0 -1 4202560 122916 0 0 0 109773 15 0 0 25 0 22 0 530213432 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912506229519 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16048/tid=16070] ppid=16046 vsize=15715560 CPUtime=1079.73 cores=1,3,5,7
/proc/16048/task/16070/stat : 16070 (java) R 16046 16048 15989 0 -1 4202560 104330 0 0 0 107959 14 0 0 25 0 22 0 530213432 16092733440 999212 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912506261455 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4393.52
Current children cumulated vsize (KiB) 15715560

[startup+1182.3 s]
/proc/loadavg: 8.15 8.14 8.01 9/224 16162
/proc/meminfo: memFree=24512140/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=15715560 CPUtime=4632.99 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 1555730 0 1 0 463048 251 0 0 25 0 22 0 530213204 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 3928890 990581 2301 9 0 3919609 0
[pid=16048/tid=16049] ppid=16046 vsize=15715560 CPUtime=15.25 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) S 16046 16048 15989 0 -1 4202560 122860 0 1 0 1510 15 0 0 25 0 22 0 530213204 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16051] ppid=16046 vsize=15715560 CPUtime=3.08 cores=1,3,5,7
/proc/16048/task/16051/stat : 16051 (java) S 16046 16048 15989 0 -1 4202560 86980 0 0 0 293 15 0 0 15 0 22 0 530213205 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16052] ppid=16046 vsize=15715560 CPUtime=3.03 cores=1,3,5,7
/proc/16048/task/16052/stat : 16052 (java) S 16046 16048 15989 0 -1 4202560 85770 0 0 0 287 16 0 0 16 0 22 0 530213205 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16053] ppid=16046 vsize=15715560 CPUtime=3.02 cores=1,3,5,7
/proc/16048/task/16053/stat : 16053 (java) S 16046 16048 15989 0 -1 4202560 76153 0 0 0 290 12 0 0 16 0 22 0 530213205 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16054] ppid=16046 vsize=15715560 CPUtime=3.33 cores=1,3,5,7
/proc/16048/task/16054/stat : 16054 (java) S 16046 16048 15989 0 -1 4202560 115335 0 0 0 313 20 0 0 16 0 22 0 530213205 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16055] ppid=16046 vsize=15715560 CPUtime=3.04 cores=1,3,5,7
/proc/16048/task/16055/stat : 16055 (java) S 16046 16048 15989 0 -1 4202560 93207 0 0 0 289 15 0 0 15 0 22 0 530213205 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16056] ppid=16046 vsize=15715560 CPUtime=3.39 cores=1,3,5,7
/proc/16048/task/16056/stat : 16056 (java) S 16046 16048 15989 0 -1 4202560 127536 0 0 0 317 22 0 0 16 0 22 0 530213205 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16057] ppid=16046 vsize=15715560 CPUtime=3.17 cores=1,3,5,7
/proc/16048/task/16057/stat : 16057 (java) S 16046 16048 15989 0 -1 4202560 78176 0 0 0 304 13 0 0 15 0 22 0 530213205 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16058] ppid=16046 vsize=15715560 CPUtime=3.27 cores=1,3,5,7
/proc/16048/task/16058/stat : 16058 (java) S 16046 16048 15989 0 -1 4202560 123618 0 0 0 305 22 0 0 15 0 22 0 530213205 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16059] ppid=16046 vsize=15715560 CPUtime=0.96 cores=1,3,5,7
/proc/16048/task/16059/stat : 16059 (java) S 16046 16048 15989 0 -1 4202560 11236 0 0 0 83 13 0 0 15 0 22 0 530213206 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 0 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16060] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16060/stat : 16060 (java) S 16046 16048 15989 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530213206 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16061] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16061/stat : 16061 (java) S 16046 16048 15989 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530213206 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16062] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16062/stat : 16062 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530213208 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389125041 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16063] ppid=16046 vsize=15715560 CPUtime=1.58 cores=1,3,5,7
/proc/16048/task/16063/stat : 16063 (java) S 16046 16048 15989 0 -1 4202560 8711 0 0 0 158 0 0 0 16 0 22 0 530213208 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16064] ppid=16046 vsize=15715560 CPUtime=1.93 cores=1,3,5,7
/proc/16048/task/16064/stat : 16064 (java) S 16046 16048 15989 0 -1 4202560 14770 0 0 0 191 2 0 0 16 0 22 0 530213208 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16065] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16065/stat : 16065 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530213208 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16066] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16066/stat : 16066 (java) S 16046 16048 15989 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 530213208 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16067] ppid=16046 vsize=15715560 CPUtime=1137.95 cores=1,3,5,7
/proc/16048/task/16067/stat : 16067 (java) R 16046 16048 15989 0 -1 4202560 232752 0 0 0 113767 28 0 0 25 0 22 0 530213432 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912506229497 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16048/tid=16068] ppid=16046 vsize=15715560 CPUtime=1153.45 cores=1,3,5,7
/proc/16048/task/16068/stat : 16068 (java) R 16046 16048 15989 0 -1 4202560 149893 0 0 0 115325 20 0 0 25 0 22 0 530213432 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912506229530 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16048/tid=16069] ppid=16046 vsize=15715560 CPUtime=1157.15 cores=1,3,5,7
/proc/16048/task/16069/stat : 16069 (java) R 16046 16048 15989 0 -1 4202560 122934 0 0 0 115700 15 0 0 25 0 22 0 530213432 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912506460717 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16048/tid=16070] ppid=16046 vsize=15715560 CPUtime=1139.23 cores=1,3,5,7
/proc/16048/task/16070/stat : 16070 (java) R 16046 16048 15989 0 -1 4202560 104346 0 0 0 113909 14 0 0 25 0 22 0 530213432 16092733440 990581 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505523522 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4632.99
Current children cumulated vsize (KiB) 15715560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1224.2 s]
/proc/loadavg: 8.23 8.16 8.02 9/224 16164
/proc/meminfo: memFree=24483332/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=15715560 CPUtime=4800.24 cores=1,3,5,7
/proc/16048/stat : 16048 (java) S 16046 16048 15989 0 -1 4202496 1559410 0 1 0 479772 252 0 0 25 0 22 0 530213204 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 3928890 985572 2301 9 0 3919609 0
[pid=16048/tid=16049] ppid=16046 vsize=15715560 CPUtime=15.25 cores=1,3,5,7
/proc/16048/task/16049/stat : 16049 (java) S 16046 16048 15989 0 -1 4202560 122860 0 1 0 1510 15 0 0 25 0 22 0 530213204 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16051] ppid=16046 vsize=15715560 CPUtime=3.2 cores=1,3,5,7
/proc/16048/task/16051/stat : 16051 (java) S 16046 16048 15989 0 -1 4202560 87440 0 0 0 305 15 0 0 15 0 22 0 530213205 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16052] ppid=16046 vsize=15715560 CPUtime=3.15 cores=1,3,5,7
/proc/16048/task/16052/stat : 16052 (java) S 16046 16048 15989 0 -1 4202560 86128 0 0 0 299 16 0 0 15 0 22 0 530213205 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16053] ppid=16046 vsize=15715560 CPUtime=3.15 cores=1,3,5,7
/proc/16048/task/16053/stat : 16053 (java) S 16046 16048 15989 0 -1 4202560 76599 0 0 0 303 12 0 0 16 0 22 0 530213205 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16054] ppid=16046 vsize=15715560 CPUtime=3.46 cores=1,3,5,7
/proc/16048/task/16054/stat : 16054 (java) S 16046 16048 15989 0 -1 4202560 115693 0 0 0 326 20 0 0 15 0 22 0 530213205 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16055] ppid=16046 vsize=15715560 CPUtime=3.23 cores=1,3,5,7
/proc/16048/task/16055/stat : 16055 (java) S 16046 16048 15989 0 -1 4202560 93547 0 0 0 308 15 0 0 16 0 22 0 530213205 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16056] ppid=16046 vsize=15715560 CPUtime=3.52 cores=1,3,5,7
/proc/16048/task/16056/stat : 16056 (java) S 16046 16048 15989 0 -1 4202560 127937 0 0 0 330 22 0 0 15 0 22 0 530213205 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16057] ppid=16046 vsize=15715560 CPUtime=3.35 cores=1,3,5,7
/proc/16048/task/16057/stat : 16057 (java) S 16046 16048 15989 0 -1 4202560 78766 0 0 0 322 13 0 0 16 0 22 0 530213205 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16058] ppid=16046 vsize=15715560 CPUtime=3.47 cores=1,3,5,7
/proc/16048/task/16058/stat : 16058 (java) S 16046 16048 15989 0 -1 4202560 124287 0 0 0 325 22 0 0 16 0 22 0 530213205 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16059] ppid=16046 vsize=15715560 CPUtime=0.96 cores=1,3,5,7
/proc/16048/task/16059/stat : 16059 (java) S 16046 16048 15989 0 -1 4202560 11239 0 0 0 83 13 0 0 15 0 22 0 530213206 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 0 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16060] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16060/stat : 16060 (java) S 16046 16048 15989 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530213206 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16061] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16061/stat : 16061 (java) S 16046 16048 15989 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530213206 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16062] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16062/stat : 16062 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530213208 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389125041 0 4 0 16800975 18446604464263053504 0 0 -1 5 0 0 0
[pid=16048/tid=16063] ppid=16046 vsize=15715560 CPUtime=1.58 cores=1,3,5,7
/proc/16048/task/16063/stat : 16063 (java) S 16046 16048 15989 0 -1 4202560 8711 0 0 0 158 0 0 0 16 0 22 0 530213208 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16064] ppid=16046 vsize=15715560 CPUtime=1.93 cores=1,3,5,7
/proc/16048/task/16064/stat : 16064 (java) S 16046 16048 15989 0 -1 4202560 14770 0 0 0 191 2 0 0 16 0 22 0 530213208 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 3 0 0 0
[pid=16048/tid=16065] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16065/stat : 16065 (java) S 16046 16048 15989 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530213208 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117337 0 4 0 16800975 18446604464263053504 0 0 -1 7 0 0 0
[pid=16048/tid=16066] ppid=16046 vsize=15715560 CPUtime=0 cores=1,3,5,7
/proc/16048/task/16066/stat : 16066 (java) S 16046 16048 15989 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 530213208 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 255389117952 0 4 0 16800975 18446604464263053504 0 0 -1 1 0 0 0
[pid=16048/tid=16067] ppid=16046 vsize=15715560 CPUtime=1179.35 cores=1,3,5,7
/proc/16048/task/16067/stat : 16067 (java) R 16046 16048 15989 0 -1 4202560 232764 0 0 0 117907 28 0 0 25 0 22 0 530213432 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505903440 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=16048/tid=16068] ppid=16046 vsize=15715560 CPUtime=1195.02 cores=1,3,5,7
/proc/16048/task/16068/stat : 16068 (java) R 16046 16048 15989 0 -1 4202560 149905 0 0 0 119482 20 0 0 25 0 22 0 530213432 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505601735 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16048/tid=16069] ppid=16046 vsize=15715560 CPUtime=1198.64 cores=1,3,5,7
/proc/16048/task/16069/stat : 16069 (java) R 16046 16048 15989 0 -1 4202560 122950 0 0 0 119849 15 0 0 25 0 22 0 530213432 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 47973813159749 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=16048/tid=16070] ppid=16046 vsize=15715560 CPUtime=1180.81 cores=1,3,5,7
/proc/16048/task/16070/stat : 16070 (java) R 16046 16048 15989 0 -1 4202560 104359 0 0 0 118067 14 0 0 25 0 22 0 530213432 16092733440 985572 33554432000 1073741824 1073778376 140734328212480 18446744073709551615 46912505847561 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 15715560

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

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

[startup+1224.32 s]
/proc/loadavg: 8.23 8.16 8.02 9/224 16164
/proc/meminfo: memFree=24483332/32951124 swapFree=67111352/67111528
[pid=16048] ppid=16046 vsize=0 CPUtime=4800.37 cores=1,3,5,7
/proc/16048/stat : 16048 (java) Z 16046 16048 15989 0 -1 4203548 1559437 0 1 0 479775 262 0 0 17 0 2 0 530213204 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16048/statm: 0 0 0 0 0 0 0
[pid=16048/tid=16068] ppid=16046 vsize=0 CPUtime=1195.13 cores=1,3,5,7
/proc/16048/task/16068/stat : 16068 (java) R 16046 16048 15989 0 -1 4203588 149905 0 0 0 119483 30 0 0 25 0 2 0 530213432 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1224.38
CPU time (s): 4800.44
CPU user time (s): 4797.76
CPU system time (s): 2.68559
CPU usage (%): 392.072
Max. virtual memory (cumulated for all children) (KiB): 15718348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.76
system time used= 2.68559
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1559437
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= 64346
involuntary context switches= 82644

runsolver used 1.93071 second user time and 4.81127 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-30 19:55:53
IDJOB=3313379
IDBENCH=84172
IDSOLVER=1699
FILE ID=node135/3313379-1304186153
RUNJOBID= node135-1304186153-16008
PBS_JOBID= 13172489
Free space on /tmp= 72088 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT03/industrial/simon/sat02/6pipe_6_ooo.shuffled-as.sat03-413.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313379-1304186153/watcher-3313379-1304186153 -o /tmp/evaluation-result-3313379-1304186153/solver-3313379-1304186153 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313379-1304186153.cnf

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

MD5SUM BENCH= 8bd122b0caab0988cbc54e4731b25623
RANDOM SEED=683775275

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29248360 kB
Buffers:        960444 kB
Cached:        2097000 kB
SwapCached:        172 kB
Active:         259028 kB
Inactive:      2923328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29248360 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           13396 kB
Writeback:           0 kB
AnonPages:      123776 kB
Mapped:          22100 kB
Slab:           454956 kB
PageTables:       5540 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   795488 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72084 MiB
End job on node135 at 2011-04-30 20:16:20