Trace number 3312183

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.11 1206.64

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-03.cnf
MD5SUM8c67f78ca36ec96e662a91c74844da21
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark154.887
Satisfiable
(Un)Satisfiability was proved
Number of variables3114
Number of clauses10827
Sum of the clauses size28341
Maximum clause length119
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24934
Number of clauses of size 35378
Number of clauses of size 4408
Number of clauses of size 584
Number of clauses of size over 522

Solver Data 

0.10/0.12	51:08 INFO : Reading from input HOME/instance-3312183-1304074268.cnf
0.52/0.31	Executor set job limit to 1000000
0.52/0.31	Executor set job limit to 1000000
0.52/0.31	Executor set job limit to 1000000
0.52/0.31	Executor set job limit to 1000000
0.52/0.31	Starting Executor!
0.52/0.31	Starting Executor!
0.52/0.32	Starting Executor!
0.52/0.32	Starting Executor!
0.73/0.49	51:08 INFO : Found 989 xor gates
1.58/0.76	51:09 INFO : 2921 variables remaining out of 3114
1.58/0.76	51:09 INFO : 50620 literals remaining out of 27300
24.46/6.58	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:3).
24.46/6.58	log4j:WARN Please initialize the log4j system properly.
24.46/6.58	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-3312183-1304074268/watcher-3312183-1304074268 -o /tmp/evaluation-result-3312183-1304074268/solver-3312183-1304074268 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312183-1304074268.cnf -hbr 2 

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: 7.48 7.98 7.73 3/174 347
/proc/meminfo: memFree=15108368/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/347/stat : 347 (run) R 345 347 31999 0 -1 4202496 321 0 0 0 0 0 0 0 23 0 1 0 519026436 8908800 256 33554432000 4194304 4922060 140733285161888 18446744073709551615 274473354688 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/347/statm: 2175 256 215 178 0 68 0

[startup+0.0777931 s]
/proc/loadavg: 7.48 7.98 7.73 3/174 347
/proc/meminfo: memFree=15108368/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=15609916 CPUtime=0.06 cores=0,2,4,6
/proc/347/stat : 347 (java) S 345 347 31999 0 -1 4202496 4474 0 1 0 5 1 0 0 23 0 18 0 519026436 15984553984 3913 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/347/statm: 3902479 3913 1779 9 0 3893198 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609916

[startup+0.100792 s]
/proc/loadavg: 7.48 7.98 7.73 3/174 347
/proc/meminfo: memFree=15108368/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=15676784 CPUtime=0.1 cores=0,2,4,6
/proc/347/stat : 347 (java) S 345 347 31999 0 -1 4202496 5546 0 1 0 9 1 0 0 23 0 18 0 519026436 16053026816 4985 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/347/statm: 3919196 4985 2117 9 0 3909915 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676784

[startup+0.300798 s]
/proc/loadavg: 7.48 7.98 7.73 3/174 347
/proc/meminfo: memFree=15108368/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=15679608 CPUtime=0.52 cores=0,2,4,6
/proc/347/stat : 347 (java) S 345 347 31999 0 -1 4202496 14837 0 1 0 49 3 0 0 23 0 18 0 519026436 16055918592 13299 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/347/statm: 3919902 13306 2207 9 0 3910621 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15679608

[startup+0.700743 s]
/proc/loadavg: 7.48 7.98 7.73 3/174 347
/proc/meminfo: memFree=15108368/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=15693808 CPUtime=1.58 cores=0,2,4,6
/proc/347/stat : 347 (java) S 345 347 31999 0 -1 4202496 25991 0 1 0 154 4 0 0 23 0 22 0 519026436 16070459392 21202 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/347/statm: 3923452 21202 2254 9 0 3914171 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 15693808

[startup+1.5015 s]
/proc/loadavg: 7.48 7.98 7.73 6/216 392
/proc/meminfo: memFree=14842536/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=15692496 CPUtime=4.52 cores=0,2,4,6
/proc/347/stat : 347 (java) S 345 347 31999 0 -1 4202496 57959 0 1 0 444 8 0 0 23 0 22 0 519026436 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/347/statm: 3923124 50201 2274 9 0 3913843 0
[pid=347/tid=349] ppid=345 vsize=15692496 CPUtime=0.75 cores=0,2,4,6
/proc/347/task/349/stat : 349 (java) S 345 347 31999 0 -1 4202560 12891 0 1 0 73 2 0 0 18 0 22 0 519026436 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=350] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/350/stat : 350 (java) S 345 347 31999 0 -1 4202560 1467 0 0 0 0 0 0 0 16 0 22 0 519026437 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=351] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/351/stat : 351 (java) S 345 347 31999 0 -1 4202560 256 0 0 0 0 0 0 0 16 0 22 0 519026437 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=352] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/352/stat : 352 (java) S 345 347 31999 0 -1 4202560 183 0 0 0 0 0 0 0 17 0 22 0 519026437 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=353] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/353/stat : 353 (java) S 345 347 31999 0 -1 4202560 880 0 0 0 0 0 0 0 16 0 22 0 519026437 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=354] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/354/stat : 354 (java) S 345 347 31999 0 -1 4202560 226 0 0 0 0 0 0 0 16 0 22 0 519026437 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=355] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/355/stat : 355 (java) S 345 347 31999 0 -1 4202560 1139 0 0 0 0 0 0 0 16 0 22 0 519026437 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=356] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/356/stat : 356 (java) S 345 347 31999 0 -1 4202560 580 0 0 0 0 0 0 0 16 0 22 0 519026437 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=357] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/357/stat : 357 (java) S 345 347 31999 0 -1 4202560 1511 0 0 0 0 0 0 0 16 0 22 0 519026437 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=358] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/358/stat : 358 (java) S 345 347 31999 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 519026438 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 0 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=359] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/359/stat : 359 (java) S 345 347 31999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519026438 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=360] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/360/stat : 360 (java) S 345 347 31999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519026438 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=361] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/361/stat : 361 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485791153 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=362] ppid=345 vsize=15692496 CPUtime=0.91 cores=0,2,4,6
/proc/347/task/362/stat : 362 (java) R 345 347 31999 0 -1 4202560 10941 0 0 0 90 1 0 0 18 0 22 0 519026441 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485793461 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=347/tid=363] ppid=345 vsize=15692496 CPUtime=0.81 cores=0,2,4,6
/proc/347/task/363/stat : 363 (java) R 345 347 31999 0 -1 4202560 3619 0 0 0 81 0 0 0 17 0 22 0 519026441 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 47413339444314 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=347/tid=364] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/364/stat : 364 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=365] ppid=345 vsize=15692496 CPUtime=0 cores=0,2,4,6
/proc/347/task/365/stat : 365 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519026441 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=389] ppid=345 vsize=15692496 CPUtime=0.5 cores=0,2,4,6
/proc/347/task/389/stat : 389 (java) R 345 347 31999 0 -1 4202560 6693 0 0 0 50 0 0 0 16 0 22 0 519026468 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505357420 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=347/tid=390] ppid=345 vsize=15692496 CPUtime=0.46 cores=0,2,4,6
/proc/347/task/390/stat : 390 (java) R 345 347 31999 0 -1 4202560 4615 0 0 0 46 0 0 0 16 0 22 0 519026468 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505875896 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=347/tid=391] ppid=345 vsize=15692496 CPUtime=0.5 cores=0,2,4,6
/proc/347/task/391/stat : 391 (java) R 345 347 31999 0 -1 4202560 6298 0 0 0 50 0 0 0 16 0 22 0 519026468 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505658668 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=347/tid=392] ppid=345 vsize=15692496 CPUtime=0.49 cores=0,2,4,6
/proc/347/task/392/stat : 392 (java) R 345 347 31999 0 -1 4202560 5200 0 0 0 49 0 0 0 16 0 22 0 519026468 16069115904 50201 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505166957 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 15692496

[startup+3.10122 s]
/proc/loadavg: 7.60 8.00 7.73 10/220 396
/proc/meminfo: memFree=14566108/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=15692468 CPUtime=10.9 cores=0,2,4,6
/proc/347/stat : 347 (java) S 345 347 31999 0 -1 4202496 93836 0 1 0 1077 13 0 0 23 0 22 0 519026436 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/347/statm: 3923117 85186 2285 9 0 3913836 0
[pid=347/tid=349] ppid=345 vsize=15692468 CPUtime=0.75 cores=0,2,4,6
/proc/347/task/349/stat : 349 (java) S 345 347 31999 0 -1 4202560 12891 0 1 0 73 2 0 0 18 0 22 0 519026436 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=350] ppid=345 vsize=15692468 CPUtime=0.01 cores=0,2,4,6
/proc/347/task/350/stat : 350 (java) S 345 347 31999 0 -1 4202560 4101 0 0 0 1 0 0 0 16 0 22 0 519026437 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=351] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/351/stat : 351 (java) S 345 347 31999 0 -1 4202560 973 0 0 0 0 0 0 0 15 0 22 0 519026437 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=352] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/352/stat : 352 (java) S 345 347 31999 0 -1 4202560 3142 0 0 0 0 0 0 0 15 0 22 0 519026437 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=353] ppid=345 vsize=15692468 CPUtime=0.01 cores=0,2,4,6
/proc/347/task/353/stat : 353 (java) S 345 347 31999 0 -1 4202560 2814 0 0 0 1 0 0 0 15 0 22 0 519026437 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=354] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/354/stat : 354 (java) S 345 347 31999 0 -1 4202560 226 0 0 0 0 0 0 0 15 0 22 0 519026437 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=355] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/355/stat : 355 (java) S 345 347 31999 0 -1 4202560 1894 0 0 0 0 0 0 0 15 0 22 0 519026437 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=356] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/356/stat : 356 (java) S 345 347 31999 0 -1 4202560 2643 0 0 0 0 0 0 0 15 0 22 0 519026437 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=357] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/357/stat : 357 (java) S 345 347 31999 0 -1 4202560 1814 0 0 0 0 0 0 0 15 0 22 0 519026437 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=358] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/358/stat : 358 (java) S 345 347 31999 0 -1 4202560 202 0 0 0 0 0 0 0 15 0 22 0 519026438 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 0 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=359] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/359/stat : 359 (java) S 345 347 31999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519026438 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=360] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/360/stat : 360 (java) S 345 347 31999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519026438 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=361] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/361/stat : 361 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485791153 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=362] ppid=345 vsize=15692468 CPUtime=0.91 cores=0,2,4,6
/proc/347/task/362/stat : 362 (java) R 345 347 31999 0 -1 4202560 10942 0 0 0 90 1 0 0 18 0 22 0 519026441 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=347/tid=363] ppid=345 vsize=15692468 CPUtime=1.32 cores=0,2,4,6
/proc/347/task/363/stat : 363 (java) R 345 347 31999 0 -1 4202560 4602 0 0 0 132 0 0 0 17 0 22 0 519026441 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 47413339443903 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=347/tid=364] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/364/stat : 364 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=365] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/365/stat : 365 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519026441 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=389] ppid=345 vsize=15692468 CPUtime=2.08 cores=0,2,4,6
/proc/347/task/389/stat : 389 (java) R 345 347 31999 0 -1 4202560 13721 0 0 0 207 1 0 0 17 0 22 0 519026468 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505898304 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=347/tid=390] ppid=345 vsize=15692468 CPUtime=1.82 cores=0,2,4,6
/proc/347/task/390/stat : 390 (java) S 345 347 31999 0 -1 4202560 11534 0 0 0 181 1 0 0 17 0 22 0 519026468 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=391] ppid=345 vsize=15692468 CPUtime=1.79 cores=0,2,4,6
/proc/347/task/391/stat : 391 (java) R 345 347 31999 0 -1 4202560 9598 0 0 0 178 1 0 0 17 0 22 0 519026468 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505524165 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=347/tid=392] ppid=345 vsize=15692468 CPUtime=2.07 cores=0,2,4,6
/proc/347/task/392/stat : 392 (java) R 345 347 31999 0 -1 4202560 11353 0 0 0 206 1 0 0 17 0 22 0 519026468 16069087232 85186 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505121138 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.9
Current children cumulated vsize (KiB) 15692468

[startup+6.30065 s]
/proc/loadavg: 7.60 8.00 7.73 6/220 396
/proc/meminfo: memFree=13736072/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=15692468 CPUtime=23.66 cores=0,2,4,6
/proc/347/stat : 347 (java) S 345 347 31999 0 -1 4202496 283971 0 1 0 2328 38 0 0 23 0 22 0 519026436 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/347/statm: 3923117 272875 2285 9 0 3913836 0
[pid=347/tid=349] ppid=345 vsize=15692468 CPUtime=0.75 cores=0,2,4,6
/proc/347/task/349/stat : 349 (java) S 345 347 31999 0 -1 4202560 12891 0 1 0 73 2 0 0 18 0 22 0 519026436 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=350] ppid=345 vsize=15692468 CPUtime=0.01 cores=0,2,4,6
/proc/347/task/350/stat : 350 (java) S 345 347 31999 0 -1 4202560 5390 0 0 0 1 0 0 0 15 0 22 0 519026437 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=351] ppid=345 vsize=15692468 CPUtime=0.01 cores=0,2,4,6
/proc/347/task/351/stat : 351 (java) S 345 347 31999 0 -1 4202560 2580 0 0 0 1 0 0 0 15 0 22 0 519026437 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=352] ppid=345 vsize=15692468 CPUtime=0.01 cores=0,2,4,6
/proc/347/task/352/stat : 352 (java) S 345 347 31999 0 -1 4202560 5159 0 0 0 0 1 0 0 15 0 22 0 519026437 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=353] ppid=345 vsize=15692468 CPUtime=0.01 cores=0,2,4,6
/proc/347/task/353/stat : 353 (java) S 345 347 31999 0 -1 4202560 3633 0 0 0 1 0 0 0 15 0 22 0 519026437 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=354] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/354/stat : 354 (java) S 345 347 31999 0 -1 4202560 1753 0 0 0 0 0 0 0 16 0 22 0 519026437 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=355] ppid=345 vsize=15692468 CPUtime=0.01 cores=0,2,4,6
/proc/347/task/355/stat : 355 (java) S 345 347 31999 0 -1 4202560 3266 0 0 0 1 0 0 0 16 0 22 0 519026437 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=356] ppid=345 vsize=15692468 CPUtime=0.01 cores=0,2,4,6
/proc/347/task/356/stat : 356 (java) S 345 347 31999 0 -1 4202560 4102 0 0 0 1 0 0 0 16 0 22 0 519026437 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=357] ppid=345 vsize=15692468 CPUtime=0.01 cores=0,2,4,6
/proc/347/task/357/stat : 357 (java) S 345 347 31999 0 -1 4202560 4958 0 0 0 1 0 0 0 15 0 22 0 519026437 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=358] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/358/stat : 358 (java) S 345 347 31999 0 -1 4202560 455 0 0 0 0 0 0 0 15 0 22 0 519026438 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 0 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=359] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/359/stat : 359 (java) S 345 347 31999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519026438 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=360] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/360/stat : 360 (java) S 345 347 31999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519026438 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=361] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/361/stat : 361 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485791153 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=362] ppid=345 vsize=15692468 CPUtime=1.05 cores=0,2,4,6
/proc/347/task/362/stat : 362 (java) S 345 347 31999 0 -1 4202560 10954 0 0 0 104 1 0 0 16 0 22 0 519026441 16069087232 272875 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0

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

[pid=347/tid=390] ppid=345 vsize=15692468 CPUtime=1048.12 cores=0,2,4,6
/proc/347/task/390/stat : 390 (java) R 345 347 31999 0 -1 4202560 312203 0 0 0 104767 45 0 0 25 0 22 0 519026468 16069087232 116005 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505898106 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=347/tid=391] ppid=345 vsize=15692468 CPUtime=1048.1 cores=0,2,4,6
/proc/347/task/391/stat : 391 (java) R 345 347 31999 0 -1 4202560 324977 0 0 0 104767 43 0 0 25 0 22 0 519026468 16069087232 116005 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505793234 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=347/tid=392] ppid=345 vsize=15692468 CPUtime=1048.72 cores=0,2,4,6
/proc/347/task/392/stat : 392 (java) R 345 347 31999 0 -1 4202560 311998 0 0 0 104829 43 0 0 25 0 22 0 519026468 16069087232 116005 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505897609 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4225.89
Current children cumulated vsize (KiB) 15692468

[startup+1122.3 s]
/proc/loadavg: 7.80 7.87 7.75 6/220 438
/proc/meminfo: memFree=3476664/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=15692468 CPUtime=4464.54 cores=0,2,4,6
/proc/347/stat : 347 (java) S 345 347 31999 0 -1 4202496 2407585 0 1 0 446030 424 0 0 23 0 22 0 519026436 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/347/statm: 3923117 121953 2299 9 0 3913836 0
[pid=347/tid=349] ppid=345 vsize=15692468 CPUtime=0.75 cores=0,2,4,6
/proc/347/task/349/stat : 349 (java) S 345 347 31999 0 -1 4202560 12891 0 1 0 73 2 0 0 18 0 22 0 519026436 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=350] ppid=345 vsize=15692468 CPUtime=3.57 cores=0,2,4,6
/proc/347/task/350/stat : 350 (java) S 345 347 31999 0 -1 4202560 124207 0 0 0 337 20 0 0 15 0 22 0 519026437 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=351] ppid=345 vsize=15692468 CPUtime=3.57 cores=0,2,4,6
/proc/347/task/351/stat : 351 (java) S 345 347 31999 0 -1 4202560 125160 0 0 0 337 20 0 0 15 0 22 0 519026437 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=352] ppid=345 vsize=15692468 CPUtime=3.57 cores=0,2,4,6
/proc/347/task/352/stat : 352 (java) S 345 347 31999 0 -1 4202560 128434 0 0 0 335 22 0 0 16 0 22 0 519026437 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=353] ppid=345 vsize=15692468 CPUtime=3.48 cores=0,2,4,6
/proc/347/task/353/stat : 353 (java) S 345 347 31999 0 -1 4202560 132227 0 0 0 323 25 0 0 16 0 22 0 519026437 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=354] ppid=345 vsize=15692468 CPUtime=3.59 cores=0,2,4,6
/proc/347/task/354/stat : 354 (java) S 345 347 31999 0 -1 4202560 124937 0 0 0 338 21 0 0 15 0 22 0 519026437 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=355] ppid=345 vsize=15692468 CPUtime=3.6 cores=0,2,4,6
/proc/347/task/355/stat : 355 (java) S 345 347 31999 0 -1 4202560 127596 0 0 0 342 18 0 0 16 0 22 0 519026437 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=356] ppid=345 vsize=15692468 CPUtime=3.49 cores=0,2,4,6
/proc/347/task/356/stat : 356 (java) S 345 347 31999 0 -1 4202560 121961 0 0 0 328 21 0 0 16 0 22 0 519026437 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=357] ppid=345 vsize=15692468 CPUtime=3.48 cores=0,2,4,6
/proc/347/task/357/stat : 357 (java) S 345 347 31999 0 -1 4202560 126050 0 0 0 328 20 0 0 15 0 22 0 519026437 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=358] ppid=345 vsize=15692468 CPUtime=2.02 cores=0,2,4,6
/proc/347/task/358/stat : 358 (java) S 345 347 31999 0 -1 4202560 6146 0 0 0 141 61 0 0 15 0 22 0 519026438 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 0 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=359] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/359/stat : 359 (java) S 345 347 31999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519026438 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=360] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/360/stat : 360 (java) S 345 347 31999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519026438 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=361] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/361/stat : 361 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485791153 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=362] ppid=345 vsize=15692468 CPUtime=1.14 cores=0,2,4,6
/proc/347/task/362/stat : 362 (java) S 345 347 31999 0 -1 4202560 10966 0 0 0 113 1 0 0 15 0 22 0 519026441 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=363] ppid=345 vsize=15692468 CPUtime=1.56 cores=0,2,4,6
/proc/347/task/363/stat : 363 (java) S 345 347 31999 0 -1 4202560 4624 0 0 0 156 0 0 0 15 0 22 0 519026441 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=364] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/364/stat : 364 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=365] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/365/stat : 365 (java) S 345 347 31999 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 519026441 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=389] ppid=345 vsize=15692468 CPUtime=1107.6 cores=0,2,4,6
/proc/347/task/389/stat : 389 (java) R 345 347 31999 0 -1 4202560 348905 0 0 0 110717 43 0 0 25 0 22 0 519026468 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505793216 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=347/tid=390] ppid=345 vsize=15692468 CPUtime=1107.45 cores=0,2,4,6
/proc/347/task/390/stat : 390 (java) R 345 347 31999 0 -1 4202560 332390 0 0 0 110698 47 0 0 25 0 22 0 519026468 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505972531 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=347/tid=391] ppid=345 vsize=15692468 CPUtime=1107.43 cores=0,2,4,6
/proc/347/task/391/stat : 391 (java) R 345 347 31999 0 -1 4202560 346621 0 0 0 110696 47 0 0 25 0 22 0 519026468 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505972289 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=347/tid=392] ppid=345 vsize=15692468 CPUtime=1108.03 cores=0,2,4,6
/proc/347/task/392/stat : 392 (java) R 345 347 31999 0 -1 4202560 333020 0 0 0 110757 46 0 0 25 0 22 0 519026468 16069087232 121953 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505784808 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4464.54
Current children cumulated vsize (KiB) 15692468

[startup+1182.3 s]
/proc/loadavg: 7.03 7.61 7.67 6/220 439
/proc/meminfo: memFree=3480236/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=15692468 CPUtime=4703.36 cores=0,2,4,6
/proc/347/stat : 347 (java) S 345 347 31999 0 -1 4202496 2519317 0 1 0 469892 444 0 0 23 0 22 0 519026436 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/347/statm: 3923117 124643 2299 9 0 3913836 0
[pid=347/tid=349] ppid=345 vsize=15692468 CPUtime=0.75 cores=0,2,4,6
/proc/347/task/349/stat : 349 (java) S 345 347 31999 0 -1 4202560 12891 0 1 0 73 2 0 0 18 0 22 0 519026436 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=350] ppid=345 vsize=15692468 CPUtime=3.77 cores=0,2,4,6
/proc/347/task/350/stat : 350 (java) S 345 347 31999 0 -1 4202560 132107 0 0 0 356 21 0 0 15 0 22 0 519026437 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=351] ppid=345 vsize=15692468 CPUtime=3.75 cores=0,2,4,6
/proc/347/task/351/stat : 351 (java) S 345 347 31999 0 -1 4202560 131644 0 0 0 354 21 0 0 15 0 22 0 519026437 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=352] ppid=345 vsize=15692468 CPUtime=3.75 cores=0,2,4,6
/proc/347/task/352/stat : 352 (java) S 345 347 31999 0 -1 4202560 135957 0 0 0 351 24 0 0 15 0 22 0 519026437 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=353] ppid=345 vsize=15692468 CPUtime=3.66 cores=0,2,4,6
/proc/347/task/353/stat : 353 (java) S 345 347 31999 0 -1 4202560 137766 0 0 0 340 26 0 0 15 0 22 0 519026437 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=354] ppid=345 vsize=15692468 CPUtime=3.8 cores=0,2,4,6
/proc/347/task/354/stat : 354 (java) S 345 347 31999 0 -1 4202560 132052 0 0 0 357 23 0 0 15 0 22 0 519026437 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=355] ppid=345 vsize=15692468 CPUtime=3.8 cores=0,2,4,6
/proc/347/task/355/stat : 355 (java) S 345 347 31999 0 -1 4202560 134957 0 0 0 360 20 0 0 16 0 22 0 519026437 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=356] ppid=345 vsize=15692468 CPUtime=3.7 cores=0,2,4,6
/proc/347/task/356/stat : 356 (java) S 345 347 31999 0 -1 4202560 130101 0 0 0 348 22 0 0 15 0 22 0 519026437 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=357] ppid=345 vsize=15692468 CPUtime=3.67 cores=0,2,4,6
/proc/347/task/357/stat : 357 (java) S 345 347 31999 0 -1 4202560 133163 0 0 0 346 21 0 0 15 0 22 0 519026437 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=358] ppid=345 vsize=15692468 CPUtime=2.13 cores=0,2,4,6
/proc/347/task/358/stat : 358 (java) S 345 347 31999 0 -1 4202560 6497 0 0 0 149 64 0 0 16 0 22 0 519026438 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 0 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=359] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/359/stat : 359 (java) S 345 347 31999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519026438 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=360] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/360/stat : 360 (java) S 345 347 31999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519026438 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=361] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/361/stat : 361 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485791153 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=362] ppid=345 vsize=15692468 CPUtime=1.14 cores=0,2,4,6
/proc/347/task/362/stat : 362 (java) S 345 347 31999 0 -1 4202560 10966 0 0 0 113 1 0 0 15 0 22 0 519026441 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=363] ppid=345 vsize=15692468 CPUtime=1.56 cores=0,2,4,6
/proc/347/task/363/stat : 363 (java) S 345 347 31999 0 -1 4202560 4624 0 0 0 156 0 0 0 15 0 22 0 519026441 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=364] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/364/stat : 364 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=365] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/365/stat : 365 (java) S 345 347 31999 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 519026441 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=389] ppid=345 vsize=15692468 CPUtime=1166.97 cores=0,2,4,6
/proc/347/task/389/stat : 389 (java) R 345 347 31999 0 -1 4202560 362434 0 0 0 116652 45 0 0 25 0 22 0 519026468 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505898254 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=347/tid=390] ppid=345 vsize=15692468 CPUtime=1166.83 cores=0,2,4,6
/proc/347/task/390/stat : 390 (java) R 345 347 31999 0 -1 4202560 345537 0 0 0 116634 49 0 0 25 0 22 0 519026468 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 47413339715550 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=347/tid=391] ppid=345 vsize=15692468 CPUtime=1166.8 cores=0,2,4,6
/proc/347/task/391/stat : 391 (java) R 345 347 31999 0 -1 4202560 361506 0 0 0 116631 49 0 0 25 0 22 0 519026468 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912506558989 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=347/tid=392] ppid=345 vsize=15692468 CPUtime=1167.1 cores=0,2,4,6
/proc/347/task/392/stat : 392 (java) R 345 347 31999 0 -1 4202560 345663 0 0 0 116663 47 0 0 25 0 22 0 519026468 16069087232 124643 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505784771 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4703.36
Current children cumulated vsize (KiB) 15692468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.6 s]
/proc/loadavg: 6.78 7.50 7.63 6/220 440
/proc/meminfo: memFree=3529708/32950928 swapFree=67111528/67111528
[pid=347] ppid=345 vsize=15692468 CPUtime=4800.05 cores=0,2,4,6
/proc/347/stat : 347 (java) S 345 347 31999 0 -1 4202496 2553008 0 1 0 479554 451 0 0 23 0 22 0 519026436 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/347/statm: 3923117 108061 2299 9 0 3913836 0
[pid=347/tid=349] ppid=345 vsize=15692468 CPUtime=0.75 cores=0,2,4,6
/proc/347/task/349/stat : 349 (java) S 345 347 31999 0 -1 4202560 12891 0 1 0 73 2 0 0 18 0 22 0 519026436 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=350] ppid=345 vsize=15692468 CPUtime=3.84 cores=0,2,4,6
/proc/347/task/350/stat : 350 (java) S 345 347 31999 0 -1 4202560 133476 0 0 0 362 22 0 0 15 0 22 0 519026437 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=351] ppid=345 vsize=15692468 CPUtime=3.82 cores=0,2,4,6
/proc/347/task/351/stat : 351 (java) S 345 347 31999 0 -1 4202560 132526 0 0 0 361 21 0 0 15 0 22 0 519026437 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=352] ppid=345 vsize=15692468 CPUtime=3.84 cores=0,2,4,6
/proc/347/task/352/stat : 352 (java) S 345 347 31999 0 -1 4202560 136671 0 0 0 360 24 0 0 16 0 22 0 519026437 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=353] ppid=345 vsize=15692468 CPUtime=3.73 cores=0,2,4,6
/proc/347/task/353/stat : 353 (java) S 345 347 31999 0 -1 4202560 138699 0 0 0 347 26 0 0 16 0 22 0 519026437 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=354] ppid=345 vsize=15692468 CPUtime=3.86 cores=0,2,4,6
/proc/347/task/354/stat : 354 (java) S 345 347 31999 0 -1 4202560 132463 0 0 0 363 23 0 0 16 0 22 0 519026437 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 6 0 0 0
[pid=347/tid=355] ppid=345 vsize=15692468 CPUtime=3.88 cores=0,2,4,6
/proc/347/task/355/stat : 355 (java) S 345 347 31999 0 -1 4202560 136019 0 0 0 368 20 0 0 15 0 22 0 519026437 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=356] ppid=345 vsize=15692468 CPUtime=3.77 cores=0,2,4,6
/proc/347/task/356/stat : 356 (java) S 345 347 31999 0 -1 4202560 131424 0 0 0 355 22 0 0 15 0 22 0 519026437 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=357] ppid=345 vsize=15692468 CPUtime=3.75 cores=0,2,4,6
/proc/347/task/357/stat : 357 (java) S 345 347 31999 0 -1 4202560 134637 0 0 0 353 22 0 0 16 0 22 0 519026437 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=358] ppid=345 vsize=15692468 CPUtime=2.18 cores=0,2,4,6
/proc/347/task/358/stat : 358 (java) S 345 347 31999 0 -1 4202560 6609 0 0 0 153 65 0 0 15 0 22 0 519026438 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 0 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=359] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/359/stat : 359 (java) S 345 347 31999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519026438 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=360] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/360/stat : 360 (java) S 345 347 31999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519026438 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=361] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/361/stat : 361 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485791153 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=362] ppid=345 vsize=15692468 CPUtime=1.14 cores=0,2,4,6
/proc/347/task/362/stat : 362 (java) S 345 347 31999 0 -1 4202560 10966 0 0 0 113 1 0 0 15 0 22 0 519026441 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 0 0 0 0
[pid=347/tid=363] ppid=345 vsize=15692468 CPUtime=1.56 cores=0,2,4,6
/proc/347/task/363/stat : 363 (java) S 345 347 31999 0 -1 4202560 4624 0 0 0 156 0 0 0 15 0 22 0 519026441 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=364] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/364/stat : 364 (java) S 345 347 31999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519026441 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485783449 0 4 0 16800975 18446604446236936960 0 0 -1 2 0 0 0
[pid=347/tid=365] ppid=345 vsize=15692468 CPUtime=0 cores=0,2,4,6
/proc/347/task/365/stat : 365 (java) S 345 347 31999 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 519026441 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 274485784064 0 4 0 16800975 18446604446236936960 0 0 -1 4 0 0 0
[pid=347/tid=389] ppid=345 vsize=15692468 CPUtime=1191.02 cores=0,2,4,6
/proc/347/task/389/stat : 389 (java) R 345 347 31999 0 -1 4202560 368829 0 0 0 119056 46 0 0 19 0 22 0 519026468 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505875552 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=347/tid=390] ppid=345 vsize=15692468 CPUtime=1190.84 cores=0,2,4,6
/proc/347/task/390/stat : 390 (java) R 345 347 31999 0 -1 4202560 351531 0 0 0 119034 50 0 0 25 0 22 0 519026468 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505786100 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=347/tid=391] ppid=345 vsize=15692468 CPUtime=1190.85 cores=0,2,4,6
/proc/347/task/391/stat : 391 (java) R 345 347 31999 0 -1 4202560 368229 0 0 0 119036 49 0 0 25 0 22 0 519026468 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505797154 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=347/tid=392] ppid=345 vsize=15692468 CPUtime=1191.05 cores=0,2,4,6
/proc/347/task/392/stat : 392 (java) R 345 347 31999 0 -1 4202560 351961 0 0 0 119057 48 0 0 25 0 22 0 519026468 16069087232 108061 33554432000 1073741824 1073778376 140734263421840 18446744073709551615 46912505785028 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 15692468

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.64
CPU time (s): 4800.11
CPU user time (s): 4795.58
CPU system time (s): 4.53331
CPU usage (%): 397.808
Max. virtual memory (cumulated for all children) (KiB): 15695332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.58
system time used= 4.53331
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2553035
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= 174024
involuntary context switches= 112305

runsolver used 2.01969 second user time and 4.6233 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 12:51:08
IDJOB=3312183
IDBENCH=20401
IDSOLVER=1698
FILE ID=node125/3312183-1304074268
RUNJOBID= node125-1304074268-333
PBS_JOBID= 13170462
Free space on /tmp= 72764 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-03.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312183-1304074268/watcher-3312183-1304074268 -o /tmp/evaluation-result-3312183-1304074268/solver-3312183-1304074268 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312183-1304074268.cnf -hbr 2

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

MD5SUM BENCH= 8c67f78ca36ec96e662a91c74844da21
RANDOM SEED=7737110

node125.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	: 5266.55
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.84
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.74
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.75
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:     32950928 kB
MemFree:      15108888 kB
Buffers:       2219664 kB
Cached:       15023708 kB
SwapCached:          0 kB
Active:        9131964 kB
Inactive:      8178212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15108888 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2056 kB
Writeback:           0 kB
AnonPages:       66348 kB
Mapped:          14488 kB
Slab:           469060 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189740 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= 72752 MiB
End job on node125 at 2011-04-29 13:11:16