Trace number 1775547

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)? (MO) 4597.78 530.354

General information on the benchmark

Nameindustrial/anbulagan/
hard-sat/partial-5-17-s.cnf
MD5SUMcd6cb5ea01688ce5beec6e625055ac90
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1026.24
Satisfiable
(Un)Satisfiability was proved
Number of variables252328
Number of clauses1189896
Sum of the clauses size2752826
Maximum clause length10
Minimum clause length1
Number of clauses of size 118837
Number of clauses of size 2919648
Number of clauses of size 3204591
Number of clauses of size 45200
Number of clauses of size 520800
Number of clauses of size over 520820

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-1775547-1244710229/watcher-1775547-1244710229 -o /tmp/evaluation-result-1775547-1244710229/solver-1775547-1244710229 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775547-1244710229.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: 4.28 6.04 4.78 2/184 28074
/proc/meminfo: memFree=19123536/36427776 swapFree=3848/7868
[pid=28074] ppid=28072 vsize=7276 CPUtime=0
/proc/28074/stat : 28074 (satake) S 28072 28074 27791 0 -1 4202496 459 0 0 0 0 0 0 0 20 0 17 0 630329361 7450624 415 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28074/statm: 1819 416 63 164 0 1654 0
[pid=28074/tid=28075] ppid=28072 vsize=7276 CPUtime=0
/proc/28074/task/28075/stat : 28075 (satake) S 28072 28074 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 630329361 7450624 419 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28076] ppid=28072 vsize=7276 CPUtime=0
/proc/28074/task/28076/stat : 28076 (satake) R 28072 28074 27791 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 17 0 630329361 7450624 420 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28074/tid=28077] ppid=28072 vsize=7280 CPUtime=0
/proc/28074/task/28077/stat : 28077 (satake) D 28072 28074 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 630329361 7454720 420 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28074/tid=28078] ppid=28072 vsize=7280 CPUtime=0
/proc/28074/task/28078/stat : 28078 (satake) S 28072 28074 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630329361 7454720 421 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=28074/tid=28079] ppid=28072 vsize=7280 CPUtime=0
/proc/28074/task/28079/stat : 28079 (satake) R 28072 28074 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 630329361 7454720 422 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28074/tid=28080] ppid=28072 vsize=7280 CPUtime=0
/proc/28074/task/28080/stat : 28080 (satake) R 28072 28074 27791 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 17 0 630329361 7454720 423 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28074/tid=28081] ppid=28072 vsize=7280 CPUtime=0
/proc/28074/task/28081/stat : 28081 (satake) R 28072 28074 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 630329361 7454720 426 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28074/tid=28082] ppid=28072 vsize=7280 CPUtime=0
/proc/28074/task/28082/stat : 28082 (satake) S 28072 28074 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630329361 7454720 427 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=28074/tid=28083] ppid=28072 vsize=7280 CPUtime=0
/proc/28074/task/28083/stat : 28083 (satake) D 28072 28074 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 630329361 7454720 433 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28074/tid=28084] ppid=28072 vsize=7280 CPUtime=0
/proc/28074/task/28084/stat : 28084 (satake) S 28072 28074 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 630329362 7454720 434 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=28074/tid=28085] ppid=28072 vsize=7280 CPUtime=0
/proc/28074/task/28085/stat : 28085 (satake) D 28072 28074 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 630329362 7454720 434 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28074/tid=28086] ppid=28072 vsize=7408 CPUtime=0
/proc/28074/task/28086/stat : 28086 (satake) D 28072 28074 27791 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 17 0 630329362 7585792 434 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28074/tid=28087] ppid=28072 vsize=7408 CPUtime=0
/proc/28074/task/28087/stat : 28087 (satake) R 28072 28074 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 630329362 7585792 439 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28088] ppid=28072 vsize=7408 CPUtime=0
/proc/28074/task/28088/stat : 28088 (satake) R 28072 28074 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 630329362 7585792 439 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28074/tid=28089] ppid=28072 vsize=7408 CPUtime=0
/proc/28074/task/28089/stat : 28089 (satake) D 28072 28074 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 630329362 7585792 442 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28090] ppid=28072 vsize=7540 CPUtime=0
/proc/28074/task/28090/stat : 28090 (satake) D 28072 28074 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 630329362 7720960 442 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.038851 s]
/proc/loadavg: 4.28 6.04 4.78 2/184 28074
/proc/meminfo: memFree=19123536/36427776 swapFree=3848/7868
[pid=28074] ppid=28072 vsize=30360 CPUtime=0.09
/proc/28074/stat : 28074 (satake) S 28072 28074 27791 0 -1 4202496 4648 0 0 0 2 7 0 0 20 0 17 0 630329361 31088640 4604 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28074/statm: 7622 4609 63 164 0 7457 0
[pid=28074/tid=28075] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28075/stat : 28075 (satake) S 28072 28074 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 630329361 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28076] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28076/stat : 28076 (satake) D 28072 28074 27791 0 -1 4202560 540 0 0 0 0 0 0 0 20 0 17 0 630329361 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28074/tid=28077] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28077/stat : 28077 (satake) D 28072 28074 27791 0 -1 4202560 502 0 0 0 0 0 0 0 20 0 17 0 630329361 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28074/tid=28078] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28078/stat : 28078 (satake) R 28072 28074 27791 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 17 0 630329361 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28074/tid=28079] ppid=28072 vsize=30488 CPUtime=0.02
/proc/28074/task/28079/stat : 28079 (satake) D 28072 28074 27791 0 -1 4202560 571 0 0 0 0 2 0 0 20 0 17 0 630329361 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28074/tid=28080] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28080/stat : 28080 (satake) D 28072 28074 27791 0 -1 4202560 531 0 0 0 0 0 0 0 20 0 17 0 630329361 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28074/tid=28081] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28081/stat : 28081 (satake) D 28072 28074 27791 0 -1 4202560 495 0 0 0 0 0 0 0 20 0 17 0 630329361 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28074/tid=28082] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28082/stat : 28082 (satake) D 28072 28074 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 630329361 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28074/tid=28083] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28083/stat : 28083 (satake) R 28072 28074 27791 0 -1 4202560 530 0 0 0 0 0 0 0 20 0 17 0 630329361 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28074/tid=28084] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28084/stat : 28084 (satake) D 28072 28074 27791 0 -1 4202560 512 0 0 0 0 0 0 0 20 0 17 0 630329362 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28074/tid=28085] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28085/stat : 28085 (satake) D 28072 28074 27791 0 -1 4202560 102 0 0 0 0 0 0 0 20 0 17 0 630329362 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28074/tid=28086] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28086/stat : 28086 (satake) D 28072 28074 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 630329362 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28074/tid=28087] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28087/stat : 28087 (satake) D 28072 28074 27791 0 -1 4202560 478 0 0 0 0 0 0 0 20 0 17 0 630329362 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28088] ppid=28072 vsize=30488 CPUtime=0
/proc/28074/task/28088/stat : 28088 (satake) R 28072 28074 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 630329362 31219712 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28074/tid=28089] ppid=28072 vsize=32536 CPUtime=0
/proc/28074/task/28089/stat : 28089 (satake) D 28072 28074 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 630329362 33316864 4610 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28090] ppid=28072 vsize=32536 CPUtime=0
/proc/28074/task/28090/stat : 28090 (satake) D 28072 28074 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 630329362 33316864 4614 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30360

[startup+0.106867 s]
/proc/loadavg: 4.28 6.04 4.78 2/184 28074
/proc/meminfo: memFree=19123536/36427776 swapFree=3848/7868
[pid=28074] ppid=28072 vsize=141080 CPUtime=0.51
/proc/28074/stat : 28074 (satake) S 28072 28074 27791 0 -1 4202496 19066 0 0 0 4 47 0 0 20 0 17 0 630329361 144465920 19026 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28074/statm: 35526 19027 63 164 0 35361 0
[pid=28074/tid=28075] ppid=28072 vsize=142104 CPUtime=0
/proc/28074/task/28075/stat : 28075 (satake) S 28072 28074 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 630329361 145514496 19028 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28076] ppid=28072 vsize=142104 CPUtime=0.04
/proc/28074/task/28076/stat : 28076 (satake) R 28072 28074 27791 0 -1 4202560 2103 0 0 0 0 4 0 0 20 0 17 0 630329361 145514496 19029 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28074/tid=28077] ppid=28072 vsize=142104 CPUtime=0.06
/proc/28074/task/28077/stat : 28077 (satake) R 28072 28074 27791 0 -1 4202560 2181 0 0 0 0 6 0 0 20 0 17 0 630329361 145514496 19031 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28074/tid=28078] ppid=28072 vsize=142104 CPUtime=0
/proc/28074/task/28078/stat : 28078 (satake) R 28072 28074 27791 0 -1 4202560 138 0 0 0 0 0 0 0 20 0 17 0 630329361 145514496 19032 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28074/tid=28079] ppid=28072 vsize=142104 CPUtime=0.04
/proc/28074/task/28079/stat : 28079 (satake) R 28072 28074 27791 0 -1 4202560 2147 0 0 0 0 4 0 0 20 0 17 0 630329361 145514496 19033 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28074/tid=28080] ppid=28072 vsize=142104 CPUtime=0.06
/proc/28074/task/28080/stat : 28080 (satake) R 28072 28074 27791 0 -1 4202560 2181 0 0 0 0 6 0 0 20 0 17 0 630329361 145514496 19035 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28074/tid=28081] ppid=28072 vsize=142104 CPUtime=0.06
/proc/28074/task/28081/stat : 28081 (satake) R 28072 28074 27791 0 -1 4202560 2245 0 0 0 0 6 0 0 20 0 17 0 630329361 145514496 19037 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28074/tid=28082] ppid=28072 vsize=142104 CPUtime=0
/proc/28074/task/28082/stat : 28082 (satake) R 28072 28074 27791 0 -1 4202560 177 0 0 0 0 0 0 0 20 0 17 0 630329361 145514496 19041 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28074/tid=28083] ppid=28072 vsize=142104 CPUtime=0.06
/proc/28074/task/28083/stat : 28083 (satake) R 28072 28074 27791 0 -1 4202560 2234 0 0 0 0 6 0 0 20 0 17 0 630329361 145514496 19041 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28074/tid=28084] ppid=28072 vsize=142104 CPUtime=0.04
/proc/28074/task/28084/stat : 28084 (satake) R 28072 28074 27791 0 -1 4202560 2088 0 0 0 0 4 0 0 20 0 17 0 630329362 145514496 19041 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28074/tid=28085] ppid=28072 vsize=142104 CPUtime=0
/proc/28074/task/28085/stat : 28085 (satake) R 28072 28074 27791 0 -1 4202560 338 0 0 0 0 0 0 0 20 0 17 0 630329362 145514496 19043 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28074/tid=28086] ppid=28072 vsize=142104 CPUtime=0
/proc/28074/task/28086/stat : 28086 (satake) R 28072 28074 27791 0 -1 4202560 276 0 0 0 0 0 0 0 20 0 17 0 630329362 145514496 19044 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28074/tid=28087] ppid=28072 vsize=142104 CPUtime=0.04
/proc/28074/task/28087/stat : 28087 (satake) R 28072 28074 27791 0 -1 4202560 1709 0 0 0 0 4 0 0 20 0 17 0 630329362 145514496 19048 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28088] ppid=28072 vsize=142104 CPUtime=0
/proc/28074/task/28088/stat : 28088 (satake) R 28072 28074 27791 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 17 0 630329362 145514496 19048 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28074/tid=28089] ppid=28072 vsize=142104 CPUtime=0.02
/proc/28074/task/28089/stat : 28089 (satake) R 28072 28074 27791 0 -1 4202560 610 0 0 0 0 2 0 0 20 0 17 0 630329362 145514496 19049 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28090] ppid=28072 vsize=142104 CPUtime=0
/proc/28074/task/28090/stat : 28090 (satake) R 28072 28074 27791 0 -1 4202560 334 0 0 0 0 0 0 0 20 0 17 0 630329362 145514496 19054 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 141080

[startup+0.302824 s]
/proc/loadavg: 4.28 6.04 4.78 2/184 28074
/proc/meminfo: memFree=19123536/36427776 swapFree=3848/7868
[pid=28074] ppid=28072 vsize=359036 CPUtime=1.74
/proc/28074/stat : 28074 (satake) S 28072 28074 27791 0 -1 4202496 56796 0 0 0 4 170 0 0 20 0 17 0 630329361 367652864 56752 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28074/statm: 89759 56790 63 164 0 89594 0
[pid=28074/tid=28075] ppid=28072 vsize=359036 CPUtime=0
/proc/28074/task/28075/stat : 28075 (satake) S 28072 28074 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 630329361 367652864 56806 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28076] ppid=28072 vsize=359036 CPUtime=0.12
/proc/28074/task/28076/stat : 28076 (satake) D 28072 28074 27791 0 -1 4202560 3963 0 0 0 0 12 0 0 20 0 17 0 630329361 367652864 56809 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28074/tid=28077] ppid=28072 vsize=359036 CPUtime=0.12
/proc/28074/task/28077/stat : 28077 (satake) D 28072 28074 27791 0 -1 4202560 4164 0 0 0 0 12 0 0 20 0 17 0 630329361 367652864 56809 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28074/tid=28078] ppid=28072 vsize=359036 CPUtime=0.08
/proc/28074/task/28078/stat : 28078 (satake) D 28072 28074 27791 0 -1 4202560 3002 0 0 0 0 8 0 0 20 0 17 0 630329361 367652864 56815 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28074/tid=28079] ppid=28072 vsize=359036 CPUtime=0.12
/proc/28074/task/28079/stat : 28079 (satake) R 28072 28074 27791 0 -1 4202560 4169 0 0 0 0 12 0 0 20 0 17 0 630329361 367652864 56816 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28074/tid=28080] ppid=28072 vsize=359036 CPUtime=0.14
/proc/28074/task/28080/stat : 28080 (satake) R 28072 28074 27791 0 -1 4202560 4609 0 0 0 0 14 0 0 20 0 17 0 630329361 367652864 56816 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28074/tid=28081] ppid=28072 vsize=359036 CPUtime=0.2
/proc/28074/task/28081/stat : 28081 (satake) R 28072 28074 27791 0 -1 4202560 6171 0 0 0 0 20 0 0 20 0 17 0 630329361 367652864 56816 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28074/tid=28082] ppid=28072 vsize=359036 CPUtime=0.08
/proc/28074/task/28082/stat : 28082 (satake) R 28072 28074 27791 0 -1 4202560 2402 0 0 0 0 8 0 0 20 0 17 0 630329361 367652864 56816 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28074/tid=28083] ppid=28072 vsize=359036 CPUtime=0.12
/proc/28074/task/28083/stat : 28083 (satake) R 28072 28074 27791 0 -1 4202560 4807 0 0 0 0 12 0 0 20 0 17 0 630329361 367652864 56820 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28074/tid=28084] ppid=28072 vsize=359036 CPUtime=0.12
/proc/28074/task/28084/stat : 28084 (satake) R 28072 28074 27791 0 -1 4202560 5123 0 0 0 0 12 0 0 20 0 17 0 630329362 367652864 56823 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28074/tid=28085] ppid=28072 vsize=359036 CPUtime=0.1
/proc/28074/task/28085/stat : 28085 (satake) R 28072 28074 27791 0 -1 4202560 3358 0 0 0 0 10 0 0 20 0 17 0 630329362 367652864 56823 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28074/tid=28086] ppid=28072 vsize=359036 CPUtime=0.08
/proc/28074/task/28086/stat : 28086 (satake) R 28072 28074 27791 0 -1 4202560 3063 0 0 0 0 8 0 0 20 0 17 0 630329362 367652864 56824 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28074/tid=28087] ppid=28072 vsize=359036 CPUtime=0.12
/proc/28074/task/28087/stat : 28087 (satake) R 28072 28074 27791 0 -1 4202560 4218 0 0 0 0 12 0 0 20 0 17 0 630329362 367652864 56831 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28088] ppid=28072 vsize=359036 CPUtime=0.08
/proc/28074/task/28088/stat : 28088 (satake) R 28072 28074 27791 0 -1 4202560 2474 0 0 0 0 8 0 0 20 0 17 0 630329362 367652864 56832 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28074/tid=28089] ppid=28072 vsize=359036 CPUtime=0.08
/proc/28074/task/28089/stat : 28089 (satake) D 28072 28074 27791 0 -1 4202560 2839 0 0 0 0 8 0 0 20 0 17 0 630329362 367652864 56835 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28090] ppid=28072 vsize=359036 CPUtime=0.08
/proc/28074/task/28090/stat : 28090 (satake) R 28072 28074 27791 0 -1 4202560 2368 0 0 0 0 8 0 0 20 0 17 0 630329362 367652864 56835 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 359036

[startup+0.701177 s]
/proc/loadavg: 4.28 6.04 4.78 2/184 28074
/proc/meminfo: memFree=19123536/36427776 swapFree=3848/7868
[pid=28074] ppid=28072 vsize=416552 CPUtime=4.01
/proc/28074/stat : 28074 (satake) S 28072 28074 27791 0 -1 4202496 79353 0 0 0 4 397 0 0 20 0 17 0 630329361 426549248 79309 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/28074/statm: 104138 79309 63 164 0 103973 0
[pid=28074/tid=28075] ppid=28072 vsize=416552 CPUtime=0
/proc/28074/task/28075/stat : 28075 (satake) S 28072 28074 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 630329361 426549248 79309 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=28074/tid=28076] ppid=28072 vsize=416552 CPUtime=0.26
/proc/28074/task/28076/stat : 28076 (satake) D 28072 28074 27791 0 -1 4202560 5470 0 0 0 0 26 0 0 20 0 17 0 630329361 426549248 79309 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28074/tid=28077] ppid=28072 vsize=416552 CPUtime=0.32
/proc/28074/task/28077/stat : 28077 (satake) D 28072 28074 27791 0 -1 4202560 6074 0 0 0 0 32 0 0 20 0 17 0 630329361 426549248 79309 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28074/tid=28078] ppid=28072 vsize=416552 CPUtime=0.22
/proc/28074/task/28078/stat : 28078 (satake) D 28072 28074 27791 0 -1 4202560 4624 0 0 0 0 22 0 0 20 0 17 0 630329361 426549248 79309 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28074/tid=28079] ppid=28072 vsize=416552 CPUtime=0.26
/proc/28074/task/28079/stat : 28079 (satake) D 28072 28074 27791 0 -1 4202560 5689 0 0 0 0 26 0 0 20 0 17 0 630329361 426549248 79309 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28074/tid=28080] ppid=28072 vsize=416552 CPUtime=0.24
/proc/28074/task/28080/stat : 28080 (satake) R 28072 28074 27791 0 -1 4202560 5633 0 0 0 0 24 0 0 20 0 17 0 630329361 426549248 79309 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=28074/tid=28081] ppid=28072 vsize=416552 CPUtime=0.4
/proc/28074/task/28081/stat : 28081 (satake) D 28072 28074 27791 0 -1 4202560 6797 0 0 0 0 40 0 0 20 0 17 0 630329361 426549248 79309 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134520025 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=28074/tid=28082] ppid=28072 vsize=416552 CPUtime=0.28
/proc/28074/task/28082/stat : 28082 (satake) D 28072 28074 27791 0 -1 4202560 4484 0 0 0 0 28 0 0 20 0 17 0 630329361 426549248 79309 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28074/tid=28083] ppid=28072 vsize=416552 CPUtime=0.26
/proc/28074/task/28083/stat : 28083 (satake) D 28072 28074 27791 0 -1 4202560 6023 0 0 0 0 26 0 0 20 0 17 0 630329361 426549248 79309 18446744073709551615 134512640 135180984 4291603376 18446744073709551615 134522209 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28074/tid=28084] ppid=28072 vsize=416552 CPUtime=0.26

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

deleting IPC queue 27721806
deleting IPC queue 27754575
deleting IPC queue 27787344
deleting IPC queue 27820113
deleting IPC queue 27852882
deleting IPC queue 27885651
deleting IPC queue 27918420
deleting IPC queue 27951189
deleting IPC queue 27983958
deleting IPC queue 28016727
deleting IPC queue 28049496
deleting IPC queue 28082265
deleting IPC queue 28115034
deleting IPC queue 28147803
deleting IPC queue 28180572
deleting IPC queue 28213341
deleting IPC queue 28246110
deleting IPC queue 28278879
deleting IPC queue 28311648
deleting IPC queue 28344417
deleting IPC queue 28377186
deleting IPC queue 28409955
deleting IPC queue 28442724
deleting IPC queue 28475493
deleting IPC queue 28508262
deleting IPC queue 28541031
deleting IPC queue 28573800
deleting IPC queue 28606569
deleting IPC queue 28639338
deleting IPC queue 28672107
deleting IPC queue 28704876
deleting IPC queue 28737645
deleting IPC queue 28770414
deleting IPC queue 28803183
deleting IPC queue 28835952
deleting IPC queue 28868721
deleting IPC queue 28901490
deleting IPC queue 28934259
deleting IPC queue 28967028
deleting IPC queue 28999797
deleting IPC queue 29032566
deleting IPC queue 29065335
deleting IPC queue 29098104
deleting IPC queue 29130873
deleting IPC queue 29163642
deleting IPC queue 29196411
deleting IPC queue 29229180
deleting IPC queue 29261949
deleting IPC queue 29294718
deleting IPC queue 29327487
deleting IPC queue 29360256
deleting IPC queue 29393025
deleting IPC queue 29425794
deleting IPC queue 29458563
deleting IPC queue 29491332
deleting IPC queue 29524101
deleting IPC queue 29556870
deleting IPC queue 29589639
deleting IPC queue 29622408
deleting IPC queue 29655177
deleting IPC queue 29687946
deleting IPC queue 29720715
deleting IPC queue 29753484
deleting IPC queue 29786253
deleting IPC queue 29819022
deleting IPC queue 29851791
deleting IPC queue 29884560
deleting IPC queue 29917329
deleting IPC queue 29950098
deleting IPC queue 29982867
deleting IPC queue 30015636
deleting IPC queue 30048405
deleting IPC queue 30081174
deleting IPC queue 30113943
deleting IPC queue 30146712
deleting IPC queue 30179481
deleting IPC queue 30212250
deleting IPC queue 30245019
deleting IPC queue 30277788
deleting IPC queue 30310557
deleting IPC queue 30343326
deleting IPC queue 30376095
deleting IPC queue 30408864
deleting IPC queue 30441633
deleting IPC queue 30474402
deleting IPC queue 30507171
deleting IPC queue 30539940
deleting IPC queue 30572709
deleting IPC queue 30605478
deleting IPC queue 30638247
deleting IPC queue 30671016
deleting IPC queue 30703785
deleting IPC queue 30736554
deleting IPC queue 30769323
deleting IPC queue 30802092
deleting IPC queue 30834861
deleting IPC queue 30867630
deleting IPC queue 30900399
deleting IPC queue 30933168
deleting IPC queue 30965937
deleting IPC queue 30998706
deleting IPC queue 31031475
deleting IPC queue 31064244
deleting IPC queue 31097013
deleting IPC queue 31129782
deleting IPC queue 31162551
deleting IPC queue 31195320
deleting IPC queue 31228089
deleting IPC queue 31260858
deleting IPC queue 31293627
deleting IPC queue 31326396
deleting IPC queue 31359165
deleting IPC queue 31391934
deleting IPC queue 31424703
deleting IPC queue 31457472
deleting IPC queue 31490241
deleting IPC queue 31523010
deleting IPC queue 31555779
deleting IPC queue 31588548
deleting IPC queue 31621317
deleting IPC queue 31654086
deleting IPC queue 31686855
deleting IPC queue 31719624
deleting IPC queue 31752393
deleting IPC queue 31785162
deleting IPC queue 31817931
deleting IPC queue 31850700
deleting IPC queue 31883469
deleting IPC queue 31916238
deleting IPC queue 31949007
deleting IPC queue 31981776
deleting IPC queue 32014545
deleting IPC queue 32047314
deleting IPC queue 32080083
deleting IPC queue 32112852
deleting IPC queue 32145621
deleting IPC queue 32178390
deleting IPC queue 32211159
deleting IPC queue 32243928
deleting IPC queue 32276697
deleting IPC queue 32309466
deleting IPC queue 32342235
deleting IPC queue 32375004
deleting IPC queue 32407773
deleting IPC queue 32440542
deleting IPC queue 32473311
deleting IPC queue 32506080
deleting IPC queue 32538849
deleting IPC queue 32571618
deleting IPC queue 32604387
deleting IPC queue 32637156
deleting IPC queue 32669925
deleting IPC queue 32702694
deleting IPC queue 32735463
deleting IPC queue 32768232
deleting IPC queue 32801001
deleting IPC queue 32833770
deleting IPC queue 32866539
deleting IPC queue 32899308
deleting IPC queue 32932077
deleting IPC queue 32964846
deleting IPC queue 32997615
deleting IPC queue 33030384
deleting IPC queue 33063153
deleting IPC queue 33095922
deleting IPC queue 33128691
deleting IPC queue 33161460
deleting IPC queue 33194229
deleting IPC queue 33226998
deleting IPC queue 33259767
deleting IPC queue 33292536
deleting IPC queue 33325305
deleting IPC queue 33358074
deleting IPC queue 33390843
deleting IPC queue 33423612
deleting IPC queue 33456381
deleting IPC queue 33489150
deleting IPC queue 33521919

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4320.79
system time used= 276.997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595956
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= 22982919
involuntary context switches= 8301861

runsolver used 2.38815 second user time and 7.04044 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 10:50:29
IDJOB=1775547
IDBENCH=20348
IDSOLVER=631
FILE ID=xenhost3-49/1775547-1244710229
PBS_JOBID=
Free space on /tmp= 7020 MiB

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

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

MD5SUM BENCH= cd6cb5ea01688ce5beec6e625055ac90
RANDOM SEED= 689792216

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:      19123536 kB
Buffers:        431836 kB
Cached:       14120452 kB
SwapCached:          0 kB
Active:        4076912 kB
Inactive:     10483756 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           22164 kB
Writeback:           0 kB
AnonPages:        7868 kB
Mapped:           3848 kB
Slab:           688020 kB
SReclaimable:   661128 kB
SUnreclaim:      26892 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7020 MiB
End job on xenhost3-49 at 2009-06-11 10:59:22