Trace number 3313033

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.63 1207.08

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v760c43649gyes6.cnf
MD5SUMdc046d6f885b64777ffc1cfc8367a176
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.909861
Satisfiable
(Un)Satisfiability was proved
Number of variables760
Number of clauses43649
Sum of the clauses size87978
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 243609
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 540

Solver Data 

0.11/0.11	58:00 INFO : Reading from input HOME/instance-3313033-1304092680.cnf
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Starting Executor!
0.61/0.41	Starting Executor!
0.61/0.41	Starting Executor!
0.61/0.41	Starting Executor!
1.70/0.95	58:01 INFO : 760 variables remaining out of 760
1.70/0.95	58:01 INFO : 262454 literals remaining out of 131627

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-3313033-1304092680/watcher-3313033-1304092680 -o /tmp/evaluation-result-3313033-1304092680/solver-3313033-1304092680 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313033-1304092680.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.13 8.11 8.09 2/194 3323
/proc/meminfo: memFree=30647360/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/3323/stat : 3323 (java) R 3321 3323 2974 0 -1 4202496 1200 0 0 0 0 0 0 0 25 0 1 0 253459266 23580672 685 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268655699432 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/3323/statm: 5757 686 513 9 0 124 0
[pid=3323/tid=3324] ppid=3321 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) R 3321 3323 2974 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 253459267 27824128 894 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268655738503 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.0487929 s]
/proc/loadavg: 8.13 8.11 8.09 2/194 3323
/proc/meminfo: memFree=30647360/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=15610116 CPUtime=0.03 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3321 3323 2974 0 -1 4202496 4035 0 1 0 3 0 0 0 25 0 18 0 253459266 15984758784 3473 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3323/statm: 3902529 3474 1750 9 0 3893248 0
[pid=3323/tid=3324] ppid=3321 vsize=15610116 CPUtime=0.03 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) R 3321 3323 2974 0 -1 4202560 2616 0 1 0 3 0 0 0 25 0 18 0 253459267 15984758784 3474 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 47646781587363 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 15610116

[startup+0.100782 s]
/proc/loadavg: 8.13 8.11 8.09 2/194 3323
/proc/meminfo: memFree=30647360/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=15676676 CPUtime=0.11 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3321 3323 2974 0 -1 4202496 5639 0 1 0 10 1 0 0 25 0 18 0 253459266 16052916224 5061 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3323/statm: 3919169 5062 2118 9 0 3909888 0
[pid=3323/tid=3324] ppid=3321 vsize=15676676 CPUtime=0.08 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) R 3321 3323 2974 0 -1 4202560 3492 0 1 0 8 0 0 0 18 0 18 0 253459267 16052916224 5062 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 47646786055672 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676676

[startup+0.300713 s]
/proc/loadavg: 8.13 8.11 8.09 2/194 3323
/proc/meminfo: memFree=30647360/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=15682820 CPUtime=0.51 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3321 3323 2974 0 -1 4202496 14607 0 1 0 49 2 0 0 25 0 18 0 253459266 16059207680 13383 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3323/statm: 3920705 13390 2207 9 0 3911424 0
[pid=3323/tid=3324] ppid=3321 vsize=15682820 CPUtime=0.29 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) R 3321 3323 2974 0 -1 4202560 9837 0 1 0 27 2 0 0 18 0 18 0 253459267 16059207680 13393 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505639635 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682820

[startup+0.700699 s]
/proc/loadavg: 8.13 8.11 8.09 2/194 3323
/proc/meminfo: memFree=30647360/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=15688556 CPUtime=1.23 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3321 3323 2974 0 -1 4202496 39996 0 1 0 117 6 0 0 25 0 22 0 253459266 16065081344 37042 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3323/statm: 3922139 37042 2235 9 0 3912858 0
[pid=3323/tid=3324] ppid=3321 vsize=15688556 CPUtime=0.68 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) R 3321 3323 2974 0 -1 4202560 28693 0 1 0 65 3 0 0 20 0 22 0 253459267 16065081344 37042 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505185936 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 15688556

[startup+1.50147 s]
/proc/loadavg: 7.87 8.06 8.07 8/220 3351
/proc/meminfo: memFree=30334736/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=15686932 CPUtime=3.43 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3321 3323 2974 0 -1 4202496 54055 0 1 0 335 8 0 0 25 0 22 0 253459266 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3323/statm: 3921733 50047 2274 9 0 3912452 0
[pid=3323/tid=3324] ppid=3321 vsize=15686932 CPUtime=0.94 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) S 3321 3323 2974 0 -1 4202560 30586 0 1 0 90 4 0 0 20 0 22 0 253459267 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3326] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2974 0 -1 4202560 1373 0 0 0 0 0 0 0 16 0 22 0 253459267 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3327] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2974 0 -1 4202560 405 0 0 0 0 0 0 0 16 0 22 0 253459267 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3328] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 253459267 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3329] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 253459267 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3330] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 253459267 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3331] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2974 0 -1 4202560 1668 0 0 0 0 0 0 0 16 0 22 0 253459267 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3333] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3333/stat : 3333 (java) S 3321 3323 2974 0 -1 4202560 1042 0 0 0 0 0 0 0 15 0 22 0 253459267 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3334] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3334/stat : 3334 (java) S 3321 3323 2974 0 -1 4202560 1806 0 0 0 0 0 0 0 16 0 22 0 253459267 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3335] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3335/stat : 3335 (java) S 3321 3323 2974 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 22 0 253459268 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478720 0 0 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3336] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3336/stat : 3336 (java) S 3321 3323 2974 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 253459268 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3337] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3337/stat : 3337 (java) S 3321 3323 2974 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 253459269 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3338] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3338/stat : 3338 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 253459271 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672485809 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3339] ppid=3321 vsize=15686932 CPUtime=0.77 cores=0,2,4,6
/proc/3323/task/3339/stat : 3339 (java) R 3321 3323 2974 0 -1 4202560 8460 0 0 0 75 2 0 0 16 0 22 0 253459271 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3323/tid=3340] ppid=3321 vsize=15686932 CPUtime=0.51 cores=0,2,4,6
/proc/3323/task/3340/stat : 3340 (java) R 3321 3323 2974 0 -1 4202560 2311 0 0 0 51 0 0 0 15 0 22 0 253459271 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3323/tid=3341] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3341/stat : 3341 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 253459271 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3342] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3342/stat : 3342 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 253459271 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478720 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3348] ppid=3321 vsize=15686932 CPUtime=0.45 cores=0,2,4,6
/proc/3323/task/3348/stat : 3348 (java) R 3321 3323 2974 0 -1 4202560 2834 0 0 0 45 0 0 0 16 0 22 0 253459307 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505979809 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3323/tid=3349] ppid=3321 vsize=15686932 CPUtime=0.2 cores=0,2,4,6
/proc/3323/task/3349/stat : 3349 (java) R 3321 3323 2974 0 -1 4202560 343 0 0 0 20 0 0 0 16 0 22 0 253459307 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505924768 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3323/tid=3350] ppid=3321 vsize=15686932 CPUtime=0.34 cores=0,2,4,6
/proc/3323/task/3350/stat : 3350 (java) R 3321 3323 2974 0 -1 4202560 1805 0 0 0 34 0 0 0 16 0 22 0 253459308 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505907332 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3323/tid=3351] ppid=3321 vsize=15686932 CPUtime=0.15 cores=0,2,4,6
/proc/3323/task/3351/stat : 3351 (java) R 3321 3323 2974 0 -1 4202560 20 0 0 0 15 0 0 0 15 0 22 0 253459308 16063418368 50047 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505924768 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 15686932

[startup+3.10119 s]
/proc/loadavg: 7.87 8.06 8.07 10/220 3351
/proc/meminfo: memFree=29984064/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=15686932 CPUtime=9.79 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3321 3323 2974 0 -1 4202496 154896 0 1 0 956 23 0 0 25 0 22 0 253459266 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3323/statm: 3921733 150868 2277 9 0 3912452 0
[pid=3323/tid=3324] ppid=3321 vsize=15686932 CPUtime=0.94 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) S 3321 3323 2974 0 -1 4202560 30586 0 1 0 90 4 0 0 20 0 22 0 253459267 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3326] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2974 0 -1 4202560 3794 0 0 0 0 0 0 0 15 0 22 0 253459267 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3327] ppid=3321 vsize=15686932 CPUtime=0.01 cores=0,2,4,6
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2974 0 -1 4202560 3962 0 0 0 0 1 0 0 16 0 22 0 253459267 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3328] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2974 0 -1 4202560 4329 0 0 0 0 0 0 0 16 0 22 0 253459267 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3329] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2974 0 -1 4202560 4089 0 0 0 0 0 0 0 15 0 22 0 253459267 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3330] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2974 0 -1 4202560 1627 0 0 0 0 0 0 0 15 0 22 0 253459267 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3331] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2974 0 -1 4202560 3451 0 0 0 0 0 0 0 16 0 22 0 253459267 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3333] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3333/stat : 3333 (java) S 3321 3323 2974 0 -1 4202560 4199 0 0 0 0 0 0 0 15 0 22 0 253459267 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3334] ppid=3321 vsize=15686932 CPUtime=0.01 cores=0,2,4,6
/proc/3323/task/3334/stat : 3334 (java) S 3321 3323 2974 0 -1 4202560 4797 0 0 0 1 0 0 0 16 0 22 0 253459267 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3335] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3335/stat : 3335 (java) S 3321 3323 2974 0 -1 4202560 458 0 0 0 0 0 0 0 16 0 22 0 253459268 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478720 0 0 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3336] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3336/stat : 3336 (java) S 3321 3323 2974 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 253459268 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3337] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3337/stat : 3337 (java) S 3321 3323 2974 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 253459269 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3338] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3338/stat : 3338 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 253459271 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672485809 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3339] ppid=3321 vsize=15686932 CPUtime=0.81 cores=0,2,4,6
/proc/3323/task/3339/stat : 3339 (java) S 3321 3323 2974 0 -1 4202560 8467 0 0 0 79 2 0 0 16 0 22 0 253459271 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3340] ppid=3321 vsize=15686932 CPUtime=0.57 cores=0,2,4,6
/proc/3323/task/3340/stat : 3340 (java) S 3321 3323 2974 0 -1 4202560 2319 0 0 0 57 0 0 0 15 0 22 0 253459271 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3341] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3341/stat : 3341 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 253459271 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3342] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3342/stat : 3342 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 253459271 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478720 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3348] ppid=3321 vsize=15686932 CPUtime=2.01 cores=0,2,4,6
/proc/3323/task/3348/stat : 3348 (java) R 3321 3323 2974 0 -1 4202560 21525 0 0 0 199 2 0 0 17 0 22 0 253459307 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912506137056 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3323/tid=3349] ppid=3321 vsize=15686932 CPUtime=1.71 cores=0,2,4,6
/proc/3323/task/3349/stat : 3349 (java) R 3321 3323 2974 0 -1 4202560 19772 0 0 0 169 2 0 0 17 0 22 0 253459307 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505932239 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3323/tid=3350] ppid=3321 vsize=15686932 CPUtime=1.91 cores=0,2,4,6
/proc/3323/task/3350/stat : 3350 (java) R 3321 3323 2974 0 -1 4202560 21038 0 0 0 189 2 0 0 17 0 22 0 253459308 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505618246 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3323/tid=3351] ppid=3321 vsize=15686932 CPUtime=1.67 cores=0,2,4,6
/proc/3323/task/3351/stat : 3351 (java) R 3321 3323 2974 0 -1 4202560 19096 0 0 0 164 3 0 0 17 0 22 0 253459308 16063418368 150868 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505924862 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 15686932

[startup+6.30163 s]
/proc/loadavg: 7.87 8.06 8.07 10/220 3352
/proc/meminfo: memFree=28458152/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=15686932 CPUtime=22.57 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3321 3323 2974 0 -1 4202496 285474 0 1 0 2216 41 0 0 25 0 22 0 253459266 16063418368 280732 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3323/statm: 3921733 280732 2277 9 0 3912452 0
[pid=3323/tid=3324] ppid=3321 vsize=15686932 CPUtime=0.94 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) S 3321 3323 2974 0 -1 4202560 30586 0 1 0 90 4 0 0 20 0 22 0 253459267 16063418368 280732 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3326] ppid=3321 vsize=15686932 CPUtime=0.01 cores=0,2,4,6
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2974 0 -1 4202560 6273 0 0 0 1 0 0 0 16 0 22 0 253459267 16063418368 280732 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3327] ppid=3321 vsize=15686932 CPUtime=0.01 cores=0,2,4,6
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2974 0 -1 4202560 5312 0 0 0 0 1 0 0 16 0 22 0 253459267 16063418368 280732 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3328] ppid=3321 vsize=15686932 CPUtime=0.01 cores=0,2,4,6
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2974 0 -1 4202560 5369 0 0 0 1 0 0 0 15 0 22 0 253459267 16063418368 280732 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3329] ppid=3321 vsize=15686932 CPUtime=0.01 cores=0,2,4,6
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2974 0 -1 4202560 4881 0 0 0 1 0 0 0 15 0 22 0 253459267 16063418368 280732 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3330] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2974 0 -1 4202560 3372 0 0 0 0 0 0 0 16 0 22 0 253459267 16063418368 280732 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3331] ppid=3321 vsize=15686932 CPUtime=0.01 cores=0,2,4,6
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2974 0 -1 4202560 5076 0 0 0 1 0 0 0 16 0 22 0 253459267 16063418368 280732 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3333] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3333/stat : 3333 (java) S 3321 3323 2974 0 -1 4202560 4199 0 0 0 0 0 0 0 15 0 22 0 253459267 16063418368 280732 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3334] ppid=3321 vsize=15686932 CPUtime=0.01 cores=0,2,4,6
/proc/3323/task/3334/stat : 3334 (java) S 3321 3323 2974 0 -1 4202560 5609 0 0 0 1 0 0 0 15 0 22 0 253459267 16063418368 280732 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0

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

[pid=3323/tid=3349] ppid=3321 vsize=15686932 CPUtime=1048.46 cores=0,2,4,6
/proc/3323/task/3349/stat : 3349 (java) R 3321 3323 2974 0 -1 4202560 361245 0 0 0 104796 50 0 0 25 0 22 0 253459307 16063418368 135681 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505924856 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3323/tid=3350] ppid=3321 vsize=15686932 CPUtime=1048.49 cores=0,2,4,6
/proc/3323/task/3350/stat : 3350 (java) R 3321 3323 2974 0 -1 4202560 368639 0 0 0 104797 52 0 0 25 0 22 0 253459308 16063418368 135681 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912506054023 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3323/tid=3351] ppid=3321 vsize=15686932 CPUtime=1048.07 cores=0,2,4,6
/proc/3323/task/3351/stat : 3351 (java) R 3321 3323 2974 0 -1 4202560 366823 0 0 0 104755 52 0 0 25 0 22 0 253459308 16063418368 135681 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505887558 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4224.76
Current children cumulated vsize (KiB) 15686932

[startup+1122.3 s]
/proc/loadavg: 8.13 8.09 8.08 9/220 3393
/proc/meminfo: memFree=29727648/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=15686932 CPUtime=4463.51 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3321 3323 2974 0 -1 4202496 2618345 0 1 0 445850 501 0 0 25 0 22 0 253459266 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3323/statm: 3921733 134005 2299 9 0 3912452 0
[pid=3323/tid=3324] ppid=3321 vsize=15686932 CPUtime=0.94 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) S 3321 3323 2974 0 -1 4202560 30586 0 1 0 90 4 0 0 20 0 22 0 253459267 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3326] ppid=3321 vsize=15686932 CPUtime=3.39 cores=0,2,4,6
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2974 0 -1 4202560 120569 0 0 0 317 22 0 0 16 0 22 0 253459267 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3327] ppid=3321 vsize=15686932 CPUtime=3.49 cores=0,2,4,6
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2974 0 -1 4202560 129802 0 0 0 321 28 0 0 15 0 22 0 253459267 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3328] ppid=3321 vsize=15686932 CPUtime=3.47 cores=0,2,4,6
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2974 0 -1 4202560 133714 0 0 0 319 28 0 0 16 0 22 0 253459267 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3329] ppid=3321 vsize=15686932 CPUtime=3.45 cores=0,2,4,6
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2974 0 -1 4202560 122756 0 0 0 321 24 0 0 15 0 22 0 253459267 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3330] ppid=3321 vsize=15686932 CPUtime=3.46 cores=0,2,4,6
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2974 0 -1 4202560 122026 0 0 0 321 25 0 0 15 0 22 0 253459267 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3331] ppid=3321 vsize=15686932 CPUtime=3.4 cores=0,2,4,6
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2974 0 -1 4202560 130421 0 0 0 315 25 0 0 16 0 22 0 253459267 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3333] ppid=3321 vsize=15686932 CPUtime=3.58 cores=0,2,4,6
/proc/3323/task/3333/stat : 3333 (java) S 3321 3323 2974 0 -1 4202560 126117 0 0 0 332 26 0 0 16 0 22 0 253459267 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3334] ppid=3321 vsize=15686932 CPUtime=3.47 cores=0,2,4,6
/proc/3323/task/3334/stat : 3334 (java) S 3321 3323 2974 0 -1 4202560 129431 0 0 0 320 27 0 0 15 0 22 0 253459267 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3335] ppid=3321 vsize=15686932 CPUtime=2.12 cores=0,2,4,6
/proc/3323/task/3335/stat : 3335 (java) S 3321 3323 2974 0 -1 4202560 6720 0 0 0 149 63 0 0 15 0 22 0 253459268 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478720 0 0 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3336] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3336/stat : 3336 (java) S 3321 3323 2974 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 253459268 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3337] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3337/stat : 3337 (java) S 3321 3323 2974 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 253459269 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3338] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3338/stat : 3338 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 253459271 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672485809 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3339] ppid=3321 vsize=15686932 CPUtime=0.98 cores=0,2,4,6
/proc/3323/task/3339/stat : 3339 (java) S 3321 3323 2974 0 -1 4202560 8506 0 0 0 96 2 0 0 15 0 22 0 253459271 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3340] ppid=3321 vsize=15686932 CPUtime=0.84 cores=0,2,4,6
/proc/3323/task/3340/stat : 3340 (java) S 3321 3323 2974 0 -1 4202560 2461 0 0 0 84 0 0 0 15 0 22 0 253459271 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3341] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3341/stat : 3341 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 253459271 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3342] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3342/stat : 3342 (java) S 3321 3323 2974 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 253459271 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478720 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3348] ppid=3321 vsize=15686932 CPUtime=1107.93 cores=0,2,4,6
/proc/3323/task/3348/stat : 3348 (java) R 3321 3323 2974 0 -1 4202560 390206 0 0 0 110737 56 0 0 25 0 22 0 253459307 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505971196 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3323/tid=3349] ppid=3321 vsize=15686932 CPUtime=1107.81 cores=0,2,4,6
/proc/3323/task/3349/stat : 3349 (java) R 3321 3323 2974 0 -1 4202560 383409 0 0 0 110728 53 0 0 25 0 22 0 253459307 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505924735 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3323/tid=3350] ppid=3321 vsize=15686932 CPUtime=1107.85 cores=0,2,4,6
/proc/3323/task/3350/stat : 3350 (java) R 3321 3323 2974 0 -1 4202560 390518 0 0 0 110731 54 0 0 25 0 22 0 253459308 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505924984 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3323/tid=3351] ppid=3321 vsize=15686932 CPUtime=1107.16 cores=0,2,4,6
/proc/3323/task/3351/stat : 3351 (java) R 3321 3323 2974 0 -1 4202560 389656 0 0 0 110660 56 0 0 25 0 22 0 253459308 16063418368 134005 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505979711 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4463.51
Current children cumulated vsize (KiB) 15686932

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 8.08 10/220 3395
/proc/meminfo: memFree=29629508/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=15686932 CPUtime=4702.17 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3321 3323 2974 0 -1 4202496 2759686 0 1 0 469688 529 0 0 25 0 22 0 253459266 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3323/statm: 3921733 153140 2299 9 0 3912452 0
[pid=3323/tid=3324] ppid=3321 vsize=15686932 CPUtime=0.94 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) S 3321 3323 2974 0 -1 4202560 30586 0 1 0 90 4 0 0 20 0 22 0 253459267 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3326] ppid=3321 vsize=15686932 CPUtime=3.57 cores=0,2,4,6
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2974 0 -1 4202560 128111 0 0 0 333 24 0 0 15 0 22 0 253459267 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3327] ppid=3321 vsize=15686932 CPUtime=3.66 cores=0,2,4,6
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2974 0 -1 4202560 136884 0 0 0 336 30 0 0 16 0 22 0 253459267 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3328] ppid=3321 vsize=15686932 CPUtime=3.65 cores=0,2,4,6
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2974 0 -1 4202560 141267 0 0 0 335 30 0 0 16 0 22 0 253459267 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3329] ppid=3321 vsize=15686932 CPUtime=3.64 cores=0,2,4,6
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2974 0 -1 4202560 129820 0 0 0 339 25 0 0 15 0 22 0 253459267 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3330] ppid=3321 vsize=15686932 CPUtime=3.64 cores=0,2,4,6
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2974 0 -1 4202560 128308 0 0 0 337 27 0 0 15 0 22 0 253459267 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3331] ppid=3321 vsize=15686932 CPUtime=3.59 cores=0,2,4,6
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2974 0 -1 4202560 136807 0 0 0 332 27 0 0 16 0 22 0 253459267 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3333] ppid=3321 vsize=15686932 CPUtime=3.76 cores=0,2,4,6
/proc/3323/task/3333/stat : 3333 (java) S 3321 3323 2974 0 -1 4202560 133699 0 0 0 349 27 0 0 15 0 22 0 253459267 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3334] ppid=3321 vsize=15686932 CPUtime=3.65 cores=0,2,4,6
/proc/3323/task/3334/stat : 3334 (java) S 3321 3323 2974 0 -1 4202560 137622 0 0 0 337 28 0 0 16 0 22 0 253459267 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3335] ppid=3321 vsize=15686932 CPUtime=2.26 cores=0,2,4,6
/proc/3323/task/3335/stat : 3335 (java) S 3321 3323 2974 0 -1 4202560 7124 0 0 0 159 67 0 0 15 0 22 0 253459268 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478720 0 0 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3336] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3336/stat : 3336 (java) S 3321 3323 2974 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 253459268 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3337] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3337/stat : 3337 (java) S 3321 3323 2974 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 253459269 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3338] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3338/stat : 3338 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 253459271 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672485809 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3339] ppid=3321 vsize=15686932 CPUtime=0.98 cores=0,2,4,6
/proc/3323/task/3339/stat : 3339 (java) S 3321 3323 2974 0 -1 4202560 8506 0 0 0 96 2 0 0 15 0 22 0 253459271 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3340] ppid=3321 vsize=15686932 CPUtime=0.84 cores=0,2,4,6
/proc/3323/task/3340/stat : 3340 (java) S 3321 3323 2974 0 -1 4202560 2461 0 0 0 84 0 0 0 15 0 22 0 253459271 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3341] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3341/stat : 3341 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 253459271 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3342] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3342/stat : 3342 (java) S 3321 3323 2974 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 253459271 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478720 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3348] ppid=3321 vsize=15686932 CPUtime=1167.16 cores=0,2,4,6
/proc/3323/task/3348/stat : 3348 (java) R 3321 3323 2974 0 -1 4202560 411258 0 0 0 116657 59 0 0 25 0 22 0 253459307 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505524199 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3323/tid=3349] ppid=3321 vsize=15686932 CPUtime=1167.15 cores=0,2,4,6
/proc/3323/task/3349/stat : 3349 (java) R 3321 3323 2974 0 -1 4202560 403553 0 0 0 116659 56 0 0 25 0 22 0 253459307 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505907316 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=3323/tid=3350] ppid=3321 vsize=15686932 CPUtime=1167.22 cores=0,2,4,6
/proc/3323/task/3350/stat : 3350 (java) R 3321 3323 2974 0 -1 4202560 411438 0 0 0 116664 58 0 0 25 0 22 0 253459308 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505887552 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3323/tid=3351] ppid=3321 vsize=15686932 CPUtime=1166.32 cores=0,2,4,6
/proc/3323/task/3351/stat : 3351 (java) R 3321 3323 2974 0 -1 4202560 410793 0 0 0 116574 58 0 0 25 0 22 0 253459308 16063418368 153140 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505924754 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4702.17
Current children cumulated vsize (KiB) 15686932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207 s]
/proc/loadavg: 8.10 8.09 8.08 5/197 3399
/proc/meminfo: memFree=30157144/32951124 swapFree=67111524/67111528
[pid=3323] ppid=3321 vsize=15686932 CPUtime=4800.39 cores=0,2,4,6
/proc/3323/stat : 3323 (java) S 3321 3323 2974 0 -1 4202496 2789239 0 1 0 479503 536 0 0 25 0 22 0 253459266 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/3323/statm: 3921733 126412 2299 9 0 3912452 0
[pid=3323/tid=3324] ppid=3321 vsize=15686932 CPUtime=0.94 cores=0,2,4,6
/proc/3323/task/3324/stat : 3324 (java) S 3321 3323 2974 0 -1 4202560 30586 0 1 0 90 4 0 0 20 0 22 0 253459267 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3326] ppid=3321 vsize=15686932 CPUtime=3.64 cores=0,2,4,6
/proc/3323/task/3326/stat : 3326 (java) S 3321 3323 2974 0 -1 4202560 129980 0 0 0 340 24 0 0 15 0 22 0 253459267 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3327] ppid=3321 vsize=15686932 CPUtime=3.73 cores=0,2,4,6
/proc/3323/task/3327/stat : 3327 (java) S 3321 3323 2974 0 -1 4202560 139192 0 0 0 343 30 0 0 16 0 22 0 253459267 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3328] ppid=3321 vsize=15686932 CPUtime=3.72 cores=0,2,4,6
/proc/3323/task/3328/stat : 3328 (java) S 3321 3323 2974 0 -1 4202560 143909 0 0 0 342 30 0 0 15 0 22 0 253459267 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3329] ppid=3321 vsize=15686932 CPUtime=3.72 cores=0,2,4,6
/proc/3323/task/3329/stat : 3329 (java) S 3321 3323 2974 0 -1 4202560 131839 0 0 0 346 26 0 0 15 0 22 0 253459267 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3330] ppid=3321 vsize=15686932 CPUtime=3.71 cores=0,2,4,6
/proc/3323/task/3330/stat : 3330 (java) S 3321 3323 2974 0 -1 4202560 130341 0 0 0 344 27 0 0 15 0 22 0 253459267 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3331] ppid=3321 vsize=15686932 CPUtime=3.66 cores=0,2,4,6
/proc/3323/task/3331/stat : 3331 (java) S 3321 3323 2974 0 -1 4202560 139030 0 0 0 339 27 0 0 15 0 22 0 253459267 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 0 0 0 0
[pid=3323/tid=3333] ppid=3321 vsize=15686932 CPUtime=3.84 cores=0,2,4,6
/proc/3323/task/3333/stat : 3333 (java) S 3321 3323 2974 0 -1 4202560 136258 0 0 0 356 28 0 0 16 0 22 0 253459267 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3334] ppid=3321 vsize=15686932 CPUtime=3.72 cores=0,2,4,6
/proc/3323/task/3334/stat : 3334 (java) S 3321 3323 2974 0 -1 4202560 140145 0 0 0 343 29 0 0 16 0 22 0 253459267 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3335] ppid=3321 vsize=15686932 CPUtime=2.33 cores=0,2,4,6
/proc/3323/task/3335/stat : 3335 (java) S 3321 3323 2974 0 -1 4202560 7217 0 0 0 164 69 0 0 15 0 22 0 253459268 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478720 0 0 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3336] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3336/stat : 3336 (java) S 3321 3323 2974 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 253459268 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3337] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3337/stat : 3337 (java) S 3321 3323 2974 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 253459269 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3338] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3338/stat : 3338 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 253459271 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672485809 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3339] ppid=3321 vsize=15686932 CPUtime=0.98 cores=0,2,4,6
/proc/3323/task/3339/stat : 3339 (java) S 3321 3323 2974 0 -1 4202560 8506 0 0 0 96 2 0 0 15 0 22 0 253459271 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 6 0 0 0
[pid=3323/tid=3340] ppid=3321 vsize=15686932 CPUtime=0.84 cores=0,2,4,6
/proc/3323/task/3340/stat : 3340 (java) S 3321 3323 2974 0 -1 4202560 2461 0 0 0 84 0 0 0 15 0 22 0 253459271 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3341] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3341/stat : 3341 (java) S 3321 3323 2974 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 253459271 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478105 0 4 0 16800975 18446604453927297408 0 0 -1 2 0 0 0
[pid=3323/tid=3342] ppid=3321 vsize=15686932 CPUtime=0 cores=0,2,4,6
/proc/3323/task/3342/stat : 3342 (java) S 3321 3323 2974 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 253459271 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 268672478720 0 4 0 16800975 18446604453927297408 0 0 -1 4 0 0 0
[pid=3323/tid=3348] ppid=3321 vsize=15686932 CPUtime=1191.45 cores=0,2,4,6
/proc/3323/task/3348/stat : 3348 (java) R 3321 3323 2974 0 -1 4202560 413533 0 0 0 119086 59 0 0 25 0 22 0 253459307 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505924999 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=3323/tid=3349] ppid=3321 vsize=15686932 CPUtime=1191.57 cores=0,2,4,6
/proc/3323/task/3349/stat : 3349 (java) R 3321 3323 2974 0 -1 4202560 406810 0 0 0 119101 56 0 0 25 0 22 0 253459307 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912506021721 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=3323/tid=3350] ppid=3321 vsize=15686932 CPUtime=1191.64 cores=0,2,4,6
/proc/3323/task/3350/stat : 3350 (java) R 3321 3323 2974 0 -1 4202560 414310 0 0 0 119106 58 0 0 25 0 22 0 253459308 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505870898 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=3323/tid=3351] ppid=3321 vsize=15686932 CPUtime=1190.74 cores=0,2,4,6
/proc/3323/task/3351/stat : 3351 (java) R 3321 3323 2974 0 -1 4202560 413671 0 0 0 119015 59 0 0 25 0 22 0 253459308 16063418368 126412 33554432000 1073741824 1073778376 140735359838528 18446744073709551615 46912505874689 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 15686932

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.08
CPU time (s): 4800.63
CPU user time (s): 4795.24
CPU system time (s): 5.39118
CPU usage (%): 397.705
Max. virtual memory (cumulated for all children) (KiB): 15688556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.24
system time used= 5.39118
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2789266
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= 190783
involuntary context switches= 114445

runsolver used 2.08868 second user time and 4.55631 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-29 17:58:00
IDJOB=3313033
IDBENCH=71576
IDSOLVER=1699
FILE ID=node107/3313033-1304092680
RUNJOBID= node107-1304090260-2992
PBS_JOBID= 13170575
Free space on /tmp= 71800 MiB

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

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

MD5SUM BENCH= dc046d6f885b64777ffc1cfc8367a176
RANDOM SEED=2103661330

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:      30647756 kB
Buffers:        644060 kB
Cached:        1218892 kB
SwapCached:          4 kB
Active:         153780 kB
Inactive:      1786312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30647756 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            4352 kB
Writeback:           0 kB
AnonPages:       76080 kB
Mapped:          22856 kB
Slab:           300764 kB
PageTables:       3872 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   773772 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= 71796 MiB
End job on node107 at 2011-04-29 18:18:09