Trace number 1776117

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) 10001.3 856.214

General information on the benchmark

Nameindustrial/palacios/medium/
cube-11-h14-sat.cnf
MD5SUM7cc30e40be8c690e76c3fb158623be61
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1725.93
Satisfiable
(Un)Satisfiability was proved
Number of variables508177
Number of clauses1529045
Sum of the clauses size3568287
Maximum clause length19
Minimum clause length1
Number of clauses of size 11331
Number of clauses of size 21019705
Number of clauses of size 3505422
Number of clauses of size 42413
Number of clauses of size 519
Number of clauses of size over 5155

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-1776117-1244736496/watcher-1776117-1244736496 -o /tmp/evaluation-result-1776117-1244736496/solver-1776117-1244736496 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776117-1244736496.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.87 3.70 4.22 2/184 30715
/proc/meminfo: memFree=19115116/36427776 swapFree=4488/8060
[pid=30715] ppid=30713 vsize=8136 CPUtime=0
/proc/30715/stat : 30715 (satake) R 30713 30715 27791 0 -1 4202496 465 0 0 0 0 0 0 0 20 0 15 0 632956077 8331264 421 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134664766 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/30715/statm: 2034 421 63 164 0 1869 0
[pid=30715/tid=30716] ppid=30713 vsize=8136 CPUtime=0
/proc/30715/task/30716/stat : 30716 (satake) S 30713 30715 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 632956078 8331264 428 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30715/tid=30717] ppid=30713 vsize=8268 CPUtime=0
/proc/30715/task/30717/stat : 30717 (satake) D 30713 30715 27791 0 -1 4202560 62 0 0 0 0 0 0 0 20 0 15 0 632956078 8466432 431 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30715/tid=30718] ppid=30713 vsize=8268 CPUtime=0
/proc/30715/task/30718/stat : 30718 (satake) R 30713 30715 27791 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 15 0 632956078 8466432 433 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30715/tid=30719] ppid=30713 vsize=8268 CPUtime=0
/proc/30715/task/30719/stat : 30719 (satake) R 30713 30715 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 15 0 632956078 8466432 434 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30720] ppid=30713 vsize=8268 CPUtime=0
/proc/30715/task/30720/stat : 30720 (satake) R 30713 30715 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 632956078 8466432 435 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30715/tid=30721] ppid=30713 vsize=8268 CPUtime=0
/proc/30715/task/30721/stat : 30721 (satake) R 30713 30715 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 15 0 632956078 8466432 435 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30715/tid=30722] ppid=30713 vsize=8268 CPUtime=0
/proc/30715/task/30722/stat : 30722 (satake) R 30713 30715 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 15 0 632956078 8466432 435 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30715/tid=30723] ppid=30713 vsize=8268 CPUtime=0
/proc/30715/task/30723/stat : 30723 (satake) S 30713 30715 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 632956078 8466432 435 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30724] ppid=30713 vsize=8268 CPUtime=0
/proc/30715/task/30724/stat : 30724 (satake) R 30713 30715 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 15 0 632956078 8466432 435 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30715/tid=30725] ppid=30713 vsize=8268 CPUtime=0
/proc/30715/task/30725/stat : 30725 (satake) R 30713 30715 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632956078 8466432 441 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30715/tid=30726] ppid=30713 vsize=8268 CPUtime=0
/proc/30715/task/30726/stat : 30726 (satake) D 30713 30715 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 16 0 632956078 8466432 443 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30727] ppid=30713 vsize=8332 CPUtime=0
/proc/30715/task/30727/stat : 30727 (satake) S 30713 30715 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 16 0 632956078 8531968 445 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=30715/tid=30728] ppid=30713 vsize=8332 CPUtime=0
/proc/30715/task/30728/stat : 30728 (satake) R 30713 30715 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 16 0 632956078 8531968 449 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30715/tid=30729] ppid=30713 vsize=8332 CPUtime=0
/proc/30715/task/30729/stat : 30729 (satake) S 30713 30715 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 632956078 8531968 450 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=30715/tid=30730] ppid=30713 vsize=8332 CPUtime=0
/proc/30715/task/30730/stat : 30730 (satake) D 30713 30715 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 16 0 632956079 8531968 451 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0

[startup+0.103201 s]
/proc/loadavg: 3.87 3.70 4.22 2/184 30715
/proc/meminfo: memFree=19115116/36427776 swapFree=4488/8060
[pid=30715] ppid=30713 vsize=86708 CPUtime=0.66
/proc/30715/stat : 30715 (satake) S 30713 30715 27791 0 -1 4202496 13308 0 0 0 0 66 0 0 20 0 17 0 632956077 88788992 13265 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/30715/statm: 21677 13270 63 164 0 21512 0
[pid=30715/tid=30716] ppid=30713 vsize=86708 CPUtime=0
/proc/30715/task/30716/stat : 30716 (satake) S 30713 30715 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632956078 88788992 13270 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30715/tid=30717] ppid=30713 vsize=86708 CPUtime=0.06
/proc/30715/task/30717/stat : 30717 (satake) R 30713 30715 27791 0 -1 4202560 1176 0 0 0 0 6 0 0 20 0 17 0 632956078 88788992 13271 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=30715/tid=30718] ppid=30713 vsize=86708 CPUtime=0.06
/proc/30715/task/30718/stat : 30718 (satake) R 30713 30715 27791 0 -1 4202560 1313 0 0 0 0 6 0 0 20 0 17 0 632956078 88788992 13272 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30715/tid=30719] ppid=30713 vsize=86708 CPUtime=0.04
/proc/30715/task/30719/stat : 30719 (satake) R 30713 30715 27791 0 -1 4202560 761 0 0 0 0 4 0 0 20 0 17 0 632956078 88788992 13273 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30720] ppid=30713 vsize=86708 CPUtime=0.06
/proc/30715/task/30720/stat : 30720 (satake) R 30713 30715 27791 0 -1 4202560 1045 0 0 0 0 6 0 0 20 0 17 0 632956078 88788992 13279 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30715/tid=30721] ppid=30713 vsize=86708 CPUtime=0.06
/proc/30715/task/30721/stat : 30721 (satake) R 30713 30715 27791 0 -1 4202560 1213 0 0 0 0 6 0 0 20 0 17 0 632956078 88788992 13306 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30715/tid=30722] ppid=30713 vsize=86708 CPUtime=0.04
/proc/30715/task/30722/stat : 30722 (satake) R 30713 30715 27791 0 -1 4202560 776 0 0 0 0 4 0 0 20 0 17 0 632956078 88788992 13333 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30715/tid=30723] ppid=30713 vsize=86708 CPUtime=0.02
/proc/30715/task/30723/stat : 30723 (satake) R 30713 30715 27791 0 -1 4202560 658 0 0 0 0 2 0 0 20 0 17 0 632956078 88788992 13362 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30724] ppid=30713 vsize=86708 CPUtime=0.06
/proc/30715/task/30724/stat : 30724 (satake) R 30713 30715 27791 0 -1 4202560 1522 0 0 0 0 6 0 0 20 0 17 0 632956078 88788992 13408 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30715/tid=30725] ppid=30713 vsize=86708 CPUtime=0.04
/proc/30715/task/30725/stat : 30725 (satake) R 30713 30715 27791 0 -1 4202560 901 0 0 0 0 4 0 0 20 0 17 0 632956078 88788992 13442 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30715/tid=30726] ppid=30713 vsize=86708 CPUtime=0.02
/proc/30715/task/30726/stat : 30726 (satake) R 30713 30715 27791 0 -1 4202560 421 0 0 0 0 2 0 0 20 0 17 0 632956078 88788992 13462 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30715/tid=30727] ppid=30713 vsize=86708 CPUtime=0
/proc/30715/task/30727/stat : 30727 (satake) R 30713 30715 27791 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 17 0 632956078 88788992 13518 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30715/tid=30728] ppid=30713 vsize=86708 CPUtime=0.02
/proc/30715/task/30728/stat : 30728 (satake) R 30713 30715 27791 0 -1 4202560 437 0 0 0 0 2 0 0 20 0 17 0 632956078 88788992 13548 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30715/tid=30729] ppid=30713 vsize=86708 CPUtime=0.06
/proc/30715/task/30729/stat : 30729 (satake) R 30713 30715 27791 0 -1 4202560 1262 0 0 0 0 6 0 0 20 0 17 0 632956078 88788992 13582 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30715/tid=30730] ppid=30713 vsize=86708 CPUtime=0.06
/proc/30715/task/30730/stat : 30730 (satake) R 30713 30715 27791 0 -1 4202560 1489 0 0 0 0 6 0 0 20 0 17 0 632956079 88788992 13595 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 86708

[startup+0.209124 s]
/proc/loadavg: 3.87 3.70 4.22 2/184 30715
/proc/meminfo: memFree=19115116/36427776 swapFree=4488/8060
[pid=30715] ppid=30713 vsize=195764 CPUtime=1.65
/proc/30715/stat : 30715 (satake) S 30713 30715 27791 0 -1 4202496 35189 0 0 0 0 165 0 0 20 0 17 0 632956077 200462336 35145 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/30715/statm: 48941 35148 63 164 0 48776 0
[pid=30715/tid=30716] ppid=30713 vsize=195764 CPUtime=0
/proc/30715/task/30716/stat : 30716 (satake) S 30713 30715 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632956078 200462336 35150 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30715/tid=30717] ppid=30713 vsize=195764 CPUtime=0.14
/proc/30715/task/30717/stat : 30717 (satake) R 30713 30715 27791 0 -1 4202560 3020 0 0 0 0 14 0 0 20 0 17 0 632956078 200462336 35150 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30715/tid=30718] ppid=30713 vsize=195764 CPUtime=0.16
/proc/30715/task/30718/stat : 30718 (satake) R 30713 30715 27791 0 -1 4202560 3037 0 0 0 0 16 0 0 20 0 17 0 632956078 200462336 35153 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30715/tid=30719] ppid=30713 vsize=195764 CPUtime=0.08
/proc/30715/task/30719/stat : 30719 (satake) R 30713 30715 27791 0 -1 4202560 1862 0 0 0 0 8 0 0 20 0 17 0 632956078 200462336 35155 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30720] ppid=30713 vsize=195764 CPUtime=0.08
/proc/30715/task/30720/stat : 30720 (satake) R 30713 30715 27791 0 -1 4202560 1688 0 0 0 0 8 0 0 20 0 17 0 632956078 200462336 35157 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30715/tid=30721] ppid=30713 vsize=195764 CPUtime=0.16
/proc/30715/task/30721/stat : 30721 (satake) R 30713 30715 27791 0 -1 4202560 3306 0 0 0 0 16 0 0 20 0 17 0 632956078 200462336 35186 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30715/tid=30722] ppid=30713 vsize=195764 CPUtime=0.1
/proc/30715/task/30722/stat : 30722 (satake) R 30713 30715 27791 0 -1 4202560 1755 0 0 0 0 10 0 0 20 0 17 0 632956078 200462336 35209 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30715/tid=30723] ppid=30713 vsize=195764 CPUtime=0.06
/proc/30715/task/30723/stat : 30723 (satake) R 30713 30715 27791 0 -1 4202560 1458 0 0 0 0 6 0 0 20 0 17 0 632956078 200462336 35225 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30724] ppid=30713 vsize=195764 CPUtime=0.16
/proc/30715/task/30724/stat : 30724 (satake) R 30713 30715 27791 0 -1 4202560 4128 0 0 0 0 16 0 0 20 0 17 0 632956078 200462336 35248 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30715/tid=30725] ppid=30713 vsize=195764 CPUtime=0.1
/proc/30715/task/30725/stat : 30725 (satake) R 30713 30715 27791 0 -1 4202560 1967 0 0 0 0 10 0 0 20 0 17 0 632956078 200462336 35265 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30715/tid=30726] ppid=30713 vsize=195764 CPUtime=0.06
/proc/30715/task/30726/stat : 30726 (satake) R 30713 30715 27791 0 -1 4202560 1301 0 0 0 0 6 0 0 20 0 17 0 632956078 200462336 35300 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30715/tid=30727] ppid=30713 vsize=195764 CPUtime=0.06
/proc/30715/task/30727/stat : 30727 (satake) R 30713 30715 27791 0 -1 4202560 1259 0 0 0 0 6 0 0 20 0 17 0 632956078 200462336 35319 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30715/tid=30728] ppid=30713 vsize=195764 CPUtime=0.06
/proc/30715/task/30728/stat : 30728 (satake) R 30713 30715 27791 0 -1 4202560 1375 0 0 0 0 6 0 0 20 0 17 0 632956078 200462336 35342 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30715/tid=30729] ppid=30713 vsize=195764 CPUtime=0.16
/proc/30715/task/30729/stat : 30729 (satake) R 30713 30715 27791 0 -1 4202560 3076 0 0 0 0 16 0 0 20 0 17 0 632956078 200462336 35365 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30715/tid=30730] ppid=30713 vsize=195764 CPUtime=0.14
/proc/30715/task/30730/stat : 30730 (satake) D 30713 30715 27791 0 -1 4202560 3887 0 0 0 0 14 0 0 20 0 17 0 632956079 200462336 35373 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 195764

[startup+0.303027 s]
/proc/loadavg: 3.87 3.70 4.22 2/184 30715
/proc/meminfo: memFree=19115116/36427776 swapFree=4488/8060
[pid=30715] ppid=30713 vsize=343220 CPUtime=2.42
/proc/30715/stat : 30715 (satake) S 30713 30715 27791 0 -1 4202496 56976 0 0 0 0 242 0 0 20 0 17 0 632956077 351457280 56941 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/30715/statm: 85805 57015 63 164 0 85640 0
[pid=30715/tid=30716] ppid=30713 vsize=343220 CPUtime=0
/proc/30715/task/30716/stat : 30716 (satake) S 30713 30715 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632956078 351457280 57039 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30715/tid=30717] ppid=30713 vsize=343220 CPUtime=0.2
/proc/30715/task/30717/stat : 30717 (satake) R 30713 30715 27791 0 -1 4202560 4871 0 0 0 0 20 0 0 20 0 17 0 632956078 351457280 57059 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30715/tid=30718] ppid=30713 vsize=343220 CPUtime=0.22
/proc/30715/task/30718/stat : 30718 (satake) R 30713 30715 27791 0 -1 4202560 4733 0 0 0 0 22 0 0 20 0 17 0 632956078 351457280 57088 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30715/tid=30719] ppid=30713 vsize=343220 CPUtime=0.1
/proc/30715/task/30719/stat : 30719 (satake) R 30713 30715 27791 0 -1 4202560 2120 0 0 0 0 10 0 0 20 0 17 0 632956078 351457280 57118 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30720] ppid=30713 vsize=343220 CPUtime=0.14
/proc/30715/task/30720/stat : 30720 (satake) R 30713 30715 27791 0 -1 4202560 3196 0 0 0 0 14 0 0 20 0 17 0 632956078 351457280 57140 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30715/tid=30721] ppid=30713 vsize=343220 CPUtime=0.22
/proc/30715/task/30721/stat : 30721 (satake) R 30713 30715 27791 0 -1 4202560 5739 0 0 0 0 22 0 0 20 0 17 0 632956078 351457280 57173 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30715/tid=30722] ppid=30713 vsize=343220 CPUtime=0.12
/proc/30715/task/30722/stat : 30722 (satake) R 30713 30715 27791 0 -1 4202560 2723 0 0 0 0 12 0 0 20 0 17 0 632956078 351457280 57208 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30715/tid=30723] ppid=30713 vsize=343220 CPUtime=0.12
/proc/30715/task/30723/stat : 30723 (satake) R 30713 30715 27791 0 -1 4202560 2872 0 0 0 0 12 0 0 20 0 17 0 632956078 351457280 57234 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30724] ppid=30713 vsize=343220 CPUtime=0.22
/proc/30715/task/30724/stat : 30724 (satake) R 30713 30715 27791 0 -1 4202560 6269 0 0 0 0 22 0 0 20 0 17 0 632956078 351457280 57258 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30715/tid=30725] ppid=30713 vsize=343220 CPUtime=0.1
/proc/30715/task/30725/stat : 30725 (satake) R 30713 30715 27791 0 -1 4202560 2338 0 0 0 0 10 0 0 20 0 17 0 632956078 351457280 57291 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30715/tid=30726] ppid=30713 vsize=343220 CPUtime=0.1
/proc/30715/task/30726/stat : 30726 (satake) R 30713 30715 27791 0 -1 4202560 2774 0 0 0 0 10 0 0 20 0 17 0 632956078 351457280 57318 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30715/tid=30727] ppid=30713 vsize=343220 CPUtime=0.08
/proc/30715/task/30727/stat : 30727 (satake) R 30713 30715 27791 0 -1 4202560 1528 0 0 0 0 8 0 0 20 0 17 0 632956078 351457280 57335 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30715/tid=30728] ppid=30713 vsize=343220 CPUtime=0.12
/proc/30715/task/30728/stat : 30728 (satake) R 30713 30715 27791 0 -1 4202560 3412 0 0 0 0 12 0 0 20 0 17 0 632956078 351457280 57359 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30715/tid=30729] ppid=30713 vsize=343220 CPUtime=0.22
/proc/30715/task/30729/stat : 30729 (satake) R 30713 30715 27791 0 -1 4202560 5046 0 0 0 0 22 0 0 20 0 17 0 632956078 351457280 57363 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=30715/tid=30730] ppid=30713 vsize=343220 CPUtime=0.22
/proc/30715/task/30730/stat : 30730 (satake) R 30713 30715 27791 0 -1 4202560 5644 0 0 0 0 22 0 0 20 0 17 0 632956079 351457280 57363 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 343220

[startup+0.703071 s]
/proc/loadavg: 3.87 3.70 4.22 2/184 30715
/proc/meminfo: memFree=19115116/36427776 swapFree=4488/8060
[pid=30715] ppid=30713 vsize=399164 CPUtime=5.65
/proc/30715/stat : 30715 (satake) S 30713 30715 27791 0 -1 4202496 80926 0 0 0 2 563 0 0 20 0 17 0 632956077 408743936 80882 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/30715/statm: 99791 80884 63 164 0 99626 0
[pid=30715/tid=30716] ppid=30713 vsize=399164 CPUtime=0
/proc/30715/task/30716/stat : 30716 (satake) S 30713 30715 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 632956078 408743936 80886 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=30715/tid=30717] ppid=30713 vsize=399164 CPUtime=0.46
/proc/30715/task/30717/stat : 30717 (satake) R 30713 30715 27791 0 -1 4202560 6912 0 0 0 0 46 0 0 20 0 17 0 632956078 408743936 80887 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134673431 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=30715/tid=30718] ppid=30713 vsize=399164 CPUtime=0.5
/proc/30715/task/30718/stat : 30718 (satake) D 30713 30715 27791 0 -1 4202560 6743 0 0 0 0 50 0 0 20 0 17 0 632956078 408743936 80887 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=30715/tid=30719] ppid=30713 vsize=399164 CPUtime=0.24
/proc/30715/task/30719/stat : 30719 (satake) D 30713 30715 27791 0 -1 4202560 3493 0 0 0 0 24 0 0 20 0 17 0 632956078 408743936 80887 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30720] ppid=30713 vsize=399164 CPUtime=0.28
/proc/30715/task/30720/stat : 30720 (satake) D 30713 30715 27791 0 -1 4202560 4131 0 0 0 0 28 0 0 20 0 17 0 632956078 408743936 80888 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30715/tid=30721] ppid=30713 vsize=399164 CPUtime=0.52
/proc/30715/task/30721/stat : 30721 (satake) R 30713 30715 27791 0 -1 4202560 7530 0 0 0 0 52 0 0 20 0 17 0 632956078 408743936 80888 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=30715/tid=30722] ppid=30713 vsize=399164 CPUtime=0.28
/proc/30715/task/30722/stat : 30722 (satake) D 30713 30715 27791 0 -1 4202560 4520 0 0 0 0 28 0 0 20 0 17 0 632956078 408743936 80888 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30715/tid=30723] ppid=30713 vsize=399164 CPUtime=0.28
/proc/30715/task/30723/stat : 30723 (satake) D 30713 30715 27791 0 -1 4202560 3995 0 0 0 0 28 0 0 20 0 17 0 632956078 408743936 80888 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=30715/tid=30724] ppid=30713 vsize=399164 CPUtime=0.52
/proc/30715/task/30724/stat : 30724 (satake) D 30713 30715 27791 0 -1 4202560 7646 0 0 0 0 52 0 0 20 0 17 0 632956078 408743936 80888 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=30715/tid=30725] ppid=30713 vsize=399164 CPUtime=0.26
/proc/30715/task/30725/stat : 30725 (satake) R 30713 30715 27791 0 -1 4202560 4108 0 0 0 0 26 0 0 20 0 17 0 632956078 408743936 80891 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30715/tid=30726] ppid=30713 vsize=399164 CPUtime=0.26
/proc/30715/task/30726/stat : 30726 (satake) R 30713 30715 27791 0 -1 4202560 3773 0 0 0 0 26 0 0 20 0 17 0 632956078 408743936 80892 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=30715/tid=30727] ppid=30713 vsize=399164 CPUtime=0.24
/proc/30715/task/30727/stat : 30727 (satake) R 30713 30715 27791 0 -1 4202560 3131 0 0 0 0 24 0 0 20 0 17 0 632956078 408743936 80893 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=30715/tid=30728] ppid=30713 vsize=399164 CPUtime=0.28
/proc/30715/task/30728/stat : 30728 (satake) R 30713 30715 27791 0 -1 4202560 4422 0 0 0 0 28 0 0 20 0 17 0 632956078 408743936 80893 18446744073709551615 134512640 135180984 4286723856 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=30715/tid=30729] ppid=30713 vsize=399164 CPUtime=0.5

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

deleting IPC queue 346488910
deleting IPC queue 346521679
deleting IPC queue 346554448
deleting IPC queue 346587217
deleting IPC queue 346619986
deleting IPC queue 346652755
deleting IPC queue 346685524
deleting IPC queue 346718293
deleting IPC queue 346751062
deleting IPC queue 346783831
deleting IPC queue 346816600
deleting IPC queue 346849369
deleting IPC queue 346882138
deleting IPC queue 346914907
deleting IPC queue 346947676
deleting IPC queue 346980445
deleting IPC queue 347013214
deleting IPC queue 347045983
deleting IPC queue 347078752
deleting IPC queue 347111521
deleting IPC queue 347144290
deleting IPC queue 347177059
deleting IPC queue 347209828
deleting IPC queue 347242597
deleting IPC queue 347275366
deleting IPC queue 347308135
deleting IPC queue 347340904
deleting IPC queue 347373673
deleting IPC queue 347406442
deleting IPC queue 347439211
deleting IPC queue 347471980
deleting IPC queue 347504749
deleting IPC queue 347537518
deleting IPC queue 347570287
deleting IPC queue 347603056
deleting IPC queue 347635825
deleting IPC queue 347668594
deleting IPC queue 347701363
deleting IPC queue 347734132
deleting IPC queue 347766901
deleting IPC queue 347799670
deleting IPC queue 347832439
deleting IPC queue 347865208
deleting IPC queue 347897977
deleting IPC queue 347930746
deleting IPC queue 347963515
deleting IPC queue 347996284
deleting IPC queue 348029053
deleting IPC queue 348061822
deleting IPC queue 348094591
deleting IPC queue 348127360
deleting IPC queue 348160129
deleting IPC queue 348192898
deleting IPC queue 348225667
deleting IPC queue 348258436
deleting IPC queue 348291205
deleting IPC queue 348323974
deleting IPC queue 348356743
deleting IPC queue 348389512
deleting IPC queue 348422281
deleting IPC queue 348455050
deleting IPC queue 348487819
deleting IPC queue 348520588
deleting IPC queue 348553357
deleting IPC queue 348586126
deleting IPC queue 348618895
deleting IPC queue 348651664
deleting IPC queue 348684433
deleting IPC queue 348717202
deleting IPC queue 348749971
deleting IPC queue 348782740
deleting IPC queue 348815509
deleting IPC queue 348848278
deleting IPC queue 348881047
deleting IPC queue 348913816
deleting IPC queue 348946585
deleting IPC queue 348979354
deleting IPC queue 349012123
deleting IPC queue 349044892
deleting IPC queue 349077661
deleting IPC queue 349110430
deleting IPC queue 349143199
deleting IPC queue 349175968
deleting IPC queue 349208737
deleting IPC queue 349241506
deleting IPC queue 349274275
deleting IPC queue 349307044
deleting IPC queue 349339813
deleting IPC queue 349372582
deleting IPC queue 349405351
deleting IPC queue 349438120
deleting IPC queue 349470889
deleting IPC queue 349503658
deleting IPC queue 349536427
deleting IPC queue 349569196
deleting IPC queue 349601965
deleting IPC queue 349634734
deleting IPC queue 349667503
deleting IPC queue 349700272
deleting IPC queue 349733041
deleting IPC queue 349765810
deleting IPC queue 349798579
deleting IPC queue 349831348
deleting IPC queue 349864117
deleting IPC queue 349896886
deleting IPC queue 349929655
deleting IPC queue 349962424
deleting IPC queue 349995193
deleting IPC queue 350027962
deleting IPC queue 350060731
deleting IPC queue 350093500
deleting IPC queue 350126269
deleting IPC queue 350159038
deleting IPC queue 350191807
deleting IPC queue 350224576
deleting IPC queue 350257345
deleting IPC queue 350290114
deleting IPC queue 350322883
deleting IPC queue 350355652
deleting IPC queue 350388421
deleting IPC queue 350421190
deleting IPC queue 350453959
deleting IPC queue 350486728
deleting IPC queue 350519497
deleting IPC queue 350552266
deleting IPC queue 350585035
deleting IPC queue 350617804
deleting IPC queue 350650573
deleting IPC queue 350683342
deleting IPC queue 350716111
deleting IPC queue 350748880
deleting IPC queue 350781649
deleting IPC queue 350814418
deleting IPC queue 350847187
deleting IPC queue 350879956
deleting IPC queue 350912725
deleting IPC queue 350945494
deleting IPC queue 350978263
deleting IPC queue 351011032
deleting IPC queue 351043801
deleting IPC queue 351076570
deleting IPC queue 351109339
deleting IPC queue 351142108
deleting IPC queue 351174877
deleting IPC queue 351207646
deleting IPC queue 351240415
deleting IPC queue 351273184
deleting IPC queue 351305953
deleting IPC queue 351338722
deleting IPC queue 351371491
deleting IPC queue 351404260
deleting IPC queue 351437029
deleting IPC queue 351469798
deleting IPC queue 351502567
deleting IPC queue 351535336
deleting IPC queue 351568105
deleting IPC queue 351600874
deleting IPC queue 351633643
deleting IPC queue 351666412
deleting IPC queue 351699181
deleting IPC queue 351731950
deleting IPC queue 351764719
deleting IPC queue 351797488
deleting IPC queue 351830257
deleting IPC queue 351863026
deleting IPC queue 351895795
deleting IPC queue 351928564
deleting IPC queue 351961333
deleting IPC queue 351994102
deleting IPC queue 352026871
deleting IPC queue 352059640
deleting IPC queue 352092409
deleting IPC queue 352125178
deleting IPC queue 352157947
deleting IPC queue 352190716
deleting IPC queue 352223485
deleting IPC queue 352256254
deleting IPC queue 352289023

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9620.69
system time used= 380.568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570214
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= 30376093
involuntary context switches= 14026387

runsolver used 4.04425 second user time and 12.6968 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 18:08:16
IDJOB=1776117
IDBENCH=20423
IDSOLVER=631
FILE ID=xenhost3-49/1776117-1244736496
PBS_JOBID=
Free space on /tmp= 7013 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/palacios/medium/cube-11-h14-sat.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776117-1244736496/watcher-1776117-1244736496 -o /tmp/evaluation-result-1776117-1244736496/solver-1776117-1244736496 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776117-1244736496.cnf 16 10000

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

MD5SUM BENCH= 7cc30e40be8c690e76c3fb158623be61
RANDOM SEED= 566568214

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:      19114996 kB
Buffers:        432260 kB
Cached:       14127800 kB
SwapCached:          0 kB
Active:        4077148 kB
Inactive:     10491684 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           27908 kB
Writeback:           0 kB
AnonPages:        8304 kB
Mapped:           3824 kB
Slab:           688292 kB
SReclaimable:   661388 kB
SUnreclaim:      26904 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= 7013 MiB
End job on xenhost3-49 at 2009-06-11 18:22:35