Trace number 3472506

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)? (TO) 160005 5007.87

General information on the benchmark

NameSAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
MD5SUMc7f51e1ee7556440ab29e1c4bfe29538
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4264
Number of clauses14751
Sum of the clauses size40035
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 24214
Number of clauses of size 310535
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...801102/instance-3472506-1307801102.cnf
0.03/0.06	c Solving...
160003.70/5007.24	
160003.70/5007.24	*** INTERRUPTED! ***
160003.70/5007.24	*** Shutting down threads...
160004.47/5007.87	s UNKNOWN
160004.47/5007.87	
160004.47/5007.87	c INTERRUPTED   : 1
160004.47/5007.87	c Models        : 0+    
160004.47/5007.87	c Time          : 5007.241s (Solving: 5007.18s 1st Model: 0.00s Unsat: 0.00s)
160004.47/5007.87	c CPU Time      : 160003.920s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: UNKNOWN

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3472506-1307801102/watcher-3472506-1307801102 -o /tmp/evaluation-result-3472506-1307801102/solver-3472506-1307801102 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472506-1307801102.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: 29.57 31.52 31.86 1/413 10327
/proc/meminfo: memFree=262081152/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=23352 CPUtime=0.02 cores=0-31
/proc/10327/stat : 10327 (claspmt) R 10325 10327 10297 0 -1 4202496 1183 0 0 0 2 0 0 0 23 0 1 0 45497067 23912448 1039 270582939648 4194304 4964800 140735218841168 18446744073709551615 258650653031 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/10327/statm: 5838 1039 396 189 0 712 0

[startup+0.0456589 s]
/proc/loadavg: 29.57 31.52 31.86 1/413 10327
/proc/meminfo: memFree=262081152/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=23352 CPUtime=0.03 cores=0-31
/proc/10327/stat : 10327 (claspmt) R 10325 10327 10297 0 -1 4202496 1195 0 0 0 3 0 0 0 23 0 1 0 45497067 23912448 1051 270582939648 4194304 4964800 140735218841168 18446744073709551615 4607543 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/10327/statm: 5838 1051 400 189 0 712 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 23352

[startup+0.100546 s]
/proc/loadavg: 29.57 31.52 31.86 1/413 10327
/proc/meminfo: memFree=262081152/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=751124 CPUtime=0.2 cores=0-31
/proc/10327/stat : 10327 (claspmt) S 10325 10327 10297 0 -1 4202496 4915 0 0 0 9 11 0 0 18 0 32 0 45497067 769150976 3752 270582939648 4194304 4964800 140735218841168 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/10327/statm: 187781 3752 443 189 0 182130 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 751124

[startup+0.310555 s]
/proc/loadavg: 29.57 31.52 31.86 1/413 10327
/proc/meminfo: memFree=262081152/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=1014108 CPUtime=5.43 cores=0-31
/proc/10327/stat : 10327 (claspmt) R 10325 10327 10297 0 -1 4202496 8145 0 0 0 522 21 0 0 18 0 32 0 45497067 1038446592 6905 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669338 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/10327/statm: 253527 6905 461 189 0 247876 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 1014108

[startup+0.700571 s]
/proc/loadavg: 29.57 31.52 31.86 1/413 10327
/proc/meminfo: memFree=262081152/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=1016092 CPUtime=17.63 cores=0-31
/proc/10327/stat : 10327 (claspmt) R 10325 10327 10297 0 -1 4202496 13847 0 0 0 1720 43 0 0 18 0 32 0 45497067 1040478208 12607 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670538 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/10327/statm: 254023 12607 461 189 0 248372 0
Current children cumulated CPU time (s) 17.63
Current children cumulated vsize (KiB) 1016092

[startup+1.5016 s]
/proc/loadavg: 29.76 31.52 31.86 33/445 10359
/proc/meminfo: memFree=262030932/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=1016988 CPUtime=43.07 cores=0-31
/proc/10327/stat : 10327 (claspmt) R 10325 10327 10297 0 -1 4202496 17850 0 0 0 4248 59 0 0 19 0 32 0 45497067 1041395712 16610 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668681 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/10327/statm: 254247 16610 461 189 0 248596 0
[pid=10327/tid=10329] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10329/stat : 10329 (claspmt) R 10325 10327 10297 0 -1 4202560 453 0 0 0 133 1 0 0 19 0 32 0 45497074 1041395712 16610 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10327/tid=10330] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10330/stat : 10330 (claspmt) R 10325 10327 10297 0 -1 4202560 688 0 0 0 132 2 0 0 18 0 32 0 45497074 1041395712 16610 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10327/tid=10331] ppid=10325 vsize=1016988 CPUtime=1.35 cores=0-31
/proc/10327/task/10331/stat : 10331 (claspmt) R 10325 10327 10297 0 -1 4202560 519 0 0 0 133 2 0 0 19 0 32 0 45497074 1041395712 16610 270582939648 4194304 4964800 140735218841168 18446744073709551615 4653482 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10327/tid=10332] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10332/stat : 10332 (claspmt) R 10325 10327 10297 0 -1 4202560 517 0 0 0 133 1 0 0 19 0 32 0 45497074 1041395712 16610 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10327/tid=10333] ppid=10325 vsize=1016988 CPUtime=1.35 cores=0-31
/proc/10327/task/10333/stat : 10333 (claspmt) R 10325 10327 10297 0 -1 4202560 318 0 0 0 135 0 0 0 19 0 32 0 45497074 1041395712 16610 270582939648 4194304 4964800 140735218841168 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10327/tid=10334] ppid=10325 vsize=1016988 CPUtime=1.35 cores=0-31
/proc/10327/task/10334/stat : 10334 (claspmt) R 10325 10327 10297 0 -1 4202560 505 0 0 0 133 2 0 0 19 0 32 0 45497075 1041395712 16610 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670020 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10327/tid=10335] ppid=10325 vsize=1016988 CPUtime=1.33 cores=0-31
/proc/10327/task/10335/stat : 10335 (claspmt) R 10325 10327 10297 0 -1 4202560 807 0 0 0 131 2 0 0 18 0 32 0 45497075 1041395712 16610 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10327/tid=10336] ppid=10325 vsize=1016988 CPUtime=1.32 cores=0-31
/proc/10327/task/10336/stat : 10336 (claspmt) R 10325 10327 10297 0 -1 4202560 451 0 0 0 130 2 0 0 19 0 32 0 45497075 1041395712 16610 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10327/tid=10337] ppid=10325 vsize=1016988 CPUtime=1.33 cores=0-31
/proc/10327/task/10337/stat : 10337 (claspmt) R 10325 10327 10297 0 -1 4202560 429 0 0 0 132 1 0 0 19 0 32 0 45497075 1041395712 16610 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10327/tid=10338] ppid=10325 vsize=1016988 CPUtime=1.32 cores=0-31
/proc/10327/task/10338/stat : 10338 (claspmt) R 10325 10327 10297 0 -1 4202560 661 0 0 0 131 1 0 0 19 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670434 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10327/tid=10339] ppid=10325 vsize=1016988 CPUtime=1.33 cores=0-31
/proc/10327/task/10339/stat : 10339 (claspmt) R 10325 10327 10297 0 -1 4202560 541 0 0 0 132 1 0 0 18 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10327/tid=10340] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10340/stat : 10340 (claspmt) R 10325 10327 10297 0 -1 4202560 505 0 0 0 133 1 0 0 18 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10327/tid=10341] ppid=10325 vsize=1016988 CPUtime=1.35 cores=0-31
/proc/10327/task/10341/stat : 10341 (claspmt) R 10325 10327 10297 0 -1 4202560 418 0 0 0 134 1 0 0 18 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4333375 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10327/tid=10342] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10342/stat : 10342 (claspmt) R 10325 10327 10297 0 -1 4202560 494 0 0 0 134 0 0 0 19 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4314364 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10327/tid=10343] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10343/stat : 10343 (claspmt) R 10325 10327 10297 0 -1 4202560 836 0 0 0 131 3 0 0 18 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10327/tid=10344] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10344/stat : 10344 (claspmt) R 10325 10327 10297 0 -1 4202560 464 0 0 0 133 1 0 0 18 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669276 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10327/tid=10345] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10345/stat : 10345 (claspmt) R 10325 10327 10297 0 -1 4202560 405 0 0 0 134 0 0 0 19 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10327/tid=10346] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10346/stat : 10346 (claspmt) R 10325 10327 10297 0 -1 4202560 651 0 0 0 132 2 0 0 19 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10327/tid=10347] ppid=10325 vsize=1016988 CPUtime=1.31 cores=0-31
/proc/10327/task/10347/stat : 10347 (claspmt) R 10325 10327 10297 0 -1 4202560 508 0 0 0 130 1 0 0 18 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4342199 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10327/tid=10348] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10348/stat : 10348 (claspmt) R 10325 10327 10297 0 -1 4202560 482 0 0 0 132 2 0 0 19 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4683667 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10327/tid=10349] ppid=10325 vsize=1016988 CPUtime=1.38 cores=0-31
/proc/10327/task/10349/stat : 10349 (claspmt) R 10325 10327 10297 0 -1 4202560 393 0 0 0 137 1 0 0 19 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10327/tid=10350] ppid=10325 vsize=1016988 CPUtime=1.29 cores=0-31
/proc/10327/task/10350/stat : 10350 (claspmt) R 10325 10327 10297 0 -1 4202560 461 0 0 0 128 1 0 0 18 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10327/tid=10351] ppid=10325 vsize=1016988 CPUtime=1.33 cores=0-31
/proc/10327/task/10351/stat : 10351 (claspmt) R 10325 10327 10297 0 -1 4202560 720 0 0 0 132 1 0 0 19 0 32 0 45497075 1041395712 16611 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669940 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10327/tid=10352] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10352/stat : 10352 (claspmt) R 10325 10327 10297 0 -1 4202560 394 0 0 0 132 2 0 0 19 0 32 0 45497075 1041395712 16612 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10327/tid=10353] ppid=10325 vsize=1016988 CPUtime=1.33 cores=0-31
/proc/10327/task/10353/stat : 10353 (claspmt) R 10325 10327 10297 0 -1 4202560 389 0 0 0 132 1 0 0 22 0 32 0 45497075 1041395712 16612 270582939648 4194304 4964800 140735218841168 18446744073709551615 4342206 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10327/tid=10354] ppid=10325 vsize=1016988 CPUtime=1.3 cores=0-31
/proc/10327/task/10354/stat : 10354 (claspmt) R 10325 10327 10297 0 -1 4202560 669 0 0 0 129 1 0 0 18 0 32 0 45497075 1041395712 16612 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10327/tid=10355] ppid=10325 vsize=1016988 CPUtime=1.28 cores=0-31
/proc/10327/task/10355/stat : 10355 (claspmt) R 10325 10327 10297 0 -1 4202560 460 0 0 0 127 1 0 0 19 0 32 0 45497075 1041395712 16612 270582939648 4194304 4964800 140735218841168 18446744073709551615 4660303 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10327/tid=10356] ppid=10325 vsize=1016988 CPUtime=1.34 cores=0-31
/proc/10327/task/10356/stat : 10356 (claspmt) R 10325 10327 10297 0 -1 4202560 509 0 0 0 132 2 0 0 19 0 32 0 45497076 1041395712 16612 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10327/tid=10357] ppid=10325 vsize=1016988 CPUtime=1.33 cores=0-31
/proc/10327/task/10357/stat : 10357 (claspmt) R 10325 10327 10297 0 -1 4202560 341 0 0 0 132 1 0 0 18 0 32 0 45497076 1041395712 16612 270582939648 4194304 4964800 140735218841168 18446744073709551615 4658551 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10327/tid=10358] ppid=10325 vsize=1016988 CPUtime=1.32 cores=0-31
/proc/10327/task/10358/stat : 10358 (claspmt) R 10325 10327 10297 0 -1 4202560 471 0 0 0 131 1 0 0 19 0 32 0 45497076 1041395712 16612 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10327/tid=10359] ppid=10325 vsize=1016988 CPUtime=1.3 cores=0-31
/proc/10327/task/10359/stat : 10359 (claspmt) R 10325 10327 10297 0 -1 4202560 779 0 0 0 129 1 0 0 19 0 32 0 45497076 1041395712 16613 270582939648 4194304 4964800 140735218841168 18446744073709551615 4690465 0 0 4096 18946 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 43.07
Current children cumulated vsize (KiB) 1016988

[startup+3.10165 s]
/proc/loadavg: 29.76 31.52 31.86 33/445 10359
/proc/meminfo: memFree=262006984/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=1019696 CPUtime=93.98 cores=0-31
/proc/10327/stat : 10327 (claspmt) R 10325 10327 10297 0 -1 4202496 26419 0 0 0 9307 91 0 0 19 0 32 0 45497067 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669022 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/10327/statm: 254924 25179 461 189 0 249273 0
[pid=10327/tid=10329] ppid=10325 vsize=1019696 CPUtime=2.93 cores=0-31
/proc/10327/task/10329/stat : 10329 (claspmt) R 10325 10327 10297 0 -1 4202560 628 0 0 0 292 1 0 0 22 0 32 0 45497074 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10327/tid=10330] ppid=10325 vsize=1019696 CPUtime=2.94 cores=0-31
/proc/10327/task/10330/stat : 10330 (claspmt) R 10325 10327 10297 0 -1 4202560 1058 0 0 0 290 4 0 0 20 0 32 0 45497074 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10327/tid=10331] ppid=10325 vsize=1019696 CPUtime=2.95 cores=0-31
/proc/10327/task/10331/stat : 10331 (claspmt) R 10325 10327 10297 0 -1 4202560 709 0 0 0 292 3 0 0 19 0 32 0 45497074 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10327/tid=10332] ppid=10325 vsize=1019696 CPUtime=2.94 cores=0-31
/proc/10327/task/10332/stat : 10332 (claspmt) R 10325 10327 10297 0 -1 4202560 751 0 0 0 292 2 0 0 19 0 32 0 45497074 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10327/tid=10333] ppid=10325 vsize=1019696 CPUtime=2.95 cores=0-31
/proc/10327/task/10333/stat : 10333 (claspmt) R 10325 10327 10297 0 -1 4202560 640 0 0 0 293 2 0 0 18 0 32 0 45497074 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670155 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10327/tid=10334] ppid=10325 vsize=1019696 CPUtime=2.95 cores=0-31
/proc/10327/task/10334/stat : 10334 (claspmt) R 10325 10327 10297 0 -1 4202560 719 0 0 0 292 3 0 0 19 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669535 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10327/tid=10335] ppid=10325 vsize=1019696 CPUtime=2.92 cores=0-31
/proc/10327/task/10335/stat : 10335 (claspmt) R 10325 10327 10297 0 -1 4202560 1364 0 0 0 288 4 0 0 18 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10327/tid=10336] ppid=10325 vsize=1019696 CPUtime=2.92 cores=0-31
/proc/10327/task/10336/stat : 10336 (claspmt) R 10325 10327 10297 0 -1 4202560 652 0 0 0 289 3 0 0 18 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10327/tid=10337] ppid=10325 vsize=1019696 CPUtime=2.93 cores=0-31
/proc/10327/task/10337/stat : 10337 (claspmt) R 10325 10327 10297 0 -1 4202560 634 0 0 0 291 2 0 0 22 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668794 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10327/tid=10338] ppid=10325 vsize=1019696 CPUtime=2.92 cores=0-31
/proc/10327/task/10338/stat : 10338 (claspmt) R 10325 10327 10297 0 -1 4202560 1011 0 0 0 290 2 0 0 19 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10327/tid=10339] ppid=10325 vsize=1019696 CPUtime=2.93 cores=0-31
/proc/10327/task/10339/stat : 10339 (claspmt) R 10325 10327 10297 0 -1 4202560 709 0 0 0 291 2 0 0 21 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4653368 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10327/tid=10340] ppid=10325 vsize=1019696 CPUtime=2.94 cores=0-31
/proc/10327/task/10340/stat : 10340 (claspmt) R 10325 10327 10297 0 -1 4202560 716 0 0 0 292 2 0 0 20 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10327/tid=10341] ppid=10325 vsize=1019696 CPUtime=2.94 cores=0-31
/proc/10327/task/10341/stat : 10341 (claspmt) R 10325 10327 10297 0 -1 4202560 726 0 0 0 292 2 0 0 21 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10327/tid=10342] ppid=10325 vsize=1019696 CPUtime=2.93 cores=0-31
/proc/10327/task/10342/stat : 10342 (claspmt) R 10325 10327 10297 0 -1 4202560 682 0 0 0 292 1 0 0 19 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10327/tid=10343] ppid=10325 vsize=1019696 CPUtime=2.93 cores=0-31
/proc/10327/task/10343/stat : 10343 (claspmt) R 10325 10327 10297 0 -1 4202560 1305 0 0 0 289 4 0 0 19 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10327/tid=10344] ppid=10325 vsize=1019696 CPUtime=2.94 cores=0-31
/proc/10327/task/10344/stat : 10344 (claspmt) R 10325 10327 10297 0 -1 4202560 630 0 0 0 292 2 0 0 18 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10327/tid=10345] ppid=10325 vsize=1019696 CPUtime=2.94 cores=0-31
/proc/10327/task/10345/stat : 10345 (claspmt) R 10325 10327 10297 0 -1 4202560 591 0 0 0 293 1 0 0 18 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4321038 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10327/tid=10346] ppid=10325 vsize=1019696 CPUtime=2.93 cores=0-31
/proc/10327/task/10346/stat : 10346 (claspmt) R 10325 10327 10297 0 -1 4202560 977 0 0 0 291 2 0 0 18 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10327/tid=10347] ppid=10325 vsize=1019696 CPUtime=2.91 cores=0-31
/proc/10327/task/10347/stat : 10347 (claspmt) R 10325 10327 10297 0 -1 4202560 630 0 0 0 289 2 0 0 20 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4321029 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10327/tid=10348] ppid=10325 vsize=1019696 CPUtime=2.93 cores=0-31
/proc/10327/task/10348/stat : 10348 (claspmt) R 10325 10327 10297 0 -1 4202560 747 0 0 0 290 3 0 0 22 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4627259 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10327/tid=10349] ppid=10325 vsize=1019696 CPUtime=2.97 cores=0-31
/proc/10327/task/10349/stat : 10349 (claspmt) R 10325 10327 10297 0 -1 4202560 662 0 0 0 295 2 0 0 18 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10327/tid=10350] ppid=10325 vsize=1019696 CPUtime=2.89 cores=0-31
/proc/10327/task/10350/stat : 10350 (claspmt) R 10325 10327 10297 0 -1 4202560 642 0 0 0 287 2 0 0 21 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10327/tid=10351] ppid=10325 vsize=1019696 CPUtime=2.91 cores=0-31
/proc/10327/task/10351/stat : 10351 (claspmt) R 10325 10327 10297 0 -1 4202560 1422 0 0 0 288 3 0 0 18 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668741 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=10327/tid=10352] ppid=10325 vsize=1019696 CPUtime=2.94 cores=0-31
/proc/10327/task/10352/stat : 10352 (claspmt) R 10325 10327 10297 0 -1 4202560 570 0 0 0 291 3 0 0 23 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4362289 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10327/tid=10353] ppid=10325 vsize=1019696 CPUtime=2.92 cores=0-31
/proc/10327/task/10353/stat : 10353 (claspmt) R 10325 10327 10297 0 -1 4202560 546 0 0 0 291 1 0 0 25 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10327/tid=10354] ppid=10325 vsize=1019696 CPUtime=2.9 cores=0-31
/proc/10327/task/10354/stat : 10354 (claspmt) R 10325 10327 10297 0 -1 4202560 962 0 0 0 288 2 0 0 21 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4361118 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10327/tid=10355] ppid=10325 vsize=1019696 CPUtime=2.84 cores=0-31
/proc/10327/task/10355/stat : 10355 (claspmt) R 10325 10327 10297 0 -1 4202560 651 0 0 0 281 3 0 0 22 0 32 0 45497075 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4642352 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10327/tid=10356] ppid=10325 vsize=1019696 CPUtime=2.93 cores=0-31
/proc/10327/task/10356/stat : 10356 (claspmt) R 10325 10327 10297 0 -1 4202560 723 0 0 0 290 3 0 0 22 0 32 0 45497076 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10327/tid=10357] ppid=10325 vsize=1019696 CPUtime=2.93 cores=0-31
/proc/10327/task/10357/stat : 10357 (claspmt) R 10325 10327 10297 0 -1 4202560 627 0 0 0 290 3 0 0 19 0 32 0 45497076 1044168704 25179 270582939648 4194304 4964800 140735218841168 18446744073709551615 4660444 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10327/tid=10358] ppid=10325 vsize=1019696 CPUtime=2.91 cores=0-31

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

Current children cumulated vsize (KiB) 1999324

[startup+4962.3 s]
/proc/loadavg: 32.12 32.07 32.04 33/445 10503
/proc/meminfo: memFree=260422704/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=1999720 CPUtime=158568 cores=0-31
/proc/10327/stat : 10327 (claspmt) R 10325 10327 10297 0 -1 4202496 426465 0 0 0 15851269 5485 0 0 25 0 32 0 45497067 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670180 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/10327/statm: 499930 416392 463 189 0 494279 0
[pid=10327/tid=10329] ppid=10325 vsize=1999720 CPUtime=4944.16 cores=0-31
/proc/10327/task/10329/stat : 10329 (claspmt) R 10325 10327 10297 0 -1 4202560 21839 0 0 0 494249 167 0 0 25 0 32 0 45497074 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10327/tid=10330] ppid=10325 vsize=1999720 CPUtime=4956.24 cores=0-31
/proc/10327/task/10330/stat : 10330 (claspmt) R 10325 10327 10297 0 -1 4202560 12526 0 0 0 495453 171 0 0 25 0 32 0 45497074 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10327/tid=10331] ppid=10325 vsize=1999720 CPUtime=4954.09 cores=0-31
/proc/10327/task/10331/stat : 10331 (claspmt) R 10325 10327 10297 0 -1 4202560 8010 0 0 0 495263 146 0 0 25 0 32 0 45497074 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669333 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10327/tid=10332] ppid=10325 vsize=1999720 CPUtime=4957.79 cores=0-31
/proc/10327/task/10332/stat : 10332 (claspmt) R 10325 10327 10297 0 -1 4202560 12562 0 0 0 495593 186 0 0 25 0 32 0 45497074 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10327/tid=10333] ppid=10325 vsize=1999720 CPUtime=4958.88 cores=0-31
/proc/10327/task/10333/stat : 10333 (claspmt) R 10325 10327 10297 0 -1 4202560 12361 0 0 0 495740 148 0 0 25 0 32 0 45497074 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669574 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10327/tid=10334] ppid=10325 vsize=1999720 CPUtime=4946.3 cores=0-31
/proc/10327/task/10334/stat : 10334 (claspmt) R 10325 10327 10297 0 -1 4202560 8450 0 0 0 494448 182 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10327/tid=10335] ppid=10325 vsize=1999720 CPUtime=4960.04 cores=0-31
/proc/10327/task/10335/stat : 10335 (claspmt) R 10325 10327 10297 0 -1 4202560 22265 0 0 0 495787 217 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10327/tid=10336] ppid=10325 vsize=1999720 CPUtime=4955.72 cores=0-31
/proc/10327/task/10336/stat : 10336 (claspmt) R 10325 10327 10297 0 -1 4202560 7318 0 0 0 495420 152 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10327/tid=10337] ppid=10325 vsize=1999720 CPUtime=4959.15 cores=0-31
/proc/10327/task/10337/stat : 10337 (claspmt) R 10325 10327 10297 0 -1 4202560 21828 0 0 0 495769 146 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10327/tid=10338] ppid=10325 vsize=1999720 CPUtime=4952.86 cores=0-31
/proc/10327/task/10338/stat : 10338 (claspmt) R 10325 10327 10297 0 -1 4202560 12957 0 0 0 495125 161 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10327/tid=10339] ppid=10325 vsize=1999720 CPUtime=4959.68 cores=0-31
/proc/10327/task/10339/stat : 10339 (claspmt) R 10325 10327 10297 0 -1 4202560 7892 0 0 0 495791 177 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10327/tid=10340] ppid=10325 vsize=1999720 CPUtime=4959.77 cores=0-31
/proc/10327/task/10340/stat : 10340 (claspmt) R 10325 10327 10297 0 -1 4202560 12603 0 0 0 495869 108 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10327/tid=10341] ppid=10325 vsize=1999720 CPUtime=4950.61 cores=0-31
/proc/10327/task/10341/stat : 10341 (claspmt) R 10325 10327 10297 0 -1 4202560 11714 0 0 0 494880 181 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670530 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10327/tid=10342] ppid=10325 vsize=1999720 CPUtime=4955.4 cores=0-31
/proc/10327/task/10342/stat : 10342 (claspmt) R 10325 10327 10297 0 -1 4202560 9346 0 0 0 495371 169 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668801 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10327/tid=10343] ppid=10325 vsize=1999720 CPUtime=4960.03 cores=0-31
/proc/10327/task/10343/stat : 10343 (claspmt) R 10325 10327 10297 0 -1 4202560 22679 0 0 0 495772 231 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10327/tid=10344] ppid=10325 vsize=1999720 CPUtime=4959.73 cores=0-31
/proc/10327/task/10344/stat : 10344 (claspmt) R 10325 10327 10297 0 -1 4202560 8386 0 0 0 495830 143 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10327/tid=10345] ppid=10325 vsize=1999720 CPUtime=4958.62 cores=0-31
/proc/10327/task/10345/stat : 10345 (claspmt) R 10325 10327 10297 0 -1 4202560 22121 0 0 0 495690 172 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10327/tid=10346] ppid=10325 vsize=1999720 CPUtime=4957.73 cores=0-31
/proc/10327/task/10346/stat : 10346 (claspmt) R 10325 10327 10297 0 -1 4202560 13189 0 0 0 495596 177 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10327/tid=10347] ppid=10325 vsize=1999720 CPUtime=4955.86 cores=0-31
/proc/10327/task/10347/stat : 10347 (claspmt) R 10325 10327 10297 0 -1 4202560 6951 0 0 0 495428 158 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10327/tid=10348] ppid=10325 vsize=1999720 CPUtime=4957.74 cores=0-31
/proc/10327/task/10348/stat : 10348 (claspmt) R 10325 10327 10297 0 -1 4202560 12566 0 0 0 495611 163 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10327/tid=10349] ppid=10325 vsize=1999720 CPUtime=4949.73 cores=0-31
/proc/10327/task/10349/stat : 10349 (claspmt) R 10325 10327 10297 0 -1 4202560 11214 0 0 0 494800 173 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10327/tid=10350] ppid=10325 vsize=1999720 CPUtime=4943.31 cores=0-31
/proc/10327/task/10350/stat : 10350 (claspmt) R 10325 10327 10297 0 -1 4202560 8988 0 0 0 494154 177 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10327/tid=10351] ppid=10325 vsize=1999720 CPUtime=4955.61 cores=0-31
/proc/10327/task/10351/stat : 10351 (claspmt) R 10325 10327 10297 0 -1 4202560 22246 0 0 0 495365 196 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4660551 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10327/tid=10352] ppid=10325 vsize=1999720 CPUtime=4959.67 cores=0-31
/proc/10327/task/10352/stat : 10352 (claspmt) R 10325 10327 10297 0 -1 4202560 8252 0 0 0 495834 133 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4660452 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10327/tid=10353] ppid=10325 vsize=1999720 CPUtime=4952.63 cores=0-31
/proc/10327/task/10353/stat : 10353 (claspmt) R 10325 10327 10297 0 -1 4202560 22181 0 0 0 495073 190 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10327/tid=10354] ppid=10325 vsize=1999720 CPUtime=4960 cores=0-31
/proc/10327/task/10354/stat : 10354 (claspmt) R 10325 10327 10297 0 -1 4202560 14479 0 0 0 495840 160 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10327/tid=10355] ppid=10325 vsize=1999720 CPUtime=4946.04 cores=0-31
/proc/10327/task/10355/stat : 10355 (claspmt) R 10325 10327 10297 0 -1 4202560 7945 0 0 0 494438 166 0 0 25 0 32 0 45497075 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4660157 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10327/tid=10356] ppid=10325 vsize=1999720 CPUtime=4959.94 cores=0-31
/proc/10327/task/10356/stat : 10356 (claspmt) R 10325 10327 10297 0 -1 4202560 12712 0 0 0 495800 194 0 0 25 0 32 0 45497076 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4362453 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10327/tid=10357] ppid=10325 vsize=1999720 CPUtime=4942.11 cores=0-31
/proc/10327/task/10357/stat : 10357 (claspmt) R 10325 10327 10297 0 -1 4202560 11236 0 0 0 494032 179 0 0 25 0 32 0 45497076 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10327/tid=10358] ppid=10325 vsize=1999720 CPUtime=4959.68 cores=0-31
/proc/10327/task/10358/stat : 10358 (claspmt) R 10325 10327 10297 0 -1 4202560 9064 0 0 0 495791 177 0 0 25 0 32 0 45497076 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4660177 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10327/tid=10359] ppid=10325 vsize=1999720 CPUtime=4958.36 cores=0-31
/proc/10327/task/10359/stat : 10359 (claspmt) R 10325 10327 10297 0 -1 4202560 21140 0 0 0 495639 197 0 0 25 0 32 0 45497076 2047713280 416392 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 158568
Current children cumulated vsize (KiB) 1999720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007.22 s]
/proc/loadavg: 32.06 32.06 32.03 33/445 10505
/proc/meminfo: memFree=260419060/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=2000020 CPUtime=160004 cores=0-31
/proc/10327/stat : 10327 (claspmt) R 10325 10327 10297 0 -1 4202496 427425 0 0 0 15994843 5526 0 0 25 0 32 0 45497067 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669350 0 0 4096 18946 18446744073709551615 0 0 17 25 0 0 0
/proc/10327/statm: 500005 417284 463 189 0 494354 0
[pid=10327/tid=10329] ppid=10325 vsize=2000020 CPUtime=4987.79 cores=0-31
/proc/10327/task/10329/stat : 10329 (claspmt) R 10325 10327 10297 0 -1 4202560 21914 0 0 0 498610 169 0 0 25 0 32 0 45497074 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4332108 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=10327/tid=10330] ppid=10325 vsize=2000020 CPUtime=5001.16 cores=0-31
/proc/10327/task/10330/stat : 10330 (claspmt) R 10325 10327 10297 0 -1 4202560 12526 0 0 0 499944 172 0 0 25 0 32 0 45497074 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668753 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=10327/tid=10331] ppid=10325 vsize=2000020 CPUtime=4999 cores=0-31
/proc/10327/task/10331/stat : 10331 (claspmt) R 10325 10327 10297 0 -1 4202560 8062 0 0 0 499753 147 0 0 25 0 32 0 45497074 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4653265 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=10327/tid=10332] ppid=10325 vsize=2000020 CPUtime=5002.7 cores=0-31
/proc/10327/task/10332/stat : 10332 (claspmt) R 10325 10327 10297 0 -1 4202560 12565 0 0 0 500083 187 0 0 25 0 32 0 45497074 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=10327/tid=10333] ppid=10325 vsize=2000020 CPUtime=5003.79 cores=0-31
/proc/10327/task/10333/stat : 10333 (claspmt) R 10325 10327 10297 0 -1 4202560 12373 0 0 0 500230 149 0 0 25 0 32 0 45497074 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4653186 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=10327/tid=10334] ppid=10325 vsize=2000020 CPUtime=4991.21 cores=0-31
/proc/10327/task/10334/stat : 10334 (claspmt) R 10325 10327 10297 0 -1 4202560 8491 0 0 0 498938 183 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=10327/tid=10335] ppid=10325 vsize=2000020 CPUtime=5004.95 cores=0-31
/proc/10327/task/10335/stat : 10335 (claspmt) R 10325 10327 10297 0 -1 4202560 22269 0 0 0 500277 218 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=10327/tid=10336] ppid=10325 vsize=2000020 CPUtime=5000.64 cores=0-31
/proc/10327/task/10336/stat : 10336 (claspmt) R 10325 10327 10297 0 -1 4202560 7318 0 0 0 499909 155 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=10327/tid=10337] ppid=10325 vsize=2000020 CPUtime=5004.08 cores=0-31
/proc/10327/task/10337/stat : 10337 (claspmt) R 10325 10327 10297 0 -1 4202560 21908 0 0 0 500261 147 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=10327/tid=10338] ppid=10325 vsize=2000020 CPUtime=4997.77 cores=0-31
/proc/10327/task/10338/stat : 10338 (claspmt) R 10325 10327 10297 0 -1 4202560 12993 0 0 0 499615 162 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=10327/tid=10339] ppid=10325 vsize=2000020 CPUtime=5004.61 cores=0-31
/proc/10327/task/10339/stat : 10339 (claspmt) R 10325 10327 10297 0 -1 4202560 8073 0 0 0 500283 178 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=10327/tid=10340] ppid=10325 vsize=2000020 CPUtime=5004.7 cores=0-31
/proc/10327/task/10340/stat : 10340 (claspmt) R 10325 10327 10297 0 -1 4202560 12607 0 0 0 500361 109 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 258650623147 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=10327/tid=10341] ppid=10325 vsize=2000020 CPUtime=4995.54 cores=0-31
/proc/10327/task/10341/stat : 10341 (claspmt) R 10325 10327 10297 0 -1 4202560 11714 0 0 0 499372 182 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=10327/tid=10342] ppid=10325 vsize=2000020 CPUtime=5000.31 cores=0-31
/proc/10327/task/10342/stat : 10342 (claspmt) R 10325 10327 10297 0 -1 4202560 9346 0 0 0 499861 170 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=10327/tid=10343] ppid=10325 vsize=2000020 CPUtime=5004.95 cores=0-31
/proc/10327/task/10343/stat : 10343 (claspmt) R 10325 10327 10297 0 -1 4202560 22679 0 0 0 500263 232 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=10327/tid=10344] ppid=10325 vsize=2000020 CPUtime=5004.65 cores=0-31
/proc/10327/task/10344/stat : 10344 (claspmt) R 10325 10327 10297 0 -1 4202560 8386 0 0 0 500320 145 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=10327/tid=10345] ppid=10325 vsize=2000020 CPUtime=5003.53 cores=0-31
/proc/10327/task/10345/stat : 10345 (claspmt) R 10325 10327 10297 0 -1 4202560 22288 0 0 0 500179 174 0 0 21 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=10327/tid=10346] ppid=10325 vsize=2000020 CPUtime=5002.64 cores=0-31
/proc/10327/task/10346/stat : 10346 (claspmt) R 10325 10327 10297 0 -1 4202560 13212 0 0 0 500086 178 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=10327/tid=10347] ppid=10325 vsize=2000020 CPUtime=5000.78 cores=0-31
/proc/10327/task/10347/stat : 10347 (claspmt) R 10325 10327 10297 0 -1 4202560 6951 0 0 0 499920 158 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=10327/tid=10348] ppid=10325 vsize=2000020 CPUtime=5002.67 cores=0-31
/proc/10327/task/10348/stat : 10348 (claspmt) R 10325 10327 10297 0 -1 4202560 12604 0 0 0 500103 164 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4320970 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=10327/tid=10349] ppid=10325 vsize=2000020 CPUtime=4994.65 cores=0-31
/proc/10327/task/10349/stat : 10349 (claspmt) R 10325 10327 10297 0 -1 4202560 11214 0 0 0 499292 173 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4654555 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=10327/tid=10350] ppid=10325 vsize=2000020 CPUtime=4988.23 cores=0-31
/proc/10327/task/10350/stat : 10350 (claspmt) R 10325 10327 10297 0 -1 4202560 9004 0 0 0 498645 178 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=10327/tid=10351] ppid=10325 vsize=2000020 CPUtime=5000.53 cores=0-31
/proc/10327/task/10351/stat : 10351 (claspmt) R 10325 10327 10297 0 -1 4202560 22246 0 0 0 499856 197 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=10327/tid=10352] ppid=10325 vsize=2000020 CPUtime=5004.59 cores=0-31
/proc/10327/task/10352/stat : 10352 (claspmt) R 10325 10327 10297 0 -1 4202560 8254 0 0 0 500326 133 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=10327/tid=10353] ppid=10325 vsize=2000020 CPUtime=4997.55 cores=0-31
/proc/10327/task/10353/stat : 10353 (claspmt) R 10325 10327 10297 0 -1 4202560 22260 0 0 0 499562 193 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=10327/tid=10354] ppid=10325 vsize=2000020 CPUtime=5004.93 cores=0-31
/proc/10327/task/10354/stat : 10354 (claspmt) R 10325 10327 10297 0 -1 4202560 14532 0 0 0 500332 161 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670357 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=10327/tid=10355] ppid=10325 vsize=2000020 CPUtime=4990.96 cores=0-31
/proc/10327/task/10355/stat : 10355 (claspmt) R 10325 10327 10297 0 -1 4202560 7945 0 0 0 498929 167 0 0 25 0 32 0 45497075 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=10327/tid=10356] ppid=10325 vsize=2000020 CPUtime=5004.86 cores=0-31
/proc/10327/task/10356/stat : 10356 (claspmt) R 10325 10327 10297 0 -1 4202560 12727 0 0 0 500291 195 0 0 25 0 32 0 45497076 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=10327/tid=10357] ppid=10325 vsize=2000020 CPUtime=4987.04 cores=0-31
/proc/10327/task/10357/stat : 10357 (claspmt) R 10325 10327 10297 0 -1 4202560 11307 0 0 0 498523 181 0 0 25 0 32 0 45497076 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=10327/tid=10358] ppid=10325 vsize=2000020 CPUtime=5004.6 cores=0-31
/proc/10327/task/10358/stat : 10358 (claspmt) R 10325 10327 10297 0 -1 4202560 9072 0 0 0 500281 179 0 0 25 0 32 0 45497076 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=10327/tid=10359] ppid=10325 vsize=2000020 CPUtime=5003.28 cores=0-31
/proc/10327/task/10359/stat : 10359 (claspmt) R 10325 10327 10297 0 -1 4202560 21140 0 0 0 500130 198 0 0 25 0 32 0 45497076 2048020480 417284 270582939648 4194304 4964800 140735218841168 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 2000020

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

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

[startup+5007.4 s]
/proc/loadavg: 32.06 32.06 32.03 33/445 10505
/proc/meminfo: memFree=260419060/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=1904380 CPUtime=160004 cores=0-31
/proc/10327/stat : 10327 (claspmt) R 10325 10327 10297 0 -1 4202496 427436 0 0 0 15994881 5526 0 0 25 0 1 0 45497067 1950085120 415921 270582939648 4194304 4964800 140735218841168 18446744073709551615 4646607 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10327/statm: 476095 415921 474 189 0 470444 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 1904380

[startup+5007.8 s]
/proc/loadavg: 32.06 32.06 32.03 33/445 10505
/proc/meminfo: memFree=260419060/264257624 swapFree=67111528/67111528
[pid=10327] ppid=10325 vsize=1569944 CPUtime=160004 cores=0-31
/proc/10327/stat : 10327 (claspmt) R 10325 10327 10297 0 -1 4202496 427436 0 0 0 15994916 5531 0 0 25 0 1 0 45497067 1607622656 235682 270582939648 4194304 4964800 140735218841168 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 25 0 0 0
/proc/10327/statm: 392486 235682 474 189 0 386835 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 1569944

Child status: 0
Real time (s): 5007.87
CPU time (s): 160005
CPU user time (s): 159949
CPU system time (s): 55.3866
CPU usage (%): 3195.06
Max. virtual memory (cumulated for all children) (KiB): 2000020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159949
system time used= 55.3866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427437
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= 3251724
involuntary context switches= 392922

runsolver used 27.5878 second user time and 113.581 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 16:05:02
IDJOB=3472506
IDBENCH=84237
IDSOLVER=1961
FILE ID=node200/3472506-1307801102
RUNJOBID= node200-1307801102-10311
PBS_JOBID= 13550801
Free space on /tmp= 61744 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.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-3472506-1307801102/watcher-3472506-1307801102 -o /tmp/evaluation-result-3472506-1307801102/solver-3472506-1307801102 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472506-1307801102.cnf

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

MD5SUM BENCH= c7f51e1ee7556440ab29e1c4bfe29538
RANDOM SEED=1499089804

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:      262082316 kB
Buffers:        291020 kB
Cached:        1555196 kB
SwapCached:          0 kB
Active:         317600 kB
Inactive:      1591680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262082316 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:             800 kB
Writeback:           0 kB
AnonPages:       63072 kB
Mapped:          13484 kB
Slab:           185676 kB
PageTables:       4688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   173300 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= 61736 MiB
End job on node200 at 2011-06-11 17:28:31