Trace number 1776547

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
ManySAT 1.1 aimd 2/2009-03-20 (4 threads)? (MO) 1994.52 675.158

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
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 variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

Solver Data 

0.00/0.00	c Parsing...
0.00/0.00	c num clause = 6069108, num vars = 306095
0.00/0.00	c Exiting...too many clauses

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: runsolver --timestamp -w /tmp/evaluation-result-1776547-1243510985/watcher-1776547-1243510985 -o /tmp/evaluation-result-1776547-1243510985/solver-1776547-1243510985 -C 10000 -W 1000 -M 2047 manysat.sh HOME/instance-1776547-1243510985.cnf aimd 2 

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 5.31 5.47 5.46 4/124 31796
/proc/meminfo: memFree=2454368/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) R 31794 31796 21334 0 -1 4194304 354 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946460 3085780852 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=2384 CPUtime=0
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 489 0 0 0 0 0 0 0 18 0 1 0 1115763228 2441216 426 4294967295 134512640 135305190 3215373808 3214324344 134840070 0 0 0 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 596 426 67 194 0 400 0

[startup+0.0462 s]
/proc/loadavg: 5.31 5.47 5.46 4/124 31796
/proc/meminfo: memFree=2454368/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=9500 CPUtime=0.05
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 2216 0 0 0 4 1 0 0 20 0 1 0 1115763228 9728000 2153 4294967295 134512640 135305190 3215373808 3214324576 134526971 0 0 0 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 2375 2153 67 194 0 2179 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11916

[startup+0.106205 s]
/proc/loadavg: 5.31 5.47 5.46 4/124 31796
/proc/meminfo: memFree=2454368/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=18420 CPUtime=0.11
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 4363 0 0 0 9 2 0 0 20 0 1 0 1115763228 18862080 4300 4294967295 134512640 135305190 3215373808 3214324344 134840070 0 0 0 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 4605 4301 67 194 0 4409 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 20836

[startup+0.306175 s]
/proc/loadavg: 5.31 5.47 5.46 4/124 31796
/proc/meminfo: memFree=2454368/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=47188 CPUtime=0.31
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 11575 0 0 0 27 4 0 0 21 0 1 0 1115763228 48320512 11512 4294967295 134512640 135305190 3215373808 3214324260 134840070 0 0 0 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 11797 11512 67 194 0 11601 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 49604

[startup+0.706144 s]
/proc/loadavg: 5.31 5.47 5.46 4/124 31796
/proc/meminfo: memFree=2454368/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=105208 CPUtime=0.71
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 25690 0 0 0 63 8 0 0 22 0 1 0 1115763228 107732992 25627 4294967295 134512640 135305190 3215373808 3214324344 134840070 0 0 0 3 0 0 0 17 0 0 0 0
/proc/31798/statm: 26302 25628 67 194 0 26106 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 107624

[startup+1.51627 s]
/proc/loadavg: 5.04 5.41 5.44 3/126 31799
/proc/meminfo: memFree=2066988/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=208068 CPUtime=1.39
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 50008 0 0 0 120 19 0 0 25 0 1 0 1115763228 213061632 49945 4294967295 134512640 135305190 3215373808 3214324544 134560373 0 0 0 3 0 0 0 17 1 0 0 0
/proc/31798/statm: 52017 49945 67 194 0 51821 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 210484

[startup+3.10612 s]
/proc/loadavg: 5.04 5.41 5.44 3/126 31799
/proc/meminfo: memFree=2154800/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=430480 CPUtime=2.94
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 103300 0 0 0 253 41 0 0 25 0 1 0 1115763228 440811520 103237 4294967295 134512640 135305190 3215373808 3214324260 134840070 0 0 0 3 0 0 0 17 1 0 0 0
/proc/31798/statm: 107620 103238 67 194 0 107424 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 432896

[startup+6.30585 s]
/proc/loadavg: 5.04 5.41 5.44 3/126 31799
/proc/meminfo: memFree=1655312/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=865624 CPUtime=5.92
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 204596 0 0 0 517 75 0 0 25 0 1 0 1115763228 886398976 204533 4294967295 134512640 135305190 3215373808 3214324384 134857151 0 0 0 3 0 0 0 17 1 0 0 0
/proc/31798/statm: 216406 204533 67 194 0 216210 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 868040

[startup+12.7053 s]
/proc/loadavg: 4.57 5.30 5.40 6/129 31803
/proc/meminfo: memFree=1153656/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=1402968 CPUtime=13.63
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 331746 0 0 0 1238 125 0 0 25 0 4 0 1115763228 1436639232 331676 4294967295 134512640 135305190 3215373808 3215371984 134530688 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/31798/statm: 350742 331676 79 194 0 350546 0
[pid=31798/tid=31801] ppid=31796 vsize=1402968 CPUtime=0.6
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 1542 0 0 0 58 2 0 0 22 0 4 0 1115764410 1436639232 331676 4294967295 134512640 135305190 3215373808 2990390464 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=1402968 CPUtime=0.44
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 1521 0 0 0 43 1 0 0 25 0 4 0 1115764410 1436639232 331676 4294967295 134512640 135305190 3215373808 2982001780 134694990 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=1402968 CPUtime=0.65
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 1664 0 0 0 64 1 0 0 25 0 4 0 1115764410 1436639232 331676 4294967295 134512640 135305190 3215373808 2973613248 134528480 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.63
Current children cumulated vsize (KiB) 1405384

[startup+25.5042 s]
/proc/loadavg: 4.64 5.29 5.39 6/129 31804
/proc/meminfo: memFree=1076704/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=1425596 CPUtime=51.18
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 337408 0 0 0 4983 135 0 0 25 0 4 0 1115763228 1459810304 337338 4294967295 134512640 135305190 3215373808 3215371976 134570422 0 0 0 3 4294967295 0 0 17 3 0 0 0
/proc/31798/statm: 356399 337338 79 194 0 356203 0
[pid=31798/tid=31801] ppid=31796 vsize=1425596 CPUtime=10.58
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 2645 0 0 0 1051 7 0 0 25 0 4 0 1115764410 1459810304 337338 4294967295 134512640 135305190 3215373808 2990390464 134530561 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=1425596 CPUtime=9.55
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 3194 0 0 0 952 3 0 0 25 0 4 0 1115764410 1459810304 337338 4294967295 134512640 135305190 3215373808 2982001856 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=1425596 CPUtime=6.61
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 2941 0 0 0 658 3 0 0 25 0 4 0 1115764410 1459810304 337338 4294967295 134512640 135305190 3215373808 2973613248 134528768 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 1428012

[startup+51.1122 s]
/proc/loadavg: 5.02 5.32 5.40 6/129 31990
/proc/meminfo: memFree=1084056/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=1454836 CPUtime=126.72
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 344865 0 0 0 12524 148 0 0 25 0 4 0 1115763228 1489752064 344795 4294967295 134512640 135305190 3215373808 3215371984 134528189 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/31798/statm: 363709 344795 79 194 0 363513 0
[pid=31798/tid=31801] ppid=31796 vsize=1454836 CPUtime=27.75
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 3565 0 0 0 2768 7 0 0 25 0 4 0 1115764410 1489752064 344795 4294967295 134512640 135305190 3215373808 2990390208 134541935 0 0 0 3 0 0 0 -1 3 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=1454836 CPUtime=32.42
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 8768 0 0 0 3227 15 0 0 25 0 4 0 1115764410 1489752064 344795 4294967295 134512640 135305190 3215373808 2982001856 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=1454836 CPUtime=21.8
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 3350 0 0 0 2177 3 0 0 25 0 4 0 1115764410 1489752064 344795 4294967295 134512640 135305190 3215373808 2973613248 134528151 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 126.72
Current children cumulated vsize (KiB) 1457252

[startup+102.308 s]
/proc/loadavg: 5.39 5.37 5.41 7/130 32158
/proc/meminfo: memFree=971476/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=1502300 CPUtime=279.82
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 356626 0 0 0 27813 169 0 0 25 0 4 0 1115763228 1538355200 356556 4294967295 134512640 135305190 3215373808 3215371984 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/31798/statm: 375575 356556 79 194 0 375379 0
[pid=31798/tid=31801] ppid=31796 vsize=1502300 CPUtime=74.92
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 5108 0 0 0 7480 12 0 0 25 0 4 0 1115764410 1538355200 356556 4294967295 134512640 135305190 3215373808 2990390464 134528615 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=1502300 CPUtime=67.62
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 16583 0 0 0 6735 27 0 0 25 0 4 0 1115764410 1538355200 356556 4294967295 134512640 135305190 3215373808 2982001856 134528189 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=1502300 CPUtime=51.32
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 4065 0 0 0 5128 4 0 0 25 0 4 0 1115764410 1538355200 356556 4294967295 134512640 135305190 3215373808 2973613248 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (KiB) 1504716

[startup+162.312 s]
/proc/loadavg: 5.42 5.36 5.40 7/130 32338
/proc/meminfo: memFree=965208/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=1540052 CPUtime=459.47
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 365796 0 0 0 45758 189 0 0 25 0 4 0 1115763228 1577013248 365726 4294967295 134512640 135305190 3215373808 3215371952 134570412 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/31798/statm: 385013 365726 79 194 0 384817 0
[pid=31798/tid=31801] ppid=31796 vsize=1540052 CPUtime=111.55
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 6355 0 0 0 11142 13 0 0 25 0 4 0 1115764410 1577013248 365726 4294967295 134512640 135305190 3215373808 2990390464 134530636 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=1540052 CPUtime=98.52
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 22169 0 0 0 9819 33 0 0 25 0 4 0 1115764410 1577013248 365726 4294967295 134512640 135305190 3215373808 2982001856 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=1540052 CPUtime=110.51
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 5175 0 0 0 11041 10 0 0 25 0 4 0 1115764410 1577013248 365726 4294967295 134512640 135305190 3215373808 2973613248 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 459.47
Current children cumulated vsize (KiB) 1542468

[startup+222.307 s]
/proc/loadavg: 5.56 5.40 5.41 7/130 32498
/proc/meminfo: memFree=962768/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0

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

/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 6490 0 0 0 17984 14 0 0 25 0 4 0 1115764410 1653080064 384147 4294967295 134512640 135305190 3215373808 2973613248 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 818.95
Current children cumulated vsize (KiB) 1616752

[startup+342.306 s]
/proc/loadavg: 5.79 5.49 5.44 7/130 366
/proc/meminfo: memFree=784508/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=1694552 CPUtime=998.48
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 404108 0 0 0 99587 261 0 0 25 0 4 0 1115763228 1735221248 404038 4294967295 134512640 135305190 3215373808 3215371984 134528189 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/31798/statm: 423638 404038 79 194 0 423442 0
[pid=31798/tid=31801] ppid=31796 vsize=1694552 CPUtime=264.16
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 12218 0 0 0 26381 35 0 0 25 0 4 0 1115764410 1735221248 404038 4294967295 134512640 135305190 3215373808 2990390464 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=1694552 CPUtime=198.64
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 49523 0 0 0 19811 53 0 0 25 0 4 0 1115764410 1735221248 404038 4294967295 134512640 135305190 3215373808 2982001536 134552865 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=1694552 CPUtime=227.11
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 6793 0 0 0 22684 27 0 0 25 0 4 0 1115764410 1735221248 404038 4294967295 134512640 135305190 3215373808 2973613248 134528503 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 998.48
Current children cumulated vsize (KiB) 1696968

[startup+402.311 s]
/proc/loadavg: 5.71 5.52 5.45 7/130 541
/proc/meminfo: memFree=796880/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=1754792 CPUtime=1177.99
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 419336 0 0 0 117513 286 0 0 25 0 4 0 1115763228 1796907008 419266 4294967295 134512640 135305190 3215373808 3215371832 134695249 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/31798/statm: 438698 419266 79 194 0 438502 0
[pid=31798/tid=31801] ppid=31796 vsize=1754792 CPUtime=313.88
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 14377 0 0 0 31348 40 0 0 25 0 4 0 1115764410 1796907008 419266 4294967295 134512640 135305190 3215373808 2990390312 134694990 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=1754792 CPUtime=247.27
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 61365 0 0 0 24662 65 0 0 25 0 4 0 1115764410 1796907008 419266 4294967295 134512640 135305190 3215373808 2982001536 134554422 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=1754792 CPUtime=270.52
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 7233 0 0 0 27020 32 0 0 25 0 4 0 1115764410 1796907008 419266 4294967295 134512640 135305190 3215373808 2973613248 134528298 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1177.99
Current children cumulated vsize (KiB) 1757208

[startup+462.316 s]
/proc/loadavg: 5.69 5.55 5.46 7/130 740
/proc/meminfo: memFree=706596/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=1801420 CPUtime=1357.72
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 430633 0 0 0 135464 308 0 0 25 0 4 0 1115763228 1844654080 430563 4294967295 134512640 135305190 3215373808 3215371728 134541944 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31798/statm: 450355 430563 79 194 0 450159 0
[pid=31798/tid=31801] ppid=31796 vsize=1801420 CPUtime=355.38
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 15129 0 0 0 35494 44 0 0 25 0 4 0 1115764410 1844654080 430563 4294967295 134512640 135305190 3215373808 2990390464 134528229 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=1801420 CPUtime=287.73
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 70597 0 0 0 28697 76 0 0 25 0 4 0 1115764410 1844654080 430563 4294967295 134512640 135305190 3215373808 2982001856 134528298 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=1801420 CPUtime=318.67
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 7667 0 0 0 31833 34 0 0 25 0 4 0 1115764410 1844654080 430563 4294967295 134512640 135305190 3215373808 2973613248 134528229 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1357.72
Current children cumulated vsize (KiB) 1803836

[startup+522.311 s]
/proc/loadavg: 5.47 5.52 5.45 6/129 862
/proc/meminfo: memFree=548636/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=1888984 CPUtime=1537.29
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 452454 0 0 0 153394 335 0 0 25 0 4 0 1115763228 1934319616 452384 4294967295 134512640 135305190 3215373808 3215371984 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31798/statm: 472246 452384 79 194 0 472050 0
[pid=31798/tid=31801] ppid=31796 vsize=1888984 CPUtime=407.25
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 16211 0 0 0 40677 48 0 0 25 0 4 0 1115764410 1934319616 452384 4294967295 134512640 135305190 3215373808 2990390464 134530991 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=1888984 CPUtime=331.21
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 89767 0 0 0 33030 91 0 0 25 0 4 0 1115764410 1934319616 452384 4294967295 134512640 135305190 3215373808 2982001472 134551681 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=1888984 CPUtime=358.29
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 8152 0 0 0 35791 38 0 0 25 0 4 0 1115764410 1934319616 452384 4294967295 134512640 135305190 3215373808 2973612992 134542046 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1537.29
Current children cumulated vsize (KiB) 1891400

[startup+582.306 s]
/proc/loadavg: 5.43 5.51 5.45 8/130 1078
/proc/meminfo: memFree=576200/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=1972004 CPUtime=1716.89
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 473279 0 0 0 171326 363 0 0 25 0 4 0 1115763228 2019332096 473209 4294967295 134512640 135305190 3215373808 3215371984 134528298 0 0 0 3 4294967295 0 0 17 0 0 0 0
/proc/31798/statm: 493001 473209 79 194 0 492805 0
[pid=31798/tid=31801] ppid=31796 vsize=1972004 CPUtime=458.06
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 16387 0 0 0 45756 50 0 0 25 0 4 0 1115764410 2019332096 473209 4294967295 134512640 135305190 3215373808 2990390464 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=1972004 CPUtime=390.85
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 110132 0 0 0 38971 114 0 0 25 0 4 0 1115764410 2019332096 473209 4294967295 134512640 135305190 3215373808 2982001800 134840070 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=1972004 CPUtime=397.84
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 8296 0 0 0 39743 41 0 0 25 0 4 0 1115764410 2019332096 473209 4294967295 134512640 135305190 3215373808 2973613248 134530561 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1716.89
Current children cumulated vsize (KiB) 1974420

[startup+642.311 s]
/proc/loadavg: 5.40 5.50 5.45 8/130 1277
/proc/meminfo: memFree=434612/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=2050268 CPUtime=1896.69
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 493068 0 0 0 189279 390 0 0 25 0 4 0 1115763228 2099474432 492998 4294967295 134512640 135305190 3215373808 3215371984 134528298 0 0 0 3 4294967295 0 0 17 2 0 0 0
/proc/31798/statm: 512567 492998 79 194 0 512371 0
[pid=31798/tid=31801] ppid=31796 vsize=2050268 CPUtime=500.58
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 17253 0 0 0 50003 55 0 0 25 0 4 0 1115764410 2099474432 492998 4294967295 134512640 135305190 3215373808 2990390464 134528229 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=2050268 CPUtime=422.22
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 127226 0 0 0 42092 130 0 0 25 0 4 0 1115764410 2099474432 492998 4294967295 134512640 135305190 3215373808 2982001472 134551651 0 0 0 3 0 0 0 -1 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=2050268 CPUtime=457.74
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 9034 0 0 0 45729 45 0 0 25 0 4 0 1115764410 2099474432 492998 4294967295 134512640 135305190 3215373808 2973613248 134528503 0 0 0 3 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1896.69
Current children cumulated vsize (KiB) 2052684



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+675.118 s]
/proc/loadavg: 5.30 5.47 5.44 7/129 1438
/proc/meminfo: memFree=423652/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=2093764 CPUtime=1994.52
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 503421 0 0 0 199049 403 0 0 25 0 4 0 1115763228 2144014336 503351 4294967295 134512640 135305190 3215373808 3215371984 134528410 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/31798/statm: 523441 503351 79 194 0 523245 0
[pid=31798/tid=31801] ppid=31796 vsize=2093764 CPUtime=532.77
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 18366 0 0 0 53220 57 0 0 25 0 4 0 1115764410 2144014336 503351 4294967295 134512640 135305190 3215373808 2990390208 134542040 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=2093764 CPUtime=438.92
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 135169 0 0 0 43754 138 0 0 25 0 4 0 1115764410 2144014336 503351 4294967295 134512640 135305190 3215373808 2982001472 134551681 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=2093764 CPUtime=474.34
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 9285 0 0 0 47389 45 0 0 25 0 4 0 1115764410 2144014336 503351 4294967295 134512640 135305190 3215373808 2973613248 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1994.52
Current children cumulated vsize (KiB) 2096180

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+675.118 s]
/proc/loadavg: 5.30 5.47 5.44 7/129 1438
/proc/meminfo: memFree=423652/3368532 swapFree=1957708/1959888
[pid=31796] ppid=31794 vsize=2416 CPUtime=0
/proc/31796/stat : 31796 (manysat.sh) S 31794 31796 21334 0 -1 4194304 369 126 0 0 0 0 0 0 18 0 1 0 1115763227 2473984 275 4294967295 134512640 135169312 3215949376 3215946520 3085778670 0 65536 4 65538 3222376037 0 0 17 1 0 0 0
/proc/31796/statm: 604 275 231 161 0 43 0
[pid=31798] ppid=31796 vsize=2093764 CPUtime=1994.52
/proc/31798/stat : 31798 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202496 503421 0 0 0 199049 403 0 0 25 0 4 0 1115763228 2144014336 503351 4294967295 134512640 135305190 3215373808 3215371984 134528410 0 0 0 3 4294967295 0 0 17 1 0 0 0
/proc/31798/statm: 523441 503351 79 194 0 523245 0
[pid=31798/tid=31801] ppid=31796 vsize=2093764 CPUtime=532.77
/proc/31798/task/31801/stat : 31801 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 18366 0 0 0 53220 57 0 0 25 0 4 0 1115764410 2144014336 503351 4294967295 134512640 135305190 3215373808 2990390208 134542040 0 0 0 3 0 0 0 -1 2 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=2093764 CPUtime=438.92
/proc/31798/task/31802/stat : 31802 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 135169 0 0 0 43754 138 0 0 25 0 4 0 1115764410 2144014336 503351 4294967295 134512640 135305190 3215373808 2982001472 134551681 0 0 0 3 0 0 0 -1 1 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=2093764 CPUtime=474.34
/proc/31798/task/31803/stat : 31803 (manysat1.1_stat) R 31796 31796 21334 0 -1 4202560 9285 0 0 0 47389 45 0 0 25 0 4 0 1115764410 2144014336 503351 4294967295 134512640 135305190 3215373808 2973613248 134528298 0 0 0 3 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1994.52
Current children cumulated vsize (KiB) 2096180

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31796 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1994.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 675.158
CPU time (s): 1994.52
CPU user time (s): 1990.49
CPU system time (s): 4.03
CPU usage (%): 295.415
Max. virtual memory (cumulated for all children) (KiB): 2096180

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

runsolver used 0.02 second user time and 0.02 second system time

The end

Launcher Data 

Begin job on  at 2009-05-28 13:43:05
IDJOB=1776547
IDBENCH=20580
IDSOLVER=626
FILE ID=/1776547-1243510985
PBS_JOBID=
Free space on /tmp= 15756 MiB

SOLVER NAME= ManySAT 1.1 aimd 2/2009-03-20 (4 threads)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= manysat.sh BENCHNAME aimd 2
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1776547-1243510985/watcher-1776547-1243510985 -o /tmp/evaluation-result-1776547-1243510985/solver-1776547-1243510985 -C 10000 -W 1000 -M 2047  manysat.sh HOME/instance-1776547-1243510985.cnf aimd 2

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

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED= 1786243721

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.105
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.43
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.105
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.11
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.105
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.16
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.105
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.15
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       2457032 kB
Buffers:          6548 kB
Cached:         227372 kB
SwapCached:         16 kB
Active:         785756 kB
Inactive:        62492 kB
HighTotal:     2489216 kB
HighFree:      1644924 kB
LowTotal:       879316 kB
LowFree:        812108 kB
SwapTotal:     1959888 kB
SwapFree:      1957708 kB
Dirty:          135336 kB
Writeback:           0 kB
AnonPages:      614376 kB
Mapped:          35512 kB
Slab:            53872 kB
SReclaimable:    45136 kB
SUnreclaim:       8736 kB
PageTables:       1184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:   892824 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15756 MiB
End job on  at 2009-05-28 13:54:30