Trace number 3312532

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.12 1206.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf
MD5SUMdedbbce6fb26e857922f18b3ce672c14
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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	30:05 INFO : Reading from input HOME/instance-3312532-1304119805.cnf
0.25/0.26	Executor set job limit to 1000000
0.25/0.26	Executor set job limit to 1000000
0.25/0.26	Executor set job limit to 1000000
0.25/0.27	Executor set job limit to 1000000
0.25/0.27	Starting Executor!
0.25/0.27	Starting Executor!
0.25/0.27	Starting Executor!
0.25/0.27	Starting Executor!
0.75/0.40	30:05 INFO : 698 variables remaining out of 700
0.75/0.41	30:05 INFO : 11860 literals remaining out of 11928

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-3312532-1304119805/watcher-3312532-1304119805 -o /tmp/evaluation-result-3312532-1304119805/solver-3312532-1304119805 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312532-1304119805.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: 7.19 7.89 7.95 2/176 7726
/proc/meminfo: memFree=30238928/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=2464 CPUtime=0 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4194304 540 0 0 0 0 0 0 0 22 0 1 0 602211169 2523136 44 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260900470407 0 2147483391 4096 0 18446744071699207358 0 0 17 5 0 0 0
/proc/7726/statm: 616 44 35 9 0 27 0

[startup+0.047545 s]
/proc/loadavg: 7.19 7.89 7.95 2/176 7726
/proc/meminfo: memFree=30238928/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4202496 3698 0 1 0 2 0 0 0 22 0 13 0 602211169 15978749952 3137 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/7726/statm: 3901062 3137 1679 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.100535 s]
/proc/loadavg: 7.19 7.89 7.95 2/176 7726
/proc/meminfo: memFree=30238928/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=15741584 CPUtime=0.1 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4202496 5498 0 1 0 9 1 0 0 22 0 18 0 602211169 16119382016 4888 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7726/statm: 3935396 4889 2116 9 0 3926115 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741584

[startup+0.3005 s]
/proc/loadavg: 7.19 7.89 7.95 2/176 7726
/proc/meminfo: memFree=30238928/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=15751108 CPUtime=0.49 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4202496 11549 0 1 0 47 2 0 0 22 0 22 0 602211169 16129134592 10012 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7726/statm: 3937777 10014 2213 9 0 3928496 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 15751108

[startup+0.700427 s]
/proc/loadavg: 7.19 7.89 7.95 2/176 7726
/proc/meminfo: memFree=30238928/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=15764944 CPUtime=1.77 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4202496 29689 0 1 0 172 5 0 0 22 0 22 0 602211169 16143302656 23824 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7726/statm: 3941236 23824 2253 9 0 3931955 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 15764944

[startup+1.50128 s]
/proc/loadavg: 7.19 7.89 7.95 13/220 7770
/proc/meminfo: memFree=29945380/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=15762332 CPUtime=4.94 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4202496 61418 0 1 0 486 8 0 0 22 0 22 0 602211169 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7726/statm: 3940583 53576 2273 9 0 3931302 0
[pid=7726/tid=7730] ppid=7722 vsize=15762332 CPUtime=0.37 cores=1,3,5,7
/proc/7726/task/7730/stat : 7730 (java) S 7722 7726 6855 0 -1 4202560 7029 0 1 0 36 1 0 0 25 0 22 0 602211170 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7733] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7733/stat : 7733 (java) S 7722 7726 6855 0 -1 4202560 1128 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7735] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7735/stat : 7735 (java) S 7722 7726 6855 0 -1 4202560 1204 0 0 0 0 0 0 0 16 0 22 0 602211171 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7737] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7737/stat : 7737 (java) S 7722 7726 6855 0 -1 4202560 84 0 0 0 0 0 0 0 16 0 22 0 602211171 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7739] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7739/stat : 7739 (java) S 7722 7726 6855 0 -1 4202560 796 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7742] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7742/stat : 7742 (java) S 7722 7726 6855 0 -1 4202560 784 0 0 0 0 0 0 0 16 0 22 0 602211171 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7743] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7743/stat : 7743 (java) S 7722 7726 6855 0 -1 4202560 385 0 0 0 0 0 0 0 16 0 22 0 602211171 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7745] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7745/stat : 7745 (java) S 7722 7726 6855 0 -1 4202560 807 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7746] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7746/stat : 7746 (java) S 7722 7726 6855 0 -1 4202560 1157 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7748] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7748/stat : 7748 (java) S 7722 7726 6855 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 602211172 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 0 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7750] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7750/stat : 7750 (java) S 7722 7726 6855 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7752] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7752/stat : 7752 (java) S 7722 7726 6855 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7754] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7754/stat : 7754 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917217713 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7756] ppid=7722 vsize=15762332 CPUtime=0.62 cores=1,3,5,7
/proc/7726/task/7756/stat : 7756 (java) S 7722 7726 6855 0 -1 4202560 5411 0 0 0 62 0 0 0 25 0 22 0 602211175 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7757] ppid=7722 vsize=15762332 CPUtime=0.98 cores=1,3,5,7
/proc/7726/task/7757/stat : 7757 (java) S 7722 7726 6855 0 -1 4202560 12418 0 0 0 97 1 0 0 24 0 22 0 602211175 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7758] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7758/stat : 7758 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7759] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7759/stat : 7759 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 602211175 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7763] ppid=7722 vsize=15762332 CPUtime=0.69 cores=1,3,5,7
/proc/7726/task/7763/stat : 7763 (java) R 7722 7726 6855 0 -1 4202560 7518 0 0 0 69 0 0 0 25 0 22 0 602211196 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505832308 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7726/tid=7764] ppid=7722 vsize=15762332 CPUtime=1 cores=1,3,5,7
/proc/7726/task/7764/stat : 7764 (java) R 7722 7726 6855 0 -1 4202560 9559 0 0 0 99 1 0 0 25 0 22 0 602211196 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505728249 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7726/tid=7765] ppid=7722 vsize=15762332 CPUtime=0.6 cores=1,3,5,7
/proc/7726/task/7765/stat : 7765 (java) R 7722 7726 6855 0 -1 4202560 4663 0 0 0 60 0 0 0 23 0 22 0 602211196 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505744270 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7726/tid=7766] ppid=7722 vsize=15762332 CPUtime=0.58 cores=1,3,5,7
/proc/7726/task/7766/stat : 7766 (java) R 7722 7726 6855 0 -1 4202560 7014 0 0 0 57 1 0 0 25 0 22 0 602211196 16140627968 53576 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505704514 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.94
Current children cumulated vsize (KiB) 15762332

[startup+3.10099 s]
/proc/loadavg: 7.33 7.91 7.96 11/220 7770
/proc/meminfo: memFree=29595716/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=15762332 CPUtime=11.31 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4202496 157970 0 1 0 1110 21 0 0 22 0 22 0 602211169 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7726/statm: 3940583 150044 2277 9 0 3931302 0
[pid=7726/tid=7730] ppid=7722 vsize=15762332 CPUtime=0.37 cores=1,3,5,7
/proc/7726/task/7730/stat : 7730 (java) S 7722 7726 6855 0 -1 4202560 7029 0 1 0 36 1 0 0 25 0 22 0 602211170 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7733] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7733/stat : 7733 (java) S 7722 7726 6855 0 -1 4202560 2149 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7735] ppid=7722 vsize=15762332 CPUtime=0.01 cores=1,3,5,7
/proc/7726/task/7735/stat : 7735 (java) S 7722 7726 6855 0 -1 4202560 3398 0 0 0 1 0 0 0 15 0 22 0 602211171 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7737] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7737/stat : 7737 (java) S 7722 7726 6855 0 -1 4202560 2640 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7739] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7739/stat : 7739 (java) S 7722 7726 6855 0 -1 4202560 2408 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7742] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7742/stat : 7742 (java) S 7722 7726 6855 0 -1 4202560 1873 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7743] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7743/stat : 7743 (java) S 7722 7726 6855 0 -1 4202560 3085 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7745] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7745/stat : 7745 (java) S 7722 7726 6855 0 -1 4202560 2299 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7746] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7746/stat : 7746 (java) S 7722 7726 6855 0 -1 4202560 2070 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7748] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7748/stat : 7748 (java) S 7722 7726 6855 0 -1 4202560 446 0 0 0 0 0 0 0 16 0 22 0 602211172 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 0 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7750] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7750/stat : 7750 (java) S 7722 7726 6855 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7752] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7752/stat : 7752 (java) S 7722 7726 6855 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7754] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7754/stat : 7754 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917217713 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7756] ppid=7722 vsize=15762332 CPUtime=0.62 cores=1,3,5,7
/proc/7726/task/7756/stat : 7756 (java) S 7722 7726 6855 0 -1 4202560 5411 0 0 0 62 0 0 0 18 0 22 0 602211175 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7757] ppid=7722 vsize=15762332 CPUtime=1.04 cores=1,3,5,7
/proc/7726/task/7757/stat : 7757 (java) S 7722 7726 6855 0 -1 4202560 12431 0 0 0 103 1 0 0 15 0 22 0 602211175 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7758] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7758/stat : 7758 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7759] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7759/stat : 7759 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 602211175 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7763] ppid=7722 vsize=15762332 CPUtime=2.22 cores=1,3,5,7
/proc/7726/task/7763/stat : 7763 (java) R 7722 7726 6855 0 -1 4202560 28389 0 0 0 220 2 0 0 25 0 22 0 602211196 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912506063004 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7726/tid=7764] ppid=7722 vsize=15762332 CPUtime=2.57 cores=1,3,5,7
/proc/7726/task/7764/stat : 7764 (java) R 7722 7726 6855 0 -1 4202560 30906 0 0 0 253 4 0 0 25 0 22 0 602211196 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505728157 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7726/tid=7765] ppid=7722 vsize=15762332 CPUtime=2.18 cores=1,3,5,7
/proc/7726/task/7765/stat : 7765 (java) R 7722 7726 6855 0 -1 4202560 24961 0 0 0 215 3 0 0 25 0 22 0 602211196 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505878853 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7726/tid=7766] ppid=7722 vsize=15762332 CPUtime=2.15 cores=1,3,5,7
/proc/7726/task/7766/stat : 7766 (java) R 7722 7726 6855 0 -1 4202560 27088 0 0 0 212 3 0 0 25 0 22 0 602211196 16140627968 150044 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 18446744073699065955 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.31
Current children cumulated vsize (KiB) 15762332

[startup+6.3014 s]
/proc/loadavg: 7.33 7.91 7.96 10/220 7770
/proc/meminfo: memFree=28544008/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=15762332 CPUtime=24.09 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4202496 284647 0 1 0 2374 35 0 0 22 0 22 0 602211169 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7726/statm: 3940583 275872 2277 9 0 3931302 0
[pid=7726/tid=7730] ppid=7722 vsize=15762332 CPUtime=0.37 cores=1,3,5,7
/proc/7726/task/7730/stat : 7730 (java) S 7722 7726 6855 0 -1 4202560 7029 0 1 0 36 1 0 0 25 0 22 0 602211170 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7733] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7733/stat : 7733 (java) S 7722 7726 6855 0 -1 4202560 2671 0 0 0 0 0 0 0 16 0 22 0 602211171 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7735] ppid=7722 vsize=15762332 CPUtime=0.01 cores=1,3,5,7
/proc/7726/task/7735/stat : 7735 (java) S 7722 7726 6855 0 -1 4202560 4052 0 0 0 1 0 0 0 15 0 22 0 602211171 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7737] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7737/stat : 7737 (java) S 7722 7726 6855 0 -1 4202560 3022 0 0 0 0 0 0 0 16 0 22 0 602211171 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7739] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7739/stat : 7739 (java) S 7722 7726 6855 0 -1 4202560 2946 0 0 0 0 0 0 0 16 0 22 0 602211171 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7742] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7742/stat : 7742 (java) S 7722 7726 6855 0 -1 4202560 1873 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7743] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7743/stat : 7743 (java) S 7722 7726 6855 0 -1 4202560 3297 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7745] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7745/stat : 7745 (java) S 7722 7726 6855 0 -1 4202560 2721 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7746] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7746/stat : 7746 (java) S 7722 7726 6855 0 -1 4202560 2342 0 0 0 0 0 0 0 15 0 22 0 602211171 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7748] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7748/stat : 7748 (java) S 7722 7726 6855 0 -1 4202560 447 0 0 0 0 0 0 0 15 0 22 0 602211172 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 0 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7750] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7750/stat : 7750 (java) S 7722 7726 6855 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7752] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7752/stat : 7752 (java) S 7722 7726 6855 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7754] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7754/stat : 7754 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917217713 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7756] ppid=7722 vsize=15762332 CPUtime=0.7 cores=1,3,5,7
/proc/7726/task/7756/stat : 7756 (java) S 7722 7726 6855 0 -1 4202560 5479 0 0 0 70 0 0 0 15 0 22 0 602211175 16140627968 275872 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0

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

[pid=7726/tid=7764] ppid=7722 vsize=15762332 CPUtime=1048.54 cores=1,3,5,7
/proc/7726/task/7764/stat : 7764 (java) R 7722 7726 6855 0 -1 4202560 420388 0 0 0 104796 58 0 0 25 0 22 0 602211196 16140627968 109947 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505881790 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7726/tid=7765] ppid=7722 vsize=15762332 CPUtime=1048.8 cores=1,3,5,7
/proc/7726/task/7765/stat : 7765 (java) R 7722 7726 6855 0 -1 4202560 408721 0 0 0 104822 58 0 0 25 0 22 0 602211196 16140627968 109947 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505832308 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7726/tid=7766] ppid=7722 vsize=15762332 CPUtime=1048.66 cores=1,3,5,7
/proc/7726/task/7766/stat : 7766 (java) R 7722 7726 6855 0 -1 4202560 408461 0 0 0 104806 60 0 0 25 0 22 0 602211196 16140627968 109947 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505751215 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4225.15
Current children cumulated vsize (KiB) 15762332

[startup+1122.3 s]
/proc/loadavg: 8.01 8.06 8.03 10/220 7803
/proc/meminfo: memFree=29502012/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=15762332 CPUtime=4463.84 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4202496 3094613 0 1 0 445813 571 0 0 22 0 22 0 602211169 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7726/statm: 3940583 105308 2298 9 0 3931302 0
[pid=7726/tid=7730] ppid=7722 vsize=15762332 CPUtime=0.37 cores=1,3,5,7
/proc/7726/task/7730/stat : 7730 (java) S 7722 7726 6855 0 -1 4202560 7029 0 1 0 36 1 0 0 25 0 22 0 602211170 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7733] ppid=7722 vsize=15762332 CPUtime=3.51 cores=1,3,5,7
/proc/7726/task/7733/stat : 7733 (java) S 7722 7726 6855 0 -1 4202560 168594 0 0 0 319 32 0 0 15 0 22 0 602211171 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7735] ppid=7722 vsize=15762332 CPUtime=3.48 cores=1,3,5,7
/proc/7726/task/7735/stat : 7735 (java) S 7722 7726 6855 0 -1 4202560 158177 0 0 0 318 30 0 0 15 0 22 0 602211171 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7737] ppid=7722 vsize=15762332 CPUtime=3.44 cores=1,3,5,7
/proc/7726/task/7737/stat : 7737 (java) S 7722 7726 6855 0 -1 4202560 170639 0 0 0 315 29 0 0 15 0 22 0 602211171 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7739] ppid=7722 vsize=15762332 CPUtime=3.46 cores=1,3,5,7
/proc/7726/task/7739/stat : 7739 (java) S 7722 7726 6855 0 -1 4202560 157337 0 0 0 320 26 0 0 16 0 22 0 602211171 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7742] ppid=7722 vsize=15762332 CPUtime=3.41 cores=1,3,5,7
/proc/7726/task/7742/stat : 7742 (java) S 7722 7726 6855 0 -1 4202560 168905 0 0 0 311 30 0 0 15 0 22 0 602211171 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7743] ppid=7722 vsize=15762332 CPUtime=3.52 cores=1,3,5,7
/proc/7726/task/7743/stat : 7743 (java) S 7722 7726 6855 0 -1 4202560 164072 0 0 0 325 27 0 0 15 0 22 0 602211171 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7745] ppid=7722 vsize=15762332 CPUtime=3.45 cores=1,3,5,7
/proc/7726/task/7745/stat : 7745 (java) S 7722 7726 6855 0 -1 4202560 168140 0 0 0 318 27 0 0 15 0 22 0 602211171 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7746] ppid=7722 vsize=15762332 CPUtime=3.47 cores=1,3,5,7
/proc/7726/task/7746/stat : 7746 (java) S 7722 7726 6855 0 -1 4202560 167820 0 0 0 318 29 0 0 15 0 22 0 602211171 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7748] ppid=7722 vsize=15762332 CPUtime=2.07 cores=1,3,5,7
/proc/7726/task/7748/stat : 7748 (java) S 7722 7726 6855 0 -1 4202560 8072 0 0 0 123 84 0 0 15 0 22 0 602211172 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 0 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7750] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7750/stat : 7750 (java) S 7722 7726 6855 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7752] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7752/stat : 7752 (java) S 7722 7726 6855 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7754] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7754/stat : 7754 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917217713 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7756] ppid=7722 vsize=15762332 CPUtime=0.84 cores=1,3,5,7
/proc/7726/task/7756/stat : 7756 (java) S 7722 7726 6855 0 -1 4202560 5510 0 0 0 84 0 0 0 15 0 22 0 602211175 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7757] ppid=7722 vsize=15762332 CPUtime=1.17 cores=1,3,5,7
/proc/7726/task/7757/stat : 7757 (java) S 7722 7726 6855 0 -1 4202560 12450 0 0 0 116 1 0 0 15 0 22 0 602211175 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7758] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7758/stat : 7758 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7759] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7759/stat : 7759 (java) S 7722 7726 6855 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 602211175 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7763] ppid=7722 vsize=15762332 CPUtime=1107.7 cores=1,3,5,7
/proc/7726/task/7763/stat : 7763 (java) R 7722 7726 6855 0 -1 4202560 430891 0 0 0 110710 60 0 0 25 0 22 0 602211196 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505674891 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7726/tid=7764] ppid=7722 vsize=15762332 CPUtime=1107.77 cores=1,3,5,7
/proc/7726/task/7764/stat : 7764 (java) R 7722 7726 6855 0 -1 4202560 442297 0 0 0 110716 61 0 0 25 0 22 0 602211196 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912506096407 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7726/tid=7765] ppid=7722 vsize=15762332 CPUtime=1108.16 cores=1,3,5,7
/proc/7726/task/7765/stat : 7765 (java) R 7722 7726 6855 0 -1 4202560 431835 0 0 0 110754 62 0 0 25 0 22 0 602211196 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505725799 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7726/tid=7766] ppid=7722 vsize=15762332 CPUtime=1107.86 cores=1,3,5,7
/proc/7726/task/7766/stat : 7766 (java) R 7722 7726 6855 0 -1 4202560 431396 0 0 0 110723 63 0 0 25 0 22 0 602211196 16140627968 105308 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505832378 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4463.84
Current children cumulated vsize (KiB) 15762332

[startup+1182.3 s]
/proc/loadavg: 8.00 8.04 8.03 10/220 7804
/proc/meminfo: memFree=29495136/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=15762332 CPUtime=4702.57 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4202496 3261636 0 1 0 469657 600 0 0 22 0 22 0 602211169 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7726/statm: 3940583 119664 2298 9 0 3931302 0
[pid=7726/tid=7730] ppid=7722 vsize=15762332 CPUtime=0.37 cores=1,3,5,7
/proc/7726/task/7730/stat : 7730 (java) S 7722 7726 6855 0 -1 4202560 7029 0 1 0 36 1 0 0 25 0 22 0 602211170 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7733] ppid=7722 vsize=15762332 CPUtime=3.69 cores=1,3,5,7
/proc/7726/task/7733/stat : 7733 (java) S 7722 7726 6855 0 -1 4202560 176130 0 0 0 335 34 0 0 15 0 22 0 602211171 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7735] ppid=7722 vsize=15762332 CPUtime=3.65 cores=1,3,5,7
/proc/7726/task/7735/stat : 7735 (java) S 7722 7726 6855 0 -1 4202560 164899 0 0 0 334 31 0 0 15 0 22 0 602211171 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7737] ppid=7722 vsize=15762332 CPUtime=3.62 cores=1,3,5,7
/proc/7726/task/7737/stat : 7737 (java) S 7722 7726 6855 0 -1 4202560 180413 0 0 0 332 30 0 0 15 0 22 0 602211171 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7739] ppid=7722 vsize=15762332 CPUtime=3.67 cores=1,3,5,7
/proc/7726/task/7739/stat : 7739 (java) S 7722 7726 6855 0 -1 4202560 166577 0 0 0 339 28 0 0 15 0 22 0 602211171 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7742] ppid=7722 vsize=15762332 CPUtime=3.59 cores=1,3,5,7
/proc/7726/task/7742/stat : 7742 (java) S 7722 7726 6855 0 -1 4202560 174887 0 0 0 328 31 0 0 15 0 22 0 602211171 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7743] ppid=7722 vsize=15762332 CPUtime=3.74 cores=1,3,5,7
/proc/7726/task/7743/stat : 7743 (java) S 7722 7726 6855 0 -1 4202560 173235 0 0 0 345 29 0 0 16 0 22 0 602211171 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7745] ppid=7722 vsize=15762332 CPUtime=3.63 cores=1,3,5,7
/proc/7726/task/7745/stat : 7745 (java) S 7722 7726 6855 0 -1 4202560 178483 0 0 0 335 28 0 0 16 0 22 0 602211171 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7746] ppid=7722 vsize=15762332 CPUtime=3.65 cores=1,3,5,7
/proc/7726/task/7746/stat : 7746 (java) S 7722 7726 6855 0 -1 4202560 173255 0 0 0 335 30 0 0 15 0 22 0 602211171 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7748] ppid=7722 vsize=15762332 CPUtime=2.17 cores=1,3,5,7
/proc/7726/task/7748/stat : 7748 (java) S 7722 7726 6855 0 -1 4202560 8586 0 0 0 130 87 0 0 15 0 22 0 602211172 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 0 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7750] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7750/stat : 7750 (java) S 7722 7726 6855 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7752] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7752/stat : 7752 (java) S 7722 7726 6855 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7754] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7754/stat : 7754 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917217713 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7756] ppid=7722 vsize=15762332 CPUtime=0.84 cores=1,3,5,7
/proc/7726/task/7756/stat : 7756 (java) S 7722 7726 6855 0 -1 4202560 5510 0 0 0 84 0 0 0 15 0 22 0 602211175 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7757] ppid=7722 vsize=15762332 CPUtime=1.17 cores=1,3,5,7
/proc/7726/task/7757/stat : 7757 (java) S 7722 7726 6855 0 -1 4202560 12450 0 0 0 116 1 0 0 15 0 22 0 602211175 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7758] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7758/stat : 7758 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7759] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7759/stat : 7759 (java) S 7722 7726 6855 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 602211175 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7763] ppid=7722 vsize=15762332 CPUtime=1166.91 cores=1,3,5,7
/proc/7726/task/7763/stat : 7763 (java) R 7722 7726 6855 0 -1 4202560 457797 0 0 0 116627 64 0 0 25 0 22 0 602211196 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 47283895371969 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7726/tid=7764] ppid=7722 vsize=15762332 CPUtime=1167.13 cores=1,3,5,7
/proc/7726/task/7764/stat : 7764 (java) R 7722 7726 6855 0 -1 4202560 467254 0 0 0 116648 65 0 0 25 0 22 0 602211196 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505704485 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7726/tid=7765] ppid=7722 vsize=15762332 CPUtime=1167.42 cores=1,3,5,7
/proc/7726/task/7765/stat : 7765 (java) R 7722 7726 6855 0 -1 4202560 457993 0 0 0 116677 65 0 0 25 0 22 0 602211196 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912506079851 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7726/tid=7766] ppid=7722 vsize=15762332 CPUtime=1167.14 cores=1,3,5,7
/proc/7726/task/7766/stat : 7766 (java) R 7722 7726 6855 0 -1 4202560 455687 0 0 0 116648 66 0 0 25 0 22 0 602211196 16140627968 119664 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4702.57
Current children cumulated vsize (KiB) 15762332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.8 s]
/proc/loadavg: 8.00 8.04 8.02 9/220 7805
/proc/meminfo: memFree=29490524/32950928 swapFree=67054472/67111528
[pid=7726] ppid=7722 vsize=15762332 CPUtime=4800.06 cores=1,3,5,7
/proc/7726/stat : 7726 (java) S 7722 7726 6855 0 -1 4202496 3321738 0 1 0 479394 612 0 0 22 0 22 0 602211169 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/7726/statm: 3940583 107659 2298 9 0 3931302 0
[pid=7726/tid=7730] ppid=7722 vsize=15762332 CPUtime=0.37 cores=1,3,5,7
/proc/7726/task/7730/stat : 7730 (java) S 7722 7726 6855 0 -1 4202560 7029 0 1 0 36 1 0 0 25 0 22 0 602211170 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7733] ppid=7722 vsize=15762332 CPUtime=3.76 cores=1,3,5,7
/proc/7726/task/7733/stat : 7733 (java) S 7722 7726 6855 0 -1 4202560 179436 0 0 0 341 35 0 0 15 0 22 0 602211171 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7735] ppid=7722 vsize=15762332 CPUtime=3.74 cores=1,3,5,7
/proc/7726/task/7735/stat : 7735 (java) S 7722 7726 6855 0 -1 4202560 168830 0 0 0 342 32 0 0 15 0 22 0 602211171 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7737] ppid=7722 vsize=15762332 CPUtime=3.7 cores=1,3,5,7
/proc/7726/task/7737/stat : 7737 (java) S 7722 7726 6855 0 -1 4202560 183869 0 0 0 339 31 0 0 15 0 22 0 602211171 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7739] ppid=7722 vsize=15762332 CPUtime=3.75 cores=1,3,5,7
/proc/7726/task/7739/stat : 7739 (java) S 7722 7726 6855 0 -1 4202560 169669 0 0 0 346 29 0 0 16 0 22 0 602211171 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7742] ppid=7722 vsize=15762332 CPUtime=3.67 cores=1,3,5,7
/proc/7726/task/7742/stat : 7742 (java) S 7722 7726 6855 0 -1 4202560 178537 0 0 0 336 31 0 0 15 0 22 0 602211171 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7743] ppid=7722 vsize=15762332 CPUtime=3.84 cores=1,3,5,7
/proc/7726/task/7743/stat : 7743 (java) S 7722 7726 6855 0 -1 4202560 176272 0 0 0 355 29 0 0 16 0 22 0 602211171 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7745] ppid=7722 vsize=15762332 CPUtime=3.72 cores=1,3,5,7
/proc/7726/task/7745/stat : 7745 (java) S 7722 7726 6855 0 -1 4202560 180906 0 0 0 343 29 0 0 15 0 22 0 602211171 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7746] ppid=7722 vsize=15762332 CPUtime=3.74 cores=1,3,5,7
/proc/7726/task/7746/stat : 7746 (java) S 7722 7726 6855 0 -1 4202560 177600 0 0 0 343 31 0 0 16 0 22 0 602211171 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7748] ppid=7722 vsize=15762332 CPUtime=2.22 cores=1,3,5,7
/proc/7726/task/7748/stat : 7748 (java) S 7722 7726 6855 0 -1 4202560 8766 0 0 0 133 89 0 0 15 0 22 0 602211172 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 0 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7750] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7750/stat : 7750 (java) S 7722 7726 6855 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7752] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7752/stat : 7752 (java) S 7722 7726 6855 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 602211172 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7754] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7754/stat : 7754 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917217713 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7756] ppid=7722 vsize=15762332 CPUtime=0.84 cores=1,3,5,7
/proc/7726/task/7756/stat : 7756 (java) S 7722 7726 6855 0 -1 4202560 5510 0 0 0 84 0 0 0 15 0 22 0 602211175 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 1 0 0 0
[pid=7726/tid=7757] ppid=7722 vsize=15762332 CPUtime=1.17 cores=1,3,5,7
/proc/7726/task/7757/stat : 7757 (java) S 7722 7726 6855 0 -1 4202560 12450 0 0 0 116 1 0 0 15 0 22 0 602211175 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 5 0 0 0
[pid=7726/tid=7758] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7758/stat : 7758 (java) S 7722 7726 6855 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 602211175 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210009 0 4 0 16800975 18446604471132456064 0 0 -1 3 0 0 0
[pid=7726/tid=7759] ppid=7722 vsize=15762332 CPUtime=0 cores=1,3,5,7
/proc/7726/task/7759/stat : 7759 (java) S 7722 7726 6855 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 602211175 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 260917210624 0 4 0 16800975 18446604471132456064 0 0 -1 7 0 0 0
[pid=7726/tid=7763] ppid=7722 vsize=15762332 CPUtime=1191.03 cores=1,3,5,7
/proc/7726/task/7763/stat : 7763 (java) R 7722 7726 6855 0 -1 4202560 465259 0 0 0 119039 64 0 0 25 0 22 0 602211196 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505700728 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7726/tid=7764] ppid=7722 vsize=15762332 CPUtime=1191.36 cores=1,3,5,7
/proc/7726/task/7764/stat : 7764 (java) R 7722 7726 6855 0 -1 4202560 475624 0 0 0 119070 66 0 0 25 0 22 0 602211196 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505832575 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7726/tid=7765] ppid=7722 vsize=15762332 CPUtime=1191.61 cores=1,3,5,7
/proc/7726/task/7765/stat : 7765 (java) R 7722 7726 6855 0 -1 4202560 466822 0 0 0 119094 67 0 0 25 0 22 0 602211196 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912506023093 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7726/tid=7766] ppid=7722 vsize=15762332 CPUtime=1191.38 cores=1,3,5,7
/proc/7726/task/7766/stat : 7766 (java) R 7722 7726 6855 0 -1 4202560 463706 0 0 0 119071 67 0 0 25 0 22 0 602211196 16140627968 107659 33554432000 1073741824 1073778376 140733411703728 18446744073709551615 46912505709443 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 15762332

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.84
CPU time (s): 4800.12
CPU user time (s): 4793.98
CPU system time (s): 6.14107
CPU usage (%): 397.744
Max. virtual memory (cumulated for all children) (KiB): 15764944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.98
system time used= 6.14107
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3321764
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= 200614
involuntary context switches= 144410

runsolver used 2.06768 second user time and 4.6033 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-30 01:30:05
IDJOB=3312532
IDBENCH=82717
IDSOLVER=1699
FILE ID=node116/3312532-1304119805
RUNJOBID= node116-1304119805-7708
PBS_JOBID= 13170693
Free space on /tmp= 72516 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312532-1304119805/watcher-3312532-1304119805 -o /tmp/evaluation-result-3312532-1304119805/solver-3312532-1304119805 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312532-1304119805.cnf

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

MD5SUM BENCH= dedbbce6fb26e857922f18b3ce672c14
RANDOM SEED=1156922263

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30239488 kB
Buffers:        984224 kB
Cached:        1371332 kB
SwapCached:       9656 kB
Active:          91972 kB
Inactive:      2281676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30239488 kB
SwapTotal:    67111528 kB
SwapFree:     67054472 kB
Dirty:            3664 kB
Writeback:           0 kB
AnonPages:       15656 kB
Mapped:          12580 kB
Slab:           275320 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189792 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= 72512 MiB
End job on node116 at 2011-04-30 01:50:14