Trace number 3313076

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 4800.22 1207.86

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
MD5SUMa5bb71bc1d85a401ce9f42ed1404d63e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark238.524
Satisfiable
(Un)Satisfiability was proved
Number of variables387
Number of clauses62656
Sum of the clauses size362132
Maximum clause length24
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21453
Number of clauses of size 30
Number of clauses of size 41977
Number of clauses of size 53842
Number of clauses of size over 555320

Solver Data 

0.10/0.12	12:42 INFO : Reading from input HOME/instance-3313076-1304079162.cnf
0.81/0.66	Executor set job limit to 1000000
0.81/0.66	Executor set job limit to 1000000
0.81/0.66	Executor set job limit to 1000000
0.81/0.66	Executor set job limit to 1000000
0.81/0.66	Starting Executor!
0.81/0.66	Starting Executor!
0.81/0.66	Starting Executor!
0.81/0.66	Starting Executor!
1.96/1.23	12:43 INFO : Found 8 xor gates
3.43/1.72	12:44 INFO : 270 variables remaining out of 387
3.43/1.72	12:44 INFO : 103227 literals remaining out of 424508
5.57/2.30	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:4).
5.57/2.30	log4j:WARN Please initialize the log4j system properly.
5.57/2.30	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-3313076-1304079162/watcher-3313076-1304079162 -o /tmp/evaluation-result-3313076-1304079162/solver-3313076-1304079162 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313076-1304079162.cnf 

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

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


[startup+0 s]
/proc/loadavg: 5.25 6.49 8.31 6/198 17411
/proc/meminfo: memFree=29430656/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 1417 0 0 0 0 0 0 0 25 0 2 0 519518562 27824128 887 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 6793 892 682 9 0 381 0
[pid=17411/tid=17412] ppid=17409 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) S 17409 17411 16189 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 519518562 27824128 894 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212431093383 0 2147483391 4096 0 18446744071699207358 0 0 -1 2 0 0 0

[startup+0.0263219 s]
/proc/loadavg: 5.25 6.49 8.31 6/198 17411
/proc/meminfo: memFree=29430656/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=15602060 CPUtime=0.01 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 3373 0 1 0 1 0 0 0 25 0 11 0 519518562 15976509440 2814 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 3900515 2814 1619 9 0 3891263 0
[pid=17411/tid=17412] ppid=17409 vsize=15602060 CPUtime=0.01 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) R 17409 17411 16189 0 -1 4202560 2004 0 1 0 1 0 0 0 25 0 11 0 519518562 15976509440 2814 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 47810299101091 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15602060

[startup+0.100313 s]
/proc/loadavg: 5.25 6.49 8.31 6/198 17411
/proc/meminfo: memFree=29430656/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=15676784 CPUtime=0.1 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 5570 0 1 0 9 1 0 0 25 0 18 0 519518562 16053026816 4973 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 3919196 4973 2116 9 0 3909915 0
[pid=17411/tid=17412] ppid=17409 vsize=15676784 CPUtime=0.08 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) R 17409 17411 16189 0 -1 4202560 3410 0 1 0 8 0 0 0 18 0 18 0 519518562 16053026816 4973 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212436012901 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676784

[startup+0.300258 s]
/proc/loadavg: 5.25 6.49 8.31 6/198 17411
/proc/meminfo: memFree=29430656/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=15683952 CPUtime=0.52 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 14037 0 1 0 49 3 0 0 25 0 18 0 519518562 16060366848 12238 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 3920988 12242 2206 9 0 3911707 0
[pid=17411/tid=17412] ppid=17409 vsize=15683952 CPUtime=0.28 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) R 17409 17411 16189 0 -1 4202560 8858 0 1 0 26 2 0 0 18 0 18 0 519518562 16060366848 12243 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15683952

[startup+0.700151 s]
/proc/loadavg: 5.25 6.49 8.31 6/198 17411
/proc/meminfo: memFree=29430656/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=15687916 CPUtime=0.95 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 42104 0 1 0 90 5 0 0 25 0 22 0 519518562 16064425984 40252 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 3921979 40252 2233 9 0 3912698 0
[pid=17411/tid=17412] ppid=17409 vsize=15687916 CPUtime=0.67 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) R 17409 17411 16189 0 -1 4202560 35626 0 1 0 63 4 0 0 19 0 22 0 519518562 16064425984 40252 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912505631463 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 15687916

[startup+1.501 s]
/proc/loadavg: 5.25 6.49 8.31 8/220 17433
/proc/meminfo: memFree=29252860/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=15718348 CPUtime=2.83 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 56690 0 1 0 276 7 0 0 25 0 22 0 519518562 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 3929587 48205 2261 9 0 3920306 0
[pid=17411/tid=17412] ppid=17409 vsize=15718348 CPUtime=1.47 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) R 17409 17411 16189 0 -1 4202560 35685 0 1 0 143 4 0 0 21 0 22 0 519518562 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 47810298818620 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17411/tid=17414] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17414/stat : 17414 (java) S 17409 17411 16189 0 -1 4202560 688 0 0 0 0 0 0 0 20 0 22 0 519518563 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17415] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17415/stat : 17415 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 519518563 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17416] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17416/stat : 17416 (java) S 17409 17411 16189 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 22 0 519518563 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17417] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17417/stat : 17417 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 519518563 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17418] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17418/stat : 17418 (java) S 17409 17411 16189 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 22 0 519518563 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17419] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17419/stat : 17419 (java) S 17409 17411 16189 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 519518563 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17420] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17420/stat : 17420 (java) S 17409 17411 16189 0 -1 4202560 344 0 0 0 0 0 0 0 20 0 22 0 519518563 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17421] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17421/stat : 17421 (java) S 17409 17411 16189 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 22 0 519518563 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17422] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17422/stat : 17422 (java) S 17409 17411 16189 0 -1 4202560 73 0 0 0 0 0 0 0 18 0 22 0 519518564 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 0 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17423] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17423/stat : 17423 (java) S 17409 17411 16189 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519518565 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17424] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17424/stat : 17424 (java) S 17409 17411 16189 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519518565 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17425] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17425/stat : 17425 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519518567 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447840689 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17426] ppid=17409 vsize=15718348 CPUtime=0.46 cores=0,2,4,6
/proc/17411/task/17426/stat : 17426 (java) R 17409 17411 16189 0 -1 4202560 2529 0 0 0 46 0 0 0 16 0 22 0 519518567 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 47810298414272 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17411/tid=17427] ppid=17409 vsize=15718348 CPUtime=0.88 cores=0,2,4,6
/proc/17411/task/17427/stat : 17427 (java) R 17409 17411 16189 0 -1 4202560 15862 0 0 0 86 2 0 0 24 0 22 0 519518567 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 47810299921841 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17411/tid=17428] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17428/stat : 17428 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519518567 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17429] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17429/stat : 17429 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519518567 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17430] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17430/stat : 17430 (java) S 17409 17411 16189 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 519518628 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17431] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17431/stat : 17431 (java) S 17409 17411 16189 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 519518628 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17432] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17432/stat : 17432 (java) S 17409 17411 16189 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 519518628 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17433] ppid=17409 vsize=15718348 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17433/stat : 17433 (java) S 17409 17411 16189 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 519518629 16095588352 48205 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 15718348

[startup+3.1007 s]
/proc/loadavg: 5.25 6.49 8.31 13/220 17433
/proc/meminfo: memFree=29230664/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=15720000 CPUtime=8.75 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 101200 0 1 0 861 14 0 0 25 0 22 0 519518562 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 3930000 88702 2286 9 0 3920719 0
[pid=17411/tid=17412] ppid=17409 vsize=15720000 CPUtime=1.7 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) S 17409 17411 16189 0 -1 4202560 35721 0 1 0 166 4 0 0 22 0 22 0 519518562 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17414] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17414/stat : 17414 (java) S 17409 17411 16189 0 -1 4202560 2584 0 0 0 0 0 0 0 15 0 22 0 519518563 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17415] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17415/stat : 17415 (java) S 17409 17411 16189 0 -1 4202560 1339 0 0 0 0 0 0 0 15 0 22 0 519518563 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17416] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17416/stat : 17416 (java) S 17409 17411 16189 0 -1 4202560 1603 0 0 0 0 0 0 0 16 0 22 0 519518563 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17417] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17417/stat : 17417 (java) S 17409 17411 16189 0 -1 4202560 628 0 0 0 0 0 0 0 15 0 22 0 519518563 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17418] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17418/stat : 17418 (java) S 17409 17411 16189 0 -1 4202560 2537 0 0 0 0 0 0 0 15 0 22 0 519518563 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17419] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17419/stat : 17419 (java) S 17409 17411 16189 0 -1 4202560 2105 0 0 0 0 0 0 0 16 0 22 0 519518563 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17420] ppid=17409 vsize=15720000 CPUtime=0.01 cores=0,2,4,6
/proc/17411/task/17420/stat : 17420 (java) S 17409 17411 16189 0 -1 4202560 4901 0 0 0 1 0 0 0 15 0 22 0 519518563 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17421] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17421/stat : 17421 (java) S 17409 17411 16189 0 -1 4202560 1228 0 0 0 0 0 0 0 16 0 22 0 519518563 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17422] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17422/stat : 17422 (java) S 17409 17411 16189 0 -1 4202560 265 0 0 0 0 0 0 0 15 0 22 0 519518564 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 0 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17423] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17423/stat : 17423 (java) S 17409 17411 16189 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519518565 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17424] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17424/stat : 17424 (java) S 17409 17411 16189 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519518565 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17425] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17425/stat : 17425 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519518567 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447840689 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17426] ppid=17409 vsize=15720000 CPUtime=1.39 cores=0,2,4,6
/proc/17411/task/17426/stat : 17426 (java) S 17409 17411 16189 0 -1 4202560 7185 0 0 0 138 1 0 0 15 0 22 0 519518567 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17427] ppid=17409 vsize=15720000 CPUtime=1.4 cores=0,2,4,6
/proc/17411/task/17427/stat : 17427 (java) R 17409 17411 16189 0 -1 4202560 16631 0 0 0 138 2 0 0 25 0 22 0 519518567 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17411/tid=17428] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17428/stat : 17428 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519518567 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17429] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17429/stat : 17429 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519518567 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17430] ppid=17409 vsize=15720000 CPUtime=1.16 cores=0,2,4,6
/proc/17411/task/17430/stat : 17430 (java) R 17409 17411 16189 0 -1 4202560 5132 0 0 0 116 0 0 0 16 0 22 0 519518628 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912506132965 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17411/tid=17431] ppid=17409 vsize=15720000 CPUtime=0.75 cores=0,2,4,6
/proc/17411/task/17431/stat : 17431 (java) R 17409 17411 16189 0 -1 4202560 5759 0 0 0 75 0 0 0 16 0 22 0 519518628 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912505772736 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17411/tid=17432] ppid=17409 vsize=15720000 CPUtime=1.1 cores=0,2,4,6
/proc/17411/task/17432/stat : 17432 (java) R 17409 17411 16189 0 -1 4202560 6350 0 0 0 110 0 0 0 16 0 22 0 519518628 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912506180013 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17411/tid=17433] ppid=17409 vsize=15720000 CPUtime=1.09 cores=0,2,4,6
/proc/17411/task/17433/stat : 17433 (java) R 17409 17411 16189 0 -1 4202560 5846 0 0 0 109 0 0 0 16 0 22 0 519518629 16097280000 88702 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912505883576 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 15720000

[startup+6.30109 s]
/proc/loadavg: 5.71 6.57 8.32 10/220 17433
/proc/meminfo: memFree=28537680/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=15720000 CPUtime=21.5 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 237444 0 1 0 2119 31 0 0 25 0 22 0 519518562 16097280000 224628 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 3930000 224628 2289 9 0 3920719 0
[pid=17411/tid=17412] ppid=17409 vsize=15720000 CPUtime=1.7 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) S 17409 17411 16189 0 -1 4202560 35721 0 1 0 166 4 0 0 22 0 22 0 519518562 16097280000 224628 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17414] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17414/stat : 17414 (java) S 17409 17411 16189 0 -1 4202560 3303 0 0 0 0 0 0 0 16 0 22 0 519518563 16097280000 224628 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17415] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17415/stat : 17415 (java) S 17409 17411 16189 0 -1 4202560 2525 0 0 0 0 0 0 0 15 0 22 0 519518563 16097280000 224628 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17416] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17416/stat : 17416 (java) S 17409 17411 16189 0 -1 4202560 2553 0 0 0 0 0 0 0 15 0 22 0 519518563 16097280000 224628 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17417] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17417/stat : 17417 (java) S 17409 17411 16189 0 -1 4202560 1913 0 0 0 0 0 0 0 15 0 22 0 519518563 16097280000 224628 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17418] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17418/stat : 17418 (java) S 17409 17411 16189 0 -1 4202560 2537 0 0 0 0 0 0 0 15 0 22 0 519518563 16097280000 224628 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17419] ppid=17409 vsize=15720000 CPUtime=0.01 cores=0,2,4,6
/proc/17411/task/17419/stat : 17419 (java) S 17409 17411 16189 0 -1 4202560 2105 0 0 0 1 0 0 0 15 0 22 0 519518563 16097280000 224628 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17420] ppid=17409 vsize=15720000 CPUtime=0.01 cores=0,2,4,6
/proc/17411/task/17420/stat : 17420 (java) S 17409 17411 16189 0 -1 4202560 5102 0 0 0 1 0 0 0 15 0 22 0 519518563 16097280000 224628 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17421] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17421/stat : 17421 (java) S 17409 17411 16189 0 -1 4202560 2131 0 0 0 0 0 0 0 15 0 22 0 519518563 16097280000 224628 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0

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

[pid=17411/tid=17431] ppid=17409 vsize=15720000 CPUtime=1047.86 cores=0,2,4,6
/proc/17411/task/17431/stat : 17431 (java) R 17409 17411 16189 0 -1 4202560 191712 0 0 0 104753 33 0 0 25 0 22 0 519518628 16097280000 86079 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912506071276 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17411/tid=17432] ppid=17409 vsize=15720000 CPUtime=1047.59 cores=0,2,4,6
/proc/17411/task/17432/stat : 17432 (java) R 17409 17411 16189 0 -1 4202560 181746 0 0 0 104729 30 0 0 25 0 22 0 519518628 16097280000 86079 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 18446744073699065971 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17411/tid=17433] ppid=17409 vsize=15720000 CPUtime=1047.8 cores=0,2,4,6
/proc/17411/task/17433/stat : 17433 (java) R 17409 17411 16189 0 -1 4202560 182991 0 0 0 104751 29 0 0 25 0 22 0 519518629 16097280000 86079 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912505524179 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4221.64
Current children cumulated vsize (KiB) 15720000

[startup+1122.3 s]
/proc/loadavg: 8.12 8.04 8.13 9/220 17463
/proc/meminfo: memFree=29850808/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=15720000 CPUtime=4460.11 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 1340586 0 1 0 445687 324 0 0 25 0 22 0 519518562 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 3930000 81310 2299 9 0 3920719 0
[pid=17411/tid=17412] ppid=17409 vsize=15720000 CPUtime=1.7 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) S 17409 17411 16189 0 -1 4202560 35721 0 1 0 166 4 0 0 22 0 22 0 519518562 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17414] ppid=17409 vsize=15720000 CPUtime=3.08 cores=0,2,4,6
/proc/17411/task/17414/stat : 17414 (java) S 17409 17411 16189 0 -1 4202560 63077 0 0 0 293 15 0 0 15 0 22 0 519518563 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17415] ppid=17409 vsize=15720000 CPUtime=3.12 cores=0,2,4,6
/proc/17411/task/17415/stat : 17415 (java) S 17409 17411 16189 0 -1 4202560 60456 0 0 0 298 14 0 0 16 0 22 0 519518563 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17416] ppid=17409 vsize=15720000 CPUtime=3.13 cores=0,2,4,6
/proc/17411/task/17416/stat : 17416 (java) S 17409 17411 16189 0 -1 4202560 60707 0 0 0 298 15 0 0 15 0 22 0 519518563 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17417] ppid=17409 vsize=15720000 CPUtime=3.07 cores=0,2,4,6
/proc/17411/task/17417/stat : 17417 (java) S 17409 17411 16189 0 -1 4202560 62313 0 0 0 292 15 0 0 15 0 22 0 519518563 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17418] ppid=17409 vsize=15720000 CPUtime=3.14 cores=0,2,4,6
/proc/17411/task/17418/stat : 17418 (java) S 17409 17411 16189 0 -1 4202560 62112 0 0 0 300 14 0 0 15 0 22 0 519518563 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17419] ppid=17409 vsize=15720000 CPUtime=3.19 cores=0,2,4,6
/proc/17411/task/17419/stat : 17419 (java) S 17409 17411 16189 0 -1 4202560 60978 0 0 0 304 15 0 0 15 0 22 0 519518563 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17420] ppid=17409 vsize=15720000 CPUtime=3.09 cores=0,2,4,6
/proc/17411/task/17420/stat : 17420 (java) S 17409 17411 16189 0 -1 4202560 64051 0 0 0 294 15 0 0 15 0 22 0 519518563 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17421] ppid=17409 vsize=15720000 CPUtime=3.02 cores=0,2,4,6
/proc/17411/task/17421/stat : 17421 (java) S 17409 17411 16189 0 -1 4202560 59930 0 0 0 289 13 0 0 15 0 22 0 519518563 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17422] ppid=17409 vsize=15720000 CPUtime=1.99 cores=0,2,4,6
/proc/17411/task/17422/stat : 17422 (java) S 17409 17411 16189 0 -1 4202560 3385 0 0 0 141 58 0 0 15 0 22 0 519518564 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 0 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17423] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17423/stat : 17423 (java) S 17409 17411 16189 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519518565 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17424] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17424/stat : 17424 (java) S 17409 17411 16189 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519518565 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17425] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17425/stat : 17425 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519518567 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447840689 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17426] ppid=17409 vsize=15720000 CPUtime=1.63 cores=0,2,4,6
/proc/17411/task/17426/stat : 17426 (java) S 17409 17411 16189 0 -1 4202560 7185 0 0 0 162 1 0 0 16 0 22 0 519518567 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17427] ppid=17409 vsize=15720000 CPUtime=1.51 cores=0,2,4,6
/proc/17411/task/17427/stat : 17427 (java) S 17409 17411 16189 0 -1 4202560 16654 0 0 0 149 2 0 0 15 0 22 0 519518567 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17428] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17428/stat : 17428 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519518567 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17429] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17429/stat : 17429 (java) S 17409 17411 16189 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 519518567 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17430] ppid=17409 vsize=15720000 CPUtime=1107.27 cores=0,2,4,6
/proc/17411/task/17430/stat : 17430 (java) R 17409 17411 16189 0 -1 4202560 196413 0 0 0 110693 34 0 0 22 0 22 0 519518628 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912506133385 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17411/tid=17431] ppid=17409 vsize=15720000 CPUtime=1107.17 cores=0,2,4,6
/proc/17411/task/17431/stat : 17431 (java) R 17409 17411 16189 0 -1 4202560 201711 0 0 0 110682 35 0 0 25 0 22 0 519518628 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 47810302890394 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17411/tid=17432] ppid=17409 vsize=15720000 CPUtime=1106.88 cores=0,2,4,6
/proc/17411/task/17432/stat : 17432 (java) R 17409 17411 16189 0 -1 4202560 191126 0 0 0 110656 32 0 0 17 0 22 0 519518628 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912505615513 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17411/tid=17433] ppid=17409 vsize=15720000 CPUtime=1106.96 cores=0,2,4,6
/proc/17411/task/17433/stat : 17433 (java) R 17409 17411 16189 0 -1 4202560 193325 0 0 0 110664 32 0 0 25 0 22 0 519518629 16097280000 81310 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912506427525 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4460.11
Current children cumulated vsize (KiB) 15720000

[startup+1182.3 s]
/proc/loadavg: 8.19 8.08 8.13 9/220 17465
/proc/meminfo: memFree=29853732/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=15720000 CPUtime=4698.65 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 1407682 0 1 0 469523 342 0 0 25 0 22 0 519518562 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 3930000 82901 2299 9 0 3920719 0
[pid=17411/tid=17412] ppid=17409 vsize=15720000 CPUtime=1.7 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) S 17409 17411 16189 0 -1 4202560 35721 0 1 0 166 4 0 0 22 0 22 0 519518562 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17414] ppid=17409 vsize=15720000 CPUtime=3.22 cores=0,2,4,6
/proc/17411/task/17414/stat : 17414 (java) S 17409 17411 16189 0 -1 4202560 66587 0 0 0 307 15 0 0 15 0 22 0 519518563 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17415] ppid=17409 vsize=15720000 CPUtime=3.3 cores=0,2,4,6
/proc/17411/task/17415/stat : 17415 (java) S 17409 17411 16189 0 -1 4202560 64575 0 0 0 315 15 0 0 15 0 22 0 519518563 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17416] ppid=17409 vsize=15720000 CPUtime=3.31 cores=0,2,4,6
/proc/17411/task/17416/stat : 17416 (java) S 17409 17411 16189 0 -1 4202560 64958 0 0 0 314 17 0 0 15 0 22 0 519518563 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17417] ppid=17409 vsize=15720000 CPUtime=3.21 cores=0,2,4,6
/proc/17411/task/17417/stat : 17417 (java) S 17409 17411 16189 0 -1 4202560 65653 0 0 0 305 16 0 0 15 0 22 0 519518563 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17418] ppid=17409 vsize=15720000 CPUtime=3.28 cores=0,2,4,6
/proc/17411/task/17418/stat : 17418 (java) S 17409 17411 16189 0 -1 4202560 65679 0 0 0 313 15 0 0 15 0 22 0 519518563 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17419] ppid=17409 vsize=15720000 CPUtime=3.34 cores=0,2,4,6
/proc/17411/task/17419/stat : 17419 (java) S 17409 17411 16189 0 -1 4202560 65073 0 0 0 318 16 0 0 16 0 22 0 519518563 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17420] ppid=17409 vsize=15720000 CPUtime=3.24 cores=0,2,4,6
/proc/17411/task/17420/stat : 17420 (java) S 17409 17411 16189 0 -1 4202560 68623 0 0 0 307 17 0 0 15 0 22 0 519518563 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17421] ppid=17409 vsize=15720000 CPUtime=3.18 cores=0,2,4,6
/proc/17411/task/17421/stat : 17421 (java) S 17409 17411 16189 0 -1 4202560 63350 0 0 0 303 15 0 0 16 0 22 0 519518563 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17422] ppid=17409 vsize=15720000 CPUtime=2.13 cores=0,2,4,6
/proc/17411/task/17422/stat : 17422 (java) S 17409 17411 16189 0 -1 4202560 3593 0 0 0 151 62 0 0 15 0 22 0 519518564 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 0 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17423] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17423/stat : 17423 (java) S 17409 17411 16189 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519518565 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17424] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17424/stat : 17424 (java) S 17409 17411 16189 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519518565 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17425] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17425/stat : 17425 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519518567 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447840689 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17426] ppid=17409 vsize=15720000 CPUtime=1.63 cores=0,2,4,6
/proc/17411/task/17426/stat : 17426 (java) S 17409 17411 16189 0 -1 4202560 7185 0 0 0 162 1 0 0 16 0 22 0 519518567 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17427] ppid=17409 vsize=15720000 CPUtime=1.51 cores=0,2,4,6
/proc/17411/task/17427/stat : 17427 (java) S 17409 17411 16189 0 -1 4202560 16654 0 0 0 149 2 0 0 15 0 22 0 519518567 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17428] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17428/stat : 17428 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519518567 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17429] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17429/stat : 17429 (java) S 17409 17411 16189 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 519518567 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17430] ppid=17409 vsize=15720000 CPUtime=1166.56 cores=0,2,4,6
/proc/17411/task/17430/stat : 17430 (java) R 17409 17411 16189 0 -1 4202560 206004 0 0 0 116620 36 0 0 25 0 22 0 519518628 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912506291133 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17411/tid=17431] ppid=17409 vsize=15720000 CPUtime=1166.43 cores=0,2,4,6
/proc/17411/task/17431/stat : 17431 (java) R 17409 17411 16189 0 -1 4202560 211119 0 0 0 116606 37 0 0 25 0 22 0 519518628 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 47810302890139 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17411/tid=17432] ppid=17409 vsize=15720000 CPUtime=1166.2 cores=0,2,4,6
/proc/17411/task/17432/stat : 17432 (java) R 17409 17411 16189 0 -1 4202560 200019 0 0 0 116587 33 0 0 25 0 22 0 519518628 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912506427304 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17411/tid=17433] ppid=17409 vsize=15720000 CPUtime=1166.25 cores=0,2,4,6
/proc/17411/task/17433/stat : 17433 (java) R 17409 17411 16189 0 -1 4202560 201446 0 0 0 116592 33 0 0 25 0 22 0 519518629 16097280000 82901 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912506422582 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4698.65
Current children cumulated vsize (KiB) 15720000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.81 s]
/proc/loadavg: 7.24 7.87 8.06 5/193 17485
/proc/meminfo: memFree=30185056/32951124 swapFree=67111416/67111528
[pid=17411] ppid=17409 vsize=15720000 CPUtime=4800.09 cores=0,2,4,6
/proc/17411/stat : 17411 (java) S 17409 17411 16189 0 -1 4202496 1448243 0 1 0 479658 351 0 0 25 0 22 0 519518562 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17411/statm: 3930000 94859 2299 9 0 3920719 0
[pid=17411/tid=17412] ppid=17409 vsize=15720000 CPUtime=1.7 cores=0,2,4,6
/proc/17411/task/17412/stat : 17412 (java) S 17409 17411 16189 0 -1 4202560 35721 0 1 0 166 4 0 0 22 0 22 0 519518562 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17414] ppid=17409 vsize=15720000 CPUtime=3.31 cores=0,2,4,6
/proc/17411/task/17414/stat : 17414 (java) S 17409 17411 16189 0 -1 4202560 69959 0 0 0 315 16 0 0 16 0 22 0 519518563 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 0 0 0 0
[pid=17411/tid=17415] ppid=17409 vsize=15720000 CPUtime=3.38 cores=0,2,4,6
/proc/17411/task/17415/stat : 17415 (java) S 17409 17411 16189 0 -1 4202560 67374 0 0 0 322 16 0 0 16 0 22 0 519518563 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17416] ppid=17409 vsize=15720000 CPUtime=3.37 cores=0,2,4,6
/proc/17411/task/17416/stat : 17416 (java) S 17409 17411 16189 0 -1 4202560 68458 0 0 0 320 17 0 0 15 0 22 0 519518563 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17417] ppid=17409 vsize=15720000 CPUtime=3.26 cores=0,2,4,6
/proc/17411/task/17417/stat : 17417 (java) S 17409 17411 16189 0 -1 4202560 69084 0 0 0 309 17 0 0 15 0 22 0 519518563 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17418] ppid=17409 vsize=15720000 CPUtime=3.35 cores=0,2,4,6
/proc/17411/task/17418/stat : 17418 (java) S 17409 17411 16189 0 -1 4202560 69000 0 0 0 319 16 0 0 15 0 22 0 519518563 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17419] ppid=17409 vsize=15720000 CPUtime=3.41 cores=0,2,4,6
/proc/17411/task/17419/stat : 17419 (java) S 17409 17411 16189 0 -1 4202560 68701 0 0 0 324 17 0 0 15 0 22 0 519518563 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17420] ppid=17409 vsize=15720000 CPUtime=3.31 cores=0,2,4,6
/proc/17411/task/17420/stat : 17420 (java) S 17409 17411 16189 0 -1 4202560 71649 0 0 0 314 17 0 0 15 0 22 0 519518563 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17421] ppid=17409 vsize=15720000 CPUtime=3.26 cores=0,2,4,6
/proc/17411/task/17421/stat : 17421 (java) S 17409 17411 16189 0 -1 4202560 66752 0 0 0 311 15 0 0 15 0 22 0 519518563 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17422] ppid=17409 vsize=15720000 CPUtime=2.15 cores=0,2,4,6
/proc/17411/task/17422/stat : 17422 (java) S 17409 17411 16189 0 -1 4202560 3702 0 0 0 152 63 0 0 15 0 22 0 519518564 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 0 0 16800975 18446604441069571136 0 0 -1 4 0 0 0
[pid=17411/tid=17423] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17423/stat : 17423 (java) S 17409 17411 16189 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519518565 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17424] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17424/stat : 17424 (java) S 17409 17411 16189 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519518565 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17425] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17425/stat : 17425 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519518567 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447840689 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17426] ppid=17409 vsize=15720000 CPUtime=1.63 cores=0,2,4,6
/proc/17411/task/17426/stat : 17426 (java) S 17409 17411 16189 0 -1 4202560 7185 0 0 0 162 1 0 0 16 0 22 0 519518567 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17427] ppid=17409 vsize=15720000 CPUtime=1.51 cores=0,2,4,6
/proc/17411/task/17427/stat : 17427 (java) S 17409 17411 16189 0 -1 4202560 16654 0 0 0 149 2 0 0 15 0 22 0 519518567 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17428] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17428/stat : 17428 (java) S 17409 17411 16189 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519518567 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447832985 0 4 0 16800975 18446604441069571136 0 0 -1 2 0 0 0
[pid=17411/tid=17429] ppid=17409 vsize=15720000 CPUtime=0 cores=0,2,4,6
/proc/17411/task/17429/stat : 17429 (java) S 17409 17411 16189 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 519518567 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 212447833600 0 4 0 16800975 18446604441069571136 0 0 -1 6 0 0 0
[pid=17411/tid=17430] ppid=17409 vsize=15720000 CPUtime=1191.77 cores=0,2,4,6
/proc/17411/task/17430/stat : 17430 (java) R 17409 17411 16189 0 -1 4202560 209879 0 0 0 119140 37 0 0 25 0 22 0 519518628 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 47810302891617 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17411/tid=17431] ppid=17409 vsize=15720000 CPUtime=1191.61 cores=0,2,4,6
/proc/17411/task/17431/stat : 17431 (java) R 17409 17411 16189 0 -1 4202560 214450 0 0 0 119123 38 0 0 19 0 22 0 519518628 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912505615513 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17411/tid=17432] ppid=17409 vsize=15720000 CPUtime=1191.44 cores=0,2,4,6
/proc/17411/task/17432/stat : 17432 (java) R 17409 17411 16189 0 -1 4202560 203488 0 0 0 119110 34 0 0 25 0 22 0 519518628 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912505914222 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17411/tid=17433] ppid=17409 vsize=15720000 CPUtime=1191.48 cores=0,2,4,6
/proc/17411/task/17433/stat : 17433 (java) R 17409 17411 16189 0 -1 4202560 204742 0 0 0 119115 33 0 0 25 0 22 0 519518629 16097280000 94859 33554432000 1073741824 1073778376 140734155889600 18446744073709551615 46912506071215 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 15720000

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

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

Child status: 143
Real time (s): 1207.86
CPU time (s): 4800.22
CPU user time (s): 4796.69
CPU system time (s): 3.53146
CPU usage (%): 397.415
Max. virtual memory (cumulated for all children) (KiB): 15722676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.69
system time used= 3.53146
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1448490
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= 305493
involuntary context switches= 156656

runsolver used 1.9867 second user time and 4.63929 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 14:12:42
IDJOB=3313076
IDBENCH=71150
IDSOLVER=1699
FILE ID=node102/3313076-1304079162
RUNJOBID= node102-1304079142-17321
PBS_JOBID= 13170484
Free space on /tmp= 71556 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313076-1304079162/watcher-3313076-1304079162 -o /tmp/evaluation-result-3313076-1304079162/solver-3313076-1304079162 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313076-1304079162.cnf

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

MD5SUM BENCH= a5bb71bc1d85a401ce9f42ed1404d63e
RANDOM SEED=912425451

node102.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.828
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.65
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.828
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	: 5226.15
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.828
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.828
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.828
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.82
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.828
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.828
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.828
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:      29430944 kB
Buffers:        644312 kB
Cached:        1262620 kB
SwapCached:          8 kB
Active:        1379924 kB
Inactive:      1713676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29430944 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:            8728 kB
Writeback:           0 kB
AnonPages:     1186488 kB
Mapped:          23484 kB
Slab:           360340 kB
PageTables:       7124 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2079768 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= 71556 MiB
End job on node102 at 2011-04-29 14:32:52