Trace number 1775742

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) 3152.46 1000.12

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-5-17-u.cnf
MD5SUM83ece6745238c422c7e68e5a07fc7f73
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark830.37
Satisfiable
(Un)Satisfiability was proved
Number of variables183464
Number of clauses855717
Sum of the clauses size1974802
Maximum clause length10
Minimum clause length1
Number of clauses of size 115316
Number of clauses of size 2664917
Number of clauses of size 3141084
Number of clauses of size 43820
Number of clauses of size 515280
Number of clauses of size over 515300

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-1775742-1244718425/watcher-1775742-1244718425 -o /tmp/evaluation-result-1775742-1244718425/solver-1775742-1244718425 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775742-1244718425.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: 10.70 9.00 7.53 2/184 28976
/proc/meminfo: memFree=19133396/36427776 swapFree=4320/7728
[pid=28976] ppid=28974 vsize=6716 CPUtime=0
/proc/28976/stat : 28976 (satake) R 28974 28976 27791 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 15 0 631148896 6877184 289 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/28976/statm: 1679 289 63 164 0 1514 0
[pid=28976/tid=28977] ppid=28974 vsize=6716 CPUtime=0
/proc/28976/task/28977/stat : 28977 (satake) S 28974 28976 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 631148896 6877184 292 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28978] ppid=28974 vsize=6716 CPUtime=0
/proc/28976/task/28978/stat : 28978 (satake) R 28974 28976 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 631148896 6877184 295 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28976/tid=28979] ppid=28974 vsize=6716 CPUtime=0
/proc/28976/task/28979/stat : 28979 (satake) R 28974 28976 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 631148896 6877184 297 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28976/tid=28980] ppid=28974 vsize=6716 CPUtime=0
/proc/28976/task/28980/stat : 28980 (satake) R 28974 28976 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 15 0 631148896 6877184 299 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28976/tid=28981] ppid=28974 vsize=6716 CPUtime=0
/proc/28976/task/28981/stat : 28981 (satake) R 28974 28976 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 15 0 631148896 6877184 299 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28982] ppid=28974 vsize=6716 CPUtime=0
/proc/28976/task/28982/stat : 28982 (satake) D 28974 28976 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 15 0 631148896 6877184 301 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28983] ppid=28974 vsize=6716 CPUtime=0
/proc/28976/task/28983/stat : 28983 (satake) S 28974 28976 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 631148896 6877184 301 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=28976/tid=28984] ppid=28974 vsize=6716 CPUtime=0
/proc/28976/task/28984/stat : 28984 (satake) S 28974 28976 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 631148896 6877184 301 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=28976/tid=28985] ppid=28974 vsize=6720 CPUtime=0
/proc/28976/task/28985/stat : 28985 (satake) S 28974 28976 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 16 0 631148896 6881280 301 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=28976/tid=28986] ppid=28974 vsize=6720 CPUtime=0
/proc/28976/task/28986/stat : 28986 (satake) D 28974 28976 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 16 0 631148896 6881280 302 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28976/tid=28987] ppid=28974 vsize=6720 CPUtime=0
/proc/28976/task/28987/stat : 28987 (satake) D 28974 28976 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 16 0 631148896 6881280 305 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28976/tid=28988] ppid=28974 vsize=6720 CPUtime=0
/proc/28976/task/28988/stat : 28988 (satake) R 28974 28976 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 631148896 6881280 306 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28976/tid=28989] ppid=28974 vsize=6720 CPUtime=0
/proc/28976/task/28989/stat : 28989 (satake) R 28974 28976 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 16 0 631148897 6881280 307 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28976/tid=28990] ppid=28974 vsize=6720 CPUtime=0
/proc/28976/task/28990/stat : 28990 (satake) R 28974 28976 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 16 0 631148897 6881280 307 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28976/tid=28991] ppid=28974 vsize=6720 CPUtime=0
/proc/28976/task/28991/stat : 28991 (satake) R 28974 28976 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 16 0 631148897 6881280 307 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.088128 s]
/proc/loadavg: 10.70 9.00 7.53 2/184 28976
/proc/meminfo: memFree=19133396/36427776 swapFree=4320/7728
[pid=28976] ppid=28974 vsize=43188 CPUtime=0.57
/proc/28976/stat : 28976 (satake) S 28974 28976 27791 0 -1 4202496 6878 0 0 0 1 56 0 0 20 0 17 0 631148896 44224512 6832 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/28976/statm: 10797 6832 63 164 0 10632 0
[pid=28976/tid=28977] ppid=28974 vsize=43188 CPUtime=0
/proc/28976/task/28977/stat : 28977 (satake) S 28974 28976 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631148896 44224512 6832 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28978] ppid=28974 vsize=43188 CPUtime=0.04
/proc/28976/task/28978/stat : 28978 (satake) R 28974 28976 27791 0 -1 4202560 496 0 0 0 0 4 0 0 20 0 17 0 631148896 44224512 6834 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28976/tid=28979] ppid=28974 vsize=43188 CPUtime=0.04
/proc/28976/task/28979/stat : 28979 (satake) D 28974 28976 27791 0 -1 4202560 550 0 0 0 0 4 0 0 20 0 17 0 631148896 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28976/tid=28980] ppid=28974 vsize=43188 CPUtime=0.02
/proc/28976/task/28980/stat : 28980 (satake) D 28974 28976 27791 0 -1 4202560 247 0 0 0 0 2 0 0 20 0 17 0 631148896 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28976/tid=28981] ppid=28974 vsize=43188 CPUtime=0.04
/proc/28976/task/28981/stat : 28981 (satake) D 28974 28976 27791 0 -1 4202560 529 0 0 0 0 4 0 0 20 0 17 0 631148896 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28982] ppid=28974 vsize=43188 CPUtime=0
/proc/28976/task/28982/stat : 28982 (satake) D 28974 28976 27791 0 -1 4202560 282 0 0 0 0 0 0 0 20 0 17 0 631148896 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28983] ppid=28974 vsize=43188 CPUtime=0.06
/proc/28976/task/28983/stat : 28983 (satake) D 28974 28976 27791 0 -1 4202560 529 0 0 0 0 6 0 0 20 0 17 0 631148896 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28976/tid=28984] ppid=28974 vsize=43188 CPUtime=0.04
/proc/28976/task/28984/stat : 28984 (satake) D 28974 28976 27791 0 -1 4202560 524 0 0 0 0 4 0 0 20 0 17 0 631148896 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28976/tid=28985] ppid=28974 vsize=43188 CPUtime=0.04
/proc/28976/task/28985/stat : 28985 (satake) D 28974 28976 27791 0 -1 4202560 553 0 0 0 0 4 0 0 20 0 17 0 631148896 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28976/tid=28986] ppid=28974 vsize=43188 CPUtime=0.04
/proc/28976/task/28986/stat : 28986 (satake) R 28974 28976 27791 0 -1 4202560 530 0 0 0 0 4 0 0 20 0 17 0 631148896 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28976/tid=28987] ppid=28974 vsize=43188 CPUtime=0
/proc/28976/task/28987/stat : 28987 (satake) D 28974 28976 27791 0 -1 4202560 132 0 0 0 0 0 0 0 20 0 17 0 631148896 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28976/tid=28988] ppid=28974 vsize=43188 CPUtime=0.06
/proc/28976/task/28988/stat : 28988 (satake) D 28974 28976 27791 0 -1 4202560 619 0 0 0 0 6 0 0 20 0 17 0 631148896 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28976/tid=28989] ppid=28974 vsize=43188 CPUtime=0.04
/proc/28976/task/28989/stat : 28989 (satake) D 28974 28976 27791 0 -1 4202560 487 0 0 0 0 4 0 0 20 0 17 0 631148897 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28976/tid=28990] ppid=28974 vsize=43188 CPUtime=0
/proc/28976/task/28990/stat : 28990 (satake) D 28974 28976 27791 0 -1 4202560 143 0 0 0 0 0 0 0 20 0 17 0 631148897 44224512 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28976/tid=28991] ppid=28974 vsize=47288 CPUtime=0.04
/proc/28976/task/28991/stat : 28991 (satake) D 28974 28976 27791 0 -1 4202560 532 0 0 0 0 4 0 0 20 0 17 0 631148897 48422912 6835 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 43188

[startup+0.114322 s]
/proc/loadavg: 10.70 9.00 7.53 2/184 28976
/proc/meminfo: memFree=19133396/36427776 swapFree=4320/7728
[pid=28976] ppid=28974 vsize=60596 CPUtime=0.87
/proc/28976/stat : 28976 (satake) S 28974 28976 27791 0 -1 4202496 10637 0 0 0 1 86 0 0 20 0 17 0 631148896 62050304 10591 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/28976/statm: 15149 10594 63 164 0 14984 0
[pid=28976/tid=28977] ppid=28974 vsize=60596 CPUtime=0
/proc/28976/task/28977/stat : 28977 (satake) S 28974 28976 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631148896 62050304 10595 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28978] ppid=28974 vsize=60596 CPUtime=0.04
/proc/28976/task/28978/stat : 28978 (satake) R 28974 28976 27791 0 -1 4202560 659 0 0 0 0 4 0 0 20 0 17 0 631148896 62050304 10595 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28976/tid=28979] ppid=28974 vsize=60596 CPUtime=0.06
/proc/28976/task/28979/stat : 28979 (satake) R 28974 28976 27791 0 -1 4202560 806 0 0 0 0 6 0 0 20 0 17 0 631148896 62050304 10595 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28976/tid=28980] ppid=28974 vsize=60596 CPUtime=0.02
/proc/28976/task/28980/stat : 28980 (satake) R 28974 28976 27791 0 -1 4202560 532 0 0 0 0 2 0 0 20 0 17 0 631148896 62050304 10595 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28976/tid=28981] ppid=28974 vsize=60596 CPUtime=0.06
/proc/28976/task/28981/stat : 28981 (satake) R 28974 28976 27791 0 -1 4202560 805 0 0 0 0 6 0 0 20 0 17 0 631148896 62050304 10596 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28982] ppid=28974 vsize=60596 CPUtime=0.02
/proc/28976/task/28982/stat : 28982 (satake) R 28974 28976 27791 0 -1 4202560 497 0 0 0 0 2 0 0 20 0 17 0 631148896 62050304 10596 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28976/tid=28983] ppid=28974 vsize=60596 CPUtime=0.08
/proc/28976/task/28983/stat : 28983 (satake) R 28974 28976 27791 0 -1 4202560 785 0 0 0 0 8 0 0 20 0 17 0 631148896 62050304 10596 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28976/tid=28984] ppid=28974 vsize=60596 CPUtime=0.06
/proc/28976/task/28984/stat : 28984 (satake) R 28974 28976 27791 0 -1 4202560 682 0 0 0 0 6 0 0 20 0 17 0 631148896 62050304 10597 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28976/tid=28985] ppid=28974 vsize=60596 CPUtime=0.08
/proc/28976/task/28985/stat : 28985 (satake) R 28974 28976 27791 0 -1 4202560 908 0 0 0 0 8 0 0 20 0 17 0 631148896 62050304 10598 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28976/tid=28986] ppid=28974 vsize=60596 CPUtime=0.08
/proc/28976/task/28986/stat : 28986 (satake) R 28974 28976 27791 0 -1 4202560 832 0 0 0 0 8 0 0 20 0 17 0 631148896 62050304 10599 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28976/tid=28987] ppid=28974 vsize=60596 CPUtime=0.02
/proc/28976/task/28987/stat : 28987 (satake) R 28974 28976 27791 0 -1 4202560 193 0 0 0 0 2 0 0 20 0 17 0 631148896 62050304 10600 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28976/tid=28988] ppid=28974 vsize=60596 CPUtime=0.08
/proc/28976/task/28988/stat : 28988 (satake) R 28974 28976 27791 0 -1 4202560 976 0 0 0 0 8 0 0 20 0 17 0 631148896 62050304 10602 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28976/tid=28989] ppid=28974 vsize=60596 CPUtime=0.08
/proc/28976/task/28989/stat : 28989 (satake) R 28974 28976 27791 0 -1 4202560 855 0 0 0 0 8 0 0 20 0 17 0 631148897 62050304 10606 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28976/tid=28990] ppid=28974 vsize=60596 CPUtime=0.02
/proc/28976/task/28990/stat : 28990 (satake) R 28974 28976 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 631148897 62050304 10607 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28976/tid=28991] ppid=28974 vsize=60596 CPUtime=0.06
/proc/28976/task/28991/stat : 28991 (satake) R 28974 28976 27791 0 -1 4202560 856 0 0 0 0 6 0 0 20 0 17 0 631148897 62050304 10607 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 60596

[startup+0.303182 s]
/proc/loadavg: 10.70 9.00 7.53 2/184 28976
/proc/meminfo: memFree=19133396/36427776 swapFree=4320/7728
[pid=28976] ppid=28974 vsize=209928 CPUtime=2.81
/proc/28976/stat : 28976 (satake) S 28974 28976 27791 0 -1 4202496 38010 0 0 0 1 280 0 0 20 0 17 0 631148896 214966272 37964 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/28976/statm: 52482 37966 63 164 0 52317 0
[pid=28976/tid=28977] ppid=28974 vsize=209928 CPUtime=0
/proc/28976/task/28977/stat : 28977 (satake) S 28974 28976 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631148896 214966272 37967 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28978] ppid=28974 vsize=209928 CPUtime=0.14
/proc/28976/task/28978/stat : 28978 (satake) R 28974 28976 27791 0 -1 4202560 2098 0 0 0 0 14 0 0 20 0 17 0 631148896 214966272 37968 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28976/tid=28979] ppid=28974 vsize=209928 CPUtime=0.14
/proc/28976/task/28979/stat : 28979 (satake) R 28974 28976 27791 0 -1 4202560 1748 0 0 0 0 14 0 0 20 0 17 0 631148896 214966272 37970 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28976/tid=28980] ppid=28974 vsize=209928 CPUtime=0.1
/proc/28976/task/28980/stat : 28980 (satake) R 28974 28976 27791 0 -1 4202560 1699 0 0 0 0 10 0 0 20 0 17 0 631148896 214966272 37970 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28976/tid=28981] ppid=28974 vsize=209928 CPUtime=0.22
/proc/28976/task/28981/stat : 28981 (satake) R 28974 28976 27791 0 -1 4202560 3112 0 0 0 0 22 0 0 20 0 17 0 631148896 214966272 37970 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28982] ppid=28974 vsize=209928 CPUtime=0.18
/proc/28976/task/28982/stat : 28982 (satake) R 28974 28976 27791 0 -1 4202560 2876 0 0 0 0 18 0 0 20 0 17 0 631148896 214966272 37970 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28976/tid=28983] ppid=28974 vsize=209928 CPUtime=0.24
/proc/28976/task/28983/stat : 28983 (satake) R 28974 28976 27791 0 -1 4202560 2782 0 0 0 0 24 0 0 20 0 17 0 631148896 214966272 37970 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28976/tid=28984] ppid=28974 vsize=209928 CPUtime=0.14
/proc/28976/task/28984/stat : 28984 (satake) R 28974 28976 27791 0 -1 4202560 1866 0 0 0 0 14 0 0 20 0 17 0 631148896 214966272 37971 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28976/tid=28985] ppid=28974 vsize=209928 CPUtime=0.24
/proc/28976/task/28985/stat : 28985 (satake) R 28974 28976 27791 0 -1 4202560 2923 0 0 0 0 24 0 0 20 0 17 0 631148896 214966272 37971 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28976/tid=28986] ppid=28974 vsize=209928 CPUtime=0.24
/proc/28976/task/28986/stat : 28986 (satake) D 28974 28976 27791 0 -1 4202560 3168 0 0 0 0 24 0 0 20 0 17 0 631148896 214966272 37971 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28976/tid=28987] ppid=28974 vsize=209928 CPUtime=0.1
/proc/28976/task/28987/stat : 28987 (satake) D 28974 28976 27791 0 -1 4202560 1308 0 0 0 0 10 0 0 20 0 17 0 631148896 214966272 37973 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28976/tid=28988] ppid=28974 vsize=209928 CPUtime=0.24
/proc/28976/task/28988/stat : 28988 (satake) R 28974 28976 27791 0 -1 4202560 3906 0 0 0 0 24 0 0 20 0 17 0 631148896 214966272 37974 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28976/tid=28989] ppid=28974 vsize=209928 CPUtime=0.24
/proc/28976/task/28989/stat : 28989 (satake) R 28974 28976 27791 0 -1 4202560 3200 0 0 0 0 24 0 0 20 0 17 0 631148897 214966272 37980 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28976/tid=28990] ppid=28974 vsize=209928 CPUtime=0.1
/proc/28976/task/28990/stat : 28990 (satake) R 28974 28976 27791 0 -1 4202560 1064 0 0 0 0 10 0 0 20 0 17 0 631148897 214966272 37981 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28976/tid=28991] ppid=28974 vsize=209928 CPUtime=0.22
/proc/28976/task/28991/stat : 28991 (satake) R 28974 28976 27791 0 -1 4202560 3238 0 0 0 0 22 0 0 20 0 17 0 631148897 214966272 37982 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 209928

[startup+0.704293 s]
/proc/loadavg: 10.70 9.00 7.53 2/184 28976
/proc/meminfo: memFree=19133396/36427776 swapFree=4320/7728
[pid=28976] ppid=28974 vsize=256088 CPUtime=5.96
/proc/28976/stat : 28976 (satake) S 28974 28976 27791 0 -1 4202496 53599 0 0 0 4 592 0 0 20 0 17 0 631148896 262234112 53553 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/28976/statm: 64022 53557 63 164 0 63857 0
[pid=28976/tid=28977] ppid=28974 vsize=256088 CPUtime=0
/proc/28976/task/28977/stat : 28977 (satake) S 28974 28976 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 631148896 262234112 53558 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28978] ppid=28974 vsize=256088 CPUtime=0.3
/proc/28976/task/28978/stat : 28978 (satake) R 28974 28976 27791 0 -1 4202560 3097 0 0 0 0 30 0 0 20 0 17 0 631148896 262234112 53559 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28976/tid=28979] ppid=28974 vsize=256088 CPUtime=0.28
/proc/28976/task/28979/stat : 28979 (satake) R 28974 28976 27791 0 -1 4202560 2710 0 0 0 0 28 0 0 20 0 17 0 631148896 262234112 53560 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28976/tid=28980] ppid=28974 vsize=256088 CPUtime=0.24
/proc/28976/task/28980/stat : 28980 (satake) R 28974 28976 27791 0 -1 4202560 2631 0 0 0 0 24 0 0 20 0 17 0 631148896 262234112 53560 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=28976/tid=28981] ppid=28974 vsize=256088 CPUtime=0.46
/proc/28976/task/28981/stat : 28981 (satake) R 28974 28976 27791 0 -1 4202560 4203 0 0 0 0 46 0 0 20 0 17 0 631148896 262234112 53561 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28976/tid=28982] ppid=28974 vsize=256088 CPUtime=0.44
/proc/28976/task/28982/stat : 28982 (satake) R 28974 28976 27791 0 -1 4202560 4214 0 0 0 0 44 0 0 20 0 17 0 631148896 262234112 53568 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28976/tid=28983] ppid=28974 vsize=256088 CPUtime=0.48
/proc/28976/task/28983/stat : 28983 (satake) S 28974 28976 27791 0 -1 4202560 3884 0 0 0 0 48 0 0 20 0 17 0 631148896 262234112 53573 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
[pid=28976/tid=28984] ppid=28974 vsize=256088 CPUtime=0.3
/proc/28976/task/28984/stat : 28984 (satake) D 28974 28976 27791 0 -1 4202560 2784 0 0 0 0 30 0 0 20 0 17 0 631148896 262234112 53573 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28976/tid=28985] ppid=28974 vsize=256088 CPUtime=0.44
/proc/28976/task/28985/stat : 28985 (satake) D 28974 28976 27791 0 -1 4202560 3865 0 0 0 0 44 0 0 20 0 17 0 631148896 262234112 53573 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28976/tid=28986] ppid=28974 vsize=256088 CPUtime=0.52
/proc/28976/task/28986/stat : 28986 (satake) R 28974 28976 27791 0 -1 4202560 4343 0 0 0 0 52 0 0 20 0 17 0 631148896 262234112 53578 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28976/tid=28987] ppid=28974 vsize=256088 CPUtime=0.26
/proc/28976/task/28987/stat : 28987 (satake) D 28974 28976 27791 0 -1 4202560 2161 0 0 0 0 26 0 0 20 0 17 0 631148896 262234112 53580 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28976/tid=28988] ppid=28974 vsize=256088 CPUtime=0.5
/proc/28976/task/28988/stat : 28988 (satake) R 28974 28976 27791 0 -1 4202560 4802 0 0 0 2 48 0 0 20 0 17 0 631148896 262234112 53581 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28976/tid=28989] ppid=28974 vsize=256088 CPUtime=0.48
/proc/28976/task/28989/stat : 28989 (satake) R 28974 28976 27791 0 -1 4202560 4320 0 0 0 0 48 0 0 20 0 17 0 631148897 262234112 53581 18446744073709551615 134512640 135180984 4288284800 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28976/tid=28990] ppid=28974 vsize=256088 CPUtime=0.24

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

deleting IPC queue 136773710
deleting IPC queue 136806479
deleting IPC queue 136839248
deleting IPC queue 136872017
deleting IPC queue 136904786
deleting IPC queue 136937555
deleting IPC queue 136970324
deleting IPC queue 137003093
deleting IPC queue 137035862
deleting IPC queue 137068631
deleting IPC queue 137101400
deleting IPC queue 137134169
deleting IPC queue 137166938
deleting IPC queue 137199707
deleting IPC queue 137232476
deleting IPC queue 137265245
deleting IPC queue 137298014
deleting IPC queue 137330783
deleting IPC queue 137363552
deleting IPC queue 137396321
deleting IPC queue 137429090
deleting IPC queue 137461859
deleting IPC queue 137494628
deleting IPC queue 137527397
deleting IPC queue 137560166
deleting IPC queue 137592935
deleting IPC queue 137625704
deleting IPC queue 137658473
deleting IPC queue 137691242
deleting IPC queue 137724011
deleting IPC queue 137756780
deleting IPC queue 137789549
deleting IPC queue 137822318
deleting IPC queue 137855087
deleting IPC queue 137887856
deleting IPC queue 137920625
deleting IPC queue 137953394
deleting IPC queue 137986163
deleting IPC queue 138018932
deleting IPC queue 138051701
deleting IPC queue 138084470
deleting IPC queue 138117239
deleting IPC queue 138150008
deleting IPC queue 138182777
deleting IPC queue 138215546
deleting IPC queue 138248315
deleting IPC queue 138281084
deleting IPC queue 138313853
deleting IPC queue 138346622
deleting IPC queue 138379391
deleting IPC queue 138412160
deleting IPC queue 138444929
deleting IPC queue 138477698
deleting IPC queue 138510467
deleting IPC queue 138543236
deleting IPC queue 138576005
deleting IPC queue 138608774
deleting IPC queue 138641543
deleting IPC queue 138674312
deleting IPC queue 138707081
deleting IPC queue 138739850
deleting IPC queue 138772619
deleting IPC queue 138805388
deleting IPC queue 138838157
deleting IPC queue 138870926
deleting IPC queue 138903695
deleting IPC queue 138936464
deleting IPC queue 138969233
deleting IPC queue 139002002
deleting IPC queue 139034771
deleting IPC queue 139067540
deleting IPC queue 139100309
deleting IPC queue 139133078
deleting IPC queue 139165847
deleting IPC queue 139198616
deleting IPC queue 139231385
deleting IPC queue 139264154
deleting IPC queue 139296923
deleting IPC queue 139329692
deleting IPC queue 139362461
deleting IPC queue 139395230
deleting IPC queue 139427999
deleting IPC queue 139460768
deleting IPC queue 139493537
deleting IPC queue 139526306
deleting IPC queue 139559075
deleting IPC queue 139591844
deleting IPC queue 139624613
deleting IPC queue 139657382
deleting IPC queue 139690151
deleting IPC queue 139722920
deleting IPC queue 139755689
deleting IPC queue 139788458
deleting IPC queue 139821227
deleting IPC queue 139853996
deleting IPC queue 139886765
deleting IPC queue 139919534
deleting IPC queue 139952303
deleting IPC queue 139985072
deleting IPC queue 140017841
deleting IPC queue 140050610
deleting IPC queue 140083379
deleting IPC queue 140116148
deleting IPC queue 140148917
deleting IPC queue 140181686
deleting IPC queue 140214455
deleting IPC queue 140247224
deleting IPC queue 140279993
deleting IPC queue 140312762
deleting IPC queue 140345531
deleting IPC queue 140378300
deleting IPC queue 140411069
deleting IPC queue 140443838
deleting IPC queue 140476607
deleting IPC queue 140509376
deleting IPC queue 140542145
deleting IPC queue 140574914
deleting IPC queue 140607683
deleting IPC queue 140640452
deleting IPC queue 140673221
deleting IPC queue 140705990
deleting IPC queue 140738759
deleting IPC queue 140771528
deleting IPC queue 140804297
deleting IPC queue 140837066
deleting IPC queue 140869835
deleting IPC queue 140902604
deleting IPC queue 140935373
deleting IPC queue 140968142
deleting IPC queue 141000911
deleting IPC queue 141033680
deleting IPC queue 141066449
deleting IPC queue 141099218
deleting IPC queue 141131987
deleting IPC queue 141164756
deleting IPC queue 141197525
deleting IPC queue 141230294
deleting IPC queue 141263063
deleting IPC queue 141295832
deleting IPC queue 141328601
deleting IPC queue 141361370
deleting IPC queue 141394139
deleting IPC queue 141426908
deleting IPC queue 141459677
deleting IPC queue 141492446
deleting IPC queue 141525215
deleting IPC queue 141557984
deleting IPC queue 141590753
deleting IPC queue 141623522
deleting IPC queue 141656291
deleting IPC queue 141689060
deleting IPC queue 141721829
deleting IPC queue 141754598
deleting IPC queue 141787367
deleting IPC queue 141820136
deleting IPC queue 141852905
deleting IPC queue 141885674
deleting IPC queue 141918443
deleting IPC queue 141951212
deleting IPC queue 141983981
deleting IPC queue 142016750
deleting IPC queue 142049519
deleting IPC queue 142082288
deleting IPC queue 142115057
deleting IPC queue 142147826
deleting IPC queue 142180595
deleting IPC queue 142213364
deleting IPC queue 142246133
deleting IPC queue 142278902
deleting IPC queue 142311671
deleting IPC queue 142344440
deleting IPC queue 142377209
deleting IPC queue 142409978
deleting IPC queue 142442747
deleting IPC queue 142475516
deleting IPC queue 142508285
deleting IPC queue 142541054
deleting IPC queue 142573823

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2455.28
system time used= 697.18
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276977
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= 58324859
involuntary context switches= 6829369

runsolver used 4.39227 second user time and 11.3327 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 13:07:05
IDJOB=1775742
IDBENCH=20379
IDSOLVER=631
FILE ID=xenhost3-49/1775742-1244718425
PBS_JOBID=
Free space on /tmp= 7026 MiB

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

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

MD5SUM BENCH= 83ece6745238c422c7e68e5a07fc7f73
RANDOM SEED= 1846767344

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:      19133396 kB
Buffers:        432012 kB
Cached:       14114664 kB
SwapCached:          0 kB
Active:        4076976 kB
Inactive:     10478092 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           15944 kB
Writeback:           0 kB
AnonPages:        7728 kB
Mapped:           3656 kB
Slab:           687396 kB
SReclaimable:   660688 kB
SUnreclaim:      26708 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7026 MiB
End job on xenhost3-49 at 2009-06-11 13:23:48