Trace number 3312763

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.46 1206.94

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf
MD5SUM82834b232944ca118e4175405e325327
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.09/0.12	16:49 INFO : Reading from input HOME/instance-3312763-1304133409.cnf
0.26/0.26	Executor set job limit to 1000000
0.26/0.26	Executor set job limit to 1000000
0.26/0.26	Executor set job limit to 1000000
0.26/0.26	Executor set job limit to 1000000
0.26/0.26	Starting Executor!
0.26/0.26	Starting Executor!
0.26/0.26	Starting Executor!
0.26/0.26	Starting Executor!
0.50/0.38	16:49 INFO : 598 variables remaining out of 600
0.50/0.38	16:49 INFO : 10172 literals remaining out of 10224

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.69 4.44 5.99 4/172 24079
/proc/meminfo: memFree=30612304/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/24079/stat : 24079 (java) R 24077 24079 23020 0 -1 4202496 1132 0 0 0 0 0 0 0 18 0 1 0 524943213 23580672 620 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212431054592 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24079/statm: 5757 633 473 9 0 124 0

[startup+0.0351181 s]
/proc/loadavg: 3.69 4.44 5.99 4/172 24079
/proc/meminfo: memFree=30612304/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=15604248 CPUtime=0.02 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24077 24079 23020 0 -1 4202496 3603 0 1 0 1 1 0 0 18 0 13 0 524943213 15978749952 3045 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/24079/statm: 3901062 3045 1671 9 0 3891810 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 15604248

[startup+0.101123 s]
/proc/loadavg: 3.69 4.44 5.99 4/172 24079
/proc/meminfo: memFree=30612304/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=15677056 CPUtime=0.09 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24077 24079 23020 0 -1 4202496 5546 0 1 0 8 1 0 0 18 0 18 0 524943213 16053305344 4977 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24079/statm: 3919264 4977 2117 9 0 3909983 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15677056

[startup+0.30103 s]
/proc/loadavg: 3.69 4.44 5.99 4/172 24079
/proc/meminfo: memFree=30612304/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=15685776 CPUtime=0.5 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24077 24079 23020 0 -1 4202496 11260 0 1 0 48 2 0 0 18 0 22 0 524943213 16062234624 9591 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24079/statm: 3921444 9591 2213 9 0 3912163 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15685776

[startup+0.700957 s]
/proc/loadavg: 3.69 4.44 5.99 4/172 24079
/proc/meminfo: memFree=30612304/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=15707904 CPUtime=1.77 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24077 24079 23020 0 -1 4202496 27890 0 1 0 172 5 0 0 18 0 22 0 524943213 16084893696 22678 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24079/statm: 3926976 22679 2257 9 0 3917695 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 15707904

[startup+1.50081 s]
/proc/loadavg: 3.69 4.44 5.99 14/220 24127
/proc/meminfo: memFree=30266032/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=15707904 CPUtime=4.96 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24077 24079 23020 0 -1 4202496 59620 0 1 0 486 10 0 0 18 0 22 0 524943213 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24079/statm: 3926976 54393 2284 9 0 3917695 0
[pid=24079/tid=24085] ppid=24077 vsize=15707904 CPUtime=0.37 cores=1,3,5,7
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23020 0 -1 4202560 6607 0 1 0 35 2 0 0 20 0 22 0 524943213 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24091] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24091/stat : 24091 (java) S 24077 24079 23020 0 -1 4202560 1034 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24093] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24093/stat : 24093 (java) S 24077 24079 23020 0 -1 4202560 473 0 0 0 0 0 0 0 16 0 22 0 524943214 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24095] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24095/stat : 24095 (java) S 24077 24079 23020 0 -1 4202560 973 0 0 0 0 0 0 0 16 0 22 0 524943214 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24098] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24098/stat : 24098 (java) S 24077 24079 23020 0 -1 4202560 1348 0 0 0 0 0 0 0 16 0 22 0 524943214 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24100] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24100/stat : 24100 (java) S 24077 24079 23020 0 -1 4202560 595 0 0 0 0 0 0 0 16 0 22 0 524943214 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24101] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24101/stat : 24101 (java) S 24077 24079 23020 0 -1 4202560 1160 0 0 0 0 0 0 0 16 0 22 0 524943214 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24102] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24102/stat : 24102 (java) S 24077 24079 23020 0 -1 4202560 1517 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24103] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24103/stat : 24103 (java) S 24077 24079 23020 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24105] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24105/stat : 24105 (java) S 24077 24079 23020 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 524943215 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 0 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24107] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24107/stat : 24107 (java) S 24077 24079 23020 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24109] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24109/stat : 24109 (java) S 24077 24079 23020 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24112] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24112/stat : 24112 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524943218 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447840689 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24113] ppid=24077 vsize=15707904 CPUtime=0.55 cores=1,3,5,7
/proc/24079/task/24113/stat : 24113 (java) S 24077 24079 23020 0 -1 4202560 6790 0 0 0 54 1 0 0 17 0 22 0 524943218 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24116] ppid=24077 vsize=15707904 CPUtime=0.88 cores=1,3,5,7
/proc/24079/task/24116/stat : 24116 (java) S 24077 24079 23020 0 -1 4202560 8403 0 0 0 87 1 0 0 17 0 22 0 524943218 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24117] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24117/stat : 24117 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 524943218 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24119] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24119/stat : 24119 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524943218 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24120] ppid=24077 vsize=15707904 CPUtime=0.68 cores=1,3,5,7
/proc/24079/task/24120/stat : 24120 (java) R 24077 24079 23020 0 -1 4202560 5092 0 0 0 68 0 0 0 18 0 22 0 524943239 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24079/tid=24121] ppid=24077 vsize=15707904 CPUtime=0.72 cores=1,3,5,7
/proc/24079/task/24121/stat : 24121 (java) R 24077 24079 23020 0 -1 4202560 7586 0 0 0 72 0 0 0 16 0 22 0 524943239 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505796540 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24079/tid=24122] ppid=24077 vsize=15707904 CPUtime=0.87 cores=1,3,5,7
/proc/24079/task/24122/stat : 24122 (java) R 24077 24079 23020 0 -1 4202560 9019 0 0 0 87 0 0 0 18 0 22 0 524943239 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505796218 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24079/tid=24123] ppid=24077 vsize=15707904 CPUtime=0.77 cores=1,3,5,7
/proc/24079/task/24123/stat : 24123 (java) R 24077 24079 23020 0 -1 4202560 7502 0 0 0 77 0 0 0 17 0 22 0 524943239 16084893696 54393 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505675615 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 15707904

[startup+3.1015 s]
/proc/loadavg: 4.12 4.52 6.00 9/220 24127
/proc/meminfo: memFree=30090696/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=15707904 CPUtime=11.34 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24077 24079 23020 0 -1 4202496 155500 0 1 0 1113 21 0 0 18 0 22 0 524943213 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24079/statm: 3926976 149695 2285 9 0 3917695 0
[pid=24079/tid=24085] ppid=24077 vsize=15707904 CPUtime=0.37 cores=1,3,5,7
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23020 0 -1 4202560 6607 0 1 0 35 2 0 0 20 0 22 0 524943213 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24091] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24091/stat : 24091 (java) S 24077 24079 23020 0 -1 4202560 1724 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24093] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24093/stat : 24093 (java) S 24077 24079 23020 0 -1 4202560 627 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24095] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24095/stat : 24095 (java) S 24077 24079 23020 0 -1 4202560 1919 0 0 0 0 0 0 0 16 0 22 0 524943214 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24098] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24098/stat : 24098 (java) S 24077 24079 23020 0 -1 4202560 3062 0 0 0 0 0 0 0 16 0 22 0 524943214 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24100] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24100/stat : 24100 (java) S 24077 24079 23020 0 -1 4202560 2058 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24101] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24101/stat : 24101 (java) S 24077 24079 23020 0 -1 4202560 1437 0 0 0 0 0 0 0 16 0 22 0 524943214 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24102] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24102/stat : 24102 (java) S 24077 24079 23020 0 -1 4202560 3620 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24103] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24103/stat : 24103 (java) S 24077 24079 23020 0 -1 4202560 1135 0 0 0 0 0 0 0 16 0 22 0 524943214 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24105] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24105/stat : 24105 (java) S 24077 24079 23020 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 22 0 524943215 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 0 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24107] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24107/stat : 24107 (java) S 24077 24079 23020 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24109] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24109/stat : 24109 (java) S 24077 24079 23020 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24112] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24112/stat : 24112 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524943218 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447840689 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24113] ppid=24077 vsize=15707904 CPUtime=0.69 cores=1,3,5,7
/proc/24079/task/24113/stat : 24113 (java) S 24077 24079 23020 0 -1 4202560 7325 0 0 0 68 1 0 0 15 0 22 0 524943218 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24116] ppid=24077 vsize=15707904 CPUtime=0.94 cores=1,3,5,7
/proc/24079/task/24116/stat : 24116 (java) S 24077 24079 23020 0 -1 4202560 8496 0 0 0 93 1 0 0 16 0 22 0 524943218 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24117] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24117/stat : 24117 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 524943218 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24119] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24119/stat : 24119 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524943218 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24120] ppid=24077 vsize=15707904 CPUtime=2.2 cores=1,3,5,7
/proc/24079/task/24120/stat : 24120 (java) R 24077 24079 23020 0 -1 4202560 26439 0 0 0 217 3 0 0 21 0 22 0 524943239 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505742912 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24079/tid=24121] ppid=24077 vsize=15707904 CPUtime=2.31 cores=1,3,5,7
/proc/24079/task/24121/stat : 24121 (java) R 24077 24079 23020 0 -1 4202560 30566 0 0 0 229 2 0 0 18 0 22 0 524943239 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 47776419785038 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24079/tid=24122] ppid=24077 vsize=15707904 CPUtime=2.32 cores=1,3,5,7
/proc/24079/task/24122/stat : 24122 (java) R 24077 24079 23020 0 -1 4202560 29166 0 0 0 229 3 0 0 21 0 22 0 524943239 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505832127 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24079/tid=24123] ppid=24077 vsize=15707904 CPUtime=2.36 cores=1,3,5,7
/proc/24079/task/24123/stat : 24123 (java) R 24077 24079 23020 0 -1 4202560 29491 0 0 0 232 4 0 0 19 0 22 0 524943239 16084893696 149695 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912506035905 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.34
Current children cumulated vsize (KiB) 15707904

[startup+6.30089 s]
/proc/loadavg: 4.12 4.52 6.00 9/220 24127
/proc/meminfo: memFree=29327172/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=15707904 CPUtime=24.1 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24077 24079 23020 0 -1 4202496 281700 0 1 0 2374 36 0 0 18 0 22 0 524943213 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24079/statm: 3926976 273855 2285 9 0 3917695 0
[pid=24079/tid=24085] ppid=24077 vsize=15707904 CPUtime=0.37 cores=1,3,5,7
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23020 0 -1 4202560 6607 0 1 0 35 2 0 0 20 0 22 0 524943213 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24091] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24091/stat : 24091 (java) S 24077 24079 23020 0 -1 4202560 2162 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24093] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24093/stat : 24093 (java) S 24077 24079 23020 0 -1 4202560 627 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24095] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24095/stat : 24095 (java) S 24077 24079 23020 0 -1 4202560 2319 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24098] ppid=24077 vsize=15707904 CPUtime=0.01 cores=1,3,5,7
/proc/24079/task/24098/stat : 24098 (java) S 24077 24079 23020 0 -1 4202560 3374 0 0 0 1 0 0 0 15 0 22 0 524943214 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24100] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24100/stat : 24100 (java) S 24077 24079 23020 0 -1 4202560 2746 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24101] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24101/stat : 24101 (java) S 24077 24079 23020 0 -1 4202560 1588 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24102] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24102/stat : 24102 (java) S 24077 24079 23020 0 -1 4202560 3620 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24103] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24103/stat : 24103 (java) S 24077 24079 23020 0 -1 4202560 1415 0 0 0 0 0 0 0 15 0 22 0 524943214 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24105] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24105/stat : 24105 (java) S 24077 24079 23020 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 22 0 524943215 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 0 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24107] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24107/stat : 24107 (java) S 24077 24079 23020 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24109] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24109/stat : 24109 (java) S 24077 24079 23020 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24112] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24112/stat : 24112 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524943218 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447840689 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24113] ppid=24077 vsize=15707904 CPUtime=0.74 cores=1,3,5,7
/proc/24079/task/24113/stat : 24113 (java) S 24077 24079 23020 0 -1 4202560 7329 0 0 0 73 1 0 0 15 0 22 0 524943218 16084893696 273855 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0

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

[pid=24079/tid=24121] ppid=24077 vsize=15707904 CPUtime=1108.33 cores=1,3,5,7
/proc/24079/task/24121/stat : 24121 (java) S 24077 24079 23020 0 -1 4202560 460050 0 0 0 110770 63 0 0 25 0 22 0 524943239 16084893696 110623 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24122] ppid=24077 vsize=15707904 CPUtime=1107.72 cores=1,3,5,7
/proc/24079/task/24122/stat : 24122 (java) S 24077 24079 23020 0 -1 4202560 461233 0 0 0 110711 61 0 0 25 0 22 0 524943239 16084893696 110623 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24123] ppid=24077 vsize=15707904 CPUtime=1107.62 cores=1,3,5,7
/proc/24079/task/24123/stat : 24123 (java) S 24077 24079 23020 0 -1 4202560 457208 0 0 0 110702 60 0 0 25 0 22 0 524943239 16084893696 110623 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4463.86
Current children cumulated vsize (KiB) 15707904

[startup+1182.3 s]
/proc/loadavg: 8.02 7.99 7.48 9/220 24207
/proc/meminfo: memFree=29866024/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=15707904 CPUtime=4702.57 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24077 24079 23020 0 -1 4202496 3186337 0 1 0 469682 575 0 0 18 0 22 0 524943213 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24079/statm: 3926976 111707 2299 9 0 3917695 0
[pid=24079/tid=24085] ppid=24077 vsize=15707904 CPUtime=0.37 cores=1,3,5,7
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23020 0 -1 4202560 6607 0 1 0 35 2 0 0 20 0 22 0 524943213 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24091] ppid=24077 vsize=15707904 CPUtime=3.6 cores=1,3,5,7
/proc/24079/task/24091/stat : 24091 (java) S 24077 24079 23020 0 -1 4202560 153114 0 0 0 333 27 0 0 15 0 22 0 524943214 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24093] ppid=24077 vsize=15707904 CPUtime=3.58 cores=1,3,5,7
/proc/24079/task/24093/stat : 24093 (java) S 24077 24079 23020 0 -1 4202560 149947 0 0 0 332 26 0 0 15 0 22 0 524943214 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24095] ppid=24077 vsize=15707904 CPUtime=3.65 cores=1,3,5,7
/proc/24079/task/24095/stat : 24095 (java) S 24077 24079 23020 0 -1 4202560 169941 0 0 0 337 28 0 0 15 0 22 0 524943214 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24098] ppid=24077 vsize=15707904 CPUtime=3.52 cores=1,3,5,7
/proc/24079/task/24098/stat : 24098 (java) S 24077 24079 23020 0 -1 4202560 153530 0 0 0 325 27 0 0 15 0 22 0 524943214 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24100] ppid=24077 vsize=15707904 CPUtime=3.69 cores=1,3,5,7
/proc/24079/task/24100/stat : 24100 (java) S 24077 24079 23020 0 -1 4202560 157908 0 0 0 343 26 0 0 16 0 22 0 524943214 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24101] ppid=24077 vsize=15707904 CPUtime=3.57 cores=1,3,5,7
/proc/24079/task/24101/stat : 24101 (java) S 24077 24079 23020 0 -1 4202560 153354 0 0 0 329 28 0 0 15 0 22 0 524943214 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24102] ppid=24077 vsize=15707904 CPUtime=3.53 cores=1,3,5,7
/proc/24079/task/24102/stat : 24102 (java) S 24077 24079 23020 0 -1 4202560 151899 0 0 0 325 28 0 0 15 0 22 0 524943214 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24103] ppid=24077 vsize=15707904 CPUtime=3.5 cores=1,3,5,7
/proc/24079/task/24103/stat : 24103 (java) S 24077 24079 23020 0 -1 4202560 151356 0 0 0 322 28 0 0 16 0 22 0 524943214 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24105] ppid=24077 vsize=15707904 CPUtime=2.28 cores=1,3,5,7
/proc/24079/task/24105/stat : 24105 (java) S 24077 24079 23020 0 -1 4202560 8348 0 0 0 143 85 0 0 16 0 22 0 524943215 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 0 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24107] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24107/stat : 24107 (java) S 24077 24079 23020 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24109] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24109/stat : 24109 (java) S 24077 24079 23020 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24112] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24112/stat : 24112 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524943218 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447840689 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24113] ppid=24077 vsize=15707904 CPUtime=0.83 cores=1,3,5,7
/proc/24079/task/24113/stat : 24113 (java) S 24077 24079 23020 0 -1 4202560 7349 0 0 0 82 1 0 0 15 0 22 0 524943218 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24116] ppid=24077 vsize=15707904 CPUtime=1.02 cores=1,3,5,7
/proc/24079/task/24116/stat : 24116 (java) S 24077 24079 23020 0 -1 4202560 8509 0 0 0 101 1 0 0 15 0 22 0 524943218 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24117] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24117/stat : 24117 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 524943218 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24119] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24119/stat : 24119 (java) S 24077 24079 23020 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 524943218 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24120] ppid=24077 vsize=15707904 CPUtime=1167.69 cores=1,3,5,7
/proc/24079/task/24120/stat : 24120 (java) R 24077 24079 23020 0 -1 4202560 473854 0 0 0 116701 68 0 0 25 0 22 0 524943239 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505796257 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24079/tid=24121] ppid=24077 vsize=15707904 CPUtime=1167.62 cores=1,3,5,7
/proc/24079/task/24121/stat : 24121 (java) R 24077 24079 23020 0 -1 4202560 479777 0 0 0 116696 66 0 0 25 0 22 0 524943239 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912506035507 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24079/tid=24122] ppid=24077 vsize=15707904 CPUtime=1167.08 cores=1,3,5,7
/proc/24079/task/24122/stat : 24122 (java) R 24077 24079 23020 0 -1 4202560 481115 0 0 0 116644 64 0 0 25 0 22 0 524943239 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505961937 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24079/tid=24123] ppid=24077 vsize=15707904 CPUtime=1166.89 cores=1,3,5,7
/proc/24079/task/24123/stat : 24123 (java) R 24077 24079 23020 0 -1 4202560 478281 0 0 0 116627 62 0 0 25 0 22 0 524943239 16084893696 111707 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505697865 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4702.57
Current children cumulated vsize (KiB) 15707904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.9 s]
/proc/loadavg: 8.01 7.99 7.49 9/220 24208
/proc/meminfo: memFree=29865136/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=15707904 CPUtime=4800.4 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24077 24079 23020 0 -1 4202496 3251789 0 1 0 479455 585 0 0 18 0 22 0 524943213 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24079/statm: 3926976 115819 2299 9 0 3917695 0
[pid=24079/tid=24085] ppid=24077 vsize=15707904 CPUtime=0.37 cores=1,3,5,7
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23020 0 -1 4202560 6607 0 1 0 35 2 0 0 20 0 22 0 524943213 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24091] ppid=24077 vsize=15707904 CPUtime=3.66 cores=1,3,5,7
/proc/24079/task/24091/stat : 24091 (java) S 24077 24079 23020 0 -1 4202560 156052 0 0 0 338 28 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24093] ppid=24077 vsize=15707904 CPUtime=3.65 cores=1,3,5,7
/proc/24079/task/24093/stat : 24093 (java) S 24077 24079 23020 0 -1 4202560 153628 0 0 0 338 27 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24095] ppid=24077 vsize=15707904 CPUtime=3.73 cores=1,3,5,7
/proc/24079/task/24095/stat : 24095 (java) S 24077 24079 23020 0 -1 4202560 174599 0 0 0 344 29 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24098] ppid=24077 vsize=15707904 CPUtime=3.59 cores=1,3,5,7
/proc/24079/task/24098/stat : 24098 (java) S 24077 24079 23020 0 -1 4202560 157995 0 0 0 331 28 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24100] ppid=24077 vsize=15707904 CPUtime=3.76 cores=1,3,5,7
/proc/24079/task/24100/stat : 24100 (java) S 24077 24079 23020 0 -1 4202560 161622 0 0 0 349 27 0 0 16 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24101] ppid=24077 vsize=15707904 CPUtime=3.65 cores=1,3,5,7
/proc/24079/task/24101/stat : 24101 (java) S 24077 24079 23020 0 -1 4202560 157730 0 0 0 336 29 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24102] ppid=24077 vsize=15707904 CPUtime=3.62 cores=1,3,5,7
/proc/24079/task/24102/stat : 24102 (java) S 24077 24079 23020 0 -1 4202560 155770 0 0 0 333 29 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24103] ppid=24077 vsize=15707904 CPUtime=3.58 cores=1,3,5,7
/proc/24079/task/24103/stat : 24103 (java) S 24077 24079 23020 0 -1 4202560 156792 0 0 0 329 29 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24105] ppid=24077 vsize=15707904 CPUtime=2.33 cores=1,3,5,7
/proc/24079/task/24105/stat : 24105 (java) S 24077 24079 23020 0 -1 4202560 8522 0 0 0 147 86 0 0 15 0 22 0 524943215 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 0 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24107] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24107/stat : 24107 (java) S 24077 24079 23020 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24109] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24109/stat : 24109 (java) S 24077 24079 23020 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24112] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24112/stat : 24112 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524943218 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447840689 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24113] ppid=24077 vsize=15707904 CPUtime=0.83 cores=1,3,5,7
/proc/24079/task/24113/stat : 24113 (java) S 24077 24079 23020 0 -1 4202560 7349 0 0 0 82 1 0 0 15 0 22 0 524943218 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24116] ppid=24077 vsize=15707904 CPUtime=1.02 cores=1,3,5,7
/proc/24079/task/24116/stat : 24116 (java) S 24077 24079 23020 0 -1 4202560 8509 0 0 0 101 1 0 0 15 0 22 0 524943218 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24117] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24117/stat : 24117 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 524943218 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24119] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24119/stat : 24119 (java) S 24077 24079 23020 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 524943218 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24120] ppid=24077 vsize=15707904 CPUtime=1192 cores=1,3,5,7
/proc/24079/task/24120/stat : 24120 (java) R 24077 24079 23020 0 -1 4202560 482502 0 0 0 119131 69 0 0 25 0 22 0 524943239 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912506080199 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24079/tid=24121] ppid=24077 vsize=15707904 CPUtime=1191.94 cores=1,3,5,7
/proc/24079/task/24121/stat : 24121 (java) R 24077 24079 23020 0 -1 4202560 488022 0 0 0 119128 66 0 0 25 0 22 0 524943239 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912506067614 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24079/tid=24122] ppid=24077 vsize=15707904 CPUtime=1191.42 cores=1,3,5,7
/proc/24079/task/24122/stat : 24122 (java) R 24077 24079 23020 0 -1 4202560 488783 0 0 0 119077 65 0 0 25 0 22 0 524943239 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505697973 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24079/tid=24123] ppid=24077 vsize=15707904 CPUtime=1191.1 cores=1,3,5,7
/proc/24079/task/24123/stat : 24123 (java) R 24077 24079 23020 0 -1 4202560 485857 0 0 0 119047 63 0 0 25 0 22 0 524943239 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505697843 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 15707904

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: 8.01 7.99 7.49 9/220 24208
/proc/meminfo: memFree=29865136/32951124 swapFree=67111416/67111528
[pid=24079] ppid=24077 vsize=15707904 CPUtime=4800.4 cores=1,3,5,7
/proc/24079/stat : 24079 (java) S 24077 24079 23020 0 -1 4202496 3251789 0 1 0 479455 585 0 0 18 0 22 0 524943213 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24079/statm: 3926976 115819 2299 9 0 3917695 0
[pid=24079/tid=24085] ppid=24077 vsize=15707904 CPUtime=0.37 cores=1,3,5,7
/proc/24079/task/24085/stat : 24085 (java) S 24077 24079 23020 0 -1 4202560 6607 0 1 0 35 2 0 0 20 0 22 0 524943213 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24091] ppid=24077 vsize=15707904 CPUtime=3.66 cores=1,3,5,7
/proc/24079/task/24091/stat : 24091 (java) S 24077 24079 23020 0 -1 4202560 156052 0 0 0 338 28 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24093] ppid=24077 vsize=15707904 CPUtime=3.65 cores=1,3,5,7
/proc/24079/task/24093/stat : 24093 (java) S 24077 24079 23020 0 -1 4202560 153628 0 0 0 338 27 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24095] ppid=24077 vsize=15707904 CPUtime=3.73 cores=1,3,5,7
/proc/24079/task/24095/stat : 24095 (java) S 24077 24079 23020 0 -1 4202560 174599 0 0 0 344 29 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24098] ppid=24077 vsize=15707904 CPUtime=3.59 cores=1,3,5,7
/proc/24079/task/24098/stat : 24098 (java) S 24077 24079 23020 0 -1 4202560 157995 0 0 0 331 28 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24100] ppid=24077 vsize=15707904 CPUtime=3.76 cores=1,3,5,7
/proc/24079/task/24100/stat : 24100 (java) S 24077 24079 23020 0 -1 4202560 161622 0 0 0 349 27 0 0 16 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24101] ppid=24077 vsize=15707904 CPUtime=3.65 cores=1,3,5,7
/proc/24079/task/24101/stat : 24101 (java) S 24077 24079 23020 0 -1 4202560 157730 0 0 0 336 29 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24102] ppid=24077 vsize=15707904 CPUtime=3.62 cores=1,3,5,7
/proc/24079/task/24102/stat : 24102 (java) S 24077 24079 23020 0 -1 4202560 155770 0 0 0 333 29 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24103] ppid=24077 vsize=15707904 CPUtime=3.58 cores=1,3,5,7
/proc/24079/task/24103/stat : 24103 (java) S 24077 24079 23020 0 -1 4202560 156792 0 0 0 329 29 0 0 15 0 22 0 524943214 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 3 0 0 0
[pid=24079/tid=24105] ppid=24077 vsize=15707904 CPUtime=2.33 cores=1,3,5,7
/proc/24079/task/24105/stat : 24105 (java) S 24077 24079 23020 0 -1 4202560 8522 0 0 0 147 86 0 0 15 0 22 0 524943215 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 0 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24107] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24107/stat : 24107 (java) S 24077 24079 23020 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24109] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24109/stat : 24109 (java) S 24077 24079 23020 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 524943216 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24112] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24112/stat : 24112 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 524943218 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447840689 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24113] ppid=24077 vsize=15707904 CPUtime=0.83 cores=1,3,5,7
/proc/24079/task/24113/stat : 24113 (java) S 24077 24079 23020 0 -1 4202560 7349 0 0 0 82 1 0 0 15 0 22 0 524943218 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 1 0 0 0
[pid=24079/tid=24116] ppid=24077 vsize=15707904 CPUtime=1.02 cores=1,3,5,7
/proc/24079/task/24116/stat : 24116 (java) S 24077 24079 23020 0 -1 4202560 8509 0 0 0 101 1 0 0 15 0 22 0 524943218 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24117] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24117/stat : 24117 (java) S 24077 24079 23020 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 524943218 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447832985 0 4 0 16800975 18446604470271587456 0 0 -1 5 0 0 0
[pid=24079/tid=24119] ppid=24077 vsize=15707904 CPUtime=0 cores=1,3,5,7
/proc/24079/task/24119/stat : 24119 (java) S 24077 24079 23020 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 524943218 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 212447833600 0 4 0 16800975 18446604470271587456 0 0 -1 7 0 0 0
[pid=24079/tid=24120] ppid=24077 vsize=15707904 CPUtime=1192 cores=1,3,5,7
/proc/24079/task/24120/stat : 24120 (java) R 24077 24079 23020 0 -1 4202560 482502 0 0 0 119131 69 0 0 25 0 22 0 524943239 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912506080199 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24079/tid=24121] ppid=24077 vsize=15707904 CPUtime=1191.94 cores=1,3,5,7
/proc/24079/task/24121/stat : 24121 (java) R 24077 24079 23020 0 -1 4202560 488022 0 0 0 119128 66 0 0 25 0 22 0 524943239 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912506067614 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24079/tid=24122] ppid=24077 vsize=15707904 CPUtime=1191.42 cores=1,3,5,7
/proc/24079/task/24122/stat : 24122 (java) R 24077 24079 23020 0 -1 4202560 488783 0 0 0 119077 65 0 0 25 0 22 0 524943239 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505697973 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24079/tid=24123] ppid=24077 vsize=15707904 CPUtime=1191.1 cores=1,3,5,7
/proc/24079/task/24123/stat : 24123 (java) R 24077 24079 23020 0 -1 4202560 485857 0 0 0 119047 63 0 0 25 0 22 0 524943239 16084893696 115819 33554432000 1073741824 1073778376 140734138333264 18446744073709551615 46912505697843 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 15707904

Child status: 143
Real time (s): 1206.94
CPU time (s): 4800.46
CPU user time (s): 4794.58
CPU system time (s): 5.87911
CPU usage (%): 397.739
Max. virtual memory (cumulated for all children) (KiB): 15710284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.58
system time used= 5.87911
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3251815
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= 213422
involuntary context switches= 134803

runsolver used 2.00969 second user time and 4.6223 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 05:16:49
IDJOB=3312763
IDBENCH=82948
IDSOLVER=1699
FILE ID=node102/3312763-1304133409
RUNJOBID= node102-1304133409-24065
PBS_JOBID= 13170771
Free space on /tmp= 72472 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312763-1304133409/watcher-3312763-1304133409 -o /tmp/evaluation-result-3312763-1304133409/solver-3312763-1304133409 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312763-1304133409.cnf

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

MD5SUM BENCH= 82834b232944ca118e4175405e325327
RANDOM SEED=935746454

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30612576 kB
Buffers:        614696 kB
Cached:        1245436 kB
SwapCached:          0 kB
Active:         159652 kB
Inactive:      1764472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30612576 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:            3580 kB
Writeback:           0 kB
AnonPages:       63832 kB
Mapped:          14488 kB
Slab:           351540 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187228 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= 72468 MiB
End job on node102 at 2011-04-30 05:36:58