Trace number 3472326

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
claspmt 2.0-R4095-patched (fixed)UNSAT 140.42 28.706

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10t0.cnf
MD5SUM9029cec808e66e35ae213dc5615fd1f7
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark46.7179
Satisfiable
(Un)Satisfiability was proved
Number of variables237336
Number of clauses1262609
Sum of the clauses size3042396
Maximum clause length10
Minimum clause length1
Number of clauses of size 113421
Number of clauses of size 2900089
Number of clauses of size 3288599
Number of clauses of size 46720
Number of clauses of size 526880
Number of clauses of size over 526900

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...481084/instance-3472326-1307481084.cnf
2.22/2.29	c Solving...
140.35/28.64	s UNSATISFIABLE
140.35/28.64	
140.35/28.64	c Models        : 0     
140.35/28.64	c Time          : 28.115s (Solving: 25.82s 1st Model: 0.00s Unsat: 25.82s)
140.35/28.64	c CPU Time      : 139.830s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3472326-1307481084/watcher-3472326-1307481084 -o /tmp/evaluation-result-3472326-1307481084/solver-3472326-1307481084 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472326-1307481084.cnf 

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

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


[startup+0 s]
/proc/loadavg: 26.95 17.25 10.79 1/413 17559
/proc/meminfo: memFree=263168204/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=51008 CPUtime=0.02 cores=0-31
/proc/17559/stat : 17559 (claspmt) R 17557 17559 17533 0 -1 4202496 4739 0 0 0 2 0 0 0 25 0 1 0 13495420 52232192 4668 270582939648 4194304 4964800 140733499017920 18446744073709551615 4700412 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17559/statm: 12752 4675 373 189 0 7626 0

[startup+0.0700609 s]
/proc/loadavg: 26.95 17.25 10.79 1/413 17559
/proc/meminfo: memFree=263168204/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=64920 CPUtime=0.06 cores=0-31
/proc/17559/stat : 17559 (claspmt) R 17557 17559 17533 0 -1 4202496 12458 0 0 0 4 2 0 0 25 0 1 0 13495420 66478080 10902 270582939648 4194304 4964800 140733499017920 18446744073709551615 4679094 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17559/statm: 16230 10914 375 189 0 11104 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 64920

[startup+0.101083 s]
/proc/loadavg: 26.95 17.25 10.79 1/413 17559
/proc/meminfo: memFree=263168204/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=70944 CPUtime=0.09 cores=0-31
/proc/17559/stat : 17559 (claspmt) R 17557 17559 17533 0 -1 4202496 14924 0 0 0 7 2 0 0 25 0 1 0 13495420 72646656 12707 270582939648 4194304 4964800 140733499017920 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17559/statm: 17736 12709 383 189 0 12610 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 70944

[startup+0.301089 s]
/proc/loadavg: 26.95 17.25 10.79 1/413 17559
/proc/meminfo: memFree=263168204/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=96548 CPUtime=0.29 cores=0-31
/proc/17559/stat : 17559 (claspmt) R 17557 17559 17533 0 -1 4202496 23686 0 0 0 24 5 0 0 25 0 1 0 13495420 98865152 19091 270582939648 4194304 4964800 140733499017920 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17559/statm: 24137 19093 383 189 0 19011 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 96548

[startup+0.701124 s]
/proc/loadavg: 26.95 17.25 10.79 1/413 17559
/proc/meminfo: memFree=263168204/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=154200 CPUtime=0.69 cores=0-31
/proc/17559/stat : 17559 (claspmt) R 17557 17559 17533 0 -1 4202496 43232 0 0 0 60 9 0 0 25 0 1 0 13495420 157900800 32843 270582939648 4194304 4964800 140733499017920 18446744073709551615 4615864 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17559/statm: 38550 32843 397 189 0 33424 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 154200

[startup+1.50116 s]
/proc/loadavg: 24.87 16.98 10.74 2/414 17560
/proc/meminfo: memFree=263034672/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=164572 CPUtime=1.49 cores=0-31
/proc/17559/stat : 17559 (claspmt) R 17557 17559 17533 0 -1 4202496 45803 0 0 0 139 10 0 0 25 0 1 0 13495420 168521728 35414 270582939648 4194304 4964800 140733499017920 18446744073709551615 4624084 0 0 4096 18946 0 0 0 17 8 0 0 0
/proc/17559/statm: 41143 35414 401 189 0 36017 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 164572

[startup+3.10112 s]
/proc/loadavg: 24.87 16.98 10.74 2/414 17560
/proc/meminfo: memFree=263027588/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=875852 CPUtime=22.45 cores=0-31
/proc/17559/stat : 17559 (claspmt) S 17557 17559 17533 0 -1 4202496 205298 0 0 0 323 1922 0 0 18 0 32 0 13495420 896872448 138997 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/17559/statm: 218963 139021 435 189 0 213312 0
Current children cumulated CPU time (s) 22.45
Current children cumulated vsize (KiB) 875852

[startup+6.30126 s]
/proc/loadavg: 24.87 16.98 10.74 5/445 17591
/proc/meminfo: memFree=262369036/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=1516396 CPUtime=38.75 cores=0-31
/proc/17559/stat : 17559 (claspmt) S 17557 17559 17533 0 -1 4202496 273373 0 0 0 1668 2207 0 0 18 0 32 0 13495420 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/17559/statm: 379099 200314 440 189 0 373448 0
[pid=17559/tid=17561] ppid=17557 vsize=1516396 CPUtime=0.8 cores=0-31
/proc/17559/task/17561/stat : 17561 (claspmt) S 17557 17559 17533 0 -1 4202560 6548 0 0 0 7 73 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604503783374304 0 0 -1 17 0 0 0
[pid=17559/tid=17562] ppid=17557 vsize=1516396 CPUtime=0.84 cores=0-31
/proc/17559/task/17562/stat : 17562 (claspmt) S 17557 17559 17533 0 -1 4202560 8768 0 0 0 14 70 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604639802990048 0 0 -1 19 0 0 0
[pid=17559/tid=17563] ppid=17557 vsize=1516396 CPUtime=0.91 cores=0-31
/proc/17559/task/17563/stat : 17563 (claspmt) S 17557 17559 17533 0 -1 4202560 8274 0 0 0 12 79 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604639609380320 0 0 -1 3 0 0 0
[pid=17559/tid=17564] ppid=17557 vsize=1516396 CPUtime=0.85 cores=0-31
/proc/17559/task/17564/stat : 17564 (claspmt) S 17557 17559 17533 0 -1 4202560 6311 0 0 0 6 79 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604643660004832 0 0 -1 0 0 0 0
[pid=17559/tid=17565] ppid=17557 vsize=1516396 CPUtime=3.43 cores=0-31
/proc/17559/task/17565/stat : 17565 (claspmt) R 17557 17559 17533 0 -1 4202560 7467 0 0 0 267 76 0 0 22 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668946 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17559/tid=17566] ppid=17557 vsize=1516396 CPUtime=0.92 cores=0-31
/proc/17559/task/17566/stat : 17566 (claspmt) S 17557 17559 17533 0 -1 4202560 8487 0 0 0 13 79 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501616590304 0 0 -1 29 0 0 0
[pid=17559/tid=17567] ppid=17557 vsize=1516396 CPUtime=0.96 cores=0-31
/proc/17559/task/17567/stat : 17567 (claspmt) S 17557 17559 17533 0 -1 4202560 8197 0 0 0 15 81 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501622259168 0 0 -1 5 0 0 0
[pid=17559/tid=17568] ppid=17557 vsize=1516396 CPUtime=0.78 cores=0-31
/proc/17559/task/17568/stat : 17568 (claspmt) S 17557 17559 17533 0 -1 4202560 6468 0 0 0 9 69 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500592418272 0 0 -1 10 0 0 0
[pid=17559/tid=17569] ppid=17557 vsize=1516396 CPUtime=0.76 cores=0-31
/proc/17559/task/17569/stat : 17569 (claspmt) S 17557 17559 17533 0 -1 4202560 6161 0 0 0 8 68 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604640375856608 0 0 -1 21 0 0 0
[pid=17559/tid=17570] ppid=17557 vsize=1516396 CPUtime=0.83 cores=0-31
/proc/17559/task/17570/stat : 17570 (claspmt) S 17557 17559 17533 0 -1 4202560 8435 0 0 0 15 68 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498287189472 0 0 -1 7 0 0 0
[pid=17559/tid=17571] ppid=17557 vsize=1516396 CPUtime=0.88 cores=0-31
/proc/17559/task/17571/stat : 17571 (claspmt) S 17557 17559 17533 0 -1 4202560 8203 0 0 0 16 72 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501460524512 0 0 -1 1 0 0 0
[pid=17559/tid=17572] ppid=17557 vsize=1516396 CPUtime=0.75 cores=0-31
/proc/17559/task/17572/stat : 17572 (claspmt) S 17557 17559 17533 0 -1 4202560 6527 0 0 0 6 69 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604503783349728 0 0 -1 20 0 0 0
[pid=17559/tid=17573] ppid=17557 vsize=1516396 CPUtime=3.56 cores=0-31
/proc/17559/task/17573/stat : 17573 (claspmt) R 17557 17559 17533 0 -1 4202560 6906 0 0 0 290 66 0 0 22 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670392 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17559/tid=17574] ppid=17557 vsize=1516396 CPUtime=0.71 cores=0-31
/proc/17559/task/17574/stat : 17574 (claspmt) S 17557 17559 17533 0 -1 4202560 8519 0 0 0 15 56 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604643473513952 0 0 -1 9 0 0 0
[pid=17559/tid=17575] ppid=17557 vsize=1516396 CPUtime=0.86 cores=0-31
/proc/17559/task/17575/stat : 17575 (claspmt) S 17557 17559 17533 0 -1 4202560 8150 0 0 0 18 68 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500680334816 0 0 -1 11 0 0 0
[pid=17559/tid=17576] ppid=17557 vsize=1516396 CPUtime=0.71 cores=0-31
/proc/17559/task/17576/stat : 17576 (claspmt) S 17557 17559 17533 0 -1 4202560 5986 0 0 0 10 61 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604642099486176 0 0 -1 15 0 0 0
[pid=17559/tid=17577] ppid=17557 vsize=1516396 CPUtime=0.73 cores=0-31
/proc/17559/task/17577/stat : 17577 (claspmt) S 17557 17559 17533 0 -1 4202560 6397 0 0 0 8 65 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498224291296 0 0 -1 13 0 0 0
[pid=17559/tid=17578] ppid=17557 vsize=1516396 CPUtime=0.91 cores=0-31
/proc/17559/task/17578/stat : 17578 (claspmt) S 17557 17559 17533 0 -1 4202560 8393 0 0 0 16 75 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604643643702752 0 0 -1 6 0 0 0
[pid=17559/tid=17579] ppid=17557 vsize=1516396 CPUtime=0.79 cores=0-31
/proc/17559/task/17579/stat : 17579 (claspmt) S 17557 17559 17533 0 -1 4202560 7790 0 0 0 12 67 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501616565728 0 0 -1 24 0 0 0
[pid=17559/tid=17580] ppid=17557 vsize=1516396 CPUtime=0.8 cores=0-31
/proc/17559/task/17580/stat : 17580 (claspmt) S 17557 17559 17533 0 -1 4202560 6616 0 0 0 7 73 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498284256736 0 0 -1 4 0 0 0
[pid=17559/tid=17581] ppid=17557 vsize=1516396 CPUtime=3.49 cores=0-31
/proc/17559/task/17581/stat : 17581 (claspmt) R 17557 17559 17533 0 -1 4202560 7181 0 0 0 280 69 0 0 23 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670670 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17559/tid=17582] ppid=17557 vsize=1516396 CPUtime=0.87 cores=0-31
/proc/17559/task/17582/stat : 17582 (claspmt) S 17557 17559 17533 0 -1 4202560 7148 0 0 0 14 73 0 0 18 0 32 0 13495650 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604503538466272 0 0 -1 14 0 0 0
[pid=17559/tid=17583] ppid=17557 vsize=1516396 CPUtime=0.93 cores=0-31
/proc/17559/task/17583/stat : 17583 (claspmt) S 17557 17559 17533 0 -1 4202560 7896 0 0 0 17 76 0 0 18 0 32 0 13495651 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500592410080 0 0 -1 22 0 0 0
[pid=17559/tid=17584] ppid=17557 vsize=1516396 CPUtime=0.73 cores=0-31
/proc/17559/task/17584/stat : 17584 (claspmt) S 17557 17559 17533 0 -1 4202560 6085 0 0 0 7 66 0 0 18 0 32 0 13495651 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500592401888 0 0 -1 27 0 0 0
[pid=17559/tid=17585] ppid=17557 vsize=1516396 CPUtime=0.72 cores=0-31
/proc/17559/task/17585/stat : 17585 (claspmt) S 17557 17559 17533 0 -1 4202560 5982 0 0 0 5 67 0 0 18 0 32 0 13495651 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498284264928 0 0 -1 16 0 0 0
[pid=17559/tid=17586] ppid=17557 vsize=1516396 CPUtime=0.86 cores=0-31
/proc/17559/task/17586/stat : 17586 (claspmt) S 17557 17559 17533 0 -1 4202560 8069 0 0 0 14 72 0 0 18 0 32 0 13495651 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500680326624 0 0 -1 30 0 0 0
[pid=17559/tid=17587] ppid=17557 vsize=1516396 CPUtime=0.85 cores=0-31
/proc/17559/task/17587/stat : 17587 (claspmt) S 17557 17559 17533 0 -1 4202560 8053 0 0 0 14 71 0 0 18 0 32 0 13495651 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500680318432 0 0 -1 26 0 0 0
[pid=17559/tid=17588] ppid=17557 vsize=1516396 CPUtime=0.85 cores=0-31
/proc/17559/task/17588/stat : 17588 (claspmt) S 17557 17559 17533 0 -1 4202560 6761 0 0 0 7 78 0 0 18 0 32 0 13495651 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604642367864288 0 0 -1 29 0 0 0
[pid=17559/tid=17589] ppid=17557 vsize=1516396 CPUtime=3.53 cores=0-31
/proc/17559/task/17589/stat : 17589 (claspmt) R 17557 17559 17533 0 -1 4202560 6613 0 0 0 280 73 0 0 23 0 32 0 13495651 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668773 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17559/tid=17590] ppid=17557 vsize=1516396 CPUtime=0.87 cores=0-31
/proc/17559/task/17590/stat : 17590 (claspmt) S 17557 17559 17533 0 -1 4202560 8210 0 0 0 11 76 0 0 18 0 32 0 13495651 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604641338793440 0 0 -1 8 0 0 0
[pid=17559/tid=17591] ppid=17557 vsize=1516396 CPUtime=0.65 cores=0-31
/proc/17559/task/17591/stat : 17591 (claspmt) S 17557 17559 17533 0 -1 4202560 6854 0 0 0 22 43 0 0 20 0 32 0 13495651 1552789504 200314 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604567347723744 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 38.75
Current children cumulated vsize (KiB) 1516396

[startup+12.7015 s]
/proc/loadavg: 21.66 16.56 10.66 5/445 17591
/proc/meminfo: memFree=262366748/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=1516396 CPUtime=64.35 cores=0-31
/proc/17559/stat : 17559 (claspmt) S 17557 17559 17533 0 -1 4202496 273966 0 0 0 4227 2208 0 0 18 0 32 0 13495420 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/17559/statm: 379099 200907 440 189 0 373448 0
[pid=17559/tid=17561] ppid=17557 vsize=1516396 CPUtime=0.8 cores=0-31
/proc/17559/task/17561/stat : 17561 (claspmt) S 17557 17559 17533 0 -1 4202560 6548 0 0 0 7 73 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604503783374304 0 0 -1 17 0 0 0
[pid=17559/tid=17562] ppid=17557 vsize=1516396 CPUtime=0.84 cores=0-31
/proc/17559/task/17562/stat : 17562 (claspmt) S 17557 17559 17533 0 -1 4202560 8768 0 0 0 14 70 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604639802990048 0 0 -1 19 0 0 0
[pid=17559/tid=17563] ppid=17557 vsize=1516396 CPUtime=0.91 cores=0-31
/proc/17559/task/17563/stat : 17563 (claspmt) S 17557 17559 17533 0 -1 4202560 8274 0 0 0 12 79 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604639609380320 0 0 -1 3 0 0 0
[pid=17559/tid=17564] ppid=17557 vsize=1516396 CPUtime=0.85 cores=0-31
/proc/17559/task/17564/stat : 17564 (claspmt) S 17557 17559 17533 0 -1 4202560 6311 0 0 0 6 79 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604643660004832 0 0 -1 0 0 0 0
[pid=17559/tid=17565] ppid=17557 vsize=1516396 CPUtime=9.84 cores=0-31
/proc/17559/task/17565/stat : 17565 (claspmt) R 17557 17559 17533 0 -1 4202560 7677 0 0 0 907 77 0 0 25 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17559/tid=17566] ppid=17557 vsize=1516396 CPUtime=0.92 cores=0-31
/proc/17559/task/17566/stat : 17566 (claspmt) S 17557 17559 17533 0 -1 4202560 8487 0 0 0 13 79 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501616590304 0 0 -1 29 0 0 0
[pid=17559/tid=17567] ppid=17557 vsize=1516396 CPUtime=0.96 cores=0-31
/proc/17559/task/17567/stat : 17567 (claspmt) S 17557 17559 17533 0 -1 4202560 8197 0 0 0 15 81 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501622259168 0 0 -1 5 0 0 0
[pid=17559/tid=17568] ppid=17557 vsize=1516396 CPUtime=0.78 cores=0-31
/proc/17559/task/17568/stat : 17568 (claspmt) S 17557 17559 17533 0 -1 4202560 6468 0 0 0 9 69 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500592418272 0 0 -1 10 0 0 0
[pid=17559/tid=17569] ppid=17557 vsize=1516396 CPUtime=0.76 cores=0-31
/proc/17559/task/17569/stat : 17569 (claspmt) S 17557 17559 17533 0 -1 4202560 6161 0 0 0 8 68 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604640375856608 0 0 -1 21 0 0 0
[pid=17559/tid=17570] ppid=17557 vsize=1516396 CPUtime=0.83 cores=0-31
/proc/17559/task/17570/stat : 17570 (claspmt) S 17557 17559 17533 0 -1 4202560 8435 0 0 0 15 68 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498287189472 0 0 -1 7 0 0 0
[pid=17559/tid=17571] ppid=17557 vsize=1516396 CPUtime=0.88 cores=0-31
/proc/17559/task/17571/stat : 17571 (claspmt) S 17557 17559 17533 0 -1 4202560 8203 0 0 0 16 72 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501460524512 0 0 -1 1 0 0 0
[pid=17559/tid=17572] ppid=17557 vsize=1516396 CPUtime=0.75 cores=0-31
/proc/17559/task/17572/stat : 17572 (claspmt) S 17557 17559 17533 0 -1 4202560 6527 0 0 0 6 69 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604503783349728 0 0 -1 20 0 0 0
[pid=17559/tid=17573] ppid=17557 vsize=1516396 CPUtime=9.96 cores=0-31
/proc/17559/task/17573/stat : 17573 (claspmt) R 17557 17559 17533 0 -1 4202560 6928 0 0 0 930 66 0 0 25 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668715 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17559/tid=17574] ppid=17557 vsize=1516396 CPUtime=0.71 cores=0-31
/proc/17559/task/17574/stat : 17574 (claspmt) S 17557 17559 17533 0 -1 4202560 8519 0 0 0 15 56 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604643473513952 0 0 -1 9 0 0 0
[pid=17559/tid=17575] ppid=17557 vsize=1516396 CPUtime=0.86 cores=0-31
/proc/17559/task/17575/stat : 17575 (claspmt) S 17557 17559 17533 0 -1 4202560 8150 0 0 0 18 68 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500680334816 0 0 -1 11 0 0 0
[pid=17559/tid=17576] ppid=17557 vsize=1516396 CPUtime=0.71 cores=0-31
/proc/17559/task/17576/stat : 17576 (claspmt) S 17557 17559 17533 0 -1 4202560 5986 0 0 0 10 61 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604642099486176 0 0 -1 15 0 0 0
[pid=17559/tid=17577] ppid=17557 vsize=1516396 CPUtime=0.73 cores=0-31
/proc/17559/task/17577/stat : 17577 (claspmt) S 17557 17559 17533 0 -1 4202560 6397 0 0 0 8 65 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498224291296 0 0 -1 13 0 0 0
[pid=17559/tid=17578] ppid=17557 vsize=1516396 CPUtime=0.91 cores=0-31
/proc/17559/task/17578/stat : 17578 (claspmt) S 17557 17559 17533 0 -1 4202560 8393 0 0 0 16 75 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604643643702752 0 0 -1 6 0 0 0
[pid=17559/tid=17579] ppid=17557 vsize=1516396 CPUtime=0.79 cores=0-31
/proc/17559/task/17579/stat : 17579 (claspmt) S 17557 17559 17533 0 -1 4202560 7790 0 0 0 12 67 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501616565728 0 0 -1 24 0 0 0
[pid=17559/tid=17580] ppid=17557 vsize=1516396 CPUtime=0.8 cores=0-31
/proc/17559/task/17580/stat : 17580 (claspmt) S 17557 17559 17533 0 -1 4202560 6616 0 0 0 7 73 0 0 18 0 32 0 13495650 1552789504 200907 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498284256736 0 0 -1 4 0 0 0
[pid=17559/tid=17581] ppid=17557 vsize=1516396 CPUtime=9.89 cores=0-31

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

[pid=17559/tid=17589] ppid=17557 vsize=1516396 CPUtime=22.73 cores=0-31
/proc/17559/task/17589/stat : 17589 (claspmt) R 17557 17559 17533 0 -1 4202560 6808 0 0 0 2200 73 0 0 25 0 32 0 13495651 1552789504 201123 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17559/tid=17590] ppid=17557 vsize=1516396 CPUtime=0.87 cores=0-31
/proc/17559/task/17590/stat : 17590 (claspmt) S 17557 17559 17533 0 -1 4202560 8210 0 0 0 11 76 0 0 18 0 32 0 13495651 1552789504 201123 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604641338793440 0 0 -1 8 0 0 0
[pid=17559/tid=17591] ppid=17557 vsize=1516396 CPUtime=0.65 cores=0-31
/proc/17559/task/17591/stat : 17591 (claspmt) S 17557 17559 17533 0 -1 4202560 6854 0 0 0 22 43 0 0 20 0 32 0 13495651 1552789504 201123 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604567347723744 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 115.54
Current children cumulated vsize (KiB) 1516396

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

[startup+27.102 s]
/proc/loadavg: 17.75 15.94 10.56 5/445 17591
/proc/meminfo: memFree=262368756/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=1516396 CPUtime=121.94 cores=0-31
/proc/17559/stat : 17559 (claspmt) S 17557 17559 17533 0 -1 4202496 274183 0 0 0 9985 2209 0 0 18 0 32 0 13495420 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 14 0 0 0
/proc/17559/statm: 379099 201124 440 189 0 373448 0
[pid=17559/tid=17561] ppid=17557 vsize=1516396 CPUtime=0.8 cores=0-31
/proc/17559/task/17561/stat : 17561 (claspmt) S 17557 17559 17533 0 -1 4202560 6548 0 0 0 7 73 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604503783374304 0 0 -1 17 0 0 0
[pid=17559/tid=17562] ppid=17557 vsize=1516396 CPUtime=0.84 cores=0-31
/proc/17559/task/17562/stat : 17562 (claspmt) S 17557 17559 17533 0 -1 4202560 8768 0 0 0 14 70 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604639802990048 0 0 -1 19 0 0 0
[pid=17559/tid=17563] ppid=17557 vsize=1516396 CPUtime=0.91 cores=0-31
/proc/17559/task/17563/stat : 17563 (claspmt) S 17557 17559 17533 0 -1 4202560 8274 0 0 0 12 79 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604639609380320 0 0 -1 3 0 0 0
[pid=17559/tid=17564] ppid=17557 vsize=1516396 CPUtime=0.85 cores=0-31
/proc/17559/task/17564/stat : 17564 (claspmt) S 17557 17559 17533 0 -1 4202560 6311 0 0 0 6 79 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604643660004832 0 0 -1 0 0 0 0
[pid=17559/tid=17565] ppid=17557 vsize=1516396 CPUtime=24.23 cores=0-31
/proc/17559/task/17565/stat : 17565 (claspmt) R 17557 17559 17533 0 -1 4202560 7712 0 0 0 2346 77 0 0 25 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17559/tid=17566] ppid=17557 vsize=1516396 CPUtime=0.92 cores=0-31
/proc/17559/task/17566/stat : 17566 (claspmt) S 17557 17559 17533 0 -1 4202560 8487 0 0 0 13 79 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501616590304 0 0 -1 29 0 0 0
[pid=17559/tid=17567] ppid=17557 vsize=1516396 CPUtime=0.96 cores=0-31
/proc/17559/task/17567/stat : 17567 (claspmt) S 17557 17559 17533 0 -1 4202560 8197 0 0 0 15 81 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501622259168 0 0 -1 5 0 0 0
[pid=17559/tid=17568] ppid=17557 vsize=1516396 CPUtime=0.78 cores=0-31
/proc/17559/task/17568/stat : 17568 (claspmt) S 17557 17559 17533 0 -1 4202560 6468 0 0 0 9 69 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500592418272 0 0 -1 10 0 0 0
[pid=17559/tid=17569] ppid=17557 vsize=1516396 CPUtime=0.76 cores=0-31
/proc/17559/task/17569/stat : 17569 (claspmt) S 17557 17559 17533 0 -1 4202560 6161 0 0 0 8 68 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604640375856608 0 0 -1 21 0 0 0
[pid=17559/tid=17570] ppid=17557 vsize=1516396 CPUtime=0.83 cores=0-31
/proc/17559/task/17570/stat : 17570 (claspmt) S 17557 17559 17533 0 -1 4202560 8435 0 0 0 15 68 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498287189472 0 0 -1 7 0 0 0
[pid=17559/tid=17571] ppid=17557 vsize=1516396 CPUtime=0.88 cores=0-31
/proc/17559/task/17571/stat : 17571 (claspmt) S 17557 17559 17533 0 -1 4202560 8203 0 0 0 16 72 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501460524512 0 0 -1 1 0 0 0
[pid=17559/tid=17572] ppid=17557 vsize=1516396 CPUtime=0.75 cores=0-31
/proc/17559/task/17572/stat : 17572 (claspmt) S 17557 17559 17533 0 -1 4202560 6527 0 0 0 6 69 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604503783349728 0 0 -1 20 0 0 0
[pid=17559/tid=17573] ppid=17557 vsize=1516396 CPUtime=24.35 cores=0-31
/proc/17559/task/17573/stat : 17573 (claspmt) R 17557 17559 17533 0 -1 4202560 6945 0 0 0 2369 66 0 0 25 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17559/tid=17574] ppid=17557 vsize=1516396 CPUtime=0.71 cores=0-31
/proc/17559/task/17574/stat : 17574 (claspmt) S 17557 17559 17533 0 -1 4202560 8519 0 0 0 15 56 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604643473513952 0 0 -1 9 0 0 0
[pid=17559/tid=17575] ppid=17557 vsize=1516396 CPUtime=0.86 cores=0-31
/proc/17559/task/17575/stat : 17575 (claspmt) S 17557 17559 17533 0 -1 4202560 8150 0 0 0 18 68 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500680334816 0 0 -1 11 0 0 0
[pid=17559/tid=17576] ppid=17557 vsize=1516396 CPUtime=0.71 cores=0-31
/proc/17559/task/17576/stat : 17576 (claspmt) S 17557 17559 17533 0 -1 4202560 5986 0 0 0 10 61 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604642099486176 0 0 -1 15 0 0 0
[pid=17559/tid=17577] ppid=17557 vsize=1516396 CPUtime=0.73 cores=0-31
/proc/17559/task/17577/stat : 17577 (claspmt) S 17557 17559 17533 0 -1 4202560 6397 0 0 0 8 65 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498224291296 0 0 -1 13 0 0 0
[pid=17559/tid=17578] ppid=17557 vsize=1516396 CPUtime=0.91 cores=0-31
/proc/17559/task/17578/stat : 17578 (claspmt) S 17557 17559 17533 0 -1 4202560 8393 0 0 0 16 75 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604643643702752 0 0 -1 6 0 0 0
[pid=17559/tid=17579] ppid=17557 vsize=1516396 CPUtime=0.79 cores=0-31
/proc/17559/task/17579/stat : 17579 (claspmt) S 17557 17559 17533 0 -1 4202560 7790 0 0 0 12 67 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604501616565728 0 0 -1 24 0 0 0
[pid=17559/tid=17580] ppid=17557 vsize=1516396 CPUtime=0.8 cores=0-31
/proc/17559/task/17580/stat : 17580 (claspmt) S 17557 17559 17533 0 -1 4202560 6616 0 0 0 7 73 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498284256736 0 0 -1 4 0 0 0
[pid=17559/tid=17581] ppid=17557 vsize=1516396 CPUtime=24.29 cores=0-31
/proc/17559/task/17581/stat : 17581 (claspmt) R 17557 17559 17533 0 -1 4202560 7511 0 0 0 2358 71 0 0 25 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17559/tid=17582] ppid=17557 vsize=1516396 CPUtime=0.87 cores=0-31
/proc/17559/task/17582/stat : 17582 (claspmt) S 17557 17559 17533 0 -1 4202560 7148 0 0 0 14 73 0 0 18 0 32 0 13495650 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604503538466272 0 0 -1 14 0 0 0
[pid=17559/tid=17583] ppid=17557 vsize=1516396 CPUtime=0.93 cores=0-31
/proc/17559/task/17583/stat : 17583 (claspmt) S 17557 17559 17533 0 -1 4202560 7896 0 0 0 17 76 0 0 18 0 32 0 13495651 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500592410080 0 0 -1 22 0 0 0
[pid=17559/tid=17584] ppid=17557 vsize=1516396 CPUtime=0.73 cores=0-31
/proc/17559/task/17584/stat : 17584 (claspmt) S 17557 17559 17533 0 -1 4202560 6085 0 0 0 7 66 0 0 18 0 32 0 13495651 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500592401888 0 0 -1 27 0 0 0
[pid=17559/tid=17585] ppid=17557 vsize=1516396 CPUtime=0.72 cores=0-31
/proc/17559/task/17585/stat : 17585 (claspmt) S 17557 17559 17533 0 -1 4202560 5982 0 0 0 5 67 0 0 18 0 32 0 13495651 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604498284264928 0 0 -1 16 0 0 0
[pid=17559/tid=17586] ppid=17557 vsize=1516396 CPUtime=0.86 cores=0-31
/proc/17559/task/17586/stat : 17586 (claspmt) S 17557 17559 17533 0 -1 4202560 8069 0 0 0 14 72 0 0 18 0 32 0 13495651 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500680326624 0 0 -1 30 0 0 0
[pid=17559/tid=17587] ppid=17557 vsize=1516396 CPUtime=0.85 cores=0-31
/proc/17559/task/17587/stat : 17587 (claspmt) S 17557 17559 17533 0 -1 4202560 8053 0 0 0 14 71 0 0 18 0 32 0 13495651 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604500680318432 0 0 -1 26 0 0 0
[pid=17559/tid=17588] ppid=17557 vsize=1516396 CPUtime=0.85 cores=0-31
/proc/17559/task/17588/stat : 17588 (claspmt) S 17557 17559 17533 0 -1 4202560 6761 0 0 0 7 78 0 0 18 0 32 0 13495651 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604642367864288 0 0 -1 29 0 0 0
[pid=17559/tid=17589] ppid=17557 vsize=1516396 CPUtime=24.33 cores=0-31
/proc/17559/task/17589/stat : 17589 (claspmt) R 17557 17559 17533 0 -1 4202560 6809 0 0 0 2360 73 0 0 25 0 32 0 13495651 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17559/tid=17590] ppid=17557 vsize=1516396 CPUtime=0.87 cores=0-31
/proc/17559/task/17590/stat : 17590 (claspmt) S 17557 17559 17533 0 -1 4202560 8210 0 0 0 11 76 0 0 18 0 32 0 13495651 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604641338793440 0 0 -1 8 0 0 0
[pid=17559/tid=17591] ppid=17557 vsize=1516396 CPUtime=0.65 cores=0-31
/proc/17559/task/17591/stat : 17591 (claspmt) S 17557 17559 17533 0 -1 4202560 6854 0 0 0 22 43 0 0 20 0 32 0 13495651 1552789504 201124 270582939648 4194304 4964800 140733499017920 18446744073709551615 258662772457 0 0 4096 18946 18446604567347723744 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 121.94
Current children cumulated vsize (KiB) 1516396

[startup+27.9029 s]
/proc/loadavg: 17.75 15.94 10.56 5/445 17591
/proc/meminfo: memFree=262368880/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=2040684 CPUtime=134.39 cores=0-31
/proc/17559/stat : 17559 (claspmt) R 17557 17559 17533 0 -1 4202496 279954 0 0 0 11215 2224 0 0 18 0 32 0 13495420 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 258650613570 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17559/statm: 510171 206802 451 189 0 504520 0
[pid=17559/tid=17561] ppid=17557 vsize=2040684 CPUtime=1.17 cores=0-31
/proc/17559/task/17561/stat : 17561 (claspmt) R 17557 17559 17533 0 -1 4202560 6660 0 0 0 43 74 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=17559/tid=17562] ppid=17557 vsize=2040684 CPUtime=1.13 cores=0-31
/proc/17559/task/17562/stat : 17562 (claspmt) R 17557 17559 17533 0 -1 4202560 8922 0 0 0 43 70 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=17559/tid=17563] ppid=17557 vsize=2040684 CPUtime=1.27 cores=0-31
/proc/17559/task/17563/stat : 17563 (claspmt) R 17557 17559 17533 0 -1 4202560 8422 0 0 0 47 80 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=17559/tid=17564] ppid=17557 vsize=2040684 CPUtime=1.22 cores=0-31
/proc/17559/task/17564/stat : 17564 (claspmt) R 17557 17559 17533 0 -1 4202560 6426 0 0 0 42 80 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=17559/tid=17565] ppid=17557 vsize=2040684 CPUtime=24.98 cores=0-31
/proc/17559/task/17565/stat : 17565 (claspmt) R 17557 17559 17533 0 -1 4202560 7712 0 0 0 2421 77 0 0 25 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=17559/tid=17566] ppid=17557 vsize=2040684 CPUtime=1.21 cores=0-31
/proc/17559/task/17566/stat : 17566 (claspmt) R 17557 17559 17533 0 -1 4202560 8898 0 0 0 42 79 0 0 17 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=17559/tid=17567] ppid=17557 vsize=2040684 CPUtime=1.27 cores=0-31
/proc/17559/task/17567/stat : 17567 (claspmt) R 17557 17559 17533 0 -1 4202560 8364 0 0 0 46 81 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=17559/tid=17568] ppid=17557 vsize=2040684 CPUtime=1.13 cores=0-31
/proc/17559/task/17568/stat : 17568 (claspmt) R 17557 17559 17533 0 -1 4202560 6664 0 0 0 44 69 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=17559/tid=17569] ppid=17557 vsize=2040684 CPUtime=1.12 cores=0-31
/proc/17559/task/17569/stat : 17569 (claspmt) R 17557 17559 17533 0 -1 4202560 6360 0 0 0 43 69 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=17559/tid=17570] ppid=17557 vsize=2040684 CPUtime=1.18 cores=0-31
/proc/17559/task/17570/stat : 17570 (claspmt) R 17557 17559 17533 0 -1 4202560 8654 0 0 0 50 68 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=17559/tid=17571] ppid=17557 vsize=2040684 CPUtime=1.23 cores=0-31
/proc/17559/task/17571/stat : 17571 (claspmt) R 17557 17559 17533 0 -1 4202560 8366 0 0 0 50 73 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4364115 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=17559/tid=17572] ppid=17557 vsize=2040684 CPUtime=1.11 cores=0-31
/proc/17559/task/17572/stat : 17572 (claspmt) R 17557 17559 17533 0 -1 4202560 6678 0 0 0 41 70 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=17559/tid=17573] ppid=17557 vsize=2040684 CPUtime=25.1 cores=0-31
/proc/17559/task/17573/stat : 17573 (claspmt) R 17557 17559 17533 0 -1 4202560 6945 0 0 0 2444 66 0 0 25 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668728 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=17559/tid=17574] ppid=17557 vsize=2040684 CPUtime=1.05 cores=0-31
/proc/17559/task/17574/stat : 17574 (claspmt) R 17557 17559 17533 0 -1 4202560 8873 0 0 0 48 57 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668969 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=17559/tid=17575] ppid=17557 vsize=2040684 CPUtime=1.2 cores=0-31
/proc/17559/task/17575/stat : 17575 (claspmt) R 17557 17559 17533 0 -1 4202560 8332 0 0 0 51 69 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=17559/tid=17576] ppid=17557 vsize=2040684 CPUtime=1.04 cores=0-31
/proc/17559/task/17576/stat : 17576 (claspmt) R 17557 17559 17533 0 -1 4202560 6194 0 0 0 43 61 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4370224 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=17559/tid=17577] ppid=17557 vsize=2040684 CPUtime=1.1 cores=0-31
/proc/17559/task/17577/stat : 17577 (claspmt) R 17557 17559 17533 0 -1 4202560 6530 0 0 0 44 66 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4370264 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=17559/tid=17578] ppid=17557 vsize=2040684 CPUtime=1.25 cores=0-31
/proc/17559/task/17578/stat : 17578 (claspmt) R 17557 17559 17533 0 -1 4202560 8614 0 0 0 49 76 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=17559/tid=17579] ppid=17557 vsize=2040684 CPUtime=1.12 cores=0-31
/proc/17559/task/17579/stat : 17579 (claspmt) R 17557 17559 17533 0 -1 4202560 8041 0 0 0 44 68 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=17559/tid=17580] ppid=17557 vsize=2040684 CPUtime=1.14 cores=0-31
/proc/17559/task/17580/stat : 17580 (claspmt) R 17557 17559 17533 0 -1 4202560 6767 0 0 0 41 73 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=17559/tid=17581] ppid=17557 vsize=2040684 CPUtime=25.02 cores=0-31
/proc/17559/task/17581/stat : 17581 (claspmt) R 17557 17559 17533 0 -1 4202560 7511 0 0 0 2431 71 0 0 25 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=17559/tid=17582] ppid=17557 vsize=2040684 CPUtime=1.21 cores=0-31
/proc/17559/task/17582/stat : 17582 (claspmt) R 17557 17559 17533 0 -1 4202560 7680 0 0 0 46 75 0 0 18 0 32 0 13495650 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4669136 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=17559/tid=17583] ppid=17557 vsize=2040684 CPUtime=1.28 cores=0-31
/proc/17559/task/17583/stat : 17583 (claspmt) R 17557 17559 17533 0 -1 4202560 8044 0 0 0 52 76 0 0 18 0 32 0 13495651 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=17559/tid=17584] ppid=17557 vsize=2040684 CPUtime=1.06 cores=0-31
/proc/17559/task/17584/stat : 17584 (claspmt) R 17557 17559 17533 0 -1 4202560 6291 0 0 0 40 66 0 0 17 0 32 0 13495651 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=17559/tid=17585] ppid=17557 vsize=2040684 CPUtime=1.09 cores=0-31
/proc/17559/task/17585/stat : 17585 (claspmt) R 17557 17559 17533 0 -1 4202560 6150 0 0 0 41 68 0 0 18 0 32 0 13495651 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4370269 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=17559/tid=17586] ppid=17557 vsize=2040684 CPUtime=1.2 cores=0-31
/proc/17559/task/17586/stat : 17586 (claspmt) R 17557 17559 17533 0 -1 4202560 8276 0 0 0 47 73 0 0 18 0 32 0 13495651 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668987 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=17559/tid=17587] ppid=17557 vsize=2040684 CPUtime=1.19 cores=0-31
/proc/17559/task/17587/stat : 17587 (claspmt) R 17557 17559 17533 0 -1 4202560 8266 0 0 0 48 71 0 0 18 0 32 0 13495651 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=17559/tid=17588] ppid=17557 vsize=2040684 CPUtime=1.2 cores=0-31
/proc/17559/task/17588/stat : 17588 (claspmt) R 17557 17559 17533 0 -1 4202560 6885 0 0 0 42 78 0 0 18 0 32 0 13495651 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=17559/tid=17589] ppid=17557 vsize=2040684 CPUtime=25.04 cores=0-31
/proc/17559/task/17589/stat : 17589 (claspmt) R 17557 17559 17533 0 -1 4202560 6819 0 0 0 2431 73 0 0 25 0 32 0 13495651 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=17559/tid=17590] ppid=17557 vsize=2040684 CPUtime=1.21 cores=0-31
/proc/17559/task/17590/stat : 17590 (claspmt) R 17557 17559 17533 0 -1 4202560 8451 0 0 0 44 77 0 0 18 0 32 0 13495651 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4668712 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=17559/tid=17591] ppid=17557 vsize=2040684 CPUtime=0.94 cores=0-31
/proc/17559/task/17591/stat : 17591 (claspmt) R 17557 17559 17533 0 -1 4202560 7037 0 0 0 50 44 0 0 17 0 32 0 13495651 2089660416 206802 270582939648 4194304 4964800 140733499017920 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 134.39
Current children cumulated vsize (KiB) 2040684

[startup+28.3011 s]
/proc/loadavg: 17.75 15.94 10.56 5/445 17591
/proc/meminfo: memFree=262368880/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=1920584 CPUtime=140 cores=0-31
/proc/17559/stat : 17559 (claspmt) R 17557 17559 17533 0 -1 4202496 280017 0 0 0 11775 2225 0 0 18 0 1 0 13495420 1966678016 199346 270582939648 4194304 4964800 140733499017920 18446744073709551615 4646717 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/17559/statm: 480146 199346 466 189 0 474495 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (KiB) 1920584

[startup+28.7011 s]
/proc/loadavg: 17.75 15.94 10.56 2/414 17591
/proc/meminfo: memFree=262378304/264257624 swapFree=67111528/67111528
[pid=17559] ppid=17557 vsize=0 CPUtime=140.41 cores=0-31
/proc/17559/stat : 17559 (claspmt) R 17557 17559 17533 0 -1 4202500 280018 0 0 0 11807 2234 0 0 18 0 1 0 13495420 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 2 0 0 0
/proc/17559/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 140.41
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 28.706
CPU time (s): 140.42
CPU user time (s): 118.075
CPU system time (s): 22.3446
CPU usage (%): 489.165
Max. virtual memory (cumulated for all children) (KiB): 2040684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.075
system time used= 22.3446
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280018
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= 97058
involuntary context switches= 728

runsolver used 0.177972 second user time and 0.561914 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-07 23:11:25
IDJOB=3472326
IDBENCH=71012
IDSOLVER=1961
FILE ID=node200/3472326-1307481084
RUNJOBID= node200-1307481084-17547
PBS_JOBID= 13509196
Free space on /tmp= 61720 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10t0.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472326-1307481084/watcher-3472326-1307481084 -o /tmp/evaluation-result-3472326-1307481084/solver-3472326-1307481084 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472326-1307481084.cnf

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

MD5SUM BENCH= 9029cec808e66e35ae213dc5615fd1f7
RANDOM SEED=501522681

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263168724 kB
Buffers:        144700 kB
Cached:         681816 kB
SwapCached:          0 kB
Active:         201944 kB
Inactive:       688132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263168724 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           25156 kB
Writeback:           0 kB
AnonPages:       63580 kB
Mapped:          14300 kB
Slab:           120984 kB
PageTables:       4784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   162656 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61720 MiB
End job on node200 at 2011-06-07 23:11:54