Trace number 1781292

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
satake 2009-03-22 (16 threads)? (TO) 2324.96 1000.16

General information on the benchmark

Namemanol-pipe-c7nidw.cnf
MD5SUMcddc29f8f256e39e02d9b418f68e802c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark146.21
Satisfiable
(Un)Satisfiability was proved
Number of variables169072
Number of clauses501421
Sum of the clauses size1169981
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2334280
Number of clauses of size 3167140
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data


Verifier Data 

sh: BIN/SAT-verifier: No such file or directory

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1781292-1244861446/watcher-1781292-1244861446 -o /tmp/evaluation-result-1781292-1244861446/solver-1781292-1244861446 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781292-1244861446.cnf 16 10000 

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


[startup+0 s]
/proc/loadavg: 3.06 3.04 3.79 2/184 13384
/proc/meminfo: memFree=19119944/36427776 swapFree=3020/7044
[pid=13384] ppid=13382 vsize=7596 CPUtime=0
/proc/13384/stat : 13384 (satake) S 13382 13384 27791 0 -1 4202496 502 0 0 0 0 0 0 0 20 0 17 0 645451027 7778304 457 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13384/statm: 1899 460 63 164 0 1734 0
[pid=13384/tid=13385] ppid=13382 vsize=7852 CPUtime=0
/proc/13384/task/13385/stat : 13385 (satake) S 13382 13384 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 645451027 8040448 528 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13386] ppid=13382 vsize=7852 CPUtime=0
/proc/13384/task/13386/stat : 13386 (satake) R 13382 13384 27791 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 17 0 645451027 8040448 534 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13384/tid=13387] ppid=13382 vsize=7852 CPUtime=0
/proc/13384/task/13387/stat : 13387 (satake) R 13382 13384 27791 0 -1 4202560 54 0 0 0 0 0 0 0 20 0 17 0 645451027 8040448 552 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13384/tid=13388] ppid=13382 vsize=7852 CPUtime=0
/proc/13384/task/13388/stat : 13388 (satake) D 13382 13384 27791 0 -1 4202560 61 0 0 0 0 0 0 0 20 0 17 0 645451027 8040448 564 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13384/tid=13389] ppid=13382 vsize=7984 CPUtime=0
/proc/13384/task/13389/stat : 13389 (satake) D 13382 13384 27791 0 -1 4202560 37 0 0 0 0 0 0 0 20 0 17 0 645451027 8175616 565 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13384/tid=13390] ppid=13382 vsize=7984 CPUtime=0
/proc/13384/task/13390/stat : 13390 (satake) D 13382 13384 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 645451027 8175616 567 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13384/tid=13391] ppid=13382 vsize=7984 CPUtime=0
/proc/13384/task/13391/stat : 13391 (satake) D 13382 13384 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 645451027 8175616 568 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13384/tid=13392] ppid=13382 vsize=8112 CPUtime=0
/proc/13384/task/13392/stat : 13392 (satake) D 13382 13384 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 645451027 8306688 568 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13384/tid=13393] ppid=13382 vsize=8112 CPUtime=0
/proc/13384/task/13393/stat : 13393 (satake) S 13382 13384 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 645451027 8306688 569 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=13384/tid=13394] ppid=13382 vsize=8244 CPUtime=0
/proc/13384/task/13394/stat : 13394 (satake) R 13382 13384 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 645451027 8441856 571 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13384/tid=13395] ppid=13382 vsize=8244 CPUtime=0
/proc/13384/task/13395/stat : 13395 (satake) R 13382 13384 27791 0 -1 4202560 25 0 0 0 0 0 0 0 20 0 17 0 645451027 8441856 574 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13384/tid=13396] ppid=13382 vsize=8244 CPUtime=0
/proc/13384/task/13396/stat : 13396 (satake) R 13382 13384 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 645451027 8441856 576 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13384/tid=13397] ppid=13382 vsize=8244 CPUtime=0
/proc/13384/task/13397/stat : 13397 (satake) S 13382 13384 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 645451027 8441856 579 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13398] ppid=13382 vsize=8244 CPUtime=0
/proc/13384/task/13398/stat : 13398 (satake) S 13382 13384 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 645451027 8441856 600 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13399] ppid=13382 vsize=8244 CPUtime=0
/proc/13384/task/13399/stat : 13399 (satake) R 13382 13384 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 645451027 8441856 620 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13384/tid=13400] ppid=13382 vsize=8244 CPUtime=0
/proc/13384/task/13400/stat : 13400 (satake) R 13382 13384 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 645451028 8441856 638 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 14 0 0 0 0 0

[startup+0.07017 s]
/proc/loadavg: 3.06 3.04 3.79 2/184 13384
/proc/meminfo: memFree=19119944/36427776 swapFree=3020/7044
[pid=13384] ppid=13382 vsize=69064 CPUtime=0.34
/proc/13384/stat : 13384 (satake) S 13382 13384 27791 0 -1 4202496 10136 0 0 0 0 34 0 0 20 0 17 0 645451027 70721536 10096 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13384/statm: 17266 10152 63 164 0 17101 0
[pid=13384/tid=13385] ppid=13382 vsize=69064 CPUtime=0
/proc/13384/task/13385/stat : 13385 (satake) S 13382 13384 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 645451027 70721536 10178 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13386] ppid=13382 vsize=69064 CPUtime=0.02
/proc/13384/task/13386/stat : 13386 (satake) R 13382 13384 27791 0 -1 4202560 463 0 0 0 0 2 0 0 20 0 17 0 645451027 70721536 10202 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13384/tid=13387] ppid=13382 vsize=69064 CPUtime=0.04
/proc/13384/task/13387/stat : 13387 (satake) R 13382 13384 27791 0 -1 4202560 1155 0 0 0 0 4 0 0 20 0 17 0 645451027 70721536 10221 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13384/tid=13388] ppid=13382 vsize=69064 CPUtime=0.04
/proc/13384/task/13388/stat : 13388 (satake) R 13382 13384 27791 0 -1 4202560 1012 0 0 0 0 4 0 0 20 0 17 0 645451027 70721536 10247 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13384/tid=13389] ppid=13382 vsize=69064 CPUtime=0.04
/proc/13384/task/13389/stat : 13389 (satake) R 13382 13384 27791 0 -1 4202560 818 0 0 0 0 4 0 0 20 0 17 0 645451027 70721536 10278 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13384/tid=13390] ppid=13382 vsize=69064 CPUtime=0.04
/proc/13384/task/13390/stat : 13390 (satake) R 13382 13384 27791 0 -1 4202560 1113 0 0 0 0 4 0 0 20 0 17 0 645451027 70721536 10303 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13384/tid=13391] ppid=13382 vsize=69064 CPUtime=0.02
/proc/13384/task/13391/stat : 13391 (satake) R 13382 13384 27791 0 -1 4202560 596 0 0 0 0 2 0 0 20 0 17 0 645451027 70721536 10324 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13384/tid=13392] ppid=13382 vsize=69064 CPUtime=0.04
/proc/13384/task/13392/stat : 13392 (satake) R 13382 13384 27791 0 -1 4202560 1197 0 0 0 0 4 0 0 20 0 17 0 645451027 70721536 10354 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13393] ppid=13382 vsize=69064 CPUtime=0.02
/proc/13384/task/13393/stat : 13393 (satake) R 13382 13384 27791 0 -1 4202560 1005 0 0 0 0 2 0 0 20 0 17 0 645451027 70721536 10385 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13384/tid=13394] ppid=13382 vsize=69064 CPUtime=0
/proc/13384/task/13394/stat : 13394 (satake) R 13382 13384 27791 0 -1 4202560 279 0 0 0 0 0 0 0 20 0 17 0 645451027 70721536 10406 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13384/tid=13395] ppid=13382 vsize=69064 CPUtime=0
/proc/13384/task/13395/stat : 13395 (satake) R 13382 13384 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 17 0 645451027 70721536 10428 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13384/tid=13396] ppid=13382 vsize=69064 CPUtime=0
/proc/13384/task/13396/stat : 13396 (satake) R 13382 13384 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 645451027 70721536 10446 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13384/tid=13397] ppid=13382 vsize=69064 CPUtime=0.04
/proc/13384/task/13397/stat : 13397 (satake) R 13382 13384 27791 0 -1 4202560 1093 0 0 0 0 4 0 0 20 0 17 0 645451027 70721536 10472 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13398] ppid=13382 vsize=69064 CPUtime=0
/proc/13384/task/13398/stat : 13398 (satake) R 13382 13384 27791 0 -1 4202560 57 0 0 0 0 0 0 0 20 0 17 0 645451027 70721536 10485 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13399] ppid=13382 vsize=69064 CPUtime=0
/proc/13384/task/13399/stat : 13399 (satake) R 13382 13384 27791 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 17 0 645451027 70721536 10519 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13384/tid=13400] ppid=13382 vsize=69064 CPUtime=0.04
/proc/13384/task/13400/stat : 13400 (satake) R 13382 13384 27791 0 -1 4202560 1220 0 0 0 0 4 0 0 20 0 17 0 645451028 70721536 10540 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 69064

[startup+0.10632 s]
/proc/loadavg: 3.06 3.04 3.79 2/184 13384
/proc/meminfo: memFree=19119944/36427776 swapFree=3020/7044
[pid=13384] ppid=13382 vsize=99912 CPUtime=0.61
/proc/13384/stat : 13384 (satake) S 13382 13384 27791 0 -1 4202496 18830 0 0 0 2 59 0 0 20 0 17 0 645451027 102309888 18784 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13384/statm: 24978 18784 63 164 0 24813 0
[pid=13384/tid=13385] ppid=13382 vsize=99912 CPUtime=0
/proc/13384/task/13385/stat : 13385 (satake) S 13382 13384 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 645451027 102309888 18784 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13386] ppid=13382 vsize=99912 CPUtime=0.04
/proc/13384/task/13386/stat : 13386 (satake) R 13382 13384 27791 0 -1 4202560 1128 0 0 0 0 4 0 0 20 0 17 0 645451027 102309888 18784 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13384/tid=13387] ppid=13382 vsize=99912 CPUtime=0.06
/proc/13384/task/13387/stat : 13387 (satake) R 13382 13384 27791 0 -1 4202560 2046 0 0 0 0 6 0 0 20 0 17 0 645451027 102309888 18785 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13384/tid=13388] ppid=13382 vsize=99912 CPUtime=0.06
/proc/13384/task/13388/stat : 13388 (satake) D 13382 13384 27791 0 -1 4202560 1853 0 0 0 0 6 0 0 20 0 17 0 645451027 102309888 18786 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13384/tid=13389] ppid=13382 vsize=99912 CPUtime=0.06
/proc/13384/task/13389/stat : 13389 (satake) D 13382 13384 27791 0 -1 4202560 1478 0 0 0 0 6 0 0 20 0 17 0 645451027 102309888 18790 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13384/tid=13390] ppid=13382 vsize=99912 CPUtime=0.06
/proc/13384/task/13390/stat : 13390 (satake) D 13382 13384 27791 0 -1 4202560 1899 0 0 0 0 6 0 0 20 0 17 0 645451027 102309888 18790 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13384/tid=13391] ppid=13382 vsize=99912 CPUtime=0.02
/proc/13384/task/13391/stat : 13391 (satake) D 13382 13384 27791 0 -1 4202560 716 0 0 0 0 2 0 0 20 0 17 0 645451027 102309888 18790 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13384/tid=13392] ppid=13382 vsize=99912 CPUtime=0.06
/proc/13384/task/13392/stat : 13392 (satake) R 13382 13384 27791 0 -1 4202560 2201 0 0 0 0 6 0 0 20 0 17 0 645451027 102309888 18792 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13393] ppid=13382 vsize=99912 CPUtime=0.06
/proc/13384/task/13393/stat : 13393 (satake) D 13382 13384 27791 0 -1 4202560 1908 0 0 0 0 6 0 0 20 0 17 0 645451027 102309888 18795 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13384/tid=13394] ppid=13382 vsize=99912 CPUtime=0
/proc/13384/task/13394/stat : 13394 (satake) D 13382 13384 27791 0 -1 4202560 409 0 0 0 0 0 0 0 20 0 17 0 645451027 102309888 18797 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13384/tid=13395] ppid=13382 vsize=99912 CPUtime=0
/proc/13384/task/13395/stat : 13395 (satake) R 13382 13384 27791 0 -1 4202560 283 0 0 0 0 0 0 0 20 0 17 0 645451027 102309888 18797 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13384/tid=13396] ppid=13382 vsize=99912 CPUtime=0
/proc/13384/task/13396/stat : 13396 (satake) R 13382 13384 27791 0 -1 4202560 174 0 0 0 0 0 0 0 20 0 17 0 645451027 102309888 18798 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13384/tid=13397] ppid=13382 vsize=99912 CPUtime=0.06
/proc/13384/task/13397/stat : 13397 (satake) R 13382 13384 27791 0 -1 4202560 2074 0 0 0 0 6 0 0 20 0 17 0 645451027 102309888 18798 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13398] ppid=13382 vsize=99912 CPUtime=0
/proc/13384/task/13398/stat : 13398 (satake) R 13382 13384 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 17 0 645451027 102309888 18798 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13399] ppid=13382 vsize=99912 CPUtime=0
/proc/13384/task/13399/stat : 13399 (satake) R 13382 13384 27791 0 -1 4202560 255 0 0 0 0 0 0 0 20 0 17 0 645451027 102309888 18798 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13384/tid=13400] ppid=13382 vsize=99912 CPUtime=0.06
/proc/13384/task/13400/stat : 13400 (satake) R 13382 13384 27791 0 -1 4202560 2207 0 0 0 0 6 0 0 20 0 17 0 645451028 102309888 18799 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 99912

[startup+0.304079 s]
/proc/loadavg: 3.06 3.04 3.79 2/184 13384
/proc/meminfo: memFree=19119944/36427776 swapFree=3020/7044
[pid=13384] ppid=13382 vsize=143132 CPUtime=1.71
/proc/13384/stat : 13384 (satake) S 13382 13384 27791 0 -1 4202496 33039 0 0 0 5 166 0 0 20 0 17 0 645451027 146567168 32996 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13384/statm: 35783 33036 63 164 0 35618 0
[pid=13384/tid=13385] ppid=13382 vsize=143132 CPUtime=0
/proc/13384/task/13385/stat : 13385 (satake) S 13382 13384 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 645451027 146567168 33054 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13386] ppid=13382 vsize=143132 CPUtime=0.1
/proc/13384/task/13386/stat : 13386 (satake) R 13382 13384 27791 0 -1 4202560 2275 0 0 0 0 10 0 0 20 0 17 0 645451027 146567168 33077 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13387] ppid=13382 vsize=143132 CPUtime=0.12
/proc/13384/task/13387/stat : 13387 (satake) R 13382 13384 27791 0 -1 4202560 2414 0 0 0 0 12 0 0 20 0 17 0 645451027 146567168 33094 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13384/tid=13388] ppid=13382 vsize=143132 CPUtime=0.14
/proc/13384/task/13388/stat : 13388 (satake) S 13382 13384 27791 0 -1 4202560 2357 0 0 0 0 14 0 0 20 0 17 0 645451027 146567168 33112 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=13384/tid=13389] ppid=13382 vsize=143132 CPUtime=0.12
/proc/13384/task/13389/stat : 13389 (satake) R 13382 13384 27791 0 -1 4202560 2268 0 0 0 0 12 0 0 20 0 17 0 645451027 146567168 33131 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13390] ppid=13382 vsize=143132 CPUtime=0.1
/proc/13384/task/13390/stat : 13390 (satake) R 13382 13384 27791 0 -1 4202560 2335 0 0 0 0 10 0 0 20 0 17 0 645451027 146567168 33131 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13384/tid=13391] ppid=13382 vsize=143132 CPUtime=0.12
/proc/13384/task/13391/stat : 13391 (satake) R 13382 13384 27791 0 -1 4202560 2216 0 0 0 0 12 0 0 20 0 17 0 645451027 146567168 33131 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13384/tid=13392] ppid=13382 vsize=143132 CPUtime=0.16
/proc/13384/task/13392/stat : 13392 (satake) R 13382 13384 27791 0 -1 4202560 2629 0 0 0 0 16 0 0 20 0 17 0 645451027 146567168 33131 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134522598 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13393] ppid=13382 vsize=143132 CPUtime=0.1
/proc/13384/task/13393/stat : 13393 (satake) R 13382 13384 27791 0 -1 4202560 2337 0 0 0 0 10 0 0 20 0 17 0 645451027 146567168 33131 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13384/tid=13394] ppid=13382 vsize=143132 CPUtime=0.08
/proc/13384/task/13394/stat : 13394 (satake) R 13382 13384 27791 0 -1 4202560 1976 0 0 0 0 8 0 0 20 0 17 0 645451027 146567168 33132 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13384/tid=13395] ppid=13382 vsize=143132 CPUtime=0.08
/proc/13384/task/13395/stat : 13395 (satake) R 13382 13384 27791 0 -1 4202560 1800 0 0 0 0 8 0 0 20 0 17 0 645451027 146567168 33132 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=13384/tid=13396] ppid=13382 vsize=143132 CPUtime=0.08
/proc/13384/task/13396/stat : 13396 (satake) R 13382 13384 27791 0 -1 4202560 1771 0 0 0 0 8 0 0 20 0 17 0 645451027 146567168 33138 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=13384/tid=13397] ppid=13382 vsize=143132 CPUtime=0.1
/proc/13384/task/13397/stat : 13397 (satake) S 13382 13384 27791 0 -1 4202560 2330 0 0 0 0 10 0 0 20 0 17 0 645451027 146567168 33138 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13398] ppid=13382 vsize=143132 CPUtime=0.08
/proc/13384/task/13398/stat : 13398 (satake) R 13382 13384 27791 0 -1 4202560 1767 0 0 0 0 8 0 0 20 0 17 0 645451027 146567168 33141 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13399] ppid=13382 vsize=143132 CPUtime=0.1
/proc/13384/task/13399/stat : 13399 (satake) R 13382 13384 27791 0 -1 4202560 1913 0 0 0 0 10 0 0 20 0 17 0 645451027 146567168 33144 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=13384/tid=13400] ppid=13382 vsize=143132 CPUtime=0.16
/proc/13384/task/13400/stat : 13400 (satake) R 13382 13384 27791 0 -1 4202560 2664 0 0 0 2 14 0 0 20 0 17 0 645451028 146567168 33144 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 143132

[startup+0.706539 s]
/proc/loadavg: 3.06 3.04 3.79 2/184 13384
/proc/meminfo: memFree=19119944/36427776 swapFree=3020/7044
[pid=13384] ppid=13382 vsize=210052 CPUtime=3.32
/proc/13384/stat : 13384 (satake) S 13382 13384 27791 0 -1 4202496 47515 0 0 0 46 286 0 0 20 0 17 0 645451027 215093248 47469 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/13384/statm: 52513 47472 63 164 0 52348 0
[pid=13384/tid=13385] ppid=13382 vsize=210052 CPUtime=0
/proc/13384/task/13385/stat : 13385 (satake) S 13382 13384 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 645451027 215093248 47473 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 8 0 0 0 0 0
[pid=13384/tid=13386] ppid=13382 vsize=210052 CPUtime=0.2
/proc/13384/task/13386/stat : 13386 (satake) R 13382 13384 27791 0 -1 4202560 3147 0 0 0 0 20 0 0 20 0 17 0 645451027 215093248 47474 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13387] ppid=13382 vsize=210052 CPUtime=0.22
/proc/13384/task/13387/stat : 13387 (satake) S 13382 13384 27791 0 -1 4202560 3272 0 0 0 4 18 0 0 20 0 17 0 645451027 215093248 47475 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=13384/tid=13388] ppid=13382 vsize=210052 CPUtime=0.24
/proc/13384/task/13388/stat : 13388 (satake) R 13382 13384 27791 0 -1 4202560 3306 0 0 0 4 20 0 0 20 0 17 0 645451027 215093248 47475 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=13384/tid=13389] ppid=13382 vsize=210052 CPUtime=0.22
/proc/13384/task/13389/stat : 13389 (satake) R 13382 13384 27791 0 -1 4202560 3081 0 0 0 4 18 0 0 20 0 17 0 645451027 215093248 47483 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=13384/tid=13390] ppid=13382 vsize=210052 CPUtime=0.2
/proc/13384/task/13390/stat : 13390 (satake) S 13382 13384 27791 0 -1 4202560 3150 0 0 0 2 18 0 0 20 0 17 0 645451027 215093248 47486 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=13384/tid=13391] ppid=13382 vsize=210052 CPUtime=0.24
/proc/13384/task/13391/stat : 13391 (satake) R 13382 13384 27791 0 -1 4202560 3208 0 0 0 2 22 0 0 20 0 17 0 645451027 215093248 47487 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=13384/tid=13392] ppid=13382 vsize=210052 CPUtime=0.28
/proc/13384/task/13392/stat : 13392 (satake) S 13382 13384 27791 0 -1 4202560 3507 0 0 0 2 26 0 0 20 0 17 0 645451027 215093248 47488 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=13384/tid=13393] ppid=13382 vsize=210052 CPUtime=0.2
/proc/13384/task/13393/stat : 13393 (satake) R 13382 13384 27791 0 -1 4202560 3156 0 0 0 2 18 0 0 20 0 17 0 645451027 215093248 47492 18446744073709551615 134512640 135180984 4289651152 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=13384/tid=13394] ppid=13382 vsize=210052 CPUtime=0.18

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1645.42
system time used= 679.534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299957
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= 58605782
involuntary context switches= 6467998

runsolver used 4.11226 second user time and 11.6167 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 04:50:46
IDJOB=1781292
IDBENCH=71715
IDSOLVER=631
FILE ID=xenhost3-49/1781292-1244861446
PBS_JOBID=
Free space on /tmp= 7019 MiB

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

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

MD5SUM BENCH= cddc29f8f256e39e02d9b418f68e802c
RANDOM SEED= 516345745

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:      19119944 kB
Buffers:        435892 kB
Cached:       14122376 kB
SwapCached:          0 kB
Active:        4081772 kB
Inactive:     10484840 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            9316 kB
Writeback:           0 kB
AnonPages:        7044 kB
Mapped:           2356 kB
Slab:           689560 kB
SReclaimable:   662760 kB
SUnreclaim:      26800 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29608 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7019 MiB
End job on xenhost3-49 at 2009-06-13 05:07:29