Trace number 3312922

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1? (TO) 4800.12 1206.96

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m42-q663-n40-p30-s67876261.cnf
MD5SUMed0227339111fb337104188c725538d0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.24481
Satisfiable
(Un)Satisfiability was proved
Number of variables1634
Number of clauses212885
Sum of the clauses size427324
Maximum clause length42
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2212845
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

0.10/0.12	46:17 INFO : Reading from input HOME/instance-3312922-1304189176.cnf
1.03/0.83	Executor set job limit to 1000000
1.03/0.83	Executor set job limit to 1000000
1.03/0.83	Executor set job limit to 1000000
1.03/0.83	Executor set job limit to 1000000
1.03/0.83	Starting Executor!
1.03/0.83	Starting Executor!
1.03/0.83	Starting Executor!
1.03/0.83	Starting Executor!
3.41/2.15	46:19 INFO : 1634 variables remaining out of 1634
3.41/2.15	46:19 INFO : 1278744 literals remaining out of 640209

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-3312922-1304189176/watcher-3312922-1304189176 -o /tmp/evaluation-result-3312922-1304189176/solver-3312922-1304189176 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312922-1304189176.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: 7.81 7.20 6.77 5/198 17059
/proc/meminfo: memFree=29753556/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=9100 CPUtime=0 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 657 0 0 0 0 0 0 0 25 0 1 0 530518106 9318400 147 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230809163776 0 2147483391 4096 0 18446744071699199166 0 0 17 2 0 0 0
/proc/17059/statm: 2275 147 118 9 0 67 0

[startup+0.0270539 s]
/proc/loadavg: 7.81 7.20 6.77 5/198 17059
/proc/meminfo: memFree=29753556/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=15602060 CPUtime=0.01 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 3373 0 1 0 1 0 0 0 25 0 11 0 530518106 15976509440 2815 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/17059/statm: 3900515 2815 1619 9 0 3891263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15602060

[startup+0.101042 s]
/proc/loadavg: 7.81 7.20 6.77 5/198 17059
/proc/meminfo: memFree=29753556/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=15675924 CPUtime=0.1 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 5501 0 1 0 9 1 0 0 25 0 18 0 530518106 16052146176 4941 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17059/statm: 3918981 4941 2116 9 0 3909700 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15675924

[startup+0.300996 s]
/proc/loadavg: 7.81 7.20 6.77 5/198 17059
/proc/meminfo: memFree=29753556/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=15679248 CPUtime=0.51 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 13984 0 1 0 49 2 0 0 25 0 18 0 530518106 16055549952 12504 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17059/statm: 3919812 12508 2207 9 0 3910531 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679248

[startup+0.700958 s]
/proc/loadavg: 7.81 7.20 6.77 5/198 17059
/proc/meminfo: memFree=29753556/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=15679100 CPUtime=0.92 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 41794 0 1 0 86 6 0 0 25 0 18 0 530518106 16055398400 40240 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17059/statm: 3919775 40240 2223 9 0 3910494 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679100

[startup+1.50077 s]
/proc/loadavg: 7.66 7.18 6.76 7/220 17081
/proc/meminfo: memFree=29598444/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=15708968 CPUtime=2.36 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 52762 0 1 0 229 7 0 0 25 0 22 0 530518106 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17059/statm: 3927242 47083 2250 9 0 3917961 0
[pid=17059/tid=17061] ppid=17057 vsize=15708968 CPUtime=1.47 cores=0,2,4,6
/proc/17059/task/17061/stat : 17061 (java) R 17057 17059 16197 0 -1 4202560 35597 0 1 0 142 5 0 0 21 0 22 0 530518107 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912505165394 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17059/tid=17062] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17062/stat : 17062 (java) S 17057 17059 16197 0 -1 4202560 707 0 0 0 0 0 0 0 18 0 22 0 530518108 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17063] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17063/stat : 17063 (java) S 17057 17059 16197 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 22 0 530518108 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17064] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17064/stat : 17064 (java) S 17057 17059 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530518108 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17065] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17065/stat : 17065 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 530518108 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17066] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17066/stat : 17066 (java) S 17057 17059 16197 0 -1 4202560 29 0 0 0 0 0 0 0 18 0 22 0 530518108 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17067] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17067/stat : 17067 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 530518108 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17068] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17068/stat : 17068 (java) S 17057 17059 16197 0 -1 4202560 333 0 0 0 0 0 0 0 18 0 22 0 530518108 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17069] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17069/stat : 17069 (java) S 17057 17059 16197 0 -1 4202560 349 0 0 0 0 0 0 0 18 0 22 0 530518108 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17070] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17070/stat : 17070 (java) S 17057 17059 16197 0 -1 4202560 71 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 0 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17071] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17071/stat : 17071 (java) S 17057 17059 16197 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 530518109 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17072] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17072/stat : 17072 (java) S 17057 17059 16197 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 530518109 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17073] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17073/stat : 17073 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17074] ppid=17057 vsize=15708968 CPUtime=0.67 cores=0,2,4,6
/proc/17059/task/17074/stat : 17074 (java) R 17057 17059 16197 0 -1 4202560 11530 0 0 0 66 1 0 0 18 0 22 0 530518111 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 47443669073312 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17059/tid=17075] ppid=17057 vsize=15708968 CPUtime=0.18 cores=0,2,4,6
/proc/17059/task/17075/stat : 17075 (java) R 17057 17059 16197 0 -1 4202560 2698 0 0 0 18 0 0 0 15 0 22 0 530518111 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 47443666773672 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17059/tid=17076] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17076/stat : 17076 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17077] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17077/stat : 17077 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530518111 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17078] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17078/stat : 17078 (java) S 17057 17059 16197 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 530518190 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17079] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17079/stat : 17079 (java) S 17057 17059 16197 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 530518190 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17080] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17080/stat : 17080 (java) S 17057 17059 16197 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 530518190 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17081] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17081/stat : 17081 (java) S 17057 17059 16197 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 530518190 16085983232 47083 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 15708968

[startup+3.10145 s]
/proc/loadavg: 7.66 7.18 6.76 6/220 17081
/proc/meminfo: memFree=29565212/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=15708968 CPUtime=5.83 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 82214 0 1 0 571 12 0 0 25 0 22 0 530518106 16085983232 74061 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17059/statm: 3927242 74062 2273 9 0 3917961 0
[pid=17059/tid=17061] ppid=17057 vsize=15708968 CPUtime=2.12 cores=0,2,4,6
/proc/17059/task/17061/stat : 17061 (java) S 17057 17059 16197 0 -1 4202560 35654 0 1 0 207 5 0 0 18 0 22 0 530518107 16085983232 74062 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17062] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17062/stat : 17062 (java) S 17057 17059 16197 0 -1 4202560 3822 0 0 0 0 0 0 0 16 0 22 0 530518108 16085983232 74063 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17063] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17063/stat : 17063 (java) S 17057 17059 16197 0 -1 4202560 2402 0 0 0 0 0 0 0 16 0 22 0 530518108 16085983232 74063 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17064] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17064/stat : 17064 (java) S 17057 17059 16197 0 -1 4202560 2164 0 0 0 0 0 0 0 16 0 22 0 530518108 16085983232 74063 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17065] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17065/stat : 17065 (java) S 17057 17059 16197 0 -1 4202560 3713 0 0 0 0 0 0 0 16 0 22 0 530518108 16085983232 74063 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17066] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17066/stat : 17066 (java) S 17057 17059 16197 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 22 0 530518108 16085983232 74063 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17067] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17067/stat : 17067 (java) S 17057 17059 16197 0 -1 4202560 704 0 0 0 0 0 0 0 15 0 22 0 530518108 16085983232 74064 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17068] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17068/stat : 17068 (java) S 17057 17059 16197 0 -1 4202560 333 0 0 0 0 0 0 0 15 0 22 0 530518108 16085983232 74064 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17069] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17069/stat : 17069 (java) S 17057 17059 16197 0 -1 4202560 891 0 0 0 0 0 0 0 15 0 22 0 530518108 16085983232 74065 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17070] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17070/stat : 17070 (java) S 17057 17059 16197 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 22 0 530518109 16085983232 74065 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 0 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17071] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17071/stat : 17071 (java) S 17057 17059 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 74065 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17072] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17072/stat : 17072 (java) S 17057 17059 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 74065 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17073] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17073/stat : 17073 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 74065 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17074] ppid=17057 vsize=15708968 CPUtime=1.01 cores=0,2,4,6
/proc/17059/task/17074/stat : 17074 (java) S 17057 17059 16197 0 -1 4202560 11631 0 0 0 100 1 0 0 15 0 22 0 530518111 16085983232 74066 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17075] ppid=17057 vsize=15708968 CPUtime=0.75 cores=0,2,4,6
/proc/17059/task/17075/stat : 17075 (java) S 17057 17059 16197 0 -1 4202560 5072 0 0 0 75 0 0 0 15 0 22 0 530518111 16085983232 74066 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17076] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17076/stat : 17076 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 74066 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17077] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17077/stat : 17077 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 530518111 16085983232 74067 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17078] ppid=17057 vsize=15708968 CPUtime=0.73 cores=0,2,4,6
/proc/17059/task/17078/stat : 17078 (java) R 17057 17059 16197 0 -1 4202560 5024 0 0 0 73 0 0 0 16 0 22 0 530518190 16085983232 74067 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912505601112 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17059/tid=17079] ppid=17057 vsize=15708968 CPUtime=0.68 cores=0,2,4,6
/proc/17059/task/17079/stat : 17079 (java) R 17057 17059 16197 0 -1 4202560 6244 0 0 0 68 0 0 0 16 0 22 0 530518190 16085983232 74068 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506064439 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17059/tid=17080] ppid=17057 vsize=15708968 CPUtime=0.41 cores=0,2,4,6
/proc/17059/task/17080/stat : 17080 (java) R 17057 17059 16197 0 -1 4202560 3054 0 0 0 41 0 0 0 16 0 22 0 530518190 16085983232 74068 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506185426 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17059/tid=17081] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17081/stat : 17081 (java) S 17057 17059 16197 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 530518190 16085983232 74069 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 15708968

[startup+6.30087 s]
/proc/loadavg: 7.66 7.18 6.76 10/220 17081
/proc/meminfo: memFree=29046392/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=15708968 CPUtime=18.47 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 248007 0 1 0 1810 37 0 0 25 0 22 0 530518106 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17059/statm: 3927242 239280 2283 9 0 3917961 0
[pid=17059/tid=17061] ppid=17057 vsize=15708968 CPUtime=2.12 cores=0,2,4,6
/proc/17059/task/17061/stat : 17061 (java) S 17057 17059 16197 0 -1 4202560 35654 0 1 0 207 5 0 0 18 0 22 0 530518107 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17062] ppid=17057 vsize=15708968 CPUtime=0.05 cores=0,2,4,6
/proc/17059/task/17062/stat : 17062 (java) S 17057 17059 16197 0 -1 4202560 11762 0 0 0 3 2 0 0 16 0 22 0 530518108 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17063] ppid=17057 vsize=15708968 CPUtime=0.05 cores=0,2,4,6
/proc/17059/task/17063/stat : 17063 (java) S 17057 17059 16197 0 -1 4202560 13965 0 0 0 3 2 0 0 15 0 22 0 530518108 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17064] ppid=17057 vsize=15708968 CPUtime=0.04 cores=0,2,4,6
/proc/17059/task/17064/stat : 17064 (java) S 17057 17059 16197 0 -1 4202560 12181 0 0 0 3 1 0 0 16 0 22 0 530518108 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17065] ppid=17057 vsize=15708968 CPUtime=0.04 cores=0,2,4,6
/proc/17059/task/17065/stat : 17065 (java) S 17057 17059 16197 0 -1 4202560 13706 0 0 0 2 2 0 0 16 0 22 0 530518108 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17066] ppid=17057 vsize=15708968 CPUtime=0.03 cores=0,2,4,6
/proc/17059/task/17066/stat : 17066 (java) S 17057 17059 16197 0 -1 4202560 9384 0 0 0 2 1 0 0 15 0 22 0 530518108 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17067] ppid=17057 vsize=15708968 CPUtime=0.04 cores=0,2,4,6
/proc/17059/task/17067/stat : 17067 (java) S 17057 17059 16197 0 -1 4202560 12158 0 0 0 2 2 0 0 16 0 22 0 530518108 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17068] ppid=17057 vsize=15708968 CPUtime=0.02 cores=0,2,4,6
/proc/17059/task/17068/stat : 17068 (java) S 17057 17059 16197 0 -1 4202560 5266 0 0 0 1 1 0 0 15 0 22 0 530518108 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17069] ppid=17057 vsize=15708968 CPUtime=0.04 cores=0,2,4,6
/proc/17059/task/17069/stat : 17069 (java) S 17057 17059 16197 0 -1 4202560 9347 0 0 0 2 2 0 0 15 0 22 0 530518108 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17070] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17070/stat : 17070 (java) S 17057 17059 16197 0 -1 4202560 602 0 0 0 0 0 0 0 16 0 22 0 530518109 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 0 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17071] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17071/stat : 17071 (java) S 17057 17059 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17072] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17072/stat : 17072 (java) S 17057 17059 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17073] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17073/stat : 17073 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17074] ppid=17057 vsize=15708968 CPUtime=1.11 cores=0,2,4,6
/proc/17059/task/17074/stat : 17074 (java) S 17057 17059 16197 0 -1 4202560 11642 0 0 0 110 1 0 0 16 0 22 0 530518111 16085983232 239280 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0

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

[pid=17059/tid=17079] ppid=17057 vsize=15708968 CPUtime=1105.79 cores=0,2,4,6
/proc/17059/task/17079/stat : 17079 (java) R 17057 17059 16197 0 -1 4202560 426517 0 0 0 110521 58 0 0 25 0 22 0 530518190 16085983232 254733 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506105194 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17059/tid=17080] ppid=17057 vsize=15708968 CPUtime=1106.62 cores=0,2,4,6
/proc/17059/task/17080/stat : 17080 (java) R 17057 17059 16197 0 -1 4202560 420461 0 0 0 110605 57 0 0 18 0 22 0 530518190 16085983232 254733 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506031555 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17059/tid=17081] ppid=17057 vsize=15708968 CPUtime=1106.03 cores=0,2,4,6
/proc/17059/task/17081/stat : 17081 (java) R 17057 17059 16197 0 -1 4202560 415293 0 0 0 110548 55 0 0 25 0 22 0 530518190 16085983232 254733 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506380014 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4462.98
Current children cumulated vsize (KiB) 15708968

[startup+1182.3 s]
/proc/loadavg: 5.12 7.14 7.37 5/193 17144
/proc/meminfo: memFree=30008952/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=15708968 CPUtime=4702.06 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 3292090 0 1 0 469596 610 0 0 25 0 22 0 530518106 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17059/statm: 3927242 216040 2296 9 0 3917961 0
[pid=17059/tid=17061] ppid=17057 vsize=15708968 CPUtime=2.12 cores=0,2,4,6
/proc/17059/task/17061/stat : 17061 (java) S 17057 17059 16197 0 -1 4202560 35654 0 1 0 207 5 0 0 18 0 22 0 530518107 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17062] ppid=17057 vsize=15708968 CPUtime=4.07 cores=0,2,4,6
/proc/17059/task/17062/stat : 17062 (java) S 17057 17059 16197 0 -1 4202560 180687 0 0 0 372 35 0 0 16 0 22 0 530518108 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17063] ppid=17057 vsize=15708968 CPUtime=4.03 cores=0,2,4,6
/proc/17059/task/17063/stat : 17063 (java) S 17057 17059 16197 0 -1 4202560 183461 0 0 0 364 39 0 0 16 0 22 0 530518108 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17064] ppid=17057 vsize=15708968 CPUtime=4.05 cores=0,2,4,6
/proc/17059/task/17064/stat : 17064 (java) S 17057 17059 16197 0 -1 4202560 186886 0 0 0 369 36 0 0 16 0 22 0 530518108 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17065] ppid=17057 vsize=15708968 CPUtime=4.12 cores=0,2,4,6
/proc/17059/task/17065/stat : 17065 (java) S 17057 17059 16197 0 -1 4202560 189035 0 0 0 375 37 0 0 15 0 22 0 530518108 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17066] ppid=17057 vsize=15708968 CPUtime=3.92 cores=0,2,4,6
/proc/17059/task/17066/stat : 17066 (java) S 17057 17059 16197 0 -1 4202560 172066 0 0 0 356 36 0 0 16 0 22 0 530518108 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17067] ppid=17057 vsize=15708968 CPUtime=3.96 cores=0,2,4,6
/proc/17059/task/17067/stat : 17067 (java) S 17057 17059 16197 0 -1 4202560 189421 0 0 0 360 36 0 0 15 0 22 0 530518108 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17068] ppid=17057 vsize=15708968 CPUtime=4.1 cores=0,2,4,6
/proc/17059/task/17068/stat : 17068 (java) S 17057 17059 16197 0 -1 4202560 178546 0 0 0 376 34 0 0 15 0 22 0 530518108 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17069] ppid=17057 vsize=15708968 CPUtime=3.99 cores=0,2,4,6
/proc/17059/task/17069/stat : 17069 (java) S 17057 17059 16197 0 -1 4202560 183940 0 0 0 364 35 0 0 15 0 22 0 530518108 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17070] ppid=17057 vsize=15708968 CPUtime=2.4 cores=0,2,4,6
/proc/17059/task/17070/stat : 17070 (java) S 17057 17059 16197 0 -1 4202560 8771 0 0 0 166 74 0 0 15 0 22 0 530518109 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 0 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17071] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17071/stat : 17071 (java) S 17057 17059 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17072] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17072/stat : 17072 (java) S 17057 17059 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17073] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17073/stat : 17073 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17074] ppid=17057 vsize=15708968 CPUtime=1.29 cores=0,2,4,6
/proc/17059/task/17074/stat : 17074 (java) S 17057 17059 16197 0 -1 4202560 11656 0 0 0 128 1 0 0 15 0 22 0 530518111 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17075] ppid=17057 vsize=15708968 CPUtime=1.04 cores=0,2,4,6
/proc/17059/task/17075/stat : 17075 (java) S 17057 17059 16197 0 -1 4202560 5654 0 0 0 104 0 0 0 16 0 22 0 530518111 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17076] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17076/stat : 17076 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17077] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17077/stat : 17077 (java) S 17057 17059 16197 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 530518111 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17078] ppid=17057 vsize=15708968 CPUtime=1166.28 cores=0,2,4,6
/proc/17059/task/17078/stat : 17078 (java) R 17057 17059 16197 0 -1 4202560 451370 0 0 0 116572 56 0 0 25 0 22 0 530518190 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506139456 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17059/tid=17079] ppid=17057 vsize=15708968 CPUtime=1165.22 cores=0,2,4,6
/proc/17059/task/17079/stat : 17079 (java) R 17057 17059 16197 0 -1 4202560 445671 0 0 0 116460 62 0 0 25 0 22 0 530518190 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506137986 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17059/tid=17080] ppid=17057 vsize=15708968 CPUtime=1165.97 cores=0,2,4,6
/proc/17059/task/17080/stat : 17080 (java) R 17057 17059 16197 0 -1 4202560 435873 0 0 0 116538 59 0 0 25 0 22 0 530518190 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506139664 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=17059/tid=17081] ppid=17057 vsize=15708968 CPUtime=1165.33 cores=0,2,4,6
/proc/17059/task/17081/stat : 17081 (java) R 17057 17059 16197 0 -1 4202560 431949 0 0 0 116476 57 0 0 25 0 22 0 530518190 16085983232 216040 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912505986706 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4702.06
Current children cumulated vsize (KiB) 15708968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.9 s]
/proc/loadavg: 4.74 6.89 7.28 5/193 17145
/proc/meminfo: memFree=29956228/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=15708968 CPUtime=4800.04 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 3366313 0 1 0 479380 624 0 0 25 0 22 0 530518106 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17059/statm: 3927242 232303 2296 9 0 3917961 0
[pid=17059/tid=17061] ppid=17057 vsize=15708968 CPUtime=2.12 cores=0,2,4,6
/proc/17059/task/17061/stat : 17061 (java) S 17057 17059 16197 0 -1 4202560 35654 0 1 0 207 5 0 0 18 0 22 0 530518107 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17062] ppid=17057 vsize=15708968 CPUtime=4.14 cores=0,2,4,6
/proc/17059/task/17062/stat : 17062 (java) S 17057 17059 16197 0 -1 4202560 185085 0 0 0 378 36 0 0 15 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17063] ppid=17057 vsize=15708968 CPUtime=4.11 cores=0,2,4,6
/proc/17059/task/17063/stat : 17063 (java) S 17057 17059 16197 0 -1 4202560 189879 0 0 0 372 39 0 0 15 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17064] ppid=17057 vsize=15708968 CPUtime=4.13 cores=0,2,4,6
/proc/17059/task/17064/stat : 17064 (java) S 17057 17059 16197 0 -1 4202560 189195 0 0 0 377 36 0 0 16 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17065] ppid=17057 vsize=15708968 CPUtime=4.21 cores=0,2,4,6
/proc/17059/task/17065/stat : 17065 (java) S 17057 17059 16197 0 -1 4202560 193562 0 0 0 383 38 0 0 15 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17066] ppid=17057 vsize=15708968 CPUtime=4 cores=0,2,4,6
/proc/17059/task/17066/stat : 17066 (java) S 17057 17059 16197 0 -1 4202560 175902 0 0 0 364 36 0 0 16 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17067] ppid=17057 vsize=15708968 CPUtime=4.06 cores=0,2,4,6
/proc/17059/task/17067/stat : 17067 (java) S 17057 17059 16197 0 -1 4202560 194798 0 0 0 368 38 0 0 16 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17068] ppid=17057 vsize=15708968 CPUtime=4.2 cores=0,2,4,6
/proc/17059/task/17068/stat : 17068 (java) S 17057 17059 16197 0 -1 4202560 181800 0 0 0 385 35 0 0 15 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17069] ppid=17057 vsize=15708968 CPUtime=4.08 cores=0,2,4,6
/proc/17059/task/17069/stat : 17069 (java) S 17057 17059 16197 0 -1 4202560 187461 0 0 0 372 36 0 0 15 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17070] ppid=17057 vsize=15708968 CPUtime=2.45 cores=0,2,4,6
/proc/17059/task/17070/stat : 17070 (java) S 17057 17059 16197 0 -1 4202560 9045 0 0 0 170 75 0 0 16 0 22 0 530518109 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 0 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17071] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17071/stat : 17071 (java) S 17057 17059 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17072] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17072/stat : 17072 (java) S 17057 17059 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17073] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17073/stat : 17073 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17074] ppid=17057 vsize=15708968 CPUtime=1.29 cores=0,2,4,6
/proc/17059/task/17074/stat : 17074 (java) S 17057 17059 16197 0 -1 4202560 11656 0 0 0 128 1 0 0 15 0 22 0 530518111 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17075] ppid=17057 vsize=15708968 CPUtime=1.04 cores=0,2,4,6
/proc/17059/task/17075/stat : 17075 (java) S 17057 17059 16197 0 -1 4202560 5654 0 0 0 104 0 0 0 16 0 22 0 530518111 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17076] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17076/stat : 17076 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17077] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17077/stat : 17077 (java) S 17057 17059 16197 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 530518111 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17078] ppid=17057 vsize=15708968 CPUtime=1190.52 cores=0,2,4,6
/proc/17059/task/17078/stat : 17078 (java) R 17057 17059 16197 0 -1 4202560 461192 0 0 0 118994 58 0 0 25 0 22 0 530518190 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506137853 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17059/tid=17079] ppid=17057 vsize=15708968 CPUtime=1189.57 cores=0,2,4,6
/proc/17059/task/17079/stat : 17079 (java) R 17057 17059 16197 0 -1 4202560 455887 0 0 0 118893 64 0 0 25 0 22 0 530518190 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912505986561 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17059/tid=17080] ppid=17057 vsize=15708968 CPUtime=1190.33 cores=0,2,4,6
/proc/17059/task/17080/stat : 17080 (java) R 17057 17059 16197 0 -1 4202560 446034 0 0 0 118972 61 0 0 25 0 22 0 530518190 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506139446 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17059/tid=17081] ppid=17057 vsize=15708968 CPUtime=1189.64 cores=0,2,4,6
/proc/17059/task/17081/stat : 17081 (java) R 17057 17059 16197 0 -1 4202560 442059 0 0 0 118906 58 0 0 25 0 22 0 530518190 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506022949 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 15708968

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

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

[startup+1206.9 s]
/proc/loadavg: 4.74 6.89 7.28 5/193 17145
/proc/meminfo: memFree=29956228/32951124 swapFree=67111448/67111528
[pid=17059] ppid=17057 vsize=15708968 CPUtime=4800.04 cores=0,2,4,6
/proc/17059/stat : 17059 (java) S 17057 17059 16197 0 -1 4202496 3366313 0 1 0 479380 624 0 0 25 0 22 0 530518106 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/17059/statm: 3927242 232303 2296 9 0 3917961 0
[pid=17059/tid=17061] ppid=17057 vsize=15708968 CPUtime=2.12 cores=0,2,4,6
/proc/17059/task/17061/stat : 17061 (java) S 17057 17059 16197 0 -1 4202560 35654 0 1 0 207 5 0 0 18 0 22 0 530518107 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17062] ppid=17057 vsize=15708968 CPUtime=4.14 cores=0,2,4,6
/proc/17059/task/17062/stat : 17062 (java) S 17057 17059 16197 0 -1 4202560 185085 0 0 0 378 36 0 0 15 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17063] ppid=17057 vsize=15708968 CPUtime=4.11 cores=0,2,4,6
/proc/17059/task/17063/stat : 17063 (java) S 17057 17059 16197 0 -1 4202560 189879 0 0 0 372 39 0 0 15 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17064] ppid=17057 vsize=15708968 CPUtime=4.13 cores=0,2,4,6
/proc/17059/task/17064/stat : 17064 (java) S 17057 17059 16197 0 -1 4202560 189195 0 0 0 377 36 0 0 16 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17065] ppid=17057 vsize=15708968 CPUtime=4.21 cores=0,2,4,6
/proc/17059/task/17065/stat : 17065 (java) S 17057 17059 16197 0 -1 4202560 193562 0 0 0 383 38 0 0 15 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17066] ppid=17057 vsize=15708968 CPUtime=4 cores=0,2,4,6
/proc/17059/task/17066/stat : 17066 (java) S 17057 17059 16197 0 -1 4202560 175902 0 0 0 364 36 0 0 16 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 6 0 0 0
[pid=17059/tid=17067] ppid=17057 vsize=15708968 CPUtime=4.06 cores=0,2,4,6
/proc/17059/task/17067/stat : 17067 (java) S 17057 17059 16197 0 -1 4202560 194798 0 0 0 368 38 0 0 16 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17068] ppid=17057 vsize=15708968 CPUtime=4.2 cores=0,2,4,6
/proc/17059/task/17068/stat : 17068 (java) S 17057 17059 16197 0 -1 4202560 181800 0 0 0 385 35 0 0 15 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17069] ppid=17057 vsize=15708968 CPUtime=4.08 cores=0,2,4,6
/proc/17059/task/17069/stat : 17069 (java) S 17057 17059 16197 0 -1 4202560 187461 0 0 0 372 36 0 0 15 0 22 0 530518108 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 4 0 0 0
[pid=17059/tid=17070] ppid=17057 vsize=15708968 CPUtime=2.45 cores=0,2,4,6
/proc/17059/task/17070/stat : 17070 (java) S 17057 17059 16197 0 -1 4202560 9045 0 0 0 170 75 0 0 16 0 22 0 530518109 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 0 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17071] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17071/stat : 17071 (java) S 17057 17059 16197 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17072] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17072/stat : 17072 (java) S 17057 17059 16197 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 530518109 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17073] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17073/stat : 17073 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820989361 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17074] ppid=17057 vsize=15708968 CPUtime=1.29 cores=0,2,4,6
/proc/17059/task/17074/stat : 17074 (java) S 17057 17059 16197 0 -1 4202560 11656 0 0 0 128 1 0 0 15 0 22 0 530518111 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17075] ppid=17057 vsize=15708968 CPUtime=1.04 cores=0,2,4,6
/proc/17059/task/17075/stat : 17075 (java) S 17057 17059 16197 0 -1 4202560 5654 0 0 0 104 0 0 0 16 0 22 0 530518111 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 0 0 0 0
[pid=17059/tid=17076] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17076/stat : 17076 (java) S 17057 17059 16197 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 530518111 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820981657 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17077] ppid=17057 vsize=15708968 CPUtime=0 cores=0,2,4,6
/proc/17059/task/17077/stat : 17077 (java) S 17057 17059 16197 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 530518111 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 230820982272 0 4 0 16800975 18446604453828098112 0 0 -1 2 0 0 0
[pid=17059/tid=17078] ppid=17057 vsize=15708968 CPUtime=1190.52 cores=0,2,4,6
/proc/17059/task/17078/stat : 17078 (java) R 17057 17059 16197 0 -1 4202560 461192 0 0 0 118994 58 0 0 25 0 22 0 530518190 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506137853 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=17059/tid=17079] ppid=17057 vsize=15708968 CPUtime=1189.57 cores=0,2,4,6
/proc/17059/task/17079/stat : 17079 (java) R 17057 17059 16197 0 -1 4202560 455887 0 0 0 118893 64 0 0 25 0 22 0 530518190 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912505986561 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=17059/tid=17080] ppid=17057 vsize=15708968 CPUtime=1190.33 cores=0,2,4,6
/proc/17059/task/17080/stat : 17080 (java) R 17057 17059 16197 0 -1 4202560 446034 0 0 0 118972 61 0 0 25 0 22 0 530518190 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506139446 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17059/tid=17081] ppid=17057 vsize=15708968 CPUtime=1189.64 cores=0,2,4,6
/proc/17059/task/17081/stat : 17081 (java) R 17057 17059 16197 0 -1 4202560 442059 0 0 0 118906 58 0 0 25 0 22 0 530518190 16085983232 232303 33554432000 1073741824 1073778376 140733488598112 18446744073709551615 46912506022949 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 15708968

Child status: 143
Real time (s): 1206.96
CPU time (s): 4800.12
CPU user time (s): 4793.83
CPU system time (s): 6.28904
CPU usage (%): 397.704
Max. virtual memory (cumulated for all children) (KiB): 15710160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.83
system time used= 6.28904
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3366340
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= 109514
involuntary context switches= 83392

runsolver used 2.00969 second user time and 4.64729 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-30 20:46:17
IDJOB=3312922
IDBENCH=88222
IDSOLVER=1699
FILE ID=node104/3312922-1304189176
RUNJOBID= node104-1304187865-16685
PBS_JOBID= 13172466
Free space on /tmp= 72536 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m42-q663-n40-p30-s67876261.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312922-1304189176/watcher-3312922-1304189176 -o /tmp/evaluation-result-3312922-1304189176/solver-3312922-1304189176 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312922-1304189176.cnf

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

MD5SUM BENCH= ed0227339111fb337104188c725538d0
RANDOM SEED=1992200766

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29753828 kB
Buffers:        431944 kB
Cached:        1167064 kB
SwapCached:         80 kB
Active:        1365764 kB
Inactive:      1420096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29753828 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            4304 kB
Writeback:           0 kB
AnonPages:     1187020 kB
Mapped:          23476 kB
Slab:           345652 kB
PageTables:       7560 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1491784 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= 72540 MiB
End job on node104 at 2011-04-30 21:06:26