Trace number 3472439

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 3137.1 113.583

General information on the benchmark

Nameapplication/manthey/traffic/
traffic_f_unknown.cnf
MD5SUMf03ed12a281977a642336980ec847847
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3137.1
Satisfiable
(Un)Satisfiability was proved
Number of variables33320
Number of clauses763101
Sum of the clauses size2854525
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 252598
Number of clauses of size 392683
Number of clauses of size 4617820
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...646992/instance-3472439-1307646992.cnf
2.69/2.78	c Solving...
3137.01/113.52	s UNSATISFIABLE
3137.01/113.52	
3137.01/113.52	c Models        : 0     
3137.01/113.52	c Time          : 111.995s (Solving: 109.22s 1st Model: 0.00s Unsat: 109.22s)
3137.01/113.52	c CPU Time      : 3135.510s

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-3472439-1307646992/watcher-3472439-1307646992 -o /tmp/evaluation-result-3472439-1307646992/solver-3472439-1307646992 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472439-1307646992.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.43 27.69 29.37 1/412 31330
/proc/meminfo: memFree=262246968/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=30024 CPUtime=0.02 cores=0-31
/proc/31330/stat : 31330 (claspmt) R 31328 31330 31229 0 -1 4202496 3180 0 0 0 2 0 0 0 22 0 1 0 30086162 30744576 2678 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31330/statm: 7506 2680 383 189 0 2380 0

[startup+0.091313 s]
/proc/loadavg: 26.43 27.69 29.37 1/412 31330
/proc/meminfo: memFree=262246968/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=37764 CPUtime=0.08 cores=0-31
/proc/31330/stat : 31330 (claspmt) R 31328 31330 31229 0 -1 4202496 5701 0 0 0 7 1 0 0 22 0 1 0 30086162 38670336 4626 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31330/statm: 9474 4628 383 189 0 4348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 37764

[startup+0.101316 s]
/proc/loadavg: 26.43 27.69 29.37 1/412 31330
/proc/meminfo: memFree=262246968/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=39628 CPUtime=0.09 cores=0-31
/proc/31330/stat : 31330 (claspmt) R 31328 31330 31229 0 -1 4202496 6403 0 0 0 8 1 0 0 22 0 1 0 30086162 40579072 4922 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31330/statm: 9907 4924 383 189 0 4781 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39628

[startup+0.300333 s]
/proc/loadavg: 26.43 27.69 29.37 1/412 31330
/proc/meminfo: memFree=262246968/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=68236 CPUtime=0.28 cores=0-31
/proc/31330/stat : 31330 (claspmt) R 31328 31330 31229 0 -1 4202496 15947 0 0 0 25 3 0 0 23 0 1 0 30086162 69873664 11578 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31330/statm: 17059 11580 383 189 0 11933 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 68236

[startup+0.700378 s]
/proc/loadavg: 26.43 27.69 29.37 1/412 31330
/proc/meminfo: memFree=262246968/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=97004 CPUtime=0.69 cores=0-31
/proc/31330/stat : 31330 (claspmt) R 31328 31330 31229 0 -1 4202496 23266 0 0 0 64 5 0 0 25 0 1 0 30086162 99332096 18573 270582939648 4194304 4964800 140733220042768 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31330/statm: 24251 18573 396 189 0 19125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 97004

[startup+1.50037 s]
/proc/loadavg: 26.43 27.69 29.37 2/413 31331
/proc/meminfo: memFree=262173668/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=97004 CPUtime=1.49 cores=0-31
/proc/31330/stat : 31330 (claspmt) R 31328 31330 31229 0 -1 4202496 23267 0 0 0 144 5 0 0 25 0 1 0 30086162 99332096 18574 270582939648 4194304 4964800 140733220042768 18446744073709551615 4607562 0 0 4096 18946 0 0 0 17 16 0 0 0
/proc/31330/statm: 24251 18574 396 189 0 19125 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 97004

[startup+3.10029 s]
/proc/loadavg: 26.43 27.69 29.37 2/413 31331
/proc/meminfo: memFree=262173752/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=2129744 CPUtime=4.53 cores=0-31
/proc/31330/stat : 31330 (claspmt) S 31328 31330 31229 0 -1 4202496 58808 0 0 0 306 147 0 0 18 0 32 0 30086162 2180857856 46463 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 13 0 0 0
/proc/31330/statm: 532436 46463 430 189 0 526785 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 2129744

[startup+6.3024 s]
/proc/loadavg: 25.83 27.54 29.31 14/444 31362
/proc/meminfo: memFree=261427408/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=2157936 CPUtime=23.28 cores=0-31
/proc/31330/stat : 31330 (claspmt) S 31328 31330 31229 0 -1 4202496 292243 0 0 0 1103 1225 0 0 18 0 32 0 30086162 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 13 0 0 0
/proc/31330/statm: 539484 279898 431 189 0 533833 0
[pid=31330/tid=31332] ppid=31328 vsize=2157936 CPUtime=0.64 cores=0-31
/proc/31330/task/31332/stat : 31332 (claspmt) D 31328 31330 31229 0 -1 4202560 8590 0 0 0 27 37 0 0 16 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=31330/tid=31333] ppid=31328 vsize=2157936 CPUtime=0.72 cores=0-31
/proc/31330/task/31333/stat : 31333 (claspmt) D 31328 31330 31229 0 -1 4202560 8982 0 0 0 27 45 0 0 16 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31330/tid=31334] ppid=31328 vsize=2157936 CPUtime=0.69 cores=0-31
/proc/31330/task/31334/stat : 31334 (claspmt) S 31328 31330 31229 0 -1 4202560 8424 0 0 0 26 43 0 0 15 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446604500460207584 0 0 -1 7 0 0 0
[pid=31330/tid=31335] ppid=31328 vsize=2157936 CPUtime=0.68 cores=0-31
/proc/31330/task/31335/stat : 31335 (claspmt) D 31328 31330 31229 0 -1 4202560 8555 0 0 0 28 40 0 0 16 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31330/tid=31336] ppid=31328 vsize=2157936 CPUtime=0.63 cores=0-31
/proc/31330/task/31336/stat : 31336 (claspmt) S 31328 31330 31229 0 -1 4202560 8473 0 0 0 27 36 0 0 16 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446744071566933424 0 0 -1 26 0 0 0
[pid=31330/tid=31337] ppid=31328 vsize=2157936 CPUtime=0.64 cores=0-31
/proc/31330/task/31337/stat : 31337 (claspmt) S 31328 31330 31229 0 -1 4202560 8301 0 0 0 29 35 0 0 16 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604563066289632 0 0 -1 16 0 0 0
[pid=31330/tid=31338] ppid=31328 vsize=2157936 CPUtime=0.66 cores=0-31
/proc/31330/task/31338/stat : 31338 (claspmt) D 31328 31330 31229 0 -1 4202560 8382 0 0 0 28 38 0 0 16 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31330/tid=31339] ppid=31328 vsize=2157936 CPUtime=0.66 cores=0-31
/proc/31330/task/31339/stat : 31339 (claspmt) S 31328 31330 31229 0 -1 4202560 8140 0 0 0 27 39 0 0 15 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446604568097545696 0 0 -1 5 0 0 0
[pid=31330/tid=31340] ppid=31328 vsize=2157936 CPUtime=0.7 cores=0-31
/proc/31330/task/31340/stat : 31340 (claspmt) S 31328 31330 31229 0 -1 4202560 8733 0 0 0 30 40 0 0 15 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446744071566929184 0 0 -1 30 0 0 0
[pid=31330/tid=31341] ppid=31328 vsize=2157936 CPUtime=0.66 cores=0-31
/proc/31330/task/31341/stat : 31341 (claspmt) S 31328 31330 31229 0 -1 4202560 8237 0 0 0 26 40 0 0 15 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446604572791127520 0 0 -1 21 0 0 0
[pid=31330/tid=31342] ppid=31328 vsize=2157936 CPUtime=0.62 cores=0-31
/proc/31330/task/31342/stat : 31342 (claspmt) D 31328 31330 31229 0 -1 4202560 8601 0 0 0 23 39 0 0 16 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31330/tid=31343] ppid=31328 vsize=2157936 CPUtime=0.61 cores=0-31
/proc/31330/task/31343/stat : 31343 (claspmt) R 31328 31330 31229 0 -1 4202560 8253 0 0 0 27 34 0 0 16 0 32 0 30086440 2209726464 279898 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31330/tid=31344] ppid=31328 vsize=2157936 CPUtime=0.67 cores=0-31
/proc/31330/task/31344/stat : 31344 (claspmt) R 31328 31330 31229 0 -1 4202560 8547 0 0 0 27 40 0 0 16 0 32 0 30086440 2209726464 279899 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=31330/tid=31345] ppid=31328 vsize=2157936 CPUtime=0.62 cores=0-31
/proc/31330/task/31345/stat : 31345 (claspmt) S 31328 31330 31229 0 -1 4202560 8739 0 0 0 26 36 0 0 15 0 32 0 30086440 2209726464 279904 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446604497918418400 0 0 -1 2 0 0 0
[pid=31330/tid=31346] ppid=31328 vsize=2157936 CPUtime=0.68 cores=0-31
/proc/31330/task/31346/stat : 31346 (claspmt) D 31328 31330 31229 0 -1 4202560 8883 0 0 0 27 41 0 0 16 0 32 0 30086441 2209726464 279914 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650999207 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31330/tid=31347] ppid=31328 vsize=2157936 CPUtime=0.69 cores=0-31
/proc/31330/task/31347/stat : 31347 (claspmt) D 31328 31330 31229 0 -1 4202560 8514 0 0 0 26 43 0 0 16 0 32 0 30086441 2209726464 279920 270582939648 4194304 4964800 140733220042768 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=31330/tid=31348] ppid=31328 vsize=2157936 CPUtime=0.62 cores=0-31
/proc/31330/task/31348/stat : 31348 (claspmt) D 31328 31330 31229 0 -1 4202560 8455 0 0 0 27 35 0 0 16 0 32 0 30086441 2209726464 279923 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31330/tid=31349] ppid=31328 vsize=2157936 CPUtime=0.66 cores=0-31
/proc/31330/task/31349/stat : 31349 (claspmt) S 31328 31330 31229 0 -1 4202560 8686 0 0 0 25 41 0 0 15 0 32 0 30086441 2209726464 279927 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446604573592772064 0 0 -1 27 0 0 0
[pid=31330/tid=31350] ppid=31328 vsize=2157936 CPUtime=0.65 cores=0-31
/proc/31330/task/31350/stat : 31350 (claspmt) R 31328 31330 31229 0 -1 4202560 8891 0 0 0 27 38 0 0 16 0 32 0 30086441 2209726464 279929 270582939648 4194304 4964800 140733220042768 18446744073709551615 4319250 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=31330/tid=31351] ppid=31328 vsize=2157936 CPUtime=0.64 cores=0-31
/proc/31330/task/31351/stat : 31351 (claspmt) R 31328 31330 31229 0 -1 4202560 8642 0 0 0 25 39 0 0 15 0 32 0 30086441 2209726464 279937 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651061007 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31330/tid=31352] ppid=31328 vsize=2157936 CPUtime=0.66 cores=0-31
/proc/31330/task/31352/stat : 31352 (claspmt) S 31328 31330 31229 0 -1 4202560 8499 0 0 0 27 39 0 0 15 0 32 0 30086441 2209726464 279940 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446744071566931104 0 0 -1 25 0 0 0
[pid=31330/tid=31353] ppid=31328 vsize=2157936 CPUtime=0.65 cores=0-31
/proc/31330/task/31353/stat : 31353 (claspmt) S 31328 31330 31229 0 -1 4202560 8928 0 0 0 24 41 0 0 16 0 32 0 30086441 2209726464 279941 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446604558835539424 0 0 -1 22 0 0 0
[pid=31330/tid=31354] ppid=31328 vsize=2157936 CPUtime=0.65 cores=0-31
/proc/31330/task/31354/stat : 31354 (claspmt) D 31328 31330 31229 0 -1 4202560 8583 0 0 0 28 37 0 0 16 0 32 0 30086441 2209726464 279946 270582939648 4194304 4964800 140733220042768 18446744073709551615 4685574 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31330/tid=31355] ppid=31328 vsize=2157936 CPUtime=0.64 cores=0-31
/proc/31330/task/31355/stat : 31355 (claspmt) S 31328 31330 31229 0 -1 4202560 8579 0 0 0 25 39 0 0 15 0 32 0 30086441 2209726464 279951 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446744071566931504 0 0 -1 28 0 0 0
[pid=31330/tid=31356] ppid=31328 vsize=2157936 CPUtime=0.65 cores=0-31
/proc/31330/task/31356/stat : 31356 (claspmt) R 31328 31330 31229 0 -1 4202560 8443 0 0 0 28 37 0 0 15 0 32 0 30086441 2209726464 279957 270582939648 4194304 4964800 140733220042768 18446744073709551615 4342688 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31330/tid=31357] ppid=31328 vsize=2157936 CPUtime=0.63 cores=0-31
/proc/31330/task/31357/stat : 31357 (claspmt) S 31328 31330 31229 0 -1 4202560 8655 0 0 0 26 37 0 0 16 0 32 0 30086441 2209726464 279962 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446604565208702432 0 0 -1 12 0 0 0
[pid=31330/tid=31358] ppid=31328 vsize=2157936 CPUtime=0.61 cores=0-31
/proc/31330/task/31358/stat : 31358 (claspmt) S 31328 31330 31229 0 -1 4202560 8697 0 0 0 23 38 0 0 15 0 32 0 30086441 2209726464 279964 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446744071566927464 0 0 -1 6 0 0 0
[pid=31330/tid=31359] ppid=31328 vsize=2157936 CPUtime=0.66 cores=0-31
/proc/31330/task/31359/stat : 31359 (claspmt) S 31328 31330 31229 0 -1 4202560 8432 0 0 0 25 41 0 0 15 0 32 0 30086441 2209726464 279965 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446744071566933264 0 0 -1 13 0 0 0
[pid=31330/tid=31360] ppid=31328 vsize=2157936 CPUtime=0.61 cores=0-31
/proc/31330/task/31360/stat : 31360 (claspmt) S 31328 31330 31229 0 -1 4202560 8695 0 0 0 22 39 0 0 15 0 32 0 30086441 2209726464 279968 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446604569557302752 0 0 -1 24 0 0 0
[pid=31330/tid=31361] ppid=31328 vsize=2157936 CPUtime=0.63 cores=0-31
/proc/31330/task/31361/stat : 31361 (claspmt) D 31328 31330 31229 0 -1 4202560 8419 0 0 0 26 37 0 0 16 0 32 0 30086441 2209726464 279968 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650616986 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31330/tid=31362] ppid=31328 vsize=2157936 CPUtime=0.63 cores=0-31
/proc/31330/task/31362/stat : 31362 (claspmt) S 31328 31330 31229 0 -1 4202560 8804 0 0 0 25 38 0 0 15 0 32 0 30086441 2209726464 279975 270582939648 4194304 4964800 140733220042768 18446744073709551615 258651060958 0 0 4096 18946 18446604501664194016 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.28
Current children cumulated vsize (KiB) 2157936

[startup+12.7017 s]
/proc/loadavg: 24.08 27.15 29.17 5/444 31364
/proc/meminfo: memFree=260991556/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=2157936 CPUtime=50.25 cores=0-31
/proc/31330/stat : 31330 (claspmt) S 31328 31330 31229 0 -1 4202496 326152 0 0 0 3684 1341 0 0 18 0 32 0 30086162 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446744073709551615 0 0 17 13 0 0 0
/proc/31330/statm: 539484 313752 440 189 0 533833 0
[pid=31330/tid=31332] ppid=31328 vsize=2157936 CPUtime=0.7 cores=0-31
/proc/31330/task/31332/stat : 31332 (claspmt) S 31328 31330 31229 0 -1 4202560 9369 0 0 0 30 40 0 0 16 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604558835539424 0 0 -1 20 0 0 0
[pid=31330/tid=31333] ppid=31328 vsize=2157936 CPUtime=0.78 cores=0-31
/proc/31330/task/31333/stat : 31333 (claspmt) S 31328 31330 31229 0 -1 4202560 9867 0 0 0 30 48 0 0 16 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604500460207584 0 0 -1 10 0 0 0
[pid=31330/tid=31334] ppid=31328 vsize=2157936 CPUtime=0.72 cores=0-31
/proc/31330/task/31334/stat : 31334 (claspmt) S 31328 31330 31229 0 -1 4202560 9078 0 0 0 28 44 0 0 16 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604497918418400 0 0 -1 7 0 0 0
[pid=31330/tid=31335] ppid=31328 vsize=2157936 CPUtime=0.79 cores=0-31
/proc/31330/task/31335/stat : 31335 (claspmt) S 31328 31330 31229 0 -1 4202560 9553 0 0 0 35 44 0 0 16 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604572791127520 0 0 -1 5 0 0 0
[pid=31330/tid=31336] ppid=31328 vsize=2157936 CPUtime=6.81 cores=0-31
/proc/31330/task/31336/stat : 31336 (claspmt) R 31328 31330 31229 0 -1 4202560 10846 0 0 0 638 43 0 0 25 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 4668734 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31330/tid=31337] ppid=31328 vsize=2157936 CPUtime=0.64 cores=0-31
/proc/31330/task/31337/stat : 31337 (claspmt) S 31328 31330 31229 0 -1 4202560 8301 0 0 0 29 35 0 0 16 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604563066289632 0 0 -1 16 0 0 0
[pid=31330/tid=31338] ppid=31328 vsize=2157936 CPUtime=0.73 cores=0-31
/proc/31330/task/31338/stat : 31338 (claspmt) S 31328 31330 31229 0 -1 4202560 8703 0 0 0 34 39 0 0 16 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604562439265760 0 0 -1 17 0 0 0
[pid=31330/tid=31339] ppid=31328 vsize=2157936 CPUtime=0.71 cores=0-31
/proc/31330/task/31339/stat : 31339 (claspmt) S 31328 31330 31229 0 -1 4202560 8681 0 0 0 30 41 0 0 15 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604501218270688 0 0 -1 13 0 0 0
[pid=31330/tid=31340] ppid=31328 vsize=2157936 CPUtime=0.75 cores=0-31
/proc/31330/task/31340/stat : 31340 (claspmt) S 31328 31330 31229 0 -1 4202560 9178 0 0 0 32 43 0 0 15 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604500460199392 0 0 -1 30 0 0 0
[pid=31330/tid=31341] ppid=31328 vsize=2157936 CPUtime=0.73 cores=0-31
/proc/31330/task/31341/stat : 31341 (claspmt) S 31328 31330 31229 0 -1 4202560 9164 0 0 0 30 43 0 0 16 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604566087155168 0 0 -1 29 0 0 0
[pid=31330/tid=31342] ppid=31328 vsize=2157936 CPUtime=0.75 cores=0-31
/proc/31330/task/31342/stat : 31342 (claspmt) S 31328 31330 31229 0 -1 4202560 9748 0 0 0 31 44 0 0 16 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604498806390240 0 0 -1 1 0 0 0
[pid=31330/tid=31343] ppid=31328 vsize=2157936 CPUtime=0.64 cores=0-31
/proc/31330/task/31343/stat : 31343 (claspmt) S 31328 31330 31229 0 -1 4202560 8580 0 0 0 29 35 0 0 15 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604505631342048 0 0 -1 27 0 0 0
[pid=31330/tid=31344] ppid=31328 vsize=2157936 CPUtime=6.84 cores=0-31
/proc/31330/task/31344/stat : 31344 (claspmt) R 31328 31330 31229 0 -1 4202560 11280 0 0 0 637 47 0 0 25 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=31330/tid=31345] ppid=31328 vsize=2157936 CPUtime=0.7 cores=0-31
/proc/31330/task/31345/stat : 31345 (claspmt) S 31328 31330 31229 0 -1 4202560 9797 0 0 0 30 40 0 0 16 0 32 0 30086440 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604561923898848 0 0 -1 2 0 0 0
[pid=31330/tid=31346] ppid=31328 vsize=2157936 CPUtime=0.77 cores=0-31
/proc/31330/task/31346/stat : 31346 (claspmt) S 31328 31330 31229 0 -1 4202560 9475 0 0 0 33 44 0 0 15 0 32 0 30086441 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604559651216864 0 0 -1 19 0 0 0
[pid=31330/tid=31347] ppid=31328 vsize=2157936 CPUtime=0.76 cores=0-31
/proc/31330/task/31347/stat : 31347 (claspmt) S 31328 31330 31229 0 -1 4202560 9343 0 0 0 31 45 0 0 16 0 32 0 30086441 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604573592772064 0 0 -1 25 0 0 0
[pid=31330/tid=31348] ppid=31328 vsize=2157936 CPUtime=0.73 cores=0-31
/proc/31330/task/31348/stat : 31348 (claspmt) S 31328 31330 31229 0 -1 4202560 9470 0 0 0 34 39 0 0 15 0 32 0 30086441 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604558098898400 0 0 -1 8 0 0 0
[pid=31330/tid=31349] ppid=31328 vsize=2157936 CPUtime=0.79 cores=0-31
/proc/31330/task/31349/stat : 31349 (claspmt) S 31328 31330 31229 0 -1 4202560 9762 0 0 0 34 45 0 0 16 0 32 0 30086441 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604575185690080 0 0 -1 27 0 0 0
[pid=31330/tid=31350] ppid=31328 vsize=2157936 CPUtime=0.75 cores=0-31
/proc/31330/task/31350/stat : 31350 (claspmt) S 31328 31330 31229 0 -1 4202560 9963 0 0 0 32 43 0 0 16 0 32 0 30086441 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604568097545696 0 0 -1 15 0 0 0
[pid=31330/tid=31351] ppid=31328 vsize=2157936 CPUtime=0.71 cores=0-31
/proc/31330/task/31351/stat : 31351 (claspmt) S 31328 31330 31229 0 -1 4202560 9503 0 0 0 29 42 0 0 16 0 32 0 30086441 2209726464 313752 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662772457 0 0 4096 18946 18446604500612505056 0 0 -1 3 0 0 0
[pid=31330/tid=31352] ppid=31328 vsize=2157936 CPUtime=6.79 cores=0-31

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

/proc/31330/task/31338/stat : 31338 (claspmt) R 31328 31330 31229 0 -1 4202560 14596 0 0 0 8673 66 0 0 25 0 32 0 30086440 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31330/tid=31339] ppid=31328 vsize=2289008 CPUtime=87.41 cores=0-31
/proc/31330/task/31339/stat : 31339 (claspmt) R 31328 31330 31229 0 -1 4202560 10709 0 0 0 8691 50 0 0 25 0 32 0 30086440 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31330/tid=31340] ppid=31328 vsize=2289008 CPUtime=87.44 cores=0-31
/proc/31330/task/31340/stat : 31340 (claspmt) R 31328 31330 31229 0 -1 4202560 11333 0 0 0 8694 50 0 0 25 0 32 0 30086440 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31330/tid=31341] ppid=31328 vsize=2289008 CPUtime=87.35 cores=0-31
/proc/31330/task/31341/stat : 31341 (claspmt) R 31328 31330 31229 0 -1 4202560 13761 0 0 0 8673 62 0 0 25 0 32 0 30086440 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31330/tid=31342] ppid=31328 vsize=2289008 CPUtime=87.35 cores=0-31
/proc/31330/task/31342/stat : 31342 (claspmt) R 31328 31330 31229 0 -1 4202560 13457 0 0 0 8678 57 0 0 25 0 32 0 30086440 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670361 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31330/tid=31343] ppid=31328 vsize=2289008 CPUtime=87.26 cores=0-31
/proc/31330/task/31343/stat : 31343 (claspmt) R 31328 31330 31229 0 -1 4202560 12805 0 0 0 8673 53 0 0 25 0 32 0 30086440 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=31330/tid=31344] ppid=31328 vsize=2289008 CPUtime=96.16 cores=0-31
/proc/31330/task/31344/stat : 31344 (claspmt) R 31328 31330 31229 0 -1 4202560 13784 0 0 0 9562 54 0 0 25 0 32 0 30086440 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4669552 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31330/tid=31345] ppid=31328 vsize=2289008 CPUtime=87.27 cores=0-31
/proc/31330/task/31345/stat : 31345 (claspmt) R 31328 31330 31229 0 -1 4202560 14575 0 0 0 8671 56 0 0 25 0 32 0 30086440 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31330/tid=31346] ppid=31328 vsize=2289008 CPUtime=87.17 cores=0-31
/proc/31330/task/31346/stat : 31346 (claspmt) R 31328 31330 31229 0 -1 4202560 15816 0 0 0 8647 70 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31330/tid=31347] ppid=31328 vsize=2289008 CPUtime=87.44 cores=0-31
/proc/31330/task/31347/stat : 31347 (claspmt) R 31328 31330 31229 0 -1 4202560 11764 0 0 0 8688 56 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31330/tid=31348] ppid=31328 vsize=2289008 CPUtime=87.4 cores=0-31
/proc/31330/task/31348/stat : 31348 (claspmt) R 31328 31330 31229 0 -1 4202560 12003 0 0 0 8690 50 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31330/tid=31349] ppid=31328 vsize=2289008 CPUtime=87.41 cores=0-31
/proc/31330/task/31349/stat : 31349 (claspmt) R 31328 31330 31229 0 -1 4202560 13890 0 0 0 8680 61 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31330/tid=31350] ppid=31328 vsize=2289008 CPUtime=87.31 cores=0-31
/proc/31330/task/31350/stat : 31350 (claspmt) R 31328 31330 31229 0 -1 4202560 14414 0 0 0 8674 57 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31330/tid=31351] ppid=31328 vsize=2289008 CPUtime=87.36 cores=0-31
/proc/31330/task/31351/stat : 31351 (claspmt) R 31328 31330 31229 0 -1 4202560 14163 0 0 0 8676 60 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31330/tid=31352] ppid=31328 vsize=2289008 CPUtime=96.17 cores=0-31
/proc/31330/task/31352/stat : 31352 (claspmt) R 31328 31330 31229 0 -1 4202560 14416 0 0 0 9561 56 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31330/tid=31353] ppid=31328 vsize=2289008 CPUtime=87.28 cores=0-31
/proc/31330/task/31353/stat : 31353 (claspmt) R 31328 31330 31229 0 -1 4202560 13974 0 0 0 8669 59 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670295 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31330/tid=31354] ppid=31328 vsize=2289008 CPUtime=87.38 cores=0-31
/proc/31330/task/31354/stat : 31354 (claspmt) R 31328 31330 31229 0 -1 4202560 15001 0 0 0 8671 67 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31330/tid=31355] ppid=31328 vsize=2289008 CPUtime=87.39 cores=0-31
/proc/31330/task/31355/stat : 31355 (claspmt) R 31328 31330 31229 0 -1 4202560 11095 0 0 0 8689 50 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31330/tid=31356] ppid=31328 vsize=2289008 CPUtime=87.4 cores=0-31
/proc/31330/task/31356/stat : 31356 (claspmt) R 31328 31330 31229 0 -1 4202560 11937 0 0 0 8684 56 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31330/tid=31357] ppid=31328 vsize=2289008 CPUtime=87.36 cores=0-31
/proc/31330/task/31357/stat : 31357 (claspmt) R 31328 31330 31229 0 -1 4202560 13066 0 0 0 8683 53 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=31330/tid=31358] ppid=31328 vsize=2289008 CPUtime=87.26 cores=0-31
/proc/31330/task/31358/stat : 31358 (claspmt) R 31328 31330 31229 0 -1 4202560 13463 0 0 0 8671 55 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4668737 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31330/tid=31359] ppid=31328 vsize=2289008 CPUtime=87.46 cores=0-31
/proc/31330/task/31359/stat : 31359 (claspmt) R 31328 31330 31229 0 -1 4202560 14419 0 0 0 8682 64 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=31330/tid=31360] ppid=31328 vsize=2289008 CPUtime=96.05 cores=0-31
/proc/31330/task/31360/stat : 31360 (claspmt) R 31328 31330 31229 0 -1 4202560 14226 0 0 0 9551 54 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31330/tid=31361] ppid=31328 vsize=2289008 CPUtime=85.1 cores=0-31
/proc/31330/task/31361/stat : 31361 (claspmt) R 31328 31330 31229 0 -1 4202560 13911 0 0 0 8453 57 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4669503 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31330/tid=31362] ppid=31328 vsize=2289008 CPUtime=87.4 cores=0-31
/proc/31330/task/31362/stat : 31362 (claspmt) R 31328 31330 31229 0 -1 4202560 15682 0 0 0 8672 68 0 0 25 0 32 0 30086441 2343944192 435233 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670264 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2830.48
Current children cumulated vsize (KiB) 2289008

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

[startup+108.702 s]
/proc/loadavg: 29.98 28.15 29.32 33/444 31366
/proc/meminfo: memFree=260507356/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=2289008 CPUtime=3034.43 cores=0-31
/proc/31330/stat : 31330 (claspmt) R 31328 31330 31229 0 -1 4202496 447999 0 0 0 301639 1804 0 0 25 0 32 0 30086162 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4660384 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/31330/statm: 572252 435565 463 189 0 566601 0
[pid=31330/tid=31332] ppid=31328 vsize=2289008 CPUtime=93.75 cores=0-31
/proc/31330/task/31332/stat : 31332 (claspmt) R 31328 31330 31229 0 -1 4202560 11691 0 0 0 9326 49 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=31330/tid=31333] ppid=31328 vsize=2289008 CPUtime=93.78 cores=0-31
/proc/31330/task/31333/stat : 31333 (claspmt) R 31328 31330 31229 0 -1 4202560 14960 0 0 0 9314 64 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=31330/tid=31334] ppid=31328 vsize=2289008 CPUtime=93.69 cores=0-31
/proc/31330/task/31334/stat : 31334 (claspmt) R 31328 31330 31229 0 -1 4202560 12927 0 0 0 9311 58 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=31330/tid=31335] ppid=31328 vsize=2289008 CPUtime=93.83 cores=0-31
/proc/31330/task/31335/stat : 31335 (claspmt) R 31328 31330 31229 0 -1 4202560 14358 0 0 0 9323 60 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=31330/tid=31336] ppid=31328 vsize=2289008 CPUtime=102.78 cores=0-31
/proc/31330/task/31336/stat : 31336 (claspmt) R 31328 31330 31229 0 -1 4202560 13893 0 0 0 10225 53 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=31330/tid=31337] ppid=31328 vsize=2289008 CPUtime=93.61 cores=0-31
/proc/31330/task/31337/stat : 31337 (claspmt) R 31328 31330 31229 0 -1 4202560 13174 0 0 0 9310 51 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31330/tid=31338] ppid=31328 vsize=2289008 CPUtime=93.77 cores=0-31
/proc/31330/task/31338/stat : 31338 (claspmt) R 31328 31330 31229 0 -1 4202560 14666 0 0 0 9311 66 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=31330/tid=31339] ppid=31328 vsize=2289008 CPUtime=93.78 cores=0-31
/proc/31330/task/31339/stat : 31339 (claspmt) R 31328 31330 31229 0 -1 4202560 10709 0 0 0 9328 50 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4320966 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=31330/tid=31340] ppid=31328 vsize=2289008 CPUtime=93.82 cores=0-31
/proc/31330/task/31340/stat : 31340 (claspmt) R 31328 31330 31229 0 -1 4202560 11333 0 0 0 9332 50 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=31330/tid=31341] ppid=31328 vsize=2289008 CPUtime=93.73 cores=0-31
/proc/31330/task/31341/stat : 31341 (claspmt) R 31328 31330 31229 0 -1 4202560 13761 0 0 0 9311 62 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=31330/tid=31342] ppid=31328 vsize=2289008 CPUtime=93.73 cores=0-31
/proc/31330/task/31342/stat : 31342 (claspmt) R 31328 31330 31229 0 -1 4202560 13457 0 0 0 9316 57 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=31330/tid=31343] ppid=31328 vsize=2289008 CPUtime=93.64 cores=0-31
/proc/31330/task/31343/stat : 31343 (claspmt) R 31328 31330 31229 0 -1 4202560 12809 0 0 0 9311 53 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=31330/tid=31344] ppid=31328 vsize=2289008 CPUtime=102.54 cores=0-31
/proc/31330/task/31344/stat : 31344 (claspmt) R 31328 31330 31229 0 -1 4202560 13784 0 0 0 10200 54 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=31330/tid=31345] ppid=31328 vsize=2289008 CPUtime=93.65 cores=0-31
/proc/31330/task/31345/stat : 31345 (claspmt) R 31328 31330 31229 0 -1 4202560 14575 0 0 0 9309 56 0 0 25 0 32 0 30086440 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=31330/tid=31346] ppid=31328 vsize=2289008 CPUtime=93.56 cores=0-31
/proc/31330/task/31346/stat : 31346 (claspmt) R 31328 31330 31229 0 -1 4202560 15907 0 0 0 9285 71 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=31330/tid=31347] ppid=31328 vsize=2289008 CPUtime=93.82 cores=0-31
/proc/31330/task/31347/stat : 31347 (claspmt) R 31328 31330 31229 0 -1 4202560 11764 0 0 0 9326 56 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4370295 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=31330/tid=31348] ppid=31328 vsize=2289008 CPUtime=93.77 cores=0-31
/proc/31330/task/31348/stat : 31348 (claspmt) R 31328 31330 31229 0 -1 4202560 12005 0 0 0 9327 50 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=31330/tid=31349] ppid=31328 vsize=2289008 CPUtime=93.79 cores=0-31
/proc/31330/task/31349/stat : 31349 (claspmt) R 31328 31330 31229 0 -1 4202560 13890 0 0 0 9318 61 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=31330/tid=31350] ppid=31328 vsize=2289008 CPUtime=93.69 cores=0-31
/proc/31330/task/31350/stat : 31350 (claspmt) R 31328 31330 31229 0 -1 4202560 14428 0 0 0 9312 57 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=31330/tid=31351] ppid=31328 vsize=2289008 CPUtime=93.74 cores=0-31
/proc/31330/task/31351/stat : 31351 (claspmt) R 31328 31330 31229 0 -1 4202560 14163 0 0 0 9314 60 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=31330/tid=31352] ppid=31328 vsize=2289008 CPUtime=102.54 cores=0-31
/proc/31330/task/31352/stat : 31352 (claspmt) R 31328 31330 31229 0 -1 4202560 14416 0 0 0 10198 56 0 0 19 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31330/tid=31353] ppid=31328 vsize=2289008 CPUtime=93.66 cores=0-31
/proc/31330/task/31353/stat : 31353 (claspmt) R 31328 31330 31229 0 -1 4202560 13974 0 0 0 9307 59 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31330/tid=31354] ppid=31328 vsize=2289008 CPUtime=93.76 cores=0-31
/proc/31330/task/31354/stat : 31354 (claspmt) R 31328 31330 31229 0 -1 4202560 15015 0 0 0 9309 67 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=31330/tid=31355] ppid=31328 vsize=2289008 CPUtime=93.76 cores=0-31
/proc/31330/task/31355/stat : 31355 (claspmt) R 31328 31330 31229 0 -1 4202560 11097 0 0 0 9326 50 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670407 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=31330/tid=31356] ppid=31328 vsize=2289008 CPUtime=93.77 cores=0-31
/proc/31330/task/31356/stat : 31356 (claspmt) R 31328 31330 31229 0 -1 4202560 11937 0 0 0 9321 56 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4668777 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=31330/tid=31357] ppid=31328 vsize=2289008 CPUtime=93.74 cores=0-31
/proc/31330/task/31357/stat : 31357 (claspmt) R 31328 31330 31229 0 -1 4202560 13066 0 0 0 9321 53 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=31330/tid=31358] ppid=31328 vsize=2289008 CPUtime=93.64 cores=0-31
/proc/31330/task/31358/stat : 31358 (claspmt) R 31328 31330 31229 0 -1 4202560 13469 0 0 0 9309 55 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=31330/tid=31359] ppid=31328 vsize=2289008 CPUtime=93.84 cores=0-31
/proc/31330/task/31359/stat : 31359 (claspmt) R 31328 31330 31229 0 -1 4202560 14419 0 0 0 9320 64 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=31330/tid=31360] ppid=31328 vsize=2289008 CPUtime=102.43 cores=0-31
/proc/31330/task/31360/stat : 31360 (claspmt) R 31328 31330 31229 0 -1 4202560 14238 0 0 0 10189 54 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4370242 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=31330/tid=31361] ppid=31328 vsize=2289008 CPUtime=91.31 cores=0-31
/proc/31330/task/31361/stat : 31361 (claspmt) R 31328 31330 31229 0 -1 4202560 13911 0 0 0 9074 57 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=31330/tid=31362] ppid=31328 vsize=2289008 CPUtime=93.78 cores=0-31
/proc/31330/task/31362/stat : 31362 (claspmt) R 31328 31330 31229 0 -1 4202560 15682 0 0 0 9310 68 0 0 25 0 32 0 30086441 2343944192 435565 270582939648 4194304 4964800 140733220042768 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3034.43
Current children cumulated vsize (KiB) 2289008

[startup+111.902 s]
/proc/loadavg: 30.14 28.22 29.33 33/444 31366
/proc/meminfo: memFree=260507108/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=2289008 CPUtime=3135.26 cores=0-31
/proc/31330/stat : 31330 (claspmt) S 31328 31330 31229 0 -1 4202496 448116 0 0 0 311714 1812 0 0 18 0 6 0 30086162 2343944192 435649 270582939648 4194304 4964800 140733220042768 18446744073709551615 258662759221 0 0 4096 18946 18446744073709551615 0 0 17 23 0 0 0
/proc/31330/statm: 572252 435649 464 189 0 566601 0
[pid=31330/tid=31333] ppid=31328 vsize=2289008 CPUtime=96.98 cores=0-31
/proc/31330/task/31333/stat : 31333 (claspmt) R 31328 31330 31229 0 -1 4202560 15014 0 0 0 9633 65 0 0 18 0 6 0 30086440 2343944192 435649 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650604673 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=31330/tid=31337] ppid=31328 vsize=2289008 CPUtime=96.8 cores=0-31
/proc/31330/task/31337/stat : 31337 (claspmt) R 31328 31330 31229 0 -1 4202560 13174 0 0 0 9629 51 0 0 25 0 6 0 30086440 2343944192 435649 270582939648 4194304 4964800 140733220042768 18446744073709551615 4684732 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=31330/tid=31345] ppid=31328 vsize=2289008 CPUtime=96.85 cores=0-31
/proc/31330/task/31345/stat : 31345 (claspmt) R 31328 31330 31229 0 -1 4202560 14575 0 0 0 9629 56 0 0 25 0 6 0 30086440 2343944192 435649 270582939648 4194304 4964800 140733220042768 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=31330/tid=31353] ppid=31328 vsize=2289008 CPUtime=96.86 cores=0-31
/proc/31330/task/31353/stat : 31353 (claspmt) R 31328 31330 31229 0 -1 4202560 13974 0 0 0 9627 59 0 0 25 0 6 0 30086441 2343944192 435649 270582939648 4194304 4964800 140733220042768 18446744073709551615 4647774 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=31330/tid=31361] ppid=31328 vsize=2289008 CPUtime=94.43 cores=0-31
/proc/31330/task/31361/stat : 31361 (claspmt) R 31328 31330 31229 0 -1 4202560 13911 0 0 0 9385 58 0 0 25 0 6 0 30086441 2343944192 435649 270582939648 4194304 4964800 140733220042768 18446744073709551615 4313389 0 0 4096 18946 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 3135.26
Current children cumulated vsize (KiB) 2289008

[startup+112.701 s]
/proc/loadavg: 30.14 28.22 29.33 2/413 31366
/proc/meminfo: memFree=260510968/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=2194640 CPUtime=3136.21 cores=0-31
/proc/31330/stat : 31330 (claspmt) R 31328 31330 31229 0 -1 4202496 448126 0 0 0 311808 1813 0 0 17 0 1 0 30086162 2247311360 433942 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650611643 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/31330/statm: 548660 433942 474 189 0 543009 0
Current children cumulated CPU time (s) 3136.21
Current children cumulated vsize (KiB) 2194640

[startup+113.101 s]
/proc/loadavg: 30.14 28.22 29.33 2/413 31366
/proc/meminfo: memFree=260510968/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=2194640 CPUtime=3136.61 cores=0-31
/proc/31330/stat : 31330 (claspmt) R 31328 31330 31229 0 -1 4202496 448126 0 0 0 311848 1813 0 0 17 0 1 0 30086162 2247311360 432799 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650612305 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/31330/statm: 548660 432799 474 189 0 543009 0
Current children cumulated CPU time (s) 3136.61
Current children cumulated vsize (KiB) 2194640

[startup+113.501 s]
/proc/loadavg: 30.14 28.22 29.33 2/413 31366
/proc/meminfo: memFree=260518776/264257624 swapFree=67111528/67111528
[pid=31330] ppid=31328 vsize=2107264 CPUtime=3137.01 cores=0-31
/proc/31330/stat : 31330 (claspmt) R 31328 31330 31229 0 -1 4202496 448126 0 0 0 311883 1818 0 0 18 0 1 0 30086162 2157838336 258562 270582939648 4194304 4964800 140733220042768 18446744073709551615 258650999383 0 0 4096 18946 0 0 0 17 23 0 0 0
/proc/31330/statm: 526816 258562 474 189 0 521165 0
Current children cumulated CPU time (s) 3137.01
Current children cumulated vsize (KiB) 2107264

Child status: 20
Real time (s): 113.583
CPU time (s): 3137.1
CPU user time (s): 3118.84
CPU system time (s): 18.2652
CPU usage (%): 2761.94
Max. virtual memory (cumulated for all children) (KiB): 2289008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3118.84
system time used= 18.2652
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 448127
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= 655440
involuntary context switches= 17747

runsolver used 0.675897 second user time and 2.6346 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-09 21:16:33
IDJOB=3472439
IDBENCH=82497
IDSOLVER=1961
FILE ID=node200/3472439-1307646992
RUNJOBID= node200-1307646888-31243
PBS_JOBID= 13547800
Free space on /tmp= 61724 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_f_unknown.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-3472439-1307646992/watcher-3472439-1307646992 -o /tmp/evaluation-result-3472439-1307646992/solver-3472439-1307646992 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472439-1307646992.cnf

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

MD5SUM BENCH= f03ed12a281977a642336980ec847847
RANDOM SEED=398178963

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:      262247884 kB
Buffers:        244360 kB
Cached:        1464492 kB
SwapCached:          0 kB
Active:         279156 kB
Inactive:      1493152 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262247884 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           19300 kB
Writeback:           0 kB
AnonPages:       63432 kB
Mapped:          14528 kB
Slab:           163284 kB
PageTables:       4388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   165208 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= 61724 MiB
End job on node200 at 2011-06-09 21:18:26