Trace number 1778997

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) 3042.22 1000.18

General information on the benchmark

NameAPPLICATIONS/bitverif/
smulo/smulo128.cnf
MD5SUMc5685247c8f21e8da88f42049fffdb13
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 variables188473
Number of clauses564650
Sum of the clauses size1317514
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2376432
Number of clauses of size 3188216
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-1778997-1244776541/watcher-1778997-1244776541 -o /tmp/evaluation-result-1778997-1244776541/solver-1778997-1244776541 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778997-1244776541.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: 1.92 2.47 3.39 2/184 3229
/proc/meminfo: memFree=19130992/36427776 swapFree=3360/7972
[pid=3229] ppid=3227 vsize=6940 CPUtime=0
/proc/3229/stat : 3229 (satake) R 3227 3229 27791 0 -1 4202496 402 0 0 0 0 0 0 0 20 0 13 0 636960454 7106560 356 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134702083 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/3229/statm: 1735 356 63 164 0 1570 0
[pid=3229/tid=3230] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3230/stat : 3230 (satake) S 3227 3229 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 14 0 636960454 9433088 581 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3231] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3231/stat : 3231 (satake) D 3227 3229 27791 0 -1 4202560 77 0 0 0 0 0 0 0 20 0 14 0 636960454 9433088 583 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3229/tid=3232] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3232/stat : 3232 (satake) R 3227 3229 27791 0 -1 4202560 69 0 0 0 0 0 0 0 20 0 14 0 636960454 9433088 585 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3229/tid=3233] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3233/stat : 3233 (satake) R 3227 3229 27791 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 14 0 636960454 9433088 585 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3229/tid=3234] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3234/stat : 3234 (satake) R 3227 3229 27791 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 14 0 636960454 9433088 585 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3229/tid=3235] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3235/stat : 3235 (satake) R 3227 3229 27791 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 14 0 636960454 9433088 587 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3229/tid=3236] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3236/stat : 3236 (satake) R 3227 3229 27791 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 14 0 636960454 9433088 589 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3229/tid=3237] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3237/stat : 3237 (satake) R 3227 3229 27791 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 14 0 636960454 9433088 591 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3229/tid=3238] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3238/stat : 3238 (satake) S 3227 3229 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 14 0 636960454 9433088 591 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 13 0 0 0 0 0
[pid=3229/tid=3239] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3239/stat : 3239 (satake) R 3227 3229 27791 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 14 0 636960454 9433088 601 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3229/tid=3240] ppid=3227 vsize=9212 CPUtime=0
/proc/3229/task/3240/stat : 3240 (satake) D 3227 3229 27791 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 14 0 636960455 9433088 611 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3241] ppid=3227 vsize=9340 CPUtime=0
/proc/3229/task/3241/stat : 3241 (satake) D 3227 3229 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 14 0 636960455 9564160 611 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3229/tid=3242] ppid=3227 vsize=9340 CPUtime=0
/proc/3229/task/3242/stat : 3242 (satake) R 3227 3229 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 14 0 636960455 9564160 616 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0

[startup+0.070129 s]
/proc/loadavg: 1.92 2.47 3.39 2/184 3229
/proc/meminfo: memFree=19130992/36427776 swapFree=3360/7972
[pid=3229] ppid=3227 vsize=29464 CPUtime=0.48
/proc/3229/stat : 3229 (satake) S 3227 3229 27791 0 -1 4202496 3809 0 0 0 0 48 0 0 20 0 17 0 636960454 30171136 3763 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/3229/statm: 7366 3765 63 164 0 7201 0
[pid=3229/tid=3230] ppid=3227 vsize=29464 CPUtime=0
/proc/3229/task/3230/stat : 3230 (satake) S 3227 3229 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 636960454 30171136 3765 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3231] ppid=3227 vsize=29464 CPUtime=0.04
/proc/3229/task/3231/stat : 3231 (satake) R 3227 3229 27791 0 -1 4202560 310 0 0 0 0 4 0 0 20 0 17 0 636960454 30171136 3768 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3229/tid=3232] ppid=3227 vsize=29464 CPUtime=0.04
/proc/3229/task/3232/stat : 3232 (satake) R 3227 3229 27791 0 -1 4202560 309 0 0 0 0 4 0 0 20 0 17 0 636960454 30171136 3773 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3229/tid=3233] ppid=3227 vsize=29464 CPUtime=0.04
/proc/3229/task/3233/stat : 3233 (satake) R 3227 3229 27791 0 -1 4202560 298 0 0 0 0 4 0 0 20 0 17 0 636960454 30171136 3816 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3229/tid=3234] ppid=3227 vsize=29464 CPUtime=0
/proc/3229/task/3234/stat : 3234 (satake) R 3227 3229 27791 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 17 0 636960454 30171136 3881 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3229/tid=3235] ppid=3227 vsize=29464 CPUtime=0.04
/proc/3229/task/3235/stat : 3235 (satake) D 3227 3229 27791 0 -1 4202560 307 0 0 0 0 4 0 0 20 0 17 0 636960454 30171136 3881 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3229/tid=3236] ppid=3227 vsize=30488 CPUtime=0.04
/proc/3229/task/3236/stat : 3236 (satake) R 3227 3229 27791 0 -1 4202560 279 0 0 0 0 4 0 0 20 0 17 0 636960454 31219712 3881 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3229/tid=3237] ppid=3227 vsize=30488 CPUtime=0.04
/proc/3229/task/3237/stat : 3237 (satake) D 3227 3229 27791 0 -1 4202560 314 0 0 0 0 4 0 0 20 0 17 0 636960454 31219712 3885 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3229/tid=3238] ppid=3227 vsize=30488 CPUtime=0
/proc/3229/task/3238/stat : 3238 (satake) D 3227 3229 27791 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 17 0 636960454 31219712 3886 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3229/tid=3239] ppid=3227 vsize=30488 CPUtime=0.04
/proc/3229/task/3239/stat : 3239 (satake) R 3227 3229 27791 0 -1 4202560 291 0 0 0 0 4 0 0 20 0 17 0 636960454 31219712 3887 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3229/tid=3240] ppid=3227 vsize=30488 CPUtime=0.04
/proc/3229/task/3240/stat : 3240 (satake) D 3227 3229 27791 0 -1 4202560 323 0 0 0 0 4 0 0 20 0 17 0 636960455 31219712 3888 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3241] ppid=3227 vsize=30488 CPUtime=0.04
/proc/3229/task/3241/stat : 3241 (satake) R 3227 3229 27791 0 -1 4202560 274 0 0 0 0 4 0 0 20 0 17 0 636960455 31219712 3889 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134706046 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3229/tid=3242] ppid=3227 vsize=30488 CPUtime=0.04
/proc/3229/task/3242/stat : 3242 (satake) R 3227 3229 27791 0 -1 4202560 244 0 0 0 0 4 0 0 20 0 17 0 636960455 31219712 3889 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 29464

[startup+0.106064 s]
/proc/loadavg: 1.92 2.47 3.39 2/184 3229
/proc/meminfo: memFree=19130992/36427776 swapFree=3360/7972
[pid=3229] ppid=3227 vsize=40216 CPUtime=0.86
/proc/3229/stat : 3229 (satake) S 3227 3229 27791 0 -1 4202496 7087 0 0 0 0 86 0 0 20 0 17 0 636960454 41181184 7041 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/3229/statm: 10054 7041 63 164 0 9889 0
[pid=3229/tid=3230] ppid=3227 vsize=40216 CPUtime=0
/proc/3229/task/3230/stat : 3230 (satake) S 3227 3229 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 636960454 41181184 7041 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3231] ppid=3227 vsize=40216 CPUtime=0.06
/proc/3229/task/3231/stat : 3231 (satake) D 3227 3229 27791 0 -1 4202560 515 0 0 0 0 6 0 0 20 0 17 0 636960454 41181184 7041 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3229/tid=3232] ppid=3227 vsize=40216 CPUtime=0.06
/proc/3229/task/3232/stat : 3232 (satake) D 3227 3229 27791 0 -1 4202560 497 0 0 0 0 6 0 0 20 0 17 0 636960454 41181184 7041 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3229/tid=3233] ppid=3227 vsize=40216 CPUtime=0.04
/proc/3229/task/3233/stat : 3233 (satake) D 3227 3229 27791 0 -1 4202560 377 0 0 0 0 4 0 0 20 0 17 0 636960454 41181184 7041 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3229/tid=3234] ppid=3227 vsize=40216 CPUtime=0.02
/proc/3229/task/3234/stat : 3234 (satake) D 3227 3229 27791 0 -1 4202560 178 0 0 0 0 2 0 0 20 0 17 0 636960454 41181184 7041 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3229/tid=3235] ppid=3227 vsize=40216 CPUtime=0.06
/proc/3229/task/3235/stat : 3235 (satake) D 3227 3229 27791 0 -1 4202560 692 0 0 0 0 6 0 0 20 0 17 0 636960454 41181184 7041 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3229/tid=3236] ppid=3227 vsize=42264 CPUtime=0.06
/proc/3229/task/3236/stat : 3236 (satake) D 3227 3229 27791 0 -1 4202560 439 0 0 0 0 6 0 0 20 0 17 0 636960454 43278336 7041 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3229/tid=3237] ppid=3227 vsize=42264 CPUtime=0.06
/proc/3229/task/3237/stat : 3237 (satake) D 3227 3229 27791 0 -1 4202560 529 0 0 0 0 6 0 0 20 0 17 0 636960454 43278336 7045 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3229/tid=3238] ppid=3227 vsize=42264 CPUtime=0
/proc/3229/task/3238/stat : 3238 (satake) R 3227 3229 27791 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 17 0 636960454 43278336 7048 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3229/tid=3239] ppid=3227 vsize=42264 CPUtime=0.06
/proc/3229/task/3239/stat : 3239 (satake) R 3227 3229 27791 0 -1 4202560 517 0 0 0 0 6 0 0 20 0 17 0 636960454 43278336 7049 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3229/tid=3240] ppid=3227 vsize=42264 CPUtime=0.06
/proc/3229/task/3240/stat : 3240 (satake) R 3227 3229 27791 0 -1 4202560 628 0 0 0 0 6 0 0 20 0 17 0 636960455 43278336 7050 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3241] ppid=3227 vsize=42264 CPUtime=0.06
/proc/3229/task/3241/stat : 3241 (satake) R 3227 3229 27791 0 -1 4202560 516 0 0 0 0 6 0 0 20 0 17 0 636960455 43278336 7051 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3229/tid=3242] ppid=3227 vsize=42264 CPUtime=0.06
/proc/3229/task/3242/stat : 3242 (satake) R 3227 3229 27791 0 -1 4202560 508 0 0 0 0 6 0 0 20 0 17 0 636960455 43278336 7052 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 40216

[startup+0.310815 s]
/proc/loadavg: 1.92 2.47 3.39 2/184 3229
/proc/meminfo: memFree=19130992/36427776 swapFree=3360/7972
[pid=3229] ppid=3227 vsize=140228 CPUtime=3.28
/proc/3229/stat : 3229 (satake) S 3227 3229 27791 0 -1 4202496 25376 0 0 0 0 328 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/3229/statm: 35057 25330 63 164 0 34892 0
[pid=3229/tid=3230] ppid=3227 vsize=140228 CPUtime=0
/proc/3229/task/3230/stat : 3230 (satake) S 3227 3229 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3231] ppid=3227 vsize=140228 CPUtime=0.24
/proc/3229/task/3231/stat : 3231 (satake) D 3227 3229 27791 0 -1 4202560 1611 0 0 0 0 24 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3229/tid=3232] ppid=3227 vsize=140228 CPUtime=0.24
/proc/3229/task/3232/stat : 3232 (satake) D 3227 3229 27791 0 -1 4202560 1667 0 0 0 0 24 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3229/tid=3233] ppid=3227 vsize=140228 CPUtime=0.14
/proc/3229/task/3233/stat : 3233 (satake) R 3227 3229 27791 0 -1 4202560 1037 0 0 0 0 14 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3229/tid=3234] ppid=3227 vsize=140228 CPUtime=0.14
/proc/3229/task/3234/stat : 3234 (satake) D 3227 3229 27791 0 -1 4202560 1170 0 0 0 0 14 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3229/tid=3235] ppid=3227 vsize=140228 CPUtime=0.24
/proc/3229/task/3235/stat : 3235 (satake) D 3227 3229 27791 0 -1 4202560 2003 0 0 0 0 24 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3229/tid=3236] ppid=3227 vsize=140228 CPUtime=0.2
/proc/3229/task/3236/stat : 3236 (satake) D 3227 3229 27791 0 -1 4202560 1260 0 0 0 0 20 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3229/tid=3237] ppid=3227 vsize=140228 CPUtime=0.24
/proc/3229/task/3237/stat : 3237 (satake) D 3227 3229 27791 0 -1 4202560 1702 0 0 0 0 24 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3229/tid=3238] ppid=3227 vsize=140228 CPUtime=0.08
/proc/3229/task/3238/stat : 3238 (satake) D 3227 3229 27791 0 -1 4202560 626 0 0 0 0 8 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3229/tid=3239] ppid=3227 vsize=140228 CPUtime=0.24
/proc/3229/task/3239/stat : 3239 (satake) D 3227 3229 27791 0 -1 4202560 1679 0 0 0 0 24 0 0 20 0 17 0 636960454 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3229/tid=3240] ppid=3227 vsize=140228 CPUtime=0.24
/proc/3229/task/3240/stat : 3240 (satake) D 3227 3229 27791 0 -1 4202560 2454 0 0 0 0 24 0 0 20 0 17 0 636960455 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3241] ppid=3227 vsize=140228 CPUtime=0.24
/proc/3229/task/3241/stat : 3241 (satake) D 3227 3229 27791 0 -1 4202560 1674 0 0 0 0 24 0 0 20 0 17 0 636960455 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3229/tid=3242] ppid=3227 vsize=140228 CPUtime=0.24
/proc/3229/task/3242/stat : 3242 (satake) D 3227 3229 27791 0 -1 4202560 2576 0 0 0 0 24 0 0 20 0 17 0 636960455 143593472 25330 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 140228

[startup+0.707489 s]
/proc/loadavg: 1.92 2.47 3.39 2/184 3229
/proc/meminfo: memFree=19130992/36427776 swapFree=3360/7972
[pid=3229] ppid=3227 vsize=181768 CPUtime=7.44
/proc/3229/stat : 3229 (satake) S 3227 3229 27791 0 -1 4202496 35851 0 0 0 2 742 0 0 20 0 17 0 636960454 186130432 35805 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/3229/statm: 45442 35805 63 164 0 45277 0
[pid=3229/tid=3230] ppid=3227 vsize=181768 CPUtime=0
/proc/3229/task/3230/stat : 3230 (satake) S 3227 3229 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 636960454 186130432 35808 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3231] ppid=3227 vsize=181768 CPUtime=0.54
/proc/3229/task/3231/stat : 3231 (satake) D 3227 3229 27791 0 -1 4202560 2463 0 0 0 0 54 0 0 20 0 17 0 636960454 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3229/tid=3232] ppid=3227 vsize=181768 CPUtime=0.54
/proc/3229/task/3232/stat : 3232 (satake) D 3227 3229 27791 0 -1 4202560 2477 0 0 0 0 54 0 0 20 0 17 0 636960454 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3229/tid=3233] ppid=3227 vsize=181768 CPUtime=0.32
/proc/3229/task/3233/stat : 3233 (satake) R 3227 3229 27791 0 -1 4202560 1616 0 0 0 0 32 0 0 20 0 17 0 636960454 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3229/tid=3234] ppid=3227 vsize=181768 CPUtime=0.44
/proc/3229/task/3234/stat : 3234 (satake) D 3227 3229 27791 0 -1 4202560 1973 0 0 0 0 44 0 0 20 0 17 0 636960454 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 11 0 0 0 0 0
[pid=3229/tid=3235] ppid=3227 vsize=181768 CPUtime=0.52
/proc/3229/task/3235/stat : 3235 (satake) D 3227 3229 27791 0 -1 4202560 2665 0 0 0 0 52 0 0 20 0 17 0 636960454 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=3229/tid=3236] ppid=3227 vsize=181768 CPUtime=0.5
/proc/3229/task/3236/stat : 3236 (satake) D 3227 3229 27791 0 -1 4202560 2061 0 0 0 0 50 0 0 20 0 17 0 636960454 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 13 0 0 0 0 0
[pid=3229/tid=3237] ppid=3227 vsize=181768 CPUtime=0.54
/proc/3229/task/3237/stat : 3237 (satake) S 3227 3229 27791 0 -1 4202560 2499 0 0 0 0 54 0 0 20 0 17 0 636960454 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=3229/tid=3238] ppid=3227 vsize=181768 CPUtime=0.26
/proc/3229/task/3238/stat : 3238 (satake) R 3227 3229 27791 0 -1 4202560 1121 0 0 0 0 26 0 0 20 0 17 0 636960454 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3229/tid=3239] ppid=3227 vsize=181768 CPUtime=0.54
/proc/3229/task/3239/stat : 3239 (satake) D 3227 3229 27791 0 -1 4202560 2504 0 0 0 0 54 0 0 20 0 17 0 636960454 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=3229/tid=3240] ppid=3227 vsize=181768 CPUtime=0.54
/proc/3229/task/3240/stat : 3240 (satake) D 3227 3229 27791 0 -1 4202560 2996 0 0 0 2 52 0 0 20 0 17 0 636960455 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3241] ppid=3227 vsize=181768 CPUtime=0.54
/proc/3229/task/3241/stat : 3241 (satake) D 3227 3229 27791 0 -1 4202560 2457 0 0 0 0 54 0 0 20 0 17 0 636960455 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=3229/tid=3242] ppid=3227 vsize=181768 CPUtime=0.54
/proc/3229/task/3242/stat : 3242 (satake) D 3227 3229 27791 0 -1 4202560 3094 0 0 0 0 54 0 0 20 0 17 0 636960455 186130432 35822 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 181768

[startup+1.50637 s]
/proc/loadavg: 2.65 2.61 3.43 5/201 3246
/proc/meminfo: memFree=18961956/36427776 swapFree=4176/181792
[pid=3229] ppid=3227 vsize=238288 CPUtime=12.18
/proc/3229/stat : 3229 (satake) S 3227 3229 27791 0 -1 4202496 53726 0 0 0 49 1169 0 0 20 0 17 0 636960454 244006912 53681 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/3229/statm: 59572 53688 63 164 0 59407 0
[pid=3229/tid=3230] ppid=3227 vsize=238288 CPUtime=0
/proc/3229/task/3230/stat : 3230 (satake) S 3227 3229 27791 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 17 0 636960454 244006912 53688 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 9 0 0 0 0 0
[pid=3229/tid=3231] ppid=3227 vsize=238288 CPUtime=0.88
/proc/3229/task/3231/stat : 3231 (satake) D 3227 3229 27791 0 -1 4202560 3623 0 0 0 2 86 0 0 20 0 17 0 636960454 244006912 53688 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3229/tid=3232] ppid=3227 vsize=238288 CPUtime=0.84
/proc/3229/task/3232/stat : 3232 (satake) D 3227 3229 27791 0 -1 4202560 3555 0 0 0 2 82 0 0 20 0 17 0 636960454 244006912 53688 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3229/tid=3233] ppid=3227 vsize=238288 CPUtime=0.52
/proc/3229/task/3233/stat : 3233 (satake) R 3227 3229 27791 0 -1 4202560 3055 0 0 0 0 52 0 0 20 0 17 0 636960454 244006912 53688 18446744073709551615 134512640 135180984 4294233648 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0

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

deleting IPC queue 1000800334
deleting IPC queue 1000833103
deleting IPC queue 1000865872
deleting IPC queue 1000898641
deleting IPC queue 1000931410
deleting IPC queue 1000964179
deleting IPC queue 1000996948
deleting IPC queue 1001029717
deleting IPC queue 1001062486
deleting IPC queue 1001095255
deleting IPC queue 1001128024
deleting IPC queue 1001160793
deleting IPC queue 1001193562
deleting IPC queue 1001226331
deleting IPC queue 1001259100
deleting IPC queue 1001291869
deleting IPC queue 1001324638
deleting IPC queue 1001357407
deleting IPC queue 1001390176
deleting IPC queue 1001422945
deleting IPC queue 1001455714
deleting IPC queue 1001488483
deleting IPC queue 1001521252
deleting IPC queue 1001554021
deleting IPC queue 1001586790
deleting IPC queue 1001619559
deleting IPC queue 1001652328
deleting IPC queue 1001685097
deleting IPC queue 1001717866
deleting IPC queue 1001750635
deleting IPC queue 1001783404
deleting IPC queue 1001816173
deleting IPC queue 1001848942
deleting IPC queue 1001881711
deleting IPC queue 1001914480
deleting IPC queue 1001947249
deleting IPC queue 1001980018
deleting IPC queue 1002012787
deleting IPC queue 1002045556
deleting IPC queue 1002078325
deleting IPC queue 1002111094
deleting IPC queue 1002143863
deleting IPC queue 1002176632
deleting IPC queue 1002209401
deleting IPC queue 1002242170
deleting IPC queue 1002274939
deleting IPC queue 1002307708
deleting IPC queue 1002340477
deleting IPC queue 1002373246
deleting IPC queue 1002406015
deleting IPC queue 1002438784
deleting IPC queue 1002471553
deleting IPC queue 1002504322
deleting IPC queue 1002537091
deleting IPC queue 1002569860
deleting IPC queue 1002602629
deleting IPC queue 1002635398
deleting IPC queue 1002668167
deleting IPC queue 1002700936
deleting IPC queue 1002733705
deleting IPC queue 1002766474
deleting IPC queue 1002799243
deleting IPC queue 1002832012
deleting IPC queue 1002864781
deleting IPC queue 1002897550
deleting IPC queue 1002930319
deleting IPC queue 1002963088
deleting IPC queue 1002995857
deleting IPC queue 1003028626
deleting IPC queue 1003061395
deleting IPC queue 1003094164
deleting IPC queue 1003126933
deleting IPC queue 1003159702
deleting IPC queue 1003192471
deleting IPC queue 1003225240
deleting IPC queue 1003258009
deleting IPC queue 1003290778
deleting IPC queue 1003323547
deleting IPC queue 1003356316
deleting IPC queue 1003389085
deleting IPC queue 1003421854
deleting IPC queue 1003454623
deleting IPC queue 1003487392
deleting IPC queue 1003520161
deleting IPC queue 1003552930
deleting IPC queue 1003585699
deleting IPC queue 1003618468
deleting IPC queue 1003651237
deleting IPC queue 1003684006
deleting IPC queue 1003716775
deleting IPC queue 1003749544
deleting IPC queue 1003782313
deleting IPC queue 1003815082
deleting IPC queue 1003847851
deleting IPC queue 1003880620
deleting IPC queue 1003913389
deleting IPC queue 1003946158
deleting IPC queue 1003978927
deleting IPC queue 1004011696
deleting IPC queue 1004044465
deleting IPC queue 1004077234
deleting IPC queue 1004110003
deleting IPC queue 1004142772
deleting IPC queue 1004175541
deleting IPC queue 1004208310
deleting IPC queue 1004241079
deleting IPC queue 1004273848
deleting IPC queue 1004306617
deleting IPC queue 1004339386
deleting IPC queue 1004372155
deleting IPC queue 1004404924
deleting IPC queue 1004437693
deleting IPC queue 1004470462
deleting IPC queue 1004503231
deleting IPC queue 1004536000
deleting IPC queue 1004568769
deleting IPC queue 1004601538
deleting IPC queue 1004634307
deleting IPC queue 1004667076
deleting IPC queue 1004699845
deleting IPC queue 1004732614
deleting IPC queue 1004765383
deleting IPC queue 1004798152
deleting IPC queue 1004830921
deleting IPC queue 1004863690
deleting IPC queue 1004896459
deleting IPC queue 1004929228
deleting IPC queue 1004961997
deleting IPC queue 1004994766
deleting IPC queue 1005027535
deleting IPC queue 1005060304
deleting IPC queue 1005093073
deleting IPC queue 1005125842
deleting IPC queue 1005158611
deleting IPC queue 1005191380
deleting IPC queue 1005224149
deleting IPC queue 1005256918
deleting IPC queue 1005289687
deleting IPC queue 1005322456
deleting IPC queue 1005355225
deleting IPC queue 1005387994
deleting IPC queue 1005420763
deleting IPC queue 1005453532
deleting IPC queue 1005486301
deleting IPC queue 1005519070
deleting IPC queue 1005551839
deleting IPC queue 1005584608
deleting IPC queue 1005617377
deleting IPC queue 1005650146
deleting IPC queue 1005682915
deleting IPC queue 1005715684
deleting IPC queue 1005748453
deleting IPC queue 1005781222
deleting IPC queue 1005813991
deleting IPC queue 1005846760
deleting IPC queue 1005879529
deleting IPC queue 1005912298
deleting IPC queue 1005945067
deleting IPC queue 1005977836
deleting IPC queue 1006010605
deleting IPC queue 1006043374
deleting IPC queue 1006076143
deleting IPC queue 1006108912
deleting IPC queue 1006141681
deleting IPC queue 1006174450
deleting IPC queue 1006207219
deleting IPC queue 1006239988
deleting IPC queue 1006272757
deleting IPC queue 1006305526
deleting IPC queue 1006338295
deleting IPC queue 1006371064
deleting IPC queue 1006403833
deleting IPC queue 1006436602
deleting IPC queue 1006469371
deleting IPC queue 1006502140
deleting IPC queue 1006534909
deleting IPC queue 1006567678
deleting IPC queue 1006600447

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2305.6
system time used= 736.622
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 390258
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= 57392856
involuntary context switches= 3263837

runsolver used 4.34827 second user time and 11.4927 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 05:15:41
IDJOB=1778997
IDBENCH=70789
IDSOLVER=631
FILE ID=xenhost3-49/1778997-1244776541
PBS_JOBID=
Free space on /tmp= 7027 MiB

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

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

MD5SUM BENCH= c5685247c8f21e8da88f42049fffdb13
RANDOM SEED= 591968091

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:      19130992 kB
Buffers:        433704 kB
Cached:       14113316 kB
SwapCached:          0 kB
Active:        4078504 kB
Inactive:     10476536 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:           10612 kB
Writeback:           0 kB
AnonPages:        7972 kB
Mapped:           3360 kB
Slab:           688116 kB
SReclaimable:   661364 kB
SUnreclaim:      26752 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= 7027 MiB
End job on xenhost3-49 at 2009-06-12 05:32:23