Trace number 3472347

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
claspmt 2.0-R4095-patched (fixed)UNSAT 1825.13 63.551

General information on the benchmark

Namevelev-pipe-o-uns-1.0-7.cnf
MD5SUMb7df25f653e1e7a9ffcd39b3231809e6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1825.13
Satisfiable
(Un)Satisfiability was proved
Number of variables24415
Number of clauses711050
Sum of the clauses size2091630
Maximum clause length161
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2605924
Number of clauses of size 386384
Number of clauses of size 4614
Number of clauses of size 5475
Number of clauses of size over 517652

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...508461/instance-3472347-1307508461.cnf
1.59/1.66	c Solving...
1825.07/63.53	s UNSATISFIABLE
1825.07/63.53	
1825.07/63.53	c Models        : 0     
1825.07/63.53	c Time          : 62.749s (Solving: 61.09s 1st Model: 0.00s Unsat: 61.09s)
1825.07/63.53	c CPU Time      : 1824.330s

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: 977)

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-3472347-1307508461/watcher-3472347-1307508461 -o /tmp/evaluation-result-3472347-1307508461/solver-3472347-1307508461 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472347-1307508461.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): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.77 4.86 4.38 1/413 20263
/proc/meminfo: memFree=263044440/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=29064 CPUtime=0.03 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 2976 0 0 0 2 1 0 0 21 0 1 0 16233063 29761536 2423 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20263/statm: 7266 2425 383 189 0 2140 0

[startup+0.10201 s]
/proc/loadavg: 7.77 4.86 4.38 1/413 20263
/proc/meminfo: memFree=263044440/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=38032 CPUtime=0.09 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 6055 0 0 0 8 1 0 0 21 0 1 0 16233063 38944768 4644 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20263/statm: 9508 4645 383 189 0 4382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38032

[startup+0.201019 s]
/proc/loadavg: 7.77 4.86 4.38 1/413 20263
/proc/meminfo: memFree=263044440/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=50708 CPUtime=0.19 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 10527 0 0 0 16 3 0 0 22 0 1 0 16233063 51924992 7596 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20263/statm: 12677 7599 383 189 0 7551 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 50708

[startup+0.301017 s]
/proc/loadavg: 7.77 4.86 4.38 1/413 20263
/proc/meminfo: memFree=263044440/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=67332 CPUtime=0.29 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 15802 0 0 0 26 3 0 0 22 0 1 0 16233063 68947968 11266 270582939648 4194304 4964800 140733692825216 18446744073709551615 4618467 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20263/statm: 16833 11266 396 189 0 11707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 67332

[startup+0.701029 s]
/proc/loadavg: 7.77 4.86 4.38 1/413 20263
/proc/meminfo: memFree=263044440/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=82544 CPUtime=0.69 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 19364 0 0 0 65 4 0 0 24 0 1 0 16233063 84525056 14828 270582939648 4194304 4964800 140733692825216 18446744073709551615 4607585 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20263/statm: 20636 14828 400 189 0 15510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 82544

[startup+1.50106 s]
/proc/loadavg: 7.23 4.80 4.36 2/414 20264
/proc/meminfo: memFree=262985392/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=83864 CPUtime=1.49 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 19713 0 0 0 145 4 0 0 25 0 1 0 16233063 85876736 15177 270582939648 4194304 4964800 140733692825216 18446744073709551615 4607744 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20263/statm: 20966 15177 401 189 0 15840 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83864

[startup+3.10106 s]
/proc/loadavg: 7.23 4.80 4.36 5/445 20295
/proc/meminfo: memFree=262843900/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=1996164 CPUtime=8.43 cores=0-31
/proc/20263/stat : 20263 (claspmt) S 20261 20263 20117 0 -1 4202496 61428 0 0 0 674 169 0 0 18 0 32 0 16233063 2044071936 50713 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 28 0 0 0
/proc/20263/statm: 499041 50713 440 189 0 493390 0
[pid=20263/tid=20265] ppid=20261 vsize=1996164 CPUtime=0.06 cores=0-31
/proc/20263/task/20265/stat : 20265 (claspmt) S 20261 20263 20117 0 -1 4202560 804 0 0 0 2 4 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604503931059680 0 0 -1 29 0 0 0
[pid=20263/tid=20266] ppid=20261 vsize=1996164 CPUtime=0.12 cores=0-31
/proc/20263/task/20266/stat : 20266 (claspmt) S 20261 20263 20117 0 -1 4202560 1529 0 0 0 6 6 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604504110743008 0 0 -1 30 0 0 0
[pid=20263/tid=20267] ppid=20261 vsize=1996164 CPUtime=0.07 cores=0-31
/proc/20263/task/20267/stat : 20267 (claspmt) S 20261 20263 20117 0 -1 4202560 988 0 0 0 5 2 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604499678862816 0 0 -1 4 0 0 0
[pid=20263/tid=20268] ppid=20261 vsize=1996164 CPUtime=0.06 cores=0-31
/proc/20263/task/20268/stat : 20268 (claspmt) S 20261 20263 20117 0 -1 4202560 1206 0 0 0 2 4 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604506050207200 0 0 -1 1 0 0 0
[pid=20263/tid=20269] ppid=20261 vsize=1996164 CPUtime=1.02 cores=0-31
/proc/20263/task/20269/stat : 20269 (claspmt) R 20261 20263 20117 0 -1 4202560 1662 0 0 0 96 6 0 0 18 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 4399600 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=20263/tid=20270] ppid=20261 vsize=1996164 CPUtime=0.11 cores=0-31
/proc/20263/task/20270/stat : 20270 (claspmt) S 20261 20263 20117 0 -1 4202560 1561 0 0 0 5 6 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604501138013664 0 0 -1 18 0 0 0
[pid=20263/tid=20271] ppid=20261 vsize=1996164 CPUtime=0.11 cores=0-31
/proc/20263/task/20271/stat : 20271 (claspmt) S 20261 20263 20117 0 -1 4202560 1564 0 0 0 6 5 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604499330080224 0 0 -1 9 0 0 0
[pid=20263/tid=20272] ppid=20261 vsize=1996164 CPUtime=0.06 cores=0-31
/proc/20263/task/20272/stat : 20272 (claspmt) S 20261 20263 20117 0 -1 4202560 1241 0 0 0 1 5 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604501029125600 0 0 -1 13 0 0 0
[pid=20263/tid=20273] ppid=20261 vsize=1996164 CPUtime=0.07 cores=0-31
/proc/20263/task/20273/stat : 20273 (claspmt) S 20261 20263 20117 0 -1 4202560 1299 0 0 0 1 6 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604501138005472 0 0 -1 6 0 0 0
[pid=20263/tid=20274] ppid=20261 vsize=1996164 CPUtime=0.1 cores=0-31
/proc/20263/task/20274/stat : 20274 (claspmt) S 20261 20263 20117 0 -1 4202560 1559 0 0 0 5 5 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604505940016608 0 0 -1 17 0 0 0
[pid=20263/tid=20275] ppid=20261 vsize=1996164 CPUtime=0.1 cores=0-31
/proc/20263/task/20275/stat : 20275 (claspmt) S 20261 20263 20117 0 -1 4202560 1495 0 0 0 5 5 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604499994844640 0 0 -1 25 0 0 0
[pid=20263/tid=20276] ppid=20261 vsize=1996164 CPUtime=0.04 cores=0-31
/proc/20263/task/20276/stat : 20276 (claspmt) S 20261 20263 20117 0 -1 4202560 624 0 0 0 1 3 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604564699872736 0 0 -1 31 0 0 0
[pid=20263/tid=20277] ppid=20261 vsize=1996164 CPUtime=1.06 cores=0-31
/proc/20263/task/20277/stat : 20277 (claspmt) R 20261 20263 20117 0 -1 4202560 978 0 0 0 103 3 0 0 18 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20263/tid=20278] ppid=20261 vsize=1996164 CPUtime=0.1 cores=0-31
/proc/20263/task/20278/stat : 20278 (claspmt) S 20261 20263 20117 0 -1 4202560 1114 0 0 0 6 4 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604499463740896 0 0 -1 7 0 0 0
[pid=20263/tid=20279] ppid=20261 vsize=1996164 CPUtime=0.1 cores=0-31
/proc/20263/task/20279/stat : 20279 (claspmt) S 20261 20263 20117 0 -1 4202560 961 0 0 0 7 3 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604499870465504 0 0 -1 21 0 0 0
[pid=20263/tid=20280] ppid=20261 vsize=1996164 CPUtime=0.06 cores=0-31
/proc/20263/task/20280/stat : 20280 (claspmt) S 20261 20263 20117 0 -1 4202560 1197 0 0 0 1 5 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604503621074400 0 0 -1 14 0 0 0
[pid=20263/tid=20281] ppid=20261 vsize=1996164 CPUtime=0.05 cores=0-31
/proc/20263/task/20281/stat : 20281 (claspmt) S 20261 20263 20117 0 -1 4202560 1258 0 0 0 1 4 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604505624665568 0 0 -1 0 0 0 0
[pid=20263/tid=20282] ppid=20261 vsize=1996164 CPUtime=0.11 cores=0-31
/proc/20263/task/20282/stat : 20282 (claspmt) S 20261 20263 20117 0 -1 4202560 1514 0 0 0 6 5 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604501508677088 0 0 -1 10 0 0 0
[pid=20263/tid=20283] ppid=20261 vsize=1996164 CPUtime=0.11 cores=0-31
/proc/20263/task/20283/stat : 20283 (claspmt) S 20261 20263 20117 0 -1 4202560 1509 0 0 0 5 6 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604505352109536 0 0 -1 5 0 0 0
[pid=20263/tid=20284] ppid=20261 vsize=1996164 CPUtime=0.06 cores=0-31
/proc/20263/task/20284/stat : 20284 (claspmt) S 20261 20263 20117 0 -1 4202560 1298 0 0 0 1 5 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604505624673760 0 0 -1 16 0 0 0
[pid=20263/tid=20285] ppid=20261 vsize=1996164 CPUtime=1.02 cores=0-31
/proc/20263/task/20285/stat : 20285 (claspmt) R 20261 20263 20117 0 -1 4202560 1550 0 0 0 97 5 0 0 19 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20263/tid=20286] ppid=20261 vsize=1996164 CPUtime=0.09 cores=0-31
/proc/20263/task/20286/stat : 20286 (claspmt) S 20261 20263 20117 0 -1 4202560 1417 0 0 0 5 4 0 0 17 0 32 0 16233230 2044071936 50714 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604498301771232 0 0 -1 31 0 0 0
[pid=20263/tid=20287] ppid=20261 vsize=1996164 CPUtime=0.13 cores=0-31
/proc/20263/task/20287/stat : 20287 (claspmt) S 20261 20263 20117 0 -1 4202560 1417 0 0 0 7 6 0 0 17 0 32 0 16233230 2044071936 50715 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604503872667104 0 0 -1 20 0 0 0
[pid=20263/tid=20288] ppid=20261 vsize=1996164 CPUtime=0.07 cores=0-31
/proc/20263/task/20288/stat : 20288 (claspmt) S 20261 20263 20117 0 -1 4202560 1252 0 0 0 2 5 0 0 17 0 32 0 16233231 2044071936 50715 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604505755172320 0 0 -1 12 0 0 0
[pid=20263/tid=20289] ppid=20261 vsize=1996164 CPUtime=0.05 cores=0-31
/proc/20263/task/20289/stat : 20289 (claspmt) S 20261 20263 20117 0 -1 4202560 1258 0 0 0 2 3 0 0 17 0 32 0 16233231 2044071936 50715 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604497333935584 0 0 -1 11 0 0 0
[pid=20263/tid=20290] ppid=20261 vsize=1996164 CPUtime=0.11 cores=0-31
/proc/20263/task/20290/stat : 20290 (claspmt) S 20261 20263 20117 0 -1 4202560 1512 0 0 0 6 5 0 0 17 0 32 0 16233231 2044071936 50715 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604503931051488 0 0 -1 26 0 0 0
[pid=20263/tid=20291] ppid=20261 vsize=1996164 CPUtime=0.1 cores=0-31
/proc/20263/task/20291/stat : 20291 (claspmt) S 20261 20263 20117 0 -1 4202560 1525 0 0 0 5 5 0 0 17 0 32 0 16233231 2044071936 50715 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604505940008416 0 0 -1 7 0 0 0
[pid=20263/tid=20292] ppid=20261 vsize=1996164 CPUtime=0.06 cores=0-31
/proc/20263/task/20292/stat : 20292 (claspmt) S 20261 20263 20117 0 -1 4202560 1252 0 0 0 1 5 0 0 17 0 32 0 16233231 2044071936 50715 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604499994852832 0 0 -1 28 0 0 0
[pid=20263/tid=20293] ppid=20261 vsize=1996164 CPUtime=1.02 cores=0-31
/proc/20263/task/20293/stat : 20293 (claspmt) R 20261 20263 20117 0 -1 4202560 1710 0 0 0 96 6 0 0 18 0 32 0 16233231 2044071936 50715 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=20263/tid=20294] ppid=20261 vsize=1996164 CPUtime=0.11 cores=0-31
/proc/20263/task/20294/stat : 20294 (claspmt) S 20261 20263 20117 0 -1 4202560 1374 0 0 0 6 5 0 0 17 0 32 0 16233231 2044071936 50715 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604497333943776 0 0 -1 8 0 0 0
[pid=20263/tid=20295] ppid=20261 vsize=1996164 CPUtime=0.12 cores=0-31
/proc/20263/task/20295/stat : 20295 (claspmt) S 20261 20263 20117 0 -1 4202560 1497 0 0 0 6 6 0 0 17 0 32 0 16233231 2044071936 50715 270582939648 4194304 4964800 140733692825216 18446744073709551615 258662772457 0 0 4096 18946 18446604503621066208 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 8.43
Current children cumulated vsize (KiB) 1996164

[startup+6.30209 s]
/proc/loadavg: 6.97 4.78 4.36 5/445 20295
/proc/meminfo: memFree=262840636/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=1996324 CPUtime=23.67 cores=0-31
/proc/20263/stat : 20263 (claspmt) D 20261 20263 20117 0 -1 4202496 67180 0 0 0 2165 202 0 0 17 0 32 0 16233063 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650999207 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/20263/statm: 499081 56453 455 189 0 493430 0
[pid=20263/tid=20265] ppid=20261 vsize=1996324 CPUtime=0.16 cores=0-31
/proc/20263/task/20265/stat : 20265 (claspmt) R 20261 20263 20117 0 -1 4202560 1024 0 0 0 11 5 0 0 16 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668576 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=20263/tid=20266] ppid=20261 vsize=1996324 CPUtime=0.21 cores=0-31
/proc/20263/task/20266/stat : 20266 (claspmt) R 20261 20263 20117 0 -1 4202560 1675 0 0 0 14 7 0 0 16 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20263/tid=20267] ppid=20261 vsize=1996324 CPUtime=0.17 cores=0-31
/proc/20263/task/20267/stat : 20267 (claspmt) R 20261 20263 20117 0 -1 4202560 1134 0 0 0 14 3 0 0 16 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=20263/tid=20268] ppid=20261 vsize=1996324 CPUtime=0.17 cores=0-31
/proc/20263/task/20268/stat : 20268 (claspmt) R 20261 20263 20117 0 -1 4202560 1394 0 0 0 12 5 0 0 16 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20263/tid=20269] ppid=20261 vsize=1996324 CPUtime=4.2 cores=0-31
/proc/20263/task/20269/stat : 20269 (claspmt) R 20261 20263 20117 0 -1 4202560 1820 0 0 0 413 7 0 0 25 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=20263/tid=20270] ppid=20261 vsize=1996324 CPUtime=0.16 cores=0-31
/proc/20263/task/20270/stat : 20270 (claspmt) R 20261 20263 20117 0 -1 4202560 1766 0 0 0 9 7 0 0 15 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 4675677 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=20263/tid=20271] ppid=20261 vsize=1996324 CPUtime=0.21 cores=0-31
/proc/20263/task/20271/stat : 20271 (claspmt) S 20261 20263 20117 0 -1 4202560 1734 0 0 0 15 6 0 0 16 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 258651060958 0 0 4096 18946 18446604503872667104 0 0 -1 9 0 0 0
[pid=20263/tid=20272] ppid=20261 vsize=1996324 CPUtime=0.16 cores=0-31
/proc/20263/task/20272/stat : 20272 (claspmt) R 20261 20263 20117 0 -1 4202560 1427 0 0 0 10 6 0 0 16 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=20263/tid=20273] ppid=20261 vsize=1996324 CPUtime=0.15 cores=0-31
/proc/20263/task/20273/stat : 20273 (claspmt) R 20261 20263 20117 0 -1 4202560 1477 0 0 0 9 6 0 0 16 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650653530 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=20263/tid=20274] ppid=20261 vsize=1996324 CPUtime=0.2 cores=0-31
/proc/20263/task/20274/stat : 20274 (claspmt) R 20261 20263 20117 0 -1 4202560 1715 0 0 0 14 6 0 0 16 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 4627272 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20263/tid=20275] ppid=20261 vsize=1996324 CPUtime=0.2 cores=0-31
/proc/20263/task/20275/stat : 20275 (claspmt) S 20261 20263 20117 0 -1 4202560 1653 0 0 0 14 6 0 0 16 0 32 0 16233230 2044235776 56453 270582939648 4194304 4964800 140733692825216 18446744073709551615 258651060958 0 0 4096 18946 18446604505940016608 0 0 -1 21 0 0 0
[pid=20263/tid=20276] ppid=20261 vsize=1996324 CPUtime=0.13 cores=0-31
/proc/20263/task/20276/stat : 20276 (claspmt) R 20261 20263 20117 0 -1 4202560 797 0 0 0 9 4 0 0 16 0 32 0 16233230 2044235776 56456 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668588 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=20263/tid=20277] ppid=20261 vsize=1996324 CPUtime=4.26 cores=0-31
/proc/20263/task/20277/stat : 20277 (claspmt) R 20261 20263 20117 0 -1 4202560 1111 0 0 0 423 3 0 0 25 0 32 0 16233230 2044235776 56456 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20263/tid=20278] ppid=20261 vsize=1996324 CPUtime=0.18 cores=0-31
/proc/20263/task/20278/stat : 20278 (claspmt) R 20261 20263 20117 0 -1 4202560 1352 0 0 0 13 5 0 0 16 0 32 0 16233230 2044235776 56456 270582939648 4194304 4964800 140733692825216 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=20263/tid=20279] ppid=20261 vsize=1996324 CPUtime=0.2 cores=0-31
/proc/20263/task/20279/stat : 20279 (claspmt) R 20261 20263 20117 0 -1 4202560 1129 0 0 0 15 5 0 0 16 0 32 0 16233230 2044235776 56457 270582939648 4194304 4964800 140733692825216 18446744073709551615 4673285 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=20263/tid=20280] ppid=20261 vsize=1996324 CPUtime=0.15 cores=0-31
/proc/20263/task/20280/stat : 20280 (claspmt) R 20261 20263 20117 0 -1 4202560 1393 0 0 0 9 6 0 0 16 0 32 0 16233230 2044235776 56457 270582939648 4194304 4964800 140733692825216 18446744073709551615 4342228 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=20263/tid=20281] ppid=20261 vsize=1996324 CPUtime=0.15 cores=0-31
/proc/20263/task/20281/stat : 20281 (claspmt) R 20261 20263 20117 0 -1 4202560 1468 0 0 0 10 5 0 0 16 0 32 0 16233230 2044235776 56457 270582939648 4194304 4964800 140733692825216 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20263/tid=20282] ppid=20261 vsize=1996324 CPUtime=0.2 cores=0-31
/proc/20263/task/20282/stat : 20282 (claspmt) R 20261 20263 20117 0 -1 4202560 1667 0 0 0 13 7 0 0 16 0 32 0 16233230 2044235776 56458 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=20263/tid=20283] ppid=20261 vsize=1996324 CPUtime=0.22 cores=0-31
/proc/20263/task/20283/stat : 20283 (claspmt) R 20261 20263 20117 0 -1 4202560 1704 0 0 0 14 8 0 0 16 0 32 0 16233230 2044235776 56458 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669119 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=20263/tid=20284] ppid=20261 vsize=1996324 CPUtime=0.15 cores=0-31
/proc/20263/task/20284/stat : 20284 (claspmt) R 20261 20263 20117 0 -1 4202560 1517 0 0 0 10 5 0 0 16 0 32 0 16233230 2044235776 56459 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=20263/tid=20285] ppid=20261 vsize=1996324 CPUtime=4.12 cores=0-31
/proc/20263/task/20285/stat : 20285 (claspmt) R 20261 20263 20117 0 -1 4202560 1648 0 0 0 407 5 0 0 25 0 32 0 16233230 2044235776 56459 270582939648 4194304 4964800 140733692825216 18446744073709551615 4342204 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=20263/tid=20286] ppid=20261 vsize=1996324 CPUtime=0.17 cores=0-31
/proc/20263/task/20286/stat : 20286 (claspmt) R 20261 20263 20117 0 -1 4202560 1677 0 0 0 12 5 0 0 16 0 32 0 16233230 2044235776 56461 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=20263/tid=20287] ppid=20261 vsize=1996324 CPUtime=0.22 cores=0-31
/proc/20263/task/20287/stat : 20287 (claspmt) R 20261 20263 20117 0 -1 4202560 1588 0 0 0 15 7 0 0 15 0 32 0 16233230 2044235776 56461 270582939648 4194304 4964800 140733692825216 18446744073709551615 4342157 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=20263/tid=20288] ppid=20261 vsize=1996324 CPUtime=0.16 cores=0-31
/proc/20263/task/20288/stat : 20288 (claspmt) R 20261 20263 20117 0 -1 4202560 1453 0 0 0 10 6 0 0 16 0 32 0 16233231 2044235776 56462 270582939648 4194304 4964800 140733692825216 18446744073709551615 4362195 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=20263/tid=20289] ppid=20261 vsize=1996324 CPUtime=0.15 cores=0-31
/proc/20263/task/20289/stat : 20289 (claspmt) R 20261 20263 20117 0 -1 4202560 1449 0 0 0 10 5 0 0 16 0 32 0 16233231 2044235776 56462 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0

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

Current children cumulated vsize (KiB) 2007004

[startup+60.802 s]
/proc/loadavg: 22.00 9.36 5.95 33/445 20297
/proc/meminfo: memFree=262141900/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=2007004 CPUtime=1764.09 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 237961 0 0 0 175673 736 0 0 25 0 32 0 16233063 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4334304 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/20263/statm: 501751 227020 463 189 0 496100 0
[pid=20263/tid=20265] ppid=20261 vsize=2007004 CPUtime=54.62 cores=0-31
/proc/20263/task/20265/stat : 20265 (claspmt) R 20261 20263 20117 0 -1 4202560 2666 0 0 0 5452 10 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=20263/tid=20266] ppid=20261 vsize=2007004 CPUtime=54.63 cores=0-31
/proc/20263/task/20266/stat : 20266 (claspmt) R 20261 20263 20117 0 -1 4202560 12837 0 0 0 5424 39 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668759 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20263/tid=20267] ppid=20261 vsize=2007004 CPUtime=54.62 cores=0-31
/proc/20263/task/20267/stat : 20267 (claspmt) R 20261 20263 20117 0 -1 4202560 4953 0 0 0 5448 14 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=20263/tid=20268] ppid=20261 vsize=2007004 CPUtime=54.62 cores=0-31
/proc/20263/task/20268/stat : 20268 (claspmt) R 20261 20263 20117 0 -1 4202560 5548 0 0 0 5444 18 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20263/tid=20269] ppid=20261 vsize=2007004 CPUtime=58.68 cores=0-31
/proc/20263/task/20269/stat : 20269 (claspmt) R 20261 20263 20117 0 -1 4202560 1887 0 0 0 5861 7 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668709 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=20263/tid=20270] ppid=20261 vsize=2007004 CPUtime=54.6 cores=0-31
/proc/20263/task/20270/stat : 20270 (claspmt) R 20261 20263 20117 0 -1 4202560 5343 0 0 0 5441 19 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=20263/tid=20271] ppid=20261 vsize=2007004 CPUtime=54.58 cores=0-31
/proc/20263/task/20271/stat : 20271 (claspmt) R 20261 20263 20117 0 -1 4202560 18977 0 0 0 5389 69 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=20263/tid=20272] ppid=20261 vsize=2007004 CPUtime=54.62 cores=0-31
/proc/20263/task/20272/stat : 20272 (claspmt) R 20261 20263 20117 0 -1 4202560 3681 0 0 0 5448 14 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669376 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=20263/tid=20273] ppid=20261 vsize=2007004 CPUtime=54.31 cores=0-31
/proc/20263/task/20273/stat : 20273 (claspmt) R 20261 20263 20117 0 -1 4202560 3469 0 0 0 5418 13 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=20263/tid=20274] ppid=20261 vsize=2007004 CPUtime=54.59 cores=0-31
/proc/20263/task/20274/stat : 20274 (claspmt) R 20261 20263 20117 0 -1 4202560 12083 0 0 0 5422 37 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20263/tid=20275] ppid=20261 vsize=2007004 CPUtime=54.66 cores=0-31
/proc/20263/task/20275/stat : 20275 (claspmt) R 20261 20263 20117 0 -1 4202560 5791 0 0 0 5447 19 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=20263/tid=20276] ppid=20261 vsize=2007004 CPUtime=54.58 cores=0-31
/proc/20263/task/20276/stat : 20276 (claspmt) R 20261 20263 20117 0 -1 4202560 4131 0 0 0 5444 14 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=20263/tid=20277] ppid=20261 vsize=2007004 CPUtime=58.75 cores=0-31
/proc/20263/task/20277/stat : 20277 (claspmt) R 20261 20263 20117 0 -1 4202560 1162 0 0 0 5872 3 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669008 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20263/tid=20278] ppid=20261 vsize=2007004 CPUtime=54.63 cores=0-31
/proc/20263/task/20278/stat : 20278 (claspmt) R 20261 20263 20117 0 -1 4202560 5224 0 0 0 5445 18 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4313794 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=20263/tid=20279] ppid=20261 vsize=2007004 CPUtime=53.91 cores=0-31
/proc/20263/task/20279/stat : 20279 (claspmt) R 20261 20263 20117 0 -1 4202560 13961 0 0 0 5345 46 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=20263/tid=20280] ppid=20261 vsize=2007004 CPUtime=54.61 cores=0-31
/proc/20263/task/20280/stat : 20280 (claspmt) R 20261 20263 20117 0 -1 4202560 4020 0 0 0 5446 15 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=20263/tid=20281] ppid=20261 vsize=2007004 CPUtime=54.6 cores=0-31
/proc/20263/task/20281/stat : 20281 (claspmt) R 20261 20263 20117 0 -1 4202560 3425 0 0 0 5450 10 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20263/tid=20282] ppid=20261 vsize=2007004 CPUtime=54.58 cores=0-31
/proc/20263/task/20282/stat : 20282 (claspmt) R 20261 20263 20117 0 -1 4202560 14696 0 0 0 5415 43 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=20263/tid=20283] ppid=20261 vsize=2007004 CPUtime=54.67 cores=0-31
/proc/20263/task/20283/stat : 20283 (claspmt) R 20261 20263 20117 0 -1 4202560 5331 0 0 0 5448 19 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=20263/tid=20284] ppid=20261 vsize=2007004 CPUtime=54.6 cores=0-31
/proc/20263/task/20284/stat : 20284 (claspmt) R 20261 20263 20117 0 -1 4202560 5957 0 0 0 5441 19 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4336546 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=20263/tid=20285] ppid=20261 vsize=2007004 CPUtime=58.56 cores=0-31
/proc/20263/task/20285/stat : 20285 (claspmt) R 20261 20263 20117 0 -1 4202560 1732 0 0 0 5851 5 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4399339 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=20263/tid=20286] ppid=20261 vsize=2007004 CPUtime=54.6 cores=0-31
/proc/20263/task/20286/stat : 20286 (claspmt) R 20261 20263 20117 0 -1 4202560 6306 0 0 0 5442 18 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669417 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=20263/tid=20287] ppid=20261 vsize=2007004 CPUtime=54.58 cores=0-31
/proc/20263/task/20287/stat : 20287 (claspmt) R 20261 20263 20117 0 -1 4202560 19929 0 0 0 5390 68 0 0 25 0 32 0 16233230 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669493 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=20263/tid=20288] ppid=20261 vsize=2007004 CPUtime=54.63 cores=0-31
/proc/20263/task/20288/stat : 20288 (claspmt) R 20261 20263 20117 0 -1 4202560 3301 0 0 0 5452 11 0 0 25 0 32 0 16233231 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=20263/tid=20289] ppid=20261 vsize=2007004 CPUtime=54.6 cores=0-31
/proc/20263/task/20289/stat : 20289 (claspmt) R 20261 20263 20117 0 -1 4202560 2796 0 0 0 5451 9 0 0 25 0 32 0 16233231 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20263/tid=20290] ppid=20261 vsize=2007004 CPUtime=54.59 cores=0-31
/proc/20263/task/20290/stat : 20290 (claspmt) R 20261 20263 20117 0 -1 4202560 13378 0 0 0 5419 40 0 0 25 0 32 0 16233231 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=20263/tid=20291] ppid=20261 vsize=2007004 CPUtime=54.07 cores=0-31
/proc/20263/task/20291/stat : 20291 (claspmt) R 20261 20263 20117 0 -1 4202560 4938 0 0 0 5392 15 0 0 25 0 32 0 16233231 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=20263/tid=20292] ppid=20261 vsize=2007004 CPUtime=54.6 cores=0-31
/proc/20263/task/20292/stat : 20292 (claspmt) R 20261 20263 20117 0 -1 4202560 4615 0 0 0 5445 15 0 0 25 0 32 0 16233231 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=20263/tid=20293] ppid=20261 vsize=2007004 CPUtime=58.67 cores=0-31
/proc/20263/task/20293/stat : 20293 (claspmt) R 20261 20263 20117 0 -1 4202560 1896 0 0 0 5861 6 0 0 25 0 32 0 16233231 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=20263/tid=20294] ppid=20261 vsize=2007004 CPUtime=54.65 cores=0-31
/proc/20263/task/20294/stat : 20294 (claspmt) R 20261 20263 20117 0 -1 4202560 5304 0 0 0 5448 17 0 0 25 0 32 0 16233231 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=20263/tid=20295] ppid=20261 vsize=2007004 CPUtime=54.58 cores=0-31
/proc/20263/task/20295/stat : 20295 (claspmt) R 20261 20263 20117 0 -1 4202560 15891 0 0 0 5404 54 0 0 25 0 32 0 16233231 2055172096 227020 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 1764.09
Current children cumulated vsize (KiB) 2007004

[startup+62.4021 s]
/proc/loadavg: 22.00 9.36 5.95 33/445 20297
/proc/meminfo: memFree=262140552/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=2007004 CPUtime=1815.24 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 238160 0 0 0 180787 737 0 0 25 0 32 0 16233063 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 8 0 0 0
/proc/20263/statm: 501751 227219 463 189 0 496100 0
[pid=20263/tid=20265] ppid=20261 vsize=2007004 CPUtime=56.22 cores=0-31
/proc/20263/task/20265/stat : 20265 (claspmt) R 20261 20263 20117 0 -1 4202560 2666 0 0 0 5612 10 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670437 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=20263/tid=20266] ppid=20261 vsize=2007004 CPUtime=56.23 cores=0-31
/proc/20263/task/20266/stat : 20266 (claspmt) R 20261 20263 20117 0 -1 4202560 12837 0 0 0 5584 39 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=20263/tid=20267] ppid=20261 vsize=2007004 CPUtime=56.22 cores=0-31
/proc/20263/task/20267/stat : 20267 (claspmt) R 20261 20263 20117 0 -1 4202560 4953 0 0 0 5608 14 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=20263/tid=20268] ppid=20261 vsize=2007004 CPUtime=56.22 cores=0-31
/proc/20263/task/20268/stat : 20268 (claspmt) R 20261 20263 20117 0 -1 4202560 5551 0 0 0 5604 18 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=20263/tid=20269] ppid=20261 vsize=2007004 CPUtime=60.28 cores=0-31
/proc/20263/task/20269/stat : 20269 (claspmt) R 20261 20263 20117 0 -1 4202560 1887 0 0 0 6021 7 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4627281 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=20263/tid=20270] ppid=20261 vsize=2007004 CPUtime=56.2 cores=0-31
/proc/20263/task/20270/stat : 20270 (claspmt) R 20261 20263 20117 0 -1 4202560 5343 0 0 0 5601 19 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=20263/tid=20271] ppid=20261 vsize=2007004 CPUtime=56.18 cores=0-31
/proc/20263/task/20271/stat : 20271 (claspmt) R 20261 20263 20117 0 -1 4202560 18977 0 0 0 5549 69 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=20263/tid=20272] ppid=20261 vsize=2007004 CPUtime=56.22 cores=0-31
/proc/20263/task/20272/stat : 20272 (claspmt) R 20261 20263 20117 0 -1 4202560 3681 0 0 0 5608 14 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=20263/tid=20273] ppid=20261 vsize=2007004 CPUtime=55.91 cores=0-31
/proc/20263/task/20273/stat : 20273 (claspmt) R 20261 20263 20117 0 -1 4202560 3469 0 0 0 5578 13 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=20263/tid=20274] ppid=20261 vsize=2007004 CPUtime=56.18 cores=0-31
/proc/20263/task/20274/stat : 20274 (claspmt) R 20261 20263 20117 0 -1 4202560 12083 0 0 0 5581 37 0 0 19 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=20263/tid=20275] ppid=20261 vsize=2007004 CPUtime=56.26 cores=0-31
/proc/20263/task/20275/stat : 20275 (claspmt) R 20261 20263 20117 0 -1 4202560 5791 0 0 0 5607 19 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669434 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=20263/tid=20276] ppid=20261 vsize=2007004 CPUtime=56.18 cores=0-31
/proc/20263/task/20276/stat : 20276 (claspmt) R 20261 20263 20117 0 -1 4202560 4133 0 0 0 5604 14 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=20263/tid=20277] ppid=20261 vsize=2007004 CPUtime=60.35 cores=0-31
/proc/20263/task/20277/stat : 20277 (claspmt) R 20261 20263 20117 0 -1 4202560 1162 0 0 0 6032 3 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=20263/tid=20278] ppid=20261 vsize=2007004 CPUtime=56.23 cores=0-31
/proc/20263/task/20278/stat : 20278 (claspmt) R 20261 20263 20117 0 -1 4202560 5224 0 0 0 5605 18 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=20263/tid=20279] ppid=20261 vsize=2007004 CPUtime=55.47 cores=0-31
/proc/20263/task/20279/stat : 20279 (claspmt) R 20261 20263 20117 0 -1 4202560 13961 0 0 0 5501 46 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4342208 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=20263/tid=20280] ppid=20261 vsize=2007004 CPUtime=56.21 cores=0-31
/proc/20263/task/20280/stat : 20280 (claspmt) R 20261 20263 20117 0 -1 4202560 4020 0 0 0 5606 15 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669343 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=20263/tid=20281] ppid=20261 vsize=2007004 CPUtime=56.19 cores=0-31
/proc/20263/task/20281/stat : 20281 (claspmt) R 20261 20263 20117 0 -1 4202560 3425 0 0 0 5609 10 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669192 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=20263/tid=20282] ppid=20261 vsize=2007004 CPUtime=56.18 cores=0-31
/proc/20263/task/20282/stat : 20282 (claspmt) R 20261 20263 20117 0 -1 4202560 14696 0 0 0 5575 43 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668672 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=20263/tid=20283] ppid=20261 vsize=2007004 CPUtime=56.27 cores=0-31
/proc/20263/task/20283/stat : 20283 (claspmt) R 20261 20263 20117 0 -1 4202560 5331 0 0 0 5608 19 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=20263/tid=20284] ppid=20261 vsize=2007004 CPUtime=56.2 cores=0-31
/proc/20263/task/20284/stat : 20284 (claspmt) R 20261 20263 20117 0 -1 4202560 5957 0 0 0 5601 19 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=20263/tid=20285] ppid=20261 vsize=2007004 CPUtime=60.16 cores=0-31
/proc/20263/task/20285/stat : 20285 (claspmt) R 20261 20263 20117 0 -1 4202560 1732 0 0 0 6011 5 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=20263/tid=20286] ppid=20261 vsize=2007004 CPUtime=56.2 cores=0-31
/proc/20263/task/20286/stat : 20286 (claspmt) R 20261 20263 20117 0 -1 4202560 6306 0 0 0 5602 18 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4362885 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=20263/tid=20287] ppid=20261 vsize=2007004 CPUtime=56.18 cores=0-31
/proc/20263/task/20287/stat : 20287 (claspmt) R 20261 20263 20117 0 -1 4202560 19929 0 0 0 5550 68 0 0 25 0 32 0 16233230 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=20263/tid=20288] ppid=20261 vsize=2007004 CPUtime=56.23 cores=0-31
/proc/20263/task/20288/stat : 20288 (claspmt) R 20261 20263 20117 0 -1 4202560 3301 0 0 0 5612 11 0 0 25 0 32 0 16233231 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=20263/tid=20289] ppid=20261 vsize=2007004 CPUtime=56.2 cores=0-31
/proc/20263/task/20289/stat : 20289 (claspmt) R 20261 20263 20117 0 -1 4202560 2796 0 0 0 5611 9 0 0 25 0 32 0 16233231 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4652155 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=20263/tid=20290] ppid=20261 vsize=2007004 CPUtime=56.19 cores=0-31
/proc/20263/task/20290/stat : 20290 (claspmt) R 20261 20263 20117 0 -1 4202560 13383 0 0 0 5579 40 0 0 25 0 32 0 16233231 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=20263/tid=20291] ppid=20261 vsize=2007004 CPUtime=55.67 cores=0-31
/proc/20263/task/20291/stat : 20291 (claspmt) R 20261 20263 20117 0 -1 4202560 4938 0 0 0 5552 15 0 0 25 0 32 0 16233231 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=20263/tid=20292] ppid=20261 vsize=2007004 CPUtime=56.2 cores=0-31
/proc/20263/task/20292/stat : 20292 (claspmt) R 20261 20263 20117 0 -1 4202560 4615 0 0 0 5604 16 0 0 25 0 32 0 16233231 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670313 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=20263/tid=20293] ppid=20261 vsize=2007004 CPUtime=60.27 cores=0-31
/proc/20263/task/20293/stat : 20293 (claspmt) R 20261 20263 20117 0 -1 4202560 1897 0 0 0 6021 6 0 0 25 0 32 0 16233231 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=20263/tid=20294] ppid=20261 vsize=2007004 CPUtime=56.25 cores=0-31
/proc/20263/task/20294/stat : 20294 (claspmt) R 20261 20263 20117 0 -1 4202560 5489 0 0 0 5608 17 0 0 25 0 32 0 16233231 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=20263/tid=20295] ppid=20261 vsize=2007004 CPUtime=56.18 cores=0-31
/proc/20263/task/20295/stat : 20295 (claspmt) R 20261 20263 20117 0 -1 4202560 15894 0 0 0 5564 54 0 0 25 0 32 0 16233231 2055172096 227219 270582939648 4194304 4964800 140733692825216 18446744073709551615 4670335 0 0 4096 18946 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 1815.24
Current children cumulated vsize (KiB) 2007004

[startup+63.2012 s]
/proc/loadavg: 22.00 9.36 5.95 9/423 20297
/proc/meminfo: memFree=262140604/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=1913748 CPUtime=1824.78 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 238173 0 0 0 181717 761 0 0 17 0 1 0 16233063 1959677952 225892 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20263/statm: 478437 225892 474 189 0 472786 0
Current children cumulated CPU time (s) 1824.78
Current children cumulated vsize (KiB) 1913748

[startup+63.4012 s]
/proc/loadavg: 22.00 9.36 5.95 9/423 20297
/proc/meminfo: memFree=262140604/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=1913748 CPUtime=1824.98 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 238173 0 0 0 181737 761 0 0 17 0 1 0 16233063 1959677952 225640 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650612315 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20263/statm: 478437 225634 474 189 0 472786 0
Current children cumulated CPU time (s) 1824.98
Current children cumulated vsize (KiB) 1913748

[startup+63.5012 s]
/proc/loadavg: 22.00 9.36 5.95 9/423 20297
/proc/meminfo: memFree=262140604/264257624 swapFree=67111528/67111528
[pid=20263] ppid=20261 vsize=1913748 CPUtime=1825.07 cores=0-31
/proc/20263/stat : 20263 (claspmt) R 20261 20263 20117 0 -1 4202496 238173 0 0 0 181745 762 0 0 17 0 1 0 16233063 1959677952 181048 270582939648 4194304 4964800 140733692825216 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/20263/statm: 478437 181048 474 189 0 472786 0
Current children cumulated CPU time (s) 1825.07
Current children cumulated vsize (KiB) 1913748

Child status: 20
Real time (s): 63.551
CPU time (s): 1825.13
CPU user time (s): 1817.46
CPU system time (s): 7.67583
CPU usage (%): 2871.92
Max. virtual memory (cumulated for all children) (KiB): 2007004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1817.46
system time used= 7.67583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238174
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= 135260
involuntary context switches= 5374

runsolver used 0.363944 second user time and 1.43878 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-08 06:47:42
IDJOB=3472347
IDBENCH=71743
IDSOLVER=1961
FILE ID=node200/3472347-1307508461
RUNJOBID= node200-1307508300-20131
PBS_JOBID= 13509205
Free space on /tmp= 61732 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT_RACE06/velev-pipe-o-uns-1.0-7.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472347-1307508461/watcher-3472347-1307508461 -o /tmp/evaluation-result-3472347-1307508461/solver-3472347-1307508461 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472347-1307508461.cnf

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

MD5SUM BENCH= b7df25f653e1e7a9ffcd39b3231809e6
RANDOM SEED=858035865

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.045
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.045
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.02
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.045
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.045
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.045
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.09
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.045
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.06
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.045
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.07
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.045
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.06
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.045
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	: 3989.99
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.045
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.06
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.045
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.045
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.06
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.045
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.04
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.045
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.03
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.045
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	: 3990.07
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.045
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.08
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.045
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.05
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.045
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.045
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.08
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.045
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	: 3989.97
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.045
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.04
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.045
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.10
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.045
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.10
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.045
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.04
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.045
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.04
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.045
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.07
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.045
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.045
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.08
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.045
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.04
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.045
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.08
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.045
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.18
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.045
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:      263044588 kB
Buffers:        162228 kB
Cached:         790588 kB
SwapCached:          0 kB
Active:         200776 kB
Inactive:       815268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263044588 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13516 kB
Writeback:           0 kB
AnonPages:       63452 kB
Mapped:          14532 kB
Slab:           120648 kB
PageTables:       4396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   164892 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= 61732 MiB
End job on node200 at 2011-06-08 06:48:45