Trace number 3311222

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.39 1203.66

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf
MD5SUM951e2fa38b08f2dfbb0dbb3e8ab83f8d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark49.2365
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.11/0.11	02:31 INFO : Reading from input HOME/instance-3311222-1304114551.cnf
0.62/0.43	Executor set job limit to 1000000
0.62/0.43	Executor set job limit to 1000000
0.62/0.43	Executor set job limit to 1000000
0.62/0.43	Executor set job limit to 1000000
0.62/0.43	Starting Executor!
0.62/0.43	Starting Executor!
0.62/0.43	Starting Executor!
0.62/0.43	Starting Executor!
1.84/0.97	02:32 INFO : 1250 variables remaining out of 1250
1.84/0.97	02:32 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-3311222-1304114551/watcher-3311222-1304114551 -o /tmp/evaluation-result-3311222-1304114551/solver-3311222-1304114551 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311222-1304114551.cnf -hbr 2 

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

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


[startup+0 s]
/proc/loadavg: 0.85 1.06 2.29 2/189 4100
/proc/meminfo: memFree=31213456/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 1414 0 0 0 0 0 0 0 23 0 2 0 523053823 26714112 885 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 6522 885 678 9 0 381 0
[pid=4100/tid=4106] ppid=4098 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) R 4098 4100 2999 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 523053824 27824128 894 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235589942919 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0467979 s]
/proc/loadavg: 0.85 1.06 2.29 2/189 4100
/proc/meminfo: memFree=31213456/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=15675948 CPUtime=0.03 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 3952 0 1 0 3 0 0 0 23 0 18 0 523053823 16052170752 3391 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 3918987 3391 1719 9 0 3909735 0
[pid=4100/tid=4106] ppid=4098 vsize=15675948 CPUtime=0.03 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) R 4098 4100 2999 0 -1 4202560 2533 0 1 0 3 0 0 0 25 0 18 0 523053824 16052170752 3391 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46994870388584 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15675948

[startup+0.105857 s]
/proc/loadavg: 0.85 1.06 2.29 2/189 4100
/proc/meminfo: memFree=31213456/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=15677088 CPUtime=0.11 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 5706 0 1 0 10 1 0 0 23 0 18 0 523053823 16053338112 5101 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 3919272 5102 2120 9 0 3909991 0
[pid=4100/tid=4106] ppid=4098 vsize=15677088 CPUtime=0.08 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) R 4098 4100 2999 0 -1 4202560 3536 0 1 0 8 0 0 0 18 0 18 0 523053824 16053338112 5102 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46994866230019 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15677088

[startup+0.300816 s]
/proc/loadavg: 0.85 1.06 2.29 2/189 4100
/proc/meminfo: memFree=31213456/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=15682208 CPUtime=0.51 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 15831 0 1 0 49 2 0 0 23 0 18 0 523053823 16058580992 14340 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 3920552 14347 2207 9 0 3911271 0
[pid=4100/tid=4106] ppid=4098 vsize=15682208 CPUtime=0.28 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) R 4098 4100 2999 0 -1 4202560 10922 0 1 0 27 1 0 0 18 0 18 0 523053824 16058580992 14350 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505641265 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682208

[startup+0.700685 s]
/proc/loadavg: 0.85 1.06 2.29 2/189 4100
/proc/meminfo: memFree=31213456/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=15702476 CPUtime=1.24 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 44249 0 1 0 118 6 0 0 23 0 22 0 523053823 16079335424 40988 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 3925619 40989 2234 9 0 3916338 0
[pid=4100/tid=4106] ppid=4098 vsize=15702476 CPUtime=0.68 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) R 4098 4100 2999 0 -1 4202560 32240 0 1 0 63 5 0 0 20 0 22 0 523053824 16079335424 40990 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46994870725459 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 15702476

[startup+1.50154 s]
/proc/loadavg: 0.85 1.06 2.29 2/220 4131
/proc/meminfo: memFree=30864536/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=15706712 CPUtime=3.58 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 61555 0 1 0 350 8 0 0 23 0 22 0 523053823 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 3926678 53361 2274 9 0 3917397 0
[pid=4100/tid=4106] ppid=4098 vsize=15706712 CPUtime=0.95 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) S 4098 4100 2999 0 -1 4202560 33073 0 1 0 90 5 0 0 20 0 22 0 523053824 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4108] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4108/stat : 4108 (java) S 4098 4100 2999 0 -1 4202560 1784 0 0 0 0 0 0 0 16 0 22 0 523053824 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4109] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4109/stat : 4109 (java) S 4098 4100 2999 0 -1 4202560 1294 0 0 0 0 0 0 0 16 0 22 0 523053824 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4110] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4110/stat : 4110 (java) S 4098 4100 2999 0 -1 4202560 1358 0 0 0 0 0 0 0 16 0 22 0 523053824 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4111] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4111/stat : 4111 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523053824 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4112] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4112/stat : 4112 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523053824 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4113] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4113/stat : 4113 (java) S 4098 4100 2999 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 523053824 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4114] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4114/stat : 4114 (java) S 4098 4100 2999 0 -1 4202560 1248 0 0 0 0 0 0 0 16 0 22 0 523053824 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4115] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4115/stat : 4115 (java) S 4098 4100 2999 0 -1 4202560 308 0 0 0 0 0 0 0 15 0 22 0 523053824 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4116] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4116/stat : 4116 (java) S 4098 4100 2999 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 523053825 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606683136 0 0 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4117] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4117/stat : 4117 (java) S 4098 4100 2999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523053826 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4118] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4118/stat : 4118 (java) S 4098 4100 2999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523053826 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4119] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4119/stat : 4119 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523053828 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606690225 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4120] ppid=4098 vsize=15706712 CPUtime=0.77 cores=1,3,5,7
/proc/4100/task/4120/stat : 4120 (java) S 4098 4100 2999 0 -1 4202560 11678 0 0 0 76 1 0 0 24 0 22 0 523053828 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4121] ppid=4098 vsize=15706712 CPUtime=0.61 cores=1,3,5,7
/proc/4100/task/4121/stat : 4121 (java) S 4098 4100 2999 0 -1 4202560 6671 0 0 0 61 0 0 0 22 0 22 0 523053828 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4122] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4122/stat : 4122 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523053828 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4123] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4123/stat : 4123 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523053828 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606683136 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4124] ppid=4098 vsize=15706712 CPUtime=0.27 cores=1,3,5,7
/proc/4100/task/4124/stat : 4124 (java) R 4098 4100 2999 0 -1 4202560 457 0 0 0 27 0 0 0 16 0 22 0 523053867 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505888803 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4100/tid=4125] ppid=4098 vsize=15706712 CPUtime=0.21 cores=1,3,5,7
/proc/4100/task/4125/stat : 4125 (java) R 4098 4100 2999 0 -1 4202560 1525 0 0 0 21 0 0 0 16 0 22 0 523053867 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912506084761 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4100/tid=4126] ppid=4098 vsize=15706712 CPUtime=0.33 cores=1,3,5,7
/proc/4100/task/4126/stat : 4126 (java) R 4098 4100 2999 0 -1 4202560 354 0 0 0 33 0 0 0 16 0 22 0 523053867 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46994870049026 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4100/tid=4127] ppid=4098 vsize=15706712 CPUtime=0.37 cores=1,3,5,7
/proc/4100/task/4127/stat : 4127 (java) R 4098 4100 2999 0 -1 4202560 338 0 0 0 37 0 0 0 16 0 22 0 523053867 16083673088 53361 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505888789 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 15706712

[startup+3.10127 s]
/proc/loadavg: 0.85 1.06 2.29 16/220 4131
/proc/meminfo: memFree=30719704/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=15706712 CPUtime=9.96 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 123419 0 1 0 978 18 0 0 23 0 22 0 523053823 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 3926678 115051 2274 9 0 3917397 0
[pid=4100/tid=4106] ppid=4098 vsize=15706712 CPUtime=0.95 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) S 4098 4100 2999 0 -1 4202560 33073 0 1 0 90 5 0 0 20 0 22 0 523053824 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4108] ppid=4098 vsize=15706712 CPUtime=0.02 cores=1,3,5,7
/proc/4100/task/4108/stat : 4108 (java) S 4098 4100 2999 0 -1 4202560 5646 0 0 0 1 1 0 0 16 0 22 0 523053824 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4109] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4109/stat : 4109 (java) S 4098 4100 2999 0 -1 4202560 2057 0 0 0 0 0 0 0 15 0 22 0 523053824 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4110] ppid=4098 vsize=15706712 CPUtime=0.03 cores=1,3,5,7
/proc/4100/task/4110/stat : 4110 (java) S 4098 4100 2999 0 -1 4202560 8446 0 0 0 2 1 0 0 15 0 22 0 523053824 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4111] ppid=4098 vsize=15706712 CPUtime=0.02 cores=1,3,5,7
/proc/4100/task/4111/stat : 4111 (java) S 4098 4100 2999 0 -1 4202560 6918 0 0 0 1 1 0 0 16 0 22 0 523053824 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4112] ppid=4098 vsize=15706712 CPUtime=0.01 cores=1,3,5,7
/proc/4100/task/4112/stat : 4112 (java) S 4098 4100 2999 0 -1 4202560 4999 0 0 0 1 0 0 0 15 0 22 0 523053824 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4113] ppid=4098 vsize=15706712 CPUtime=0.01 cores=1,3,5,7
/proc/4100/task/4113/stat : 4113 (java) S 4098 4100 2999 0 -1 4202560 4008 0 0 0 1 0 0 0 16 0 22 0 523053824 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4114] ppid=4098 vsize=15706712 CPUtime=0.02 cores=1,3,5,7
/proc/4100/task/4114/stat : 4114 (java) S 4098 4100 2999 0 -1 4202560 7824 0 0 0 2 0 0 0 15 0 22 0 523053824 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4115] ppid=4098 vsize=15706712 CPUtime=0.02 cores=1,3,5,7
/proc/4100/task/4115/stat : 4115 (java) S 4098 4100 2999 0 -1 4202560 6217 0 0 0 1 1 0 0 16 0 22 0 523053824 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4116] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4116/stat : 4116 (java) S 4098 4100 2999 0 -1 4202560 245 0 0 0 0 0 0 0 15 0 22 0 523053825 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606683136 0 0 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4117] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4117/stat : 4117 (java) S 4098 4100 2999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523053826 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4118] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4118/stat : 4118 (java) S 4098 4100 2999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523053826 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4119] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4119/stat : 4119 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523053828 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606690225 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4120] ppid=4098 vsize=15706712 CPUtime=0.77 cores=1,3,5,7
/proc/4100/task/4120/stat : 4120 (java) R 4098 4100 2999 0 -1 4202560 11680 0 0 0 76 1 0 0 21 0 22 0 523053828 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46994865691840 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4100/tid=4121] ppid=4098 vsize=15706712 CPUtime=0.69 cores=1,3,5,7
/proc/4100/task/4121/stat : 4121 (java) S 4098 4100 2999 0 -1 4202560 6685 0 0 0 69 0 0 0 16 0 22 0 523053828 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4122] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4122/stat : 4122 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523053828 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4123] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4123/stat : 4123 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523053828 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606683136 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4124] ppid=4098 vsize=15706712 CPUtime=1.82 cores=1,3,5,7
/proc/4100/task/4124/stat : 4124 (java) R 4098 4100 2999 0 -1 4202560 5780 0 0 0 181 1 0 0 17 0 22 0 523053867 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505888786 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4100/tid=4125] ppid=4098 vsize=15706712 CPUtime=1.67 cores=1,3,5,7
/proc/4100/task/4125/stat : 4125 (java) R 4098 4100 2999 0 -1 4202560 6646 0 0 0 167 0 0 0 17 0 22 0 523053867 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912506051853 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4100/tid=4126] ppid=4098 vsize=15706712 CPUtime=1.87 cores=1,3,5,7
/proc/4100/task/4126/stat : 4126 (java) R 4098 4100 2999 0 -1 4202560 5926 0 0 0 187 0 0 0 17 0 22 0 523053867 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505881840 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4100/tid=4127] ppid=4098 vsize=15706712 CPUtime=1.92 cores=1,3,5,7
/proc/4100/task/4127/stat : 4127 (java) R 4098 4100 2999 0 -1 4202560 5883 0 0 0 192 0 0 0 17 0 22 0 523053867 16083673088 115051 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505881694 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (KiB) 15706712

[startup+6.3007 s]
/proc/loadavg: 1.50 1.19 2.33 10/220 4131
/proc/meminfo: memFree=29604692/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=15706712 CPUtime=22.73 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 300102 0 1 0 2231 42 0 0 23 0 22 0 523053823 16083673088 291552 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 3926678 291558 2277 9 0 3917397 0
[pid=4100/tid=4106] ppid=4098 vsize=15706712 CPUtime=0.95 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) S 4098 4100 2999 0 -1 4202560 33073 0 1 0 90 5 0 0 20 0 22 0 523053824 16083673088 291561 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4108] ppid=4098 vsize=15706712 CPUtime=0.04 cores=1,3,5,7
/proc/4100/task/4108/stat : 4108 (java) S 4098 4100 2999 0 -1 4202560 12881 0 0 0 2 2 0 0 16 0 22 0 523053824 16083673088 291564 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4109] ppid=4098 vsize=15706712 CPUtime=0.04 cores=1,3,5,7
/proc/4100/task/4109/stat : 4109 (java) S 4098 4100 2999 0 -1 4202560 14244 0 0 0 3 1 0 0 16 0 22 0 523053824 16083673088 291568 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4110] ppid=4098 vsize=15706712 CPUtime=0.04 cores=1,3,5,7
/proc/4100/task/4110/stat : 4110 (java) S 4098 4100 2999 0 -1 4202560 14006 0 0 0 3 1 0 0 15 0 22 0 523053824 16083673088 291570 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4111] ppid=4098 vsize=15706712 CPUtime=0.05 cores=1,3,5,7
/proc/4100/task/4111/stat : 4111 (java) S 4098 4100 2999 0 -1 4202560 13691 0 0 0 3 2 0 0 16 0 22 0 523053824 16083673088 291573 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4112] ppid=4098 vsize=15706712 CPUtime=0.04 cores=1,3,5,7
/proc/4100/task/4112/stat : 4112 (java) S 4098 4100 2999 0 -1 4202560 12699 0 0 0 2 2 0 0 16 0 22 0 523053824 16083673088 291575 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4113] ppid=4098 vsize=15706712 CPUtime=0.02 cores=1,3,5,7
/proc/4100/task/4113/stat : 4113 (java) S 4098 4100 2999 0 -1 4202560 10096 0 0 0 1 1 0 0 15 0 22 0 523053824 16083673088 291579 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4114] ppid=4098 vsize=15706712 CPUtime=0.04 cores=1,3,5,7
/proc/4100/task/4114/stat : 4114 (java) S 4098 4100 2999 0 -1 4202560 14577 0 0 0 3 1 0 0 15 0 22 0 523053824 16083673088 291582 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4115] ppid=4098 vsize=15706712 CPUtime=0.02 cores=1,3,5,7
/proc/4100/task/4115/stat : 4115 (java) S 4098 4100 2999 0 -1 4202560 7398 0 0 0 1 1 0 0 15 0 22 0 523053824 16083673088 291585 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0

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

[pid=4100/tid=4125] ppid=4098 vsize=15706712 CPUtime=1054.05 cores=1,3,5,7
/proc/4100/task/4125/stat : 4125 (java) R 4098 4100 2999 0 -1 4202560 281937 0 0 0 105370 35 0 0 25 0 22 0 523053867 16083673088 287106 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505523495 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4100/tid=4126] ppid=4098 vsize=15706712 CPUtime=1055.02 cores=1,3,5,7
/proc/4100/task/4126/stat : 4126 (java) R 4098 4100 2999 0 -1 4202560 279052 0 0 0 105471 31 0 0 25 0 22 0 523053867 16083673088 287106 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46994870047420 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4100/tid=4127] ppid=4098 vsize=15706712 CPUtime=1052.79 cores=1,3,5,7
/proc/4100/task/4127/stat : 4127 (java) R 4098 4100 2999 0 -1 4202560 298454 0 0 0 105246 33 0 0 25 0 22 0 523053867 16083673088 287106 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505800232 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.73
Current children cumulated vsize (KiB) 15706712

[startup+1122.31 s]
/proc/loadavg: 8.09 7.91 6.33 9/220 4164
/proc/meminfo: memFree=29652784/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=15706712 CPUtime=4476.08 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 2151208 0 1 0 447284 324 0 0 23 0 22 0 523053823 16083673088 274336 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 3926678 274358 2298 9 0 3917397 0
[pid=4100/tid=4106] ppid=4098 vsize=15706712 CPUtime=0.95 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) S 4098 4100 2999 0 -1 4202560 33073 0 1 0 90 5 0 0 20 0 22 0 523053824 16083673088 274369 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4108] ppid=4098 vsize=15706712 CPUtime=2.08 cores=1,3,5,7
/proc/4100/task/4108/stat : 4108 (java) R 4098 4100 2999 0 -1 4202560 127226 0 0 0 187 21 0 0 15 0 22 0 523053824 16083673088 274383 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235594819895 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4100/tid=4109] ppid=4098 vsize=15706712 CPUtime=1.92 cores=1,3,5,7
/proc/4100/task/4109/stat : 4109 (java) S 4098 4100 2999 0 -1 4202560 69469 0 0 0 182 10 0 0 16 0 22 0 523053824 16083673088 274398 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4110] ppid=4098 vsize=15706712 CPUtime=2.19 cores=1,3,5,7
/proc/4100/task/4110/stat : 4110 (java) R 4098 4100 2999 0 -1 4202560 125565 0 0 0 200 19 0 0 15 0 22 0 523053824 16083673088 274410 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235594819895 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4100/tid=4111] ppid=4098 vsize=15706712 CPUtime=2.21 cores=1,3,5,7
/proc/4100/task/4111/stat : 4111 (java) S 4098 4100 2999 0 -1 4202560 120163 0 0 0 204 17 0 0 16 0 22 0 523053824 16083673088 274424 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4112] ppid=4098 vsize=15706712 CPUtime=2.03 cores=1,3,5,7
/proc/4100/task/4112/stat : 4112 (java) R 4098 4100 2999 0 -1 4202560 103855 0 0 0 186 17 0 0 15 0 22 0 523053824 16083673088 274437 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4100/tid=4113] ppid=4098 vsize=15706712 CPUtime=2.22 cores=1,3,5,7
/proc/4100/task/4113/stat : 4113 (java) R 4098 4100 2999 0 -1 4202560 130149 0 0 0 201 21 0 0 15 0 22 0 523053824 16083673088 274451 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46994865432307 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4100/tid=4114] ppid=4098 vsize=15706712 CPUtime=2.19 cores=1,3,5,7
/proc/4100/task/4114/stat : 4114 (java) R 4098 4100 2999 0 -1 4202560 121816 0 0 0 200 19 0 0 16 0 22 0 523053824 16083673088 274463 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235594819895 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4100/tid=4115] ppid=4098 vsize=15706712 CPUtime=2.15 cores=1,3,5,7
/proc/4100/task/4115/stat : 4115 (java) S 4098 4100 2999 0 -1 4202560 114838 0 0 0 198 17 0 0 15 0 22 0 523053824 16083673088 274477 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4116] ppid=4098 vsize=15706712 CPUtime=0.82 cores=1,3,5,7
/proc/4100/task/4116/stat : 4116 (java) S 4098 4100 2999 0 -1 4202560 5356 0 0 0 50 32 0 0 15 0 22 0 523053825 16083673088 274491 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 0 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4117] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4117/stat : 4117 (java) S 4098 4100 2999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523053826 16083673088 274504 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4118] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4118/stat : 4118 (java) S 4098 4100 2999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523053826 16083673088 274518 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4119] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4119/stat : 4119 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523053828 16083673088 274531 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606690225 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4120] ppid=4098 vsize=15706712 CPUtime=1.06 cores=1,3,5,7
/proc/4100/task/4120/stat : 4120 (java) S 4098 4100 2999 0 -1 4202560 11731 0 0 0 105 1 0 0 16 0 22 0 523053828 16083673088 274545 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4121] ppid=4098 vsize=15706712 CPUtime=0.92 cores=1,3,5,7
/proc/4100/task/4121/stat : 4121 (java) S 4098 4100 2999 0 -1 4202560 6765 0 0 0 92 0 0 0 15 0 22 0 523053828 16083673088 274558 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4122] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4122/stat : 4122 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523053828 16083673088 274572 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4123] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4123/stat : 4123 (java) S 4098 4100 2999 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 523053828 16083673088 274586 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606683136 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4124] ppid=4098 vsize=15706712 CPUtime=1114.93 cores=1,3,5,7
/proc/4100/task/4124/stat : 4124 (java) S 4098 4100 2999 0 -1 4202560 294245 0 0 0 111459 34 0 0 25 0 22 0 523053867 16083673088 274598 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4125] ppid=4098 vsize=15706712 CPUtime=1113.52 cores=1,3,5,7
/proc/4100/task/4125/stat : 4125 (java) S 4098 4100 2999 0 -1 4202560 290970 0 0 0 111316 36 0 0 25 0 22 0 523053867 16083673088 274612 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4126] ppid=4098 vsize=15706712 CPUtime=1114.56 cores=1,3,5,7
/proc/4100/task/4126/stat : 4126 (java) S 4098 4100 2999 0 -1 4202560 285208 0 0 0 111424 32 0 0 25 0 22 0 523053867 16083673088 274625 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4127] ppid=4098 vsize=15706712 CPUtime=1112.17 cores=1,3,5,7
/proc/4100/task/4127/stat : 4127 (java) S 4098 4100 2999 0 -1 4202560 309444 0 0 0 111182 35 0 0 25 0 22 0 523053867 16083673088 274639 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4476.08
Current children cumulated vsize (KiB) 15706712

[startup+1182.3 s]
/proc/loadavg: 8.07 7.94 6.44 9/220 4165
/proc/meminfo: memFree=29587636/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=15706712 CPUtime=4715.33 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 2264471 0 1 0 471191 342 0 0 23 0 22 0 523053823 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 3926678 274756 2298 9 0 3917397 0
[pid=4100/tid=4106] ppid=4098 vsize=15706712 CPUtime=0.95 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) S 4098 4100 2999 0 -1 4202560 33073 0 1 0 90 5 0 0 20 0 22 0 523053824 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4108] ppid=4098 vsize=15706712 CPUtime=2.27 cores=1,3,5,7
/proc/4100/task/4108/stat : 4108 (java) S 4098 4100 2999 0 -1 4202560 134364 0 0 0 204 23 0 0 15 0 22 0 523053824 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4109] ppid=4098 vsize=15706712 CPUtime=2.13 cores=1,3,5,7
/proc/4100/task/4109/stat : 4109 (java) S 4098 4100 2999 0 -1 4202560 80192 0 0 0 202 11 0 0 15 0 22 0 523053824 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4110] ppid=4098 vsize=15706712 CPUtime=2.39 cores=1,3,5,7
/proc/4100/task/4110/stat : 4110 (java) S 4098 4100 2999 0 -1 4202560 131833 0 0 0 219 20 0 0 15 0 22 0 523053824 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4111] ppid=4098 vsize=15706712 CPUtime=2.41 cores=1,3,5,7
/proc/4100/task/4111/stat : 4111 (java) S 4098 4100 2999 0 -1 4202560 128988 0 0 0 223 18 0 0 16 0 22 0 523053824 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4112] ppid=4098 vsize=15706712 CPUtime=2.24 cores=1,3,5,7
/proc/4100/task/4112/stat : 4112 (java) S 4098 4100 2999 0 -1 4202560 110021 0 0 0 206 18 0 0 16 0 22 0 523053824 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4113] ppid=4098 vsize=15706712 CPUtime=2.41 cores=1,3,5,7
/proc/4100/task/4113/stat : 4113 (java) S 4098 4100 2999 0 -1 4202560 137607 0 0 0 219 22 0 0 15 0 22 0 523053824 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4114] ppid=4098 vsize=15706712 CPUtime=2.36 cores=1,3,5,7
/proc/4100/task/4114/stat : 4114 (java) S 4098 4100 2999 0 -1 4202560 129327 0 0 0 216 20 0 0 15 0 22 0 523053824 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4115] ppid=4098 vsize=15706712 CPUtime=2.34 cores=1,3,5,7
/proc/4100/task/4115/stat : 4115 (java) S 4098 4100 2999 0 -1 4202560 127396 0 0 0 216 18 0 0 16 0 22 0 523053824 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4116] ppid=4098 vsize=15706712 CPUtime=0.88 cores=1,3,5,7
/proc/4100/task/4116/stat : 4116 (java) S 4098 4100 2999 0 -1 4202560 5702 0 0 0 54 34 0 0 16 0 22 0 523053825 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606683136 0 0 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4117] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4117/stat : 4117 (java) S 4098 4100 2999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523053826 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4118] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4118/stat : 4118 (java) S 4098 4100 2999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523053826 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4119] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4119/stat : 4119 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523053828 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606690225 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4120] ppid=4098 vsize=15706712 CPUtime=1.06 cores=1,3,5,7
/proc/4100/task/4120/stat : 4120 (java) S 4098 4100 2999 0 -1 4202560 11731 0 0 0 105 1 0 0 16 0 22 0 523053828 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4121] ppid=4098 vsize=15706712 CPUtime=0.92 cores=1,3,5,7
/proc/4100/task/4121/stat : 4121 (java) S 4098 4100 2999 0 -1 4202560 6765 0 0 0 92 0 0 0 15 0 22 0 523053828 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4122] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4122/stat : 4122 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523053828 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4123] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4123/stat : 4123 (java) S 4098 4100 2999 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 523053828 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606683136 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4124] ppid=4098 vsize=15706712 CPUtime=1174.31 cores=1,3,5,7
/proc/4100/task/4124/stat : 4124 (java) R 4098 4100 2999 0 -1 4202560 304248 0 0 0 117396 35 0 0 25 0 22 0 523053867 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505800286 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4100/tid=4125] ppid=4098 vsize=15706712 CPUtime=1173.01 cores=1,3,5,7
/proc/4100/task/4125/stat : 4125 (java) R 4098 4100 2999 0 -1 4202560 302820 0 0 0 117263 38 0 0 25 0 22 0 523053867 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505866530 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4100/tid=4126] ppid=4098 vsize=15706712 CPUtime=1173.99 cores=1,3,5,7
/proc/4100/task/4126/stat : 4126 (java) R 4098 4100 2999 0 -1 4202560 296091 0 0 0 117366 33 0 0 25 0 22 0 523053867 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505888687 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4100/tid=4127] ppid=4098 vsize=15706712 CPUtime=1171.49 cores=1,3,5,7
/proc/4100/task/4127/stat : 4127 (java) R 4098 4100 2999 0 -1 4202560 322861 0 0 0 117113 36 0 0 25 0 22 0 523053867 16083673088 274756 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505583925 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4715.33
Current children cumulated vsize (KiB) 15706712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.12 7.96 6.48 9/220 4166
/proc/meminfo: memFree=29631148/32950928 swapFree=67111404/67111528
[pid=4100] ppid=4098 vsize=15706712 CPUtime=4800.31 cores=1,3,5,7
/proc/4100/stat : 4100 (java) S 4098 4100 2999 0 -1 4202496 2301148 0 1 0 479683 348 0 0 23 0 22 0 523053823 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606669285 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/4100/statm: 3926678 269734 2298 9 0 3917397 0
[pid=4100/tid=4106] ppid=4098 vsize=15706712 CPUtime=0.95 cores=1,3,5,7
/proc/4100/task/4106/stat : 4106 (java) S 4098 4100 2999 0 -1 4202560 33073 0 1 0 90 5 0 0 20 0 22 0 523053824 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4108] ppid=4098 vsize=15706712 CPUtime=2.31 cores=1,3,5,7
/proc/4100/task/4108/stat : 4108 (java) S 4098 4100 2999 0 -1 4202560 136537 0 0 0 208 23 0 0 15 0 22 0 523053824 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4109] ppid=4098 vsize=15706712 CPUtime=2.2 cores=1,3,5,7
/proc/4100/task/4109/stat : 4109 (java) S 4098 4100 2999 0 -1 4202560 83227 0 0 0 208 12 0 0 15 0 22 0 523053824 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4110] ppid=4098 vsize=15706712 CPUtime=2.47 cores=1,3,5,7
/proc/4100/task/4110/stat : 4110 (java) S 4098 4100 2999 0 -1 4202560 133842 0 0 0 226 21 0 0 16 0 22 0 523053824 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4111] ppid=4098 vsize=15706712 CPUtime=2.51 cores=1,3,5,7
/proc/4100/task/4111/stat : 4111 (java) S 4098 4100 2999 0 -1 4202560 133640 0 0 0 233 18 0 0 15 0 22 0 523053824 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4112] ppid=4098 vsize=15706712 CPUtime=2.3 cores=1,3,5,7
/proc/4100/task/4112/stat : 4112 (java) S 4098 4100 2999 0 -1 4202560 112317 0 0 0 212 18 0 0 15 0 22 0 523053824 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4113] ppid=4098 vsize=15706712 CPUtime=2.49 cores=1,3,5,7
/proc/4100/task/4113/stat : 4113 (java) S 4098 4100 2999 0 -1 4202560 140890 0 0 0 227 22 0 0 16 0 22 0 523053824 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4114] ppid=4098 vsize=15706712 CPUtime=2.45 cores=1,3,5,7
/proc/4100/task/4114/stat : 4114 (java) S 4098 4100 2999 0 -1 4202560 132634 0 0 0 225 20 0 0 16 0 22 0 523053824 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4115] ppid=4098 vsize=15706712 CPUtime=2.4 cores=1,3,5,7
/proc/4100/task/4115/stat : 4115 (java) S 4098 4100 2999 0 -1 4202560 130255 0 0 0 221 19 0 0 15 0 22 0 523053824 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4116] ppid=4098 vsize=15706712 CPUtime=0.89 cores=1,3,5,7
/proc/4100/task/4116/stat : 4116 (java) S 4098 4100 2999 0 -1 4202560 5794 0 0 0 54 35 0 0 16 0 22 0 523053825 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606683136 0 0 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4117] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4117/stat : 4117 (java) S 4098 4100 2999 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523053826 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4118] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4118/stat : 4118 (java) S 4098 4100 2999 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523053826 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4119] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4119/stat : 4119 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523053828 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606690225 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4120] ppid=4098 vsize=15706712 CPUtime=1.06 cores=1,3,5,7
/proc/4100/task/4120/stat : 4120 (java) S 4098 4100 2999 0 -1 4202560 11731 0 0 0 105 1 0 0 16 0 22 0 523053828 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 5 0 0 0
[pid=4100/tid=4121] ppid=4098 vsize=15706712 CPUtime=0.92 cores=1,3,5,7
/proc/4100/task/4121/stat : 4121 (java) S 4098 4100 2999 0 -1 4202560 6765 0 0 0 92 0 0 0 15 0 22 0 523053828 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 3 0 0 0
[pid=4100/tid=4122] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4122/stat : 4122 (java) S 4098 4100 2999 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523053828 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606682521 0 4 0 16800975 18446604469029976832 0 0 -1 7 0 0 0
[pid=4100/tid=4123] ppid=4098 vsize=15706712 CPUtime=0 cores=1,3,5,7
/proc/4100/task/4123/stat : 4123 (java) S 4098 4100 2999 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 523053828 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 235606683136 0 4 0 16800975 18446604469029976832 0 0 -1 1 0 0 0
[pid=4100/tid=4124] ppid=4098 vsize=15706712 CPUtime=1195.31 cores=1,3,5,7
/proc/4100/task/4124/stat : 4124 (java) R 4098 4100 2999 0 -1 4202560 306669 0 0 0 119496 35 0 0 25 0 22 0 523053867 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505800898 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=4100/tid=4125] ppid=4098 vsize=15706712 CPUtime=1194.14 cores=1,3,5,7
/proc/4100/task/4125/stat : 4125 (java) R 4098 4100 2999 0 -1 4202560 306206 0 0 0 119375 39 0 0 25 0 22 0 523053867 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912506392056 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4100/tid=4126] ppid=4098 vsize=15706712 CPUtime=1195.13 cores=1,3,5,7
/proc/4100/task/4126/stat : 4126 (java) R 4098 4100 2999 0 -1 4202560 299615 0 0 0 119479 34 0 0 25 0 22 0 523053867 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 46912505888743 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4100/tid=4127] ppid=4098 vsize=15706712 CPUtime=1192.62 cores=1,3,5,7
/proc/4100/task/4127/stat : 4127 (java) R 4098 4100 2999 0 -1 4202560 326499 0 0 0 119225 37 0 0 25 0 22 0 523053867 16083673088 269734 33554432000 1073741824 1073778376 140734440231984 18446744073709551615 18446744073699065961 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 15706712

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.39
CPU user time (s): 4796.87
CPU system time (s): 3.52346
CPU usage (%): 398.817
Max. virtual memory (cumulated for all children) (KiB): 15709476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.87
system time used= 3.52346
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2301175
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= 54619
involuntary context switches= 60926

runsolver used 2.22666 second user time and 4.39233 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-30 00:02:31
IDJOB=3311222
IDBENCH=82607
IDSOLVER=1698
FILE ID=node120/3311222-1304114551
RUNJOBID= node120-1304114550-4069
PBS_JOBID= 13170661
Free space on /tmp= 72072 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311222-1304114551/watcher-3311222-1304114551 -o /tmp/evaluation-result-3311222-1304114551/solver-3311222-1304114551 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311222-1304114551.cnf -hbr 2

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

MD5SUM BENCH= 951e2fa38b08f2dfbb0dbb3e8ab83f8d
RANDOM SEED=542238416

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.78
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.809
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.809
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.809
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:      31213604 kB
Buffers:        494736 kB
Cached:         812784 kB
SwapCached:          8 kB
Active:         414676 kB
Inactive:       963344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31213604 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:            4352 kB
Writeback:           0 kB
AnonPages:       70224 kB
Mapped:          20900 kB
Slab:           296000 kB
PageTables:       5100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   773024 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= 72072 MiB
End job on node120 at 2011-04-30 00:22:36