Trace number 3311646

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.34 1207.23

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf
MD5SUMb3fdf3b46fb0b1e907e496e0b191070b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.289955
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56230

Solver Data 

0.10/0.12	42:22 INFO : Reading from input HOME/instance-3311646-1304178142.cnf
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Executor set job limit to 1000000
0.51/0.33	Starting Executor!
0.51/0.33	Starting Executor!
0.51/0.33	Starting Executor!
0.51/0.33	Starting Executor!
0.96/0.53	42:22 INFO : 70 variables remaining out of 70
0.96/0.53	42:22 INFO : 49840 literals remaining out of 49840

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

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: 7.41 7.90 7.96 2/174 32309
/proc/meminfo: memFree=30976852/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/32309/stat : 32309 (java) R 32307 32309 32139 0 -1 4202496 760 0 0 0 0 0 0 0 18 0 1 0 510230417 23580672 246 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212034692864 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32309/statm: 5757 257 205 9 0 124 0

[startup+0.07416 s]
/proc/loadavg: 7.41 7.90 7.96 2/174 32309
/proc/meminfo: memFree=30976852/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/32309/stat : 32309 (java) S 32307 32309 32139 0 -1 4202496 4411 0 1 0 5 0 0 0 18 0 18 0 510230417 15984414720 3849 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32309/statm: 3902445 3849 1779 9 0 3893164 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.101194 s]
/proc/loadavg: 7.41 7.90 7.96 2/174 32309
/proc/meminfo: memFree=30976852/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=15741904 CPUtime=0.1 cores=1,3,5,7
/proc/32309/stat : 32309 (java) S 32307 32309 32139 0 -1 4202496 5525 0 1 0 9 1 0 0 18 0 18 0 510230417 16119709696 4963 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32309/statm: 3935476 4963 2117 9 0 3926195 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741904

[startup+0.301073 s]
/proc/loadavg: 7.41 7.90 7.96 2/174 32309
/proc/meminfo: memFree=30976852/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=15747636 CPUtime=0.51 cores=1,3,5,7
/proc/32309/stat : 32309 (java) S 32307 32309 32139 0 -1 4202496 14190 0 1 0 49 2 0 0 18 0 18 0 510230417 16125579264 12398 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32309/statm: 3936909 12401 2208 9 0 3927628 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15747636

[startup+0.701 s]
/proc/loadavg: 7.41 7.90 7.96 2/174 32309
/proc/meminfo: memFree=30976852/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=15764280 CPUtime=1.63 cores=1,3,5,7
/proc/32309/stat : 32309 (java) S 32307 32309 32139 0 -1 4202496 30064 0 1 0 158 5 0 0 18 0 22 0 510230417 16142622720 25199 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32309/statm: 3941070 25199 2259 9 0 3931789 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 15764280

[startup+1.50086 s]
/proc/loadavg: 7.41 7.90 7.96 15/220 32358
/proc/meminfo: memFree=30629180/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=15767036 CPUtime=4.77 cores=1,3,5,7
/proc/32309/stat : 32309 (java) S 32307 32309 32139 0 -1 4202496 56602 0 1 0 469 8 0 0 18 0 22 0 510230417 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32309/statm: 3941759 51727 2286 9 0 3932478 0
[pid=32309/tid=32312] ppid=32307 vsize=15767036 CPUtime=0.51 cores=1,3,5,7
/proc/32309/task/32312/stat : 32312 (java) S 32307 32309 32139 0 -1 4202560 13738 0 1 0 49 2 0 0 20 0 22 0 510230418 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32313] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32313/stat : 32313 (java) S 32307 32309 32139 0 -1 4202560 1041 0 0 0 0 0 0 0 16 0 22 0 510230418 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32314] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32314/stat : 32314 (java) S 32307 32309 32139 0 -1 4202560 111 0 0 0 0 0 0 0 16 0 22 0 510230418 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32315] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32315/stat : 32315 (java) S 32307 32309 32139 0 -1 4202560 673 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32316] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32316/stat : 32316 (java) R 32307 32309 32139 0 -1 4202560 446 0 0 0 0 0 0 0 16 0 22 0 510230418 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32309/tid=32317] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32317/stat : 32317 (java) S 32307 32309 32139 0 -1 4202560 242 0 0 0 0 0 0 0 16 0 22 0 510230418 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32318] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32318/stat : 32318 (java) S 32307 32309 32139 0 -1 4202560 444 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32319] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32319/stat : 32319 (java) S 32307 32309 32139 0 -1 4202560 805 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32320] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32320/stat : 32320 (java) S 32307 32309 32139 0 -1 4202560 1051 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32327] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32327/stat : 32327 (java) S 32307 32309 32139 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 510230419 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 0 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32336] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32336/stat : 32336 (java) S 32307 32309 32139 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32337] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32337/stat : 32337 (java) S 32307 32309 32139 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32341] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32341/stat : 32341 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 510230422 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051478961 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32342] ppid=32307 vsize=15767036 CPUtime=0.56 cores=1,3,5,7
/proc/32309/task/32342/stat : 32342 (java) R 32307 32309 32139 0 -1 4202560 6233 0 0 0 56 0 0 0 21 0 22 0 510230422 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051481269 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32309/tid=32343] ppid=32307 vsize=15767036 CPUtime=0.98 cores=1,3,5,7
/proc/32309/task/32343/stat : 32343 (java) S 32307 32309 32139 0 -1 4202560 8428 0 0 0 97 1 0 0 15 0 22 0 510230422 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32344] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32344/stat : 32344 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 510230422 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32345] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32345/stat : 32345 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510230422 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32351] ppid=32307 vsize=15767036 CPUtime=0.75 cores=1,3,5,7
/proc/32309/task/32351/stat : 32351 (java) R 32307 32309 32139 0 -1 4202560 3469 0 0 0 75 0 0 0 16 0 22 0 510230450 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32309/tid=32352] ppid=32307 vsize=15767036 CPUtime=0.66 cores=1,3,5,7
/proc/32309/task/32352/stat : 32352 (java) R 32307 32309 32139 0 -1 4202560 5133 0 0 0 66 0 0 0 16 0 22 0 510230450 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912506000590 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32309/tid=32353] ppid=32307 vsize=15767036 CPUtime=0.43 cores=1,3,5,7
/proc/32309/task/32353/stat : 32353 (java) R 32307 32309 32139 0 -1 4202560 6449 0 0 0 43 0 0 0 18 0 22 0 510230450 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912506016256 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32309/tid=32354] ppid=32307 vsize=15767036 CPUtime=0.77 cores=1,3,5,7
/proc/32309/task/32354/stat : 32354 (java) R 32307 32309 32139 0 -1 4202560 6942 0 0 0 77 0 0 0 16 0 22 0 510230450 16145444864 51727 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 47487030600900 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 15767036

[startup+3.10157 s]
/proc/loadavg: 7.41 7.90 7.96 11/220 32358
/proc/meminfo: memFree=30427680/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=15767036 CPUtime=11.14 cores=1,3,5,7
/proc/32309/stat : 32309 (java) S 32307 32309 32139 0 -1 4202496 89272 0 1 0 1100 14 0 0 18 0 22 0 510230417 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32309/statm: 3941759 84108 2286 9 0 3932478 0
[pid=32309/tid=32312] ppid=32307 vsize=15767036 CPUtime=0.51 cores=1,3,5,7
/proc/32309/task/32312/stat : 32312 (java) S 32307 32309 32139 0 -1 4202560 13738 0 1 0 49 2 0 0 20 0 22 0 510230418 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32313] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32313/stat : 32313 (java) S 32307 32309 32139 0 -1 4202560 1737 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32314] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32314/stat : 32314 (java) S 32307 32309 32139 0 -1 4202560 1544 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32315] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32315/stat : 32315 (java) S 32307 32309 32139 0 -1 4202560 1026 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32316] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32316/stat : 32316 (java) S 32307 32309 32139 0 -1 4202560 1677 0 0 0 0 0 0 0 16 0 22 0 510230418 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32317] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32317/stat : 32317 (java) S 32307 32309 32139 0 -1 4202560 979 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32318] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32318/stat : 32318 (java) S 32307 32309 32139 0 -1 4202560 444 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32319] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32319/stat : 32319 (java) S 32307 32309 32139 0 -1 4202560 1595 0 0 0 0 0 0 0 16 0 22 0 510230418 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32320] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32320/stat : 32320 (java) S 32307 32309 32139 0 -1 4202560 1053 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32327] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32327/stat : 32327 (java) S 32307 32309 32139 0 -1 4202560 200 0 0 0 0 0 0 0 16 0 22 0 510230419 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 0 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32336] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32336/stat : 32336 (java) S 32307 32309 32139 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32337] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32337/stat : 32337 (java) S 32307 32309 32139 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32341] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32341/stat : 32341 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 510230422 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051478961 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32342] ppid=32307 vsize=15767036 CPUtime=0.56 cores=1,3,5,7
/proc/32309/task/32342/stat : 32342 (java) S 32307 32309 32139 0 -1 4202560 6235 0 0 0 56 0 0 0 20 0 22 0 510230422 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32343] ppid=32307 vsize=15767036 CPUtime=1.11 cores=1,3,5,7
/proc/32309/task/32343/stat : 32343 (java) S 32307 32309 32139 0 -1 4202560 8448 0 0 0 110 1 0 0 15 0 22 0 510230422 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32344] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32344/stat : 32344 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 510230422 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32345] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32345/stat : 32345 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 510230422 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32351] ppid=32307 vsize=15767036 CPUtime=2.33 cores=1,3,5,7
/proc/32309/task/32351/stat : 32351 (java) R 32307 32309 32139 0 -1 4202560 10187 0 0 0 232 1 0 0 18 0 22 0 510230450 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912506000927 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32309/tid=32352] ppid=32307 vsize=15767036 CPUtime=2.24 cores=1,3,5,7
/proc/32309/task/32352/stat : 32352 (java) R 32307 32309 32139 0 -1 4202560 12332 0 0 0 223 1 0 0 18 0 22 0 510230450 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32309/tid=32353] ppid=32307 vsize=15767036 CPUtime=1.89 cores=1,3,5,7
/proc/32309/task/32353/stat : 32353 (java) R 32307 32309 32139 0 -1 4202560 12823 0 0 0 188 1 0 0 21 0 22 0 510230450 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912505737580 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32309/tid=32354] ppid=32307 vsize=15767036 CPUtime=2.36 cores=1,3,5,7
/proc/32309/task/32354/stat : 32354 (java) R 32307 32309 32139 0 -1 4202560 13867 0 0 0 234 2 0 0 18 0 22 0 510230450 16145444864 84108 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912506086174 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.14
Current children cumulated vsize (KiB) 15767036

[startup+6.301 s]
/proc/loadavg: 7.45 7.90 7.96 9/220 32358
/proc/meminfo: memFree=29531240/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=15767036 CPUtime=23.89 cores=1,3,5,7
/proc/32309/stat : 32309 (java) S 32307 32309 32139 0 -1 4202496 92785 0 1 0 2374 15 0 0 18 0 22 0 510230417 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32309/statm: 3941759 84227 2289 9 0 3932478 0
[pid=32309/tid=32312] ppid=32307 vsize=15767036 CPUtime=0.51 cores=1,3,5,7
/proc/32309/task/32312/stat : 32312 (java) S 32307 32309 32139 0 -1 4202560 13738 0 1 0 49 2 0 0 20 0 22 0 510230418 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32313] ppid=32307 vsize=15767036 CPUtime=0.01 cores=1,3,5,7
/proc/32309/task/32313/stat : 32313 (java) S 32307 32309 32139 0 -1 4202560 2203 0 0 0 1 0 0 0 16 0 22 0 510230418 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32314] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32314/stat : 32314 (java) S 32307 32309 32139 0 -1 4202560 1941 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32315] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32315/stat : 32315 (java) S 32307 32309 32139 0 -1 4202560 1723 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32316] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32316/stat : 32316 (java) S 32307 32309 32139 0 -1 4202560 2223 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32317] ppid=32307 vsize=15767036 CPUtime=0.01 cores=1,3,5,7
/proc/32309/task/32317/stat : 32317 (java) S 32307 32309 32139 0 -1 4202560 1341 0 0 0 1 0 0 0 15 0 22 0 510230418 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32318] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32318/stat : 32318 (java) S 32307 32309 32139 0 -1 4202560 842 0 0 0 0 0 0 0 16 0 22 0 510230418 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32319] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32319/stat : 32319 (java) S 32307 32309 32139 0 -1 4202560 1934 0 0 0 0 0 0 0 15 0 22 0 510230418 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32320] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32320/stat : 32320 (java) S 32307 32309 32139 0 -1 4202560 1311 0 0 0 0 0 0 0 16 0 22 0 510230418 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32327] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32327/stat : 32327 (java) S 32307 32309 32139 0 -1 4202560 200 0 0 0 0 0 0 0 15 0 22 0 510230419 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 0 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32336] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32336/stat : 32336 (java) S 32307 32309 32139 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32337] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32337/stat : 32337 (java) S 32307 32309 32139 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32341] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32341/stat : 32341 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 510230422 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051478961 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32342] ppid=32307 vsize=15767036 CPUtime=0.7 cores=1,3,5,7
/proc/32309/task/32342/stat : 32342 (java) S 32307 32309 32139 0 -1 4202560 6258 0 0 0 70 0 0 0 15 0 22 0 510230422 16145444864 84227 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0

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

[pid=32309/tid=32352] ppid=32307 vsize=15767036 CPUtime=1048.79 cores=1,3,5,7
/proc/32309/task/32352/stat : 32352 (java) R 32307 32309 32139 0 -1 4202560 143654 0 0 0 104850 29 0 0 25 0 22 0 510230450 16145444864 74049 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 47487030248279 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32309/tid=32353] ppid=32307 vsize=15767036 CPUtime=1048.79 cores=1,3,5,7
/proc/32309/task/32353/stat : 32353 (java) R 32307 32309 32139 0 -1 4202560 142312 0 0 0 104851 28 0 0 25 0 22 0 510230450 16145444864 74049 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912505814346 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32309/tid=32354] ppid=32307 vsize=15767036 CPUtime=1048.84 cores=1,3,5,7
/proc/32309/task/32354/stat : 32354 (java) R 32307 32309 32139 0 -1 4202560 143907 0 0 0 104858 26 0 0 25 0 22 0 510230450 16145444864 74049 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 18446744073699065918 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4224.08
Current children cumulated vsize (KiB) 15767036

[startup+1122.3 s]
/proc/loadavg: 8.20 8.12 8.06 9/220 32397
/proc/meminfo: memFree=30373300/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=15767036 CPUtime=4462.61 cores=1,3,5,7
/proc/32309/stat : 32309 (java) S 32307 32309 32139 0 -1 4202496 1189529 0 1 0 445945 316 0 0 18 0 22 0 510230417 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32309/statm: 3941759 76393 2299 9 0 3932478 0
[pid=32309/tid=32312] ppid=32307 vsize=15767036 CPUtime=0.51 cores=1,3,5,7
/proc/32309/task/32312/stat : 32312 (java) S 32307 32309 32139 0 -1 4202560 13738 0 1 0 49 2 0 0 20 0 22 0 510230418 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32313] ppid=32307 vsize=15767036 CPUtime=3.1 cores=1,3,5,7
/proc/32309/task/32313/stat : 32313 (java) S 32307 32309 32139 0 -1 4202560 66764 0 0 0 296 14 0 0 16 0 22 0 510230418 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32314] ppid=32307 vsize=15767036 CPUtime=3.18 cores=1,3,5,7
/proc/32309/task/32314/stat : 32314 (java) S 32307 32309 32139 0 -1 4202560 67738 0 0 0 303 15 0 0 15 0 22 0 510230418 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32315] ppid=32307 vsize=15767036 CPUtime=3.14 cores=1,3,5,7
/proc/32309/task/32315/stat : 32315 (java) S 32307 32309 32139 0 -1 4202560 67742 0 0 0 297 17 0 0 15 0 22 0 510230418 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32316] ppid=32307 vsize=15767036 CPUtime=3.28 cores=1,3,5,7
/proc/32309/task/32316/stat : 32316 (java) S 32307 32309 32139 0 -1 4202560 72275 0 0 0 310 18 0 0 15 0 22 0 510230418 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32317] ppid=32307 vsize=15767036 CPUtime=3.15 cores=1,3,5,7
/proc/32309/task/32317/stat : 32317 (java) S 32307 32309 32139 0 -1 4202560 64725 0 0 0 299 16 0 0 16 0 22 0 510230418 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32318] ppid=32307 vsize=15767036 CPUtime=3.23 cores=1,3,5,7
/proc/32309/task/32318/stat : 32318 (java) S 32307 32309 32139 0 -1 4202560 70175 0 0 0 309 14 0 0 15 0 22 0 510230418 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32319] ppid=32307 vsize=15767036 CPUtime=3.22 cores=1,3,5,7
/proc/32309/task/32319/stat : 32319 (java) S 32307 32309 32139 0 -1 4202560 66156 0 0 0 304 18 0 0 15 0 22 0 510230418 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32320] ppid=32307 vsize=15767036 CPUtime=3.21 cores=1,3,5,7
/proc/32309/task/32320/stat : 32320 (java) S 32307 32309 32139 0 -1 4202560 67365 0 0 0 304 17 0 0 15 0 22 0 510230418 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32327] ppid=32307 vsize=15767036 CPUtime=1.99 cores=1,3,5,7
/proc/32309/task/32327/stat : 32327 (java) S 32307 32309 32139 0 -1 4202560 3150 0 0 0 145 54 0 0 16 0 22 0 510230419 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 0 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32336] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32336/stat : 32336 (java) S 32307 32309 32139 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32337] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32337/stat : 32337 (java) S 32307 32309 32139 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32341] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32341/stat : 32341 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 510230422 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051478961 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32342] ppid=32307 vsize=15767036 CPUtime=0.72 cores=1,3,5,7
/proc/32309/task/32342/stat : 32342 (java) S 32307 32309 32139 0 -1 4202560 6260 0 0 0 72 0 0 0 15 0 22 0 510230422 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32343] ppid=32307 vsize=15767036 CPUtime=1.18 cores=1,3,5,7
/proc/32309/task/32343/stat : 32343 (java) S 32307 32309 32139 0 -1 4202560 8469 0 0 0 117 1 0 0 15 0 22 0 510230422 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32344] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32344/stat : 32344 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 510230422 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32345] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32345/stat : 32345 (java) S 32307 32309 32139 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 510230422 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32351] ppid=32307 vsize=15767036 CPUtime=1108.28 cores=1,3,5,7
/proc/32309/task/32351/stat : 32351 (java) R 32307 32309 32139 0 -1 4202560 150699 0 0 0 110796 32 0 0 25 0 22 0 510230450 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912505804910 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32309/tid=32352] ppid=32307 vsize=15767036 CPUtime=1108.11 cores=1,3,5,7
/proc/32309/task/32352/stat : 32352 (java) R 32307 32309 32139 0 -1 4202560 154438 0 0 0 110780 31 0 0 25 0 22 0 510230450 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32309/tid=32353] ppid=32307 vsize=15767036 CPUtime=1108.16 cores=1,3,5,7
/proc/32309/task/32353/stat : 32353 (java) R 32307 32309 32139 0 -1 4202560 153201 0 0 0 110787 29 0 0 25 0 22 0 510230450 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 18446744073699066034 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32309/tid=32354] ppid=32307 vsize=15767036 CPUtime=1107.98 cores=1,3,5,7
/proc/32309/task/32354/stat : 32354 (java) R 32307 32309 32139 0 -1 4202560 155191 0 0 0 110771 27 0 0 25 0 22 0 510230450 16145444864 76393 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4462.61
Current children cumulated vsize (KiB) 15767036

[startup+1182.3 s]
/proc/loadavg: 8.14 8.12 8.06 9/220 32398
/proc/meminfo: memFree=30379316/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=15767036 CPUtime=4701.23 cores=1,3,5,7
/proc/32309/stat : 32309 (java) S 32307 32309 32139 0 -1 4202496 1257427 0 1 0 469786 337 0 0 18 0 22 0 510230417 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32309/statm: 3941759 83030 2299 9 0 3932478 0
[pid=32309/tid=32312] ppid=32307 vsize=15767036 CPUtime=0.51 cores=1,3,5,7
/proc/32309/task/32312/stat : 32312 (java) S 32307 32309 32139 0 -1 4202560 13738 0 1 0 49 2 0 0 20 0 22 0 510230418 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32313] ppid=32307 vsize=15767036 CPUtime=3.25 cores=1,3,5,7
/proc/32309/task/32313/stat : 32313 (java) S 32307 32309 32139 0 -1 4202560 69631 0 0 0 310 15 0 0 15 0 22 0 510230418 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32314] ppid=32307 vsize=15767036 CPUtime=3.34 cores=1,3,5,7
/proc/32309/task/32314/stat : 32314 (java) S 32307 32309 32139 0 -1 4202560 70452 0 0 0 318 16 0 0 15 0 22 0 510230418 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32315] ppid=32307 vsize=15767036 CPUtime=3.28 cores=1,3,5,7
/proc/32309/task/32315/stat : 32315 (java) S 32307 32309 32139 0 -1 4202560 70869 0 0 0 310 18 0 0 15 0 22 0 510230418 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32316] ppid=32307 vsize=15767036 CPUtime=3.46 cores=1,3,5,7
/proc/32309/task/32316/stat : 32316 (java) S 32307 32309 32139 0 -1 4202560 75856 0 0 0 327 19 0 0 15 0 22 0 510230418 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32317] ppid=32307 vsize=15767036 CPUtime=3.32 cores=1,3,5,7
/proc/32309/task/32317/stat : 32317 (java) S 32307 32309 32139 0 -1 4202560 68428 0 0 0 315 17 0 0 16 0 22 0 510230418 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32318] ppid=32307 vsize=15767036 CPUtime=3.39 cores=1,3,5,7
/proc/32309/task/32318/stat : 32318 (java) S 32307 32309 32139 0 -1 4202560 73371 0 0 0 323 16 0 0 16 0 22 0 510230418 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32319] ppid=32307 vsize=15767036 CPUtime=3.39 cores=1,3,5,7
/proc/32309/task/32319/stat : 32319 (java) S 32307 32309 32139 0 -1 4202560 69845 0 0 0 320 19 0 0 15 0 22 0 510230418 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32320] ppid=32307 vsize=15767036 CPUtime=3.38 cores=1,3,5,7
/proc/32309/task/32320/stat : 32320 (java) S 32307 32309 32139 0 -1 4202560 70648 0 0 0 320 18 0 0 15 0 22 0 510230418 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32327] ppid=32307 vsize=15767036 CPUtime=2.11 cores=1,3,5,7
/proc/32309/task/32327/stat : 32327 (java) S 32307 32309 32139 0 -1 4202560 3330 0 0 0 153 58 0 0 15 0 22 0 510230419 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 0 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32336] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32336/stat : 32336 (java) S 32307 32309 32139 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32337] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32337/stat : 32337 (java) S 32307 32309 32139 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32341] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32341/stat : 32341 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 510230422 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051478961 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32342] ppid=32307 vsize=15767036 CPUtime=0.72 cores=1,3,5,7
/proc/32309/task/32342/stat : 32342 (java) S 32307 32309 32139 0 -1 4202560 6260 0 0 0 72 0 0 0 15 0 22 0 510230422 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32343] ppid=32307 vsize=15767036 CPUtime=1.18 cores=1,3,5,7
/proc/32309/task/32343/stat : 32343 (java) S 32307 32309 32139 0 -1 4202560 8469 0 0 0 117 1 0 0 15 0 22 0 510230422 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32344] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32344/stat : 32344 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 510230422 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32345] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32345/stat : 32345 (java) S 32307 32309 32139 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 510230422 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 4 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32351] ppid=32307 vsize=15767036 CPUtime=1167.64 cores=1,3,5,7
/proc/32309/task/32351/stat : 32351 (java) R 32307 32309 32139 0 -1 4202560 161129 0 0 0 116729 35 0 0 25 0 22 0 510230450 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912506022234 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32309/tid=32352] ppid=32307 vsize=15767036 CPUtime=1167.41 cores=1,3,5,7
/proc/32309/task/32352/stat : 32352 (java) R 32307 32309 32139 0 -1 4202560 164649 0 0 0 116708 33 0 0 25 0 22 0 510230450 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 47487030249667 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32309/tid=32353] ppid=32307 vsize=15767036 CPUtime=1167.34 cores=1,3,5,7
/proc/32309/task/32353/stat : 32353 (java) R 32307 32309 32139 0 -1 4202560 163248 0 0 0 116703 31 0 0 25 0 22 0 510230450 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912505745136 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32309/tid=32354] ppid=32307 vsize=15767036 CPUtime=1167.34 cores=1,3,5,7
/proc/32309/task/32354/stat : 32354 (java) R 32307 32309 32139 0 -1 4202560 166057 0 0 0 116704 30 0 0 25 0 22 0 510230450 16145444864 83030 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912506128630 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4701.23
Current children cumulated vsize (KiB) 15767036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.16 8.12 8.06 5/197 32402
/proc/meminfo: memFree=30645712/32951124 swapFree=67106388/67111528
[pid=32309] ppid=32307 vsize=15767036 CPUtime=4800.29 cores=1,3,5,7
/proc/32309/stat : 32309 (java) S 32307 32309 32139 0 -1 4202496 1281499 0 1 0 479686 343 0 0 18 0 22 0 510230417 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32309/statm: 3941759 82559 2299 9 0 3932478 0
[pid=32309/tid=32312] ppid=32307 vsize=15767036 CPUtime=0.51 cores=1,3,5,7
/proc/32309/task/32312/stat : 32312 (java) S 32307 32309 32139 0 -1 4202560 13738 0 1 0 49 2 0 0 20 0 22 0 510230418 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32313] ppid=32307 vsize=15767036 CPUtime=3.3 cores=1,3,5,7
/proc/32309/task/32313/stat : 32313 (java) S 32307 32309 32139 0 -1 4202560 70643 0 0 0 315 15 0 0 15 0 22 0 510230418 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32314] ppid=32307 vsize=15767036 CPUtime=3.4 cores=1,3,5,7
/proc/32309/task/32314/stat : 32314 (java) S 32307 32309 32139 0 -1 4202560 71403 0 0 0 324 16 0 0 15 0 22 0 510230418 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 7 0 0 0
[pid=32309/tid=32315] ppid=32307 vsize=15767036 CPUtime=3.33 cores=1,3,5,7
/proc/32309/task/32315/stat : 32315 (java) S 32307 32309 32139 0 -1 4202560 71650 0 0 0 315 18 0 0 15 0 22 0 510230418 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 3 0 0 0
[pid=32309/tid=32316] ppid=32307 vsize=15767036 CPUtime=3.53 cores=1,3,5,7
/proc/32309/task/32316/stat : 32316 (java) S 32307 32309 32139 0 -1 4202560 76846 0 0 0 334 19 0 0 15 0 22 0 510230418 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32317] ppid=32307 vsize=15767036 CPUtime=3.38 cores=1,3,5,7
/proc/32309/task/32317/stat : 32317 (java) S 32307 32309 32139 0 -1 4202560 69257 0 0 0 321 17 0 0 15 0 22 0 510230418 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32318] ppid=32307 vsize=15767036 CPUtime=3.46 cores=1,3,5,7
/proc/32309/task/32318/stat : 32318 (java) S 32307 32309 32139 0 -1 4202560 74090 0 0 0 330 16 0 0 15 0 22 0 510230418 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32319] ppid=32307 vsize=15767036 CPUtime=3.44 cores=1,3,5,7
/proc/32309/task/32319/stat : 32319 (java) S 32307 32309 32139 0 -1 4202560 70663 0 0 0 325 19 0 0 15 0 22 0 510230418 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32320] ppid=32307 vsize=15767036 CPUtime=3.45 cores=1,3,5,7
/proc/32309/task/32320/stat : 32320 (java) S 32307 32309 32139 0 -1 4202560 71722 0 0 0 326 19 0 0 16 0 22 0 510230418 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32327] ppid=32307 vsize=15767036 CPUtime=2.16 cores=1,3,5,7
/proc/32309/task/32327/stat : 32327 (java) S 32307 32309 32139 0 -1 4202560 3373 0 0 0 157 59 0 0 16 0 22 0 510230419 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 0 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32336] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32336/stat : 32336 (java) S 32307 32309 32139 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32337] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32337/stat : 32337 (java) S 32307 32309 32139 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 510230420 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32341] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32341/stat : 32341 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 510230422 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051478961 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32342] ppid=32307 vsize=15767036 CPUtime=0.72 cores=1,3,5,7
/proc/32309/task/32342/stat : 32342 (java) S 32307 32309 32139 0 -1 4202560 6260 0 0 0 72 0 0 0 15 0 22 0 510230422 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32343] ppid=32307 vsize=15767036 CPUtime=1.18 cores=1,3,5,7
/proc/32309/task/32343/stat : 32343 (java) S 32307 32309 32139 0 -1 4202560 8469 0 0 0 117 1 0 0 15 0 22 0 510230422 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 1 0 0 0
[pid=32309/tid=32344] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32344/stat : 32344 (java) S 32307 32309 32139 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 510230422 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471257 0 4 0 16800975 18446604465135038656 0 0 -1 5 0 0 0
[pid=32309/tid=32345] ppid=32307 vsize=15767036 CPUtime=0 cores=1,3,5,7
/proc/32309/task/32345/stat : 32345 (java) R 32307 32309 32139 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 510230422 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 212051471872 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32309/tid=32351] ppid=32307 vsize=15767036 CPUtime=1192.23 cores=1,3,5,7
/proc/32309/task/32351/stat : 32351 (java) R 32307 32309 32139 0 -1 4202560 165119 0 0 0 119187 36 0 0 25 0 22 0 510230450 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912505737622 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32309/tid=32352] ppid=32307 vsize=15767036 CPUtime=1192.06 cores=1,3,5,7
/proc/32309/task/32352/stat : 32352 (java) R 32307 32309 32139 0 -1 4202560 168958 0 0 0 119171 35 0 0 25 0 22 0 510230450 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 18446744073699065897 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32309/tid=32353] ppid=32307 vsize=15767036 CPUtime=1191.99 cores=1,3,5,7
/proc/32309/task/32353/stat : 32353 (java) R 32307 32309 32139 0 -1 4202560 167686 0 0 0 119167 32 0 0 25 0 22 0 510230450 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 46912506022145 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32309/tid=32354] ppid=32307 vsize=15767036 CPUtime=1192.01 cores=1,3,5,7
/proc/32309/task/32354/stat : 32354 (java) R 32307 32309 32139 0 -1 4202560 170173 0 0 0 119170 31 0 0 25 0 22 0 510230450 16145444864 82559 33554432000 1073741824 1073778376 140735782114176 18446744073709551615 18446744073699065911 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 15767036

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

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

Child status: 143
Real time (s): 1207.23
CPU time (s): 4800.34
CPU user time (s): 4796.88
CPU system time (s): 3.45248
CPU usage (%): 397.632
Max. virtual memory (cumulated for all children) (KiB): 15767036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.88
system time used= 3.45247
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1281526
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= 304185
involuntary context switches= 164116

runsolver used 1.9607 second user time and 4.68029 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-30 17:42:22
IDJOB=3311646
IDBENCH=83031
IDSOLVER=1698
FILE ID=node146/3311646-1304178142
RUNJOBID= node146-1304176932-32158
PBS_JOBID= 13172433
Free space on /tmp= 73352 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311646-1304178142/watcher-3311646-1304178142 -o /tmp/evaluation-result-3311646-1304178142/solver-3311646-1304178142 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311646-1304178142.cnf -hbr 2

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

MD5SUM BENCH= b3fdf3b46fb0b1e907e496e0b191070b
RANDOM SEED=211489171

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
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.830
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.830
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:      30977380 kB
Buffers:        434404 kB
Cached:        1107076 kB
SwapCached:        700 kB
Active:         128508 kB
Inactive:      1472736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30977380 kB
SwapTotal:    67111528 kB
SwapFree:     67106388 kB
Dirty:            1632 kB
Writeback:          36 kB
AnonPages:       59340 kB
Mapped:          14220 kB
Slab:           310404 kB
PageTables:       4364 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188348 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= 73348 MiB
End job on node146 at 2011-04-30 18:02:31