Trace number 3311830

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.29 1206.65

General information on the benchmark

NameCRAFTED/edgematching/
fbcolors/em_8_4_5_fbc.cnf
MD5SUM6fdce6b69c397ad71b0f25957edff1fa
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.41518
Satisfiable
(Un)Satisfiability was proved
Number of variables2420
Number of clauses33572
Sum of the clauses size97252
Maximum clause length36
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 214396
Number of clauses of size 313968
Number of clauses of size 42628
Number of clauses of size 52460
Number of clauses of size over 5120

Solver Data 

0.10/0.12	36:29 INFO : Reading from input HOME/instance-3311830-1304076989.cnf
0.62/0.42	Executor set job limit to 1000000
0.62/0.42	Executor set job limit to 1000000
0.62/0.42	Executor set job limit to 1000000
0.62/0.42	Executor set job limit to 1000000
0.62/0.42	Starting Executor!
0.62/0.42	Starting Executor!
0.62/0.42	Starting Executor!
0.62/0.42	Starting Executor!
2.98/1.36	36:31 INFO : 2332 variables remaining out of 2420
2.98/1.36	36:31 INFO : 296068 literals remaining out of 130824
4535.86/1140.24	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:3).
4535.86/1140.24	log4j:WARN Please initialize the log4j system properly.
4535.86/1140.24	log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.

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-3311830-1304076989/watcher-3311830-1304076989 -o /tmp/evaluation-result-3311830-1304076989/solver-3311830-1304076989 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311830-1304076989.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.99 8.13 7.92 6/202 21415
/proc/meminfo: memFree=18299292/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/21415/stat : 21415 (java) R 21413 21415 20824 0 -1 4202496 668 0 0 0 0 0 0 0 25 0 1 0 519297092 9318400 156 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232330968711 0 2147483391 4096 0 0 0 0 17 3 0 0 0
/proc/21415/statm: 2275 156 126 9 0 67 0

[startup+0.0358749 s]
/proc/loadavg: 7.99 8.13 7.92 6/202 21415
/proc/meminfo: memFree=18299292/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/21415/stat : 21415 (java) S 21413 21415 20824 0 -1 4202496 3584 0 1 0 2 0 0 0 25 0 13 0 519297092 15978749952 3023 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/21415/statm: 3901062 3025 1669 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.100829 s]
/proc/loadavg: 7.99 8.13 7.92 6/202 21415
/proc/meminfo: memFree=18299292/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=15676752 CPUtime=0.1 cores=1,3,5,7
/proc/21415/stat : 21415 (java) S 21413 21415 20824 0 -1 4202496 5497 0 1 0 9 1 0 0 25 0 18 0 519297092 16052994048 4936 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21415/statm: 3919188 4936 2115 9 0 3909907 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676752

[startup+0.300792 s]
/proc/loadavg: 7.99 8.13 7.92 6/202 21415
/proc/meminfo: memFree=18299292/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=15680568 CPUtime=0.51 cores=1,3,5,7
/proc/21415/stat : 21415 (java) S 21413 21415 20824 0 -1 4202496 14282 0 1 0 49 2 0 0 25 0 18 0 519297092 16056901632 12820 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21415/statm: 3920142 12820 2213 9 0 3910861 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680568

[startup+0.700725 s]
/proc/loadavg: 7.99 8.13 7.92 6/202 21415
/proc/meminfo: memFree=18299292/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=15703968 CPUtime=1.24 cores=1,3,5,7
/proc/21415/stat : 21415 (java) S 21413 21415 20824 0 -1 4202496 40574 0 1 0 118 6 0 0 25 0 22 0 519297092 16080863232 37206 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21415/statm: 3925992 37206 2245 9 0 3916711 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 15703968

[startup+1.50158 s]
/proc/loadavg: 7.99 8.13 7.92 8/224 21437
/proc/meminfo: memFree=18138608/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=15708260 CPUtime=3.33 cores=1,3,5,7
/proc/21415/stat : 21415 (java) S 21413 21415 20824 0 -1 4202496 56901 0 1 0 326 7 0 0 25 0 22 0 519297092 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21415/statm: 3927065 47403 2274 9 0 3917784 0
[pid=21415/tid=21417] ppid=21413 vsize=15708260 CPUtime=1.34 cores=1,3,5,7
/proc/21415/task/21417/stat : 21417 (java) S 21413 21415 20824 0 -1 4202560 32668 0 1 0 129 5 0 0 25 0 22 0 519297093 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21418] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21418/stat : 21418 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 519297093 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21419] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21419/stat : 21419 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 519297093 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21420] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21420/stat : 21420 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 519297093 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21421] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21421/stat : 21421 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 519297093 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21422] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21422/stat : 21422 (java) S 21413 21415 20824 0 -1 4202560 569 0 0 0 0 0 0 0 17 0 22 0 519297093 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21423] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21423/stat : 21423 (java) S 21413 21415 20824 0 -1 4202560 506 0 0 0 0 0 0 0 18 0 22 0 519297093 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21424] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21424/stat : 21424 (java) S 21413 21415 20824 0 -1 4202560 535 0 0 0 0 0 0 0 17 0 22 0 519297093 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21425] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21425/stat : 21425 (java) S 21413 21415 20824 0 -1 4202560 440 0 0 0 0 0 0 0 17 0 22 0 519297093 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21426] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21426/stat : 21426 (java) S 21413 21415 20824 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 519297094 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 0 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21427] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21427/stat : 21427 (java) S 21413 21415 20824 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21428] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21428/stat : 21428 (java) S 21413 21415 20824 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21429] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21429/stat : 21429 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519297097 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347716017 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21430] ppid=21413 vsize=15708260 CPUtime=1.04 cores=1,3,5,7
/proc/21415/task/21430/stat : 21430 (java) S 21413 21415 20824 0 -1 4202560 13389 0 0 0 103 1 0 0 18 0 22 0 519297097 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21431] ppid=21413 vsize=15708260 CPUtime=0.83 cores=1,3,5,7
/proc/21415/task/21431/stat : 21431 (java) S 21413 21415 20824 0 -1 4202560 5944 0 0 0 83 0 0 0 15 0 22 0 519297097 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21432] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21432/stat : 21432 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 519297097 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21433] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21433/stat : 21433 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519297097 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21434] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21434/stat : 21434 (java) S 21413 21415 20824 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 22 0 519297134 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21435] ppid=21413 vsize=15708260 CPUtime=0.03 cores=1,3,5,7
/proc/21415/task/21435/stat : 21435 (java) S 21413 21415 20824 0 -1 4202560 96 0 0 0 3 0 0 0 15 0 22 0 519297134 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21436] ppid=21413 vsize=15708260 CPUtime=0.03 cores=1,3,5,7
/proc/21415/task/21436/stat : 21436 (java) R 21413 21415 20824 0 -1 4202560 662 0 0 0 3 0 0 0 15 0 22 0 519297134 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505523909 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21415/tid=21437] ppid=21413 vsize=15708260 CPUtime=0.02 cores=1,3,5,7
/proc/21415/task/21437/stat : 21437 (java) R 21413 21415 20824 0 -1 4202560 658 0 0 0 2 0 0 0 16 0 22 0 519297134 16085258240 47403 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912506207148 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 15708260

[startup+3.1013 s]
/proc/loadavg: 7.99 8.13 7.92 10/224 21437
/proc/meminfo: memFree=18087520/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=15708260 CPUtime=9.24 cores=1,3,5,7
/proc/21415/stat : 21415 (java) S 21413 21415 20824 0 -1 4202496 111721 0 1 0 911 13 0 0 25 0 22 0 519297092 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21415/statm: 3927065 101943 2275 9 0 3917784 0
[pid=21415/tid=21417] ppid=21413 vsize=15708260 CPUtime=1.34 cores=1,3,5,7
/proc/21415/task/21417/stat : 21417 (java) S 21413 21415 20824 0 -1 4202560 32668 0 1 0 129 5 0 0 25 0 22 0 519297093 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21418] ppid=21413 vsize=15708260 CPUtime=0.02 cores=1,3,5,7
/proc/21415/task/21418/stat : 21418 (java) S 21413 21415 20824 0 -1 4202560 7297 0 0 0 2 0 0 0 16 0 22 0 519297093 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21419] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21419/stat : 21419 (java) S 21413 21415 20824 0 -1 4202560 3180 0 0 0 0 0 0 0 15 0 22 0 519297093 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21420] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21420/stat : 21420 (java) S 21413 21415 20824 0 -1 4202560 1589 0 0 0 0 0 0 0 15 0 22 0 519297093 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21421] ppid=21413 vsize=15708260 CPUtime=0.01 cores=1,3,5,7
/proc/21415/task/21421/stat : 21421 (java) S 21413 21415 20824 0 -1 4202560 2520 0 0 0 1 0 0 0 15 0 22 0 519297093 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21422] ppid=21413 vsize=15708260 CPUtime=0.01 cores=1,3,5,7
/proc/21415/task/21422/stat : 21422 (java) S 21413 21415 20824 0 -1 4202560 5070 0 0 0 1 0 0 0 16 0 22 0 519297093 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21423] ppid=21413 vsize=15708260 CPUtime=0.01 cores=1,3,5,7
/proc/21415/task/21423/stat : 21423 (java) S 21413 21415 20824 0 -1 4202560 4078 0 0 0 1 0 0 0 15 0 22 0 519297093 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21424] ppid=21413 vsize=15708260 CPUtime=0.01 cores=1,3,5,7
/proc/21415/task/21424/stat : 21424 (java) S 21413 21415 20824 0 -1 4202560 6186 0 0 0 1 0 0 0 16 0 22 0 519297093 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21425] ppid=21413 vsize=15708260 CPUtime=0.02 cores=1,3,5,7
/proc/21415/task/21425/stat : 21425 (java) S 21413 21415 20824 0 -1 4202560 4035 0 0 0 2 0 0 0 16 0 22 0 519297093 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21426] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21426/stat : 21426 (java) S 21413 21415 20824 0 -1 4202560 232 0 0 0 0 0 0 0 16 0 22 0 519297094 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 0 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21427] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21427/stat : 21427 (java) S 21413 21415 20824 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21428] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21428/stat : 21428 (java) S 21413 21415 20824 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21429] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21429/stat : 21429 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519297097 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347716017 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21430] ppid=21413 vsize=15708260 CPUtime=1.18 cores=1,3,5,7
/proc/21415/task/21430/stat : 21430 (java) S 21413 21415 20824 0 -1 4202560 13434 0 0 0 117 1 0 0 15 0 22 0 519297097 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21431] ppid=21413 vsize=15708260 CPUtime=0.99 cores=1,3,5,7
/proc/21415/task/21431/stat : 21431 (java) S 21413 21415 20824 0 -1 4202560 5967 0 0 0 99 0 0 0 15 0 22 0 519297097 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21432] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21432/stat : 21432 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 519297097 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21433] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21433/stat : 21433 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519297097 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21434] ppid=21413 vsize=15708260 CPUtime=1.27 cores=1,3,5,7
/proc/21415/task/21434/stat : 21434 (java) R 21413 21415 20824 0 -1 4202560 5990 0 0 0 127 0 0 0 16 0 22 0 519297134 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505815080 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21415/tid=21435] ppid=21413 vsize=15708260 CPUtime=1.32 cores=1,3,5,7
/proc/21415/task/21435/stat : 21435 (java) R 21413 21415 20824 0 -1 4202560 5621 0 0 0 132 0 0 0 16 0 22 0 519297134 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505905673 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21415/tid=21436] ppid=21413 vsize=15708260 CPUtime=1.44 cores=1,3,5,7
/proc/21415/task/21436/stat : 21436 (java) R 21413 21415 20824 0 -1 4202560 5977 0 0 0 144 0 0 0 16 0 22 0 519297134 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505810357 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21415/tid=21437] ppid=21413 vsize=15708260 CPUtime=1.47 cores=1,3,5,7
/proc/21415/task/21437/stat : 21437 (java) R 21413 21415 20824 0 -1 4202560 6490 0 0 0 147 0 0 0 16 0 22 0 519297134 16085258240 101943 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912506182370 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.24
Current children cumulated vsize (KiB) 15708260

[startup+6.30073 s]
/proc/loadavg: 8.15 8.16 7.93 10/224 21437
/proc/meminfo: memFree=17475392/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=15708260 CPUtime=22 cores=1,3,5,7
/proc/21415/stat : 21415 (java) S 21413 21415 20824 0 -1 4202496 286037 0 1 0 2162 38 0 0 25 0 22 0 519297092 16085258240 276048 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21415/statm: 3927065 276049 2285 9 0 3917784 0
[pid=21415/tid=21417] ppid=21413 vsize=15708260 CPUtime=1.34 cores=1,3,5,7
/proc/21415/task/21417/stat : 21417 (java) S 21413 21415 20824 0 -1 4202560 32668 0 1 0 129 5 0 0 25 0 22 0 519297093 16085258240 276049 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21418] ppid=21413 vsize=15708260 CPUtime=0.05 cores=1,3,5,7
/proc/21415/task/21418/stat : 21418 (java) S 21413 21415 20824 0 -1 4202560 13936 0 0 0 3 2 0 0 15 0 22 0 519297093 16085258240 276049 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21419] ppid=21413 vsize=15708260 CPUtime=0.01 cores=1,3,5,7
/proc/21415/task/21419/stat : 21419 (java) S 21413 21415 20824 0 -1 4202560 5827 0 0 0 1 0 0 0 15 0 22 0 519297093 16085258240 276054 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21420] ppid=21413 vsize=15708260 CPUtime=0.05 cores=1,3,5,7
/proc/21415/task/21420/stat : 21420 (java) S 21413 21415 20824 0 -1 4202560 14466 0 0 0 3 2 0 0 16 0 22 0 519297093 16085258240 276058 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21421] ppid=21413 vsize=15708260 CPUtime=0.01 cores=1,3,5,7
/proc/21415/task/21421/stat : 21421 (java) S 21413 21415 20824 0 -1 4202560 6685 0 0 0 1 0 0 0 15 0 22 0 519297093 16085258240 276060 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21422] ppid=21413 vsize=15708260 CPUtime=0.04 cores=1,3,5,7
/proc/21415/task/21422/stat : 21422 (java) S 21413 21415 20824 0 -1 4202560 11272 0 0 0 3 1 0 0 16 0 22 0 519297093 16085258240 276062 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21423] ppid=21413 vsize=15708260 CPUtime=0.04 cores=1,3,5,7
/proc/21415/task/21423/stat : 21423 (java) S 21413 21415 20824 0 -1 4202560 13802 0 0 0 2 2 0 0 16 0 22 0 519297093 16085258240 276064 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21424] ppid=21413 vsize=15708260 CPUtime=0.05 cores=1,3,5,7
/proc/21415/task/21424/stat : 21424 (java) S 21413 21415 20824 0 -1 4202560 16944 0 0 0 3 2 0 0 16 0 22 0 519297093 16085258240 276065 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21425] ppid=21413 vsize=15708260 CPUtime=0.02 cores=1,3,5,7
/proc/21415/task/21425/stat : 21425 (java) S 21413 21415 20824 0 -1 4202560 4244 0 0 0 2 0 0 0 15 0 22 0 519297093 16085258240 276067 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21426] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21426/stat : 21426 (java) S 21413 21415 20824 0 -1 4202560 518 0 0 0 0 0 0 0 15 0 22 0 519297094 16085258240 276068 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 0 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21427] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21427/stat : 21427 (java) S 21413 21415 20824 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 276069 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21428] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21428/stat : 21428 (java) S 21413 21415 20824 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 276070 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21429] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21429/stat : 21429 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519297097 16085258240 276073 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347716017 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21430] ppid=21413 vsize=15708260 CPUtime=1.34 cores=1,3,5,7
/proc/21415/task/21430/stat : 21430 (java) S 21413 21415 20824 0 -1 4202560 13480 0 0 0 133 1 0 0 15 0 22 0 519297097 16085258240 276083 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0

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

[pid=21415/tid=21435] ppid=21413 vsize=15708260 CPUtime=1047.89 cores=1,3,5,7
/proc/21415/task/21435/stat : 21435 (java) R 21413 21415 20824 0 -1 4202560 269939 0 0 0 104751 38 0 0 25 0 22 0 519297134 16085258240 142256 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912506380011 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21415/tid=21436] ppid=21413 vsize=15708260 CPUtime=1048.34 cores=1,3,5,7
/proc/21415/task/21436/stat : 21436 (java) R 21413 21415 20824 0 -1 4202560 284717 0 0 0 104796 38 0 0 25 0 22 0 519297134 16085258240 142256 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505810410 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21415/tid=21437] ppid=21413 vsize=15708260 CPUtime=1048.91 cores=1,3,5,7
/proc/21415/task/21437/stat : 21437 (java) R 21413 21415 20824 0 -1 4202560 282341 0 0 0 104856 35 0 0 25 0 22 0 519297134 16085258240 142256 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505606844 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4225.84
Current children cumulated vsize (KiB) 15708260

[startup+1122.3 s]
/proc/loadavg: 8.09 8.16 8.09 9/224 21517
/proc/meminfo: memFree=22568832/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=15708260 CPUtime=4464.62 cores=1,3,5,7
/proc/21415/stat : 21415 (java) S 21413 21415 20824 0 -1 4202496 1838633 0 1 0 446107 355 0 0 25 0 22 0 519297092 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21415/statm: 3927065 141954 2298 9 0 3917784 0
[pid=21415/tid=21417] ppid=21413 vsize=15708260 CPUtime=1.34 cores=1,3,5,7
/proc/21415/task/21417/stat : 21417 (java) S 21413 21415 20824 0 -1 4202560 32668 0 1 0 129 5 0 0 25 0 22 0 519297093 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21418] ppid=21413 vsize=15708260 CPUtime=3.45 cores=1,3,5,7
/proc/21415/task/21418/stat : 21418 (java) S 21413 21415 20824 0 -1 4202560 89871 0 0 0 326 19 0 0 15 0 22 0 519297093 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21419] ppid=21413 vsize=15708260 CPUtime=3.47 cores=1,3,5,7
/proc/21415/task/21419/stat : 21419 (java) S 21413 21415 20824 0 -1 4202560 73006 0 0 0 331 16 0 0 15 0 22 0 519297093 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21420] ppid=21413 vsize=15708260 CPUtime=3.49 cores=1,3,5,7
/proc/21415/task/21420/stat : 21420 (java) S 21413 21415 20824 0 -1 4202560 78589 0 0 0 331 18 0 0 15 0 22 0 519297093 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21421] ppid=21413 vsize=15708260 CPUtime=3.45 cores=1,3,5,7
/proc/21415/task/21421/stat : 21421 (java) S 21413 21415 20824 0 -1 4202560 78234 0 0 0 330 15 0 0 15 0 22 0 519297093 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21422] ppid=21413 vsize=15708260 CPUtime=3.49 cores=1,3,5,7
/proc/21415/task/21422/stat : 21422 (java) S 21413 21415 20824 0 -1 4202560 82257 0 0 0 332 17 0 0 16 0 22 0 519297093 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21423] ppid=21413 vsize=15708260 CPUtime=3.45 cores=1,3,5,7
/proc/21415/task/21423/stat : 21423 (java) S 21413 21415 20824 0 -1 4202560 83807 0 0 0 328 17 0 0 15 0 22 0 519297093 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21424] ppid=21413 vsize=15708260 CPUtime=3.56 cores=1,3,5,7
/proc/21415/task/21424/stat : 21424 (java) S 21413 21415 20824 0 -1 4202560 86843 0 0 0 339 17 0 0 15 0 22 0 519297093 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21425] ppid=21413 vsize=15708260 CPUtime=3.43 cores=1,3,5,7
/proc/21415/task/21425/stat : 21425 (java) S 21413 21415 20824 0 -1 4202560 73782 0 0 0 328 15 0 0 15 0 22 0 519297093 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21426] ppid=21413 vsize=15708260 CPUtime=1.8 cores=1,3,5,7
/proc/21415/task/21426/stat : 21426 (java) S 21413 21415 20824 0 -1 4202560 4669 0 0 0 131 49 0 0 16 0 22 0 519297094 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 0 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21427] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21427/stat : 21427 (java) S 21413 21415 20824 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21428] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21428/stat : 21428 (java) S 21413 21415 20824 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21429] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21429/stat : 21429 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519297097 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347716017 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21430] ppid=21413 vsize=15708260 CPUtime=1.63 cores=1,3,5,7
/proc/21415/task/21430/stat : 21430 (java) S 21413 21415 20824 0 -1 4202560 13523 0 0 0 162 1 0 0 16 0 22 0 519297097 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21431] ppid=21413 vsize=15708260 CPUtime=1.35 cores=1,3,5,7
/proc/21415/task/21431/stat : 21431 (java) S 21413 21415 20824 0 -1 4202560 5996 0 0 0 135 0 0 0 15 0 22 0 519297097 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21432] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21432/stat : 21432 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 519297097 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21433] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21433/stat : 21433 (java) S 21413 21415 20824 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 519297097 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21434] ppid=21413 vsize=15708260 CPUtime=1107.52 cores=1,3,5,7
/proc/21415/task/21434/stat : 21434 (java) R 21413 21415 20824 0 -1 4202560 269896 0 0 0 110710 42 0 0 25 0 22 0 519297134 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912506212807 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21415/tid=21435] ppid=21413 vsize=15708260 CPUtime=1107.15 cores=1,3,5,7
/proc/21415/task/21435/stat : 21435 (java) R 21413 21415 20824 0 -1 4202560 278383 0 0 0 110676 39 0 0 25 0 22 0 519297134 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505951989 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21415/tid=21436] ppid=21413 vsize=15708260 CPUtime=1107.67 cores=1,3,5,7
/proc/21415/task/21436/stat : 21436 (java) R 21413 21415 20824 0 -1 4202560 293765 0 0 0 110727 40 0 0 25 0 22 0 519297134 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912506277404 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21415/tid=21437] ppid=21413 vsize=15708260 CPUtime=1108.22 cores=1,3,5,7
/proc/21415/task/21437/stat : 21437 (java) R 21413 21415 20824 0 -1 4202560 291896 0 0 0 110785 37 0 0 25 0 22 0 519297134 16085258240 141954 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 18446744073699065925 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4464.62
Current children cumulated vsize (KiB) 15708260

[startup+1182.3 s]
/proc/loadavg: 8.28 8.20 8.10 9/224 21519
/proc/meminfo: memFree=22764120/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=15708260 CPUtime=4703.45 cores=1,3,5,7
/proc/21415/stat : 21415 (java) S 21413 21415 20824 0 -1 4202496 1936294 0 1 0 469970 375 0 0 25 0 22 0 519297092 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21415/statm: 3927065 156883 2298 9 0 3917784 0
[pid=21415/tid=21417] ppid=21413 vsize=15708260 CPUtime=1.34 cores=1,3,5,7
/proc/21415/task/21417/stat : 21417 (java) S 21413 21415 20824 0 -1 4202560 32668 0 1 0 129 5 0 0 25 0 22 0 519297093 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21418] ppid=21413 vsize=15708260 CPUtime=3.63 cores=1,3,5,7
/proc/21415/task/21418/stat : 21418 (java) S 21413 21415 20824 0 -1 4202560 93751 0 0 0 343 20 0 0 15 0 22 0 519297093 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21419] ppid=21413 vsize=15708260 CPUtime=3.63 cores=1,3,5,7
/proc/21415/task/21419/stat : 21419 (java) S 21413 21415 20824 0 -1 4202560 75883 0 0 0 347 16 0 0 15 0 22 0 519297093 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21420] ppid=21413 vsize=15708260 CPUtime=3.68 cores=1,3,5,7
/proc/21415/task/21420/stat : 21420 (java) S 21413 21415 20824 0 -1 4202560 82959 0 0 0 350 18 0 0 15 0 22 0 519297093 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21421] ppid=21413 vsize=15708260 CPUtime=3.66 cores=1,3,5,7
/proc/21415/task/21421/stat : 21421 (java) S 21413 21415 20824 0 -1 4202560 81027 0 0 0 351 15 0 0 15 0 22 0 519297093 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21422] ppid=21413 vsize=15708260 CPUtime=3.71 cores=1,3,5,7
/proc/21415/task/21422/stat : 21422 (java) S 21413 21415 20824 0 -1 4202560 86333 0 0 0 353 18 0 0 15 0 22 0 519297093 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21423] ppid=21413 vsize=15708260 CPUtime=3.64 cores=1,3,5,7
/proc/21415/task/21423/stat : 21423 (java) S 21413 21415 20824 0 -1 4202560 87279 0 0 0 347 17 0 0 16 0 22 0 519297093 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21424] ppid=21413 vsize=15708260 CPUtime=3.76 cores=1,3,5,7
/proc/21415/task/21424/stat : 21424 (java) S 21413 21415 20824 0 -1 4202560 91514 0 0 0 358 18 0 0 16 0 22 0 519297093 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21425] ppid=21413 vsize=15708260 CPUtime=3.65 cores=1,3,5,7
/proc/21415/task/21425/stat : 21425 (java) S 21413 21415 20824 0 -1 4202560 77633 0 0 0 349 16 0 0 15 0 22 0 519297093 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21426] ppid=21413 vsize=15708260 CPUtime=1.9 cores=1,3,5,7
/proc/21415/task/21426/stat : 21426 (java) S 21413 21415 20824 0 -1 4202560 4962 0 0 0 137 53 0 0 15 0 22 0 519297094 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 0 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21427] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21427/stat : 21427 (java) S 21413 21415 20824 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21428] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21428/stat : 21428 (java) S 21413 21415 20824 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21429] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21429/stat : 21429 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519297097 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347716017 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21430] ppid=21413 vsize=15708260 CPUtime=1.63 cores=1,3,5,7
/proc/21415/task/21430/stat : 21430 (java) S 21413 21415 20824 0 -1 4202560 13523 0 0 0 162 1 0 0 16 0 22 0 519297097 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21431] ppid=21413 vsize=15708260 CPUtime=1.36 cores=1,3,5,7
/proc/21415/task/21431/stat : 21431 (java) S 21413 21415 20824 0 -1 4202560 5997 0 0 0 136 0 0 0 15 0 22 0 519297097 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21432] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21432/stat : 21432 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 519297097 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21433] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21433/stat : 21433 (java) S 21413 21415 20824 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 519297097 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21434] ppid=21413 vsize=15708260 CPUtime=1166.81 cores=1,3,5,7
/proc/21415/task/21434/stat : 21434 (java) R 21413 21415 20824 0 -1 4202560 285925 0 0 0 116636 45 0 0 25 0 22 0 519297134 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912506213171 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21415/tid=21435] ppid=21413 vsize=15708260 CPUtime=1166.38 cores=1,3,5,7
/proc/21415/task/21435/stat : 21435 (java) R 21413 21415 20824 0 -1 4202560 295376 0 0 0 116596 42 0 0 25 0 22 0 519297134 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505810526 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21415/tid=21436] ppid=21413 vsize=15708260 CPUtime=1166.92 cores=1,3,5,7
/proc/21415/task/21436/stat : 21436 (java) R 21413 21415 20824 0 -1 4202560 311227 0 0 0 116649 43 0 0 25 0 22 0 519297134 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505810468 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21415/tid=21437] ppid=21413 vsize=15708260 CPUtime=1167.57 cores=1,3,5,7
/proc/21415/task/21437/stat : 21437 (java) R 21413 21415 20824 0 -1 4202560 308785 0 0 0 116718 39 0 0 25 0 22 0 519297134 16085258240 156883 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505833332 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4703.45
Current children cumulated vsize (KiB) 15708260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.6 s]
/proc/loadavg: 8.24 8.20 8.10 9/224 21520
/proc/meminfo: memFree=22547736/32951124 swapFree=67111524/67111528
[pid=21415] ppid=21413 vsize=15708260 CPUtime=4800.23 cores=1,3,5,7
/proc/21415/stat : 21415 (java) S 21413 21415 20824 0 -1 4202496 1955236 0 1 0 479640 383 0 0 25 0 22 0 519297092 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/21415/statm: 3927065 141896 2298 9 0 3917784 0
[pid=21415/tid=21417] ppid=21413 vsize=15708260 CPUtime=1.34 cores=1,3,5,7
/proc/21415/task/21417/stat : 21417 (java) S 21413 21415 20824 0 -1 4202560 32668 0 1 0 129 5 0 0 25 0 22 0 519297093 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21418] ppid=21413 vsize=15708260 CPUtime=3.72 cores=1,3,5,7
/proc/21415/task/21418/stat : 21418 (java) S 21413 21415 20824 0 -1 4202560 94616 0 0 0 351 21 0 0 16 0 22 0 519297093 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21419] ppid=21413 vsize=15708260 CPUtime=3.71 cores=1,3,5,7
/proc/21415/task/21419/stat : 21419 (java) S 21413 21415 20824 0 -1 4202560 76546 0 0 0 354 17 0 0 15 0 22 0 519297093 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21420] ppid=21413 vsize=15708260 CPUtime=3.76 cores=1,3,5,7
/proc/21415/task/21420/stat : 21420 (java) S 21413 21415 20824 0 -1 4202560 84523 0 0 0 357 19 0 0 15 0 22 0 519297093 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21421] ppid=21413 vsize=15708260 CPUtime=3.73 cores=1,3,5,7
/proc/21415/task/21421/stat : 21421 (java) S 21413 21415 20824 0 -1 4202560 82868 0 0 0 358 15 0 0 16 0 22 0 519297093 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21422] ppid=21413 vsize=15708260 CPUtime=3.79 cores=1,3,5,7
/proc/21415/task/21422/stat : 21422 (java) S 21413 21415 20824 0 -1 4202560 87506 0 0 0 360 19 0 0 15 0 22 0 519297093 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21423] ppid=21413 vsize=15708260 CPUtime=3.72 cores=1,3,5,7
/proc/21415/task/21423/stat : 21423 (java) S 21413 21415 20824 0 -1 4202560 88161 0 0 0 354 18 0 0 16 0 22 0 519297093 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21424] ppid=21413 vsize=15708260 CPUtime=3.83 cores=1,3,5,7
/proc/21415/task/21424/stat : 21424 (java) S 21413 21415 20824 0 -1 4202560 92801 0 0 0 364 19 0 0 16 0 22 0 519297093 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21425] ppid=21413 vsize=15708260 CPUtime=3.73 cores=1,3,5,7
/proc/21415/task/21425/stat : 21425 (java) S 21413 21415 20824 0 -1 4202560 78899 0 0 0 357 16 0 0 15 0 22 0 519297093 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21426] ppid=21413 vsize=15708260 CPUtime=1.93 cores=1,3,5,7
/proc/21415/task/21426/stat : 21426 (java) S 21413 21415 20824 0 -1 4202560 5069 0 0 0 139 54 0 0 15 0 22 0 519297094 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 0 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21427] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21427/stat : 21427 (java) S 21413 21415 20824 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21428] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21428/stat : 21428 (java) S 21413 21415 20824 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 519297095 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 7 0 0 0
[pid=21415/tid=21429] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21429/stat : 21429 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519297097 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347716017 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21430] ppid=21413 vsize=15708260 CPUtime=1.63 cores=1,3,5,7
/proc/21415/task/21430/stat : 21430 (java) S 21413 21415 20824 0 -1 4202560 13523 0 0 0 162 1 0 0 16 0 22 0 519297097 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21431] ppid=21413 vsize=15708260 CPUtime=1.36 cores=1,3,5,7
/proc/21415/task/21431/stat : 21431 (java) S 21413 21415 20824 0 -1 4202560 5997 0 0 0 136 0 0 0 15 0 22 0 519297097 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 5 0 0 0
[pid=21415/tid=21432] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21432/stat : 21432 (java) S 21413 21415 20824 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 519297097 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708313 0 4 0 16800975 18446604464292014208 0 0 -1 3 0 0 0
[pid=21415/tid=21433] ppid=21413 vsize=15708260 CPUtime=0 cores=1,3,5,7
/proc/21415/task/21433/stat : 21433 (java) S 21413 21415 20824 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 519297097 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 232347708928 0 4 0 16800975 18446604464292014208 0 0 -1 1 0 0 0
[pid=21415/tid=21434] ppid=21413 vsize=15708260 CPUtime=1190.73 cores=1,3,5,7
/proc/21415/task/21434/stat : 21434 (java) R 21413 21415 20824 0 -1 4202560 287747 0 0 0 119028 45 0 0 25 0 22 0 519297134 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912506258373 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21415/tid=21435] ppid=21413 vsize=15708260 CPUtime=1190.45 cores=1,3,5,7
/proc/21415/task/21435/stat : 21435 (java) R 21413 21415 20824 0 -1 4202560 297681 0 0 0 119003 42 0 0 25 0 22 0 519297134 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912505811141 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21415/tid=21436] ppid=21413 vsize=15708260 CPUtime=1190.99 cores=1,3,5,7
/proc/21415/task/21436/stat : 21436 (java) R 21413 21415 20824 0 -1 4202560 313820 0 0 0 119056 43 0 0 25 0 22 0 519297134 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912506213918 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21415/tid=21437] ppid=21413 vsize=15708260 CPUtime=1191.65 cores=1,3,5,7
/proc/21415/task/21437/stat : 21437 (java) R 21413 21415 20824 0 -1 4202560 311357 0 0 0 119125 40 0 0 25 0 22 0 519297134 16085258240 141896 33554432000 1073741824 1073778376 140733770281744 18446744073709551615 46912506251556 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 15708260

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): 1206.65
CPU time (s): 4800.29
CPU user time (s): 4796.43
CPU system time (s): 3.85841
CPU usage (%): 397.82
Max. virtual memory (cumulated for all children) (KiB): 15713432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.43
system time used= 3.85841
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1955263
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= 171902
involuntary context switches= 116513

runsolver used 2.01669 second user time and 4.63629 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 13:36:29
IDJOB=3311830
IDBENCH=70930
IDSOLVER=1698
FILE ID=node132/3311830-1304076989
RUNJOBID= node132-1304075734-21290
PBS_JOBID= 13170489
Free space on /tmp= 71868 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT09/CRAFTED/edgematching/fbcolors/em_8_4_5_fbc.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311830-1304076989/watcher-3311830-1304076989 -o /tmp/evaluation-result-3311830-1304076989/solver-3311830-1304076989 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311830-1304076989.cnf -hbr 2

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

MD5SUM BENCH= 6fdce6b69c397ad71b0f25957edff1fa
RANDOM SEED=354108262

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:      18299572 kB
Buffers:        768756 kB
Cached:        6234432 kB
SwapCached:          4 kB
Active:        9149528 kB
Inactive:      4991744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18299572 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2020 kB
Writeback:           0 kB
AnonPages:     7137872 kB
Mapped:          23488 kB
Slab:           435364 kB
PageTables:      18428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7337220 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71868 MiB
End job on node132 at 2011-04-29 13:56:38