Trace number 3313171

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.36 1208.44

General information on the benchmark

NameCRAFTED/modcircuits/
mod3block_2vars_11gates_u2_autoenc.cnf
MD5SUM36c3169a5cad0483dd15befcefc4323e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark689.141
Satisfiable
(Un)Satisfiability was proved
Number of variables526
Number of clauses146535
Sum of the clauses size858954
Maximum clause length14
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 22476
Number of clauses of size 34
Number of clauses of size 41387
Number of clauses of size 57328
Number of clauses of size over 5135276

Solver Data 

0.10/0.11	15:25 INFO : Reading from input HOME/instance-3313171-1304079324.cnf
1.33/1.13	Executor set job limit to 1000000
1.33/1.13	Executor set job limit to 1000000
1.33/1.13	Executor set job limit to 1000000
1.33/1.13	Executor set job limit to 1000000
1.33/1.13	Starting Executor!
1.33/1.14	Starting Executor!
1.33/1.14	Starting Executor!
1.33/1.14	Starting Executor!
4.08/2.69	15:27 INFO : 441 variables remaining out of 526
4.08/2.69	15:27 INFO : 396564 literals remaining out of 1005489
1364.17/344.61	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:4).
1364.17/344.61	log4j:WARN Please initialize the log4j system properly.
1364.17/344.61	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-3313171-1304079324/watcher-3313171-1304079324 -o /tmp/evaluation-result-3313171-1304079324/solver-3313171-1304079324 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313171-1304079324.cnf 

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: 6.24 7.60 7.06 2/186 13114
/proc/meminfo: memFree=23123664/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 1414 0 0 0 0 0 0 0 25 0 2 0 519532883 26714112 885 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 6522 885 678 9 0 381 0
[pid=13114/tid=13115] ppid=13112 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) S 13112 13114 13067 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 519532884 27824128 894 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244442021511 0 2147483391 4096 0 18446744071699199166 0 0 -1 5 0 0 0

[startup+0.0604721 s]
/proc/loadavg: 6.24 7.60 7.06 2/186 13114
/proc/meminfo: memFree=23123664/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 4306 0 1 0 5 0 0 0 25 0 18 0 519532883 15984414720 3745 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 3902445 3746 1778 9 0 3893164 0
[pid=13114/tid=13115] ppid=13112 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) R 13112 13114 13067 0 -1 4202560 2889 0 1 0 5 0 0 0 22 0 18 0 519532884 15984414720 3746 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 47074604927827 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.100625 s]
/proc/loadavg: 6.24 7.60 7.06 2/186 13114
/proc/meminfo: memFree=23123664/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=15676672 CPUtime=0.1 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 5641 0 1 0 10 0 0 0 25 0 18 0 519532883 16052912128 5080 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 3919168 5082 2117 9 0 3909887 0
[pid=13114/tid=13115] ppid=13112 vsize=15676672 CPUtime=0.09 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) R 13112 13114 13067 0 -1 4202560 3534 0 1 0 9 0 0 0 18 0 18 0 519532884 16052912128 5082 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 47074603492888 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676672

[startup+0.300415 s]
/proc/loadavg: 6.24 7.60 7.06 2/186 13114
/proc/meminfo: memFree=23123664/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=15680556 CPUtime=0.5 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 14207 0 1 0 49 1 0 0 25 0 18 0 519532883 16056889344 12694 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 3920139 12700 2206 9 0 3910858 0
[pid=13114/tid=13115] ppid=13112 vsize=15680556 CPUtime=0.28 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) R 13112 13114 13067 0 -1 4202560 9192 0 1 0 28 0 0 0 18 0 18 0 519532884 16056889344 12704 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912505579034 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15680556

[startup+0.700344 s]
/proc/loadavg: 6.24 7.60 7.06 2/186 13114
/proc/meminfo: memFree=23123664/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=15680556 CPUtime=0.92 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 41689 0 1 0 87 5 0 0 25 0 18 0 519532883 16056889344 40172 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 3920139 40172 2222 9 0 3910858 0
[pid=13114/tid=13115] ppid=13112 vsize=15680556 CPUtime=0.68 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) R 13112 13114 13067 0 -1 4202560 35546 0 1 0 64 4 0 0 18 0 18 0 519532884 16056889344 40172 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912505522363 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15680556

[startup+1.50116 s]
/proc/loadavg: 6.24 7.60 7.06 8/216 13144
/proc/meminfo: memFree=22820920/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=15686632 CPUtime=1.99 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 73556 0 1 0 190 9 0 0 25 0 22 0 519532883 16063111168 69613 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 3921658 69613 2248 9 0 3912377 0
[pid=13114/tid=13115] ppid=13112 vsize=15686632 CPUtime=1.47 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) R 13112 13114 13067 0 -1 4202560 58639 0 1 0 140 7 0 0 18 0 22 0 519532884 16063111168 69613 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912505201576 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13114/tid=13118] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13118/stat : 13118 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 519532884 16063111168 69614 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13119] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13119/stat : 13119 (java) S 13112 13114 13067 0 -1 4202560 1352 0 0 0 0 0 0 0 17 0 22 0 519532884 16063111168 69614 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13120] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13120/stat : 13120 (java) S 13112 13114 13067 0 -1 4202560 23 0 0 0 0 0 0 0 17 0 22 0 519532884 16063111168 69614 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13121] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13121/stat : 13121 (java) S 13112 13114 13067 0 -1 4202560 46 0 0 0 0 0 0 0 17 0 22 0 519532884 16063111168 69614 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13122] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13122/stat : 13122 (java) S 13112 13114 13067 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 519532884 16063111168 69615 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13123] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13123/stat : 13123 (java) S 13112 13114 13067 0 -1 4202560 333 0 0 0 0 0 0 0 17 0 22 0 519532884 16063111168 69615 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13124] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13124/stat : 13124 (java) S 13112 13114 13067 0 -1 4202560 678 0 0 0 0 0 0 0 17 0 22 0 519532884 16063111168 69615 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13125] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13125/stat : 13125 (java) S 13112 13114 13067 0 -1 4202560 344 0 0 0 0 0 0 0 16 0 22 0 519532884 16063111168 69615 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13128] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13128/stat : 13128 (java) S 13112 13114 13067 0 -1 4202560 72 0 0 0 0 0 0 0 17 0 22 0 519532885 16063111168 69616 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 0 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13129] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13129/stat : 13129 (java) S 13112 13114 13067 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519532886 16063111168 69616 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13130] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13130/stat : 13130 (java) S 13112 13114 13067 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519532886 16063111168 69616 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13136] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13136/stat : 13136 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519532888 16063111168 69616 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458768817 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13137] ppid=13112 vsize=15686632 CPUtime=0.34 cores=1,3,5,7
/proc/13114/task/13137/stat : 13137 (java) R 13112 13114 13067 0 -1 4202560 9318 0 0 0 34 0 0 0 16 0 22 0 519532888 16063111168 69617 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244446639070 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13114/tid=13138] ppid=13112 vsize=15686632 CPUtime=0.13 cores=1,3,5,7
/proc/13114/task/13138/stat : 13138 (java) S 13112 13114 13067 0 -1 4202560 1286 0 0 0 13 0 0 0 15 0 22 0 519532888 16063111168 69617 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13139] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13139/stat : 13139 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519532888 16063111168 69617 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13140] ppid=13112 vsize=15686632 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13140/stat : 13140 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519532888 16063111168 69618 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 15686632

[startup+3.10493 s]
/proc/loadavg: 6.24 7.60 7.06 4/216 13193
/proc/meminfo: memFree=22791372/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=15689132 CPUtime=5.33 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 91924 0 1 0 520 13 0 0 25 0 22 0 519532883 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 3922283 81203 2275 9 0 3913002 0
[pid=13114/tid=13115] ppid=13112 vsize=15689132 CPUtime=2.66 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) S 13112 13114 13067 0 -1 4202560 61322 0 1 0 258 8 0 0 20 0 22 0 519532884 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13118] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13118/stat : 13118 (java) S 13112 13114 13067 0 -1 4202560 1280 0 0 0 0 0 0 0 16 0 22 0 519532884 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13119] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13119/stat : 13119 (java) S 13112 13114 13067 0 -1 4202560 1352 0 0 0 0 0 0 0 15 0 22 0 519532884 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13120] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13120/stat : 13120 (java) S 13112 13114 13067 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 22 0 519532884 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13121] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13121/stat : 13121 (java) S 13112 13114 13067 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 22 0 519532884 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13122] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13122/stat : 13122 (java) S 13112 13114 13067 0 -1 4202560 1381 0 0 0 0 0 0 0 16 0 22 0 519532884 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13123] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13123/stat : 13123 (java) S 13112 13114 13067 0 -1 4202560 333 0 0 0 0 0 0 0 15 0 22 0 519532884 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13124] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13124/stat : 13124 (java) S 13112 13114 13067 0 -1 4202560 2020 0 0 0 0 0 0 0 16 0 22 0 519532884 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13125] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13125/stat : 13125 (java) S 13112 13114 13067 0 -1 4202560 1735 0 0 0 0 0 0 0 16 0 22 0 519532884 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13128] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13128/stat : 13128 (java) S 13112 13114 13067 0 -1 4202560 197 0 0 0 0 0 0 0 15 0 22 0 519532885 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 0 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13129] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13129/stat : 13129 (java) S 13112 13114 13067 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519532886 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13130] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13130/stat : 13130 (java) S 13112 13114 13067 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519532886 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13136] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13136/stat : 13136 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519532888 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458768817 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13137] ppid=13112 vsize=15689132 CPUtime=1.29 cores=1,3,5,7
/proc/13114/task/13137/stat : 13137 (java) S 13112 13114 13067 0 -1 4202560 18546 0 0 0 127 2 0 0 15 0 22 0 519532888 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13138] ppid=13112 vsize=15689132 CPUtime=0.63 cores=1,3,5,7
/proc/13114/task/13138/stat : 13138 (java) S 13112 13114 13067 0 -1 4202560 2192 0 0 0 63 0 0 0 15 0 22 0 519532888 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13139] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13139/stat : 13139 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519532888 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13140] ppid=13112 vsize=15689132 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13140/stat : 13140 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519532888 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13145] ppid=13112 vsize=15689132 CPUtime=0.04 cores=1,3,5,7
/proc/13114/task/13145/stat : 13145 (java) R 13112 13114 13067 0 -1 4202560 41 0 0 0 4 0 0 0 15 0 22 0 519532997 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912506089257 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13114/tid=13146] ppid=13112 vsize=15689132 CPUtime=0.08 cores=1,3,5,7
/proc/13114/task/13146/stat : 13146 (java) R 13112 13114 13067 0 -1 4202560 17 0 0 0 8 0 0 0 15 0 22 0 519532997 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912506125430 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13114/tid=13147] ppid=13112 vsize=15689132 CPUtime=0.32 cores=1,3,5,7
/proc/13114/task/13147/stat : 13147 (java) S 13112 13114 13067 0 -1 4202560 33 0 0 0 32 0 0 0 15 0 22 0 519532997 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13148] ppid=13112 vsize=15689132 CPUtime=0.23 cores=1,3,5,7
/proc/13114/task/13148/stat : 13148 (java) S 13112 13114 13067 0 -1 4202560 20 0 0 0 23 0 0 0 15 0 22 0 519532997 16065671168 81203 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 15689132

[startup+6.30126 s]
/proc/loadavg: 6.30 7.58 7.06 7/220 13197
/proc/meminfo: memFree=22152664/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=15689684 CPUtime=17.45 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 192550 0 1 0 1716 29 0 0 25 0 22 0 519532883 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 3922421 180661 2286 9 0 3913140 0
[pid=13114/tid=13115] ppid=13112 vsize=15689684 CPUtime=2.66 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) S 13112 13114 13067 0 -1 4202560 61322 0 1 0 258 8 0 0 20 0 22 0 519532884 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13118] ppid=13112 vsize=15689684 CPUtime=0.01 cores=1,3,5,7
/proc/13114/task/13118/stat : 13118 (java) S 13112 13114 13067 0 -1 4202560 4790 0 0 0 0 1 0 0 15 0 22 0 519532884 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13119] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13119/stat : 13119 (java) S 13112 13114 13067 0 -1 4202560 3698 0 0 0 0 0 0 0 16 0 22 0 519532884 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13120] ppid=13112 vsize=15689684 CPUtime=0.02 cores=1,3,5,7
/proc/13114/task/13120/stat : 13120 (java) S 13112 13114 13067 0 -1 4202560 8758 0 0 0 1 1 0 0 16 0 22 0 519532884 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13121] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13121/stat : 13121 (java) S 13112 13114 13067 0 -1 4202560 4478 0 0 0 0 0 0 0 15 0 22 0 519532884 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13122] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13122/stat : 13122 (java) S 13112 13114 13067 0 -1 4202560 1381 0 0 0 0 0 0 0 15 0 22 0 519532884 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13123] ppid=13112 vsize=15689684 CPUtime=0.01 cores=1,3,5,7
/proc/13114/task/13123/stat : 13123 (java) S 13112 13114 13067 0 -1 4202560 6806 0 0 0 1 0 0 0 16 0 22 0 519532884 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13124] ppid=13112 vsize=15689684 CPUtime=0.03 cores=1,3,5,7
/proc/13114/task/13124/stat : 13124 (java) S 13112 13114 13067 0 -1 4202560 12258 0 0 0 2 1 0 0 16 0 22 0 519532884 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13125] ppid=13112 vsize=15689684 CPUtime=0.02 cores=1,3,5,7
/proc/13114/task/13125/stat : 13125 (java) S 13112 13114 13067 0 -1 4202560 7444 0 0 0 1 1 0 0 16 0 22 0 519532884 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13128] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13128/stat : 13128 (java) S 13112 13114 13067 0 -1 4202560 486 0 0 0 0 0 0 0 15 0 22 0 519532885 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 0 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13129] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13129/stat : 13129 (java) S 13112 13114 13067 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519532886 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13130] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13130/stat : 13130 (java) S 13112 13114 13067 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519532886 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13136] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13136/stat : 13136 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519532888 16066236416 180661 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458768817 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0

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

[pid=13114/tid=13146] ppid=13112 vsize=15689684 CPUtime=1046.07 cores=1,3,5,7
/proc/13114/task/13146/stat : 13146 (java) R 13112 13114 13067 0 -1 4202560 114535 0 0 0 104584 23 0 0 25 0 22 0 519532997 16066236416 129903 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912506458000 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13114/tid=13147] ppid=13112 vsize=15689684 CPUtime=1047.41 cores=1,3,5,7
/proc/13114/task/13147/stat : 13147 (java) R 13112 13114 13067 0 -1 4202560 116438 0 0 0 104720 21 0 0 25 0 22 0 519532997 16066236416 129903 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912506039315 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13114/tid=13148] ppid=13112 vsize=15689684 CPUtime=1047.05 cores=1,3,5,7
/proc/13114/task/13148/stat : 13148 (java) R 13112 13114 13067 0 -1 4202560 121309 0 0 0 104682 23 0 0 25 0 22 0 519532997 16066236416 129903 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912506462013 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4219.16
Current children cumulated vsize (KiB) 15689684

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 7.77 9/220 13227
/proc/meminfo: memFree=21837256/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=15689684 CPUtime=4457.83 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 947635 0 1 0 445518 265 0 0 25 0 22 0 519532883 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 3922421 127463 2300 9 0 3913140 0
[pid=13114/tid=13115] ppid=13112 vsize=15689684 CPUtime=2.66 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) S 13112 13114 13067 0 -1 4202560 61322 0 1 0 258 8 0 0 20 0 22 0 519532884 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13118] ppid=13112 vsize=15689684 CPUtime=3.16 cores=1,3,5,7
/proc/13114/task/13118/stat : 13118 (java) R 13112 13114 13067 0 -1 4202560 44723 0 0 0 305 11 0 0 15 0 22 0 519532884 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13114/tid=13119] ppid=13112 vsize=15689684 CPUtime=3.24 cores=1,3,5,7
/proc/13114/task/13119/stat : 13119 (java) S 13112 13114 13067 0 -1 4202560 40203 0 0 0 314 10 0 0 15 0 22 0 519532884 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13120] ppid=13112 vsize=15689684 CPUtime=3.22 cores=1,3,5,7
/proc/13114/task/13120/stat : 13120 (java) R 13112 13114 13067 0 -1 4202560 48994 0 0 0 308 14 0 0 15 0 22 0 519532884 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244446898487 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13114/tid=13121] ppid=13112 vsize=15689684 CPUtime=3.23 cores=1,3,5,7
/proc/13114/task/13121/stat : 13121 (java) R 13112 13114 13067 0 -1 4202560 46156 0 0 0 310 13 0 0 15 0 22 0 519532884 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244446898487 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13114/tid=13122] ppid=13112 vsize=15689684 CPUtime=3.32 cores=1,3,5,7
/proc/13114/task/13122/stat : 13122 (java) S 13112 13114 13067 0 -1 4202560 43201 0 0 0 321 11 0 0 16 0 22 0 519532884 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13123] ppid=13112 vsize=15689684 CPUtime=3.24 cores=1,3,5,7
/proc/13114/task/13123/stat : 13123 (java) S 13112 13114 13067 0 -1 4202560 46664 0 0 0 311 13 0 0 15 0 22 0 519532884 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13124] ppid=13112 vsize=15689684 CPUtime=3.21 cores=1,3,5,7
/proc/13114/task/13124/stat : 13124 (java) R 13112 13114 13067 0 -1 4202560 53889 0 0 0 308 13 0 0 15 0 22 0 519532884 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244446898487 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13114/tid=13125] ppid=13112 vsize=15689684 CPUtime=3.31 cores=1,3,5,7
/proc/13114/task/13125/stat : 13125 (java) R 13112 13114 13067 0 -1 4202560 53006 0 0 0 317 14 0 0 15 0 22 0 519532884 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244446898487 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13114/tid=13128] ppid=13112 vsize=15689684 CPUtime=1.75 cores=1,3,5,7
/proc/13114/task/13128/stat : 13128 (java) S 13112 13114 13067 0 -1 4202560 2264 0 0 0 127 48 0 0 15 0 22 0 519532885 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 0 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13129] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13129/stat : 13129 (java) S 13112 13114 13067 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519532886 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13130] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13130/stat : 13130 (java) S 13112 13114 13067 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519532886 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13136] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13136/stat : 13136 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519532888 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458768817 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13137] ppid=13112 vsize=15689684 CPUtime=1.8 cores=1,3,5,7
/proc/13114/task/13137/stat : 13137 (java) S 13112 13114 13067 0 -1 4202560 18612 0 0 0 178 2 0 0 15 0 22 0 519532888 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13138] ppid=13112 vsize=15689684 CPUtime=1.27 cores=1,3,5,7
/proc/13114/task/13138/stat : 13138 (java) S 13112 13114 13067 0 -1 4202560 2477 0 0 0 127 0 0 0 15 0 22 0 519532888 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13139] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13139/stat : 13139 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519532888 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13140] ppid=13112 vsize=15689684 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13140/stat : 13140 (java) S 13112 13114 13067 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 519532888 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13145] ppid=13112 vsize=15689684 CPUtime=1105.88 cores=1,3,5,7
/proc/13114/task/13145/stat : 13145 (java) S 13112 13114 13067 0 -1 4202560 122879 0 0 0 110561 27 0 0 25 0 22 0 519532997 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13146] ppid=13112 vsize=15689684 CPUtime=1105.39 cores=1,3,5,7
/proc/13114/task/13146/stat : 13146 (java) S 13112 13114 13067 0 -1 4202560 117484 0 0 0 110514 25 0 0 25 0 22 0 519532997 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13147] ppid=13112 vsize=15689684 CPUtime=1106.65 cores=1,3,5,7
/proc/13114/task/13147/stat : 13147 (java) S 13112 13114 13067 0 -1 4202560 119751 0 0 0 110643 22 0 0 25 0 22 0 519532997 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13148] ppid=13112 vsize=15689684 CPUtime=1106.31 cores=1,3,5,7
/proc/13114/task/13148/stat : 13148 (java) S 13112 13114 13067 0 -1 4202560 124561 0 0 0 110607 24 0 0 25 0 22 0 519532997 16066236416 127463 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4457.83
Current children cumulated vsize (KiB) 15689684

[startup+1182.3 s]
/proc/loadavg: 8.16 8.10 7.79 9/220 13228
/proc/meminfo: memFree=21695008/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=15755220 CPUtime=4696.46 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 998562 0 1 0 469366 280 0 0 25 0 22 0 519532883 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 3938805 136729 2300 9 0 3929524 0
[pid=13114/tid=13115] ppid=13112 vsize=15755220 CPUtime=2.66 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) S 13112 13114 13067 0 -1 4202560 61322 0 1 0 258 8 0 0 20 0 22 0 519532884 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13118] ppid=13112 vsize=15755220 CPUtime=3.33 cores=1,3,5,7
/proc/13114/task/13118/stat : 13118 (java) S 13112 13114 13067 0 -1 4202560 46820 0 0 0 321 12 0 0 15 0 22 0 519532884 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13119] ppid=13112 vsize=15755220 CPUtime=3.43 cores=1,3,5,7
/proc/13114/task/13119/stat : 13119 (java) S 13112 13114 13067 0 -1 4202560 42987 0 0 0 332 11 0 0 15 0 22 0 519532884 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13120] ppid=13112 vsize=15755220 CPUtime=3.37 cores=1,3,5,7
/proc/13114/task/13120/stat : 13120 (java) S 13112 13114 13067 0 -1 4202560 51353 0 0 0 323 14 0 0 16 0 22 0 519532884 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13121] ppid=13112 vsize=15755220 CPUtime=3.43 cores=1,3,5,7
/proc/13114/task/13121/stat : 13121 (java) S 13112 13114 13067 0 -1 4202560 48899 0 0 0 329 14 0 0 15 0 22 0 519532884 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13122] ppid=13112 vsize=15755220 CPUtime=3.48 cores=1,3,5,7
/proc/13114/task/13122/stat : 13122 (java) S 13112 13114 13067 0 -1 4202560 45824 0 0 0 336 12 0 0 16 0 22 0 519532884 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13123] ppid=13112 vsize=15755220 CPUtime=3.43 cores=1,3,5,7
/proc/13114/task/13123/stat : 13123 (java) S 13112 13114 13067 0 -1 4202560 49256 0 0 0 330 13 0 0 15 0 22 0 519532884 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13124] ppid=13112 vsize=15755220 CPUtime=3.35 cores=1,3,5,7
/proc/13114/task/13124/stat : 13124 (java) S 13112 13114 13067 0 -1 4202560 55771 0 0 0 322 13 0 0 15 0 22 0 519532884 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13125] ppid=13112 vsize=15755220 CPUtime=3.48 cores=1,3,5,7
/proc/13114/task/13125/stat : 13125 (java) S 13112 13114 13067 0 -1 4202560 55244 0 0 0 333 15 0 0 15 0 22 0 519532884 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13128] ppid=13112 vsize=15755220 CPUtime=1.85 cores=1,3,5,7
/proc/13114/task/13128/stat : 13128 (java) S 13112 13114 13067 0 -1 4202560 2391 0 0 0 134 51 0 0 15 0 22 0 519532885 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 0 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13129] ppid=13112 vsize=15755220 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13129/stat : 13129 (java) S 13112 13114 13067 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519532886 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13130] ppid=13112 vsize=15755220 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13130/stat : 13130 (java) S 13112 13114 13067 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519532886 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13136] ppid=13112 vsize=15755220 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13136/stat : 13136 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519532888 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458768817 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13137] ppid=13112 vsize=15755220 CPUtime=1.8 cores=1,3,5,7
/proc/13114/task/13137/stat : 13137 (java) S 13112 13114 13067 0 -1 4202560 18612 0 0 0 178 2 0 0 15 0 22 0 519532888 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13138] ppid=13112 vsize=15755220 CPUtime=1.27 cores=1,3,5,7
/proc/13114/task/13138/stat : 13138 (java) S 13112 13114 13067 0 -1 4202560 2477 0 0 0 127 0 0 0 15 0 22 0 519532888 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13139] ppid=13112 vsize=15755220 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13139/stat : 13139 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519532888 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13140] ppid=13112 vsize=15755220 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13140/stat : 13140 (java) S 13112 13114 13067 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 519532888 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13145] ppid=13112 vsize=15755220 CPUtime=1165.11 cores=1,3,5,7
/proc/13114/task/13145/stat : 13145 (java) R 13112 13114 13067 0 -1 4202560 130125 0 0 0 116483 28 0 0 25 0 22 0 519532997 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912505877120 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13114/tid=13146] ppid=13112 vsize=15755220 CPUtime=1164.62 cores=1,3,5,7
/proc/13114/task/13146/stat : 13146 (java) R 13112 13114 13067 0 -1 4202560 125982 0 0 0 116435 27 0 0 25 0 22 0 519532997 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912506106496 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13114/tid=13147] ppid=13112 vsize=15755220 CPUtime=1166.01 cores=1,3,5,7
/proc/13114/task/13147/stat : 13147 (java) R 13112 13114 13067 0 -1 4202560 128134 0 0 0 116577 24 0 0 25 0 22 0 519532997 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912506391535 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=13114/tid=13148] ppid=13112 vsize=15755220 CPUtime=1165.67 cores=1,3,5,7
/proc/13114/task/13148/stat : 13148 (java) R 13112 13114 13067 0 -1 4202560 131913 0 0 0 116541 26 0 0 25 0 22 0 519532997 16133345280 136729 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912505892292 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4696.46
Current children cumulated vsize (KiB) 15755220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1208.4 s]
/proc/loadavg: 8.16 8.11 7.80 10/220 13229
/proc/meminfo: memFree=21720792/32951124 swapFree=67111524/67111528
[pid=13114] ppid=13112 vsize=15755220 CPUtime=4800.29 cores=1,3,5,7
/proc/13114/stat : 13114 (java) S 13112 13114 13067 0 -1 4202496 1005459 0 1 0 479744 285 0 0 25 0 22 0 519532883 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/13114/statm: 3938805 124994 2300 9 0 3929524 0
[pid=13114/tid=13115] ppid=13112 vsize=15755220 CPUtime=2.66 cores=1,3,5,7
/proc/13114/task/13115/stat : 13115 (java) S 13112 13114 13067 0 -1 4202560 61322 0 1 0 258 8 0 0 20 0 22 0 519532884 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13118] ppid=13112 vsize=15755220 CPUtime=3.41 cores=1,3,5,7
/proc/13114/task/13118/stat : 13118 (java) S 13112 13114 13067 0 -1 4202560 46990 0 0 0 329 12 0 0 16 0 22 0 519532884 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13119] ppid=13112 vsize=15755220 CPUtime=3.5 cores=1,3,5,7
/proc/13114/task/13119/stat : 13119 (java) S 13112 13114 13067 0 -1 4202560 43062 0 0 0 339 11 0 0 15 0 22 0 519532884 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13120] ppid=13112 vsize=15755220 CPUtime=3.44 cores=1,3,5,7
/proc/13114/task/13120/stat : 13120 (java) S 13112 13114 13067 0 -1 4202560 51593 0 0 0 330 14 0 0 15 0 22 0 519532884 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13121] ppid=13112 vsize=15755220 CPUtime=3.52 cores=1,3,5,7
/proc/13114/task/13121/stat : 13121 (java) S 13112 13114 13067 0 -1 4202560 49201 0 0 0 338 14 0 0 15 0 22 0 519532884 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13122] ppid=13112 vsize=15755220 CPUtime=3.57 cores=1,3,5,7
/proc/13114/task/13122/stat : 13122 (java) S 13112 13114 13067 0 -1 4202560 46034 0 0 0 344 13 0 0 15 0 22 0 519532884 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13123] ppid=13112 vsize=15755220 CPUtime=3.52 cores=1,3,5,7
/proc/13114/task/13123/stat : 13123 (java) S 13112 13114 13067 0 -1 4202560 49426 0 0 0 338 14 0 0 15 0 22 0 519532884 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 1 0 0 0
[pid=13114/tid=13124] ppid=13112 vsize=15755220 CPUtime=3.44 cores=1,3,5,7
/proc/13114/task/13124/stat : 13124 (java) S 13112 13114 13067 0 -1 4202560 56122 0 0 0 330 14 0 0 15 0 22 0 519532884 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 3 0 0 0
[pid=13114/tid=13125] ppid=13112 vsize=15755220 CPUtime=3.55 cores=1,3,5,7
/proc/13114/task/13125/stat : 13125 (java) S 13112 13114 13067 0 -1 4202560 55493 0 0 0 340 15 0 0 16 0 22 0 519532884 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13128] ppid=13112 vsize=15755220 CPUtime=1.89 cores=1,3,5,7
/proc/13114/task/13128/stat : 13128 (java) S 13112 13114 13067 0 -1 4202560 2439 0 0 0 136 53 0 0 15 0 22 0 519532885 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 0 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13129] ppid=13112 vsize=15755220 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13129/stat : 13129 (java) S 13112 13114 13067 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519532886 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13130] ppid=13112 vsize=15755220 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13130/stat : 13130 (java) S 13112 13114 13067 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519532886 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13136] ppid=13112 vsize=15755220 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13136/stat : 13136 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519532888 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458768817 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13137] ppid=13112 vsize=15755220 CPUtime=1.8 cores=1,3,5,7
/proc/13114/task/13137/stat : 13137 (java) S 13112 13114 13067 0 -1 4202560 18612 0 0 0 178 2 0 0 15 0 22 0 519532888 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13138] ppid=13112 vsize=15755220 CPUtime=1.27 cores=1,3,5,7
/proc/13114/task/13138/stat : 13138 (java) S 13112 13114 13067 0 -1 4202560 2477 0 0 0 127 0 0 0 15 0 22 0 519532888 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 7 0 0 0
[pid=13114/tid=13139] ppid=13112 vsize=15755220 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13139/stat : 13139 (java) S 13112 13114 13067 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 519532888 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761113 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13140] ppid=13112 vsize=15755220 CPUtime=0 cores=1,3,5,7
/proc/13114/task/13140/stat : 13140 (java) S 13112 13114 13067 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 519532888 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 244458761728 0 4 0 16800975 18446604471161183104 0 0 -1 5 0 0 0
[pid=13114/tid=13145] ppid=13112 vsize=15755220 CPUtime=1190.94 cores=1,3,5,7
/proc/13114/task/13145/stat : 13145 (java) R 13112 13114 13067 0 -1 4202560 131394 0 0 0 119065 29 0 0 25 0 22 0 519532997 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912506039608 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13114/tid=13146] ppid=13112 vsize=15755220 CPUtime=1190.45 cores=1,3,5,7
/proc/13114/task/13146/stat : 13146 (java) R 13112 13114 13067 0 -1 4202560 127088 0 0 0 119018 27 0 0 25 0 22 0 519532997 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912505524165 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13114/tid=13147] ppid=13112 vsize=15755220 CPUtime=1191.75 cores=1,3,5,7
/proc/13114/task/13147/stat : 13147 (java) R 13112 13114 13067 0 -1 4202560 129523 0 0 0 119151 24 0 0 25 0 22 0 519532997 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912506045999 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13114/tid=13148] ppid=13112 vsize=15755220 CPUtime=1191.44 cores=1,3,5,7
/proc/13114/task/13148/stat : 13148 (java) R 13112 13114 13067 0 -1 4202560 133230 0 0 0 119117 27 0 0 25 0 22 0 519532997 16133345280 124994 33554432000 1073741824 1073778376 140735135971856 18446744073709551615 46912506046031 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 15755220

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): 1208.44
CPU time (s): 4800.36
CPU user time (s): 4797.48
CPU system time (s): 2.88056
CPU usage (%): 397.236
Max. virtual memory (cumulated for all children) (KiB): 15755220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.48
system time used= 2.88056
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1005485
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= 249389
involuntary context switches= 144782

runsolver used 1.91971 second user time and 4.72028 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 14:15:24
IDJOB=3313171
IDBENCH=71153
IDSOLVER=1699
FILE ID=node105/3313171-1304079324
RUNJOBID= node105-1304079324-13086
PBS_JOBID= 13170530
Free space on /tmp= 71932 MiB

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

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

MD5SUM BENCH= 36c3169a5cad0483dd15befcefc4323e
RANDOM SEED=1000368937

node105.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.825
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.825
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.825
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.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
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:      23124184 kB
Buffers:       2153756 kB
Cached:        7057816 kB
SwapCached:          4 kB
Active:         473016 kB
Inactive:      8805976 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23124184 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7428 kB
Writeback:           0 kB
AnonPages:       66468 kB
Mapped:          17860 kB
Slab:           483556 kB
PageTables:       4588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   759532 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= 71928 MiB
End job on node105 at 2011-04-29 14:35:35