Trace number 3312599

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 4800.23 1207.23

General information on the benchmark

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

Solver Data 

0.10/0.11	40:18 INFO : Reading from input HOME/instance-3312599-1304124018.cnf
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Executor set job limit to 1000000
0.53/0.34	Starting Executor!
0.53/0.34	Starting Executor!
0.53/0.34	Starting Executor!
0.53/0.34	Starting Executor!
0.94/0.58	40:18 INFO : 90 variables remaining out of 90
0.94/0.58	40:18 INFO : 64080 literals remaining out of 64080

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3312599-1304124018/watcher-3312599-1304124018 -o /tmp/evaluation-result-3312599-1304124018/solver-3312599-1304124018 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312599-1304124018.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.32 8.10 8.01 5/198 4899
/proc/meminfo: memFree=29162476/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 1385 0 0 0 0 0 0 0 25 0 2 0 504817242 24580096 864 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 6001 864 660 9 0 381 0
[pid=4899/tid=4900] ppid=4897 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) R 4897 4899 4553 0 -1 4202560 53 0 0 0 0 0 0 0 25 0 2 0 504817242 26714112 883 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 47646325143344 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.056602 s]
/proc/loadavg: 8.32 8.10 8.01 5/198 4899
/proc/meminfo: memFree=29162476/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=15610640 CPUtime=0.05 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 4208 0 1 0 4 1 0 0 25 0 18 0 504817242 15985295360 3647 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 3902660 3647 1768 9 0 3893379 0
[pid=4899/tid=4900] ppid=4897 vsize=15610640 CPUtime=0.03 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) R 4897 4899 4553 0 -1 4202560 2788 0 1 0 3 0 0 0 25 0 18 0 504817242 15985295360 3647 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107277771 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15610640

[startup+0.100594 s]
/proc/loadavg: 8.32 8.10 8.01 5/198 4899
/proc/meminfo: memFree=29162476/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=15677200 CPUtime=0.1 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 5607 0 1 0 9 1 0 0 25 0 18 0 504817242 16053452800 5006 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 3919300 5009 2117 9 0 3910019 0
[pid=4899/tid=4900] ppid=4897 vsize=15677200 CPUtime=0.08 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) R 4897 4899 4553 0 -1 4202560 3445 0 1 0 7 1 0 0 18 0 18 0 504817242 16053452800 5011 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 47646321864709 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677200

[startup+0.300516 s]
/proc/loadavg: 8.32 8.10 8.01 5/198 4899
/proc/meminfo: memFree=29162476/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=15683344 CPUtime=0.53 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 14685 0 1 0 50 3 0 0 25 0 18 0 504817242 16059744256 13224 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 3920836 13231 2208 9 0 3911555 0
[pid=4899/tid=4900] ppid=4897 vsize=15683344 CPUtime=0.28 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) R 4897 4899 4553 0 -1 4202560 9829 0 1 0 26 2 0 0 18 0 18 0 504817242 16059744256 13235 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505639635 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15683344

[startup+0.706478 s]
/proc/loadavg: 8.32 8.10 8.01 5/198 4899
/proc/meminfo: memFree=29162476/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=15706840 CPUtime=1.52 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 33609 0 1 0 147 5 0 0 25 0 22 0 504817242 16083804160 28146 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 3926710 28157 2259 9 0 3917429 0
[pid=4899/tid=4900] ppid=4897 vsize=15706840 CPUtime=0.56 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) S 4897 4899 4553 0 -1 4202560 16310 0 1 0 53 3 0 0 18 0 22 0 504817242 16083804160 28162 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 15706840

[startup+1.5013 s]
/proc/loadavg: 8.32 8.10 8.01 10/220 4921
/proc/meminfo: memFree=28982820/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=15704212 CPUtime=4.52 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 63033 0 1 0 443 9 0 0 25 0 22 0 504817242 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 3926053 53265 2275 9 0 3916772 0
[pid=4899/tid=4900] ppid=4897 vsize=15704212 CPUtime=0.56 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) S 4897 4899 4553 0 -1 4202560 16310 0 1 0 53 3 0 0 18 0 22 0 504817242 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4902] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4902/stat : 4902 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504817243 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4903] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4903/stat : 4903 (java) S 4897 4899 4553 0 -1 4202560 1125 0 0 0 0 0 0 0 16 0 22 0 504817243 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4904] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4904/stat : 4904 (java) S 4897 4899 4553 0 -1 4202560 527 0 0 0 0 0 0 0 16 0 22 0 504817243 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4905] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4905/stat : 4905 (java) S 4897 4899 4553 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 504817243 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4906] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4906/stat : 4906 (java) S 4897 4899 4553 0 -1 4202560 844 0 0 0 0 0 0 0 16 0 22 0 504817243 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4907] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4907/stat : 4907 (java) S 4897 4899 4553 0 -1 4202560 451 0 0 0 0 0 0 0 16 0 22 0 504817243 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4908] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4908/stat : 4908 (java) S 4897 4899 4553 0 -1 4202560 1901 0 0 0 0 0 0 0 16 0 22 0 504817243 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4909] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4909/stat : 4909 (java) S 4897 4899 4553 0 -1 4202560 1016 0 0 0 0 0 0 0 15 0 22 0 504817243 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4910] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4910/stat : 4910 (java) S 4897 4899 4553 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 22 0 504817244 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107267584 0 0 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4911] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4911/stat : 4911 (java) S 4897 4899 4553 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504817244 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4912] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4912/stat : 4912 (java) S 4897 4899 4553 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 504817244 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4913] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4913/stat : 4913 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504817246 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107274673 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4914] ppid=4897 vsize=15704212 CPUtime=0.78 cores=0,2,4,6
/proc/4899/task/4914/stat : 4914 (java) R 4897 4899 4553 0 -1 4202560 11133 0 0 0 77 1 0 0 17 0 22 0 504817246 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107276981 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4899/tid=4915] ppid=4897 vsize=15704212 CPUtime=0.94 cores=0,2,4,6
/proc/4899/task/4915/stat : 4915 (java) R 4897 4899 4553 0 -1 4202560 9177 0 0 0 93 1 0 0 15 0 22 0 504817246 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 47646325403458 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4899/tid=4916] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4916/stat : 4916 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504817246 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4917] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4917/stat : 4917 (java) R 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504817246 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107267584 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4899/tid=4918] ppid=4897 vsize=15704212 CPUtime=0.56 cores=0,2,4,6
/proc/4899/task/4918/stat : 4918 (java) R 4897 4899 4553 0 -1 4202560 4360 0 0 0 56 0 0 0 16 0 22 0 504817276 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 47646325152850 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4899/tid=4919] ppid=4897 vsize=15704212 CPUtime=0.47 cores=0,2,4,6
/proc/4899/task/4919/stat : 4919 (java) R 4897 4899 4553 0 -1 4202560 5656 0 0 0 47 0 0 0 16 0 22 0 504817276 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505121134 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4899/tid=4920] ppid=4897 vsize=15704212 CPUtime=0.54 cores=0,2,4,6
/proc/4899/task/4920/stat : 4920 (java) R 4897 4899 4553 0 -1 4202560 6034 0 0 0 54 0 0 0 16 0 22 0 504817276 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 47646321886103 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4899/tid=4921] ppid=4897 vsize=15704212 CPUtime=0.56 cores=0,2,4,6
/proc/4899/task/4921/stat : 4921 (java) R 4897 4899 4553 0 -1 4202560 3033 0 0 0 56 0 0 0 16 0 22 0 504817276 16081113088 53265 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 47646325751647 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 15704212

[startup+3.101 s]
/proc/loadavg: 8.32 8.10 8.01 9/220 4921
/proc/meminfo: memFree=28819388/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=15704212 CPUtime=10.89 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 162325 0 1 0 1067 22 0 0 25 0 22 0 504817242 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 3926053 151018 2285 9 0 3916772 0
[pid=4899/tid=4900] ppid=4897 vsize=15704212 CPUtime=0.56 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) S 4897 4899 4553 0 -1 4202560 16310 0 1 0 53 3 0 0 18 0 22 0 504817242 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4902] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4902/stat : 4902 (java) S 4897 4899 4553 0 -1 4202560 1060 0 0 0 0 0 0 0 15 0 22 0 504817243 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4903] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4903/stat : 4903 (java) S 4897 4899 4553 0 -1 4202560 1962 0 0 0 0 0 0 0 16 0 22 0 504817243 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4904] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4904/stat : 4904 (java) S 4897 4899 4553 0 -1 4202560 2775 0 0 0 0 0 0 0 15 0 22 0 504817243 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4905] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4905/stat : 4905 (java) S 4897 4899 4553 0 -1 4202560 1757 0 0 0 0 0 0 0 16 0 22 0 504817243 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4906] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4906/stat : 4906 (java) S 4897 4899 4553 0 -1 4202560 1778 0 0 0 0 0 0 0 15 0 22 0 504817243 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4907] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4907/stat : 4907 (java) S 4897 4899 4553 0 -1 4202560 1446 0 0 0 0 0 0 0 16 0 22 0 504817243 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4908] ppid=4897 vsize=15704212 CPUtime=0.01 cores=0,2,4,6
/proc/4899/task/4908/stat : 4908 (java) S 4897 4899 4553 0 -1 4202560 2852 0 0 0 1 0 0 0 15 0 22 0 504817243 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4909] ppid=4897 vsize=15704212 CPUtime=0.01 cores=0,2,4,6
/proc/4899/task/4909/stat : 4909 (java) S 4897 4899 4553 0 -1 4202560 3913 0 0 0 1 0 0 0 16 0 22 0 504817243 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4910] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4910/stat : 4910 (java) S 4897 4899 4553 0 -1 4202560 451 0 0 0 0 0 0 0 15 0 22 0 504817244 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107267584 0 0 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4911] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4911/stat : 4911 (java) S 4897 4899 4553 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504817244 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4912] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4912/stat : 4912 (java) S 4897 4899 4553 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 504817244 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4913] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4913/stat : 4913 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504817246 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107274673 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4914] ppid=4897 vsize=15704212 CPUtime=0.87 cores=0,2,4,6
/proc/4899/task/4914/stat : 4914 (java) S 4897 4899 4553 0 -1 4202560 11158 0 0 0 86 1 0 0 15 0 22 0 504817246 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4915] ppid=4897 vsize=15704212 CPUtime=1.15 cores=0,2,4,6
/proc/4899/task/4915/stat : 4915 (java) S 4897 4899 4553 0 -1 4202560 10747 0 0 0 114 1 0 0 15 0 22 0 504817246 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4916] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4916/stat : 4916 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504817246 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4917] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4917/stat : 4917 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504817246 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107267584 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4918] ppid=4897 vsize=15704212 CPUtime=2.11 cores=0,2,4,6
/proc/4899/task/4918/stat : 4918 (java) R 4897 4899 4553 0 -1 4202560 26207 0 0 0 208 3 0 0 17 0 22 0 504817276 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 47646325686893 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4899/tid=4919] ppid=4897 vsize=15704212 CPUtime=1.88 cores=0,2,4,6
/proc/4899/task/4919/stat : 4919 (java) R 4897 4899 4553 0 -1 4202560 25371 0 0 0 184 4 0 0 17 0 22 0 504817276 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505722093 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4899/tid=4920] ppid=4897 vsize=15704212 CPUtime=2.04 cores=0,2,4,6
/proc/4899/task/4920/stat : 4920 (java) R 4897 4899 4553 0 -1 4202560 28132 0 0 0 202 2 0 0 17 0 22 0 504817276 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505797767 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4899/tid=4921] ppid=4897 vsize=15704212 CPUtime=2.13 cores=0,2,4,6
/proc/4899/task/4921/stat : 4921 (java) R 4897 4899 4553 0 -1 4202560 25018 0 0 0 211 2 0 0 18 0 22 0 504817276 16081113088 151018 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505864371 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.89
Current children cumulated vsize (KiB) 15704212

[startup+6.30141 s]
/proc/loadavg: 8.38 8.11 8.02 10/220 4921
/proc/meminfo: memFree=28062988/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=15704212 CPUtime=23.66 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 291558 0 1 0 2330 36 0 0 25 0 22 0 504817242 16081113088 276238 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 3926053 276238 2285 9 0 3916772 0
[pid=4899/tid=4900] ppid=4897 vsize=15704212 CPUtime=0.56 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) S 4897 4899 4553 0 -1 4202560 16310 0 1 0 53 3 0 0 18 0 22 0 504817242 16081113088 276238 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4902] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4902/stat : 4902 (java) S 4897 4899 4553 0 -1 4202560 2873 0 0 0 0 0 0 0 16 0 22 0 504817243 16081113088 276238 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4903] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4903/stat : 4903 (java) S 4897 4899 4553 0 -1 4202560 2668 0 0 0 0 0 0 0 16 0 22 0 504817243 16081113088 276238 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4904] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4904/stat : 4904 (java) S 4897 4899 4553 0 -1 4202560 2776 0 0 0 0 0 0 0 15 0 22 0 504817243 16081113088 276238 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4905] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4905/stat : 4905 (java) S 4897 4899 4553 0 -1 4202560 3017 0 0 0 0 0 0 0 15 0 22 0 504817243 16081113088 276238 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4906] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4906/stat : 4906 (java) S 4897 4899 4553 0 -1 4202560 3061 0 0 0 0 0 0 0 15 0 22 0 504817243 16081113088 276238 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4907] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4907/stat : 4907 (java) S 4897 4899 4553 0 -1 4202560 2661 0 0 0 0 0 0 0 15 0 22 0 504817243 16081113088 276238 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4908] ppid=4897 vsize=15704212 CPUtime=0.01 cores=0,2,4,6
/proc/4899/task/4908/stat : 4908 (java) S 4897 4899 4553 0 -1 4202560 4067 0 0 0 1 0 0 0 16 0 22 0 504817243 16081113088 276238 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4909] ppid=4897 vsize=15704212 CPUtime=0.01 cores=0,2,4,6
/proc/4899/task/4909/stat : 4909 (java) S 4897 4899 4553 0 -1 4202560 4649 0 0 0 1 0 0 0 15 0 22 0 504817243 16081113088 276238 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0

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

[pid=4899/tid=4919] ppid=4897 vsize=15704212 CPUtime=1049.27 cores=0,2,4,6
/proc/4899/task/4919/stat : 4919 (java) R 4897 4899 4553 0 -1 4202560 196267 0 0 0 104892 35 0 0 25 0 22 0 504817276 16081113088 83332 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4899/tid=4920] ppid=4897 vsize=15704212 CPUtime=1048.59 cores=0,2,4,6
/proc/4899/task/4920/stat : 4920 (java) R 4897 4899 4553 0 -1 4202560 204236 0 0 0 104825 34 0 0 25 0 22 0 504817276 16081113088 83332 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505797387 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4899/tid=4921] ppid=4897 vsize=15704212 CPUtime=1048.62 cores=0,2,4,6
/proc/4899/task/4921/stat : 4921 (java) R 4897 4899 4553 0 -1 4202560 200651 0 0 0 104827 35 0 0 25 0 22 0 504817276 16081113088 83332 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505973707 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4224.07
Current children cumulated vsize (KiB) 15704212

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 8.04 9/220 5000
/proc/meminfo: memFree=28607260/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=15704212 CPUtime=4462.6 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 1354335 0 1 0 445922 338 0 0 25 0 22 0 504817242 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 3926053 85219 2298 9 0 3916772 0
[pid=4899/tid=4900] ppid=4897 vsize=15704212 CPUtime=0.56 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) S 4897 4899 4553 0 -1 4202560 16310 0 1 0 53 3 0 0 18 0 22 0 504817242 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4902] ppid=4897 vsize=15704212 CPUtime=3.07 cores=0,2,4,6
/proc/4899/task/4902/stat : 4902 (java) S 4897 4899 4553 0 -1 4202560 55627 0 0 0 293 14 0 0 15 0 22 0 504817243 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4903] ppid=4897 vsize=15704212 CPUtime=3.06 cores=0,2,4,6
/proc/4899/task/4903/stat : 4903 (java) S 4897 4899 4553 0 -1 4202560 55157 0 0 0 291 15 0 0 15 0 22 0 504817243 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4904] ppid=4897 vsize=15704212 CPUtime=3.03 cores=0,2,4,6
/proc/4899/task/4904/stat : 4904 (java) S 4897 4899 4553 0 -1 4202560 57812 0 0 0 287 16 0 0 15 0 22 0 504817243 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4905] ppid=4897 vsize=15704212 CPUtime=3.13 cores=0,2,4,6
/proc/4899/task/4905/stat : 4905 (java) S 4897 4899 4553 0 -1 4202560 57115 0 0 0 298 15 0 0 15 0 22 0 504817243 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4906] ppid=4897 vsize=15704212 CPUtime=3.07 cores=0,2,4,6
/proc/4899/task/4906/stat : 4906 (java) S 4897 4899 4553 0 -1 4202560 58494 0 0 0 292 15 0 0 15 0 22 0 504817243 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4907] ppid=4897 vsize=15704212 CPUtime=3.13 cores=0,2,4,6
/proc/4899/task/4907/stat : 4907 (java) S 4897 4899 4553 0 -1 4202560 57020 0 0 0 300 13 0 0 16 0 22 0 504817243 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4908] ppid=4897 vsize=15704212 CPUtime=3.23 cores=0,2,4,6
/proc/4899/task/4908/stat : 4908 (java) S 4897 4899 4553 0 -1 4202560 60421 0 0 0 308 15 0 0 16 0 22 0 504817243 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4909] ppid=4897 vsize=15704212 CPUtime=3.11 cores=0,2,4,6
/proc/4899/task/4909/stat : 4909 (java) S 4897 4899 4553 0 -1 4202560 58298 0 0 0 297 14 0 0 16 0 22 0 504817243 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4910] ppid=4897 vsize=15704212 CPUtime=2.04 cores=0,2,4,6
/proc/4899/task/4910/stat : 4910 (java) S 4897 4899 4553 0 -1 4202560 3383 0 0 0 145 59 0 0 15 0 22 0 504817244 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107267584 0 0 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4911] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4911/stat : 4911 (java) S 4897 4899 4553 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504817244 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4912] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4912/stat : 4912 (java) S 4897 4899 4553 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 504817244 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4913] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4913/stat : 4913 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504817246 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107274673 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4914] ppid=4897 vsize=15704212 CPUtime=0.94 cores=0,2,4,6
/proc/4899/task/4914/stat : 4914 (java) S 4897 4899 4553 0 -1 4202560 11168 0 0 0 93 1 0 0 15 0 22 0 504817246 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4915] ppid=4897 vsize=15704212 CPUtime=1.32 cores=0,2,4,6
/proc/4899/task/4915/stat : 4915 (java) S 4897 4899 4553 0 -1 4202560 10772 0 0 0 131 1 0 0 15 0 22 0 504817246 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4916] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4916/stat : 4916 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504817246 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4917] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4917/stat : 4917 (java) S 4897 4899 4553 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 504817246 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107267584 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4918] ppid=4897 vsize=15704212 CPUtime=1108.41 cores=0,2,4,6
/proc/4899/task/4918/stat : 4918 (java) R 4897 4899 4553 0 -1 4202560 214850 0 0 0 110803 38 0 0 25 0 22 0 504817276 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505815069 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4899/tid=4919] ppid=4897 vsize=15704212 CPUtime=1108.52 cores=0,2,4,6
/proc/4899/task/4919/stat : 4919 (java) R 4897 4899 4553 0 -1 4202560 207961 0 0 0 110815 37 0 0 25 0 22 0 504817276 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505864775 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4899/tid=4920] ppid=4897 vsize=15704212 CPUtime=1107.87 cores=0,2,4,6
/proc/4899/task/4920/stat : 4920 (java) R 4897 4899 4553 0 -1 4202560 215975 0 0 0 110750 37 0 0 25 0 22 0 504817276 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505870234 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4899/tid=4921] ppid=4897 vsize=15704212 CPUtime=1107.94 cores=0,2,4,6
/proc/4899/task/4921/stat : 4921 (java) R 4897 4899 4553 0 -1 4202560 212524 0 0 0 110757 37 0 0 18 0 22 0 504817276 16081113088 85219 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505814756 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4462.6
Current children cumulated vsize (KiB) 15704212

[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 8.04 9/220 5002
/proc/meminfo: memFree=28640408/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=15704212 CPUtime=4701.19 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 1416403 0 1 0 469764 355 0 0 25 0 22 0 504817242 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 3926053 77475 2298 9 0 3916772 0
[pid=4899/tid=4900] ppid=4897 vsize=15704212 CPUtime=0.56 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) S 4897 4899 4553 0 -1 4202560 16310 0 1 0 53 3 0 0 18 0 22 0 504817242 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4902] ppid=4897 vsize=15704212 CPUtime=3.24 cores=0,2,4,6
/proc/4899/task/4902/stat : 4902 (java) S 4897 4899 4553 0 -1 4202560 58626 0 0 0 309 15 0 0 15 0 22 0 504817243 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4903] ppid=4897 vsize=15704212 CPUtime=3.22 cores=0,2,4,6
/proc/4899/task/4903/stat : 4903 (java) S 4897 4899 4553 0 -1 4202560 58336 0 0 0 306 16 0 0 15 0 22 0 504817243 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4904] ppid=4897 vsize=15704212 CPUtime=3.21 cores=0,2,4,6
/proc/4899/task/4904/stat : 4904 (java) S 4897 4899 4553 0 -1 4202560 60970 0 0 0 304 17 0 0 16 0 22 0 504817243 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4905] ppid=4897 vsize=15704212 CPUtime=3.3 cores=0,2,4,6
/proc/4899/task/4905/stat : 4905 (java) S 4897 4899 4553 0 -1 4202560 59787 0 0 0 314 16 0 0 15 0 22 0 504817243 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4906] ppid=4897 vsize=15704212 CPUtime=3.23 cores=0,2,4,6
/proc/4899/task/4906/stat : 4906 (java) S 4897 4899 4553 0 -1 4202560 61923 0 0 0 307 16 0 0 15 0 22 0 504817243 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4907] ppid=4897 vsize=15704212 CPUtime=3.28 cores=0,2,4,6
/proc/4899/task/4907/stat : 4907 (java) S 4897 4899 4553 0 -1 4202560 59949 0 0 0 314 14 0 0 15 0 22 0 504817243 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4908] ppid=4897 vsize=15704212 CPUtime=3.4 cores=0,2,4,6
/proc/4899/task/4908/stat : 4908 (java) S 4897 4899 4553 0 -1 4202560 63343 0 0 0 324 16 0 0 15 0 22 0 504817243 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4909] ppid=4897 vsize=15704212 CPUtime=3.27 cores=0,2,4,6
/proc/4899/task/4909/stat : 4909 (java) S 4897 4899 4553 0 -1 4202560 61107 0 0 0 312 15 0 0 16 0 22 0 504817243 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4910] ppid=4897 vsize=15704212 CPUtime=2.16 cores=0,2,4,6
/proc/4899/task/4910/stat : 4910 (java) S 4897 4899 4553 0 -1 4202560 3587 0 0 0 154 62 0 0 15 0 22 0 504817244 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107267584 0 0 0 16800975 18446604453948333056 0 0 -1 6 0 0 0
[pid=4899/tid=4911] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4911/stat : 4911 (java) S 4897 4899 4553 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504817244 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4912] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4912/stat : 4912 (java) S 4897 4899 4553 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 504817244 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4913] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4913/stat : 4913 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504817246 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107274673 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4914] ppid=4897 vsize=15704212 CPUtime=0.94 cores=0,2,4,6
/proc/4899/task/4914/stat : 4914 (java) S 4897 4899 4553 0 -1 4202560 11168 0 0 0 93 1 0 0 15 0 22 0 504817246 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4915] ppid=4897 vsize=15704212 CPUtime=1.32 cores=0,2,4,6
/proc/4899/task/4915/stat : 4915 (java) S 4897 4899 4553 0 -1 4202560 10772 0 0 0 131 1 0 0 15 0 22 0 504817246 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4916] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4916/stat : 4916 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504817246 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4917] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4917/stat : 4917 (java) S 4897 4899 4553 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 504817246 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107267584 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4918] ppid=4897 vsize=15704212 CPUtime=1167.68 cores=0,2,4,6
/proc/4899/task/4918/stat : 4918 (java) R 4897 4899 4553 0 -1 4202560 224263 0 0 0 116729 39 0 0 21 0 22 0 504817276 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 47646325686603 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4899/tid=4919] ppid=4897 vsize=15704212 CPUtime=1167.89 cores=0,2,4,6
/proc/4899/task/4919/stat : 4919 (java) R 4897 4899 4553 0 -1 4202560 217606 0 0 0 116751 38 0 0 25 0 22 0 504817276 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505814402 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4899/tid=4920] ppid=4897 vsize=15704212 CPUtime=1167.12 cores=0,2,4,6
/proc/4899/task/4920/stat : 4920 (java) R 4897 4899 4553 0 -1 4202560 225702 0 0 0 116673 39 0 0 25 0 22 0 504817276 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505722074 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4899/tid=4921] ppid=4897 vsize=15704212 CPUtime=1167.21 cores=0,2,4,6
/proc/4899/task/4921/stat : 4921 (java) R 4897 4899 4553 0 -1 4202560 221503 0 0 0 116682 39 0 0 25 0 22 0 504817276 16081113088 77475 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4701.19
Current children cumulated vsize (KiB) 15704212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.13 8.09 8.04 6/220 5002
/proc/meminfo: memFree=28703244/32951124 swapFree=67111348/67111528
[pid=4899] ppid=4897 vsize=15704212 CPUtime=4800.17 cores=0,2,4,6
/proc/4899/stat : 4899 (java) S 4897 4899 4553 0 -1 4202496 1440256 0 1 0 479654 363 0 0 25 0 22 0 504817242 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4899/statm: 3926053 72754 2298 9 0 3916772 0
[pid=4899/tid=4900] ppid=4897 vsize=15704212 CPUtime=0.56 cores=0,2,4,6
/proc/4899/task/4900/stat : 4900 (java) S 4897 4899 4553 0 -1 4202560 16310 0 1 0 53 3 0 0 18 0 22 0 504817242 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4902] ppid=4897 vsize=15704212 CPUtime=3.31 cores=0,2,4,6
/proc/4899/task/4902/stat : 4902 (java) S 4897 4899 4553 0 -1 4202560 58793 0 0 0 316 15 0 0 15 0 22 0 504817243 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4903] ppid=4897 vsize=15704212 CPUtime=3.27 cores=0,2,4,6
/proc/4899/task/4903/stat : 4903 (java) S 4897 4899 4553 0 -1 4202560 58769 0 0 0 311 16 0 0 15 0 22 0 504817243 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4904] ppid=4897 vsize=15704212 CPUtime=3.27 cores=0,2,4,6
/proc/4899/task/4904/stat : 4904 (java) S 4897 4899 4553 0 -1 4202560 61261 0 0 0 310 17 0 0 15 0 22 0 504817243 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4905] ppid=4897 vsize=15704212 CPUtime=3.37 cores=0,2,4,6
/proc/4899/task/4905/stat : 4905 (java) S 4897 4899 4553 0 -1 4202560 60060 0 0 0 321 16 0 0 15 0 22 0 504817243 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4906] ppid=4897 vsize=15704212 CPUtime=3.3 cores=0,2,4,6
/proc/4899/task/4906/stat : 4906 (java) S 4897 4899 4553 0 -1 4202560 62390 0 0 0 313 17 0 0 15 0 22 0 504817243 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4907] ppid=4897 vsize=15704212 CPUtime=3.34 cores=0,2,4,6
/proc/4899/task/4907/stat : 4907 (java) S 4897 4899 4553 0 -1 4202560 60789 0 0 0 320 14 0 0 15 0 22 0 504817243 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4908] ppid=4897 vsize=15704212 CPUtime=3.45 cores=0,2,4,6
/proc/4899/task/4908/stat : 4908 (java) S 4897 4899 4553 0 -1 4202560 64085 0 0 0 329 16 0 0 15 0 22 0 504817243 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4909] ppid=4897 vsize=15704212 CPUtime=3.32 cores=0,2,4,6
/proc/4899/task/4909/stat : 4909 (java) S 4897 4899 4553 0 -1 4202560 62284 0 0 0 317 15 0 0 16 0 22 0 504817243 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4910] ppid=4897 vsize=15704212 CPUtime=2.21 cores=0,2,4,6
/proc/4899/task/4910/stat : 4910 (java) S 4897 4899 4553 0 -1 4202560 3639 0 0 0 158 63 0 0 15 0 22 0 504817244 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107267584 0 0 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4911] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4911/stat : 4911 (java) S 4897 4899 4553 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504817244 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4912] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4912/stat : 4912 (java) S 4897 4899 4553 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 504817244 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4913] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4913/stat : 4913 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504817246 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107274673 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4914] ppid=4897 vsize=15704212 CPUtime=0.94 cores=0,2,4,6
/proc/4899/task/4914/stat : 4914 (java) S 4897 4899 4553 0 -1 4202560 11168 0 0 0 93 1 0 0 15 0 22 0 504817246 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 4 0 0 0
[pid=4899/tid=4915] ppid=4897 vsize=15704212 CPUtime=1.32 cores=0,2,4,6
/proc/4899/task/4915/stat : 4915 (java) S 4897 4899 4553 0 -1 4202560 10772 0 0 0 131 1 0 0 15 0 22 0 504817246 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 0 0 0 0
[pid=4899/tid=4916] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4916/stat : 4916 (java) S 4897 4899 4553 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504817246 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4917] ppid=4897 vsize=15704212 CPUtime=0 cores=0,2,4,6
/proc/4899/task/4917/stat : 4917 (java) S 4897 4899 4553 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 504817246 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107267584 0 4 0 16800975 18446604453948333056 0 0 -1 2 0 0 0
[pid=4899/tid=4918] ppid=4897 vsize=15704212 CPUtime=1192.32 cores=0,2,4,6
/proc/4899/task/4918/stat : 4918 (java) R 4897 4899 4553 0 -1 4202560 229233 0 0 0 119192 40 0 0 25 0 22 0 504817276 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912505822513 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4899/tid=4919] ppid=4897 vsize=15704212 CPUtime=1192.52 cores=0,2,4,6
/proc/4899/task/4919/stat : 4919 (java) R 4897 4899 4553 0 -1 4202560 222246 0 0 0 119212 40 0 0 25 0 22 0 504817276 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 228107266969 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4899/tid=4920] ppid=4897 vsize=15704212 CPUtime=1191.66 cores=0,2,4,6
/proc/4899/task/4920/stat : 4920 (java) R 4897 4899 4553 0 -1 4202560 230687 0 0 0 119126 40 0 0 25 0 22 0 504817276 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 18446744073699065974 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4899/tid=4921] ppid=4897 vsize=15704212 CPUtime=1191.84 cores=0,2,4,6
/proc/4899/task/4921/stat : 4921 (java) R 4897 4899 4553 0 -1 4202560 226319 0 0 0 119144 40 0 0 25 0 22 0 504817276 16081113088 72754 33554432000 1073741824 1073778376 140733276409280 18446744073709551615 46912506136336 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 15704212

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.23
CPU user time (s): 4796.58
CPU system time (s): 3.64845
CPU usage (%): 397.623
Max. virtual memory (cumulated for all children) (KiB): 15706872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.58
system time used= 3.64844
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1440281
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= 290395
involuntary context switches= 151732

runsolver used 1.9717 second user time and 4.66329 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-30 02:40:18
IDJOB=3312599
IDBENCH=82784
IDSOLVER=1699
FILE ID=node142/3312599-1304124018
RUNJOBID= node142-1304122698-4571
PBS_JOBID= 13170747
Free space on /tmp= 71312 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312599-1304124018/watcher-3312599-1304124018 -o /tmp/evaluation-result-3312599-1304124018/solver-3312599-1304124018 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312599-1304124018.cnf

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

MD5SUM BENCH= 86d70d98b4a1fa931b287202356d4839
RANDOM SEED=108845774

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.846
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29162756 kB
Buffers:       1073776 kB
Cached:        1939016 kB
SwapCached:        176 kB
Active:         361592 kB
Inactive:      2930632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29162756 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            4056 kB
Writeback:          28 kB
AnonPages:      279108 kB
Mapped:          23440 kB
Slab:           432136 kB
PageTables:       5316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   814480 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= 71312 MiB
End job on node142 at 2011-04-30 03:00:27