Trace number 3312417

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.23 1203.66

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf
MD5SUMc578ae902020675717dd7f7fb0a11360
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.33034
Satisfiable
(Un)Satisfiability was proved
Number of variables1250
Number of clauses25000
Sum of the clauses size125000
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 525000
Number of clauses of size over 50

Solver Data 

0.10/0.12	54:07 INFO : Reading from input HOME/instance-3312417-1304114047.cnf
0.61/0.43	Executor set job limit to 1000000
0.61/0.43	Executor set job limit to 1000000
0.61/0.43	Executor set job limit to 1000000
0.61/0.43	Executor set job limit to 1000000
0.61/0.43	Starting Executor!
0.61/0.43	Starting Executor!
0.61/0.43	Starting Executor!
0.61/0.43	Starting Executor!
2.15/1.02	54:08 INFO : 1250 variables remaining out of 1250
2.15/1.02	54:08 INFO : 150000 literals remaining out of 150000

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

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

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


[startup+0 s]
/proc/loadavg: 4.95 5.04 5.92 5/198 31092
/proc/meminfo: memFree=15705888/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/31092/stat : 31092 (java) R 31090 31092 30477 0 -1 4202496 917 0 0 0 0 0 0 0 25 0 1 0 503820542 23580672 404 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233505335040 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31092/statm: 5757 414 321 9 0 124 0

[startup+0.085411 s]
/proc/loadavg: 4.95 5.04 5.92 5/198 31092
/proc/meminfo: memFree=15705888/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=15677700 CPUtime=0.09 cores=1,3,5,7
/proc/31092/stat : 31092 (java) S 31090 31092 30477 0 -1 4202496 5322 0 1 0 8 1 0 0 25 0 18 0 503820542 16053964800 4735 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31092/statm: 3919425 4736 2104 9 0 3910144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15677700

[startup+0.100224 s]
/proc/loadavg: 4.95 5.04 5.92 5/198 31092
/proc/meminfo: memFree=15705888/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=15677700 CPUtime=0.1 cores=1,3,5,7
/proc/31092/stat : 31092 (java) S 31090 31092 30477 0 -1 4202496 5560 0 1 0 9 1 0 0 25 0 18 0 503820542 16053964800 4973 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31092/statm: 3919425 4973 2116 9 0 3910144 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15677700

[startup+0.300183 s]
/proc/loadavg: 4.95 5.04 5.92 5/198 31092
/proc/meminfo: memFree=15705888/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=15682820 CPUtime=0.51 cores=1,3,5,7
/proc/31092/stat : 31092 (java) S 31090 31092 30477 0 -1 4202496 14407 0 1 0 49 2 0 0 25 0 18 0 503820542 16059207680 13336 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31092/statm: 3920705 13344 2206 9 0 3911424 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682820

[startup+0.701073 s]
/proc/loadavg: 4.95 5.04 5.92 5/198 31092
/proc/meminfo: memFree=15705888/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=15702936 CPUtime=1.23 cores=1,3,5,7
/proc/31092/stat : 31092 (java) S 31090 31092 30477 0 -1 4202496 43515 0 1 0 117 6 0 0 25 0 22 0 503820542 16079806464 40468 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31092/statm: 3925734 40468 2233 9 0 3916453 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 15702936

[startup+1.59591 s]
/proc/loadavg: 4.96 5.04 5.92 8/220 31114
/proc/meminfo: memFree=15533668/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=15700988 CPUtime=4.06 cores=1,3,5,7
/proc/31092/stat : 31092 (java) S 31090 31092 30477 0 -1 4202496 60909 0 1 0 397 9 0 0 25 0 22 0 503820542 16077811712 48823 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31092/statm: 3925247 48848 2274 9 0 3915966 0
[pid=31092/tid=31094] ppid=31090 vsize=15700988 CPUtime=1 cores=1,3,5,7
/proc/31092/task/31094/stat : 31094 (java) S 31090 31092 30477 0 -1 4202560 33095 0 1 0 96 4 0 0 21 0 22 0 503820543 16077811712 48861 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31095] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31095/stat : 31095 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503820544 16077811712 48876 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31096] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31096/stat : 31096 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503820544 16077811712 48887 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31097] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31097/stat : 31097 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503820544 16077811712 48887 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31098] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31098/stat : 31098 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503820544 16077811712 48887 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31099] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31099/stat : 31099 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503820544 16077811712 48888 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31100] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31100/stat : 31100 (java) S 31090 31092 30477 0 -1 4202560 80 0 0 0 0 0 0 0 18 0 22 0 503820544 16077811712 48897 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31101] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31101/stat : 31101 (java) S 31090 31092 30477 0 -1 4202560 422 0 0 0 0 0 0 0 18 0 22 0 503820544 16077811712 48905 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31102] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31102/stat : 31102 (java) S 31090 31092 30477 0 -1 4202560 298 0 0 0 0 0 0 0 18 0 22 0 503820544 16077811712 48913 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31103] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31103/stat : 31103 (java) S 31090 31092 30477 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 503820545 16077811712 48920 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 0 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31104] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31104/stat : 31104 (java) S 31090 31092 30477 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503820545 16077811712 48928 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31105] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31105/stat : 31105 (java) S 31090 31092 30477 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503820545 16077811712 48936 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31106] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31106/stat : 31106 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16077811712 48944 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522121137 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31107] ppid=31090 vsize=15700988 CPUtime=1.13 cores=1,3,5,7
/proc/31092/task/31107/stat : 31107 (java) R 31090 31092 30477 0 -1 4202560 15662 0 0 0 111 2 0 0 18 0 22 0 503820547 16077811712 48952 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31092/tid=31108] ppid=31090 vsize=15700988 CPUtime=0.86 cores=1,3,5,7
/proc/31092/task/31108/stat : 31108 (java) S 31090 31092 30477 0 -1 4202560 7526 0 0 0 85 1 0 0 15 0 22 0 503820547 16077811712 48960 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31109] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31109/stat : 31109 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16077811712 48968 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31110] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31110/stat : 31110 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503820547 16077811712 48976 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31111] ppid=31090 vsize=15700988 CPUtime=0.25 cores=1,3,5,7
/proc/31092/task/31111/stat : 31111 (java) R 31090 31092 30477 0 -1 4202560 223 0 0 0 25 0 0 0 16 0 22 0 503820586 16077811712 48983 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505926965 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31092/tid=31112] ppid=31090 vsize=15700988 CPUtime=0.37 cores=1,3,5,7
/proc/31092/task/31112/stat : 31112 (java) R 31090 31092 30477 0 -1 4202560 1390 0 0 0 37 0 0 0 16 0 22 0 503820586 16077811712 48990 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505961935 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31092/tid=31113] ppid=31090 vsize=15700988 CPUtime=0.1 cores=1,3,5,7
/proc/31092/task/31113/stat : 31113 (java) R 31090 31092 30477 0 -1 4202560 523 0 0 0 10 0 0 0 16 0 22 0 503820586 16077811712 48998 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 47699125125714 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31092/tid=31114] ppid=31090 vsize=15700988 CPUtime=0.3 cores=1,3,5,7
/proc/31092/task/31114/stat : 31114 (java) R 31090 31092 30477 0 -1 4202560 450 0 0 0 30 0 0 0 16 0 22 0 503820586 16077811712 49006 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505881889 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 15700988

[startup+3.10164 s]
/proc/loadavg: 4.96 5.04 5.92 6/220 31114
/proc/meminfo: memFree=15468540/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=15700988 CPUtime=10.05 cores=1,3,5,7
/proc/31092/stat : 31092 (java) S 31090 31092 30477 0 -1 4202496 128318 0 1 0 984 21 0 0 25 0 22 0 503820542 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31092/statm: 3925247 116018 2274 9 0 3915966 0
[pid=31092/tid=31094] ppid=31090 vsize=15700988 CPUtime=1 cores=1,3,5,7
/proc/31092/task/31094/stat : 31094 (java) S 31090 31092 30477 0 -1 4202560 33095 0 1 0 96 4 0 0 21 0 22 0 503820543 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31095] ppid=31090 vsize=15700988 CPUtime=0.02 cores=1,3,5,7
/proc/31092/task/31095/stat : 31095 (java) S 31090 31092 30477 0 -1 4202560 8057 0 0 0 1 1 0 0 16 0 22 0 503820544 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31096] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31096/stat : 31096 (java) S 31090 31092 30477 0 -1 4202560 3820 0 0 0 0 0 0 0 16 0 22 0 503820544 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31097] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31097/stat : 31097 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503820544 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31098] ppid=31090 vsize=15700988 CPUtime=0.01 cores=1,3,5,7
/proc/31092/task/31098/stat : 31098 (java) S 31090 31092 30477 0 -1 4202560 6114 0 0 0 0 1 0 0 15 0 22 0 503820544 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31099] ppid=31090 vsize=15700988 CPUtime=0.01 cores=1,3,5,7
/proc/31092/task/31099/stat : 31099 (java) S 31090 31092 30477 0 -1 4202560 5554 0 0 0 1 0 0 0 15 0 22 0 503820544 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31100] ppid=31090 vsize=15700988 CPUtime=0.03 cores=1,3,5,7
/proc/31092/task/31100/stat : 31100 (java) S 31090 31092 30477 0 -1 4202560 7977 0 0 0 2 1 0 0 16 0 22 0 503820544 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31101] ppid=31090 vsize=15700988 CPUtime=0.01 cores=1,3,5,7
/proc/31092/task/31101/stat : 31101 (java) S 31090 31092 30477 0 -1 4202560 5702 0 0 0 1 0 0 0 15 0 22 0 503820544 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31102] ppid=31090 vsize=15700988 CPUtime=0.02 cores=1,3,5,7
/proc/31092/task/31102/stat : 31102 (java) S 31090 31092 30477 0 -1 4202560 8255 0 0 0 1 1 0 0 16 0 22 0 503820544 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31103] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31103/stat : 31103 (java) S 31090 31092 30477 0 -1 4202560 244 0 0 0 0 0 0 0 15 0 22 0 503820545 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 0 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31104] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31104/stat : 31104 (java) S 31090 31092 30477 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503820545 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31105] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31105/stat : 31105 (java) S 31090 31092 30477 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503820545 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31106] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31106/stat : 31106 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522121137 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31107] ppid=31090 vsize=15700988 CPUtime=1.14 cores=1,3,5,7
/proc/31092/task/31107/stat : 31107 (java) S 31090 31092 30477 0 -1 4202560 15665 0 0 0 112 2 0 0 15 0 22 0 503820547 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31108] ppid=31090 vsize=15700988 CPUtime=0.91 cores=1,3,5,7
/proc/31092/task/31108/stat : 31108 (java) S 31090 31092 30477 0 -1 4202560 7526 0 0 0 90 1 0 0 15 0 22 0 503820547 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31109] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31109/stat : 31109 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31110] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31110/stat : 31110 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503820547 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31111] ppid=31090 vsize=15700988 CPUtime=1.69 cores=1,3,5,7
/proc/31092/task/31111/stat : 31111 (java) R 31090 31092 30477 0 -1 4202560 6323 0 0 0 169 0 0 0 17 0 22 0 503820586 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 47699125125774 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31092/tid=31112] ppid=31090 vsize=15700988 CPUtime=1.82 cores=1,3,5,7
/proc/31092/task/31112/stat : 31112 (java) R 31090 31092 30477 0 -1 4202560 6900 0 0 0 181 1 0 0 17 0 22 0 503820586 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 47699125127363 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31092/tid=31113] ppid=31090 vsize=15700988 CPUtime=1.54 cores=1,3,5,7
/proc/31092/task/31113/stat : 31113 (java) R 31090 31092 30477 0 -1 4202560 5975 0 0 0 154 0 0 0 17 0 22 0 503820586 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505844785 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31092/tid=31114] ppid=31090 vsize=15700988 CPUtime=1.69 cores=1,3,5,7
/proc/31092/task/31114/stat : 31114 (java) R 31090 31092 30477 0 -1 4202560 5725 0 0 0 169 0 0 0 17 0 22 0 503820586 16077811712 116018 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505963635 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.05
Current children cumulated vsize (KiB) 15700988

[startup+6.30107 s]
/proc/loadavg: 4.96 5.04 5.92 10/220 31114
/proc/meminfo: memFree=14829532/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=15700988 CPUtime=22.82 cores=1,3,5,7
/proc/31092/stat : 31092 (java) S 31090 31092 30477 0 -1 4202496 284861 0 1 0 2238 44 0 0 25 0 22 0 503820542 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31092/statm: 3925247 272306 2277 9 0 3915966 0
[pid=31092/tid=31094] ppid=31090 vsize=15700988 CPUtime=1 cores=1,3,5,7
/proc/31092/task/31094/stat : 31094 (java) S 31090 31092 30477 0 -1 4202560 33095 0 1 0 96 4 0 0 21 0 22 0 503820543 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31095] ppid=31090 vsize=15700988 CPUtime=0.04 cores=1,3,5,7
/proc/31092/task/31095/stat : 31095 (java) S 31090 31092 30477 0 -1 4202560 13922 0 0 0 2 2 0 0 15 0 22 0 503820544 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31096] ppid=31090 vsize=15700988 CPUtime=0.03 cores=1,3,5,7
/proc/31092/task/31096/stat : 31096 (java) S 31090 31092 30477 0 -1 4202560 11492 0 0 0 2 1 0 0 16 0 22 0 503820544 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31097] ppid=31090 vsize=15700988 CPUtime=0.04 cores=1,3,5,7
/proc/31092/task/31097/stat : 31097 (java) S 31090 31092 30477 0 -1 4202560 13980 0 0 0 2 2 0 0 16 0 22 0 503820544 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31098] ppid=31090 vsize=15700988 CPUtime=0.04 cores=1,3,5,7
/proc/31092/task/31098/stat : 31098 (java) S 31090 31092 30477 0 -1 4202560 13432 0 0 0 2 2 0 0 16 0 22 0 503820544 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31099] ppid=31090 vsize=15700988 CPUtime=0.04 cores=1,3,5,7
/proc/31092/task/31099/stat : 31099 (java) S 31090 31092 30477 0 -1 4202560 11937 0 0 0 2 2 0 0 15 0 22 0 503820544 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31100] ppid=31090 vsize=15700988 CPUtime=0.06 cores=1,3,5,7
/proc/31092/task/31100/stat : 31100 (java) S 31090 31092 30477 0 -1 4202560 14801 0 0 0 4 2 0 0 16 0 22 0 503820544 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31101] ppid=31090 vsize=15700988 CPUtime=0.03 cores=1,3,5,7
/proc/31092/task/31101/stat : 31101 (java) S 31090 31092 30477 0 -1 4202560 10610 0 0 0 2 1 0 0 15 0 22 0 503820544 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31102] ppid=31090 vsize=15700988 CPUtime=0.02 cores=1,3,5,7
/proc/31092/task/31102/stat : 31102 (java) S 31090 31092 30477 0 -1 4202560 8255 0 0 0 1 1 0 0 15 0 22 0 503820544 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31103] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31103/stat : 31103 (java) S 31090 31092 30477 0 -1 4202560 542 0 0 0 0 0 0 0 15 0 22 0 503820545 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 0 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31104] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31104/stat : 31104 (java) S 31090 31092 30477 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503820545 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31105] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31105/stat : 31105 (java) S 31090 31092 30477 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503820545 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31106] ppid=31090 vsize=15700988 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31106/stat : 31106 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522121137 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31107] ppid=31090 vsize=15700988 CPUtime=1.14 cores=1,3,5,7
/proc/31092/task/31107/stat : 31107 (java) S 31090 31092 30477 0 -1 4202560 15668 0 0 0 112 2 0 0 15 0 22 0 503820547 16077811712 272306 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0

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

[pid=31092/tid=31112] ppid=31090 vsize=15766524 CPUtime=1054.06 cores=1,3,5,7
/proc/31092/task/31112/stat : 31112 (java) R 31090 31092 30477 0 -1 4202560 302610 0 0 0 105368 38 0 0 25 0 22 0 503820586 16144920576 363360 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505927828 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31092/tid=31113] ppid=31090 vsize=15766524 CPUtime=1052.4 cores=1,3,5,7
/proc/31092/task/31113/stat : 31113 (java) R 31090 31092 30477 0 -1 4202560 325445 0 0 0 105197 43 0 0 25 0 22 0 503820586 16144920576 363360 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505697000 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31092/tid=31114] ppid=31090 vsize=15766524 CPUtime=1053.9 cores=1,3,5,7
/proc/31092/task/31114/stat : 31114 (java) R 31090 31092 30477 0 -1 4202560 337221 0 0 0 105348 42 0 0 25 0 22 0 503820586 16144920576 363360 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505816834 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.55
Current children cumulated vsize (KiB) 15766524

[startup+1122.3 s]
/proc/loadavg: 5.02 5.11 5.51 6/220 31153
/proc/meminfo: memFree=8366792/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=15766524 CPUtime=4475.88 cores=1,3,5,7
/proc/31092/stat : 31092 (java) S 31090 31092 30477 0 -1 4202496 2326679 0 1 0 447203 385 0 0 25 0 22 0 503820542 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31092/statm: 3941631 297167 2298 9 0 3932350 0
[pid=31092/tid=31094] ppid=31090 vsize=15766524 CPUtime=1 cores=1,3,5,7
/proc/31092/task/31094/stat : 31094 (java) S 31090 31092 30477 0 -1 4202560 33095 0 1 0 96 4 0 0 21 0 22 0 503820543 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31095] ppid=31090 vsize=15766524 CPUtime=2.38 cores=1,3,5,7
/proc/31092/task/31095/stat : 31095 (java) S 31090 31092 30477 0 -1 4202560 150516 0 0 0 214 24 0 0 16 0 22 0 503820544 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31096] ppid=31090 vsize=15766524 CPUtime=2.19 cores=1,3,5,7
/proc/31092/task/31096/stat : 31096 (java) S 31090 31092 30477 0 -1 4202560 112867 0 0 0 200 19 0 0 16 0 22 0 503820544 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31097] ppid=31090 vsize=15766524 CPUtime=2.17 cores=1,3,5,7
/proc/31092/task/31097/stat : 31097 (java) S 31090 31092 30477 0 -1 4202560 122476 0 0 0 197 20 0 0 15 0 22 0 503820544 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31098] ppid=31090 vsize=15766524 CPUtime=2.12 cores=1,3,5,7
/proc/31092/task/31098/stat : 31098 (java) S 31090 31092 30477 0 -1 4202560 115976 0 0 0 193 19 0 0 15 0 22 0 503820544 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31099] ppid=31090 vsize=15766524 CPUtime=2.29 cores=1,3,5,7
/proc/31092/task/31099/stat : 31099 (java) S 31090 31092 30477 0 -1 4202560 122711 0 0 0 206 23 0 0 15 0 22 0 503820544 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31100] ppid=31090 vsize=15766524 CPUtime=2.42 cores=1,3,5,7
/proc/31092/task/31100/stat : 31100 (java) S 31090 31092 30477 0 -1 4202560 132928 0 0 0 218 24 0 0 16 0 22 0 503820544 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31101] ppid=31090 vsize=15766524 CPUtime=2.1 cores=1,3,5,7
/proc/31092/task/31101/stat : 31101 (java) S 31090 31092 30477 0 -1 4202560 107149 0 0 0 194 16 0 0 16 0 22 0 503820544 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31102] ppid=31090 vsize=15766524 CPUtime=2.08 cores=1,3,5,7
/proc/31092/task/31102/stat : 31102 (java) S 31090 31092 30477 0 -1 4202560 106560 0 0 0 191 17 0 0 15 0 22 0 503820544 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31103] ppid=31090 vsize=15766524 CPUtime=0.9 cores=1,3,5,7
/proc/31092/task/31103/stat : 31103 (java) S 31090 31092 30477 0 -1 4202560 5857 0 0 0 51 39 0 0 15 0 22 0 503820545 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 0 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31104] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31104/stat : 31104 (java) S 31090 31092 30477 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503820545 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31105] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31105/stat : 31105 (java) S 31090 31092 30477 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503820545 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31106] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31106/stat : 31106 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522121137 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31107] ppid=31090 vsize=15766524 CPUtime=1.45 cores=1,3,5,7
/proc/31092/task/31107/stat : 31107 (java) S 31090 31092 30477 0 -1 4202560 15707 0 0 0 143 2 0 0 16 0 22 0 503820547 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31108] ppid=31090 vsize=15766524 CPUtime=1.12 cores=1,3,5,7
/proc/31092/task/31108/stat : 31108 (java) S 31090 31092 30477 0 -1 4202560 7572 0 0 0 111 1 0 0 15 0 22 0 503820547 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31109] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31109/stat : 31109 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31110] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31110/stat : 31110 (java) S 31090 31092 30477 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 503820547 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31111] ppid=31090 vsize=15766524 CPUtime=1114.68 cores=1,3,5,7
/proc/31092/task/31111/stat : 31111 (java) R 31090 31092 30477 0 -1 4202560 311186 0 0 0 111426 42 0 0 25 0 22 0 503820586 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505816834 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31092/tid=31112] ppid=31090 vsize=15766524 CPUtime=1113.4 cores=1,3,5,7
/proc/31092/task/31112/stat : 31112 (java) R 31090 31092 30477 0 -1 4202560 309645 0 0 0 111301 39 0 0 25 0 22 0 503820586 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505816732 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31092/tid=31113] ppid=31090 vsize=15766524 CPUtime=1111.96 cores=1,3,5,7
/proc/31092/task/31113/stat : 31113 (java) R 31090 31092 30477 0 -1 4202560 332322 0 0 0 111152 44 0 0 25 0 22 0 503820586 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505523447 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31092/tid=31114] ppid=31090 vsize=15766524 CPUtime=1113.46 cores=1,3,5,7
/proc/31092/task/31114/stat : 31114 (java) R 31090 31092 30477 0 -1 4202560 338664 0 0 0 111303 43 0 0 25 0 22 0 503820586 16144920576 297167 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505816168 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.88
Current children cumulated vsize (KiB) 15766524

[startup+1182.3 s]
/proc/loadavg: 5.00 5.09 5.47 6/220 31154
/proc/meminfo: memFree=8409384/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=15766524 CPUtime=4715.17 cores=1,3,5,7
/proc/31092/stat : 31092 (java) S 31090 31092 30477 0 -1 4202496 2437589 0 1 0 471111 406 0 0 25 0 22 0 503820542 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31092/statm: 3941631 283760 2298 9 0 3932350 0
[pid=31092/tid=31094] ppid=31090 vsize=15766524 CPUtime=1 cores=1,3,5,7
/proc/31092/task/31094/stat : 31094 (java) S 31090 31092 30477 0 -1 4202560 33095 0 1 0 96 4 0 0 21 0 22 0 503820543 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31095] ppid=31090 vsize=15766524 CPUtime=2.56 cores=1,3,5,7
/proc/31092/task/31095/stat : 31095 (java) S 31090 31092 30477 0 -1 4202560 160316 0 0 0 229 27 0 0 15 0 22 0 503820544 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31096] ppid=31090 vsize=15766524 CPUtime=2.38 cores=1,3,5,7
/proc/31092/task/31096/stat : 31096 (java) S 31090 31092 30477 0 -1 4202560 118383 0 0 0 217 21 0 0 15 0 22 0 503820544 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31097] ppid=31090 vsize=15766524 CPUtime=2.35 cores=1,3,5,7
/proc/31092/task/31097/stat : 31097 (java) S 31090 31092 30477 0 -1 4202560 131947 0 0 0 213 22 0 0 15 0 22 0 503820544 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31098] ppid=31090 vsize=15766524 CPUtime=2.35 cores=1,3,5,7
/proc/31092/task/31098/stat : 31098 (java) S 31090 31092 30477 0 -1 4202560 130443 0 0 0 215 20 0 0 16 0 22 0 503820544 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31099] ppid=31090 vsize=15766524 CPUtime=2.48 cores=1,3,5,7
/proc/31092/task/31099/stat : 31099 (java) S 31090 31092 30477 0 -1 4202560 129162 0 0 0 224 24 0 0 16 0 22 0 503820544 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31100] ppid=31090 vsize=15766524 CPUtime=2.63 cores=1,3,5,7
/proc/31092/task/31100/stat : 31100 (java) S 31090 31092 30477 0 -1 4202560 142146 0 0 0 237 26 0 0 15 0 22 0 503820544 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31101] ppid=31090 vsize=15766524 CPUtime=2.31 cores=1,3,5,7
/proc/31092/task/31101/stat : 31101 (java) S 31090 31092 30477 0 -1 4202560 121496 0 0 0 212 19 0 0 15 0 22 0 503820544 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31102] ppid=31090 vsize=15766524 CPUtime=2.27 cores=1,3,5,7
/proc/31092/task/31102/stat : 31102 (java) S 31090 31092 30477 0 -1 4202560 116857 0 0 0 208 19 0 0 15 0 22 0 503820544 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31103] ppid=31090 vsize=15766524 CPUtime=0.96 cores=1,3,5,7
/proc/31092/task/31103/stat : 31103 (java) S 31090 31092 30477 0 -1 4202560 6190 0 0 0 55 41 0 0 16 0 22 0 503820545 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 0 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31104] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31104/stat : 31104 (java) S 31090 31092 30477 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503820545 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31105] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31105/stat : 31105 (java) S 31090 31092 30477 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503820545 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31106] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31106/stat : 31106 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522121137 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31107] ppid=31090 vsize=15766524 CPUtime=1.45 cores=1,3,5,7
/proc/31092/task/31107/stat : 31107 (java) S 31090 31092 30477 0 -1 4202560 15707 0 0 0 143 2 0 0 16 0 22 0 503820547 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31108] ppid=31090 vsize=15766524 CPUtime=1.12 cores=1,3,5,7
/proc/31092/task/31108/stat : 31108 (java) S 31090 31092 30477 0 -1 4202560 7572 0 0 0 111 1 0 0 15 0 22 0 503820547 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31109] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31109/stat : 31109 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31110] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31110/stat : 31110 (java) S 31090 31092 30477 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 503820547 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31111] ppid=31090 vsize=15766524 CPUtime=1174.18 cores=1,3,5,7
/proc/31092/task/31111/stat : 31111 (java) R 31090 31092 30477 0 -1 4202560 317779 0 0 0 117375 43 0 0 25 0 22 0 503820586 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 18446744073699065894 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31092/tid=31112] ppid=31090 vsize=15766524 CPUtime=1172.7 cores=1,3,5,7
/proc/31092/task/31112/stat : 31112 (java) R 31090 31092 30477 0 -1 4202560 318566 0 0 0 117230 40 0 0 25 0 22 0 503820586 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=31092/tid=31113] ppid=31090 vsize=15766524 CPUtime=1171.32 cores=1,3,5,7
/proc/31092/task/31113/stat : 31113 (java) R 31090 31092 30477 0 -1 4202560 340106 0 0 0 117086 46 0 0 25 0 22 0 503820586 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505858453 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31092/tid=31114] ppid=31090 vsize=15766524 CPUtime=1172.96 cores=1,3,5,7
/proc/31092/task/31114/stat : 31114 (java) R 31090 31092 30477 0 -1 4202560 346372 0 0 0 117252 44 0 0 25 0 22 0 503820586 16144920576 283760 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505696986 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.17
Current children cumulated vsize (KiB) 15766524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 5.00 5.08 5.46 10/220 31155
/proc/meminfo: memFree=8441224/32951124 swapFree=67111524/67111528
[pid=31092] ppid=31090 vsize=15766524 CPUtime=4800.14 cores=1,3,5,7
/proc/31092/stat : 31092 (java) S 31090 31092 30477 0 -1 4202496 2476424 0 1 0 479601 413 0 0 25 0 22 0 503820542 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/31092/statm: 3941631 275864 2298 9 0 3932350 0
[pid=31092/tid=31094] ppid=31090 vsize=15766524 CPUtime=1 cores=1,3,5,7
/proc/31092/task/31094/stat : 31094 (java) S 31090 31092 30477 0 -1 4202560 33095 0 1 0 96 4 0 0 21 0 22 0 503820543 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31095] ppid=31090 vsize=15766524 CPUtime=2.64 cores=1,3,5,7
/proc/31092/task/31095/stat : 31095 (java) S 31090 31092 30477 0 -1 4202560 161823 0 0 0 237 27 0 0 15 0 22 0 503820544 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31096] ppid=31090 vsize=15766524 CPUtime=2.44 cores=1,3,5,7
/proc/31092/task/31096/stat : 31096 (java) S 31090 31092 30477 0 -1 4202560 122731 0 0 0 223 21 0 0 16 0 22 0 503820544 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31097] ppid=31090 vsize=15766524 CPUtime=2.43 cores=1,3,5,7
/proc/31092/task/31097/stat : 31097 (java) S 31090 31092 30477 0 -1 4202560 133978 0 0 0 221 22 0 0 16 0 22 0 503820544 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31098] ppid=31090 vsize=15766524 CPUtime=2.44 cores=1,3,5,7
/proc/31092/task/31098/stat : 31098 (java) S 31090 31092 30477 0 -1 4202560 131777 0 0 0 224 20 0 0 15 0 22 0 503820544 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31099] ppid=31090 vsize=15766524 CPUtime=2.56 cores=1,3,5,7
/proc/31092/task/31099/stat : 31099 (java) S 31090 31092 30477 0 -1 4202560 132732 0 0 0 231 25 0 0 16 0 22 0 503820544 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31100] ppid=31090 vsize=15766524 CPUtime=2.7 cores=1,3,5,7
/proc/31092/task/31100/stat : 31100 (java) S 31090 31092 30477 0 -1 4202560 148833 0 0 0 244 26 0 0 15 0 22 0 503820544 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 3 0 0 0
[pid=31092/tid=31101] ppid=31090 vsize=15766524 CPUtime=2.38 cores=1,3,5,7
/proc/31092/task/31101/stat : 31101 (java) S 31090 31092 30477 0 -1 4202560 123517 0 0 0 219 19 0 0 15 0 22 0 503820544 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31102] ppid=31090 vsize=15766524 CPUtime=2.34 cores=1,3,5,7
/proc/31092/task/31102/stat : 31102 (java) S 31090 31092 30477 0 -1 4202560 119945 0 0 0 214 20 0 0 16 0 22 0 503820544 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31103] ppid=31090 vsize=15766524 CPUtime=0.98 cores=1,3,5,7
/proc/31092/task/31103/stat : 31103 (java) S 31090 31092 30477 0 -1 4202560 6326 0 0 0 56 42 0 0 15 0 22 0 503820545 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 0 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31104] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31104/stat : 31104 (java) S 31090 31092 30477 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 503820545 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31105] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31105/stat : 31105 (java) S 31090 31092 30477 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 503820545 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31106] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31106/stat : 31106 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522121137 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31107] ppid=31090 vsize=15766524 CPUtime=1.45 cores=1,3,5,7
/proc/31092/task/31107/stat : 31107 (java) S 31090 31092 30477 0 -1 4202560 15707 0 0 0 143 2 0 0 16 0 22 0 503820547 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31108] ppid=31090 vsize=15766524 CPUtime=1.12 cores=1,3,5,7
/proc/31092/task/31108/stat : 31108 (java) S 31090 31092 30477 0 -1 4202560 7572 0 0 0 111 1 0 0 15 0 22 0 503820547 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 7 0 0 0
[pid=31092/tid=31109] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31109/stat : 31109 (java) S 31090 31092 30477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503820547 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522113433 0 4 0 16800975 18446604471140881408 0 0 -1 1 0 0 0
[pid=31092/tid=31110] ppid=31090 vsize=15766524 CPUtime=0 cores=1,3,5,7
/proc/31092/task/31110/stat : 31110 (java) S 31090 31092 30477 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 503820547 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 233522114048 0 4 0 16800975 18446604471140881408 0 0 -1 5 0 0 0
[pid=31092/tid=31111] ppid=31090 vsize=15766524 CPUtime=1195.3 cores=1,3,5,7
/proc/31092/task/31111/stat : 31111 (java) R 31090 31092 30477 0 -1 4202560 320422 0 0 0 119486 44 0 0 25 0 22 0 503820586 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505733696 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=31092/tid=31112] ppid=31090 vsize=15766524 CPUtime=1193.81 cores=1,3,5,7
/proc/31092/task/31112/stat : 31112 (java) R 31090 31092 30477 0 -1 4202560 321821 0 0 0 119341 40 0 0 25 0 22 0 503820586 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505744393 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=31092/tid=31113] ppid=31090 vsize=15766524 CPUtime=1192.3 cores=1,3,5,7
/proc/31092/task/31113/stat : 31113 (java) R 31090 31092 30477 0 -1 4202560 344819 0 0 0 119184 46 0 0 25 0 22 0 503820586 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912506085973 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=31092/tid=31114] ppid=31090 vsize=15766524 CPUtime=1194.07 cores=1,3,5,7
/proc/31092/task/31114/stat : 31114 (java) R 31090 31092 30477 0 -1 4202560 349872 0 0 0 119363 44 0 0 25 0 22 0 503820586 16144920576 275864 33554432000 1073741824 1073778376 140733717719216 18446744073709551615 46912505630391 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 15766524

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): 1203.66
CPU time (s): 4800.23
CPU user time (s): 4796.04
CPU system time (s): 4.18636
CPU usage (%): 398.801
Max. virtual memory (cumulated for all children) (KiB): 15766524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.04
system time used= 4.18636
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2476451
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= 55324
involuntary context switches= 68006

runsolver used 1.9437 second user time and 4.65929 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-29 23:54:07
IDJOB=3312417
IDBENCH=82602
IDSOLVER=1699
FILE ID=node145/3312417-1304114047
RUNJOBID= node145-1304112744-30915
PBS_JOBID= 13170672
Free space on /tmp= 72200 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312417-1304114047/watcher-3312417-1304114047 -o /tmp/evaluation-result-3312417-1304114047/solver-3312417-1304114047 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312417-1304114047.cnf

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

MD5SUM BENCH= c578ae902020675717dd7f7fb0a11360
RANDOM SEED=1277458480

node145.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.786
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.57
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.786
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.76
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.786
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.74
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.786
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.83
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.786
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.786
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15706168 kB
Buffers:       1264536 kB
Cached:        6065896 kB
SwapCached:          4 kB
Active:       10056084 kB
Inactive:      6646532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15706168 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2024 kB
Writeback:           0 kB
AnonPages:     9372352 kB
Mapped:          23612 kB
Slab:           460432 kB
PageTables:      22552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10800740 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= 72200 MiB
End job on node145 at 2011-04-30 00:14:12