Trace number 3311248

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.1 1207.03

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
MD5SUMbe984e6bbe5620bf919456b943096fcf
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark836.998
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data 

0.09/0.12	24:56 INFO : Reading from input HOME/instance-3311248-1304115896.cnf
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Starting Executor!
0.61/0.42	Starting Executor!
0.61/0.42	Starting Executor!
0.61/0.42	Starting Executor!
1.60/0.87	24:57 INFO : 200 variables remaining out of 200
1.60/0.87	24:57 INFO : 136000 literals remaining out of 136000

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 4.90 5.12 5.91 6/198 11186
/proc/meminfo: memFree=24011472/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=5592 CPUtime=0 cores=0,2,4,6
/proc/11186/stat : 11186 (java) R 11184 11186 10849 0 -1 4194304 548 0 0 0 0 0 0 0 25 0 1 0 504004903 5726208 53 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254256692871 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11186/statm: 1398 53 41 9 0 27 0

[startup+0.040256 s]
/proc/loadavg: 4.90 5.12 5.91 6/198 11186
/proc/meminfo: memFree=24011472/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=15604248 CPUtime=0.02 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11184 11186 10849 0 -1 4202496 3724 0 1 0 2 0 0 0 25 0 13 0 504004903 15978749952 3163 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273419237 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/11186/statm: 3901062 3163 1680 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.100242 s]
/proc/loadavg: 4.90 5.12 5.91 6/198 11186
/proc/meminfo: memFree=24011472/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=15676216 CPUtime=0.09 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11184 11186 10849 0 -1 4202496 5546 0 1 0 9 0 0 0 25 0 18 0 504004903 16052445184 4965 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11186/statm: 3919054 4966 2117 9 0 3909773 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676216

[startup+0.300197 s]
/proc/loadavg: 4.90 5.12 5.91 6/198 11186
/proc/meminfo: memFree=24011472/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=15681372 CPUtime=0.5 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11184 11186 10849 0 -1 4202496 15110 0 1 0 48 2 0 0 25 0 18 0 504004903 16057724928 13312 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11186/statm: 3920343 13318 2207 9 0 3911062 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15681372

[startup+0.701094 s]
/proc/loadavg: 4.90 5.12 5.91 6/198 11186
/proc/meminfo: memFree=24011472/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=15690824 CPUtime=1.3 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11184 11186 10849 0 -1 4202496 43143 0 1 0 125 5 0 0 25 0 22 0 504004903 16067403776 38516 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11186/statm: 3922706 38518 2242 9 0 3913425 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 15690824

[startup+1.52035 s]
/proc/loadavg: 4.90 5.12 5.91 7/220 11208
/proc/meminfo: memFree=23849608/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=15698824 CPUtime=3.88 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11184 11186 10849 0 -1 4202496 59294 0 1 0 381 7 0 0 25 0 22 0 504004903 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11186/statm: 3924706 49395 2274 9 0 3915425 0
[pid=11186/tid=11188] ppid=11184 vsize=15698824 CPUtime=0.84 cores=0,2,4,6
/proc/11186/task/11188/stat : 11188 (java) S 11184 11186 10849 0 -1 4202560 29661 0 1 0 81 3 0 0 20 0 22 0 504004904 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11189] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 504004904 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11190] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 504004904 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11191] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 504004904 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11192] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11184 11186 10849 0 -1 4202560 504 0 0 0 0 0 0 0 18 0 22 0 504004904 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11193] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11184 11186 10849 0 -1 4202560 310 0 0 0 0 0 0 0 18 0 22 0 504004904 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11194] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11184 11186 10849 0 -1 4202560 286 0 0 0 0 0 0 0 18 0 22 0 504004904 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11195] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11184 11186 10849 0 -1 4202560 44 0 0 0 0 0 0 0 18 0 22 0 504004904 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11196] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11184 11186 10849 0 -1 4202560 464 0 0 0 0 0 0 0 18 0 22 0 504004904 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11197] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11184 11186 10849 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 504004905 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 0 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11198] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11184 11186 10849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11199] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11184 11186 10849 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11200] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273440177 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11201] ppid=11184 vsize=15698824 CPUtime=0.79 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11184 11186 10849 0 -1 4202560 5853 0 0 0 79 0 0 0 15 0 22 0 504004908 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11202] ppid=11184 vsize=15698824 CPUtime=0.87 cores=0,2,4,6
/proc/11186/task/11202/stat : 11202 (java) S 11184 11186 10849 0 -1 4202560 14772 0 0 0 86 1 0 0 15 0 22 0 504004908 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11203] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11204] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11204/stat : 11204 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504004908 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11205] ppid=11184 vsize=15698824 CPUtime=0.51 cores=0,2,4,6
/proc/11186/task/11205/stat : 11205 (java) R 11184 11186 10849 0 -1 4202560 2113 0 0 0 51 0 0 0 16 0 22 0 504004945 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505771670 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11186/tid=11206] ppid=11184 vsize=15698824 CPUtime=0.18 cores=0,2,4,6
/proc/11186/task/11206/stat : 11206 (java) R 11184 11186 10849 0 -1 4202560 99 0 0 0 18 0 0 0 16 0 22 0 504004945 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505951036 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11186/tid=11207] ppid=11184 vsize=15698824 CPUtime=0.2 cores=0,2,4,6
/proc/11186/task/11207/stat : 11207 (java) R 11184 11186 10849 0 -1 4202560 1515 0 0 0 20 0 0 0 16 0 22 0 504004945 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505712264 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11186/tid=11208] ppid=11184 vsize=15698824 CPUtime=0.4 cores=0,2,4,6
/proc/11186/task/11208/stat : 11208 (java) R 11184 11186 10849 0 -1 4202560 2210 0 0 0 40 0 0 0 16 0 22 0 504004945 16075595776 49395 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505880453 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 15698824

[startup+3.12166 s]
/proc/loadavg: 5.23 5.18 5.92 9/220 11208
/proc/meminfo: memFree=23643396/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=15698824 CPUtime=10.26 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11184 11186 10849 0 -1 4202496 121796 0 1 0 1010 16 0 0 25 0 22 0 504004903 16075595776 111859 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11186/statm: 3924706 111861 2284 9 0 3915425 0
[pid=11186/tid=11188] ppid=11184 vsize=15698824 CPUtime=0.84 cores=0,2,4,6
/proc/11186/task/11188/stat : 11188 (java) S 11184 11186 10849 0 -1 4202560 29661 0 1 0 81 3 0 0 20 0 22 0 504004904 16075595776 111862 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11189] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11184 11186 10849 0 -1 4202560 4601 0 0 0 0 0 0 0 16 0 22 0 504004904 16075595776 111864 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11190] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11184 11186 10849 0 -1 4202560 3569 0 0 0 0 0 0 0 15 0 22 0 504004904 16075595776 111866 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11191] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11184 11186 10849 0 -1 4202560 3962 0 0 0 0 0 0 0 16 0 22 0 504004904 16075595776 111867 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11192] ppid=11184 vsize=15698824 CPUtime=0.01 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11184 11186 10849 0 -1 4202560 2972 0 0 0 1 0 0 0 15 0 22 0 504004904 16075595776 111868 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11193] ppid=11184 vsize=15698824 CPUtime=0.01 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11184 11186 10849 0 -1 4202560 4404 0 0 0 1 0 0 0 16 0 22 0 504004904 16075595776 111870 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11194] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11184 11186 10849 0 -1 4202560 3314 0 0 0 0 0 0 0 15 0 22 0 504004904 16075595776 111871 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11195] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11184 11186 10849 0 -1 4202560 44 0 0 0 0 0 0 0 15 0 22 0 504004904 16075595776 111872 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11196] ppid=11184 vsize=15698824 CPUtime=0.01 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11184 11186 10849 0 -1 4202560 3826 0 0 0 1 0 0 0 15 0 22 0 504004904 16075595776 111874 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11197] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11184 11186 10849 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 504004905 16075595776 111875 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 0 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11198] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11184 11186 10849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 111876 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11199] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11184 11186 10849 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 111878 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11200] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 111879 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273440177 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11201] ppid=11184 vsize=15698824 CPUtime=0.91 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) R 11184 11186 10849 0 -1 4202560 5874 0 0 0 91 0 0 0 15 0 22 0 504004908 16075595776 111882 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 47307598707552 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11186/tid=11202] ppid=11184 vsize=15698824 CPUtime=0.99 cores=0,2,4,6
/proc/11186/task/11202/stat : 11202 (java) S 11184 11186 10849 0 -1 4202560 14785 0 0 0 98 1 0 0 15 0 22 0 504004908 16075595776 111885 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11203] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 111887 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11204] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11204/stat : 11204 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 504004908 16075595776 111888 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11205] ppid=11184 vsize=15698824 CPUtime=2.08 cores=0,2,4,6
/proc/11186/task/11205/stat : 11205 (java) R 11184 11186 10849 0 -1 4202560 11846 0 0 0 207 1 0 0 17 0 22 0 504004945 16075595776 111889 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505955805 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11186/tid=11206] ppid=11184 vsize=15698824 CPUtime=1.61 cores=0,2,4,6
/proc/11186/task/11206/stat : 11206 (java) R 11184 11186 10849 0 -1 4202560 7981 0 0 0 161 0 0 0 17 0 22 0 504004945 16075595776 111890 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273442485 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11186/tid=11207] ppid=11184 vsize=15698824 CPUtime=1.65 cores=0,2,4,6
/proc/11186/task/11207/stat : 11207 (java) R 11184 11186 10849 0 -1 4202560 11568 0 0 0 164 1 0 0 17 0 22 0 504004945 16075595776 111891 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505810070 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11186/tid=11208] ppid=11184 vsize=15698824 CPUtime=1.97 cores=0,2,4,6
/proc/11186/task/11208/stat : 11208 (java) R 11184 11186 10849 0 -1 4202560 11835 0 0 0 196 1 0 0 17 0 22 0 504004945 16075595776 111892 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912506184774 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.26
Current children cumulated vsize (KiB) 15698824

[startup+6.3011 s]
/proc/loadavg: 5.23 5.18 5.92 9/220 11210
/proc/meminfo: memFree=23097672/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=15698824 CPUtime=22.93 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11184 11186 10849 0 -1 4202496 306152 0 1 0 2254 39 0 0 25 0 22 0 504004903 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11186/statm: 3924706 294661 2284 9 0 3915425 0
[pid=11186/tid=11188] ppid=11184 vsize=15698824 CPUtime=0.84 cores=0,2,4,6
/proc/11186/task/11188/stat : 11188 (java) S 11184 11186 10849 0 -1 4202560 29661 0 1 0 81 3 0 0 20 0 22 0 504004904 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11189] ppid=11184 vsize=15698824 CPUtime=0.02 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11184 11186 10849 0 -1 4202560 6212 0 0 0 1 1 0 0 15 0 22 0 504004904 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11190] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11184 11186 10849 0 -1 4202560 4561 0 0 0 0 0 0 0 15 0 22 0 504004904 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11191] ppid=11184 vsize=15698824 CPUtime=0.02 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11184 11186 10849 0 -1 4202560 7267 0 0 0 1 1 0 0 16 0 22 0 504004904 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11192] ppid=11184 vsize=15698824 CPUtime=0.01 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11184 11186 10849 0 -1 4202560 5596 0 0 0 1 0 0 0 15 0 22 0 504004904 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11193] ppid=11184 vsize=15698824 CPUtime=0.02 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11184 11186 10849 0 -1 4202560 8273 0 0 0 1 1 0 0 15 0 22 0 504004904 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11194] ppid=11184 vsize=15698824 CPUtime=0.02 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11184 11186 10849 0 -1 4202560 6100 0 0 0 1 1 0 0 15 0 22 0 504004904 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11195] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11184 11186 10849 0 -1 4202560 1680 0 0 0 0 0 0 0 15 0 22 0 504004904 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11196] ppid=11184 vsize=15698824 CPUtime=0.03 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11184 11186 10849 0 -1 4202560 7220 0 0 0 2 1 0 0 15 0 22 0 504004904 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11197] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11184 11186 10849 0 -1 4202560 985 0 0 0 0 0 0 0 15 0 22 0 504004905 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 0 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11198] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11184 11186 10849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11199] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11184 11186 10849 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11200] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273440177 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11201] ppid=11184 vsize=15698824 CPUtime=0.99 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11184 11186 10849 0 -1 4202560 5891 0 0 0 99 0 0 0 16 0 22 0 504004908 16075595776 294661 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0

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

[pid=11186/tid=11206] ppid=11184 vsize=15698824 CPUtime=1048.12 cores=0,2,4,6
/proc/11186/task/11206/stat : 11206 (java) R 11184 11186 10849 0 -1 4202560 185143 0 0 0 104784 28 0 0 25 0 22 0 504004945 16075595776 96916 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505887409 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11186/tid=11207] ppid=11184 vsize=15698824 CPUtime=1048.21 cores=0,2,4,6
/proc/11186/task/11207/stat : 11207 (java) R 11184 11186 10849 0 -1 4202560 187698 0 0 0 104789 32 0 0 25 0 22 0 504004945 16075595776 96916 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11186/tid=11208] ppid=11184 vsize=15698824 CPUtime=1049.09 cores=0,2,4,6
/proc/11186/task/11208/stat : 11208 (java) R 11184 11186 10849 0 -1 4202560 191849 0 0 0 104875 34 0 0 25 0 22 0 504004945 16075595776 96916 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912506018795 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4224.56
Current children cumulated vsize (KiB) 15698824

[startup+1122.3 s]
/proc/loadavg: 8.07 7.99 7.41 9/220 11241
/proc/meminfo: memFree=23430792/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=15698824 CPUtime=4463.21 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11184 11186 10849 0 -1 4202496 1574037 0 1 0 445962 359 0 0 25 0 22 0 504004903 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11186/statm: 3924706 92320 2299 9 0 3915425 0
[pid=11186/tid=11188] ppid=11184 vsize=15698824 CPUtime=0.84 cores=0,2,4,6
/proc/11186/task/11188/stat : 11188 (java) S 11184 11186 10849 0 -1 4202560 29661 0 1 0 81 3 0 0 20 0 22 0 504004904 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11189] ppid=11184 vsize=15698824 CPUtime=3.37 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11184 11186 10849 0 -1 4202560 87716 0 0 0 316 21 0 0 15 0 22 0 504004904 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11190] ppid=11184 vsize=15698824 CPUtime=3.4 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11184 11186 10849 0 -1 4202560 87745 0 0 0 323 17 0 0 15 0 22 0 504004904 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11191] ppid=11184 vsize=15698824 CPUtime=3.41 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11184 11186 10849 0 -1 4202560 89592 0 0 0 320 21 0 0 15 0 22 0 504004904 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11192] ppid=11184 vsize=15698824 CPUtime=3.3 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11184 11186 10849 0 -1 4202560 86524 0 0 0 315 15 0 0 15 0 22 0 504004904 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11193] ppid=11184 vsize=15698824 CPUtime=3.27 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11184 11186 10849 0 -1 4202560 89363 0 0 0 309 18 0 0 16 0 22 0 504004904 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11194] ppid=11184 vsize=15698824 CPUtime=3.42 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11184 11186 10849 0 -1 4202560 90582 0 0 0 322 20 0 0 15 0 22 0 504004904 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11195] ppid=11184 vsize=15698824 CPUtime=3.28 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11184 11186 10849 0 -1 4202560 89063 0 0 0 309 19 0 0 16 0 22 0 504004904 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11196] ppid=11184 vsize=15698824 CPUtime=3.4 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11184 11186 10849 0 -1 4202560 95227 0 0 0 320 20 0 0 16 0 22 0 504004904 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11197] ppid=11184 vsize=15698824 CPUtime=1.82 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11184 11186 10849 0 -1 4202560 3982 0 0 0 119 63 0 0 15 0 22 0 504004905 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 0 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11198] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11184 11186 10849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11199] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11184 11186 10849 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11200] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273440177 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11201] ppid=11184 vsize=15698824 CPUtime=1.11 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11184 11186 10849 0 -1 4202560 5913 0 0 0 111 0 0 0 15 0 22 0 504004908 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11202] ppid=11184 vsize=15698824 CPUtime=1.22 cores=0,2,4,6
/proc/11186/task/11202/stat : 11202 (java) S 11184 11186 10849 0 -1 4202560 14813 0 0 0 121 1 0 0 16 0 22 0 504004908 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11203] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11204] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11204/stat : 11204 (java) S 11184 11186 10849 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 504004908 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11205] ppid=11184 vsize=15698824 CPUtime=1108.02 cores=0,2,4,6
/proc/11186/task/11205/stat : 11205 (java) R 11184 11186 10849 0 -1 4202560 202786 0 0 0 110769 33 0 0 25 0 22 0 504004945 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505739014 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11186/tid=11206] ppid=11184 vsize=15698824 CPUtime=1107.47 cores=0,2,4,6
/proc/11186/task/11206/stat : 11206 (java) R 11184 11186 10849 0 -1 4202560 197038 0 0 0 110716 31 0 0 25 0 22 0 504004945 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505951196 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11186/tid=11207] ppid=11184 vsize=15698824 CPUtime=1107.38 cores=0,2,4,6
/proc/11186/task/11207/stat : 11207 (java) R 11184 11186 10849 0 -1 4202560 199471 0 0 0 110704 34 0 0 25 0 22 0 504004945 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912506028512 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11186/tid=11208] ppid=11184 vsize=15698824 CPUtime=1108.34 cores=0,2,4,6
/proc/11186/task/11208/stat : 11208 (java) R 11184 11186 10849 0 -1 4202560 203117 0 0 0 110798 36 0 0 25 0 22 0 504004945 16075595776 92320 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505810001 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4463.21
Current children cumulated vsize (KiB) 15698824

[startup+1182.3 s]
/proc/loadavg: 5.97 7.45 7.26 5/193 11263
/proc/meminfo: memFree=29321672/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=15698824 CPUtime=4701.78 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11184 11186 10849 0 -1 4202496 1649958 0 1 0 469803 375 0 0 25 0 22 0 504004903 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11186/statm: 3924706 91083 2299 9 0 3915425 0
[pid=11186/tid=11188] ppid=11184 vsize=15698824 CPUtime=0.84 cores=0,2,4,6
/proc/11186/task/11188/stat : 11188 (java) S 11184 11186 10849 0 -1 4202560 29661 0 1 0 81 3 0 0 20 0 22 0 504004904 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11189] ppid=11184 vsize=15698824 CPUtime=3.54 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11184 11186 10849 0 -1 4202560 93112 0 0 0 332 22 0 0 15 0 22 0 504004904 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11190] ppid=11184 vsize=15698824 CPUtime=3.57 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11184 11186 10849 0 -1 4202560 92484 0 0 0 340 17 0 0 16 0 22 0 504004904 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11191] ppid=11184 vsize=15698824 CPUtime=3.57 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11184 11186 10849 0 -1 4202560 93221 0 0 0 336 21 0 0 15 0 22 0 504004904 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11192] ppid=11184 vsize=15698824 CPUtime=3.48 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11184 11186 10849 0 -1 4202560 90419 0 0 0 332 16 0 0 16 0 22 0 504004904 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11193] ppid=11184 vsize=15698824 CPUtime=3.42 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11184 11186 10849 0 -1 4202560 93462 0 0 0 323 19 0 0 15 0 22 0 504004904 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11194] ppid=11184 vsize=15698824 CPUtime=3.58 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11184 11186 10849 0 -1 4202560 95618 0 0 0 338 20 0 0 15 0 22 0 504004904 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11195] ppid=11184 vsize=15698824 CPUtime=3.44 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11184 11186 10849 0 -1 4202560 93183 0 0 0 325 19 0 0 15 0 22 0 504004904 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11196] ppid=11184 vsize=15698824 CPUtime=3.54 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11184 11186 10849 0 -1 4202560 99664 0 0 0 334 20 0 0 15 0 22 0 504004904 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11197] ppid=11184 vsize=15698824 CPUtime=1.93 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11184 11186 10849 0 -1 4202560 4163 0 0 0 126 67 0 0 15 0 22 0 504004905 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 0 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11198] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11184 11186 10849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11199] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11184 11186 10849 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11200] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273440177 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11201] ppid=11184 vsize=15698824 CPUtime=1.11 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11184 11186 10849 0 -1 4202560 5913 0 0 0 111 0 0 0 15 0 22 0 504004908 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11202] ppid=11184 vsize=15698824 CPUtime=1.22 cores=0,2,4,6
/proc/11186/task/11202/stat : 11202 (java) S 11184 11186 10849 0 -1 4202560 14813 0 0 0 121 1 0 0 16 0 22 0 504004908 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11203] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11204] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11204/stat : 11204 (java) S 11184 11186 10849 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 504004908 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11205] ppid=11184 vsize=15698824 CPUtime=1167.24 cores=0,2,4,6
/proc/11186/task/11205/stat : 11205 (java) R 11184 11186 10849 0 -1 4202560 212845 0 0 0 116690 34 0 0 25 0 22 0 504004945 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505886077 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11186/tid=11206] ppid=11184 vsize=15698824 CPUtime=1166.79 cores=0,2,4,6
/proc/11186/task/11206/stat : 11206 (java) R 11184 11186 10849 0 -1 4202560 207127 0 0 0 116647 32 0 0 25 0 22 0 504004945 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505885396 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11186/tid=11207] ppid=11184 vsize=15698824 CPUtime=1166.62 cores=0,2,4,6
/proc/11186/task/11207/stat : 11207 (java) R 11184 11186 10849 0 -1 4202560 209910 0 0 0 116626 36 0 0 25 0 22 0 504004945 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505810338 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11186/tid=11208] ppid=11184 vsize=15698824 CPUtime=1167.69 cores=0,2,4,6
/proc/11186/task/11208/stat : 11208 (java) R 11184 11186 10849 0 -1 4202560 212916 0 0 0 116732 37 0 0 25 0 22 0 504004945 16075595776 91083 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505887170 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4701.78
Current children cumulated vsize (KiB) 15698824



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207 s]
/proc/loadavg: 5.30 7.17 7.17 5/193 11263
/proc/meminfo: memFree=29293504/32951124 swapFree=67111348/67111528
[pid=11186] ppid=11184 vsize=15698824 CPUtime=4800.04 cores=0,2,4,6
/proc/11186/stat : 11186 (java) S 11184 11186 10849 0 -1 4202496 1689263 0 1 0 479621 383 0 0 25 0 22 0 504004903 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/11186/statm: 3924706 99993 2299 9 0 3915425 0
[pid=11186/tid=11188] ppid=11184 vsize=15698824 CPUtime=0.84 cores=0,2,4,6
/proc/11186/task/11188/stat : 11188 (java) S 11184 11186 10849 0 -1 4202560 29661 0 1 0 81 3 0 0 20 0 22 0 504004904 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11189] ppid=11184 vsize=15698824 CPUtime=3.62 cores=0,2,4,6
/proc/11186/task/11189/stat : 11189 (java) S 11184 11186 10849 0 -1 4202560 94863 0 0 0 340 22 0 0 16 0 22 0 504004904 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11190] ppid=11184 vsize=15698824 CPUtime=3.64 cores=0,2,4,6
/proc/11186/task/11190/stat : 11190 (java) S 11184 11186 10849 0 -1 4202560 94530 0 0 0 347 17 0 0 16 0 22 0 504004904 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11191] ppid=11184 vsize=15698824 CPUtime=3.64 cores=0,2,4,6
/proc/11186/task/11191/stat : 11191 (java) S 11184 11186 10849 0 -1 4202560 94576 0 0 0 343 21 0 0 15 0 22 0 504004904 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11192] ppid=11184 vsize=15698824 CPUtime=3.57 cores=0,2,4,6
/proc/11186/task/11192/stat : 11192 (java) S 11184 11186 10849 0 -1 4202560 92379 0 0 0 340 17 0 0 15 0 22 0 504004904 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11193] ppid=11184 vsize=15698824 CPUtime=3.49 cores=0,2,4,6
/proc/11186/task/11193/stat : 11193 (java) S 11184 11186 10849 0 -1 4202560 95146 0 0 0 330 19 0 0 15 0 22 0 504004904 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11194] ppid=11184 vsize=15698824 CPUtime=3.66 cores=0,2,4,6
/proc/11186/task/11194/stat : 11194 (java) S 11184 11186 10849 0 -1 4202560 97730 0 0 0 345 21 0 0 15 0 22 0 504004904 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11195] ppid=11184 vsize=15698824 CPUtime=3.52 cores=0,2,4,6
/proc/11186/task/11195/stat : 11195 (java) S 11184 11186 10849 0 -1 4202560 94411 0 0 0 332 20 0 0 15 0 22 0 504004904 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 0 0 0 0
[pid=11186/tid=11196] ppid=11184 vsize=15698824 CPUtime=3.62 cores=0,2,4,6
/proc/11186/task/11196/stat : 11196 (java) S 11184 11186 10849 0 -1 4202560 101221 0 0 0 341 21 0 0 15 0 22 0 504004904 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11197] ppid=11184 vsize=15698824 CPUtime=1.96 cores=0,2,4,6
/proc/11186/task/11197/stat : 11197 (java) S 11184 11186 10849 0 -1 4202560 4243 0 0 0 127 69 0 0 15 0 22 0 504004905 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 0 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11198] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11198/stat : 11198 (java) S 11184 11186 10849 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11199] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11199/stat : 11199 (java) S 11184 11186 10849 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 504004906 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11200] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11200/stat : 11200 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273440177 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11201] ppid=11184 vsize=15698824 CPUtime=1.11 cores=0,2,4,6
/proc/11186/task/11201/stat : 11201 (java) S 11184 11186 10849 0 -1 4202560 5913 0 0 0 111 0 0 0 15 0 22 0 504004908 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 6 0 0 0
[pid=11186/tid=11202] ppid=11184 vsize=15698824 CPUtime=1.22 cores=0,2,4,6
/proc/11186/task/11202/stat : 11202 (java) S 11184 11186 10849 0 -1 4202560 14813 0 0 0 121 1 0 0 16 0 22 0 504004908 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11203] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11203/stat : 11203 (java) S 11184 11186 10849 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 504004908 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273432473 0 4 0 16800975 18446604453900928256 0 0 -1 2 0 0 0
[pid=11186/tid=11204] ppid=11184 vsize=15698824 CPUtime=0 cores=0,2,4,6
/proc/11186/task/11204/stat : 11204 (java) S 11184 11186 10849 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 504004908 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 254273433088 0 4 0 16800975 18446604453900928256 0 0 -1 4 0 0 0
[pid=11186/tid=11205] ppid=11184 vsize=15698824 CPUtime=1191.67 cores=0,2,4,6
/proc/11186/task/11205/stat : 11205 (java) R 11184 11186 10849 0 -1 4202560 219150 0 0 0 119132 35 0 0 25 0 22 0 504004945 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505950871 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11186/tid=11206] ppid=11184 vsize=15698824 CPUtime=1191.23 cores=0,2,4,6
/proc/11186/task/11206/stat : 11206 (java) R 11184 11186 10849 0 -1 4202560 213510 0 0 0 119090 33 0 0 25 0 22 0 504004945 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505714636 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=11186/tid=11207] ppid=11184 vsize=15698824 CPUtime=1190.93 cores=0,2,4,6
/proc/11186/task/11207/stat : 11207 (java) R 11184 11186 10849 0 -1 4202560 216490 0 0 0 119056 37 0 0 25 0 22 0 504004945 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912505886061 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=11186/tid=11208] ppid=11184 vsize=15698824 CPUtime=1192.14 cores=0,2,4,6
/proc/11186/task/11208/stat : 11208 (java) R 11184 11186 10849 0 -1 4202560 219180 0 0 0 119176 38 0 0 25 0 22 0 504004945 16075595776 99993 33554432000 1073741824 1073778376 140734596952944 18446744073709551615 46912506018818 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 15698824

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

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

Child status: 143
Real time (s): 1207.03
CPU time (s): 4800.1
CPU user time (s): 4796.24
CPU system time (s): 3.85641
CPU usage (%): 397.677
Max. virtual memory (cumulated for all children) (KiB): 15701484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.24
system time used= 3.85641
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1689289
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= 230732
involuntary context switches= 143230

runsolver used 2.13068 second user time and 4.50432 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-30 00:24:56
IDJOB=3311248
IDBENCH=82633
IDSOLVER=1698
FILE ID=node140/3311248-1304115896
RUNJOBID= node140-1304113387-10867
PBS_JOBID= 13170700
Free space on /tmp= 72660 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311248-1304115896/watcher-3311248-1304115896 -o /tmp/evaluation-result-3311248-1304115896/solver-3311248-1304115896 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311248-1304115896.cnf -hbr 2

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

MD5SUM BENCH= be984e6bbe5620bf919456b943096fcf
RANDOM SEED=33633356

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.833
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:     32951124 kB
MemFree:      24011512 kB
Buffers:       1013904 kB
Cached:        1696076 kB
SwapCached:        180 kB
Active:        5938176 kB
Inactive:      2500524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24011512 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            2400 kB
Writeback:           0 kB
AnonPages:     5728872 kB
Mapped:          23484 kB
Slab:           426760 kB
PageTables:      15900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  7023320 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= 72660 MiB
End job on node140 at 2011-04-30 00:45:05