Trace number 1780092

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) 6522.33 1000.15

General information on the benchmark

NameAPPLICATIONS/c32sat/
post-c32s-gcdm16-23.cnf
MD5SUMa61ef2b7b3d16661e8162c430ffb1a51
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark308.15
Satisfiable
(Un)Satisfiability was proved
Number of variables135543
Number of clauses404326
Sum of the clauses size943426
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2269550
Number of clauses of size 3134775
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-1780092-1244815166/watcher-1780092-1244815166 -o /tmp/evaluation-result-1780092-1244815166/solver-1780092-1244815166 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780092-1244815166.cnf 16 10000 

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


[startup+0 s]
/proc/loadavg: 3.70 3.96 3.60 2/184 8198
/proc/meminfo: memFree=19126252/36427776 swapFree=4648/9020
[pid=8198] ppid=8196 vsize=8204 CPUtime=0
/proc/8198/stat : 8198 (satake) S 8196 8198 27791 0 -1 4202496 474 0 0 0 0 0 0 0 20 0 17 0 640822966 8400896 431 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8198/statm: 2051 431 63 164 0 1886 0
[pid=8198/tid=8199] ppid=8196 vsize=8600 CPUtime=0
/proc/8198/task/8199/stat : 8199 (satake) S 8196 8198 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 640822966 8806400 474 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8198/tid=8200] ppid=8196 vsize=8600 CPUtime=0
/proc/8198/task/8200/stat : 8200 (satake) S 8196 8198 27791 0 -1 4202560 51 0 0 0 0 0 0 0 20 0 17 0 640822966 8806400 474 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=8198/tid=8201] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8201/stat : 8201 (satake) D 8196 8198 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 474 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8198/tid=8202] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8202/stat : 8202 (satake) D 8196 8198 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 477 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8198/tid=8203] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8203/stat : 8203 (satake) R 8196 8198 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 479 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8198/tid=8204] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8204/stat : 8204 (satake) D 8196 8198 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 481 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8198/tid=8205] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8205/stat : 8205 (satake) S 8196 8198 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 482 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=8198/tid=8206] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8206/stat : 8206 (satake) S 8196 8198 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 482 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=8198/tid=8207] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8207/stat : 8207 (satake) R 8196 8198 27791 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 482 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8198/tid=8208] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8208/stat : 8208 (satake) R 8196 8198 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 482 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8198/tid=8209] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8209/stat : 8209 (satake) R 8196 8198 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 485 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8198/tid=8210] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8210/stat : 8210 (satake) R 8196 8198 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 486 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8198/tid=8211] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8211/stat : 8211 (satake) S 8196 8198 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 640822966 9076736 487 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=8198/tid=8212] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8212/stat : 8212 (satake) R 8196 8198 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 640822967 9076736 490 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8198/tid=8213] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8213/stat : 8213 (satake) R 8196 8198 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 640822967 9076736 492 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8214] ppid=8196 vsize=8864 CPUtime=0
/proc/8198/task/8214/stat : 8214 (satake) R 8196 8198 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 640822967 9076736 517 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.060924 s]
/proc/loadavg: 3.70 3.96 3.60 2/184 8198
/proc/meminfo: memFree=19126252/36427776 swapFree=4648/9020
[pid=8198] ppid=8196 vsize=30456 CPUtime=0.3
/proc/8198/stat : 8198 (satake) S 8196 8198 27791 0 -1 4202496 3746 0 0 0 0 30 0 0 20 0 17 0 640822966 31186944 3687 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8198/statm: 7614 3691 63 164 0 7449 0
[pid=8198/tid=8199] ppid=8196 vsize=30456 CPUtime=0
/proc/8198/task/8199/stat : 8199 (satake) S 8196 8198 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 640822966 31186944 3693 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8198/tid=8200] ppid=8196 vsize=30456 CPUtime=0
/proc/8198/task/8200/stat : 8200 (satake) R 8196 8198 27791 0 -1 4202560 120 0 0 0 0 0 0 0 20 0 17 0 640822966 31186944 3694 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8198/tid=8201] ppid=8196 vsize=30456 CPUtime=0.02
/proc/8198/task/8201/stat : 8201 (satake) R 8196 8198 27791 0 -1 4202560 291 0 0 0 0 2 0 0 20 0 17 0 640822966 31186944 3695 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8198/tid=8202] ppid=8196 vsize=30456 CPUtime=0.02
/proc/8198/task/8202/stat : 8202 (satake) R 8196 8198 27791 0 -1 4202560 287 0 0 0 0 2 0 0 20 0 17 0 640822966 31186944 3699 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8198/tid=8203] ppid=8196 vsize=30456 CPUtime=0.02
/proc/8198/task/8203/stat : 8203 (satake) R 8196 8198 27791 0 -1 4202560 338 0 0 0 0 2 0 0 20 0 17 0 640822966 31186944 3746 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8198/tid=8204] ppid=8196 vsize=30456 CPUtime=0.02
/proc/8198/task/8204/stat : 8204 (satake) R 8196 8198 27791 0 -1 4202560 316 0 0 0 0 2 0 0 20 0 17 0 640822966 31186944 3790 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8198/tid=8205] ppid=8196 vsize=30456 CPUtime=0
/proc/8198/task/8205/stat : 8205 (satake) R 8196 8198 27791 0 -1 4202560 100 0 0 0 0 0 0 0 20 0 17 0 640822966 31186944 3831 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8198/tid=8206] ppid=8196 vsize=30456 CPUtime=0.02
/proc/8198/task/8206/stat : 8206 (satake) R 8196 8198 27791 0 -1 4202560 256 0 0 0 0 2 0 0 20 0 17 0 640822966 31186944 3868 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8198/tid=8207] ppid=8196 vsize=30456 CPUtime=0.02
/proc/8198/task/8207/stat : 8207 (satake) R 8196 8198 27791 0 -1 4202560 335 0 0 0 0 2 0 0 20 0 17 0 640822966 31186944 3907 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8198/tid=8208] ppid=8196 vsize=30456 CPUtime=0.04
/proc/8198/task/8208/stat : 8208 (satake) R 8196 8198 27791 0 -1 4202560 310 0 0 0 0 4 0 0 20 0 17 0 640822966 31186944 3937 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8198/tid=8209] ppid=8196 vsize=30456 CPUtime=0.02
/proc/8198/task/8209/stat : 8209 (satake) R 8196 8198 27791 0 -1 4202560 377 0 0 0 0 2 0 0 20 0 17 0 640822966 31186944 3968 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8198/tid=8210] ppid=8196 vsize=30456 CPUtime=0
/proc/8198/task/8210/stat : 8210 (satake) R 8196 8198 27791 0 -1 4202560 67 0 0 0 0 0 0 0 20 0 17 0 640822966 31186944 3976 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8198/tid=8211] ppid=8196 vsize=30456 CPUtime=0.02
/proc/8198/task/8211/stat : 8211 (satake) R 8196 8198 27791 0 -1 4202560 306 0 0 0 0 2 0 0 20 0 17 0 640822966 31186944 4021 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8198/tid=8212] ppid=8196 vsize=30456 CPUtime=0.02
/proc/8198/task/8212/stat : 8212 (satake) R 8196 8198 27791 0 -1 4202560 366 0 0 0 0 2 0 0 20 0 17 0 640822967 31186944 4035 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8198/tid=8213] ppid=8196 vsize=30456 CPUtime=0.02
/proc/8198/task/8213/stat : 8213 (satake) R 8196 8198 27791 0 -1 4202560 295 0 0 0 0 2 0 0 20 0 17 0 640822967 31186944 4063 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8214] ppid=8196 vsize=30456 CPUtime=0
/proc/8198/task/8214/stat : 8214 (satake) R 8196 8198 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 640822967 31186944 4099 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 30456

[startup+0.104832 s]
/proc/loadavg: 3.70 3.96 3.60 2/184 8198
/proc/meminfo: memFree=19126252/36427776 swapFree=4648/9020
[pid=8198] ppid=8196 vsize=52856 CPUtime=0.74
/proc/8198/stat : 8198 (satake) S 8196 8198 27791 0 -1 4202496 9715 0 0 0 0 74 0 0 20 0 17 0 640822966 54124544 9656 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8198/statm: 13214 9656 63 164 0 13049 0
[pid=8198/tid=8199] ppid=8196 vsize=53880 CPUtime=0
/proc/8198/task/8199/stat : 8199 (satake) S 8196 8198 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 640822966 55173120 9656 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8198/tid=8200] ppid=8196 vsize=53880 CPUtime=0.02
/proc/8198/task/8200/stat : 8200 (satake) R 8196 8198 27791 0 -1 4202560 499 0 0 0 0 2 0 0 20 0 17 0 640822966 55173120 9658 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8198/tid=8201] ppid=8196 vsize=53880 CPUtime=0.04
/proc/8198/task/8201/stat : 8201 (satake) D 8196 8198 27791 0 -1 4202560 466 0 0 0 0 4 0 0 20 0 17 0 640822966 55173120 9663 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8198/tid=8202] ppid=8196 vsize=53880 CPUtime=0.06
/proc/8198/task/8202/stat : 8202 (satake) R 8196 8198 27791 0 -1 4202560 768 0 0 0 0 6 0 0 20 0 17 0 640822966 55173120 9665 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8198/tid=8203] ppid=8196 vsize=53880 CPUtime=0.06
/proc/8198/task/8203/stat : 8203 (satake) R 8196 8198 27791 0 -1 4202560 848 0 0 0 0 6 0 0 20 0 17 0 640822966 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8198/tid=8204] ppid=8196 vsize=53880 CPUtime=0.06
/proc/8198/task/8204/stat : 8204 (satake) R 8196 8198 27791 0 -1 4202560 865 0 0 0 0 6 0 0 20 0 17 0 640822966 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8198/tid=8205] ppid=8196 vsize=53880 CPUtime=0.04
/proc/8198/task/8205/stat : 8205 (satake) R 8196 8198 27791 0 -1 4202560 602 0 0 0 0 4 0 0 20 0 17 0 640822966 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8198/tid=8206] ppid=8196 vsize=53880 CPUtime=0.02
/proc/8198/task/8206/stat : 8206 (satake) R 8196 8198 27791 0 -1 4202560 272 0 0 0 0 2 0 0 20 0 17 0 640822966 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8198/tid=8207] ppid=8196 vsize=53880 CPUtime=0.06
/proc/8198/task/8207/stat : 8207 (satake) R 8196 8198 27791 0 -1 4202560 872 0 0 0 0 6 0 0 20 0 17 0 640822966 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8198/tid=8208] ppid=8196 vsize=53880 CPUtime=0.06
/proc/8198/task/8208/stat : 8208 (satake) R 8196 8198 27791 0 -1 4202560 812 0 0 0 0 6 0 0 20 0 17 0 640822966 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=8198/tid=8209] ppid=8196 vsize=53880 CPUtime=0.06
/proc/8198/task/8209/stat : 8209 (satake) R 8196 8198 27791 0 -1 4202560 1022 0 0 0 0 6 0 0 20 0 17 0 640822966 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8198/tid=8210] ppid=8196 vsize=53880 CPUtime=0
/proc/8198/task/8210/stat : 8210 (satake) D 8196 8198 27791 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 17 0 640822966 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8198/tid=8211] ppid=8196 vsize=53880 CPUtime=0.06
/proc/8198/task/8211/stat : 8211 (satake) R 8196 8198 27791 0 -1 4202560 808 0 0 0 0 6 0 0 20 0 17 0 640822966 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8198/tid=8212] ppid=8196 vsize=53880 CPUtime=0.06
/proc/8198/task/8212/stat : 8212 (satake) R 8196 8198 27791 0 -1 4202560 924 0 0 0 0 6 0 0 20 0 17 0 640822967 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8198/tid=8213] ppid=8196 vsize=53880 CPUtime=0.04
/proc/8198/task/8213/stat : 8213 (satake) R 8196 8198 27791 0 -1 4202560 477 0 0 0 0 4 0 0 20 0 17 0 640822967 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8214] ppid=8196 vsize=53880 CPUtime=0.02
/proc/8198/task/8214/stat : 8214 (satake) R 8196 8198 27791 0 -1 4202560 275 0 0 0 0 2 0 0 20 0 17 0 640822967 55173120 9666 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 52856

[startup+0.304655 s]
/proc/loadavg: 3.70 3.96 3.60 2/184 8198
/proc/meminfo: memFree=19126252/36427776 swapFree=4648/9020
[pid=8198] ppid=8196 vsize=127544 CPUtime=2.15
/proc/8198/stat : 8198 (satake) S 8196 8198 27791 0 -1 4202496 26452 0 0 0 0 215 0 0 20 0 17 0 640822966 130605056 26393 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8198/statm: 31886 26394 63 164 0 31721 0
[pid=8198/tid=8199] ppid=8196 vsize=127544 CPUtime=0
/proc/8198/task/8199/stat : 8199 (satake) S 8196 8198 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 640822966 130605056 26398 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8198/tid=8200] ppid=8196 vsize=127544 CPUtime=0.1
/proc/8198/task/8200/stat : 8200 (satake) R 8196 8198 27791 0 -1 4202560 1635 0 0 0 0 10 0 0 20 0 17 0 640822966 130605056 26398 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8198/tid=8201] ppid=8196 vsize=127544 CPUtime=0.1
/proc/8198/task/8201/stat : 8201 (satake) R 8196 8198 27791 0 -1 4202560 1554 0 0 0 0 10 0 0 20 0 17 0 640822966 130605056 26398 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=8198/tid=8202] ppid=8196 vsize=127544 CPUtime=0.2
/proc/8198/task/8202/stat : 8202 (satake) R 8196 8198 27791 0 -1 4202560 2021 0 0 0 0 20 0 0 20 0 17 0 640822966 130605056 26400 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134522361 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=8198/tid=8203] ppid=8196 vsize=127544 CPUtime=0.18
/proc/8198/task/8203/stat : 8203 (satake) S 8196 8198 27791 0 -1 4202560 1926 0 0 0 0 18 0 0 20 0 17 0 640822966 130605056 26408 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=8198/tid=8204] ppid=8196 vsize=127544 CPUtime=0.18
/proc/8198/task/8204/stat : 8204 (satake) S 8196 8198 27791 0 -1 4202560 1907 0 0 0 0 18 0 0 20 0 17 0 640822966 130605056 26430 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=8198/tid=8205] ppid=8196 vsize=127544 CPUtime=0.1
/proc/8198/task/8205/stat : 8205 (satake) R 8196 8198 27791 0 -1 4202560 1718 0 0 0 0 10 0 0 20 0 17 0 640822966 130605056 26446 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8198/tid=8206] ppid=8196 vsize=127544 CPUtime=0.1
/proc/8198/task/8206/stat : 8206 (satake) R 8196 8198 27791 0 -1 4202560 1471 0 0 0 0 10 0 0 20 0 17 0 640822966 130605056 26461 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8198/tid=8207] ppid=8196 vsize=127544 CPUtime=0.18
/proc/8198/task/8207/stat : 8207 (satake) R 8196 8198 27791 0 -1 4202560 1905 0 0 0 0 18 0 0 20 0 17 0 640822966 130605056 26473 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=8198/tid=8208] ppid=8196 vsize=127544 CPUtime=0.18
/proc/8198/task/8208/stat : 8208 (satake) D 8196 8198 27791 0 -1 4202560 1909 0 0 0 0 18 0 0 20 0 17 0 640822966 130605056 26487 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134702260 0 0 1 0 18446744071564502736 0 0 -1 12 0 0 0 0 0
[pid=8198/tid=8209] ppid=8196 vsize=127544 CPUtime=0.12
/proc/8198/task/8209/stat : 8209 (satake) R 8196 8198 27791 0 -1 4202560 1826 0 0 0 0 12 0 0 20 0 17 0 640822966 130605056 26488 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8198/tid=8210] ppid=8196 vsize=127544 CPUtime=0.08
/proc/8198/task/8210/stat : 8210 (satake) D 8196 8198 27791 0 -1 4202560 1587 0 0 0 0 8 0 0 20 0 17 0 640822966 130605056 26489 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=8198/tid=8211] ppid=8196 vsize=127544 CPUtime=0.18
/proc/8198/task/8211/stat : 8211 (satake) D 8196 8198 27791 0 -1 4202560 1978 0 0 0 0 18 0 0 20 0 17 0 640822966 130605056 26492 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=8198/tid=8212] ppid=8196 vsize=127544 CPUtime=0.2
/proc/8198/task/8212/stat : 8212 (satake) R 8196 8198 27791 0 -1 4202560 2108 0 0 0 0 20 0 0 20 0 17 0 640822967 130605056 26492 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=8198/tid=8213] ppid=8196 vsize=127544 CPUtime=0.14
/proc/8198/task/8213/stat : 8213 (satake) R 8196 8198 27791 0 -1 4202560 1672 0 0 0 0 14 0 0 20 0 17 0 640822967 130605056 26493 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=8198/tid=8214] ppid=8196 vsize=127544 CPUtime=0.06
/proc/8198/task/8214/stat : 8214 (satake) R 8196 8198 27791 0 -1 4202560 1171 0 0 0 0 6 0 0 20 0 17 0 640822967 130605056 26493 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 127544

[startup+0.702906 s]
/proc/loadavg: 3.70 3.96 3.60 2/184 8198
/proc/meminfo: memFree=19126252/36427776 swapFree=4648/9020
[pid=8198] ppid=8196 vsize=184220 CPUtime=3.93
/proc/8198/stat : 8198 (satake) S 8196 8198 27791 0 -1 4202496 41073 0 0 0 48 345 0 0 20 0 17 0 640822966 188641280 41014 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/8198/statm: 46055 41021 63 164 0 45890 0
[pid=8198/tid=8199] ppid=8196 vsize=184220 CPUtime=0
/proc/8198/task/8199/stat : 8199 (satake) S 8196 8198 27791 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 17 0 640822966 188641280 41022 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=8198/tid=8200] ppid=8196 vsize=184220 CPUtime=0.22
/proc/8198/task/8200/stat : 8200 (satake) S 8196 8198 27791 0 -1 4202560 2745 0 0 0 4 18 0 0 20 0 17 0 640822966 188641280 41023 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=8198/tid=8201] ppid=8196 vsize=184220 CPUtime=0.22
/proc/8198/task/8201/stat : 8201 (satake) R 8196 8198 27791 0 -1 4202560 2655 0 0 0 4 18 0 0 20 0 17 0 640822966 188641280 41023 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134513717 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=8198/tid=8202] ppid=8196 vsize=184220 CPUtime=0.32
/proc/8198/task/8202/stat : 8202 (satake) S 8196 8198 27791 0 -1 4202560 2910 0 0 0 2 30 0 0 20 0 17 0 640822966 188641280 41023 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=8198/tid=8203] ppid=8196 vsize=184220 CPUtime=0.32
/proc/8198/task/8203/stat : 8203 (satake) R 8196 8198 27791 0 -1 4202560 2899 0 0 0 2 30 0 0 20 0 17 0 640822966 188641280 41023 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=8198/tid=8204] ppid=8196 vsize=184220 CPUtime=0.3
/proc/8198/task/8204/stat : 8204 (satake) D 8196 8198 27791 0 -1 4202560 2808 0 0 0 2 28 0 0 20 0 17 0 640822966 188641280 41023 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=8198/tid=8205] ppid=8196 vsize=184220 CPUtime=0.2
/proc/8198/task/8205/stat : 8205 (satake) S 8196 8198 27791 0 -1 4202560 2529 0 0 0 0 20 0 0 20 0 17 0 640822966 188641280 41025 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 11 0 0 0 0 0
[pid=8198/tid=8206] ppid=8196 vsize=184220 CPUtime=0.2
/proc/8198/task/8206/stat : 8206 (satake) D 8196 8198 27791 0 -1 4202560 2604 0 0 0 2 18 0 0 20 0 17 0 640822966 188641280 41025 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=8198/tid=8207] ppid=8196 vsize=184220 CPUtime=0.28
/proc/8198/task/8207/stat : 8207 (satake) S 8196 8198 27791 0 -1 4202560 2805 0 0 0 6 22 0 0 20 0 17 0 640822966 188641280 41025 18446744073709551615 134512640 135180984 4294389328 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=8198/tid=8208] ppid=8196 vsize=184220 CPUtime=0.3

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

deleting IPC queue 1613168718
deleting IPC queue 1613201487
deleting IPC queue 1613234256
deleting IPC queue 1613267025
deleting IPC queue 1613299794
deleting IPC queue 1613332563
deleting IPC queue 1613365332
deleting IPC queue 1613398101
deleting IPC queue 1613430870
deleting IPC queue 1613463639
deleting IPC queue 1613496408
deleting IPC queue 1613529177
deleting IPC queue 1613561946
deleting IPC queue 1613594715
deleting IPC queue 1613627484
deleting IPC queue 1613660253
deleting IPC queue 1613693022
deleting IPC queue 1613725791
deleting IPC queue 1613758560
deleting IPC queue 1613791329
deleting IPC queue 1613824098
deleting IPC queue 1613856867
deleting IPC queue 1613889636
deleting IPC queue 1613922405
deleting IPC queue 1613955174
deleting IPC queue 1613987943
deleting IPC queue 1614020712
deleting IPC queue 1614053481
deleting IPC queue 1614086250
deleting IPC queue 1614119019
deleting IPC queue 1614151788
deleting IPC queue 1614184557
deleting IPC queue 1614217326
deleting IPC queue 1614250095
deleting IPC queue 1614282864
deleting IPC queue 1614315633
deleting IPC queue 1614348402
deleting IPC queue 1614381171
deleting IPC queue 1614413940
deleting IPC queue 1614446709
deleting IPC queue 1614479478
deleting IPC queue 1614512247
deleting IPC queue 1614545016
deleting IPC queue 1614577785
deleting IPC queue 1614610554
deleting IPC queue 1614643323
deleting IPC queue 1614676092
deleting IPC queue 1614708861
deleting IPC queue 1614741630
deleting IPC queue 1614774399
deleting IPC queue 1614807168
deleting IPC queue 1614839937
deleting IPC queue 1614872706
deleting IPC queue 1614905475
deleting IPC queue 1614938244
deleting IPC queue 1614971013
deleting IPC queue 1615003782
deleting IPC queue 1615036551
deleting IPC queue 1615069320
deleting IPC queue 1615102089
deleting IPC queue 1615134858
deleting IPC queue 1615167627
deleting IPC queue 1615200396
deleting IPC queue 1615233165
deleting IPC queue 1615265934
deleting IPC queue 1615298703
deleting IPC queue 1615331472
deleting IPC queue 1615364241
deleting IPC queue 1615397010
deleting IPC queue 1615429779
deleting IPC queue 1615462548
deleting IPC queue 1615495317
deleting IPC queue 1615528086
deleting IPC queue 1615560855
deleting IPC queue 1615593624
deleting IPC queue 1615626393
deleting IPC queue 1615659162
deleting IPC queue 1615691931
deleting IPC queue 1615724700
deleting IPC queue 1615757469
deleting IPC queue 1615790238
deleting IPC queue 1615823007
deleting IPC queue 1615855776
deleting IPC queue 1615888545
deleting IPC queue 1615921314
deleting IPC queue 1615954083
deleting IPC queue 1615986852
deleting IPC queue 1616019621
deleting IPC queue 1616052390
deleting IPC queue 1616085159
deleting IPC queue 1616117928
deleting IPC queue 1616150697
deleting IPC queue 1616183466
deleting IPC queue 1616216235
deleting IPC queue 1616249004
deleting IPC queue 1616281773
deleting IPC queue 1616314542
deleting IPC queue 1616347311
deleting IPC queue 1616380080
deleting IPC queue 1616412849
deleting IPC queue 1616445618
deleting IPC queue 1616478387
deleting IPC queue 1616511156
deleting IPC queue 1616543925
deleting IPC queue 1616576694
deleting IPC queue 1616609463
deleting IPC queue 1616642232
deleting IPC queue 1616675001
deleting IPC queue 1616707770
deleting IPC queue 1616740539
deleting IPC queue 1616773308
deleting IPC queue 1616806077
deleting IPC queue 1616838846
deleting IPC queue 1616871615
deleting IPC queue 1616904384
deleting IPC queue 1616937153
deleting IPC queue 1616969922
deleting IPC queue 1617002691
deleting IPC queue 1617035460
deleting IPC queue 1617068229
deleting IPC queue 1617100998
deleting IPC queue 1617133767
deleting IPC queue 1617166536
deleting IPC queue 1617199305
deleting IPC queue 1617232074
deleting IPC queue 1617264843
deleting IPC queue 1617297612
deleting IPC queue 1617330381
deleting IPC queue 1617363150
deleting IPC queue 1617395919
deleting IPC queue 1617428688
deleting IPC queue 1617461457
deleting IPC queue 1617494226
deleting IPC queue 1617526995
deleting IPC queue 1617559764
deleting IPC queue 1617592533
deleting IPC queue 1617625302
deleting IPC queue 1617658071
deleting IPC queue 1617690840
deleting IPC queue 1617723609
deleting IPC queue 1617756378
deleting IPC queue 1617789147
deleting IPC queue 1617821916
deleting IPC queue 1617854685
deleting IPC queue 1617887454
deleting IPC queue 1617920223
deleting IPC queue 1617952992
deleting IPC queue 1617985761
deleting IPC queue 1618018530
deleting IPC queue 1618051299
deleting IPC queue 1618084068
deleting IPC queue 1618116837
deleting IPC queue 1618149606
deleting IPC queue 1618182375
deleting IPC queue 1618215144
deleting IPC queue 1618247913
deleting IPC queue 1618280682
deleting IPC queue 1618313451
deleting IPC queue 1618346220
deleting IPC queue 1618378989
deleting IPC queue 1618411758
deleting IPC queue 1618444527
deleting IPC queue 1618477296
deleting IPC queue 1618510065
deleting IPC queue 1618542834
deleting IPC queue 1618575603
deleting IPC queue 1618608372
deleting IPC queue 1618641141
deleting IPC queue 1618673910
deleting IPC queue 1618706679
deleting IPC queue 1618739448
deleting IPC queue 1618772217
deleting IPC queue 1618804986
deleting IPC queue 1618837755
deleting IPC queue 1618870524
deleting IPC queue 1618903293
deleting IPC queue 1618936062
deleting IPC queue 1618968831

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5970.77
system time used= 551.554
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 303715
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= 49200474
involuntary context switches= 1506840

runsolver used 4.62029 second user time and 12.6408 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 15:59:26
IDJOB=1780092
IDBENCH=70952
IDSOLVER=631
FILE ID=xenhost3-49/1780092-1244815166
PBS_JOBID=
Free space on /tmp= 7024 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT09/APPLICATIONS/c32sat/post-c32s-gcdm16-23.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1780092-1244815166/watcher-1780092-1244815166 -o /tmp/evaluation-result-1780092-1244815166/solver-1780092-1244815166 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1780092-1244815166.cnf 16 10000

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

MD5SUM BENCH= a61ef2b7b3d16661e8162c430ffb1a51
RANDOM SEED= 2066967787

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:      19126252 kB
Buffers:        434128 kB
Cached:       14116448 kB
SwapCached:          0 kB
Active:        4080012 kB
Inactive:     10479504 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            7392 kB
Writeback:           0 kB
AnonPages:        9020 kB
Mapped:           3984 kB
Slab:           688712 kB
SReclaimable:   661716 kB
SUnreclaim:      26996 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= 7024 MiB
End job on xenhost3-49 at 2009-06-12 16:16:08