Trace number 1780152

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
satake 2009-03-22 (16 threads)? (TO) 1784.04 1000.21

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-cbmc-aes-ele-noholes.cnf
MD5SUMf135b1d0c8abb3603a01568e46f7396a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark60.19
Satisfiable
(Un)Satisfiability was proved
Number of variables270963
Number of clauses1601376
Sum of the clauses size4314698
Maximum clause length257
Minimum clause length1
Number of clauses of size 139870
Number of clauses of size 21147330
Number of clauses of size 3334113
Number of clauses of size 49978
Number of clauses of size 50
Number of clauses of size over 570085

Solver Data


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-1780152-1244817504/watcher-1780152-1244817504 -o /tmp/evaluation-result-1780152-1244817504/solver-1780152-1244817504 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780152-1244817504.cnf 16 10000 

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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 3.96 3.96 4.52 2/184 8460
/proc/meminfo: memFree=19098248/36427776 swapFree=4348/8316
[pid=8460] ppid=8458 vsize=7776 CPUtime=0
/proc/8460/stat : 8460 (satake) D 8458 8460 27791 0 -1 4202496 410 0 0 0 0 0 0 0 20 0 15 0 641056892 7962624 363 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8460/statm: 1977 363 63 164 0 1812 0
[pid=8460/tid=8461] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8461/stat : 8461 (satake) S 8458 8460 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 397 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8462] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8462/stat : 8462 (satake) R 8458 8460 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 397 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8460/tid=8463] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8463/stat : 8463 (satake) R 8458 8460 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 404 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8464] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8464/stat : 8464 (satake) D 8458 8460 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 405 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8460/tid=8465] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8465/stat : 8465 (satake) R 8458 8460 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 405 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8466] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8466/stat : 8466 (satake) S 8458 8460 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 406 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8467] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8467/stat : 8467 (satake) R 8458 8460 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 406 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8460/tid=8468] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8468/stat : 8468 (satake) R 8458 8460 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 406 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8460/tid=8469] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8469/stat : 8469 (satake) R 8458 8460 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 406 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8460/tid=8470] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8470/stat : 8470 (satake) R 8458 8460 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 406 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8471] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8471/stat : 8471 (satake) R 8458 8460 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 407 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8460/tid=8472] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8472/stat : 8472 (satake) R 8458 8460 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 415 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8473] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8473/stat : 8473 (satake) R 8458 8460 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 415 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8460/tid=8474] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8474/stat : 8474 (satake) R 8458 8460 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 16 0 641056893 8499200 415 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8460/tid=8475] ppid=8458 vsize=8300 CPUtime=0
/proc/8460/task/8475/stat : 8475 (satake) R 8458 8460 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 641056894 8499200 416 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0

[startup+0.025984 s]
/proc/loadavg: 3.96 3.96 4.52 2/184 8460
/proc/meminfo: memFree=19098248/36427776 swapFree=4348/8316
[pid=8460] ppid=8458 vsize=11672 CPUtime=0.07
/proc/8460/stat : 8460 (satake) S 8458 8460 27791 0 -1 4202496 1197 0 0 0 3 4 0 0 20 0 17 0 641056892 11952128 1150 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8460/statm: 2918 1154 63 164 0 2753 0
[pid=8460/tid=8461] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8461/stat : 8461 (satake) S 8458 8460 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1155 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8462] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8462/stat : 8462 (satake) R 8458 8460 27791 0 -1 4202560 125 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1157 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8460/tid=8463] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8463/stat : 8463 (satake) R 8458 8460 27791 0 -1 4202560 106 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1175 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8464] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8464/stat : 8464 (satake) R 8458 8460 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1186 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8460/tid=8465] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8465/stat : 8465 (satake) R 8458 8460 27791 0 -1 4202560 128 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1200 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8466] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8466/stat : 8466 (satake) R 8458 8460 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1204 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8467] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8467/stat : 8467 (satake) D 8458 8460 27791 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1208 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8460/tid=8468] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8468/stat : 8468 (satake) D 8458 8460 27791 0 -1 4202560 122 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1215 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8460/tid=8469] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8469/stat : 8469 (satake) D 8458 8460 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1216 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8460/tid=8470] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8470/stat : 8470 (satake) D 8458 8460 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1216 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8471] ppid=8458 vsize=11672 CPUtime=0
/proc/8460/task/8471/stat : 8471 (satake) D 8458 8460 27791 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 17 0 641056893 11952128 1216 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8460/tid=8472] ppid=8458 vsize=11928 CPUtime=0
/proc/8460/task/8472/stat : 8472 (satake) D 8458 8460 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 641056893 12214272 1216 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8460/tid=8473] ppid=8458 vsize=11928 CPUtime=0
/proc/8460/task/8473/stat : 8473 (satake) D 8458 8460 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 641056893 12214272 1220 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8460/tid=8474] ppid=8458 vsize=11928 CPUtime=0
/proc/8460/task/8474/stat : 8474 (satake) D 8458 8460 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 641056893 12214272 1221 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8460/tid=8475] ppid=8458 vsize=11928 CPUtime=0
/proc/8460/task/8475/stat : 8475 (satake) R 8458 8460 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 641056894 12214272 1221 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11672

[startup+0.10609 s]
/proc/loadavg: 3.96 3.96 4.52 2/184 8460
/proc/meminfo: memFree=19098248/36427776 swapFree=4348/8316
[pid=8460] ppid=8458 vsize=67864 CPUtime=0.7
/proc/8460/stat : 8460 (satake) S 8458 8460 27791 0 -1 4202496 11082 0 0 0 4 66 0 0 20 0 17 0 641056892 69492736 11035 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8460/statm: 19015 11035 63 164 0 18850 0
[pid=8460/tid=8461] ppid=8458 vsize=71960 CPUtime=0
/proc/8460/task/8461/stat : 8461 (satake) S 8458 8460 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 641056893 73687040 11035 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8462] ppid=8458 vsize=71960 CPUtime=0.06
/proc/8460/task/8462/stat : 8462 (satake) R 8458 8460 27791 0 -1 4202560 1009 0 0 0 0 6 0 0 20 0 17 0 641056893 73687040 11039 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8460/tid=8463] ppid=8458 vsize=71960 CPUtime=0.02
/proc/8460/task/8463/stat : 8463 (satake) D 8458 8460 27791 0 -1 4202560 530 0 0 0 0 2 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8464] ppid=8458 vsize=71960 CPUtime=0
/proc/8460/task/8464/stat : 8464 (satake) D 8458 8460 27791 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8460/tid=8465] ppid=8458 vsize=71960 CPUtime=0.04
/proc/8460/task/8465/stat : 8465 (satake) D 8458 8460 27791 0 -1 4202560 901 0 0 0 0 4 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8466] ppid=8458 vsize=71960 CPUtime=0.04
/proc/8460/task/8466/stat : 8466 (satake) R 8458 8460 27791 0 -1 4202560 647 0 0 0 0 4 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8467] ppid=8458 vsize=71960 CPUtime=0.06
/proc/8460/task/8467/stat : 8467 (satake) R 8458 8460 27791 0 -1 4202560 1070 0 0 0 0 6 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8460/tid=8468] ppid=8458 vsize=71960 CPUtime=0.06
/proc/8460/task/8468/stat : 8468 (satake) R 8458 8460 27791 0 -1 4202560 1072 0 0 0 0 6 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8460/tid=8469] ppid=8458 vsize=71960 CPUtime=0
/proc/8460/task/8469/stat : 8469 (satake) D 8458 8460 27791 0 -1 4202560 91 0 0 0 0 0 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8460/tid=8470] ppid=8458 vsize=71960 CPUtime=0
/proc/8460/task/8470/stat : 8470 (satake) D 8458 8460 27791 0 -1 4202560 279 0 0 0 0 0 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8471] ppid=8458 vsize=71960 CPUtime=0.06
/proc/8460/task/8471/stat : 8471 (satake) R 8458 8460 27791 0 -1 4202560 1042 0 0 0 0 6 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8460/tid=8472] ppid=8458 vsize=71960 CPUtime=0.04
/proc/8460/task/8472/stat : 8472 (satake) D 8458 8460 27791 0 -1 4202560 639 0 0 0 0 4 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8460/tid=8473] ppid=8458 vsize=71960 CPUtime=0.06
/proc/8460/task/8473/stat : 8473 (satake) D 8458 8460 27791 0 -1 4202560 1073 0 0 0 0 6 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8460/tid=8474] ppid=8458 vsize=71960 CPUtime=0.06
/proc/8460/task/8474/stat : 8474 (satake) D 8458 8460 27791 0 -1 4202560 1012 0 0 0 0 6 0 0 20 0 17 0 641056893 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8460/tid=8475] ppid=8458 vsize=71960 CPUtime=0.02
/proc/8460/task/8475/stat : 8475 (satake) D 8458 8460 27791 0 -1 4202560 442 0 0 0 0 2 0 0 20 0 17 0 641056894 73687040 11041 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 67864

[startup+0.315675 s]
/proc/loadavg: 3.96 3.96 4.52 2/184 8460
/proc/meminfo: memFree=19098248/36427776 swapFree=4348/8316
[pid=8460] ppid=8458 vsize=335128 CPUtime=2.54
/proc/8460/stat : 8460 (satake) S 8458 8460 27791 0 -1 4202496 58728 0 0 0 4 250 0 0 20 0 17 0 641056892 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8460/statm: 83782 58681 63 164 0 83617 0
[pid=8460/tid=8461] ppid=8458 vsize=335128 CPUtime=0
/proc/8460/task/8461/stat : 8461 (satake) S 8458 8460 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8462] ppid=8458 vsize=335128 CPUtime=0.14
/proc/8460/task/8462/stat : 8462 (satake) D 8458 8460 27791 0 -1 4202560 2431 0 0 0 0 14 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8460/tid=8463] ppid=8458 vsize=335128 CPUtime=0.12
/proc/8460/task/8463/stat : 8463 (satake) D 8458 8460 27791 0 -1 4202560 3364 0 0 0 0 12 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8464] ppid=8458 vsize=335128 CPUtime=0.1
/proc/8460/task/8464/stat : 8464 (satake) D 8458 8460 27791 0 -1 4202560 3100 0 0 0 0 10 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8460/tid=8465] ppid=8458 vsize=335128 CPUtime=0.16
/proc/8460/task/8465/stat : 8465 (satake) D 8458 8460 27791 0 -1 4202560 3619 0 0 0 0 16 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8460/tid=8466] ppid=8458 vsize=335128 CPUtime=0.12
/proc/8460/task/8466/stat : 8466 (satake) D 8458 8460 27791 0 -1 4202560 2861 0 0 0 0 12 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8467] ppid=8458 vsize=335128 CPUtime=0.24
/proc/8460/task/8467/stat : 8467 (satake) D 8458 8460 27791 0 -1 4202560 5696 0 0 0 0 24 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8460/tid=8468] ppid=8458 vsize=335128 CPUtime=0.14
/proc/8460/task/8468/stat : 8468 (satake) D 8458 8460 27791 0 -1 4202560 3312 0 0 0 0 14 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8460/tid=8469] ppid=8458 vsize=335128 CPUtime=0.1
/proc/8460/task/8469/stat : 8469 (satake) D 8458 8460 27791 0 -1 4202560 2498 0 0 0 0 10 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8460/tid=8470] ppid=8458 vsize=335128 CPUtime=0.14
/proc/8460/task/8470/stat : 8470 (satake) R 8458 8460 27791 0 -1 4202560 4115 0 0 0 0 14 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8471] ppid=8458 vsize=335128 CPUtime=0.24
/proc/8460/task/8471/stat : 8471 (satake) D 8458 8460 27791 0 -1 4202560 5615 0 0 0 0 24 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8460/tid=8472] ppid=8458 vsize=335128 CPUtime=0.1
/proc/8460/task/8472/stat : 8472 (satake) D 8458 8460 27791 0 -1 4202560 2662 0 0 0 0 10 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8460/tid=8473] ppid=8458 vsize=335128 CPUtime=0.24
/proc/8460/task/8473/stat : 8473 (satake) D 8458 8460 27791 0 -1 4202560 5582 0 0 0 0 24 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8460/tid=8474] ppid=8458 vsize=335128 CPUtime=0.24
/proc/8460/task/8474/stat : 8474 (satake) D 8458 8460 27791 0 -1 4202560 5470 0 0 0 0 24 0 0 20 0 17 0 641056893 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8460/tid=8475] ppid=8458 vsize=335128 CPUtime=0.12
/proc/8460/task/8475/stat : 8475 (satake) D 8458 8460 27791 0 -1 4202560 2798 0 0 0 0 12 0 0 20 0 17 0 641056894 343171072 58681 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 335128

[startup+0.707236 s]
/proc/loadavg: 3.96 3.96 4.52 2/184 8460
/proc/meminfo: memFree=19098248/36427776 swapFree=4348/8316
[pid=8460] ppid=8458 vsize=487724 CPUtime=5.61
/proc/8460/stat : 8460 (satake) S 8458 8460 27791 0 -1 4202496 95500 0 0 0 4 557 0 0 20 0 17 0 641056892 499429376 95454 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/8460/statm: 121931 95462 63 164 0 121766 0
[pid=8460/tid=8461] ppid=8458 vsize=487724 CPUtime=0
/proc/8460/task/8461/stat : 8461 (satake) S 8458 8460 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8462] ppid=8458 vsize=487724 CPUtime=0.28
/proc/8460/task/8462/stat : 8462 (satake) D 8458 8460 27791 0 -1 4202560 5427 0 0 0 0 28 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8460/tid=8463] ppid=8458 vsize=487724 CPUtime=0.28
/proc/8460/task/8463/stat : 8463 (satake) D 8458 8460 27791 0 -1 4202560 5030 0 0 0 0 28 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8464] ppid=8458 vsize=487724 CPUtime=0.24
/proc/8460/task/8464/stat : 8464 (satake) D 8458 8460 27791 0 -1 4202560 4553 0 0 0 0 24 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8460/tid=8465] ppid=8458 vsize=487724 CPUtime=0.44
/proc/8460/task/8465/stat : 8465 (satake) R 8458 8460 27791 0 -1 4202560 6893 0 0 0 0 44 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=8460/tid=8466] ppid=8458 vsize=487724 CPUtime=0.26
/proc/8460/task/8466/stat : 8466 (satake) D 8458 8460 27791 0 -1 4202560 4906 0 0 0 0 26 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8460/tid=8467] ppid=8458 vsize=487724 CPUtime=0.52
/proc/8460/task/8467/stat : 8467 (satake) D 8458 8460 27791 0 -1 4202560 8596 0 0 0 0 52 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8460/tid=8468] ppid=8458 vsize=487724 CPUtime=0.28
/proc/8460/task/8468/stat : 8468 (satake) D 8458 8460 27791 0 -1 4202560 5127 0 0 0 0 28 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8460/tid=8469] ppid=8458 vsize=487724 CPUtime=0.26
/proc/8460/task/8469/stat : 8469 (satake) D 8458 8460 27791 0 -1 4202560 4769 0 0 0 0 26 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8460/tid=8470] ppid=8458 vsize=487724 CPUtime=0.4
/proc/8460/task/8470/stat : 8470 (satake) D 8458 8460 27791 0 -1 4202560 7248 0 0 0 0 40 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=8460/tid=8471] ppid=8458 vsize=487724 CPUtime=0.48
/proc/8460/task/8471/stat : 8471 (satake) D 8458 8460 27791 0 -1 4202560 8405 0 0 0 0 48 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8460/tid=8472] ppid=8458 vsize=487724 CPUtime=0.28
/proc/8460/task/8472/stat : 8472 (satake) D 8458 8460 27791 0 -1 4202560 4864 0 0 0 0 28 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8460/tid=8473] ppid=8458 vsize=487724 CPUtime=0.52
/proc/8460/task/8473/stat : 8473 (satake) S 8458 8460 27791 0 -1 4202560 8529 0 0 0 0 52 0 0 20 0 17 0 641056893 499429376 95462 18446744073709551615 134512640 135180984 4292908272 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=8460/tid=8474] ppid=8458 vsize=487724 CPUtime=0.52

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

deleting IPC queue 1646723150
deleting IPC queue 1646755919
deleting IPC queue 1646788688
deleting IPC queue 1646821457
deleting IPC queue 1646854226
deleting IPC queue 1646886995
deleting IPC queue 1646919764
deleting IPC queue 1646952533
deleting IPC queue 1646985302
deleting IPC queue 1647018071
deleting IPC queue 1647050840
deleting IPC queue 1647083609
deleting IPC queue 1647116378
deleting IPC queue 1647149147
deleting IPC queue 1647181916
deleting IPC queue 1647214685
deleting IPC queue 1647247454
deleting IPC queue 1647280223
deleting IPC queue 1647312992
deleting IPC queue 1647345761
deleting IPC queue 1647378530
deleting IPC queue 1647411299
deleting IPC queue 1647444068
deleting IPC queue 1647476837
deleting IPC queue 1647509606
deleting IPC queue 1647542375
deleting IPC queue 1647575144
deleting IPC queue 1647607913
deleting IPC queue 1647640682
deleting IPC queue 1647673451
deleting IPC queue 1647706220
deleting IPC queue 1647738989
deleting IPC queue 1647771758
deleting IPC queue 1647804527
deleting IPC queue 1647837296
deleting IPC queue 1647870065
deleting IPC queue 1647902834
deleting IPC queue 1647935603
deleting IPC queue 1647968372
deleting IPC queue 1648001141
deleting IPC queue 1648033910
deleting IPC queue 1648066679
deleting IPC queue 1648099448
deleting IPC queue 1648132217
deleting IPC queue 1648164986
deleting IPC queue 1648197755
deleting IPC queue 1648230524
deleting IPC queue 1648263293
deleting IPC queue 1648296062
deleting IPC queue 1648328831
deleting IPC queue 1648361600
deleting IPC queue 1648394369
deleting IPC queue 1648427138
deleting IPC queue 1648459907
deleting IPC queue 1648492676
deleting IPC queue 1648525445
deleting IPC queue 1648558214
deleting IPC queue 1648590983
deleting IPC queue 1648623752
deleting IPC queue 1648656521
deleting IPC queue 1648689290
deleting IPC queue 1648722059
deleting IPC queue 1648754828
deleting IPC queue 1648787597
deleting IPC queue 1648820366
deleting IPC queue 1648853135
deleting IPC queue 1648885904
deleting IPC queue 1648918673
deleting IPC queue 1648951442
deleting IPC queue 1648984211
deleting IPC queue 1649016980
deleting IPC queue 1649049749
deleting IPC queue 1649082518
deleting IPC queue 1649115287
deleting IPC queue 1649148056
deleting IPC queue 1649180825
deleting IPC queue 1649213594
deleting IPC queue 1649246363
deleting IPC queue 1649279132
deleting IPC queue 1649311901
deleting IPC queue 1649344670
deleting IPC queue 1649377439
deleting IPC queue 1649410208
deleting IPC queue 1649442977
deleting IPC queue 1649475746
deleting IPC queue 1649508515
deleting IPC queue 1649541284
deleting IPC queue 1649574053
deleting IPC queue 1649606822
deleting IPC queue 1649639591
deleting IPC queue 1649672360
deleting IPC queue 1649705129
deleting IPC queue 1649737898
deleting IPC queue 1649770667
deleting IPC queue 1649803436
deleting IPC queue 1649836205
deleting IPC queue 1649868974
deleting IPC queue 1649901743
deleting IPC queue 1649934512
deleting IPC queue 1649967281
deleting IPC queue 1650000050
deleting IPC queue 1650032819
deleting IPC queue 1650065588
deleting IPC queue 1650098357
deleting IPC queue 1650131126
deleting IPC queue 1650163895
deleting IPC queue 1650196664
deleting IPC queue 1650229433
deleting IPC queue 1650262202
deleting IPC queue 1650294971
deleting IPC queue 1650327740
deleting IPC queue 1650360509
deleting IPC queue 1650393278
deleting IPC queue 1650426047
deleting IPC queue 1650458816
deleting IPC queue 1650491585
deleting IPC queue 1650524354
deleting IPC queue 1650557123
deleting IPC queue 1650589892
deleting IPC queue 1650622661
deleting IPC queue 1650655430
deleting IPC queue 1650688199
deleting IPC queue 1650720968
deleting IPC queue 1650753737
deleting IPC queue 1650786506
deleting IPC queue 1650819275
deleting IPC queue 1650852044
deleting IPC queue 1650884813
deleting IPC queue 1650917582
deleting IPC queue 1650950351
deleting IPC queue 1650983120
deleting IPC queue 1651015889
deleting IPC queue 1651048658
deleting IPC queue 1651081427
deleting IPC queue 1651114196
deleting IPC queue 1651146965
deleting IPC queue 1651179734
deleting IPC queue 1651212503
deleting IPC queue 1651245272
deleting IPC queue 1651278041
deleting IPC queue 1651310810
deleting IPC queue 1651343579
deleting IPC queue 1651376348
deleting IPC queue 1651409117
deleting IPC queue 1651441886
deleting IPC queue 1651474655
deleting IPC queue 1651507424
deleting IPC queue 1651540193
deleting IPC queue 1651572962
deleting IPC queue 1651605731
deleting IPC queue 1651638500
deleting IPC queue 1651671269
deleting IPC queue 1651704038
deleting IPC queue 1651736807
deleting IPC queue 1651769576
deleting IPC queue 1651802345
deleting IPC queue 1651835114
deleting IPC queue 1651867883
deleting IPC queue 1651900652
deleting IPC queue 1651933421
deleting IPC queue 1651966190
deleting IPC queue 1651998959
deleting IPC queue 1652031728
deleting IPC queue 1652064497
deleting IPC queue 1652097266
deleting IPC queue 1652130035
deleting IPC queue 1652162804
deleting IPC queue 1652195573
deleting IPC queue 1652228342
deleting IPC queue 1652261111
deleting IPC queue 1652293880
deleting IPC queue 1652326649
deleting IPC queue 1652359418
deleting IPC queue 1652392187
deleting IPC queue 1652424956
deleting IPC queue 1652457725
deleting IPC queue 1652490494
deleting IPC queue 1652523263

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1068.47
system time used= 715.569
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 495087
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= 61998091
involuntary context switches= 4207932

runsolver used 4.48428 second user time and 10.9367 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 16:38:24
IDJOB=1780152
IDBENCH=70957
IDSOLVER=631
FILE ID=xenhost3-49/1780152-1244817504
PBS_JOBID=
Free space on /tmp= 6999 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-cbmc-aes-ele-noholes.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780152-1244817504/watcher-1780152-1244817504 -o /tmp/evaluation-result-1780152-1244817504/solver-1780152-1244817504 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780152-1244817504.cnf 16 10000

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

MD5SUM BENCH= f135b1d0c8abb3603a01568e46f7396a
RANDOM SEED= 1170171394

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:      19098248 kB
Buffers:        434824 kB
Cached:       14142480 kB
SwapCached:          0 kB
Active:        4079992 kB
Inactive:     10505540 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           33440 kB
Writeback:           0 kB
AnonPages:        8316 kB
Mapped:           3684 kB
Slab:           690256 kB
SReclaimable:   663292 kB
SUnreclaim:      26964 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 6999 MiB
End job on xenhost3-49 at 2009-06-12 16:55:07