Trace number 3313257

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.54 1209.43

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
MD5SUM2b5c02650b763b7d13b77ce3fc61aa15
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.29735
Satisfiable
(Un)Satisfiability was proved
Number of variables116405
Number of clauses346850
Sum of the clauses size809314
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2231232
Number of clauses of size 3115616
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.11/0.12	33:55 INFO : Reading from input HOME/instance-3313257-1304109234.cnf
1.55/1.37	Executor set job limit to 1000000
1.55/1.37	Executor set job limit to 1000000
1.55/1.37	Executor set job limit to 1000000
1.55/1.37	Executor set job limit to 1000000
1.55/1.37	Starting Executor!
1.55/1.37	Starting Executor!
1.55/1.37	Starting Executor!
1.55/1.38	Starting Executor!
6.83/4.83	33:59 INFO : 105633 variables remaining out of 116405
6.83/4.83	33:59 INFO : 2794457 literals remaining out of 1156164
2438.91/617.99	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:4).
2438.91/617.99	log4j:WARN Please initialize the log4j system properly.
2438.91/617.99	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-3313257-1304109234/watcher-3313257-1304109234 -o /tmp/evaluation-result-3313257-1304109234/solver-3313257-1304109234 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313257-1304109234.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: 8.12 8.06 7.85 2/194 21099
/proc/meminfo: memFree=30591352/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/21099/stat : 21099 (java) S 21097 21099 19850 0 -1 4202496 1415 0 0 0 0 0 0 0 23 0 2 0 522525810 26714112 885 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447819749 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 6793 885 678 9 0 381 0
[pid=21099/tid=21100] ppid=21097 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21100/stat : 21100 (java) R 21097 21099 19850 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 522525810 27824128 894 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212431093383 0 2147483391 4096 0 0 0 0 -1 4 0 0 0

[startup+0.103091 s]
/proc/loadavg: 8.12 8.06 7.85 2/194 21099
/proc/meminfo: memFree=30591352/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=15676832 CPUtime=0.11 cores=0,2,4,6
/proc/21099/stat : 21099 (java) S 21097 21099 19850 0 -1 4202496 5638 0 1 0 10 1 0 0 23 0 18 0 522525810 16053075968 5050 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 3919208 5051 2117 9 0 3909927 0
[pid=21099/tid=21100] ppid=21097 vsize=15676832 CPUtime=0.09 cores=0,2,4,6
/proc/21099/task/21100/stat : 21100 (java) R 21097 21099 19850 0 -1 4202560 3481 0 1 0 8 1 0 0 18 0 18 0 522525810 16053075968 5051 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 47244600169978 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676832

[startup+0.20107 s]
/proc/loadavg: 8.12 8.06 7.85 2/194 21099
/proc/meminfo: memFree=30591352/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=15677740 CPUtime=0.28 cores=0,2,4,6
/proc/21099/stat : 21099 (java) S 21097 21099 19850 0 -1 4202496 7190 0 1 0 27 1 0 0 23 0 18 0 522525810 16054005760 6547 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 3919435 6548 2184 9 0 3910154 0
[pid=21099/tid=21100] ppid=21097 vsize=15677740 CPUtime=0.18 cores=0,2,4,6
/proc/21099/task/21100/stat : 21100 (java) R 21097 21099 19850 0 -1 4202560 4634 0 1 0 17 1 0 0 18 0 18 0 522525810 16054005760 6548 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912505511518 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15677740

[startup+0.301066 s]
/proc/loadavg: 8.12 8.06 7.85 2/194 21099
/proc/meminfo: memFree=30591352/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=15680268 CPUtime=0.53 cores=0,2,4,6
/proc/21099/stat : 21099 (java) S 21097 21099 19850 0 -1 4202496 15108 0 1 0 51 2 0 0 23 0 18 0 522525810 16056594432 13572 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 3920067 13577 2207 9 0 3910786 0
[pid=21099/tid=21100] ppid=21097 vsize=15680268 CPUtime=0.29 cores=0,2,4,6
/proc/21099/task/21100/stat : 21100 (java) R 21097 21099 19850 0 -1 4202560 10070 0 1 0 27 2 0 0 18 0 18 0 522525810 16056594432 13580 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912505637984 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15680268

[startup+0.700977 s]
/proc/loadavg: 8.12 8.06 7.85 2/194 21099
/proc/meminfo: memFree=30591352/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=15680268 CPUtime=0.94 cores=0,2,4,6
/proc/21099/stat : 21099 (java) S 21097 21099 19850 0 -1 4202496 41936 0 1 0 88 6 0 0 23 0 18 0 522525810 16056594432 40397 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 3920067 40397 2223 9 0 3910786 0
[pid=21099/tid=21100] ppid=21097 vsize=15680268 CPUtime=0.68 cores=0,2,4,6
/proc/21099/task/21100/stat : 21100 (java) R 21097 21099 19850 0 -1 4202560 35545 0 1 0 63 5 0 0 18 0 18 0 522525810 16056594432 40397 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912505640211 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 15680268

[startup+1.50085 s]
/proc/loadavg: 7.63 7.96 7.82 4/216 21121
/proc/meminfo: memFree=30253772/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=15684380 CPUtime=1.86 cores=0,2,4,6
/proc/21099/stat : 21099 (java) S 21097 21099 19850 0 -1 4202496 49187 0 1 0 179 7 0 0 23 0 22 0 522525810 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 3921095 47630 2253 9 0 3911814 0
[pid=21099/tid=21100] ppid=21097 vsize=15684380 CPUtime=1.46 cores=0,2,4,6
/proc/21099/task/21100/stat : 21100 (java) R 21097 21099 19850 0 -1 4202560 39540 0 1 0 140 6 0 0 21 0 22 0 522525810 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912505684728 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21099/tid=21102] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21102/stat : 21102 (java) S 21097 21099 19850 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 522525811 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21103] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21103/stat : 21103 (java) S 21097 21099 19850 0 -1 4202560 1977 0 0 0 0 0 0 0 15 0 22 0 522525811 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21104] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21104/stat : 21104 (java) S 21097 21099 19850 0 -1 4202560 403 0 0 0 0 0 0 0 15 0 22 0 522525811 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21105] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21105/stat : 21105 (java) S 21097 21099 19850 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 522525811 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21106] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21106/stat : 21106 (java) S 21097 21099 19850 0 -1 4202560 79 0 0 0 0 0 0 0 16 0 22 0 522525811 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21107] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21107/stat : 21107 (java) S 21097 21099 19850 0 -1 4202560 357 0 0 0 0 0 0 0 15 0 22 0 522525811 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21108] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21108/stat : 21108 (java) S 21097 21099 19850 0 -1 4202560 259 0 0 0 0 0 0 0 16 0 22 0 522525811 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21109] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21109/stat : 21109 (java) S 21097 21099 19850 0 -1 4202560 1230 0 0 0 0 0 0 0 15 0 22 0 522525811 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21110] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21110/stat : 21110 (java) S 21097 21099 19850 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 522525812 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21111] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21111/stat : 21111 (java) S 21097 21099 19850 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522525812 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21112] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21112/stat : 21112 (java) S 21097 21099 19850 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522525812 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21113] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21113/stat : 21113 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21114] ppid=21097 vsize=15684380 CPUtime=0.16 cores=0,2,4,6
/proc/21099/task/21114/stat : 21114 (java) S 21097 21099 19850 0 -1 4202560 1266 0 0 0 16 0 0 0 15 0 22 0 522525814 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21115] ppid=21097 vsize=15684380 CPUtime=0.18 cores=0,2,4,6
/proc/21099/task/21115/stat : 21115 (java) S 21097 21099 19850 0 -1 4202560 2461 0 0 0 18 0 0 0 15 0 22 0 522525814 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21116] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21116/stat : 21116 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21117] ppid=21097 vsize=15684380 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21117/stat : 21117 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522525814 16060805120 47630 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 15684380

[startup+3.10156 s]
/proc/loadavg: 7.63 7.96 7.82 4/220 21125
/proc/meminfo: memFree=30158280/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=15684680 CPUtime=4.47 cores=0,2,4,6
/proc/21099/stat : 21099 (java) S 21097 21099 19850 0 -1 4202496 78601 0 1 0 435 12 0 0 23 0 22 0 522525810 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 3921170 71691 2265 9 0 3911889 0
[pid=21099/tid=21100] ppid=21097 vsize=15684680 CPUtime=3.06 cores=0,2,4,6
/proc/21099/task/21100/stat : 21100 (java) R 21097 21099 19850 0 -1 4202560 57045 0 1 0 298 8 0 0 25 0 22 0 522525810 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912506079925 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21099/tid=21102] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21102/stat : 21102 (java) S 21097 21099 19850 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 522525811 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21103] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21103/stat : 21103 (java) S 21097 21099 19850 0 -1 4202560 1977 0 0 0 0 0 0 0 15 0 22 0 522525811 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21104] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21104/stat : 21104 (java) S 21097 21099 19850 0 -1 4202560 403 0 0 0 0 0 0 0 15 0 22 0 522525811 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21105] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21105/stat : 21105 (java) S 21097 21099 19850 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 522525811 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21106] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21106/stat : 21106 (java) S 21097 21099 19850 0 -1 4202560 79 0 0 0 0 0 0 0 16 0 22 0 522525811 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21107] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21107/stat : 21107 (java) S 21097 21099 19850 0 -1 4202560 357 0 0 0 0 0 0 0 15 0 22 0 522525811 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21108] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21108/stat : 21108 (java) S 21097 21099 19850 0 -1 4202560 259 0 0 0 0 0 0 0 16 0 22 0 522525811 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21109] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21109/stat : 21109 (java) S 21097 21099 19850 0 -1 4202560 1230 0 0 0 0 0 0 0 15 0 22 0 522525811 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21110] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21110/stat : 21110 (java) S 21097 21099 19850 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 522525812 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21111] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21111/stat : 21111 (java) S 21097 21099 19850 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522525812 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21112] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21112/stat : 21112 (java) S 21097 21099 19850 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522525812 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21113] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21113/stat : 21113 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21114] ppid=21097 vsize=15684680 CPUtime=0.58 cores=0,2,4,6
/proc/21099/task/21114/stat : 21114 (java) S 21097 21099 19850 0 -1 4202560 3055 0 0 0 58 0 0 0 15 0 22 0 522525814 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21115] ppid=21097 vsize=15684680 CPUtime=0.76 cores=0,2,4,6
/proc/21099/task/21115/stat : 21115 (java) S 21097 21099 19850 0 -1 4202560 12581 0 0 0 75 1 0 0 15 0 22 0 522525814 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21116] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21116/stat : 21116 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21117] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21117/stat : 21117 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522525814 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21122] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21122/stat : 21122 (java) S 21097 21099 19850 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 522525947 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21123] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21123/stat : 21123 (java) S 21097 21099 19850 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 522525947 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21124] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21124/stat : 21124 (java) S 21097 21099 19850 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522525947 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21125] ppid=21097 vsize=15684680 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21125/stat : 21125 (java) S 21097 21099 19850 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 522525947 16061112320 71691 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 15684680

[startup+6.30092 s]
/proc/loadavg: 7.18 7.86 7.78 4/220 21125
/proc/meminfo: memFree=29787644/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=15685160 CPUtime=9.8 cores=0,2,4,6
/proc/21099/stat : 21099 (java) S 21097 21099 19850 0 -1 4202496 144205 0 1 0 958 22 0 0 23 0 22 0 522525810 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 3921290 136005 2286 9 0 3912009 0
[pid=21099/tid=21100] ppid=21097 vsize=15685160 CPUtime=4.75 cores=0,2,4,6
/proc/21099/task/21100/stat : 21100 (java) S 21097 21099 19850 0 -1 4202560 64825 0 1 0 466 9 0 0 25 0 22 0 522525810 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21102] ppid=21097 vsize=15685160 CPUtime=0.06 cores=0,2,4,6
/proc/21099/task/21102/stat : 21102 (java) S 21097 21099 19850 0 -1 4202560 8458 0 0 0 5 1 0 0 16 0 22 0 522525811 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21103] ppid=21097 vsize=15685160 CPUtime=0.04 cores=0,2,4,6
/proc/21099/task/21103/stat : 21103 (java) S 21097 21099 19850 0 -1 4202560 6687 0 0 0 3 1 0 0 15 0 22 0 522525811 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21104] ppid=21097 vsize=15685160 CPUtime=0.09 cores=0,2,4,6
/proc/21099/task/21104/stat : 21104 (java) S 21097 21099 19850 0 -1 4202560 13038 0 0 0 7 2 0 0 16 0 22 0 522525811 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21105] ppid=21097 vsize=15685160 CPUtime=0.06 cores=0,2,4,6
/proc/21099/task/21105/stat : 21105 (java) S 21097 21099 19850 0 -1 4202560 8679 0 0 0 5 1 0 0 16 0 22 0 522525811 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21106] ppid=21097 vsize=15685160 CPUtime=0.05 cores=0,2,4,6
/proc/21099/task/21106/stat : 21106 (java) S 21097 21099 19850 0 -1 4202560 5507 0 0 0 4 1 0 0 15 0 22 0 522525811 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21107] ppid=21097 vsize=15685160 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21107/stat : 21107 (java) S 21097 21099 19850 0 -1 4202560 383 0 0 0 0 0 0 0 15 0 22 0 522525811 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21108] ppid=21097 vsize=15685160 CPUtime=0.04 cores=0,2,4,6
/proc/21099/task/21108/stat : 21108 (java) S 21097 21099 19850 0 -1 4202560 5192 0 0 0 4 0 0 0 15 0 22 0 522525811 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21109] ppid=21097 vsize=15685160 CPUtime=0.08 cores=0,2,4,6
/proc/21099/task/21109/stat : 21109 (java) S 21097 21099 19850 0 -1 4202560 12676 0 0 0 6 2 0 0 16 0 22 0 522525811 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21110] ppid=21097 vsize=15685160 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21110/stat : 21110 (java) S 21097 21099 19850 0 -1 4202560 286 0 0 0 0 0 0 0 15 0 22 0 522525812 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21111] ppid=21097 vsize=15685160 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21111/stat : 21111 (java) S 21097 21099 19850 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522525812 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21112] ppid=21097 vsize=15685160 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21112/stat : 21112 (java) S 21097 21099 19850 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522525812 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21113] ppid=21097 vsize=15685160 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21113/stat : 21113 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16061603840 136005 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0

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

/proc/21099/task/21104/stat : 21104 (java) S 21097 21099 19850 0 -1 4202560 227055 0 0 0 711 35 0 0 15 0 22 0 522525811 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21105] ppid=21097 vsize=15688288 CPUtime=7.04 cores=0,2,4,6
/proc/21099/task/21105/stat : 21105 (java) S 21097 21099 19850 0 -1 4202560 158327 0 0 0 680 24 0 0 16 0 22 0 522525811 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21106] ppid=21097 vsize=15688288 CPUtime=7.6 cores=0,2,4,6
/proc/21099/task/21106/stat : 21106 (java) S 21097 21099 19850 0 -1 4202560 246110 0 0 0 718 42 0 0 16 0 22 0 522525811 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21107] ppid=21097 vsize=15688288 CPUtime=8.1 cores=0,2,4,6
/proc/21099/task/21107/stat : 21107 (java) S 21097 21099 19850 0 -1 4202560 271775 0 0 0 764 46 0 0 15 0 22 0 522525811 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21108] ppid=21097 vsize=15688288 CPUtime=7.85 cores=0,2,4,6
/proc/21099/task/21108/stat : 21108 (java) S 21097 21099 19850 0 -1 4202560 229439 0 0 0 748 37 0 0 16 0 22 0 522525811 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21109] ppid=21097 vsize=15688288 CPUtime=7.37 cores=0,2,4,6
/proc/21099/task/21109/stat : 21109 (java) S 21097 21099 19850 0 -1 4202560 176493 0 0 0 710 27 0 0 15 0 22 0 522525811 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21110] ppid=21097 vsize=15688288 CPUtime=2.78 cores=0,2,4,6
/proc/21099/task/21110/stat : 21110 (java) S 21097 21099 19850 0 -1 4202560 52918 0 0 0 272 6 0 0 15 0 22 0 522525812 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21111] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21111/stat : 21111 (java) S 21097 21099 19850 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522525812 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21112] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21112/stat : 21112 (java) S 21097 21099 19850 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522525812 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21113] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21113/stat : 21113 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21114] ppid=21097 vsize=15688288 CPUtime=1.64 cores=0,2,4,6
/proc/21099/task/21114/stat : 21114 (java) S 21097 21099 19850 0 -1 4202560 3939 0 0 0 164 0 0 0 15 0 22 0 522525814 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21115] ppid=21097 vsize=15688288 CPUtime=1.66 cores=0,2,4,6
/proc/21099/task/21115/stat : 21115 (java) S 21097 21099 19850 0 -1 4202560 12672 0 0 0 165 1 0 0 15 0 22 0 522525814 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21116] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21116/stat : 21116 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21117] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21117/stat : 21117 (java) S 21097 21099 19850 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 522525814 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21122] ppid=21097 vsize=15688288 CPUtime=1097.39 cores=0,2,4,6
/proc/21099/task/21122/stat : 21122 (java) R 21097 21099 19850 0 -1 4202560 19052 0 0 0 109734 5 0 0 25 0 22 0 522525947 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912506339420 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=21099/tid=21123] ppid=21097 vsize=15688288 CPUtime=1098.37 cores=0,2,4,6
/proc/21099/task/21123/stat : 21123 (java) R 21097 21099 19850 0 -1 4202560 18329 0 0 0 109834 3 0 0 25 0 22 0 522525947 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912506048530 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21099/tid=21124] ppid=21097 vsize=15688288 CPUtime=1093.07 cores=0,2,4,6
/proc/21099/task/21124/stat : 21124 (java) R 21097 21099 19850 0 -1 4202560 16425 0 0 0 109305 2 0 0 25 0 22 0 522525947 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912506059090 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21099/tid=21125] ppid=21097 vsize=15688288 CPUtime=1093.7 cores=0,2,4,6
/proc/21099/task/21125/stat : 21125 (java) R 21097 21099 19850 0 -1 4202560 6298 0 0 0 109367 3 0 0 25 0 22 0 522525947 16064806912 2023785 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 47244600927873 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4453.49
Current children cumulated vsize (KiB) 15688288

[startup+1182.3 s]
/proc/loadavg: 4.31 6.28 7.31 5/193 21175
/proc/meminfo: memFree=22428108/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=15688288 CPUtime=4693.12 cores=0,2,4,6
/proc/21099/stat : 21099 (java) S 21097 21099 19850 0 -1 4202496 2062456 0 1 0 468973 339 0 0 23 0 22 0 522525810 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 3922072 2041853 2300 9 0 3912791 0
[pid=21099/tid=21100] ppid=21097 vsize=15688288 CPUtime=4.75 cores=0,2,4,6
/proc/21099/task/21100/stat : 21100 (java) S 21097 21099 19850 0 -1 4202560 64825 0 1 0 466 9 0 0 25 0 22 0 522525810 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21102] ppid=21097 vsize=15688288 CPUtime=7 cores=0,2,4,6
/proc/21099/task/21102/stat : 21102 (java) S 21097 21099 19850 0 -1 4202560 272196 0 0 0 656 44 0 0 15 0 22 0 522525811 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21103] ppid=21097 vsize=15688288 CPUtime=8.29 cores=0,2,4,6
/proc/21099/task/21103/stat : 21103 (java) S 21097 21099 19850 0 -1 4202560 271401 0 0 0 784 45 0 0 16 0 22 0 522525811 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21104] ppid=21097 vsize=15688288 CPUtime=7.7 cores=0,2,4,6
/proc/21099/task/21104/stat : 21104 (java) S 21097 21099 19850 0 -1 4202560 233441 0 0 0 734 36 0 0 15 0 22 0 522525811 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21105] ppid=21097 vsize=15688288 CPUtime=7.19 cores=0,2,4,6
/proc/21099/task/21105/stat : 21105 (java) S 21097 21099 19850 0 -1 4202560 159401 0 0 0 695 24 0 0 16 0 22 0 522525811 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21106] ppid=21097 vsize=15688288 CPUtime=7.84 cores=0,2,4,6
/proc/21099/task/21106/stat : 21106 (java) S 21097 21099 19850 0 -1 4202560 247789 0 0 0 742 42 0 0 15 0 22 0 522525811 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21107] ppid=21097 vsize=15688288 CPUtime=8.48 cores=0,2,4,6
/proc/21099/task/21107/stat : 21107 (java) S 21097 21099 19850 0 -1 4202560 276014 0 0 0 801 47 0 0 16 0 22 0 522525811 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21108] ppid=21097 vsize=15688288 CPUtime=8.04 cores=0,2,4,6
/proc/21099/task/21108/stat : 21108 (java) S 21097 21099 19850 0 -1 4202560 229476 0 0 0 767 37 0 0 16 0 22 0 522525811 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21109] ppid=21097 vsize=15688288 CPUtime=7.51 cores=0,2,4,6
/proc/21099/task/21109/stat : 21109 (java) S 21097 21099 19850 0 -1 4202560 176804 0 0 0 724 27 0 0 15 0 22 0 522525811 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21110] ppid=21097 vsize=15688288 CPUtime=2.78 cores=0,2,4,6
/proc/21099/task/21110/stat : 21110 (java) S 21097 21099 19850 0 -1 4202560 52923 0 0 0 272 6 0 0 15 0 22 0 522525812 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21111] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21111/stat : 21111 (java) S 21097 21099 19850 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522525812 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21112] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21112/stat : 21112 (java) S 21097 21099 19850 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522525812 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21113] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21113/stat : 21113 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21114] ppid=21097 vsize=15688288 CPUtime=1.64 cores=0,2,4,6
/proc/21099/task/21114/stat : 21114 (java) S 21097 21099 19850 0 -1 4202560 3939 0 0 0 164 0 0 0 15 0 22 0 522525814 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21115] ppid=21097 vsize=15688288 CPUtime=1.66 cores=0,2,4,6
/proc/21099/task/21115/stat : 21115 (java) S 21097 21099 19850 0 -1 4202560 12672 0 0 0 165 1 0 0 15 0 22 0 522525814 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21116] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21116/stat : 21116 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21117] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21117/stat : 21117 (java) S 21097 21099 19850 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 522525814 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21122] ppid=21097 vsize=15688288 CPUtime=1156.53 cores=0,2,4,6
/proc/21099/task/21122/stat : 21122 (java) R 21097 21099 19850 0 -1 4202560 19057 0 0 0 115648 5 0 0 25 0 22 0 522525947 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 47244600924680 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=21099/tid=21123] ppid=21097 vsize=15688288 CPUtime=1157.83 cores=0,2,4,6
/proc/21099/task/21123/stat : 21123 (java) R 21097 21099 19850 0 -1 4202560 18334 0 0 0 115780 3 0 0 25 0 22 0 522525947 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912506245388 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21099/tid=21124] ppid=21097 vsize=15688288 CPUtime=1152.54 cores=0,2,4,6
/proc/21099/task/21124/stat : 21124 (java) R 21097 21099 19850 0 -1 4202560 16425 0 0 0 115252 2 0 0 25 0 22 0 522525947 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912506059023 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21099/tid=21125] ppid=21097 vsize=15688288 CPUtime=1153.17 cores=0,2,4,6
/proc/21099/task/21125/stat : 21125 (java) R 21097 21099 19850 0 -1 4202560 6302 0 0 0 115314 3 0 0 25 0 22 0 522525947 16064806912 2041853 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 47244600924299 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4693.12
Current children cumulated vsize (KiB) 15688288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1209.1 s]
/proc/loadavg: 4.20 6.09 7.22 5/193 21175
/proc/meminfo: memFree=22428688/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=15688288 CPUtime=4800.18 cores=0,2,4,6
/proc/21099/stat : 21099 (java) S 21097 21099 19850 0 -1 4202496 2064488 0 1 0 479678 340 0 0 23 0 22 0 522525810 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 3922072 2041677 2300 9 0 3912791 0
[pid=21099/tid=21100] ppid=21097 vsize=15688288 CPUtime=4.75 cores=0,2,4,6
/proc/21099/task/21100/stat : 21100 (java) S 21097 21099 19850 0 -1 4202560 64825 0 1 0 466 9 0 0 25 0 22 0 522525810 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21102] ppid=21097 vsize=15688288 CPUtime=7.1 cores=0,2,4,6
/proc/21099/task/21102/stat : 21102 (java) S 21097 21099 19850 0 -1 4202560 272197 0 0 0 666 44 0 0 15 0 22 0 522525811 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21103] ppid=21097 vsize=15688288 CPUtime=8.43 cores=0,2,4,6
/proc/21099/task/21103/stat : 21103 (java) S 21097 21099 19850 0 -1 4202560 271423 0 0 0 798 45 0 0 16 0 22 0 522525811 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21104] ppid=21097 vsize=15688288 CPUtime=7.76 cores=0,2,4,6
/proc/21099/task/21104/stat : 21104 (java) S 21097 21099 19850 0 -1 4202560 233441 0 0 0 740 36 0 0 15 0 22 0 522525811 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21105] ppid=21097 vsize=15688288 CPUtime=7.28 cores=0,2,4,6
/proc/21099/task/21105/stat : 21105 (java) S 21097 21099 19850 0 -1 4202560 159436 0 0 0 704 24 0 0 16 0 22 0 522525811 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21106] ppid=21097 vsize=15688288 CPUtime=7.97 cores=0,2,4,6
/proc/21099/task/21106/stat : 21106 (java) S 21097 21099 19850 0 -1 4202560 247821 0 0 0 755 42 0 0 15 0 22 0 522525811 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21107] ppid=21097 vsize=15688288 CPUtime=8.57 cores=0,2,4,6
/proc/21099/task/21107/stat : 21107 (java) S 21097 21099 19850 0 -1 4202560 276014 0 0 0 810 47 0 0 15 0 22 0 522525811 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21108] ppid=21097 vsize=15688288 CPUtime=8.18 cores=0,2,4,6
/proc/21099/task/21108/stat : 21108 (java) S 21097 21099 19850 0 -1 4202560 229477 0 0 0 781 37 0 0 16 0 22 0 522525811 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21109] ppid=21097 vsize=15688288 CPUtime=7.7 cores=0,2,4,6
/proc/21099/task/21109/stat : 21109 (java) S 21097 21099 19850 0 -1 4202560 178728 0 0 0 742 28 0 0 16 0 22 0 522525811 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 0 0 0 0
[pid=21099/tid=21110] ppid=21097 vsize=15688288 CPUtime=2.78 cores=0,2,4,6
/proc/21099/task/21110/stat : 21110 (java) S 21097 21099 19850 0 -1 4202560 52932 0 0 0 272 6 0 0 15 0 22 0 522525812 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 0 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21111] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21111/stat : 21111 (java) S 21097 21099 19850 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522525812 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21112] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21112/stat : 21112 (java) S 21097 21099 19850 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522525812 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21113] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21113/stat : 21113 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447840689 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21114] ppid=21097 vsize=15688288 CPUtime=1.64 cores=0,2,4,6
/proc/21099/task/21114/stat : 21114 (java) S 21097 21099 19850 0 -1 4202560 3939 0 0 0 164 0 0 0 15 0 22 0 522525814 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 6 0 0 0
[pid=21099/tid=21115] ppid=21097 vsize=15688288 CPUtime=1.66 cores=0,2,4,6
/proc/21099/task/21115/stat : 21115 (java) S 21097 21099 19850 0 -1 4202560 12672 0 0 0 165 1 0 0 15 0 22 0 522525814 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 2 0 0 0
[pid=21099/tid=21116] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21116/stat : 21116 (java) S 21097 21099 19850 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522525814 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447832985 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21117] ppid=21097 vsize=15688288 CPUtime=0 cores=0,2,4,6
/proc/21099/task/21117/stat : 21117 (java) S 21097 21099 19850 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 522525814 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 212447833600 0 4 0 16800975 18446604453934127168 0 0 -1 4 0 0 0
[pid=21099/tid=21122] ppid=21097 vsize=15688288 CPUtime=1182.94 cores=0,2,4,6
/proc/21099/task/21122/stat : 21122 (java) R 21097 21099 19850 0 -1 4202560 19059 0 0 0 118289 5 0 0 25 0 22 0 522525947 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912506294592 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=21099/tid=21123] ppid=21097 vsize=15688288 CPUtime=1184.4 cores=0,2,4,6
/proc/21099/task/21123/stat : 21123 (java) R 21097 21099 19850 0 -1 4202560 18336 0 0 0 118437 3 0 0 25 0 22 0 522525947 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912506059023 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=21099/tid=21124] ppid=21097 vsize=15688288 CPUtime=1179.11 cores=0,2,4,6
/proc/21099/task/21124/stat : 21124 (java) R 21097 21099 19850 0 -1 4202560 16427 0 0 0 117909 2 0 0 25 0 22 0 522525947 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912506059180 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=21099/tid=21125] ppid=21097 vsize=15688288 CPUtime=1179.73 cores=0,2,4,6
/proc/21099/task/21125/stat : 21125 (java) R 21097 21099 19850 0 -1 4202560 6302 0 0 0 117970 3 0 0 25 0 22 0 522525947 16064806912 2041677 33554432000 1073741824 1073778376 140735763376480 18446744073709551615 46912506468091 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 15688288

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

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

[startup+1209.3 s]
/proc/loadavg: 4.20 6.09 7.22 5/193 21175
/proc/meminfo: memFree=22428688/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=0 CPUtime=4800.39 cores=0,2,4,6
/proc/21099/stat : 21099 (java) Z 21097 21099 19850 0 -1 4203548 2064515 0 1 0 479680 359 0 0 17 0 2 0 522525810 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 0 0 0 0 0 0 0
[pid=21099/tid=21125] ppid=21097 vsize=0 CPUtime=1179.93 cores=0,2,4,6
/proc/21099/task/21125/stat : 21125 (java) R 21097 21099 19850 0 -1 4203588 6302 0 0 0 117971 22 0 0 25 0 2 0 522525947 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 0

[startup+1209.4 s]
/proc/loadavg: 4.20 6.09 7.22 5/193 21175
/proc/meminfo: memFree=22428688/32951124 swapFree=67111416/67111528
[pid=21099] ppid=21097 vsize=0 CPUtime=4800.49 cores=0,2,4,6
/proc/21099/stat : 21099 (java) Z 21097 21099 19850 0 -1 4203548 2064515 0 1 0 479680 369 0 0 17 0 2 0 522525810 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21099/statm: 0 0 0 0 0 0 0
[pid=21099/tid=21125] ppid=21097 vsize=0 CPUtime=1180.03 cores=0,2,4,6
/proc/21099/task/21125/stat : 21125 (java) R 21097 21099 19850 0 -1 4203588 6302 0 0 0 117971 32 0 0 25 0 2 0 522525947 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.49
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1209.43
CPU time (s): 4800.54
CPU user time (s): 4796.81
CPU system time (s): 3.72743
CPU usage (%): 396.925
Max. virtual memory (cumulated for all children) (KiB): 15690024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.81
system time used= 3.72743
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2064515
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= 37647
involuntary context switches= 61321

runsolver used 2.03069 second user time and 4.6353 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 22:33:55
IDJOB=3313257
IDBENCH=82471
IDSOLVER=1699
FILE ID=node102/3313257-1304109234
RUNJOBID= node102-1304109234-21062
PBS_JOBID= 13170630
Free space on /tmp= 71552 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtvisns2p3-tseitin.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313257-1304109234/watcher-3313257-1304109234 -o /tmp/evaluation-result-3313257-1304109234/solver-3313257-1304109234 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313257-1304109234.cnf

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

MD5SUM BENCH= 2b5c02650b763b7d13b77ce3fc61aa15
RANDOM SEED=1298019869

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:      30591624 kB
Buffers:        599652 kB
Cached:        1271532 kB
SwapCached:          0 kB
Active:         150356 kB
Inactive:      1792992 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30591624 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           12064 kB
Writeback:           8 kB
AnonPages:       72196 kB
Mapped:          21036 kB
Slab:           351924 kB
PageTables:       4960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   779400 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= 71552 MiB
End job on node102 at 2011-04-29 22:54:06