Trace number 3312659

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 4800.41 1207.43

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf
MD5SUMb936bd7aa1624f527379bba2a9d6f8ed
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
Number of clauses of size over 50

Solver Data

0.10/0.12	39:46 INFO : Reading from input HOME/instance-3312659-1304127586.cnf
0.29/0.29	Executor set job limit to 1000000
0.29/0.29	Executor set job limit to 1000000
0.29/0.29	Executor set job limit to 1000000
0.29/0.29	Executor set job limit to 1000000
0.29/0.29	Starting Executor!
0.29/0.29	Starting Executor!
0.29/0.29	Starting Executor!
0.29/0.29	Starting Executor!
0.76/0.45	39:46 INFO : 125 variables remaining out of 125
0.76/0.45	39:46 INFO : 15972 literals remaining out of 15972

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

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

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


[startup+0 s]
/proc/loadavg: 6.82 7.79 7.57 1/172 32523
/proc/meminfo: memFree=30962052/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/32523/stat : 32523 (java) R 32521 32523 32493 0 -1 4202496 1166 0 0 0 0 0 0 0 25 0 1 0 524355279 23580672 651 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254495729429 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32523/statm: 5757 663 491 9 0 124 0

[startup+0.0679369 s]
/proc/loadavg: 6.82 7.79 7.57 1/172 32523
/proc/meminfo: memFree=30962052/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=15609780 CPUtime=0.05 cores=0,2,4,6
/proc/32523/stat : 32523 (java) S 32521 32523 32493 0 -1 4202496 4322 0 1 0 5 0 0 0 25 0 18 0 524355279 15984414720 3760 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32523/statm: 3902445 3761 1778 9 0 3893164 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.104929 s]
/proc/loadavg: 6.82 7.79 7.57 1/172 32523
/proc/meminfo: memFree=30962052/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=15676892 CPUtime=0.1 cores=0,2,4,6
/proc/32523/stat : 32523 (java) S 32521 32523 32493 0 -1 4202496 5527 0 1 0 9 1 0 0 25 0 18 0 524355279 16053137408 4965 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32523/statm: 3919223 4966 2116 9 0 3909942 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676892

[startup+0.304878 s]
/proc/loadavg: 6.82 7.79 7.57 1/172 32523
/proc/meminfo: memFree=30962052/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=15683144 CPUtime=0.52 cores=0,2,4,6
/proc/32523/stat : 32523 (java) S 32521 32523 32493 0 -1 4202496 12040 0 1 0 49 3 0 0 25 0 22 0 524355279 16059539456 10536 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32523/statm: 3920786 10536 2209 9 0 3911505 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15683144

[startup+0.723061 s]
/proc/loadavg: 6.82 7.79 7.57 1/172 32523
/proc/meminfo: memFree=30962052/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=15701096 CPUtime=1.91 cores=0,2,4,6
/proc/32523/stat : 32523 (java) S 32521 32523 32493 0 -1 4202496 28146 0 1 0 186 5 0 0 25 0 22 0 524355279 16077922304 23367 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32523/statm: 3925274 23367 2260 9 0 3915993 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 15701096

[startup+1.50153 s]
/proc/loadavg: 6.82 7.79 7.57 13/220 32574
/proc/meminfo: memFree=30636168/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=15701096 CPUtime=4.95 cores=0,2,4,6
/proc/32523/stat : 32523 (java) S 32521 32523 32493 0 -1 4202496 53933 0 1 0 487 8 0 0 25 0 22 0 524355279 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32523/statm: 3925274 49128 2279 9 0 3915993 0
[pid=32523/tid=32527] ppid=32521 vsize=15701096 CPUtime=0.43 cores=0,2,4,6
/proc/32523/task/32527/stat : 32527 (java) S 32521 32523 32493 0 -1 4202560 7529 0 1 0 41 2 0 0 20 0 22 0 524355279 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32529] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32529/stat : 32529 (java) S 32521 32523 32493 0 -1 4202560 422 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32530] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32530/stat : 32530 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32531] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32531/stat : 32531 (java) S 32521 32523 32493 0 -1 4202560 287 0 0 0 0 0 0 0 16 0 22 0 524355280 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32532] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32532/stat : 32532 (java) S 32521 32523 32493 0 -1 4202560 857 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32533] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32533/stat : 32533 (java) S 32521 32523 32493 0 -1 4202560 183 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32534] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32534/stat : 32534 (java) S 32521 32523 32493 0 -1 4202560 672 0 0 0 0 0 0 0 16 0 22 0 524355280 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32535] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32535/stat : 32535 (java) S 32521 32523 32493 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32536] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32536/stat : 32536 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32541] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32541/stat : 32541 (java) S 32521 32523 32493 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 524355281 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32544] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32544/stat : 32544 (java) S 32521 32523 32493 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32545] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32545/stat : 32545 (java) S 32521 32523 32493 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32557] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32557/stat : 32557 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524355284 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32558] ppid=32521 vsize=15701096 CPUtime=0.76 cores=0,2,4,6
/proc/32523/task/32558/stat : 32558 (java) S 32521 32523 32493 0 -1 4202560 9379 0 0 0 75 1 0 0 15 0 22 0 524355284 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32559] ppid=32521 vsize=15701096 CPUtime=0.81 cores=0,2,4,6
/proc/32523/task/32559/stat : 32559 (java) S 32521 32523 32493 0 -1 4202560 4697 0 0 0 81 0 0 0 15 0 22 0 524355284 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32560] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32560/stat : 32560 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524355284 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32561] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32561/stat : 32561 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524355284 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32571] ppid=32521 vsize=15701096 CPUtime=0.92 cores=0,2,4,6
/proc/32523/task/32571/stat : 32571 (java) R 32521 32523 32493 0 -1 4202560 11795 0 0 0 91 1 0 0 18 0 22 0 524355308 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505797775 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32523/tid=32572] ppid=32521 vsize=15701096 CPUtime=0.49 cores=0,2,4,6
/proc/32523/task/32572/stat : 32572 (java) R 32521 32523 32493 0 -1 4202560 3443 0 0 0 49 0 0 0 19 0 22 0 524355308 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505366048 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32523/tid=32573] ppid=32521 vsize=15701096 CPUtime=0.92 cores=0,2,4,6
/proc/32523/task/32573/stat : 32573 (java) R 32521 32523 32493 0 -1 4202560 12182 0 0 0 91 1 0 0 19 0 22 0 524355308 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505782390 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32523/tid=32574] ppid=32521 vsize=15701096 CPUtime=0.54 cores=0,2,4,6
/proc/32523/task/32574/stat : 32574 (java) R 32521 32523 32493 0 -1 4202560 714 0 0 0 54 0 0 0 16 0 22 0 524355308 16077922304 49128 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912506060000 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 15701096

[startup+3.10121 s]
/proc/loadavg: 6.82 7.79 7.57 9/220 32574
/proc/meminfo: memFree=30457360/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=15701096 CPUtime=11.32 cores=0,2,4,6
/proc/32523/stat : 32523 (java) S 32521 32523 32493 0 -1 4202496 88407 0 1 0 1119 13 0 0 25 0 22 0 524355279 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32523/statm: 3925274 80736 2286 9 0 3915993 0
[pid=32523/tid=32527] ppid=32521 vsize=15701096 CPUtime=0.43 cores=0,2,4,6
/proc/32523/task/32527/stat : 32527 (java) S 32521 32523 32493 0 -1 4202560 7529 0 1 0 41 2 0 0 20 0 22 0 524355279 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32529] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32529/stat : 32529 (java) S 32521 32523 32493 0 -1 4202560 847 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32530] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32530/stat : 32530 (java) S 32521 32523 32493 0 -1 4202560 1754 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32531] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32531/stat : 32531 (java) S 32521 32523 32493 0 -1 4202560 1024 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32532] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32532/stat : 32532 (java) S 32521 32523 32493 0 -1 4202560 964 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32533] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32533/stat : 32533 (java) S 32521 32523 32493 0 -1 4202560 827 0 0 0 0 0 0 0 16 0 22 0 524355280 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32534] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32534/stat : 32534 (java) S 32521 32523 32493 0 -1 4202560 1534 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32535] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32535/stat : 32535 (java) S 32521 32523 32493 0 -1 4202560 1040 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32536] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32536/stat : 32536 (java) S 32521 32523 32493 0 -1 4202560 369 0 0 0 0 0 0 0 16 0 22 0 524355280 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32541] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32541/stat : 32541 (java) S 32521 32523 32493 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 524355281 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32544] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32544/stat : 32544 (java) S 32521 32523 32493 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32545] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32545/stat : 32545 (java) S 32521 32523 32493 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32557] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32557/stat : 32557 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524355284 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32558] ppid=32521 vsize=15701096 CPUtime=0.83 cores=0,2,4,6
/proc/32523/task/32558/stat : 32558 (java) S 32521 32523 32493 0 -1 4202560 9425 0 0 0 82 1 0 0 16 0 22 0 524355284 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32559] ppid=32521 vsize=15701096 CPUtime=0.92 cores=0,2,4,6
/proc/32523/task/32559/stat : 32559 (java) S 32521 32523 32493 0 -1 4202560 4723 0 0 0 92 0 0 0 16 0 22 0 524355284 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32560] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32560/stat : 32560 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524355284 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32561] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32561/stat : 32561 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524355284 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32571] ppid=32521 vsize=15701096 CPUtime=2.51 cores=0,2,4,6
/proc/32523/task/32571/stat : 32571 (java) R 32521 32523 32493 0 -1 4202560 19626 0 0 0 249 2 0 0 21 0 22 0 524355308 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912506121081 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32523/tid=32572] ppid=32521 vsize=15701096 CPUtime=1.97 cores=0,2,4,6
/proc/32523/task/32572/stat : 32572 (java) R 32521 32523 32493 0 -1 4202560 10135 0 0 0 196 1 0 0 22 0 22 0 524355308 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505869718 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32523/tid=32573] ppid=32521 vsize=15701096 CPUtime=2.5 cores=0,2,4,6
/proc/32523/task/32573/stat : 32573 (java) R 32521 32523 32493 0 -1 4202560 19732 0 0 0 248 2 0 0 23 0 22 0 524355308 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505806496 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32523/tid=32574] ppid=32521 vsize=15701096 CPUtime=2.06 cores=0,2,4,6
/proc/32523/task/32574/stat : 32574 (java) R 32521 32523 32493 0 -1 4202560 7418 0 0 0 205 1 0 0 18 0 22 0 524355308 16077922304 80736 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505869895 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.32
Current children cumulated vsize (KiB) 15701096

[startup+6.30157 s]
/proc/loadavg: 6.92 7.79 7.57 9/220 32574
/proc/meminfo: memFree=30425616/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=15701096 CPUtime=24.07 cores=0,2,4,6
/proc/32523/stat : 32523 (java) S 32521 32523 32493 0 -1 4202496 90848 0 1 0 2393 14 0 0 25 0 22 0 524355279 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32523/statm: 3925274 79706 2289 9 0 3915993 0
[pid=32523/tid=32527] ppid=32521 vsize=15701096 CPUtime=0.43 cores=0,2,4,6
/proc/32523/task/32527/stat : 32527 (java) S 32521 32523 32493 0 -1 4202560 7529 0 1 0 41 2 0 0 20 0 22 0 524355279 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32529] ppid=32521 vsize=15701096 CPUtime=0.01 cores=0,2,4,6
/proc/32523/task/32529/stat : 32529 (java) S 32521 32523 32493 0 -1 4202560 1093 0 0 0 1 0 0 0 16 0 22 0 524355280 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32530] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32530/stat : 32530 (java) S 32521 32523 32493 0 -1 4202560 1946 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32531] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32531/stat : 32531 (java) S 32521 32523 32493 0 -1 4202560 1264 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32532] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32532/stat : 32532 (java) S 32521 32523 32493 0 -1 4202560 1293 0 0 0 0 0 0 0 16 0 22 0 524355280 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32533] ppid=32521 vsize=15701096 CPUtime=0.01 cores=0,2,4,6
/proc/32523/task/32533/stat : 32533 (java) S 32521 32523 32493 0 -1 4202560 1197 0 0 0 1 0 0 0 15 0 22 0 524355280 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32534] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32534/stat : 32534 (java) S 32521 32523 32493 0 -1 4202560 1947 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32535] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32535/stat : 32535 (java) S 32521 32523 32493 0 -1 4202560 1268 0 0 0 0 0 0 0 15 0 22 0 524355280 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32536] ppid=32521 vsize=15701096 CPUtime=0.01 cores=0,2,4,6
/proc/32523/task/32536/stat : 32536 (java) S 32521 32523 32493 0 -1 4202560 707 0 0 0 1 0 0 0 15 0 22 0 524355280 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32541] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32541/stat : 32541 (java) S 32521 32523 32493 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 22 0 524355281 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32544] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32544/stat : 32544 (java) S 32521 32523 32493 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32545] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32545/stat : 32545 (java) S 32521 32523 32493 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32557] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32557/stat : 32557 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524355284 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32558] ppid=32521 vsize=15701096 CPUtime=0.9 cores=0,2,4,6
/proc/32523/task/32558/stat : 32558 (java) S 32521 32523 32493 0 -1 4202560 9439 0 0 0 89 1 0 0 16 0 22 0 524355284 16077922304 79706 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0

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

[pid=32523/tid=32572] ppid=32521 vsize=15701096 CPUtime=1108.13 cores=0,2,4,6
/proc/32523/task/32572/stat : 32572 (java) R 32521 32523 32493 0 -1 4202560 157865 0 0 0 110782 31 0 0 25 0 22 0 524355308 16077922304 72225 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505762104 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32523/tid=32573] ppid=32521 vsize=15701096 CPUtime=1108.21 cores=0,2,4,6
/proc/32523/task/32573/stat : 32573 (java) R 32521 32523 32493 0 -1 4202560 166856 0 0 0 110791 30 0 0 25 0 22 0 524355308 16077922304 72225 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505744787 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32523/tid=32574] ppid=32521 vsize=15701096 CPUtime=1107.88 cores=0,2,4,6
/proc/32523/task/32574/stat : 32574 (java) R 32521 32523 32493 0 -1 4202560 154962 0 0 0 110758 30 0 0 25 0 22 0 524355308 16077922304 72225 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505869933 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4461.94
Current children cumulated vsize (KiB) 15701096

[startup+1182.3 s]
/proc/loadavg: 8.06 8.12 7.95 9/220 32752
/proc/meminfo: memFree=30237980/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=15701096 CPUtime=4700.52 cores=0,2,4,6
/proc/32523/stat : 32523 (java) S 32521 32523 32493 0 -1 4202496 1180840 0 1 0 469739 313 0 0 25 0 22 0 524355279 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32523/statm: 3925274 75551 2299 9 0 3915993 0
[pid=32523/tid=32527] ppid=32521 vsize=15701096 CPUtime=0.43 cores=0,2,4,6
/proc/32523/task/32527/stat : 32527 (java) S 32521 32523 32493 0 -1 4202560 7529 0 1 0 41 2 0 0 20 0 22 0 524355279 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32529] ppid=32521 vsize=15701096 CPUtime=3.28 cores=0,2,4,6
/proc/32523/task/32529/stat : 32529 (java) S 32521 32523 32493 0 -1 4202560 57815 0 0 0 312 16 0 0 16 0 22 0 524355280 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32530] ppid=32521 vsize=15701096 CPUtime=3.27 cores=0,2,4,6
/proc/32523/task/32530/stat : 32530 (java) S 32521 32523 32493 0 -1 4202560 57259 0 0 0 313 14 0 0 15 0 22 0 524355280 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32531] ppid=32521 vsize=15701096 CPUtime=3.19 cores=0,2,4,6
/proc/32523/task/32531/stat : 32531 (java) S 32521 32523 32493 0 -1 4202560 57217 0 0 0 305 14 0 0 16 0 22 0 524355280 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32532] ppid=32521 vsize=15701096 CPUtime=3.2 cores=0,2,4,6
/proc/32523/task/32532/stat : 32532 (java) S 32521 32523 32493 0 -1 4202560 59414 0 0 0 308 12 0 0 15 0 22 0 524355280 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32533] ppid=32521 vsize=15701096 CPUtime=3.3 cores=0,2,4,6
/proc/32523/task/32533/stat : 32533 (java) S 32521 32523 32493 0 -1 4202560 60673 0 0 0 315 15 0 0 15 0 22 0 524355280 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32534] ppid=32521 vsize=15701096 CPUtime=3.3 cores=0,2,4,6
/proc/32523/task/32534/stat : 32534 (java) S 32521 32523 32493 0 -1 4202560 61031 0 0 0 316 14 0 0 15 0 22 0 524355280 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32535] ppid=32521 vsize=15701096 CPUtime=3.26 cores=0,2,4,6
/proc/32523/task/32535/stat : 32535 (java) S 32521 32523 32493 0 -1 4202560 56672 0 0 0 313 13 0 0 15 0 22 0 524355280 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32536] ppid=32521 vsize=15701096 CPUtime=3.24 cores=0,2,4,6
/proc/32523/task/32536/stat : 32536 (java) S 32521 32523 32493 0 -1 4202560 57600 0 0 0 310 14 0 0 15 0 22 0 524355280 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32541] ppid=32521 vsize=15701096 CPUtime=2.12 cores=0,2,4,6
/proc/32523/task/32541/stat : 32541 (java) S 32521 32523 32493 0 -1 4202560 3003 0 0 0 152 60 0 0 15 0 22 0 524355281 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32544] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32544/stat : 32544 (java) S 32521 32523 32493 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32545] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32545/stat : 32545 (java) S 32521 32523 32493 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32557] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32557/stat : 32557 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524355284 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32558] ppid=32521 vsize=15701096 CPUtime=0.91 cores=0,2,4,6
/proc/32523/task/32558/stat : 32558 (java) S 32521 32523 32493 0 -1 4202560 9444 0 0 0 90 1 0 0 15 0 22 0 524355284 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32559] ppid=32521 vsize=15701096 CPUtime=0.99 cores=0,2,4,6
/proc/32523/task/32559/stat : 32559 (java) S 32521 32523 32493 0 -1 4202560 4740 0 0 0 99 0 0 0 15 0 22 0 524355284 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32560] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32560/stat : 32560 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524355284 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32561] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32561/stat : 32561 (java) S 32521 32523 32493 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 524355284 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32571] ppid=32521 vsize=15701096 CPUtime=1167.7 cores=0,2,4,6
/proc/32523/task/32571/stat : 32571 (java) R 32521 32523 32493 0 -1 4202560 176519 0 0 0 116738 32 0 0 25 0 22 0 524355308 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912506023613 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=32523/tid=32572] ppid=32521 vsize=15701096 CPUtime=1167.4 cores=0,2,4,6
/proc/32523/task/32572/stat : 32572 (java) R 32521 32523 32493 0 -1 4202560 167995 0 0 0 116707 33 0 0 25 0 22 0 524355308 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505807133 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32523/tid=32573] ppid=32521 vsize=15701096 CPUtime=1167.58 cores=0,2,4,6
/proc/32523/task/32573/stat : 32573 (java) R 32521 32523 32493 0 -1 4202560 177256 0 0 0 116725 33 0 0 25 0 22 0 524355308 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505758114 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32523/tid=32574] ppid=32521 vsize=15701096 CPUtime=1167.2 cores=0,2,4,6
/proc/32523/task/32574/stat : 32574 (java) R 32521 32523 32493 0 -1 4202560 165225 0 0 0 116688 32 0 0 18 0 22 0 524355308 16077922304 75551 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912506023860 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4700.52
Current children cumulated vsize (KiB) 15701096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.4 s]
/proc/loadavg: 8.11 8.12 7.95 9/220 32753
/proc/meminfo: memFree=30189476/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=15701096 CPUtime=4800.35 cores=0,2,4,6
/proc/32523/stat : 32523 (java) S 32521 32523 32493 0 -1 4202496 1208345 0 1 0 479717 318 0 0 25 0 22 0 524355279 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32523/statm: 3925274 81911 2299 9 0 3915993 0
[pid=32523/tid=32527] ppid=32521 vsize=15701096 CPUtime=0.43 cores=0,2,4,6
/proc/32523/task/32527/stat : 32527 (java) S 32521 32523 32493 0 -1 4202560 7529 0 1 0 41 2 0 0 20 0 22 0 524355279 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32529] ppid=32521 vsize=15701096 CPUtime=3.32 cores=0,2,4,6
/proc/32523/task/32529/stat : 32529 (java) S 32521 32523 32493 0 -1 4202560 58874 0 0 0 316 16 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32530] ppid=32521 vsize=15701096 CPUtime=3.34 cores=0,2,4,6
/proc/32523/task/32530/stat : 32530 (java) S 32521 32523 32493 0 -1 4202560 58613 0 0 0 320 14 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32531] ppid=32521 vsize=15701096 CPUtime=3.26 cores=0,2,4,6
/proc/32523/task/32531/stat : 32531 (java) S 32521 32523 32493 0 -1 4202560 58594 0 0 0 312 14 0 0 16 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32532] ppid=32521 vsize=15701096 CPUtime=3.27 cores=0,2,4,6
/proc/32523/task/32532/stat : 32532 (java) S 32521 32523 32493 0 -1 4202560 60786 0 0 0 314 13 0 0 16 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32533] ppid=32521 vsize=15701096 CPUtime=3.36 cores=0,2,4,6
/proc/32523/task/32533/stat : 32533 (java) S 32521 32523 32493 0 -1 4202560 61918 0 0 0 320 16 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32534] ppid=32521 vsize=15701096 CPUtime=3.37 cores=0,2,4,6
/proc/32523/task/32534/stat : 32534 (java) S 32521 32523 32493 0 -1 4202560 62621 0 0 0 322 15 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32535] ppid=32521 vsize=15701096 CPUtime=3.32 cores=0,2,4,6
/proc/32523/task/32535/stat : 32535 (java) S 32521 32523 32493 0 -1 4202560 57836 0 0 0 319 13 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32536] ppid=32521 vsize=15701096 CPUtime=3.31 cores=0,2,4,6
/proc/32523/task/32536/stat : 32536 (java) S 32521 32523 32493 0 -1 4202560 58976 0 0 0 316 15 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32541] ppid=32521 vsize=15701096 CPUtime=2.16 cores=0,2,4,6
/proc/32523/task/32541/stat : 32541 (java) S 32521 32523 32493 0 -1 4202560 3059 0 0 0 155 61 0 0 15 0 22 0 524355281 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32544] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32544/stat : 32544 (java) S 32521 32523 32493 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32545] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32545/stat : 32545 (java) S 32521 32523 32493 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32557] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32557/stat : 32557 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524355284 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32558] ppid=32521 vsize=15701096 CPUtime=0.91 cores=0,2,4,6
/proc/32523/task/32558/stat : 32558 (java) S 32521 32523 32493 0 -1 4202560 9444 0 0 0 90 1 0 0 15 0 22 0 524355284 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32559] ppid=32521 vsize=15701096 CPUtime=0.99 cores=0,2,4,6
/proc/32523/task/32559/stat : 32559 (java) S 32521 32523 32493 0 -1 4202560 4740 0 0 0 99 0 0 0 15 0 22 0 524355284 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32560] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32560/stat : 32560 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524355284 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32561] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32561/stat : 32561 (java) S 32521 32523 32493 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 524355284 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32571] ppid=32521 vsize=15701096 CPUtime=1192.46 cores=0,2,4,6
/proc/32523/task/32571/stat : 32571 (java) R 32521 32523 32493 0 -1 4202560 180716 0 0 0 119214 32 0 0 25 0 22 0 524355308 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505708455 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32523/tid=32572] ppid=32521 vsize=15701096 CPUtime=1192.24 cores=0,2,4,6
/proc/32523/task/32572/stat : 32572 (java) R 32521 32523 32493 0 -1 4202560 171986 0 0 0 119191 33 0 0 25 0 22 0 524355308 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505674624 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32523/tid=32573] ppid=32521 vsize=15701096 CPUtime=1192.44 cores=0,2,4,6
/proc/32523/task/32573/stat : 32573 (java) R 32521 32523 32493 0 -1 4202560 181529 0 0 0 119210 34 0 0 25 0 22 0 524355308 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 47592486493200 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32523/tid=32574] ppid=32521 vsize=15701096 CPUtime=1192.02 cores=0,2,4,6
/proc/32523/task/32574/stat : 32574 (java) R 32521 32523 32493 0 -1 4202560 169674 0 0 0 119169 33 0 0 25 0 22 0 524355308 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912506017108 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 15701096

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

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

[startup+1207.4 s]
/proc/loadavg: 8.11 8.12 7.95 9/220 32753
/proc/meminfo: memFree=30189476/32950928 swapFree=67111464/67111528
[pid=32523] ppid=32521 vsize=15701096 CPUtime=4800.35 cores=0,2,4,6
/proc/32523/stat : 32523 (java) S 32521 32523 32493 0 -1 4202496 1208345 0 1 0 479717 318 0 0 25 0 22 0 524355279 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/32523/statm: 3925274 81911 2299 9 0 3915993 0
[pid=32523/tid=32527] ppid=32521 vsize=15701096 CPUtime=0.43 cores=0,2,4,6
/proc/32523/task/32527/stat : 32527 (java) S 32521 32523 32493 0 -1 4202560 7529 0 1 0 41 2 0 0 20 0 22 0 524355279 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32529] ppid=32521 vsize=15701096 CPUtime=3.32 cores=0,2,4,6
/proc/32523/task/32529/stat : 32529 (java) S 32521 32523 32493 0 -1 4202560 58874 0 0 0 316 16 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32530] ppid=32521 vsize=15701096 CPUtime=3.34 cores=0,2,4,6
/proc/32523/task/32530/stat : 32530 (java) S 32521 32523 32493 0 -1 4202560 58613 0 0 0 320 14 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32531] ppid=32521 vsize=15701096 CPUtime=3.26 cores=0,2,4,6
/proc/32523/task/32531/stat : 32531 (java) S 32521 32523 32493 0 -1 4202560 58594 0 0 0 312 14 0 0 16 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32532] ppid=32521 vsize=15701096 CPUtime=3.27 cores=0,2,4,6
/proc/32523/task/32532/stat : 32532 (java) S 32521 32523 32493 0 -1 4202560 60786 0 0 0 314 13 0 0 16 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32533] ppid=32521 vsize=15701096 CPUtime=3.36 cores=0,2,4,6
/proc/32523/task/32533/stat : 32533 (java) S 32521 32523 32493 0 -1 4202560 61918 0 0 0 320 16 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32534] ppid=32521 vsize=15701096 CPUtime=3.37 cores=0,2,4,6
/proc/32523/task/32534/stat : 32534 (java) S 32521 32523 32493 0 -1 4202560 62621 0 0 0 322 15 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32535] ppid=32521 vsize=15701096 CPUtime=3.32 cores=0,2,4,6
/proc/32523/task/32535/stat : 32535 (java) S 32521 32523 32493 0 -1 4202560 57836 0 0 0 319 13 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32536] ppid=32521 vsize=15701096 CPUtime=3.31 cores=0,2,4,6
/proc/32523/task/32536/stat : 32536 (java) S 32521 32523 32493 0 -1 4202560 58976 0 0 0 316 15 0 0 15 0 22 0 524355280 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32541] ppid=32521 vsize=15701096 CPUtime=2.16 cores=0,2,4,6
/proc/32523/task/32541/stat : 32541 (java) S 32521 32523 32493 0 -1 4202560 3059 0 0 0 155 61 0 0 15 0 22 0 524355281 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 0 0 16800975 18446604453876773248 0 0 -1 0 0 0 0
[pid=32523/tid=32544] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32544/stat : 32544 (java) S 32521 32523 32493 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32545] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32545/stat : 32545 (java) S 32521 32523 32493 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524355281 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32557] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32557/stat : 32557 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 524355284 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512515505 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32558] ppid=32521 vsize=15701096 CPUtime=0.91 cores=0,2,4,6
/proc/32523/task/32558/stat : 32558 (java) S 32521 32523 32493 0 -1 4202560 9444 0 0 0 90 1 0 0 15 0 22 0 524355284 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 2 0 0 0
[pid=32523/tid=32559] ppid=32521 vsize=15701096 CPUtime=0.99 cores=0,2,4,6
/proc/32523/task/32559/stat : 32559 (java) S 32521 32523 32493 0 -1 4202560 4740 0 0 0 99 0 0 0 15 0 22 0 524355284 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32560] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32560/stat : 32560 (java) S 32521 32523 32493 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524355284 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512507801 0 4 0 16800975 18446604453876773248 0 0 -1 6 0 0 0
[pid=32523/tid=32561] ppid=32521 vsize=15701096 CPUtime=0 cores=0,2,4,6
/proc/32523/task/32561/stat : 32561 (java) S 32521 32523 32493 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 524355284 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 254512508416 0 4 0 16800975 18446604453876773248 0 0 -1 4 0 0 0
[pid=32523/tid=32571] ppid=32521 vsize=15701096 CPUtime=1192.46 cores=0,2,4,6
/proc/32523/task/32571/stat : 32571 (java) R 32521 32523 32493 0 -1 4202560 180716 0 0 0 119214 32 0 0 25 0 22 0 524355308 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505708455 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=32523/tid=32572] ppid=32521 vsize=15701096 CPUtime=1192.24 cores=0,2,4,6
/proc/32523/task/32572/stat : 32572 (java) R 32521 32523 32493 0 -1 4202560 171986 0 0 0 119191 33 0 0 25 0 22 0 524355308 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912505674624 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=32523/tid=32573] ppid=32521 vsize=15701096 CPUtime=1192.44 cores=0,2,4,6
/proc/32523/task/32573/stat : 32573 (java) R 32521 32523 32493 0 -1 4202560 181529 0 0 0 119210 34 0 0 25 0 22 0 524355308 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 47592486493200 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=32523/tid=32574] ppid=32521 vsize=15701096 CPUtime=1192.02 cores=0,2,4,6
/proc/32523/task/32574/stat : 32574 (java) R 32521 32523 32493 0 -1 4202560 169674 0 0 0 119169 33 0 0 25 0 22 0 524355308 16077922304 81911 33554432000 1073741824 1073778376 140736440060976 18446744073709551615 46912506017108 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 15701096

Child status: 143
Real time (s): 1207.43
CPU time (s): 4800.41
CPU user time (s): 4797.21
CPU system time (s): 3.20551
CPU usage (%): 397.572
Max. virtual memory (cumulated for all children) (KiB): 15701096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.21
system time used= 3.20551
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1208371
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= 323128
involuntary context switches= 163259

runsolver used 1.92171 second user time and 4.69728 second system time

The end

Launcher Data

Begin job on node149 at 2011-04-30 03:39:46
IDJOB=3312659
IDBENCH=82844
IDSOLVER=1699
FILE ID=node149/3312659-1304127586
RUNJOBID= node149-1304127586-32511
PBS_JOBID= 13170772
Free space on /tmp= 71932 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312659-1304127586/watcher-3312659-1304127586 -o /tmp/evaluation-result-3312659-1304127586/solver-3312659-1304127586 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312659-1304127586.cnf

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

MD5SUM BENCH= b936bd7aa1624f527379bba2a9d6f8ed
RANDOM SEED=199961660

node149.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.806
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.61
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.806
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.83
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.806
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.83
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.806
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.73
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.806
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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.806
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:      30962324 kB
Buffers:        455908 kB
Cached:        1097892 kB
SwapCached:         60 kB
Active:         145432 kB
Inactive:      1472616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30962324 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            1748 kB
Writeback:           0 kB
AnonPages:       64236 kB
Mapped:          14424 kB
Slab:           305200 kB
PageTables:       4888 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   184856 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71928 MiB
End job on node149 at 2011-04-30 03:59:55