Trace number 3311973

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.21 1206.84

General information on the benchmark

NameCRAFTED/rbsat/crafted/
forced/rbsat-v1560c133795gyes1.cnf
MD5SUM118632220c6f3388c45a2582e9a2ac0e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark816.061
Satisfiable
(Un)Satisfiability was proved
Number of variables1560
Number of clauses133795
Sum of the clauses size269030
Maximum clause length26
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2133735
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

Solver Data 

0.11/0.11	08:06 INFO : Reading from input HOME/instance-3311973-1304093286.cnf
0.82/0.64	Executor set job limit to 1000000
0.82/0.64	Executor set job limit to 1000000
0.82/0.64	Executor set job limit to 1000000
0.82/0.64	Executor set job limit to 1000000
0.82/0.64	Starting Executor!
0.82/0.64	Starting Executor!
0.82/0.64	Starting Executor!
0.82/0.64	Starting Executor!
2.46/1.56	08:07 INFO : 1560 variables remaining out of 1560
2.46/1.56	08:07 INFO : 804030 literals remaining out of 402825

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

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

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


[startup+0 s]
/proc/loadavg: 7.44 8.04 8.12 4/198 23223
/proc/meminfo: memFree=25368704/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 1422 0 0 0 0 0 0 0 23 0 2 0 520926747 27824128 894 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 6793 894 684 9 0 381 0
[pid=23223/tid=23224] ppid=23221 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) R 23221 23223 22519 0 -1 4202560 71 0 0 0 0 0 0 0 25 0 2 0 520926748 29065216 898 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232330968711 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.092 s]
/proc/loadavg: 7.44 8.04 8.12 4/198 23223
/proc/meminfo: memFree=25368704/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=15742124 CPUtime=0.1 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 5522 0 1 0 9 1 0 0 23 0 18 0 520926747 16119934976 4944 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 3935531 4944 2115 9 0 3926250 0
[pid=23223/tid=23224] ppid=23221 vsize=15742124 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) R 23221 23223 22519 0 -1 4202560 3378 0 1 0 7 0 0 0 18 0 18 0 520926748 16119934976 4945 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 47681703305123 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) 15742124

[startup+0.100993 s]
/proc/loadavg: 7.44 8.04 8.12 4/198 23223
/proc/meminfo: memFree=25368704/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=15742124 CPUtime=0.11 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 5663 0 1 0 10 1 0 0 23 0 18 0 520926747 16119934976 5085 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 3935531 5085 2117 9 0 3926250 0
[pid=23223/tid=23224] ppid=23221 vsize=15742124 CPUtime=0.09 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) R 23221 23223 22519 0 -1 4202560 3518 0 1 0 8 1 0 0 18 0 18 0 520926748 16119934976 5085 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347719115 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15742124

[startup+0.300951 s]
/proc/loadavg: 7.44 8.04 8.12 4/198 23223
/proc/meminfo: memFree=25368704/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=15745268 CPUtime=0.52 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 15361 0 1 0 49 3 0 0 23 0 18 0 520926747 16123154432 13861 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 3936317 13868 2206 9 0 3927036 0
[pid=23223/tid=23224] ppid=23221 vsize=15745268 CPUtime=0.29 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) R 23221 23223 22519 0 -1 4202560 10298 0 1 0 27 2 0 0 18 0 18 0 520926748 16123154432 13872 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505578831 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15745268

[startup+0.700843 s]
/proc/loadavg: 7.44 8.04 8.12 4/198 23223
/proc/meminfo: memFree=25368704/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=15749380 CPUtime=0.98 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 41958 0 1 0 92 6 0 0 23 0 22 0 520926747 16127365120 40456 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 3937345 40456 2233 9 0 3928064 0
[pid=23223/tid=23224] ppid=23221 vsize=15749380 CPUtime=0.68 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) R 23221 23223 22519 0 -1 4202560 35664 0 1 0 63 5 0 0 20 0 22 0 520926748 16127365120 40456 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505653942 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 15749380

[startup+1.50075 s]
/proc/loadavg: 7.17 7.97 8.10 5/224 23249
/proc/meminfo: memFree=25037064/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=15765784 CPUtime=2.46 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 50635 0 1 0 239 7 0 0 23 0 22 0 520926747 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 3941446 44761 2262 9 0 3932165 0
[pid=23223/tid=23224] ppid=23221 vsize=15765784 CPUtime=1.48 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) R 23221 23223 22519 0 -1 4202560 35708 0 1 0 143 5 0 0 23 0 22 0 520926748 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505215980 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23223/tid=23226] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22519 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 22 0 520926748 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23227] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 520926748 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23228] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 520926748 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23229] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22519 0 -1 4202560 645 0 0 0 0 0 0 0 18 0 22 0 520926748 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23230] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22519 0 -1 4202560 20 0 0 0 0 0 0 0 18 0 22 0 520926748 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23231] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 520926748 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23232] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23232/stat : 23232 (java) S 23221 23223 22519 0 -1 4202560 327 0 0 0 0 0 0 0 20 0 22 0 520926748 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23233] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23233/stat : 23233 (java) S 23221 23223 22519 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 520926748 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23234] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23234/stat : 23234 (java) S 23221 23223 22519 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 520926749 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 0 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23235] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23235/stat : 23235 (java) S 23221 23223 22519 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 520926750 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23236] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23236/stat : 23236 (java) S 23221 23223 22519 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 520926750 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23237] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23237/stat : 23237 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 520926752 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347716017 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23238] ppid=23221 vsize=15765784 CPUtime=0.51 cores=1,3,5,7
/proc/23223/task/23238/stat : 23238 (java) S 23221 23223 22519 0 -1 4202560 7656 0 0 0 51 0 0 0 16 0 22 0 520926752 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23239] ppid=23221 vsize=15765784 CPUtime=0.43 cores=1,3,5,7
/proc/23223/task/23239/stat : 23239 (java) S 23221 23223 22519 0 -1 4202560 4721 0 0 0 43 0 0 0 17 0 22 0 520926752 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23240] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23240/stat : 23240 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 520926752 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23241] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23241/stat : 23241 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 520926752 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23246] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23246/stat : 23246 (java) S 23221 23223 22519 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 520926812 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23247] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23247/stat : 23247 (java) S 23221 23223 22519 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 520926812 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23248] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23248/stat : 23248 (java) S 23221 23223 22519 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 520926812 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23249] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23249/stat : 23249 (java) S 23221 23223 22519 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 520926812 16144162816 44761 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 15765784

[startup+3.10142 s]
/proc/loadavg: 7.17 7.97 8.10 8/224 23249
/proc/meminfo: memFree=24904380/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=15765784 CPUtime=7.74 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 116492 0 1 0 757 17 0 0 23 0 22 0 520926747 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 3941446 108697 2272 9 0 3932165 0
[pid=23223/tid=23224] ppid=23221 vsize=15765784 CPUtime=1.54 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) S 23221 23223 22519 0 -1 4202560 35727 0 1 0 149 5 0 0 23 0 22 0 520926748 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23226] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22519 0 -1 4202560 4452 0 0 0 0 0 0 0 15 0 22 0 520926748 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23227] ppid=23221 vsize=15765784 CPUtime=0.01 cores=1,3,5,7
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22519 0 -1 4202560 6064 0 0 0 1 0 0 0 15 0 22 0 520926748 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23228] ppid=23221 vsize=15765784 CPUtime=0.01 cores=1,3,5,7
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22519 0 -1 4202560 5044 0 0 0 1 0 0 0 15 0 22 0 520926748 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23229] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22519 0 -1 4202560 1671 0 0 0 0 0 0 0 15 0 22 0 520926748 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23230] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22519 0 -1 4202560 3076 0 0 0 0 0 0 0 15 0 22 0 520926748 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23231] ppid=23221 vsize=15765784 CPUtime=0.03 cores=1,3,5,7
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22519 0 -1 4202560 7702 0 0 0 2 1 0 0 15 0 22 0 520926748 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23232] ppid=23221 vsize=15765784 CPUtime=0.03 cores=1,3,5,7
/proc/23223/task/23232/stat : 23232 (java) S 23221 23223 22519 0 -1 4202560 7294 0 0 0 2 1 0 0 15 0 22 0 520926748 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23233] ppid=23221 vsize=15765784 CPUtime=0.03 cores=1,3,5,7
/proc/23223/task/23233/stat : 23233 (java) S 23221 23223 22519 0 -1 4202560 10315 0 0 0 2 1 0 0 16 0 22 0 520926748 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23234] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23234/stat : 23234 (java) S 23221 23223 22519 0 -1 4202560 242 0 0 0 0 0 0 0 15 0 22 0 520926749 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 0 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23235] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23235/stat : 23235 (java) S 23221 23223 22519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 520926750 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23236] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23236/stat : 23236 (java) S 23221 23223 22519 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 520926750 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23237] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23237/stat : 23237 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 520926752 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347716017 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23238] ppid=23221 vsize=15765784 CPUtime=0.86 cores=1,3,5,7
/proc/23223/task/23238/stat : 23238 (java) S 23221 23223 22519 0 -1 4202560 9534 0 0 0 85 1 0 0 15 0 22 0 520926752 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23239] ppid=23221 vsize=15765784 CPUtime=0.62 cores=1,3,5,7
/proc/23223/task/23239/stat : 23239 (java) S 23221 23223 22519 0 -1 4202560 4750 0 0 0 62 0 0 0 15 0 22 0 520926752 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23240] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23240/stat : 23240 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 520926752 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23241] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23241/stat : 23241 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 520926752 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23246] ppid=23221 vsize=15765784 CPUtime=1.13 cores=1,3,5,7
/proc/23223/task/23246/stat : 23246 (java) R 23221 23223 22519 0 -1 4202560 5084 0 0 0 113 0 0 0 16 0 22 0 520926812 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505972592 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23223/tid=23247] ppid=23221 vsize=15765784 CPUtime=0.8 cores=1,3,5,7
/proc/23223/task/23247/stat : 23247 (java) R 23221 23223 22519 0 -1 4202560 4545 0 0 0 80 0 0 0 16 0 22 0 520926812 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505651097 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23223/tid=23248] ppid=23221 vsize=15765784 CPUtime=1.34 cores=1,3,5,7
/proc/23223/task/23248/stat : 23248 (java) R 23221 23223 22519 0 -1 4202560 4501 0 0 0 134 0 0 0 16 0 22 0 520926812 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505962754 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23223/tid=23249] ppid=23221 vsize=15765784 CPUtime=1.17 cores=1,3,5,7
/proc/23223/task/23249/stat : 23249 (java) R 23221 23223 22519 0 -1 4202560 5107 0 0 0 117 0 0 0 16 0 22 0 520926812 16144162816 108697 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505962737 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 15765784

[startup+6.30085 s]
/proc/loadavg: 7.17 7.97 8.10 9/224 23249
/proc/meminfo: memFree=23341252/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=15765784 CPUtime=20.51 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 259096 0 1 0 2010 41 0 0 23 0 22 0 520926747 16144162816 250140 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 3941446 250140 2282 9 0 3932165 0
[pid=23223/tid=23224] ppid=23221 vsize=15765784 CPUtime=1.54 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) S 23221 23223 22519 0 -1 4202560 35727 0 1 0 149 5 0 0 23 0 22 0 520926748 16144162816 250140 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23226] ppid=23221 vsize=15765784 CPUtime=0.05 cores=1,3,5,7
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22519 0 -1 4202560 15122 0 0 0 3 2 0 0 15 0 22 0 520926748 16144162816 250140 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23227] ppid=23221 vsize=15765784 CPUtime=0.04 cores=1,3,5,7
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22519 0 -1 4202560 14144 0 0 0 2 2 0 0 15 0 22 0 520926748 16144162816 250140 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23228] ppid=23221 vsize=15765784 CPUtime=0.04 cores=1,3,5,7
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22519 0 -1 4202560 10554 0 0 0 2 2 0 0 16 0 22 0 520926748 16144162816 250140 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23229] ppid=23221 vsize=15765784 CPUtime=0.05 cores=1,3,5,7
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22519 0 -1 4202560 12640 0 0 0 3 2 0 0 15 0 22 0 520926748 16144162816 250140 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23230] ppid=23221 vsize=15765784 CPUtime=0.01 cores=1,3,5,7
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22519 0 -1 4202560 4945 0 0 0 1 0 0 0 15 0 22 0 520926748 16144162816 250140 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23231] ppid=23221 vsize=15765784 CPUtime=0.03 cores=1,3,5,7
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22519 0 -1 4202560 9861 0 0 0 2 1 0 0 16 0 22 0 520926748 16144162816 250140 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23232] ppid=23221 vsize=15765784 CPUtime=0.06 cores=1,3,5,7
/proc/23223/task/23232/stat : 23232 (java) S 23221 23223 22519 0 -1 4202560 15761 0 0 0 4 2 0 0 16 0 22 0 520926748 16144162816 250140 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23233] ppid=23221 vsize=15765784 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23233/stat : 23233 (java) S 23221 23223 22519 0 -1 4202560 19846 0 0 0 3 4 0 0 16 0 22 0 520926748 16144162816 250140 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0

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

[pid=23223/tid=23247] ppid=23221 vsize=15765784 CPUtime=1047.63 cores=1,3,5,7
/proc/23223/task/23247/stat : 23247 (java) R 23221 23223 22519 0 -1 4202560 359061 0 0 0 104715 48 0 0 25 0 22 0 520926812 16144162816 170072 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912506182221 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23223/tid=23248] ppid=23221 vsize=15765784 CPUtime=1047.91 cores=1,3,5,7
/proc/23223/task/23248/stat : 23248 (java) R 23221 23223 22519 0 -1 4202560 359583 0 0 0 104743 48 0 0 19 0 22 0 520926812 16144162816 170072 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912506115457 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23223/tid=23249] ppid=23221 vsize=15765784 CPUtime=1048.1 cores=1,3,5,7
/proc/23223/task/23249/stat : 23249 (java) R 23221 23223 22519 0 -1 4202560 362522 0 0 0 104758 52 0 0 25 0 22 0 520926812 16144162816 170072 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912506032970 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4224.83
Current children cumulated vsize (KiB) 15765784

[startup+1122.3 s]
/proc/loadavg: 8.20 8.13 8.10 9/224 23279
/proc/meminfo: memFree=24230780/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=15765784 CPUtime=4463.72 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 2727021 0 1 0 445851 521 0 0 23 0 22 0 520926747 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 3941446 155618 2296 9 0 3932165 0
[pid=23223/tid=23224] ppid=23221 vsize=15765784 CPUtime=1.54 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) S 23221 23223 22519 0 -1 4202560 35727 0 1 0 149 5 0 0 23 0 22 0 520926748 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23226] ppid=23221 vsize=15765784 CPUtime=3.66 cores=1,3,5,7
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22519 0 -1 4202560 143725 0 0 0 339 27 0 0 15 0 22 0 520926748 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23227] ppid=23221 vsize=15765784 CPUtime=3.66 cores=1,3,5,7
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22519 0 -1 4202560 142382 0 0 0 335 31 0 0 15 0 22 0 520926748 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23228] ppid=23221 vsize=15765784 CPUtime=3.71 cores=1,3,5,7
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22519 0 -1 4202560 142805 0 0 0 342 29 0 0 16 0 22 0 520926748 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23229] ppid=23221 vsize=15765784 CPUtime=3.79 cores=1,3,5,7
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22519 0 -1 4202560 139716 0 0 0 351 28 0 0 16 0 22 0 520926748 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23230] ppid=23221 vsize=15765784 CPUtime=3.69 cores=1,3,5,7
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22519 0 -1 4202560 140248 0 0 0 342 27 0 0 16 0 22 0 520926748 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23231] ppid=23221 vsize=15765784 CPUtime=3.7 cores=1,3,5,7
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22519 0 -1 4202560 140447 0 0 0 341 29 0 0 15 0 22 0 520926748 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23232] ppid=23221 vsize=15765784 CPUtime=3.8 cores=1,3,5,7
/proc/23223/task/23232/stat : 23232 (java) S 23221 23223 22519 0 -1 4202560 148891 0 0 0 350 30 0 0 16 0 22 0 520926748 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23233] ppid=23221 vsize=15765784 CPUtime=3.83 cores=1,3,5,7
/proc/23223/task/23233/stat : 23233 (java) S 23221 23223 22519 0 -1 4202560 159946 0 0 0 351 32 0 0 15 0 22 0 520926748 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23234] ppid=23221 vsize=15765784 CPUtime=1.95 cores=1,3,5,7
/proc/23223/task/23234/stat : 23234 (java) S 23221 23223 22519 0 -1 4202560 7221 0 0 0 128 67 0 0 15 0 22 0 520926749 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 0 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23235] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23235/stat : 23235 (java) S 23221 23223 22519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 520926750 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23236] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23236/stat : 23236 (java) S 23221 23223 22519 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 520926750 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23237] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23237/stat : 23237 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 520926752 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347716017 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23238] ppid=23221 vsize=15765784 CPUtime=1.23 cores=1,3,5,7
/proc/23223/task/23238/stat : 23238 (java) S 23221 23223 22519 0 -1 4202560 11634 0 0 0 122 1 0 0 15 0 22 0 520926752 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23239] ppid=23221 vsize=15765784 CPUtime=0.73 cores=1,3,5,7
/proc/23223/task/23239/stat : 23239 (java) S 23221 23223 22519 0 -1 4202560 4775 0 0 0 73 0 0 0 15 0 22 0 520926752 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23240] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23240/stat : 23240 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 520926752 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23241] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23241/stat : 23241 (java) S 23221 23223 22519 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 520926752 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23246] ppid=23221 vsize=15765784 CPUtime=1106.74 cores=1,3,5,7
/proc/23223/task/23246/stat : 23246 (java) R 23221 23223 22519 0 -1 4202560 380327 0 0 0 110623 51 0 0 25 0 22 0 520926812 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505948593 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23223/tid=23247] ppid=23221 vsize=15765784 CPUtime=1106.89 cores=1,3,5,7
/proc/23223/task/23247/stat : 23247 (java) R 23221 23223 22519 0 -1 4202560 375644 0 0 0 110639 50 0 0 25 0 22 0 520926812 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505981961 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23223/tid=23248] ppid=23221 vsize=15765784 CPUtime=1107.22 cores=1,3,5,7
/proc/23223/task/23248/stat : 23248 (java) R 23221 23223 22519 0 -1 4202560 374531 0 0 0 110671 51 0 0 25 0 22 0 520926812 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912506032633 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23223/tid=23249] ppid=23221 vsize=15765784 CPUtime=1107.41 cores=1,3,5,7
/proc/23223/task/23249/stat : 23249 (java) R 23221 23223 22519 0 -1 4202560 377557 0 0 0 110687 54 0 0 25 0 22 0 520926812 16144162816 155618 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912506068363 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4463.72
Current children cumulated vsize (KiB) 15765784

[startup+1182.3 s]
/proc/loadavg: 8.25 8.15 8.10 10/224 23281
/proc/meminfo: memFree=24204332/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=15765784 CPUtime=4702.61 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 2864938 0 1 0 469712 549 0 0 23 0 22 0 520926747 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 3941446 167129 2296 9 0 3932165 0
[pid=23223/tid=23224] ppid=23221 vsize=15765784 CPUtime=1.54 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) S 23221 23223 22519 0 -1 4202560 35727 0 1 0 149 5 0 0 23 0 22 0 520926748 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23226] ppid=23221 vsize=15765784 CPUtime=3.87 cores=1,3,5,7
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22519 0 -1 4202560 152199 0 0 0 358 29 0 0 15 0 22 0 520926748 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23227] ppid=23221 vsize=15765784 CPUtime=3.88 cores=1,3,5,7
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22519 0 -1 4202560 149996 0 0 0 355 33 0 0 15 0 22 0 520926748 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23228] ppid=23221 vsize=15765784 CPUtime=3.92 cores=1,3,5,7
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22519 0 -1 4202560 148586 0 0 0 361 31 0 0 16 0 22 0 520926748 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23229] ppid=23221 vsize=15765784 CPUtime=4.02 cores=1,3,5,7
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22519 0 -1 4202560 147936 0 0 0 373 29 0 0 16 0 22 0 520926748 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23230] ppid=23221 vsize=15765784 CPUtime=3.89 cores=1,3,5,7
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22519 0 -1 4202560 147242 0 0 0 360 29 0 0 15 0 22 0 520926748 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23231] ppid=23221 vsize=15765784 CPUtime=3.89 cores=1,3,5,7
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22519 0 -1 4202560 146204 0 0 0 359 30 0 0 15 0 22 0 520926748 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23232] ppid=23221 vsize=15765784 CPUtime=4 cores=1,3,5,7
/proc/23223/task/23232/stat : 23232 (java) S 23221 23223 22519 0 -1 4202560 156344 0 0 0 369 31 0 0 16 0 22 0 520926748 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23233] ppid=23221 vsize=15765784 CPUtime=4.01 cores=1,3,5,7
/proc/23223/task/23233/stat : 23233 (java) S 23221 23223 22519 0 -1 4202560 167315 0 0 0 367 34 0 0 15 0 22 0 520926748 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23234] ppid=23221 vsize=15765784 CPUtime=2.05 cores=1,3,5,7
/proc/23223/task/23234/stat : 23234 (java) S 23221 23223 22519 0 -1 4202560 7677 0 0 0 134 71 0 0 16 0 22 0 520926749 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 0 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23235] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23235/stat : 23235 (java) S 23221 23223 22519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 520926750 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23236] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23236/stat : 23236 (java) S 23221 23223 22519 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 520926750 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23237] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23237/stat : 23237 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 520926752 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347716017 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23238] ppid=23221 vsize=15765784 CPUtime=1.23 cores=1,3,5,7
/proc/23223/task/23238/stat : 23238 (java) S 23221 23223 22519 0 -1 4202560 11634 0 0 0 122 1 0 0 15 0 22 0 520926752 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23239] ppid=23221 vsize=15765784 CPUtime=0.73 cores=1,3,5,7
/proc/23223/task/23239/stat : 23239 (java) S 23221 23223 22519 0 -1 4202560 4775 0 0 0 73 0 0 0 15 0 22 0 520926752 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23240] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23240/stat : 23240 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 520926752 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23241] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23241/stat : 23241 (java) S 23221 23223 22519 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 520926752 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23246] ppid=23221 vsize=15765784 CPUtime=1166.06 cores=1,3,5,7
/proc/23223/task/23246/stat : 23246 (java) R 23221 23223 22519 0 -1 4202560 399741 0 0 0 116552 54 0 0 25 0 22 0 520926812 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505981762 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23223/tid=23247] ppid=23221 vsize=15765784 CPUtime=1166.09 cores=1,3,5,7
/proc/23223/task/23247/stat : 23247 (java) R 23221 23223 22519 0 -1 4202560 396239 0 0 0 116556 53 0 0 25 0 22 0 520926812 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912506032653 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23223/tid=23248] ppid=23221 vsize=15765784 CPUtime=1166.56 cores=1,3,5,7
/proc/23223/task/23248/stat : 23248 (java) R 23221 23223 22519 0 -1 4202560 394975 0 0 0 116602 54 0 0 25 0 22 0 520926812 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505948642 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23223/tid=23249] ppid=23221 vsize=15765784 CPUtime=1166.71 cores=1,3,5,7
/proc/23223/task/23249/stat : 23249 (java) R 23221 23223 22519 0 -1 4202560 396899 0 0 0 116613 58 0 0 25 0 22 0 520926812 16144162816 167129 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505962754 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4702.61
Current children cumulated vsize (KiB) 15765784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.8 s]
/proc/loadavg: 8.31 8.17 8.11 5/201 23284
/proc/meminfo: memFree=24678924/32951124 swapFree=67111524/67111528
[pid=23223] ppid=23221 vsize=15765784 CPUtime=4800.15 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23221 23223 22519 0 -1 4202496 2922363 0 1 0 479455 560 0 0 23 0 22 0 520926747 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23223/statm: 3941446 175902 2296 9 0 3932165 0
[pid=23223/tid=23224] ppid=23221 vsize=15765784 CPUtime=1.54 cores=1,3,5,7
/proc/23223/task/23224/stat : 23224 (java) S 23221 23223 22519 0 -1 4202560 35727 0 1 0 149 5 0 0 23 0 22 0 520926748 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23226] ppid=23221 vsize=15765784 CPUtime=3.95 cores=1,3,5,7
/proc/23223/task/23226/stat : 23226 (java) S 23221 23223 22519 0 -1 4202560 153567 0 0 0 366 29 0 0 15 0 22 0 520926748 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23227] ppid=23221 vsize=15765784 CPUtime=3.96 cores=1,3,5,7
/proc/23223/task/23227/stat : 23227 (java) S 23221 23223 22519 0 -1 4202560 152060 0 0 0 363 33 0 0 16 0 22 0 520926748 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23228] ppid=23221 vsize=15765784 CPUtime=4 cores=1,3,5,7
/proc/23223/task/23228/stat : 23228 (java) S 23221 23223 22519 0 -1 4202560 149513 0 0 0 369 31 0 0 16 0 22 0 520926748 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23229] ppid=23221 vsize=15765784 CPUtime=4.09 cores=1,3,5,7
/proc/23223/task/23229/stat : 23229 (java) S 23221 23223 22519 0 -1 4202560 149521 0 0 0 380 29 0 0 15 0 22 0 520926748 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23230] ppid=23221 vsize=15765784 CPUtime=3.98 cores=1,3,5,7
/proc/23223/task/23230/stat : 23230 (java) S 23221 23223 22519 0 -1 4202560 149811 0 0 0 369 29 0 0 16 0 22 0 520926748 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 1 0 0 0
[pid=23223/tid=23231] ppid=23221 vsize=15765784 CPUtime=3.97 cores=1,3,5,7
/proc/23223/task/23231/stat : 23231 (java) S 23221 23223 22519 0 -1 4202560 148673 0 0 0 366 31 0 0 15 0 22 0 520926748 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23232] ppid=23221 vsize=15765784 CPUtime=4.09 cores=1,3,5,7
/proc/23223/task/23232/stat : 23232 (java) S 23221 23223 22519 0 -1 4202560 158887 0 0 0 377 32 0 0 15 0 22 0 520926748 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23233] ppid=23221 vsize=15765784 CPUtime=4.09 cores=1,3,5,7
/proc/23223/task/23233/stat : 23233 (java) S 23221 23223 22519 0 -1 4202560 169286 0 0 0 375 34 0 0 15 0 22 0 520926748 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23234] ppid=23221 vsize=15765784 CPUtime=2.1 cores=1,3,5,7
/proc/23223/task/23234/stat : 23234 (java) S 23221 23223 22519 0 -1 4202560 7847 0 0 0 138 72 0 0 15 0 22 0 520926749 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 0 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23235] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23235/stat : 23235 (java) S 23221 23223 22519 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 520926750 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23236] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23236/stat : 23236 (java) S 23221 23223 22519 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 520926750 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 7 0 0 0
[pid=23223/tid=23237] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23237/stat : 23237 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 520926752 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347716017 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23238] ppid=23221 vsize=15765784 CPUtime=1.23 cores=1,3,5,7
/proc/23223/task/23238/stat : 23238 (java) S 23221 23223 22519 0 -1 4202560 11634 0 0 0 122 1 0 0 15 0 22 0 520926752 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23239] ppid=23221 vsize=15765784 CPUtime=0.73 cores=1,3,5,7
/proc/23223/task/23239/stat : 23239 (java) S 23221 23223 22519 0 -1 4202560 4775 0 0 0 73 0 0 0 15 0 22 0 520926752 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23240] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23240/stat : 23240 (java) S 23221 23223 22519 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 520926752 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708313 0 4 0 16800975 18446604471161004224 0 0 -1 5 0 0 0
[pid=23223/tid=23241] ppid=23221 vsize=15765784 CPUtime=0 cores=1,3,5,7
/proc/23223/task/23241/stat : 23241 (java) S 23221 23223 22519 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 520926752 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 232347708928 0 4 0 16800975 18446604471161004224 0 0 -1 3 0 0 0
[pid=23223/tid=23246] ppid=23221 vsize=15765784 CPUtime=1190.31 cores=1,3,5,7
/proc/23223/task/23246/stat : 23246 (java) R 23221 23223 22519 0 -1 4202560 410420 0 0 0 118975 56 0 0 25 0 22 0 520926812 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912506115589 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23223/tid=23247] ppid=23221 vsize=15765784 CPUtime=1190.27 cores=1,3,5,7
/proc/23223/task/23247/stat : 23247 (java) R 23221 23223 22519 0 -1 4202560 406150 0 0 0 118972 55 0 0 25 0 22 0 520926812 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505962701 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=23223/tid=23248] ppid=23221 vsize=15765784 CPUtime=1190.81 cores=1,3,5,7
/proc/23223/task/23248/stat : 23248 (java) R 23221 23223 22519 0 -1 4202560 404947 0 0 0 119026 55 0 0 25 0 22 0 520926812 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505972634 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23223/tid=23249] ppid=23221 vsize=15765784 CPUtime=1190.88 cores=1,3,5,7
/proc/23223/task/23249/stat : 23249 (java) R 23221 23223 22519 0 -1 4202560 408094 0 0 0 119028 60 0 0 22 0 22 0 520926812 16144162816 175902 33554432000 1073741824 1073778376 140737466211248 18446744073709551615 46912505972755 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 15765784

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

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

Child status: 143
Real time (s): 1206.84
CPU time (s): 4800.21
CPU user time (s): 4794.58
CPU system time (s): 5.63114
CPU usage (%): 397.749
Max. virtual memory (cumulated for all children) (KiB): 15765784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.58
system time used= 5.63114
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2922389
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= 150622
involuntary context switches= 106800

runsolver used 1.9687 second user time and 4.67729 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 18:08:06
IDJOB=3311973
IDBENCH=71593
IDSOLVER=1698
FILE ID=node132/3311973-1304093286
RUNJOBID= node132-1304093286-23187
PBS_JOBID= 13170555
Free space on /tmp= 71868 MiB

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

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

MD5SUM BENCH= 118632220c6f3388c45a2582e9a2ac0e
RANDOM SEED=1434954892

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25368984 kB
Buffers:        773388 kB
Cached:        6233120 kB
SwapCached:          4 kB
Active:        2096276 kB
Inactive:      4987612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25368984 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5556 kB
Writeback:           8 kB
AnonPages:       76904 kB
Mapped:          23156 kB
Slab:           436048 kB
PageTables:       4904 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   776488 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71868 MiB
End job on node132 at 2011-04-29 18:28:15