Trace number 1775997

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) 3321.32 1000.14

General information on the benchmark

Nameindustrial/palacios/hard/
safe-30-h29-unsat.cnf
MD5SUM7cb48ce6f0320bc88623afd3c5af4aae
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 variables129128
Number of clauses437794
Sum of the clauses size1056806
Maximum clause length61
Minimum clause length1
Number of clauses of size 130
Number of clauses of size 2310376
Number of clauses of size 3124560
Number of clauses of size 4189
Number of clauses of size 583
Number of clauses of size over 52556

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-1775997-1244732394/watcher-1775997-1244732394 -o /tmp/evaluation-result-1775997-1244732394/solver-1775997-1244732394 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775997-1244732394.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: 8.32 7.87 7.68 2/184 30152
/proc/meminfo: memFree=19139660/36427776 swapFree=3720/8536
[pid=30152] ppid=30150 vsize=8780 CPUtime=0
/proc/30152/stat : 30152 (satake) S 30150 30152 27791 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 17 0 632545797 8990720 500 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30152/statm: 2195 501 63 164 0 2030 0
[pid=30152/tid=30153] ppid=30150 vsize=8780 CPUtime=0
/proc/30152/task/30153/stat : 30153 (satake) S 30150 30152 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632545797 8990720 508 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=30152/tid=30154] ppid=30150 vsize=8780 CPUtime=0
/proc/30152/task/30154/stat : 30154 (satake) R 30150 30152 27791 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 17 0 632545797 8990720 514 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30152/tid=30155] ppid=30150 vsize=8780 CPUtime=0
/proc/30152/task/30155/stat : 30155 (satake) D 30150 30152 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 632545797 8990720 526 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30152/tid=30156] ppid=30150 vsize=8780 CPUtime=0
/proc/30152/task/30156/stat : 30156 (satake) D 30150 30152 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 632545797 8990720 527 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30152/tid=30157] ppid=30150 vsize=8908 CPUtime=0
/proc/30152/task/30157/stat : 30157 (satake) D 30150 30152 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 632545797 9121792 527 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30158] ppid=30150 vsize=8908 CPUtime=0
/proc/30152/task/30158/stat : 30158 (satake) S 30150 30152 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632545797 9121792 528 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30159] ppid=30150 vsize=8908 CPUtime=0
/proc/30152/task/30159/stat : 30159 (satake) D 30150 30152 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 632545797 9121792 531 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30152/tid=30160] ppid=30150 vsize=8908 CPUtime=0
/proc/30152/task/30160/stat : 30160 (satake) D 30150 30152 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 632545797 9121792 532 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30152/tid=30161] ppid=30150 vsize=8908 CPUtime=0
/proc/30152/task/30161/stat : 30161 (satake) D 30150 30152 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 632545797 9121792 532 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30152/tid=30162] ppid=30150 vsize=9036 CPUtime=0
/proc/30152/task/30162/stat : 30162 (satake) D 30150 30152 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 632545797 9252864 532 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30163] ppid=30150 vsize=9168 CPUtime=0
/proc/30152/task/30163/stat : 30163 (satake) S 30150 30152 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632545797 9388032 532 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30152/tid=30164] ppid=30150 vsize=9168 CPUtime=0
/proc/30152/task/30164/stat : 30164 (satake) R 30150 30152 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 632545798 9388032 536 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30152/tid=30165] ppid=30150 vsize=9168 CPUtime=0
/proc/30152/task/30165/stat : 30165 (satake) R 30150 30152 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 632545798 9388032 538 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30166] ppid=30150 vsize=9168 CPUtime=0
/proc/30152/task/30166/stat : 30166 (satake) R 30150 30152 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 632545798 9388032 540 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30152/tid=30167] ppid=30150 vsize=9168 CPUtime=0
/proc/30152/task/30167/stat : 30167 (satake) R 30150 30152 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632545798 9388032 540 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30152/tid=30168] ppid=30150 vsize=9168 CPUtime=0
/proc/30152/task/30168/stat : 30168 (satake) R 30150 30152 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 632545798 9388032 544 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0

[startup+0.099558 s]
/proc/loadavg: 8.32 7.87 7.68 2/184 30152
/proc/meminfo: memFree=19139660/36427776 swapFree=3720/8536
[pid=30152] ppid=30150 vsize=93776 CPUtime=0.55
/proc/30152/stat : 30152 (satake) S 30150 30152 27791 0 -1 4202496 16924 0 0 0 1 54 0 0 20 0 17 0 632545797 96026624 16863 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30152/statm: 23444 16863 63 164 0 23279 0
[pid=30152/tid=30153] ppid=30150 vsize=93776 CPUtime=0
/proc/30152/task/30153/stat : 30153 (satake) S 30150 30152 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632545797 96026624 16865 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=30152/tid=30154] ppid=30150 vsize=93776 CPUtime=0.06
/proc/30152/task/30154/stat : 30154 (satake) R 30150 30152 27791 0 -1 4202560 1778 0 0 0 0 6 0 0 20 0 17 0 632545797 96026624 16866 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30152/tid=30155] ppid=30150 vsize=93776 CPUtime=0.02
/proc/30152/task/30155/stat : 30155 (satake) R 30150 30152 27791 0 -1 4202560 1143 0 0 0 0 2 0 0 20 0 17 0 632545797 96026624 16868 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30152/tid=30156] ppid=30150 vsize=93776 CPUtime=0
/proc/30152/task/30156/stat : 30156 (satake) R 30150 30152 27791 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 17 0 632545797 96026624 16871 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30152/tid=30157] ppid=30150 vsize=93776 CPUtime=0.02
/proc/30152/task/30157/stat : 30157 (satake) R 30150 30152 27791 0 -1 4202560 749 0 0 0 0 2 0 0 20 0 17 0 632545797 96026624 16872 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30158] ppid=30150 vsize=93776 CPUtime=0.04
/proc/30152/task/30158/stat : 30158 (satake) R 30150 30152 27791 0 -1 4202560 931 0 0 0 0 4 0 0 20 0 17 0 632545797 96026624 16872 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30159] ppid=30150 vsize=93776 CPUtime=0.04
/proc/30152/task/30159/stat : 30159 (satake) R 30150 30152 27791 0 -1 4202560 1611 0 0 0 0 4 0 0 20 0 17 0 632545797 96026624 16878 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30152/tid=30160] ppid=30150 vsize=93776 CPUtime=0
/proc/30152/task/30160/stat : 30160 (satake) D 30150 30152 27791 0 -1 4202560 446 0 0 0 0 0 0 0 20 0 17 0 632545797 96026624 16879 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30152/tid=30161] ppid=30150 vsize=93776 CPUtime=0.04
/proc/30152/task/30161/stat : 30161 (satake) R 30150 30152 27791 0 -1 4202560 1466 0 0 0 0 4 0 0 20 0 17 0 632545797 96026624 16879 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30152/tid=30162] ppid=30150 vsize=93776 CPUtime=0.04
/proc/30152/task/30162/stat : 30162 (satake) R 30150 30152 27791 0 -1 4202560 1653 0 0 0 0 4 0 0 20 0 17 0 632545797 96026624 16879 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30152/tid=30163] ppid=30150 vsize=93776 CPUtime=0.04
/proc/30152/task/30163/stat : 30163 (satake) R 30150 30152 27791 0 -1 4202560 1283 0 0 0 0 4 0 0 20 0 17 0 632545797 96026624 16879 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30152/tid=30164] ppid=30150 vsize=93776 CPUtime=0.02
/proc/30152/task/30164/stat : 30164 (satake) R 30150 30152 27791 0 -1 4202560 567 0 0 0 0 2 0 0 20 0 17 0 632545798 96026624 16881 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30152/tid=30165] ppid=30150 vsize=93776 CPUtime=0.02
/proc/30152/task/30165/stat : 30165 (satake) R 30150 30152 27791 0 -1 4202560 874 0 0 0 0 2 0 0 20 0 17 0 632545798 96026624 16883 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30152/tid=30166] ppid=30150 vsize=93776 CPUtime=0.06
/proc/30152/task/30166/stat : 30166 (satake) R 30150 30152 27791 0 -1 4202560 1904 0 0 0 0 6 0 0 20 0 17 0 632545798 96026624 16885 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30152/tid=30167] ppid=30150 vsize=93776 CPUtime=0.06
/proc/30152/task/30167/stat : 30167 (satake) R 30150 30152 27791 0 -1 4202560 1817 0 0 0 0 6 0 0 20 0 17 0 632545798 96026624 16887 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30152/tid=30168] ppid=30150 vsize=93776 CPUtime=0
/proc/30152/task/30168/stat : 30168 (satake) R 30150 30152 27791 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 17 0 632545798 96026624 16888 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 93776

[startup+0.103552 s]
/proc/loadavg: 8.32 7.87 7.68 2/184 30152
/proc/meminfo: memFree=19139660/36427776 swapFree=3720/8536
[pid=30152] ppid=30150 vsize=93776 CPUtime=0.57
/proc/30152/stat : 30152 (satake) S 30150 30152 27791 0 -1 4202496 17119 0 0 0 1 56 0 0 20 0 17 0 632545797 96026624 17058 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30152/statm: 23444 17059 63 164 0 23279 0
[pid=30152/tid=30153] ppid=30150 vsize=93776 CPUtime=0
/proc/30152/task/30153/stat : 30153 (satake) S 30150 30152 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632545797 96026624 17059 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=30152/tid=30154] ppid=30150 vsize=93776 CPUtime=0.06
/proc/30152/task/30154/stat : 30154 (satake) R 30150 30152 27791 0 -1 4202560 1797 0 0 0 0 6 0 0 20 0 17 0 632545797 96026624 17061 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30152/tid=30155] ppid=30150 vsize=93776 CPUtime=0.02
/proc/30152/task/30155/stat : 30155 (satake) R 30150 30152 27791 0 -1 4202560 1157 0 0 0 0 2 0 0 20 0 17 0 632545797 96026624 17064 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30152/tid=30156] ppid=30150 vsize=93776 CPUtime=0
/proc/30152/task/30156/stat : 30156 (satake) R 30150 30152 27791 0 -1 4202560 337 0 0 0 0 0 0 0 20 0 17 0 632545797 96026624 17066 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30152/tid=30157] ppid=30150 vsize=93776 CPUtime=0.02
/proc/30152/task/30157/stat : 30157 (satake) R 30150 30152 27791 0 -1 4202560 764 0 0 0 0 2 0 0 20 0 17 0 632545797 96026624 17072 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30158] ppid=30150 vsize=93776 CPUtime=0.04
/proc/30152/task/30158/stat : 30158 (satake) R 30150 30152 27791 0 -1 4202560 940 0 0 0 0 4 0 0 20 0 17 0 632545797 96026624 17082 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30159] ppid=30150 vsize=93776 CPUtime=0.06
/proc/30152/task/30159/stat : 30159 (satake) D 30150 30152 27791 0 -1 4202560 1631 0 0 0 0 6 0 0 20 0 17 0 632545797 96026624 17083 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30152/tid=30160] ppid=30150 vsize=93776 CPUtime=0
/proc/30152/task/30160/stat : 30160 (satake) D 30150 30152 27791 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 17 0 632545797 96026624 17084 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30152/tid=30161] ppid=30150 vsize=93776 CPUtime=0.04
/proc/30152/task/30161/stat : 30161 (satake) R 30150 30152 27791 0 -1 4202560 1479 0 0 0 0 4 0 0 20 0 17 0 632545797 96026624 17089 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30152/tid=30162] ppid=30150 vsize=93776 CPUtime=0.04
/proc/30152/task/30162/stat : 30162 (satake) R 30150 30152 27791 0 -1 4202560 1665 0 0 0 0 4 0 0 20 0 17 0 632545797 96026624 17091 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30152/tid=30163] ppid=30150 vsize=93776 CPUtime=0.04
/proc/30152/task/30163/stat : 30163 (satake) R 30150 30152 27791 0 -1 4202560 1301 0 0 0 0 4 0 0 20 0 17 0 632545797 96026624 17091 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30152/tid=30164] ppid=30150 vsize=93776 CPUtime=0.02
/proc/30152/task/30164/stat : 30164 (satake) R 30150 30152 27791 0 -1 4202560 580 0 0 0 0 2 0 0 20 0 17 0 632545798 96026624 17091 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30152/tid=30165] ppid=30150 vsize=93776 CPUtime=0.02
/proc/30152/task/30165/stat : 30165 (satake) R 30150 30152 27791 0 -1 4202560 887 0 0 0 0 2 0 0 20 0 17 0 632545798 96026624 17094 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30152/tid=30166] ppid=30150 vsize=93776 CPUtime=0.06
/proc/30152/task/30166/stat : 30166 (satake) R 30150 30152 27791 0 -1 4202560 1917 0 0 0 0 6 0 0 20 0 17 0 632545798 96026624 17095 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30152/tid=30167] ppid=30150 vsize=93776 CPUtime=0.06
/proc/30152/task/30167/stat : 30167 (satake) R 30150 30152 27791 0 -1 4202560 1839 0 0 0 0 6 0 0 20 0 17 0 632545798 96026624 17096 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30152/tid=30168] ppid=30150 vsize=93776 CPUtime=0
/proc/30152/task/30168/stat : 30168 (satake) R 30150 30152 27791 0 -1 4202560 264 0 0 0 0 0 0 0 20 0 17 0 632545798 96026624 17098 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 93776

[startup+0.303585 s]
/proc/loadavg: 8.32 7.87 7.68 2/184 30152
/proc/meminfo: memFree=19139660/36427776 swapFree=3720/8536
[pid=30152] ppid=30150 vsize=130860 CPUtime=1.64
/proc/30152/stat : 30152 (satake) S 30150 30152 27791 0 -1 4202496 27618 0 0 0 1 163 0 0 20 0 17 0 632545797 134000640 27557 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30152/statm: 32715 27571 63 164 0 32550 0
[pid=30152/tid=30153] ppid=30150 vsize=130860 CPUtime=0
/proc/30152/task/30153/stat : 30153 (satake) S 30150 30152 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632545797 134000640 27591 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=30152/tid=30154] ppid=30150 vsize=130860 CPUtime=0.16
/proc/30152/task/30154/stat : 30154 (satake) R 30150 30152 27791 0 -1 4202560 2316 0 0 0 0 16 0 0 20 0 17 0 632545797 134000640 27611 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30152/tid=30155] ppid=30150 vsize=130860 CPUtime=0.08
/proc/30152/task/30155/stat : 30155 (satake) D 30150 30152 27791 0 -1 4202560 1952 0 0 0 0 8 0 0 20 0 17 0 632545797 134000640 27619 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30152/tid=30156] ppid=30150 vsize=130860 CPUtime=0.08
/proc/30152/task/30156/stat : 30156 (satake) R 30150 30152 27791 0 -1 4202560 1265 0 0 0 0 8 0 0 20 0 17 0 632545797 134000640 27619 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30152/tid=30157] ppid=30150 vsize=130860 CPUtime=0.08
/proc/30152/task/30157/stat : 30157 (satake) D 30150 30152 27791 0 -1 4202560 1599 0 0 0 0 8 0 0 20 0 17 0 632545797 134000640 27619 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30158] ppid=30150 vsize=130860 CPUtime=0.1
/proc/30152/task/30158/stat : 30158 (satake) D 30150 30152 27791 0 -1 4202560 1876 0 0 0 0 10 0 0 20 0 17 0 632545797 134000640 27620 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30159] ppid=30150 vsize=130860 CPUtime=0.1
/proc/30152/task/30159/stat : 30159 (satake) S 30150 30152 27791 0 -1 4202560 2017 0 0 0 0 10 0 0 20 0 17 0 632545797 134000640 27620 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=30152/tid=30160] ppid=30150 vsize=130860 CPUtime=0.08
/proc/30152/task/30160/stat : 30160 (satake) D 30150 30152 27791 0 -1 4202560 1528 0 0 0 0 8 0 0 20 0 17 0 632545797 134000640 27620 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30152/tid=30161] ppid=30150 vsize=130860 CPUtime=0.1
/proc/30152/task/30161/stat : 30161 (satake) R 30150 30152 27791 0 -1 4202560 2001 0 0 0 0 10 0 0 20 0 17 0 632545797 134000640 27625 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30152/tid=30162] ppid=30150 vsize=130860 CPUtime=0.12
/proc/30152/task/30162/stat : 30162 (satake) S 30150 30152 27791 0 -1 4202560 2111 0 0 0 0 12 0 0 20 0 17 0 632545797 134000640 27626 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=30152/tid=30163] ppid=30150 vsize=130860 CPUtime=0.12
/proc/30152/task/30163/stat : 30163 (satake) S 30150 30152 27791 0 -1 4202560 1982 0 0 0 0 12 0 0 20 0 17 0 632545797 134000640 27626 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=30152/tid=30164] ppid=30150 vsize=130860 CPUtime=0.08
/proc/30152/task/30164/stat : 30164 (satake) R 30150 30152 27791 0 -1 4202560 1539 0 0 0 0 8 0 0 20 0 17 0 632545798 134000640 27626 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30152/tid=30165] ppid=30150 vsize=130860 CPUtime=0.1
/proc/30152/task/30165/stat : 30165 (satake) R 30150 30152 27791 0 -1 4202560 1794 0 0 0 0 10 0 0 20 0 17 0 632545798 134000640 27629 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30152/tid=30166] ppid=30150 vsize=130860 CPUtime=0.16
/proc/30152/task/30166/stat : 30166 (satake) R 30150 30152 27791 0 -1 4202560 2232 0 0 0 0 16 0 0 20 0 17 0 632545798 134000640 27629 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30152/tid=30167] ppid=30150 vsize=130860 CPUtime=0.14
/proc/30152/task/30167/stat : 30167 (satake) R 30150 30152 27791 0 -1 4202560 2133 0 0 0 0 14 0 0 20 0 17 0 632545798 134000640 27632 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30152/tid=30168] ppid=30150 vsize=130860 CPUtime=0.08
/proc/30152/task/30168/stat : 30168 (satake) D 30150 30152 27791 0 -1 4202560 1208 0 0 0 0 8 0 0 20 0 17 0 632545798 134000640 27633 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 130860

[startup+0.703567 s]
/proc/loadavg: 8.32 7.87 7.68 2/184 30152
/proc/meminfo: memFree=19139660/36427776 swapFree=3720/8536
[pid=30152] ppid=30150 vsize=184720 CPUtime=3.32
/proc/30152/stat : 30152 (satake) S 30150 30152 27791 0 -1 4202496 42099 0 0 0 68 264 0 0 20 0 17 0 632545797 189153280 42038 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30152/statm: 46180 42039 63 164 0 46015 0
[pid=30152/tid=30153] ppid=30150 vsize=184720 CPUtime=0
/proc/30152/task/30153/stat : 30153 (satake) S 30150 30152 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 632545797 189153280 42039 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 5 0 0 0 0 0
[pid=30152/tid=30154] ppid=30150 vsize=184720 CPUtime=0.32
/proc/30152/task/30154/stat : 30154 (satake) R 30150 30152 27791 0 -1 4202560 3681 0 0 0 10 22 0 0 20 0 17 0 632545797 189153280 42046 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30152/tid=30155] ppid=30150 vsize=184720 CPUtime=0.18
/proc/30152/task/30155/stat : 30155 (satake) R 30150 30152 27791 0 -1 4202560 2619 0 0 0 8 10 0 0 20 0 17 0 632545797 189153280 42047 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30152/tid=30156] ppid=30150 vsize=184720 CPUtime=0.18
/proc/30152/task/30156/stat : 30156 (satake) R 30150 30152 27791 0 -1 4202560 2640 0 0 0 0 18 0 0 20 0 17 0 632545797 189153280 42049 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=30152/tid=30157] ppid=30150 vsize=184720 CPUtime=0.2
/proc/30152/task/30157/stat : 30157 (satake) R 30150 30152 27791 0 -1 4202560 2657 0 0 0 6 14 0 0 20 0 17 0 632545797 189153280 42052 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=30152/tid=30158] ppid=30150 vsize=184720 CPUtime=0.2
/proc/30152/task/30158/stat : 30158 (satake) R 30150 30152 27791 0 -1 4202560 2624 0 0 0 4 16 0 0 20 0 17 0 632545797 189153280 42052 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134535220 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=30152/tid=30159] ppid=30150 vsize=184720 CPUtime=0.2
/proc/30152/task/30159/stat : 30159 (satake) R 30150 30152 27791 0 -1 4202560 2665 0 0 0 4 16 0 0 20 0 17 0 632545797 189153280 42053 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30152/tid=30160] ppid=30150 vsize=184720 CPUtime=0.18
/proc/30152/task/30160/stat : 30160 (satake) R 30150 30152 27791 0 -1 4202560 2612 0 0 0 2 16 0 0 20 0 17 0 632545797 189153280 42054 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=30152/tid=30161] ppid=30150 vsize=184720 CPUtime=0.22
/proc/30152/task/30161/stat : 30161 (satake) R 30150 30152 27791 0 -1 4202560 2796 0 0 0 2 20 0 0 20 0 17 0 632545797 189153280 42054 18446744073709551615 134512640 135180984 4292025360 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30152/tid=30162] ppid=30150 vsize=184720 CPUtime=0.22

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

deleting IPC queue 279380046
deleting IPC queue 279412815
deleting IPC queue 279445584
deleting IPC queue 279478353
deleting IPC queue 279511122
deleting IPC queue 279543891
deleting IPC queue 279576660
deleting IPC queue 279609429
deleting IPC queue 279642198
deleting IPC queue 279674967
deleting IPC queue 279707736
deleting IPC queue 279740505
deleting IPC queue 279773274
deleting IPC queue 279806043
deleting IPC queue 279838812
deleting IPC queue 279871581
deleting IPC queue 279904350
deleting IPC queue 279937119
deleting IPC queue 279969888
deleting IPC queue 280002657
deleting IPC queue 280035426
deleting IPC queue 280068195
deleting IPC queue 280100964
deleting IPC queue 280133733
deleting IPC queue 280166502
deleting IPC queue 280199271
deleting IPC queue 280232040
deleting IPC queue 280264809
deleting IPC queue 280297578
deleting IPC queue 280330347
deleting IPC queue 280363116
deleting IPC queue 280395885
deleting IPC queue 280428654
deleting IPC queue 280461423
deleting IPC queue 280494192
deleting IPC queue 280526961
deleting IPC queue 280559730
deleting IPC queue 280592499
deleting IPC queue 280625268
deleting IPC queue 280658037
deleting IPC queue 280690806
deleting IPC queue 280723575
deleting IPC queue 280756344
deleting IPC queue 280789113
deleting IPC queue 280821882
deleting IPC queue 280854651
deleting IPC queue 280887420
deleting IPC queue 280920189
deleting IPC queue 280952958
deleting IPC queue 280985727
deleting IPC queue 281018496
deleting IPC queue 281051265
deleting IPC queue 281084034
deleting IPC queue 281116803
deleting IPC queue 281149572
deleting IPC queue 281182341
deleting IPC queue 281215110
deleting IPC queue 281247879
deleting IPC queue 281280648
deleting IPC queue 281313417
deleting IPC queue 281346186
deleting IPC queue 281378955
deleting IPC queue 281411724
deleting IPC queue 281444493
deleting IPC queue 281477262
deleting IPC queue 281510031
deleting IPC queue 281542800
deleting IPC queue 281575569
deleting IPC queue 281608338
deleting IPC queue 281641107
deleting IPC queue 281673876
deleting IPC queue 281706645
deleting IPC queue 281739414
deleting IPC queue 281772183
deleting IPC queue 281804952
deleting IPC queue 281837721
deleting IPC queue 281870490
deleting IPC queue 281903259
deleting IPC queue 281936028
deleting IPC queue 281968797
deleting IPC queue 282001566
deleting IPC queue 282034335
deleting IPC queue 282067104
deleting IPC queue 282099873
deleting IPC queue 282132642
deleting IPC queue 282165411
deleting IPC queue 282198180
deleting IPC queue 282230949
deleting IPC queue 282263718
deleting IPC queue 282296487
deleting IPC queue 282329256
deleting IPC queue 282362025
deleting IPC queue 282394794
deleting IPC queue 282427563
deleting IPC queue 282460332
deleting IPC queue 282493101
deleting IPC queue 282525870
deleting IPC queue 282558639
deleting IPC queue 282591408
deleting IPC queue 282624177
deleting IPC queue 282656946
deleting IPC queue 282689715
deleting IPC queue 282722484
deleting IPC queue 282755253
deleting IPC queue 282788022
deleting IPC queue 282820791
deleting IPC queue 282853560
deleting IPC queue 282886329
deleting IPC queue 282919098
deleting IPC queue 282951867
deleting IPC queue 282984636
deleting IPC queue 283017405
deleting IPC queue 283050174
deleting IPC queue 283082943
deleting IPC queue 283115712
deleting IPC queue 283148481
deleting IPC queue 283181250
deleting IPC queue 283214019
deleting IPC queue 283246788
deleting IPC queue 283279557
deleting IPC queue 283312326
deleting IPC queue 283345095
deleting IPC queue 283377864
deleting IPC queue 283410633
deleting IPC queue 283443402
deleting IPC queue 283476171
deleting IPC queue 283508940
deleting IPC queue 283541709
deleting IPC queue 283574478
deleting IPC queue 283607247
deleting IPC queue 283640016
deleting IPC queue 283672785
deleting IPC queue 283705554
deleting IPC queue 283738323
deleting IPC queue 283771092
deleting IPC queue 283803861
deleting IPC queue 283836630
deleting IPC queue 283869399
deleting IPC queue 283902168
deleting IPC queue 283934937
deleting IPC queue 283967706
deleting IPC queue 284000475
deleting IPC queue 284033244
deleting IPC queue 284066013
deleting IPC queue 284098782
deleting IPC queue 284131551
deleting IPC queue 284164320
deleting IPC queue 284197089
deleting IPC queue 284229858
deleting IPC queue 284262627
deleting IPC queue 284295396
deleting IPC queue 284328165
deleting IPC queue 284360934
deleting IPC queue 284393703
deleting IPC queue 284426472
deleting IPC queue 284459241
deleting IPC queue 284492010
deleting IPC queue 284524779
deleting IPC queue 284557548
deleting IPC queue 284590317
deleting IPC queue 284623086
deleting IPC queue 284655855
deleting IPC queue 284688624
deleting IPC queue 284721393
deleting IPC queue 284754162
deleting IPC queue 284786931
deleting IPC queue 284819700
deleting IPC queue 284852469
deleting IPC queue 284885238
deleting IPC queue 284918007
deleting IPC queue 284950776
deleting IPC queue 284983545
deleting IPC queue 285016314
deleting IPC queue 285049083
deleting IPC queue 285081852
deleting IPC queue 285114621
deleting IPC queue 285147390
deleting IPC queue 285180159

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2613.9
system time used= 707.42
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287547
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= 55639513
involuntary context switches= 5346428

runsolver used 4.40827 second user time and 11.6407 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 16:59:54
IDJOB=1775997
IDBENCH=20409
IDSOLVER=631
FILE ID=xenhost3-49/1775997-1244732394
PBS_JOBID=
Free space on /tmp= 7033 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/palacios/hard/safe-30-h29-unsat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775997-1244732394/watcher-1775997-1244732394 -o /tmp/evaluation-result-1775997-1244732394/solver-1775997-1244732394 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775997-1244732394.cnf 16 10000

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

MD5SUM BENCH= 7cb48ce6f0320bc88623afd3c5af4aae
RANDOM SEED= 356725258

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:      19139660 kB
Buffers:        432156 kB
Cached:       14107536 kB
SwapCached:          0 kB
Active:        4078212 kB
Inactive:     10470596 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            8408 kB
Writeback:           0 kB
AnonPages:        8536 kB
Mapped:           3720 kB
Slab:           687668 kB
SReclaimable:   660876 kB
SUnreclaim:      26792 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29372 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7033 MiB
End job on xenhost3-49 at 2009-06-11 17:16:37