Trace number 3313183

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

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes7.cnf
MD5SUM140eea74f7e66501965365160d02fa4d
Bench CategoryCRAFTED (crafted 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 variables2100
Number of clauses215164
Sum of the clauses size432288
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2215094
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 570

Solver Data 

0.05/0.15	01:38 INFO : Reading from input HOME/instance-3313183-1304085698.cnf
0.98/0.86	Executor set job limit to 1000000
0.98/0.86	Executor set job limit to 1000000
0.98/0.86	Executor set job limit to 1000000
0.98/0.86	Executor set job limit to 1000000
0.98/0.86	Starting Executor!
0.98/0.86	Starting Executor!
0.98/0.86	Starting Executor!
0.98/0.86	Starting Executor!
2.87/1.94	01:40 INFO : 2100 variables remaining out of 2100
2.87/1.94	01:40 INFO : 1249876 literals remaining out of 647452

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

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: 6.33 7.68 7.89 4/194 4069
/proc/meminfo: memFree=23583448/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 1490 0 0 0 0 0 0 0 22 0 2 0 598800475 31260672 953 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 7632 953 733 9 0 383 0
[pid=4069/tid=4070] ppid=4067 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) R 4067 4069 3309 0 -1 4202560 133 0 0 0 0 0 0 0 25 0 2 0 598800476 31260672 953 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260905393920 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.014691 s]
/proc/loadavg: 6.33 7.68 7.89 4/194 4069
/proc/meminfo: memFree=23583448/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 1573 0 0 0 0 0 0 0 22 0 2 0 598800475 36646912 1018 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 8947 1018 785 9 0 386 0
[pid=4069/tid=4070] ppid=4067 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) S 4067 4069 3309 0 -1 4202560 216 0 0 0 0 0 0 0 25 0 2 0 598800476 36646912 1018 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260905414214 0 0 0 16784584 4197096471771742207 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 35788

[startup+0.100732 s]
/proc/loadavg: 6.33 7.68 7.89 4/194 4069
/proc/meminfo: memFree=23583448/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=15609780 CPUtime=0.05 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 4363 0 1 0 5 0 0 0 22 0 18 0 598800475 15984414720 3803 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 3902445 3804 1778 9 0 3893164 0
[pid=4069/tid=4070] ppid=4067 vsize=15609780 CPUtime=0.05 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) R 4067 4069 3309 0 -1 4202560 2947 0 1 0 5 0 0 0 25 0 18 0 598800476 15984414720 3804 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 47618248715363 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.300588 s]
/proc/loadavg: 6.33 7.68 7.89 4/194 4069
/proc/meminfo: memFree=23583448/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=15679412 CPUtime=0.43 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 11212 0 1 0 41 2 0 0 22 0 18 0 598800475 16055717888 9900 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 3919853 9902 2207 9 0 3910572 0
[pid=4069/tid=4070] ppid=4067 vsize=15679412 CPUtime=0.25 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) R 4067 4069 3309 0 -1 4202560 6852 0 1 0 24 1 0 0 18 0 18 0 598800476 16055717888 9904 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912505511518 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 15679412

[startup+0.700517 s]
/proc/loadavg: 6.33 7.68 7.89 4/194 4069
/proc/meminfo: memFree=23583448/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=15680356 CPUtime=0.88 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 41787 0 1 0 83 5 0 0 22 0 18 0 598800475 16056684544 40292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 3920089 40292 2224 9 0 3910808 0
[pid=4069/tid=4070] ppid=4067 vsize=15680356 CPUtime=0.64 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) R 4067 4069 3309 0 -1 4202560 35542 0 1 0 60 4 0 0 18 0 18 0 598800476 16056684544 40292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912505522436 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 15680356

[startup+1.50137 s]
/proc/loadavg: 6.33 7.68 7.89 4/220 4095
/proc/meminfo: memFree=23288864/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=15697028 CPUtime=2.22 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 50278 0 1 0 216 6 0 0 22 0 22 0 598800475 16073756672 44715 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 3924257 44715 2257 9 0 3914976 0
[pid=4069/tid=4070] ppid=4067 vsize=15697028 CPUtime=1.44 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) R 4067 4069 3309 0 -1 4202560 35646 0 1 0 139 5 0 0 21 0 22 0 598800476 16073756672 44715 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 47618244931289 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4069/tid=4072] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 598800480 16073756672 44715 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4073] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3309 0 -1 4202560 689 0 0 0 0 0 0 0 18 0 22 0 598800480 16073756672 44715 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4074] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3309 0 -1 4202560 284 0 0 0 0 0 0 0 18 0 22 0 598800480 16073756672 44715 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4075] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3309 0 -1 4202560 19 0 0 0 0 0 0 0 18 0 22 0 598800480 16073756672 44715 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 598800480 16073756672 44715 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4077] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3309 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 22 0 598800480 16073756672 44715 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4078] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4078/stat : 4078 (java) S 4067 4069 3309 0 -1 4202560 326 0 0 0 0 0 0 0 18 0 22 0 598800480 16073756672 44715 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4079] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4079/stat : 4079 (java) S 4067 4069 3309 0 -1 4202560 26 0 0 0 0 0 0 0 18 0 22 0 598800480 16073756672 44715 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4080] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4080/stat : 4080 (java) S 4067 4069 3309 0 -1 4202560 71 0 0 0 0 0 0 0 18 0 22 0 598800481 16073756672 44716 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 0 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4081] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4081/stat : 4081 (java) S 4067 4069 3309 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 598800481 16073756672 44717 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4082] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4082/stat : 4082 (java) S 4067 4069 3309 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 598800481 16073756672 44717 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4083] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4083/stat : 4083 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 598800484 16073756672 44717 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917217713 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4084] ppid=4067 vsize=15697028 CPUtime=0.37 cores=0,2,4,6
/proc/4069/task/4084/stat : 4084 (java) R 4067 4069 3309 0 -1 4202560 5255 0 0 0 37 0 0 0 16 0 22 0 598800484 16073756672 44717 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 47618243495320 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4069/tid=4085] ppid=4067 vsize=15697028 CPUtime=0.37 cores=0,2,4,6
/proc/4069/task/4085/stat : 4085 (java) S 4067 4069 3309 0 -1 4202560 6438 0 0 0 37 0 0 0 15 0 22 0 598800484 16073756672 44717 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4086] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4086/stat : 4086 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 598800484 16073756672 44717 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4087] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4087/stat : 4087 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 598800484 16073756672 44717 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 4 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4092] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4092/stat : 4092 (java) S 4067 4069 3309 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 598800562 16073756672 44718 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4093] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4093/stat : 4093 (java) S 4067 4069 3309 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 598800562 16073756672 44718 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4094] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4094/stat : 4094 (java) S 4067 4069 3309 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 598800562 16073756672 44718 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4095] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4095/stat : 4095 (java) S 4067 4069 3309 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 598800562 16073756672 44718 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 15697028

[startup+3.12207 s]
/proc/loadavg: 6.33 7.68 7.89 5/220 4095
/proc/meminfo: memFree=23183960/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=15697028 CPUtime=5.91 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 111251 0 1 0 574 17 0 0 22 0 22 0 598800475 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 3924257 105004 2274 9 0 3914976 0
[pid=4069/tid=4070] ppid=4067 vsize=15697028 CPUtime=1.89 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) S 4067 4069 3309 0 -1 4202560 35698 0 1 0 184 5 0 0 22 0 22 0 598800476 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4072] ppid=4067 vsize=15697028 CPUtime=0.01 cores=0,2,4,6
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3309 0 -1 4202560 6379 0 0 0 0 1 0 0 16 0 22 0 598800480 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4073] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3309 0 -1 4202560 3013 0 0 0 0 0 0 0 16 0 22 0 598800480 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4074] ppid=4067 vsize=15697028 CPUtime=0.02 cores=0,2,4,6
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3309 0 -1 4202560 9097 0 0 0 1 1 0 0 16 0 22 0 598800480 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4075] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3309 0 -1 4202560 2828 0 0 0 0 0 0 0 16 0 22 0 598800480 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3309 0 -1 4202560 550 0 0 0 0 0 0 0 16 0 22 0 598800480 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4077] ppid=4067 vsize=15697028 CPUtime=0.01 cores=0,2,4,6
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3309 0 -1 4202560 4391 0 0 0 1 0 0 0 16 0 22 0 598800480 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4078] ppid=4067 vsize=15697028 CPUtime=0.01 cores=0,2,4,6
/proc/4069/task/4078/stat : 4078 (java) S 4067 4069 3309 0 -1 4202560 4892 0 0 0 0 1 0 0 16 0 22 0 598800480 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4079] ppid=4067 vsize=15697028 CPUtime=0.01 cores=0,2,4,6
/proc/4069/task/4079/stat : 4079 (java) S 4067 4069 3309 0 -1 4202560 3033 0 0 0 1 0 0 0 16 0 22 0 598800480 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4080] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4080/stat : 4080 (java) S 4067 4069 3309 0 -1 4202560 238 0 0 0 0 0 0 0 15 0 22 0 598800481 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 0 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4081] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4081/stat : 4081 (java) S 4067 4069 3309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 598800481 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4082] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4082/stat : 4082 (java) S 4067 4069 3309 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 598800481 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4083] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4083/stat : 4083 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 598800484 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917217713 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4084] ppid=4067 vsize=15697028 CPUtime=0.7 cores=0,2,4,6
/proc/4069/task/4084/stat : 4084 (java) S 4067 4069 3309 0 -1 4202560 5469 0 0 0 69 1 0 0 15 0 22 0 598800484 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4085] ppid=4067 vsize=15697028 CPUtime=0.8 cores=0,2,4,6
/proc/4069/task/4085/stat : 4085 (java) S 4067 4069 3309 0 -1 4202560 6554 0 0 0 80 0 0 0 15 0 22 0 598800484 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4086] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4086/stat : 4086 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 598800484 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4087] ppid=4067 vsize=15697028 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4087/stat : 4087 (java) R 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 598800484 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4069/tid=4092] ppid=4067 vsize=15697028 CPUtime=0.23 cores=0,2,4,6
/proc/4069/task/4092/stat : 4092 (java) R 4067 4069 3309 0 -1 4202560 8262 0 0 0 23 0 0 0 16 0 22 0 598800562 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506132183 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4069/tid=4093] ppid=4067 vsize=15697028 CPUtime=0.69 cores=0,2,4,6
/proc/4069/task/4093/stat : 4093 (java) R 4067 4069 3309 0 -1 4202560 7040 0 0 0 69 0 0 0 16 0 22 0 598800562 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506099011 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4069/tid=4094] ppid=4067 vsize=15697028 CPUtime=0.7 cores=0,2,4,6
/proc/4069/task/4094/stat : 4094 (java) R 4067 4069 3309 0 -1 4202560 9948 0 0 0 70 0 0 0 16 0 22 0 598800562 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506132337 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4069/tid=4095] ppid=4067 vsize=15697028 CPUtime=0.69 cores=0,2,4,6
/proc/4069/task/4095/stat : 4095 (java) R 4067 4069 3309 0 -1 4202560 2474 0 0 0 69 0 0 0 15 0 22 0 598800562 16073756672 105004 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912505524165 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 15697028

[startup+6.30149 s]
/proc/loadavg: 6.54 7.70 7.90 11/220 4095
/proc/meminfo: memFree=21922524/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=15697028 CPUtime=18.59 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 251667 0 1 0 1820 39 0 0 22 0 22 0 598800475 16073756672 244292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 3924257 244292 2284 9 0 3914976 0
[pid=4069/tid=4070] ppid=4067 vsize=15697028 CPUtime=1.89 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) S 4067 4069 3309 0 -1 4202560 35698 0 1 0 184 5 0 0 22 0 22 0 598800476 16073756672 244292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4072] ppid=4067 vsize=15697028 CPUtime=0.06 cores=0,2,4,6
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3309 0 -1 4202560 16549 0 0 0 3 3 0 0 16 0 22 0 598800480 16073756672 244292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4073] ppid=4067 vsize=15697028 CPUtime=0.03 cores=0,2,4,6
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3309 0 -1 4202560 11069 0 0 0 2 1 0 0 16 0 22 0 598800480 16073756672 244292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4074] ppid=4067 vsize=15697028 CPUtime=0.04 cores=0,2,4,6
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3309 0 -1 4202560 13120 0 0 0 2 2 0 0 15 0 22 0 598800480 16073756672 244292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4075] ppid=4067 vsize=15697028 CPUtime=0.06 cores=0,2,4,6
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3309 0 -1 4202560 17317 0 0 0 3 3 0 0 15 0 22 0 598800480 16073756672 244292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=15697028 CPUtime=0.04 cores=0,2,4,6
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3309 0 -1 4202560 10842 0 0 0 3 1 0 0 16 0 22 0 598800480 16073756672 244292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4077] ppid=4067 vsize=15697028 CPUtime=0.03 cores=0,2,4,6
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3309 0 -1 4202560 11940 0 0 0 2 1 0 0 15 0 22 0 598800480 16073756672 244292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4078] ppid=4067 vsize=15697028 CPUtime=0.1 cores=0,2,4,6
/proc/4069/task/4078/stat : 4078 (java) S 4067 4069 3309 0 -1 4202560 27804 0 0 0 5 5 0 0 16 0 22 0 598800480 16073756672 244292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4079] ppid=4067 vsize=15697028 CPUtime=0.05 cores=0,2,4,6
/proc/4069/task/4079/stat : 4079 (java) S 4067 4069 3309 0 -1 4202560 15245 0 0 0 3 2 0 0 15 0 22 0 598800480 16073756672 244292 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0

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

[pid=4069/tid=4093] ppid=4067 vsize=15693516 CPUtime=1046.99 cores=0,2,4,6
/proc/4069/task/4093/stat : 4093 (java) R 4067 4069 3309 0 -1 4202560 363624 0 0 0 104653 46 0 0 25 0 22 0 598800562 16070160384 173553 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506098730 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4069/tid=4094] ppid=4067 vsize=15693516 CPUtime=1048.63 cores=0,2,4,6
/proc/4069/task/4094/stat : 4094 (java) R 4067 4069 3309 0 -1 4202560 376021 0 0 0 104814 49 0 0 25 0 22 0 598800562 16070160384 173553 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506021295 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4069/tid=4095] ppid=4067 vsize=15693516 CPUtime=1047.36 cores=0,2,4,6
/proc/4069/task/4095/stat : 4095 (java) R 4067 4069 3309 0 -1 4202560 353195 0 0 0 104687 49 0 0 25 0 22 0 598800562 16070160384 173553 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506103232 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4224.67
Current children cumulated vsize (KiB) 15693516

[startup+1122.3 s]
/proc/loadavg: 8.26 8.11 8.03 9/220 4125
/proc/meminfo: memFree=21962100/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=15693516 CPUtime=4463.58 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 3055176 0 1 0 445814 544 0 0 22 0 22 0 598800475 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 3923379 173325 2297 9 0 3914098 0
[pid=4069/tid=4070] ppid=4067 vsize=15693516 CPUtime=1.89 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) S 4067 4069 3309 0 -1 4202560 35698 0 1 0 184 5 0 0 22 0 22 0 598800476 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4072] ppid=4067 vsize=15693516 CPUtime=3.91 cores=0,2,4,6
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3309 0 -1 4202560 179512 0 0 0 358 33 0 0 15 0 22 0 598800480 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4073] ppid=4067 vsize=15693516 CPUtime=3.8 cores=0,2,4,6
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3309 0 -1 4202560 175317 0 0 0 345 35 0 0 16 0 22 0 598800480 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4074] ppid=4067 vsize=15693516 CPUtime=4 cores=0,2,4,6
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3309 0 -1 4202560 179240 0 0 0 368 32 0 0 15 0 22 0 598800480 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4075] ppid=4067 vsize=15693516 CPUtime=3.83 cores=0,2,4,6
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3309 0 -1 4202560 177181 0 0 0 350 33 0 0 15 0 22 0 598800480 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=15693516 CPUtime=3.9 cores=0,2,4,6
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3309 0 -1 4202560 180420 0 0 0 356 34 0 0 16 0 22 0 598800480 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4077] ppid=4067 vsize=15693516 CPUtime=3.89 cores=0,2,4,6
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3309 0 -1 4202560 182973 0 0 0 356 33 0 0 15 0 22 0 598800480 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4078] ppid=4067 vsize=15693516 CPUtime=3.85 cores=0,2,4,6
/proc/4069/task/4078/stat : 4078 (java) S 4067 4069 3309 0 -1 4202560 189177 0 0 0 349 36 0 0 16 0 22 0 598800480 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4079] ppid=4067 vsize=15693516 CPUtime=4.01 cores=0,2,4,6
/proc/4069/task/4079/stat : 4079 (java) S 4067 4069 3309 0 -1 4202560 187766 0 0 0 366 35 0 0 16 0 22 0 598800480 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4080] ppid=4067 vsize=15693516 CPUtime=1.84 cores=0,2,4,6
/proc/4069/task/4080/stat : 4080 (java) S 4067 4069 3309 0 -1 4202560 7835 0 0 0 127 57 0 0 15 0 22 0 598800481 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 0 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4081] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4081/stat : 4081 (java) S 4067 4069 3309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 598800481 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4082] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4082/stat : 4082 (java) S 4067 4069 3309 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 598800481 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4083] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4083/stat : 4083 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 598800484 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917217713 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4084] ppid=4067 vsize=15693516 CPUtime=1.01 cores=0,2,4,6
/proc/4069/task/4084/stat : 4084 (java) S 4067 4069 3309 0 -1 4202560 6444 0 0 0 100 1 0 0 16 0 22 0 598800484 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4085] ppid=4067 vsize=15693516 CPUtime=1 cores=0,2,4,6
/proc/4069/task/4085/stat : 4085 (java) S 4067 4069 3309 0 -1 4202560 6592 0 0 0 100 0 0 0 15 0 22 0 598800484 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4086] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4086/stat : 4086 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 598800484 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4087] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4087/stat : 4087 (java) S 4067 4069 3309 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 598800484 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4092] ppid=4067 vsize=15693516 CPUtime=1105.74 cores=0,2,4,6
/proc/4069/task/4092/stat : 4092 (java) R 4067 4069 3309 0 -1 4202560 387042 0 0 0 110525 49 0 0 25 0 22 0 598800562 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912505963487 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4069/tid=4093] ppid=4067 vsize=15693516 CPUtime=1106.29 cores=0,2,4,6
/proc/4069/task/4093/stat : 4093 (java) R 4067 4069 3309 0 -1 4202560 385864 0 0 0 110579 50 0 0 25 0 22 0 598800562 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912505963568 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4069/tid=4094] ppid=4067 vsize=15693516 CPUtime=1107.95 cores=0,2,4,6
/proc/4069/task/4094/stat : 4094 (java) R 4067 4069 3309 0 -1 4202560 399196 0 0 0 110743 52 0 0 25 0 22 0 598800562 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912505717440 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4069/tid=4095] ppid=4067 vsize=15693516 CPUtime=1106.52 cores=0,2,4,6
/proc/4069/task/4095/stat : 4095 (java) R 4067 4069 3309 0 -1 4202560 373471 0 0 0 110600 52 0 0 25 0 22 0 598800562 16070160384 173325 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506045049 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4463.58
Current children cumulated vsize (KiB) 15693516

[startup+1182.3 s]
/proc/loadavg: 8.20 8.12 8.03 9/220 4127
/proc/meminfo: memFree=21994928/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=15693516 CPUtime=4702.49 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 3213296 0 1 0 469679 570 0 0 22 0 22 0 598800475 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 3923379 184595 2297 9 0 3914098 0
[pid=4069/tid=4070] ppid=4067 vsize=15693516 CPUtime=1.89 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) S 4067 4069 3309 0 -1 4202560 35698 0 1 0 184 5 0 0 22 0 22 0 598800476 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4072] ppid=4067 vsize=15693516 CPUtime=4.15 cores=0,2,4,6
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3309 0 -1 4202560 189528 0 0 0 380 35 0 0 15 0 22 0 598800480 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4073] ppid=4067 vsize=15693516 CPUtime=4 cores=0,2,4,6
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3309 0 -1 4202560 183117 0 0 0 364 36 0 0 16 0 22 0 598800480 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4074] ppid=4067 vsize=15693516 CPUtime=4.2 cores=0,2,4,6
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3309 0 -1 4202560 189545 0 0 0 386 34 0 0 15 0 22 0 598800480 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4075] ppid=4067 vsize=15693516 CPUtime=4.03 cores=0,2,4,6
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3309 0 -1 4202560 186202 0 0 0 368 35 0 0 16 0 22 0 598800480 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=15693516 CPUtime=4.1 cores=0,2,4,6
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3309 0 -1 4202560 188420 0 0 0 375 35 0 0 15 0 22 0 598800480 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4077] ppid=4067 vsize=15693516 CPUtime=4.1 cores=0,2,4,6
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3309 0 -1 4202560 190976 0 0 0 376 34 0 0 16 0 22 0 598800480 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4078] ppid=4067 vsize=15693516 CPUtime=4.03 cores=0,2,4,6
/proc/4069/task/4078/stat : 4078 (java) S 4067 4069 3309 0 -1 4202560 197290 0 0 0 366 37 0 0 16 0 22 0 598800480 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4079] ppid=4067 vsize=15693516 CPUtime=4.17 cores=0,2,4,6
/proc/4069/task/4079/stat : 4079 (java) S 4067 4069 3309 0 -1 4202560 193998 0 0 0 381 36 0 0 15 0 22 0 598800480 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4080] ppid=4067 vsize=15693516 CPUtime=1.94 cores=0,2,4,6
/proc/4069/task/4080/stat : 4080 (java) S 4067 4069 3309 0 -1 4202560 8271 0 0 0 134 60 0 0 15 0 22 0 598800481 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 0 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4081] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4081/stat : 4081 (java) S 4067 4069 3309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 598800481 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4082] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4082/stat : 4082 (java) S 4067 4069 3309 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 598800481 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4083] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4083/stat : 4083 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 598800484 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917217713 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4084] ppid=4067 vsize=15693516 CPUtime=1.01 cores=0,2,4,6
/proc/4069/task/4084/stat : 4084 (java) S 4067 4069 3309 0 -1 4202560 6444 0 0 0 100 1 0 0 16 0 22 0 598800484 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4085] ppid=4067 vsize=15693516 CPUtime=1 cores=0,2,4,6
/proc/4069/task/4085/stat : 4085 (java) S 4067 4069 3309 0 -1 4202560 6592 0 0 0 100 0 0 0 15 0 22 0 598800484 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4086] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4086/stat : 4086 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 598800484 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4087] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4087/stat : 4087 (java) S 4067 4069 3309 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 598800484 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4092] ppid=4067 vsize=15693516 CPUtime=1165.12 cores=0,2,4,6
/proc/4069/task/4092/stat : 4092 (java) R 4067 4069 3309 0 -1 4202560 410509 0 0 0 116460 52 0 0 25 0 22 0 598800562 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506045051 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4069/tid=4093] ppid=4067 vsize=15693516 CPUtime=1165.66 cores=0,2,4,6
/proc/4069/task/4093/stat : 4093 (java) R 4067 4069 3309 0 -1 4202560 408205 0 0 0 116514 52 0 0 25 0 22 0 598800562 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912505777448 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4069/tid=4094] ppid=4067 vsize=15693516 CPUtime=1167.26 cores=0,2,4,6
/proc/4069/task/4094/stat : 4094 (java) R 4067 4069 3309 0 -1 4202560 421125 0 0 0 116672 54 0 0 25 0 22 0 598800562 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506072458 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4069/tid=4095] ppid=4067 vsize=15693516 CPUtime=1165.66 cores=0,2,4,6
/proc/4069/task/4095/stat : 4095 (java) R 4067 4069 3309 0 -1 4202560 395926 0 0 0 116511 55 0 0 25 0 22 0 598800562 16070160384 184595 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506098908 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4702.49
Current children cumulated vsize (KiB) 15693516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.8 s]
/proc/loadavg: 8.20 8.13 8.03 6/197 4130
/proc/meminfo: memFree=22956708/32950928 swapFree=67071984/67111528
[pid=4069] ppid=4067 vsize=15693516 CPUtime=4800.07 cores=0,2,4,6
/proc/4069/stat : 4069 (java) S 4067 4069 3309 0 -1 4202496 3254358 0 1 0 479431 576 0 0 22 0 22 0 598800475 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917196773 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/4069/statm: 3923379 165962 2297 9 0 3914098 0
[pid=4069/tid=4070] ppid=4067 vsize=15693516 CPUtime=1.89 cores=0,2,4,6
/proc/4069/task/4070/stat : 4070 (java) S 4067 4069 3309 0 -1 4202560 35698 0 1 0 184 5 0 0 22 0 22 0 598800476 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4072] ppid=4067 vsize=15693516 CPUtime=4.24 cores=0,2,4,6
/proc/4069/task/4072/stat : 4072 (java) S 4067 4069 3309 0 -1 4202560 190840 0 0 0 389 35 0 0 15 0 22 0 598800480 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4073] ppid=4067 vsize=15693516 CPUtime=4.08 cores=0,2,4,6
/proc/4069/task/4073/stat : 4073 (java) S 4067 4069 3309 0 -1 4202560 185186 0 0 0 372 36 0 0 16 0 22 0 598800480 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4074] ppid=4067 vsize=15693516 CPUtime=4.29 cores=0,2,4,6
/proc/4069/task/4074/stat : 4074 (java) S 4067 4069 3309 0 -1 4202560 192058 0 0 0 394 35 0 0 15 0 22 0 598800480 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4075] ppid=4067 vsize=15693516 CPUtime=4.12 cores=0,2,4,6
/proc/4069/task/4075/stat : 4075 (java) S 4067 4069 3309 0 -1 4202560 187532 0 0 0 377 35 0 0 15 0 22 0 598800480 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4076] ppid=4067 vsize=15693516 CPUtime=4.18 cores=0,2,4,6
/proc/4069/task/4076/stat : 4076 (java) S 4067 4069 3309 0 -1 4202560 189263 0 0 0 383 35 0 0 16 0 22 0 598800480 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4077] ppid=4067 vsize=15693516 CPUtime=4.17 cores=0,2,4,6
/proc/4069/task/4077/stat : 4077 (java) S 4067 4069 3309 0 -1 4202560 193411 0 0 0 383 34 0 0 16 0 22 0 598800480 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 4 0 0 0
[pid=4069/tid=4078] ppid=4067 vsize=15693516 CPUtime=4.13 cores=0,2,4,6
/proc/4069/task/4078/stat : 4078 (java) S 4067 4069 3309 0 -1 4202560 199111 0 0 0 375 38 0 0 15 0 22 0 598800480 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4079] ppid=4067 vsize=15693516 CPUtime=4.26 cores=0,2,4,6
/proc/4069/task/4079/stat : 4079 (java) S 4067 4069 3309 0 -1 4202560 196477 0 0 0 390 36 0 0 16 0 22 0 598800480 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4080] ppid=4067 vsize=15693516 CPUtime=1.97 cores=0,2,4,6
/proc/4069/task/4080/stat : 4080 (java) S 4067 4069 3309 0 -1 4202560 8422 0 0 0 136 61 0 0 15 0 22 0 598800481 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 0 0 16800975 18446604453889905920 0 0 -1 6 0 0 0
[pid=4069/tid=4081] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4081/stat : 4081 (java) S 4067 4069 3309 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 598800481 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4082] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4082/stat : 4082 (java) S 4067 4069 3309 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 598800481 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4083] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4083/stat : 4083 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 598800484 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917217713 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4084] ppid=4067 vsize=15693516 CPUtime=1.01 cores=0,2,4,6
/proc/4069/task/4084/stat : 4084 (java) S 4067 4069 3309 0 -1 4202560 6444 0 0 0 100 1 0 0 16 0 22 0 598800484 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4085] ppid=4067 vsize=15693516 CPUtime=1 cores=0,2,4,6
/proc/4069/task/4085/stat : 4085 (java) S 4067 4069 3309 0 -1 4202560 6592 0 0 0 100 0 0 0 15 0 22 0 598800484 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 0 0 0 0
[pid=4069/tid=4086] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4086/stat : 4086 (java) S 4067 4069 3309 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 598800484 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210009 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4087] ppid=4067 vsize=15693516 CPUtime=0 cores=0,2,4,6
/proc/4069/task/4087/stat : 4087 (java) S 4067 4069 3309 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 598800484 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 260917210624 0 4 0 16800975 18446604453889905920 0 0 -1 2 0 0 0
[pid=4069/tid=4092] ppid=4067 vsize=15693516 CPUtime=1189.37 cores=0,2,4,6
/proc/4069/task/4092/stat : 4092 (java) R 4067 4069 3309 0 -1 4202560 418187 0 0 0 118884 53 0 0 25 0 22 0 598800562 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506021295 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=4069/tid=4093] ppid=4067 vsize=15693516 CPUtime=1189.88 cores=0,2,4,6
/proc/4069/task/4093/stat : 4093 (java) R 4067 4069 3309 0 -1 4202560 413830 0 0 0 118935 53 0 0 21 0 22 0 598800562 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912505932243 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=4069/tid=4094] ppid=4067 vsize=15693516 CPUtime=1191.51 cores=0,2,4,6
/proc/4069/task/4094/stat : 4094 (java) R 4067 4069 3309 0 -1 4202560 427602 0 0 0 119096 55 0 0 25 0 22 0 598800562 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912505777127 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=4069/tid=4095] ppid=4067 vsize=15693516 CPUtime=1189.8 cores=0,2,4,6
/proc/4069/task/4095/stat : 4095 (java) R 4067 4069 3309 0 -1 4202560 402253 0 0 0 118925 55 0 0 25 0 22 0 598800562 16070160384 165962 33554432000 1073741824 1073778376 140736906802528 18446744073709551615 46912506021295 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 15693516

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.13
CPU user time (s): 4794.34
CPU system time (s): 5.79512
CPU usage (%): 397.743
Max. virtual memory (cumulated for all children) (KiB): 15698668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.34
system time used= 5.79512
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3254383
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= 130368
involuntary context switches= 88205

runsolver used 2.06968 second user time and 4.5813 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 16:01:38
IDJOB=3313183
IDBENCH=71367
IDSOLVER=1699
FILE ID=node116/3313183-1304085698
RUNJOBID= node116-1304085695-4032
PBS_JOBID= 13170521
Free space on /tmp= 72508 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes7.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313183-1304085698/watcher-3313183-1304085698 -o /tmp/evaluation-result-3313183-1304085698/solver-3313183-1304085698 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313183-1304085698.cnf

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

MD5SUM BENCH= 140eea74f7e66501965365160d02fa4d
RANDOM SEED=1213010263

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:      23584464 kB
Buffers:       1903528 kB
Cached:        6959808 kB
SwapCached:       9732 kB
Active:        4439720 kB
Inactive:      4498548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23584464 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:            9472 kB
Writeback:           0 kB
AnonPages:       67396 kB
Mapped:          21964 kB
Slab:           365556 kB
PageTables:       5288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   784988 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-29 16:21:47