Trace number 1780725

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
ttsth-5-0 2009-03-19 (16 threads)? (MO) 572.3 572.309

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UR-20-10p1.cnf
MD5SUM6ace5cfbe110f1a43049037cb7432998
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables259234
Number of clauses1387934
Sum of the clauses size3351923
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2981661
Number of clauses of size 3327764
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

61.41/61.45	c Command: HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780725-1244977222.cnf 
61.41/61.45	c Using SATTIMEOUT of 10000
61.41/61.45	c Using SATRAM of 2047
61.41/61.45	c Size of subset node = 16
61.41/61.45	c Variables = 259234
61.41/61.45	c Clauses = 1387934
61.41/61.45	c Literals = 3351923
61.41/61.45	c Reduced size:
61.41/61.45	c Variables = 259234
61.41/61.45	c Clauses = 1071798
61.41/61.45	c Literals = 2649723
61.41/61.45	c a2
63.09/63.17	c a1
568.09/568.16	c Independent sub-problems = 1
568.09/568.16	c Sub-problem with 202656 variables and 1071798 clauses
568.09/568.16	c using permutation method 4
568.09/568.16	c count = 1
568.09/568.16	c Ordering finished 567.810 seconds
568.09/568.16	c mapped 568.100 seconds
568.09/568.16	c permuted 568.110 seconds
568.09/568.16	c about to sort
568.29/568.37	c sorted

Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1780725-1244977222/watcher-1780725-1244977222 -o /tmp/evaluation-result-1780725-1244977222/solver-1780725-1244977222 -C 10000 -W 1000 -M 2047 HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780725-1244977222.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 2/184 29048
/proc/meminfo: memFree=18965268/36427776 swapFree=4516/7968
[pid=29048] ppid=29046 vsize=1552 CPUtime=0
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 289 0 0 0 0 0 0 0 20 0 1 0 657028710 1589248 245 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 388 246 75 177 0 210 0

[startup+0.093155 s]
/proc/loadavg: 1.00 1.01 1.00 2/184 29048
/proc/meminfo: memFree=18965268/36427776 swapFree=4516/7968
[pid=29048] ppid=29046 vsize=7652 CPUtime=0.08
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 1771 0 0 0 6 2 0 0 20 0 1 0 657028710 7835648 1727 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 1913 1728 75 177 0 1735 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 7652

[startup+0.101145 s]
/proc/loadavg: 1.00 1.01 1.00 2/184 29048
/proc/meminfo: memFree=18965268/36427776 swapFree=4516/7968
[pid=29048] ppid=29046 vsize=8180 CPUtime=0.1
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 1912 0 0 0 8 2 0 0 20 0 1 0 657028710 8376320 1868 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134738767 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 2045 1869 75 177 0 1867 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 8180

[startup+0.301159 s]
/proc/loadavg: 1.00 1.01 1.00 2/184 29048
/proc/meminfo: memFree=18965268/36427776 swapFree=4516/7968
[pid=29048] ppid=29046 vsize=23848 CPUtime=0.28
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 5774 0 0 0 26 2 0 0 20 0 1 0 657028710 24420352 5730 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 5962 5731 75 177 0 5784 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 23848

[startup+0.701202 s]
/proc/loadavg: 1.00 1.01 1.00 2/184 29048
/proc/meminfo: memFree=18965268/36427776 swapFree=4516/7968
[pid=29048] ppid=29046 vsize=50944 CPUtime=0.68
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 12405 0 0 0 62 6 0 0 20 0 1 0 657028710 52166656 12361 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 12736 12362 75 177 0 12558 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 50944

[startup+1.50127 s]
/proc/loadavg: 1.00 1.01 1.00 2/185 29049
/proc/meminfo: memFree=18896048/36427776 swapFree=4344/77196
[pid=29048] ppid=29046 vsize=94832 CPUtime=1.48
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 22929 0 0 0 136 12 0 0 20 0 1 0 657028710 97107968 22885 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134534331 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 23708 22885 75 177 0 23530 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 94832

[startup+3.10141 s]
/proc/loadavg: 1.00 1.01 1.00 2/185 29049
/proc/meminfo: memFree=18873880/36427776 swapFree=4348/99476
[pid=29048] ppid=29046 vsize=94832 CPUtime=3.1
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 22929 0 0 0 296 14 0 0 20 0 1 0 657028710 97107968 22885 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134534132 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 23708 22885 75 177 0 23530 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 94832

[startup+6.30165 s]
/proc/loadavg: 1.00 1.01 1.00 2/185 29049
/proc/meminfo: memFree=18872824/36427776 swapFree=4612/100532
[pid=29048] ppid=29046 vsize=94832 CPUtime=6.3
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 22929 0 0 0 616 14 0 0 20 0 1 0 657028710 97107968 22885 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134534121 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 23708 22885 75 177 0 23530 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 94832

[startup+12.7022 s]
/proc/loadavg: 1.00 1.01 1.00 2/185 29049
/proc/meminfo: memFree=18872616/36427776 swapFree=4612/100916
[pid=29048] ppid=29046 vsize=94832 CPUtime=12.7
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 22929 0 0 0 1256 14 0 0 20 0 1 0 657028710 97107968 22885 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134534262 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 23708 22885 75 177 0 23530 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 94832

[startup+25.5031 s]
/proc/loadavg: 1.00 1.01 1.00 2/185 29049
/proc/meminfo: memFree=18872904/36427776 swapFree=4612/100648
[pid=29048] ppid=29046 vsize=94832 CPUtime=25.5
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 22929 0 0 0 2536 14 0 0 20 0 1 0 657028710 97107968 22885 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134534132 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 23708 22885 75 177 0 23530 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 94832

[startup+51.1012 s]
/proc/loadavg: 1.00 1.01 1.00 2/185 29049
/proc/meminfo: memFree=18872904/36427776 swapFree=4612/100932
[pid=29048] ppid=29046 vsize=94832 CPUtime=51.11
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 22929 0 0 0 5097 14 0 0 20 0 1 0 657028710 97107968 22885 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134534291 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 23708 22885 75 177 0 23530 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 94832

[startup+102.313 s]
/proc/loadavg: 1.00 1.00 1.00 2/185 29049
/proc/meminfo: memFree=18756468/36427776 swapFree=4620/216824
[pid=29048] ppid=29046 vsize=211180 CPUtime=102.3
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 64894 0 0 0 10200 30 0 0 20 0 1 0 657028710 216248320 51930 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134555272 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 52795 51930 77 177 0 52617 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 211180

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/185 29049
/proc/meminfo: memFree=18749896/36427776 swapFree=4620/223848
[pid=29048] ppid=29046 vsize=217608 CPUtime=162.29
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 66487 0 0 0 16199 30 0 0 20 0 1 0 657028710 222830592 53523 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134600966 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 54402 53523 77 177 0 54224 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 217608

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/185 29049
/proc/meminfo: memFree=18749400/36427776 swapFree=4620/224152
[pid=29048] ppid=29046 vsize=220564 CPUtime=222.29
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 66622 0 0 0 22199 30 0 0 20 0 1 0 657028710 225857536 53658 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134600978 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 55141 53658 77 177 0 54963 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 220564

[startup+282.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/185 29054
/proc/meminfo: memFree=18748904/36427776 swapFree=4620/224436
[pid=29048] ppid=29046 vsize=220828 CPUtime=282.3
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 66694 0 0 0 28200 30 0 0 20 0 1 0 657028710 226127872 53730 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134600975 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 55207 53730 77 177 0 55029 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 220828

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/185 29054
/proc/meminfo: memFree=18748656/36427776 swapFree=4620/224744
[pid=29048] ppid=29046 vsize=221092 CPUtime=342.3
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 66771 0 0 0 34200 30 0 0 20 0 1 0 657028710 226398208 53807 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134600975 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 55273 53807 77 177 0 55095 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 221092

[startup+402.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/185 29054
/proc/meminfo: memFree=18748408/36427776 swapFree=4620/225032
[pid=29048] ppid=29046 vsize=221356 CPUtime=402.3
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 66846 0 0 0 40200 30 0 0 20 0 1 0 657028710 226668544 53882 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134600966 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 55339 53882 77 177 0 55161 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 221356

[startup+462.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/185 29054
/proc/meminfo: memFree=18748160/36427776 swapFree=4620/225308
[pid=29048] ppid=29046 vsize=221488 CPUtime=462.28
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 66916 0 0 0 46198 30 0 0 20 0 1 0 657028710 226803712 53952 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134600966 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 55372 53952 77 177 0 55194 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 221488

[startup+522.303 s]
/proc/loadavg: 1.02 1.01 1.00 2/185 29054
/proc/meminfo: memFree=18747912/36427776 swapFree=4620/225580
[pid=29048] ppid=29046 vsize=221752 CPUtime=522.3
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 66983 0 0 0 52200 30 0 0 20 0 1 0 657028710 227074048 54019 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134600975 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 55438 54019 77 177 0 55260 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 221752



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+572.103 s]
/proc/loadavg: 1.00 1.00 1.00 2/185 29054
/proc/meminfo: memFree=16848116/36427776 swapFree=4664/2121720
[pid=29048] ppid=29046 vsize=2120916 CPUtime=572.09
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4202496 543920 0 0 0 57021 188 0 0 20 0 1 0 657028710 2171817984 528854 18446744073709551615 134512640 135237372 4288442528 18446744073709551615 134732614 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 530229 528856 88 177 0 530051 0
Current children cumulated CPU time (s) 572.09
Current children cumulated vsize (KiB) 2120916

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

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

[startup+572.211 s]
/proc/loadavg: 1.00 1.00 1.00 2/185 29054
/proc/meminfo: memFree=16848116/36427776 swapFree=4664/2121720
[pid=29048] ppid=29046 vsize=0 CPUtime=572.19
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4203524 543938 0 0 0 57021 198 0 0 20 0 1 0 657028710 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 572.19
Current children cumulated vsize (KiB) 0

[startup+572.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/185 29054
/proc/meminfo: memFree=16848116/36427776 swapFree=4664/2121720
[pid=29048] ppid=29046 vsize=0 CPUtime=572.27
/proc/29048/stat : 29048 (ttsth-5-0) R 29046 29048 15497 0 -1 4203524 543938 0 0 0 57021 206 0 0 20 0 1 0 657028710 0 0 18446744073709551615 0 0 0 0 0 0 0 1 0 0 0 0 17 1 0 0 0 0 0
/proc/29048/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 572.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 572.309
CPU time (s): 572.3
CPU user time (s): 570.184
CPU system time (s): 2.11613
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 2120916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 570.184
system time used= 2.11613
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 543938
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= 1
involuntary context switches= 881

runsolver used 1.53209 second user time and 3.43221 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-14 13:00:22
IDJOB=1780725
IDBENCH=71055
IDSOLVER=634
FILE ID=xenhost3-49/1780725-1244977222
PBS_JOBID=
Free space on /tmp= 6997 MiB

SOLVER NAME= ttsth-5-0 2009-03-19 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf
COMMAND LINE= HOME/ttsth-5-0 -num-threads MAXNBTHREAD BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780725-1244977222/watcher-1780725-1244977222 -o /tmp/evaluation-result-1780725-1244977222/solver-1780725-1244977222 -C 10000 -W 1000 -M 2047  HOME/ttsth-5-0 -num-threads 16 HOME/instance-1780725-1244977222.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 16

MD5SUM BENCH= 6ace5cfbe110f1a43049037cb7432998
RANDOM SEED= 2136135974

Linux xenhost3-49 2.6.27.5 #1 SMP Mon Mar 30 10:34:22 CEST 2009 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 8
initial apicid	: 8
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 24
initial apicid	: 24
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 10
initial apicid	: 10
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 2
cpu cores	: 1
apicid		: 26
initial apicid	: 26
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 9
initial apicid	: 9
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 1
cpu cores	: 1
apicid		: 25
initial apicid	: 25
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 0
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 2
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 11
initial apicid	: 11
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 4
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU           X7350  @ 2.93GHz
stepping	: 11
cpu MHz		: 2925.864
cache size	: 4096 KB
physical id	: 6
siblings	: 1
core id		: 3
cpu cores	: 1
apicid		: 27
initial apicid	: 27
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu de tsc msr pae mce cx8 apic sep mtrr mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx lm constant_tsc arch_perfmon pebs bts rep_good nopl pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 5855.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:     36427776 kB
MemFree:      18965080 kB
Buffers:        523384 kB
Cached:       14143700 kB
SwapCached:          0 kB
Active:        4169392 kB
Inactive:     10506284 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           26744 kB
Writeback:           0 kB
AnonPages:        7448 kB
Mapped:           3768 kB
Slab:           734060 kB
SReclaimable:   707188 kB
SUnreclaim:      26872 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29256 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 6997 MiB
End job on xenhost3-49 at 2009-06-14 13:09:58