Trace number 3311350

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.36 1207.53

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf
MD5SUMae2c6ab9f054a239f861b972b7e9a79b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.386941
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58010

Solver Data 

0.11/0.11	12:46 INFO : Reading from input HOME/instance-3311350-1304122366.cnf
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Starting Executor!
0.53/0.34	Starting Executor!
0.53/0.34	Starting Executor!
0.53/0.34	Starting Executor!
0.96/0.58	12:47 INFO : 90 variables remaining out of 90
0.96/0.58	12:47 INFO : 64080 literals remaining out of 64080

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3311350-1304122366/watcher-3311350-1304122366 -o /tmp/evaluation-result-3311350-1304122366/solver-3311350-1304122366 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311350-1304122366.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: 3.76 4.52 6.08 3/186 32195
/proc/meminfo: memFree=25026768/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 1424 0 0 0 0 0 0 0 24 0 2 0 504652474 27824128 894 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 6793 894 684 9 0 381 0
[pid=32195/tid=32197] ppid=32193 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) S 32193 32195 31482 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 504652475 27824128 894 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233505373831 0 2147483391 4096 0 18446744071699207358 0 0 -1 2 0 0 0

[startup+0.105281 s]
/proc/loadavg: 3.76 4.52 6.08 3/186 32195
/proc/meminfo: memFree=25026768/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=15676760 CPUtime=0.11 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 5673 0 1 0 10 1 0 0 24 0 18 0 504652474 16053002240 5095 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 3919190 5096 2119 9 0 3909909 0
[pid=32195/tid=32197] ppid=32193 vsize=15676760 CPUtime=0.09 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) R 32193 32195 31482 0 -1 4202560 3544 0 1 0 9 0 0 0 18 0 18 0 504652475 16053002240 5097 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676760

[startup+0.200273 s]
/proc/loadavg: 3.76 4.52 6.08 3/186 32195
/proc/meminfo: memFree=25026768/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=15678456 CPUtime=0.28 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 7283 0 1 0 27 1 0 0 24 0 18 0 504652474 16054738944 6582 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 3919614 6582 2184 9 0 3910333 0
[pid=32195/tid=32197] ppid=32193 vsize=15678456 CPUtime=0.19 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) R 32193 32195 31482 0 -1 4202560 4539 0 1 0 18 1 0 0 18 0 18 0 504652475 16054738944 6582 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505511966 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15678456

[startup+0.300249 s]
/proc/loadavg: 3.76 4.52 6.08 3/186 32195
/proc/meminfo: memFree=25026768/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=15684164 CPUtime=0.53 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 14472 0 1 0 51 2 0 0 24 0 18 0 504652474 16060583936 12941 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 3921041 12945 2207 9 0 3911760 0
[pid=32195/tid=32197] ppid=32193 vsize=15684164 CPUtime=0.28 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) R 32193 32195 31482 0 -1 4202560 9584 0 1 0 27 1 0 0 18 0 18 0 504652475 16060583936 12947 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505511966 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15684164

[startup+0.710108 s]
/proc/loadavg: 3.76 4.52 6.08 3/186 32195
/proc/meminfo: memFree=25026768/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=15708564 CPUtime=1.56 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 32235 0 1 0 151 5 0 0 24 0 22 0 504652474 16085569536 27895 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 3927141 27895 2257 9 0 3917860 0
[pid=32195/tid=32197] ppid=32193 vsize=15708564 CPUtime=0.57 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) S 32193 32195 31482 0 -1 4202560 16381 0 1 0 55 2 0 0 18 0 22 0 504652475 16085569536 27895 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 15708564

[startup+1.50097 s]
/proc/loadavg: 3.76 4.52 6.08 14/220 32229
/proc/meminfo: memFree=24664884/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=15708980 CPUtime=4.58 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 61390 0 1 0 450 8 0 0 24 0 22 0 504652474 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 3927245 52669 2276 9 0 3917964 0
[pid=32195/tid=32197] ppid=32193 vsize=15708980 CPUtime=0.57 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) S 32193 32195 31482 0 -1 4202560 16381 0 1 0 55 2 0 0 18 0 22 0 504652475 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32201] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32201/stat : 32201 (java) S 32193 32195 31482 0 -1 4202560 1098 0 0 0 0 0 0 0 16 0 22 0 504652475 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32202] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32202/stat : 32202 (java) S 32193 32195 31482 0 -1 4202560 1006 0 0 0 0 0 0 0 16 0 22 0 504652475 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32203] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32203/stat : 32203 (java) S 32193 32195 31482 0 -1 4202560 640 0 0 0 0 0 0 0 16 0 22 0 504652475 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32204] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32204/stat : 32204 (java) S 32193 32195 31482 0 -1 4202560 670 0 0 0 0 0 0 0 16 0 22 0 504652475 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32205] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32205/stat : 32205 (java) S 32193 32195 31482 0 -1 4202560 408 0 0 0 0 0 0 0 15 0 22 0 504652475 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32206] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32206/stat : 32206 (java) S 32193 32195 31482 0 -1 4202560 755 0 0 0 0 0 0 0 15 0 22 0 504652475 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32207] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32207/stat : 32207 (java) S 32193 32195 31482 0 -1 4202560 959 0 0 0 0 0 0 0 15 0 22 0 504652475 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32208] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32208/stat : 32208 (java) S 32193 32195 31482 0 -1 4202560 124 0 0 0 0 0 0 0 15 0 22 0 504652475 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32209] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32209/stat : 32209 (java) S 32193 32195 31482 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 22 0 504652476 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522114048 0 0 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32210] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32210/stat : 32210 (java) S 32193 32195 31482 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504652477 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32211] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32211/stat : 32211 (java) S 32193 32195 31482 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504652477 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32217] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32217/stat : 32217 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504652479 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522121137 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32218] ppid=32193 vsize=15708980 CPUtime=0.94 cores=0,2,4,6
/proc/32195/task/32218/stat : 32218 (java) R 32193 32195 31482 0 -1 4202560 13659 0 0 0 92 2 0 0 17 0 22 0 504652479 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522123445 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32195/tid=32219] ppid=32193 vsize=15708980 CPUtime=0.88 cores=0,2,4,6
/proc/32195/task/32219/stat : 32219 (java) R 32193 32195 31482 0 -1 4202560 4864 0 0 0 88 0 0 0 15 0 22 0 504652479 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 47800890357162 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32195/tid=32220] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32220/stat : 32220 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504652479 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32221] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32221/stat : 32221 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504652479 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522114048 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32226] ppid=32193 vsize=15708980 CPUtime=0.52 cores=0,2,4,6
/proc/32195/task/32226/stat : 32226 (java) R 32193 32195 31482 0 -1 4202560 3271 0 0 0 52 0 0 0 16 0 22 0 504652509 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522123445 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32195/tid=32227] ppid=32193 vsize=15708980 CPUtime=0.66 cores=0,2,4,6
/proc/32195/task/32227/stat : 32227 (java) R 32193 32195 31482 0 -1 4202560 7862 0 0 0 66 0 0 0 16 0 22 0 504652509 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505933951 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32195/tid=32228] ppid=32193 vsize=15708980 CPUtime=0.59 cores=0,2,4,6
/proc/32195/task/32228/stat : 32228 (java) R 32193 32195 31482 0 -1 4202560 7132 0 0 0 59 0 0 0 16 0 22 0 504652509 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505608472 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32195/tid=32229] ppid=32193 vsize=15708980 CPUtime=0.32 cores=0,2,4,6
/proc/32195/task/32229/stat : 32229 (java) R 32193 32195 31482 0 -1 4202560 1101 0 0 0 32 0 0 0 16 0 22 0 504652509 16085995520 52669 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505745050 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 15708980

[startup+3.10068 s]
/proc/loadavg: 3.76 4.52 6.08 11/220 32229
/proc/meminfo: memFree=24360464/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=15708980 CPUtime=10.95 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 131671 0 1 0 1078 17 0 0 24 0 22 0 504652474 16085995520 122941 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 3927245 122944 2286 9 0 3917964 0
[pid=32195/tid=32197] ppid=32193 vsize=15708980 CPUtime=0.57 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) S 32193 32195 31482 0 -1 4202560 16381 0 1 0 55 2 0 0 18 0 22 0 504652475 16085995520 122944 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32201] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32201/stat : 32201 (java) S 32193 32195 31482 0 -1 4202560 3149 0 0 0 0 0 0 0 16 0 22 0 504652475 16085995520 122947 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32202] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32202/stat : 32202 (java) S 32193 32195 31482 0 -1 4202560 2328 0 0 0 0 0 0 0 15 0 22 0 504652475 16085995520 122947 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32203] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32203/stat : 32203 (java) S 32193 32195 31482 0 -1 4202560 1901 0 0 0 0 0 0 0 16 0 22 0 504652475 16085995520 122947 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32204] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32204/stat : 32204 (java) S 32193 32195 31482 0 -1 4202560 2900 0 0 0 0 0 0 0 16 0 22 0 504652475 16085995520 122950 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32205] ppid=32193 vsize=15708980 CPUtime=0.01 cores=0,2,4,6
/proc/32195/task/32205/stat : 32205 (java) S 32193 32195 31482 0 -1 4202560 2373 0 0 0 1 0 0 0 15 0 22 0 504652475 16085995520 122953 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32206] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32206/stat : 32206 (java) S 32193 32195 31482 0 -1 4202560 2705 0 0 0 0 0 0 0 16 0 22 0 504652475 16085995520 122957 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32207] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32207/stat : 32207 (java) S 32193 32195 31482 0 -1 4202560 2185 0 0 0 0 0 0 0 15 0 22 0 504652475 16085995520 122965 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32208] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32208/stat : 32208 (java) S 32193 32195 31482 0 -1 4202560 527 0 0 0 0 0 0 0 15 0 22 0 504652475 16085995520 122969 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32209] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32209/stat : 32209 (java) S 32193 32195 31482 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 22 0 504652476 16085995520 122970 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522114048 0 0 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32210] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32210/stat : 32210 (java) S 32193 32195 31482 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504652477 16085995520 122972 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32211] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32211/stat : 32211 (java) S 32193 32195 31482 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504652477 16085995520 122975 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32217] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32217/stat : 32217 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504652479 16085995520 122977 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522121137 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32218] ppid=32193 vsize=15708980 CPUtime=1.03 cores=0,2,4,6
/proc/32195/task/32218/stat : 32218 (java) S 32193 32195 31482 0 -1 4202560 13672 0 0 0 101 2 0 0 15 0 22 0 504652479 16085995520 122978 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32219] ppid=32193 vsize=15708980 CPUtime=0.97 cores=0,2,4,6
/proc/32195/task/32219/stat : 32219 (java) S 32193 32195 31482 0 -1 4202560 4893 0 0 0 97 0 0 0 15 0 22 0 504652479 16085995520 122982 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32220] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32220/stat : 32220 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504652479 16085995520 122986 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32221] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32221/stat : 32221 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504652479 16085995520 122995 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522114048 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32226] ppid=32193 vsize=15708980 CPUtime=2.01 cores=0,2,4,6
/proc/32195/task/32226/stat : 32226 (java) R 32193 32195 31482 0 -1 4202560 16873 0 0 0 199 2 0 0 17 0 22 0 504652509 16085995520 123000 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505729341 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32195/tid=32227] ppid=32193 vsize=15708980 CPUtime=2.25 cores=0,2,4,6
/proc/32195/task/32227/stat : 32227 (java) R 32193 32195 31482 0 -1 4202560 22533 0 0 0 222 3 0 0 17 0 22 0 504652509 16085995520 123005 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505820183 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32195/tid=32228] ppid=32193 vsize=15708980 CPUtime=2.17 cores=0,2,4,6
/proc/32195/task/32228/stat : 32228 (java) R 32193 32195 31482 0 -1 4202560 21639 0 0 0 215 2 0 0 18 0 22 0 504652509 16085995520 123007 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505811543 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32195/tid=32229] ppid=32193 vsize=15708980 CPUtime=1.8 cores=0,2,4,6
/proc/32195/task/32229/stat : 32229 (java) R 32193 32195 31482 0 -1 4202560 16094 0 0 0 179 1 0 0 17 0 22 0 504652509 16085995520 123014 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912506149828 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.95
Current children cumulated vsize (KiB) 15708980

[startup+6.30111 s]
/proc/loadavg: 4.10 4.58 6.09 9/220 32229
/proc/meminfo: memFree=23868968/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=15708980 CPUtime=23.73 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 161580 0 1 0 2353 20 0 0 24 0 22 0 504652474 16085995520 151534 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 3927245 151534 2286 9 0 3917964 0
[pid=32195/tid=32197] ppid=32193 vsize=15708980 CPUtime=0.57 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) S 32193 32195 31482 0 -1 4202560 16381 0 1 0 55 2 0 0 18 0 22 0 504652475 16085995520 151534 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32201] ppid=32193 vsize=15708980 CPUtime=0.01 cores=0,2,4,6
/proc/32195/task/32201/stat : 32201 (java) S 32193 32195 31482 0 -1 4202560 4190 0 0 0 1 0 0 0 15 0 22 0 504652475 16085995520 151534 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32202] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32202/stat : 32202 (java) S 32193 32195 31482 0 -1 4202560 2539 0 0 0 0 0 0 0 15 0 22 0 504652475 16085995520 151534 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32203] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32203/stat : 32203 (java) S 32193 32195 31482 0 -1 4202560 2068 0 0 0 0 0 0 0 15 0 22 0 504652475 16085995520 151534 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32204] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32204/stat : 32204 (java) S 32193 32195 31482 0 -1 4202560 3468 0 0 0 0 0 0 0 16 0 22 0 504652475 16085995520 151534 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32205] ppid=32193 vsize=15708980 CPUtime=0.01 cores=0,2,4,6
/proc/32195/task/32205/stat : 32205 (java) S 32193 32195 31482 0 -1 4202560 2485 0 0 0 1 0 0 0 15 0 22 0 504652475 16085995520 151534 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32206] ppid=32193 vsize=15708980 CPUtime=0.01 cores=0,2,4,6
/proc/32195/task/32206/stat : 32206 (java) S 32193 32195 31482 0 -1 4202560 4218 0 0 0 1 0 0 0 15 0 22 0 504652475 16085995520 151534 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32207] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32207/stat : 32207 (java) S 32193 32195 31482 0 -1 4202560 3186 0 0 0 0 0 0 0 16 0 22 0 504652475 16085995520 151534 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32208] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32208/stat : 32208 (java) S 32193 32195 31482 0 -1 4202560 1480 0 0 0 0 0 0 0 15 0 22 0 504652475 16085995520 151534 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0

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

[pid=32195/tid=32227] ppid=32193 vsize=15708980 CPUtime=1048.92 cores=0,2,4,6
/proc/32195/task/32227/stat : 32227 (java) R 32193 32195 31482 0 -1 4202560 165995 0 0 0 104866 26 0 0 25 0 22 0 504652509 16085995520 81249 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505819543 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32195/tid=32228] ppid=32193 vsize=15708980 CPUtime=1048.57 cores=0,2,4,6
/proc/32195/task/32228/stat : 32228 (java) R 32193 32195 31482 0 -1 4202560 163589 0 0 0 104826 31 0 0 25 0 22 0 504652509 16085995520 81249 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505876666 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32195/tid=32229] ppid=32193 vsize=15708980 CPUtime=1048.48 cores=0,2,4,6
/proc/32195/task/32229/stat : 32229 (java) R 32193 32195 31482 0 -1 4202560 156726 0 0 0 104819 29 0 0 25 0 22 0 504652509 16085995520 81249 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4222.95
Current children cumulated vsize (KiB) 15708980

[startup+1122.3 s]
/proc/loadavg: 8.06 8.00 7.47 9/220 32261
/proc/meminfo: memFree=24354288/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=15708980 CPUtime=4461.6 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 1281784 0 1 0 445843 317 0 0 24 0 22 0 504652474 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 3927245 83292 2299 9 0 3917964 0
[pid=32195/tid=32197] ppid=32193 vsize=15708980 CPUtime=0.57 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) S 32193 32195 31482 0 -1 4202560 16381 0 1 0 55 2 0 0 18 0 22 0 504652475 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32201] ppid=32193 vsize=15708980 CPUtime=3.04 cores=0,2,4,6
/proc/32195/task/32201/stat : 32201 (java) S 32193 32195 31482 0 -1 4202560 70203 0 0 0 289 15 0 0 15 0 22 0 504652475 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32202] ppid=32193 vsize=15708980 CPUtime=3.02 cores=0,2,4,6
/proc/32195/task/32202/stat : 32202 (java) S 32193 32195 31482 0 -1 4202560 67016 0 0 0 287 15 0 0 15 0 22 0 504652475 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32203] ppid=32193 vsize=15708980 CPUtime=3.05 cores=0,2,4,6
/proc/32195/task/32203/stat : 32203 (java) S 32193 32195 31482 0 -1 4202560 70815 0 0 0 288 17 0 0 16 0 22 0 504652475 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32204] ppid=32193 vsize=15708980 CPUtime=3.14 cores=0,2,4,6
/proc/32195/task/32204/stat : 32204 (java) S 32193 32195 31482 0 -1 4202560 71556 0 0 0 298 16 0 0 15 0 22 0 504652475 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32205] ppid=32193 vsize=15708980 CPUtime=3.18 cores=0,2,4,6
/proc/32195/task/32205/stat : 32205 (java) S 32193 32195 31482 0 -1 4202560 70483 0 0 0 304 14 0 0 15 0 22 0 504652475 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32206] ppid=32193 vsize=15708980 CPUtime=3.11 cores=0,2,4,6
/proc/32195/task/32206/stat : 32206 (java) S 32193 32195 31482 0 -1 4202560 68786 0 0 0 296 15 0 0 15 0 22 0 504652475 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32207] ppid=32193 vsize=15708980 CPUtime=3.09 cores=0,2,4,6
/proc/32195/task/32207/stat : 32207 (java) S 32193 32195 31482 0 -1 4202560 69264 0 0 0 294 15 0 0 15 0 22 0 504652475 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32208] ppid=32193 vsize=15708980 CPUtime=3.15 cores=0,2,4,6
/proc/32195/task/32208/stat : 32208 (java) S 32193 32195 31482 0 -1 4202560 66603 0 0 0 299 16 0 0 15 0 22 0 504652475 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32209] ppid=32193 vsize=15708980 CPUtime=2 cores=0,2,4,6
/proc/32195/task/32209/stat : 32209 (java) S 32193 32195 31482 0 -1 4202560 3100 0 0 0 140 60 0 0 16 0 22 0 504652476 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522114048 0 0 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32210] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32210/stat : 32210 (java) S 32193 32195 31482 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504652477 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32211] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32211/stat : 32211 (java) S 32193 32195 31482 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504652477 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32217] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32217/stat : 32217 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504652479 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522121137 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32218] ppid=32193 vsize=15708980 CPUtime=1.12 cores=0,2,4,6
/proc/32195/task/32218/stat : 32218 (java) S 32193 32195 31482 0 -1 4202560 13691 0 0 0 110 2 0 0 15 0 22 0 504652479 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32219] ppid=32193 vsize=15708980 CPUtime=1.13 cores=0,2,4,6
/proc/32195/task/32219/stat : 32219 (java) S 32193 32195 31482 0 -1 4202560 4915 0 0 0 113 0 0 0 15 0 22 0 504652479 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32220] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32220/stat : 32220 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504652479 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32221] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32221/stat : 32221 (java) S 32193 32195 31482 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 504652479 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522114048 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32226] ppid=32193 vsize=15708980 CPUtime=1107.86 cores=0,2,4,6
/proc/32195/task/32226/stat : 32226 (java) R 32193 32195 31482 0 -1 4202560 170131 0 0 0 110758 28 0 0 25 0 22 0 504652509 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 47800893327529 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32195/tid=32227] ppid=32193 vsize=15708980 CPUtime=1108.3 cores=0,2,4,6
/proc/32195/task/32227/stat : 32227 (java) R 32193 32195 31482 0 -1 4202560 176365 0 0 0 110802 28 0 0 25 0 22 0 504652509 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505820909 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32195/tid=32228] ppid=32193 vsize=15708980 CPUtime=1107.78 cores=0,2,4,6
/proc/32195/task/32228/stat : 32228 (java) R 32193 32195 31482 0 -1 4202560 173960 0 0 0 110745 33 0 0 25 0 22 0 504652509 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505819593 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32195/tid=32229] ppid=32193 vsize=15708980 CPUtime=1107.88 cores=0,2,4,6
/proc/32195/task/32229/stat : 32229 (java) R 32193 32195 31482 0 -1 4202560 167073 0 0 0 110757 31 0 0 25 0 22 0 504652509 16085995520 83292 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505994980 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4461.6
Current children cumulated vsize (KiB) 15708980

[startup+1182.3 s]
/proc/loadavg: 8.08 8.01 7.51 9/220 32263
/proc/meminfo: memFree=24396660/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=15708980 CPUtime=4700.15 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 1343908 0 1 0 469678 337 0 0 24 0 22 0 504652474 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 3927245 78406 2299 9 0 3917964 0
[pid=32195/tid=32197] ppid=32193 vsize=15708980 CPUtime=0.57 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) S 32193 32195 31482 0 -1 4202560 16381 0 1 0 55 2 0 0 18 0 22 0 504652475 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32201] ppid=32193 vsize=15708980 CPUtime=3.18 cores=0,2,4,6
/proc/32195/task/32201/stat : 32201 (java) S 32193 32195 31482 0 -1 4202560 73985 0 0 0 302 16 0 0 15 0 22 0 504652475 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32202] ppid=32193 vsize=15708980 CPUtime=3.16 cores=0,2,4,6
/proc/32195/task/32202/stat : 32202 (java) S 32193 32195 31482 0 -1 4202560 70879 0 0 0 300 16 0 0 15 0 22 0 504652475 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32203] ppid=32193 vsize=15708980 CPUtime=3.23 cores=0,2,4,6
/proc/32195/task/32203/stat : 32203 (java) S 32193 32195 31482 0 -1 4202560 74305 0 0 0 304 19 0 0 16 0 22 0 504652475 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32204] ppid=32193 vsize=15708980 CPUtime=3.3 cores=0,2,4,6
/proc/32195/task/32204/stat : 32204 (java) S 32193 32195 31482 0 -1 4202560 75451 0 0 0 313 17 0 0 15 0 22 0 504652475 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32205] ppid=32193 vsize=15708980 CPUtime=3.32 cores=0,2,4,6
/proc/32195/task/32205/stat : 32205 (java) S 32193 32195 31482 0 -1 4202560 74649 0 0 0 317 15 0 0 16 0 22 0 504652475 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32206] ppid=32193 vsize=15708980 CPUtime=3.29 cores=0,2,4,6
/proc/32195/task/32206/stat : 32206 (java) S 32193 32195 31482 0 -1 4202560 73006 0 0 0 312 17 0 0 15 0 22 0 504652475 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32207] ppid=32193 vsize=15708980 CPUtime=3.24 cores=0,2,4,6
/proc/32195/task/32207/stat : 32207 (java) S 32193 32195 31482 0 -1 4202560 72988 0 0 0 308 16 0 0 16 0 22 0 504652475 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32208] ppid=32193 vsize=15708980 CPUtime=3.31 cores=0,2,4,6
/proc/32195/task/32208/stat : 32208 (java) S 32193 32195 31482 0 -1 4202560 69858 0 0 0 314 17 0 0 16 0 22 0 504652475 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32209] ppid=32193 vsize=15708980 CPUtime=2.12 cores=0,2,4,6
/proc/32195/task/32209/stat : 32209 (java) S 32193 32195 31482 0 -1 4202560 3256 0 0 0 149 63 0 0 15 0 22 0 504652476 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522114048 0 0 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32210] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32210/stat : 32210 (java) S 32193 32195 31482 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504652477 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32211] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32211/stat : 32211 (java) S 32193 32195 31482 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504652477 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32217] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32217/stat : 32217 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504652479 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522121137 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32218] ppid=32193 vsize=15708980 CPUtime=1.12 cores=0,2,4,6
/proc/32195/task/32218/stat : 32218 (java) S 32193 32195 31482 0 -1 4202560 13691 0 0 0 110 2 0 0 15 0 22 0 504652479 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32219] ppid=32193 vsize=15708980 CPUtime=1.13 cores=0,2,4,6
/proc/32195/task/32219/stat : 32219 (java) S 32193 32195 31482 0 -1 4202560 4915 0 0 0 113 0 0 0 15 0 22 0 504652479 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32220] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32220/stat : 32220 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504652479 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32221] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32221/stat : 32221 (java) S 32193 32195 31482 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 504652479 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522114048 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32226] ppid=32193 vsize=15708980 CPUtime=1167.24 cores=0,2,4,6
/proc/32195/task/32226/stat : 32226 (java) R 32193 32195 31482 0 -1 4202560 178353 0 0 0 116693 31 0 0 25 0 22 0 504652509 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505934040 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32195/tid=32227] ppid=32193 vsize=15708980 CPUtime=1167.58 cores=0,2,4,6
/proc/32195/task/32227/stat : 32227 (java) R 32193 32195 31482 0 -1 4202560 184005 0 0 0 116729 29 0 0 25 0 22 0 504652509 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505754345 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32195/tid=32228] ppid=32193 vsize=15708980 CPUtime=1166.98 cores=0,2,4,6
/proc/32195/task/32228/stat : 32228 (java) R 32193 32195 31482 0 -1 4202560 181998 0 0 0 116663 35 0 0 25 0 22 0 504652509 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505876106 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32195/tid=32229] ppid=32193 vsize=15708980 CPUtime=1167.21 cores=0,2,4,6
/proc/32195/task/32229/stat : 32229 (java) R 32193 32195 31482 0 -1 4202560 174742 0 0 0 116688 33 0 0 25 0 22 0 504652509 16085995520 78406 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4700.15
Current children cumulated vsize (KiB) 15708980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.5 s]
/proc/loadavg: 8.05 8.01 7.52 5/197 32267
/proc/meminfo: memFree=24755808/32951124 swapFree=67111524/67111528
[pid=32195] ppid=32193 vsize=15708980 CPUtime=4800.32 cores=0,2,4,6
/proc/32195/stat : 32195 (java) S 32193 32195 31482 0 -1 4202496 1363724 0 1 0 479688 344 0 0 24 0 22 0 504652474 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32195/statm: 3927245 69274 2299 9 0 3917964 0
[pid=32195/tid=32197] ppid=32193 vsize=15708980 CPUtime=0.57 cores=0,2,4,6
/proc/32195/task/32197/stat : 32197 (java) S 32193 32195 31482 0 -1 4202560 16381 0 1 0 55 2 0 0 18 0 22 0 504652475 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32201] ppid=32193 vsize=15708980 CPUtime=3.25 cores=0,2,4,6
/proc/32195/task/32201/stat : 32201 (java) S 32193 32195 31482 0 -1 4202560 74604 0 0 0 309 16 0 0 15 0 22 0 504652475 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32202] ppid=32193 vsize=15708980 CPUtime=3.25 cores=0,2,4,6
/proc/32195/task/32202/stat : 32202 (java) S 32193 32195 31482 0 -1 4202560 71740 0 0 0 308 17 0 0 15 0 22 0 504652475 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32203] ppid=32193 vsize=15708980 CPUtime=3.3 cores=0,2,4,6
/proc/32195/task/32203/stat : 32203 (java) S 32193 32195 31482 0 -1 4202560 75057 0 0 0 311 19 0 0 15 0 22 0 504652475 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32204] ppid=32193 vsize=15708980 CPUtime=3.37 cores=0,2,4,6
/proc/32195/task/32204/stat : 32204 (java) S 32193 32195 31482 0 -1 4202560 76151 0 0 0 320 17 0 0 15 0 22 0 504652475 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32205] ppid=32193 vsize=15708980 CPUtime=3.39 cores=0,2,4,6
/proc/32195/task/32205/stat : 32205 (java) S 32193 32195 31482 0 -1 4202560 75496 0 0 0 324 15 0 0 15 0 22 0 504652475 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32206] ppid=32193 vsize=15708980 CPUtime=3.35 cores=0,2,4,6
/proc/32195/task/32206/stat : 32206 (java) S 32193 32195 31482 0 -1 4202560 73780 0 0 0 318 17 0 0 15 0 22 0 504652475 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32207] ppid=32193 vsize=15708980 CPUtime=3.32 cores=0,2,4,6
/proc/32195/task/32207/stat : 32207 (java) S 32193 32195 31482 0 -1 4202560 73901 0 0 0 316 16 0 0 15 0 22 0 504652475 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32208] ppid=32193 vsize=15708980 CPUtime=3.37 cores=0,2,4,6
/proc/32195/task/32208/stat : 32208 (java) S 32193 32195 31482 0 -1 4202560 70959 0 0 0 320 17 0 0 15 0 22 0 504652475 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32209] ppid=32193 vsize=15708980 CPUtime=2.19 cores=0,2,4,6
/proc/32195/task/32209/stat : 32209 (java) S 32193 32195 31482 0 -1 4202560 3336 0 0 0 155 64 0 0 15 0 22 0 504652476 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522114048 0 0 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32210] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32210/stat : 32210 (java) S 32193 32195 31482 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504652477 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32211] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32211/stat : 32211 (java) S 32193 32195 31482 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504652477 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 4 0 0 0
[pid=32195/tid=32217] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32217/stat : 32217 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504652479 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522121137 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32218] ppid=32193 vsize=15708980 CPUtime=1.12 cores=0,2,4,6
/proc/32195/task/32218/stat : 32218 (java) S 32193 32195 31482 0 -1 4202560 13691 0 0 0 110 2 0 0 15 0 22 0 504652479 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 0 0 0 0
[pid=32195/tid=32219] ppid=32193 vsize=15708980 CPUtime=1.13 cores=0,2,4,6
/proc/32195/task/32219/stat : 32219 (java) S 32193 32195 31482 0 -1 4202560 4915 0 0 0 113 0 0 0 15 0 22 0 504652479 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32220] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32220/stat : 32220 (java) S 32193 32195 31482 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504652479 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522113433 0 4 0 16800975 18446604453950347072 0 0 -1 2 0 0 0
[pid=32195/tid=32221] ppid=32193 vsize=15708980 CPUtime=0 cores=0,2,4,6
/proc/32195/task/32221/stat : 32221 (java) S 32193 32195 31482 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 504652479 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 233522114048 0 4 0 16800975 18446604453950347072 0 0 -1 6 0 0 0
[pid=32195/tid=32226] ppid=32193 vsize=15708980 CPUtime=1192.12 cores=0,2,4,6
/proc/32195/task/32226/stat : 32226 (java) R 32193 32195 31482 0 -1 4202560 181582 0 0 0 119181 31 0 0 25 0 22 0 504652509 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505970358 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32195/tid=32227] ppid=32193 vsize=15708980 CPUtime=1192.46 cores=0,2,4,6
/proc/32195/task/32227/stat : 32227 (java) R 32193 32195 31482 0 -1 4202560 187446 0 0 0 119216 30 0 0 25 0 22 0 504652509 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505970429 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32195/tid=32228] ppid=32193 vsize=15708980 CPUtime=1191.85 cores=0,2,4,6
/proc/32195/task/32228/stat : 32228 (java) R 32193 32195 31482 0 -1 4202560 185434 0 0 0 119149 36 0 0 25 0 22 0 504652509 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505934251 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32195/tid=32229] ppid=32193 vsize=15708980 CPUtime=1192.11 cores=0,2,4,6
/proc/32195/task/32229/stat : 32229 (java) R 32193 32195 31482 0 -1 4202560 177803 0 0 0 119176 35 0 0 25 0 22 0 504652509 16085995520 69274 33554432000 1073741824 1073778376 140734096928544 18446744073709551615 46912505869400 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 15708980

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

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

Child status: 143
Real time (s): 1207.53
CPU time (s): 4800.36
CPU user time (s): 4796.91
CPU system time (s): 3.45447
CPU usage (%): 397.536
Max. virtual memory (cumulated for all children) (KiB): 15711480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.91
system time used= 3.45447
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1363750
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= 292672
involuntary context switches= 153166

runsolver used 1.9657 second user time and 4.67829 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-30 02:12:46
IDJOB=3311350
IDBENCH=82735
IDSOLVER=1698
FILE ID=node145/3311350-1304122366
RUNJOBID= node145-1304122366-32166
PBS_JOBID= 13170721
Free space on /tmp= 72204 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311350-1304122366/watcher-3311350-1304122366 -o /tmp/evaluation-result-3311350-1304122366/solver-3311350-1304122366 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311350-1304122366.cnf -hbr 2

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

MD5SUM BENCH= ae2c6ab9f054a239f861b972b7e9a79b
RANDOM SEED=1821554829

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25027304 kB
Buffers:       1268700 kB
Cached:        6064384 kB
SwapCached:          4 kB
Active:         756024 kB
Inactive:      6645300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25027304 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3528 kB
Writeback:           0 kB
AnonPages:       67744 kB
Mapped:          19924 kB
Slab:           460356 kB
PageTables:       5084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   757996 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= 72204 MiB
End job on node145 at 2011-04-30 02:32:56