Trace number 3372777

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
Plingeling 587f (fixed)UNSAT 598.451 20.4168

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F17.cnf
MD5SUM4f20f237857124f0eb214df627f84b82
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark195.187
Satisfiable
(Un)Satisfiability was proved
Number of variables6664
Number of clauses69700
Sum of the clauses size326536
Maximum clause length45
Minimum clause length1
Number of clauses of size 132
Number of clauses of size 217506
Number of clauses of size 312802
Number of clauses of size 46698
Number of clauses of size 59775
Number of clauses of size over 522887

Solver Data 

598.41/20.41	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3372777-1306046118/watcher-3372777-1306046118 -o /tmp/evaluation-result-3372777-1306046118/solver-3372777-1306046118 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372777-1306046118.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 30.62 30.93 31.58 1/413 24023
/proc/meminfo: memFree=255500120/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=12632 CPUtime=0.02 cores=0-31
/proc/24023/stat : 24023 (plingeling) R 24021 24023 23801 0 -1 4202496 1240 1245 0 0 2 0 0 0 21 0 1 0 716098205 12935168 1171 268435456000 4194304 4417452 140735732764208 18446744073709551615 4231283 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24023/statm: 3158 1171 145 55 0 1044 0

[startup+0.100022 s]
/proc/loadavg: 30.62 30.93 31.58 1/413 24023
/proc/meminfo: memFree=255500120/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=15996 CPUtime=0.08 cores=0-31
/proc/24023/stat : 24023 (plingeling) R 24021 24023 23801 0 -1 4202496 2089 1245 0 0 8 0 0 0 21 0 1 0 716098205 16379904 2020 268435456000 4194304 4417452 140735732764208 18446744073709551615 4227854 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24023/statm: 3999 2020 145 55 0 1885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15996

[startup+0.201027 s]
/proc/loadavg: 30.62 30.93 31.58 1/413 24023
/proc/meminfo: memFree=255500120/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=24372 CPUtime=0.19 cores=0-31
/proc/24023/stat : 24023 (plingeling) R 24021 24023 23801 0 -1 4202496 4184 1245 0 0 18 1 0 0 21 0 1 0 716098205 24956928 4115 268435456000 4194304 4417452 140735732764208 18446744073709551615 4231631 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24023/statm: 6093 4115 146 55 0 3979 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24372

[startup+0.301017 s]
/proc/loadavg: 30.62 30.93 31.58 1/413 24023
/proc/meminfo: memFree=255500120/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=30440 CPUtime=0.29 cores=0-31
/proc/24023/stat : 24023 (plingeling) R 24021 24023 23801 0 -1 4202496 5713 1245 0 0 28 1 0 0 22 0 1 0 716098205 31170560 5624 268435456000 4194304 4417452 140735732764208 18446744073709551615 4209658 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24023/statm: 7610 5624 146 55 0 5496 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30440

[startup+0.701017 s]
/proc/loadavg: 30.62 30.93 31.58 1/413 24023
/proc/meminfo: memFree=255500120/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=67940 CPUtime=0.69 cores=0-31
/proc/24023/stat : 24023 (plingeling) R 24021 24023 23801 0 -1 4202496 15051 1245 0 0 65 4 0 0 23 0 1 0 716098205 69570560 14962 268435456000 4194304 4417452 140735732764208 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24023/statm: 16985 14974 146 55 0 14871 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 67940

[startup+1.50107 s]
/proc/loadavg: 30.62 30.93 31.58 2/414 24029
/proc/meminfo: memFree=255380668/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=169852 CPUtime=1.49 cores=0-31
/proc/24023/stat : 24023 (plingeling) R 24021 24023 23801 0 -1 4202496 40284 1245 0 0 140 9 0 0 25 0 1 0 716098205 173928448 40195 268435456000 4194304 4417452 140735732764208 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/24023/statm: 42463 40211 146 55 0 40349 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 169852

[startup+3.10199 s]
/proc/loadavg: 30.62 30.93 31.58 33/446 24061
/proc/meminfo: memFree=255291536/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=805248 CPUtime=48.53 cores=0-31
/proc/24023/stat : 24023 (plingeling) S 24021 24023 23801 0 -1 4202496 68408 1245 0 0 4830 23 0 0 19 0 33 0 716098205 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24023/statm: 201312 52970 175 55 0 199198 0
[pid=24023/tid=24030] ppid=24021 vsize=805248 CPUtime=1.47 cores=0-31
/proc/24023/task/24030/stat : 24030 (plingeling) R 24021 24023 23801 0 -1 4202560 214 1245 0 0 147 0 0 0 19 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4278563 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24023/tid=24031] ppid=24021 vsize=805248 CPUtime=1.47 cores=0-31
/proc/24023/task/24031/stat : 24031 (plingeling) R 24021 24023 23801 0 -1 4202560 452 1245 0 0 147 0 0 0 19 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24023/tid=24032] ppid=24021 vsize=805248 CPUtime=1.47 cores=0-31
/proc/24023/task/24032/stat : 24032 (plingeling) R 24021 24023 23801 0 -1 4202560 548 1245 0 0 147 0 0 0 20 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4254796 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24023/tid=24033] ppid=24021 vsize=805248 CPUtime=1.48 cores=0-31
/proc/24023/task/24033/stat : 24033 (plingeling) R 24021 24023 23801 0 -1 4202560 285 1245 0 0 148 0 0 0 19 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24023/tid=24034] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24034/stat : 24034 (plingeling) R 24021 24023 23801 0 -1 4202560 461 1245 0 0 146 0 0 0 19 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24023/tid=24035] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24035/stat : 24035 (plingeling) R 24021 24023 23801 0 -1 4202560 654 1245 0 0 146 0 0 0 19 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4275911 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24023/tid=24036] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24036/stat : 24036 (plingeling) R 24021 24023 23801 0 -1 4202560 147 1245 0 0 146 0 0 0 20 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24023/tid=24037] ppid=24021 vsize=805248 CPUtime=1.48 cores=0-31
/proc/24023/task/24037/stat : 24037 (plingeling) R 24021 24023 23801 0 -1 4202560 82 1245 0 0 148 0 0 0 19 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277567 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24023/tid=24038] ppid=24021 vsize=805248 CPUtime=1.47 cores=0-31
/proc/24023/task/24038/stat : 24038 (plingeling) R 24021 24023 23801 0 -1 4202560 184 1245 0 0 147 0 0 0 19 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4265443 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24023/tid=24039] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24039/stat : 24039 (plingeling) R 24021 24023 23801 0 -1 4202560 366 1245 0 0 146 0 0 0 20 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4237002 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24023/tid=24040] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24040/stat : 24040 (plingeling) R 24021 24023 23801 0 -1 4202560 587 1245 0 0 146 0 0 0 20 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4346571 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24023/tid=24041] ppid=24021 vsize=805248 CPUtime=1.41 cores=0-31
/proc/24023/task/24041/stat : 24041 (plingeling) R 24021 24023 23801 0 -1 4202560 492 1245 0 0 141 0 0 0 20 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4275947 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24023/tid=24042] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24042/stat : 24042 (plingeling) R 24021 24023 23801 0 -1 4202560 507 1245 0 0 146 0 0 0 20 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4278353 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24023/tid=24043] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24043/stat : 24043 (plingeling) R 24021 24023 23801 0 -1 4202560 635 1245 0 0 146 0 0 0 19 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24023/tid=24044] ppid=24021 vsize=805248 CPUtime=1.45 cores=0-31
/proc/24023/task/24044/stat : 24044 (plingeling) R 24021 24023 23801 0 -1 4202560 538 1245 0 0 145 0 0 0 23 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24023/tid=24045] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24045/stat : 24045 (plingeling) R 24021 24023 23801 0 -1 4202560 87 1245 0 0 146 0 0 0 20 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4325937 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24023/tid=24046] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24046/stat : 24046 (plingeling) R 24021 24023 23801 0 -1 4202560 564 1245 0 0 146 0 0 0 19 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24023/tid=24047] ppid=24021 vsize=805248 CPUtime=1.47 cores=0-31
/proc/24023/task/24047/stat : 24047 (plingeling) R 24021 24023 23801 0 -1 4202560 494 1245 0 0 147 0 0 0 20 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4278130 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24023/tid=24048] ppid=24021 vsize=805248 CPUtime=1.45 cores=0-31
/proc/24023/task/24048/stat : 24048 (plingeling) R 24021 24023 23801 0 -1 4202560 576 1245 0 0 144 1 0 0 25 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4320576 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24023/tid=24049] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24049/stat : 24049 (plingeling) R 24021 24023 23801 0 -1 4202560 377 1245 0 0 146 0 0 0 25 0 33 0 716098366 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277491 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24023/tid=24050] ppid=24021 vsize=805248 CPUtime=1.47 cores=0-31
/proc/24023/task/24050/stat : 24050 (plingeling) R 24021 24023 23801 0 -1 4202560 432 1245 0 0 147 0 0 0 25 0 33 0 716098367 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24023/tid=24051] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24051/stat : 24051 (plingeling) R 24021 24023 23801 0 -1 4202560 573 1245 0 0 146 0 0 0 19 0 33 0 716098367 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277621 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24023/tid=24052] ppid=24021 vsize=805248 CPUtime=1.42 cores=0-31
/proc/24023/task/24052/stat : 24052 (plingeling) R 24021 24023 23801 0 -1 4202560 338 1245 0 0 142 0 0 0 25 0 33 0 716098367 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4249151 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24023/tid=24053] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24053/stat : 24053 (plingeling) R 24021 24023 23801 0 -1 4202560 257 1245 0 0 146 0 0 0 20 0 33 0 716098367 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4264528 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24023/tid=24054] ppid=24021 vsize=805248 CPUtime=1.47 cores=0-31
/proc/24023/task/24054/stat : 24054 (plingeling) R 24021 24023 23801 0 -1 4202560 433 1245 0 0 147 0 0 0 20 0 33 0 716098367 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277780 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24023/tid=24055] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24055/stat : 24055 (plingeling) R 24021 24023 23801 0 -1 4202560 309 1245 0 0 146 0 0 0 20 0 33 0 716098367 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4276263 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24023/tid=24056] ppid=24021 vsize=805248 CPUtime=1.45 cores=0-31
/proc/24023/task/24056/stat : 24056 (plingeling) R 24021 24023 23801 0 -1 4202560 507 1245 0 0 145 0 0 0 25 0 33 0 716098367 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4234154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24023/tid=24057] ppid=24021 vsize=805248 CPUtime=1.45 cores=0-31
/proc/24023/task/24057/stat : 24057 (plingeling) R 24021 24023 23801 0 -1 4202560 492 1245 0 0 145 0 0 0 20 0 33 0 716098368 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4278130 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24023/tid=24058] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24058/stat : 24058 (plingeling) R 24021 24023 23801 0 -1 4202560 294 1245 0 0 146 0 0 0 25 0 33 0 716098368 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24023/tid=24059] ppid=24021 vsize=805248 CPUtime=1.46 cores=0-31
/proc/24023/task/24059/stat : 24059 (plingeling) R 24021 24023 23801 0 -1 4202560 270 1245 0 0 146 0 0 0 19 0 33 0 716098368 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277545 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24023/tid=24060] ppid=24021 vsize=805248 CPUtime=1.45 cores=0-31
/proc/24023/task/24060/stat : 24060 (plingeling) R 24021 24023 23801 0 -1 4202560 911 1245 0 0 145 0 0 0 25 0 33 0 716098368 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4236008 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24023/tid=24061] ppid=24021 vsize=805248 CPUtime=1.45 cores=0-31
/proc/24023/task/24061/stat : 24061 (plingeling) R 24021 24023 23801 0 -1 4202560 425 1245 0 0 145 0 0 0 25 0 33 0 716098368 824573952 52970 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277579 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 48.53
Current children cumulated vsize (KiB) 805248

[startup+6.30211 s]
/proc/loadavg: 30.81 30.96 31.59 34/446 24061
/proc/meminfo: memFree=255230404/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=859320 CPUtime=150.66 cores=0-31
/proc/24023/stat : 24023 (plingeling) S 24021 24023 23801 0 -1 4202496 93091 1245 0 0 15028 38 0 0 19 0 33 0 716098205 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24023/statm: 214830 68084 175 55 0 212716 0
[pid=24023/tid=24030] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24030/stat : 24030 (plingeling) R 24021 24023 23801 0 -1 4202560 786 1245 0 0 466 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4251028 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24023/tid=24031] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24031/stat : 24031 (plingeling) R 24021 24023 23801 0 -1 4202560 1047 1245 0 0 466 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24023/tid=24032] ppid=24021 vsize=859320 CPUtime=4.67 cores=0-31
/proc/24023/task/24032/stat : 24032 (plingeling) R 24021 24023 23801 0 -1 4202560 1793 1245 0 0 466 1 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4236995 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24023/tid=24033] ppid=24021 vsize=859320 CPUtime=4.67 cores=0-31
/proc/24023/task/24033/stat : 24033 (plingeling) R 24021 24023 23801 0 -1 4202560 2679 1245 0 0 465 2 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24023/tid=24034] ppid=24021 vsize=859320 CPUtime=4.65 cores=0-31
/proc/24023/task/24034/stat : 24034 (plingeling) R 24021 24023 23801 0 -1 4202560 1068 1245 0 0 465 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24023/tid=24035] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24035/stat : 24035 (plingeling) R 24021 24023 23801 0 -1 4202560 1073 1245 0 0 465 1 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277864 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24023/tid=24036] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24036/stat : 24036 (plingeling) R 24021 24023 23801 0 -1 4202560 1000 1245 0 0 465 1 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24023/tid=24037] ppid=24021 vsize=859320 CPUtime=4.67 cores=0-31
/proc/24023/task/24037/stat : 24037 (plingeling) R 24021 24023 23801 0 -1 4202560 383 1245 0 0 467 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24023/tid=24038] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24038/stat : 24038 (plingeling) R 24021 24023 23801 0 -1 4202560 1248 1245 0 0 466 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4265450 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24023/tid=24039] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24039/stat : 24039 (plingeling) R 24021 24023 23801 0 -1 4202560 602 1245 0 0 466 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4366402 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24023/tid=24040] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24040/stat : 24040 (plingeling) R 24021 24023 23801 0 -1 4202560 1682 1245 0 0 465 1 0 0 19 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364466 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24023/tid=24041] ppid=24021 vsize=859320 CPUtime=4.52 cores=0-31
/proc/24023/task/24041/stat : 24041 (plingeling) R 24021 24023 23801 0 -1 4202560 811 1245 0 0 452 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24023/tid=24042] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24042/stat : 24042 (plingeling) R 24021 24023 23801 0 -1 4202560 1000 1245 0 0 466 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24023/tid=24043] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24043/stat : 24043 (plingeling) R 24021 24023 23801 0 -1 4202560 914 1245 0 0 466 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24023/tid=24044] ppid=24021 vsize=859320 CPUtime=4.63 cores=0-31
/proc/24023/task/24044/stat : 24044 (plingeling) R 24021 24023 23801 0 -1 4202560 1756 1245 0 0 462 1 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4355860 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24023/tid=24045] ppid=24021 vsize=859320 CPUtime=4.64 cores=0-31
/proc/24023/task/24045/stat : 24045 (plingeling) R 24021 24023 23801 0 -1 4202560 1124 1245 0 0 464 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277945 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24023/tid=24046] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24046/stat : 24046 (plingeling) R 24021 24023 23801 0 -1 4202560 995 1245 0 0 466 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4232595 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24023/tid=24047] ppid=24021 vsize=859320 CPUtime=4.66 cores=0-31
/proc/24023/task/24047/stat : 24047 (plingeling) R 24021 24023 23801 0 -1 4202560 1569 1245 0 0 466 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24023/tid=24048] ppid=24021 vsize=859320 CPUtime=4.64 cores=0-31
/proc/24023/task/24048/stat : 24048 (plingeling) R 24021 24023 23801 0 -1 4202560 1667 1245 0 0 463 1 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24023/tid=24049] ppid=24021 vsize=859320 CPUtime=4.65 cores=0-31
/proc/24023/task/24049/stat : 24049 (plingeling) R 24021 24023 23801 0 -1 4202560 1022 1245 0 0 465 0 0 0 25 0 33 0 716098366 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24023/tid=24050] ppid=24021 vsize=859320 CPUtime=4.63 cores=0-31
/proc/24023/task/24050/stat : 24050 (plingeling) R 24021 24023 23801 0 -1 4202560 1323 1245 0 0 462 1 0 0 25 0 33 0 716098367 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24023/tid=24051] ppid=24021 vsize=859320 CPUtime=4.65 cores=0-31
/proc/24023/task/24051/stat : 24051 (plingeling) R 24021 24023 23801 0 -1 4202560 914 1245 0 0 465 0 0 0 25 0 33 0 716098367 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24023/tid=24052] ppid=24021 vsize=859320 CPUtime=4.62 cores=0-31
/proc/24023/task/24052/stat : 24052 (plingeling) R 24021 24023 23801 0 -1 4202560 1652 1245 0 0 461 1 0 0 25 0 33 0 716098367 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4354037 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24023/tid=24053] ppid=24021 vsize=859320 CPUtime=4.65 cores=0-31
/proc/24023/task/24053/stat : 24053 (plingeling) R 24021 24023 23801 0 -1 4202560 1309 1245 0 0 465 0 0 0 25 0 33 0 716098367 879943680 68084 268435456000 4194304 4417452 140735732764208 18446744073709551615 4277945 0 0 4096 17442 0 0 0 -1 16 0 0 0

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

/proc/24023/task/24055/stat : 24055 (plingeling) R 24021 24023 23801 0 -1 4202560 4367 1245 0 0 1587 5 0 0 25 0 33 0 716098367 957353984 86587 268435456000 4194304 4417452 140735732764208 18446744073709551615 4331796 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24023/tid=24056] ppid=24021 vsize=934916 CPUtime=15.93 cores=0-31
/proc/24023/task/24056/stat : 24056 (plingeling) R 24021 24023 23801 0 -1 4202560 6972 1245 0 0 1585 8 0 0 25 0 33 0 716098367 957353984 86587 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24023/tid=24057] ppid=24021 vsize=934916 CPUtime=15.94 cores=0-31
/proc/24023/task/24057/stat : 24057 (plingeling) R 24021 24023 23801 0 -1 4202560 6558 1245 0 0 1586 8 0 0 25 0 33 0 716098368 957353984 86587 268435456000 4194304 4417452 140735732764208 18446744073709551615 4249209 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24023/tid=24058] ppid=24021 vsize=934916 CPUtime=15.86 cores=0-31
/proc/24023/task/24058/stat : 24058 (plingeling) R 24021 24023 23801 0 -1 4202560 4950 1245 0 0 1581 5 0 0 25 0 33 0 716098368 957353984 86587 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24023/tid=24059] ppid=24021 vsize=934916 CPUtime=15.88 cores=0-31
/proc/24023/task/24059/stat : 24059 (plingeling) R 24021 24023 23801 0 -1 4202560 3828 1245 0 0 1584 4 0 0 25 0 33 0 716098368 957353984 86587 268435456000 4194304 4417452 140735732764208 18446744073709551615 4249597 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24023/tid=24060] ppid=24021 vsize=934916 CPUtime=15.74 cores=0-31
/proc/24023/task/24060/stat : 24060 (plingeling) R 24021 24023 23801 0 -1 4202560 5786 1245 0 0 1567 7 0 0 25 0 33 0 716098368 957353984 86587 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24023/tid=24061] ppid=24021 vsize=934916 CPUtime=15.94 cores=0-31
/proc/24023/task/24061/stat : 24061 (plingeling) R 24021 24023 23801 0 -1 4202560 4671 1245 0 0 1591 3 0 0 25 0 33 0 716098368 957353984 86587 268435456000 4194304 4417452 140735732764208 18446744073709551615 4330497 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 511.17
Current children cumulated vsize (KiB) 934916

[startup+19.2016 s]
/proc/loadavg: 31.07 31.01 31.60 34/446 24061
/proc/meminfo: memFree=255138704/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=942156 CPUtime=561.48 cores=0-31
/proc/24023/stat : 24023 (plingeling) S 24021 24023 23801 0 -1 4202496 253277 1245 0 0 55880 268 0 0 19 0 33 0 716098205 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24023/statm: 235539 88537 175 55 0 233425 0
[pid=24023/tid=24030] ppid=24021 vsize=942156 CPUtime=17.53 cores=0-31
/proc/24023/task/24030/stat : 24030 (plingeling) R 24021 24023 23801 0 -1 4202560 5838 1245 0 0 1745 8 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24023/tid=24031] ppid=24021 vsize=942156 CPUtime=17.53 cores=0-31
/proc/24023/task/24031/stat : 24031 (plingeling) R 24021 24023 23801 0 -1 4202560 7410 1245 0 0 1745 8 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4249584 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24023/tid=24032] ppid=24021 vsize=942156 CPUtime=17.54 cores=0-31
/proc/24023/task/24032/stat : 24032 (plingeling) R 24021 24023 23801 0 -1 4202560 8288 1245 0 0 1742 12 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4357265 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24023/tid=24033] ppid=24021 vsize=942156 CPUtime=17.54 cores=0-31
/proc/24023/task/24033/stat : 24033 (plingeling) R 24021 24023 23801 0 -1 4202560 13005 1245 0 0 1734 20 0 0 21 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24023/tid=24034] ppid=24021 vsize=942156 CPUtime=17.53 cores=0-31
/proc/24023/task/24034/stat : 24034 (plingeling) R 24021 24023 23801 0 -1 4202560 6786 1245 0 0 1744 9 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24023/tid=24035] ppid=24021 vsize=942156 CPUtime=17.48 cores=0-31
/proc/24023/task/24035/stat : 24035 (plingeling) R 24021 24023 23801 0 -1 4202560 4986 1245 0 0 1743 5 0 0 22 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364768 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24023/tid=24036] ppid=24021 vsize=942156 CPUtime=17.48 cores=0-31
/proc/24023/task/24036/stat : 24036 (plingeling) R 24021 24023 23801 0 -1 4202560 5380 1245 0 0 1740 8 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24023/tid=24037] ppid=24021 vsize=942156 CPUtime=17.55 cores=0-31
/proc/24023/task/24037/stat : 24037 (plingeling) R 24021 24023 23801 0 -1 4202560 4431 1245 0 0 1751 4 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24023/tid=24038] ppid=24021 vsize=942156 CPUtime=17.52 cores=0-31
/proc/24023/task/24038/stat : 24038 (plingeling) R 24021 24023 23801 0 -1 4202560 6636 1245 0 0 1745 7 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24023/tid=24039] ppid=24021 vsize=942156 CPUtime=17.52 cores=0-31
/proc/24023/task/24039/stat : 24039 (plingeling) R 24021 24023 23801 0 -1 4202560 4540 1245 0 0 1747 5 0 0 19 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364537 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24023/tid=24040] ppid=24021 vsize=942156 CPUtime=17.49 cores=0-31
/proc/24023/task/24040/stat : 24040 (plingeling) R 24021 24023 23801 0 -1 4202560 7369 1245 0 0 1739 10 0 0 24 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24023/tid=24041] ppid=24021 vsize=942156 CPUtime=17.24 cores=0-31
/proc/24023/task/24041/stat : 24041 (plingeling) R 24021 24023 23801 0 -1 4202560 5965 1245 0 0 1716 8 0 0 22 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4357127 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24023/tid=24042] ppid=24021 vsize=942156 CPUtime=17.53 cores=0-31
/proc/24023/task/24042/stat : 24042 (plingeling) R 24021 24023 23801 0 -1 4202560 3937 1245 0 0 1749 4 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364724 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24023/tid=24043] ppid=24021 vsize=942156 CPUtime=17.52 cores=0-31
/proc/24023/task/24043/stat : 24043 (plingeling) R 24021 24023 23801 0 -1 4202560 5516 1245 0 0 1747 5 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24023/tid=24044] ppid=24021 vsize=942156 CPUtime=17.47 cores=0-31
/proc/24023/task/24044/stat : 24044 (plingeling) R 24021 24023 23801 0 -1 4202560 6271 1245 0 0 1739 8 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24023/tid=24045] ppid=24021 vsize=942156 CPUtime=17.52 cores=0-31
/proc/24023/task/24045/stat : 24045 (plingeling) R 24021 24023 23801 0 -1 4202560 5218 1245 0 0 1747 5 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4354532 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24023/tid=24046] ppid=24021 vsize=942156 CPUtime=17.51 cores=0-31
/proc/24023/task/24046/stat : 24046 (plingeling) R 24021 24023 23801 0 -1 4202560 6859 1245 0 0 1743 8 0 0 22 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24023/tid=24047] ppid=24021 vsize=942156 CPUtime=17.51 cores=0-31
/proc/24023/task/24047/stat : 24047 (plingeling) R 24021 24023 23801 0 -1 4202560 7939 1245 0 0 1740 11 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4250047 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24023/tid=24048] ppid=24021 vsize=942156 CPUtime=17.45 cores=0-31
/proc/24023/task/24048/stat : 24048 (plingeling) R 24021 24023 23801 0 -1 4202560 6165 1245 0 0 1737 8 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24023/tid=24049] ppid=24021 vsize=942156 CPUtime=17.5 cores=0-31
/proc/24023/task/24049/stat : 24049 (plingeling) R 24021 24023 23801 0 -1 4202560 5734 1245 0 0 1745 5 0 0 25 0 33 0 716098366 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24023/tid=24050] ppid=24021 vsize=942156 CPUtime=17.48 cores=0-31
/proc/24023/task/24050/stat : 24050 (plingeling) R 24021 24023 23801 0 -1 4202560 5664 1245 0 0 1743 5 0 0 25 0 33 0 716098367 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24023/tid=24051] ppid=24021 vsize=942156 CPUtime=17.48 cores=0-31
/proc/24023/task/24051/stat : 24051 (plingeling) R 24021 24023 23801 0 -1 4202560 6262 1245 0 0 1741 7 0 0 25 0 33 0 716098367 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24023/tid=24052] ppid=24021 vsize=942156 CPUtime=17.49 cores=0-31
/proc/24023/task/24052/stat : 24052 (plingeling) R 24021 24023 23801 0 -1 4202560 7826 1245 0 0 1736 13 0 0 25 0 33 0 716098367 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4357024 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24023/tid=24053] ppid=24021 vsize=942156 CPUtime=17.5 cores=0-31
/proc/24023/task/24053/stat : 24053 (plingeling) R 24021 24023 23801 0 -1 4202560 6195 1245 0 0 1745 5 0 0 25 0 33 0 716098367 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24023/tid=24054] ppid=24021 vsize=942156 CPUtime=17.51 cores=0-31
/proc/24023/task/24054/stat : 24054 (plingeling) R 24021 24023 23801 0 -1 4202560 3400 1245 0 0 1747 4 0 0 25 0 33 0 716098367 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24023/tid=24055] ppid=24021 vsize=942156 CPUtime=17.42 cores=0-31
/proc/24023/task/24055/stat : 24055 (plingeling) R 24021 24023 23801 0 -1 4202560 4907 1245 0 0 1736 6 0 0 25 0 33 0 716098367 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24023/tid=24056] ppid=24021 vsize=942156 CPUtime=17.51 cores=0-31
/proc/24023/task/24056/stat : 24056 (plingeling) R 24021 24023 23801 0 -1 4202560 7734 1245 0 0 1741 10 0 0 25 0 33 0 716098367 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24023/tid=24057] ppid=24021 vsize=942156 CPUtime=17.52 cores=0-31
/proc/24023/task/24057/stat : 24057 (plingeling) R 24021 24023 23801 0 -1 4202560 7177 1245 0 0 1743 9 0 0 25 0 33 0 716098368 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4366520 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24023/tid=24058] ppid=24021 vsize=942156 CPUtime=17.44 cores=0-31
/proc/24023/task/24058/stat : 24058 (plingeling) R 24021 24023 23801 0 -1 4202560 5280 1245 0 0 1739 5 0 0 25 0 33 0 716098368 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24023/tid=24059] ppid=24021 vsize=942156 CPUtime=17.45 cores=0-31
/proc/24023/task/24059/stat : 24059 (plingeling) R 24021 24023 23801 0 -1 4202560 4458 1245 0 0 1740 5 0 0 25 0 33 0 716098368 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24023/tid=24060] ppid=24021 vsize=942156 CPUtime=17.31 cores=0-31
/proc/24023/task/24060/stat : 24060 (plingeling) R 24021 24023 23801 0 -1 4202560 6157 1245 0 0 1723 8 0 0 25 0 33 0 716098368 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24023/tid=24061] ppid=24021 vsize=942156 CPUtime=17.52 cores=0-31
/proc/24023/task/24061/stat : 24061 (plingeling) R 24021 24023 23801 0 -1 4202560 5027 1245 0 0 1749 3 0 0 25 0 33 0 716098368 964767744 88537 268435456000 4194304 4417452 140735732764208 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 561.48
Current children cumulated vsize (KiB) 942156

[startup+20.0016 s]
/proc/loadavg: 31.07 31.01 31.60 33/446 24061
/proc/meminfo: memFree=255136624/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=930340 CPUtime=586.91 cores=0-31
/proc/24023/stat : 24023 (plingeling) S 24021 24023 23801 0 -1 4202496 267351 1245 0 0 58399 292 0 0 19 0 33 0 716098205 952668160 85583 268435456000 4194304 4417452 140735732764208 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 4 0 0 0
/proc/24023/statm: 232585 85583 175 55 0 230471 0
[pid=24023/tid=24030] ppid=24021 vsize=930876 CPUtime=18.32 cores=0-31
/proc/24023/task/24030/stat : 24030 (plingeling) R 24021 24023 23801 0 -1 4202560 6000 1245 0 0 1824 8 0 0 25 0 33 0 716098366 953217024 85588 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=24023/tid=24031] ppid=24021 vsize=930876 CPUtime=18.32 cores=0-31
/proc/24023/task/24031/stat : 24031 (plingeling) R 24021 24023 23801 0 -1 4202560 7862 1245 0 0 1822 10 0 0 25 0 33 0 716098366 953217024 85597 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=24023/tid=24032] ppid=24021 vsize=930876 CPUtime=18.32 cores=0-31
/proc/24023/task/24032/stat : 24032 (plingeling) R 24021 24023 23801 0 -1 4202560 8998 1245 0 0 1819 13 0 0 25 0 33 0 716098366 953217024 85608 268435456000 4194304 4417452 140735732764208 18446744073709551615 4357554 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=24023/tid=24033] ppid=24021 vsize=930876 CPUtime=18.33 cores=0-31
/proc/24023/task/24033/stat : 24033 (plingeling) R 24021 24023 23801 0 -1 4202560 14029 1245 0 0 1812 21 0 0 24 0 33 0 716098366 953217024 85617 268435456000 4194304 4417452 140735732764208 18446744073709551615 4353559 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=24023/tid=24034] ppid=24021 vsize=930876 CPUtime=18.33 cores=0-31
/proc/24023/task/24034/stat : 24034 (plingeling) R 24021 24023 23801 0 -1 4202560 7180 1245 0 0 1823 10 0 0 25 0 33 0 716098366 953217024 85626 268435456000 4194304 4417452 140735732764208 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=24023/tid=24035] ppid=24021 vsize=930876 CPUtime=18.28 cores=0-31
/proc/24023/task/24035/stat : 24035 (plingeling) R 24021 24023 23801 0 -1 4202560 5213 1245 0 0 1822 6 0 0 25 0 33 0 716098366 953217024 85636 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=24023/tid=24036] ppid=24021 vsize=930876 CPUtime=18.27 cores=0-31
/proc/24023/task/24036/stat : 24036 (plingeling) R 24021 24023 23801 0 -1 4202560 5705 1245 0 0 1819 8 0 0 25 0 33 0 716098366 953217024 85646 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364558 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=24023/tid=24037] ppid=24021 vsize=930876 CPUtime=18.35 cores=0-31
/proc/24023/task/24037/stat : 24037 (plingeling) R 24021 24023 23801 0 -1 4202560 5139 1245 0 0 1830 5 0 0 25 0 33 0 716098366 953217024 85654 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364446 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=24023/tid=24038] ppid=24021 vsize=930876 CPUtime=18.32 cores=0-31
/proc/24023/task/24038/stat : 24038 (plingeling) R 24021 24023 23801 0 -1 4202560 6871 1245 0 0 1824 8 0 0 25 0 33 0 716098366 953217024 85663 268435456000 4194304 4417452 140735732764208 18446744073709551615 4366512 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=24023/tid=24039] ppid=24021 vsize=930876 CPUtime=18.32 cores=0-31
/proc/24023/task/24039/stat : 24039 (plingeling) R 24021 24023 23801 0 -1 4202560 4990 1245 0 0 1826 6 0 0 21 0 33 0 716098366 953217024 85673 268435456000 4194304 4417452 140735732764208 18446744073709551615 4237136 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=24023/tid=24040] ppid=24021 vsize=930876 CPUtime=18.29 cores=0-31
/proc/24023/task/24040/stat : 24040 (plingeling) R 24021 24023 23801 0 -1 4202560 7970 1245 0 0 1818 11 0 0 25 0 33 0 716098366 953217024 85681 268435456000 4194304 4417452 140735732764208 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=24023/tid=24041] ppid=24021 vsize=930876 CPUtime=18.04 cores=0-31
/proc/24023/task/24041/stat : 24041 (plingeling) R 24021 24023 23801 0 -1 4202560 5965 1245 0 0 1796 8 0 0 25 0 33 0 716098366 953217024 85691 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=24023/tid=24042] ppid=24021 vsize=930876 CPUtime=18.33 cores=0-31
/proc/24023/task/24042/stat : 24042 (plingeling) R 24021 24023 23801 0 -1 4202560 3937 1245 0 0 1829 4 0 0 25 0 33 0 716098366 953217024 85700 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=24023/tid=24043] ppid=24021 vsize=930876 CPUtime=18.32 cores=0-31
/proc/24023/task/24043/stat : 24043 (plingeling) R 24021 24023 23801 0 -1 4202560 5806 1245 0 0 1827 5 0 0 25 0 33 0 716098366 953217024 85710 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=24023/tid=24044] ppid=24021 vsize=930876 CPUtime=18.26 cores=0-31
/proc/24023/task/24044/stat : 24044 (plingeling) R 24021 24023 23801 0 -1 4202560 7318 1245 0 0 1816 10 0 0 25 0 33 0 716098366 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=24023/tid=24045] ppid=24021 vsize=930876 CPUtime=18.33 cores=0-31
/proc/24023/task/24045/stat : 24045 (plingeling) R 24021 24023 23801 0 -1 4202560 5422 1245 0 0 1827 6 0 0 25 0 33 0 716098366 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=24023/tid=24046] ppid=24021 vsize=930876 CPUtime=18.3 cores=0-31
/proc/24023/task/24046/stat : 24046 (plingeling) R 24021 24023 23801 0 -1 4202560 7686 1245 0 0 1821 9 0 0 25 0 33 0 716098366 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4354515 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=24023/tid=24047] ppid=24021 vsize=930876 CPUtime=18.3 cores=0-31
/proc/24023/task/24047/stat : 24047 (plingeling) R 24021 24023 23801 0 -1 4202560 8367 1245 0 0 1818 12 0 0 25 0 33 0 716098366 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=24023/tid=24048] ppid=24021 vsize=930876 CPUtime=18.25 cores=0-31
/proc/24023/task/24048/stat : 24048 (plingeling) R 24021 24023 23801 0 -1 4202560 7012 1245 0 0 1816 9 0 0 25 0 33 0 716098366 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4250599 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=24023/tid=24049] ppid=24021 vsize=930876 CPUtime=18.3 cores=0-31
/proc/24023/task/24049/stat : 24049 (plingeling) R 24021 24023 23801 0 -1 4202560 5734 1245 0 0 1825 5 0 0 25 0 33 0 716098366 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4236797 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=24023/tid=24050] ppid=24021 vsize=930876 CPUtime=18.28 cores=0-31
/proc/24023/task/24050/stat : 24050 (plingeling) R 24021 24023 23801 0 -1 4202560 6497 1245 0 0 1821 7 0 0 25 0 33 0 716098367 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=24023/tid=24051] ppid=24021 vsize=930876 CPUtime=18.27 cores=0-31
/proc/24023/task/24051/stat : 24051 (plingeling) R 24021 24023 23801 0 -1 4202560 6524 1245 0 0 1820 7 0 0 25 0 33 0 716098367 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364807 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=24023/tid=24052] ppid=24021 vsize=930876 CPUtime=18.27 cores=0-31
/proc/24023/task/24052/stat : 24052 (plingeling) R 24021 24023 23801 0 -1 4202560 8403 1245 0 0 1813 14 0 0 18 0 33 0 716098367 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4236830 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=24023/tid=24053] ppid=24021 vsize=930876 CPUtime=18.3 cores=0-31
/proc/24023/task/24053/stat : 24053 (plingeling) R 24021 24023 23801 0 -1 4202560 6447 1245 0 0 1825 5 0 0 25 0 33 0 716098367 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=24023/tid=24054] ppid=24021 vsize=930876 CPUtime=18.31 cores=0-31
/proc/24023/task/24054/stat : 24054 (plingeling) R 24021 24023 23801 0 -1 4202560 3587 1245 0 0 1827 4 0 0 25 0 33 0 716098367 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=24023/tid=24055] ppid=24021 vsize=930876 CPUtime=18.17 cores=0-31
/proc/24023/task/24055/stat : 24055 (plingeling) R 24021 24023 23801 0 -1 4202560 5176 1245 0 0 1811 6 0 0 25 0 33 0 716098367 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4365130 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=24023/tid=24056] ppid=24021 vsize=930876 CPUtime=18.3 cores=0-31
/proc/24023/task/24056/stat : 24056 (plingeling) R 24021 24023 23801 0 -1 4202560 8272 1245 0 0 1820 10 0 0 25 0 33 0 716098367 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=24023/tid=24057] ppid=24021 vsize=930876 CPUtime=18.31 cores=0-31
/proc/24023/task/24057/stat : 24057 (plingeling) R 24021 24023 23801 0 -1 4202560 7894 1245 0 0 1821 10 0 0 25 0 33 0 716098368 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4320947 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=24023/tid=24058] ppid=24021 vsize=930876 CPUtime=18.24 cores=0-31
/proc/24023/task/24058/stat : 24058 (plingeling) R 24021 24023 23801 0 -1 4202560 5773 1245 0 0 1818 6 0 0 25 0 33 0 716098368 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4357379 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=24023/tid=24059] ppid=24021 vsize=930876 CPUtime=18.24 cores=0-31
/proc/24023/task/24059/stat : 24059 (plingeling) R 24021 24023 23801 0 -1 4202560 4733 1245 0 0 1819 5 0 0 18 0 33 0 716098368 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=24023/tid=24060] ppid=24021 vsize=930876 CPUtime=18.1 cores=0-31
/proc/24023/task/24060/stat : 24060 (plingeling) R 24021 24023 23801 0 -1 4202560 6557 1245 0 0 1801 9 0 0 25 0 33 0 716098368 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4365996 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=24023/tid=24061] ppid=24021 vsize=930876 CPUtime=18.31 cores=0-31
/proc/24023/task/24061/stat : 24061 (plingeling) R 24021 24023 23801 0 -1 4202560 5501 1245 0 0 1827 4 0 0 25 0 33 0 716098368 953217024 85717 268435456000 4194304 4417452 140735732764208 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 586.91
Current children cumulated vsize (KiB) 930340

[startup+20.4017 s]
/proc/loadavg: 31.07 31.01 31.60 33/446 24061
/proc/meminfo: memFree=255136624/264257624 swapFree=67111528/67111528
[pid=24023] ppid=24021 vsize=458660 CPUtime=598.41 cores=0-31
/proc/24023/stat : 24023 (plingeling) R 24021 24023 23801 0 -1 4202496 272407 1245 0 0 59540 301 0 0 17 0 1 0 716098205 469667840 41657 268435456000 4194304 4417452 140735732764208 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/24023/statm: 114461 41453 176 55 0 112347 0
Current children cumulated CPU time (s) 598.41
Current children cumulated vsize (KiB) 458660

Child status: 20
Real time (s): 20.4168
CPU time (s): 598.451
CPU user time (s): 595.413
CPU system time (s): 3.03754
CPU usage (%): 2931.17
Max. virtual memory (cumulated for all children) (KiB): 947100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 595.413
system time used= 3.03754
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273656
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3791
involuntary context switches= 1314

runsolver used 0.12898 second user time and 0.488925 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-22 08:35:18
IDJOB=3372777
IDBENCH=83438
IDSOLVER=1852
FILE ID=node200/3372777-1306046118
RUNJOBID= node200-1306045988-23815
PBS_JOBID= 13387806
Free space on /tmp= 62044 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F17.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372777-1306046118/watcher-3372777-1306046118 -o /tmp/evaluation-result-3372777-1306046118/solver-3372777-1306046118 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372777-1306046118.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 4f20f237857124f0eb214df627f84b82
RANDOM SEED=1792023936

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255500152 kB
Buffers:        454568 kB
Cached:        7900540 kB
SwapCached:          0 kB
Active:        7427136 kB
Inactive:       996528 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255500152 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2332 kB
Writeback:           0 kB
AnonPages:       69548 kB
Mapped:          14900 kB
Slab:           252560 kB
PageTables:       4400 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   180544 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62044 MiB
End job on node200 at 2011-05-22 08:35:38