Trace number 1781517

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) 2419.38 1000.14

General information on the benchmark

Namemanol-pipe-c7bidw_i.cnf
MD5SUM3eac71f4fca7132b74d6d27cfa83813f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark134.09
Satisfiable
(Un)Satisfiability was proved
Number of variables131004
Number of clauses387841
Sum of the clauses size904961
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2258560
Number of clauses of size 3129280
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-1781517-1244870289/watcher-1781517-1244870289 -o /tmp/evaluation-result-1781517-1244870289/solver-1781517-1244870289 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1781517-1244870289.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: 5.57 5.24 4.65 2/184 14477
/proc/meminfo: memFree=19121644/36427776 swapFree=4092/8200
[pid=14477] ppid=14475 vsize=7064 CPUtime=0
/proc/14477/stat : 14477 (satake) D 14475 14477 27791 0 -1 4202496 436 0 0 0 0 0 0 0 20 0 17 0 646335334 7233536 392 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14477/statm: 1766 396 63 164 0 1601 0
[pid=14477/tid=14478] ppid=14475 vsize=7332 CPUtime=0
/proc/14477/task/14478/stat : 14478 (satake) S 14475 14477 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 646335334 7507968 435 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14479] ppid=14475 vsize=7332 CPUtime=0
/proc/14477/task/14479/stat : 14479 (satake) R 14475 14477 27791 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 17 0 646335334 7507968 435 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14477/tid=14480] ppid=14475 vsize=7332 CPUtime=0
/proc/14477/task/14480/stat : 14480 (satake) S 14475 14477 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 17 0 646335334 7507968 435 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14481] ppid=14475 vsize=7332 CPUtime=0
/proc/14477/task/14481/stat : 14481 (satake) R 14475 14477 27791 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 17 0 646335334 7507968 436 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14477/tid=14482] ppid=14475 vsize=7332 CPUtime=0
/proc/14477/task/14482/stat : 14482 (satake) R 14475 14477 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 646335334 7507968 436 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14477/tid=14483] ppid=14475 vsize=7332 CPUtime=0
/proc/14477/task/14483/stat : 14483 (satake) R 14475 14477 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 646335334 7507968 436 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14477/tid=14484] ppid=14475 vsize=7332 CPUtime=0
/proc/14477/task/14484/stat : 14484 (satake) S 14475 14477 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 646335334 7507968 438 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=14477/tid=14485] ppid=14475 vsize=7336 CPUtime=0
/proc/14477/task/14485/stat : 14485 (satake) R 14475 14477 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 646335334 7512064 439 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14477/tid=14486] ppid=14475 vsize=7336 CPUtime=0
/proc/14477/task/14486/stat : 14486 (satake) S 14475 14477 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 646335334 7512064 443 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=14477/tid=14487] ppid=14475 vsize=7336 CPUtime=0
/proc/14477/task/14487/stat : 14487 (satake) R 14475 14477 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 646335334 7512064 444 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14477/tid=14488] ppid=14475 vsize=7336 CPUtime=0
/proc/14477/task/14488/stat : 14488 (satake) D 14475 14477 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 646335334 7512064 445 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14489] ppid=14475 vsize=7336 CPUtime=0
/proc/14477/task/14489/stat : 14489 (satake) S 14475 14477 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646335334 7512064 446 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14477/tid=14490] ppid=14475 vsize=7336 CPUtime=0
/proc/14477/task/14490/stat : 14490 (satake) R 14475 14477 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 646335334 7512064 446 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14477/tid=14491] ppid=14475 vsize=7336 CPUtime=0
/proc/14477/task/14491/stat : 14491 (satake) R 14475 14477 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 646335334 7512064 446 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14477/tid=14492] ppid=14475 vsize=7336 CPUtime=0
/proc/14477/task/14492/stat : 14492 (satake) R 14475 14477 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 646335335 7512064 446 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14477/tid=14493] ppid=14475 vsize=7336 CPUtime=0
/proc/14477/task/14493/stat : 14493 (satake) R 14475 14477 27791 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 17 0 646335335 7512064 446 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0

[startup+0.037802 s]
/proc/loadavg: 5.57 5.24 4.65 2/184 14477
/proc/meminfo: memFree=19121644/36427776 swapFree=4092/8200
[pid=14477] ppid=14475 vsize=18568 CPUtime=0.15
/proc/14477/stat : 14477 (satake) S 14475 14477 27791 0 -1 4202496 2747 0 0 0 5 10 0 0 20 0 17 0 646335334 19013632 2687 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14477/statm: 4770 2693 63 164 0 4605 0
[pid=14477/tid=14478] ppid=14475 vsize=19080 CPUtime=0
/proc/14477/task/14478/stat : 14478 (satake) S 14475 14477 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 646335334 19537920 2693 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14479] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14479/stat : 14479 (satake) R 14475 14477 27791 0 -1 4202560 250 0 0 0 0 0 0 0 20 0 17 0 646335334 19668992 2693 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14477/tid=14480] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14480/stat : 14480 (satake) D 14475 14477 27791 0 -1 4202560 181 0 0 0 0 0 0 0 20 0 17 0 646335334 19668992 2697 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14481] ppid=14475 vsize=19208 CPUtime=0.02
/proc/14477/task/14481/stat : 14481 (satake) R 14475 14477 27791 0 -1 4202560 271 0 0 0 0 2 0 0 20 0 17 0 646335334 19668992 2699 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14477/tid=14482] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14482/stat : 14482 (satake) R 14475 14477 27791 0 -1 4202560 264 0 0 0 0 0 0 0 20 0 17 0 646335334 19668992 2700 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14477/tid=14483] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14483/stat : 14483 (satake) R 14475 14477 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 646335334 19668992 2701 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14477/tid=14484] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14484/stat : 14484 (satake) R 14475 14477 27791 0 -1 4202560 179 0 0 0 0 0 0 0 20 0 17 0 646335334 19668992 2702 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14477/tid=14485] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14485/stat : 14485 (satake) R 14475 14477 27791 0 -1 4202560 222 0 0 0 0 0 0 0 20 0 17 0 646335334 19668992 2702 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14477/tid=14486] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14486/stat : 14486 (satake) D 14475 14477 27791 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 17 0 646335334 19668992 2702 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14477/tid=14487] ppid=14475 vsize=19208 CPUtime=0.02
/proc/14477/task/14487/stat : 14487 (satake) R 14475 14477 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 646335334 19668992 2702 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14477/tid=14488] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14488/stat : 14488 (satake) R 14475 14477 27791 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 17 0 646335334 19668992 2702 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14489] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14489/stat : 14489 (satake) D 14475 14477 27791 0 -1 4202560 27 0 0 0 0 0 0 0 20 0 17 0 646335334 19668992 2702 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14477/tid=14490] ppid=14475 vsize=19208 CPUtime=0.02
/proc/14477/task/14490/stat : 14490 (satake) D 14475 14477 27791 0 -1 4202560 274 0 0 0 2 0 0 0 20 0 17 0 646335334 19668992 2703 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14477/tid=14491] ppid=14475 vsize=19208 CPUtime=0.02
/proc/14477/task/14491/stat : 14491 (satake) D 14475 14477 27791 0 -1 4202560 192 0 0 0 0 2 0 0 20 0 17 0 646335334 19668992 2703 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14477/tid=14492] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14492/stat : 14492 (satake) D 14475 14477 27791 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 17 0 646335335 19668992 2703 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14477/tid=14493] ppid=14475 vsize=19208 CPUtime=0
/proc/14477/task/14493/stat : 14493 (satake) D 14475 14477 27791 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 17 0 646335335 19668992 2703 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 18568

[startup+0.107148 s]
/proc/loadavg: 5.57 5.24 4.65 2/184 14477
/proc/meminfo: memFree=19121644/36427776 swapFree=4092/8200
[pid=14477] ppid=14475 vsize=83208 CPUtime=0.73
/proc/14477/stat : 14477 (satake) S 14475 14477 27791 0 -1 4202496 12664 0 0 0 5 68 0 0 20 0 17 0 646335334 85204992 12604 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14477/statm: 20802 12612 63 164 0 20637 0
[pid=14477/tid=14478] ppid=14475 vsize=83208 CPUtime=0
/proc/14477/task/14478/stat : 14478 (satake) S 14475 14477 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 646335334 85204992 12613 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14479] ppid=14475 vsize=83208 CPUtime=0.04
/proc/14477/task/14479/stat : 14479 (satake) R 14475 14477 27791 0 -1 4202560 950 0 0 0 0 4 0 0 20 0 17 0 646335334 85204992 12613 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14477/tid=14480] ppid=14475 vsize=83208 CPUtime=0.06
/proc/14477/task/14480/stat : 14480 (satake) R 14475 14477 27791 0 -1 4202560 1091 0 0 0 0 6 0 0 20 0 17 0 646335334 85204992 12613 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14481] ppid=14475 vsize=83208 CPUtime=0.06
/proc/14477/task/14481/stat : 14481 (satake) R 14475 14477 27791 0 -1 4202560 1104 0 0 0 0 6 0 0 20 0 17 0 646335334 85204992 12613 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14477/tid=14482] ppid=14475 vsize=83208 CPUtime=0.04
/proc/14477/task/14482/stat : 14482 (satake) R 14475 14477 27791 0 -1 4202560 917 0 0 0 0 4 0 0 20 0 17 0 646335334 85204992 12614 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14477/tid=14483] ppid=14475 vsize=83208 CPUtime=0
/proc/14477/task/14483/stat : 14483 (satake) R 14475 14477 27791 0 -1 4202560 147 0 0 0 0 0 0 0 20 0 17 0 646335334 85204992 12617 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14477/tid=14484] ppid=14475 vsize=83208 CPUtime=0.06
/proc/14477/task/14484/stat : 14484 (satake) R 14475 14477 27791 0 -1 4202560 1115 0 0 0 0 6 0 0 20 0 17 0 646335334 85204992 12617 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=14477/tid=14485] ppid=14475 vsize=83208 CPUtime=0.04
/proc/14477/task/14485/stat : 14485 (satake) R 14475 14477 27791 0 -1 4202560 949 0 0 0 0 4 0 0 20 0 17 0 646335334 85204992 12621 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14477/tid=14486] ppid=14475 vsize=83208 CPUtime=0.02
/proc/14477/task/14486/stat : 14486 (satake) R 14475 14477 27791 0 -1 4202560 353 0 0 0 0 2 0 0 20 0 17 0 646335334 85204992 12622 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14477/tid=14487] ppid=14475 vsize=83208 CPUtime=0.06
/proc/14477/task/14487/stat : 14487 (satake) R 14475 14477 27791 0 -1 4202560 1178 0 0 0 0 6 0 0 20 0 17 0 646335334 85204992 12623 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14477/tid=14488] ppid=14475 vsize=83208 CPUtime=0.04
/proc/14477/task/14488/stat : 14488 (satake) R 14475 14477 27791 0 -1 4202560 882 0 0 0 0 4 0 0 20 0 17 0 646335334 85204992 12624 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14477/tid=14489] ppid=14475 vsize=83208 CPUtime=0.02
/proc/14477/task/14489/stat : 14489 (satake) R 14475 14477 27791 0 -1 4202560 311 0 0 0 0 2 0 0 20 0 17 0 646335334 85204992 12624 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14477/tid=14490] ppid=14475 vsize=83208 CPUtime=0.06
/proc/14477/task/14490/stat : 14490 (satake) R 14475 14477 27791 0 -1 4202560 1104 0 0 0 2 4 0 0 20 0 17 0 646335334 85204992 12625 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=14477/tid=14491] ppid=14475 vsize=83208 CPUtime=0.06
/proc/14477/task/14491/stat : 14491 (satake) R 14475 14477 27791 0 -1 4202560 1102 0 0 0 0 6 0 0 20 0 17 0 646335334 85204992 12628 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=14477/tid=14492] ppid=14475 vsize=83208 CPUtime=0.02
/proc/14477/task/14492/stat : 14492 (satake) R 14475 14477 27791 0 -1 4202560 316 0 0 0 0 2 0 0 20 0 17 0 646335335 85204992 12632 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14477/tid=14493] ppid=14475 vsize=83208 CPUtime=0.06
/proc/14477/task/14493/stat : 14493 (satake) R 14475 14477 27791 0 -1 4202560 1035 0 0 0 0 6 0 0 20 0 17 0 646335335 85204992 12633 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 83208

[startup+0.307282 s]
/proc/loadavg: 5.57 5.24 4.65 2/184 14477
/proc/meminfo: memFree=19121644/36427776 swapFree=4092/8200
[pid=14477] ppid=14475 vsize=122396 CPUtime=1.95
/proc/14477/stat : 14477 (satake) S 14475 14477 27791 0 -1 4202496 28421 0 0 0 10 185 0 0 20 0 17 0 646335334 125333504 28362 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14477/statm: 30599 28366 63 164 0 30434 0
[pid=14477/tid=14478] ppid=14475 vsize=122396 CPUtime=0
/proc/14477/task/14478/stat : 14478 (satake) S 14475 14477 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 646335334 125333504 28367 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14479] ppid=14475 vsize=122396 CPUtime=0.1
/proc/14477/task/14479/stat : 14479 (satake) R 14475 14477 27791 0 -1 4202560 1836 0 0 0 0 10 0 0 20 0 17 0 646335334 125333504 28367 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14477/tid=14480] ppid=14475 vsize=122528 CPUtime=0.14
/proc/14477/task/14480/stat : 14480 (satake) R 14475 14477 27791 0 -1 4202560 1986 0 0 0 0 14 0 0 20 0 17 0 646335334 125468672 28367 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14481] ppid=14475 vsize=122528 CPUtime=0.12
/proc/14477/task/14481/stat : 14481 (satake) D 14475 14477 27791 0 -1 4202560 1786 0 0 0 0 12 0 0 20 0 17 0 646335334 125468672 28367 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14477/tid=14482] ppid=14475 vsize=122528 CPUtime=0.1
/proc/14477/task/14482/stat : 14482 (satake) S 14475 14477 27791 0 -1 4202560 1801 0 0 0 0 10 0 0 20 0 17 0 646335334 125468672 28368 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14477/tid=14483] ppid=14475 vsize=122528 CPUtime=0.08
/proc/14477/task/14483/stat : 14483 (satake) S 14475 14477 27791 0 -1 4202560 1762 0 0 0 0 8 0 0 20 0 17 0 646335334 125468672 28369 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=14477/tid=14484] ppid=14475 vsize=122528 CPUtime=0.16
/proc/14477/task/14484/stat : 14484 (satake) S 14475 14477 27791 0 -1 4202560 2086 0 0 0 0 16 0 0 20 0 17 0 646335334 125468672 28369 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=14477/tid=14485] ppid=14475 vsize=122528 CPUtime=0.1
/proc/14477/task/14485/stat : 14485 (satake) S 14475 14477 27791 0 -1 4202560 1836 0 0 0 0 10 0 0 20 0 17 0 646335334 125468672 28369 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=14477/tid=14486] ppid=14475 vsize=122528 CPUtime=0.08
/proc/14477/task/14486/stat : 14486 (satake) R 14475 14477 27791 0 -1 4202560 1774 0 0 0 0 8 0 0 20 0 17 0 646335334 125468672 28371 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14477/tid=14487] ppid=14475 vsize=122528 CPUtime=0.18
/proc/14477/task/14487/stat : 14487 (satake) R 14475 14477 27791 0 -1 4202560 2188 0 0 0 2 16 0 0 20 0 17 0 646335334 125468672 28373 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=14477/tid=14488] ppid=14475 vsize=122528 CPUtime=0.14
/proc/14477/task/14488/stat : 14488 (satake) R 14475 14477 27791 0 -1 4202560 1919 0 0 0 0 14 0 0 20 0 17 0 646335334 125468672 28373 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=14477/tid=14489] ppid=14475 vsize=122528 CPUtime=0.1
/proc/14477/task/14489/stat : 14489 (satake) S 14475 14477 27791 0 -1 4202560 1804 0 0 0 0 10 0 0 20 0 17 0 646335334 125468672 28374 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=14477/tid=14490] ppid=14475 vsize=122528 CPUtime=0.16
/proc/14477/task/14490/stat : 14490 (satake) S 14475 14477 27791 0 -1 4202560 1894 0 0 0 2 14 0 0 20 0 17 0 646335334 125468672 28374 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=14477/tid=14491] ppid=14475 vsize=122528 CPUtime=0.16
/proc/14477/task/14491/stat : 14491 (satake) R 14475 14477 27791 0 -1 4202560 1891 0 0 0 0 16 0 0 20 0 17 0 646335334 125468672 28376 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134702260 0 0 1 0 18446744071564502736 0 0 -1 11 0 0 0 0 0
[pid=14477/tid=14492] ppid=14475 vsize=122528 CPUtime=0.08
/proc/14477/task/14492/stat : 14492 (satake) S 14475 14477 27791 0 -1 4202560 1734 0 0 0 0 8 0 0 20 0 17 0 646335335 125468672 28377 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=14477/tid=14493] ppid=14475 vsize=122528 CPUtime=0.16
/proc/14477/task/14493/stat : 14493 (satake) S 14475 14477 27791 0 -1 4202560 2004 0 0 0 0 16 0 0 20 0 17 0 646335335 125468672 28377 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 122396

[startup+0.703867 s]
/proc/loadavg: 5.57 5.24 4.65 2/184 14477
/proc/meminfo: memFree=19121644/36427776 swapFree=4092/8200
[pid=14477] ppid=14475 vsize=184972 CPUtime=3.4
/proc/14477/stat : 14477 (satake) S 14475 14477 27791 0 -1 4202496 41492 0 0 0 58 282 0 0 20 0 17 0 646335334 189411328 41432 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14477/statm: 46243 41433 63 164 0 46078 0
[pid=14477/tid=14478] ppid=14475 vsize=184972 CPUtime=0
/proc/14477/task/14478/stat : 14478 (satake) S 14475 14477 27791 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 17 0 646335334 189411328 41434 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14479] ppid=14475 vsize=184972 CPUtime=0.18
/proc/14477/task/14479/stat : 14479 (satake) R 14475 14477 27791 0 -1 4202560 2638 0 0 0 4 14 0 0 20 0 17 0 646335334 189411328 41436 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=14477/tid=14480] ppid=14475 vsize=184972 CPUtime=0.26
/proc/14477/task/14480/stat : 14480 (satake) D 14475 14477 27791 0 -1 4202560 2851 0 0 0 4 22 0 0 20 0 17 0 646335334 189411328 41436 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=14477/tid=14481] ppid=14475 vsize=184972 CPUtime=0.2
/proc/14477/task/14481/stat : 14481 (satake) S 14475 14477 27791 0 -1 4202560 2584 0 0 0 4 16 0 0 20 0 17 0 646335334 189411328 41436 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=14477/tid=14482] ppid=14475 vsize=184972 CPUtime=0.24
/proc/14477/task/14482/stat : 14482 (satake) R 14475 14477 27791 0 -1 4202560 3582 0 0 0 8 16 0 0 20 0 17 0 646335334 189411328 41436 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=14477/tid=14483] ppid=14475 vsize=184972 CPUtime=0.16
/proc/14477/task/14483/stat : 14483 (satake) R 14475 14477 27791 0 -1 4202560 2549 0 0 0 6 10 0 0 20 0 17 0 646335334 189411328 41436 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=14477/tid=14484] ppid=14475 vsize=184972 CPUtime=0.26
/proc/14477/task/14484/stat : 14484 (satake) S 14475 14477 27791 0 -1 4202560 2887 0 0 0 2 24 0 0 20 0 17 0 646335334 189411328 41440 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=14477/tid=14485] ppid=14475 vsize=184972 CPUtime=0.2
/proc/14477/task/14485/stat : 14485 (satake) S 14475 14477 27791 0 -1 4202560 2627 0 0 0 6 14 0 0 20 0 17 0 646335334 189411328 41441 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=14477/tid=14486] ppid=14475 vsize=184972 CPUtime=0.16
/proc/14477/task/14486/stat : 14486 (satake) R 14475 14477 27791 0 -1 4202560 2429 0 0 0 2 14 0 0 20 0 17 0 646335334 189411328 41441 18446744073709551615 134512640 135180984 4290892544 18446744073709551615 134522207 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=14477/tid=14487] ppid=14475 vsize=184972 CPUtime=0.28

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

deleting IPC queue 262602830
deleting IPC queue 262635599
deleting IPC queue 262668368
deleting IPC queue 262701137
deleting IPC queue 262733906
deleting IPC queue 262766675
deleting IPC queue 262799444
deleting IPC queue 262832213
deleting IPC queue 262864982
deleting IPC queue 262897751
deleting IPC queue 262930520
deleting IPC queue 262963289
deleting IPC queue 262996058
deleting IPC queue 263028827
deleting IPC queue 263061596
deleting IPC queue 263094365
deleting IPC queue 263127134
deleting IPC queue 263159903
deleting IPC queue 263192672
deleting IPC queue 263225441
deleting IPC queue 263258210
deleting IPC queue 263290979
deleting IPC queue 263323748
deleting IPC queue 263356517
deleting IPC queue 263389286
deleting IPC queue 263422055
deleting IPC queue 263454824
deleting IPC queue 263487593
deleting IPC queue 263520362
deleting IPC queue 263553131
deleting IPC queue 263585900
deleting IPC queue 263618669
deleting IPC queue 263651438
deleting IPC queue 263684207
deleting IPC queue 263716976
deleting IPC queue 263749745
deleting IPC queue 263782514
deleting IPC queue 263815283
deleting IPC queue 263848052
deleting IPC queue 263880821
deleting IPC queue 263913590
deleting IPC queue 263946359
deleting IPC queue 263979128
deleting IPC queue 264011897
deleting IPC queue 264044666
deleting IPC queue 264077435
deleting IPC queue 264110204
deleting IPC queue 264142973
deleting IPC queue 264175742
deleting IPC queue 264208511
deleting IPC queue 264241280
deleting IPC queue 264274049
deleting IPC queue 264306818
deleting IPC queue 264339587
deleting IPC queue 264372356
deleting IPC queue 264405125
deleting IPC queue 264437894
deleting IPC queue 264470663
deleting IPC queue 264503432
deleting IPC queue 264536201
deleting IPC queue 264568970
deleting IPC queue 264601739
deleting IPC queue 264634508
deleting IPC queue 264667277
deleting IPC queue 264700046
deleting IPC queue 264732815
deleting IPC queue 264765584
deleting IPC queue 264798353
deleting IPC queue 264831122
deleting IPC queue 264863891
deleting IPC queue 264896660
deleting IPC queue 264929429
deleting IPC queue 264962198
deleting IPC queue 264994967
deleting IPC queue 265027736
deleting IPC queue 265060505
deleting IPC queue 265093274
deleting IPC queue 265126043
deleting IPC queue 265158812
deleting IPC queue 265191581
deleting IPC queue 265224350
deleting IPC queue 265257119
deleting IPC queue 265289888
deleting IPC queue 265322657
deleting IPC queue 265355426
deleting IPC queue 265388195
deleting IPC queue 265420964
deleting IPC queue 265453733
deleting IPC queue 265486502
deleting IPC queue 265519271
deleting IPC queue 265552040
deleting IPC queue 265584809
deleting IPC queue 265617578
deleting IPC queue 265650347
deleting IPC queue 265683116
deleting IPC queue 265715885
deleting IPC queue 265748654
deleting IPC queue 265781423
deleting IPC queue 265814192
deleting IPC queue 265846961
deleting IPC queue 265879730
deleting IPC queue 265912499
deleting IPC queue 265945268
deleting IPC queue 265978037
deleting IPC queue 266010806
deleting IPC queue 266043575
deleting IPC queue 266076344
deleting IPC queue 266109113
deleting IPC queue 266141882
deleting IPC queue 266174651
deleting IPC queue 266207420
deleting IPC queue 266240189
deleting IPC queue 266272958
deleting IPC queue 266305727
deleting IPC queue 266338496
deleting IPC queue 266371265
deleting IPC queue 266404034
deleting IPC queue 266436803
deleting IPC queue 266469572
deleting IPC queue 266502341
deleting IPC queue 266535110
deleting IPC queue 266567879
deleting IPC queue 266600648
deleting IPC queue 266633417
deleting IPC queue 266666186
deleting IPC queue 266698955
deleting IPC queue 266731724
deleting IPC queue 266764493
deleting IPC queue 266797262
deleting IPC queue 266830031
deleting IPC queue 266862800
deleting IPC queue 266895569
deleting IPC queue 266928338
deleting IPC queue 266961107
deleting IPC queue 266993876
deleting IPC queue 267026645
deleting IPC queue 267059414
deleting IPC queue 267092183
deleting IPC queue 267124952
deleting IPC queue 267157721
deleting IPC queue 267190490
deleting IPC queue 267223259
deleting IPC queue 267256028
deleting IPC queue 267288797
deleting IPC queue 267321566
deleting IPC queue 267354335
deleting IPC queue 267387104
deleting IPC queue 267419873
deleting IPC queue 267452642
deleting IPC queue 267485411
deleting IPC queue 267518180
deleting IPC queue 267550949
deleting IPC queue 267583718
deleting IPC queue 267616487
deleting IPC queue 267649256
deleting IPC queue 267682025
deleting IPC queue 267714794
deleting IPC queue 267747563
deleting IPC queue 267780332
deleting IPC queue 267813101
deleting IPC queue 267845870
deleting IPC queue 267878639
deleting IPC queue 267911408
deleting IPC queue 267944177
deleting IPC queue 267976946
deleting IPC queue 268009715
deleting IPC queue 268042484
deleting IPC queue 268075253
deleting IPC queue 268108022
deleting IPC queue 268140791
deleting IPC queue 268173560
deleting IPC queue 268206329
deleting IPC queue 268239098
deleting IPC queue 268271867
deleting IPC queue 268304636
deleting IPC queue 268337405
deleting IPC queue 268370174
deleting IPC queue 268402943

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1728.5
system time used= 690.879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267858
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= 57744546
involuntary context switches= 2308454

runsolver used 4.46028 second user time and 11.3927 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-13 07:18:09
IDJOB=1781517
IDBENCH=71766
IDSOLVER=631
FILE ID=xenhost3-49/1781517-1244870289
PBS_JOBID=
Free space on /tmp= 7021 MiB

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

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

MD5SUM BENCH= 3eac71f4fca7132b74d6d27cfa83813f
RANDOM SEED= 428481894

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:      19121644 kB
Buffers:        436004 kB
Cached:       14120596 kB
SwapCached:          0 kB
Active:        4080976 kB
Inactive:     10483148 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            7336 kB
Writeback:           0 kB
AnonPages:        8200 kB
Mapped:           3428 kB
Slab:           689668 kB
SReclaimable:   662820 kB
SUnreclaim:      26848 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29612 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7020 MiB
End job on xenhost3-49 at 2009-06-13 07:34:52