Trace number 3312607

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.5 1207.67

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf
MD5SUM96d6aca5635fba3566aa8534cdc228f2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.734888
Satisfiable
(Un)Satisfiability was proved
Number of variables175
Number of clauses3727
Sum of the clauses size18635
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 53727
Number of clauses of size over 50

Solver Data 

0.10/0.12	49:51 INFO : Reading from input HOME/instance-3312607-1304124591.cnf
0.27/0.29	Executor set job limit to 1000000
0.27/0.29	Executor set job limit to 1000000
0.27/0.29	Executor set job limit to 1000000
0.27/0.29	Executor set job limit to 1000000
0.27/0.29	Starting Executor!
0.27/0.29	Starting Executor!
0.27/0.29	Starting Executor!
0.27/0.29	Starting Executor!
1.05/0.50	49:52 INFO : 175 variables remaining out of 175
1.05/0.50	49:52 INFO : 22362 literals remaining out of 22362

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-3312607-1304124591/watcher-3312607-1304124591 -o /tmp/evaluation-result-3312607-1304124591/solver-3312607-1304124591 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312607-1304124591.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: 8.04 8.02 7.85 5/198 29870
/proc/meminfo: memFree=30344828/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/29870/stat : 29870 (java) R 29868 29870 29326 0 -1 4202496 817 0 0 0 0 0 0 0 25 0 1 0 524060041 23580672 303 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270608148224 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29870/statm: 5757 316 249 9 0 124 0

[startup+0.035329 s]
/proc/loadavg: 8.04 8.02 7.85 5/198 29870
/proc/meminfo: memFree=30344828/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/29870/stat : 29870 (java) S 29868 29870 29326 0 -1 4202496 3614 0 1 0 1 1 0 0 25 0 13 0 524060041 15978749952 3053 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624913381 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/29870/statm: 3901062 3056 1671 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.100318 s]
/proc/loadavg: 8.04 8.02 7.85 5/198 29870
/proc/meminfo: memFree=30344828/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=15676308 CPUtime=0.1 cores=1,3,5,7
/proc/29870/stat : 29870 (java) S 29868 29870 29326 0 -1 4202496 5528 0 1 0 8 2 0 0 25 0 18 0 524060041 16052539392 4934 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29870/statm: 3919077 4934 2117 9 0 3909796 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676308

[startup+0.300248 s]
/proc/loadavg: 8.04 8.02 7.85 5/198 29870
/proc/meminfo: memFree=30344828/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=15684320 CPUtime=0.52 cores=1,3,5,7
/proc/29870/stat : 29870 (java) S 29868 29870 29326 0 -1 4202496 13436 0 1 0 49 3 0 0 25 0 22 0 524060041 16060743680 11693 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29870/statm: 3921080 11694 2209 9 0 3911799 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15684320

[startup+0.70021 s]
/proc/loadavg: 8.04 8.02 7.85 5/198 29870
/proc/meminfo: memFree=30344828/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=15701732 CPUtime=1.6 cores=1,3,5,7
/proc/29870/stat : 29870 (java) S 29868 29870 29326 0 -1 4202496 26760 0 1 0 156 4 0 0 25 0 22 0 524060041 16078573568 21239 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29870/statm: 3925433 21242 2261 9 0 3916152 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 15701732

[startup+1.50104 s]
/proc/loadavg: 8.04 8.02 7.85 12/220 29892
/proc/meminfo: memFree=30131004/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=15702064 CPUtime=4.79 cores=1,3,5,7
/proc/29870/stat : 29870 (java) S 29868 29870 29326 0 -1 4202496 57361 0 1 0 471 8 0 0 25 0 22 0 524060041 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29870/statm: 3925516 51829 2286 9 0 3916235 0
[pid=29870/tid=29872] ppid=29868 vsize=15702064 CPUtime=0.48 cores=1,3,5,7
/proc/29870/task/29872/stat : 29872 (java) S 29868 29870 29326 0 -1 4202560 8817 0 1 0 46 2 0 0 20 0 22 0 524060041 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29873] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29873/stat : 29873 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524060042 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29874] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29874/stat : 29874 (java) S 29868 29870 29326 0 -1 4202560 866 0 0 0 0 0 0 0 15 0 22 0 524060042 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29875] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29875/stat : 29875 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524060042 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29876] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29876/stat : 29876 (java) S 29868 29870 29326 0 -1 4202560 970 0 0 0 0 0 0 0 15 0 22 0 524060042 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29877] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29877/stat : 29877 (java) S 29868 29870 29326 0 -1 4202560 777 0 0 0 0 0 0 0 16 0 22 0 524060042 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29878] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29878/stat : 29878 (java) S 29868 29870 29326 0 -1 4202560 1035 0 0 0 0 0 0 0 16 0 22 0 524060042 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29879] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29879/stat : 29879 (java) S 29868 29870 29326 0 -1 4202560 963 0 0 0 0 0 0 0 16 0 22 0 524060042 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29880] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29880/stat : 29880 (java) S 29868 29870 29326 0 -1 4202560 461 0 0 0 0 0 0 0 15 0 22 0 524060042 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29881] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29881/stat : 29881 (java) S 29868 29870 29326 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 524060043 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29882] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29882/stat : 29882 (java) S 29868 29870 29326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524060043 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29883] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29883/stat : 29883 (java) S 29868 29870 29326 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524060043 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29884] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29884/stat : 29884 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29885] ppid=29868 vsize=15702064 CPUtime=0.52 cores=1,3,5,7
/proc/29870/task/29885/stat : 29885 (java) R 29868 29870 29326 0 -1 4202560 9780 0 0 0 51 1 0 0 25 0 22 0 524060046 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 47116819998235 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29870/tid=29886] ppid=29868 vsize=15702064 CPUtime=1.07 cores=1,3,5,7
/proc/29870/task/29886/stat : 29886 (java) S 29868 29870 29326 0 -1 4202560 5366 0 0 0 107 0 0 0 16 0 22 0 524060046 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29887] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29887/stat : 29887 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29888] ppid=29868 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29888/stat : 29888 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524060046 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29889] ppid=29868 vsize=15702064 CPUtime=0.92 cores=1,3,5,7
/proc/29870/task/29889/stat : 29889 (java) R 29868 29870 29326 0 -1 4202560 9064 0 0 0 92 0 0 0 18 0 22 0 524060070 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505840381 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29870/tid=29890] ppid=29868 vsize=15702064 CPUtime=0.77 cores=1,3,5,7
/proc/29870/task/29890/stat : 29890 (java) R 29868 29870 29326 0 -1 4202560 8024 0 0 0 76 1 0 0 17 0 22 0 524060070 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505523269 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29870/tid=29891] ppid=29868 vsize=15702064 CPUtime=0.58 cores=1,3,5,7
/proc/29870/task/29891/stat : 29891 (java) R 29868 29870 29326 0 -1 4202560 4509 0 0 0 58 0 0 0 16 0 22 0 524060070 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505937238 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29870/tid=29892] ppid=29868 vsize=15702064 CPUtime=0.36 cores=1,3,5,7
/proc/29870/task/29892/stat : 29892 (java) R 29868 29870 29326 0 -1 4202560 5266 0 0 0 36 0 0 0 17 0 22 0 524060070 16078913536 51829 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505964429 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 15702064

[startup+3.10076 s]
/proc/loadavg: 8.20 8.05 7.86 7/220 29892
/proc/meminfo: memFree=29985340/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=15699932 CPUtime=11.16 cores=1,3,5,7
/proc/29870/stat : 29870 (java) S 29868 29870 29326 0 -1 4202496 153933 0 1 0 1096 20 0 0 25 0 22 0 524060041 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29870/statm: 3924983 147570 2286 9 0 3915702 0
[pid=29870/tid=29872] ppid=29868 vsize=15699932 CPUtime=0.48 cores=1,3,5,7
/proc/29870/task/29872/stat : 29872 (java) S 29868 29870 29326 0 -1 4202560 8817 0 1 0 46 2 0 0 20 0 22 0 524060041 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29873] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29873/stat : 29873 (java) S 29868 29870 29326 0 -1 4202560 2173 0 0 0 0 0 0 0 16 0 22 0 524060042 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29874] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29874/stat : 29874 (java) S 29868 29870 29326 0 -1 4202560 1571 0 0 0 0 0 0 0 15 0 22 0 524060042 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29875] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29875/stat : 29875 (java) S 29868 29870 29326 0 -1 4202560 1581 0 0 0 0 0 0 0 15 0 22 0 524060042 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29876] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29876/stat : 29876 (java) S 29868 29870 29326 0 -1 4202560 1610 0 0 0 0 0 0 0 16 0 22 0 524060042 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29877] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29877/stat : 29877 (java) S 29868 29870 29326 0 -1 4202560 1312 0 0 0 0 0 0 0 15 0 22 0 524060042 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29878] ppid=29868 vsize=15699932 CPUtime=0.01 cores=1,3,5,7
/proc/29870/task/29878/stat : 29878 (java) S 29868 29870 29326 0 -1 4202560 3887 0 0 0 1 0 0 0 16 0 22 0 524060042 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29879] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29879/stat : 29879 (java) S 29868 29870 29326 0 -1 4202560 963 0 0 0 0 0 0 0 15 0 22 0 524060042 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29880] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29880/stat : 29880 (java) S 29868 29870 29326 0 -1 4202560 2022 0 0 0 0 0 0 0 16 0 22 0 524060042 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29881] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29881/stat : 29881 (java) S 29868 29870 29326 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 22 0 524060043 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29882] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29882/stat : 29882 (java) S 29868 29870 29326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524060043 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29883] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29883/stat : 29883 (java) S 29868 29870 29326 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524060043 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29884] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29884/stat : 29884 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29885] ppid=29868 vsize=15699932 CPUtime=0.58 cores=1,3,5,7
/proc/29870/task/29885/stat : 29885 (java) S 29868 29870 29326 0 -1 4202560 9811 0 0 0 57 1 0 0 17 0 22 0 524060046 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29886] ppid=29868 vsize=15699932 CPUtime=1.19 cores=1,3,5,7
/proc/29870/task/29886/stat : 29886 (java) S 29868 29870 29326 0 -1 4202560 5373 0 0 0 119 0 0 0 15 0 22 0 524060046 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29887] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29887/stat : 29887 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29888] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29888/stat : 29888 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524060046 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29889] ppid=29868 vsize=15699932 CPUtime=2.35 cores=1,3,5,7
/proc/29870/task/29889/stat : 29889 (java) R 29868 29870 29326 0 -1 4202560 31214 0 0 0 232 3 0 0 20 0 22 0 524060070 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505617701 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29870/tid=29890] ppid=29868 vsize=15699932 CPUtime=2.34 cores=1,3,5,7
/proc/29870/task/29890/stat : 29890 (java) R 29868 29870 29326 0 -1 4202560 28521 0 0 0 231 3 0 0 18 0 22 0 524060070 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505815604 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29870/tid=29891] ppid=29868 vsize=15699932 CPUtime=2.16 cores=1,3,5,7
/proc/29870/task/29891/stat : 29891 (java) R 29868 29870 29326 0 -1 4202560 26075 0 0 0 213 3 0 0 18 0 22 0 524060070 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505964850 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29870/tid=29892] ppid=29868 vsize=15699932 CPUtime=1.92 cores=1,3,5,7
/proc/29870/task/29892/stat : 29892 (java) R 29868 29870 29326 0 -1 4202560 27173 0 0 0 189 3 0 0 19 0 22 0 524060070 16076730368 147570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505863247 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 15699932

[startup+6.30119 s]
/proc/loadavg: 8.20 8.05 7.86 9/220 29892
/proc/meminfo: memFree=29720536/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=15699932 CPUtime=23.91 cores=1,3,5,7
/proc/29870/stat : 29870 (java) S 29868 29870 29326 0 -1 4202496 155945 0 1 0 2371 20 0 0 25 0 22 0 524060041 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29870/statm: 3924983 148301 2286 9 0 3915702 0
[pid=29870/tid=29872] ppid=29868 vsize=15699932 CPUtime=0.48 cores=1,3,5,7
/proc/29870/task/29872/stat : 29872 (java) S 29868 29870 29326 0 -1 4202560 8817 0 1 0 46 2 0 0 20 0 22 0 524060041 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29873] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29873/stat : 29873 (java) S 29868 29870 29326 0 -1 4202560 2401 0 0 0 0 0 0 0 15 0 22 0 524060042 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29874] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29874/stat : 29874 (java) S 29868 29870 29326 0 -1 4202560 1666 0 0 0 0 0 0 0 16 0 22 0 524060042 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29875] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29875/stat : 29875 (java) S 29868 29870 29326 0 -1 4202560 1761 0 0 0 0 0 0 0 15 0 22 0 524060042 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29876] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29876/stat : 29876 (java) S 29868 29870 29326 0 -1 4202560 1690 0 0 0 0 0 0 0 15 0 22 0 524060042 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29877] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29877/stat : 29877 (java) S 29868 29870 29326 0 -1 4202560 1593 0 0 0 0 0 0 0 15 0 22 0 524060042 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29878] ppid=29868 vsize=15699932 CPUtime=0.01 cores=1,3,5,7
/proc/29870/task/29878/stat : 29878 (java) S 29868 29870 29326 0 -1 4202560 4059 0 0 0 1 0 0 0 15 0 22 0 524060042 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29879] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29879/stat : 29879 (java) S 29868 29870 29326 0 -1 4202560 1450 0 0 0 0 0 0 0 15 0 22 0 524060042 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29880] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29880/stat : 29880 (java) S 29868 29870 29326 0 -1 4202560 2317 0 0 0 0 0 0 0 15 0 22 0 524060042 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29881] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29881/stat : 29881 (java) S 29868 29870 29326 0 -1 4202560 444 0 0 0 0 0 0 0 15 0 22 0 524060043 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29882] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29882/stat : 29882 (java) S 29868 29870 29326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524060043 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29883] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29883/stat : 29883 (java) S 29868 29870 29326 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524060043 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29884] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29884/stat : 29884 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29885] ppid=29868 vsize=15699932 CPUtime=0.69 cores=1,3,5,7
/proc/29870/task/29885/stat : 29885 (java) S 29868 29870 29326 0 -1 4202560 9842 0 0 0 68 1 0 0 15 0 22 0 524060046 16076730368 148301 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0

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

[pid=29870/tid=29890] ppid=29868 vsize=15699932 CPUtime=1048.86 cores=1,3,5,7
/proc/29870/task/29890/stat : 29890 (java) R 29868 29870 29326 0 -1 4202560 190978 0 0 0 104852 34 0 0 25 0 22 0 524060070 16076730368 67925 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505523269 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29870/tid=29891] ppid=29868 vsize=15699932 CPUtime=1048.3 cores=1,3,5,7
/proc/29870/task/29891/stat : 29891 (java) R 29868 29870 29326 0 -1 4202560 191486 0 0 0 104797 33 0 0 25 0 22 0 524060070 16076730368 67925 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 47116822967303 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29870/tid=29892] ppid=29868 vsize=15699932 CPUtime=1048.27 cores=1,3,5,7
/proc/29870/task/29892/stat : 29892 (java) R 29868 29870 29326 0 -1 4202560 189342 0 0 0 104792 35 0 0 20 0 22 0 524060070 16076730368 67925 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505715600 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4222.66
Current children cumulated vsize (KiB) 15699932

[startup+1122.3 s]
/proc/loadavg: 4.24 6.32 7.32 5/193 29954
/proc/meminfo: memFree=30611680/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=15699932 CPUtime=4461.14 cores=1,3,5,7
/proc/29870/stat : 29870 (java) S 29868 29870 29326 0 -1 4202496 1470614 0 1 0 445730 384 0 0 25 0 22 0 524060041 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29870/statm: 3924983 69570 2299 9 0 3915702 0
[pid=29870/tid=29872] ppid=29868 vsize=15699932 CPUtime=0.48 cores=1,3,5,7
/proc/29870/task/29872/stat : 29872 (java) S 29868 29870 29326 0 -1 4202560 8817 0 1 0 46 2 0 0 20 0 22 0 524060041 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29873] ppid=29868 vsize=15699932 CPUtime=3.04 cores=1,3,5,7
/proc/29870/task/29873/stat : 29873 (java) S 29868 29870 29326 0 -1 4202560 76775 0 0 0 285 19 0 0 15 0 22 0 524060042 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29874] ppid=29868 vsize=15699932 CPUtime=3.09 cores=1,3,5,7
/proc/29870/task/29874/stat : 29874 (java) S 29868 29870 29326 0 -1 4202560 81107 0 0 0 293 16 0 0 15 0 22 0 524060042 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29875] ppid=29868 vsize=15699932 CPUtime=3.13 cores=1,3,5,7
/proc/29870/task/29875/stat : 29875 (java) S 29868 29870 29326 0 -1 4202560 77935 0 0 0 293 20 0 0 16 0 22 0 524060042 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29876] ppid=29868 vsize=15699932 CPUtime=3.15 cores=1,3,5,7
/proc/29870/task/29876/stat : 29876 (java) S 29868 29870 29326 0 -1 4202560 78971 0 0 0 295 20 0 0 16 0 22 0 524060042 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29877] ppid=29868 vsize=15699932 CPUtime=3.06 cores=1,3,5,7
/proc/29870/task/29877/stat : 29877 (java) S 29868 29870 29326 0 -1 4202560 77506 0 0 0 289 17 0 0 15 0 22 0 524060042 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29878] ppid=29868 vsize=15699932 CPUtime=3.17 cores=1,3,5,7
/proc/29870/task/29878/stat : 29878 (java) S 29868 29870 29326 0 -1 4202560 82457 0 0 0 297 20 0 0 15 0 22 0 524060042 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29879] ppid=29868 vsize=15699932 CPUtime=3.04 cores=1,3,5,7
/proc/29870/task/29879/stat : 29879 (java) S 29868 29870 29326 0 -1 4202560 75250 0 0 0 285 19 0 0 15 0 22 0 524060042 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29880] ppid=29868 vsize=15699932 CPUtime=3.14 cores=1,3,5,7
/proc/29870/task/29880/stat : 29880 (java) S 29868 29870 29326 0 -1 4202560 77196 0 0 0 293 21 0 0 16 0 22 0 524060042 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29881] ppid=29868 vsize=15699932 CPUtime=2.13 cores=1,3,5,7
/proc/29870/task/29881/stat : 29881 (java) S 29868 29870 29326 0 -1 4202560 3835 0 0 0 143 70 0 0 15 0 22 0 524060043 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29882] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29882/stat : 29882 (java) S 29868 29870 29326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524060043 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29883] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29883/stat : 29883 (java) S 29868 29870 29326 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524060043 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29884] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29884/stat : 29884 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29885] ppid=29868 vsize=15699932 CPUtime=0.72 cores=1,3,5,7
/proc/29870/task/29885/stat : 29885 (java) S 29868 29870 29326 0 -1 4202560 9846 0 0 0 71 1 0 0 15 0 22 0 524060046 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29886] ppid=29868 vsize=15699932 CPUtime=1.26 cores=1,3,5,7
/proc/29870/task/29886/stat : 29886 (java) S 29868 29870 29326 0 -1 4202560 5395 0 0 0 126 0 0 0 15 0 22 0 524060046 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29887] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29887/stat : 29887 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29888] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29888/stat : 29888 (java) S 29868 29870 29326 0 -1 4202560 58 0 0 0 0 0 0 0 15 0 22 0 524060046 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29889] ppid=29868 vsize=15699932 CPUtime=1108.34 cores=1,3,5,7
/proc/29870/task/29889/stat : 29889 (java) R 29868 29870 29326 0 -1 4202560 207232 0 0 0 110795 39 0 0 25 0 22 0 524060070 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505784335 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29870/tid=29890] ppid=29868 vsize=15699932 CPUtime=1108.16 cores=1,3,5,7
/proc/29870/task/29890/stat : 29890 (java) R 29868 29870 29326 0 -1 4202560 202756 0 0 0 110779 37 0 0 25 0 22 0 524060070 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505864050 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29870/tid=29891] ppid=29868 vsize=15699932 CPUtime=1107.61 cores=1,3,5,7
/proc/29870/task/29891/stat : 29891 (java) R 29868 29870 29326 0 -1 4202560 203219 0 0 0 110726 35 0 0 25 0 22 0 524060070 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505840193 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29870/tid=29892] ppid=29868 vsize=15699932 CPUtime=1107.42 cores=1,3,5,7
/proc/29870/task/29892/stat : 29892 (java) R 29868 29870 29326 0 -1 4202560 200873 0 0 0 110704 38 0 0 25 0 22 0 524060070 16076730368 69570 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505964501 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4461.14
Current children cumulated vsize (KiB) 15699932

[startup+1182.3 s]
/proc/loadavg: 4.08 5.90 7.11 5/193 29956
/proc/meminfo: memFree=30551268/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=15699932 CPUtime=4699.66 cores=1,3,5,7
/proc/29870/stat : 29870 (java) S 29868 29870 29326 0 -1 4202496 1558366 0 1 0 469553 413 0 0 25 0 22 0 524060041 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29870/statm: 3924983 84403 2299 9 0 3915702 0
[pid=29870/tid=29872] ppid=29868 vsize=15699932 CPUtime=0.48 cores=1,3,5,7
/proc/29870/task/29872/stat : 29872 (java) S 29868 29870 29326 0 -1 4202560 8817 0 1 0 46 2 0 0 20 0 22 0 524060041 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29873] ppid=29868 vsize=15699932 CPUtime=3.19 cores=1,3,5,7
/proc/29870/task/29873/stat : 29873 (java) S 29868 29870 29326 0 -1 4202560 79410 0 0 0 299 20 0 0 16 0 22 0 524060042 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29874] ppid=29868 vsize=15699932 CPUtime=3.24 cores=1,3,5,7
/proc/29870/task/29874/stat : 29874 (java) S 29868 29870 29326 0 -1 4202560 83203 0 0 0 307 17 0 0 16 0 22 0 524060042 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29875] ppid=29868 vsize=15699932 CPUtime=3.27 cores=1,3,5,7
/proc/29870/task/29875/stat : 29875 (java) S 29868 29870 29326 0 -1 4202560 79498 0 0 0 306 21 0 0 16 0 22 0 524060042 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29876] ppid=29868 vsize=15699932 CPUtime=3.33 cores=1,3,5,7
/proc/29870/task/29876/stat : 29876 (java) S 29868 29870 29326 0 -1 4202560 81372 0 0 0 311 22 0 0 16 0 22 0 524060042 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29877] ppid=29868 vsize=15699932 CPUtime=3.23 cores=1,3,5,7
/proc/29870/task/29877/stat : 29877 (java) S 29868 29870 29326 0 -1 4202560 80471 0 0 0 304 19 0 0 15 0 22 0 524060042 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29878] ppid=29868 vsize=15699932 CPUtime=3.32 cores=1,3,5,7
/proc/29870/task/29878/stat : 29878 (java) S 29868 29870 29326 0 -1 4202560 84089 0 0 0 311 21 0 0 16 0 22 0 524060042 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29879] ppid=29868 vsize=15699932 CPUtime=3.18 cores=1,3,5,7
/proc/29870/task/29879/stat : 29879 (java) S 29868 29870 29326 0 -1 4202560 77503 0 0 0 298 20 0 0 15 0 22 0 524060042 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29880] ppid=29868 vsize=15699932 CPUtime=3.29 cores=1,3,5,7
/proc/29870/task/29880/stat : 29880 (java) S 29868 29870 29326 0 -1 4202560 78715 0 0 0 307 22 0 0 15 0 22 0 524060042 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29881] ppid=29868 vsize=15699932 CPUtime=2.26 cores=1,3,5,7
/proc/29870/task/29881/stat : 29881 (java) S 29868 29870 29326 0 -1 4202560 4046 0 0 0 151 75 0 0 15 0 22 0 524060043 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29882] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29882/stat : 29882 (java) S 29868 29870 29326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524060043 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29883] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29883/stat : 29883 (java) S 29868 29870 29326 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524060043 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29884] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29884/stat : 29884 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29885] ppid=29868 vsize=15699932 CPUtime=0.72 cores=1,3,5,7
/proc/29870/task/29885/stat : 29885 (java) S 29868 29870 29326 0 -1 4202560 9846 0 0 0 71 1 0 0 15 0 22 0 524060046 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29886] ppid=29868 vsize=15699932 CPUtime=1.26 cores=1,3,5,7
/proc/29870/task/29886/stat : 29886 (java) S 29868 29870 29326 0 -1 4202560 5395 0 0 0 126 0 0 0 15 0 22 0 524060046 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29887] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29887/stat : 29887 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29888] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29888/stat : 29888 (java) S 29868 29870 29326 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 524060046 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29889] ppid=29868 vsize=15699932 CPUtime=1167.5 cores=1,3,5,7
/proc/29870/task/29889/stat : 29889 (java) R 29868 29870 29326 0 -1 4202560 224471 0 0 0 116707 43 0 0 25 0 22 0 524060070 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505847059 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29870/tid=29890] ppid=29868 vsize=15699932 CPUtime=1167.51 cores=1,3,5,7
/proc/29870/task/29890/stat : 29890 (java) R 29868 29870 29326 0 -1 4202560 220511 0 0 0 116710 41 0 0 25 0 22 0 524060070 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 18446744073699066043 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29870/tid=29891] ppid=29868 vsize=15699932 CPUtime=1166.92 cores=1,3,5,7
/proc/29870/task/29891/stat : 29891 (java) R 29868 29870 29326 0 -1 4202560 220940 0 0 0 116653 39 0 0 25 0 22 0 524060070 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505965057 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=29870/tid=29892] ppid=29868 vsize=15699932 CPUtime=1166.79 cores=1,3,5,7
/proc/29870/task/29892/stat : 29892 (java) R 29868 29870 29326 0 -1 4202560 218633 0 0 0 116637 42 0 0 25 0 22 0 524060070 16076730368 84403 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 47116822432832 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4699.66
Current children cumulated vsize (KiB) 15699932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.6 s]
/proc/loadavg: 4.06 5.74 7.03 5/193 29956
/proc/meminfo: memFree=30613744/32951124 swapFree=67111524/67111528
[pid=29870] ppid=29868 vsize=15699932 CPUtime=4800.27 cores=1,3,5,7
/proc/29870/stat : 29870 (java) S 29868 29870 29326 0 -1 4202496 1577843 0 1 0 479606 421 0 0 25 0 22 0 524060041 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/29870/statm: 3924983 69613 2299 9 0 3915702 0
[pid=29870/tid=29872] ppid=29868 vsize=15699932 CPUtime=0.48 cores=1,3,5,7
/proc/29870/task/29872/stat : 29872 (java) S 29868 29870 29326 0 -1 4202560 8817 0 1 0 46 2 0 0 20 0 22 0 524060041 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29873] ppid=29868 vsize=15699932 CPUtime=3.26 cores=1,3,5,7
/proc/29870/task/29873/stat : 29873 (java) S 29868 29870 29326 0 -1 4202560 80820 0 0 0 305 21 0 0 16 0 22 0 524060042 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29874] ppid=29868 vsize=15699932 CPUtime=3.32 cores=1,3,5,7
/proc/29870/task/29874/stat : 29874 (java) S 29868 29870 29326 0 -1 4202560 84188 0 0 0 314 18 0 0 15 0 22 0 524060042 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29875] ppid=29868 vsize=15699932 CPUtime=3.35 cores=1,3,5,7
/proc/29870/task/29875/stat : 29875 (java) S 29868 29870 29326 0 -1 4202560 80669 0 0 0 314 21 0 0 16 0 22 0 524060042 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29876] ppid=29868 vsize=15699932 CPUtime=3.4 cores=1,3,5,7
/proc/29870/task/29876/stat : 29876 (java) S 29868 29870 29326 0 -1 4202560 82771 0 0 0 317 23 0 0 15 0 22 0 524060042 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29877] ppid=29868 vsize=15699932 CPUtime=3.31 cores=1,3,5,7
/proc/29870/task/29877/stat : 29877 (java) S 29868 29870 29326 0 -1 4202560 81991 0 0 0 311 20 0 0 15 0 22 0 524060042 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29878] ppid=29868 vsize=15699932 CPUtime=3.38 cores=1,3,5,7
/proc/29870/task/29878/stat : 29878 (java) S 29868 29870 29326 0 -1 4202560 84968 0 0 0 317 21 0 0 16 0 22 0 524060042 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29879] ppid=29868 vsize=15699932 CPUtime=3.25 cores=1,3,5,7
/proc/29870/task/29879/stat : 29879 (java) S 29868 29870 29326 0 -1 4202560 78390 0 0 0 305 20 0 0 16 0 22 0 524060042 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29880] ppid=29868 vsize=15699932 CPUtime=3.35 cores=1,3,5,7
/proc/29870/task/29880/stat : 29880 (java) S 29868 29870 29326 0 -1 4202560 80207 0 0 0 312 23 0 0 15 0 22 0 524060042 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 5 0 0 0
[pid=29870/tid=29881] ppid=29868 vsize=15699932 CPUtime=2.29 cores=1,3,5,7
/proc/29870/task/29881/stat : 29881 (java) S 29868 29870 29326 0 -1 4202560 4113 0 0 0 153 76 0 0 15 0 22 0 524060043 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 0 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29882] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29882/stat : 29882 (java) S 29868 29870 29326 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524060043 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29883] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29883/stat : 29883 (java) S 29868 29870 29326 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524060043 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29884] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29884/stat : 29884 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624934321 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29885] ppid=29868 vsize=15699932 CPUtime=0.72 cores=1,3,5,7
/proc/29870/task/29885/stat : 29885 (java) S 29868 29870 29326 0 -1 4202560 9846 0 0 0 71 1 0 0 15 0 22 0 524060046 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 1 0 0 0
[pid=29870/tid=29886] ppid=29868 vsize=15699932 CPUtime=1.26 cores=1,3,5,7
/proc/29870/task/29886/stat : 29886 (java) S 29868 29870 29326 0 -1 4202560 5395 0 0 0 126 0 0 0 15 0 22 0 524060046 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29887] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29887/stat : 29887 (java) S 29868 29870 29326 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524060046 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624926617 0 4 0 16800975 18446604467606476096 0 0 -1 3 0 0 0
[pid=29870/tid=29888] ppid=29868 vsize=15699932 CPUtime=0 cores=1,3,5,7
/proc/29870/task/29888/stat : 29888 (java) S 29868 29870 29326 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 524060046 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 270624927232 0 4 0 16800975 18446604467606476096 0 0 -1 7 0 0 0
[pid=29870/tid=29889] ppid=29868 vsize=15699932 CPUtime=1192.49 cores=1,3,5,7
/proc/29870/task/29889/stat : 29889 (java) R 29868 29870 29326 0 -1 4202560 226772 0 0 0 119206 43 0 0 25 0 22 0 524060070 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505936749 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29870/tid=29890] ppid=29868 vsize=15699932 CPUtime=1192.54 cores=1,3,5,7
/proc/29870/task/29890/stat : 29890 (java) R 29868 29870 29326 0 -1 4202560 222911 0 0 0 119213 41 0 0 25 0 22 0 524060070 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505936781 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29870/tid=29891] ppid=29868 vsize=15699932 CPUtime=1191.86 cores=1,3,5,7
/proc/29870/task/29891/stat : 29891 (java) R 29868 29870 29326 0 -1 4202560 223257 0 0 0 119147 39 0 0 25 0 22 0 524060070 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=29870/tid=29892] ppid=29868 vsize=15699932 CPUtime=1191.84 cores=1,3,5,7
/proc/29870/task/29892/stat : 29892 (java) R 29868 29870 29326 0 -1 4202560 221280 0 0 0 119141 43 0 0 25 0 22 0 524060070 16076730368 69613 33554432000 1073741824 1073778376 140737165531216 18446744073709551615 46912505897330 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 15699932

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): 1207.67
CPU time (s): 4800.5
CPU user time (s): 4796.27
CPU system time (s): 4.23136
CPU usage (%): 397.5
Max. virtual memory (cumulated for all children) (KiB): 15702064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.27
system time used= 4.23136
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1578164
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= 307248
involuntary context switches= 170654

runsolver used 1.9777 second user time and 4.64929 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-30 02:49:51
IDJOB=3312607
IDBENCH=82792
IDSOLVER=1699
FILE ID=node108/3312607-1304124591
RUNJOBID= node108-1304123130-29640
PBS_JOBID= 13170727
Free space on /tmp= 72120 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312607-1304124591/watcher-3312607-1304124591 -o /tmp/evaluation-result-3312607-1304124591/solver-3312607-1304124591 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312607-1304124591.cnf

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

MD5SUM BENCH= 96d6aca5635fba3566aa8534cdc228f2
RANDOM SEED=1524520606

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30345108 kB
Buffers:        550632 kB
Cached:        1059120 kB
SwapCached:          4 kB
Active:         649228 kB
Inactive:      1563584 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30345108 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1596 kB
Writeback:          32 kB
AnonPages:      602860 kB
Mapped:          23508 kB
Slab:           327372 kB
PageTables:       5872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   927236 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= 72120 MiB
End job on node108 at 2011-04-30 03:10:01