Trace number 3372861

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)? (TO) 160002 5007.47

General information on the benchmark

NameSAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
MD5SUM5ba57e5cfd40b4a93356dbea5162016d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1029.96
Satisfiable
(Un)Satisfiability was proved
Number of variables570
Number of clauses4625
Sum of the clauses size9615
Maximum clause length6
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24531
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 51
Number of clauses of size over 590

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3372861-1306109790/watcher-3372861-1306109790 -o /tmp/evaluation-result-3372861-1306109790/solver-3372861-1306109790 -C 160000 -W 5100 -M 266338304 plingeling -t 32 HOME/instance-3372861-1306109790.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: 31.98 31.68 31.52 1/413 28580
/proc/meminfo: memFree=255454644/264257624 swapFree=67111528/67111528
[pid=28580] ppid=28578 vsize=12480 CPUtime=0.01 cores=0-31
/proc/28580/stat : 28580 (plingeling) R 28578 28580 28483 0 -1 4202496 1186 1248 0 0 1 0 0 0 18 0 1 0 722465429 12779520 1117 268435456000 4194304 4417452 140734325957152 18446744073709551615 258650649816 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28580/statm: 3120 1117 145 55 0 1006 0

[startup+0.023496 s]
/proc/loadavg: 31.98 31.68 31.52 1/413 28580
/proc/meminfo: memFree=255454644/264257624 swapFree=67111528/67111528
[pid=28580] ppid=28578 vsize=12480 CPUtime=0.01 cores=0-31
/proc/28580/stat : 28580 (plingeling) R 28578 28580 28483 0 -1 4202496 1186 1248 0 0 1 0 0 0 18 0 1 0 722465429 12779520 1117 268435456000 4194304 4417452 140734325957152 18446744073709551615 258650574384 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/28580/statm: 3120 1117 145 55 0 1006 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12480

[startup+0.10307 s]
/proc/loadavg: 31.98 31.68 31.52 1/413 28580
/proc/meminfo: memFree=255454644/264257624 swapFree=67111528/67111528
[pid=28580] ppid=28578 vsize=678744 CPUtime=1.64 cores=0-31
/proc/28580/stat : 28580 (plingeling) S 28578 28580 28483 0 -1 4202496 4924 1248 0 0 161 3 0 0 18 0 33 0 722465429 695033856 4723 268435456000 4194304 4417452 140734325957152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/28580/statm: 169686 4730 175 55 0 167572 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 678744

[startup+0.30699 s]
/proc/loadavg: 31.98 31.68 31.52 1/413 28580
/proc/meminfo: memFree=255454644/264257624 swapFree=67111528/67111528
[pid=28580] ppid=28578 vsize=688904 CPUtime=7.85 cores=0-31
/proc/28580/stat : 28580 (plingeling) S 28578 28580 28483 0 -1 4202496 11142 1248 0 0 772 13 0 0 18 0 33 0 722465429 705437696 7629 268435456000 4194304 4417452 140734325957152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/28580/statm: 172226 7637 175 55 0 170112 0
Current children cumulated CPU time (s) 7.85
Current children cumulated vsize (KiB) 688904

[startup+0.700379 s]
/proc/loadavg: 31.98 31.68 31.52 1/413 28580
/proc/meminfo: memFree=255454644/264257624 swapFree=67111528/67111528
[pid=28580] ppid=28578 vsize=701956 CPUtime=20.23 cores=0-31
/proc/28580/stat : 28580 (plingeling) S 28578 28580 28483 0 -1 4202496 22256 1248 0 0 1997 26 0 0 18 0 33 0 722465429 718802944 10932 268435456000 4194304 4417452 140734325957152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/28580/statm: 175488 10911 175 55 0 173374 0
Current children cumulated CPU time (s) 20.23
Current children cumulated vsize (KiB) 701956

[startup+1.50141 s]
/proc/loadavg: 31.98 31.68 31.52 33/446 28618
/proc/meminfo: memFree=255404276/264257624 swapFree=67111528/67111528
[pid=28580] ppid=28578 vsize=718448 CPUtime=45.06 cores=0-31
/proc/28580/stat : 28580 (plingeling) S 28578 28580 28483 0 -1 4202496 47198 1248 0 0 4441 65 0 0 18 0 33 0 722465429 735690752 14821 268435456000 4194304 4417452 140734325957152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/28580/statm: 179612 14821 175 55 0 177498 0
[pid=28580/tid=28587] ppid=28578 vsize=718776 CPUtime=1.42 cores=0-31
/proc/28580/task/28587/stat : 28587 (plingeling) R 28578 28580 28483 0 -1 4202560 1176 1248 0 0 141 1 0 0 19 0 33 0 722465433 736026624 14822 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28580/tid=28588] ppid=28578 vsize=718776 CPUtime=1.4 cores=0-31
/proc/28580/task/28588/stat : 28588 (plingeling) R 28578 28580 28483 0 -1 4202560 1172 1248 0 0 140 0 0 0 18 0 33 0 722465433 736026624 14814 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28580/tid=28589] ppid=28578 vsize=718744 CPUtime=1.39 cores=0-31
/proc/28580/task/28589/stat : 28589 (plingeling) R 28578 28580 28483 0 -1 4202560 2366 1248 0 0 136 3 0 0 19 0 33 0 722465433 735993856 14814 268435456000 4194304 4417452 140734325957152 18446744073709551615 4355830 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28580/tid=28590] ppid=28578 vsize=718744 CPUtime=1.41 cores=0-31
/proc/28580/task/28590/stat : 28590 (plingeling) R 28578 28580 28483 0 -1 4202560 2040 1248 0 0 138 3 0 0 18 0 33 0 722465433 735993856 14815 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28580/tid=28591] ppid=28578 vsize=718744 CPUtime=1.41 cores=0-31
/proc/28580/task/28591/stat : 28591 (plingeling) R 28578 28580 28483 0 -1 4202560 1293 1248 0 0 140 1 0 0 19 0 33 0 722465433 735993856 14815 268435456000 4194304 4417452 140734325957152 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28580/tid=28592] ppid=28578 vsize=718780 CPUtime=1.42 cores=0-31
/proc/28580/task/28592/stat : 28592 (plingeling) R 28578 28580 28483 0 -1 4202560 1290 1248 0 0 140 2 0 0 19 0 33 0 722465433 736030720 14822 268435456000 4194304 4417452 140734325957152 18446744073709551615 4354488 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28580/tid=28593] ppid=28578 vsize=718780 CPUtime=1.38 cores=0-31
/proc/28580/task/28593/stat : 28593 (plingeling) R 28578 28580 28483 0 -1 4202560 1500 1248 0 0 137 1 0 0 19 0 33 0 722465433 736030720 14849 268435456000 4194304 4417452 140734325957152 18446744073709551615 4365092 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28580/tid=28594] ppid=28578 vsize=718780 CPUtime=1.4 cores=0-31
/proc/28580/task/28594/stat : 28594 (plingeling) R 28578 28580 28483 0 -1 4202560 1083 1248 0 0 139 1 0 0 18 0 33 0 722465433 736030720 14873 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364583 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28580/tid=28595] ppid=28578 vsize=718780 CPUtime=1.42 cores=0-31
/proc/28580/task/28595/stat : 28595 (plingeling) R 28578 28580 28483 0 -1 4202560 1129 1248 0 0 141 1 0 0 19 0 33 0 722465433 736030720 14900 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364984 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28580/tid=28596] ppid=28578 vsize=718780 CPUtime=1.41 cores=0-31
/proc/28580/task/28596/stat : 28596 (plingeling) R 28578 28580 28483 0 -1 4202560 1660 1248 0 0 139 2 0 0 18 0 33 0 722465433 736030720 14927 268435456000 4194304 4417452 140734325957152 18446744073709551615 258650649903 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28580/tid=28597] ppid=28578 vsize=718780 CPUtime=1.39 cores=0-31
/proc/28580/task/28597/stat : 28597 (plingeling) R 28578 28580 28483 0 -1 4202560 1224 1248 0 0 138 1 0 0 18 0 33 0 722465433 736030720 14952 268435456000 4194304 4417452 140734325957152 18446744073709551615 258650648512 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28580/tid=28598] ppid=28578 vsize=718780 CPUtime=1.41 cores=0-31
/proc/28580/task/28598/stat : 28598 (plingeling) R 28578 28580 28483 0 -1 4202560 1674 1248 0 0 140 1 0 0 18 0 33 0 722465433 736030720 14980 268435456000 4194304 4417452 140734325957152 18446744073709551615 4307977 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28580/tid=28599] ppid=28578 vsize=718780 CPUtime=1.41 cores=0-31
/proc/28580/task/28599/stat : 28599 (plingeling) R 28578 28580 28483 0 -1 4202560 1329 1248 0 0 140 1 0 0 18 0 33 0 722465434 736030720 15006 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28580/tid=28600] ppid=28578 vsize=718780 CPUtime=1.42 cores=0-31
/proc/28580/task/28600/stat : 28600 (plingeling) R 28578 28580 28483 0 -1 4202560 954 1248 0 0 141 1 0 0 19 0 33 0 722465434 736030720 15035 268435456000 4194304 4417452 140734325957152 18446744073709551615 4236945 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28580/tid=28601] ppid=28578 vsize=718780 CPUtime=1.42 cores=0-31
/proc/28580/task/28601/stat : 28601 (plingeling) R 28578 28580 28483 0 -1 4202560 1236 1248 0 0 141 1 0 0 18 0 33 0 722465434 736030720 15060 268435456000 4194304 4417452 140734325957152 18446744073709551615 4354481 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28580/tid=28602] ppid=28578 vsize=718780 CPUtime=1.38 cores=0-31
/proc/28580/task/28602/stat : 28602 (plingeling) R 28578 28580 28483 0 -1 4202560 1837 1248 0 0 136 2 0 0 18 0 33 0 722465434 736030720 15080 268435456000 4194304 4417452 140734325957152 18446744073709551615 4310560 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28580/tid=28603] ppid=28578 vsize=718780 CPUtime=1.39 cores=0-31
/proc/28580/task/28603/stat : 28603 (plingeling) R 28578 28580 28483 0 -1 4202560 1153 1248 0 0 138 1 0 0 19 0 33 0 722465434 736030720 15095 268435456000 4194304 4417452 140734325957152 18446744073709551615 4259116 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28580/tid=28604] ppid=28578 vsize=718780 CPUtime=1.39 cores=0-31
/proc/28580/task/28604/stat : 28604 (plingeling) R 28578 28580 28483 0 -1 4202560 1377 1248 0 0 137 2 0 0 19 0 33 0 722465434 736030720 15110 268435456000 4194304 4417452 140734325957152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28580/tid=28605] ppid=28578 vsize=718780 CPUtime=1.41 cores=0-31
/proc/28580/task/28605/stat : 28605 (plingeling) R 28578 28580 28483 0 -1 4202560 1546 1248 0 0 139 2 0 0 19 0 33 0 722465434 736030720 15119 268435456000 4194304 4417452 140734325957152 18446744073709551615 258650649791 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28580/tid=28606] ppid=28578 vsize=718780 CPUtime=1.38 cores=0-31
/proc/28580/task/28606/stat : 28606 (plingeling) R 28578 28580 28483 0 -1 4202560 1872 1248 0 0 135 3 0 0 18 0 33 0 722465434 736030720 15127 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28580/tid=28607] ppid=28578 vsize=718780 CPUtime=1.37 cores=0-31
/proc/28580/task/28607/stat : 28607 (plingeling) R 28578 28580 28483 0 -1 4202560 1437 1248 0 0 136 1 0 0 18 0 33 0 722465434 736030720 15136 268435456000 4194304 4417452 140734325957152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28580/tid=28608] ppid=28578 vsize=718780 CPUtime=1.37 cores=0-31
/proc/28580/task/28608/stat : 28608 (plingeling) R 28578 28580 28483 0 -1 4202560 1238 1248 0 0 135 2 0 0 18 0 33 0 722465434 736030720 15144 268435456000 4194304 4417452 140734325957152 18446744073709551615 4353568 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28580/tid=28609] ppid=28578 vsize=718780 CPUtime=1.4 cores=0-31
/proc/28580/task/28609/stat : 28609 (plingeling) R 28578 28580 28483 0 -1 4202560 1366 1248 0 0 139 1 0 0 18 0 33 0 722465434 736030720 15151 268435456000 4194304 4417452 140734325957152 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28580/tid=28610] ppid=28578 vsize=718780 CPUtime=1.39 cores=0-31
/proc/28580/task/28610/stat : 28610 (plingeling) R 28578 28580 28483 0 -1 4202560 1240 1248 0 0 138 1 0 0 19 0 33 0 722465434 736030720 15159 268435456000 4194304 4417452 140734325957152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28580/tid=28611] ppid=28578 vsize=718780 CPUtime=1.4 cores=0-31
/proc/28580/task/28611/stat : 28611 (plingeling) R 28578 28580 28483 0 -1 4202560 1877 1248 0 0 138 2 0 0 18 0 33 0 722465434 736030720 15160 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28580/tid=28612] ppid=28578 vsize=718780 CPUtime=1.35 cores=0-31
/proc/28580/task/28612/stat : 28612 (plingeling) R 28578 28580 28483 0 -1 4202560 1867 1248 0 0 133 2 0 0 18 0 33 0 722465434 736030720 15160 268435456000 4194304 4417452 140734325957152 18446744073709551615 4307562 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28580/tid=28613] ppid=28578 vsize=718780 CPUtime=1.42 cores=0-31
/proc/28580/task/28613/stat : 28613 (plingeling) R 28578 28580 28483 0 -1 4202560 1331 1248 0 0 140 2 0 0 18 0 33 0 722465434 736030720 15160 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28580/tid=28614] ppid=28578 vsize=718780 CPUtime=1.38 cores=0-31
/proc/28580/task/28614/stat : 28614 (plingeling) R 28578 28580 28483 0 -1 4202560 1549 1248 0 0 137 1 0 0 18 0 33 0 722465434 736030720 15160 268435456000 4194304 4417452 140734325957152 18446744073709551615 18446744073699066052 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28580/tid=28615] ppid=28578 vsize=718780 CPUtime=1.38 cores=0-31
/proc/28580/task/28615/stat : 28615 (plingeling) R 28578 28580 28483 0 -1 4202560 1043 1248 0 0 137 1 0 0 18 0 33 0 722465434 736030720 15160 268435456000 4194304 4417452 140734325957152 18446744073709551615 18446744073699065980 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28580/tid=28616] ppid=28578 vsize=718780 CPUtime=1.39 cores=0-31
/proc/28580/task/28616/stat : 28616 (plingeling) R 28578 28580 28483 0 -1 4202560 1232 1248 0 0 138 1 0 0 18 0 33 0 722465434 736030720 15160 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28580/tid=28617] ppid=28578 vsize=718780 CPUtime=1.37 cores=0-31
/proc/28580/task/28617/stat : 28617 (plingeling) R 28578 28580 28483 0 -1 4202560 1133 1248 0 0 136 1 0 0 18 0 33 0 722465434 736030720 15160 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28580/tid=28618] ppid=28578 vsize=718780 CPUtime=1.41 cores=0-31
/proc/28580/task/28618/stat : 28618 (plingeling) R 28578 28580 28483 0 -1 4202560 1206 1248 0 0 140 1 0 0 18 0 33 0 722465434 736030720 15160 268435456000 4194304 4417452 140734325957152 18446744073709551615 4250750 0 0 4096 17442 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 45.06
Current children cumulated vsize (KiB) 718448

[startup+3.10146 s]
/proc/loadavg: 31.98 31.68 31.52 33/446 28618
/proc/meminfo: memFree=255378864/264257624 swapFree=67111528/67111528
[pid=28580] ppid=28578 vsize=744892 CPUtime=94.18 cores=0-31
/proc/28580/stat : 28580 (plingeling) S 28578 28580 28483 0 -1 4202496 112506 1248 0 0 9264 154 0 0 18 0 33 0 722465429 762769408 21584 268435456000 4194304 4417452 140734325957152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/28580/statm: 186223 21610 175 55 0 184109 0
[pid=28580/tid=28587] ppid=28578 vsize=744892 CPUtime=2.94 cores=0-31
/proc/28580/task/28587/stat : 28587 (plingeling) R 28578 28580 28483 0 -1 4202560 2833 1248 0 0 291 3 0 0 18 0 33 0 722465433 762769408 21624 268435456000 4194304 4417452 140734325957152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28580/tid=28588] ppid=28578 vsize=744892 CPUtime=2.96 cores=0-31
/proc/28580/task/28588/stat : 28588 (plingeling) R 28578 28580 28483 0 -1 4202560 2897 1248 0 0 293 3 0 0 18 0 33 0 722465433 762769408 21642 268435456000 4194304 4417452 140734325957152 18446744073709551615 4365058 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28580/tid=28589] ppid=28578 vsize=744892 CPUtime=2.91 cores=0-31
/proc/28580/task/28589/stat : 28589 (plingeling) R 28578 28580 28483 0 -1 4202560 4580 1248 0 0 285 6 0 0 18 0 33 0 722465433 762769408 21659 268435456000 4194304 4417452 140734325957152 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28580/tid=28590] ppid=28578 vsize=744892 CPUtime=2.96 cores=0-31
/proc/28580/task/28590/stat : 28590 (plingeling) R 28578 28580 28483 0 -1 4202560 3578 1248 0 0 290 6 0 0 18 0 33 0 722465433 762769408 21668 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28580/tid=28591] ppid=28578 vsize=744892 CPUtime=2.94 cores=0-31
/proc/28580/task/28591/stat : 28591 (plingeling) R 28578 28580 28483 0 -1 4202560 3095 1248 0 0 289 5 0 0 18 0 33 0 722465433 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4307807 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28580/tid=28592] ppid=28578 vsize=744892 CPUtime=2.94 cores=0-31
/proc/28580/task/28592/stat : 28592 (plingeling) R 28578 28580 28483 0 -1 4202560 3098 1248 0 0 290 4 0 0 18 0 33 0 722465433 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28580/tid=28593] ppid=28578 vsize=744892 CPUtime=2.92 cores=0-31
/proc/28580/task/28593/stat : 28593 (plingeling) R 28578 28580 28483 0 -1 4202560 3481 1248 0 0 288 4 0 0 18 0 33 0 722465433 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28580/tid=28594] ppid=28578 vsize=744892 CPUtime=2.96 cores=0-31
/proc/28580/task/28594/stat : 28594 (plingeling) R 28578 28580 28483 0 -1 4202560 2707 1248 0 0 292 4 0 0 18 0 33 0 722465433 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4346484 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28580/tid=28595] ppid=28578 vsize=744892 CPUtime=2.94 cores=0-31
/proc/28580/task/28595/stat : 28595 (plingeling) R 28578 28580 28483 0 -1 4202560 3133 1248 0 0 291 3 0 0 18 0 33 0 722465433 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4355812 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28580/tid=28596] ppid=28578 vsize=744892 CPUtime=2.92 cores=0-31
/proc/28580/task/28596/stat : 28596 (plingeling) R 28578 28580 28483 0 -1 4202560 3912 1248 0 0 287 5 0 0 18 0 33 0 722465433 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4232787 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28580/tid=28597] ppid=28578 vsize=744892 CPUtime=2.95 cores=0-31
/proc/28580/task/28597/stat : 28597 (plingeling) R 28578 28580 28483 0 -1 4202560 3556 1248 0 0 291 4 0 0 19 0 33 0 722465433 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28580/tid=28598] ppid=28578 vsize=744892 CPUtime=2.93 cores=0-31
/proc/28580/task/28598/stat : 28598 (plingeling) R 28578 28580 28483 0 -1 4202560 4352 1248 0 0 288 5 0 0 18 0 33 0 722465433 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28580/tid=28599] ppid=28578 vsize=744892 CPUtime=2.96 cores=0-31
/proc/28580/task/28599/stat : 28599 (plingeling) R 28578 28580 28483 0 -1 4202560 3003 1248 0 0 292 4 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4366092 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28580/tid=28600] ppid=28578 vsize=744892 CPUtime=2.96 cores=0-31
/proc/28580/task/28600/stat : 28600 (plingeling) R 28578 28580 28483 0 -1 4202560 2870 1248 0 0 293 3 0 0 22 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4278342 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28580/tid=28601] ppid=28578 vsize=744892 CPUtime=2.91 cores=0-31
/proc/28580/task/28601/stat : 28601 (plingeling) R 28578 28580 28483 0 -1 4202560 3391 1248 0 0 287 4 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28580/tid=28602] ppid=28578 vsize=744892 CPUtime=2.93 cores=0-31
/proc/28580/task/28602/stat : 28602 (plingeling) R 28578 28580 28483 0 -1 4202560 3921 1248 0 0 288 5 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364741 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=28580/tid=28603] ppid=28578 vsize=744892 CPUtime=2.93 cores=0-31
/proc/28580/task/28603/stat : 28603 (plingeling) R 28578 28580 28483 0 -1 4202560 2823 1248 0 0 289 4 0 0 19 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4278246 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28580/tid=28604] ppid=28578 vsize=744892 CPUtime=2.92 cores=0-31
/proc/28580/task/28604/stat : 28604 (plingeling) R 28578 28580 28483 0 -1 4202560 3647 1248 0 0 287 5 0 0 19 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364903 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28580/tid=28605] ppid=28578 vsize=744892 CPUtime=2.94 cores=0-31
/proc/28580/task/28605/stat : 28605 (plingeling) R 28578 28580 28483 0 -1 4202560 3394 1248 0 0 290 4 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28580/tid=28606] ppid=28578 vsize=744892 CPUtime=2.91 cores=0-31
/proc/28580/task/28606/stat : 28606 (plingeling) R 28578 28580 28483 0 -1 4202560 4568 1248 0 0 285 6 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28580/tid=28607] ppid=28578 vsize=744892 CPUtime=2.92 cores=0-31
/proc/28580/task/28607/stat : 28607 (plingeling) R 28578 28580 28483 0 -1 4202560 3147 1248 0 0 288 4 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4366385 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28580/tid=28608] ppid=28578 vsize=744892 CPUtime=2.9 cores=0-31
/proc/28580/task/28608/stat : 28608 (plingeling) R 28578 28580 28483 0 -1 4202560 2838 1248 0 0 286 4 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28580/tid=28609] ppid=28578 vsize=744892 CPUtime=2.94 cores=0-31
/proc/28580/task/28609/stat : 28609 (plingeling) R 28578 28580 28483 0 -1 4202560 3689 1248 0 0 289 5 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28580/tid=28610] ppid=28578 vsize=744892 CPUtime=2.92 cores=0-31
/proc/28580/task/28610/stat : 28610 (plingeling) R 28578 28580 28483 0 -1 4202560 2971 1248 0 0 289 3 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364587 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28580/tid=28611] ppid=28578 vsize=744892 CPUtime=2.93 cores=0-31
/proc/28580/task/28611/stat : 28611 (plingeling) R 28578 28580 28483 0 -1 4202560 4965 1248 0 0 287 6 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4366197 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28580/tid=28612] ppid=28578 vsize=744892 CPUtime=2.92 cores=0-31
/proc/28580/task/28612/stat : 28612 (plingeling) R 28578 28580 28483 0 -1 4202560 4826 1248 0 0 287 5 0 0 18 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28580/tid=28613] ppid=28578 vsize=744892 CPUtime=2.93 cores=0-31
/proc/28580/task/28613/stat : 28613 (plingeling) R 28578 28580 28483 0 -1 4202560 3444 1248 0 0 289 4 0 0 20 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28580/tid=28614] ppid=28578 vsize=744892 CPUtime=2.92 cores=0-31
/proc/28580/task/28614/stat : 28614 (plingeling) R 28578 28580 28483 0 -1 4202560 3768 1248 0 0 288 4 0 0 19 0 33 0 722465434 762769408 21673 268435456000 4194304 4417452 140734325957152 18446744073709551615 4366063 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28580/tid=28615] ppid=28578 vsize=744892 CPUtime=2.93 cores=0-31

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

[pid=28580/tid=28618] ppid=28578 vsize=5521548 CPUtime=4900.08 cores=0-31
/proc/28580/task/28618/stat : 28618 (plingeling) R 28578 28580 28483 0 -1 4202560 625922 1248 0 0 489631 377 0 0 25 0 33 0 722465434 5654065152 1224401 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 156654
Current children cumulated vsize (KiB) 5521548

[startup+4962.3 s]
/proc/loadavg: 32.08 32.07 32.06 33/446 28765
/proc/meminfo: memFree=250572116/264257624 swapFree=67111528/67111528
[pid=28580] ppid=28578 vsize=5496964 CPUtime=158572 cores=0-31
/proc/28580/stat : 28580 (plingeling) S 28578 28580 28483 0 -1 4202496 16859371 1248 0 0 15840302 16924 0 0 18 0 33 0 722465429 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/28580/statm: 1374241 1219270 175 55 0 1372127 0
[pid=28580/tid=28587] ppid=28578 vsize=5496964 CPUtime=4959.99 cores=0-31
/proc/28580/task/28587/stat : 28587 (plingeling) R 28578 28580 28483 0 -1 4202560 543941 1248 0 0 495524 475 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28580/tid=28588] ppid=28578 vsize=5496964 CPUtime=4958.6 cores=0-31
/proc/28580/task/28588/stat : 28588 (plingeling) R 28578 28580 28483 0 -1 4202560 469031 1248 0 0 495455 405 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28580/tid=28589] ppid=28578 vsize=5496964 CPUtime=4959.83 cores=0-31
/proc/28580/task/28589/stat : 28589 (plingeling) R 28578 28580 28483 0 -1 4202560 577131 1248 0 0 495357 626 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4365027 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28580/tid=28590] ppid=28578 vsize=5496964 CPUtime=4959.74 cores=0-31
/proc/28580/task/28590/stat : 28590 (plingeling) R 28578 28580 28483 0 -1 4202560 588474 1248 0 0 495224 750 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28580/tid=28591] ppid=28578 vsize=5496964 CPUtime=4956.54 cores=0-31
/proc/28580/task/28591/stat : 28591 (plingeling) R 28578 28580 28483 0 -1 4202560 621413 1248 0 0 495060 594 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28580/tid=28592] ppid=28578 vsize=5496964 CPUtime=4959.35 cores=0-31
/proc/28580/task/28592/stat : 28592 (plingeling) R 28578 28580 28483 0 -1 4202560 630324 1248 0 0 495363 572 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28580/tid=28593] ppid=28578 vsize=5496964 CPUtime=4959.38 cores=0-31
/proc/28580/task/28593/stat : 28593 (plingeling) R 28578 28580 28483 0 -1 4202560 501526 1248 0 0 495444 494 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4259618 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28580/tid=28594] ppid=28578 vsize=5496964 CPUtime=4959.31 cores=0-31
/proc/28580/task/28594/stat : 28594 (plingeling) R 28578 28580 28483 0 -1 4202560 622237 1248 0 0 495353 578 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28580/tid=28595] ppid=28578 vsize=5496964 CPUtime=4960.08 cores=0-31
/proc/28580/task/28595/stat : 28595 (plingeling) R 28578 28580 28483 0 -1 4202560 574232 1248 0 0 495492 516 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28580/tid=28596] ppid=28578 vsize=5496964 CPUtime=4958.14 cores=0-31
/proc/28580/task/28596/stat : 28596 (plingeling) R 28578 28580 28483 0 -1 4202560 490542 1248 0 0 495242 572 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28580/tid=28597] ppid=28578 vsize=5496964 CPUtime=4959.75 cores=0-31
/proc/28580/task/28597/stat : 28597 (plingeling) R 28578 28580 28483 0 -1 4202560 533786 1248 0 0 495407 568 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28580/tid=28598] ppid=28578 vsize=5496964 CPUtime=4943.37 cores=0-31
/proc/28580/task/28598/stat : 28598 (plingeling) R 28578 28580 28483 0 -1 4202560 472056 1248 0 0 493815 522 0 0 25 0 33 0 722465433 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28580/tid=28599] ppid=28578 vsize=5496964 CPUtime=4960.24 cores=0-31
/proc/28580/task/28599/stat : 28599 (plingeling) R 28578 28580 28483 0 -1 4202560 492571 1248 0 0 495520 504 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28580/tid=28600] ppid=28578 vsize=5496964 CPUtime=4957.21 cores=0-31
/proc/28580/task/28600/stat : 28600 (plingeling) R 28578 28580 28483 0 -1 4202560 614087 1248 0 0 495142 579 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28580/tid=28601] ppid=28578 vsize=5496964 CPUtime=4958.86 cores=0-31
/proc/28580/task/28601/stat : 28601 (plingeling) R 28578 28580 28483 0 -1 4202560 453593 1248 0 0 495392 494 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28580/tid=28602] ppid=28578 vsize=5496964 CPUtime=4957.96 cores=0-31
/proc/28580/task/28602/stat : 28602 (plingeling) R 28578 28580 28483 0 -1 4202560 465702 1248 0 0 495232 564 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28580/tid=28603] ppid=28578 vsize=5496964 CPUtime=4959.56 cores=0-31
/proc/28580/task/28603/stat : 28603 (plingeling) R 28578 28580 28483 0 -1 4202560 502557 1248 0 0 495356 600 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28580/tid=28604] ppid=28578 vsize=5496964 CPUtime=4959.68 cores=0-31
/proc/28580/task/28604/stat : 28604 (plingeling) R 28578 28580 28483 0 -1 4202560 621448 1248 0 0 495437 531 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28580/tid=28605] ppid=28578 vsize=5496964 CPUtime=4916.34 cores=0-31
/proc/28580/task/28605/stat : 28605 (plingeling) R 28578 28580 28483 0 -1 4202560 627592 1248 0 0 491102 532 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28580/tid=28606] ppid=28578 vsize=5496964 CPUtime=4960.17 cores=0-31
/proc/28580/task/28606/stat : 28606 (plingeling) R 28578 28580 28483 0 -1 4202560 497418 1248 0 0 495512 505 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28580/tid=28607] ppid=28578 vsize=5496964 CPUtime=4956.03 cores=0-31
/proc/28580/task/28607/stat : 28607 (plingeling) R 28578 28580 28483 0 -1 4202560 492817 1248 0 0 495133 470 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28580/tid=28608] ppid=28578 vsize=5496964 CPUtime=4917.77 cores=0-31
/proc/28580/task/28608/stat : 28608 (plingeling) R 28578 28580 28483 0 -1 4202560 412275 1248 0 0 491282 495 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28580/tid=28609] ppid=28578 vsize=5496964 CPUtime=4957.54 cores=0-31
/proc/28580/task/28609/stat : 28609 (plingeling) R 28578 28580 28483 0 -1 4202560 701488 1248 0 0 495266 488 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28580/tid=28610] ppid=28578 vsize=5496964 CPUtime=4946.22 cores=0-31
/proc/28580/task/28610/stat : 28610 (plingeling) R 28578 28580 28483 0 -1 4202560 365333 1248 0 0 494204 418 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28580/tid=28611] ppid=28578 vsize=5496964 CPUtime=4954.42 cores=0-31
/proc/28580/task/28611/stat : 28611 (plingeling) R 28578 28580 28483 0 -1 4202560 587892 1248 0 0 494798 644 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28580/tid=28612] ppid=28578 vsize=5496964 CPUtime=4958.81 cores=0-31
/proc/28580/task/28612/stat : 28612 (plingeling) R 28578 28580 28483 0 -1 4202560 516967 1248 0 0 495412 469 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28580/tid=28613] ppid=28578 vsize=5496964 CPUtime=4960.06 cores=0-31
/proc/28580/task/28613/stat : 28613 (plingeling) R 28578 28580 28483 0 -1 4202560 488078 1248 0 0 495402 604 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4259875 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28580/tid=28614] ppid=28578 vsize=5496964 CPUtime=4959.94 cores=0-31
/proc/28580/task/28614/stat : 28614 (plingeling) R 28578 28580 28483 0 -1 4202560 408248 1248 0 0 495528 466 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4365075 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28580/tid=28615] ppid=28578 vsize=5496964 CPUtime=4959.56 cores=0-31
/proc/28580/task/28615/stat : 28615 (plingeling) R 28578 28580 28483 0 -1 4202560 439064 1248 0 0 495487 469 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28580/tid=28616] ppid=28578 vsize=5496964 CPUtime=4959.71 cores=0-31
/proc/28580/task/28616/stat : 28616 (plingeling) R 28578 28580 28483 0 -1 4202560 490748 1248 0 0 495456 515 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28580/tid=28617] ppid=28578 vsize=5496964 CPUtime=4957.68 cores=0-31
/proc/28580/task/28617/stat : 28617 (plingeling) R 28578 28580 28483 0 -1 4202560 428821 1248 0 0 495257 511 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28580/tid=28618] ppid=28578 vsize=5496964 CPUtime=4960.07 cores=0-31
/proc/28580/task/28618/stat : 28618 (plingeling) R 28578 28580 28483 0 -1 4202560 625922 1248 0 0 495630 377 0 0 25 0 33 0 722465434 5628891136 1219270 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 158572
Current children cumulated vsize (KiB) 5496964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5007 s]
/proc/loadavg: 32.04 32.06 32.06 33/446 28765
/proc/meminfo: memFree=250430812/264257624 swapFree=67111528/67111528
[pid=28580] ppid=28578 vsize=5638664 CPUtime=160002 cores=0-31
/proc/28580/stat : 28580 (plingeling) S 28578 28580 28483 0 -1 4202496 16962344 1248 0 0 15983108 17066 0 0 18 0 33 0 722465429 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 6 0 0 0
/proc/28580/statm: 1409666 1254778 175 55 0 1407552 0
[pid=28580/tid=28587] ppid=28578 vsize=5638664 CPUtime=5004.71 cores=0-31
/proc/28580/task/28587/stat : 28587 (plingeling) R 28578 28580 28483 0 -1 4202560 547821 1248 0 0 499995 476 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=28580/tid=28588] ppid=28578 vsize=5638664 CPUtime=5003.31 cores=0-31
/proc/28580/task/28588/stat : 28588 (plingeling) R 28578 28580 28483 0 -1 4202560 469031 1248 0 0 499926 405 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364756 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=28580/tid=28589] ppid=28578 vsize=5638664 CPUtime=5004.54 cores=0-31
/proc/28580/task/28589/stat : 28589 (plingeling) R 28578 28580 28483 0 -1 4202560 577131 1248 0 0 499828 626 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=28580/tid=28590] ppid=28578 vsize=5638664 CPUtime=5004.45 cores=0-31
/proc/28580/task/28590/stat : 28590 (plingeling) R 28578 28580 28483 0 -1 4202560 588474 1248 0 0 499695 750 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=28580/tid=28591] ppid=28578 vsize=5638664 CPUtime=5001.24 cores=0-31
/proc/28580/task/28591/stat : 28591 (plingeling) R 28578 28580 28483 0 -1 4202560 621570 1248 0 0 499529 595 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=28580/tid=28592] ppid=28578 vsize=5638664 CPUtime=5004.07 cores=0-31
/proc/28580/task/28592/stat : 28592 (plingeling) R 28578 28580 28483 0 -1 4202560 630324 1248 0 0 499835 572 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=28580/tid=28593] ppid=28578 vsize=5638664 CPUtime=5004.1 cores=0-31
/proc/28580/task/28593/stat : 28593 (plingeling) R 28578 28580 28483 0 -1 4202560 510636 1248 0 0 499913 497 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4366813 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=28580/tid=28594] ppid=28578 vsize=5638664 CPUtime=5004.02 cores=0-31
/proc/28580/task/28594/stat : 28594 (plingeling) R 28578 28580 28483 0 -1 4202560 622237 1248 0 0 499824 578 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=28580/tid=28595] ppid=28578 vsize=5638664 CPUtime=5004.79 cores=0-31
/proc/28580/task/28595/stat : 28595 (plingeling) R 28578 28580 28483 0 -1 4202560 574232 1248 0 0 499963 516 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=28580/tid=28596] ppid=28578 vsize=5638664 CPUtime=5002.85 cores=0-31
/proc/28580/task/28596/stat : 28596 (plingeling) R 28578 28580 28483 0 -1 4202560 490667 1248 0 0 499713 572 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364632 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=28580/tid=28597] ppid=28578 vsize=5638664 CPUtime=5004.46 cores=0-31
/proc/28580/task/28597/stat : 28597 (plingeling) R 28578 28580 28483 0 -1 4202560 533786 1248 0 0 499878 568 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=28580/tid=28598] ppid=28578 vsize=5638664 CPUtime=4988.08 cores=0-31
/proc/28580/task/28598/stat : 28598 (plingeling) R 28578 28580 28483 0 -1 4202560 472056 1248 0 0 498286 522 0 0 25 0 33 0 722465433 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=28580/tid=28599] ppid=28578 vsize=5638664 CPUtime=5004.95 cores=0-31
/proc/28580/task/28599/stat : 28599 (plingeling) R 28578 28580 28483 0 -1 4202560 532808 1248 0 0 499928 567 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=28580/tid=28600] ppid=28578 vsize=5638664 CPUtime=5001.91 cores=0-31
/proc/28580/task/28600/stat : 28600 (plingeling) R 28578 28580 28483 0 -1 4202560 614087 1248 0 0 499612 579 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=28580/tid=28601] ppid=28578 vsize=5638664 CPUtime=5003.57 cores=0-31
/proc/28580/task/28601/stat : 28601 (plingeling) R 28578 28580 28483 0 -1 4202560 459022 1248 0 0 499848 509 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=28580/tid=28602] ppid=28578 vsize=5638664 CPUtime=5002.68 cores=0-31
/proc/28580/task/28602/stat : 28602 (plingeling) R 28578 28580 28483 0 -1 4202560 488178 1248 0 0 499670 598 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=28580/tid=28603] ppid=28578 vsize=5638664 CPUtime=5004.27 cores=0-31
/proc/28580/task/28603/stat : 28603 (plingeling) R 28578 28580 28483 0 -1 4202560 510749 1248 0 0 499805 622 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=28580/tid=28604] ppid=28578 vsize=5638664 CPUtime=5004.39 cores=0-31
/proc/28580/task/28604/stat : 28604 (plingeling) R 28578 28580 28483 0 -1 4202560 629640 1248 0 0 499906 533 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=28580/tid=28605] ppid=28578 vsize=5638664 CPUtime=4959.79 cores=0-31
/proc/28580/task/28605/stat : 28605 (plingeling) R 28578 28580 28483 0 -1 4202560 627592 1248 0 0 495447 532 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=28580/tid=28606] ppid=28578 vsize=5638664 CPUtime=5004.88 cores=0-31
/proc/28580/task/28606/stat : 28606 (plingeling) R 28578 28580 28483 0 -1 4202560 497418 1248 0 0 499983 505 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=28580/tid=28607] ppid=28578 vsize=5638664 CPUtime=5000.73 cores=0-31
/proc/28580/task/28607/stat : 28607 (plingeling) R 28578 28580 28483 0 -1 4202560 492817 1248 0 0 499603 470 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=28580/tid=28608] ppid=28578 vsize=5638664 CPUtime=4962.49 cores=0-31
/proc/28580/task/28608/stat : 28608 (plingeling) R 28578 28580 28483 0 -1 4202560 412275 1248 0 0 495754 495 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=28580/tid=28609] ppid=28578 vsize=5638664 CPUtime=5002.25 cores=0-31
/proc/28580/task/28609/stat : 28609 (plingeling) R 28578 28580 28483 0 -1 4202560 701488 1248 0 0 499737 488 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=28580/tid=28610] ppid=28578 vsize=5638664 CPUtime=4990.93 cores=0-31
/proc/28580/task/28610/stat : 28610 (plingeling) R 28578 28580 28483 0 -1 4202560 365333 1248 0 0 498675 418 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=28580/tid=28611] ppid=28578 vsize=5638664 CPUtime=4999.13 cores=0-31
/proc/28580/task/28611/stat : 28611 (plingeling) R 28578 28580 28483 0 -1 4202560 587892 1248 0 0 499269 644 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=28580/tid=28612] ppid=28578 vsize=5638664 CPUtime=5003.52 cores=0-31
/proc/28580/task/28612/stat : 28612 (plingeling) R 28578 28580 28483 0 -1 4202560 522142 1248 0 0 499882 470 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=28580/tid=28613] ppid=28578 vsize=5638664 CPUtime=5004.77 cores=0-31
/proc/28580/task/28613/stat : 28613 (plingeling) R 28578 28580 28483 0 -1 4202560 488078 1248 0 0 499873 604 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364696 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=28580/tid=28614] ppid=28578 vsize=5638664 CPUtime=5004.65 cores=0-31
/proc/28580/task/28614/stat : 28614 (plingeling) R 28578 28580 28483 0 -1 4202560 408248 1248 0 0 499999 466 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=28580/tid=28615] ppid=28578 vsize=5638664 CPUtime=5004.27 cores=0-31
/proc/28580/task/28615/stat : 28615 (plingeling) R 28578 28580 28483 0 -1 4202560 439064 1248 0 0 499958 469 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=28580/tid=28616] ppid=28578 vsize=5638664 CPUtime=5004.42 cores=0-31
/proc/28580/task/28616/stat : 28616 (plingeling) R 28578 28580 28483 0 -1 4202560 490748 1248 0 0 499927 515 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=28580/tid=28617] ppid=28578 vsize=5638664 CPUtime=5002.39 cores=0-31
/proc/28580/task/28617/stat : 28617 (plingeling) R 28578 28580 28483 0 -1 4202560 428821 1248 0 0 499728 511 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=28580/tid=28618] ppid=28578 vsize=5638664 CPUtime=5004.78 cores=0-31
/proc/28580/task/28618/stat : 28618 (plingeling) R 28578 28580 28483 0 -1 4202560 625922 1248 0 0 500101 377 0 0 25 0 33 0 722465434 5773991936 1254778 268435456000 4194304 4417452 140734325957152 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 5638664

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

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

[startup+5007.4 s]
/proc/loadavg: 32.04 32.06 32.06 2/416 28766
/proc/meminfo: memFree=251617020/264257624 swapFree=67111528/67111528
[pid=28580] ppid=28578 vsize=0 CPUtime=160002 cores=0-31
/proc/28580/stat : 28580 (plingeling) Z 28578 28580 28483 0 -1 4203548 16962344 1248 0 0 15983130 17103 0 0 18 0 2 0 722465429 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/28580/statm: 0 0 0 0 0 0 0
[pid=28580/tid=28595] ppid=28578 vsize=0 CPUtime=5005.18 cores=0-31
/proc/28580/task/28595/stat : 28595 (plingeling) R 28578 28580 28483 0 -1 4203588 574232 1248 0 0 499964 554 0 0 25 0 2 0 722465433 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 160002
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5007.47
CPU time (s): 160002
CPU user time (s): 159831
CPU system time (s): 171.111
CPU usage (%): 3195.27
Max. virtual memory (cumulated for all children) (KiB): 5638664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159831
system time used= 171.111
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16963592
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= 18717
involuntary context switches= 403276

runsolver used 24.6093 second user time and 116.666 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-23 02:16:30
IDJOB=3372861
IDBENCH=84808
IDSOLVER=1852
FILE ID=node200/3372861-1306109790
RUNJOBID= node200-1306109571-28497
PBS_JOBID= 13387825
Free space on /tmp= 62048 MiB

SOLVER NAME= Plingeling 587f (fixed)
BENCH NAME= SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3372861-1306109790/watcher-3372861-1306109790 -o /tmp/evaluation-result-3372861-1306109790/solver-3372861-1306109790 -C 160000 -W 5100 -M 266338304  plingeling -t 32 HOME/instance-3372861-1306109790.cnf

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

MD5SUM BENCH= 5ba57e5cfd40b4a93356dbea5162016d
RANDOM SEED=1839723223

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:      255454932 kB
Buffers:        456256 kB
Cached:        7944236 kB
SwapCached:          0 kB
Active:        7497852 kB
Inactive:       971848 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255454932 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:              24 kB
Writeback:           0 kB
AnonPages:       70340 kB
Mapped:          15968 kB
Slab:           252792 kB
PageTables:       5948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   183112 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= 62044 MiB
End job on node200 at 2011-05-23 03:39:59