Trace number 1780602

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) 5331.81 832.436

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-5p1.cnf
MD5SUM10eca282b9263f77903cd90a479b46ee
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1730.76
Satisfiable
(Un)Satisfiability was proved
Number of variables225926
Number of clauses1207249
Sum of the clauses size2914329
Maximum clause length10
Minimum clause length1
Number of clauses of size 111403
Number of clauses of size 2854772
Number of clauses of size 3284354
Number of clauses of size 46300
Number of clauses of size 525200
Number of clauses of size over 525220

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-1780602-1244833740/watcher-1780602-1244833740 -o /tmp/evaluation-result-1780602-1244833740/solver-1780602-1244833740 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780602-1244833740.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: 14.22 11.39 9.74 2/184 10379
/proc/meminfo: memFree=19107300/36427776 swapFree=4840/8028
[pid=10379] ppid=10377 vsize=7468 CPUtime=0
/proc/10379/stat : 10379 (satake) R 10377 10379 27791 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 15 0 642680420 7647232 556 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134568552 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10379/statm: 1867 556 63 164 0 1702 0
[pid=10379/tid=10380] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10380/stat : 10380 (satake) S 10377 10379 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 592 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10381] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10381/stat : 10381 (satake) R 10377 10379 27791 0 -1 4202560 93 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 594 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10379/tid=10382] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10382/stat : 10382 (satake) R 10377 10379 27791 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 595 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10379/tid=10383] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10383/stat : 10383 (satake) R 10377 10379 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 596 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10384] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10384/stat : 10384 (satake) R 10377 10379 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 596 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10379/tid=10385] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10385/stat : 10385 (satake) R 10377 10379 27791 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 596 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10386] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10386/stat : 10386 (satake) R 10377 10379 27791 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 596 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10379/tid=10387] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10387/stat : 10387 (satake) R 10377 10379 27791 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 596 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10379/tid=10388] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10388/stat : 10388 (satake) R 10377 10379 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 596 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10379/tid=10389] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10389/stat : 10389 (satake) S 10377 10379 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 596 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=10379/tid=10390] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10390/stat : 10390 (satake) R 10377 10379 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 596 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10379/tid=10391] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10391/stat : 10391 (satake) R 10377 10379 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 596 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10379/tid=10392] ppid=10377 vsize=9784 CPUtime=0
/proc/10379/task/10392/stat : 10392 (satake) D 10377 10379 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 642680421 10018816 600 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10379/tid=10393] ppid=10377 vsize=9768 CPUtime=0
/proc/10379/task/10393/stat : 10393 (satake) R 10377 10379 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 642680422 10002432 600 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.109458 s]
/proc/loadavg: 14.22 11.39 9.74 2/184 10379
/proc/meminfo: memFree=19107300/36427776 swapFree=4840/8028
[pid=10379] ppid=10377 vsize=81112 CPUtime=0.68
/proc/10379/stat : 10379 (satake) S 10377 10379 27791 0 -1 4202496 12424 0 0 0 1 67 0 0 20 0 17 0 642680420 83058688 12371 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10379/statm: 20278 12418 63 164 0 20113 0
[pid=10379/tid=10380] ppid=10377 vsize=81112 CPUtime=0
/proc/10379/task/10380/stat : 10380 (satake) S 10377 10379 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642680421 83058688 12429 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10381] ppid=10377 vsize=81112 CPUtime=0.06
/proc/10379/task/10381/stat : 10381 (satake) R 10377 10379 27791 0 -1 4202560 1322 0 0 0 0 6 0 0 20 0 17 0 642680421 83058688 12449 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10379/tid=10382] ppid=10377 vsize=81112 CPUtime=0.04
/proc/10379/task/10382/stat : 10382 (satake) R 10377 10379 27791 0 -1 4202560 818 0 0 0 0 4 0 0 20 0 17 0 642680421 83058688 12474 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10379/tid=10383] ppid=10377 vsize=81112 CPUtime=0.02
/proc/10379/task/10383/stat : 10383 (satake) R 10377 10379 27791 0 -1 4202560 464 0 0 0 0 2 0 0 20 0 17 0 642680421 83058688 12493 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10384] ppid=10377 vsize=81112 CPUtime=0.06
/proc/10379/task/10384/stat : 10384 (satake) R 10377 10379 27791 0 -1 4202560 1265 0 0 0 0 6 0 0 20 0 17 0 642680421 83058688 12524 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10379/tid=10385] ppid=10377 vsize=81112 CPUtime=0.04
/proc/10379/task/10385/stat : 10385 (satake) R 10377 10379 27791 0 -1 4202560 894 0 0 0 0 4 0 0 20 0 17 0 642680421 83058688 12539 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10386] ppid=10377 vsize=81112 CPUtime=0.02
/proc/10379/task/10386/stat : 10386 (satake) R 10377 10379 27791 0 -1 4202560 413 0 0 0 0 2 0 0 20 0 17 0 642680421 83058688 12561 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10379/tid=10387] ppid=10377 vsize=81112 CPUtime=0.02
/proc/10379/task/10387/stat : 10387 (satake) R 10377 10379 27791 0 -1 4202560 474 0 0 0 0 2 0 0 20 0 17 0 642680421 83058688 12576 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10379/tid=10388] ppid=10377 vsize=81112 CPUtime=0.04
/proc/10379/task/10388/stat : 10388 (satake) R 10377 10379 27791 0 -1 4202560 801 0 0 0 0 4 0 0 20 0 17 0 642680421 83058688 12604 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10379/tid=10389] ppid=10377 vsize=81112 CPUtime=0.06
/proc/10379/task/10389/stat : 10389 (satake) R 10377 10379 27791 0 -1 4202560 1115 0 0 0 0 6 0 0 20 0 17 0 642680421 83058688 12625 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10379/tid=10390] ppid=10377 vsize=81112 CPUtime=0.06
/proc/10379/task/10390/stat : 10390 (satake) R 10377 10379 27791 0 -1 4202560 914 0 0 0 0 6 0 0 20 0 17 0 642680421 83058688 12645 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10379/tid=10391] ppid=10377 vsize=81112 CPUtime=0.02
/proc/10379/task/10391/stat : 10391 (satake) R 10377 10379 27791 0 -1 4202560 328 0 0 0 0 2 0 0 20 0 17 0 642680421 83058688 12663 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10379/tid=10392] ppid=10377 vsize=81112 CPUtime=0.06
/proc/10379/task/10392/stat : 10392 (satake) R 10377 10379 27791 0 -1 4202560 1148 0 0 0 0 6 0 0 20 0 17 0 642680421 83058688 12695 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10379/tid=10393] ppid=10377 vsize=81112 CPUtime=0.06
/proc/10379/task/10393/stat : 10393 (satake) R 10377 10379 27791 0 -1 4202560 1277 0 0 0 0 6 0 0 20 0 17 0 642680422 83058688 12714 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 81112

[startup+0.218671 s]
/proc/loadavg: 14.22 11.39 9.74 2/184 10379
/proc/meminfo: memFree=19107300/36427776 swapFree=4840/8028
[pid=10379] ppid=10377 vsize=182488 CPUtime=1.77
/proc/10379/stat : 10379 (satake) S 10377 10379 27791 0 -1 4202496 33262 0 0 0 1 176 0 0 20 0 17 0 642680420 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10379/statm: 45622 33203 63 164 0 45457 0
[pid=10379/tid=10380] ppid=10377 vsize=182488 CPUtime=0
/proc/10379/task/10380/stat : 10380 (satake) S 10377 10379 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10381] ppid=10377 vsize=182488 CPUtime=0.16
/proc/10379/task/10381/stat : 10381 (satake) D 10377 10379 27791 0 -1 4202560 3502 0 0 0 0 16 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10379/tid=10382] ppid=10377 vsize=182488 CPUtime=0.12
/proc/10379/task/10382/stat : 10382 (satake) D 10377 10379 27791 0 -1 4202560 1893 0 0 0 0 12 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10379/tid=10383] ppid=10377 vsize=182488 CPUtime=0.1
/proc/10379/task/10383/stat : 10383 (satake) D 10377 10379 27791 0 -1 4202560 1947 0 0 0 0 10 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10379/tid=10384] ppid=10377 vsize=182488 CPUtime=0.16
/proc/10379/task/10384/stat : 10384 (satake) D 10377 10379 27791 0 -1 4202560 3184 0 0 0 0 16 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10379/tid=10385] ppid=10377 vsize=182488 CPUtime=0.14
/proc/10379/task/10385/stat : 10385 (satake) D 10377 10379 27791 0 -1 4202560 2883 0 0 0 0 14 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10386] ppid=10377 vsize=182488 CPUtime=0.08
/proc/10379/task/10386/stat : 10386 (satake) D 10377 10379 27791 0 -1 4202560 1235 0 0 0 0 8 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10379/tid=10387] ppid=10377 vsize=182488 CPUtime=0.06
/proc/10379/task/10387/stat : 10387 (satake) D 10377 10379 27791 0 -1 4202560 1031 0 0 0 0 6 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10379/tid=10388] ppid=10377 vsize=182488 CPUtime=0.1
/proc/10379/task/10388/stat : 10388 (satake) D 10377 10379 27791 0 -1 4202560 1607 0 0 0 0 10 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10379/tid=10389] ppid=10377 vsize=182488 CPUtime=0.16
/proc/10379/task/10389/stat : 10389 (satake) D 10377 10379 27791 0 -1 4202560 2816 0 0 0 0 16 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10379/tid=10390] ppid=10377 vsize=182488 CPUtime=0.1
/proc/10379/task/10390/stat : 10390 (satake) R 10377 10379 27791 0 -1 4202560 2066 0 0 0 0 10 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10379/tid=10391] ppid=10377 vsize=182488 CPUtime=0.06
/proc/10379/task/10391/stat : 10391 (satake) D 10377 10379 27791 0 -1 4202560 1124 0 0 0 0 6 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10379/tid=10392] ppid=10377 vsize=182488 CPUtime=0.16
/proc/10379/task/10392/stat : 10392 (satake) D 10377 10379 27791 0 -1 4202560 2801 0 0 0 0 16 0 0 20 0 17 0 642680421 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10379/tid=10393] ppid=10377 vsize=182488 CPUtime=0.16
/proc/10379/task/10393/stat : 10393 (satake) D 10377 10379 27791 0 -1 4202560 3516 0 0 0 0 16 0 0 20 0 17 0 642680422 186867712 33203 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 182488

[startup+0.301424 s]
/proc/loadavg: 14.22 11.39 9.74 2/184 10379
/proc/meminfo: memFree=19107300/36427776 swapFree=4840/8028
[pid=10379] ppid=10377 vsize=334040 CPUtime=2.51
/proc/10379/stat : 10379 (satake) S 10377 10379 27791 0 -1 4202496 49421 0 0 0 1 250 0 0 20 0 17 0 642680420 342056960 49362 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10379/statm: 83510 49366 63 164 0 83345 0
[pid=10379/tid=10380] ppid=10377 vsize=334040 CPUtime=0
/proc/10379/task/10380/stat : 10380 (satake) S 10377 10379 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642680421 342056960 49369 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10381] ppid=10377 vsize=334040 CPUtime=0.22
/proc/10379/task/10381/stat : 10381 (satake) R 10377 10379 27791 0 -1 4202560 5215 0 0 0 0 22 0 0 20 0 17 0 642680421 342056960 49369 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10379/tid=10382] ppid=10377 vsize=334040 CPUtime=0.14
/proc/10379/task/10382/stat : 10382 (satake) R 10377 10379 27791 0 -1 4202560 2317 0 0 0 0 14 0 0 20 0 17 0 642680421 342056960 49370 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10379/tid=10383] ppid=10377 vsize=334040 CPUtime=0.18
/proc/10379/task/10383/stat : 10383 (satake) R 10377 10379 27791 0 -1 4202560 3431 0 0 0 0 18 0 0 20 0 17 0 642680421 342056960 49370 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10379/tid=10384] ppid=10377 vsize=334040 CPUtime=0.24
/proc/10379/task/10384/stat : 10384 (satake) R 10377 10379 27791 0 -1 4202560 4663 0 0 0 0 24 0 0 20 0 17 0 642680421 342056960 49371 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10379/tid=10385] ppid=10377 vsize=334040 CPUtime=0.2
/proc/10379/task/10385/stat : 10385 (satake) R 10377 10379 27791 0 -1 4202560 4335 0 0 0 0 20 0 0 20 0 17 0 642680421 342056960 49373 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10386] ppid=10377 vsize=334040 CPUtime=0.1
/proc/10379/task/10386/stat : 10386 (satake) R 10377 10379 27791 0 -1 4202560 1999 0 0 0 0 10 0 0 20 0 17 0 642680421 342056960 49375 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10379/tid=10387] ppid=10377 vsize=334040 CPUtime=0.1
/proc/10379/task/10387/stat : 10387 (satake) R 10377 10379 27791 0 -1 4202560 1858 0 0 0 0 10 0 0 20 0 17 0 642680421 342056960 49378 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10379/tid=10388] ppid=10377 vsize=334040 CPUtime=0.12
/proc/10379/task/10388/stat : 10388 (satake) R 10377 10379 27791 0 -1 4202560 2080 0 0 0 0 12 0 0 20 0 17 0 642680421 342056960 49378 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10379/tid=10389] ppid=10377 vsize=334040 CPUtime=0.24
/proc/10379/task/10389/stat : 10389 (satake) R 10377 10379 27791 0 -1 4202560 4135 0 0 0 0 24 0 0 20 0 17 0 642680421 342056960 49379 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10379/tid=10390] ppid=10377 vsize=334040 CPUtime=0.14
/proc/10379/task/10390/stat : 10390 (satake) R 10377 10379 27791 0 -1 4202560 2615 0 0 0 0 14 0 0 20 0 17 0 642680421 342056960 49382 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10379/tid=10391] ppid=10377 vsize=334040 CPUtime=0.1
/proc/10379/task/10391/stat : 10391 (satake) R 10377 10379 27791 0 -1 4202560 2095 0 0 0 0 10 0 0 20 0 17 0 642680421 342056960 49383 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10379/tid=10392] ppid=10377 vsize=334040 CPUtime=0.24
/proc/10379/task/10392/stat : 10392 (satake) R 10377 10379 27791 0 -1 4202560 4120 0 0 0 0 24 0 0 20 0 17 0 642680421 342056960 49395 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10379/tid=10393] ppid=10377 vsize=334040 CPUtime=0.22
/proc/10379/task/10393/stat : 10393 (satake) R 10377 10379 27791 0 -1 4202560 5169 0 0 0 0 22 0 0 20 0 17 0 642680422 342056960 49422 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 334040

[startup+0.705036 s]
/proc/loadavg: 14.22 11.39 9.74 2/184 10379
/proc/meminfo: memFree=19107300/36427776 swapFree=4840/8028
[pid=10379] ppid=10377 vsize=342288 CPUtime=5.71
/proc/10379/stat : 10379 (satake) S 10377 10379 27791 0 -1 4202496 71184 0 0 0 1 570 0 0 20 0 17 0 642680420 350502912 71125 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10379/statm: 85572 71126 63 164 0 85407 0
[pid=10379/tid=10380] ppid=10377 vsize=342288 CPUtime=0
/proc/10379/task/10380/stat : 10380 (satake) S 10377 10379 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 642680421 350502912 71126 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10381] ppid=10377 vsize=342288 CPUtime=0.5
/proc/10379/task/10381/stat : 10381 (satake) D 10377 10379 27791 0 -1 4202560 6999 0 0 0 0 50 0 0 20 0 17 0 642680421 350502912 71126 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=10379/tid=10382] ppid=10377 vsize=342288 CPUtime=0.3
/proc/10379/task/10382/stat : 10382 (satake) R 10377 10379 27791 0 -1 4202560 3294 0 0 0 0 30 0 0 20 0 17 0 642680421 350502912 71128 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10379/tid=10383] ppid=10377 vsize=342288 CPUtime=0.44
/proc/10379/task/10383/stat : 10383 (satake) R 10377 10379 27791 0 -1 4202560 5413 0 0 0 0 44 0 0 20 0 17 0 642680421 350502912 71128 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=10379/tid=10384] ppid=10377 vsize=342288 CPUtime=0.52
/proc/10379/task/10384/stat : 10384 (satake) R 10377 10379 27791 0 -1 4202560 6480 0 0 0 0 52 0 0 20 0 17 0 642680421 350502912 71129 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134522268 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=10379/tid=10385] ppid=10377 vsize=342288 CPUtime=0.48
/proc/10379/task/10385/stat : 10385 (satake) D 10377 10379 27791 0 -1 4202560 6100 0 0 0 0 48 0 0 20 0 17 0 642680421 350502912 71130 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=10379/tid=10386] ppid=10377 vsize=342288 CPUtime=0.28
/proc/10379/task/10386/stat : 10386 (satake) R 10377 10379 27791 0 -1 4202560 2924 0 0 0 0 28 0 0 20 0 17 0 642680421 350502912 71130 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10379/tid=10387] ppid=10377 vsize=342288 CPUtime=0.26
/proc/10379/task/10387/stat : 10387 (satake) D 10377 10379 27791 0 -1 4202560 3247 0 0 0 0 26 0 0 20 0 17 0 642680421 350502912 71130 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=10379/tid=10388] ppid=10377 vsize=342288 CPUtime=0.28
/proc/10379/task/10388/stat : 10388 (satake) D 10377 10379 27791 0 -1 4202560 3315 0 0 0 0 28 0 0 20 0 17 0 642680421 350502912 71130 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=10379/tid=10389] ppid=10377 vsize=342288 CPUtime=0.5
/proc/10379/task/10389/stat : 10389 (satake) D 10377 10379 27791 0 -1 4202560 5867 0 0 0 0 50 0 0 20 0 17 0 642680421 350502912 71130 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=10379/tid=10390] ppid=10377 vsize=342288 CPUtime=0.3
/proc/10379/task/10390/stat : 10390 (satake) D 10377 10379 27791 0 -1 4202560 3725 0 0 0 0 30 0 0 20 0 17 0 642680421 350502912 71133 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10379/tid=10391] ppid=10377 vsize=342288 CPUtime=0.26
/proc/10379/task/10391/stat : 10391 (satake) R 10377 10379 27791 0 -1 4202560 3417 0 0 0 0 26 0 0 20 0 17 0 642680421 350502912 71137 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=10379/tid=10392] ppid=10377 vsize=342288 CPUtime=0.5
/proc/10379/task/10392/stat : 10392 (satake) D 10377 10379 27791 0 -1 4202560 5905 0 0 0 0 50 0 0 20 0 17 0 642680421 350502912 71137 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=10379/tid=10393] ppid=10377 vsize=342288 CPUtime=0.52
/proc/10379/task/10393/stat : 10393 (satake) R 10377 10379 27791 0 -1 4202560 6745 0 0 0 0 52 0 0 20 0 17 0 642680422 350502912 71139 18446744073709551615 134512640 135180984 4288811264 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 342288

[startup+1.50698 s]
/proc/loadavg: 14.22 11.39 9.74 3/201 10396
/proc/meminfo: memFree=18784816/36427776 swapFree=4248/332944
[pid=10379] ppid=10377 vsize=491956 CPUtime=11.83

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

deleting IPC queue 1898381390
deleting IPC queue 1898414159
deleting IPC queue 1898446928
deleting IPC queue 1898479697
deleting IPC queue 1898512466
deleting IPC queue 1898545235
deleting IPC queue 1898578004
deleting IPC queue 1898610773
deleting IPC queue 1898643542
deleting IPC queue 1898676311
deleting IPC queue 1898709080
deleting IPC queue 1898741849
deleting IPC queue 1898774618
deleting IPC queue 1898807387
deleting IPC queue 1898840156
deleting IPC queue 1898872925
deleting IPC queue 1898905694
deleting IPC queue 1898938463
deleting IPC queue 1898971232
deleting IPC queue 1899004001
deleting IPC queue 1899036770
deleting IPC queue 1899069539
deleting IPC queue 1899102308
deleting IPC queue 1899135077
deleting IPC queue 1899167846
deleting IPC queue 1899200615
deleting IPC queue 1899233384
deleting IPC queue 1899266153
deleting IPC queue 1899298922
deleting IPC queue 1899331691
deleting IPC queue 1899364460
deleting IPC queue 1899397229
deleting IPC queue 1899429998
deleting IPC queue 1899462767
deleting IPC queue 1899495536
deleting IPC queue 1899528305
deleting IPC queue 1899561074
deleting IPC queue 1899593843
deleting IPC queue 1899626612
deleting IPC queue 1899659381
deleting IPC queue 1899692150
deleting IPC queue 1899724919
deleting IPC queue 1899757688
deleting IPC queue 1899790457
deleting IPC queue 1899823226
deleting IPC queue 1899855995
deleting IPC queue 1899888764
deleting IPC queue 1899921533
deleting IPC queue 1899954302
deleting IPC queue 1899987071
deleting IPC queue 1900019840
deleting IPC queue 1900052609
deleting IPC queue 1900085378
deleting IPC queue 1900118147
deleting IPC queue 1900150916
deleting IPC queue 1900183685
deleting IPC queue 1900216454
deleting IPC queue 1900249223
deleting IPC queue 1900281992
deleting IPC queue 1900314761
deleting IPC queue 1900347530
deleting IPC queue 1900380299
deleting IPC queue 1900413068
deleting IPC queue 1900445837
deleting IPC queue 1900478606
deleting IPC queue 1900511375
deleting IPC queue 1900544144
deleting IPC queue 1900576913
deleting IPC queue 1900609682
deleting IPC queue 1900642451
deleting IPC queue 1900675220
deleting IPC queue 1900707989
deleting IPC queue 1900740758
deleting IPC queue 1900773527
deleting IPC queue 1900806296
deleting IPC queue 1900839065
deleting IPC queue 1900871834
deleting IPC queue 1900904603
deleting IPC queue 1900937372
deleting IPC queue 1900970141
deleting IPC queue 1901002910
deleting IPC queue 1901035679
deleting IPC queue 1901068448
deleting IPC queue 1901101217
deleting IPC queue 1901133986
deleting IPC queue 1901166755
deleting IPC queue 1901199524
deleting IPC queue 1901232293
deleting IPC queue 1901265062
deleting IPC queue 1901297831
deleting IPC queue 1901330600
deleting IPC queue 1901363369
deleting IPC queue 1901396138
deleting IPC queue 1901428907
deleting IPC queue 1901461676
deleting IPC queue 1901494445
deleting IPC queue 1901527214
deleting IPC queue 1901559983
deleting IPC queue 1901592752
deleting IPC queue 1901625521
deleting IPC queue 1901658290
deleting IPC queue 1901691059
deleting IPC queue 1901723828
deleting IPC queue 1901756597
deleting IPC queue 1901789366
deleting IPC queue 1901822135
deleting IPC queue 1901854904
deleting IPC queue 1901887673
deleting IPC queue 1901920442
deleting IPC queue 1901953211
deleting IPC queue 1901985980
deleting IPC queue 1902018749
deleting IPC queue 1902051518
deleting IPC queue 1902084287
deleting IPC queue 1902117056
deleting IPC queue 1902149825
deleting IPC queue 1902182594
deleting IPC queue 1902215363
deleting IPC queue 1902248132
deleting IPC queue 1902280901
deleting IPC queue 1902313670
deleting IPC queue 1902346439
deleting IPC queue 1902379208
deleting IPC queue 1902411977
deleting IPC queue 1902444746
deleting IPC queue 1902477515
deleting IPC queue 1902510284
deleting IPC queue 1902543053
deleting IPC queue 1902575822
deleting IPC queue 1902608591
deleting IPC queue 1902641360
deleting IPC queue 1902674129
deleting IPC queue 1902706898
deleting IPC queue 1902739667
deleting IPC queue 1902772436
deleting IPC queue 1902805205
deleting IPC queue 1902837974
deleting IPC queue 1902870743
deleting IPC queue 1902903512
deleting IPC queue 1902936281
deleting IPC queue 1902969050
deleting IPC queue 1903001819
deleting IPC queue 1903034588
deleting IPC queue 1903067357
deleting IPC queue 1903100126
deleting IPC queue 1903132895
deleting IPC queue 1903165664
deleting IPC queue 1903198433
deleting IPC queue 1903231202
deleting IPC queue 1903263971
deleting IPC queue 1903296740
deleting IPC queue 1903329509
deleting IPC queue 1903362278
deleting IPC queue 1903395047
deleting IPC queue 1903427816
deleting IPC queue 1903460585
deleting IPC queue 1903493354
deleting IPC queue 1903526123
deleting IPC queue 1903558892
deleting IPC queue 1903591661
deleting IPC queue 1903624430
deleting IPC queue 1903657199
deleting IPC queue 1903689968
deleting IPC queue 1903722737
deleting IPC queue 1903755506
deleting IPC queue 1903788275
deleting IPC queue 1903821044
deleting IPC queue 1903853813
deleting IPC queue 1903886582
deleting IPC queue 1903919351
deleting IPC queue 1903952120
deleting IPC queue 1903984889
deleting IPC queue 1904017658
deleting IPC queue 1904050427
deleting IPC queue 1904083196
deleting IPC queue 1904115965
deleting IPC queue 1904148734
deleting IPC queue 1904181503

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4884.57
system time used= 447.24
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592317
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= 39046796
involuntary context switches= 4015893

runsolver used 3.88024 second user time and 10.6407 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 21:09:00
IDJOB=1780602
IDBENCH=71034
IDSOLVER=631
FILE ID=xenhost3-49/1780602-1244833740
PBS_JOBID=
Free space on /tmp= 7007 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-5p1.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780602-1244833740/watcher-1780602-1244833740 -o /tmp/evaluation-result-1780602-1244833740/solver-1780602-1244833740 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780602-1244833740.cnf 16 10000

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

MD5SUM BENCH= 10eca282b9263f77903cd90a479b46ee
RANDOM SEED= 899765745

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:      19107300 kB
Buffers:        435432 kB
Cached:       14134136 kB
SwapCached:          0 kB
Active:        4080984 kB
Inactive:     10497136 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           23304 kB
Writeback:           0 kB
AnonPages:        8028 kB
Mapped:           4176 kB
Slab:           689896 kB
SReclaimable:   663012 kB
SUnreclaim:      26884 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7007 MiB
End job on xenhost3-49 at 2009-06-12 21:22:55