Trace number 3312909

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf
MD5SUM0fc04a37bb65455aedf3737bd6551a47
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.220966
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	04:47 INFO : Reading from input HOME/instance-3312909-1304179487.cnf
0.27/0.26	Executor set job limit to 1000000
0.27/0.26	Executor set job limit to 1000000
0.27/0.26	Executor set job limit to 1000000
0.27/0.26	Executor set job limit to 1000000
0.27/0.26	Starting Executor!
0.27/0.27	Starting Executor!
0.27/0.27	Starting Executor!
0.27/0.27	Starting Executor!
0.76/0.41	04:48 INFO : 749 variables remaining out of 750
0.76/0.41	04:48 INFO : 12740 literals remaining out of 12780

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-3312909-1304179487/watcher-3312909-1304179487 -o /tmp/evaluation-result-3312909-1304179487/solver-3312909-1304179487 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312909-1304179487.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.27 8.11 8.02 5/198 6800
/proc/meminfo: memFree=30380000/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/6800/stat : 6800 (java) R 6798 6800 6256 0 -1 4202496 902 0 0 0 0 0 0 0 25 0 1 0 529546674 23580672 388 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228239386389 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6800/statm: 5757 400 310 9 0 124 0

[startup+0.0166099 s]
/proc/loadavg: 8.27 8.11 8.02 5/198 6800
/proc/meminfo: memFree=30380000/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=15591648 CPUtime=0 cores=1,3,5,7
/proc/6800/stat : 6800 (java) S 6798 6800 6256 0 -1 4202496 2546 0 1 0 0 0 0 0 25 0 10 0 529546674 15965847552 1987 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/6800/statm: 3897912 1994 1131 9 0 3888660 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15591648

[startup+0.103316 s]
/proc/loadavg: 8.27 8.11 8.02 5/198 6800
/proc/meminfo: memFree=30380000/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=15675640 CPUtime=0.1 cores=1,3,5,7
/proc/6800/stat : 6800 (java) S 6798 6800 6256 0 -1 4202496 5581 0 1 0 9 1 0 0 25 0 18 0 529546674 16051855360 4986 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6800/statm: 3918910 4986 2116 9 0 3909629 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15675640

[startup+0.300564 s]
/proc/loadavg: 8.27 8.11 8.02 5/198 6800
/proc/meminfo: memFree=30380000/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=15683360 CPUtime=0.51 cores=1,3,5,7
/proc/6800/stat : 6800 (java) S 6798 6800 6256 0 -1 4202496 11771 0 1 0 49 2 0 0 25 0 22 0 529546674 16059760640 10020 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6800/statm: 3920840 10020 2213 9 0 3911559 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15683360

[startup+0.703456 s]
/proc/loadavg: 8.27 8.11 8.02 5/198 6800
/proc/meminfo: memFree=30380000/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=15704988 CPUtime=1.8 cores=1,3,5,7
/proc/6800/stat : 6800 (java) S 6798 6800 6256 0 -1 4202496 30490 0 1 0 175 5 0 0 25 0 22 0 529546674 16081907712 24742 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6800/statm: 3926247 24746 2252 9 0 3916966 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 15704988

[startup+1.50132 s]
/proc/loadavg: 8.27 8.11 8.02 12/220 6822
/proc/meminfo: memFree=30236552/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=15702064 CPUtime=4.98 cores=1,3,5,7
/proc/6800/stat : 6800 (java) S 6798 6800 6256 0 -1 4202496 58262 0 1 0 490 8 0 0 25 0 22 0 529546674 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6800/statm: 3925516 49570 2273 9 0 3916235 0
[pid=6800/tid=6802] ppid=6798 vsize=15702064 CPUtime=0.39 cores=1,3,5,7
/proc/6800/task/6802/stat : 6802 (java) S 6798 6800 6256 0 -1 4202560 7153 0 1 0 38 1 0 0 18 0 22 0 529546675 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6803] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6803/stat : 6803 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 529546675 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6804] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6804/stat : 6804 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 529546675 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6805] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6805/stat : 6805 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 529546675 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6806] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6806/stat : 6806 (java) S 6798 6800 6256 0 -1 4202560 240 0 0 0 0 0 0 0 18 0 22 0 529546675 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6807] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6807/stat : 6807 (java) S 6798 6800 6256 0 -1 4202560 791 0 0 0 0 0 0 0 18 0 22 0 529546675 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6808] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6808/stat : 6808 (java) S 6798 6800 6256 0 -1 4202560 469 0 0 0 0 0 0 0 18 0 22 0 529546675 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6809] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6809/stat : 6809 (java) S 6798 6800 6256 0 -1 4202560 973 0 0 0 0 0 0 0 18 0 22 0 529546675 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6810] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6810/stat : 6810 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 529546675 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6811] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6811/stat : 6811 (java) S 6798 6800 6256 0 -1 4202560 11 0 0 0 0 0 0 0 17 0 22 0 529546676 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 0 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6812] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6812/stat : 6812 (java) S 6798 6800 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529546677 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6813] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6813/stat : 6813 (java) S 6798 6800 6256 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529546677 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6814] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6814/stat : 6814 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256172465 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6815] ppid=6798 vsize=15702064 CPUtime=1.31 cores=1,3,5,7
/proc/6800/task/6815/stat : 6815 (java) R 6798 6800 6256 0 -1 4202560 13486 0 0 0 130 1 0 0 18 0 22 0 529546679 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 47711692528868 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6800/tid=6816] ppid=6798 vsize=15702064 CPUtime=0.42 cores=1,3,5,7
/proc/6800/task/6816/stat : 6816 (java) R 6798 6800 6256 0 -1 4202560 5799 0 0 0 41 1 0 0 25 0 22 0 529546679 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 47711692348865 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6800/tid=6817] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6817/stat : 6817 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6818] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6818/stat : 6818 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529546679 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6819] ppid=6798 vsize=15702064 CPUtime=0.85 cores=1,3,5,7
/proc/6800/task/6819/stat : 6819 (java) R 6798 6800 6256 0 -1 4202560 7761 0 0 0 84 1 0 0 18 0 22 0 529546701 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505844096 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6800/tid=6820] ppid=6798 vsize=15702064 CPUtime=0.89 cores=1,3,5,7
/proc/6800/task/6820/stat : 6820 (java) R 6798 6800 6256 0 -1 4202560 9226 0 0 0 89 0 0 0 16 0 22 0 529546701 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505815354 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6800/tid=6821] ppid=6798 vsize=15702064 CPUtime=0.83 cores=1,3,5,7
/proc/6800/task/6821/stat : 6821 (java) R 6798 6800 6256 0 -1 4202560 8768 0 0 0 83 0 0 0 16 0 22 0 529546701 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505731786 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6800/tid=6822] ppid=6798 vsize=15702064 CPUtime=0.2 cores=1,3,5,7
/proc/6800/task/6822/stat : 6822 (java) R 6798 6800 6256 0 -1 4202560 2195 0 0 0 20 0 0 0 18 0 22 0 529546701 16078913536 49570 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 47711693677463 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 15702064

[startup+3.10104 s]
/proc/loadavg: 8.49 8.16 8.04 10/220 6822
/proc/meminfo: memFree=30165624/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=15702064 CPUtime=11.34 cores=1,3,5,7
/proc/6800/stat : 6800 (java) S 6798 6800 6256 0 -1 4202496 99005 0 1 0 1121 13 0 0 25 0 22 0 529546674 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6800/statm: 3925516 90293 2284 9 0 3916235 0
[pid=6800/tid=6802] ppid=6798 vsize=15702064 CPUtime=0.39 cores=1,3,5,7
/proc/6800/task/6802/stat : 6802 (java) S 6798 6800 6256 0 -1 4202560 7153 0 1 0 38 1 0 0 18 0 22 0 529546675 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6803] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6803/stat : 6803 (java) S 6798 6800 6256 0 -1 4202560 2571 0 0 0 0 0 0 0 15 0 22 0 529546675 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6804] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6804/stat : 6804 (java) S 6798 6800 6256 0 -1 4202560 1832 0 0 0 0 0 0 0 16 0 22 0 529546675 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6805] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6805/stat : 6805 (java) S 6798 6800 6256 0 -1 4202560 1118 0 0 0 0 0 0 0 16 0 22 0 529546675 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6806] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6806/stat : 6806 (java) S 6798 6800 6256 0 -1 4202560 738 0 0 0 0 0 0 0 16 0 22 0 529546675 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6807] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6807/stat : 6807 (java) S 6798 6800 6256 0 -1 4202560 2831 0 0 0 0 0 0 0 16 0 22 0 529546675 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6808] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6808/stat : 6808 (java) S 6798 6800 6256 0 -1 4202560 1864 0 0 0 0 0 0 0 15 0 22 0 529546675 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6809] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6809/stat : 6809 (java) S 6798 6800 6256 0 -1 4202560 3999 0 0 0 0 0 0 0 16 0 22 0 529546675 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6810] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6810/stat : 6810 (java) S 6798 6800 6256 0 -1 4202560 1107 0 0 0 0 0 0 0 15 0 22 0 529546675 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6811] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6811/stat : 6811 (java) S 6798 6800 6256 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 22 0 529546676 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 0 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6812] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6812/stat : 6812 (java) S 6798 6800 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529546677 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6813] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6813/stat : 6813 (java) S 6798 6800 6256 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529546677 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6814] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6814/stat : 6814 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256172465 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6815] ppid=6798 vsize=15702064 CPUtime=1.5 cores=1,3,5,7
/proc/6800/task/6815/stat : 6815 (java) S 6798 6800 6256 0 -1 4202560 13518 0 0 0 149 1 0 0 15 0 22 0 529546679 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6816] ppid=6798 vsize=15702064 CPUtime=0.43 cores=1,3,5,7
/proc/6800/task/6816/stat : 6816 (java) R 6798 6800 6256 0 -1 4202560 5801 0 0 0 42 1 0 0 25 0 22 0 529546679 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6800/tid=6817] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6817/stat : 6817 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6818] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6818/stat : 6818 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529546679 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6819] ppid=6798 vsize=15702064 CPUtime=2.3 cores=1,3,5,7
/proc/6800/task/6819/stat : 6819 (java) R 6798 6800 6256 0 -1 4202560 14350 0 0 0 229 1 0 0 19 0 22 0 529546701 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505722007 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6800/tid=6820] ppid=6798 vsize=15702064 CPUtime=2.46 cores=1,3,5,7
/proc/6800/task/6820/stat : 6820 (java) R 6798 6800 6256 0 -1 4202560 16164 0 0 0 245 1 0 0 18 0 22 0 529546701 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505179206 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6800/tid=6821] ppid=6798 vsize=15702064 CPUtime=2.41 cores=1,3,5,7
/proc/6800/task/6821/stat : 6821 (java) R 6798 6800 6256 0 -1 4202560 16159 0 0 0 239 2 0 0 18 0 22 0 529546701 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 47711693405862 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6800/tid=6822] ppid=6798 vsize=15702064 CPUtime=1.71 cores=1,3,5,7
/proc/6800/task/6822/stat : 6822 (java) R 6798 6800 6256 0 -1 4202560 8219 0 0 0 170 1 0 0 20 0 22 0 529546701 16078913536 90293 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505713483 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.34
Current children cumulated vsize (KiB) 15702064

[startup+6.30148 s]
/proc/loadavg: 8.49 8.16 8.04 9/220 6822
/proc/meminfo: memFree=29777752/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=15702064 CPUtime=24.1 cores=1,3,5,7
/proc/6800/stat : 6800 (java) S 6798 6800 6256 0 -1 4202496 166024 0 1 0 2388 22 0 0 25 0 22 0 529546674 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6800/statm: 3925516 153681 2284 9 0 3916235 0
[pid=6800/tid=6802] ppid=6798 vsize=15702064 CPUtime=0.39 cores=1,3,5,7
/proc/6800/task/6802/stat : 6802 (java) S 6798 6800 6256 0 -1 4202560 7153 0 1 0 38 1 0 0 18 0 22 0 529546675 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6803] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6803/stat : 6803 (java) S 6798 6800 6256 0 -1 4202560 3530 0 0 0 0 0 0 0 16 0 22 0 529546675 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6804] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6804/stat : 6804 (java) S 6798 6800 6256 0 -1 4202560 3638 0 0 0 0 0 0 0 15 0 22 0 529546675 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6805] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6805/stat : 6805 (java) S 6798 6800 6256 0 -1 4202560 1877 0 0 0 0 0 0 0 15 0 22 0 529546675 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6806] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6806/stat : 6806 (java) S 6798 6800 6256 0 -1 4202560 1038 0 0 0 0 0 0 0 15 0 22 0 529546675 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6807] ppid=6798 vsize=15702064 CPUtime=0.01 cores=1,3,5,7
/proc/6800/task/6807/stat : 6807 (java) S 6798 6800 6256 0 -1 4202560 4281 0 0 0 1 0 0 0 15 0 22 0 529546675 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6808] ppid=6798 vsize=15702064 CPUtime=0.01 cores=1,3,5,7
/proc/6800/task/6808/stat : 6808 (java) S 6798 6800 6256 0 -1 4202560 2957 0 0 0 1 0 0 0 15 0 22 0 529546675 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6809] ppid=6798 vsize=15702064 CPUtime=0.01 cores=1,3,5,7
/proc/6800/task/6809/stat : 6809 (java) S 6798 6800 6256 0 -1 4202560 5461 0 0 0 1 0 0 0 15 0 22 0 529546675 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6810] ppid=6798 vsize=15702064 CPUtime=0.01 cores=1,3,5,7
/proc/6800/task/6810/stat : 6810 (java) S 6798 6800 6256 0 -1 4202560 2943 0 0 0 1 0 0 0 15 0 22 0 529546675 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6811] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6811/stat : 6811 (java) S 6798 6800 6256 0 -1 4202560 446 0 0 0 0 0 0 0 16 0 22 0 529546676 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 0 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6812] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6812/stat : 6812 (java) S 6798 6800 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529546677 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6813] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6813/stat : 6813 (java) S 6798 6800 6256 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529546677 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6814] ppid=6798 vsize=15702064 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6814/stat : 6814 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256172465 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6815] ppid=6798 vsize=15702064 CPUtime=1.57 cores=1,3,5,7
/proc/6800/task/6815/stat : 6815 (java) S 6798 6800 6256 0 -1 4202560 13524 0 0 0 156 1 0 0 15 0 22 0 529546679 16078913536 153681 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0

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

[pid=6800/tid=6820] ppid=6798 vsize=15767600 CPUtime=1048.84 cores=1,3,5,7
/proc/6800/task/6820/stat : 6820 (java) R 6798 6800 6256 0 -1 4202560 378524 0 0 0 104830 54 0 0 25 0 22 0 529546701 16146022400 108221 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 18446744073699066054 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6800/tid=6821] ppid=6798 vsize=15767600 CPUtime=1049.29 cores=1,3,5,7
/proc/6800/task/6821/stat : 6821 (java) R 6798 6800 6256 0 -1 4202560 381435 0 0 0 104874 55 0 0 25 0 22 0 529546701 16146022400 108221 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912506060807 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6800/tid=6822] ppid=6798 vsize=15767600 CPUtime=1047.85 cores=1,3,5,7
/proc/6800/task/6822/stat : 6822 (java) R 6798 6800 6256 0 -1 4202560 360879 0 0 0 104734 51 0 0 25 0 22 0 529546701 16146022400 108221 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505713483 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4225.98
Current children cumulated vsize (KiB) 15767600

[startup+1122.3 s]
/proc/loadavg: 4.39 6.56 7.48 5/193 6872
/proc/meminfo: memFree=30379628/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=15767600 CPUtime=4464.69 cores=1,3,5,7
/proc/6800/stat : 6800 (java) S 6798 6800 6256 0 -1 4202496 3071252 0 1 0 445904 565 0 0 25 0 22 0 529546674 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6800/statm: 3941900 122034 2298 9 0 3932619 0
[pid=6800/tid=6802] ppid=6798 vsize=15767600 CPUtime=0.39 cores=1,3,5,7
/proc/6800/task/6802/stat : 6802 (java) S 6798 6800 6256 0 -1 4202560 7153 0 1 0 38 1 0 0 18 0 22 0 529546675 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6803] ppid=6798 vsize=15767600 CPUtime=3.54 cores=1,3,5,7
/proc/6800/task/6803/stat : 6803 (java) S 6798 6800 6256 0 -1 4202560 173664 0 0 0 324 30 0 0 16 0 22 0 529546675 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6804] ppid=6798 vsize=15767600 CPUtime=3.49 cores=1,3,5,7
/proc/6800/task/6804/stat : 6804 (java) S 6798 6800 6256 0 -1 4202560 178775 0 0 0 319 30 0 0 16 0 22 0 529546675 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6805] ppid=6798 vsize=15767600 CPUtime=3.51 cores=1,3,5,7
/proc/6800/task/6805/stat : 6805 (java) S 6798 6800 6256 0 -1 4202560 171179 0 0 0 321 30 0 0 15 0 22 0 529546675 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6806] ppid=6798 vsize=15767600 CPUtime=3.53 cores=1,3,5,7
/proc/6800/task/6806/stat : 6806 (java) S 6798 6800 6256 0 -1 4202560 182251 0 0 0 322 31 0 0 16 0 22 0 529546675 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6807] ppid=6798 vsize=15767600 CPUtime=3.6 cores=1,3,5,7
/proc/6800/task/6807/stat : 6807 (java) S 6798 6800 6256 0 -1 4202560 192503 0 0 0 328 32 0 0 15 0 22 0 529546675 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6808] ppid=6798 vsize=15767600 CPUtime=3.56 cores=1,3,5,7
/proc/6800/task/6808/stat : 6808 (java) S 6798 6800 6256 0 -1 4202560 179832 0 0 0 326 30 0 0 15 0 22 0 529546675 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6809] ppid=6798 vsize=15767600 CPUtime=3.56 cores=1,3,5,7
/proc/6800/task/6809/stat : 6809 (java) S 6798 6800 6256 0 -1 4202560 176203 0 0 0 327 29 0 0 16 0 22 0 529546675 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6810] ppid=6798 vsize=15767600 CPUtime=3.49 cores=1,3,5,7
/proc/6800/task/6810/stat : 6810 (java) S 6798 6800 6256 0 -1 4202560 188084 0 0 0 315 34 0 0 15 0 22 0 529546675 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6811] ppid=6798 vsize=15767600 CPUtime=2.01 cores=1,3,5,7
/proc/6800/task/6811/stat : 6811 (java) S 6798 6800 6256 0 -1 4202560 7957 0 0 0 119 82 0 0 16 0 22 0 529546676 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 0 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6812] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6812/stat : 6812 (java) S 6798 6800 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529546677 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6813] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6813/stat : 6813 (java) S 6798 6800 6256 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529546677 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6814] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6814/stat : 6814 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256172465 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6815] ppid=6798 vsize=15767600 CPUtime=1.67 cores=1,3,5,7
/proc/6800/task/6815/stat : 6815 (java) S 6798 6800 6256 0 -1 4202560 13538 0 0 0 166 1 0 0 15 0 22 0 529546679 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6816] ppid=6798 vsize=15767600 CPUtime=0.58 cores=1,3,5,7
/proc/6800/task/6816/stat : 6816 (java) S 6798 6800 6256 0 -1 4202560 5950 0 0 0 57 1 0 0 15 0 22 0 529546679 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6817] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6817/stat : 6817 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6818] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6818/stat : 6818 (java) S 6798 6800 6256 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 529546679 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6819] ppid=6798 vsize=15767600 CPUtime=1107.74 cores=1,3,5,7
/proc/6800/task/6819/stat : 6819 (java) R 6798 6800 6256 0 -1 4202560 399261 0 0 0 110719 55 0 0 25 0 22 0 529546701 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505630624 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6800/tid=6820] ppid=6798 vsize=15767600 CPUtime=1108.22 cores=1,3,5,7
/proc/6800/task/6820/stat : 6820 (java) R 6798 6800 6256 0 -1 4202560 402767 0 0 0 110764 58 0 0 25 0 22 0 529546701 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505815354 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6800/tid=6821] ppid=6798 vsize=15767600 CPUtime=1108.53 cores=1,3,5,7
/proc/6800/task/6821/stat : 6821 (java) R 6798 6800 6256 0 -1 4202560 405819 0 0 0 110794 59 0 0 25 0 22 0 529546701 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505815293 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6800/tid=6822] ppid=6798 vsize=15767600 CPUtime=1107.13 cores=1,3,5,7
/proc/6800/task/6822/stat : 6822 (java) R 6798 6800 6256 0 -1 4202560 384870 0 0 0 110658 55 0 0 25 0 22 0 529546701 16146022400 122034 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912506108082 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4464.69
Current children cumulated vsize (KiB) 15767600

[startup+1182.3 s]
/proc/loadavg: 4.19 6.14 7.28 5/193 6873
/proc/meminfo: memFree=30358768/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=15767600 CPUtime=4703.41 cores=1,3,5,7
/proc/6800/stat : 6800 (java) S 6798 6800 6256 0 -1 4202496 3236788 0 1 0 469743 598 0 0 25 0 22 0 529546674 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6800/statm: 3941900 117611 2298 9 0 3932619 0
[pid=6800/tid=6802] ppid=6798 vsize=15767600 CPUtime=0.39 cores=1,3,5,7
/proc/6800/task/6802/stat : 6802 (java) S 6798 6800 6256 0 -1 4202560 7153 0 1 0 38 1 0 0 18 0 22 0 529546675 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6803] ppid=6798 vsize=15767600 CPUtime=3.73 cores=1,3,5,7
/proc/6800/task/6803/stat : 6803 (java) S 6798 6800 6256 0 -1 4202560 182105 0 0 0 341 32 0 0 15 0 22 0 529546675 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6804] ppid=6798 vsize=15767600 CPUtime=3.65 cores=1,3,5,7
/proc/6800/task/6804/stat : 6804 (java) S 6798 6800 6256 0 -1 4202560 187977 0 0 0 334 31 0 0 15 0 22 0 529546675 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6805] ppid=6798 vsize=15767600 CPUtime=3.69 cores=1,3,5,7
/proc/6800/task/6805/stat : 6805 (java) S 6798 6800 6256 0 -1 4202560 180904 0 0 0 337 32 0 0 15 0 22 0 529546675 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6806] ppid=6798 vsize=15767600 CPUtime=3.72 cores=1,3,5,7
/proc/6800/task/6806/stat : 6806 (java) S 6798 6800 6256 0 -1 4202560 192451 0 0 0 340 32 0 0 15 0 22 0 529546675 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6807] ppid=6798 vsize=15767600 CPUtime=3.79 cores=1,3,5,7
/proc/6800/task/6807/stat : 6807 (java) S 6798 6800 6256 0 -1 4202560 200036 0 0 0 345 34 0 0 15 0 22 0 529546675 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6808] ppid=6798 vsize=15767600 CPUtime=3.76 cores=1,3,5,7
/proc/6800/task/6808/stat : 6808 (java) S 6798 6800 6256 0 -1 4202560 188976 0 0 0 345 31 0 0 15 0 22 0 529546675 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6809] ppid=6798 vsize=15767600 CPUtime=3.75 cores=1,3,5,7
/proc/6800/task/6809/stat : 6809 (java) S 6798 6800 6256 0 -1 4202560 184955 0 0 0 344 31 0 0 16 0 22 0 529546675 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6810] ppid=6798 vsize=15767600 CPUtime=3.69 cores=1,3,5,7
/proc/6800/task/6810/stat : 6810 (java) S 6798 6800 6256 0 -1 4202560 196996 0 0 0 333 36 0 0 15 0 22 0 529546675 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6811] ppid=6798 vsize=15767600 CPUtime=2.12 cores=1,3,5,7
/proc/6800/task/6811/stat : 6811 (java) S 6798 6800 6256 0 -1 4202560 8394 0 0 0 126 86 0 0 15 0 22 0 529546676 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 0 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6812] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6812/stat : 6812 (java) S 6798 6800 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529546677 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6813] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6813/stat : 6813 (java) S 6798 6800 6256 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529546677 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6814] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6814/stat : 6814 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256172465 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6815] ppid=6798 vsize=15767600 CPUtime=1.67 cores=1,3,5,7
/proc/6800/task/6815/stat : 6815 (java) S 6798 6800 6256 0 -1 4202560 13538 0 0 0 166 1 0 0 15 0 22 0 529546679 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6816] ppid=6798 vsize=15767600 CPUtime=0.58 cores=1,3,5,7
/proc/6800/task/6816/stat : 6816 (java) S 6798 6800 6256 0 -1 4202560 5950 0 0 0 57 1 0 0 15 0 22 0 529546679 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6817] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6817/stat : 6817 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6818] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6818/stat : 6818 (java) S 6798 6800 6256 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 529546679 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6819] ppid=6798 vsize=15767600 CPUtime=1167.09 cores=1,3,5,7
/proc/6800/task/6819/stat : 6819 (java) R 6798 6800 6256 0 -1 4202560 422896 0 0 0 116650 59 0 0 25 0 22 0 529546701 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505815359 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6800/tid=6820] ppid=6798 vsize=15767600 CPUtime=1167.37 cores=1,3,5,7
/proc/6800/task/6820/stat : 6820 (java) R 6798 6800 6256 0 -1 4202560 424367 0 0 0 116675 62 0 0 25 0 22 0 529546701 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505815486 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6800/tid=6821] ppid=6798 vsize=15767600 CPUtime=1167.75 cores=1,3,5,7
/proc/6800/task/6821/stat : 6821 (java) R 6798 6800 6256 0 -1 4202560 429818 0 0 0 116713 62 0 0 25 0 22 0 529546701 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505721866 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6800/tid=6822] ppid=6798 vsize=15767600 CPUtime=1166.47 cores=1,3,5,7
/proc/6800/task/6822/stat : 6822 (java) R 6798 6800 6256 0 -1 4202560 408824 0 0 0 116589 58 0 0 25 0 22 0 529546701 16146022400 117611 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505523244 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4703.41
Current children cumulated vsize (KiB) 15767600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.6 s]
/proc/loadavg: 4.05 5.92 7.17 5/193 6874
/proc/meminfo: memFree=30386032/32951124 swapFree=67111364/67111528
[pid=6800] ppid=6798 vsize=15767600 CPUtime=4800.21 cores=1,3,5,7
/proc/6800/stat : 6800 (java) S 6798 6800 6256 0 -1 4202496 3294923 0 1 0 479411 610 0 0 25 0 22 0 529546674 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6800/statm: 3941900 110762 2298 9 0 3932619 0
[pid=6800/tid=6802] ppid=6798 vsize=15767600 CPUtime=0.39 cores=1,3,5,7
/proc/6800/task/6802/stat : 6802 (java) S 6798 6800 6256 0 -1 4202560 7153 0 1 0 38 1 0 0 18 0 22 0 529546675 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6803] ppid=6798 vsize=15767600 CPUtime=3.82 cores=1,3,5,7
/proc/6800/task/6803/stat : 6803 (java) S 6798 6800 6256 0 -1 4202560 187377 0 0 0 349 33 0 0 15 0 22 0 529546675 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6804] ppid=6798 vsize=15767600 CPUtime=3.75 cores=1,3,5,7
/proc/6800/task/6804/stat : 6804 (java) S 6798 6800 6256 0 -1 4202560 192614 0 0 0 343 32 0 0 16 0 22 0 529546675 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6805] ppid=6798 vsize=15767600 CPUtime=3.77 cores=1,3,5,7
/proc/6800/task/6805/stat : 6805 (java) S 6798 6800 6256 0 -1 4202560 184689 0 0 0 344 33 0 0 16 0 22 0 529546675 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6806] ppid=6798 vsize=15767600 CPUtime=3.8 cores=1,3,5,7
/proc/6800/task/6806/stat : 6806 (java) S 6798 6800 6256 0 -1 4202560 195481 0 0 0 347 33 0 0 15 0 22 0 529546675 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6807] ppid=6798 vsize=15767600 CPUtime=3.88 cores=1,3,5,7
/proc/6800/task/6807/stat : 6807 (java) S 6798 6800 6256 0 -1 4202560 205864 0 0 0 352 36 0 0 16 0 22 0 529546675 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6808] ppid=6798 vsize=15767600 CPUtime=3.86 cores=1,3,5,7
/proc/6800/task/6808/stat : 6808 (java) S 6798 6800 6256 0 -1 4202560 194307 0 0 0 354 32 0 0 15 0 22 0 529546675 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6809] ppid=6798 vsize=15767600 CPUtime=3.83 cores=1,3,5,7
/proc/6800/task/6809/stat : 6809 (java) S 6798 6800 6256 0 -1 4202560 188888 0 0 0 351 32 0 0 15 0 22 0 529546675 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6810] ppid=6798 vsize=15767600 CPUtime=3.78 cores=1,3,5,7
/proc/6800/task/6810/stat : 6810 (java) S 6798 6800 6256 0 -1 4202560 199965 0 0 0 341 37 0 0 16 0 22 0 529546675 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6811] ppid=6798 vsize=15767600 CPUtime=2.15 cores=1,3,5,7
/proc/6800/task/6811/stat : 6811 (java) S 6798 6800 6256 0 -1 4202560 8533 0 0 0 127 88 0 0 15 0 22 0 529546676 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 0 0 16800975 18446604471158815744 0 0 -1 5 0 0 0
[pid=6800/tid=6812] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6812/stat : 6812 (java) S 6798 6800 6256 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529546677 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6813] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6813/stat : 6813 (java) S 6798 6800 6256 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529546677 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6814] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6814/stat : 6814 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256172465 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6815] ppid=6798 vsize=15767600 CPUtime=1.67 cores=1,3,5,7
/proc/6800/task/6815/stat : 6815 (java) S 6798 6800 6256 0 -1 4202560 13538 0 0 0 166 1 0 0 15 0 22 0 529546679 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 3 0 0 0
[pid=6800/tid=6816] ppid=6798 vsize=15767600 CPUtime=0.58 cores=1,3,5,7
/proc/6800/task/6816/stat : 6816 (java) S 6798 6800 6256 0 -1 4202560 5950 0 0 0 57 1 0 0 15 0 22 0 529546679 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6817] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6817/stat : 6817 (java) S 6798 6800 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529546679 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256164761 0 4 0 16800975 18446604471158815744 0 0 -1 7 0 0 0
[pid=6800/tid=6818] ppid=6798 vsize=15767600 CPUtime=0 cores=1,3,5,7
/proc/6800/task/6818/stat : 6818 (java) S 6798 6800 6256 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 529546679 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 228256165376 0 4 0 16800975 18446604471158815744 0 0 -1 1 0 0 0
[pid=6800/tid=6819] ppid=6798 vsize=15767600 CPUtime=1191.15 cores=1,3,5,7
/proc/6800/task/6819/stat : 6819 (java) R 6798 6800 6256 0 -1 4202560 428263 0 0 0 119056 59 0 0 25 0 22 0 529546701 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912506060909 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=6800/tid=6820] ppid=6798 vsize=15767600 CPUtime=1191.42 cores=1,3,5,7
/proc/6800/task/6820/stat : 6820 (java) R 6798 6800 6256 0 -1 4202560 430431 0 0 0 119079 63 0 0 25 0 22 0 529546701 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912506060766 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=6800/tid=6821] ppid=6798 vsize=15767600 CPUtime=1191.81 cores=1,3,5,7
/proc/6800/task/6821/stat : 6821 (java) R 6798 6800 6256 0 -1 4202560 435331 0 0 0 119118 63 0 0 25 0 22 0 529546701 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505815501 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=6800/tid=6822] ppid=6798 vsize=15767600 CPUtime=1190.41 cores=1,3,5,7
/proc/6800/task/6822/stat : 6822 (java) R 6798 6800 6256 0 -1 4202560 415089 0 0 0 118982 59 0 0 25 0 22 0 529546701 16146022400 110762 33554432000 1073741824 1073778376 140733716545744 18446744073709551615 46912505815650 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 15767600

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

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

Child status: 143
Real time (s): 1206.64
CPU time (s): 4800.26
CPU user time (s): 4794.14
CPU system time (s): 6.12207
CPU usage (%): 397.82
Max. virtual memory (cumulated for all children) (KiB): 15767600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.14
system time used= 6.12207
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3294948
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= 196204
involuntary context switches= 123705

runsolver used 1.9777 second user time and 4.66429 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-30 18:04:47
IDJOB=3312909
IDBENCH=83094
IDSOLVER=1699
FILE ID=node136/3312909-1304179487
RUNJOBID= node136-1304176750-6275
PBS_JOBID= 13172430
Free space on /tmp= 73080 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312909-1304179487/watcher-3312909-1304179487 -o /tmp/evaluation-result-3312909-1304179487/solver-3312909-1304179487 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312909-1304179487.cnf

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

MD5SUM BENCH= 0fc04a37bb65455aedf3737bd6551a47
RANDOM SEED=2073173043

node136.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	: 5332.75
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.75
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.76
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.75
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.83
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.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.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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30380280 kB
Buffers:        627444 kB
Cached:        1013152 kB
SwapCached:          0 kB
Active:         628844 kB
Inactive:      1515840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30380280 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            2948 kB
Writeback:           0 kB
AnonPages:      503932 kB
Mapped:          23448 kB
Slab:           360972 kB
PageTables:       6036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   845480 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= 73080 MiB
End job on node136 at 2011-04-30 18:24:56