Trace number 3311124

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.35 1205.64

General information on the benchmark

Namerandom/large/
unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf
MD5SUM49e4c2cc668774425bd698267df5f51d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark3.34149
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses15000
Sum of the clauses size75000
Maximum clause length5
Minimum clause length5
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 515000
Number of clauses of size over 50

Solver Data 

0.11/0.11	55:39 INFO : Reading from input HOME/instance-3311124-1304110539.cnf
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Starting Executor!
0.52/0.37	Starting Executor!
0.52/0.37	Starting Executor!
0.52/0.37	Starting Executor!
1.72/0.87	55:40 INFO : 750 variables remaining out of 750
1.72/0.87	55:40 INFO : 90000 literals remaining out of 90000

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

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: 8.04 8.13 7.96 5/198 4595
/proc/meminfo: memFree=27569748/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 1411 0 0 0 0 0 0 0 25 0 2 0 522651621 26714112 881 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 6522 885 678 9 0 381 0
[pid=4595/tid=4596] ppid=4593 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 4401 0 -1 4202560 61 0 0 0 0 0 0 0 25 0 2 0 522651621 27824128 889 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218900768533 0 0 4096 0 0 0 0 -1 1 0 0 0

[startup+0.00750511 s]
/proc/loadavg: 8.04 8.13 7.96 5/198 4595
/proc/meminfo: memFree=27569748/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=33696 CPUtime=0 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 1549 0 0 0 0 0 0 0 25 0 2 0 522651621 34504704 1000 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 8425 1002 772 9 0 387 0
[pid=4595/tid=4596] ppid=4593 vsize=33696 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 4401 0 -1 4202560 192 0 0 0 0 0 0 0 25 0 2 0 522651621 34504704 1001 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218900807303 0 0 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 33696

[startup+0.100528 s]
/proc/loadavg: 8.04 8.13 7.96 5/198 4595
/proc/meminfo: memFree=27569748/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=15676488 CPUtime=0.11 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 5592 0 1 0 10 1 0 0 25 0 18 0 522651621 16052723712 5000 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 3919122 5000 2116 9 0 3909841 0
[pid=4595/tid=4596] ppid=4593 vsize=15676488 CPUtime=0.08 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 4401 0 -1 4202560 3442 0 1 0 8 0 0 0 18 0 18 0 522651621 16052723712 5001 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 47928051919971 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676488

[startup+0.300527 s]
/proc/loadavg: 8.04 8.13 7.96 5/198 4595
/proc/meminfo: memFree=27569748/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=15679700 CPUtime=0.52 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 15687 0 1 0 50 2 0 0 25 0 18 0 522651621 16056012800 14103 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 3919925 14110 2206 9 0 3910644 0
[pid=4595/tid=4596] ppid=4593 vsize=15679700 CPUtime=0.29 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 4401 0 -1 4202560 10580 0 1 0 27 2 0 0 18 0 18 0 522651621 16056012800 14113 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505640369 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) 15679700

[startup+0.700387 s]
/proc/loadavg: 8.04 8.13 7.96 5/198 4595
/proc/meminfo: memFree=27569748/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=15698208 CPUtime=1.42 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 37806 0 1 0 137 5 0 0 25 0 22 0 522651621 16074964992 33222 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 3924552 33222 2241 9 0 3915271 0
[pid=4595/tid=4596] ppid=4593 vsize=15698208 CPUtime=0.68 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) R 4593 4595 4401 0 -1 4202560 21597 0 1 0 64 4 0 0 20 0 22 0 522651621 16074964992 33222 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505164230 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 15698208

[startup+1.50124 s]
/proc/loadavg: 7.95 8.11 7.96 5/220 4617
/proc/meminfo: memFree=27286792/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=15703592 CPUtime=4.31 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 67270 0 1 0 422 9 0 0 25 0 22 0 522651621 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 3925898 56872 2273 9 0 3916617 0
[pid=4595/tid=4596] ppid=4593 vsize=15703592 CPUtime=0.85 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) S 4593 4595 4401 0 -1 4202560 21880 0 1 0 81 4 0 0 20 0 22 0 522651621 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 4401 0 -1 4202560 2147 0 0 0 0 0 0 0 16 0 22 0 522651622 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 522651622 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522651622 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 4401 0 -1 4202560 415 0 0 0 0 0 0 0 15 0 22 0 522651622 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522651622 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 4401 0 -1 4202560 2669 0 0 0 0 0 0 0 16 0 22 0 522651622 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 4401 0 -1 4202560 1664 0 0 0 0 0 0 0 16 0 22 0 522651622 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 4401 0 -1 4202560 858 0 0 0 0 0 0 0 15 0 22 0 522651622 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 4401 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 522651623 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917547520 0 0 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 4401 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522651623 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 4401 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 522651623 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522651625 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917554609 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=15703592 CPUtime=0.95 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) R 4593 4595 4401 0 -1 4202560 16893 0 0 0 94 1 0 0 18 0 22 0 522651625 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 47928048612818 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=15703592 CPUtime=0.87 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) R 4593 4595 4401 0 -1 4202560 5432 0 0 0 86 1 0 0 16 0 22 0 522651625 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522651625 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=15703592 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522651625 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917547520 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4614] ppid=4593 vsize=15703592 CPUtime=0.4 cores=1,3,5,7
/proc/4595/task/4614/stat : 4614 (java) R 4593 4595 4401 0 -1 4202560 1777 0 0 0 40 0 0 0 15 0 22 0 522651658 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 47928051582757 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4595/tid=4615] ppid=4593 vsize=15703592 CPUtime=0.36 cores=1,3,5,7
/proc/4595/task/4615/stat : 4615 (java) R 4593 4595 4401 0 -1 4202560 2841 0 0 0 36 0 0 0 16 0 22 0 522651658 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505732952 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4595/tid=4616] ppid=4593 vsize=15703592 CPUtime=0.38 cores=1,3,5,7
/proc/4595/task/4616/stat : 4616 (java) R 4593 4595 4401 0 -1 4202560 3916 0 0 0 38 0 0 0 16 0 22 0 522651658 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505809528 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4617] ppid=4593 vsize=15703592 CPUtime=0.42 cores=1,3,5,7
/proc/4595/task/4617/stat : 4617 (java) R 4593 4595 4401 0 -1 4202560 5315 0 0 0 41 1 0 0 16 0 22 0 522651658 16080478208 56872 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505809528 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 15703592

[startup+3.10095 s]
/proc/loadavg: 7.95 8.11 7.96 12/220 4617
/proc/meminfo: memFree=27159616/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=15700816 CPUtime=10.68 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 124780 0 1 0 1049 19 0 0 25 0 22 0 522651621 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 3925204 113187 2274 9 0 3915923 0
[pid=4595/tid=4596] ppid=4593 vsize=15700816 CPUtime=0.85 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) S 4593 4595 4401 0 -1 4202560 21880 0 1 0 81 4 0 0 20 0 22 0 522651621 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=15700816 CPUtime=0.01 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 4401 0 -1 4202560 6762 0 0 0 0 1 0 0 15 0 22 0 522651622 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 4401 0 -1 4202560 1363 0 0 0 0 0 0 0 15 0 22 0 522651622 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=15700816 CPUtime=0.02 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 4401 0 -1 4202560 6705 0 0 0 1 1 0 0 16 0 22 0 522651622 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 4401 0 -1 4202560 4312 0 0 0 0 0 0 0 15 0 22 0 522651622 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 4401 0 -1 4202560 4016 0 0 0 0 0 0 0 15 0 22 0 522651622 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=15700816 CPUtime=0.02 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 4401 0 -1 4202560 7965 0 0 0 1 1 0 0 16 0 22 0 522651622 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=15700816 CPUtime=0.02 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 4401 0 -1 4202560 8034 0 0 0 1 1 0 0 16 0 22 0 522651622 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 4401 0 -1 4202560 4366 0 0 0 0 0 0 0 16 0 22 0 522651622 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 4401 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 22 0 522651623 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917547520 0 0 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 4401 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522651623 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 4401 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 522651623 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522651625 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917554609 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=15700816 CPUtime=0.99 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4593 4595 4401 0 -1 4202560 16930 0 0 0 98 1 0 0 15 0 22 0 522651625 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=15700816 CPUtime=0.92 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) S 4593 4595 4401 0 -1 4202560 5449 0 0 0 91 1 0 0 15 0 22 0 522651625 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522651625 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522651625 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917547520 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4614] ppid=4593 vsize=15700816 CPUtime=1.95 cores=1,3,5,7
/proc/4595/task/4614/stat : 4614 (java) R 4593 4595 4401 0 -1 4202560 7140 0 0 0 195 0 0 0 17 0 22 0 522651658 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 47928051581137 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4595/tid=4615] ppid=4593 vsize=15700816 CPUtime=1.92 cores=1,3,5,7
/proc/4595/task/4615/stat : 4615 (java) R 4593 4595 4401 0 -1 4202560 8324 0 0 0 191 1 0 0 17 0 22 0 522651658 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 47928051582596 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4595/tid=4616] ppid=4593 vsize=15700816 CPUtime=1.89 cores=1,3,5,7
/proc/4595/task/4616/stat : 4616 (java) R 4593 4595 4401 0 -1 4202560 9451 0 0 0 188 1 0 0 17 0 22 0 522651658 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505868984 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4617] ppid=4593 vsize=15700816 CPUtime=1.95 cores=1,3,5,7
/proc/4595/task/4617/stat : 4617 (java) R 4593 4595 4401 0 -1 4202560 10457 0 0 0 194 1 0 0 17 0 22 0 522651658 16077635584 113187 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 47928051581570 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.68
Current children cumulated vsize (KiB) 15700816

[startup+6.30137 s]
/proc/loadavg: 7.95 8.11 7.96 11/220 4617
/proc/meminfo: memFree=26197028/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=15700816 CPUtime=23.46 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 306942 0 1 0 2302 44 0 0 25 0 22 0 522651621 16077635584 294509 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 3925204 294514 2277 9 0 3915923 0
[pid=4595/tid=4596] ppid=4593 vsize=15700816 CPUtime=0.85 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) S 4593 4595 4401 0 -1 4202560 21880 0 1 0 81 4 0 0 20 0 22 0 522651621 16077635584 294519 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=15700816 CPUtime=0.03 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 4401 0 -1 4202560 12289 0 0 0 1 2 0 0 15 0 22 0 522651622 16077635584 294524 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=15700816 CPUtime=0.04 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 4401 0 -1 4202560 13821 0 0 0 2 2 0 0 16 0 22 0 522651622 16077635584 294525 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=15700816 CPUtime=0.02 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 4401 0 -1 4202560 6713 0 0 0 1 1 0 0 15 0 22 0 522651622 16077635584 294531 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=15700816 CPUtime=0.05 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 4401 0 -1 4202560 16667 0 0 0 3 2 0 0 16 0 22 0 522651622 16077635584 294535 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=15700816 CPUtime=0.02 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 4401 0 -1 4202560 9977 0 0 0 1 1 0 0 16 0 22 0 522651622 16077635584 294542 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=15700816 CPUtime=0.02 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 4401 0 -1 4202560 7965 0 0 0 1 1 0 0 15 0 22 0 522651622 16077635584 294548 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=15700816 CPUtime=0.04 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 4401 0 -1 4202560 14109 0 0 0 2 2 0 0 16 0 22 0 522651622 16077635584 294551 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=15700816 CPUtime=0.03 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 4401 0 -1 4202560 11116 0 0 0 2 1 0 0 16 0 22 0 522651622 16077635584 294553 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0

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

[pid=4595/tid=4615] ppid=4593 vsize=15700816 CPUtime=1049.53 cores=1,3,5,7
/proc/4595/task/4615/stat : 4615 (java) R 4593 4595 4401 0 -1 4202560 340821 0 0 0 104904 49 0 0 25 0 22 0 522651658 16077635584 131339 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505934191 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4595/tid=4616] ppid=4593 vsize=15700816 CPUtime=1048.95 cores=1,3,5,7
/proc/4595/task/4616/stat : 4616 (java) R 4593 4595 4401 0 -1 4202560 345842 0 0 0 104845 50 0 0 25 0 22 0 522651658 16077635584 131339 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505868993 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4595/tid=4617] ppid=4593 vsize=15700816 CPUtime=1049.68 cores=1,3,5,7
/proc/4595/task/4617/stat : 4617 (java) R 4593 4595 4401 0 -1 4202560 346872 0 0 0 104918 50 0 0 25 0 22 0 522651658 16077635584 131339 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912506246251 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4229.72
Current children cumulated vsize (KiB) 15700816

[startup+1122.3 s]
/proc/loadavg: 5.00 5.23 6.25 6/219 4659
/proc/meminfo: memFree=12626344/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=15700816 CPUtime=4468.63 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 2793608 0 1 0 446341 522 0 0 25 0 22 0 522651621 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 3925204 144016 2298 9 0 3915923 0
[pid=4595/tid=4596] ppid=4593 vsize=15700816 CPUtime=0.85 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) S 4593 4595 4401 0 -1 4202560 21880 0 1 0 81 4 0 0 20 0 22 0 522651621 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=15700816 CPUtime=3.46 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 4401 0 -1 4202560 154277 0 0 0 314 32 0 0 16 0 22 0 522651622 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=15700816 CPUtime=3.47 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 4401 0 -1 4202560 155144 0 0 0 320 27 0 0 15 0 22 0 522651622 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=15700816 CPUtime=3.4 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 4401 0 -1 4202560 153536 0 0 0 311 29 0 0 16 0 22 0 522651622 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=15700816 CPUtime=3.48 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 4401 0 -1 4202560 156288 0 0 0 320 28 0 0 15 0 22 0 522651622 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=15700816 CPUtime=3.51 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 4401 0 -1 4202560 169296 0 0 0 317 34 0 0 15 0 22 0 522651622 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=15700816 CPUtime=3.44 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 4401 0 -1 4202560 156165 0 0 0 314 30 0 0 16 0 22 0 522651622 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=15700816 CPUtime=3.57 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 4401 0 -1 4202560 179418 0 0 0 326 31 0 0 16 0 22 0 522651622 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=15700816 CPUtime=3.62 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 4401 0 -1 4202560 160385 0 0 0 334 28 0 0 15 0 22 0 522651622 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=15700816 CPUtime=1.59 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 4401 0 -1 4202560 7323 0 0 0 95 64 0 0 15 0 22 0 522651623 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917547520 0 0 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 4401 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522651623 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 4401 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 522651623 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522651625 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917554609 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=15700816 CPUtime=1.38 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4593 4595 4401 0 -1 4202560 16991 0 0 0 137 1 0 0 15 0 22 0 522651625 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=15700816 CPUtime=1.13 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) S 4593 4595 4401 0 -1 4202560 5487 0 0 0 112 1 0 0 15 0 22 0 522651625 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522651625 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 4401 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 522651625 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917547520 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4614] ppid=4593 vsize=15700816 CPUtime=1109.57 cores=1,3,5,7
/proc/4595/task/4614/stat : 4614 (java) R 4593 4595 4401 0 -1 4202560 368731 0 0 0 110907 50 0 0 25 0 22 0 522651658 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505902506 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4595/tid=4615] ppid=4593 vsize=15700816 CPUtime=1108.87 cores=1,3,5,7
/proc/4595/task/4615/stat : 4615 (java) R 4593 4595 4401 0 -1 4202560 360127 0 0 0 110835 52 0 0 25 0 22 0 522651658 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505809654 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4616] ppid=4593 vsize=15700816 CPUtime=1108.05 cores=1,3,5,7
/proc/4595/task/4616/stat : 4616 (java) R 4593 4595 4401 0 -1 4202560 363439 0 0 0 110753 52 0 0 25 0 22 0 522651658 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505809800 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4595/tid=4617] ppid=4593 vsize=15700816 CPUtime=1109.08 cores=1,3,5,7
/proc/4595/task/4617/stat : 4617 (java) R 4593 4595 4401 0 -1 4202560 363667 0 0 0 110856 52 0 0 25 0 22 0 522651658 16077635584 144016 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505744016 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4468.63
Current children cumulated vsize (KiB) 15700816

[startup+1182.3 s]
/proc/loadavg: 5.00 5.18 6.17 6/219 4660
/proc/meminfo: memFree=12614712/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=15700816 CPUtime=4707.46 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 2933361 0 1 0 470195 551 0 0 25 0 22 0 522651621 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 3925204 141929 2298 9 0 3915923 0
[pid=4595/tid=4596] ppid=4593 vsize=15700816 CPUtime=0.85 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) S 4593 4595 4401 0 -1 4202560 21880 0 1 0 81 4 0 0 20 0 22 0 522651621 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=15700816 CPUtime=3.67 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 4401 0 -1 4202560 164254 0 0 0 333 34 0 0 15 0 22 0 522651622 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=15700816 CPUtime=3.69 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 4401 0 -1 4202560 165130 0 0 0 340 29 0 0 15 0 22 0 522651622 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=15700816 CPUtime=3.59 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 4401 0 -1 4202560 161709 0 0 0 329 30 0 0 16 0 22 0 522651622 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=15700816 CPUtime=3.7 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 4401 0 -1 4202560 166677 0 0 0 340 30 0 0 16 0 22 0 522651622 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=15700816 CPUtime=3.7 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 4401 0 -1 4202560 179616 0 0 0 333 37 0 0 15 0 22 0 522651622 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=15700816 CPUtime=3.64 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 4401 0 -1 4202560 165065 0 0 0 333 31 0 0 15 0 22 0 522651622 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=15700816 CPUtime=3.75 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 4401 0 -1 4202560 188255 0 0 0 342 33 0 0 16 0 22 0 522651622 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=15700816 CPUtime=3.84 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 4401 0 -1 4202560 170661 0 0 0 354 30 0 0 15 0 22 0 522651622 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=15700816 CPUtime=1.7 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 4401 0 -1 4202560 7831 0 0 0 103 67 0 0 15 0 22 0 522651623 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917547520 0 0 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 4401 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522651623 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 4401 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 522651623 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522651625 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917554609 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=15700816 CPUtime=1.38 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4593 4595 4401 0 -1 4202560 16991 0 0 0 137 1 0 0 15 0 22 0 522651625 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=15700816 CPUtime=1.13 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) S 4593 4595 4401 0 -1 4202560 5487 0 0 0 112 1 0 0 15 0 22 0 522651625 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522651625 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 4401 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 522651625 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917547520 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4614] ppid=4593 vsize=15700816 CPUtime=1168.87 cores=1,3,5,7
/proc/4595/task/4614/stat : 4614 (java) R 4593 4595 4401 0 -1 4202560 384427 0 0 0 116835 52 0 0 25 0 22 0 522651658 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505975085 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4595/tid=4615] ppid=4593 vsize=15700816 CPUtime=1168.21 cores=1,3,5,7
/proc/4595/task/4615/stat : 4615 (java) R 4593 4595 4401 0 -1 4202560 375378 0 0 0 116766 55 0 0 25 0 22 0 522651658 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505732952 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4616] ppid=4593 vsize=15700816 CPUtime=1167.37 cores=1,3,5,7
/proc/4595/task/4616/stat : 4616 (java) R 4593 4595 4401 0 -1 4202560 378693 0 0 0 116683 54 0 0 25 0 22 0 522651658 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505974433 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4595/tid=4617] ppid=4593 vsize=15700816 CPUtime=1168.21 cores=1,3,5,7
/proc/4595/task/4617/stat : 4617 (java) R 4593 4595 4401 0 -1 4202560 379851 0 0 0 116766 55 0 0 25 0 22 0 522651658 16077635584 141929 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505583546 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4707.46
Current children cumulated vsize (KiB) 15700816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.61 s]
/proc/loadavg: 5.00 5.17 6.15 6/219 4661
/proc/meminfo: memFree=12683484/32951124 swapFree=67111356/67111528
[pid=4595] ppid=4593 vsize=15700816 CPUtime=4800.3 cores=1,3,5,7
/proc/4595/stat : 4595 (java) S 4593 4595 4401 0 -1 4202496 2980834 0 1 0 479471 559 0 0 25 0 22 0 522651621 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4595/statm: 3925204 129233 2298 9 0 3915923 0
[pid=4595/tid=4596] ppid=4593 vsize=15700816 CPUtime=0.85 cores=1,3,5,7
/proc/4595/task/4596/stat : 4596 (java) S 4593 4595 4401 0 -1 4202560 21880 0 1 0 81 4 0 0 20 0 22 0 522651621 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4598] ppid=4593 vsize=15700816 CPUtime=3.73 cores=1,3,5,7
/proc/4595/task/4598/stat : 4598 (java) S 4593 4595 4401 0 -1 4202560 168904 0 0 0 339 34 0 0 15 0 22 0 522651622 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4599] ppid=4593 vsize=15700816 CPUtime=3.77 cores=1,3,5,7
/proc/4595/task/4599/stat : 4599 (java) S 4593 4595 4401 0 -1 4202560 169066 0 0 0 348 29 0 0 15 0 22 0 522651622 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4600] ppid=4593 vsize=15700816 CPUtime=3.67 cores=1,3,5,7
/proc/4595/task/4600/stat : 4600 (java) S 4593 4595 4401 0 -1 4202560 165991 0 0 0 336 31 0 0 15 0 22 0 522651622 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4601] ppid=4593 vsize=15700816 CPUtime=3.77 cores=1,3,5,7
/proc/4595/task/4601/stat : 4601 (java) S 4593 4595 4401 0 -1 4202560 170075 0 0 0 347 30 0 0 15 0 22 0 522651622 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4602] ppid=4593 vsize=15700816 CPUtime=3.76 cores=1,3,5,7
/proc/4595/task/4602/stat : 4602 (java) S 4593 4595 4401 0 -1 4202560 182881 0 0 0 339 37 0 0 16 0 22 0 522651622 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4603] ppid=4593 vsize=15700816 CPUtime=3.73 cores=1,3,5,7
/proc/4595/task/4603/stat : 4603 (java) S 4593 4595 4401 0 -1 4202560 168713 0 0 0 341 32 0 0 15 0 22 0 522651622 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4604] ppid=4593 vsize=15700816 CPUtime=3.83 cores=1,3,5,7
/proc/4595/task/4604/stat : 4604 (java) S 4593 4595 4401 0 -1 4202560 191529 0 0 0 349 34 0 0 15 0 22 0 522651622 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4605] ppid=4593 vsize=15700816 CPUtime=3.92 cores=1,3,5,7
/proc/4595/task/4605/stat : 4605 (java) S 4593 4595 4401 0 -1 4202560 175153 0 0 0 362 30 0 0 15 0 22 0 522651622 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4606] ppid=4593 vsize=15700816 CPUtime=1.72 cores=1,3,5,7
/proc/4595/task/4606/stat : 4606 (java) S 4593 4595 4401 0 -1 4202560 7963 0 0 0 104 68 0 0 16 0 22 0 522651623 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917547520 0 0 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4607] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4607/stat : 4607 (java) S 4593 4595 4401 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522651623 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4608] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4608/stat : 4608 (java) S 4593 4595 4401 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 22 0 522651623 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 3 0 0 0
[pid=4595/tid=4609] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4609/stat : 4609 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522651625 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917554609 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4610] ppid=4593 vsize=15700816 CPUtime=1.38 cores=1,3,5,7
/proc/4595/task/4610/stat : 4610 (java) S 4593 4595 4401 0 -1 4202560 16991 0 0 0 137 1 0 0 15 0 22 0 522651625 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4611] ppid=4593 vsize=15700816 CPUtime=1.13 cores=1,3,5,7
/proc/4595/task/4611/stat : 4611 (java) S 4593 4595 4401 0 -1 4202560 5487 0 0 0 112 1 0 0 15 0 22 0 522651625 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 5 0 0 0
[pid=4595/tid=4612] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4612/stat : 4612 (java) S 4593 4595 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522651625 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917546905 0 4 0 16800975 18446604471149067264 0 0 -1 1 0 0 0
[pid=4595/tid=4613] ppid=4593 vsize=15700816 CPUtime=0 cores=1,3,5,7
/proc/4595/task/4613/stat : 4613 (java) S 4593 4595 4401 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 522651625 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 218917547520 0 4 0 16800975 18446604471149067264 0 0 -1 7 0 0 0
[pid=4595/tid=4614] ppid=4593 vsize=15700816 CPUtime=1191.81 cores=1,3,5,7
/proc/4595/task/4614/stat : 4614 (java) R 4593 4595 4401 0 -1 4202560 388079 0 0 0 119129 52 0 0 25 0 22 0 522651658 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505583477 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4595/tid=4615] ppid=4593 vsize=15700816 CPUtime=1191.28 cores=1,3,5,7
/proc/4595/task/4615/stat : 4615 (java) R 4593 4595 4401 0 -1 4202560 379388 0 0 0 119072 56 0 0 25 0 22 0 522651658 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505835940 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4595/tid=4616] ppid=4593 vsize=15700816 CPUtime=1190.45 cores=1,3,5,7
/proc/4595/task/4616/stat : 4616 (java) R 4593 4595 4401 0 -1 4202560 382664 0 0 0 118990 55 0 0 25 0 22 0 522651658 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505902194 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4595/tid=4617] ppid=4593 vsize=15700816 CPUtime=1191.3 cores=1,3,5,7
/proc/4595/task/4617/stat : 4617 (java) R 4593 4595 4401 0 -1 4202560 384612 0 0 0 119074 56 0 0 25 0 22 0 522651658 16077635584 129233 33554432000 1073741824 1073778376 140733227960608 18446744073709551615 46912505523176 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 15700816

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): 1205.64
CPU time (s): 4800.35
CPU user time (s): 4794.74
CPU system time (s): 5.61215
CPU usage (%): 398.157
Max. virtual memory (cumulated for all children) (KiB): 15703592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.74
system time used= 5.61215
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2980860
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= 133032
involuntary context switches= 93794

runsolver used 1.85672 second user time and 4.79327 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 22:55:39
IDJOB=3311124
IDBENCH=82509
IDSOLVER=1698
FILE ID=node137/3311124-1304110539
RUNJOBID= node137-1304109313-4420
PBS_JOBID= 13170673
Free space on /tmp= 71616 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311124-1304110539/watcher-3311124-1304110539 -o /tmp/evaluation-result-3311124-1304110539/solver-3311124-1304110539 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311124-1304110539.cnf -hbr 2

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

MD5SUM BENCH= 49e4c2cc668774425bd698267df5f51d
RANDOM SEED=1797376134

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27569904 kB
Buffers:        901148 kB
Cached:        2907864 kB
SwapCached:         48 kB
Active:        1164028 kB
Inactive:      3754708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27569904 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            6996 kB
Writeback:           0 kB
AnonPages:     1109152 kB
Mapped:          23380 kB
Slab:           397100 kB
PageTables:       6144 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1684372 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= 71612 MiB
End job on node137 at 2011-04-29 23:15:47