Trace number 3312555

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.32 1207.43

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf
MD5SUM38eb341db913fde0f11427c4d808f2c9
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 variables70
Number of clauses6230
Sum of the clauses size43610
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 56230

Solver Data 

0.10/0.12	48:40 INFO : Reading from input HOME/instance-3312555-1304120920.cnf
0.52/0.32	Executor set job limit to 1000000
0.52/0.33	Executor set job limit to 1000000
0.52/0.33	Executor set job limit to 1000000
0.52/0.33	Executor set job limit to 1000000
0.52/0.33	Starting Executor!
0.52/0.33	Starting Executor!
0.52/0.33	Starting Executor!
0.52/0.33	Starting Executor!
0.97/0.53	48:41 INFO : 70 variables remaining out of 70
0.97/0.53	48:41 INFO : 49840 literals remaining out of 49840

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-3312555-1304120920/watcher-3312555-1304120920 -o /tmp/evaluation-result-3312555-1304120920/solver-3312555-1304120920 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312555-1304120920.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: 1.96 4.33 5.86 2/186 24075
/proc/meminfo: memFree=30802040/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/24075/stat : 24075 (java) R 24073 24075 23457 0 -1 4202496 1200 0 0 0 0 0 0 0 22 0 1 0 602322595 23580672 686 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260015433192 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/24075/statm: 5757 686 512 9 0 124 0

[startup+0.0861251 s]
/proc/loadavg: 1.96 4.33 5.86 2/186 24075
/proc/meminfo: memFree=30802040/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=15676864 CPUtime=0.09 cores=0,2,4,6
/proc/24075/stat : 24075 (java) S 24073 24075 23457 0 -1 4202496 5395 0 1 0 8 1 0 0 22 0 18 0 602322595 16053108736 4821 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24075/statm: 3919216 4821 2115 9 0 3909935 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676864

[startup+0.1011 s]
/proc/loadavg: 1.96 4.33 5.86 2/186 24075
/proc/meminfo: memFree=30802040/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=15676864 CPUtime=0.1 cores=0,2,4,6
/proc/24075/stat : 24075 (java) S 24073 24075 23457 0 -1 4202496 5583 0 1 0 9 1 0 0 22 0 18 0 602322595 16053108736 5009 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24075/statm: 3919216 5012 2116 9 0 3909935 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676864

[startup+0.301055 s]
/proc/loadavg: 1.96 4.33 5.86 2/186 24075
/proc/meminfo: memFree=30802040/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=15684420 CPUtime=0.52 cores=0,2,4,6
/proc/24075/stat : 24075 (java) S 24073 24075 23457 0 -1 4202496 14544 0 1 0 50 2 0 0 22 0 18 0 602322595 16060846080 12982 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24075/statm: 3921105 12988 2208 9 0 3911824 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15684420

[startup+0.704925 s]
/proc/loadavg: 1.96 4.33 5.86 2/186 24075
/proc/meminfo: memFree=30802040/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=15707496 CPUtime=1.58 cores=0,2,4,6
/proc/24075/stat : 24075 (java) S 24073 24075 23457 0 -1 4202496 29129 0 1 0 154 4 0 0 22 0 22 0 602322595 16084475904 24598 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24075/statm: 3926874 24598 2259 9 0 3917593 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 15707496

[startup+1.50078 s]
/proc/loadavg: 2.13 4.33 5.85 16/220 24109
/proc/meminfo: memFree=30496232/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=15708096 CPUtime=4.55 cores=0,2,4,6
/proc/24075/stat : 24075 (java) S 24073 24075 23457 0 -1 4202496 55760 0 1 0 447 8 0 0 22 0 22 0 602322595 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24075/statm: 3927024 51051 2286 9 0 3917743 0
[pid=24075/tid=24077] ppid=24073 vsize=15708096 CPUtime=0.51 cores=0,2,4,6
/proc/24075/task/24077/stat : 24077 (java) S 24073 24075 23457 0 -1 4202560 13742 0 1 0 49 2 0 0 20 0 22 0 602322596 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24079] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24079/stat : 24079 (java) S 24073 24075 23457 0 -1 4202560 567 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24080] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24080/stat : 24080 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24081] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24081/stat : 24081 (java) S 24073 24075 23457 0 -1 4202560 475 0 0 0 0 0 0 0 16 0 22 0 602322596 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24082] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24082/stat : 24082 (java) S 24073 24075 23457 0 -1 4202560 1072 0 0 0 0 0 0 0 16 0 22 0 602322596 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24083] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24083/stat : 24083 (java) S 24073 24075 23457 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24084] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24084/stat : 24084 (java) S 24073 24075 23457 0 -1 4202560 1140 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24085] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24085/stat : 24085 (java) S 24073 24075 23457 0 -1 4202560 645 0 0 0 0 0 0 0 16 0 22 0 602322596 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24086] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24086/stat : 24086 (java) S 24073 24075 23457 0 -1 4202560 878 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24089] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24089/stat : 24089 (java) S 24073 24075 23457 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 22 0 602322597 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032212480 0 0 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24090] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24090/stat : 24090 (java) S 24073 24075 23457 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 602322598 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24091] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24091/stat : 24091 (java) S 24073 24075 23457 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602322598 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24097] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24097/stat : 24097 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032219569 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24098] ppid=24073 vsize=15708096 CPUtime=0.93 cores=0,2,4,6
/proc/24075/task/24098/stat : 24098 (java) S 24073 24075 23457 0 -1 4202560 5434 0 0 0 93 0 0 0 15 0 22 0 602322600 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24099] ppid=24073 vsize=15708096 CPUtime=0.63 cores=0,2,4,6
/proc/24075/task/24099/stat : 24099 (java) R 24073 24075 23457 0 -1 4202560 8243 0 0 0 63 0 0 0 17 0 22 0 602322600 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24075/tid=24100] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24100/stat : 24100 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24101] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24101/stat : 24101 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 602322600 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032212480 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24106] ppid=24073 vsize=15708096 CPUtime=0.58 cores=0,2,4,6
/proc/24075/task/24106/stat : 24106 (java) R 24073 24075 23457 0 -1 4202560 4050 0 0 0 58 0 0 0 16 0 22 0 602322628 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505813172 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24075/tid=24107] ppid=24073 vsize=15708096 CPUtime=0.71 cores=0,2,4,6
/proc/24075/task/24107/stat : 24107 (java) R 24073 24075 23457 0 -1 4202560 6217 0 0 0 70 1 0 0 16 0 22 0 602322628 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505804474 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24075/tid=24108] ppid=24073 vsize=15708096 CPUtime=0.51 cores=0,2,4,6
/proc/24075/task/24108/stat : 24108 (java) R 24073 24075 23457 0 -1 4202560 5638 0 0 0 51 0 0 0 16 0 22 0 602322628 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505801209 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24075/tid=24109] ppid=24073 vsize=15708096 CPUtime=0.58 cores=0,2,4,6
/proc/24075/task/24109/stat : 24109 (java) R 24073 24075 23457 0 -1 4202560 6189 0 0 0 58 0 0 0 16 0 22 0 602322628 16085090304 51051 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505986579 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 15708096

[startup+3.10148 s]
/proc/loadavg: 2.13 4.33 5.85 10/220 24109
/proc/meminfo: memFree=30288284/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=15708096 CPUtime=10.92 cores=0,2,4,6
/proc/24075/stat : 24075 (java) S 24073 24075 23457 0 -1 4202496 151101 0 1 0 1071 21 0 0 22 0 22 0 602322595 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24075/statm: 3927024 143606 2286 9 0 3917743 0
[pid=24075/tid=24077] ppid=24073 vsize=15708096 CPUtime=0.51 cores=0,2,4,6
/proc/24075/task/24077/stat : 24077 (java) S 24073 24075 23457 0 -1 4202560 13742 0 1 0 49 2 0 0 20 0 22 0 602322596 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24079] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24079/stat : 24079 (java) S 24073 24075 23457 0 -1 4202560 1534 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24080] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24080/stat : 24080 (java) S 24073 24075 23457 0 -1 4202560 1577 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24081] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24081/stat : 24081 (java) S 24073 24075 23457 0 -1 4202560 1183 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24082] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24082/stat : 24082 (java) S 24073 24075 23457 0 -1 4202560 2111 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24083] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24083/stat : 24083 (java) S 24073 24075 23457 0 -1 4202560 483 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24084] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24084/stat : 24084 (java) S 24073 24075 23457 0 -1 4202560 2451 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24085] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24085/stat : 24085 (java) S 24073 24075 23457 0 -1 4202560 2452 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24086] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24086/stat : 24086 (java) S 24073 24075 23457 0 -1 4202560 2221 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24089] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24089/stat : 24089 (java) S 24073 24075 23457 0 -1 4202560 188 0 0 0 0 0 0 0 16 0 22 0 602322597 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032212480 0 0 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24090] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24090/stat : 24090 (java) S 24073 24075 23457 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 602322598 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24091] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24091/stat : 24091 (java) S 24073 24075 23457 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602322598 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24097] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24097/stat : 24097 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032219569 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24098] ppid=24073 vsize=15708096 CPUtime=1.02 cores=0,2,4,6
/proc/24075/task/24098/stat : 24098 (java) R 24073 24075 23457 0 -1 4202560 5905 0 0 0 101 1 0 0 16 0 22 0 602322600 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260020087362 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24075/tid=24099] ppid=24073 vsize=15708096 CPUtime=0.73 cores=0,2,4,6
/proc/24075/task/24099/stat : 24099 (java) S 24073 24075 23457 0 -1 4202560 8253 0 0 0 73 0 0 0 16 0 22 0 602322600 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24100] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24100/stat : 24100 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24101] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24101/stat : 24101 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 602322600 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032212480 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24106] ppid=24073 vsize=15708096 CPUtime=2.16 cores=0,2,4,6
/proc/24075/task/24106/stat : 24106 (java) R 24073 24075 23457 0 -1 4202560 26706 0 0 0 212 4 0 0 18 0 22 0 602322628 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505986405 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24075/tid=24107] ppid=24073 vsize=15708096 CPUtime=2.19 cores=0,2,4,6
/proc/24075/task/24107/stat : 24107 (java) R 24073 24075 23457 0 -1 4202560 27389 0 0 0 216 3 0 0 17 0 22 0 602322628 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 47961329500509 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24075/tid=24108] ppid=24073 vsize=15708096 CPUtime=2.01 cores=0,2,4,6
/proc/24075/task/24108/stat : 24108 (java) R 24073 24075 23457 0 -1 4202560 26004 0 0 0 198 3 0 0 18 0 22 0 602322628 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505784999 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24075/tid=24109] ppid=24073 vsize=15708096 CPUtime=2.16 cores=0,2,4,6
/proc/24075/task/24109/stat : 24109 (java) R 24073 24075 23457 0 -1 4202560 27515 0 0 0 215 1 0 0 17 0 22 0 602322628 16085090304 143606 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505804488 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.92
Current children cumulated vsize (KiB) 15708096

[startup+6.30089 s]
/proc/loadavg: 2.60 4.39 5.86 9/220 24109
/proc/meminfo: memFree=29961168/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=15708096 CPUtime=23.69 cores=0,2,4,6
/proc/24075/stat : 24075 (java) S 24073 24075 23457 0 -1 4202496 151607 0 1 0 2347 22 0 0 22 0 22 0 602322595 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24075/statm: 3927024 139099 2289 9 0 3917743 0
[pid=24075/tid=24077] ppid=24073 vsize=15708096 CPUtime=0.51 cores=0,2,4,6
/proc/24075/task/24077/stat : 24077 (java) S 24073 24075 23457 0 -1 4202560 13742 0 1 0 49 2 0 0 20 0 22 0 602322596 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24079] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24079/stat : 24079 (java) S 24073 24075 23457 0 -1 4202560 1588 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24080] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24080/stat : 24080 (java) S 24073 24075 23457 0 -1 4202560 1759 0 0 0 0 0 0 0 16 0 22 0 602322596 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24081] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24081/stat : 24081 (java) S 24073 24075 23457 0 -1 4202560 1291 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24082] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24082/stat : 24082 (java) S 24073 24075 23457 0 -1 4202560 2112 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24083] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24083/stat : 24083 (java) S 24073 24075 23457 0 -1 4202560 484 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24084] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24084/stat : 24084 (java) S 24073 24075 23457 0 -1 4202560 2551 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24085] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24085/stat : 24085 (java) S 24073 24075 23457 0 -1 4202560 2452 0 0 0 0 0 0 0 15 0 22 0 602322596 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24086] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24086/stat : 24086 (java) S 24073 24075 23457 0 -1 4202560 2244 0 0 0 0 0 0 0 16 0 22 0 602322596 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24089] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24089/stat : 24089 (java) S 24073 24075 23457 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 22 0 602322597 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032212480 0 0 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24090] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24090/stat : 24090 (java) S 24073 24075 23457 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 602322598 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24091] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24091/stat : 24091 (java) S 24073 24075 23457 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602322598 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24097] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24097/stat : 24097 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032219569 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24098] ppid=24073 vsize=15708096 CPUtime=1.07 cores=0,2,4,6
/proc/24075/task/24098/stat : 24098 (java) S 24073 24075 23457 0 -1 4202560 5916 0 0 0 106 1 0 0 15 0 22 0 602322600 16085090304 139099 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0

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

[pid=24075/tid=24107] ppid=24073 vsize=15708096 CPUtime=1047.95 cores=0,2,4,6
/proc/24075/task/24107/stat : 24107 (java) R 24073 24075 23457 0 -1 4202560 170411 0 0 0 104766 29 0 0 25 0 22 0 602322628 16085090304 93565 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505986405 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=24075/tid=24108] ppid=24073 vsize=15708096 CPUtime=1048.47 cores=0,2,4,6
/proc/24075/task/24108/stat : 24108 (java) R 24073 24075 23457 0 -1 4202560 169299 0 0 0 104816 31 0 0 25 0 22 0 602322628 16085090304 93565 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505813911 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24075/tid=24109] ppid=24073 vsize=15708096 CPUtime=1049.17 cores=0,2,4,6
/proc/24075/task/24109/stat : 24109 (java) R 24073 24075 23457 0 -1 4202560 172170 0 0 0 104888 29 0 0 25 0 22 0 602322628 16085090304 93565 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505813918 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4223.38
Current children cumulated vsize (KiB) 15708096

[startup+1122.3 s]
/proc/loadavg: 8.06 7.95 7.37 9/220 24148
/proc/meminfo: memFree=30171000/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=15708096 CPUtime=4461.9 cores=0,2,4,6
/proc/24075/stat : 24075 (java) S 24073 24075 23457 0 -1 4202496 1231576 0 1 0 445870 320 0 0 22 0 22 0 602322595 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24075/statm: 3927024 82265 2299 9 0 3917743 0
[pid=24075/tid=24077] ppid=24073 vsize=15708096 CPUtime=0.51 cores=0,2,4,6
/proc/24075/task/24077/stat : 24077 (java) S 24073 24075 23457 0 -1 4202560 13742 0 1 0 49 2 0 0 20 0 22 0 602322596 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24079] ppid=24073 vsize=15708096 CPUtime=3.08 cores=0,2,4,6
/proc/24075/task/24079/stat : 24079 (java) S 24073 24075 23457 0 -1 4202560 61867 0 0 0 293 15 0 0 16 0 22 0 602322596 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24080] ppid=24073 vsize=15708096 CPUtime=3.18 cores=0,2,4,6
/proc/24075/task/24080/stat : 24080 (java) S 24073 24075 23457 0 -1 4202560 60935 0 0 0 300 18 0 0 15 0 22 0 602322596 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24081] ppid=24073 vsize=15708096 CPUtime=3.11 cores=0,2,4,6
/proc/24075/task/24081/stat : 24081 (java) S 24073 24075 23457 0 -1 4202560 59116 0 0 0 299 12 0 0 16 0 22 0 602322596 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24082] ppid=24073 vsize=15708096 CPUtime=3.02 cores=0,2,4,6
/proc/24075/task/24082/stat : 24082 (java) S 24073 24075 23457 0 -1 4202560 60339 0 0 0 288 14 0 0 15 0 22 0 602322596 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24083] ppid=24073 vsize=15708096 CPUtime=3.09 cores=0,2,4,6
/proc/24075/task/24083/stat : 24083 (java) S 24073 24075 23457 0 -1 4202560 58987 0 0 0 295 14 0 0 16 0 22 0 602322596 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24084] ppid=24073 vsize=15708096 CPUtime=3.17 cores=0,2,4,6
/proc/24075/task/24084/stat : 24084 (java) S 24073 24075 23457 0 -1 4202560 60595 0 0 0 302 15 0 0 15 0 22 0 602322596 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24085] ppid=24073 vsize=15708096 CPUtime=3.14 cores=0,2,4,6
/proc/24075/task/24085/stat : 24085 (java) S 24073 24075 23457 0 -1 4202560 61161 0 0 0 299 15 0 0 15 0 22 0 602322596 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24086] ppid=24073 vsize=15708096 CPUtime=3.11 cores=0,2,4,6
/proc/24075/task/24086/stat : 24086 (java) S 24073 24075 23457 0 -1 4202560 60501 0 0 0 296 15 0 0 15 0 22 0 602322596 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24089] ppid=24073 vsize=15708096 CPUtime=2.11 cores=0,2,4,6
/proc/24075/task/24089/stat : 24089 (java) S 24073 24075 23457 0 -1 4202560 3165 0 0 0 151 60 0 0 15 0 22 0 602322597 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032212480 0 0 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24090] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24090/stat : 24090 (java) S 24073 24075 23457 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 602322598 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24091] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24091/stat : 24091 (java) S 24073 24075 23457 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602322598 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24097] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24097/stat : 24097 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032219569 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24098] ppid=24073 vsize=15708096 CPUtime=1.1 cores=0,2,4,6
/proc/24075/task/24098/stat : 24098 (java) S 24073 24075 23457 0 -1 4202560 5925 0 0 0 109 1 0 0 16 0 22 0 602322600 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24099] ppid=24073 vsize=15708096 CPUtime=0.81 cores=0,2,4,6
/proc/24075/task/24099/stat : 24099 (java) S 24073 24075 23457 0 -1 4202560 8265 0 0 0 81 0 0 0 15 0 22 0 602322600 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24100] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24100/stat : 24100 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24101] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24101/stat : 24101 (java) S 24073 24075 23457 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 602322600 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032212480 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24106] ppid=24073 vsize=15708096 CPUtime=1108.89 cores=0,2,4,6
/proc/24075/task/24106/stat : 24106 (java) R 24073 24075 23457 0 -1 4202560 177167 0 0 0 110854 35 0 0 25 0 22 0 602322628 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505812455 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24075/tid=24107] ppid=24073 vsize=15708096 CPUtime=1107.33 cores=0,2,4,6
/proc/24075/task/24107/stat : 24107 (java) R 24073 24075 23457 0 -1 4202560 179289 0 0 0 110701 32 0 0 25 0 22 0 602322628 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505997026 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24075/tid=24108] ppid=24073 vsize=15708096 CPUtime=1107.65 cores=0,2,4,6
/proc/24075/task/24108/stat : 24108 (java) R 24073 24075 23457 0 -1 4202560 178158 0 0 0 110733 32 0 0 25 0 22 0 602322628 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505701579 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24075/tid=24109] ppid=24073 vsize=15708096 CPUtime=1108.43 cores=0,2,4,6
/proc/24075/task/24109/stat : 24109 (java) R 24073 24075 23457 0 -1 4202560 180919 0 0 0 110812 31 0 0 25 0 22 0 602322628 16085090304 82265 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505811932 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4461.9
Current children cumulated vsize (KiB) 15708096

[startup+1182.3 s]
/proc/loadavg: 8.19 8.00 7.42 9/220 24149
/proc/meminfo: memFree=30208356/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=15708096 CPUtime=4700.44 cores=0,2,4,6
/proc/24075/stat : 24075 (java) S 24073 24075 23457 0 -1 4202496 1286800 0 1 0 469711 333 0 0 22 0 22 0 602322595 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24075/statm: 3927024 73694 2299 9 0 3917743 0
[pid=24075/tid=24077] ppid=24073 vsize=15708096 CPUtime=0.51 cores=0,2,4,6
/proc/24075/task/24077/stat : 24077 (java) S 24073 24075 23457 0 -1 4202560 13742 0 1 0 49 2 0 0 20 0 22 0 602322596 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24079] ppid=24073 vsize=15708096 CPUtime=3.25 cores=0,2,4,6
/proc/24075/task/24079/stat : 24079 (java) S 24073 24075 23457 0 -1 4202560 65371 0 0 0 309 16 0 0 15 0 22 0 602322596 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24080] ppid=24073 vsize=15708096 CPUtime=3.36 cores=0,2,4,6
/proc/24075/task/24080/stat : 24080 (java) S 24073 24075 23457 0 -1 4202560 64162 0 0 0 317 19 0 0 15 0 22 0 602322596 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24081] ppid=24073 vsize=15708096 CPUtime=3.27 cores=0,2,4,6
/proc/24075/task/24081/stat : 24081 (java) S 24073 24075 23457 0 -1 4202560 62472 0 0 0 314 13 0 0 15 0 22 0 602322596 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24082] ppid=24073 vsize=15708096 CPUtime=3.19 cores=0,2,4,6
/proc/24075/task/24082/stat : 24082 (java) S 24073 24075 23457 0 -1 4202560 63853 0 0 0 305 14 0 0 15 0 22 0 602322596 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24083] ppid=24073 vsize=15708096 CPUtime=3.25 cores=0,2,4,6
/proc/24075/task/24083/stat : 24083 (java) S 24073 24075 23457 0 -1 4202560 61524 0 0 0 310 15 0 0 16 0 22 0 602322596 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24084] ppid=24073 vsize=15708096 CPUtime=3.35 cores=0,2,4,6
/proc/24075/task/24084/stat : 24084 (java) S 24073 24075 23457 0 -1 4202560 64546 0 0 0 319 16 0 0 15 0 22 0 602322596 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24085] ppid=24073 vsize=15708096 CPUtime=3.29 cores=0,2,4,6
/proc/24075/task/24085/stat : 24085 (java) S 24073 24075 23457 0 -1 4202560 64942 0 0 0 314 15 0 0 15 0 22 0 602322596 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24086] ppid=24073 vsize=15708096 CPUtime=3.28 cores=0,2,4,6
/proc/24075/task/24086/stat : 24086 (java) S 24073 24075 23457 0 -1 4202560 63664 0 0 0 313 15 0 0 16 0 22 0 602322596 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24089] ppid=24073 vsize=15708096 CPUtime=2.24 cores=0,2,4,6
/proc/24075/task/24089/stat : 24089 (java) S 24073 24075 23457 0 -1 4202560 3343 0 0 0 161 63 0 0 15 0 22 0 602322597 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032212480 0 0 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24090] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24090/stat : 24090 (java) S 24073 24075 23457 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 602322598 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24091] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24091/stat : 24091 (java) S 24073 24075 23457 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602322598 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24097] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24097/stat : 24097 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032219569 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24098] ppid=24073 vsize=15708096 CPUtime=1.1 cores=0,2,4,6
/proc/24075/task/24098/stat : 24098 (java) S 24073 24075 23457 0 -1 4202560 5925 0 0 0 109 1 0 0 16 0 22 0 602322600 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24099] ppid=24073 vsize=15708096 CPUtime=0.81 cores=0,2,4,6
/proc/24075/task/24099/stat : 24099 (java) S 24073 24075 23457 0 -1 4202560 8265 0 0 0 81 0 0 0 15 0 22 0 602322600 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24100] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24100/stat : 24100 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24101] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24101/stat : 24101 (java) S 24073 24075 23457 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 602322600 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032212480 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24106] ppid=24073 vsize=15708096 CPUtime=1168.18 cores=0,2,4,6
/proc/24075/task/24106/stat : 24106 (java) R 24073 24075 23457 0 -1 4202560 184310 0 0 0 116782 36 0 0 25 0 22 0 602322628 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912506083027 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=24075/tid=24107] ppid=24073 vsize=15708096 CPUtime=1166.55 cores=0,2,4,6
/proc/24075/task/24107/stat : 24107 (java) R 24073 24075 23457 0 -1 4202560 186146 0 0 0 116622 33 0 0 25 0 22 0 602322628 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505701536 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24075/tid=24108] ppid=24073 vsize=15708096 CPUtime=1166.89 cores=0,2,4,6
/proc/24075/task/24108/stat : 24108 (java) R 24073 24075 23457 0 -1 4202560 185149 0 0 0 116655 34 0 0 25 0 22 0 602322628 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505813243 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=24075/tid=24109] ppid=24073 vsize=15708096 CPUtime=1167.76 cores=0,2,4,6
/proc/24075/task/24109/stat : 24109 (java) R 24073 24075 23457 0 -1 4202560 187940 0 0 0 116744 32 0 0 25 0 22 0 602322628 16085090304 73694 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912505995553 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4700.44
Current children cumulated vsize (KiB) 15708096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.4 s]
/proc/loadavg: 8.21 8.02 7.44 5/197 24153
/proc/meminfo: memFree=30496804/32951124 swapFree=67111464/67111528
[pid=24075] ppid=24073 vsize=15708096 CPUtime=4800.28 cores=0,2,4,6
/proc/24075/stat : 24075 (java) S 24073 24075 23457 0 -1 4202496 1314009 0 1 0 479688 340 0 0 22 0 22 0 602322595 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/24075/statm: 3927024 77737 2299 9 0 3917743 0
[pid=24075/tid=24077] ppid=24073 vsize=15708096 CPUtime=0.51 cores=0,2,4,6
/proc/24075/task/24077/stat : 24077 (java) S 24073 24075 23457 0 -1 4202560 13742 0 1 0 49 2 0 0 20 0 22 0 602322596 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24079] ppid=24073 vsize=15708096 CPUtime=3.32 cores=0,2,4,6
/proc/24075/task/24079/stat : 24079 (java) S 24073 24075 23457 0 -1 4202560 66806 0 0 0 316 16 0 0 15 0 22 0 602322596 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24080] ppid=24073 vsize=15708096 CPUtime=3.46 cores=0,2,4,6
/proc/24075/task/24080/stat : 24080 (java) S 24073 24075 23457 0 -1 4202560 66153 0 0 0 326 20 0 0 16 0 22 0 602322596 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24081] ppid=24073 vsize=15708096 CPUtime=3.35 cores=0,2,4,6
/proc/24075/task/24081/stat : 24081 (java) S 24073 24075 23457 0 -1 4202560 63802 0 0 0 322 13 0 0 16 0 22 0 602322596 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24082] ppid=24073 vsize=15708096 CPUtime=3.26 cores=0,2,4,6
/proc/24075/task/24082/stat : 24082 (java) S 24073 24075 23457 0 -1 4202560 65271 0 0 0 311 15 0 0 16 0 22 0 602322596 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24083] ppid=24073 vsize=15708096 CPUtime=3.32 cores=0,2,4,6
/proc/24075/task/24083/stat : 24083 (java) S 24073 24075 23457 0 -1 4202560 63267 0 0 0 317 15 0 0 15 0 22 0 602322596 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24084] ppid=24073 vsize=15708096 CPUtime=3.41 cores=0,2,4,6
/proc/24075/task/24084/stat : 24084 (java) S 24073 24075 23457 0 -1 4202560 65872 0 0 0 325 16 0 0 15 0 22 0 602322596 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24085] ppid=24073 vsize=15708096 CPUtime=3.36 cores=0,2,4,6
/proc/24075/task/24085/stat : 24085 (java) S 24073 24075 23457 0 -1 4202560 66062 0 0 0 320 16 0 0 15 0 22 0 602322596 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24086] ppid=24073 vsize=15708096 CPUtime=3.35 cores=0,2,4,6
/proc/24075/task/24086/stat : 24086 (java) S 24073 24075 23457 0 -1 4202560 64754 0 0 0 319 16 0 0 15 0 22 0 602322596 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24089] ppid=24073 vsize=15708096 CPUtime=2.28 cores=0,2,4,6
/proc/24075/task/24089/stat : 24089 (java) R 24073 24075 23457 0 -1 4202560 3408 0 0 0 164 64 0 0 15 0 22 0 602322597 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260020439223 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=24075/tid=24090] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24090/stat : 24090 (java) S 24073 24075 23457 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 602322598 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24091] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24091/stat : 24091 (java) S 24073 24075 23457 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602322598 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24097] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24097/stat : 24097 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032219569 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24098] ppid=24073 vsize=15708096 CPUtime=1.1 cores=0,2,4,6
/proc/24075/task/24098/stat : 24098 (java) S 24073 24075 23457 0 -1 4202560 5925 0 0 0 109 1 0 0 16 0 22 0 602322600 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 6 0 0 0
[pid=24075/tid=24099] ppid=24073 vsize=15708096 CPUtime=0.81 cores=0,2,4,6
/proc/24075/task/24099/stat : 24099 (java) S 24073 24075 23457 0 -1 4202560 8265 0 0 0 81 0 0 0 15 0 22 0 602322600 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24100] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24100/stat : 24100 (java) S 24073 24075 23457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602322600 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24101] ppid=24073 vsize=15708096 CPUtime=0 cores=0,2,4,6
/proc/24075/task/24101/stat : 24101 (java) S 24073 24075 23457 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 602322600 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032212480 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
[pid=24075/tid=24106] ppid=24073 vsize=15708096 CPUtime=1193.03 cores=0,2,4,6
/proc/24075/task/24106/stat : 24106 (java) S 24073 24075 23457 0 -1 4202560 188005 0 0 0 119266 37 0 0 25 0 22 0 602322628 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 0 0 0 0
[pid=24075/tid=24107] ppid=24073 vsize=15708096 CPUtime=1191.3 cores=0,2,4,6
/proc/24075/task/24107/stat : 24107 (java) R 24073 24075 23457 0 -1 4202560 190055 0 0 0 119096 34 0 0 25 0 22 0 602322628 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 46912506033250 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=24075/tid=24108] ppid=24073 vsize=15708096 CPUtime=1191.73 cores=0,2,4,6
/proc/24075/task/24108/stat : 24108 (java) S 24073 24075 23457 0 -1 4202560 189244 0 0 0 119139 34 0 0 25 0 22 0 602322628 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 4 0 0 0
[pid=24075/tid=24109] ppid=24073 vsize=15708096 CPUtime=1192.55 cores=0,2,4,6
/proc/24075/task/24109/stat : 24109 (java) S 24073 24075 23457 0 -1 4202560 191931 0 0 0 119221 34 0 0 25 0 22 0 602322628 16085090304 77737 33554432000 1073741824 1073778376 140735563161088 18446744073709551615 260032211865 0 4 0 16800975 18446604445646075968 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 15708096

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.43
CPU time (s): 4800.32
CPU user time (s): 4796.9
CPU system time (s): 3.42248
CPU usage (%): 397.565
Max. virtual memory (cumulated for all children) (KiB): 15709108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.9
system time used= 3.42248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1314036
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= 304264
involuntary context switches= 153981

runsolver used 1.9597 second user time and 4.67029 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-30 01:48:40
IDJOB=3312555
IDBENCH=82740
IDSOLVER=1699
FILE ID=node110/3312555-1304120920
RUNJOBID= node110-1304120920-24046
PBS_JOBID= 13170707
Free space on /tmp= 72836 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312555-1304120920/watcher-3312555-1304120920 -o /tmp/evaluation-result-3312555-1304120920/solver-3312555-1304120920 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312555-1304120920.cnf

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

MD5SUM BENCH= 38eb341db913fde0f11427c4d808f2c9
RANDOM SEED=1359522733

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30802584 kB
Buffers:        930792 kB
Cached:         744048 kB
SwapCached:         64 kB
Active:         141516 kB
Inactive:      1601432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30802584 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            3524 kB
Writeback:           0 kB
AnonPages:       67896 kB
Mapped:          17976 kB
Slab:           342044 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   762476 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= 72836 MiB
End job on node110 at 2011-04-30 02:08:50