Trace number 3311280

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.11 1207.23

General information on the benchmark

Namerandom/large/
unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf
MD5SUMa959d408d44dc22efc55e46b642f9083
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.30119
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses12750
Sum of the clauses size89250
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 512750

Solver Data 

0.07/0.14	57:32 INFO : Reading from input HOME/instance-3311280-1304117852.cnf
0.48/0.39	Executor set job limit to 1000000
0.48/0.39	Executor set job limit to 1000000
0.48/0.39	Executor set job limit to 1000000
0.48/0.39	Executor set job limit to 1000000
0.48/0.40	Starting Executor!
0.59/0.40	Starting Executor!
0.59/0.40	Starting Executor!
0.59/0.40	Starting Executor!
1.36/0.70	57:32 INFO : 150 variables remaining out of 150
1.36/0.70	57:32 INFO : 102000 literals remaining out of 102000

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-3311280-1304117852/watcher-3311280-1304117852 -o /tmp/evaluation-result-3311280-1304117852/solver-3311280-1304117852 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311280-1304117852.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: 7.15 7.89 7.95 2/172 4645
/proc/meminfo: memFree=24146684/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 667 0 0 0 0 0 0 0 18 0 1 0 523382904 9318400 156 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212682751623 0 2147483391 4096 0 18446744071699199166 0 0 17 5 0 0 0
/proc/4645/statm: 2275 156 126 9 0 67 0

[startup+0.039282 s]
/proc/loadavg: 7.15 7.89 7.95 2/172 4645
/proc/meminfo: memFree=24146684/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=15604116 CPUtime=0.02 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 3446 0 1 0 1 1 0 0 18 0 13 0 523382904 15978614784 2887 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/4645/statm: 3901029 2887 1636 9 0 3891777 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604116

[startup+0.100264 s]
/proc/loadavg: 7.15 7.89 7.95 2/172 4645
/proc/meminfo: memFree=24146684/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=15676840 CPUtime=0.07 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 5234 0 1 0 6 1 0 0 18 0 18 0 523382904 16053084160 4649 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4645/statm: 3919210 4650 2078 9 0 3909929 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15676840

[startup+0.300228 s]
/proc/loadavg: 7.15 7.89 7.95 2/172 4645
/proc/meminfo: memFree=24146684/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=15679824 CPUtime=0.48 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 13215 0 1 0 45 3 0 0 18 0 18 0 523382904 16056139776 11641 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4645/statm: 3919956 11644 2207 9 0 3910675 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 15679824

[startup+0.700159 s]
/proc/loadavg: 7.15 7.89 7.95 2/172 4645
/proc/meminfo: memFree=24146684/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=15703396 CPUtime=1.36 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 38101 0 1 0 130 6 0 0 18 0 22 0 523382904 16080277504 33473 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4645/statm: 3925849 33478 2248 9 0 3916568 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 15703396

[startup+1.50098 s]
/proc/loadavg: 6.90 7.83 7.92 11/220 4693
/proc/meminfo: memFree=23821128/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=15702712 CPUtime=4.35 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 63779 0 1 0 426 9 0 0 18 0 22 0 523382904 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4645/statm: 3925678 54500 2274 9 0 3916397 0
[pid=4645/tid=4651] ppid=4643 vsize=15702712 CPUtime=0.66 cores=1,3,5,7
/proc/4645/task/4651/stat : 4651 (java) S 4643 4645 4006 0 -1 4202560 23382 0 1 0 62 4 0 0 18 0 22 0 523382905 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4655] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4655/stat : 4655 (java) S 4643 4645 4006 0 -1 4202560 539 0 0 0 0 0 0 0 15 0 22 0 523382907 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4658] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4658/stat : 4658 (java) S 4643 4645 4006 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 523382907 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4660] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4660/stat : 4660 (java) S 4643 4645 4006 0 -1 4202560 1426 0 0 0 0 0 0 0 16 0 22 0 523382907 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4662] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4662/stat : 4662 (java) S 4643 4645 4006 0 -1 4202560 850 0 0 0 0 0 0 0 16 0 22 0 523382907 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4664] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4664/stat : 4664 (java) S 4643 4645 4006 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 523382907 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4666] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4666/stat : 4666 (java) S 4643 4645 4006 0 -1 4202560 669 0 0 0 0 0 0 0 15 0 22 0 523382907 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4668] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4668/stat : 4668 (java) S 4643 4645 4006 0 -1 4202560 1833 0 0 0 0 0 0 0 16 0 22 0 523382907 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4669] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4669/stat : 4669 (java) S 4643 4645 4006 0 -1 4202560 1471 0 0 0 0 0 0 0 16 0 22 0 523382907 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4671] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4671/stat : 4671 (java) S 4643 4645 4006 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 523382908 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491840 0 0 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4673] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4673/stat : 4673 (java) S 4643 4645 4006 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4675] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4675/stat : 4675 (java) S 4643 4645 4006 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4677] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4677/stat : 4677 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523382911 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699498929 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4678] ppid=4643 vsize=15702712 CPUtime=0.78 cores=1,3,5,7
/proc/4645/task/4678/stat : 4678 (java) R 4643 4645 4006 0 -1 4202560 11925 0 0 0 77 1 0 0 18 0 22 0 523382911 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4645/tid=4681] ppid=4643 vsize=15702712 CPUtime=0.61 cores=1,3,5,7
/proc/4645/task/4681/stat : 4681 (java) S 4643 4645 4006 0 -1 4202560 7844 0 0 0 60 1 0 0 15 0 22 0 523382911 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4683] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4683/stat : 4683 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523382911 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4685] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4685/stat : 4685 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523382911 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491840 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4686] ppid=4643 vsize=15702712 CPUtime=0.6 cores=1,3,5,7
/proc/4645/task/4686/stat : 4686 (java) R 4643 4645 4006 0 -1 4202560 4166 0 0 0 60 0 0 0 16 0 22 0 523382944 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 47799272870097 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4645/tid=4687] ppid=4643 vsize=15702712 CPUtime=0.52 cores=1,3,5,7
/proc/4645/task/4687/stat : 4687 (java) R 4643 4645 4006 0 -1 4202560 2648 0 0 0 52 0 0 0 16 0 22 0 523382944 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 47799272871702 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4645/tid=4688] ppid=4643 vsize=15702712 CPUtime=0.5 cores=1,3,5,7
/proc/4645/task/4688/stat : 4688 (java) R 4643 4645 4006 0 -1 4202560 1120 0 0 0 50 0 0 0 16 0 22 0 523382944 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505207101 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4645/tid=4689] ppid=4643 vsize=15702712 CPUtime=0.6 cores=1,3,5,7
/proc/4645/task/4689/stat : 4689 (java) R 4643 4645 4006 0 -1 4202560 4443 0 0 0 60 0 0 0 16 0 22 0 523382944 16079577088 54500 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505760497 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 15702712

[startup+3.10069 s]
/proc/loadavg: 6.90 7.83 7.92 12/220 4693
/proc/meminfo: memFree=23627068/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=15702712 CPUtime=10.72 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 110362 0 1 0 1056 16 0 0 18 0 22 0 523382904 16079577088 101062 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4645/statm: 3925678 101062 2284 9 0 3916397 0
[pid=4645/tid=4651] ppid=4643 vsize=15702712 CPUtime=0.66 cores=1,3,5,7
/proc/4645/task/4651/stat : 4651 (java) S 4643 4645 4006 0 -1 4202560 23382 0 1 0 62 4 0 0 18 0 22 0 523382905 16079577088 101062 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4655] ppid=4643 vsize=15702712 CPUtime=0.01 cores=1,3,5,7
/proc/4645/task/4655/stat : 4655 (java) S 4643 4645 4006 0 -1 4202560 4813 0 0 0 1 0 0 0 16 0 22 0 523382907 16079577088 101062 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4658] ppid=4643 vsize=15702712 CPUtime=0.01 cores=1,3,5,7
/proc/4645/task/4658/stat : 4658 (java) S 4643 4645 4006 0 -1 4202560 2687 0 0 0 1 0 0 0 16 0 22 0 523382907 16079577088 101062 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4660] ppid=4643 vsize=15702712 CPUtime=0.02 cores=1,3,5,7
/proc/4645/task/4660/stat : 4660 (java) S 4643 4645 4006 0 -1 4202560 5670 0 0 0 1 1 0 0 16 0 22 0 523382907 16079577088 101062 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4662] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4662/stat : 4662 (java) S 4643 4645 4006 0 -1 4202560 3887 0 0 0 0 0 0 0 16 0 22 0 523382907 16079577088 101062 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4664] ppid=4643 vsize=15702712 CPUtime=0.01 cores=1,3,5,7
/proc/4645/task/4664/stat : 4664 (java) S 4643 4645 4006 0 -1 4202560 5065 0 0 0 1 0 0 0 15 0 22 0 523382907 16079577088 101062 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4666] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4666/stat : 4666 (java) S 4643 4645 4006 0 -1 4202560 2442 0 0 0 0 0 0 0 15 0 22 0 523382907 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4668] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4668/stat : 4668 (java) S 4643 4645 4006 0 -1 4202560 3008 0 0 0 0 0 0 0 15 0 22 0 523382907 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4669] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4669/stat : 4669 (java) S 4643 4645 4006 0 -1 4202560 3629 0 0 0 0 0 0 0 15 0 22 0 523382907 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4671] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4671/stat : 4671 (java) S 4643 4645 4006 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 22 0 523382908 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491840 0 0 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4673] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4673/stat : 4673 (java) S 4643 4645 4006 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4675] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4675/stat : 4675 (java) S 4643 4645 4006 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4677] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4677/stat : 4677 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523382911 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699498929 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4678] ppid=4643 vsize=15702712 CPUtime=0.92 cores=1,3,5,7
/proc/4645/task/4678/stat : 4678 (java) R 4643 4645 4006 0 -1 4202560 11951 0 0 0 91 1 0 0 15 0 22 0 523382911 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 47799273520968 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4645/tid=4681] ppid=4643 vsize=15702712 CPUtime=0.92 cores=1,3,5,7
/proc/4645/task/4681/stat : 4681 (java) S 4643 4645 4006 0 -1 4202560 7964 0 0 0 91 1 0 0 15 0 22 0 523382911 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4683] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4683/stat : 4683 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523382911 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4685] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4685/stat : 4685 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523382911 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491840 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4686] ppid=4643 vsize=15702712 CPUtime=2.04 cores=1,3,5,7
/proc/4645/task/4686/stat : 4686 (java) R 4643 4645 4006 0 -1 4202560 8737 0 0 0 204 0 0 0 17 0 22 0 523382944 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505841789 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4645/tid=4687] ppid=4643 vsize=15702712 CPUtime=2.08 cores=1,3,5,7
/proc/4645/task/4687/stat : 4687 (java) R 4643 4645 4006 0 -1 4202560 8448 0 0 0 208 0 0 0 17 0 22 0 523382944 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 47799272871019 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4645/tid=4688] ppid=4643 vsize=15702712 CPUtime=1.75 cores=1,3,5,7
/proc/4645/task/4688/stat : 4688 (java) R 4643 4645 4006 0 -1 4202560 6698 0 0 0 174 1 0 0 17 0 22 0 523382944 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699492294 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4645/tid=4689] ppid=4643 vsize=15702712 CPUtime=2.16 cores=1,3,5,7
/proc/4645/task/4689/stat : 4689 (java) R 4643 4645 4006 0 -1 4202560 10380 0 0 0 215 1 0 0 18 0 22 0 523382944 16079577088 101063 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505942662 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 15702712

[startup+6.30111 s]
/proc/loadavg: 6.90 7.83 7.92 10/220 4693
/proc/meminfo: memFree=22575808/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=15702712 CPUtime=23.5 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 292247 0 1 0 2312 38 0 0 18 0 22 0 523382904 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4645/statm: 3925678 282482 2284 9 0 3916397 0
[pid=4645/tid=4651] ppid=4643 vsize=15702712 CPUtime=0.66 cores=1,3,5,7
/proc/4645/task/4651/stat : 4651 (java) S 4643 4645 4006 0 -1 4202560 23382 0 1 0 62 4 0 0 18 0 22 0 523382905 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4655] ppid=4643 vsize=15702712 CPUtime=0.01 cores=1,3,5,7
/proc/4645/task/4655/stat : 4655 (java) S 4643 4645 4006 0 -1 4202560 5888 0 0 0 1 0 0 0 15 0 22 0 523382907 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4658] ppid=4643 vsize=15702712 CPUtime=0.01 cores=1,3,5,7
/proc/4645/task/4658/stat : 4658 (java) S 4643 4645 4006 0 -1 4202560 3907 0 0 0 1 0 0 0 15 0 22 0 523382907 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4660] ppid=4643 vsize=15702712 CPUtime=0.02 cores=1,3,5,7
/proc/4645/task/4660/stat : 4660 (java) S 4643 4645 4006 0 -1 4202560 7975 0 0 0 1 1 0 0 15 0 22 0 523382907 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4662] ppid=4643 vsize=15702712 CPUtime=0.01 cores=1,3,5,7
/proc/4645/task/4662/stat : 4662 (java) S 4643 4645 4006 0 -1 4202560 5229 0 0 0 1 0 0 0 15 0 22 0 523382907 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4664] ppid=4643 vsize=15702712 CPUtime=0.01 cores=1,3,5,7
/proc/4645/task/4664/stat : 4664 (java) S 4643 4645 4006 0 -1 4202560 5408 0 0 0 1 0 0 0 15 0 22 0 523382907 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4666] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4666/stat : 4666 (java) S 4643 4645 4006 0 -1 4202560 2442 0 0 0 0 0 0 0 15 0 22 0 523382907 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4668] ppid=4643 vsize=15702712 CPUtime=0.01 cores=1,3,5,7
/proc/4645/task/4668/stat : 4668 (java) S 4643 4645 4006 0 -1 4202560 5757 0 0 0 1 0 0 0 15 0 22 0 523382907 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4669] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4669/stat : 4669 (java) S 4643 4645 4006 0 -1 4202560 5144 0 0 0 0 0 0 0 15 0 22 0 523382907 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4671] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4671/stat : 4671 (java) S 4643 4645 4006 0 -1 4202560 771 0 0 0 0 0 0 0 15 0 22 0 523382908 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491840 0 0 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4673] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4673/stat : 4673 (java) S 4643 4645 4006 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4675] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4675/stat : 4675 (java) S 4643 4645 4006 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4677] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4677/stat : 4677 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523382911 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699498929 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4678] ppid=4643 vsize=15702712 CPUtime=1.05 cores=1,3,5,7
/proc/4645/task/4678/stat : 4678 (java) S 4643 4645 4006 0 -1 4202560 11977 0 0 0 104 1 0 0 15 0 22 0 523382911 16079577088 282482 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0

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

[pid=4645/tid=4687] ppid=4643 vsize=15702712 CPUtime=1048.36 cores=1,3,5,7
/proc/4645/task/4687/stat : 4687 (java) R 4643 4645 4006 0 -1 4202560 183570 0 0 0 104803 33 0 0 25 0 22 0 523382944 16079577088 94598 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505887041 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4645/tid=4688] ppid=4643 vsize=15702712 CPUtime=1048.81 cores=1,3,5,7
/proc/4645/task/4688/stat : 4688 (java) R 4643 4645 4006 0 -1 4202560 179267 0 0 0 104848 33 0 0 25 0 22 0 523382944 16079577088 94598 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505806296 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4645/tid=4689] ppid=4643 vsize=15702712 CPUtime=1048.7 cores=1,3,5,7
/proc/4645/task/4689/stat : 4689 (java) R 4643 4645 4006 0 -1 4202560 182706 0 0 0 104836 34 0 0 25 0 22 0 523382944 16079577088 94598 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 47799272870274 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4223.9
Current children cumulated vsize (KiB) 15702712

[startup+1122.3 s]
/proc/loadavg: 8.04 8.03 8.00 9/220 4735
/proc/meminfo: memFree=23431684/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=15702712 CPUtime=4462.5 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 1373460 0 1 0 445916 334 0 0 18 0 22 0 523382904 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4645/statm: 3925678 82310 2299 9 0 3916397 0
[pid=4645/tid=4651] ppid=4643 vsize=15702712 CPUtime=0.66 cores=1,3,5,7
/proc/4645/task/4651/stat : 4651 (java) S 4643 4645 4006 0 -1 4202560 23382 0 1 0 62 4 0 0 18 0 22 0 523382905 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4655] ppid=4643 vsize=15702712 CPUtime=3.17 cores=1,3,5,7
/proc/4645/task/4655/stat : 4655 (java) R 4643 4645 4006 0 -1 4202560 73115 0 0 0 302 15 0 0 15 0 22 0 523382907 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4645/tid=4658] ppid=4643 vsize=15702712 CPUtime=3.2 cores=1,3,5,7
/proc/4645/task/4658/stat : 4658 (java) R 4643 4645 4006 0 -1 4202560 69537 0 0 0 305 15 0 0 15 0 22 0 523382907 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4645/tid=4660] ppid=4643 vsize=15702712 CPUtime=3.16 cores=1,3,5,7
/proc/4645/task/4660/stat : 4660 (java) R 4643 4645 4006 0 -1 4202560 73118 0 0 0 300 16 0 0 15 0 22 0 523382907 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4645/tid=4662] ppid=4643 vsize=15702712 CPUtime=3.18 cores=1,3,5,7
/proc/4645/task/4662/stat : 4662 (java) S 4643 4645 4006 0 -1 4202560 69357 0 0 0 303 15 0 0 15 0 22 0 523382907 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4664] ppid=4643 vsize=15702712 CPUtime=3.27 cores=1,3,5,7
/proc/4645/task/4664/stat : 4664 (java) R 4643 4645 4006 0 -1 4202560 70836 0 0 0 311 16 0 0 15 0 22 0 523382907 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4645/tid=4666] ppid=4643 vsize=15702712 CPUtime=3.11 cores=1,3,5,7
/proc/4645/task/4666/stat : 4666 (java) S 4643 4645 4006 0 -1 4202560 66619 0 0 0 296 15 0 0 15 0 22 0 523382907 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4668] ppid=4643 vsize=15702712 CPUtime=3.26 cores=1,3,5,7
/proc/4645/task/4668/stat : 4668 (java) R 4643 4645 4006 0 -1 4202560 69422 0 0 0 311 15 0 0 15 0 22 0 523382907 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4645/tid=4669] ppid=4643 vsize=15702712 CPUtime=3.13 cores=1,3,5,7
/proc/4645/task/4669/stat : 4669 (java) R 4643 4645 4006 0 -1 4202560 69116 0 0 0 297 16 0 0 15 0 22 0 523382907 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212687628599 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4645/tid=4671] ppid=4643 vsize=15702712 CPUtime=1.87 cores=1,3,5,7
/proc/4645/task/4671/stat : 4671 (java) S 4643 4645 4006 0 -1 4202560 3462 0 0 0 129 58 0 0 16 0 22 0 523382908 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 0 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4673] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4673/stat : 4673 (java) S 4643 4645 4006 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4675] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4675/stat : 4675 (java) S 4643 4645 4006 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4677] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4677/stat : 4677 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523382911 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699498929 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4678] ppid=4643 vsize=15702712 CPUtime=1.11 cores=1,3,5,7
/proc/4645/task/4678/stat : 4678 (java) S 4643 4645 4006 0 -1 4202560 11990 0 0 0 110 1 0 0 15 0 22 0 523382911 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4681] ppid=4643 vsize=15702712 CPUtime=1.08 cores=1,3,5,7
/proc/4645/task/4681/stat : 4681 (java) S 4643 4645 4006 0 -1 4202560 8012 0 0 0 107 1 0 0 15 0 22 0 523382911 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4683] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4683/stat : 4683 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523382911 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4685] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4685/stat : 4685 (java) S 4643 4645 4006 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 523382911 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491840 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4686] ppid=4643 vsize=15702712 CPUtime=1108.41 cores=1,3,5,7
/proc/4645/task/4686/stat : 4686 (java) S 4643 4645 4006 0 -1 4202560 193299 0 0 0 110808 33 0 0 25 0 22 0 523382944 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4687] ppid=4643 vsize=15702712 CPUtime=1107.5 cores=1,3,5,7
/proc/4645/task/4687/stat : 4687 (java) S 4643 4645 4006 0 -1 4202560 191772 0 0 0 110715 35 0 0 25 0 22 0 523382944 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4688] ppid=4643 vsize=15702712 CPUtime=1108.15 cores=1,3,5,7
/proc/4645/task/4688/stat : 4688 (java) S 4643 4645 4006 0 -1 4202560 187990 0 0 0 110780 35 0 0 25 0 22 0 523382944 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4689] ppid=4643 vsize=15702712 CPUtime=1108.08 cores=1,3,5,7
/proc/4645/task/4689/stat : 4689 (java) S 4643 4645 4006 0 -1 4202560 190990 0 0 0 110772 36 0 0 25 0 22 0 523382944 16079577088 82310 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4462.5
Current children cumulated vsize (KiB) 15702712

[startup+1182.3 s]
/proc/loadavg: 8.09 8.04 8.01 9/220 4736
/proc/meminfo: memFree=23356756/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=15702712 CPUtime=4701.1 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 1446263 0 1 0 469758 352 0 0 18 0 22 0 523382904 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4645/statm: 3925678 84029 2299 9 0 3916397 0
[pid=4645/tid=4651] ppid=4643 vsize=15702712 CPUtime=0.66 cores=1,3,5,7
/proc/4645/task/4651/stat : 4651 (java) S 4643 4645 4006 0 -1 4202560 23382 0 1 0 62 4 0 0 18 0 22 0 523382905 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4655] ppid=4643 vsize=15702712 CPUtime=3.31 cores=1,3,5,7
/proc/4645/task/4655/stat : 4655 (java) S 4643 4645 4006 0 -1 4202560 76424 0 0 0 315 16 0 0 15 0 22 0 523382907 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4658] ppid=4643 vsize=15702712 CPUtime=3.37 cores=1,3,5,7
/proc/4645/task/4658/stat : 4658 (java) S 4643 4645 4006 0 -1 4202560 73455 0 0 0 321 16 0 0 15 0 22 0 523382907 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4660] ppid=4643 vsize=15702712 CPUtime=3.33 cores=1,3,5,7
/proc/4645/task/4660/stat : 4660 (java) S 4643 4645 4006 0 -1 4202560 76151 0 0 0 316 17 0 0 15 0 22 0 523382907 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4662] ppid=4643 vsize=15702712 CPUtime=3.36 cores=1,3,5,7
/proc/4645/task/4662/stat : 4662 (java) S 4643 4645 4006 0 -1 4202560 72480 0 0 0 320 16 0 0 16 0 22 0 523382907 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4664] ppid=4643 vsize=15702712 CPUtime=3.44 cores=1,3,5,7
/proc/4645/task/4664/stat : 4664 (java) S 4643 4645 4006 0 -1 4202560 74823 0 0 0 327 17 0 0 16 0 22 0 523382907 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4666] ppid=4643 vsize=15702712 CPUtime=3.31 cores=1,3,5,7
/proc/4645/task/4666/stat : 4666 (java) S 4643 4645 4006 0 -1 4202560 70887 0 0 0 315 16 0 0 15 0 22 0 523382907 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4668] ppid=4643 vsize=15702712 CPUtime=3.43 cores=1,3,5,7
/proc/4645/task/4668/stat : 4668 (java) S 4643 4645 4006 0 -1 4202560 72777 0 0 0 327 16 0 0 15 0 22 0 523382907 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4669] ppid=4643 vsize=15702712 CPUtime=3.28 cores=1,3,5,7
/proc/4645/task/4669/stat : 4669 (java) S 4643 4645 4006 0 -1 4202560 72050 0 0 0 310 18 0 0 15 0 22 0 523382907 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4671] ppid=4643 vsize=15702712 CPUtime=1.99 cores=1,3,5,7
/proc/4645/task/4671/stat : 4671 (java) S 4643 4645 4006 0 -1 4202560 3672 0 0 0 138 61 0 0 16 0 22 0 523382908 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491840 0 0 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4673] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4673/stat : 4673 (java) S 4643 4645 4006 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4675] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4675/stat : 4675 (java) S 4643 4645 4006 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4677] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4677/stat : 4677 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523382911 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699498929 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4678] ppid=4643 vsize=15702712 CPUtime=1.11 cores=1,3,5,7
/proc/4645/task/4678/stat : 4678 (java) S 4643 4645 4006 0 -1 4202560 11990 0 0 0 110 1 0 0 15 0 22 0 523382911 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4681] ppid=4643 vsize=15702712 CPUtime=1.08 cores=1,3,5,7
/proc/4645/task/4681/stat : 4681 (java) S 4643 4645 4006 0 -1 4202560 8012 0 0 0 107 1 0 0 15 0 22 0 523382911 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4683] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4683/stat : 4683 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523382911 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4685] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4685/stat : 4685 (java) S 4643 4645 4006 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 523382911 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491840 0 4 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4686] ppid=4643 vsize=15702712 CPUtime=1167.79 cores=1,3,5,7
/proc/4645/task/4686/stat : 4686 (java) R 4643 4645 4006 0 -1 4202560 204260 0 0 0 116744 35 0 0 25 0 22 0 523382944 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505760538 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4645/tid=4687] ppid=4643 vsize=15702712 CPUtime=1166.64 cores=1,3,5,7
/proc/4645/task/4687/stat : 4687 (java) R 4643 4645 4006 0 -1 4202560 202908 0 0 0 116628 36 0 0 25 0 22 0 523382944 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505806312 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4645/tid=4688] ppid=4643 vsize=15702712 CPUtime=1167.46 cores=1,3,5,7
/proc/4645/task/4688/stat : 4688 (java) R 4643 4645 4006 0 -1 4202560 199693 0 0 0 116709 37 0 0 25 0 22 0 523382944 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505806195 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4645/tid=4689] ppid=4643 vsize=15702712 CPUtime=1167.37 cores=1,3,5,7
/proc/4645/task/4689/stat : 4689 (java) R 4643 4645 4006 0 -1 4202560 201852 0 0 0 116700 37 0 0 25 0 22 0 523382944 16079577088 84029 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505973257 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4701.1
Current children cumulated vsize (KiB) 15702712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.06 8.04 8.00 5/197 4740
/proc/meminfo: memFree=23859496/32951124 swapFree=67111524/67111528
[pid=4645] ppid=4643 vsize=15702712 CPUtime=4800.06 cores=1,3,5,7
/proc/4645/stat : 4645 (java) S 4643 4645 4006 0 -1 4202496 1464983 0 1 0 479648 358 0 0 18 0 22 0 523382904 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/4645/statm: 3925678 71858 2299 9 0 3916397 0
[pid=4645/tid=4651] ppid=4643 vsize=15702712 CPUtime=0.66 cores=1,3,5,7
/proc/4645/task/4651/stat : 4651 (java) S 4643 4645 4006 0 -1 4202560 23382 0 1 0 62 4 0 0 18 0 22 0 523382905 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4655] ppid=4643 vsize=15702712 CPUtime=3.38 cores=1,3,5,7
/proc/4645/task/4655/stat : 4655 (java) S 4643 4645 4006 0 -1 4202560 77829 0 0 0 322 16 0 0 16 0 22 0 523382907 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4658] ppid=4643 vsize=15702712 CPUtime=3.43 cores=1,3,5,7
/proc/4645/task/4658/stat : 4658 (java) S 4643 4645 4006 0 -1 4202560 74623 0 0 0 327 16 0 0 15 0 22 0 523382907 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4660] ppid=4643 vsize=15702712 CPUtime=3.4 cores=1,3,5,7
/proc/4645/task/4660/stat : 4660 (java) S 4643 4645 4006 0 -1 4202560 77040 0 0 0 322 18 0 0 15 0 22 0 523382907 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4662] ppid=4643 vsize=15702712 CPUtime=3.42 cores=1,3,5,7
/proc/4645/task/4662/stat : 4662 (java) S 4643 4645 4006 0 -1 4202560 73628 0 0 0 326 16 0 0 15 0 22 0 523382907 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4664] ppid=4643 vsize=15702712 CPUtime=3.52 cores=1,3,5,7
/proc/4645/task/4664/stat : 4664 (java) S 4643 4645 4006 0 -1 4202560 76761 0 0 0 335 17 0 0 16 0 22 0 523382907 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4666] ppid=4643 vsize=15702712 CPUtime=3.38 cores=1,3,5,7
/proc/4645/task/4666/stat : 4666 (java) S 4643 4645 4006 0 -1 4202560 72612 0 0 0 321 17 0 0 15 0 22 0 523382907 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4668] ppid=4643 vsize=15702712 CPUtime=3.5 cores=1,3,5,7
/proc/4645/task/4668/stat : 4668 (java) S 4643 4645 4006 0 -1 4202560 73658 0 0 0 334 16 0 0 16 0 22 0 523382907 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4669] ppid=4643 vsize=15702712 CPUtime=3.35 cores=1,3,5,7
/proc/4645/task/4669/stat : 4669 (java) S 4643 4645 4006 0 -1 4202560 73241 0 0 0 317 18 0 0 16 0 22 0 523382907 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4671] ppid=4643 vsize=15702712 CPUtime=2.06 cores=1,3,5,7
/proc/4645/task/4671/stat : 4671 (java) S 4643 4645 4006 0 -1 4202560 3793 0 0 0 143 63 0 0 15 0 22 0 523382908 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491840 0 0 0 16800975 18446604469355771840 0 0 -1 7 0 0 0
[pid=4645/tid=4673] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4673/stat : 4673 (java) S 4643 4645 4006 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4675] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4675/stat : 4675 (java) S 4643 4645 4006 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523382908 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4677] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4677/stat : 4677 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 523382911 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699498929 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4678] ppid=4643 vsize=15702712 CPUtime=1.11 cores=1,3,5,7
/proc/4645/task/4678/stat : 4678 (java) S 4643 4645 4006 0 -1 4202560 11990 0 0 0 110 1 0 0 15 0 22 0 523382911 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 1 0 0 0
[pid=4645/tid=4681] ppid=4643 vsize=15702712 CPUtime=1.08 cores=1,3,5,7
/proc/4645/task/4681/stat : 4681 (java) S 4643 4645 4006 0 -1 4202560 8012 0 0 0 107 1 0 0 15 0 22 0 523382911 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 3 0 0 0
[pid=4645/tid=4683] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4683/stat : 4683 (java) S 4643 4645 4006 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523382911 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491225 0 4 0 16800975 18446604469355771840 0 0 -1 5 0 0 0
[pid=4645/tid=4685] ppid=4643 vsize=15702712 CPUtime=0 cores=1,3,5,7
/proc/4645/task/4685/stat : 4685 (java) R 4643 4645 4006 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 523382911 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 212699491840 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4645/tid=4686] ppid=4643 vsize=15702712 CPUtime=1192.32 cores=1,3,5,7
/proc/4645/task/4686/stat : 4686 (java) R 4643 4645 4006 0 -1 4202560 206183 0 0 0 119197 35 0 0 25 0 22 0 523382944 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505840508 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4645/tid=4687] ppid=4643 vsize=15702712 CPUtime=1191.24 cores=1,3,5,7
/proc/4645/task/4687/stat : 4687 (java) R 4643 4645 4006 0 -1 4202560 204858 0 0 0 119088 36 0 0 25 0 22 0 523382944 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505942868 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4645/tid=4688] ppid=4643 vsize=15702712 CPUtime=1192.04 cores=1,3,5,7
/proc/4645/task/4688/stat : 4688 (java) R 4643 4645 4006 0 -1 4202560 201726 0 0 0 119167 37 0 0 25 0 22 0 523382944 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 46912505949234 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4645/tid=4689] ppid=4643 vsize=15702712 CPUtime=1191.98 cores=1,3,5,7
/proc/4645/task/4689/stat : 4689 (java) R 4643 4645 4006 0 -1 4202560 204200 0 0 0 119160 38 0 0 25 0 22 0 523382944 16079577088 71858 33554432000 1073741824 1073778376 140735054554416 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 15702712

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.23
CPU time (s): 4800.11
CPU user time (s): 4796.51
CPU system time (s): 3.60145
CPU usage (%): 397.614
Max. virtual memory (cumulated for all children) (KiB): 15705376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.51
system time used= 3.60145
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1465009
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= 260161
involuntary context switches= 151114

runsolver used 1.91271 second user time and 4.72728 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-30 00:57:32
IDJOB=3311280
IDBENCH=82665
IDSOLVER=1698
FILE ID=node139/3311280-1304117852
RUNJOBID= node139-1304117851-4631
PBS_JOBID= 13170691
Free space on /tmp= 72552 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311280-1304117852/watcher-3311280-1304117852 -o /tmp/evaluation-result-3311280-1304117852/solver-3311280-1304117852 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311280-1304117852.cnf -hbr 2

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

MD5SUM BENCH= a959d408d44dc22efc55e46b642f9083
RANDOM SEED=554277609

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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.852
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.75
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.852
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	: 5321.49
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.852
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.852
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.82
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.852
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:      24146716 kB
Buffers:       2050100 kB
Cached:        6172360 kB
SwapCached:          4 kB
Active:         936492 kB
Inactive:      7349188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24146716 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            4288 kB
Writeback:           0 kB
AnonPages:       62652 kB
Mapped:          14496 kB
Slab:           454232 kB
PageTables:       4496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186648 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= 72552 MiB
End job on node139 at 2011-04-30 01:17:41