Trace number 1775727

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) 6711.55 1000.23

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-10-19-u.cnf
MD5SUMa2687a8a1b0deeabfd7eddcfa56549a2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables331202
Number of clauses1571183
Sum of the clauses size3644324
Maximum clause length10
Minimum clause length1
Number of clauses of size 127558
Number of clauses of size 21199929
Number of clauses of size 3281756
Number of clauses of size 46880
Number of clauses of size 527520
Number of clauses of size over 527540

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

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


[startup+0 s]
/proc/loadavg: 4.14 4.37 6.08 2/184 28906
/proc/meminfo: memFree=19116748/36427776 swapFree=4484/8040
[pid=28906] ppid=28904 vsize=7496 CPUtime=0
/proc/28906/stat : 28906 (satake) S 28904 28906 27791 0 -1 4202496 471 0 0 0 0 0 0 0 20 0 17 0 631048619 7675904 428 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/28906/statm: 1874 429 63 164 0 1709 0
[pid=28906/tid=28907] ppid=28904 vsize=7496 CPUtime=0
/proc/28906/task/28907/stat : 28907 (satake) S 28904 28906 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 631048619 7675904 430 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28908] ppid=28904 vsize=7496 CPUtime=0
/proc/28906/task/28908/stat : 28908 (satake) R 28904 28906 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 631048619 7675904 433 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28906/tid=28909] ppid=28904 vsize=7496 CPUtime=0
/proc/28906/task/28909/stat : 28909 (satake) D 28904 28906 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 631048619 7675904 438 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28906/tid=28910] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28910/stat : 28910 (satake) D 28904 28906 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 631048619 7680000 439 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28906/tid=28911] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28911/stat : 28911 (satake) R 28904 28906 27791 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 17 0 631048619 7680000 443 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28906/tid=28912] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28912/stat : 28912 (satake) R 28904 28906 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 631048619 7680000 444 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28913] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28913/stat : 28913 (satake) D 28904 28906 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 631048619 7680000 445 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28914] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28914/stat : 28914 (satake) S 28904 28906 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 631048619 7680000 446 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=28906/tid=28915] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28915/stat : 28915 (satake) S 28904 28906 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 631048619 7680000 446 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=28906/tid=28916] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28916/stat : 28916 (satake) S 28904 28906 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 631048620 7680000 446 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=28906/tid=28917] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28917/stat : 28917 (satake) S 28904 28906 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631048620 7680000 446 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=28906/tid=28918] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28918/stat : 28918 (satake) R 28904 28906 27791 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 17 0 631048620 7680000 447 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28906/tid=28919] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28919/stat : 28919 (satake) R 28904 28906 27791 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 17 0 631048620 7680000 448 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28906/tid=28920] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28920/stat : 28920 (satake) R 28904 28906 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 631048620 7680000 448 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28906/tid=28921] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28921/stat : 28921 (satake) R 28904 28906 27791 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 17 0 631048620 7680000 450 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28906/tid=28922] ppid=28904 vsize=7500 CPUtime=0
/proc/28906/task/28922/stat : 28922 (satake) R 28904 28906 27791 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 17 0 631048620 7680000 459 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0

[startup+0.020561 s]
/proc/loadavg: 4.14 4.37 6.08 2/184 28906
/proc/meminfo: memFree=19116748/36427776 swapFree=4484/8040
[pid=28906] ppid=28904 vsize=10092 CPUtime=0.01
/proc/28906/stat : 28906 (satake) S 28904 28906 27791 0 -1 4202496 1024 0 0 0 0 1 0 0 20 0 17 0 631048619 10334208 981 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/28906/statm: 2523 982 63 164 0 2358 0
[pid=28906/tid=28907] ppid=28904 vsize=10092 CPUtime=0
/proc/28906/task/28907/stat : 28907 (satake) S 28904 28906 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 631048619 10334208 990 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28908] ppid=28904 vsize=10092 CPUtime=0
/proc/28906/task/28908/stat : 28908 (satake) D 28904 28906 27791 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 17 0 631048619 10334208 1000 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28906/tid=28909] ppid=28904 vsize=10092 CPUtime=0
/proc/28906/task/28909/stat : 28909 (satake) D 28904 28906 27791 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 17 0 631048619 10334208 1000 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28906/tid=28910] ppid=28904 vsize=10092 CPUtime=0
/proc/28906/task/28910/stat : 28910 (satake) D 28904 28906 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 631048619 10334208 1004 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28906/tid=28911] ppid=28904 vsize=10092 CPUtime=0
/proc/28906/task/28911/stat : 28911 (satake) D 28904 28906 27791 0 -1 4202560 114 0 0 0 0 0 0 0 20 0 17 0 631048619 10334208 1005 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28906/tid=28912] ppid=28904 vsize=10092 CPUtime=0
/proc/28906/task/28912/stat : 28912 (satake) D 28904 28906 27791 0 -1 4202560 105 0 0 0 0 0 0 0 20 0 17 0 631048619 10334208 1005 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28913] ppid=28904 vsize=10092 CPUtime=0
/proc/28906/task/28913/stat : 28913 (satake) D 28904 28906 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 631048619 10334208 1005 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28914] ppid=28904 vsize=10348 CPUtime=0
/proc/28906/task/28914/stat : 28914 (satake) D 28904 28906 27791 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 17 0 631048619 10596352 1006 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28906/tid=28915] ppid=28904 vsize=10348 CPUtime=0
/proc/28906/task/28915/stat : 28915 (satake) R 28904 28906 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 631048619 10596352 1010 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28906/tid=28916] ppid=28904 vsize=10348 CPUtime=0
/proc/28906/task/28916/stat : 28916 (satake) S 28904 28906 27791 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 17 0 631048620 10596352 1010 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=28906/tid=28917] ppid=28904 vsize=10476 CPUtime=0
/proc/28906/task/28917/stat : 28917 (satake) R 28904 28906 27791 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 17 0 631048620 10727424 1010 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28906/tid=28918] ppid=28904 vsize=10476 CPUtime=0
/proc/28906/task/28918/stat : 28918 (satake) D 28904 28906 27791 0 -1 4202560 81 0 0 0 0 0 0 0 20 0 17 0 631048620 10727424 1013 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28906/tid=28919] ppid=28904 vsize=10476 CPUtime=0
/proc/28906/task/28919/stat : 28919 (satake) R 28904 28906 27791 0 -1 4202560 60 0 0 0 0 0 0 0 20 0 17 0 631048620 10727424 1018 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28906/tid=28920] ppid=28904 vsize=10476 CPUtime=0
/proc/28906/task/28920/stat : 28920 (satake) R 28904 28906 27791 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 17 0 631048620 10727424 1019 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28906/tid=28921] ppid=28904 vsize=10476 CPUtime=0
/proc/28906/task/28921/stat : 28921 (satake) R 28904 28906 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 631048620 10727424 1019 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28906/tid=28922] ppid=28904 vsize=10476 CPUtime=0
/proc/28906/task/28922/stat : 28922 (satake) S 28904 28906 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631048620 10727424 1020 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10092

[startup+0.106266 s]
/proc/loadavg: 4.14 4.37 6.08 2/184 28906
/proc/meminfo: memFree=19116748/36427776 swapFree=4484/8040
[pid=28906] ppid=28904 vsize=62004 CPUtime=0.74
/proc/28906/stat : 28906 (satake) S 28904 28906 27791 0 -1 4202496 11036 0 0 0 1 73 0 0 20 0 17 0 631048619 63492096 10945 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/28906/statm: 15501 10946 63 164 0 15336 0
[pid=28906/tid=28907] ppid=28904 vsize=62004 CPUtime=0
/proc/28906/task/28907/stat : 28907 (satake) S 28904 28906 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 631048619 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28908] ppid=28904 vsize=62004 CPUtime=0.06
/proc/28906/task/28908/stat : 28908 (satake) D 28904 28906 27791 0 -1 4202560 1080 0 0 0 0 6 0 0 20 0 17 0 631048619 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28906/tid=28909] ppid=28904 vsize=62004 CPUtime=0.06
/proc/28906/task/28909/stat : 28909 (satake) R 28904 28906 27791 0 -1 4202560 914 0 0 0 0 6 0 0 20 0 17 0 631048619 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28906/tid=28910] ppid=28904 vsize=62004 CPUtime=0
/proc/28906/task/28910/stat : 28910 (satake) R 28904 28906 27791 0 -1 4202560 256 0 0 0 0 0 0 0 20 0 17 0 631048619 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28906/tid=28911] ppid=28904 vsize=62004 CPUtime=0.08
/proc/28906/task/28911/stat : 28911 (satake) D 28904 28906 27791 0 -1 4202560 918 0 0 0 0 8 0 0 20 0 17 0 631048619 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28906/tid=28912] ppid=28904 vsize=62004 CPUtime=0.06
/proc/28906/task/28912/stat : 28912 (satake) D 28904 28906 27791 0 -1 4202560 946 0 0 0 0 6 0 0 20 0 17 0 631048619 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28913] ppid=28904 vsize=62004 CPUtime=0.06
/proc/28906/task/28913/stat : 28913 (satake) R 28904 28906 27791 0 -1 4202560 882 0 0 0 0 6 0 0 20 0 17 0 631048619 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=28906/tid=28914] ppid=28904 vsize=62004 CPUtime=0.06
/proc/28906/task/28914/stat : 28914 (satake) D 28904 28906 27791 0 -1 4202560 829 0 0 0 0 6 0 0 20 0 17 0 631048619 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28906/tid=28915] ppid=28904 vsize=62004 CPUtime=0.06
/proc/28906/task/28915/stat : 28915 (satake) D 28904 28906 27791 0 -1 4202560 933 0 0 0 0 6 0 0 20 0 17 0 631048619 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28906/tid=28916] ppid=28904 vsize=62004 CPUtime=0.06
/proc/28906/task/28916/stat : 28916 (satake) D 28904 28906 27791 0 -1 4202560 797 0 0 0 0 6 0 0 20 0 17 0 631048620 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28906/tid=28917] ppid=28904 vsize=62004 CPUtime=0
/proc/28906/task/28917/stat : 28917 (satake) D 28904 28906 27791 0 -1 4202560 243 0 0 0 0 0 0 0 20 0 17 0 631048620 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28906/tid=28918] ppid=28904 vsize=62004 CPUtime=0.06
/proc/28906/task/28918/stat : 28918 (satake) D 28904 28906 27791 0 -1 4202560 946 0 0 0 0 6 0 0 20 0 17 0 631048620 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28906/tid=28919] ppid=28904 vsize=62004 CPUtime=0.06
/proc/28906/task/28919/stat : 28919 (satake) D 28904 28906 27791 0 -1 4202560 844 0 0 0 0 6 0 0 20 0 17 0 631048620 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28906/tid=28920] ppid=28904 vsize=62004 CPUtime=0
/proc/28906/task/28920/stat : 28920 (satake) D 28904 28906 27791 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 17 0 631048620 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28906/tid=28921] ppid=28904 vsize=62004 CPUtime=0.06
/proc/28906/task/28921/stat : 28921 (satake) D 28904 28906 27791 0 -1 4202560 1193 0 0 0 0 6 0 0 20 0 17 0 631048620 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28906/tid=28922] ppid=28904 vsize=62004 CPUtime=0
/proc/28906/task/28922/stat : 28922 (satake) D 28904 28906 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 17 0 631048620 63492096 10947 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 62004

[startup+0.303222 s]
/proc/loadavg: 4.14 4.37 6.08 2/184 28906
/proc/meminfo: memFree=19116748/36427776 swapFree=4484/8040
[pid=28906] ppid=28904 vsize=325812 CPUtime=2.53
/proc/28906/stat : 28906 (satake) S 28904 28906 27791 0 -1 4202496 49685 0 0 0 1 252 0 0 20 0 17 0 631048619 333631488 49597 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/28906/statm: 81453 49643 63 164 0 81288 0
[pid=28906/tid=28907] ppid=28904 vsize=325812 CPUtime=0
/proc/28906/task/28907/stat : 28907 (satake) S 28904 28906 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 631048619 333631488 49658 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28908] ppid=28904 vsize=325812 CPUtime=0.14
/proc/28906/task/28908/stat : 28908 (satake) R 28904 28906 27791 0 -1 4202560 2970 0 0 0 0 14 0 0 20 0 17 0 631048619 333631488 49675 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28906/tid=28909] ppid=28904 vsize=325812 CPUtime=0.22
/proc/28906/task/28909/stat : 28909 (satake) R 28904 28906 27791 0 -1 4202560 4643 0 0 0 0 22 0 0 20 0 17 0 631048619 333631488 49688 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28906/tid=28910] ppid=28904 vsize=325812 CPUtime=0.08
/proc/28906/task/28910/stat : 28910 (satake) R 28904 28906 27791 0 -1 4202560 1981 0 0 0 0 8 0 0 20 0 17 0 631048619 333631488 49704 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28906/tid=28911] ppid=28904 vsize=325812 CPUtime=0.24
/proc/28906/task/28911/stat : 28911 (satake) R 28904 28906 27791 0 -1 4202560 4253 0 0 0 0 24 0 0 20 0 17 0 631048619 333631488 49722 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28906/tid=28912] ppid=28904 vsize=325812 CPUtime=0.22
/proc/28906/task/28912/stat : 28912 (satake) R 28904 28906 27791 0 -1 4202560 4141 0 0 0 0 22 0 0 20 0 17 0 631048619 333631488 49738 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28913] ppid=28904 vsize=325812 CPUtime=0.22
/proc/28906/task/28913/stat : 28913 (satake) R 28904 28906 27791 0 -1 4202560 4943 0 0 0 0 22 0 0 20 0 17 0 631048619 333631488 49754 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=28906/tid=28914] ppid=28904 vsize=325812 CPUtime=0.14
/proc/28906/task/28914/stat : 28914 (satake) R 28904 28906 27791 0 -1 4202560 2408 0 0 0 0 14 0 0 20 0 17 0 631048619 333631488 49777 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28906/tid=28915] ppid=28904 vsize=325812 CPUtime=0.14
/proc/28906/task/28915/stat : 28915 (satake) R 28904 28906 27791 0 -1 4202560 2328 0 0 0 0 14 0 0 20 0 17 0 631048619 333631488 49798 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28906/tid=28916] ppid=28904 vsize=325812 CPUtime=0.22
/proc/28906/task/28916/stat : 28916 (satake) R 28904 28906 27791 0 -1 4202560 4971 0 0 0 0 22 0 0 20 0 17 0 631048620 333631488 49817 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=28906/tid=28917] ppid=28904 vsize=325812 CPUtime=0.1
/proc/28906/task/28917/stat : 28917 (satake) R 28904 28906 27791 0 -1 4202560 2397 0 0 0 0 10 0 0 20 0 17 0 631048620 333631488 49839 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28906/tid=28918] ppid=28904 vsize=325812 CPUtime=0.22
/proc/28906/task/28918/stat : 28918 (satake) R 28904 28906 27791 0 -1 4202560 4158 0 0 0 0 22 0 0 20 0 17 0 631048620 333631488 49860 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=28906/tid=28919] ppid=28904 vsize=325812 CPUtime=0.22
/proc/28906/task/28919/stat : 28919 (satake) R 28904 28906 27791 0 -1 4202560 3904 0 0 0 0 22 0 0 20 0 17 0 631048620 333631488 49880 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=28906/tid=28920] ppid=28904 vsize=325812 CPUtime=0.08
/proc/28906/task/28920/stat : 28920 (satake) R 28904 28906 27791 0 -1 4202560 1783 0 0 0 0 8 0 0 20 0 17 0 631048620 333631488 49903 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28906/tid=28921] ppid=28904 vsize=325812 CPUtime=0.14
/proc/28906/task/28921/stat : 28921 (satake) R 28904 28906 27791 0 -1 4202560 3039 0 0 0 0 14 0 0 20 0 17 0 631048620 333631488 49921 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=28906/tid=28922] ppid=28904 vsize=325812 CPUtime=0.08
/proc/28906/task/28922/stat : 28922 (satake) R 28904 28906 27791 0 -1 4202560 1836 0 0 0 0 8 0 0 20 0 17 0 631048620 333631488 49950 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 325812

[startup+0.706012 s]
/proc/loadavg: 4.14 4.37 6.08 2/184 28906
/proc/meminfo: memFree=19116748/36427776 swapFree=4484/8040
[pid=28906] ppid=28904 vsize=427360 CPUtime=5.71
/proc/28906/stat : 28906 (satake) S 28904 28906 27791 0 -1 4202496 88008 0 0 0 1 570 0 0 20 0 17 0 631048619 437616640 87901 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/28906/statm: 106840 87901 63 164 0 106675 0
[pid=28906/tid=28907] ppid=28904 vsize=427360 CPUtime=0
/proc/28906/task/28907/stat : 28907 (satake) S 28904 28906 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 631048619 437616640 87901 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28908] ppid=28904 vsize=427360 CPUtime=0.3
/proc/28906/task/28908/stat : 28908 (satake) D 28904 28906 27791 0 -1 4202560 4909 0 0 0 0 30 0 0 20 0 17 0 631048619 437616640 87901 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28906/tid=28909] ppid=28904 vsize=427360 CPUtime=0.5
/proc/28906/task/28909/stat : 28909 (satake) D 28904 28906 27791 0 -1 4202560 7861 0 0 0 0 50 0 0 20 0 17 0 631048619 437616640 87901 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=28906/tid=28910] ppid=28904 vsize=427360 CPUtime=0.24
/proc/28906/task/28910/stat : 28910 (satake) D 28904 28906 27791 0 -1 4202560 3823 0 0 0 0 24 0 0 20 0 17 0 631048619 437616640 87901 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=28906/tid=28911] ppid=28904 vsize=427360 CPUtime=0.5
/proc/28906/task/28911/stat : 28911 (satake) D 28904 28906 27791 0 -1 4202560 7408 0 0 0 0 50 0 0 20 0 17 0 631048619 437616640 87901 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=28906/tid=28912] ppid=28904 vsize=427360 CPUtime=0.5
/proc/28906/task/28912/stat : 28912 (satake) D 28904 28906 27791 0 -1 4202560 8052 0 0 0 0 50 0 0 20 0 17 0 631048619 437616640 87901 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=28906/tid=28913] ppid=28904 vsize=427360 CPUtime=0.48
/proc/28906/task/28913/stat : 28913 (satake) R 28904 28906 27791 0 -1 4202560 7974 0 0 0 0 48 0 0 20 0 17 0 631048619 437616640 87901 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134522288 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=28906/tid=28914] ppid=28904 vsize=427360 CPUtime=0.3
/proc/28906/task/28914/stat : 28914 (satake) D 28904 28906 27791 0 -1 4202560 4492 0 0 0 0 30 0 0 20 0 17 0 631048619 437616640 87901 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=28906/tid=28915] ppid=28904 vsize=427360 CPUtime=0.3
/proc/28906/task/28915/stat : 28915 (satake) D 28904 28906 27791 0 -1 4202560 3936 0 0 0 0 30 0 0 20 0 17 0 631048619 437616640 87901 18446744073709551615 134512640 135180984 4286979904 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=28906/tid=28916] ppid=28904 vsize=427360 CPUtime=0.48

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

deleting IPC queue 128385102
deleting IPC queue 128417871
deleting IPC queue 128450640
deleting IPC queue 128483409
deleting IPC queue 128516178
deleting IPC queue 128548947
deleting IPC queue 128581716
deleting IPC queue 128614485
deleting IPC queue 128647254
deleting IPC queue 128680023
deleting IPC queue 128712792
deleting IPC queue 128745561
deleting IPC queue 128778330
deleting IPC queue 128811099
deleting IPC queue 128843868
deleting IPC queue 128876637
deleting IPC queue 128909406
deleting IPC queue 128942175
deleting IPC queue 128974944
deleting IPC queue 129007713
deleting IPC queue 129040482
deleting IPC queue 129073251
deleting IPC queue 129106020
deleting IPC queue 129138789
deleting IPC queue 129171558
deleting IPC queue 129204327
deleting IPC queue 129237096
deleting IPC queue 129269865
deleting IPC queue 129302634
deleting IPC queue 129335403
deleting IPC queue 129368172
deleting IPC queue 129400941
deleting IPC queue 129433710
deleting IPC queue 129466479
deleting IPC queue 129499248
deleting IPC queue 129532017
deleting IPC queue 129564786
deleting IPC queue 129597555
deleting IPC queue 129630324
deleting IPC queue 129663093
deleting IPC queue 129695862
deleting IPC queue 129728631
deleting IPC queue 129761400
deleting IPC queue 129794169
deleting IPC queue 129826938
deleting IPC queue 129859707
deleting IPC queue 129892476
deleting IPC queue 129925245
deleting IPC queue 129958014
deleting IPC queue 129990783
deleting IPC queue 130023552
deleting IPC queue 130056321
deleting IPC queue 130089090
deleting IPC queue 130121859
deleting IPC queue 130154628
deleting IPC queue 130187397
deleting IPC queue 130220166
deleting IPC queue 130252935
deleting IPC queue 130285704
deleting IPC queue 130318473
deleting IPC queue 130351242
deleting IPC queue 130384011
deleting IPC queue 130416780
deleting IPC queue 130449549
deleting IPC queue 130482318
deleting IPC queue 130515087
deleting IPC queue 130547856
deleting IPC queue 130580625
deleting IPC queue 130613394
deleting IPC queue 130646163
deleting IPC queue 130678932
deleting IPC queue 130711701
deleting IPC queue 130744470
deleting IPC queue 130777239
deleting IPC queue 130810008
deleting IPC queue 130842777
deleting IPC queue 130875546
deleting IPC queue 130908315
deleting IPC queue 130941084
deleting IPC queue 130973853
deleting IPC queue 131006622
deleting IPC queue 131039391
deleting IPC queue 131072160
deleting IPC queue 131104929
deleting IPC queue 131137698
deleting IPC queue 131170467
deleting IPC queue 131203236
deleting IPC queue 131236005
deleting IPC queue 131268774
deleting IPC queue 131301543
deleting IPC queue 131334312
deleting IPC queue 131367081
deleting IPC queue 131399850
deleting IPC queue 131432619
deleting IPC queue 131465388
deleting IPC queue 131498157
deleting IPC queue 131530926
deleting IPC queue 131563695
deleting IPC queue 131596464
deleting IPC queue 131629233
deleting IPC queue 131662002
deleting IPC queue 131694771
deleting IPC queue 131727540
deleting IPC queue 131760309
deleting IPC queue 131793078
deleting IPC queue 131825847
deleting IPC queue 131858616
deleting IPC queue 131891385
deleting IPC queue 131924154
deleting IPC queue 131956923
deleting IPC queue 131989692
deleting IPC queue 132022461
deleting IPC queue 132055230
deleting IPC queue 132087999
deleting IPC queue 132120768
deleting IPC queue 132153537
deleting IPC queue 132186306
deleting IPC queue 132219075
deleting IPC queue 132251844
deleting IPC queue 132284613
deleting IPC queue 132317382
deleting IPC queue 132350151
deleting IPC queue 132382920
deleting IPC queue 132415689
deleting IPC queue 132448458
deleting IPC queue 132481227
deleting IPC queue 132513996
deleting IPC queue 132546765
deleting IPC queue 132579534
deleting IPC queue 132612303
deleting IPC queue 132645072
deleting IPC queue 132677841
deleting IPC queue 132710610
deleting IPC queue 132743379
deleting IPC queue 132776148
deleting IPC queue 132808917
deleting IPC queue 132841686
deleting IPC queue 132874455
deleting IPC queue 132907224
deleting IPC queue 132939993
deleting IPC queue 132972762
deleting IPC queue 133005531
deleting IPC queue 133038300
deleting IPC queue 133071069
deleting IPC queue 133103838
deleting IPC queue 133136607
deleting IPC queue 133169376
deleting IPC queue 133202145
deleting IPC queue 133234914
deleting IPC queue 133267683
deleting IPC queue 133300452
deleting IPC queue 133333221
deleting IPC queue 133365990
deleting IPC queue 133398759
deleting IPC queue 133431528
deleting IPC queue 133464297
deleting IPC queue 133497066
deleting IPC queue 133529835
deleting IPC queue 133562604
deleting IPC queue 133595373
deleting IPC queue 133628142
deleting IPC queue 133660911
deleting IPC queue 133693680
deleting IPC queue 133726449
deleting IPC queue 133759218
deleting IPC queue 133791987
deleting IPC queue 133824756
deleting IPC queue 133857525
deleting IPC queue 133890294
deleting IPC queue 133923063
deleting IPC queue 133955832
deleting IPC queue 133988601
deleting IPC queue 134021370
deleting IPC queue 134054139
deleting IPC queue 134086908
deleting IPC queue 134119677
deleting IPC queue 134152446
deleting IPC queue 134185215

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6188.5
system time used= 523.049
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 544193
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= 48056081
involuntary context switches= 836961

runsolver used 4.58829 second user time and 12.9968 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 12:50:22
IDJOB=1775727
IDBENCH=20375
IDSOLVER=631
FILE ID=xenhost3-49/1775727-1244717422
PBS_JOBID=
Free space on /tmp= 7013 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-19-u.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775727-1244717422/watcher-1775727-1244717422 -o /tmp/evaluation-result-1775727-1244717422/solver-1775727-1244717422 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775727-1244717422.cnf 16 10000

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

MD5SUM BENCH= a2687a8a1b0deeabfd7eddcfa56549a2
RANDOM SEED= 1014215035

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:      19116748 kB
Buffers:        432008 kB
Cached:       14128648 kB
SwapCached:          0 kB
Active:        4077316 kB
Inactive:     10491936 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           29840 kB
Writeback:           0 kB
AnonPages:        8040 kB
Mapped:           3820 kB
Slab:           688096 kB
SReclaimable:   661268 kB
SUnreclaim:      26828 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

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