Trace number 1776160

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 (4 threads)UNSAT 361.77 183.43

General information on the benchmark

Nameindustrial/palacios/medium/
blocks-4-ipc5-h22-unknown.cnf
MD5SUM8c6ad18be635cee0d986377c4d06ab11
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark33.51
Satisfiable
(Un)Satisfiability was proved
Number of variables146874
Number of clauses937242
Sum of the clauses size2519136
Maximum clause length417
Minimum clause length1
Number of clauses of size 1125
Number of clauses of size 2791651
Number of clauses of size 3139269
Number of clauses of size 41522
Number of clauses of size 583
Number of clauses of size over 54592

Solver Data 

361.74/183.42	c Benchmark name    : HOME/instance-1776160-1243635444.cnf
361.74/183.42	c Thread Num        :            4
361.74/183.42	c restarts          :           13
361.74/183.42	c conflicts         :        26971
361.74/183.42	c decisions         :        51408           (      281 / sec      )
361.74/183.42	c propagations      :    286597718           (  1567392 / sec      )
361.74/183.42	c inspects          :    604473713           (  3305844 / sec      )
361.74/183.42	c conflict literals :      1101136           (    36.23 % deleted  )
361.74/183.42	c cpu time          :       182.85           
361.74/183.42	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1776160-1243635444/watcher-1776160-1243635444 -o /tmp/evaluation-result-1776160-1243635444/solver-1776160-1243635444 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776160-1243635444.cnf 4 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: 5.35 5.51 5.29 5/120 3817
/proc/meminfo: memFree=3124300/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=964 CPUtime=0
/proc/3816/stat : 3816 (satake) R 3814 3816 17312 0 -1 4202496 107 0 0 0 0 0 0 0 24 0 2 0 1128207288 987136 64 4294967295 134512640 135180984 3214329024 3214328368 134705812 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 241 64 54 164 0 76 0
[pid=3816/tid=3817] ppid=3814 vsize=964 CPUtime=0
/proc/3816/task/3817/stat : 3817 (satake) R 3814 3816 17312 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 2 0 1128207288 987136 64 4294967295 134512640 135180984 3214329024 3086181188 134705812 0 0 0 0 0 0 0 -1 1 0 0 0

[startup+0.086691 s]
/proc/loadavg: 5.35 5.51 5.29 5/120 3817
/proc/meminfo: memFree=3124300/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=57216 CPUtime=0.15
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 13926 0 0 0 6 9 0 0 24 0 5 0 1128207288 58589184 13881 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 14304 13881 63 164 0 14139 0
[pid=3816/tid=3817] ppid=3814 vsize=57216 CPUtime=0
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128207288 58589184 13881 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 57216

[startup+0.115745 s]
/proc/loadavg: 5.35 5.51 5.29 5/120 3817
/proc/meminfo: memFree=3124300/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=58888 CPUtime=0.17
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 14363 0 0 0 8 9 0 0 24 0 5 0 1128207288 60301312 14315 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 14722 14315 63 164 0 14557 0
[pid=3816/tid=3817] ppid=3814 vsize=58888 CPUtime=0
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128207288 60301312 14315 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 58888

[startup+0.315737 s]
/proc/loadavg: 5.35 5.51 5.29 5/120 3817
/proc/meminfo: memFree=3124300/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=80252 CPUtime=0.5
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 19031 0 0 0 39 11 0 0 24 0 5 0 1128207288 82178048 18969 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 20063 18969 63 164 0 19898 0
[pid=3816/tid=3817] ppid=3814 vsize=80252 CPUtime=0
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128207288 82178048 18969 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 80252

[startup+0.715731 s]
/proc/loadavg: 5.35 5.51 5.29 5/120 3817
/proc/meminfo: memFree=3124300/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=126456 CPUtime=1.21
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 28067 0 0 0 104 17 0 0 24 0 5 0 1128207288 129490944 28005 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 31614 28005 63 164 0 31449 0
[pid=3816/tid=3817] ppid=3814 vsize=126456 CPUtime=0
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128207288 129490944 28005 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 126456

[startup+1.51568 s]
/proc/loadavg: 5.35 5.51 5.29 6/122 3823
/proc/meminfo: memFree=2988732/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=211188 CPUtime=2.69
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 46089 0 0 0 243 26 0 0 24 0 5 0 1128207288 216256512 46027 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 52797 46028 64 164 0 52632 0
[pid=3816/tid=3817] ppid=3814 vsize=211188 CPUtime=0
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 5 0 1128207288 216256512 46029 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=211188 CPUtime=0.96
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 15815 0 0 0 88 8 0 0 25 0 5 0 1128207289 216256512 46029 4294967295 134512640 135180984 3214329024 3086115128 134520871 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=211188 CPUtime=0.94
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 15537 0 0 0 83 11 0 0 25 0 5 0 1128207289 216256512 46029 4294967295 134512640 135180984 3214329024 3086049428 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=211188 CPUtime=0.8
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 14622 0 0 0 73 7 0 0 25 0 5 0 1128207289 216256512 46029 4294967295 134512640 135180984 3214329024 3085983992 134519901 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 211188

[startup+3.11559 s]
/proc/loadavg: 5.35 5.51 5.29 6/122 3823
/proc/meminfo: memFree=2971696/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=183736 CPUtime=5.87
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 51063 0 0 0 559 28 0 0 24 0 5 0 1128207288 188145664 38131 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 45934 38131 68 164 0 45769 0
[pid=3816/tid=3817] ppid=3814 vsize=183736 CPUtime=0.05
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 2615 0 0 0 4 1 0 0 15 0 5 0 1128207288 188145664 38131 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=183736 CPUtime=2.28
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 15962 0 0 0 220 8 0 0 25 0 5 0 1128207289 188145664 38131 4294967295 134512640 135180984 3214329024 3086114668 134518208 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=183736 CPUtime=2.04
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 16242 0 0 0 193 11 0 0 25 0 5 0 1128207289 188145664 38131 4294967295 134512640 135180984 3214329024 3086049072 134523821 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=183736 CPUtime=1.51
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 16134 0 0 0 143 8 0 0 25 0 5 0 1128207289 188145664 38131 4294967295 134512640 135180984 3214329024 3085983592 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 183736

[startup+6.31543 s]
/proc/loadavg: 5.32 5.51 5.29 6/122 3827
/proc/meminfo: memFree=2970996/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=184000 CPUtime=12.19
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 51171 0 0 0 1190 29 0 0 24 0 5 0 1128207288 188416000 38239 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 46000 38239 68 164 0 45835 0
[pid=3816/tid=3817] ppid=3814 vsize=184000 CPUtime=0.06
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 2628 0 0 0 5 1 0 0 16 0 5 0 1128207288 188416000 38239 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=184000 CPUtime=4.26
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 16003 0 0 0 417 9 0 0 25 0 5 0 1128207289 188416000 38239 4294967295 134512640 135180984 3214329024 3086114664 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=184000 CPUtime=3.83
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 16267 0 0 0 372 11 0 0 25 0 5 0 1128207289 188416000 38239 4294967295 134512640 135180984 3214329024 3086049128 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=184000 CPUtime=4.04
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 16163 0 0 0 396 8 0 0 25 0 5 0 1128207289 188416000 38239 4294967295 134512640 135180984 3214329024 3085983664 134532518 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 184000

[startup+12.7151 s]
/proc/loadavg: 5.30 5.50 5.28 6/122 3840
/proc/meminfo: memFree=2969812/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=186708 CPUtime=24.84
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 51476 0 0 0 2447 37 0 0 24 0 5 0 1128207288 191188992 38544 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 46677 38544 68 164 0 46512 0
[pid=3816/tid=3817] ppid=3814 vsize=186708 CPUtime=0.1
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 2646 0 0 0 6 4 0 0 15 0 5 0 1128207288 191188992 38544 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=186708 CPUtime=8.25
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 16095 0 0 0 814 11 0 0 25 0 5 0 1128207289 191188992 38544 4294967295 134512640 135180984 3214329024 3086114664 134520863 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=186708 CPUtime=7.7
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 16367 0 0 0 757 13 0 0 25 0 5 0 1128207289 191188992 38544 4294967295 134512640 135180984 3214329024 3086049136 134528433 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=186708 CPUtime=8.8
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 16258 0 0 0 871 9 0 0 25 0 5 0 1128207289 191188992 38544 4294967295 134512640 135180984 3214329024 3085983616 134532624 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.84
Current children cumulated vsize (KiB) 186708

[startup+25.5144 s]
/proc/loadavg: 5.38 5.50 5.29 6/124 4043
/proc/meminfo: memFree=2966968/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=187764 CPUtime=50.07
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 51980 0 0 0 4962 45 0 0 24 0 5 0 1128207288 192270336 39048 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 46941 39048 68 164 0 46776 0
[pid=3816/tid=3817] ppid=3814 vsize=187764 CPUtime=0.16
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 2679 0 0 0 9 7 0 0 15 0 5 0 1128207288 192270336 39048 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=187764 CPUtime=15.95
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 16254 0 0 0 1583 12 0 0 25 0 5 0 1128207289 192270336 39048 4294967295 134512640 135180984 3214329024 3086114672 134526482 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=187764 CPUtime=15.87
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 16488 0 0 0 1572 15 0 0 25 0 5 0 1128207289 192270336 39048 4294967295 134512640 135180984 3214329024 3086049068 134521127 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=187764 CPUtime=18.1
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 16449 0 0 0 1799 11 0 0 25 0 5 0 1128207289 192270336 39048 4294967295 134512640 135180984 3214329024 3085983600 134528180 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.07
Current children cumulated vsize (KiB) 187764

[startup+51.1131 s]
/proc/loadavg: 5.39 5.50 5.29 7/122 4082
/proc/meminfo: memFree=2963108/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=191928 CPUtime=100.87
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 52899 0 0 0 10020 67 0 0 24 0 5 0 1128207288 196534272 39967 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 47982 39967 68 164 0 47817 0
[pid=3816/tid=3817] ppid=3814 vsize=191928 CPUtime=0.32
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 2769 0 0 0 13 19 0 0 16 0 5 0 1128207288 196534272 39967 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=191928 CPUtime=30.82
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 16514 0 0 0 3066 16 0 0 25 0 5 0 1128207289 196534272 39967 4294967295 134512640 135180984 3214329024 3086114672 134528052 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=191928 CPUtime=32.73
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 16756 0 0 0 3254 19 0 0 25 0 5 0 1128207289 196534272 39967 4294967295 134512640 135180984 3214329024 3086049128 134520863 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=191928 CPUtime=37.01
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 16750 0 0 0 3688 13 0 0 25 0 5 0 1128207289 196534272 39967 4294967295 134512640 135180984 3214329024 3085983600 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.87
Current children cumulated vsize (KiB) 191928

[startup+102.31 s]
/proc/loadavg: 5.36 5.46 5.29 6/122 4345
/proc/meminfo: memFree=2955936/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=198396 CPUtime=202.05
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 54458 0 0 0 20088 117 0 0 24 0 5 0 1128207288 203157504 41526 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 49599 41526 68 164 0 49434 0
[pid=3816/tid=3817] ppid=3814 vsize=198396 CPUtime=0.71
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 2969 0 0 0 24 47 0 0 16 0 5 0 1128207288 203157504 41526 4294967295 134512640 135180984 3214329024 3086180372 134580588 0 0 0 0 3223036975 0 0 -1 1 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=198396 CPUtime=63.38
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 16906 0 0 0 6317 21 0 0 25 0 5 0 1128207289 203157504 41526 4294967295 134512640 135180984 3214329024 3086114476 134706407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=198396 CPUtime=65.22
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 17191 0 0 0 6492 30 0 0 25 0 5 0 1128207289 203157504 41526 4294967295 134512640 135180984 3214329024 3086049132 134518246 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=198396 CPUtime=72.75
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 17282 0 0 0 7256 19 0 0 25 0 5 0 1128207289 203157504 41526 4294967295 134512640 135180984 3214329024 3085983600 134528557 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 202.05
Current children cumulated vsize (KiB) 198396

[startup+162.307 s]
/proc/loadavg: 5.28 5.42 5.28 6/122 4621
/proc/meminfo: memFree=2947172/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=207460 CPUtime=320.26
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 56810 0 0 0 31796 230 0 0 24 0 5 0 1128207288 212439040 43878 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 51865 43878 68 164 0 51700 0
[pid=3816/tid=3817] ppid=3814 vsize=207460 CPUtime=1.57
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 3620 0 0 0 53 104 0 0 15 0 5 0 1128207288 212439040 43878 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=207460 CPUtime=101.34
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 17419 0 0 0 10100 34 0 0 25 0 5 0 1128207289 212439040 43878 4294967295 134512640 135180984 3214329024 3086114664 134519912 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=207460 CPUtime=105.58
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 17816 0 0 0 10505 53 0 0 25 0 5 0 1128207289 212439040 43878 4294967295 134512640 135180984 3214329024 3086048928 134580407 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=207460 CPUtime=111.78
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 17845 0 0 0 11139 39 0 0 25 0 5 0 1128207289 212439040 43878 4294967295 134512640 135180984 3214329024 3085983592 134520667 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 320.26
Current children cumulated vsize (KiB) 207460

Solver just ended. Dumping a history of the last processes samples

[startup+166.307 s]
/proc/loadavg: 5.26 5.41 5.28 7/122 4625
/proc/meminfo: memFree=2946560/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=208880 CPUtime=328.14
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 56984 0 0 0 32576 238 0 0 24 0 5 0 1128207288 213893120 44052 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 52220 44052 68 164 0 52055 0
[pid=3816/tid=3817] ppid=3814 vsize=208880 CPUtime=1.66
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 3661 0 0 0 55 111 0 0 15 0 5 0 1128207288 213893120 44052 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=208880 CPUtime=104.15
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 17459 0 0 0 10381 34 0 0 25 0 5 0 1128207289 213893120 44052 4294967295 134512640 135180984 3214329024 3086114672 134528470 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=208880 CPUtime=107.68
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 17858 0 0 0 10715 53 0 0 25 0 5 0 1128207289 213893120 44052 4294967295 134512640 135180984 3214329024 3086049128 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=208880 CPUtime=114.66
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 17896 0 0 0 11426 40 0 0 25 0 5 0 1128207289 213893120 44052 4294967295 134512640 135180984 3214329024 3085983664 134532533 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 328.14
Current children cumulated vsize (KiB) 208880

[startup+172.707 s]
/proc/loadavg: 5.24 5.41 5.27 7/122 4638
/proc/meminfo: memFree=2945272/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=209416 CPUtime=340.8
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 57210 0 0 0 33832 248 0 0 24 0 5 0 1128207288 214441984 44278 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 52354 44278 68 164 0 52189 0
[pid=3816/tid=3817] ppid=3814 vsize=209416 CPUtime=1.73
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 3724 0 0 0 57 116 0 0 15 0 5 0 1128207288 214441984 44278 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=209416 CPUtime=108.8
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 17522 0 0 0 10845 35 0 0 25 0 5 0 1128207289 214441984 44278 4294967295 134512640 135180984 3214329024 3086114736 134532489 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=209416 CPUtime=111.83
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 17899 0 0 0 11129 54 0 0 25 0 5 0 1128207289 214441984 44278 4294967295 134512640 135180984 3214329024 3086049056 134519095 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=209416 CPUtime=118.45
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 17955 0 0 0 11802 43 0 0 25 0 5 0 1128207289 214441984 44278 4294967295 134512640 135180984 3214329024 3085983600 134528420 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 340.8
Current children cumulated vsize (KiB) 209416

[startup+179.106 s]
/proc/loadavg: 5.30 5.42 5.28 6/122 4647
/proc/meminfo: memFree=2944472/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=211120 CPUtime=353.45
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 57455 0 0 0 35091 254 0 0 24 0 5 0 1128207288 216186880 44523 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 52780 44523 68 164 0 52615 0
[pid=3816/tid=3817] ppid=3814 vsize=211120 CPUtime=1.79
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 3786 0 0 0 62 117 0 0 15 0 5 0 1128207288 216186880 44523 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=211120 CPUtime=114.08
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 17587 0 0 0 11370 38 0 0 25 0 5 0 1128207289 216186880 44523 4294967295 134512640 135180984 3214329024 3086114672 134528451 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=211120 CPUtime=115.48
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 17950 0 0 0 11493 55 0 0 25 0 5 0 1128207289 216186880 44523 4294967295 134512640 135180984 3214329024 3086049136 134528470 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=211120 CPUtime=122.11
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 18022 0 0 0 12167 44 0 0 25 0 5 0 1128207289 216186880 44523 4294967295 134512640 135180984 3214329024 3085983592 134520863 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 353.45
Current children cumulated vsize (KiB) 211120

[startup+180.706 s]
/proc/loadavg: 5.27 5.41 5.28 6/122 4651
/proc/meminfo: memFree=2944592/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=211120 CPUtime=356.63
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 57510 0 0 0 35405 258 0 0 24 0 5 0 1128207288 216186880 44578 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 52780 44578 68 164 0 52615 0
[pid=3816/tid=3817] ppid=3814 vsize=211120 CPUtime=1.82
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 3792 0 0 0 63 119 0 0 15 0 5 0 1128207288 216186880 44578 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 2 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=211120 CPUtime=114.95
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 17607 0 0 0 11457 38 0 0 25 0 5 0 1128207289 216186880 44578 4294967295 134512640 135180984 3214329024 3086114672 134528420 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=211120 CPUtime=116.74
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 17961 0 0 0 11619 55 0 0 25 0 5 0 1128207289 216186880 44578 4294967295 134512640 135180984 3214329024 3086049136 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=211120 CPUtime=123.13
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 18040 0 0 0 12267 46 0 0 25 0 5 0 1128207289 216186880 44578 4294967295 134512640 135180984 3214329024 3085983488 134522980 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 356.63
Current children cumulated vsize (KiB) 211120

[startup+182.306 s]
/proc/loadavg: 5.27 5.41 5.28 6/122 4651
/proc/meminfo: memFree=2944592/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=211284 CPUtime=359.76
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 57539 0 0 0 35718 258 0 0 24 0 5 0 1128207288 216354816 44607 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 52821 44607 68 164 0 52656 0
[pid=3816/tid=3817] ppid=3814 vsize=211284 CPUtime=1.82
/proc/3816/task/3817/stat : 3817 (satake) S 3814 3816 17312 0 -1 4202560 3808 0 0 0 63 119 0 0 15 0 5 0 1128207288 216354816 44607 4294967295 134512640 135180984 3214329024 3086180368 134580407 0 0 0 0 3223036458 0 0 -1 0 0 0 0
[pid=3816/tid=3819] ppid=3814 vsize=211284 CPUtime=116.05
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 17612 0 0 0 11567 38 0 0 25 0 5 0 1128207289 216354816 44607 4294967295 134512640 135180984 3214329024 3086114672 134528433 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=211284 CPUtime=117.84
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 17965 0 0 0 11729 55 0 0 25 0 5 0 1128207289 216354816 44607 4294967295 134512640 135180984 3214329024 3086049132 134518246 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=211284 CPUtime=124.06
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 18044 0 0 0 12360 46 0 0 25 0 5 0 1128207289 216354816 44607 4294967295 134512640 135180984 3214329024 3085983600 134528433 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 359.76
Current children cumulated vsize (KiB) 211284

[startup+183.106 s]
/proc/loadavg: 5.27 5.41 5.28 6/122 4651
/proc/meminfo: memFree=2944592/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=207644 CPUtime=361.32
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 57550 0 0 0 35870 262 0 0 18 0 4 0 1128207288 212627456 43709 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 51911 43709 77 164 0 51746 0
[pid=3816/tid=3819] ppid=3814 vsize=207644 CPUtime=116.54
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 17612 0 0 0 11613 41 0 0 25 0 4 0 1128207289 212627456 43709 4294967295 134512640 135180984 3214329024 3086115208 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=207644 CPUtime=118.28
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 17965 0 0 0 11773 55 0 0 25 0 4 0 1128207289 212627456 43709 4294967295 134512640 135180984 3214329024 3086049672 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=207644 CPUtime=124.64
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 18054 0 0 0 12417 47 0 0 25 0 4 0 1128207289 212627456 43709 4294967295 134512640 135180984 3214329024 3085984136 134579486 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 361.32
Current children cumulated vsize (KiB) 207644

[startup+183.306 s]
/proc/loadavg: 5.27 5.41 5.28 6/122 4651
/proc/meminfo: memFree=2944592/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=195460 CPUtime=361.59
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 57550 0 0 0 35895 264 0 0 18 0 4 0 1128207288 200151040 41484 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 48865 41484 77 164 0 48700 0
[pid=3816/tid=3819] ppid=3814 vsize=195460 CPUtime=116.65
/proc/3816/task/3819/stat : 3819 (satake) R 3814 3816 17312 0 -1 4202560 17612 0 0 0 11623 42 0 0 24 0 4 0 1128207289 200151040 41484 4294967295 134512640 135180984 3214329024 3086115192 134579745 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3820] ppid=3814 vsize=195460 CPUtime=118.36
/proc/3816/task/3820/stat : 3820 (satake) R 3814 3816 17312 0 -1 4202560 17965 0 0 0 11780 56 0 0 25 0 4 0 1128207289 200151040 41484 4294967295 134512640 135180984 3214329024 3086049656 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=195460 CPUtime=124.72
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 18054 0 0 0 12425 47 0 0 22 0 4 0 1128207289 200151040 41484 4294967295 134512640 135180984 3214329024 3085984136 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 361.59
Current children cumulated vsize (KiB) 195460

[startup+183.406 s]
/proc/loadavg: 5.27 5.41 5.28 6/122 4651
/proc/meminfo: memFree=2944592/3368532 swapFree=1959840/1959888
[pid=3816] ppid=3814 vsize=172444 CPUtime=361.74
/proc/3816/stat : 3816 (satake) S 3814 3816 17312 0 -1 4202496 57550 0 0 0 35908 266 0 0 15 0 3 0 1128207288 176582656 38001 4294967295 134512640 135180984 3214329024 3214328460 134573496 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/3816/statm: 43111 38001 77 164 0 42946 0
[pid=3816/tid=3820] ppid=3814 vsize=172444 CPUtime=118.43
/proc/3816/task/3820/stat : 3820 (satake) S 3814 3816 17312 0 -1 4202560 17965 0 0 0 11786 57 0 0 24 0 3 0 1128207289 176582656 38001 4294967295 134512640 135180984 3214329024 3086049656 134579486 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=3816/tid=3821] ppid=3814 vsize=172444 CPUtime=124.79
/proc/3816/task/3821/stat : 3821 (satake) R 3814 3816 17312 0 -1 4202560 18054 0 0 0 12432 47 0 0 22 0 3 0 1128207289 176582656 38001 4294967295 134512640 135180984 3214329024 3085984120 134579745 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 361.74
Current children cumulated vsize (KiB) 172444

Child status: 4
Real time (s): 183.43
CPU time (s): 361.77
CPU user time (s): 359.09
CPU system time (s): 2.68
CPU usage (%): 197.225
Max. virtual memory (cumulated for all children) (KiB): 211284


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 359.09
system time used= 2.68
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57551
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= 676731
involuntary context switches= 667430

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on  at 2009-05-30 00:17:24
IDJOB=1776160
IDBENCH=20430
IDSOLVER=629
FILE ID=/1776160-1243635444
PBS_JOBID=
Free space on /tmp= 7969 MiB

SOLVER NAME= satake 2009-03-22 (4 threads)
BENCH NAME= SAT07/industrial/palacios/medium/blocks-4-ipc5-h22-unknown.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776160-1243635444/watcher-1776160-1243635444 -o /tmp/evaluation-result-1776160-1243635444/solver-1776160-1243635444 -C 10000 -W 1000 -M 2047 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1776160-1243635444.cnf 4 10000

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

MD5SUM BENCH= 8c6ad18be635cee0d986377c4d06ab11
RANDOM SEED= 724446760

Linux (none) 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.12
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.073
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3124448 kB
Buffers:         55628 kB
Cached:          82576 kB
SwapCached:          0 kB
Active:          94344 kB
Inactive:        66516 kB
HighTotal:     2489216 kB
HighFree:      2384736 kB
LowTotal:       879316 kB
LowFree:        739712 kB
SwapTotal:     1959888 kB
SwapFree:      1959840 kB
Dirty:           18416 kB
Writeback:           0 kB
AnonPages:       22728 kB
Mapped:           8200 kB
Slab:            73900 kB
SReclaimable:    61572 kB
SUnreclaim:      12328 kB
PageTables:        796 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   126348 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 7969 MiB
End job on  at 2009-05-30 00:20:28