Trace number 3372120

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Plingeling 587f (fixed)UNSAT 2740.67 86.6844

General information on the benchmark

Nameindustrial/fuhs/medium/
AProVE07-21.cnf
MD5SUM627e3d704e5200c3037f9c9d83c939c1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark565.95
Satisfiable
(Un)Satisfiability was proved
Number of variables3189
Number of clauses11039
Sum of the clauses size28509
Maximum clause length25
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25404
Number of clauses of size 35107
Number of clauses of size 4389
Number of clauses of size 586
Number of clauses of size over 552

Solver Data 

2740.60/86.68	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3372120-1305436392/watcher-3372120-1305436392 -o /tmp/evaluation-result-3372120-1305436392/solver-3372120-1305436392 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372120-1305436392.cnf 

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

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


[startup+0 s]
/proc/loadavg: 29.59 31.60 31.89 3/413 9584
/proc/meminfo: memFree=255589168/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=13140 CPUtime=0.03 cores=0-31
/proc/9584/stat : 9584 (plingeling) R 9582 9584 9558 0 -1 4202496 1366 1243 0 0 2 0 0 1 22 0 1 0 655125607 13455360 1297 268435456000 4194304 4417452 140736036065232 18446744073709551615 4235968 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9584/statm: 3285 1297 145 55 0 1171 0

[startup+0.123204 s]
/proc/loadavg: 29.59 31.60 31.89 3/413 9584
/proc/meminfo: memFree=255589168/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=19240 CPUtime=0.11 cores=0-31
/proc/9584/stat : 9584 (plingeling) R 9582 9584 9558 0 -1 4202496 2895 1243 0 0 10 0 0 1 22 0 1 0 655125607 19701760 2826 268435456000 4194304 4417452 140736036065232 18446744073709551615 4209539 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9584/statm: 4810 2826 145 55 0 2696 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 19240

[startup+0.201199 s]
/proc/loadavg: 29.59 31.60 31.89 3/413 9584
/proc/meminfo: memFree=255589168/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=27492 CPUtime=0.19 cores=0-31
/proc/9584/stat : 9584 (plingeling) R 9582 9584 9558 0 -1 4202496 4943 1243 0 0 17 1 0 1 22 0 1 0 655125607 28151808 4874 268435456000 4194304 4417452 140736036065232 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/9584/statm: 6873 4874 146 55 0 4759 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27492

[startup+0.30106 s]
/proc/loadavg: 29.59 31.60 31.89 3/413 9584
/proc/meminfo: memFree=255589168/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=747616 CPUtime=0.45 cores=0-31
/proc/9584/stat : 9584 (plingeling) S 9582 9584 9558 0 -1 4202496 6260 1243 0 0 42 2 0 1 19 0 33 0 655125607 765558784 5395 268435456000 4194304 4417452 140736036065232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/9584/statm: 186904 5395 170 55 0 184790 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 747616

[startup+1.21309 s]
/proc/loadavg: 29.59 31.60 31.89 3/413 9584
/proc/meminfo: memFree=255589168/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=770728 CPUtime=29.19 cores=0-31
/proc/9584/stat : 9584 (plingeling) S 9582 9584 9558 0 -1 4202496 15956 1243 0 0 2908 10 0 1 19 0 33 0 655125607 789225472 12323 268435456000 4194304 4417452 140736036065232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/9584/statm: 192682 12276 175 55 0 190568 0
Current children cumulated CPU time (s) 29.19
Current children cumulated vsize (KiB) 770728

[startup+1.5001 s]
/proc/loadavg: 29.59 31.60 31.89 3/413 9584
/proc/meminfo: memFree=255589168/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=777848 CPUtime=37.94 cores=0-31
/proc/9584/stat : 9584 (plingeling) S 9582 9584 9558 0 -1 4202496 23362 1243 0 0 3773 20 0 1 19 0 33 0 655125607 796516352 14331 268435456000 4194304 4417452 140736036065232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/9584/statm: 194462 14331 175 55 0 192348 0
Current children cumulated CPU time (s) 37.94
Current children cumulated vsize (KiB) 777848

[startup+3.10216 s]
/proc/loadavg: 29.78 31.61 31.89 33/446 9622
/proc/meminfo: memFree=255486392/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=816116 CPUtime=88.29 cores=0-31
/proc/9584/stat : 9584 (plingeling) S 9582 9584 9558 0 -1 4202496 63288 1243 0 0 8745 83 0 1 19 0 33 0 655125607 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/9584/statm: 204029 23823 175 55 0 201915 0
[pid=9584/tid=9591] ppid=9582 vsize=816116 CPUtime=2.78 cores=0-31
/proc/9584/task/9591/stat : 9591 (plingeling) R 9582 9584 9558 0 -1 4202560 1795 1243 0 0 275 2 0 1 18 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4236766 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9584/tid=9592] ppid=9582 vsize=816116 CPUtime=2.76 cores=0-31
/proc/9584/task/9592/stat : 9592 (plingeling) R 9582 9584 9558 0 -1 4202560 1923 1243 0 0 274 1 0 1 22 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9584/tid=9593] ppid=9582 vsize=816116 CPUtime=2.75 cores=0-31
/proc/9584/task/9593/stat : 9593 (plingeling) R 9582 9584 9558 0 -1 4202560 1834 1243 0 0 271 3 0 1 22 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9584/tid=9594] ppid=9582 vsize=816116 CPUtime=2.78 cores=0-31
/proc/9584/task/9594/stat : 9594 (plingeling) R 9582 9584 9558 0 -1 4202560 2012 1243 0 0 275 2 0 1 18 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9584/tid=9595] ppid=9582 vsize=816116 CPUtime=2.77 cores=0-31
/proc/9584/task/9595/stat : 9595 (plingeling) R 9582 9584 9558 0 -1 4202560 1943 1243 0 0 274 2 0 1 22 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4273321 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9584/tid=9596] ppid=9582 vsize=816116 CPUtime=2.76 cores=0-31
/proc/9584/task/9596/stat : 9596 (plingeling) R 9582 9584 9558 0 -1 4202560 1951 1243 0 0 272 3 0 1 18 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4365434 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9584/tid=9597] ppid=9582 vsize=816116 CPUtime=2.78 cores=0-31
/proc/9584/task/9597/stat : 9597 (plingeling) R 9582 9584 9558 0 -1 4202560 1885 1243 0 0 275 2 0 1 18 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4356980 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9584/tid=9598] ppid=9582 vsize=816116 CPUtime=2.76 cores=0-31
/proc/9584/task/9598/stat : 9598 (plingeling) R 9582 9584 9558 0 -1 4202560 2019 1243 0 0 273 2 0 1 20 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9584/tid=9599] ppid=9582 vsize=816116 CPUtime=2.74 cores=0-31
/proc/9584/task/9599/stat : 9599 (plingeling) R 9582 9584 9558 0 -1 4202560 1821 1243 0 0 271 2 0 1 18 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9584/tid=9600] ppid=9582 vsize=816116 CPUtime=2.72 cores=0-31
/proc/9584/task/9600/stat : 9600 (plingeling) R 9582 9584 9558 0 -1 4202560 1698 1243 0 0 270 1 0 1 25 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4250648 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9584/tid=9601] ppid=9582 vsize=816116 CPUtime=2.76 cores=0-31
/proc/9584/task/9601/stat : 9601 (plingeling) R 9582 9584 9558 0 -1 4202560 1254 1243 0 0 274 1 0 1 18 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4365106 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9584/tid=9602] ppid=9582 vsize=816116 CPUtime=2.74 cores=0-31
/proc/9584/task/9602/stat : 9602 (plingeling) R 9582 9584 9558 0 -1 4202560 2139 1243 0 0 270 3 0 1 18 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4319752 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9584/tid=9603] ppid=9582 vsize=816116 CPUtime=2.77 cores=0-31
/proc/9584/task/9603/stat : 9603 (plingeling) R 9582 9584 9558 0 -1 4202560 1810 1243 0 0 274 2 0 1 18 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4252365 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9584/tid=9604] ppid=9582 vsize=816116 CPUtime=2.77 cores=0-31
/proc/9584/task/9604/stat : 9604 (plingeling) R 9582 9584 9558 0 -1 4202560 1729 1243 0 0 274 2 0 1 23 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4353661 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9584/tid=9605] ppid=9582 vsize=816116 CPUtime=2.76 cores=0-31
/proc/9584/task/9605/stat : 9605 (plingeling) R 9582 9584 9558 0 -1 4202560 1705 1243 0 0 273 2 0 1 18 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9584/tid=9606] ppid=9582 vsize=816116 CPUtime=2.74 cores=0-31
/proc/9584/task/9606/stat : 9606 (plingeling) R 9582 9584 9558 0 -1 4202560 1748 1243 0 0 270 3 0 1 25 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9584/tid=9607] ppid=9582 vsize=816116 CPUtime=2.73 cores=0-31
/proc/9584/task/9607/stat : 9607 (plingeling) R 9582 9584 9558 0 -1 4202560 2199 1243 0 0 270 2 0 1 18 0 33 0 655125634 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4302061 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9584/tid=9608] ppid=9582 vsize=816116 CPUtime=2.75 cores=0-31
/proc/9584/task/9608/stat : 9608 (plingeling) R 9582 9584 9558 0 -1 4202560 1303 1243 0 0 273 1 0 1 19 0 33 0 655125635 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 18446744073699065964 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9584/tid=9609] ppid=9582 vsize=816116 CPUtime=2.75 cores=0-31
/proc/9584/task/9609/stat : 9609 (plingeling) R 9582 9584 9558 0 -1 4202560 1486 1243 0 0 273 1 0 1 25 0 33 0 655125635 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 18446744073699065873 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9584/tid=9610] ppid=9582 vsize=816116 CPUtime=2.72 cores=0-31
/proc/9584/task/9610/stat : 9610 (plingeling) R 9582 9584 9558 0 -1 4202560 1889 1243 0 0 269 2 0 1 19 0 33 0 655125635 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9584/tid=9611] ppid=9582 vsize=816116 CPUtime=2.72 cores=0-31
/proc/9584/task/9611/stat : 9611 (plingeling) R 9582 9584 9558 0 -1 4202560 1705 1243 0 0 270 1 0 1 19 0 33 0 655125635 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9584/tid=9612] ppid=9582 vsize=816116 CPUtime=2.72 cores=0-31
/proc/9584/task/9612/stat : 9612 (plingeling) R 9582 9584 9558 0 -1 4202560 2050 1243 0 0 268 3 0 1 25 0 33 0 655125635 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9584/tid=9613] ppid=9582 vsize=816116 CPUtime=2.75 cores=0-31
/proc/9584/task/9613/stat : 9613 (plingeling) R 9582 9584 9558 0 -1 4202560 1982 1243 0 0 272 2 0 1 22 0 33 0 655125635 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9584/tid=9614] ppid=9582 vsize=816116 CPUtime=2.74 cores=0-31
/proc/9584/task/9614/stat : 9614 (plingeling) R 9582 9584 9558 0 -1 4202560 1890 1243 0 0 270 3 0 1 18 0 33 0 655125635 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4236623 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9584/tid=9615] ppid=9582 vsize=816116 CPUtime=2.75 cores=0-31
/proc/9584/task/9615/stat : 9615 (plingeling) R 9582 9584 9558 0 -1 4202560 1614 1243 0 0 272 2 0 1 18 0 33 0 655125636 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364829 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9584/tid=9616] ppid=9582 vsize=816116 CPUtime=2.75 cores=0-31
/proc/9584/task/9616/stat : 9616 (plingeling) R 9582 9584 9558 0 -1 4202560 1739 1243 0 0 272 2 0 1 19 0 33 0 655125636 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9584/tid=9617] ppid=9582 vsize=816116 CPUtime=2.77 cores=0-31
/proc/9584/task/9617/stat : 9617 (plingeling) R 9582 9584 9558 0 -1 4202560 1550 1243 0 0 274 2 0 1 18 0 33 0 655125636 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4365949 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9584/tid=9618] ppid=9582 vsize=816116 CPUtime=2.74 cores=0-31
/proc/9584/task/9618/stat : 9618 (plingeling) R 9582 9584 9558 0 -1 4202560 1771 1243 0 0 271 2 0 1 18 0 33 0 655125636 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4356878 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9584/tid=9619] ppid=9582 vsize=816116 CPUtime=2.76 cores=0-31
/proc/9584/task/9619/stat : 9619 (plingeling) R 9582 9584 9558 0 -1 4202560 1903 1243 0 0 273 2 0 1 18 0 33 0 655125636 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4232695 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9584/tid=9620] ppid=9582 vsize=816116 CPUtime=2.73 cores=0-31
/proc/9584/task/9620/stat : 9620 (plingeling) R 9582 9584 9558 0 -1 4202560 2345 1243 0 0 270 2 0 1 18 0 33 0 655125636 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4253385 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9584/tid=9621] ppid=9582 vsize=816116 CPUtime=2.74 cores=0-31
/proc/9584/task/9621/stat : 9621 (plingeling) R 9582 9584 9558 0 -1 4202560 1989 1243 0 0 270 3 0 1 18 0 33 0 655125637 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4250678 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9584/tid=9622] ppid=9582 vsize=816116 CPUtime=2.74 cores=0-31
/proc/9584/task/9622/stat : 9622 (plingeling) R 9582 9584 9558 0 -1 4202560 1625 1243 0 0 272 1 0 1 20 0 33 0 655125637 835702784 23823 268435456000 4194304 4417452 140736036065232 18446744073709551615 4252022 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 88.29
Current children cumulated vsize (KiB) 816116

[startup+6.32327 s]
/proc/loadavg: 29.78 31.61 31.89 33/446 9622
/proc/meminfo: memFree=255432280/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=866056 CPUtime=189.19 cores=0-31
/proc/9584/stat : 9584 (plingeling) S 9582 9584 9558 0 -1 4202496 138800 1243 0 0 18705 213 0 1 19 0 33 0 655125607 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/9584/statm: 216514 36358 175 55 0 214400 0
[pid=9584/tid=9591] ppid=9582 vsize=866056 CPUtime=5.93 cores=0-31
/proc/9584/task/9591/stat : 9591 (plingeling) R 9582 9584 9558 0 -1 4202560 3905 1243 0 0 585 7 0 1 25 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4278271 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9584/tid=9592] ppid=9582 vsize=866056 CPUtime=5.89 cores=0-31
/proc/9584/task/9592/stat : 9592 (plingeling) D 9582 9584 9558 0 -1 4202560 4648 1243 0 0 582 6 0 1 18 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9584/tid=9593] ppid=9582 vsize=866056 CPUtime=5.95 cores=0-31
/proc/9584/task/9593/stat : 9593 (plingeling) R 9582 9584 9558 0 -1 4202560 3554 1243 0 0 589 5 0 1 25 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9584/tid=9594] ppid=9582 vsize=866056 CPUtime=5.94 cores=0-31
/proc/9584/task/9594/stat : 9594 (plingeling) R 9582 9584 9558 0 -1 4202560 4434 1243 0 0 586 7 0 1 21 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4236845 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9584/tid=9595] ppid=9582 vsize=866056 CPUtime=5.93 cores=0-31
/proc/9584/task/9595/stat : 9595 (plingeling) R 9582 9584 9558 0 -1 4202560 4842 1243 0 0 586 6 0 1 25 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4252286 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9584/tid=9596] ppid=9582 vsize=866056 CPUtime=5.87 cores=0-31
/proc/9584/task/9596/stat : 9596 (plingeling) R 9582 9584 9558 0 -1 4202560 4467 1243 0 0 578 8 0 1 18 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4307554 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9584/tid=9597] ppid=9582 vsize=866056 CPUtime=5.93 cores=0-31
/proc/9584/task/9597/stat : 9597 (plingeling) R 9582 9584 9558 0 -1 4202560 4655 1243 0 0 586 6 0 1 19 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9584/tid=9598] ppid=9582 vsize=866056 CPUtime=5.9 cores=0-31
/proc/9584/task/9598/stat : 9598 (plingeling) R 9582 9584 9558 0 -1 4202560 4572 1243 0 0 582 7 0 1 25 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4306274 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9584/tid=9599] ppid=9582 vsize=866056 CPUtime=5.9 cores=0-31
/proc/9584/task/9599/stat : 9599 (plingeling) R 9582 9584 9558 0 -1 4202560 4436 1243 0 0 583 6 0 1 18 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4343529 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9584/tid=9600] ppid=9582 vsize=866056 CPUtime=5.91 cores=0-31
/proc/9584/task/9600/stat : 9600 (plingeling) R 9582 9584 9558 0 -1 4202560 4202 1243 0 0 585 5 0 1 19 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4310429 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9584/tid=9601] ppid=9582 vsize=866056 CPUtime=5.92 cores=0-31
/proc/9584/task/9601/stat : 9601 (plingeling) R 9582 9584 9558 0 -1 4202560 3545 1243 0 0 587 4 0 1 23 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9584/tid=9602] ppid=9582 vsize=866056 CPUtime=5.88 cores=0-31
/proc/9584/task/9602/stat : 9602 (plingeling) R 9582 9584 9558 0 -1 4202560 4942 1243 0 0 580 7 0 1 21 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4307411 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9584/tid=9603] ppid=9582 vsize=866056 CPUtime=5.94 cores=0-31
/proc/9584/task/9603/stat : 9603 (plingeling) R 9582 9584 9558 0 -1 4202560 4109 1243 0 0 587 6 0 1 25 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4310182 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9584/tid=9604] ppid=9582 vsize=866056 CPUtime=5.92 cores=0-31
/proc/9584/task/9604/stat : 9604 (plingeling) R 9582 9584 9558 0 -1 4202560 4039 1243 0 0 584 7 0 1 19 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9584/tid=9605] ppid=9582 vsize=866056 CPUtime=5.93 cores=0-31
/proc/9584/task/9605/stat : 9605 (plingeling) R 9582 9584 9558 0 -1 4202560 3540 1243 0 0 587 5 0 1 22 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9584/tid=9606] ppid=9582 vsize=866056 CPUtime=5.87 cores=0-31
/proc/9584/task/9606/stat : 9606 (plingeling) R 9582 9584 9558 0 -1 4202560 3665 1243 0 0 580 6 0 1 21 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4305698 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9584/tid=9607] ppid=9582 vsize=866056 CPUtime=5.92 cores=0-31
/proc/9584/task/9607/stat : 9607 (plingeling) R 9582 9584 9558 0 -1 4202560 4155 1243 0 0 584 7 0 1 19 0 33 0 655125634 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9584/tid=9608] ppid=9582 vsize=866056 CPUtime=5.86 cores=0-31
/proc/9584/task/9608/stat : 9608 (plingeling) R 9582 9584 9558 0 -1 4202560 3887 1243 0 0 578 7 0 1 25 0 33 0 655125635 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4365984 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9584/tid=9609] ppid=9582 vsize=866056 CPUtime=5.89 cores=0-31
/proc/9584/task/9609/stat : 9609 (plingeling) R 9582 9584 9558 0 -1 4202560 3879 1243 0 0 583 5 0 1 25 0 33 0 655125635 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4321406 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9584/tid=9610] ppid=9582 vsize=866056 CPUtime=5.9 cores=0-31
/proc/9584/task/9610/stat : 9610 (plingeling) R 9582 9584 9558 0 -1 4202560 4264 1243 0 0 582 7 0 1 18 0 33 0 655125635 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4274783 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9584/tid=9611] ppid=9582 vsize=866056 CPUtime=5.93 cores=0-31
/proc/9584/task/9611/stat : 9611 (plingeling) D 9582 9584 9558 0 -1 4202560 2968 1243 0 0 588 4 0 1 21 0 33 0 655125635 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 258651013786 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9584/tid=9612] ppid=9582 vsize=866056 CPUtime=5.82 cores=0-31
/proc/9584/task/9612/stat : 9612 (plingeling) R 9582 9584 9558 0 -1 4202560 5085 1243 0 0 572 9 0 1 21 0 33 0 655125635 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4306329 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9584/tid=9613] ppid=9582 vsize=866056 CPUtime=5.87 cores=0-31
/proc/9584/task/9613/stat : 9613 (plingeling) R 9582 9584 9558 0 -1 4202560 4609 1243 0 0 581 5 0 1 21 0 33 0 655125635 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4357976 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=9584/tid=9614] ppid=9582 vsize=866056 CPUtime=5.83 cores=0-31
/proc/9584/task/9614/stat : 9614 (plingeling) R 9582 9584 9558 0 -1 4202560 4659 1243 0 0 575 7 0 1 19 0 33 0 655125635 886841344 36358 268435456000 4194304 4417452 140736036065232 18446744073709551615 4305920 0 0 4096 17442 0 0 0 -1 2 0 0 0

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

/proc/9584/task/9596/stat : 9596 (plingeling) R 9582 9584 9558 0 -1 4202560 40222 1243 0 0 8397 60 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9584/tid=9597] ppid=9582 vsize=1111432 CPUtime=84.76 cores=0-31
/proc/9584/task/9597/stat : 9597 (plingeling) R 9582 9584 9558 0 -1 4202560 43423 1243 0 0 8420 55 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364752 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9584/tid=9598] ppid=9582 vsize=1111432 CPUtime=84.67 cores=0-31
/proc/9584/task/9598/stat : 9598 (plingeling) R 9582 9584 9558 0 -1 4202560 40383 1243 0 0 8412 54 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9584/tid=9599] ppid=9582 vsize=1111432 CPUtime=84.41 cores=0-31
/proc/9584/task/9599/stat : 9599 (plingeling) R 9582 9584 9558 0 -1 4202560 38134 1243 0 0 8386 54 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9584/tid=9600] ppid=9582 vsize=1111432 CPUtime=84.45 cores=0-31
/proc/9584/task/9600/stat : 9600 (plingeling) R 9582 9584 9558 0 -1 4202560 41665 1243 0 0 8380 64 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9584/tid=9601] ppid=9582 vsize=1111432 CPUtime=84.43 cores=0-31
/proc/9584/task/9601/stat : 9601 (plingeling) R 9582 9584 9558 0 -1 4202560 34918 1243 0 0 8404 38 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9584/tid=9602] ppid=9582 vsize=1111432 CPUtime=84.79 cores=0-31
/proc/9584/task/9602/stat : 9602 (plingeling) R 9582 9584 9558 0 -1 4202560 40128 1243 0 0 8429 49 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4251063 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9584/tid=9603] ppid=9582 vsize=1111432 CPUtime=84.88 cores=0-31
/proc/9584/task/9603/stat : 9603 (plingeling) R 9582 9584 9558 0 -1 4202560 40619 1243 0 0 8434 53 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9584/tid=9604] ppid=9582 vsize=1111432 CPUtime=84.62 cores=0-31
/proc/9584/task/9604/stat : 9604 (plingeling) R 9582 9584 9558 0 -1 4202560 42252 1243 0 0 8404 57 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4247533 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9584/tid=9605] ppid=9582 vsize=1111432 CPUtime=84.85 cores=0-31
/proc/9584/task/9605/stat : 9605 (plingeling) R 9582 9584 9558 0 -1 4202560 40234 1243 0 0 8430 54 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9584/tid=9606] ppid=9582 vsize=1111432 CPUtime=84.63 cores=0-31
/proc/9584/task/9606/stat : 9606 (plingeling) R 9582 9584 9558 0 -1 4202560 37557 1243 0 0 8409 53 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9584/tid=9607] ppid=9582 vsize=1111432 CPUtime=84.7 cores=0-31
/proc/9584/task/9607/stat : 9607 (plingeling) R 9582 9584 9558 0 -1 4202560 41903 1243 0 0 8406 63 0 1 25 0 33 0 655125634 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9584/tid=9608] ppid=9582 vsize=1111432 CPUtime=84.85 cores=0-31
/proc/9584/task/9608/stat : 9608 (plingeling) R 9582 9584 9558 0 -1 4202560 35399 1243 0 0 8434 50 0 1 25 0 33 0 655125635 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9584/tid=9609] ppid=9582 vsize=1111432 CPUtime=84.66 cores=0-31
/proc/9584/task/9609/stat : 9609 (plingeling) R 9582 9584 9558 0 -1 4202560 39079 1243 0 0 8416 49 0 1 25 0 33 0 655125635 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9584/tid=9610] ppid=9582 vsize=1111432 CPUtime=84.62 cores=0-31
/proc/9584/task/9610/stat : 9610 (plingeling) R 9582 9584 9558 0 -1 4202560 37900 1243 0 0 8404 57 0 1 25 0 33 0 655125635 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364752 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9584/tid=9611] ppid=9582 vsize=1111432 CPUtime=84.54 cores=0-31
/proc/9584/task/9611/stat : 9611 (plingeling) R 9582 9584 9558 0 -1 4202560 38688 1243 0 0 8394 59 0 1 25 0 33 0 655125635 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9584/tid=9612] ppid=9582 vsize=1111432 CPUtime=84.55 cores=0-31
/proc/9584/task/9612/stat : 9612 (plingeling) R 9582 9584 9558 0 -1 4202560 41647 1243 0 0 8392 62 0 1 25 0 33 0 655125635 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9584/tid=9613] ppid=9582 vsize=1111432 CPUtime=84.74 cores=0-31
/proc/9584/task/9613/stat : 9613 (plingeling) R 9582 9584 9558 0 -1 4202560 39387 1243 0 0 8416 57 0 1 25 0 33 0 655125635 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9584/tid=9614] ppid=9582 vsize=1111432 CPUtime=84.54 cores=0-31
/proc/9584/task/9614/stat : 9614 (plingeling) R 9582 9584 9558 0 -1 4202560 38767 1243 0 0 8397 56 0 1 25 0 33 0 655125635 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4275944 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9584/tid=9615] ppid=9582 vsize=1111432 CPUtime=84.45 cores=0-31
/proc/9584/task/9615/stat : 9615 (plingeling) R 9582 9584 9558 0 -1 4202560 37627 1243 0 0 8394 50 0 1 25 0 33 0 655125636 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9584/tid=9616] ppid=9582 vsize=1111432 CPUtime=84.74 cores=0-31
/proc/9584/task/9616/stat : 9616 (plingeling) R 9582 9584 9558 0 -1 4202560 41543 1243 0 0 8408 65 0 1 25 0 33 0 655125636 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4250505 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9584/tid=9617] ppid=9582 vsize=1111432 CPUtime=84.63 cores=0-31
/proc/9584/task/9617/stat : 9617 (plingeling) R 9582 9584 9558 0 -1 4202560 35487 1243 0 0 8413 49 0 1 25 0 33 0 655125636 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9584/tid=9618] ppid=9582 vsize=1111432 CPUtime=84.77 cores=0-31
/proc/9584/task/9618/stat : 9618 (plingeling) R 9582 9584 9558 0 -1 4202560 37990 1243 0 0 8418 58 0 1 25 0 33 0 655125636 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9584/tid=9619] ppid=9582 vsize=1111432 CPUtime=84.73 cores=0-31
/proc/9584/task/9619/stat : 9619 (plingeling) R 9582 9584 9558 0 -1 4202560 37719 1243 0 0 8431 41 0 1 25 0 33 0 655125636 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9584/tid=9620] ppid=9582 vsize=1111432 CPUtime=84.68 cores=0-31
/proc/9584/task/9620/stat : 9620 (plingeling) R 9582 9584 9558 0 -1 4202560 41883 1243 0 0 8408 59 0 1 25 0 33 0 655125636 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9584/tid=9621] ppid=9582 vsize=1111432 CPUtime=84.75 cores=0-31
/proc/9584/task/9621/stat : 9621 (plingeling) R 9582 9584 9558 0 -1 4202560 39194 1243 0 0 8429 45 0 1 25 0 33 0 655125637 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9584/tid=9622] ppid=9582 vsize=1111432 CPUtime=84.69 cores=0-31
/proc/9584/task/9622/stat : 9622 (plingeling) R 9582 9584 9558 0 -1 4202560 36590 1243 0 0 8411 57 0 1 25 0 33 0 655125637 1138106368 97718 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 2709.46
Current children cumulated vsize (KiB) 1111432

[startup+86.3021 s]
/proc/loadavg: 31.46 31.71 31.90 33/446 9624
/proc/meminfo: memFree=255179440/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=1105844 CPUtime=2734.4 cores=0-31
/proc/9584/stat : 9584 (plingeling) S 9582 9584 9558 0 -1 4202496 1275314 1243 0 0 271676 1763 0 1 19 0 33 0 655125607 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/9584/statm: 276461 96353 175 55 0 274347 0
[pid=9584/tid=9591] ppid=9582 vsize=1105844 CPUtime=85.54 cores=0-31
/proc/9584/task/9591/stat : 9591 (plingeling) R 9582 9584 9558 0 -1 4202560 32135 1243 0 0 8510 43 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=9584/tid=9592] ppid=9582 vsize=1105844 CPUtime=85.58 cores=0-31
/proc/9584/task/9592/stat : 9592 (plingeling) R 9582 9584 9558 0 -1 4202560 37124 1243 0 0 8505 52 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9584/tid=9593] ppid=9582 vsize=1105844 CPUtime=85.49 cores=0-31
/proc/9584/task/9593/stat : 9593 (plingeling) R 9582 9584 9558 0 -1 4202560 43992 1243 0 0 8490 58 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4366657 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=9584/tid=9594] ppid=9582 vsize=1105844 CPUtime=85.34 cores=0-31
/proc/9584/task/9594/stat : 9594 (plingeling) R 9582 9584 9558 0 -1 4202560 45620 1243 0 0 8474 59 0 1 19 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=9584/tid=9595] ppid=9582 vsize=1105844 CPUtime=85.48 cores=0-31
/proc/9584/task/9595/stat : 9595 (plingeling) R 9582 9584 9558 0 -1 4202560 42640 1243 0 0 8489 58 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=9584/tid=9596] ppid=9582 vsize=1105844 CPUtime=85.36 cores=0-31
/proc/9584/task/9596/stat : 9596 (plingeling) R 9582 9584 9558 0 -1 4202560 40222 1243 0 0 8475 60 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9584/tid=9597] ppid=9582 vsize=1105844 CPUtime=85.54 cores=0-31
/proc/9584/task/9597/stat : 9597 (plingeling) R 9582 9584 9558 0 -1 4202560 43625 1243 0 0 8498 55 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4366113 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9584/tid=9598] ppid=9582 vsize=1105844 CPUtime=85.45 cores=0-31
/proc/9584/task/9598/stat : 9598 (plingeling) R 9582 9584 9558 0 -1 4202560 40504 1243 0 0 8490 54 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9584/tid=9599] ppid=9582 vsize=1105844 CPUtime=85.18 cores=0-31
/proc/9584/task/9599/stat : 9599 (plingeling) R 9582 9584 9558 0 -1 4202560 38134 1243 0 0 8463 54 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=9584/tid=9600] ppid=9582 vsize=1105844 CPUtime=85.23 cores=0-31
/proc/9584/task/9600/stat : 9600 (plingeling) R 9582 9584 9558 0 -1 4202560 42233 1243 0 0 8458 64 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364812 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=9584/tid=9601] ppid=9582 vsize=1105844 CPUtime=85.21 cores=0-31
/proc/9584/task/9601/stat : 9601 (plingeling) R 9582 9584 9558 0 -1 4202560 35313 1243 0 0 8482 38 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4353543 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=9584/tid=9602] ppid=9582 vsize=1105844 CPUtime=85.57 cores=0-31
/proc/9584/task/9602/stat : 9602 (plingeling) R 9582 9584 9558 0 -1 4202560 40254 1243 0 0 8507 49 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=9584/tid=9603] ppid=9582 vsize=1105844 CPUtime=85.66 cores=0-31
/proc/9584/task/9603/stat : 9603 (plingeling) R 9582 9584 9558 0 -1 4202560 40619 1243 0 0 8512 53 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=9584/tid=9604] ppid=9582 vsize=1105844 CPUtime=85.38 cores=0-31
/proc/9584/task/9604/stat : 9604 (plingeling) R 9582 9584 9558 0 -1 4202560 42401 1243 0 0 8480 57 0 1 18 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=9584/tid=9605] ppid=9582 vsize=1105844 CPUtime=85.63 cores=0-31
/proc/9584/task/9605/stat : 9605 (plingeling) R 9582 9584 9558 0 -1 4202560 40234 1243 0 0 8508 54 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=9584/tid=9606] ppid=9582 vsize=1105844 CPUtime=85.42 cores=0-31
/proc/9584/task/9606/stat : 9606 (plingeling) R 9582 9584 9558 0 -1 4202560 38581 1243 0 0 8487 54 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=9584/tid=9607] ppid=9582 vsize=1105844 CPUtime=85.48 cores=0-31
/proc/9584/task/9607/stat : 9607 (plingeling) R 9582 9584 9558 0 -1 4202560 42220 1243 0 0 8484 63 0 1 25 0 33 0 655125634 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=9584/tid=9608] ppid=9582 vsize=1105844 CPUtime=85.63 cores=0-31
/proc/9584/task/9608/stat : 9608 (plingeling) R 9582 9584 9558 0 -1 4202560 35399 1243 0 0 8512 50 0 1 25 0 33 0 655125635 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4199406 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9584/tid=9609] ppid=9582 vsize=1105844 CPUtime=85.44 cores=0-31
/proc/9584/task/9609/stat : 9609 (plingeling) R 9582 9584 9558 0 -1 4202560 39079 1243 0 0 8494 49 0 1 25 0 33 0 655125635 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9584/tid=9610] ppid=9582 vsize=1105844 CPUtime=85.4 cores=0-31
/proc/9584/task/9610/stat : 9610 (plingeling) R 9582 9584 9558 0 -1 4202560 38864 1243 0 0 8482 57 0 1 25 0 33 0 655125635 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4321652 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9584/tid=9611] ppid=9582 vsize=1105844 CPUtime=85.32 cores=0-31
/proc/9584/task/9611/stat : 9611 (plingeling) R 9582 9584 9558 0 -1 4202560 38694 1243 0 0 8472 59 0 1 25 0 33 0 655125635 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364861 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=9584/tid=9612] ppid=9582 vsize=1105844 CPUtime=85.33 cores=0-31
/proc/9584/task/9612/stat : 9612 (plingeling) R 9582 9584 9558 0 -1 4202560 42239 1243 0 0 8469 63 0 1 25 0 33 0 655125635 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=9584/tid=9613] ppid=9582 vsize=1105844 CPUtime=85.52 cores=0-31
/proc/9584/task/9613/stat : 9613 (plingeling) R 9582 9584 9558 0 -1 4202560 40411 1243 0 0 8491 60 0 1 25 0 33 0 655125635 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9584/tid=9614] ppid=9582 vsize=1105844 CPUtime=85.31 cores=0-31
/proc/9584/task/9614/stat : 9614 (plingeling) R 9582 9584 9558 0 -1 4202560 39279 1243 0 0 8474 56 0 1 25 0 33 0 655125635 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=9584/tid=9615] ppid=9582 vsize=1105844 CPUtime=85.23 cores=0-31
/proc/9584/task/9615/stat : 9615 (plingeling) R 9582 9584 9558 0 -1 4202560 38555 1243 0 0 8470 52 0 1 25 0 33 0 655125636 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=9584/tid=9616] ppid=9582 vsize=1105844 CPUtime=85.53 cores=0-31
/proc/9584/task/9616/stat : 9616 (plingeling) R 9582 9584 9558 0 -1 4202560 41543 1243 0 0 8486 66 0 1 25 0 33 0 655125636 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4273887 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=9584/tid=9617] ppid=9582 vsize=1105844 CPUtime=85.41 cores=0-31
/proc/9584/task/9617/stat : 9617 (plingeling) R 9582 9584 9558 0 -1 4202560 36145 1243 0 0 8491 49 0 1 25 0 33 0 655125636 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9584/tid=9618] ppid=9582 vsize=1105844 CPUtime=85.55 cores=0-31
/proc/9584/task/9618/stat : 9618 (plingeling) R 9582 9584 9558 0 -1 4202560 37990 1243 0 0 8496 58 0 1 25 0 33 0 655125636 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9584/tid=9619] ppid=9582 vsize=1105844 CPUtime=85.51 cores=0-31
/proc/9584/task/9619/stat : 9619 (plingeling) R 9582 9584 9558 0 -1 4202560 37719 1243 0 0 8509 41 0 1 25 0 33 0 655125636 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=9584/tid=9620] ppid=9582 vsize=1105844 CPUtime=85.46 cores=0-31
/proc/9584/task/9620/stat : 9620 (plingeling) R 9582 9584 9558 0 -1 4202560 42229 1243 0 0 8486 59 0 1 25 0 33 0 655125636 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4365130 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=9584/tid=9621] ppid=9582 vsize=1105844 CPUtime=85.52 cores=0-31
/proc/9584/task/9621/stat : 9621 (plingeling) R 9582 9584 9558 0 -1 4202560 39745 1243 0 0 8506 45 0 1 25 0 33 0 655125637 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=9584/tid=9622] ppid=9582 vsize=1105844 CPUtime=85.47 cores=0-31
/proc/9584/task/9622/stat : 9622 (plingeling) R 9582 9584 9558 0 -1 4202560 36590 1243 0 0 8489 57 0 1 25 0 33 0 655125637 1132384256 96353 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 2734.4
Current children cumulated vsize (KiB) 1105844

[startup+86.5022 s]
/proc/loadavg: 31.46 31.71 31.90 13/426 9624
/proc/meminfo: memFree=255206076/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=1093136 CPUtime=2739.99 cores=0-31
/proc/9584/stat : 9584 (plingeling) S 9582 9584 9558 0 -1 4202496 1276830 1243 0 0 272234 1764 0 1 18 0 12 0 655125607 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/9584/statm: 273284 93177 176 55 0 271170 0
[pid=9584/tid=9592] ppid=9582 vsize=1093136 CPUtime=85.79 cores=0-31
/proc/9584/task/9592/stat : 9592 (plingeling) R 9582 9584 9558 0 -1 4202560 37455 1243 0 0 8526 52 0 1 25 0 12 0 655125634 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=9584/tid=9596] ppid=9582 vsize=1093136 CPUtime=85.57 cores=0-31
/proc/9584/task/9596/stat : 9596 (plingeling) R 9582 9584 9558 0 -1 4202560 40222 1243 0 0 8496 60 0 1 25 0 12 0 655125634 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=9584/tid=9597] ppid=9582 vsize=1093136 CPUtime=85.76 cores=0-31
/proc/9584/task/9597/stat : 9597 (plingeling) R 9582 9584 9558 0 -1 4202560 43625 1243 0 0 8520 55 0 1 25 0 12 0 655125634 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=9584/tid=9598] ppid=9582 vsize=1093136 CPUtime=85.67 cores=0-31
/proc/9584/task/9598/stat : 9598 (plingeling) R 9582 9584 9558 0 -1 4202560 40508 1243 0 0 8512 54 0 1 25 0 12 0 655125634 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=9584/tid=9605] ppid=9582 vsize=1093136 CPUtime=85.84 cores=0-31
/proc/9584/task/9605/stat : 9605 (plingeling) R 9582 9584 9558 0 -1 4202560 40952 1243 0 0 8529 54 0 1 25 0 12 0 655125634 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=9584/tid=9608] ppid=9582 vsize=1093136 CPUtime=85.85 cores=0-31
/proc/9584/task/9608/stat : 9608 (plingeling) R 9582 9584 9558 0 -1 4202560 35399 1243 0 0 8534 50 0 1 25 0 12 0 655125635 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=9584/tid=9609] ppid=9582 vsize=1093136 CPUtime=85.66 cores=0-31
/proc/9584/task/9609/stat : 9609 (plingeling) R 9582 9584 9558 0 -1 4202560 39079 1243 0 0 8516 49 0 1 25 0 12 0 655125635 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4354448 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=9584/tid=9610] ppid=9582 vsize=1093136 CPUtime=85.61 cores=0-31
/proc/9584/task/9610/stat : 9610 (plingeling) R 9582 9584 9558 0 -1 4202560 38864 1243 0 0 8503 57 0 1 25 0 12 0 655125635 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364819 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=9584/tid=9613] ppid=9582 vsize=1093136 CPUtime=85.74 cores=0-31
/proc/9584/task/9613/stat : 9613 (plingeling) R 9582 9584 9558 0 -1 4202560 40411 1243 0 0 8513 60 0 1 25 0 12 0 655125635 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=9584/tid=9618] ppid=9582 vsize=1093136 CPUtime=85.77 cores=0-31
/proc/9584/task/9618/stat : 9618 (plingeling) R 9582 9584 9558 0 -1 4202560 37990 1243 0 0 8518 58 0 1 25 0 12 0 655125636 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=9584/tid=9622] ppid=9582 vsize=1093136 CPUtime=85.68 cores=0-31
/proc/9584/task/9622/stat : 9622 (plingeling) R 9582 9584 9558 0 -1 4202560 36590 1243 0 0 8510 57 0 1 25 0 12 0 655125637 1119371264 93177 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
Current children cumulated CPU time (s) 2739.99
Current children cumulated vsize (KiB) 1093136

[startup+86.6203 s]
/proc/loadavg: 31.46 31.71 31.90 13/426 9624
/proc/meminfo: memFree=255206076/264257624 swapFree=67111528/67111528
[pid=9584] ppid=9582 vsize=806304 CPUtime=2740.6 cores=0-31
/proc/9584/stat : 9584 (plingeling) S 9582 9584 9558 0 -1 4202496 1276830 1243 0 0 272295 1764 0 1 15 0 2 0 655125607 825655296 92850 268435456000 4194304 4417452 140736036065232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 11 0 0 0
/proc/9584/statm: 201576 92850 176 55 0 199462 0
[pid=9584/tid=9622] ppid=9582 vsize=806304 CPUtime=85.78 cores=0-31
/proc/9584/task/9622/stat : 9622 (plingeling) R 9582 9584 9558 0 -1 4202560 36590 1243 0 0 8520 57 0 1 25 0 2 0 655125637 825655296 92850 268435456000 4194304 4417452 140736036065232 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 2740.6
Current children cumulated vsize (KiB) 806304

Child status: 20
Real time (s): 86.6844
CPU time (s): 2740.67
CPU user time (s): 2722.97
CPU system time (s): 17.7063
CPU usage (%): 3161.67
Max. virtual memory (cumulated for all children) (KiB): 1149684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2722.97
system time used= 17.7063
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1278077
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= 10838
involuntary context switches= 5658

runsolver used 0.517921 second user time and 1.9487 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-15 07:13:12
IDJOB=3372120
IDBENCH=20393
IDSOLVER=1852
FILE ID=node200/3372120-1305436392
RUNJOBID= node200-1305436392-9572
PBS_JOBID= 13285507
Free space on /tmp= 62052 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT07/industrial/fuhs/medium/AProVE07-21.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372120-1305436392/watcher-3372120-1305436392 -o /tmp/evaluation-result-3372120-1305436392/solver-3372120-1305436392 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372120-1305436392.cnf

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

MD5SUM BENCH= 627e3d704e5200c3037f9c9d83c939c1
RANDOM SEED=232349689

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.049
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255589316 kB
Buffers:        439184 kB
Cached:        7828608 kB
SwapCached:          0 kB
Active:        7378728 kB
Inactive:       958132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255589316 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:              48 kB
Writeback:           0 kB
AnonPages:       70224 kB
Mapped:          13752 kB
Slab:           250236 kB
PageTables:       4324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   185508 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= 62052 MiB
End job on node200 at 2011-05-15 07:14:39