Trace number 3311968

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.28 1209.53

General information on the benchmark

NameSAT05/crafted/sabharwal05/counting/php/unsat/
harder/php-040-039.shuffled-as.sat05-1194.cnf
MD5SUM8c84d9b9f2d75de33656119bc03a9afb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark45.3841
Satisfiable
(Un)Satisfiability was proved
Number of variables1560
Number of clauses30460
Sum of the clauses size62400
Maximum clause length39
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 230420
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

0.11/0.11	23:13 INFO : Reading from input HOME/instance-3311968-1304187793.cnf
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Starting Executor!
0.52/0.36	Starting Executor!
0.52/0.36	Starting Executor!
0.52/0.36	Starting Executor!
1.91/0.96	23:14 INFO : 1560 variables remaining out of 1560
1.91/0.96	23:14 INFO : 184120 literals remaining out of 92860

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.55 7.98 7.97 3/198 29155
/proc/meminfo: memFree=21962040/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 1414 0 0 0 0 0 0 0 25 0 2 0 511194929 27824128 884 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 6793 887 679 9 0 381 0
[pid=29155/tid=29156] ppid=29153 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) S 29153 29155 28962 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 511194929 27824128 893 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264721481351 0 2147483391 4096 0 18446744071699207358 0 0 -1 1 0 0 0

[startup+0.106122 s]
/proc/loadavg: 7.55 7.98 7.97 3/198 29155
/proc/meminfo: memFree=21962040/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=15676356 CPUtime=0.11 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 5705 0 1 0 10 1 0 0 25 0 18 0 511194929 16052588544 5130 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 3919089 5130 2119 9 0 3909808 0
[pid=29155/tid=29156] ppid=29153 vsize=15676356 CPUtime=0.09 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) R 29153 29155 28962 0 -1 4202560 3565 0 1 0 8 1 0 0 19 0 18 0 511194929 16052588544 5131 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676356

[startup+0.20162 s]
/proc/loadavg: 7.55 7.98 7.97 3/198 29155
/proc/meminfo: memFree=21962040/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=15676868 CPUtime=0.28 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 7060 0 1 0 27 1 0 0 25 0 18 0 511194929 16053112832 6415 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 3919217 6416 2183 9 0 3909936 0
[pid=29155/tid=29156] ppid=29153 vsize=15676868 CPUtime=0.19 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) R 29153 29155 28962 0 -1 4202560 4576 0 1 0 18 1 0 0 19 0 18 0 511194929 16053112832 6416 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505511518 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15676868

[startup+0.301089 s]
/proc/loadavg: 7.55 7.98 7.97 3/198 29155
/proc/meminfo: memFree=21962040/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=15679728 CPUtime=0.52 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 16374 0 1 0 49 3 0 0 25 0 18 0 511194929 16056041472 14821 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 3919932 14829 2206 9 0 3910651 0
[pid=29155/tid=29156] ppid=29153 vsize=15679728 CPUtime=0.28 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) R 29153 29155 28962 0 -1 4202560 11269 0 1 0 26 2 0 0 18 0 18 0 511194929 16056041472 14832 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505637425 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15679728

[startup+0.701009 s]
/proc/loadavg: 7.55 7.98 7.97 3/198 29155
/proc/meminfo: memFree=21962040/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=15709564 CPUtime=1.31 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 36969 0 1 0 126 5 0 0 25 0 22 0 511194929 16086593536 32739 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 3927391 32739 2233 9 0 3918110 0
[pid=29155/tid=29156] ppid=29153 vsize=15709564 CPUtime=0.69 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) R 29153 29155 28962 0 -1 4202560 21996 0 1 0 65 4 0 0 20 0 22 0 511194929 16086593536 32740 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505649326 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 15709564

[startup+1.50083 s]
/proc/loadavg: 7.55 7.98 7.97 6/220 29178
/proc/meminfo: memFree=21546092/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=15709700 CPUtime=4.07 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 63743 0 1 0 399 8 0 0 25 0 22 0 511194929 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 3927425 50928 2266 9 0 3918144 0
[pid=29155/tid=29156] ppid=29153 vsize=15709700 CPUtime=0.95 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) S 29153 29155 28962 0 -1 4202560 22937 0 1 0 91 4 0 0 20 0 22 0 511194929 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29158] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29158/stat : 29158 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511194929 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29159] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29159/stat : 29159 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511194929 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29160] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29160/stat : 29160 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511194929 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29161] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29161/stat : 29161 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511194929 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29162] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29162/stat : 29162 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511194929 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29163] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29163/stat : 29163 (java) S 29153 29155 28962 0 -1 4202560 893 0 0 0 0 0 0 0 18 0 22 0 511194929 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29164] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29164/stat : 29164 (java) R 29153 29155 28962 0 -1 4202560 993 0 0 0 0 0 0 0 18 0 22 0 511194929 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29155/tid=29165] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29165/stat : 29165 (java) S 29153 29155 28962 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 22 0 511194929 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29166] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29166/stat : 29166 (java) S 29153 29155 28962 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 511194930 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738221568 0 0 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29167] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29167/stat : 29167 (java) R 29153 29155 28962 0 -1 4202560 14 0 0 0 0 0 0 0 18 0 22 0 511194931 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29155/tid=29168] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29168/stat : 29168 (java) S 29153 29155 28962 0 -1 4202560 15 0 0 0 0 0 0 0 25 0 22 0 511194931 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29169] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29169/stat : 29169 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511194933 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738228657 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29170] ppid=29153 vsize=15709700 CPUtime=1.15 cores=1,3,5,7
/proc/29155/task/29170/stat : 29170 (java) R 29153 29155 28962 0 -1 4202560 16151 0 0 0 114 1 0 0 20 0 22 0 511194933 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 47471753483670 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29155/tid=29171] ppid=29153 vsize=15709700 CPUtime=0.88 cores=1,3,5,7
/proc/29155/task/29171/stat : 29171 (java) R 29153 29155 28962 0 -1 4202560 8276 0 0 0 87 1 0 0 16 0 22 0 511194933 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 47471747813505 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29155/tid=29172] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29172/stat : 29172 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 511194933 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29173] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29173/stat : 29173 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511194933 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738221568 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29175] ppid=29153 vsize=15709700 CPUtime=0.28 cores=1,3,5,7
/proc/29155/task/29175/stat : 29175 (java) R 29153 29155 28962 0 -1 4202560 2806 0 0 0 28 0 0 0 15 0 22 0 511194965 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 47471752829067 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29155/tid=29176] ppid=29153 vsize=15709700 CPUtime=0.13 cores=1,3,5,7
/proc/29155/task/29176/stat : 29176 (java) R 29153 29155 28962 0 -1 4202560 272 0 0 0 13 0 0 0 16 0 22 0 511194965 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505902155 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29155/tid=29177] ppid=29153 vsize=15709700 CPUtime=0.34 cores=1,3,5,7
/proc/29155/task/29177/stat : 29177 (java) R 29153 29155 28962 0 -1 4202560 3478 0 0 0 34 0 0 0 16 0 22 0 511194965 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505914814 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29155/tid=29178] ppid=29153 vsize=15709700 CPUtime=0.26 cores=1,3,5,7
/proc/29155/task/29178/stat : 29178 (java) R 29153 29155 28962 0 -1 4202560 5801 0 0 0 26 0 0 0 16 0 22 0 511194965 16086732800 50928 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505883212 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 15709700

[startup+3.10152 s]
/proc/loadavg: 7.55 7.98 7.97 14/220 29227
/proc/meminfo: memFree=21535484/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=15709700 CPUtime=10.44 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 186060 0 1 0 1017 27 0 0 25 0 22 0 511194929 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 3927425 173142 2289 9 0 3918144 0
[pid=29155/tid=29156] ppid=29153 vsize=15709700 CPUtime=0.95 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) S 29153 29155 28962 0 -1 4202560 22937 0 1 0 91 4 0 0 20 0 22 0 511194929 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29158] ppid=29153 vsize=15709700 CPUtime=0.02 cores=1,3,5,7
/proc/29155/task/29158/stat : 29158 (java) S 29153 29155 28962 0 -1 4202560 7840 0 0 0 1 1 0 0 15 0 22 0 511194929 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29159] ppid=29153 vsize=15709700 CPUtime=0.01 cores=1,3,5,7
/proc/29155/task/29159/stat : 29159 (java) S 29153 29155 28962 0 -1 4202560 6781 0 0 0 1 0 0 0 15 0 22 0 511194929 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29160] ppid=29153 vsize=15709700 CPUtime=0.01 cores=1,3,5,7
/proc/29155/task/29160/stat : 29160 (java) S 29153 29155 28962 0 -1 4202560 4646 0 0 0 1 0 0 0 15 0 22 0 511194929 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29161] ppid=29153 vsize=15709700 CPUtime=0.03 cores=1,3,5,7
/proc/29155/task/29161/stat : 29161 (java) S 29153 29155 28962 0 -1 4202560 11284 0 0 0 2 1 0 0 15 0 22 0 511194929 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29162] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29162/stat : 29162 (java) S 29153 29155 28962 0 -1 4202560 1163 0 0 0 0 0 0 0 15 0 22 0 511194929 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29163] ppid=29153 vsize=15709700 CPUtime=0.01 cores=1,3,5,7
/proc/29155/task/29163/stat : 29163 (java) S 29153 29155 28962 0 -1 4202560 5709 0 0 0 1 0 0 0 16 0 22 0 511194929 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29164] ppid=29153 vsize=15709700 CPUtime=0.02 cores=1,3,5,7
/proc/29155/task/29164/stat : 29164 (java) S 29153 29155 28962 0 -1 4202560 6438 0 0 0 1 1 0 0 16 0 22 0 511194929 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29165] ppid=29153 vsize=15709700 CPUtime=0.02 cores=1,3,5,7
/proc/29155/task/29165/stat : 29165 (java) S 29153 29155 28962 0 -1 4202560 6057 0 0 0 1 1 0 0 15 0 22 0 511194929 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29166] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29166/stat : 29166 (java) S 29153 29155 28962 0 -1 4202560 482 0 0 0 0 0 0 0 15 0 22 0 511194930 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738221568 0 0 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29167] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29167/stat : 29167 (java) S 29153 29155 28962 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 511194931 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29168] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29168/stat : 29168 (java) S 29153 29155 28962 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 22 0 511194931 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29169] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29169/stat : 29169 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511194933 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738228657 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29170] ppid=29153 vsize=15709700 CPUtime=1.4 cores=1,3,5,7
/proc/29155/task/29170/stat : 29170 (java) S 29153 29155 28962 0 -1 4202560 16204 0 0 0 139 1 0 0 15 0 22 0 511194933 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29171] ppid=29153 vsize=15709700 CPUtime=1.07 cores=1,3,5,7
/proc/29155/task/29171/stat : 29171 (java) S 29153 29155 28962 0 -1 4202560 8293 0 0 0 106 1 0 0 15 0 22 0 511194933 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29172] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29172/stat : 29172 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 511194933 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29173] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29173/stat : 29173 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 511194933 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738221568 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29175] ppid=29153 vsize=15709700 CPUtime=1.7 cores=1,3,5,7
/proc/29155/task/29175/stat : 29175 (java) R 29153 29155 28962 0 -1 4202560 21530 0 0 0 167 3 0 0 17 0 22 0 511194965 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505938569 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29155/tid=29176] ppid=29153 vsize=15709700 CPUtime=1.65 cores=1,3,5,7
/proc/29155/task/29176/stat : 29176 (java) R 29153 29155 28962 0 -1 4202560 20706 0 0 0 163 2 0 0 17 0 22 0 511194965 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505920731 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29155/tid=29177] ppid=29153 vsize=15709700 CPUtime=1.78 cores=1,3,5,7
/proc/29155/task/29177/stat : 29177 (java) R 29153 29155 28962 0 -1 4202560 22161 0 0 0 176 2 0 0 17 0 22 0 511194965 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 47471752831307 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29155/tid=29178] ppid=29153 vsize=15709700 CPUtime=1.61 cores=1,3,5,7
/proc/29155/task/29178/stat : 29178 (java) R 29153 29155 28962 0 -1 4202560 22435 0 0 0 159 2 0 0 17 0 22 0 511194965 16086732800 173142 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505790989 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.44
Current children cumulated vsize (KiB) 15709700

[startup+6.30092 s]
/proc/loadavg: 7.59 7.98 7.97 9/220 29227
/proc/meminfo: memFree=19611592/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=15709700 CPUtime=23.19 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 460588 0 1 0 2252 67 0 0 25 0 22 0 511194929 16086732800 447604 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 3927425 447604 2289 9 0 3918144 0
[pid=29155/tid=29156] ppid=29153 vsize=15709700 CPUtime=0.95 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) S 29153 29155 28962 0 -1 4202560 22937 0 1 0 91 4 0 0 20 0 22 0 511194929 16086732800 447604 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29158] ppid=29153 vsize=15709700 CPUtime=0.04 cores=1,3,5,7
/proc/29155/task/29158/stat : 29158 (java) S 29153 29155 28962 0 -1 4202560 12468 0 0 0 2 2 0 0 15 0 22 0 511194929 16086732800 447604 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29159] ppid=29153 vsize=15709700 CPUtime=0.03 cores=1,3,5,7
/proc/29155/task/29159/stat : 29159 (java) S 29153 29155 28962 0 -1 4202560 8926 0 0 0 2 1 0 0 15 0 22 0 511194929 16086732800 447604 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29160] ppid=29153 vsize=15709700 CPUtime=0.02 cores=1,3,5,7
/proc/29155/task/29160/stat : 29160 (java) S 29153 29155 28962 0 -1 4202560 7358 0 0 0 2 0 0 0 16 0 22 0 511194929 16086732800 447604 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29161] ppid=29153 vsize=15709700 CPUtime=0.04 cores=1,3,5,7
/proc/29155/task/29161/stat : 29161 (java) S 29153 29155 28962 0 -1 4202560 13661 0 0 0 2 2 0 0 16 0 22 0 511194929 16086732800 447604 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29162] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29162/stat : 29162 (java) S 29153 29155 28962 0 -1 4202560 3933 0 0 0 0 0 0 0 15 0 22 0 511194929 16086732800 447604 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29163] ppid=29153 vsize=15709700 CPUtime=0.03 cores=1,3,5,7
/proc/29155/task/29163/stat : 29163 (java) S 29153 29155 28962 0 -1 4202560 9033 0 0 0 2 1 0 0 15 0 22 0 511194929 16086732800 447604 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29164] ppid=29153 vsize=15709700 CPUtime=0.03 cores=1,3,5,7
/proc/29155/task/29164/stat : 29164 (java) S 29153 29155 28962 0 -1 4202560 9614 0 0 0 2 1 0 0 15 0 22 0 511194929 16086732800 447604 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29165] ppid=29153 vsize=15709700 CPUtime=0.02 cores=1,3,5,7
/proc/29155/task/29165/stat : 29165 (java) S 29153 29155 28962 0 -1 4202560 6558 0 0 0 1 1 0 0 16 0 22 0 511194929 16086732800 447604 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0

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

[startup+1122.3 s]
/proc/loadavg: 8.33 8.08 8.02 9/220 29259
/proc/meminfo: memFree=18637496/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=15709700 CPUtime=4454.37 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 1051167 0 1 0 443941 1496 0 0 25 0 22 0 511194929 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 3927425 704758 2297 9 0 3918144 0
[pid=29155/tid=29156] ppid=29153 vsize=15709700 CPUtime=0.95 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) S 29153 29155 28962 0 -1 4202560 22937 0 1 0 91 4 0 0 20 0 22 0 511194929 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29158] ppid=29153 vsize=15709700 CPUtime=3.16 cores=1,3,5,7
/proc/29155/task/29158/stat : 29158 (java) S 29153 29155 28962 0 -1 4202560 55016 0 0 0 301 15 0 0 15 0 22 0 511194929 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29159] ppid=29153 vsize=15709700 CPUtime=3.18 cores=1,3,5,7
/proc/29155/task/29159/stat : 29159 (java) S 29153 29155 28962 0 -1 4202560 51105 0 0 0 306 12 0 0 15 0 22 0 511194929 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29160] ppid=29153 vsize=15709700 CPUtime=3.09 cores=1,3,5,7
/proc/29155/task/29160/stat : 29160 (java) S 29153 29155 28962 0 -1 4202560 48611 0 0 0 298 11 0 0 15 0 22 0 511194929 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29161] ppid=29153 vsize=15709700 CPUtime=3.13 cores=1,3,5,7
/proc/29155/task/29161/stat : 29161 (java) S 29153 29155 28962 0 -1 4202560 53971 0 0 0 298 15 0 0 16 0 22 0 511194929 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29162] ppid=29153 vsize=15709700 CPUtime=3.14 cores=1,3,5,7
/proc/29155/task/29162/stat : 29162 (java) S 29153 29155 28962 0 -1 4202560 46380 0 0 0 302 12 0 0 16 0 22 0 511194929 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29163] ppid=29153 vsize=15709700 CPUtime=3.08 cores=1,3,5,7
/proc/29155/task/29163/stat : 29163 (java) S 29153 29155 28962 0 -1 4202560 50442 0 0 0 293 15 0 0 15 0 22 0 511194929 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29164] ppid=29153 vsize=15709700 CPUtime=3.15 cores=1,3,5,7
/proc/29155/task/29164/stat : 29164 (java) S 29153 29155 28962 0 -1 4202560 51014 0 0 0 302 13 0 0 16 0 22 0 511194929 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29165] ppid=29153 vsize=15709700 CPUtime=3.06 cores=1,3,5,7
/proc/29155/task/29165/stat : 29165 (java) S 29153 29155 28962 0 -1 4202560 48099 0 0 0 293 13 0 0 15 0 22 0 511194929 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29166] ppid=29153 vsize=15709700 CPUtime=1.54 cores=1,3,5,7
/proc/29155/task/29166/stat : 29166 (java) S 29153 29155 28962 0 -1 4202560 2289 0 0 0 115 39 0 0 16 0 22 0 511194930 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738221568 0 0 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29167] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29167/stat : 29167 (java) S 29153 29155 28962 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 511194931 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29168] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29168/stat : 29168 (java) S 29153 29155 28962 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 22 0 511194931 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29169] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29169/stat : 29169 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511194933 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738228657 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29170] ppid=29153 vsize=15709700 CPUtime=1.4 cores=1,3,5,7
/proc/29155/task/29170/stat : 29170 (java) S 29153 29155 28962 0 -1 4202560 16204 0 0 0 139 1 0 0 15 0 22 0 511194933 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29171] ppid=29153 vsize=15709700 CPUtime=1.08 cores=1,3,5,7
/proc/29155/task/29171/stat : 29171 (java) S 29153 29155 28962 0 -1 4202560 8294 0 0 0 107 1 0 0 16 0 22 0 511194933 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29172] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29172/stat : 29172 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 511194933 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29173] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29173/stat : 29173 (java) S 29153 29155 28962 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 511194933 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738221568 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29175] ppid=29153 vsize=15709700 CPUtime=1106.22 cores=1,3,5,7
/proc/29155/task/29175/stat : 29175 (java) R 29153 29155 28962 0 -1 4202560 148182 0 0 0 110282 340 0 0 18 0 22 0 511194965 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505959532 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29155/tid=29176] ppid=29153 vsize=15709700 CPUtime=1106.05 cores=1,3,5,7
/proc/29155/task/29176/stat : 29176 (java) R 29153 29155 28962 0 -1 4202560 147145 0 0 0 110279 326 0 0 18 0 22 0 511194965 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505957987 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29155/tid=29177] ppid=29153 vsize=15709700 CPUtime=1105.76 cores=1,3,5,7
/proc/29155/task/29177/stat : 29177 (java) R 29153 29155 28962 0 -1 4202560 148956 0 0 0 110241 335 0 0 25 0 22 0 511194965 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505786398 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29155/tid=29178] ppid=29153 vsize=15709700 CPUtime=1106.22 cores=1,3,5,7
/proc/29155/task/29178/stat : 29178 (java) R 29153 29155 28962 0 -1 4202560 151056 0 0 0 110285 337 0 0 18 0 22 0 511194965 16086732800 704758 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505902060 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4454.37
Current children cumulated vsize (KiB) 15709700

[startup+1182.3 s]
/proc/loadavg: 8.18 8.08 8.02 9/220 29261
/proc/meminfo: memFree=18777824/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=15709700 CPUtime=4692.52 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 1051790 0 1 0 467682 1570 0 0 25 0 22 0 511194929 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 3927425 687653 2297 9 0 3918144 0
[pid=29155/tid=29156] ppid=29153 vsize=15709700 CPUtime=0.95 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) S 29153 29155 28962 0 -1 4202560 22937 0 1 0 91 4 0 0 20 0 22 0 511194929 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29158] ppid=29153 vsize=15709700 CPUtime=3.31 cores=1,3,5,7
/proc/29155/task/29158/stat : 29158 (java) S 29153 29155 28962 0 -1 4202560 55029 0 0 0 316 15 0 0 16 0 22 0 511194929 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29159] ppid=29153 vsize=15709700 CPUtime=3.33 cores=1,3,5,7
/proc/29155/task/29159/stat : 29159 (java) S 29153 29155 28962 0 -1 4202560 51120 0 0 0 320 13 0 0 16 0 22 0 511194929 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29160] ppid=29153 vsize=15709700 CPUtime=3.28 cores=1,3,5,7
/proc/29155/task/29160/stat : 29160 (java) S 29153 29155 28962 0 -1 4202560 48627 0 0 0 316 12 0 0 16 0 22 0 511194929 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29161] ppid=29153 vsize=15709700 CPUtime=3.31 cores=1,3,5,7
/proc/29155/task/29161/stat : 29161 (java) S 29153 29155 28962 0 -1 4202560 53987 0 0 0 315 16 0 0 16 0 22 0 511194929 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29162] ppid=29153 vsize=15709700 CPUtime=3.31 cores=1,3,5,7
/proc/29155/task/29162/stat : 29162 (java) S 29153 29155 28962 0 -1 4202560 46395 0 0 0 318 13 0 0 15 0 22 0 511194929 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29163] ppid=29153 vsize=15709700 CPUtime=3.23 cores=1,3,5,7
/proc/29155/task/29163/stat : 29163 (java) S 29153 29155 28962 0 -1 4202560 50458 0 0 0 308 15 0 0 16 0 22 0 511194929 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29164] ppid=29153 vsize=15709700 CPUtime=3.3 cores=1,3,5,7
/proc/29155/task/29164/stat : 29164 (java) S 29153 29155 28962 0 -1 4202560 51024 0 0 0 316 14 0 0 15 0 22 0 511194929 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29165] ppid=29153 vsize=15709700 CPUtime=3.22 cores=1,3,5,7
/proc/29155/task/29165/stat : 29165 (java) S 29153 29155 28962 0 -1 4202560 48112 0 0 0 309 13 0 0 15 0 22 0 511194929 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29166] ppid=29153 vsize=15709700 CPUtime=1.62 cores=1,3,5,7
/proc/29155/task/29166/stat : 29166 (java) S 29153 29155 28962 0 -1 4202560 2292 0 0 0 121 41 0 0 15 0 22 0 511194930 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738221568 0 0 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29167] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29167/stat : 29167 (java) S 29153 29155 28962 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 511194931 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29168] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29168/stat : 29168 (java) S 29153 29155 28962 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 22 0 511194931 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29169] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29169/stat : 29169 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511194933 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738228657 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29170] ppid=29153 vsize=15709700 CPUtime=1.4 cores=1,3,5,7
/proc/29155/task/29170/stat : 29170 (java) S 29153 29155 28962 0 -1 4202560 16204 0 0 0 139 1 0 0 15 0 22 0 511194933 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29171] ppid=29153 vsize=15709700 CPUtime=1.08 cores=1,3,5,7
/proc/29155/task/29171/stat : 29171 (java) S 29153 29155 28962 0 -1 4202560 8294 0 0 0 107 1 0 0 16 0 22 0 511194933 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29172] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29172/stat : 29172 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 511194933 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29173] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29173/stat : 29173 (java) S 29153 29155 28962 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 22 0 511194933 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738221568 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29175] ppid=29153 vsize=15709700 CPUtime=1165.43 cores=1,3,5,7
/proc/29155/task/29175/stat : 29175 (java) R 29153 29155 28962 0 -1 4202560 148309 0 0 0 116188 355 0 0 20 0 22 0 511194965 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 47471752833225 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29155/tid=29176] ppid=29153 vsize=15709700 CPUtime=1165.2 cores=1,3,5,7
/proc/29155/task/29176/stat : 29176 (java) R 29153 29155 28962 0 -1 4202560 147270 0 0 0 116177 343 0 0 19 0 22 0 511194965 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505921161 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29155/tid=29177] ppid=29153 vsize=15709700 CPUtime=1164.96 cores=1,3,5,7
/proc/29155/task/29177/stat : 29177 (java) R 29153 29155 28962 0 -1 4202560 149093 0 0 0 116142 354 0 0 20 0 22 0 511194965 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505920938 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29155/tid=29178] ppid=29153 vsize=15709700 CPUtime=1165.43 cores=1,3,5,7
/proc/29155/task/29178/stat : 29178 (java) R 29153 29155 28962 0 -1 4202560 151170 0 0 0 116189 354 0 0 18 0 22 0 511194965 16086732800 687653 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505914553 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4692.52
Current children cumulated vsize (KiB) 15709700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1209.4 s]
/proc/loadavg: 8.11 8.07 8.02 9/220 29262
/proc/meminfo: memFree=18791816/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=15709700 CPUtime=4800.12 cores=1,3,5,7
/proc/29155/stat : 29155 (java) S 29153 29155 28962 0 -1 4202496 1052066 0 1 0 478406 1606 0 0 25 0 22 0 511194929 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 3927425 680597 2297 9 0 3918144 0
[pid=29155/tid=29156] ppid=29153 vsize=15709700 CPUtime=0.95 cores=1,3,5,7
/proc/29155/task/29156/stat : 29156 (java) S 29153 29155 28962 0 -1 4202560 22937 0 1 0 91 4 0 0 20 0 22 0 511194929 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29158] ppid=29153 vsize=15709700 CPUtime=3.38 cores=1,3,5,7
/proc/29155/task/29158/stat : 29158 (java) S 29153 29155 28962 0 -1 4202560 55035 0 0 0 323 15 0 0 15 0 22 0 511194929 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29159] ppid=29153 vsize=15709700 CPUtime=3.41 cores=1,3,5,7
/proc/29155/task/29159/stat : 29159 (java) S 29153 29155 28962 0 -1 4202560 51124 0 0 0 328 13 0 0 15 0 22 0 511194929 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29160] ppid=29153 vsize=15709700 CPUtime=3.35 cores=1,3,5,7
/proc/29155/task/29160/stat : 29160 (java) S 29153 29155 28962 0 -1 4202560 48632 0 0 0 323 12 0 0 15 0 22 0 511194929 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29161] ppid=29153 vsize=15709700 CPUtime=3.38 cores=1,3,5,7
/proc/29155/task/29161/stat : 29161 (java) S 29153 29155 28962 0 -1 4202560 53994 0 0 0 322 16 0 0 15 0 22 0 511194929 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 5 0 0 0
[pid=29155/tid=29162] ppid=29153 vsize=15709700 CPUtime=3.39 cores=1,3,5,7
/proc/29155/task/29162/stat : 29162 (java) S 29153 29155 28962 0 -1 4202560 46405 0 0 0 326 13 0 0 16 0 22 0 511194929 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29163] ppid=29153 vsize=15709700 CPUtime=3.32 cores=1,3,5,7
/proc/29155/task/29163/stat : 29163 (java) S 29153 29155 28962 0 -1 4202560 50462 0 0 0 317 15 0 0 16 0 22 0 511194929 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29164] ppid=29153 vsize=15709700 CPUtime=3.37 cores=1,3,5,7
/proc/29155/task/29164/stat : 29164 (java) S 29153 29155 28962 0 -1 4202560 51028 0 0 0 323 14 0 0 15 0 22 0 511194929 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29165] ppid=29153 vsize=15709700 CPUtime=3.29 cores=1,3,5,7
/proc/29155/task/29165/stat : 29165 (java) S 29153 29155 28962 0 -1 4202560 48118 0 0 0 316 13 0 0 16 0 22 0 511194929 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29166] ppid=29153 vsize=15709700 CPUtime=1.66 cores=1,3,5,7
/proc/29155/task/29166/stat : 29166 (java) S 29153 29155 28962 0 -1 4202560 2293 0 0 0 124 42 0 0 15 0 22 0 511194930 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738221568 0 0 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29167] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29167/stat : 29167 (java) S 29153 29155 28962 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 511194931 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29168] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29168/stat : 29168 (java) S 29153 29155 28962 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 22 0 511194931 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29169] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29169/stat : 29169 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 511194933 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738228657 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29170] ppid=29153 vsize=15709700 CPUtime=1.4 cores=1,3,5,7
/proc/29155/task/29170/stat : 29170 (java) S 29153 29155 28962 0 -1 4202560 16204 0 0 0 139 1 0 0 15 0 22 0 511194933 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29171] ppid=29153 vsize=15709700 CPUtime=1.08 cores=1,3,5,7
/proc/29155/task/29171/stat : 29171 (java) S 29153 29155 28962 0 -1 4202560 8294 0 0 0 107 1 0 0 16 0 22 0 511194933 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 3 0 0 0
[pid=29155/tid=29172] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29172/stat : 29172 (java) S 29153 29155 28962 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 511194933 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738220953 0 4 0 16800975 18446604471130901184 0 0 -1 1 0 0 0
[pid=29155/tid=29173] ppid=29153 vsize=15709700 CPUtime=0 cores=1,3,5,7
/proc/29155/task/29173/stat : 29173 (java) S 29153 29155 28962 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 22 0 511194933 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 264738221568 0 4 0 16800975 18446604471130901184 0 0 -1 7 0 0 0
[pid=29155/tid=29175] ppid=29153 vsize=15709700 CPUtime=1192.12 cores=1,3,5,7
/proc/29155/task/29175/stat : 29175 (java) R 29153 29155 28962 0 -1 4202560 148376 0 0 0 118849 363 0 0 22 0 22 0 511194965 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505915670 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29155/tid=29176] ppid=29153 vsize=15709700 CPUtime=1191.98 cores=1,3,5,7
/proc/29155/task/29176/stat : 29176 (java) R 29153 29155 28962 0 -1 4202560 147324 0 0 0 118846 352 0 0 18 0 22 0 511194965 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29155/tid=29177] ppid=29153 vsize=15709700 CPUtime=1191.71 cores=1,3,5,7
/proc/29155/task/29177/stat : 29177 (java) R 29153 29155 28962 0 -1 4202560 149154 0 0 0 118810 361 0 0 18 0 22 0 511194965 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29155/tid=29178] ppid=29153 vsize=15709700 CPUtime=1192.18 cores=1,3,5,7
/proc/29155/task/29178/stat : 29178 (java) R 29153 29155 28962 0 -1 4202560 151215 0 0 0 118855 363 0 0 19 0 22 0 511194965 16086732800 680597 33554432000 1073741824 1073778376 140735736106672 18446744073709551615 46912505841238 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.12
Current children cumulated vsize (KiB) 15709700

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

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

[startup+1209.51 s]
/proc/loadavg: 8.11 8.07 8.02 9/220 29262
/proc/meminfo: memFree=18791816/32951124 swapFree=67111524/67111528
[pid=29155] ppid=29153 vsize=0 CPUtime=4800.24 cores=1,3,5,7
/proc/29155/stat : 29155 (java) Z 29153 29155 28962 0 -1 4203548 1052093 0 1 0 478409 1615 0 0 17 0 2 0 511194929 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29155/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1209.53
CPU time (s): 4800.28
CPU user time (s): 4784.1
CPU system time (s): 16.1795
CPU usage (%): 396.87
Max. virtual memory (cumulated for all children) (KiB): 15711944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4784.1
system time used= 16.1795
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1052093
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= 2338095
involuntary context switches= 139591

runsolver used 2.01469 second user time and 4.63729 second system time

The end

Launcher Data 

Begin job on node141 at 2011-04-30 20:23:13
IDJOB=3311968
IDBENCH=85456
IDSOLVER=1698
FILE ID=node141/3311968-1304187793
RUNJOBID= node141-1304186586-28981
PBS_JOBID= 13172491
Free space on /tmp= 72596 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-040-039.shuffled-as.sat05-1194.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311968-1304187793/watcher-3311968-1304187793 -o /tmp/evaluation-result-3311968-1304187793/solver-3311968-1304187793 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311968-1304187793.cnf -hbr 2

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

MD5SUM BENCH= 8c84d9b9f2d75de33656119bc03a9afb
RANDOM SEED=927595736

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.84
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.806
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.806
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.75
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.806
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:      21962312 kB
Buffers:       1412552 kB
Cached:        8921000 kB
SwapCached:          4 kB
Active:        2681536 kB
Inactive:      7732004 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21962312 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3576 kB
Writeback:           0 kB
AnonPages:       79832 kB
Mapped:          22052 kB
Slab:           511220 kB
PageTables:       4684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   780384 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= 72596 MiB
End job on node141 at 2011-04-30 20:43:25