Trace number 1781427

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) 3728.25 1000.17

General information on the benchmark

Namemanol-pipe-f9n.cnf
MD5SUM61e4a04a828a2cd33ae3f3dde54ef320
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark255.56
Satisfiable
(Un)Satisfiability was proved
Number of variables185149
Number of clauses552412
Sum of the clauses size1288960
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2368274
Number of clauses of size 3184137
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 8.90 5.43 3.84 2/184 13942
/proc/meminfo: memFree=19118448/36427776 swapFree=3816/7856
[pid=13942] ppid=13940 vsize=8156 CPUtime=0
/proc/13942/stat : 13942 (satake) D 13940 13942 27791 0 -1 4202496 419 0 0 0 0 0 0 0 20 0 16 0 645863878 8351744 375 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13942/statm: 2039 376 63 164 0 1874 0
[pid=13942/tid=13943] ppid=13940 vsize=8156 CPUtime=0
/proc/13942/task/13943/stat : 13943 (satake) S 13940 13942 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 16 0 645863879 8351744 407 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13942/tid=13944] ppid=13940 vsize=8156 CPUtime=0
/proc/13942/task/13944/stat : 13944 (satake) D 13940 13942 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 16 0 645863879 8351744 408 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=8156 CPUtime=0
/proc/13942/task/13945/stat : 13945 (satake) R 13940 13942 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 645863879 8351744 410 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=8160 CPUtime=0
/proc/13942/task/13946/stat : 13946 (satake) S 13940 13942 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 645863879 8355840 410 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=8160 CPUtime=0
/proc/13942/task/13947/stat : 13947 (satake) D 13940 13942 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 645863879 8355840 414 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=8160 CPUtime=0
/proc/13942/task/13948/stat : 13948 (satake) R 13940 13942 27791 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 17 0 645863879 8355840 416 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=8160 CPUtime=0
/proc/13942/task/13949/stat : 13949 (satake) R 13940 13942 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 645863879 8355840 416 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=8160 CPUtime=0
/proc/13942/task/13950/stat : 13950 (satake) R 13940 13942 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 645863879 8355840 417 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=8160 CPUtime=0
/proc/13942/task/13951/stat : 13951 (satake) R 13940 13942 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 645863879 8355840 417 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=8160 CPUtime=0
/proc/13942/task/13952/stat : 13952 (satake) S 13940 13942 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 645863879 8355840 418 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=8160 CPUtime=0
/proc/13942/task/13953/stat : 13953 (satake) R 13940 13942 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 645863879 8355840 418 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=8160 CPUtime=0
/proc/13942/task/13954/stat : 13954 (satake) D 13940 13942 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 645863879 8355840 418 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=8160 CPUtime=0
/proc/13942/task/13955/stat : 13955 (satake) D 13940 13942 27791 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 17 0 645863879 8355840 420 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=8292 CPUtime=0
/proc/13942/task/13956/stat : 13956 (satake) D 13940 13942 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 645863879 8491008 420 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=8292 CPUtime=0
/proc/13942/task/13957/stat : 13957 (satake) R 13940 13942 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 645863879 8491008 423 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=8292 CPUtime=0
/proc/13942/task/13958/stat : 13958 (satake) R 13940 13942 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 645863879 8491008 426 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0

[startup+0.085303 s]
/proc/loadavg: 8.90 5.43 3.84 2/184 13942
/proc/meminfo: memFree=19118448/36427776 swapFree=3816/7856
[pid=13942] ppid=13940 vsize=55172 CPUtime=0.46
/proc/13942/stat : 13942 (satake) S 13940 13942 27791 0 -1 4202496 9521 0 0 0 0 46 0 0 20 0 17 0 645863878 56496128 9484 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13942/statm: 13793 9549 63 164 0 13628 0
[pid=13942/tid=13943] ppid=13940 vsize=55172 CPUtime=0
/proc/13942/task/13943/stat : 13943 (satake) S 13940 13942 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645863879 56496128 9581 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13942/tid=13944] ppid=13940 vsize=55172 CPUtime=0.04
/proc/13942/task/13944/stat : 13944 (satake) R 13940 13942 27791 0 -1 4202560 911 0 0 0 0 4 0 0 20 0 17 0 645863879 56496128 9606 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=55172 CPUtime=0.04
/proc/13942/task/13945/stat : 13945 (satake) R 13940 13942 27791 0 -1 4202560 711 0 0 0 0 4 0 0 20 0 17 0 645863879 56496128 9623 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=55172 CPUtime=0
/proc/13942/task/13946/stat : 13946 (satake) R 13940 13942 27791 0 -1 4202560 95 0 0 0 0 0 0 0 20 0 17 0 645863879 56496128 9656 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=55172 CPUtime=0.04
/proc/13942/task/13947/stat : 13947 (satake) R 13940 13942 27791 0 -1 4202560 674 0 0 0 0 4 0 0 20 0 17 0 645863879 56496128 9694 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=55172 CPUtime=0.04
/proc/13942/task/13948/stat : 13948 (satake) R 13940 13942 27791 0 -1 4202560 934 0 0 0 0 4 0 0 20 0 17 0 645863879 56496128 9715 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=55172 CPUtime=0
/proc/13942/task/13949/stat : 13949 (satake) R 13940 13942 27791 0 -1 4202560 277 0 0 0 0 0 0 0 20 0 17 0 645863879 56496128 9741 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=55172 CPUtime=0
/proc/13942/task/13950/stat : 13950 (satake) D 13940 13942 27791 0 -1 4202560 331 0 0 0 0 0 0 0 20 0 17 0 645863879 56496128 9750 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=55172 CPUtime=0.04
/proc/13942/task/13951/stat : 13951 (satake) R 13940 13942 27791 0 -1 4202560 1042 0 0 0 0 4 0 0 20 0 17 0 645863879 56496128 9750 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=55172 CPUtime=0.02
/proc/13942/task/13952/stat : 13952 (satake) D 13940 13942 27791 0 -1 4202560 614 0 0 0 0 2 0 0 20 0 17 0 645863879 56496128 9750 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=55172 CPUtime=0
/proc/13942/task/13953/stat : 13953 (satake) D 13940 13942 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 645863879 56496128 9750 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=55172 CPUtime=0.04
/proc/13942/task/13954/stat : 13954 (satake) D 13940 13942 27791 0 -1 4202560 926 0 0 0 0 4 0 0 20 0 17 0 645863879 56496128 9750 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=55172 CPUtime=0.04
/proc/13942/task/13955/stat : 13955 (satake) D 13940 13942 27791 0 -1 4202560 921 0 0 0 0 4 0 0 20 0 17 0 645863879 56496128 9750 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=55172 CPUtime=0.04
/proc/13942/task/13956/stat : 13956 (satake) D 13940 13942 27791 0 -1 4202560 943 0 0 0 0 4 0 0 20 0 17 0 645863879 56496128 9750 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=55172 CPUtime=0.02
/proc/13942/task/13957/stat : 13957 (satake) D 13940 13942 27791 0 -1 4202560 347 0 0 0 0 2 0 0 20 0 17 0 645863879 56496128 9750 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=55172 CPUtime=0.04
/proc/13942/task/13958/stat : 13958 (satake) D 13940 13942 27791 0 -1 4202560 840 0 0 0 0 4 0 0 20 0 17 0 645863879 56496128 9750 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 55172

[startup+0.105277 s]
/proc/loadavg: 8.90 5.43 3.84 2/184 13942
/proc/meminfo: memFree=19118448/36427776 swapFree=3816/7856
[pid=13942] ppid=13940 vsize=83844 CPUtime=0.65
/proc/13942/stat : 13942 (satake) S 13940 13942 27791 0 -1 4202496 12438 0 0 0 0 65 0 0 20 0 17 0 645863878 85856256 12394 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13942/statm: 21089 12397 63 164 0 20924 0
[pid=13942/tid=13943] ppid=13940 vsize=84356 CPUtime=0
/proc/13942/task/13943/stat : 13943 (satake) S 13940 13942 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645863879 86380544 12398 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13942/tid=13944] ppid=13940 vsize=84356 CPUtime=0.06
/proc/13942/task/13944/stat : 13944 (satake) D 13940 13942 27791 0 -1 4202560 1176 0 0 0 0 6 0 0 20 0 17 0 645863879 86380544 12399 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=84356 CPUtime=0.06
/proc/13942/task/13945/stat : 13945 (satake) R 13940 13942 27791 0 -1 4202560 976 0 0 0 0 6 0 0 20 0 17 0 645863879 86380544 12401 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=84356 CPUtime=0
/proc/13942/task/13946/stat : 13946 (satake) R 13940 13942 27791 0 -1 4202560 148 0 0 0 0 0 0 0 20 0 17 0 645863879 86380544 12401 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=84356 CPUtime=0.04
/proc/13942/task/13947/stat : 13947 (satake) R 13940 13942 27791 0 -1 4202560 951 0 0 0 0 4 0 0 20 0 17 0 645863879 86380544 12403 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=84356 CPUtime=0.06
/proc/13942/task/13948/stat : 13948 (satake) R 13940 13942 27791 0 -1 4202560 1158 0 0 0 0 6 0 0 20 0 17 0 645863879 86380544 12403 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=84356 CPUtime=0
/proc/13942/task/13949/stat : 13949 (satake) R 13940 13942 27791 0 -1 4202560 285 0 0 0 0 0 0 0 20 0 17 0 645863879 86380544 12403 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=84356 CPUtime=0
/proc/13942/task/13950/stat : 13950 (satake) R 13940 13942 27791 0 -1 4202560 338 0 0 0 0 0 0 0 20 0 17 0 645863879 86380544 12403 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=84356 CPUtime=0.06
/proc/13942/task/13951/stat : 13951 (satake) R 13940 13942 27791 0 -1 4202560 1332 0 0 0 0 6 0 0 20 0 17 0 645863879 86380544 12404 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=84356 CPUtime=0.04
/proc/13942/task/13952/stat : 13952 (satake) R 13940 13942 27791 0 -1 4202560 880 0 0 0 0 4 0 0 20 0 17 0 645863879 86380544 12414 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=84356 CPUtime=0
/proc/13942/task/13953/stat : 13953 (satake) R 13940 13942 27791 0 -1 4202560 65 0 0 0 0 0 0 0 20 0 17 0 645863879 86380544 12440 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=84356 CPUtime=0.06
/proc/13942/task/13954/stat : 13954 (satake) R 13940 13942 27791 0 -1 4202560 1198 0 0 0 0 6 0 0 20 0 17 0 645863879 86380544 12455 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=84356 CPUtime=0.06
/proc/13942/task/13955/stat : 13955 (satake) R 13940 13942 27791 0 -1 4202560 1164 0 0 0 0 6 0 0 20 0 17 0 645863879 86380544 12474 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=84356 CPUtime=0.06
/proc/13942/task/13956/stat : 13956 (satake) R 13940 13942 27791 0 -1 4202560 1232 0 0 0 0 6 0 0 20 0 17 0 645863879 86380544 12497 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=84356 CPUtime=0.02
/proc/13942/task/13957/stat : 13957 (satake) R 13940 13942 27791 0 -1 4202560 367 0 0 0 0 2 0 0 20 0 17 0 645863879 86380544 12521 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=84356 CPUtime=0.06
/proc/13942/task/13958/stat : 13958 (satake) R 13940 13942 27791 0 -1 4202560 1094 0 0 0 0 6 0 0 20 0 17 0 645863879 86380544 12546 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 83844

[startup+0.305376 s]
/proc/loadavg: 8.90 5.43 3.84 2/184 13942
/proc/meminfo: memFree=19118448/36427776 swapFree=3816/7856
[pid=13942] ppid=13940 vsize=155844 CPUtime=2.01
/proc/13942/stat : 13942 (satake) S 13940 13942 27791 0 -1 4202496 30666 0 0 0 4 197 0 0 20 0 17 0 645863878 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13942/statm: 38961 30622 63 164 0 38796 0
[pid=13942/tid=13943] ppid=13940 vsize=155844 CPUtime=0
/proc/13942/task/13943/stat : 13943 (satake) S 13940 13942 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13942/tid=13944] ppid=13940 vsize=155844 CPUtime=0.14
/proc/13942/task/13944/stat : 13944 (satake) D 13940 13942 27791 0 -1 4202560 2396 0 0 0 0 14 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=155844 CPUtime=0.14
/proc/13942/task/13945/stat : 13945 (satake) D 13940 13942 27791 0 -1 4202560 2269 0 0 0 0 14 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=155844 CPUtime=0.08
/proc/13942/task/13946/stat : 13946 (satake) D 13940 13942 27791 0 -1 4202560 1258 0 0 0 0 8 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=155844 CPUtime=0.14
/proc/13942/task/13947/stat : 13947 (satake) D 13940 13942 27791 0 -1 4202560 2450 0 0 0 0 14 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=155844 CPUtime=0.12
/proc/13942/task/13948/stat : 13948 (satake) D 13940 13942 27791 0 -1 4202560 1877 0 0 0 0 12 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=155844 CPUtime=0.08
/proc/13942/task/13949/stat : 13949 (satake) D 13940 13942 27791 0 -1 4202560 1172 0 0 0 0 8 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=155844 CPUtime=0.06
/proc/13942/task/13950/stat : 13950 (satake) D 13940 13942 27791 0 -1 4202560 1019 0 0 0 0 6 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=155844 CPUtime=0.2
/proc/13942/task/13951/stat : 13951 (satake) D 13940 13942 27791 0 -1 4202560 2858 0 0 0 2 18 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=155844 CPUtime=0.12
/proc/13942/task/13952/stat : 13952 (satake) R 13940 13942 27791 0 -1 4202560 2067 0 0 0 0 12 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13942/tid=13953] ppid=13940 vsize=155844 CPUtime=0.08
/proc/13942/task/13953/stat : 13953 (satake) D 13940 13942 27791 0 -1 4202560 1353 0 0 0 0 8 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13942/tid=13954] ppid=13940 vsize=155844 CPUtime=0.18
/proc/13942/task/13954/stat : 13954 (satake) D 13940 13942 27791 0 -1 4202560 2638 0 0 0 0 18 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13942/tid=13955] ppid=13940 vsize=155844 CPUtime=0.18
/proc/13942/task/13955/stat : 13955 (satake) D 13940 13942 27791 0 -1 4202560 2495 0 0 0 0 18 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=13942/tid=13956] ppid=13940 vsize=155844 CPUtime=0.18
/proc/13942/task/13956/stat : 13956 (satake) D 13940 13942 27791 0 -1 4202560 2754 0 0 0 0 18 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13942/tid=13957] ppid=13940 vsize=155844 CPUtime=0.08
/proc/13942/task/13957/stat : 13957 (satake) D 13940 13942 27791 0 -1 4202560 1436 0 0 0 0 8 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=13942/tid=13958] ppid=13940 vsize=155844 CPUtime=0.18
/proc/13942/task/13958/stat : 13958 (satake) D 13940 13942 27791 0 -1 4202560 2492 0 0 0 0 18 0 0 20 0 17 0 645863879 159584256 30622 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 155844

[startup+0.707035 s]
/proc/loadavg: 8.90 5.43 3.84 2/184 13942
/proc/meminfo: memFree=19118448/36427776 swapFree=3816/7856
[pid=13942] ppid=13940 vsize=210936 CPUtime=3.84
/proc/13942/stat : 13942 (satake) S 13940 13942 27791 0 -1 4202496 48947 0 0 0 39 345 0 0 20 0 17 0 645863878 215998464 48903 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/13942/statm: 52734 48904 63 164 0 52569 0
[pid=13942/tid=13943] ppid=13940 vsize=210936 CPUtime=0
/proc/13942/task/13943/stat : 13943 (satake) S 13940 13942 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 645863879 215998464 48904 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=13942/tid=13944] ppid=13940 vsize=210936 CPUtime=0.22
/proc/13942/task/13944/stat : 13944 (satake) R 13940 13942 27791 0 -1 4202560 3086 0 0 0 0 22 0 0 20 0 17 0 645863879 215998464 48904 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13942/tid=13945] ppid=13940 vsize=210936 CPUtime=0.24
/proc/13942/task/13945/stat : 13945 (satake) R 13940 13942 27791 0 -1 4202560 3112 0 0 0 0 24 0 0 20 0 17 0 645863879 215998464 48904 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13942/tid=13946] ppid=13940 vsize=210936 CPUtime=0.2
/proc/13942/task/13946/stat : 13946 (satake) R 13940 13942 27791 0 -1 4202560 3076 0 0 0 0 20 0 0 20 0 17 0 645863879 215998464 48905 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13942/tid=13947] ppid=13940 vsize=210936 CPUtime=0.24
/proc/13942/task/13947/stat : 13947 (satake) S 13940 13942 27791 0 -1 4202560 3206 0 0 0 4 20 0 0 20 0 17 0 645863879 215998464 48905 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=13942/tid=13948] ppid=13940 vsize=210936 CPUtime=0.26
/proc/13942/task/13948/stat : 13948 (satake) R 13940 13942 27791 0 -1 4202560 3350 0 0 0 2 24 0 0 20 0 17 0 645863879 215998464 48905 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=13942/tid=13949] ppid=13940 vsize=210936 CPUtime=0.22
/proc/13942/task/13949/stat : 13949 (satake) D 13940 13942 27791 0 -1 4202560 3047 0 0 0 2 20 0 0 20 0 17 0 645863879 215998464 48906 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=13942/tid=13950] ppid=13940 vsize=210936 CPUtime=0.18
/proc/13942/task/13950/stat : 13950 (satake) R 13940 13942 27791 0 -1 4202560 3004 0 0 0 0 18 0 0 20 0 17 0 645863879 215998464 48906 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=13942/tid=13951] ppid=13940 vsize=210936 CPUtime=0.34
/proc/13942/task/13951/stat : 13951 (satake) S 13940 13942 27791 0 -1 4202560 3697 0 0 0 8 26 0 0 20 0 17 0 645863879 215998464 48910 18446744073709551615 134512640 135180984 4292570272 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13942/tid=13952] ppid=13940 vsize=210936 CPUtime=0.22

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

deleting IPC queue 212271182
deleting IPC queue 212303951
deleting IPC queue 212336720
deleting IPC queue 212369489
deleting IPC queue 212402258
deleting IPC queue 212435027
deleting IPC queue 212467796
deleting IPC queue 212500565
deleting IPC queue 212533334
deleting IPC queue 212566103
deleting IPC queue 212598872
deleting IPC queue 212631641
deleting IPC queue 212664410
deleting IPC queue 212697179
deleting IPC queue 212729948
deleting IPC queue 212762717
deleting IPC queue 212795486
deleting IPC queue 212828255
deleting IPC queue 212861024
deleting IPC queue 212893793
deleting IPC queue 212926562
deleting IPC queue 212959331
deleting IPC queue 212992100
deleting IPC queue 213024869
deleting IPC queue 213057638
deleting IPC queue 213090407
deleting IPC queue 213123176
deleting IPC queue 213155945
deleting IPC queue 213188714
deleting IPC queue 213221483
deleting IPC queue 213254252
deleting IPC queue 213287021
deleting IPC queue 213319790
deleting IPC queue 213352559
deleting IPC queue 213385328
deleting IPC queue 213418097
deleting IPC queue 213450866
deleting IPC queue 213483635
deleting IPC queue 213516404
deleting IPC queue 213549173
deleting IPC queue 213581942
deleting IPC queue 213614711
deleting IPC queue 213647480
deleting IPC queue 213680249
deleting IPC queue 213713018
deleting IPC queue 213745787
deleting IPC queue 213778556
deleting IPC queue 213811325
deleting IPC queue 213844094
deleting IPC queue 213876863
deleting IPC queue 213909632
deleting IPC queue 213942401
deleting IPC queue 213975170
deleting IPC queue 214007939
deleting IPC queue 214040708
deleting IPC queue 214073477
deleting IPC queue 214106246
deleting IPC queue 214139015
deleting IPC queue 214171784
deleting IPC queue 214204553
deleting IPC queue 214237322
deleting IPC queue 214270091
deleting IPC queue 214302860
deleting IPC queue 214335629
deleting IPC queue 214368398
deleting IPC queue 214401167
deleting IPC queue 214433936
deleting IPC queue 214466705
deleting IPC queue 214499474
deleting IPC queue 214532243
deleting IPC queue 214565012
deleting IPC queue 214597781
deleting IPC queue 214630550
deleting IPC queue 214663319
deleting IPC queue 214696088
deleting IPC queue 214728857
deleting IPC queue 214761626
deleting IPC queue 214794395
deleting IPC queue 214827164
deleting IPC queue 214859933
deleting IPC queue 214892702
deleting IPC queue 214925471
deleting IPC queue 214958240
deleting IPC queue 214991009
deleting IPC queue 215023778
deleting IPC queue 215056547
deleting IPC queue 215089316
deleting IPC queue 215122085
deleting IPC queue 215154854
deleting IPC queue 215187623
deleting IPC queue 215220392
deleting IPC queue 215253161
deleting IPC queue 215285930
deleting IPC queue 215318699
deleting IPC queue 215351468
deleting IPC queue 215384237
deleting IPC queue 215417006
deleting IPC queue 215449775
deleting IPC queue 215482544
deleting IPC queue 215515313
deleting IPC queue 215548082
deleting IPC queue 215580851
deleting IPC queue 215613620
deleting IPC queue 215646389
deleting IPC queue 215679158
deleting IPC queue 215711927
deleting IPC queue 215744696
deleting IPC queue 215777465
deleting IPC queue 215810234
deleting IPC queue 215843003
deleting IPC queue 215875772
deleting IPC queue 215908541
deleting IPC queue 215941310
deleting IPC queue 215974079
deleting IPC queue 216006848
deleting IPC queue 216039617
deleting IPC queue 216072386
deleting IPC queue 216105155
deleting IPC queue 216137924
deleting IPC queue 216170693
deleting IPC queue 216203462
deleting IPC queue 216236231
deleting IPC queue 216269000
deleting IPC queue 216301769
deleting IPC queue 216334538
deleting IPC queue 216367307
deleting IPC queue 216400076
deleting IPC queue 216432845
deleting IPC queue 216465614
deleting IPC queue 216498383
deleting IPC queue 216531152
deleting IPC queue 216563921
deleting IPC queue 216596690
deleting IPC queue 216629459
deleting IPC queue 216662228
deleting IPC queue 216694997
deleting IPC queue 216727766
deleting IPC queue 216760535
deleting IPC queue 216793304
deleting IPC queue 216826073
deleting IPC queue 216858842
deleting IPC queue 216891611
deleting IPC queue 216924380
deleting IPC queue 216957149
deleting IPC queue 216989918
deleting IPC queue 217022687
deleting IPC queue 217055456
deleting IPC queue 217088225
deleting IPC queue 217120994
deleting IPC queue 217153763
deleting IPC queue 217186532
deleting IPC queue 217219301
deleting IPC queue 217252070
deleting IPC queue 217284839
deleting IPC queue 217317608
deleting IPC queue 217350377
deleting IPC queue 217383146
deleting IPC queue 217415915
deleting IPC queue 217448684
deleting IPC queue 217481453
deleting IPC queue 217514222
deleting IPC queue 217546991
deleting IPC queue 217579760
deleting IPC queue 217612529
deleting IPC queue 217645298
deleting IPC queue 217678067
deleting IPC queue 217710836
deleting IPC queue 217743605
deleting IPC queue 217776374
deleting IPC queue 217809143
deleting IPC queue 217841912
deleting IPC queue 217874681
deleting IPC queue 217907450
deleting IPC queue 217940219
deleting IPC queue 217972988
deleting IPC queue 218005757
deleting IPC queue 218038526
deleting IPC queue 218071295

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3142.01
system time used= 586.241
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348373
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= 53761107
involuntary context switches= 6869538

runsolver used 4.44028 second user time and 12.0008 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 05:59:35
IDJOB=1781427
IDBENCH=71745
IDSOLVER=631
FILE ID=xenhost3-49/1781427-1244865575
PBS_JOBID=
Free space on /tmp= 7018 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT_RACE06/manol-pipe-f9n.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1781427-1244865575/watcher-1781427-1244865575 -o /tmp/evaluation-result-1781427-1244865575/solver-1781427-1244865575 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781427-1244865575.cnf 16 10000

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

MD5SUM BENCH= 61e4a04a828a2cd33ae3f3dde54ef320
RANDOM SEED= 1317808682

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:      19118580 kB
Buffers:        435932 kB
Cached:       14122676 kB
SwapCached:          0 kB
Active:        4081292 kB
Inactive:     10485648 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           10008 kB
Writeback:           0 kB
AnonPages:        7776 kB
Mapped:           3148 kB
Slab:           689720 kB
SReclaimable:   662840 kB
SUnreclaim:      26880 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= 7017 MiB
End job on xenhost3-49 at 2009-06-13 06:16:17