Trace number 3312978

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

General information on the benchmark

NameSAT04/handmade/anton/l4k4/
lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
MD5SUM82170fa4021e7a6c932a31c197f0f64c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.070989
Satisfiable
(Un)Satisfiability was proved
Number of variables880
Number of clauses6174
Sum of the clauses size24696
Maximum clause length4
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 46174
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.11	04:49 INFO : Reading from input HOME/instance-3312978-1304186689.cnf
0.52/0.30	Executor set job limit to 1000000
0.52/0.30	Executor set job limit to 1000000
0.52/0.30	Executor set job limit to 1000000
0.52/0.30	Executor set job limit to 1000000
0.52/0.30	Starting Executor!
0.52/0.30	Starting Executor!
0.52/0.30	Starting Executor!
0.52/0.30	Starting Executor!
1.04/0.56	04:49 INFO : 880 variables remaining out of 880
1.04/0.56	04:49 INFO : 29295 literals remaining out of 30870

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-3312978-1304186689/watcher-3312978-1304186689 -o /tmp/evaluation-result-3312978-1304186689/solver-3312978-1304186689 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312978-1304186689.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: 8.09 8.02 7.74 6/198 13155
/proc/meminfo: memFree=29317336/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 1383 0 0 0 0 0 0 0 25 0 2 0 262860119 24580096 863 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 6014 870 667 9 0 381 0
[pid=13155/tid=13156] ppid=13153 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) R 13153 13155 12950 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 2 0 262860120 26714112 870 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268655738935 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.0825259 s]
/proc/loadavg: 8.09 8.02 7.74 6/198 13155
/proc/meminfo: memFree=29317336/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=15676348 CPUtime=0.08 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 5298 0 1 0 7 1 0 0 25 0 18 0 262860119 16052580352 4738 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 3919087 4738 2115 9 0 3909806 0
[pid=13155/tid=13156] ppid=13153 vsize=15676348 CPUtime=0.07 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) R 13153 13155 12950 0 -1 4202560 3176 0 1 0 6 1 0 0 18 0 18 0 262860120 16052580352 4738 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 47746001463815 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15676348

[startup+0.100623 s]
/proc/loadavg: 8.09 8.02 7.74 6/198 13155
/proc/meminfo: memFree=29317336/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=15676348 CPUtime=0.1 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 5581 0 1 0 9 1 0 0 25 0 18 0 262860119 16052580352 5021 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 3919087 5021 2117 9 0 3909806 0
[pid=13155/tid=13156] ppid=13153 vsize=15676348 CPUtime=0.08 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) R 13153 13155 12950 0 -1 4202560 3460 0 1 0 7 1 0 0 18 0 18 0 262860120 16052580352 5022 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 47745998237603 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676348

[startup+0.300586 s]
/proc/loadavg: 8.09 8.02 7.74 6/198 13155
/proc/meminfo: memFree=29317336/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=15680100 CPUtime=0.52 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 14474 0 1 0 49 3 0 0 25 0 18 0 262860119 16056422400 13027 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 3920025 13027 2207 9 0 3910744 0
[pid=13155/tid=13156] ppid=13153 vsize=15680100 CPUtime=0.27 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) R 13153 13155 12950 0 -1 4202560 9499 0 1 0 26 1 0 0 18 0 18 0 262860120 16056422400 13027 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672488907 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15680100

[startup+0.838725 s]
/proc/loadavg: 8.09 8.02 7.74 6/198 13155
/proc/meminfo: memFree=29317336/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=15710932 CPUtime=2.16 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 33485 0 1 0 211 5 0 0 25 0 22 0 262860119 16087994368 27406 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 3927733 26954 2261 9 0 3918452 0
[pid=13155/tid=13156] ppid=13153 vsize=15710932 CPUtime=0.55 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) S 13153 13155 12950 0 -1 4202560 10674 0 1 0 53 2 0 0 18 0 22 0 262860120 16087994368 26954 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 15710932

[startup+1.50134 s]
/proc/loadavg: 8.00 8.00 7.74 13/220 13177
/proc/meminfo: memFree=29144808/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=15708440 CPUtime=4.79 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 66295 0 1 0 469 10 0 0 25 0 22 0 262860119 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 3927110 57341 2275 9 0 3917829 0
[pid=13155/tid=13156] ppid=13153 vsize=15708440 CPUtime=0.55 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) S 13153 13155 12950 0 -1 4202560 10674 0 1 0 53 2 0 0 18 0 22 0 262860120 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13158] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13158/stat : 13158 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 262860120 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13159] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13159/stat : 13159 (java) S 13153 13155 12950 0 -1 4202560 2165 0 0 0 0 0 0 0 16 0 22 0 262860120 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13160] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13160/stat : 13160 (java) S 13153 13155 12950 0 -1 4202560 1351 0 0 0 0 0 0 0 16 0 22 0 262860120 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13161] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13161/stat : 13161 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 262860120 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13162] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13162/stat : 13162 (java) S 13153 13155 12950 0 -1 4202560 1159 0 0 0 0 0 0 0 16 0 22 0 262860120 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13163] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13163/stat : 13163 (java) S 13153 13155 12950 0 -1 4202560 2958 0 0 0 0 0 0 0 16 0 22 0 262860120 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13164] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13164/stat : 13164 (java) S 13153 13155 12950 0 -1 4202560 2198 0 0 0 0 0 0 0 15 0 22 0 262860120 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13165] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13165/stat : 13165 (java) S 13153 13155 12950 0 -1 4202560 724 0 0 0 0 0 0 0 16 0 22 0 262860120 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13166] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13166/stat : 13166 (java) S 13153 13155 12950 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 262860121 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478720 0 0 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13167] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13167/stat : 13167 (java) S 13153 13155 12950 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 262860122 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13168] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13168/stat : 13168 (java) S 13153 13155 12950 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 262860122 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13169] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13169/stat : 13169 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 262860124 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672485809 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13170] ppid=13153 vsize=15708440 CPUtime=0.7 cores=0,2,4,6
/proc/13155/task/13170/stat : 13170 (java) R 13153 13155 12950 0 -1 4202560 5144 0 0 0 69 1 0 0 16 0 22 0 262860124 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 47746000927009 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13155/tid=13171] ppid=13153 vsize=15708440 CPUtime=1.12 cores=0,2,4,6
/proc/13155/task/13171/stat : 13171 (java) R 13153 13155 12950 0 -1 4202560 13432 0 0 0 111 1 0 0 16 0 22 0 262860124 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13155/tid=13172] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13172/stat : 13172 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 262860124 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13173] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13173/stat : 13173 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 262860124 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478720 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13174] ppid=13153 vsize=15708440 CPUtime=0.73 cores=0,2,4,6
/proc/13155/task/13174/stat : 13174 (java) R 13153 13155 12950 0 -1 4202560 9686 0 0 0 72 1 0 0 17 0 22 0 262860150 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912506075584 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13155/tid=13175] ppid=13153 vsize=15708440 CPUtime=0.57 cores=0,2,4,6
/proc/13155/task/13175/stat : 13175 (java) R 13153 13155 12950 0 -1 4202560 5857 0 0 0 57 0 0 0 16 0 22 0 262860150 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505874870 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13155/tid=13176] ppid=13153 vsize=15708440 CPUtime=0.33 cores=0,2,4,6
/proc/13155/task/13176/stat : 13176 (java) R 13153 13155 12950 0 -1 4202560 1347 0 0 0 33 0 0 0 17 0 22 0 262860150 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 47746002028676 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13155/tid=13177] ppid=13153 vsize=15708440 CPUtime=0.69 cores=0,2,4,6
/proc/13155/task/13177/stat : 13177 (java) R 13153 13155 12950 0 -1 4202560 8137 0 0 0 69 0 0 0 16 0 22 0 262860150 16085442560 57341 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672479174 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 15708440

[startup+3.10106 s]
/proc/loadavg: 8.00 8.00 7.74 9/220 13177
/proc/meminfo: memFree=28956948/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=15708440 CPUtime=11.16 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 168001 0 1 0 1093 23 0 0 25 0 22 0 262860119 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 3927110 158821 2278 9 0 3917829 0
[pid=13155/tid=13156] ppid=13153 vsize=15708440 CPUtime=0.55 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) S 13153 13155 12950 0 -1 4202560 10674 0 1 0 53 2 0 0 18 0 22 0 262860120 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13158] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13158/stat : 13158 (java) S 13153 13155 12950 0 -1 4202560 3200 0 0 0 0 0 0 0 15 0 22 0 262860120 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13159] ppid=13153 vsize=15708440 CPUtime=0.01 cores=0,2,4,6
/proc/13155/task/13159/stat : 13159 (java) S 13153 13155 12950 0 -1 4202560 5434 0 0 0 1 0 0 0 16 0 22 0 262860120 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13160] ppid=13153 vsize=15708440 CPUtime=0.01 cores=0,2,4,6
/proc/13155/task/13160/stat : 13160 (java) S 13153 13155 12950 0 -1 4202560 6373 0 0 0 1 0 0 0 16 0 22 0 262860120 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13161] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13161/stat : 13161 (java) S 13153 13155 12950 0 -1 4202560 1587 0 0 0 0 0 0 0 15 0 22 0 262860120 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13162] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13162/stat : 13162 (java) S 13153 13155 12950 0 -1 4202560 3371 0 0 0 0 0 0 0 15 0 22 0 262860120 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13163] ppid=13153 vsize=15708440 CPUtime=0.01 cores=0,2,4,6
/proc/13155/task/13163/stat : 13163 (java) S 13153 13155 12950 0 -1 4202560 5750 0 0 0 0 1 0 0 15 0 22 0 262860120 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13164] ppid=13153 vsize=15708440 CPUtime=0.01 cores=0,2,4,6
/proc/13155/task/13164/stat : 13164 (java) S 13153 13155 12950 0 -1 4202560 5270 0 0 0 1 0 0 0 15 0 22 0 262860120 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13165] ppid=13153 vsize=15708440 CPUtime=0.02 cores=0,2,4,6
/proc/13155/task/13165/stat : 13165 (java) S 13153 13155 12950 0 -1 4202560 4649 0 0 0 1 1 0 0 16 0 22 0 262860120 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13166] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13166/stat : 13166 (java) S 13153 13155 12950 0 -1 4202560 464 0 0 0 0 0 0 0 15 0 22 0 262860121 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478720 0 0 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13167] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13167/stat : 13167 (java) S 13153 13155 12950 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 262860122 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13168] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13168/stat : 13168 (java) S 13153 13155 12950 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 262860122 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13169] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13169/stat : 13169 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 262860124 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672485809 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13170] ppid=13153 vsize=15708440 CPUtime=0.82 cores=0,2,4,6
/proc/13155/task/13170/stat : 13170 (java) S 13153 13155 12950 0 -1 4202560 5161 0 0 0 81 1 0 0 15 0 22 0 262860124 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13171] ppid=13153 vsize=15708440 CPUtime=1.19 cores=0,2,4,6
/proc/13155/task/13171/stat : 13171 (java) S 13153 13155 12950 0 -1 4202560 13564 0 0 0 118 1 0 0 16 0 22 0 262860124 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13172] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13172/stat : 13172 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 262860124 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13173] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13173/stat : 13173 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 262860124 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478720 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13174] ppid=13153 vsize=15708440 CPUtime=2.2 cores=0,2,4,6
/proc/13155/task/13174/stat : 13174 (java) R 13153 13155 12950 0 -1 4202560 29195 0 0 0 217 3 0 0 18 0 22 0 262860150 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505730317 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13155/tid=13175] ppid=13153 vsize=15708440 CPUtime=2.12 cores=0,2,4,6
/proc/13155/task/13175/stat : 13175 (java) R 13153 13155 12950 0 -1 4202560 25017 0 0 0 210 2 0 0 17 0 22 0 262860150 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505846234 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13155/tid=13176] ppid=13153 vsize=15708440 CPUtime=1.85 cores=0,2,4,6
/proc/13155/task/13176/stat : 13176 (java) R 13153 13155 12950 0 -1 4202560 20463 0 0 0 183 2 0 0 18 0 22 0 262860150 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 47746002027347 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13155/tid=13177] ppid=13153 vsize=15708440 CPUtime=2.23 cores=0,2,4,6
/proc/13155/task/13177/stat : 13177 (java) R 13153 13155 12950 0 -1 4202560 26442 0 0 0 220 3 0 0 18 0 22 0 262860150 16085442560 158821 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505730282 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.16
Current children cumulated vsize (KiB) 15708440

[startup+6.30149 s]
/proc/loadavg: 8.00 8.00 7.74 9/220 13177
/proc/meminfo: memFree=28251032/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=15708440 CPUtime=23.93 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 442542 0 1 0 2338 55 0 0 25 0 22 0 262860119 16085442560 432072 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 3927110 432072 2285 9 0 3917829 0
[pid=13155/tid=13156] ppid=13153 vsize=15708440 CPUtime=0.55 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) S 13153 13155 12950 0 -1 4202560 10674 0 1 0 53 2 0 0 18 0 22 0 262860120 16085442560 432072 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13158] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13158/stat : 13158 (java) S 13153 13155 12950 0 -1 4202560 3200 0 0 0 0 0 0 0 15 0 22 0 262860120 16085442560 432072 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13159] ppid=13153 vsize=15708440 CPUtime=0.01 cores=0,2,4,6
/proc/13155/task/13159/stat : 13159 (java) S 13153 13155 12950 0 -1 4202560 6245 0 0 0 1 0 0 0 15 0 22 0 262860120 16085442560 432072 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13160] ppid=13153 vsize=15708440 CPUtime=0.02 cores=0,2,4,6
/proc/13155/task/13160/stat : 13160 (java) S 13153 13155 12950 0 -1 4202560 7176 0 0 0 1 1 0 0 15 0 22 0 262860120 16085442560 432072 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13161] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13161/stat : 13161 (java) S 13153 13155 12950 0 -1 4202560 2600 0 0 0 0 0 0 0 16 0 22 0 262860120 16085442560 432072 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13162] ppid=13153 vsize=15708440 CPUtime=0.01 cores=0,2,4,6
/proc/13155/task/13162/stat : 13162 (java) S 13153 13155 12950 0 -1 4202560 4482 0 0 0 1 0 0 0 15 0 22 0 262860120 16085442560 432072 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13163] ppid=13153 vsize=15708440 CPUtime=0.01 cores=0,2,4,6
/proc/13155/task/13163/stat : 13163 (java) S 13153 13155 12950 0 -1 4202560 5761 0 0 0 0 1 0 0 15 0 22 0 262860120 16085442560 432072 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13164] ppid=13153 vsize=15708440 CPUtime=0.01 cores=0,2,4,6
/proc/13155/task/13164/stat : 13164 (java) S 13153 13155 12950 0 -1 4202560 5270 0 0 0 1 0 0 0 15 0 22 0 262860120 16085442560 432072 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13165] ppid=13153 vsize=15708440 CPUtime=0.02 cores=0,2,4,6
/proc/13155/task/13165/stat : 13165 (java) S 13153 13155 12950 0 -1 4202560 5018 0 0 0 1 1 0 0 15 0 22 0 262860120 16085442560 432072 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0

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

[pid=13155/tid=13175] ppid=13153 vsize=15708440 CPUtime=1047.83 cores=0,2,4,6
/proc/13155/task/13175/stat : 13175 (java) R 13153 13155 12950 0 -1 4202560 358832 0 0 0 104733 50 0 0 25 0 22 0 262860150 16085442560 125881 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505787543 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13155/tid=13176] ppid=13153 vsize=15708440 CPUtime=1048.22 cores=0,2,4,6
/proc/13155/task/13176/stat : 13176 (java) R 13153 13155 12950 0 -1 4202560 354074 0 0 0 104776 46 0 0 25 0 22 0 262860150 16085442560 125881 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505908992 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13155/tid=13177] ppid=13153 vsize=15708440 CPUtime=1048.68 cores=0,2,4,6
/proc/13155/task/13177/stat : 13177 (java) R 13153 13155 12950 0 -1 4202560 363303 0 0 0 104818 50 0 0 25 0 22 0 262860150 16085442560 125881 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4225.12
Current children cumulated vsize (KiB) 15708440

[startup+1122.3 s]
/proc/loadavg: 8.30 8.14 7.96 9/220 13207
/proc/meminfo: memFree=29451288/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=15708440 CPUtime=4463.83 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 2422887 0 1 0 445935 448 0 0 25 0 22 0 262860119 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 3927110 121134 2298 9 0 3917829 0
[pid=13155/tid=13156] ppid=13153 vsize=15708440 CPUtime=0.55 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) S 13153 13155 12950 0 -1 4202560 10674 0 1 0 53 2 0 0 18 0 22 0 262860120 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13158] ppid=13153 vsize=15708440 CPUtime=3.53 cores=0,2,4,6
/proc/13155/task/13158/stat : 13158 (java) S 13153 13155 12950 0 -1 4202560 110864 0 0 0 333 20 0 0 16 0 22 0 262860120 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13159] ppid=13153 vsize=15708440 CPUtime=3.43 cores=0,2,4,6
/proc/13155/task/13159/stat : 13159 (java) S 13153 13155 12950 0 -1 4202560 107566 0 0 0 323 20 0 0 15 0 22 0 262860120 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13160] ppid=13153 vsize=15708440 CPUtime=3.38 cores=0,2,4,6
/proc/13155/task/13160/stat : 13160 (java) S 13153 13155 12950 0 -1 4202560 106481 0 0 0 319 19 0 0 16 0 22 0 262860120 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13161] ppid=13153 vsize=15708440 CPUtime=3.56 cores=0,2,4,6
/proc/13155/task/13161/stat : 13161 (java) S 13153 13155 12950 0 -1 4202560 105352 0 0 0 336 20 0 0 15 0 22 0 262860120 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13162] ppid=13153 vsize=15708440 CPUtime=3.46 cores=0,2,4,6
/proc/13155/task/13162/stat : 13162 (java) S 13153 13155 12950 0 -1 4202560 109053 0 0 0 325 21 0 0 15 0 22 0 262860120 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13163] ppid=13153 vsize=15708440 CPUtime=3.4 cores=0,2,4,6
/proc/13155/task/13163/stat : 13163 (java) S 13153 13155 12950 0 -1 4202560 106839 0 0 0 318 22 0 0 15 0 22 0 262860120 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13164] ppid=13153 vsize=15708440 CPUtime=3.47 cores=0,2,4,6
/proc/13155/task/13164/stat : 13164 (java) S 13153 13155 12950 0 -1 4202560 110422 0 0 0 328 19 0 0 16 0 22 0 262860120 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13165] ppid=13153 vsize=15708440 CPUtime=3.39 cores=0,2,4,6
/proc/13155/task/13165/stat : 13165 (java) S 13153 13155 12950 0 -1 4202560 101470 0 0 0 320 19 0 0 16 0 22 0 262860120 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13166] ppid=13153 vsize=15708440 CPUtime=2.11 cores=0,2,4,6
/proc/13155/task/13166/stat : 13166 (java) S 13153 13155 12950 0 -1 4202560 6280 0 0 0 145 66 0 0 15 0 22 0 262860121 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478720 0 0 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13167] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13167/stat : 13167 (java) S 13153 13155 12950 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 262860122 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13168] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13168/stat : 13168 (java) S 13153 13155 12950 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 262860122 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13169] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13169/stat : 13169 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 262860124 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672485809 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13170] ppid=13153 vsize=15708440 CPUtime=1.06 cores=0,2,4,6
/proc/13155/task/13170/stat : 13170 (java) S 13153 13155 12950 0 -1 4202560 5205 0 0 0 105 1 0 0 15 0 22 0 262860124 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13171] ppid=13153 vsize=15708440 CPUtime=1.61 cores=0,2,4,6
/proc/13155/task/13171/stat : 13171 (java) S 13153 13155 12950 0 -1 4202560 14600 0 0 0 160 1 0 0 15 0 22 0 262860124 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13172] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13172/stat : 13172 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 262860124 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13173] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13173/stat : 13173 (java) S 13153 13155 12950 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 262860124 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478720 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13174] ppid=13153 vsize=15708440 CPUtime=1108.19 cores=0,2,4,6
/proc/13155/task/13174/stat : 13174 (java) R 13153 13155 12950 0 -1 4202560 385654 0 0 0 110766 53 0 0 25 0 22 0 262860150 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505366072 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13155/tid=13175] ppid=13153 vsize=15708440 CPUtime=1107.19 cores=0,2,4,6
/proc/13155/task/13175/stat : 13175 (java) R 13153 13155 12950 0 -1 4202560 381620 0 0 0 110666 53 0 0 25 0 22 0 262860150 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505523205 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13155/tid=13176] ppid=13153 vsize=15708440 CPUtime=1107.48 cores=0,2,4,6
/proc/13155/task/13176/stat : 13176 (java) R 13153 13155 12950 0 -1 4202560 374575 0 0 0 110699 49 0 0 25 0 22 0 262860150 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505787349 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13155/tid=13177] ppid=13153 vsize=15708440 CPUtime=1107.83 cores=0,2,4,6
/proc/13155/task/13177/stat : 13177 (java) R 13153 13155 12950 0 -1 4202560 384787 0 0 0 110730 53 0 0 25 0 22 0 262860150 16085442560 121134 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 18446744073699065856 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4463.83
Current children cumulated vsize (KiB) 15708440

[startup+1182.3 s]
/proc/loadavg: 8.35 8.17 7.98 9/220 13209
/proc/meminfo: memFree=29412064/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=15708440 CPUtime=4702.43 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 2556287 0 1 0 469771 472 0 0 25 0 22 0 262860119 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 3927110 141002 2298 9 0 3917829 0
[pid=13155/tid=13156] ppid=13153 vsize=15708440 CPUtime=0.55 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) S 13153 13155 12950 0 -1 4202560 10674 0 1 0 53 2 0 0 18 0 22 0 262860120 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13158] ppid=13153 vsize=15708440 CPUtime=3.71 cores=0,2,4,6
/proc/13155/task/13158/stat : 13158 (java) S 13153 13155 12950 0 -1 4202560 117426 0 0 0 350 21 0 0 16 0 22 0 262860120 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13159] ppid=13153 vsize=15708440 CPUtime=3.62 cores=0,2,4,6
/proc/13155/task/13159/stat : 13159 (java) S 13153 13155 12950 0 -1 4202560 115957 0 0 0 340 22 0 0 15 0 22 0 262860120 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13160] ppid=13153 vsize=15708440 CPUtime=3.57 cores=0,2,4,6
/proc/13155/task/13160/stat : 13160 (java) S 13153 13155 12950 0 -1 4202560 112104 0 0 0 337 20 0 0 16 0 22 0 262860120 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13161] ppid=13153 vsize=15708440 CPUtime=3.74 cores=0,2,4,6
/proc/13155/task/13161/stat : 13161 (java) S 13153 13155 12950 0 -1 4202560 114695 0 0 0 352 22 0 0 15 0 22 0 262860120 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13162] ppid=13153 vsize=15708440 CPUtime=3.65 cores=0,2,4,6
/proc/13155/task/13162/stat : 13162 (java) S 13153 13155 12950 0 -1 4202560 117159 0 0 0 343 22 0 0 15 0 22 0 262860120 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13163] ppid=13153 vsize=15708440 CPUtime=3.59 cores=0,2,4,6
/proc/13155/task/13163/stat : 13163 (java) S 13153 13155 12950 0 -1 4202560 112772 0 0 0 336 23 0 0 15 0 22 0 262860120 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13164] ppid=13153 vsize=15708440 CPUtime=3.66 cores=0,2,4,6
/proc/13155/task/13164/stat : 13164 (java) S 13153 13155 12950 0 -1 4202560 117035 0 0 0 346 20 0 0 16 0 22 0 262860120 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13165] ppid=13153 vsize=15708440 CPUtime=3.58 cores=0,2,4,6
/proc/13155/task/13165/stat : 13165 (java) S 13153 13155 12950 0 -1 4202560 108932 0 0 0 338 20 0 0 15 0 22 0 262860120 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13166] ppid=13153 vsize=15708440 CPUtime=2.25 cores=0,2,4,6
/proc/13155/task/13166/stat : 13166 (java) S 13153 13155 12950 0 -1 4202560 6706 0 0 0 155 70 0 0 15 0 22 0 262860121 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478720 0 0 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13167] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13167/stat : 13167 (java) S 13153 13155 12950 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 262860122 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13168] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13168/stat : 13168 (java) S 13153 13155 12950 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 262860122 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13169] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13169/stat : 13169 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 262860124 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672485809 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13170] ppid=13153 vsize=15708440 CPUtime=1.06 cores=0,2,4,6
/proc/13155/task/13170/stat : 13170 (java) S 13153 13155 12950 0 -1 4202560 5205 0 0 0 105 1 0 0 15 0 22 0 262860124 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13171] ppid=13153 vsize=15708440 CPUtime=1.61 cores=0,2,4,6
/proc/13155/task/13171/stat : 13171 (java) S 13153 13155 12950 0 -1 4202560 14600 0 0 0 160 1 0 0 15 0 22 0 262860124 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13172] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13172/stat : 13172 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 262860124 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13173] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13173/stat : 13173 (java) S 13153 13155 12950 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 262860124 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478720 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13174] ppid=13153 vsize=15708440 CPUtime=1167.52 cores=0,2,4,6
/proc/13155/task/13174/stat : 13174 (java) R 13153 13155 12950 0 -1 4202560 402905 0 0 0 116696 56 0 0 25 0 22 0 262860150 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505523219 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13155/tid=13175] ppid=13153 vsize=15708440 CPUtime=1166.5 cores=0,2,4,6
/proc/13155/task/13175/stat : 13175 (java) R 13153 13155 12950 0 -1 4202560 401693 0 0 0 116593 57 0 0 25 0 22 0 262860150 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 47746002027392 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13155/tid=13176] ppid=13153 vsize=15708440 CPUtime=1166.56 cores=0,2,4,6
/proc/13155/task/13176/stat : 13176 (java) R 13153 13155 12950 0 -1 4202560 392527 0 0 0 116605 51 0 0 25 0 22 0 262860150 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505847025 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13155/tid=13177] ppid=13153 vsize=15708440 CPUtime=1167.12 cores=0,2,4,6
/proc/13155/task/13177/stat : 13177 (java) R 13153 13155 12950 0 -1 4202560 404449 0 0 0 116656 56 0 0 25 0 22 0 262860150 16085442560 141002 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912506129474 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4702.43
Current children cumulated vsize (KiB) 15708440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.9 s]
/proc/loadavg: 8.30 8.18 7.99 10/220 13407
/proc/meminfo: memFree=29716868/32951124 swapFree=67111524/67111528
[pid=13155] ppid=13153 vsize=15708440 CPUtime=4800.33 cores=0,2,4,6
/proc/13155/stat : 13155 (java) S 13153 13155 12950 0 -1 4202496 2579920 0 1 0 479554 479 0 0 25 0 22 0 262860119 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13155/statm: 3927110 113322 2298 9 0 3917829 0
[pid=13155/tid=13156] ppid=13153 vsize=15708440 CPUtime=0.55 cores=0,2,4,6
/proc/13155/task/13156/stat : 13156 (java) S 13153 13155 12950 0 -1 4202560 10674 0 1 0 53 2 0 0 18 0 22 0 262860120 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13158] ppid=13153 vsize=15708440 CPUtime=3.79 cores=0,2,4,6
/proc/13155/task/13158/stat : 13158 (java) S 13153 13155 12950 0 -1 4202560 120775 0 0 0 357 22 0 0 16 0 22 0 262860120 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13159] ppid=13153 vsize=15708440 CPUtime=3.7 cores=0,2,4,6
/proc/13155/task/13159/stat : 13159 (java) S 13153 13155 12950 0 -1 4202560 117944 0 0 0 347 23 0 0 15 0 22 0 262860120 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13160] ppid=13153 vsize=15708440 CPUtime=3.64 cores=0,2,4,6
/proc/13155/task/13160/stat : 13160 (java) S 13153 13155 12950 0 -1 4202560 114546 0 0 0 343 21 0 0 15 0 22 0 262860120 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13161] ppid=13153 vsize=15708440 CPUtime=3.82 cores=0,2,4,6
/proc/13155/task/13161/stat : 13161 (java) S 13153 13155 12950 0 -1 4202560 118583 0 0 0 360 22 0 0 16 0 22 0 262860120 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 0 0 0 0
[pid=13155/tid=13162] ppid=13153 vsize=15708440 CPUtime=3.72 cores=0,2,4,6
/proc/13155/task/13162/stat : 13162 (java) S 13153 13155 12950 0 -1 4202560 118491 0 0 0 350 22 0 0 16 0 22 0 262860120 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13163] ppid=13153 vsize=15708440 CPUtime=3.67 cores=0,2,4,6
/proc/13155/task/13163/stat : 13163 (java) S 13153 13155 12950 0 -1 4202560 115228 0 0 0 344 23 0 0 16 0 22 0 262860120 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13164] ppid=13153 vsize=15708440 CPUtime=3.75 cores=0,2,4,6
/proc/13155/task/13164/stat : 13164 (java) S 13153 13155 12950 0 -1 4202560 121221 0 0 0 354 21 0 0 15 0 22 0 262860120 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13165] ppid=13153 vsize=15708440 CPUtime=3.64 cores=0,2,4,6
/proc/13155/task/13165/stat : 13165 (java) S 13153 13155 12950 0 -1 4202560 111578 0 0 0 344 20 0 0 15 0 22 0 262860120 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13166] ppid=13153 vsize=15708440 CPUtime=2.29 cores=0,2,4,6
/proc/13155/task/13166/stat : 13166 (java) S 13153 13155 12950 0 -1 4202560 6803 0 0 0 157 72 0 0 16 0 22 0 262860121 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478720 0 0 0 16800975 18446604441495266240 0 0 -1 4 0 0 0
[pid=13155/tid=13167] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13167/stat : 13167 (java) S 13153 13155 12950 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 262860122 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13168] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13168/stat : 13168 (java) S 13153 13155 12950 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 262860122 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13169] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13169/stat : 13169 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 262860124 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672485809 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13170] ppid=13153 vsize=15708440 CPUtime=1.06 cores=0,2,4,6
/proc/13155/task/13170/stat : 13170 (java) S 13153 13155 12950 0 -1 4202560 5205 0 0 0 105 1 0 0 15 0 22 0 262860124 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13171] ppid=13153 vsize=15708440 CPUtime=1.61 cores=0,2,4,6
/proc/13155/task/13171/stat : 13171 (java) S 13153 13155 12950 0 -1 4202560 14600 0 0 0 160 1 0 0 15 0 22 0 262860124 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 6 0 0 0
[pid=13155/tid=13172] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13172/stat : 13172 (java) S 13153 13155 12950 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 262860124 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478105 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13173] ppid=13153 vsize=15708440 CPUtime=0 cores=0,2,4,6
/proc/13155/task/13173/stat : 13173 (java) S 13153 13155 12950 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 262860124 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 268672478720 0 4 0 16800975 18446604441495266240 0 0 -1 2 0 0 0
[pid=13155/tid=13174] ppid=13153 vsize=15708440 CPUtime=1191.78 cores=0,2,4,6
/proc/13155/task/13174/stat : 13174 (java) R 13153 13155 12950 0 -1 4202560 403248 0 0 0 119122 56 0 0 25 0 22 0 262860150 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912505787283 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=13155/tid=13175] ppid=13153 vsize=15708440 CPUtime=1190.8 cores=0,2,4,6
/proc/13155/task/13175/stat : 13175 (java) R 13153 13155 12950 0 -1 4202560 401955 0 0 0 119023 57 0 0 25 0 22 0 262860150 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 47746002028820 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13155/tid=13176] ppid=13153 vsize=15708440 CPUtime=1190.88 cores=0,2,4,6
/proc/13155/task/13176/stat : 13176 (java) R 13153 13155 12950 0 -1 4202560 392964 0 0 0 119037 51 0 0 25 0 22 0 262860150 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912506145510 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13155/tid=13177] ppid=13153 vsize=15708440 CPUtime=1191.47 cores=0,2,4,6
/proc/13155/task/13177/stat : 13177 (java) R 13153 13155 12950 0 -1 4202560 404656 0 0 0 119091 56 0 0 25 0 22 0 262860150 16085442560 113322 33554432000 1073741824 1073778376 140737248131152 18446744073709551615 46912506622701 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 15708440

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

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

Child status: 143
Real time (s): 1206.94
CPU time (s): 4800.39
CPU user time (s): 4795.57
CPU system time (s): 4.81727
CPU usage (%): 397.733
Max. virtual memory (cumulated for all children) (KiB): 15710956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.57
system time used= 4.81727
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2579946
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= 211103
involuntary context switches= 125189

runsolver used 1.9797 second user time and 4.66229 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-30 20:04:49
IDJOB=3312978
IDBENCH=84580
IDSOLVER=1699
FILE ID=node107/3312978-1304186689
RUNJOBID= node107-1304185468-12968
PBS_JOBID= 13172482
Free space on /tmp= 72624 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT04/handmade/anton/l4k4/lksat-n900-m6174-k4-l4-s819398222.used-as.sat04-929.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312978-1304186689/watcher-3312978-1304186689 -o /tmp/evaluation-result-3312978-1304186689/solver-3312978-1304186689 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312978-1304186689.cnf

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

MD5SUM BENCH= 82170fa4021e7a6c932a31c197f0f64c
RANDOM SEED=1309998223

node107.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.829
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.829
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.75
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.829
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29317492 kB
Buffers:        402312 kB
Cached:        1760960 kB
SwapCached:          4 kB
Active:        1206108 kB
Inactive:      2075540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29317492 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            3888 kB
Writeback:           0 kB
AnonPages:     1117824 kB
Mapped:          23424 kB
Slab:           286604 kB
PageTables:       6960 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1643064 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= 72624 MiB
End job on node107 at 2011-04-30 20:24:57