Trace number 3472555

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 125.186 29.0569

General information on the benchmark

NameSAT-Race-2010-CNF/software-verification/
nec/hard-6-U-7061.cnf
MD5SUMb15321a24257fa4bdfd9c20c782f4c0e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark47.7397
Satisfiable
(Un)Satisfiability was proved
Number of variables370048
Number of clauses1118066
Sum of the clauses size2910246
Maximum clause length493
Minimum clause length1
Number of clauses of size 194
Number of clauses of size 2742801
Number of clauses of size 3369913
Number of clauses of size 41454
Number of clauses of size 5618
Number of clauses of size over 53186

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...876292/instance-3472555-1307876292.cnf
5.29/5.37	c Solving...
125.13/29.04	s UNSATISFIABLE
125.13/29.04	
125.13/29.04	c Models        : 0     
125.13/29.04	c Time          : 27.711s (Solving: 22.35s 1st Model: 0.00s Unsat: 22.35s)
125.13/29.04	c CPU Time      : 123.830s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3472555-1307876292/watcher-3472555-1307876292 -o /tmp/evaluation-result-3472555-1307876292/solver-3472555-1307876292 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472555-1307876292.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: 3.76 3.97 4.75 1/413 23502
/proc/meminfo: memFree=261716156/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=67864 CPUtime=0.02 cores=0-31
/proc/23502/stat : 23502 (claspmt) R 23500 23502 23472 0 -1 4202496 4634 0 0 0 2 0 0 0 22 0 1 0 53016205 69492736 4563 270582939648 4194304 4964800 140737264893504 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/23502/statm: 16966 4570 373 189 0 11840 0

[startup+0.123004 s]
/proc/loadavg: 3.76 3.97 4.75 1/413 23502
/proc/meminfo: memFree=261716156/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=94648 CPUtime=0.11 cores=0-31
/proc/23502/stat : 23502 (claspmt) R 23500 23502 23472 0 -1 4202496 21492 0 0 0 8 3 0 0 22 0 1 0 53016205 96919552 18530 270582939648 4194304 4964800 140737264893504 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/23502/statm: 23662 18531 386 189 0 18536 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 94648

[startup+0.200998 s]
/proc/loadavg: 3.76 3.97 4.75 1/413 23502
/proc/meminfo: memFree=261716156/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=100880 CPUtime=0.19 cores=0-31
/proc/23502/stat : 23502 (claspmt) R 23500 23502 23472 0 -1 4202496 23491 0 0 0 15 4 0 0 23 0 1 0 53016205 103301120 20056 270582939648 4194304 4964800 140737264893504 18446744073709551615 4599599 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/23502/statm: 25220 20057 386 189 0 20094 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 100880

[startup+0.301013 s]
/proc/loadavg: 3.76 3.97 4.75 1/413 23502
/proc/meminfo: memFree=261716156/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=107244 CPUtime=0.29 cores=0-31
/proc/23502/stat : 23502 (claspmt) R 23500 23502 23472 0 -1 4202496 25724 0 0 0 25 4 0 0 23 0 1 0 53016205 109817856 21612 270582939648 4194304 4964800 140737264893504 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/23502/statm: 26811 21613 386 189 0 21685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 107244

[startup+0.701073 s]
/proc/loadavg: 3.76 3.97 4.75 1/413 23502
/proc/meminfo: memFree=261716156/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=134532 CPUtime=0.69 cores=0-31
/proc/23502/stat : 23502 (claspmt) R 23500 23502 23472 0 -1 4202496 35116 0 0 0 61 8 0 0 25 0 1 0 53016205 137760768 28116 270582939648 4194304 4964800 140737264893504 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/23502/statm: 33633 28118 386 189 0 28507 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134532

[startup+1.50106 s]
/proc/loadavg: 3.76 3.97 4.75 2/414 23503
/proc/meminfo: memFree=261548552/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=206948 CPUtime=1.49 cores=0-31
/proc/23502/stat : 23502 (claspmt) R 23500 23502 23472 0 -1 4202496 57409 0 0 0 137 12 0 0 25 0 1 0 53016205 211914752 44654 270582939648 4194304 4964800 140737264893504 18446744073709551615 258650614263 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/23502/statm: 51737 44654 401 189 0 46611 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206948

[startup+3.10112 s]
/proc/loadavg: 3.54 3.92 4.73 2/414 23503
/proc/meminfo: memFree=261524992/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=231536 CPUtime=3.09 cores=0-31
/proc/23502/stat : 23502 (claspmt) R 23500 23502 23472 0 -1 4202496 63565 0 0 0 296 13 0 0 25 0 1 0 53016205 237092864 50810 270582939648 4194304 4964800 140737264893504 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 28 0 0 0
/proc/23502/statm: 57884 50810 401 189 0 52758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 231536

[startup+6.30313 s]
/proc/loadavg: 3.54 3.92 4.73 32/445 23534
/proc/meminfo: memFree=261380864/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=1092740 CPUtime=30.73 cores=0-31
/proc/23502/stat : 23502 (claspmt) S 23500 23502 23472 0 -1 4202496 266017 0 0 0 634 2439 0 0 18 0 32 0 53016205 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/23502/statm: 273185 181967 443 189 0 267534 0
[pid=23502/tid=23504] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23504/stat : 23504 (claspmt) D 23500 23502 23472 0 -1 4202560 3166 0 0 0 1 83 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=23502/tid=23505] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23505/stat : 23505 (claspmt) D 23500 23502 23472 0 -1 4202560 8113 0 0 0 2 82 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=23502/tid=23506] ppid=23500 vsize=1092740 CPUtime=0.83 cores=0-31
/proc/23502/task/23506/stat : 23506 (claspmt) D 23500 23502 23472 0 -1 4202560 3541 0 0 0 2 81 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=23502/tid=23507] ppid=23500 vsize=1092740 CPUtime=0.85 cores=0-31
/proc/23502/task/23507/stat : 23507 (claspmt) D 23500 23502 23472 0 -1 4202560 5496 0 0 0 3 82 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=23502/tid=23508] ppid=23500 vsize=1092740 CPUtime=0.83 cores=0-31
/proc/23502/task/23508/stat : 23508 (claspmt) D 23500 23502 23472 0 -1 4202560 6644 0 0 0 3 80 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=23502/tid=23509] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23509/stat : 23509 (claspmt) D 23500 23502 23472 0 -1 4202560 7275 0 0 0 2 82 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=23502/tid=23510] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23510/stat : 23510 (claspmt) D 23500 23502 23472 0 -1 4202560 4907 0 0 0 2 82 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=23502/tid=23511] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23511/stat : 23511 (claspmt) D 23500 23502 23472 0 -1 4202560 7237 0 0 0 3 81 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=23502/tid=23512] ppid=23500 vsize=1092740 CPUtime=0.83 cores=0-31
/proc/23502/task/23512/stat : 23512 (claspmt) D 23500 23502 23472 0 -1 4202560 9301 0 0 0 8 75 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=23502/tid=23513] ppid=23500 vsize=1092740 CPUtime=0.85 cores=0-31
/proc/23502/task/23513/stat : 23513 (claspmt) D 23500 23502 23472 0 -1 4202560 3995 0 0 0 2 83 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=23502/tid=23514] ppid=23500 vsize=1092740 CPUtime=0.81 cores=0-31
/proc/23502/task/23514/stat : 23514 (claspmt) D 23500 23502 23472 0 -1 4202560 9141 0 0 0 4 77 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4377969 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=23502/tid=23515] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23515/stat : 23515 (claspmt) D 23500 23502 23472 0 -1 4202560 6348 0 0 0 3 81 0 0 18 0 32 0 53016743 1118965760 181967 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=23502/tid=23516] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23516/stat : 23516 (claspmt) D 23500 23502 23472 0 -1 4202560 7038 0 0 0 4 80 0 0 18 0 32 0 53016743 1118965760 181970 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=23502/tid=23517] ppid=23500 vsize=1092740 CPUtime=0.83 cores=0-31
/proc/23502/task/23517/stat : 23517 (claspmt) R 23500 23502 23472 0 -1 4202560 7994 0 0 0 4 79 0 0 18 0 32 0 53016743 1118965760 181979 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=23502/tid=23518] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23518/stat : 23518 (claspmt) R 23500 23502 23472 0 -1 4202560 7381 0 0 0 5 79 0 0 18 0 32 0 53016743 1118965760 181997 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=23502/tid=23519] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23519/stat : 23519 (claspmt) R 23500 23502 23472 0 -1 4202560 6340 0 0 0 2 82 0 0 18 0 32 0 53016743 1118965760 182009 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=23502/tid=23520] ppid=23500 vsize=1092740 CPUtime=0.83 cores=0-31
/proc/23502/task/23520/stat : 23520 (claspmt) D 23500 23502 23472 0 -1 4202560 9404 0 0 0 6 77 0 0 18 0 32 0 53016743 1118965760 182009 270582939648 4194304 4964800 140737264893504 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=23502/tid=23521] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23521/stat : 23521 (claspmt) R 23500 23502 23472 0 -1 4202560 7117 0 0 0 2 82 0 0 18 0 32 0 53016743 1118965760 182013 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=23502/tid=23522] ppid=23500 vsize=1092740 CPUtime=0.82 cores=0-31
/proc/23502/task/23522/stat : 23522 (claspmt) D 23500 23502 23472 0 -1 4202560 7404 0 0 0 1 81 0 0 18 0 32 0 53016743 1118965760 182014 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=23502/tid=23523] ppid=23500 vsize=1092740 CPUtime=0.83 cores=0-31
/proc/23502/task/23523/stat : 23523 (claspmt) R 23500 23502 23472 0 -1 4202560 6562 0 0 0 3 80 0 0 18 0 32 0 53016743 1118965760 182025 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=23502/tid=23524] ppid=23500 vsize=1092740 CPUtime=0.84 cores=0-31
/proc/23502/task/23524/stat : 23524 (claspmt) R 23500 23502 23472 0 -1 4202560 3007 0 0 0 0 84 0 0 18 0 32 0 53016743 1118965760 182051 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=23502/tid=23525] ppid=23500 vsize=1092740 CPUtime=0.57 cores=0-31
/proc/23502/task/23525/stat : 23525 (claspmt) D 23500 23502 23472 0 -1 4202560 2184 0 0 0 0 57 0 0 18 0 32 0 53016743 1118965760 182052 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679091 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=23502/tid=23526] ppid=23500 vsize=1092740 CPUtime=0.83 cores=0-31
/proc/23502/task/23526/stat : 23526 (claspmt) D 23500 23502 23472 0 -1 4202560 7569 0 0 0 3 80 0 0 18 0 32 0 53016743 1118965760 182052 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=23502/tid=23527] ppid=23500 vsize=1092740 CPUtime=0.85 cores=0-31
/proc/23502/task/23527/stat : 23527 (claspmt) S 23500 23502 23472 0 -1 4202560 9012 0 0 0 12 73 0 0 18 0 32 0 53016743 1118965760 182052 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604565879684576 0 0 -1 15 0 0 0
[pid=23502/tid=23528] ppid=23500 vsize=1092740 CPUtime=0.82 cores=0-31
/proc/23502/task/23528/stat : 23528 (claspmt) D 23500 23502 23472 0 -1 4202560 6518 0 0 0 3 79 0 0 18 0 32 0 53016744 1118965760 182055 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=23502/tid=23529] ppid=23500 vsize=1092740 CPUtime=0.38 cores=0-31
/proc/23502/task/23529/stat : 23529 (claspmt) R 23500 23502 23472 0 -1 4202560 4197 0 0 0 1 37 0 0 18 0 32 0 53016744 1118965760 182073 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679094 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=23502/tid=23530] ppid=23500 vsize=1092740 CPUtime=0.67 cores=0-31
/proc/23502/task/23530/stat : 23530 (claspmt) R 23500 23502 23472 0 -1 4202560 5534 0 0 0 2 65 0 0 18 0 32 0 53016744 1118965760 182075 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=23502/tid=23531] ppid=23500 vsize=1092740 CPUtime=0.83 cores=0-31
/proc/23502/task/23531/stat : 23531 (claspmt) R 23500 23502 23472 0 -1 4202560 6854 0 0 0 3 80 0 0 18 0 32 0 53016744 1118965760 182102 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=23502/tid=23532] ppid=23500 vsize=1092740 CPUtime=0.83 cores=0-31
/proc/23502/task/23532/stat : 23532 (claspmt) D 23500 23502 23472 0 -1 4202560 7379 0 0 0 2 81 0 0 18 0 32 0 53016744 1118965760 182108 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=23502/tid=23533] ppid=23500 vsize=1092740 CPUtime=0.83 cores=0-31
/proc/23502/task/23533/stat : 23533 (claspmt) D 23500 23502 23472 0 -1 4202560 6869 0 0 0 3 80 0 0 18 0 32 0 53016744 1118965760 182108 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679151 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=23502/tid=23534] ppid=23500 vsize=1092740 CPUtime=0.85 cores=0-31
/proc/23502/task/23534/stat : 23534 (claspmt) R 23500 23502 23472 0 -1 4202560 6909 0 0 0 3 82 0 0 18 0 32 0 53016744 1118965760 182108 270582939648 4194304 4964800 140737264893504 18446744073709551615 4679106 0 0 4096 18946 0 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 30.73
Current children cumulated vsize (KiB) 1092740

[startup+12.7024 s]
/proc/loadavg: 5.52 4.35 4.86 5/445 23534
/proc/meminfo: memFree=260437664/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=2315288 CPUtime=63.79 cores=0-31
/proc/23502/stat : 23502 (claspmt) S 23500 23502 23472 0 -1 4202496 429451 0 0 0 2988 3391 0 0 18 0 32 0 53016205 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/23502/statm: 578822 320729 440 189 0 573171 0
[pid=23502/tid=23504] ppid=23500 vsize=2315288 CPUtime=1.3 cores=0-31
/proc/23502/task/23504/stat : 23504 (claspmt) S 23500 23502 23472 0 -1 4202560 10666 0 0 0 10 120 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604560703675872 0 0 -1 1 0 0 0
[pid=23502/tid=23505] ppid=23500 vsize=2315288 CPUtime=1.22 cores=0-31
/proc/23502/task/23505/stat : 23505 (claspmt) S 23500 23502 23472 0 -1 4202560 12889 0 0 0 12 110 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604488823561696 0 0 -1 14 0 0 0
[pid=23502/tid=23506] ppid=23500 vsize=2315288 CPUtime=1.35 cores=0-31
/proc/23502/task/23506/stat : 23506 (claspmt) S 23500 23502 23472 0 -1 4202560 12412 0 0 0 16 119 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604567467621856 0 0 -1 3 0 0 0
[pid=23502/tid=23507] ppid=23500 vsize=2315288 CPUtime=1.23 cores=0-31
/proc/23502/task/23507/stat : 23507 (claspmt) S 23500 23502 23472 0 -1 4202560 9744 0 0 0 8 115 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499966598624 0 0 -1 4 0 0 0
[pid=23502/tid=23508] ppid=23500 vsize=2315288 CPUtime=6.4 cores=0-31
/proc/23502/task/23508/stat : 23508 (claspmt) R 23500 23502 23472 0 -1 4202560 11235 0 0 0 528 112 0 0 25 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 4402731 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=23502/tid=23509] ppid=23500 vsize=2315288 CPUtime=1.29 cores=0-31
/proc/23502/task/23509/stat : 23509 (claspmt) S 23500 23502 23472 0 -1 4202560 13653 0 0 0 13 116 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485330853344 0 0 -1 18 0 0 0
[pid=23502/tid=23510] ppid=23500 vsize=2315288 CPUtime=1.38 cores=0-31
/proc/23502/task/23510/stat : 23510 (claspmt) S 23500 23502 23472 0 -1 4202560 11925 0 0 0 15 123 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499442867680 0 0 -1 5 0 0 0
[pid=23502/tid=23511] ppid=23500 vsize=2315288 CPUtime=1.15 cores=0-31
/proc/23502/task/23511/stat : 23511 (claspmt) S 23500 23502 23472 0 -1 4202560 10528 0 0 0 8 107 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604571435277792 0 0 -1 25 0 0 0
[pid=23502/tid=23512] ppid=23500 vsize=2315288 CPUtime=1 cores=0-31
/proc/23502/task/23512/stat : 23512 (claspmt) S 23500 23502 23472 0 -1 4202560 10691 0 0 0 13 87 0 0 17 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499966606816 0 0 -1 7 0 0 0
[pid=23502/tid=23513] ppid=23500 vsize=2315288 CPUtime=1.37 cores=0-31
/proc/23502/task/23513/stat : 23513 (claspmt) S 23500 23502 23472 0 -1 4202560 13096 0 0 0 15 122 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485792742880 0 0 -1 2 0 0 0
[pid=23502/tid=23514] ppid=23500 vsize=2315288 CPUtime=1.15 cores=0-31
/proc/23502/task/23514/stat : 23514 (claspmt) S 23500 23502 23472 0 -1 4202560 13901 0 0 0 16 99 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604498075164128 0 0 -1 19 0 0 0
[pid=23502/tid=23515] ppid=23500 vsize=2315288 CPUtime=1.24 cores=0-31
/proc/23502/task/23515/stat : 23515 (claspmt) S 23500 23502 23472 0 -1 4202560 10659 0 0 0 10 114 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604488823545312 0 0 -1 20 0 0 0
[pid=23502/tid=23516] ppid=23500 vsize=2315288 CPUtime=6.43 cores=0-31
/proc/23502/task/23516/stat : 23516 (claspmt) R 23500 23502 23472 0 -1 4202560 11398 0 0 0 533 110 0 0 25 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=23502/tid=23517] ppid=23500 vsize=2315288 CPUtime=1.23 cores=0-31
/proc/23502/task/23517/stat : 23517 (claspmt) S 23500 23502 23472 0 -1 4202560 12993 0 0 0 16 107 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604501466979808 0 0 -1 22 0 0 0
[pid=23502/tid=23518] ppid=23500 vsize=2315288 CPUtime=1.29 cores=0-31
/proc/23502/task/23518/stat : 23518 (claspmt) S 23500 23502 23472 0 -1 4202560 12299 0 0 0 17 112 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485792751072 0 0 -1 6 0 0 0
[pid=23502/tid=23519] ppid=23500 vsize=2315288 CPUtime=1.2 cores=0-31
/proc/23502/task/23519/stat : 23519 (claspmt) S 23500 23502 23472 0 -1 4202560 10498 0 0 0 7 113 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499442875872 0 0 -1 28 0 0 0
[pid=23502/tid=23520] ppid=23500 vsize=2315288 CPUtime=0.98 cores=0-31
/proc/23502/task/23520/stat : 23520 (claspmt) S 23500 23502 23472 0 -1 4202560 10693 0 0 0 10 88 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604567211138528 0 0 -1 31 0 0 0
[pid=23502/tid=23521] ppid=23500 vsize=2315288 CPUtime=1.31 cores=0-31
/proc/23502/task/23521/stat : 23521 (claspmt) S 23500 23502 23472 0 -1 4202560 13441 0 0 0 13 118 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604561634393568 0 0 -1 24 0 0 0
[pid=23502/tid=23522] ppid=23500 vsize=2315288 CPUtime=1.27 cores=0-31
/proc/23502/task/23522/stat : 23522 (claspmt) S 23500 23502 23472 0 -1 4202560 13520 0 0 0 12 115 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604575270419936 0 0 -1 16 0 0 0
[pid=23502/tid=23523] ppid=23500 vsize=2315288 CPUtime=1.19 cores=0-31
/proc/23502/task/23523/stat : 23523 (claspmt) S 23500 23502 23472 0 -1 4202560 10369 0 0 0 9 110 0 0 18 0 32 0 53016743 2370854912 320729 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604567528087008 0 0 -1 12 0 0 0
[pid=23502/tid=23524] ppid=23500 vsize=2315288 CPUtime=6.28 cores=0-31

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

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

[startup+25.6019 s]
/proc/loadavg: 5.29 4.34 4.85 5/445 23534
/proc/meminfo: memFree=260438892/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=2315288 CPUtime=115.38 cores=0-31
/proc/23502/stat : 23502 (claspmt) S 23500 23502 23472 0 -1 4202496 429905 0 0 0 8145 3393 0 0 18 0 32 0 53016205 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/23502/statm: 578822 321183 440 189 0 573171 0
[pid=23502/tid=23504] ppid=23500 vsize=2315288 CPUtime=1.3 cores=0-31
/proc/23502/task/23504/stat : 23504 (claspmt) S 23500 23502 23472 0 -1 4202560 10666 0 0 0 10 120 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604560703675872 0 0 -1 1 0 0 0
[pid=23502/tid=23505] ppid=23500 vsize=2315288 CPUtime=1.22 cores=0-31
/proc/23502/task/23505/stat : 23505 (claspmt) S 23500 23502 23472 0 -1 4202560 12889 0 0 0 12 110 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604488823561696 0 0 -1 14 0 0 0
[pid=23502/tid=23506] ppid=23500 vsize=2315288 CPUtime=1.35 cores=0-31
/proc/23502/task/23506/stat : 23506 (claspmt) S 23500 23502 23472 0 -1 4202560 12412 0 0 0 16 119 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604567467621856 0 0 -1 3 0 0 0
[pid=23502/tid=23507] ppid=23500 vsize=2315288 CPUtime=1.23 cores=0-31
/proc/23502/task/23507/stat : 23507 (claspmt) S 23500 23502 23472 0 -1 4202560 9744 0 0 0 8 115 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499966598624 0 0 -1 4 0 0 0
[pid=23502/tid=23508] ppid=23500 vsize=2315288 CPUtime=19.3 cores=0-31
/proc/23502/task/23508/stat : 23508 (claspmt) R 23500 23502 23472 0 -1 4202560 11371 0 0 0 1817 113 0 0 25 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 4668801 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=23502/tid=23509] ppid=23500 vsize=2315288 CPUtime=1.29 cores=0-31
/proc/23502/task/23509/stat : 23509 (claspmt) S 23500 23502 23472 0 -1 4202560 13653 0 0 0 13 116 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485330853344 0 0 -1 18 0 0 0
[pid=23502/tid=23510] ppid=23500 vsize=2315288 CPUtime=1.38 cores=0-31
/proc/23502/task/23510/stat : 23510 (claspmt) S 23500 23502 23472 0 -1 4202560 11925 0 0 0 15 123 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499442867680 0 0 -1 5 0 0 0
[pid=23502/tid=23511] ppid=23500 vsize=2315288 CPUtime=1.15 cores=0-31
/proc/23502/task/23511/stat : 23511 (claspmt) S 23500 23502 23472 0 -1 4202560 10528 0 0 0 8 107 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604571435277792 0 0 -1 25 0 0 0
[pid=23502/tid=23512] ppid=23500 vsize=2315288 CPUtime=1 cores=0-31
/proc/23502/task/23512/stat : 23512 (claspmt) S 23500 23502 23472 0 -1 4202560 10691 0 0 0 13 87 0 0 17 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499966606816 0 0 -1 7 0 0 0
[pid=23502/tid=23513] ppid=23500 vsize=2315288 CPUtime=1.37 cores=0-31
/proc/23502/task/23513/stat : 23513 (claspmt) S 23500 23502 23472 0 -1 4202560 13096 0 0 0 15 122 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485792742880 0 0 -1 2 0 0 0
[pid=23502/tid=23514] ppid=23500 vsize=2315288 CPUtime=1.15 cores=0-31
/proc/23502/task/23514/stat : 23514 (claspmt) S 23500 23502 23472 0 -1 4202560 13901 0 0 0 16 99 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604498075164128 0 0 -1 19 0 0 0
[pid=23502/tid=23515] ppid=23500 vsize=2315288 CPUtime=1.24 cores=0-31
/proc/23502/task/23515/stat : 23515 (claspmt) S 23500 23502 23472 0 -1 4202560 10659 0 0 0 10 114 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604488823545312 0 0 -1 20 0 0 0
[pid=23502/tid=23516] ppid=23500 vsize=2315288 CPUtime=19.33 cores=0-31
/proc/23502/task/23516/stat : 23516 (claspmt) R 23500 23502 23472 0 -1 4202560 11542 0 0 0 1823 110 0 0 25 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=23502/tid=23517] ppid=23500 vsize=2315288 CPUtime=1.23 cores=0-31
/proc/23502/task/23517/stat : 23517 (claspmt) S 23500 23502 23472 0 -1 4202560 12993 0 0 0 16 107 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604501466979808 0 0 -1 22 0 0 0
[pid=23502/tid=23518] ppid=23500 vsize=2315288 CPUtime=1.29 cores=0-31
/proc/23502/task/23518/stat : 23518 (claspmt) S 23500 23502 23472 0 -1 4202560 12299 0 0 0 17 112 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485792751072 0 0 -1 6 0 0 0
[pid=23502/tid=23519] ppid=23500 vsize=2315288 CPUtime=1.2 cores=0-31
/proc/23502/task/23519/stat : 23519 (claspmt) S 23500 23502 23472 0 -1 4202560 10498 0 0 0 7 113 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499442875872 0 0 -1 28 0 0 0
[pid=23502/tid=23520] ppid=23500 vsize=2315288 CPUtime=0.98 cores=0-31
/proc/23502/task/23520/stat : 23520 (claspmt) S 23500 23502 23472 0 -1 4202560 10693 0 0 0 10 88 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604567211138528 0 0 -1 31 0 0 0
[pid=23502/tid=23521] ppid=23500 vsize=2315288 CPUtime=1.31 cores=0-31
/proc/23502/task/23521/stat : 23521 (claspmt) S 23500 23502 23472 0 -1 4202560 13441 0 0 0 13 118 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604561634393568 0 0 -1 24 0 0 0
[pid=23502/tid=23522] ppid=23500 vsize=2315288 CPUtime=1.27 cores=0-31
/proc/23502/task/23522/stat : 23522 (claspmt) S 23500 23502 23472 0 -1 4202560 13520 0 0 0 12 115 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604575270419936 0 0 -1 16 0 0 0
[pid=23502/tid=23523] ppid=23500 vsize=2315288 CPUtime=1.19 cores=0-31
/proc/23502/task/23523/stat : 23523 (claspmt) S 23500 23502 23472 0 -1 4202560 10369 0 0 0 9 110 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604567528087008 0 0 -1 12 0 0 0
[pid=23502/tid=23524] ppid=23500 vsize=2315288 CPUtime=19.17 cores=0-31
/proc/23502/task/23524/stat : 23524 (claspmt) R 23500 23502 23472 0 -1 4202560 11689 0 0 0 1790 127 0 0 25 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 4321161 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=23502/tid=23525] ppid=23500 vsize=2315288 CPUtime=1.12 cores=0-31
/proc/23502/task/23525/stat : 23525 (claspmt) S 23500 23502 23472 0 -1 4202560 13074 0 0 0 15 97 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604497971215840 0 0 -1 11 0 0 0
[pid=23502/tid=23526] ppid=23500 vsize=2315288 CPUtime=1.29 cores=0-31
/proc/23502/task/23526/stat : 23526 (claspmt) S 23500 23502 23472 0 -1 4202560 12457 0 0 0 15 114 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604488823553504 0 0 -1 17 0 0 0
[pid=23502/tid=23527] ppid=23500 vsize=2315288 CPUtime=0.85 cores=0-31
/proc/23502/task/23527/stat : 23527 (claspmt) S 23500 23502 23472 0 -1 4202560 9012 0 0 0 12 73 0 0 18 0 32 0 53016743 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604565879684576 0 0 -1 15 0 0 0
[pid=23502/tid=23528] ppid=23500 vsize=2315288 CPUtime=1.17 cores=0-31
/proc/23502/task/23528/stat : 23528 (claspmt) S 23500 23502 23472 0 -1 4202560 10078 0 0 0 8 109 0 0 18 0 32 0 53016744 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604503336181216 0 0 -1 21 0 0 0
[pid=23502/tid=23529] ppid=23500 vsize=2315288 CPUtime=0.9 cores=0-31
/proc/23502/task/23529/stat : 23529 (claspmt) S 23500 23502 23472 0 -1 4202560 11910 0 0 0 15 75 0 0 18 0 32 0 53016744 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604503336173024 0 0 -1 27 0 0 0
[pid=23502/tid=23530] ppid=23500 vsize=2315288 CPUtime=1.15 cores=0-31
/proc/23502/task/23530/stat : 23530 (claspmt) S 23500 23502 23472 0 -1 4202560 12974 0 0 0 16 99 0 0 18 0 32 0 53016744 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604563445767648 0 0 -1 23 0 0 0
[pid=23502/tid=23531] ppid=23500 vsize=2315288 CPUtime=1.13 cores=0-31
/proc/23502/task/23531/stat : 23531 (claspmt) S 23500 23502 23472 0 -1 4202560 9840 0 0 0 8 105 0 0 18 0 32 0 53016744 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604503336189408 0 0 -1 10 0 0 0
[pid=23502/tid=23532] ppid=23500 vsize=2315288 CPUtime=19.45 cores=0-31
/proc/23502/task/23532/stat : 23532 (claspmt) R 23500 23502 23472 0 -1 4202560 10971 0 0 0 1835 110 0 0 25 0 32 0 53016744 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 4670112 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=23502/tid=23533] ppid=23500 vsize=2315288 CPUtime=1.3 cores=0-31
/proc/23502/task/23533/stat : 23533 (claspmt) S 23500 23502 23472 0 -1 4202560 12958 0 0 0 13 117 0 0 18 0 32 0 53016744 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485330861536 0 0 -1 13 0 0 0
[pid=23502/tid=23534] ppid=23500 vsize=2315288 CPUtime=1.35 cores=0-31
/proc/23502/task/23534/stat : 23534 (claspmt) S 23500 23502 23472 0 -1 4202560 12399 0 0 0 18 117 0 0 18 0 32 0 53016744 2370854912 321183 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604501736250848 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 115.38
Current children cumulated vsize (KiB) 2315288

[startup+27.2019 s]
/proc/loadavg: 5.29 4.34 4.85 5/445 23534
/proc/meminfo: memFree=260438892/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=2315288 CPUtime=121.78 cores=0-31
/proc/23502/stat : 23502 (claspmt) S 23500 23502 23472 0 -1 4202496 429907 0 0 0 8785 3393 0 0 18 0 32 0 53016205 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 29 0 0 0
/proc/23502/statm: 578822 321185 440 189 0 573171 0
[pid=23502/tid=23504] ppid=23500 vsize=2315288 CPUtime=1.3 cores=0-31
/proc/23502/task/23504/stat : 23504 (claspmt) S 23500 23502 23472 0 -1 4202560 10666 0 0 0 10 120 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604560703675872 0 0 -1 1 0 0 0
[pid=23502/tid=23505] ppid=23500 vsize=2315288 CPUtime=1.22 cores=0-31
/proc/23502/task/23505/stat : 23505 (claspmt) S 23500 23502 23472 0 -1 4202560 12889 0 0 0 12 110 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604488823561696 0 0 -1 14 0 0 0
[pid=23502/tid=23506] ppid=23500 vsize=2315288 CPUtime=1.35 cores=0-31
/proc/23502/task/23506/stat : 23506 (claspmt) S 23500 23502 23472 0 -1 4202560 12412 0 0 0 16 119 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604567467621856 0 0 -1 3 0 0 0
[pid=23502/tid=23507] ppid=23500 vsize=2315288 CPUtime=1.23 cores=0-31
/proc/23502/task/23507/stat : 23507 (claspmt) S 23500 23502 23472 0 -1 4202560 9744 0 0 0 8 115 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499966598624 0 0 -1 4 0 0 0
[pid=23502/tid=23508] ppid=23500 vsize=2315288 CPUtime=20.9 cores=0-31
/proc/23502/task/23508/stat : 23508 (claspmt) R 23500 23502 23472 0 -1 4202560 11372 0 0 0 1977 113 0 0 25 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=23502/tid=23509] ppid=23500 vsize=2315288 CPUtime=1.29 cores=0-31
/proc/23502/task/23509/stat : 23509 (claspmt) S 23500 23502 23472 0 -1 4202560 13653 0 0 0 13 116 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485330853344 0 0 -1 18 0 0 0
[pid=23502/tid=23510] ppid=23500 vsize=2315288 CPUtime=1.38 cores=0-31
/proc/23502/task/23510/stat : 23510 (claspmt) S 23500 23502 23472 0 -1 4202560 11925 0 0 0 15 123 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499442867680 0 0 -1 5 0 0 0
[pid=23502/tid=23511] ppid=23500 vsize=2315288 CPUtime=1.15 cores=0-31
/proc/23502/task/23511/stat : 23511 (claspmt) S 23500 23502 23472 0 -1 4202560 10528 0 0 0 8 107 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604571435277792 0 0 -1 25 0 0 0
[pid=23502/tid=23512] ppid=23500 vsize=2315288 CPUtime=1 cores=0-31
/proc/23502/task/23512/stat : 23512 (claspmt) S 23500 23502 23472 0 -1 4202560 10691 0 0 0 13 87 0 0 17 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499966606816 0 0 -1 7 0 0 0
[pid=23502/tid=23513] ppid=23500 vsize=2315288 CPUtime=1.37 cores=0-31
/proc/23502/task/23513/stat : 23513 (claspmt) S 23500 23502 23472 0 -1 4202560 13096 0 0 0 15 122 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485792742880 0 0 -1 2 0 0 0
[pid=23502/tid=23514] ppid=23500 vsize=2315288 CPUtime=1.15 cores=0-31
/proc/23502/task/23514/stat : 23514 (claspmt) S 23500 23502 23472 0 -1 4202560 13901 0 0 0 16 99 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604498075164128 0 0 -1 19 0 0 0
[pid=23502/tid=23515] ppid=23500 vsize=2315288 CPUtime=1.24 cores=0-31
/proc/23502/task/23515/stat : 23515 (claspmt) S 23500 23502 23472 0 -1 4202560 10659 0 0 0 10 114 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604488823545312 0 0 -1 20 0 0 0
[pid=23502/tid=23516] ppid=23500 vsize=2315288 CPUtime=20.93 cores=0-31
/proc/23502/task/23516/stat : 23516 (claspmt) R 23500 23502 23472 0 -1 4202560 11543 0 0 0 1983 110 0 0 25 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 4670020 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=23502/tid=23517] ppid=23500 vsize=2315288 CPUtime=1.23 cores=0-31
/proc/23502/task/23517/stat : 23517 (claspmt) S 23500 23502 23472 0 -1 4202560 12993 0 0 0 16 107 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604501466979808 0 0 -1 22 0 0 0
[pid=23502/tid=23518] ppid=23500 vsize=2315288 CPUtime=1.29 cores=0-31
/proc/23502/task/23518/stat : 23518 (claspmt) S 23500 23502 23472 0 -1 4202560 12299 0 0 0 17 112 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485792751072 0 0 -1 6 0 0 0
[pid=23502/tid=23519] ppid=23500 vsize=2315288 CPUtime=1.2 cores=0-31
/proc/23502/task/23519/stat : 23519 (claspmt) S 23500 23502 23472 0 -1 4202560 10498 0 0 0 7 113 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604499442875872 0 0 -1 28 0 0 0
[pid=23502/tid=23520] ppid=23500 vsize=2315288 CPUtime=0.98 cores=0-31
/proc/23502/task/23520/stat : 23520 (claspmt) S 23500 23502 23472 0 -1 4202560 10693 0 0 0 10 88 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604567211138528 0 0 -1 31 0 0 0
[pid=23502/tid=23521] ppid=23500 vsize=2315288 CPUtime=1.31 cores=0-31
/proc/23502/task/23521/stat : 23521 (claspmt) S 23500 23502 23472 0 -1 4202560 13441 0 0 0 13 118 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604561634393568 0 0 -1 24 0 0 0
[pid=23502/tid=23522] ppid=23500 vsize=2315288 CPUtime=1.27 cores=0-31
/proc/23502/task/23522/stat : 23522 (claspmt) S 23500 23502 23472 0 -1 4202560 13520 0 0 0 12 115 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604575270419936 0 0 -1 16 0 0 0
[pid=23502/tid=23523] ppid=23500 vsize=2315288 CPUtime=1.19 cores=0-31
/proc/23502/task/23523/stat : 23523 (claspmt) S 23500 23502 23472 0 -1 4202560 10369 0 0 0 9 110 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604567528087008 0 0 -1 12 0 0 0
[pid=23502/tid=23524] ppid=23500 vsize=2315288 CPUtime=20.77 cores=0-31
/proc/23502/task/23524/stat : 23524 (claspmt) R 23500 23502 23472 0 -1 4202560 11689 0 0 0 1950 127 0 0 25 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=23502/tid=23525] ppid=23500 vsize=2315288 CPUtime=1.12 cores=0-31
/proc/23502/task/23525/stat : 23525 (claspmt) S 23500 23502 23472 0 -1 4202560 13074 0 0 0 15 97 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604497971215840 0 0 -1 11 0 0 0
[pid=23502/tid=23526] ppid=23500 vsize=2315288 CPUtime=1.29 cores=0-31
/proc/23502/task/23526/stat : 23526 (claspmt) S 23500 23502 23472 0 -1 4202560 12457 0 0 0 15 114 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604488823553504 0 0 -1 17 0 0 0
[pid=23502/tid=23527] ppid=23500 vsize=2315288 CPUtime=0.85 cores=0-31
/proc/23502/task/23527/stat : 23527 (claspmt) S 23500 23502 23472 0 -1 4202560 9012 0 0 0 12 73 0 0 18 0 32 0 53016743 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604565879684576 0 0 -1 15 0 0 0
[pid=23502/tid=23528] ppid=23500 vsize=2315288 CPUtime=1.17 cores=0-31
/proc/23502/task/23528/stat : 23528 (claspmt) S 23500 23502 23472 0 -1 4202560 10078 0 0 0 8 109 0 0 18 0 32 0 53016744 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604503336181216 0 0 -1 21 0 0 0
[pid=23502/tid=23529] ppid=23500 vsize=2315288 CPUtime=0.9 cores=0-31
/proc/23502/task/23529/stat : 23529 (claspmt) S 23500 23502 23472 0 -1 4202560 11910 0 0 0 15 75 0 0 18 0 32 0 53016744 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604503336173024 0 0 -1 27 0 0 0
[pid=23502/tid=23530] ppid=23500 vsize=2315288 CPUtime=1.15 cores=0-31
/proc/23502/task/23530/stat : 23530 (claspmt) S 23500 23502 23472 0 -1 4202560 12974 0 0 0 16 99 0 0 18 0 32 0 53016744 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604563445767648 0 0 -1 23 0 0 0
[pid=23502/tid=23531] ppid=23500 vsize=2315288 CPUtime=1.13 cores=0-31
/proc/23502/task/23531/stat : 23531 (claspmt) S 23500 23502 23472 0 -1 4202560 9840 0 0 0 8 105 0 0 18 0 32 0 53016744 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604503336189408 0 0 -1 10 0 0 0
[pid=23502/tid=23532] ppid=23500 vsize=2315288 CPUtime=21.05 cores=0-31
/proc/23502/task/23532/stat : 23532 (claspmt) R 23500 23502 23472 0 -1 4202560 10971 0 0 0 1995 110 0 0 25 0 32 0 53016744 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=23502/tid=23533] ppid=23500 vsize=2315288 CPUtime=1.3 cores=0-31
/proc/23502/task/23533/stat : 23533 (claspmt) S 23500 23502 23472 0 -1 4202560 12958 0 0 0 13 117 0 0 18 0 32 0 53016744 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604485330861536 0 0 -1 13 0 0 0
[pid=23502/tid=23534] ppid=23500 vsize=2315288 CPUtime=1.35 cores=0-31
/proc/23502/task/23534/stat : 23534 (claspmt) S 23500 23502 23472 0 -1 4202560 12399 0 0 0 18 117 0 0 18 0 32 0 53016744 2370854912 321185 270582939648 4194304 4964800 140737264893504 18446744073709551615 258662772457 0 0 4096 18946 18446604501736250848 0 0 -1 9 0 0 0
Current children cumulated CPU time (s) 121.78
Current children cumulated vsize (KiB) 2315288

[startup+28.001 s]
/proc/loadavg: 5.19 4.33 4.85 5/445 23534
/proc/meminfo: memFree=260439308/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=2178464 CPUtime=124.12 cores=0-31
/proc/23502/stat : 23502 (claspmt) R 23500 23502 23472 0 -1 4202496 429920 0 0 0 9018 3394 0 0 18 0 1 0 53016205 2230747136 309498 270582939648 4194304 4964800 140737264893504 18446744073709551615 258650604658 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/23502/statm: 544616 309498 451 189 0 538965 0
Current children cumulated CPU time (s) 124.12
Current children cumulated vsize (KiB) 2178464

[startup+28.8011 s]
/proc/loadavg: 5.19 4.33 4.85 2/414 23534
/proc/meminfo: memFree=260774232/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=1779460 CPUtime=124.92 cores=0-31
/proc/23502/stat : 23502 (claspmt) R 23500 23502 23472 0 -1 4202496 429920 0 0 0 9095 3397 0 0 19 0 1 0 53016205 1822167040 194236 270582939648 4194304 4964800 140737264893504 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/23502/statm: 444865 194236 451 189 0 439214 0
Current children cumulated CPU time (s) 124.92
Current children cumulated vsize (KiB) 1779460

[startup+29.0011 s]
/proc/loadavg: 5.19 4.33 4.85 2/414 23534
/proc/meminfo: memFree=260774232/264257624 swapFree=67111528/67111528
[pid=23502] ppid=23500 vsize=1386136 CPUtime=125.13 cores=0-31
/proc/23502/stat : 23502 (claspmt) R 23500 23502 23472 0 -1 4202496 429920 0 0 0 9111 3402 0 0 19 0 1 0 53016205 1419403264 69909 270582939648 4194304 4964800 140737264893504 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 29 0 0 0
/proc/23502/statm: 346534 69876 451 189 0 340883 0
Current children cumulated CPU time (s) 125.13
Current children cumulated vsize (KiB) 1386136

Child status: 20
Real time (s): 29.0569
CPU time (s): 125.186
CPU user time (s): 91.1451
CPU system time (s): 34.0408
CPU usage (%): 430.831
Max. virtual memory (cumulated for all children) (KiB): 2315288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.1451
system time used= 34.0408
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 429921
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= 164146
involuntary context switches= 188

runsolver used 0.197969 second user time and 0.701893 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-12 12:58:13
IDJOB=3472555
IDBENCH=88178
IDSOLVER=1961
FILE ID=node200/3472555-1307876292
RUNJOBID= node200-1307876292-23486
PBS_JOBID= 13551119
Free space on /tmp= 61720 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT-Race-2010-CNF/software-verification/nec/hard-6-U-7061.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-3472555-1307876292/watcher-3472555-1307876292 -o /tmp/evaluation-result-3472555-1307876292/solver-3472555-1307876292 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472555-1307876292.cnf

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

MD5SUM BENCH= b15321a24257fa4bdfd9c20c782f4c0e
RANDOM SEED=564477343

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:      261717204 kB
Buffers:        306408 kB
Cached:        1903108 kB
SwapCached:          0 kB
Active:         380128 kB
Inactive:      1893040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      261717204 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           22796 kB
Writeback:           0 kB
AnonPages:       63304 kB
Mapped:          14480 kB
Slab:           186684 kB
PageTables:       4392 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   179900 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= 61720 MiB
End job on node200 at 2011-06-12 12:58:42