Trace number 1775892

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) 1193.08 1000.04

General information on the benchmark

Nameindustrial/fuhs/hard/
AProVE07-08.cnf
MD5SUM81ed5ec4a2e7c208a4184383f9e53838
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1368.24
Satisfiable
(Un)Satisfiability was proved
Number of variables4614
Number of clauses16637
Sum of the clauses size44007
Maximum clause length97
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 27532
Number of clauses of size 38048
Number of clauses of size 4732
Number of clauses of size 5246
Number of clauses of size over 578

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-1775892-1244726362/watcher-1775892-1244726362 -o /tmp/evaluation-result-1775892-1244726362/solver-1775892-1244726362 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775892-1244726362.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: 2.39 2.54 3.77 2/184 29664
/proc/meminfo: memFree=19146356/36427776 swapFree=4984/7700
[pid=29664] ppid=29662 vsize=9220 CPUtime=0
/proc/29664/stat : 29664 (satake) S 29662 29664 27791 0 -1 4202496 703 0 0 0 0 0 0 0 20 0 17 0 631942506 9441280 654 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/29664/statm: 2337 654 63 164 0 2172 0
[pid=29664/tid=29665] ppid=29662 vsize=9344 CPUtime=0
/proc/29664/task/29665/stat : 29665 (satake) S 29662 29664 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 631942507 9568256 662 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29666] ppid=29662 vsize=9344 CPUtime=0
/proc/29664/task/29666/stat : 29666 (satake) R 29662 29664 27791 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 17 0 631942507 9568256 663 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29667] ppid=29662 vsize=9344 CPUtime=0
/proc/29664/task/29667/stat : 29667 (satake) R 29662 29664 27791 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 17 0 631942507 9568256 664 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29664/tid=29668] ppid=29662 vsize=9344 CPUtime=0
/proc/29664/task/29668/stat : 29668 (satake) D 29662 29664 27791 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 17 0 631942507 9568256 669 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29669] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29669/stat : 29669 (satake) R 29662 29664 27791 0 -1 4202560 83 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 669 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29670] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29670/stat : 29670 (satake) R 29662 29664 27791 0 -1 4202560 75 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 673 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29664/tid=29671] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29671/stat : 29671 (satake) R 29662 29664 27791 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 673 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29664/tid=29672] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29672/stat : 29672 (satake) S 29662 29664 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 680 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29673] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29673/stat : 29673 (satake) D 29662 29664 27791 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 684 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29664/tid=29674] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29674/stat : 29674 (satake) S 29662 29664 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 684 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29675] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29675/stat : 29675 (satake) R 29662 29664 27791 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 689 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29664/tid=29676] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29676/stat : 29676 (satake) S 29662 29664 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 689 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=29664/tid=29677] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29677/stat : 29677 (satake) D 29662 29664 27791 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 700 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29678] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29678/stat : 29678 (satake) D 29662 29664 27791 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 701 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29679] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29679/stat : 29679 (satake) D 29662 29664 27791 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 701 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29680] ppid=29662 vsize=9536 CPUtime=0
/proc/29664/task/29680/stat : 29680 (satake) R 29662 29664 27791 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 17 0 631942507 9764864 706 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 4 0 0 0 0 0

[startup+0.090909 s]
/proc/loadavg: 2.39 2.54 3.77 2/184 29664
/proc/meminfo: memFree=19146356/36427776 swapFree=4984/7700
[pid=29664] ppid=29662 vsize=26808 CPUtime=0.27
/proc/29664/stat : 29664 (satake) S 29662 29664 27791 0 -1 4202496 3375 0 0 0 14 13 0 0 20 0 17 0 631942506 27451392 3326 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/29664/statm: 6702 3334 63 164 0 6537 0
[pid=29664/tid=29665] ppid=29662 vsize=26808 CPUtime=0
/proc/29664/task/29665/stat : 29665 (satake) S 29662 29664 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 631942507 27451392 3334 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29666] ppid=29662 vsize=26808 CPUtime=0.02
/proc/29664/task/29666/stat : 29666 (satake) S 29662 29664 27791 0 -1 4202560 207 0 0 0 0 2 0 0 20 0 17 0 631942507 27451392 3334 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29667] ppid=29662 vsize=26808 CPUtime=0.02
/proc/29664/task/29667/stat : 29667 (satake) S 29662 29664 27791 0 -1 4202560 232 0 0 0 0 2 0 0 20 0 17 0 631942507 27451392 3336 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=29664/tid=29668] ppid=29662 vsize=26808 CPUtime=0.02
/proc/29664/task/29668/stat : 29668 (satake) R 29662 29664 27791 0 -1 4202560 229 0 0 0 0 2 0 0 20 0 17 0 631942507 27451392 3338 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134522560 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29669] ppid=29662 vsize=26808 CPUtime=0.02
/proc/29664/task/29669/stat : 29669 (satake) D 29662 29664 27791 0 -1 4202560 248 0 0 0 0 2 0 0 20 0 17 0 631942507 27451392 3338 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29670] ppid=29662 vsize=26808 CPUtime=0.02
/proc/29664/task/29670/stat : 29670 (satake) R 29662 29664 27791 0 -1 4202560 237 0 0 0 2 0 0 0 20 0 17 0 631942507 27451392 3338 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29664/tid=29671] ppid=29662 vsize=26808 CPUtime=0
/proc/29664/task/29671/stat : 29671 (satake) D 29662 29664 27791 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 17 0 631942507 27451392 3339 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29664/tid=29672] ppid=29662 vsize=26808 CPUtime=0
/proc/29664/task/29672/stat : 29672 (satake) D 29662 29664 27791 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 17 0 631942507 27451392 3339 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29673] ppid=29662 vsize=26808 CPUtime=0
/proc/29664/task/29673/stat : 29673 (satake) D 29662 29664 27791 0 -1 4202560 194 0 0 0 0 0 0 0 20 0 17 0 631942507 27451392 3340 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29664/tid=29674] ppid=29662 vsize=26808 CPUtime=0.02
/proc/29664/task/29674/stat : 29674 (satake) R 29662 29664 27791 0 -1 4202560 237 0 0 0 2 0 0 0 20 0 17 0 631942507 27451392 3341 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29664/tid=29675] ppid=29662 vsize=26808 CPUtime=0.02
/proc/29664/task/29675/stat : 29675 (satake) S 29662 29664 27791 0 -1 4202560 239 0 0 0 2 0 0 0 20 0 17 0 631942507 27451392 3341 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=29664/tid=29676] ppid=29662 vsize=26808 CPUtime=0
/proc/29664/task/29676/stat : 29676 (satake) D 29662 29664 27791 0 -1 4202560 191 0 0 0 0 0 0 0 20 0 17 0 631942507 27451392 3341 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29664/tid=29677] ppid=29662 vsize=26808 CPUtime=0.02
/proc/29664/task/29677/stat : 29677 (satake) D 29662 29664 27791 0 -1 4202560 214 0 0 0 2 0 0 0 20 0 17 0 631942507 27451392 3343 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29678] ppid=29662 vsize=26808 CPUtime=0.02
/proc/29664/task/29678/stat : 29678 (satake) D 29662 29664 27791 0 -1 4202560 206 0 0 0 0 2 0 0 20 0 17 0 631942507 27451392 3343 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29664/tid=29679] ppid=29662 vsize=26808 CPUtime=0
/proc/29664/task/29679/stat : 29679 (satake) D 29662 29664 27791 0 -1 4202560 215 0 0 0 0 0 0 0 20 0 17 0 631942507 27451392 3345 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29680] ppid=29662 vsize=26808 CPUtime=0.02
/proc/29664/task/29680/stat : 29680 (satake) D 29662 29664 27791 0 -1 4202560 214 0 0 0 2 0 0 0 20 0 17 0 631942507 27451392 3346 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 26808

[startup+0.102899 s]
/proc/loadavg: 2.39 2.54 3.77 2/184 29664
/proc/meminfo: memFree=19146356/36427776 swapFree=4984/7700
[pid=29664] ppid=29662 vsize=26964 CPUtime=0.31
/proc/29664/stat : 29664 (satake) S 29662 29664 27791 0 -1 4202496 3639 0 0 0 16 15 0 0 20 0 17 0 631942506 27611136 3591 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/29664/statm: 6741 3591 63 164 0 6576 0
[pid=29664/tid=29665] ppid=29662 vsize=26964 CPUtime=0
/proc/29664/task/29665/stat : 29665 (satake) S 29662 29664 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 631942507 27611136 3591 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29666] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29666/stat : 29666 (satake) S 29662 29664 27791 0 -1 4202560 216 0 0 0 0 2 0 0 20 0 17 0 631942507 27611136 3592 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29667] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29667/stat : 29667 (satake) S 29662 29664 27791 0 -1 4202560 241 0 0 0 0 2 0 0 20 0 17 0 631942507 27611136 3592 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=29664/tid=29668] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29668/stat : 29668 (satake) R 29662 29664 27791 0 -1 4202560 237 0 0 0 0 2 0 0 20 0 17 0 631942507 27611136 3592 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29669] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29669/stat : 29669 (satake) S 29662 29664 27791 0 -1 4202560 255 0 0 0 0 2 0 0 20 0 17 0 631942507 27611136 3592 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29670] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29670/stat : 29670 (satake) D 29662 29664 27791 0 -1 4202560 249 0 0 0 2 0 0 0 20 0 17 0 631942507 27611136 3593 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29664/tid=29671] ppid=29662 vsize=26964 CPUtime=0
/proc/29664/task/29671/stat : 29671 (satake) R 29662 29664 27791 0 -1 4202560 225 0 0 0 0 0 0 0 20 0 17 0 631942507 27611136 3593 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29664/tid=29672] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29672/stat : 29672 (satake) D 29662 29664 27791 0 -1 4202560 221 0 0 0 2 0 0 0 20 0 17 0 631942507 27611136 3596 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29673] ppid=29662 vsize=26964 CPUtime=0
/proc/29664/task/29673/stat : 29673 (satake) R 29662 29664 27791 0 -1 4202560 226 0 0 0 0 0 0 0 20 0 17 0 631942507 27611136 3597 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=29664/tid=29674] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29674/stat : 29674 (satake) S 29662 29664 27791 0 -1 4202560 257 0 0 0 2 0 0 0 20 0 17 0 631942507 27611136 3601 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=29664/tid=29675] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29675/stat : 29675 (satake) S 29662 29664 27791 0 -1 4202560 251 0 0 0 2 0 0 0 20 0 17 0 631942507 27611136 3601 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=29664/tid=29676] ppid=29662 vsize=26964 CPUtime=0
/proc/29664/task/29676/stat : 29676 (satake) R 29662 29664 27791 0 -1 4202560 220 0 0 0 0 0 0 0 20 0 17 0 631942507 27611136 3601 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134522388 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=29664/tid=29677] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29677/stat : 29677 (satake) R 29662 29664 27791 0 -1 4202560 217 0 0 0 2 0 0 0 20 0 17 0 631942507 27611136 3601 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579486 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29678] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29678/stat : 29678 (satake) R 29662 29664 27791 0 -1 4202560 231 0 0 0 0 2 0 0 20 0 17 0 631942507 27611136 3605 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=29664/tid=29679] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29679/stat : 29679 (satake) R 29662 29664 27791 0 -1 4202560 246 0 0 0 2 0 0 0 20 0 17 0 631942507 27611136 3606 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29680] ppid=29662 vsize=26964 CPUtime=0.02
/proc/29664/task/29680/stat : 29680 (satake) R 29662 29664 27791 0 -1 4202560 226 0 0 0 2 0 0 0 20 0 17 0 631942507 27611136 3608 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134579745 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 26964

[startup+0.302999 s]
/proc/loadavg: 2.39 2.54 3.77 2/184 29664
/proc/meminfo: memFree=19146356/36427776 swapFree=4984/7700
[pid=29664] ppid=29662 vsize=26212 CPUtime=1.08
/proc/29664/stat : 29664 (satake) S 29662 29664 27791 0 -1 4202496 5482 0 0 0 66 42 0 0 20 0 17 0 631942506 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/29664/statm: 6553 4471 68 164 0 6388 0
[pid=29664/tid=29665] ppid=29662 vsize=26212 CPUtime=0.04
/proc/29664/task/29665/stat : 29665 (satake) R 29662 29664 27791 0 -1 4202560 70 0 0 0 0 4 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29664/tid=29666] ppid=29662 vsize=26212 CPUtime=0.08
/proc/29664/task/29666/stat : 29666 (satake) S 29662 29664 27791 0 -1 4202560 343 0 0 0 4 4 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29667] ppid=29662 vsize=26212 CPUtime=0.08
/proc/29664/task/29667/stat : 29667 (satake) S 29662 29664 27791 0 -1 4202560 347 0 0 0 4 4 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29664/tid=29668] ppid=29662 vsize=26212 CPUtime=0.06
/proc/29664/task/29668/stat : 29668 (satake) S 29662 29664 27791 0 -1 4202560 366 0 0 0 4 2 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29669] ppid=29662 vsize=26212 CPUtime=0.08
/proc/29664/task/29669/stat : 29669 (satake) S 29662 29664 27791 0 -1 4202560 357 0 0 0 4 4 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29670] ppid=29662 vsize=26212 CPUtime=0.06
/proc/29664/task/29670/stat : 29670 (satake) S 29662 29664 27791 0 -1 4202560 342 0 0 0 4 2 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=29664/tid=29671] ppid=29662 vsize=26212 CPUtime=0.04
/proc/29664/task/29671/stat : 29671 (satake) S 29662 29664 27791 0 -1 4202560 349 0 0 0 4 0 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29664/tid=29672] ppid=29662 vsize=26212 CPUtime=0.06
/proc/29664/task/29672/stat : 29672 (satake) S 29662 29664 27791 0 -1 4202560 345 0 0 0 4 2 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29673] ppid=29662 vsize=26212 CPUtime=0.04
/proc/29664/task/29673/stat : 29673 (satake) S 29662 29664 27791 0 -1 4202560 356 0 0 0 4 0 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29664/tid=29674] ppid=29662 vsize=26212 CPUtime=0.08
/proc/29664/task/29674/stat : 29674 (satake) S 29662 29664 27791 0 -1 4202560 360 0 0 0 4 4 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=29664/tid=29675] ppid=29662 vsize=26212 CPUtime=0.06
/proc/29664/task/29675/stat : 29675 (satake) R 29662 29664 27791 0 -1 4202560 364 0 0 0 4 2 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=29664/tid=29676] ppid=29662 vsize=26212 CPUtime=0.04
/proc/29664/task/29676/stat : 29676 (satake) S 29662 29664 27791 0 -1 4202560 374 0 0 0 2 2 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=29664/tid=29677] ppid=29662 vsize=26212 CPUtime=0.06
/proc/29664/task/29677/stat : 29677 (satake) S 29662 29664 27791 0 -1 4202560 329 0 0 0 4 2 0 0 20 0 17 0 631942507 26841088 4471 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29678] ppid=29662 vsize=26212 CPUtime=0.06
/proc/29664/task/29678/stat : 29678 (satake) S 29662 29664 27791 0 -1 4202560 360 0 0 0 2 4 0 0 20 0 17 0 631942507 26841088 4472 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=29664/tid=29679] ppid=29662 vsize=26212 CPUtime=0.04
/proc/29664/task/29679/stat : 29679 (satake) S 29662 29664 27791 0 -1 4202560 357 0 0 0 4 0 0 0 20 0 17 0 631942507 26841088 4472 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 12 0 0 0 0 0
[pid=29664/tid=29680] ppid=29662 vsize=26212 CPUtime=0.08
/proc/29664/task/29680/stat : 29680 (satake) S 29662 29664 27791 0 -1 4202560 339 0 0 0 8 0 0 0 20 0 17 0 631942507 26841088 4472 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 26212

[startup+0.702962 s]
/proc/loadavg: 2.39 2.54 3.77 2/184 29664
/proc/meminfo: memFree=19146356/36427776 swapFree=4984/7700
[pid=29664] ppid=29662 vsize=26212 CPUtime=1.55
/proc/29664/stat : 29664 (satake) S 29662 29664 27791 0 -1 4202496 5588 0 0 0 81 74 0 0 20 0 17 0 631942506 26841088 4577 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 11 0 0 0 0 0
/proc/29664/statm: 6553 4577 68 164 0 6388 0
[pid=29664/tid=29665] ppid=29662 vsize=26212 CPUtime=0.24
/proc/29664/task/29665/stat : 29665 (satake) R 29662 29664 27791 0 -1 4202560 82 0 0 0 2 22 0 0 20 0 17 0 631942507 26841088 4577 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580588 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=29664/tid=29666] ppid=29662 vsize=26212 CPUtime=0.08
/proc/29664/task/29666/stat : 29666 (satake) S 29662 29664 27791 0 -1 4202560 343 0 0 0 4 4 0 0 20 0 17 0 631942507 26841088 4577 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29667] ppid=29662 vsize=26212 CPUtime=0.08
/proc/29664/task/29667/stat : 29667 (satake) S 29662 29664 27791 0 -1 4202560 347 0 0 0 4 4 0 0 20 0 17 0 631942507 26841088 4577 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29664/tid=29668] ppid=29662 vsize=26212 CPUtime=0.1
/proc/29664/task/29668/stat : 29668 (satake) S 29662 29664 27791 0 -1 4202560 381 0 0 0 4 6 0 0 20 0 17 0 631942507 26841088 4577 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 14 0 0 0 0 0
[pid=29664/tid=29669] ppid=29662 vsize=26212 CPUtime=0.08
/proc/29664/task/29669/stat : 29669 (satake) R 29662 29664 27791 0 -1 4202560 362 0 0 0 4 4 0 0 20 0 17 0 631942507 26841088 4577 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 0 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29670] ppid=29662 vsize=26212 CPUtime=0.1
/proc/29664/task/29670/stat : 29670 (satake) S 29662 29664 27791 0 -1 4202560 353 0 0 0 6 4 0 0 20 0 17 0 631942507 26841088 4577 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 6 0 0 0 0 0
[pid=29664/tid=29671] ppid=29662 vsize=26212 CPUtime=0.08
/proc/29664/task/29671/stat : 29671 (satake) S 29662 29664 27791 0 -1 4202560 363 0 0 0 4 4 0 0 20 0 17 0 631942507 26841088 4577 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=29664/tid=29672] ppid=29662 vsize=26212 CPUtime=0.06
/proc/29664/task/29672/stat : 29672 (satake) S 29662 29664 27791 0 -1 4202560 345 0 0 0 4 2 0 0 20 0 17 0 631942507 26841088 4577 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 15 0 0 0 0 0
[pid=29664/tid=29673] ppid=29662 vsize=26212 CPUtime=0.04
/proc/29664/task/29673/stat : 29673 (satake) S 29662 29664 27791 0 -1 4202560 356 0 0 0 4 0 0 0 20 0 17 0 631942507 26841088 4577 18446744073709551615 134512640 135180984 4291576752 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=29664/tid=29674] ppid=29662 vsize=26212 CPUtime=0.1

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

deleting IPC queue 220659790
deleting IPC queue 220692559
deleting IPC queue 220725328
deleting IPC queue 220758097
deleting IPC queue 220790866
deleting IPC queue 220823635
deleting IPC queue 220856404
deleting IPC queue 220889173
deleting IPC queue 220921942
deleting IPC queue 220954711
deleting IPC queue 220987480
deleting IPC queue 221020249
deleting IPC queue 221053018
deleting IPC queue 221085787
deleting IPC queue 221118556
deleting IPC queue 221151325
deleting IPC queue 221184094
deleting IPC queue 221216863
deleting IPC queue 221249632
deleting IPC queue 221282401
deleting IPC queue 221315170
deleting IPC queue 221347939
deleting IPC queue 221380708
deleting IPC queue 221413477
deleting IPC queue 221446246
deleting IPC queue 221479015
deleting IPC queue 221511784
deleting IPC queue 221544553
deleting IPC queue 221577322
deleting IPC queue 221610091
deleting IPC queue 221642860
deleting IPC queue 221675629
deleting IPC queue 221708398
deleting IPC queue 221741167
deleting IPC queue 221773936
deleting IPC queue 221806705
deleting IPC queue 221839474
deleting IPC queue 221872243
deleting IPC queue 221905012
deleting IPC queue 221937781
deleting IPC queue 221970550
deleting IPC queue 222003319
deleting IPC queue 222036088
deleting IPC queue 222068857
deleting IPC queue 222101626
deleting IPC queue 222134395
deleting IPC queue 222167164
deleting IPC queue 222199933
deleting IPC queue 222232702
deleting IPC queue 222265471
deleting IPC queue 222298240
deleting IPC queue 222331009
deleting IPC queue 222363778
deleting IPC queue 222396547
deleting IPC queue 222429316
deleting IPC queue 222462085
deleting IPC queue 222494854
deleting IPC queue 222527623
deleting IPC queue 222560392
deleting IPC queue 222593161
deleting IPC queue 222625930
deleting IPC queue 222658699
deleting IPC queue 222691468
deleting IPC queue 222724237
deleting IPC queue 222757006
deleting IPC queue 222789775
deleting IPC queue 222822544
deleting IPC queue 222855313
deleting IPC queue 222888082
deleting IPC queue 222920851
deleting IPC queue 222953620
deleting IPC queue 222986389
deleting IPC queue 223019158
deleting IPC queue 223051927
deleting IPC queue 223084696
deleting IPC queue 223117465
deleting IPC queue 223150234
deleting IPC queue 223183003
deleting IPC queue 223215772
deleting IPC queue 223248541
deleting IPC queue 223281310
deleting IPC queue 223314079
deleting IPC queue 223346848
deleting IPC queue 223379617
deleting IPC queue 223412386
deleting IPC queue 223445155
deleting IPC queue 223477924
deleting IPC queue 223510693
deleting IPC queue 223543462
deleting IPC queue 223576231
deleting IPC queue 223609000
deleting IPC queue 223641769
deleting IPC queue 223674538
deleting IPC queue 223707307
deleting IPC queue 223740076
deleting IPC queue 223772845
deleting IPC queue 223805614
deleting IPC queue 223838383
deleting IPC queue 223871152
deleting IPC queue 223903921
deleting IPC queue 223936690
deleting IPC queue 223969459
deleting IPC queue 224002228
deleting IPC queue 224034997
deleting IPC queue 224067766
deleting IPC queue 224100535
deleting IPC queue 224133304
deleting IPC queue 224166073
deleting IPC queue 224198842
deleting IPC queue 224231611
deleting IPC queue 224264380
deleting IPC queue 224297149
deleting IPC queue 224329918
deleting IPC queue 224362687
deleting IPC queue 224395456
deleting IPC queue 224428225
deleting IPC queue 224460994
deleting IPC queue 224493763
deleting IPC queue 224526532
deleting IPC queue 224559301
deleting IPC queue 224592070
deleting IPC queue 224624839
deleting IPC queue 224657608
deleting IPC queue 224690377
deleting IPC queue 224723146
deleting IPC queue 224755915
deleting IPC queue 224788684
deleting IPC queue 224821453
deleting IPC queue 224854222
deleting IPC queue 224886991
deleting IPC queue 224919760
deleting IPC queue 224952529
deleting IPC queue 224985298
deleting IPC queue 225018067
deleting IPC queue 225050836
deleting IPC queue 225083605
deleting IPC queue 225116374
deleting IPC queue 225149143
deleting IPC queue 225181912
deleting IPC queue 225214681
deleting IPC queue 225247450
deleting IPC queue 225280219
deleting IPC queue 225312988
deleting IPC queue 225345757
deleting IPC queue 225378526
deleting IPC queue 225411295
deleting IPC queue 225444064
deleting IPC queue 225476833
deleting IPC queue 225509602
deleting IPC queue 225542371
deleting IPC queue 225575140
deleting IPC queue 225607909
deleting IPC queue 225640678
deleting IPC queue 225673447
deleting IPC queue 225706216
deleting IPC queue 225738985
deleting IPC queue 225771754
deleting IPC queue 225804523
deleting IPC queue 225837292
deleting IPC queue 225870061
deleting IPC queue 225902830
deleting IPC queue 225935599
deleting IPC queue 225968368
deleting IPC queue 226001137
deleting IPC queue 226033906
deleting IPC queue 226066675
deleting IPC queue 226099444
deleting IPC queue 226132213
deleting IPC queue 226164982
deleting IPC queue 226197751
deleting IPC queue 226230520
deleting IPC queue 226263289
deleting IPC queue 226296058
deleting IPC queue 226328827
deleting IPC queue 226361596
deleting IPC queue 226394365
deleting IPC queue 226427134
deleting IPC queue 226459903

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 450.244
system time used= 742.838
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24087
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= 64710412
involuntary context switches= 6014746

runsolver used 4.03625 second user time and 10.9327 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-11 15:19:22
IDJOB=1775892
IDBENCH=20400
IDSOLVER=631
FILE ID=xenhost3-49/1775892-1244726362
PBS_JOBID=
Free space on /tmp= 7040 MiB

SOLVER NAME= satake 2009-03-22 (16 threads)
BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-08.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1775892-1244726362/watcher-1775892-1244726362 -o /tmp/evaluation-result-1775892-1244726362/solver-1775892-1244726362 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1775892-1244726362.cnf 16 10000

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

MD5SUM BENCH= 81ed5ec4a2e7c208a4184383f9e53838
RANDOM SEED= 1144201378

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:      19146356 kB
Buffers:        432108 kB
Cached:       14099816 kB
SwapCached:          0 kB
Active:        4077208 kB
Inactive:     10463060 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:             672 kB
Writeback:           0 kB
AnonPages:        7700 kB
Mapped:           4320 kB
Slab:           687440 kB
SReclaimable:   660720 kB
SUnreclaim:      26720 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= 7040 MiB
End job on xenhost3-49 at 2009-06-11 15:36:04