Trace number 3372540

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 1177.95 60.0564

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
MD5SUM28b7074e04e59e64b5e4d7991d54f9d1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark120.724
Satisfiable
(Un)Satisfiability was proved
Number of variables448370
Number of clauses1130525
Sum of the clauses size2637889
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2753682
Number of clauses of size 3376841
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1177.78/59.93	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-3372540-1305675776/watcher-3372540-1305675776 -o /tmp/evaluation-result-3372540-1305675776/solver-3372540-1305675776 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372540-1305675776.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: 15.93 21.85 24.08 1/413 28197
/proc/meminfo: memFree=255489340/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=40928 CPUtime=0.02 cores=0-31
/proc/28197/stat : 28197 (plingeling) R 28195 28197 27975 0 -1 4202496 8043 1241 0 0 0 2 0 0 21 0 1 0 679064236 41910272 7974 268435456000 4194304 4417452 140736496076496 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28197/statm: 10232 7990 138 55 0 8118 0

[startup+0.111622 s]
/proc/loadavg: 15.93 21.85 24.08 1/413 28197
/proc/meminfo: memFree=255489340/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=88320 CPUtime=0.09 cores=0-31
/proc/28197/stat : 28197 (plingeling) R 28195 28197 27975 0 -1 4202496 20153 1241 0 0 5 4 0 0 21 0 1 0 679064236 90439680 20084 268435456000 4194304 4417452 140736496076496 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28197/statm: 22113 20104 145 55 0 19999 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 88320

[startup+0.200626 s]
/proc/loadavg: 15.93 21.85 24.08 1/413 28197
/proc/meminfo: memFree=255489340/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=103236 CPUtime=0.19 cores=0-31
/proc/28197/stat : 28197 (plingeling) R 28195 28197 27975 0 -1 4202496 23867 1241 0 0 14 5 0 0 22 0 1 0 679064236 105713664 23798 268435456000 4194304 4417452 140736496076496 18446744073709551615 4262041 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28197/statm: 25809 23798 146 55 0 23695 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 103236

[startup+0.300632 s]
/proc/loadavg: 15.93 21.85 24.08 1/413 28197
/proc/meminfo: memFree=255489340/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=112216 CPUtime=0.28 cores=0-31
/proc/28197/stat : 28197 (plingeling) R 28195 28197 27975 0 -1 4202496 26112 1241 0 0 23 5 0 0 22 0 1 0 679064236 114909184 26043 268435456000 4194304 4417452 140736496076496 18446744073709551615 4259129 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28197/statm: 28054 26043 146 55 0 25940 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 112216

[startup+0.700641 s]
/proc/loadavg: 15.93 21.85 24.08 1/413 28197
/proc/meminfo: memFree=255489340/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=143440 CPUtime=0.68 cores=0-31
/proc/28197/stat : 28197 (plingeling) R 28195 28197 27975 0 -1 4202496 33950 1241 0 0 62 6 0 0 24 0 1 0 679064236 146882560 33881 268435456000 4194304 4417452 140736496076496 18446744073709551615 4264940 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28197/statm: 35860 33881 146 55 0 33746 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 143440

[startup+1.50067 s]
/proc/loadavg: 15.93 21.85 24.08 2/414 28203
/proc/meminfo: memFree=255325172/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=233072 CPUtime=1.48 cores=0-31
/proc/28197/stat : 28197 (plingeling) R 28195 28197 27975 0 -1 4202496 56263 1241 0 0 137 11 0 0 25 0 1 0 679064236 238665728 56194 268435456000 4194304 4417452 140736496076496 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28197/statm: 58268 56210 146 55 0 56154 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 233072

[startup+3.10073 s]
/proc/loadavg: 15.93 21.85 24.08 2/414 28203
/proc/meminfo: memFree=255232792/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=445964 CPUtime=3.08 cores=0-31
/proc/28197/stat : 28197 (plingeling) R 28195 28197 27975 0 -1 4202496 109599 1241 0 0 286 22 0 0 25 0 1 0 679064236 456667136 109512 268435456000 4194304 4417452 140736496076496 18446744073709551615 4264909 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28197/statm: 111491 109512 146 55 0 109377 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 445964

[startup+6.30084 s]
/proc/loadavg: 14.74 21.51 23.95 2/414 28203
/proc/meminfo: memFree=254854788/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=771872 CPUtime=6.29 cores=0-31
/proc/28197/stat : 28197 (plingeling) R 28195 28197 27975 0 -1 4202496 190172 1241 0 0 590 39 0 0 25 0 1 0 679064236 790396928 190080 268435456000 4194304 4417452 140736496076496 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28197/statm: 192968 190099 146 55 0 190854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 771872

[startup+12.7011 s]
/proc/loadavg: 13.64 21.17 23.83 2/414 28203
/proc/meminfo: memFree=254228124/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=1270200 CPUtime=12.68 cores=0-31
/proc/28197/stat : 28197 (plingeling) R 28195 28197 27975 0 -1 4202496 315825 1241 0 0 1203 65 0 0 25 0 1 0 679064236 1300684800 315571 268435456000 4194304 4417452 140736496076496 18446744073709551615 4231504 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28197/statm: 317550 315571 146 55 0 315436 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1270200

[startup+25.5024 s]
/proc/loadavg: 13.32 20.69 23.63 33/446 28235
/proc/meminfo: memFree=252603248/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=3567940 CPUtime=90.18 cores=0-31
/proc/28197/stat : 28197 (plingeling) S 28195 28197 27975 0 -1 4202496 971133 1241 0 0 8065 953 0 0 18 0 33 0 679064236 3653570560 720164 268435456000 4194304 4417452 140736496076496 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/28197/statm: 891985 720164 168 55 0 889871 0
[pid=28197/tid=28204] ppid=28195 vsize=3567940 CPUtime=2.11 cores=0-31
/proc/28197/task/28204/stat : 28204 (plingeling) R 28195 28197 27975 0 -1 4202560 12277 1241 0 0 181 30 0 0 19 0 33 0 679066560 3653570560 720164 268435456000 4194304 4417452 140736496076496 18446744073709551615 4306537 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28197/tid=28205] ppid=28195 vsize=3567940 CPUtime=2.11 cores=0-31
/proc/28197/task/28205/stat : 28205 (plingeling) R 28195 28197 27975 0 -1 4202560 12275 1241 0 0 179 32 0 0 25 0 33 0 679066560 3653570560 719652 268435456000 4194304 4417452 140736496076496 18446744073709551615 4292071 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28197/tid=28206] ppid=28195 vsize=3567940 CPUtime=2.12 cores=0-31
/proc/28197/task/28206/stat : 28206 (plingeling) R 28195 28197 27975 0 -1 4202560 15712 1241 0 0 185 27 0 0 19 0 33 0 679066560 3653570560 719652 268435456000 4194304 4417452 140736496076496 18446744073709551615 4270978 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28197/tid=28207] ppid=28195 vsize=3567940 CPUtime=2.15 cores=0-31
/proc/28197/task/28207/stat : 28207 (plingeling) R 28195 28197 27975 0 -1 4202560 7828 1241 0 0 202 13 0 0 20 0 33 0 679066560 3653570560 719652 268435456000 4194304 4417452 140736496076496 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28197/tid=28208] ppid=28195 vsize=3567940 CPUtime=2.13 cores=0-31
/proc/28197/task/28208/stat : 28208 (plingeling) R 28195 28197 27975 0 -1 4202560 12274 1241 0 0 189 24 0 0 19 0 33 0 679066560 3653570560 719652 268435456000 4194304 4417452 140736496076496 18446744073709551615 4266904 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28197/tid=28209] ppid=28195 vsize=3567940 CPUtime=2.1 cores=0-31
/proc/28197/task/28209/stat : 28209 (plingeling) R 28195 28197 27975 0 -1 4202560 21719 1241 0 0 185 25 0 0 20 0 33 0 679066560 3653570560 719652 268435456000 4194304 4417452 140736496076496 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28197/tid=28210] ppid=28195 vsize=3567940 CPUtime=2.15 cores=0-31
/proc/28197/task/28210/stat : 28210 (plingeling) R 28195 28197 27975 0 -1 4202560 12165 1241 0 0 198 17 0 0 20 0 33 0 679066560 3653570560 719652 268435456000 4194304 4417452 140736496076496 18446744073709551615 258650649913 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28197/tid=28211] ppid=28195 vsize=3567940 CPUtime=2.1 cores=0-31
/proc/28197/task/28211/stat : 28211 (plingeling) R 28195 28197 27975 0 -1 4202560 12164 1241 0 0 178 32 0 0 19 0 33 0 679066560 3653570560 719140 268435456000 4194304 4417452 140736496076496 18446744073709551615 4291653 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28197/tid=28212] ppid=28195 vsize=3567940 CPUtime=2.14 cores=0-31
/proc/28197/task/28212/stat : 28212 (plingeling) R 28195 28197 27975 0 -1 4202560 12165 1241 0 0 196 18 0 0 20 0 33 0 679066560 3653570560 719140 268435456000 4194304 4417452 140736496076496 18446744073709551615 4266901 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28197/tid=28213] ppid=28195 vsize=3567940 CPUtime=2.11 cores=0-31
/proc/28197/task/28213/stat : 28213 (plingeling) R 28195 28197 27975 0 -1 4202560 12170 1241 0 0 183 28 0 0 19 0 33 0 679066561 3653570560 719140 268435456000 4194304 4417452 140736496076496 18446744073709551615 4302263 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28197/tid=28214] ppid=28195 vsize=3567940 CPUtime=1.94 cores=0-31
/proc/28197/task/28214/stat : 28214 (plingeling) R 28195 28197 27975 0 -1 4202560 12290 1241 0 0 173 21 0 0 19 0 33 0 679066561 3653570560 719140 268435456000 4194304 4417452 140736496076496 18446744073709551615 4292143 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28197/tid=28215] ppid=28195 vsize=3567940 CPUtime=2.07 cores=0-31
/proc/28197/task/28215/stat : 28215 (plingeling) R 28195 28197 27975 0 -1 4202560 12290 1241 0 0 183 24 0 0 19 0 33 0 679066561 3653570560 719140 268435456000 4194304 4417452 140736496076496 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28197/tid=28216] ppid=28195 vsize=3567940 CPUtime=2.09 cores=0-31
/proc/28197/task/28216/stat : 28216 (plingeling) R 28195 28197 27975 0 -1 4202560 12273 1241 0 0 179 30 0 0 19 0 33 0 679066561 3653570560 719140 268435456000 4194304 4417452 140736496076496 18446744073709551615 4291939 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28197/tid=28217] ppid=28195 vsize=3567940 CPUtime=2.13 cores=0-31
/proc/28197/task/28217/stat : 28217 (plingeling) R 28195 28197 27975 0 -1 4202560 12275 1241 0 0 189 24 0 0 20 0 33 0 679066561 3653570560 718628 268435456000 4194304 4417452 140736496076496 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28197/tid=28218] ppid=28195 vsize=3567940 CPUtime=2.07 cores=0-31
/proc/28197/task/28218/stat : 28218 (plingeling) R 28195 28197 27975 0 -1 4202560 12301 1241 0 0 176 31 0 0 22 0 33 0 679066561 3653570560 718628 268435456000 4194304 4417452 140736496076496 18446744073709551615 4293125 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28197/tid=28219] ppid=28195 vsize=3567940 CPUtime=2.08 cores=0-31
/proc/28197/task/28219/stat : 28219 (plingeling) R 28195 28197 27975 0 -1 4202560 12166 1241 0 0 177 31 0 0 22 0 33 0 679066561 3653570560 718628 268435456000 4194304 4417452 140736496076496 18446744073709551615 4290678 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28197/tid=28220] ppid=28195 vsize=3567940 CPUtime=2.08 cores=0-31
/proc/28197/task/28220/stat : 28220 (plingeling) R 28195 28197 27975 0 -1 4202560 12289 1241 0 0 185 23 0 0 19 0 33 0 679066561 3653570560 718628 268435456000 4194304 4417452 140736496076496 18446744073709551615 4265940 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28197/tid=28221] ppid=28195 vsize=3567940 CPUtime=2.1 cores=0-31
/proc/28197/task/28221/stat : 28221 (plingeling) R 28195 28197 27975 0 -1 4202560 12296 1241 0 0 185 25 0 0 19 0 33 0 679066561 3653570560 718628 268435456000 4194304 4417452 140736496076496 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28197/tid=28222] ppid=28195 vsize=3567940 CPUtime=2.09 cores=0-31
/proc/28197/task/28222/stat : 28222 (plingeling) R 28195 28197 27975 0 -1 4202560 12291 1241 0 0 182 27 0 0 20 0 33 0 679066561 3653570560 718628 268435456000 4194304 4417452 140736496076496 18446744073709551615 4306602 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28197/tid=28223] ppid=28195 vsize=3567940 CPUtime=2.06 cores=0-31
/proc/28197/task/28223/stat : 28223 (plingeling) R 28195 28197 27975 0 -1 4202560 12274 1241 0 0 176 30 0 0 19 0 33 0 679066561 3653570560 718116 268435456000 4194304 4417452 140736496076496 18446744073709551615 4290963 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28197/tid=28224] ppid=28195 vsize=3567940 CPUtime=2.1 cores=0-31
/proc/28197/task/28224/stat : 28224 (plingeling) R 28195 28197 27975 0 -1 4202560 12191 1241 0 0 184 26 0 0 19 0 33 0 679066561 3653570560 718116 268435456000 4194304 4417452 140736496076496 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28197/tid=28225] ppid=28195 vsize=3567940 CPUtime=2.13 cores=0-31
/proc/28197/task/28225/stat : 28225 (plingeling) R 28195 28197 27975 0 -1 4202560 12311 1241 0 0 190 23 0 0 20 0 33 0 679066561 3653570560 718116 268435456000 4194304 4417452 140736496076496 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28197/tid=28226] ppid=28195 vsize=3567940 CPUtime=2.07 cores=0-31
/proc/28197/task/28226/stat : 28226 (plingeling) R 28195 28197 27975 0 -1 4202560 12293 1241 0 0 177 30 0 0 20 0 33 0 679066562 3653570560 718116 268435456000 4194304 4417452 140736496076496 18446744073709551615 4306592 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28197/tid=28227] ppid=28195 vsize=3567940 CPUtime=2.07 cores=0-31
/proc/28197/task/28227/stat : 28227 (plingeling) R 28195 28197 27975 0 -1 4202560 12182 1241 0 0 176 31 0 0 19 0 33 0 679066562 3653570560 718116 268435456000 4194304 4417452 140736496076496 18446744073709551615 4292270 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28197/tid=28228] ppid=28195 vsize=3567940 CPUtime=2.11 cores=0-31
/proc/28197/task/28228/stat : 28228 (plingeling) R 28195 28197 27975 0 -1 4202560 12296 1241 0 0 186 25 0 0 20 0 33 0 679066562 3653570560 718116 268435456000 4194304 4417452 140736496076496 18446744073709551615 4287602 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28197/tid=28229] ppid=28195 vsize=3567940 CPUtime=2.07 cores=0-31
/proc/28197/task/28229/stat : 28229 (plingeling) R 28195 28197 27975 0 -1 4202560 12300 1241 0 0 178 29 0 0 19 0 33 0 679066562 3653570560 717604 268435456000 4194304 4417452 140736496076496 18446744073709551615 4306600 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28197/tid=28230] ppid=28195 vsize=3567940 CPUtime=1.81 cores=0-31
/proc/28197/task/28230/stat : 28230 (plingeling) R 28195 28197 27975 0 -1 4202560 12298 1241 0 0 164 17 0 0 21 0 33 0 679066562 3653570560 717604 268435456000 4194304 4417452 140736496076496 18446744073709551615 258650999159 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28197/tid=28231] ppid=28195 vsize=3567940 CPUtime=2.05 cores=0-31
/proc/28197/task/28231/stat : 28231 (plingeling) R 28195 28197 27975 0 -1 4202560 12298 1241 0 0 181 24 0 0 19 0 33 0 679066562 3653570560 717604 268435456000 4194304 4417452 140736496076496 18446744073709551615 4291494 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28197/tid=28232] ppid=28195 vsize=3567940 CPUtime=2.08 cores=0-31
/proc/28197/task/28232/stat : 28232 (plingeling) R 28195 28197 27975 0 -1 4202560 15718 1241 0 0 183 25 0 0 19 0 33 0 679066563 3653570560 717604 268435456000 4194304 4417452 140736496076496 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28197/tid=28233] ppid=28195 vsize=3567940 CPUtime=2.07 cores=0-31
/proc/28197/task/28233/stat : 28233 (plingeling) R 28195 28197 27975 0 -1 4202560 15627 1241 0 0 183 24 0 0 20 0 33 0 679066563 3653570560 717604 268435456000 4194304 4417452 140736496076496 18446744073709551615 4283175 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28197/tid=28234] ppid=28195 vsize=3567940 CPUtime=2.07 cores=0-31
/proc/28197/task/28234/stat : 28234 (plingeling) R 28195 28197 27975 0 -1 4202560 12276 1241 0 0 177 30 0 0 19 0 33 0 679066563 3653570560 717604 268435456000 4194304 4417452 140736496076496 18446744073709551615 4302190 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28197/tid=28235] ppid=28195 vsize=3567940 CPUtime=2.03 cores=0-31
/proc/28197/task/28235/stat : 28235 (plingeling) R 28195 28197 27975 0 -1 4202560 12295 1241 0 0 179 24 0 0 20 0 33 0 679066563 3653570560 717092 268435456000 4194304 4417452 140736496076496 18446744073709551615 4234119 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 90.18
Current children cumulated vsize (KiB) 3567940

[startup+51.1023 s]
/proc/loadavg: 19.62 21.58 23.85 33/446 28237
/proc/meminfo: memFree=251653584/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=4522480 CPUtime=907.1 cores=0-31
/proc/28197/stat : 28197 (plingeling) S 28195 28197 27975 0 -1 4202496 1608336 1241 0 0 89544 1166 0 0 18 0 33 0 679064236 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/28197/statm: 1130620 956443 175 55 0 1128506 0
[pid=28197/tid=28204] ppid=28195 vsize=4522480 CPUtime=27.68 cores=0-31
/proc/28197/task/28204/stat : 28204 (plingeling) R 28195 28197 27975 0 -1 4202560 35998 1241 0 0 2730 38 0 0 25 0 33 0 679066560 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252264 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28197/tid=28205] ppid=28195 vsize=4522480 CPUtime=27.63 cores=0-31
/proc/28197/task/28205/stat : 28205 (plingeling) R 28195 28197 27975 0 -1 4202560 39142 1241 0 0 2720 43 0 0 25 0 33 0 679066560 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252539 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28197/tid=28206] ppid=28195 vsize=4522480 CPUtime=27.66 cores=0-31
/proc/28197/task/28206/stat : 28206 (plingeling) R 28195 28197 27975 0 -1 4202560 34118 1241 0 0 2732 34 0 0 25 0 33 0 679066560 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28197/tid=28207] ppid=28195 vsize=4522480 CPUtime=27.74 cores=0-31
/proc/28197/task/28207/stat : 28207 (plingeling) R 28195 28197 27975 0 -1 4202560 7900 1241 0 0 2761 13 0 0 25 0 33 0 679066560 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 4364437 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28197/tid=28208] ppid=28195 vsize=4522480 CPUtime=27.7 cores=0-31
/proc/28197/task/28208/stat : 28208 (plingeling) R 28195 28197 27975 0 -1 4202560 37743 1241 0 0 2739 31 0 0 25 0 33 0 679066560 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252903 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28197/tid=28209] ppid=28195 vsize=4522480 CPUtime=27.67 cores=0-31
/proc/28197/task/28209/stat : 28209 (plingeling) R 28195 28197 27975 0 -1 4202560 25750 1241 0 0 2740 27 0 0 25 0 33 0 679066560 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 4257163 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28197/tid=28210] ppid=28195 vsize=4522480 CPUtime=27.66 cores=0-31
/proc/28197/task/28210/stat : 28210 (plingeling) R 28195 28197 27975 0 -1 4202560 37865 1241 0 0 2740 26 0 0 25 0 33 0 679066560 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 258650649821 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28197/tid=28211] ppid=28195 vsize=4522480 CPUtime=27.64 cores=0-31
/proc/28197/task/28211/stat : 28211 (plingeling) R 28195 28197 27975 0 -1 4202560 55696 1241 0 0 2717 47 0 0 25 0 33 0 679066560 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252979 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28197/tid=28212] ppid=28195 vsize=4522480 CPUtime=27.72 cores=0-31
/proc/28197/task/28212/stat : 28212 (plingeling) R 28195 28197 27975 0 -1 4202560 24086 1241 0 0 2750 22 0 0 25 0 33 0 679066560 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 4253157 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28197/tid=28213] ppid=28195 vsize=4522480 CPUtime=27.69 cores=0-31
/proc/28197/task/28213/stat : 28213 (plingeling) R 28195 28197 27975 0 -1 4202560 27450 1241 0 0 2737 32 0 0 25 0 33 0 679066561 4631019520 956443 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252379 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28197/tid=28214] ppid=28195 vsize=4522480 CPUtime=27.45 cores=0-31

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

/proc/28197/task/28211/stat : 28211 (plingeling) R 28195 28197 27975 0 -1 4202560 55696 1241 0 0 3367 47 0 0 25 0 33 0 679066560 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252463 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28197/tid=28212] ppid=28195 vsize=4489104 CPUtime=34.21 cores=0-31
/proc/28197/task/28212/stat : 28212 (plingeling) R 28195 28197 27975 0 -1 4202560 24086 1241 0 0 3399 22 0 0 25 0 33 0 679066560 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4271649 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28197/tid=28213] ppid=28195 vsize=4489104 CPUtime=34.19 cores=0-31
/proc/28197/task/28213/stat : 28213 (plingeling) R 28195 28197 27975 0 -1 4202560 27450 1241 0 0 3387 32 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252361 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28197/tid=28214] ppid=28195 vsize=4489104 CPUtime=33.94 cores=0-31
/proc/28197/task/28214/stat : 28214 (plingeling) R 28195 28197 27975 0 -1 4202560 32033 1241 0 0 3367 27 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4275967 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28197/tid=28215] ppid=28195 vsize=4489104 CPUtime=34.12 cores=0-31
/proc/28197/task/28215/stat : 28215 (plingeling) R 28195 28197 27975 0 -1 4202560 46879 1241 0 0 3377 35 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4272765 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28197/tid=28216] ppid=28195 vsize=4489104 CPUtime=34.14 cores=0-31
/proc/28197/task/28216/stat : 28216 (plingeling) R 28195 28197 27975 0 -1 4202560 35261 1241 0 0 3375 39 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252408 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28197/tid=28217] ppid=28195 vsize=4489104 CPUtime=34.18 cores=0-31
/proc/28197/task/28217/stat : 28217 (plingeling) R 28195 28197 27975 0 -1 4202560 22153 1241 0 0 3389 29 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4253167 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28197/tid=28218] ppid=28195 vsize=4489104 CPUtime=34.1 cores=0-31
/proc/28197/task/28218/stat : 28218 (plingeling) R 28195 28197 27975 0 -1 4202560 23299 1241 0 0 3375 35 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4342550 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28197/tid=28219] ppid=28195 vsize=4489104 CPUtime=34.11 cores=0-31
/proc/28197/task/28219/stat : 28219 (plingeling) R 28195 28197 27975 0 -1 4202560 42172 1241 0 0 3368 43 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252463 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28197/tid=28220] ppid=28195 vsize=4489104 CPUtime=34.11 cores=0-31
/proc/28197/task/28220/stat : 28220 (plingeling) R 28195 28197 27975 0 -1 4202560 42960 1241 0 0 3378 33 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252176 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28197/tid=28221] ppid=28195 vsize=4489104 CPUtime=34.15 cores=0-31
/proc/28197/task/28221/stat : 28221 (plingeling) R 28195 28197 27975 0 -1 4202560 15350 1241 0 0 3389 26 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4248952 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28197/tid=28222] ppid=28195 vsize=4489104 CPUtime=34.08 cores=0-31
/proc/28197/task/28222/stat : 28222 (plingeling) R 28195 28197 27975 0 -1 4202560 40755 1241 0 0 3374 34 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28197/tid=28223] ppid=28195 vsize=4489104 CPUtime=34.12 cores=0-31
/proc/28197/task/28223/stat : 28223 (plingeling) R 28195 28197 27975 0 -1 4202560 44332 1241 0 0 3370 42 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4272216 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28197/tid=28224] ppid=28195 vsize=4489104 CPUtime=34.16 cores=0-31
/proc/28197/task/28224/stat : 28224 (plingeling) R 28195 28197 27975 0 -1 4202560 32755 1241 0 0 3384 32 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4320426 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28197/tid=28225] ppid=28195 vsize=4489104 CPUtime=34.21 cores=0-31
/proc/28197/task/28225/stat : 28225 (plingeling) R 28195 28197 27975 0 -1 4202560 32664 1241 0 0 3391 30 0 0 25 0 33 0 679066561 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4271534 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28197/tid=28226] ppid=28195 vsize=4489104 CPUtime=34.12 cores=0-31
/proc/28197/task/28226/stat : 28226 (plingeling) R 28195 28197 27975 0 -1 4202560 23496 1241 0 0 3377 35 0 0 25 0 33 0 679066562 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4265687 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28197/tid=28227] ppid=28195 vsize=4489104 CPUtime=34.13 cores=0-31
/proc/28197/task/28227/stat : 28227 (plingeling) R 28195 28197 27975 0 -1 4202560 37508 1241 0 0 3372 41 0 0 25 0 33 0 679066562 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4239595 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28197/tid=28228] ppid=28195 vsize=4489104 CPUtime=34.18 cores=0-31
/proc/28197/task/28228/stat : 28228 (plingeling) R 28195 28197 27975 0 -1 4202560 21904 1241 0 0 3391 27 0 0 25 0 33 0 679066562 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4253228 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28197/tid=28229] ppid=28195 vsize=4489104 CPUtime=34.15 cores=0-31
/proc/28197/task/28229/stat : 28229 (plingeling) R 28195 28197 27975 0 -1 4202560 37941 1241 0 0 3379 36 0 0 25 0 33 0 679066562 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4253344 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28197/tid=28230] ppid=28195 vsize=4489104 CPUtime=33.63 cores=0-31
/proc/28197/task/28230/stat : 28230 (plingeling) R 28195 28197 27975 0 -1 4202560 35832 1241 0 0 3339 24 0 0 25 0 33 0 679066562 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4366494 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28197/tid=28231] ppid=28195 vsize=4489104 CPUtime=34.1 cores=0-31
/proc/28197/task/28231/stat : 28231 (plingeling) R 28195 28197 27975 0 -1 4202560 27601 1241 0 0 3378 32 0 0 25 0 33 0 679066562 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4253296 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28197/tid=28232] ppid=28195 vsize=4489104 CPUtime=34.13 cores=0-31
/proc/28197/task/28232/stat : 28232 (plingeling) R 28195 28197 27975 0 -1 4202560 32525 1241 0 0 3383 30 0 0 25 0 33 0 679066563 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4253395 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28197/tid=28233] ppid=28195 vsize=4489104 CPUtime=34.14 cores=0-31
/proc/28197/task/28233/stat : 28233 (plingeling) R 28195 28197 27975 0 -1 4202560 36782 1241 0 0 3384 30 0 0 25 0 33 0 679066563 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4253400 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28197/tid=28234] ppid=28195 vsize=4489104 CPUtime=33.5 cores=0-31
/proc/28197/task/28234/stat : 28234 (plingeling) R 28195 28197 27975 0 -1 4202560 29982 1241 0 0 3314 36 0 0 25 0 33 0 679066563 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4278776 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28197/tid=28235] ppid=28195 vsize=4489104 CPUtime=34.07 cores=0-31
/proc/28197/task/28235/stat : 28235 (plingeling) R 28195 28197 27975 0 -1 4202560 25000 1241 0 0 3377 30 0 0 25 0 33 0 679066563 4596842496 948156 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252515 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1114.81
Current children cumulated vsize (KiB) 4489104

[startup+59.2015 s]
/proc/loadavg: 20.69 21.77 23.90 33/446 28237
/proc/meminfo: memFree=251696952/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=4472640 CPUtime=1165.96 cores=0-31
/proc/28197/stat : 28197 (plingeling) S 28195 28197 27975 0 -1 4202496 1608568 1241 0 0 115429 1167 0 0 18 0 33 0 679064236 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/28197/statm: 1118160 944040 175 55 0 1116046 0
[pid=28197/tid=28204] ppid=28195 vsize=4472640 CPUtime=35.78 cores=0-31
/proc/28197/task/28204/stat : 28204 (plingeling) R 28195 28197 27975 0 -1 4202560 35998 1241 0 0 3540 38 0 0 25 0 33 0 679066560 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252951 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28197/tid=28205] ppid=28195 vsize=4472640 CPUtime=35.73 cores=0-31
/proc/28197/task/28205/stat : 28205 (plingeling) R 28195 28197 27975 0 -1 4202560 39142 1241 0 0 3530 43 0 0 25 0 33 0 679066560 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4272681 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28197/tid=28206] ppid=28195 vsize=4472640 CPUtime=35.74 cores=0-31
/proc/28197/task/28206/stat : 28206 (plingeling) R 28195 28197 27975 0 -1 4202560 34171 1241 0 0 3540 34 0 0 25 0 33 0 679066560 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4251086 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28197/tid=28207] ppid=28195 vsize=4472640 CPUtime=35.83 cores=0-31
/proc/28197/task/28207/stat : 28207 (plingeling) R 28195 28197 27975 0 -1 4202560 7900 1241 0 0 3570 13 0 0 25 0 33 0 679066560 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4237290 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28197/tid=28208] ppid=28195 vsize=4472640 CPUtime=35.79 cores=0-31
/proc/28197/task/28208/stat : 28208 (plingeling) R 28195 28197 27975 0 -1 4202560 37743 1241 0 0 3548 31 0 0 25 0 33 0 679066560 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252499 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28197/tid=28209] ppid=28195 vsize=4472640 CPUtime=35.76 cores=0-31
/proc/28197/task/28209/stat : 28209 (plingeling) R 28195 28197 27975 0 -1 4202560 25750 1241 0 0 3549 27 0 0 25 0 33 0 679066560 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4273758 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28197/tid=28210] ppid=28195 vsize=4472640 CPUtime=35.68 cores=0-31
/proc/28197/task/28210/stat : 28210 (plingeling) R 28195 28197 27975 0 -1 4202560 37888 1241 0 0 3542 26 0 0 25 0 33 0 679066560 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4365606 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28197/tid=28211] ppid=28195 vsize=4472640 CPUtime=35.74 cores=0-31
/proc/28197/task/28211/stat : 28211 (plingeling) R 28195 28197 27975 0 -1 4202560 55696 1241 0 0 3527 47 0 0 25 0 33 0 679066560 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4257738 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28197/tid=28212] ppid=28195 vsize=4472640 CPUtime=35.81 cores=0-31
/proc/28197/task/28212/stat : 28212 (plingeling) R 28195 28197 27975 0 -1 4202560 24086 1241 0 0 3559 22 0 0 25 0 33 0 679066560 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252475 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28197/tid=28213] ppid=28195 vsize=4472640 CPUtime=35.79 cores=0-31
/proc/28197/task/28213/stat : 28213 (plingeling) R 28195 28197 27975 0 -1 4202560 27450 1241 0 0 3547 32 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4272577 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28197/tid=28214] ppid=28195 vsize=4472640 CPUtime=35.54 cores=0-31
/proc/28197/task/28214/stat : 28214 (plingeling) R 28195 28197 27975 0 -1 4202560 32033 1241 0 0 3527 27 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4364446 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28197/tid=28215] ppid=28195 vsize=4472640 CPUtime=35.72 cores=0-31
/proc/28197/task/28215/stat : 28215 (plingeling) R 28195 28197 27975 0 -1 4202560 46879 1241 0 0 3537 35 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4271594 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28197/tid=28216] ppid=28195 vsize=4472640 CPUtime=35.74 cores=0-31
/proc/28197/task/28216/stat : 28216 (plingeling) R 28195 28197 27975 0 -1 4202560 35261 1241 0 0 3535 39 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4253288 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28197/tid=28217] ppid=28195 vsize=4472640 CPUtime=35.78 cores=0-31
/proc/28197/task/28217/stat : 28217 (plingeling) R 28195 28197 27975 0 -1 4202560 22153 1241 0 0 3549 29 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28197/tid=28218] ppid=28195 vsize=4472640 CPUtime=35.7 cores=0-31
/proc/28197/task/28218/stat : 28218 (plingeling) R 28195 28197 27975 0 -1 4202560 23299 1241 0 0 3535 35 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28197/tid=28219] ppid=28195 vsize=4472640 CPUtime=35.71 cores=0-31
/proc/28197/task/28219/stat : 28219 (plingeling) R 28195 28197 27975 0 -1 4202560 42172 1241 0 0 3528 43 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4320251 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28197/tid=28220] ppid=28195 vsize=4472640 CPUtime=35.71 cores=0-31
/proc/28197/task/28220/stat : 28220 (plingeling) R 28195 28197 27975 0 -1 4202560 42960 1241 0 0 3538 33 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252045 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28197/tid=28221] ppid=28195 vsize=4472640 CPUtime=35.75 cores=0-31
/proc/28197/task/28221/stat : 28221 (plingeling) R 28195 28197 27975 0 -1 4202560 15350 1241 0 0 3549 26 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4273068 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28197/tid=28222] ppid=28195 vsize=4472640 CPUtime=35.68 cores=0-31
/proc/28197/task/28222/stat : 28222 (plingeling) R 28195 28197 27975 0 -1 4202560 40755 1241 0 0 3534 34 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4366005 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28197/tid=28223] ppid=28195 vsize=4472640 CPUtime=35.72 cores=0-31
/proc/28197/task/28223/stat : 28223 (plingeling) R 28195 28197 27975 0 -1 4202560 44332 1241 0 0 3530 42 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252053 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28197/tid=28224] ppid=28195 vsize=4472640 CPUtime=35.76 cores=0-31
/proc/28197/task/28224/stat : 28224 (plingeling) R 28195 28197 27975 0 -1 4202560 32755 1241 0 0 3544 32 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252336 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28197/tid=28225] ppid=28195 vsize=4472640 CPUtime=35.81 cores=0-31
/proc/28197/task/28225/stat : 28225 (plingeling) R 28195 28197 27975 0 -1 4202560 32664 1241 0 0 3551 30 0 0 25 0 33 0 679066561 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28197/tid=28226] ppid=28195 vsize=4472640 CPUtime=35.72 cores=0-31
/proc/28197/task/28226/stat : 28226 (plingeling) R 28195 28197 27975 0 -1 4202560 23496 1241 0 0 3537 35 0 0 25 0 33 0 679066562 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28197/tid=28227] ppid=28195 vsize=4472640 CPUtime=35.73 cores=0-31
/proc/28197/task/28227/stat : 28227 (plingeling) R 28195 28197 27975 0 -1 4202560 37508 1241 0 0 3532 41 0 0 25 0 33 0 679066562 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4236008 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28197/tid=28228] ppid=28195 vsize=4472640 CPUtime=35.78 cores=0-31
/proc/28197/task/28228/stat : 28228 (plingeling) R 28195 28197 27975 0 -1 4202560 21904 1241 0 0 3551 27 0 0 25 0 33 0 679066562 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252316 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28197/tid=28229] ppid=28195 vsize=4472640 CPUtime=35.75 cores=0-31
/proc/28197/task/28229/stat : 28229 (plingeling) R 28195 28197 27975 0 -1 4202560 37941 1241 0 0 3539 36 0 0 25 0 33 0 679066562 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4257084 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28197/tid=28230] ppid=28195 vsize=4472640 CPUtime=35.23 cores=0-31
/proc/28197/task/28230/stat : 28230 (plingeling) R 28195 28197 27975 0 -1 4202560 35838 1241 0 0 3499 24 0 0 25 0 33 0 679066562 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28197/tid=28231] ppid=28195 vsize=4472640 CPUtime=35.7 cores=0-31
/proc/28197/task/28231/stat : 28231 (plingeling) R 28195 28197 27975 0 -1 4202560 27601 1241 0 0 3538 32 0 0 25 0 33 0 679066562 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252374 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28197/tid=28232] ppid=28195 vsize=4472640 CPUtime=35.73 cores=0-31
/proc/28197/task/28232/stat : 28232 (plingeling) R 28195 28197 27975 0 -1 4202560 32525 1241 0 0 3543 30 0 0 25 0 33 0 679066563 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4252026 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28197/tid=28233] ppid=28195 vsize=4472640 CPUtime=35.74 cores=0-31
/proc/28197/task/28233/stat : 28233 (plingeling) R 28195 28197 27975 0 -1 4202560 36782 1241 0 0 3544 30 0 0 25 0 33 0 679066563 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4257736 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28197/tid=28234] ppid=28195 vsize=4472640 CPUtime=35.1 cores=0-31
/proc/28197/task/28234/stat : 28234 (plingeling) R 28195 28197 27975 0 -1 4202560 29982 1241 0 0 3474 36 0 0 25 0 33 0 679066563 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4259140 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28197/tid=28235] ppid=28195 vsize=4472640 CPUtime=35.67 cores=0-31
/proc/28197/task/28235/stat : 28235 (plingeling) R 28195 28197 27975 0 -1 4202560 25000 1241 0 0 3537 30 0 0 25 0 33 0 679066563 4579983360 944040 268435456000 4194304 4417452 140736496076496 18446744073709551615 4257861 0 0 4096 17442 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1165.96
Current children cumulated vsize (KiB) 4472640

[startup+59.6016 s]
/proc/loadavg: 21.60 21.94 23.94 24/437 28237
/proc/meminfo: memFree=251706572/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=4391696 CPUtime=1176.36 cores=0-31
/proc/28197/stat : 28197 (plingeling) S 28195 28197 27975 0 -1 4202496 1608581 1241 0 0 116468 1168 0 0 18 0 15 0 679064236 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 29 0 0 0
/proc/28197/statm: 1097924 935930 176 55 0 1095810 0
[pid=28197/tid=28204] ppid=28195 vsize=4391696 CPUtime=36.18 cores=0-31
/proc/28197/task/28204/stat : 28204 (plingeling) R 28195 28197 27975 0 -1 4202560 35998 1241 0 0 3580 38 0 0 25 0 15 0 679066560 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4232478 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28197/tid=28205] ppid=28195 vsize=4391696 CPUtime=36.13 cores=0-31
/proc/28197/task/28205/stat : 28205 (plingeling) R 28195 28197 27975 0 -1 4202560 39142 1241 0 0 3570 43 0 0 25 0 15 0 679066560 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28197/tid=28208] ppid=28195 vsize=4391696 CPUtime=36.19 cores=0-31
/proc/28197/task/28208/stat : 28208 (plingeling) R 28195 28197 27975 0 -1 4202560 37743 1241 0 0 3588 31 0 0 25 0 15 0 679066560 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28197/tid=28209] ppid=28195 vsize=4391696 CPUtime=36.16 cores=0-31
/proc/28197/task/28209/stat : 28209 (plingeling) R 28195 28197 27975 0 -1 4202560 25750 1241 0 0 3589 27 0 0 25 0 15 0 679066560 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28197/tid=28213] ppid=28195 vsize=4391696 CPUtime=36.19 cores=0-31
/proc/28197/task/28213/stat : 28213 (plingeling) R 28195 28197 27975 0 -1 4202560 27450 1241 0 0 3587 32 0 0 25 0 15 0 679066561 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28197/tid=28215] ppid=28195 vsize=4391696 CPUtime=36.12 cores=0-31
/proc/28197/task/28215/stat : 28215 (plingeling) R 28195 28197 27975 0 -1 4202560 46879 1241 0 0 3577 35 0 0 25 0 15 0 679066561 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4341403 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28197/tid=28216] ppid=28195 vsize=4391696 CPUtime=36.14 cores=0-31
/proc/28197/task/28216/stat : 28216 (plingeling) R 28195 28197 27975 0 -1 4202560 35261 1241 0 0 3575 39 0 0 25 0 15 0 679066561 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4302950 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28197/tid=28219] ppid=28195 vsize=4391696 CPUtime=36.11 cores=0-31
/proc/28197/task/28219/stat : 28219 (plingeling) R 28195 28197 27975 0 -1 4202560 42172 1241 0 0 3568 43 0 0 25 0 15 0 679066561 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4341254 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28197/tid=28221] ppid=28195 vsize=4391696 CPUtime=36.15 cores=0-31
/proc/28197/task/28221/stat : 28221 (plingeling) R 28195 28197 27975 0 -1 4202560 15350 1241 0 0 3589 26 0 0 25 0 15 0 679066561 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4266901 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28197/tid=28223] ppid=28195 vsize=4391696 CPUtime=36.12 cores=0-31
/proc/28197/task/28223/stat : 28223 (plingeling) R 28195 28197 27975 0 -1 4202560 44332 1241 0 0 3570 42 0 0 25 0 15 0 679066561 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28197/tid=28224] ppid=28195 vsize=4391696 CPUtime=36.16 cores=0-31
/proc/28197/task/28224/stat : 28224 (plingeling) R 28195 28197 27975 0 -1 4202560 32755 1241 0 0 3584 32 0 0 25 0 15 0 679066561 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4302058 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28197/tid=28225] ppid=28195 vsize=4391696 CPUtime=36.21 cores=0-31
/proc/28197/task/28225/stat : 28225 (plingeling) R 28195 28197 27975 0 -1 4202560 32664 1241 0 0 3591 30 0 0 25 0 15 0 679066561 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4270589 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28197/tid=28231] ppid=28195 vsize=4391696 CPUtime=36.1 cores=0-31
/proc/28197/task/28231/stat : 28231 (plingeling) R 28195 28197 27975 0 -1 4202560 27601 1241 0 0 3578 32 0 0 25 0 15 0 679066562 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28197/tid=28233] ppid=28195 vsize=4391696 CPUtime=36.14 cores=0-31
/proc/28197/task/28233/stat : 28233 (plingeling) R 28195 28197 27975 0 -1 4202560 36782 1241 0 0 3584 30 0 0 25 0 15 0 679066563 4497096704 935930 268435456000 4194304 4417452 140736496076496 18446744073709551615 4266870 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 1176.36
Current children cumulated vsize (KiB) 4391696

[startup+60.0007 s]
/proc/loadavg: 21.60 21.94 23.94 24/437 28237
/proc/meminfo: memFree=251706572/264257624 swapFree=67111528/67111528
[pid=28197] ppid=28195 vsize=0 CPUtime=1177.88 cores=0-31
/proc/28197/stat : 28197 (plingeling) R 28195 28197 27975 0 -1 4202500 1608585 1241 0 0 116595 1193 0 0 17 0 1 0 679064236 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 29 0 0 0
/proc/28197/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1177.88
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 60.0564
CPU time (s): 1177.95
CPU user time (s): 1165.96
CPU system time (s): 11.9922
CPU usage (%): 1961.41
Max. virtual memory (cumulated for all children) (KiB): 4729856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1165.96
system time used= 11.9922
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1609826
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= 6434
involuntary context switches= 2798

runsolver used 0.386941 second user time and 1.38279 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-18 01:42:58
IDJOB=3372540
IDBENCH=82450
IDSOLVER=1852
FILE ID=node200/3372540-1305675776
RUNJOBID= node200-1305675585-27989
PBS_JOBID= 13357376
Free space on /tmp= 62032 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372540-1305675776/watcher-3372540-1305675776 -o /tmp/evaluation-result-3372540-1305675776/solver-3372540-1305675776 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372540-1305675776.cnf

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

MD5SUM BENCH= 28b7074e04e59e64b5e4d7991d54f9d1
RANDOM SEED=290378118

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:      255489628 kB
Buffers:        451272 kB
Cached:        7905432 kB
SwapCached:          0 kB
Active:        7419832 kB
Inactive:      1005716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255489628 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           21136 kB
Writeback:           0 kB
AnonPages:       69344 kB
Mapped:          14508 kB
Slab:           252036 kB
PageTables:       4392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   202360 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= 62032 MiB
End job on node200 at 2011-05-18 01:43:58