Trace number 1778967

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) 3581.42 1000.07

General information on the benchmark

NameAPPLICATIONS/bitverif/
mulhs/mulhs032.cnf
MD5SUM431823fbe355abc605baf058be5925a0
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 variables18792
Number of clauses56183
Sum of the clauses size131091
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 237454
Number of clauses of size 318727
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-1778967-1244774950/watcher-1778967-1244774950 -o /tmp/evaluation-result-1778967-1244774950/solver-1778967-1244774950 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1778967-1244774950.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.83 2.98 3.91 2/184 3088
/proc/meminfo: memFree=19140776/36427776 swapFree=4320/7092
[pid=3088] ppid=3086 vsize=6556 CPUtime=0
/proc/3088/stat : 3088 (satake) R 3086 3088 27791 0 -1 4202496 313 0 0 0 0 0 0 0 20 0 13 0 636801376 6713344 269 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134702260 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3088/statm: 1639 269 63 164 0 1474 0
[pid=3088/tid=3089] ppid=3086 vsize=7164 CPUtime=0
/proc/3088/task/3089/stat : 3089 (satake) S 3086 3088 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 636801376 7335936 417 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3090] ppid=3086 vsize=7164 CPUtime=0
/proc/3088/task/3090/stat : 3090 (satake) R 3086 3088 27791 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 17 0 636801376 7335936 417 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3088/tid=3091] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3091/stat : 3091 (satake) S 3086 3088 27791 0 -1 4202560 56 0 0 0 0 0 0 0 20 0 17 0 636801376 7606272 425 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3088/tid=3092] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3092/stat : 3092 (satake) S 3086 3088 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 636801376 7606272 426 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3088/tid=3093] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3093/stat : 3093 (satake) R 3086 3088 27791 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 17 0 636801376 7606272 426 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3094] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3094/stat : 3094 (satake) R 3086 3088 27791 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 17 0 636801376 7606272 426 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3088/tid=3095] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3095/stat : 3095 (satake) S 3086 3088 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 636801376 7606272 430 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=3088/tid=3096] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3096/stat : 3096 (satake) R 3086 3088 27791 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 17 0 636801377 7606272 434 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3088/tid=3097] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3097/stat : 3097 (satake) R 3086 3088 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 636801377 7606272 434 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3098] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3098/stat : 3098 (satake) S 3086 3088 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 636801377 7606272 436 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3088/tid=3099] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3099/stat : 3099 (satake) R 3086 3088 27791 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 17 0 636801377 7606272 440 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3088/tid=3101] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3101/stat : 3101 (satake) R 3086 3088 27791 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 17 0 636801377 7606272 451 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3088/tid=3103] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3103/stat : 3103 (satake) S 3086 3088 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 636801377 7606272 470 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=3088/tid=3104] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3104/stat : 3104 (satake) S 3086 3088 27791 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 17 0 636801377 7606272 489 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=3088/tid=3105] ppid=3086 vsize=7428 CPUtime=0
/proc/3088/task/3105/stat : 3105 (satake) D 3086 3088 27791 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 17 0 636801377 7606272 493 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134583077 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3088/tid=3106] ppid=3086 vsize=7560 CPUtime=0
/proc/3088/task/3106/stat : 3106 (satake) S 3086 3088 27791 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 17 0 636801377 7741440 494 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0

[startup+0.093354 s]
/proc/loadavg: 2.83 2.98 3.91 2/184 3088
/proc/meminfo: memFree=19140776/36427776 swapFree=4320/7092
[pid=3088] ppid=3086 vsize=27656 CPUtime=0.39
/proc/3088/stat : 3088 (satake) S 3086 3088 27791 0 -1 4202496 4779 0 0 0 5 34 0 0 20 0 17 0 636801376 28319744 4671 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3088/statm: 6914 4674 63 164 0 6749 0
[pid=3088/tid=3089] ppid=3086 vsize=27656 CPUtime=0
/proc/3088/task/3089/stat : 3089 (satake) S 3086 3088 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 636801376 28319744 4674 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3090] ppid=3086 vsize=27656 CPUtime=0.02
/proc/3088/task/3090/stat : 3090 (satake) R 3086 3088 27791 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 17 0 636801376 28319744 4675 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3088/tid=3091] ppid=3086 vsize=27656 CPUtime=0.02
/proc/3088/task/3091/stat : 3091 (satake) R 3086 3088 27791 0 -1 4202560 343 0 0 0 0 2 0 0 20 0 17 0 636801376 28319744 4676 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134522569 0 0 1 0 0 0 0 -1 2 0 0 0 0 0
[pid=3088/tid=3092] ppid=3086 vsize=27656 CPUtime=0.02
/proc/3088/task/3092/stat : 3092 (satake) R 3086 3088 27791 0 -1 4202560 318 0 0 0 0 2 0 0 20 0 17 0 636801376 28319744 4677 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3088/tid=3093] ppid=3086 vsize=27656 CPUtime=0.02
/proc/3088/task/3093/stat : 3093 (satake) R 3086 3088 27791 0 -1 4202560 409 0 0 0 0 2 0 0 20 0 17 0 636801376 28319744 4677 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3094] ppid=3086 vsize=27656 CPUtime=0.04
/proc/3088/task/3094/stat : 3094 (satake) R 3086 3088 27791 0 -1 4202560 362 0 0 0 0 4 0 0 20 0 17 0 636801376 28319744 4680 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134702083 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3088/tid=3095] ppid=3086 vsize=27656 CPUtime=0.02
/proc/3088/task/3095/stat : 3095 (satake) R 3086 3088 27791 0 -1 4202560 321 0 0 0 0 2 0 0 20 0 17 0 636801376 28319744 4680 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3088/tid=3096] ppid=3086 vsize=27656 CPUtime=0.02
/proc/3088/task/3096/stat : 3096 (satake) R 3086 3088 27791 0 -1 4202560 259 0 0 0 0 2 0 0 20 0 17 0 636801377 28319744 4681 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134675846 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3088/tid=3097] ppid=3086 vsize=27656 CPUtime=0
/proc/3088/task/3097/stat : 3097 (satake) S 3086 3088 27791 0 -1 4202560 241 0 0 0 0 0 0 0 20 0 17 0 636801377 28319744 4681 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3098] ppid=3086 vsize=27656 CPUtime=0
/proc/3088/task/3098/stat : 3098 (satake) D 3086 3088 27791 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 17 0 636801377 28319744 4681 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3088/tid=3099] ppid=3086 vsize=27656 CPUtime=0.02
/proc/3088/task/3099/stat : 3099 (satake) R 3086 3088 27791 0 -1 4202560 279 0 0 0 0 2 0 0 20 0 17 0 636801377 28319744 4681 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 5 0 0 0 0 0
[pid=3088/tid=3101] ppid=3086 vsize=27656 CPUtime=0.04
/proc/3088/task/3101/stat : 3101 (satake) S 3086 3088 27791 0 -1 4202560 325 0 0 0 0 4 0 0 20 0 17 0 636801377 28319744 4681 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=3088/tid=3103] ppid=3086 vsize=28680 CPUtime=0.02
/proc/3088/task/3103/stat : 3103 (satake) R 3086 3088 27791 0 -1 4202560 290 0 0 0 0 2 0 0 20 0 17 0 636801377 29368320 4681 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 7 0 0 0 0 0
[pid=3088/tid=3104] ppid=3086 vsize=28680 CPUtime=0.04
/proc/3088/task/3104/stat : 3104 (satake) S 3086 3088 27791 0 -1 4202560 335 0 0 0 0 4 0 0 20 0 17 0 636801377 29368320 4681 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=3088/tid=3105] ppid=3086 vsize=28680 CPUtime=0
/proc/3088/task/3105/stat : 3105 (satake) S 3086 3088 27791 0 -1 4202560 263 0 0 0 0 0 0 0 20 0 17 0 636801377 29368320 4685 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=3088/tid=3106] ppid=3086 vsize=28680 CPUtime=0.02
/proc/3088/task/3106/stat : 3106 (satake) S 3086 3088 27791 0 -1 4202560 299 0 0 0 2 0 0 0 20 0 17 0 636801377 29368320 4685 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 27656

[startup+0.105348 s]
/proc/loadavg: 2.83 2.98 3.91 2/184 3088
/proc/meminfo: memFree=19140776/36427776 swapFree=4320/7092
[pid=3088] ppid=3086 vsize=30036 CPUtime=0.45
/proc/3088/stat : 3088 (satake) S 3086 3088 27791 0 -1 4202496 5205 0 0 0 6 39 0 0 20 0 17 0 636801376 30756864 5097 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3088/statm: 7509 5098 63 164 0 7344 0
[pid=3088/tid=3089] ppid=3086 vsize=30036 CPUtime=0
/proc/3088/task/3089/stat : 3089 (satake) S 3086 3088 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 636801376 30756864 5098 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3090] ppid=3086 vsize=30036 CPUtime=0.04
/proc/3088/task/3090/stat : 3090 (satake) R 3086 3088 27791 0 -1 4202560 369 0 0 0 4 0 0 0 20 0 17 0 636801376 30756864 5101 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 10 0 0 0 0 0
[pid=3088/tid=3091] ppid=3086 vsize=30228 CPUtime=0.02
/proc/3088/task/3091/stat : 3091 (satake) S 3086 3088 27791 0 -1 4202560 350 0 0 0 0 2 0 0 20 0 17 0 636801376 30953472 5101 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3088/tid=3092] ppid=3086 vsize=30228 CPUtime=0.04
/proc/3088/task/3092/stat : 3092 (satake) R 3086 3088 27791 0 -1 4202560 355 0 0 0 0 4 0 0 20 0 17 0 636801376 30953472 5104 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134522359 0 0 1 0 0 0 0 -1 3 0 0 0 0 0
[pid=3088/tid=3093] ppid=3086 vsize=30228 CPUtime=0.02
/proc/3088/task/3093/stat : 3093 (satake) S 3086 3088 27791 0 -1 4202560 443 0 0 0 0 2 0 0 20 0 17 0 636801376 30953472 5106 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3094] ppid=3086 vsize=30228 CPUtime=0.04
/proc/3088/task/3094/stat : 3094 (satake) D 3086 3088 27791 0 -1 4202560 396 0 0 0 0 4 0 0 20 0 17 0 636801376 30953472 5106 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134676560 0 0 1 0 0 0 0 -1 1 0 0 0 0 0
[pid=3088/tid=3095] ppid=3086 vsize=30228 CPUtime=0.02
/proc/3088/task/3095/stat : 3095 (satake) S 3086 3088 27791 0 -1 4202560 367 0 0 0 0 2 0 0 20 0 17 0 636801376 30953472 5106 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=3088/tid=3096] ppid=3086 vsize=30228 CPUtime=0.02
/proc/3088/task/3096/stat : 3096 (satake) S 3086 3088 27791 0 -1 4202560 285 0 0 0 0 2 0 0 20 0 17 0 636801377 30953472 5108 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=3088/tid=3097] ppid=3086 vsize=30228 CPUtime=0.02
/proc/3088/task/3097/stat : 3097 (satake) S 3086 3088 27791 0 -1 4202560 266 0 0 0 0 2 0 0 20 0 17 0 636801377 30953472 5108 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3098] ppid=3086 vsize=30228 CPUtime=0.02
/proc/3088/task/3098/stat : 3098 (satake) S 3086 3088 27791 0 -1 4202560 310 0 0 0 0 2 0 0 20 0 17 0 636801377 30953472 5109 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 9 0 0 0 0 0
[pid=3088/tid=3099] ppid=3086 vsize=30228 CPUtime=0.02
/proc/3088/task/3099/stat : 3099 (satake) S 3086 3088 27791 0 -1 4202560 293 0 0 0 0 2 0 0 20 0 17 0 636801377 30953472 5109 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=3088/tid=3101] ppid=3086 vsize=30228 CPUtime=0.04
/proc/3088/task/3101/stat : 3101 (satake) R 3086 3088 27791 0 -1 4202560 387 0 0 0 0 4 0 0 20 0 17 0 636801377 30953472 5110 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3088/tid=3103] ppid=3086 vsize=30228 CPUtime=0.04
/proc/3088/task/3103/stat : 3103 (satake) S 3086 3088 27791 0 -1 4202560 322 0 0 0 0 4 0 0 20 0 17 0 636801377 30953472 5116 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=3088/tid=3104] ppid=3086 vsize=30228 CPUtime=0.04
/proc/3088/task/3104/stat : 3104 (satake) R 3086 3088 27791 0 -1 4202560 359 0 0 0 0 4 0 0 20 0 17 0 636801377 30953472 5120 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 8 0 0 0 0 0
[pid=3088/tid=3105] ppid=3086 vsize=30228 CPUtime=0
/proc/3088/task/3105/stat : 3105 (satake) D 3086 3088 27791 0 -1 4202560 278 0 0 0 0 0 0 0 20 0 17 0 636801377 30953472 5121 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3088/tid=3106] ppid=3086 vsize=30228 CPUtime=0.02
/proc/3088/task/3106/stat : 3106 (satake) R 3086 3088 27791 0 -1 4202560 308 0 0 0 2 0 0 0 20 0 17 0 636801377 30953472 5121 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 30036

[startup+0.305428 s]
/proc/loadavg: 2.83 2.98 3.91 2/184 3088
/proc/meminfo: memFree=19140776/36427776 swapFree=4320/7092
[pid=3088] ppid=3086 vsize=60004 CPUtime=1.19
/proc/3088/stat : 3088 (satake) S 3086 3088 27791 0 -1 4202496 12122 0 0 0 28 91 0 0 20 0 17 0 636801376 61444096 12015 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3088/statm: 15001 12019 63 164 0 14836 0
[pid=3088/tid=3089] ppid=3086 vsize=60004 CPUtime=0
/proc/3088/task/3089/stat : 3089 (satake) S 3086 3088 27791 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 17 0 636801376 61444096 12021 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3090] ppid=3086 vsize=60004 CPUtime=0.08
/proc/3088/task/3090/stat : 3090 (satake) S 3086 3088 27791 0 -1 4202560 824 0 0 0 6 2 0 0 20 0 17 0 636801376 61444096 12021 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 10 0 0 0 0 0
[pid=3088/tid=3091] ppid=3086 vsize=60004 CPUtime=0.08
/proc/3088/task/3091/stat : 3091 (satake) S 3086 3088 27791 0 -1 4202560 774 0 0 0 0 8 0 0 20 0 17 0 636801376 61444096 12022 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 2 0 0 0 0 0
[pid=3088/tid=3092] ppid=3086 vsize=60004 CPUtime=0.08
/proc/3088/task/3092/stat : 3092 (satake) S 3086 3088 27791 0 -1 4202560 751 0 0 0 0 8 0 0 20 0 17 0 636801376 61444096 12024 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 3 0 0 0 0 0
[pid=3088/tid=3093] ppid=3086 vsize=60004 CPUtime=0.08
/proc/3088/task/3093/stat : 3093 (satake) S 3086 3088 27791 0 -1 4202560 975 0 0 0 0 8 0 0 20 0 17 0 636801376 61444096 12024 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3094] ppid=3086 vsize=60004 CPUtime=0.08
/proc/3088/task/3094/stat : 3094 (satake) S 3086 3088 27791 0 -1 4202560 813 0 0 0 0 8 0 0 20 0 17 0 636801376 61444096 12024 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 1 0 0 0 0 0
[pid=3088/tid=3095] ppid=3086 vsize=60004 CPUtime=0.06
/proc/3088/task/3095/stat : 3095 (satake) S 3086 3088 27791 0 -1 4202560 850 0 0 0 2 4 0 0 20 0 17 0 636801376 61444096 12033 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 4 0 0 0 0 0
[pid=3088/tid=3096] ppid=3086 vsize=60004 CPUtime=0.06
/proc/3088/task/3096/stat : 3096 (satake) R 3086 3088 27791 0 -1 4202560 814 0 0 0 2 4 0 0 20 0 17 0 636801377 61444096 12033 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 4 0 0 0 0 0
[pid=3088/tid=3097] ppid=3086 vsize=60004 CPUtime=0.06
/proc/3088/task/3097/stat : 3097 (satake) R 3086 3088 27791 0 -1 4202560 673 0 0 0 2 4 0 0 20 0 17 0 636801377 61444096 12033 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134691935 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3098] ppid=3086 vsize=60004 CPUtime=0.06
/proc/3088/task/3098/stat : 3098 (satake) D 3086 3088 27791 0 -1 4202560 848 0 0 0 2 4 0 0 20 0 17 0 636801377 61444096 12033 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134702260 0 0 1 0 0 0 0 -1 9 0 0 0 0 0
[pid=3088/tid=3099] ppid=3086 vsize=60004 CPUtime=0.08
/proc/3088/task/3099/stat : 3099 (satake) S 3086 3088 27791 0 -1 4202560 790 0 0 0 0 8 0 0 20 0 17 0 636801377 61444096 12034 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
[pid=3088/tid=3101] ppid=3086 vsize=60004 CPUtime=0.08
/proc/3088/task/3101/stat : 3101 (satake) D 3086 3088 27791 0 -1 4202560 834 0 0 0 4 4 0 0 20 0 17 0 636801377 61444096 12035 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134675767 0 0 1 0 0 0 0 -1 6 0 0 0 0 0
[pid=3088/tid=3103] ppid=3086 vsize=60004 CPUtime=0.08
/proc/3088/task/3103/stat : 3103 (satake) S 3086 3088 27791 0 -1 4202560 703 0 0 0 2 6 0 0 20 0 17 0 636801377 61444096 12035 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 7 0 0 0 0 0
[pid=3088/tid=3104] ppid=3086 vsize=60004 CPUtime=0.1
/proc/3088/task/3104/stat : 3104 (satake) S 3086 3088 27791 0 -1 4202560 842 0 0 0 2 8 0 0 20 0 17 0 636801377 61444096 12035 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 8 0 0 0 0 0
[pid=3088/tid=3105] ppid=3086 vsize=60004 CPUtime=0.06
/proc/3088/task/3105/stat : 3105 (satake) S 3086 3088 27791 0 -1 4202560 754 0 0 0 0 6 0 0 20 0 17 0 636801377 61444096 12038 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 6 0 0 0 0 0
[pid=3088/tid=3106] ppid=3086 vsize=60004 CPUtime=0.06
/proc/3088/task/3106/stat : 3106 (satake) S 3086 3088 27791 0 -1 4202560 766 0 0 0 4 2 0 0 20 0 17 0 636801377 61444096 12038 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134579486 0 0 1 0 18446744071564503368 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 60004

[startup+0.705396 s]
/proc/loadavg: 2.83 2.98 3.91 2/184 3088
/proc/meminfo: memFree=19140776/36427776 swapFree=4320/7092
[pid=3088] ppid=3086 vsize=81676 CPUtime=3.01
/proc/3088/stat : 3088 (satake) S 3086 3088 27791 0 -1 4202496 18037 0 0 0 166 135 0 0 20 0 17 0 636801376 83636224 14689 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134573496 0 0 1 0 18446744073709551615 0 0 17 15 0 0 0 0 0
/proc/3088/statm: 20419 14689 68 164 0 20254 0
[pid=3088/tid=3089] ppid=3086 vsize=81676 CPUtime=0.08
/proc/3088/task/3089/stat : 3089 (satake) R 3086 3088 27791 0 -1 4202560 330 0 0 0 0 8 0 0 20 0 17 0 636801376 83636224 14689 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134706407 0 0 1 0 0 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3090] ppid=3086 vsize=81676 CPUtime=0.18
/proc/3088/task/3090/stat : 3090 (satake) S 3086 3088 27791 0 -1 4202560 1168 0 0 0 12 6 0 0 20 0 17 0 636801376 83636224 14689 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 10 0 0 0 0 0
[pid=3088/tid=3091] ppid=3086 vsize=81676 CPUtime=0.24
/proc/3088/task/3091/stat : 3091 (satake) S 3086 3088 27791 0 -1 4202560 1149 0 0 0 14 10 0 0 20 0 17 0 636801376 83636224 14689 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 2 0 0 0 0 0
[pid=3088/tid=3092] ppid=3086 vsize=81676 CPUtime=0.16
/proc/3088/task/3092/stat : 3092 (satake) S 3086 3088 27791 0 -1 4202560 1116 0 0 0 6 10 0 0 20 0 17 0 636801376 83636224 14689 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3088/tid=3093] ppid=3086 vsize=81676 CPUtime=0.18
/proc/3088/task/3093/stat : 3093 (satake) S 3086 3088 27791 0 -1 4202560 1299 0 0 0 8 10 0 0 20 0 17 0 636801376 83636224 14690 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 0 0 0 0 0 0
[pid=3088/tid=3094] ppid=3086 vsize=81676 CPUtime=0.24
/proc/3088/task/3094/stat : 3094 (satake) S 3086 3088 27791 0 -1 4202560 1148 0 0 0 12 12 0 0 20 0 17 0 636801376 83636224 14690 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 1 0 0 0 0 0
[pid=3088/tid=3095] ppid=3086 vsize=81676 CPUtime=0.14
/proc/3088/task/3095/stat : 3095 (satake) S 3086 3088 27791 0 -1 4202560 1256 0 0 0 8 6 0 0 20 0 17 0 636801376 83636224 14690 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 4 0 0 0 0 0
[pid=3088/tid=3096] ppid=3086 vsize=81676 CPUtime=0.16
/proc/3088/task/3096/stat : 3096 (satake) S 3086 3088 27791 0 -1 4202560 1239 0 0 0 8 8 0 0 20 0 17 0 636801377 83636224 14690 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 13 0 0 0 0 0
[pid=3088/tid=3097] ppid=3086 vsize=81676 CPUtime=0.16
/proc/3088/task/3097/stat : 3097 (satake) S 3086 3088 27791 0 -1 4202560 1202 0 0 0 12 4 0 0 20 0 17 0 636801377 83636224 14690 18446744073709551615 134512640 135180984 4292619440 18446744073709551615 134580407 0 0 1 0 18446744071565235304 0 0 -1 3 0 0 0 0 0
[pid=3088/tid=3098] ppid=3086 vsize=81676 CPUtime=0.2

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

deleting IPC queue 984023118
deleting IPC queue 984055887
deleting IPC queue 984088656
deleting IPC queue 984121425
deleting IPC queue 984154194
deleting IPC queue 984186963
deleting IPC queue 984219732
deleting IPC queue 984252501
deleting IPC queue 984285270
deleting IPC queue 984318039
deleting IPC queue 984350808
deleting IPC queue 984383577
deleting IPC queue 984416346
deleting IPC queue 984449115
deleting IPC queue 984481884
deleting IPC queue 984514653
deleting IPC queue 984547422
deleting IPC queue 984580191
deleting IPC queue 984612960
deleting IPC queue 984645729
deleting IPC queue 984678498
deleting IPC queue 984711267
deleting IPC queue 984744036
deleting IPC queue 984776805
deleting IPC queue 984809574
deleting IPC queue 984842343
deleting IPC queue 984875112
deleting IPC queue 984907881
deleting IPC queue 984940650
deleting IPC queue 984973419
deleting IPC queue 985006188
deleting IPC queue 985038957
deleting IPC queue 985071726
deleting IPC queue 985104495
deleting IPC queue 985137264
deleting IPC queue 985170033
deleting IPC queue 985202802
deleting IPC queue 985235571
deleting IPC queue 985268340
deleting IPC queue 985301109
deleting IPC queue 985333878
deleting IPC queue 985366647
deleting IPC queue 985399416
deleting IPC queue 985432185
deleting IPC queue 985464954
deleting IPC queue 985497723
deleting IPC queue 985530492
deleting IPC queue 985563261
deleting IPC queue 985596030
deleting IPC queue 985628799
deleting IPC queue 985661568
deleting IPC queue 985694337
deleting IPC queue 985727106
deleting IPC queue 985759875
deleting IPC queue 985792644
deleting IPC queue 985825413
deleting IPC queue 985858182
deleting IPC queue 985890951
deleting IPC queue 985923720
deleting IPC queue 985956489
deleting IPC queue 985989258
deleting IPC queue 986022027
deleting IPC queue 986054796
deleting IPC queue 986087565
deleting IPC queue 986120334
deleting IPC queue 986153103
deleting IPC queue 986185872
deleting IPC queue 986218641
deleting IPC queue 986251410
deleting IPC queue 986284179
deleting IPC queue 986316948
deleting IPC queue 986349717
deleting IPC queue 986382486
deleting IPC queue 986415255
deleting IPC queue 986448024
deleting IPC queue 986480793
deleting IPC queue 986513562
deleting IPC queue 986546331
deleting IPC queue 986579100
deleting IPC queue 986611869
deleting IPC queue 986644638
deleting IPC queue 986677407
deleting IPC queue 986710176
deleting IPC queue 986742945
deleting IPC queue 986775714
deleting IPC queue 986808483
deleting IPC queue 986841252
deleting IPC queue 986874021
deleting IPC queue 986906790
deleting IPC queue 986939559
deleting IPC queue 986972328
deleting IPC queue 987005097
deleting IPC queue 987037866
deleting IPC queue 987070635
deleting IPC queue 987103404
deleting IPC queue 987136173
deleting IPC queue 987168942
deleting IPC queue 987201711
deleting IPC queue 987234480
deleting IPC queue 987267249
deleting IPC queue 987300018
deleting IPC queue 987332787
deleting IPC queue 987365556
deleting IPC queue 987398325
deleting IPC queue 987431094
deleting IPC queue 987463863
deleting IPC queue 987496632
deleting IPC queue 987529401
deleting IPC queue 987562170
deleting IPC queue 987594939
deleting IPC queue 987627708
deleting IPC queue 987660477
deleting IPC queue 987693246
deleting IPC queue 987726015
deleting IPC queue 987758784
deleting IPC queue 987791553
deleting IPC queue 987824322
deleting IPC queue 987857091
deleting IPC queue 987889860
deleting IPC queue 987922629
deleting IPC queue 987955398
deleting IPC queue 987988167
deleting IPC queue 988020936
deleting IPC queue 988053705
deleting IPC queue 988086474
deleting IPC queue 988119243
deleting IPC queue 988152012
deleting IPC queue 988184781
deleting IPC queue 988217550
deleting IPC queue 988250319
deleting IPC queue 988283088
deleting IPC queue 988315857
deleting IPC queue 988348626
deleting IPC queue 988381395
deleting IPC queue 988414164
deleting IPC queue 988446933
deleting IPC queue 988479702
deleting IPC queue 988512471
deleting IPC queue 988545240
deleting IPC queue 988578009
deleting IPC queue 988610778
deleting IPC queue 988643547
deleting IPC queue 988676316
deleting IPC queue 988709085
deleting IPC queue 988741854
deleting IPC queue 988774623
deleting IPC queue 988807392
deleting IPC queue 988840161
deleting IPC queue 988872930
deleting IPC queue 988905699
deleting IPC queue 988938468
deleting IPC queue 988971237
deleting IPC queue 989004006
deleting IPC queue 989036775
deleting IPC queue 989069544
deleting IPC queue 989102313
deleting IPC queue 989135082
deleting IPC queue 989167851
deleting IPC queue 989200620
deleting IPC queue 989233389
deleting IPC queue 989266158
deleting IPC queue 989298927
deleting IPC queue 989331696
deleting IPC queue 989364465
deleting IPC queue 989397234
deleting IPC queue 989430003
deleting IPC queue 989462772
deleting IPC queue 989495541
deleting IPC queue 989528310
deleting IPC queue 989561079
deleting IPC queue 989593848
deleting IPC queue 989626617
deleting IPC queue 989659386
deleting IPC queue 989692155
deleting IPC queue 989724924
deleting IPC queue 989757693
deleting IPC queue 989790462
deleting IPC queue 989823231

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2976.3
system time used= 605.114
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102851
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= 55727419
involuntary context switches= 2118344

runsolver used 4.36827 second user time and 11.5927 second system time

The end

Launcher Data 

Begin job on xenhost3-49 at 2009-06-12 04:49:10
IDJOB=1778967
IDBENCH=70786
IDSOLVER=631
FILE ID=xenhost3-49/1778967-1244774950
PBS_JOBID=
Free space on /tmp= 7036 MiB

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

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

MD5SUM BENCH= 431823fbe355abc605baf058be5925a0
RANDOM SEED= 902225636

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:      19140776 kB
Buffers:        433692 kB
Cached:       14104428 kB
SwapCached:          0 kB
Active:        4078736 kB
Inactive:     10467128 kB
SwapTotal:    25398692 kB
SwapFree:     25398692 kB
Dirty:            1352 kB
Writeback:           0 kB
AnonPages:        7092 kB
Mapped:           3656 kB
Slab:           688168 kB
SReclaimable:   661368 kB
SUnreclaim:      26800 kB
PageTables:          0 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
WritebackTmp:        0 kB
CommitLimit:  43612580 kB
Committed_AS:    29492 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    275248 kB
VmallocChunk: 34359462839 kB
DirectMap4k:  99216660 kB
DirectMap2M:         0 kB

Free space on /tmp at the end= 7036 MiB
End job on xenhost3-49 at 2009-06-12 05:05:52