Trace number 3372969

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 2119.59 78.2944

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
manolios/c10idw_i.cnf
MD5SUMc139a321e75833c70af36726562b66de
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark865.262
Satisfiable
(Un)Satisfiability was proved
Number of variables196306
Number of clauses582994
Sum of the clauses size1360318
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2388662
Number of clauses of size 3194331
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

2119.50/78.29	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-3372969-1306150443/watcher-3372969-1306150443 -o /tmp/evaluation-result-3372969-1306150443/solver-3372969-1306150443 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372969-1306150443.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: 25.93 27.92 29.95 1/413 2671
/proc/meminfo: memFree=255300428/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=13080 CPUtime=0 cores=0-31
/proc/2671/stat : 2671 (plingeling) R 2669 2671 2578 0 -1 4202496 1333 1243 0 0 0 0 0 0 22 0 1 0 726530828 13393920 1263 268435456000 4194304 4417452 140733498234448 18446744073709551615 4259085 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2671/statm: 3270 1263 145 55 0 1156 0

[startup+0.125981 s]
/proc/loadavg: 25.93 27.92 29.95 1/413 2671
/proc/meminfo: memFree=255300428/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=29372 CPUtime=0.11 cores=0-31
/proc/2671/stat : 2671 (plingeling) R 2669 2671 2578 0 -1 4202496 5434 1243 0 0 11 0 0 0 23 0 1 0 726530828 30076928 5364 268435456000 4194304 4417452 140733498234448 18446744073709551615 4231277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2671/statm: 7343 5364 146 55 0 5229 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29372

[startup+0.200973 s]
/proc/loadavg: 25.93 27.92 29.95 1/413 2671
/proc/meminfo: memFree=255300428/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=38948 CPUtime=0.18 cores=0-31
/proc/2671/stat : 2671 (plingeling) R 2669 2671 2578 0 -1 4202496 7844 1243 0 0 17 1 0 0 23 0 1 0 726530828 39882752 7758 268435456000 4194304 4417452 140733498234448 18446744073709551615 4260023 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2671/statm: 9737 7758 146 55 0 7623 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 38948

[startup+0.300985 s]
/proc/loadavg: 25.93 27.92 29.95 1/413 2671
/proc/meminfo: memFree=255300428/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=47668 CPUtime=0.29 cores=0-31
/proc/2671/stat : 2671 (plingeling) R 2669 2671 2578 0 -1 4202496 10024 1243 0 0 27 2 0 0 23 0 1 0 726530828 48812032 9938 268435456000 4194304 4417452 140733498234448 18446744073709551615 4259681 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2671/statm: 11917 9938 146 55 0 9803 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47668

[startup+0.701037 s]
/proc/loadavg: 25.93 27.92 29.95 1/413 2671
/proc/meminfo: memFree=255300428/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=83404 CPUtime=0.68 cores=0-31
/proc/2671/stat : 2671 (plingeling) R 2669 2671 2578 0 -1 4202496 18928 1243 0 0 65 3 0 0 25 0 1 0 726530828 85405696 18840 268435456000 4194304 4417452 140733498234448 18446744073709551615 4227886 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2671/statm: 20851 18840 146 55 0 18737 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83404

[startup+1.50102 s]
/proc/loadavg: 25.93 27.92 29.95 2/414 2677
/proc/meminfo: memFree=255155364/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=152876 CPUtime=1.49 cores=0-31
/proc/2671/stat : 2671 (plingeling) R 2669 2671 2578 0 -1 4202496 36328 1243 0 0 142 7 0 0 25 0 1 0 726530828 156545024 36240 268435456000 4194304 4417452 140733498234448 18446744073709551615 4274337 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2671/statm: 38219 36240 146 55 0 36105 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152876

[startup+3.10108 s]
/proc/loadavg: 25.93 27.92 29.95 2/414 2677
/proc/meminfo: memFree=255079556/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=294280 CPUtime=3.08 cores=0-31
/proc/2671/stat : 2671 (plingeling) R 2669 2671 2578 0 -1 4202496 71687 1243 0 0 295 13 0 0 25 0 1 0 726530828 301342720 71591 268435456000 4194304 4417452 140733498234448 18446744073709551615 4231393 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2671/statm: 73570 71591 146 55 0 71456 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 294280

[startup+6.30123 s]
/proc/loadavg: 23.94 27.47 29.79 2/414 2677
/proc/meminfo: memFree=254735236/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=574940 CPUtime=6.28 cores=0-31
/proc/2671/stat : 2671 (plingeling) R 2669 2671 2578 0 -1 4202496 141976 1243 0 0 602 26 0 0 25 0 1 0 726530828 588738560 141756 268435456000 4194304 4417452 140733498234448 18446744073709551615 4231477 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2671/statm: 143735 141756 146 55 0 141621 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 574940

[startup+12.7033 s]
/proc/loadavg: 22.10 27.03 29.64 9/446 2709
/proc/meminfo: memFree=254205092/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=1751700 CPUtime=38.29 cores=0-31
/proc/2671/stat : 2671 (plingeling) S 2669 2671 2578 0 -1 4202496 451557 1243 0 0 3380 449 0 0 18 0 33 0 726530828 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/2671/statm: 437925 341503 168 55 0 435811 0
[pid=2671/tid=2678] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2678/stat : 2678 (plingeling) R 2669 2671 2578 0 -1 4202560 5419 1243 0 0 73 10 0 0 18 0 33 0 726532010 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=2671/tid=2679] ppid=2669 vsize=1751700 CPUtime=0.85 cores=0-31
/proc/2671/task/2679/stat : 2679 (plingeling) R 2669 2671 2578 0 -1 4202560 5372 1243 0 0 77 8 0 0 18 0 33 0 726532010 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=2671/tid=2680] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2680/stat : 2680 (plingeling) R 2669 2671 2578 0 -1 4202560 5372 1243 0 0 74 9 0 0 25 0 33 0 726532010 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2671/tid=2681] ppid=2669 vsize=1751700 CPUtime=0.85 cores=0-31
/proc/2671/task/2681/stat : 2681 (plingeling) R 2669 2671 2578 0 -1 4202560 3266 1243 0 0 84 1 0 0 25 0 33 0 726532010 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2671/tid=2682] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2682/stat : 2682 (plingeling) R 2669 2671 2578 0 -1 4202560 5346 1243 0 0 74 9 0 0 18 0 33 0 726532010 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4291216 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2671/tid=2683] ppid=2669 vsize=1751700 CPUtime=0.84 cores=0-31
/proc/2671/task/2683/stat : 2683 (plingeling) R 2669 2671 2578 0 -1 4202560 5368 1243 0 0 73 11 0 0 18 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2671/tid=2684] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2684/stat : 2684 (plingeling) R 2669 2671 2578 0 -1 4202560 5368 1243 0 0 72 11 0 0 25 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2671/tid=2685] ppid=2669 vsize=1751700 CPUtime=0.84 cores=0-31
/proc/2671/task/2685/stat : 2685 (plingeling) R 2669 2671 2578 0 -1 4202560 5369 1243 0 0 73 11 0 0 25 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4286859 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2671/tid=2686] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2686/stat : 2686 (plingeling) R 2669 2671 2578 0 -1 4202560 5423 1243 0 0 74 9 0 0 18 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4291707 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2671/tid=2687] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2687/stat : 2687 (plingeling) R 2669 2671 2578 0 -1 4202560 5371 1243 0 0 70 13 0 0 25 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4287606 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2671/tid=2688] ppid=2669 vsize=1751700 CPUtime=0.82 cores=0-31
/proc/2671/task/2688/stat : 2688 (plingeling) R 2669 2671 2578 0 -1 4202560 5369 1243 0 0 69 13 0 0 18 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2671/tid=2689] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2689/stat : 2689 (plingeling) R 2669 2671 2578 0 -1 4202560 5370 1243 0 0 72 11 0 0 18 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2671/tid=2690] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2690/stat : 2690 (plingeling) R 2669 2671 2578 0 -1 4202560 5371 1243 0 0 74 9 0 0 18 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4290499 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2671/tid=2691] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2691/stat : 2691 (plingeling) R 2669 2671 2578 0 -1 4202560 5369 1243 0 0 73 10 0 0 18 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4291707 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2671/tid=2692] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2692/stat : 2692 (plingeling) R 2669 2671 2578 0 -1 4202560 5367 1243 0 0 67 16 0 0 25 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4286645 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2671/tid=2693] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2693/stat : 2693 (plingeling) R 2669 2671 2578 0 -1 4202560 5417 1243 0 0 67 16 0 0 25 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2671/tid=2694] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2694/stat : 2694 (plingeling) R 2669 2671 2578 0 -1 4202560 5368 1243 0 0 67 16 0 0 21 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2671/tid=2695] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2695/stat : 2695 (plingeling) R 2669 2671 2578 0 -1 4202560 5180 1243 0 0 70 13 0 0 21 0 33 0 726532011 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2671/tid=2696] ppid=2669 vsize=1751700 CPUtime=0.77 cores=0-31
/proc/2671/task/2696/stat : 2696 (plingeling) R 2669 2671 2578 0 -1 4202560 5366 1243 0 0 72 5 0 0 18 0 33 0 726532012 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4290524 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=2671/tid=2697] ppid=2669 vsize=1751700 CPUtime=0.83 cores=0-31
/proc/2671/task/2697/stat : 2697 (plingeling) R 2669 2671 2578 0 -1 4202560 5368 1243 0 0 67 16 0 0 18 0 33 0 726532012 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2671/tid=2698] ppid=2669 vsize=1751700 CPUtime=0.82 cores=0-31
/proc/2671/task/2698/stat : 2698 (plingeling) R 2669 2671 2578 0 -1 4202560 5417 1243 0 0 66 16 0 0 18 0 33 0 726532012 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4285006 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2671/tid=2699] ppid=2669 vsize=1751700 CPUtime=0.82 cores=0-31
/proc/2671/task/2699/stat : 2699 (plingeling) R 2669 2671 2578 0 -1 4202560 5369 1243 0 0 67 15 0 0 20 0 33 0 726532012 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4287111 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2671/tid=2700] ppid=2669 vsize=1751700 CPUtime=0.82 cores=0-31
/proc/2671/task/2700/stat : 2700 (plingeling) R 2669 2671 2578 0 -1 4202560 5370 1243 0 0 66 16 0 0 20 0 33 0 726532012 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284784 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2671/tid=2701] ppid=2669 vsize=1751700 CPUtime=0.8 cores=0-31
/proc/2671/task/2701/stat : 2701 (plingeling) R 2669 2671 2578 0 -1 4202560 5416 1243 0 0 66 14 0 0 18 0 33 0 726532012 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284514 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2671/tid=2702] ppid=2669 vsize=1751700 CPUtime=0.81 cores=0-31
/proc/2671/task/2702/stat : 2702 (plingeling) R 2669 2671 2578 0 -1 4202560 5371 1243 0 0 73 8 0 0 18 0 33 0 726532013 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4290974 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2671/tid=2703] ppid=2669 vsize=1751700 CPUtime=0.81 cores=0-31
/proc/2671/task/2703/stat : 2703 (plingeling) R 2669 2671 2578 0 -1 4202560 5369 1243 0 0 67 14 0 0 18 0 33 0 726532013 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284746 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2671/tid=2704] ppid=2669 vsize=1751700 CPUtime=0.82 cores=0-31
/proc/2671/task/2704/stat : 2704 (plingeling) R 2669 2671 2578 0 -1 4202560 5369 1243 0 0 65 17 0 0 20 0 33 0 726532013 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284341 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2671/tid=2705] ppid=2669 vsize=1751700 CPUtime=0.81 cores=0-31
/proc/2671/task/2705/stat : 2705 (plingeling) R 2669 2671 2578 0 -1 4202560 4987 1243 0 0 67 14 0 0 18 0 33 0 726532013 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4287187 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2671/tid=2706] ppid=2669 vsize=1751700 CPUtime=0.81 cores=0-31
/proc/2671/task/2706/stat : 2706 (plingeling) R 2669 2671 2578 0 -1 4202560 5180 1243 0 0 67 14 0 0 20 0 33 0 726532013 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284289 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=2671/tid=2707] ppid=2669 vsize=1751700 CPUtime=0.75 cores=0-31
/proc/2671/task/2707/stat : 2707 (plingeling) R 2669 2671 2578 0 -1 4202560 5369 1243 0 0 67 8 0 0 20 0 33 0 726532013 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4290595 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2671/tid=2708] ppid=2669 vsize=1751700 CPUtime=0.74 cores=0-31
/proc/2671/task/2708/stat : 2708 (plingeling) R 2669 2671 2578 0 -1 4202560 4985 1243 0 0 65 9 0 0 20 0 33 0 726532013 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284793 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2671/tid=2709] ppid=2669 vsize=1751700 CPUtime=0.76 cores=0-31
/proc/2671/task/2709/stat : 2709 (plingeling) R 2669 2671 2578 0 -1 4202560 5370 1243 0 0 60 16 0 0 20 0 33 0 726532013 1793740800 341503 268435456000 4194304 4417452 140733498234448 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 38.29
Current children cumulated vsize (KiB) 1751700

[startup+25.5017 s]
/proc/loadavg: 24.29 27.27 29.67 33/446 2709
/proc/meminfo: memFree=253870332/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=1840692 CPUtime=446.98 cores=0-31
/proc/2671/stat : 2671 (plingeling) S 2669 2671 2578 0 -1 4202496 661915 1243 0 0 44187 511 0 0 18 0 33 0 726530828 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/2671/statm: 460173 354253 174 55 0 458059 0
[pid=2671/tid=2678] ppid=2669 vsize=1840692 CPUtime=13.62 cores=0-31
/proc/2671/task/2678/stat : 2678 (plingeling) R 2669 2671 2578 0 -1 4202560 12014 1243 0 0 1350 12 0 0 25 0 33 0 726532010 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=2671/tid=2679] ppid=2669 vsize=1840692 CPUtime=13.65 cores=0-31
/proc/2671/task/2679/stat : 2679 (plingeling) R 2669 2671 2578 0 -1 4202560 7537 1243 0 0 1355 10 0 0 25 0 33 0 726532010 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236569 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=2671/tid=2680] ppid=2669 vsize=1840692 CPUtime=13.51 cores=0-31
/proc/2671/task/2680/stat : 2680 (plingeling) R 2669 2671 2578 0 -1 4202560 7420 1243 0 0 1341 10 0 0 25 0 33 0 726532010 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4232632 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2671/tid=2681] ppid=2669 vsize=1840692 CPUtime=13.62 cores=0-31
/proc/2671/task/2681/stat : 2681 (plingeling) R 2669 2671 2578 0 -1 4202560 3267 1243 0 0 1361 1 0 0 25 0 33 0 726532010 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4237237 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2671/tid=2682] ppid=2669 vsize=1840692 CPUtime=13.62 cores=0-31
/proc/2671/task/2682/stat : 2682 (plingeling) R 2669 2671 2578 0 -1 4202560 9292 1243 0 0 1352 10 0 0 25 0 33 0 726532010 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2671/tid=2683] ppid=2669 vsize=1840692 CPUtime=13.6 cores=0-31
/proc/2671/task/2683/stat : 2683 (plingeling) R 2669 2671 2578 0 -1 4202560 9047 1243 0 0 1349 11 0 0 25 0 33 0 726532011 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2671/tid=2684] ppid=2669 vsize=1840692 CPUtime=13.61 cores=0-31
/proc/2671/task/2684/stat : 2684 (plingeling) R 2669 2671 2578 0 -1 4202560 17172 1243 0 0 1346 15 0 0 25 0 33 0 726532011 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2671/tid=2685] ppid=2669 vsize=1840692 CPUtime=13.62 cores=0-31
/proc/2671/task/2685/stat : 2685 (plingeling) R 2669 2671 2578 0 -1 4202560 15592 1243 0 0 1349 13 0 0 25 0 33 0 726532011 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2671/tid=2686] ppid=2669 vsize=1840692 CPUtime=13.61 cores=0-31
/proc/2671/task/2686/stat : 2686 (plingeling) R 2669 2671 2578 0 -1 4202560 13947 1243 0 0 1350 11 0 0 25 0 33 0 726532011 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4250759 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2671/tid=2687] ppid=2669 vsize=1840692 CPUtime=13.61 cores=0-31
/proc/2671/task/2687/stat : 2687 (plingeling) R 2669 2671 2578 0 -1 4202560 12121 1243 0 0 1347 14 0 0 25 0 33 0 726532011 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2671/tid=2688] ppid=2669 vsize=1840692 CPUtime=13.61 cores=0-31
/proc/2671/task/2688/stat : 2688 (plingeling) R 2669 2671 2578 0 -1 4202560 11270 1243 0 0 1346 15 0 0 25 0 33 0 726532011 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4250660 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2671/tid=2689] ppid=2669 vsize=1840692 CPUtime=13.62 cores=0-31
/proc/2671/task/2689/stat : 2689 (plingeling) R 2669 2671 2578 0 -1 4202560 16557 1243 0 0 1348 14 0 0 25 0 33 0 726532011 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4232620 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2671/tid=2690] ppid=2669 vsize=1840692 CPUtime=13.61 cores=0-31
/proc/2671/task/2690/stat : 2690 (plingeling) R 2669 2671 2578 0 -1 4202560 11791 1243 0 0 1349 12 0 0 25 0 33 0 726532011 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4365962 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2671/tid=2691] ppid=2669 vsize=1840692 CPUtime=13.6 cores=0-31
/proc/2671/task/2691/stat : 2691 (plingeling) R 2669 2671 2578 0 -1 4202560 9308 1243 0 0 1349 11 0 0 25 0 33 0 726532011 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2671/tid=2692] ppid=2669 vsize=1840692 CPUtime=13.61 cores=0-31
/proc/2671/task/2692/stat : 2692 (plingeling) R 2669 2671 2578 0 -1 4202560 15526 1243 0 0 1343 18 0 0 25 0 33 0 726532011 1884868608 354253 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364420 0 0 4096 17442 0 0 0 -1 17 0 0 0

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

Current children cumulated CPU time (s) 1984.43
Current children cumulated vsize (KiB) 1829864

[startup+76.8015 s]
/proc/loadavg: 28.70 28.01 29.80 33/446 2711
/proc/meminfo: memFree=253904744/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=1838120 CPUtime=2086.71 cores=0-31
/proc/2671/stat : 2671 (plingeling) S 2669 2671 2578 0 -1 4202496 667081 1243 0 0 208156 515 0 0 18 0 33 0 726530828 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/2671/statm: 459530 353573 175 55 0 457416 0
[pid=2671/tid=2678] ppid=2669 vsize=1838120 CPUtime=64.92 cores=0-31
/proc/2671/task/2678/stat : 2678 (plingeling) R 2669 2671 2578 0 -1 4202560 12095 1243 0 0 6479 13 0 0 25 0 33 0 726532010 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=2671/tid=2679] ppid=2669 vsize=1838120 CPUtime=64.93 cores=0-31
/proc/2671/task/2679/stat : 2679 (plingeling) R 2669 2671 2578 0 -1 4202560 7617 1243 0 0 6483 10 0 0 25 0 33 0 726532010 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=2671/tid=2680] ppid=2669 vsize=1838120 CPUtime=64.8 cores=0-31
/proc/2671/task/2680/stat : 2680 (plingeling) R 2669 2671 2578 0 -1 4202560 7547 1243 0 0 6470 10 0 0 25 0 33 0 726532010 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2671/tid=2681] ppid=2669 vsize=1838120 CPUtime=64.9 cores=0-31
/proc/2671/task/2681/stat : 2681 (plingeling) R 2669 2671 2578 0 -1 4202560 3267 1243 0 0 6489 1 0 0 25 0 33 0 726532010 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236784 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2671/tid=2682] ppid=2669 vsize=1838120 CPUtime=64.91 cores=0-31
/proc/2671/task/2682/stat : 2682 (plingeling) R 2669 2671 2578 0 -1 4202560 9400 1243 0 0 6481 10 0 0 25 0 33 0 726532010 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2671/tid=2683] ppid=2669 vsize=1838120 CPUtime=64.9 cores=0-31
/proc/2671/task/2683/stat : 2683 (plingeling) R 2669 2671 2578 0 -1 4202560 9129 1243 0 0 6478 12 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4258270 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2671/tid=2684] ppid=2669 vsize=1838120 CPUtime=64.9 cores=0-31
/proc/2671/task/2684/stat : 2684 (plingeling) R 2669 2671 2578 0 -1 4202560 17304 1243 0 0 6475 15 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2671/tid=2685] ppid=2669 vsize=1838120 CPUtime=64.91 cores=0-31
/proc/2671/task/2685/stat : 2685 (plingeling) R 2669 2671 2578 0 -1 4202560 15697 1243 0 0 6477 14 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2671/tid=2686] ppid=2669 vsize=1838120 CPUtime=64.91 cores=0-31
/proc/2671/task/2686/stat : 2686 (plingeling) R 2669 2671 2578 0 -1 4202560 14048 1243 0 0 6479 12 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2671/tid=2687] ppid=2669 vsize=1838120 CPUtime=64.91 cores=0-31
/proc/2671/task/2687/stat : 2687 (plingeling) R 2669 2671 2578 0 -1 4202560 12203 1243 0 0 6476 15 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4336284 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2671/tid=2688] ppid=2669 vsize=1838120 CPUtime=64.9 cores=0-31
/proc/2671/task/2688/stat : 2688 (plingeling) R 2669 2671 2578 0 -1 4202560 11399 1243 0 0 6475 15 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236835 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2671/tid=2689] ppid=2669 vsize=1838120 CPUtime=64.91 cores=0-31
/proc/2671/task/2689/stat : 2689 (plingeling) R 2669 2671 2578 0 -1 4202560 16638 1243 0 0 6477 14 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2671/tid=2690] ppid=2669 vsize=1838120 CPUtime=64.87 cores=0-31
/proc/2671/task/2690/stat : 2690 (plingeling) R 2669 2671 2578 0 -1 4202560 11890 1243 0 0 6475 12 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236971 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2671/tid=2691] ppid=2669 vsize=1838120 CPUtime=64.9 cores=0-31
/proc/2671/task/2691/stat : 2691 (plingeling) R 2669 2671 2578 0 -1 4202560 9391 1243 0 0 6478 12 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2671/tid=2692] ppid=2669 vsize=1838120 CPUtime=64.89 cores=0-31
/proc/2671/task/2692/stat : 2692 (plingeling) R 2669 2671 2578 0 -1 4202560 15664 1243 0 0 6471 18 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4253179 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2671/tid=2693] ppid=2669 vsize=1838120 CPUtime=64.89 cores=0-31
/proc/2671/task/2693/stat : 2693 (plingeling) R 2669 2671 2578 0 -1 4202560 12990 1243 0 0 6470 19 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4237189 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2671/tid=2694] ppid=2669 vsize=1838120 CPUtime=64.89 cores=0-31
/proc/2671/task/2694/stat : 2694 (plingeling) R 2669 2671 2578 0 -1 4202560 10657 1243 0 0 6472 17 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2671/tid=2695] ppid=2669 vsize=1838120 CPUtime=64.91 cores=0-31
/proc/2671/task/2695/stat : 2695 (plingeling) R 2669 2671 2578 0 -1 4202560 15530 1243 0 0 6476 15 0 0 25 0 33 0 726532011 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4252931 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2671/tid=2696] ppid=2669 vsize=1838120 CPUtime=64.84 cores=0-31
/proc/2671/task/2696/stat : 2696 (plingeling) R 2669 2671 2578 0 -1 4202560 8159 1243 0 0 6478 6 0 0 25 0 33 0 726532012 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4305920 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=2671/tid=2697] ppid=2669 vsize=1838120 CPUtime=64.89 cores=0-31
/proc/2671/task/2697/stat : 2697 (plingeling) R 2669 2671 2578 0 -1 4202560 12288 1243 0 0 6471 18 0 0 25 0 33 0 726532012 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2671/tid=2698] ppid=2669 vsize=1838120 CPUtime=64.88 cores=0-31
/proc/2671/task/2698/stat : 2698 (plingeling) R 2669 2671 2578 0 -1 4202560 15794 1243 0 0 6469 19 0 0 25 0 33 0 726532012 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4348170 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2671/tid=2699] ppid=2669 vsize=1838120 CPUtime=64.89 cores=0-31
/proc/2671/task/2699/stat : 2699 (plingeling) R 2669 2671 2578 0 -1 4202560 11586 1243 0 0 6472 17 0 0 25 0 33 0 726532012 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2671/tid=2700] ppid=2669 vsize=1838120 CPUtime=64.88 cores=0-31
/proc/2671/task/2700/stat : 2700 (plingeling) R 2669 2671 2578 0 -1 4202560 16394 1243 0 0 6470 18 0 0 25 0 33 0 726532012 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4330515 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2671/tid=2701] ppid=2669 vsize=1838120 CPUtime=64.89 cores=0-31
/proc/2671/task/2701/stat : 2701 (plingeling) R 2669 2671 2578 0 -1 4202560 11223 1243 0 0 6472 17 0 0 25 0 33 0 726532012 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2671/tid=2702] ppid=2669 vsize=1838120 CPUtime=64.87 cores=0-31
/proc/2671/task/2702/stat : 2702 (plingeling) R 2669 2671 2578 0 -1 4202560 8695 1243 0 0 6478 9 0 0 25 0 33 0 726532013 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2671/tid=2703] ppid=2669 vsize=1838120 CPUtime=64.88 cores=0-31
/proc/2671/task/2703/stat : 2703 (plingeling) R 2669 2671 2578 0 -1 4202560 13712 1243 0 0 6472 16 0 0 25 0 33 0 726532013 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4250936 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2671/tid=2704] ppid=2669 vsize=1838120 CPUtime=64.88 cores=0-31
/proc/2671/task/2704/stat : 2704 (plingeling) R 2669 2671 2578 0 -1 4202560 11427 1243 0 0 6470 18 0 0 25 0 33 0 726532013 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4357207 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2671/tid=2705] ppid=2669 vsize=1838120 CPUtime=64.88 cores=0-31
/proc/2671/task/2705/stat : 2705 (plingeling) R 2669 2671 2578 0 -1 4202560 14574 1243 0 0 6471 17 0 0 25 0 33 0 726532013 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2671/tid=2706] ppid=2669 vsize=1838120 CPUtime=64.89 cores=0-31
/proc/2671/task/2706/stat : 2706 (plingeling) R 2669 2671 2578 0 -1 4202560 8933 1243 0 0 6474 15 0 0 25 0 33 0 726532013 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=2671/tid=2707] ppid=2669 vsize=1838120 CPUtime=64.82 cores=0-31
/proc/2671/task/2707/stat : 2707 (plingeling) R 2669 2671 2578 0 -1 4202560 15443 1243 0 0 6471 11 0 0 25 0 33 0 726532013 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4265429 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2671/tid=2708] ppid=2669 vsize=1838120 CPUtime=63.11 cores=0-31
/proc/2671/task/2708/stat : 2708 (plingeling) R 2669 2671 2578 0 -1 4202560 8861 1243 0 0 6301 10 0 0 25 0 33 0 726532013 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2671/tid=2709] ppid=2669 vsize=1838120 CPUtime=64.83 cores=0-31
/proc/2671/task/2709/stat : 2709 (plingeling) R 2669 2671 2578 0 -1 4202560 14760 1243 0 0 6464 19 0 0 25 0 33 0 726532013 1882234880 353573 268435456000 4194304 4417452 140733498234448 18446744073709551615 18446744073699065964 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 2086.71
Current children cumulated vsize (KiB) 1838120

[startup+77.6016 s]
/proc/loadavg: 28.70 28.01 29.80 33/446 2711
/proc/meminfo: memFree=253897056/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=1838360 CPUtime=2112.28 cores=0-31
/proc/2671/stat : 2671 (plingeling) S 2669 2671 2578 0 -1 4202496 667189 1243 0 0 210713 515 0 0 18 0 33 0 726530828 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/2671/statm: 459590 353645 175 55 0 457476 0
[pid=2671/tid=2678] ppid=2669 vsize=1838360 CPUtime=65.72 cores=0-31
/proc/2671/task/2678/stat : 2678 (plingeling) R 2669 2671 2578 0 -1 4202560 12119 1243 0 0 6559 13 0 0 25 0 33 0 726532010 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=2671/tid=2679] ppid=2669 vsize=1838360 CPUtime=65.73 cores=0-31
/proc/2671/task/2679/stat : 2679 (plingeling) R 2669 2671 2578 0 -1 4202560 7617 1243 0 0 6563 10 0 0 25 0 33 0 726532010 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4281633 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=2671/tid=2680] ppid=2669 vsize=1838360 CPUtime=65.6 cores=0-31
/proc/2671/task/2680/stat : 2680 (plingeling) R 2669 2671 2578 0 -1 4202560 7547 1243 0 0 6550 10 0 0 25 0 33 0 726532010 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4288920 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=2671/tid=2681] ppid=2669 vsize=1838360 CPUtime=65.7 cores=0-31
/proc/2671/task/2681/stat : 2681 (plingeling) R 2669 2671 2578 0 -1 4202560 3267 1243 0 0 6569 1 0 0 25 0 33 0 726532010 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=2671/tid=2682] ppid=2669 vsize=1838360 CPUtime=65.71 cores=0-31
/proc/2671/task/2682/stat : 2682 (plingeling) R 2669 2671 2578 0 -1 4202560 9400 1243 0 0 6561 10 0 0 25 0 33 0 726532010 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=2671/tid=2683] ppid=2669 vsize=1838360 CPUtime=65.7 cores=0-31
/proc/2671/task/2683/stat : 2683 (plingeling) R 2669 2671 2578 0 -1 4202560 9129 1243 0 0 6558 12 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4266647 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=2671/tid=2684] ppid=2669 vsize=1838360 CPUtime=65.7 cores=0-31
/proc/2671/task/2684/stat : 2684 (plingeling) R 2669 2671 2578 0 -1 4202560 17310 1243 0 0 6555 15 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4252379 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=2671/tid=2685] ppid=2669 vsize=1838360 CPUtime=65.71 cores=0-31
/proc/2671/task/2685/stat : 2685 (plingeling) R 2669 2671 2578 0 -1 4202560 15697 1243 0 0 6557 14 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4275892 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=2671/tid=2686] ppid=2669 vsize=1838360 CPUtime=65.71 cores=0-31
/proc/2671/task/2686/stat : 2686 (plingeling) R 2669 2671 2578 0 -1 4202560 14048 1243 0 0 6559 12 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=2671/tid=2687] ppid=2669 vsize=1838360 CPUtime=65.71 cores=0-31
/proc/2671/task/2687/stat : 2687 (plingeling) R 2669 2671 2578 0 -1 4202560 12203 1243 0 0 6556 15 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=2671/tid=2688] ppid=2669 vsize=1838360 CPUtime=65.7 cores=0-31
/proc/2671/task/2688/stat : 2688 (plingeling) R 2669 2671 2578 0 -1 4202560 11399 1243 0 0 6555 15 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4301955 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=2671/tid=2689] ppid=2669 vsize=1838360 CPUtime=65.71 cores=0-31
/proc/2671/task/2689/stat : 2689 (plingeling) R 2669 2671 2578 0 -1 4202560 16662 1243 0 0 6557 14 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=2671/tid=2690] ppid=2669 vsize=1838360 CPUtime=65.67 cores=0-31
/proc/2671/task/2690/stat : 2690 (plingeling) R 2669 2671 2578 0 -1 4202560 11890 1243 0 0 6555 12 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=2671/tid=2691] ppid=2669 vsize=1838360 CPUtime=65.7 cores=0-31
/proc/2671/task/2691/stat : 2691 (plingeling) R 2669 2671 2578 0 -1 4202560 9415 1243 0 0 6558 12 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4232656 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=2671/tid=2692] ppid=2669 vsize=1838360 CPUtime=65.69 cores=0-31
/proc/2671/task/2692/stat : 2692 (plingeling) R 2669 2671 2578 0 -1 4202560 15664 1243 0 0 6551 18 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4253228 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=2671/tid=2693] ppid=2669 vsize=1838360 CPUtime=65.69 cores=0-31
/proc/2671/task/2693/stat : 2693 (plingeling) R 2669 2671 2578 0 -1 4202560 12990 1243 0 0 6550 19 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=2671/tid=2694] ppid=2669 vsize=1838360 CPUtime=65.69 cores=0-31
/proc/2671/task/2694/stat : 2694 (plingeling) R 2669 2671 2578 0 -1 4202560 10657 1243 0 0 6552 17 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4354506 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=2671/tid=2695] ppid=2669 vsize=1838360 CPUtime=65.71 cores=0-31
/proc/2671/task/2695/stat : 2695 (plingeling) R 2669 2671 2578 0 -1 4202560 15530 1243 0 0 6556 15 0 0 25 0 33 0 726532011 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=2671/tid=2696] ppid=2669 vsize=1838360 CPUtime=65.64 cores=0-31
/proc/2671/task/2696/stat : 2696 (plingeling) R 2669 2671 2578 0 -1 4202560 8159 1243 0 0 6558 6 0 0 25 0 33 0 726532012 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4330612 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=2671/tid=2697] ppid=2669 vsize=1838360 CPUtime=65.69 cores=0-31
/proc/2671/task/2697/stat : 2697 (plingeling) R 2669 2671 2578 0 -1 4202560 12288 1243 0 0 6551 18 0 0 25 0 33 0 726532012 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364550 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=2671/tid=2698] ppid=2669 vsize=1838360 CPUtime=65.68 cores=0-31
/proc/2671/task/2698/stat : 2698 (plingeling) R 2669 2671 2578 0 -1 4202560 15818 1243 0 0 6549 19 0 0 25 0 33 0 726532012 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=2671/tid=2699] ppid=2669 vsize=1838360 CPUtime=65.69 cores=0-31
/proc/2671/task/2699/stat : 2699 (plingeling) R 2669 2671 2578 0 -1 4202560 11586 1243 0 0 6552 17 0 0 25 0 33 0 726532012 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364461 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=2671/tid=2700] ppid=2669 vsize=1838360 CPUtime=65.68 cores=0-31
/proc/2671/task/2700/stat : 2700 (plingeling) R 2669 2671 2578 0 -1 4202560 16400 1243 0 0 6550 18 0 0 25 0 33 0 726532012 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4273394 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=2671/tid=2701] ppid=2669 vsize=1838360 CPUtime=65.69 cores=0-31
/proc/2671/task/2701/stat : 2701 (plingeling) R 2669 2671 2578 0 -1 4202560 11223 1243 0 0 6552 17 0 0 25 0 33 0 726532012 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236623 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=2671/tid=2702] ppid=2669 vsize=1838360 CPUtime=65.67 cores=0-31
/proc/2671/task/2702/stat : 2702 (plingeling) R 2669 2671 2578 0 -1 4202560 8695 1243 0 0 6558 9 0 0 25 0 33 0 726532013 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=2671/tid=2703] ppid=2669 vsize=1838360 CPUtime=65.68 cores=0-31
/proc/2671/task/2703/stat : 2703 (plingeling) R 2669 2671 2578 0 -1 4202560 13712 1243 0 0 6552 16 0 0 25 0 33 0 726532013 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236772 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=2671/tid=2704] ppid=2669 vsize=1838360 CPUtime=65.68 cores=0-31
/proc/2671/task/2704/stat : 2704 (plingeling) R 2669 2671 2578 0 -1 4202560 11427 1243 0 0 6550 18 0 0 25 0 33 0 726532013 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4234242 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=2671/tid=2705] ppid=2669 vsize=1838360 CPUtime=65.68 cores=0-31
/proc/2671/task/2705/stat : 2705 (plingeling) R 2669 2671 2578 0 -1 4202560 14574 1243 0 0 6551 17 0 0 25 0 33 0 726532013 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=2671/tid=2706] ppid=2669 vsize=1838360 CPUtime=65.69 cores=0-31
/proc/2671/task/2706/stat : 2706 (plingeling) R 2669 2671 2578 0 -1 4202560 8933 1243 0 0 6554 15 0 0 25 0 33 0 726532013 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=2671/tid=2707] ppid=2669 vsize=1838360 CPUtime=65.62 cores=0-31
/proc/2671/task/2707/stat : 2707 (plingeling) R 2669 2671 2578 0 -1 4202560 15443 1243 0 0 6551 11 0 0 25 0 33 0 726532013 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236623 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=2671/tid=2708] ppid=2669 vsize=1838360 CPUtime=63.88 cores=0-31
/proc/2671/task/2708/stat : 2708 (plingeling) R 2669 2671 2578 0 -1 4202560 8861 1243 0 0 6378 10 0 0 25 0 33 0 726532013 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4236971 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2671/tid=2709] ppid=2669 vsize=1838360 CPUtime=65.63 cores=0-31
/proc/2671/task/2709/stat : 2709 (plingeling) R 2669 2671 2578 0 -1 4202560 14760 1243 0 0 6544 19 0 0 25 0 33 0 726532013 1882480640 353645 268435456000 4194304 4417452 140733498234448 18446744073709551615 4275748 0 0 4096 17442 0 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 2112.28
Current children cumulated vsize (KiB) 1838360

[startup+78.0006 s]
/proc/loadavg: 28.70 28.01 29.80 33/446 2711
/proc/meminfo: memFree=253897056/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=1684508 CPUtime=2119.23 cores=0-31
/proc/2671/stat : 2671 (plingeling) S 2669 2671 2578 0 -1 4202496 667219 1243 0 0 211407 516 0 0 17 0 3 0 726530828 1724936192 353502 268435456000 4194304 4417452 140733498234448 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 12 0 0 0
/proc/2671/statm: 421127 353502 176 55 0 419013 0
[pid=2671/tid=2696] ppid=2669 vsize=1684508 CPUtime=66.04 cores=0-31
/proc/2671/task/2696/stat : 2696 (plingeling) R 2669 2671 2578 0 -1 4202560 8165 1243 0 0 6598 6 0 0 25 0 3 0 726532012 1724936192 353502 268435456000 4194304 4417452 140733498234448 18446744073709551615 4247709 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=2671/tid=2700] ppid=2669 vsize=1684508 CPUtime=66.08 cores=0-31
/proc/2671/task/2700/stat : 2700 (plingeling) R 2669 2671 2578 0 -1 4202560 16400 1243 0 0 6590 18 0 0 25 0 3 0 726532012 1724936192 353502 268435456000 4194304 4417452 140733498234448 18446744073709551615 4235225 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2119.23
Current children cumulated vsize (KiB) 1684508

[startup+78.2247 s]
/proc/loadavg: 28.70 28.01 29.80 3/415 2711
/proc/meminfo: memFree=253897336/264257624 swapFree=67111528/67111528
[pid=2671] ppid=2669 vsize=760192 CPUtime=2119.5 cores=0-31
/proc/2671/stat : 2671 (plingeling) R 2669 2671 2578 0 -1 4202496 667219 1243 0 0 211424 526 0 0 15 0 1 0 726530828 778436608 131787 268435456000 4194304 4417452 140733498234448 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 12 0 0 0
/proc/2671/statm: 190048 131787 176 55 0 187934 0
Current children cumulated CPU time (s) 2119.5
Current children cumulated vsize (KiB) 760192

Child status: 20
Real time (s): 78.2944
CPU time (s): 2119.59
CPU user time (s): 2114.25
CPU system time (s): 5.34119
CPU usage (%): 2707.21
Max. virtual memory (cumulated for all children) (KiB): 2040968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2114.25
system time used= 5.34119
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 668466
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= 5019
involuntary context switches= 5093

runsolver used 0.415936 second user time and 1.87971 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-23 13:34:04
IDJOB=3372969
IDBENCH=88143
IDSOLVER=1852
FILE ID=node200/3372969-1306150443
RUNJOBID= node200-1306150391-2592
PBS_JOBID= 13387846
Free space on /tmp= 62036 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/manolios/c10idw_i.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372969-1306150443/watcher-3372969-1306150443 -o /tmp/evaluation-result-3372969-1306150443/solver-3372969-1306150443 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372969-1306150443.cnf

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

MD5SUM BENCH= c139a321e75833c70af36726562b66de
RANDOM SEED=1296661607

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:      255300460 kB
Buffers:        460364 kB
Cached:        8079072 kB
SwapCached:          0 kB
Active:        7629068 kB
Inactive:       979324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255300460 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10468 kB
Writeback:           0 kB
AnonPages:       69096 kB
Mapped:          14532 kB
Slab:           254324 kB
PageTables:       4436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   193432 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= 62036 MiB
End job on node200 at 2011-05-23 13:35:22