0.00/0.00 c Parsing...
0.12/0.21 c ==============================================================================
0.12/0.21 c | | ORIGINAL | LEARNT | |
0.12/0.21 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.21 c ==============================================================================
0.12/0.21 c | 0 | 222378 518882 | 66713 0 0 nan | 0.000 % |
1.32/1.39 c | 0 | 95236 376800 | -- 0 -- -- | -- | -127140/-142077
1.32/1.40 c ==============================================================================
1.32/1.40 c Result : #vars: 12806 #clauses: 95236 #literals: 376800
1.32/1.40 c CPU time: 1.32 s
1.32/1.40 c ==============================================================================
1.52/1.53 c WARNING: for repeatability, setting FPU to use double precision
1.52/1.53 c Number of variables : 12806
1.52/1.53 c Number of clauses : 95236
1.52/1.60 c Parsing time: 0.07 s
108.53/108.54 c restarts : 530
108.53/108.54 c conflicts : 579976 (5421 /sec)
108.53/108.54 c decisions : 1641444 (1.86 % random) (15342 /sec)
108.53/108.54 c propagations : 49101785 (458938 /sec)
108.53/108.54 c conflict literals : 10098861 (44.07 % deleted)
108.53/108.54 c Memory used : 18.32 MB
108.53/108.54 c CPU time : 106.99 s
108.53/108.54 UNSATISFIABLE
108.53/108.54
108.53/108.55 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821990-1242586075/watcher-1821990-1242586075 -o /tmp/evaluation-result-1821990-1242586075/solver-1821990-1242586075 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821990-1242586075.cnf -random-seed=1867615412
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32744
/proc/meminfo: memFree=974288/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2412 CPUtime=0.01
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1023108599 2469888 276 4294967295 134512640 135169312 3216912144 3216910680 3085610734 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32744/statm: 603 276 235 161 0 42 0
[pid=32748] ppid=32744 vsize=952 CPUtime=0
/proc/32748/stat : 32748 (SatELite_releas) R 32744 32744 20977 0 -1 4202496 118 0 0 0 0 0 0 0 20 0 1 0 1023108600 974848 54 4294967295 134512640 135223648 3214195840 3214194772 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32748/statm: 238 57 46 174 0 63 0
[startup+0.063235 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32744
/proc/meminfo: memFree=974288/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2412 CPUtime=0.01
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1023108599 2469888 276 4294967295 134512640 135169312 3216912144 3216910680 3085610734 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32744/statm: 603 276 235 161 0 42 0
[pid=32748] ppid=32744 vsize=10172 CPUtime=0.06
/proc/32748/stat : 32748 (SatELite_releas) R 32744 32744 20977 0 -1 4202496 2262 0 0 0 4 2 0 0 20 0 1 0 1023108600 10416128 2198 4294967295 134512640 135223648 3214195840 3214194792 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32748/statm: 2543 2199 46 174 0 2368 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12584
[startup+0.11323 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32744
/proc/meminfo: memFree=974288/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2412 CPUtime=0.01
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1023108599 2469888 276 4294967295 134512640 135169312 3216912144 3216910680 3085610734 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32744/statm: 603 276 235 161 0 42 0
[pid=32748] ppid=32744 vsize=18360 CPUtime=0.11
/proc/32748/stat : 32748 (SatELite_releas) R 32744 32744 20977 0 -1 4202496 4009 0 0 0 8 3 0 0 20 0 1 0 1023108600 18800640 3945 4294967295 134512640 135223648 3214195840 3214194792 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32748/statm: 4590 3946 46 174 0 4415 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20772
[startup+0.31321 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32744
/proc/meminfo: memFree=974288/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2412 CPUtime=0.01
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1023108599 2469888 276 4294967295 134512640 135169312 3216912144 3216910680 3085610734 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32744/statm: 603 276 235 161 0 42 0
[pid=32748] ppid=32744 vsize=37672 CPUtime=0.31
/proc/32748/stat : 32748 (SatELite_releas) R 32744 32744 20977 0 -1 4202496 8446 0 0 0 26 5 0 0 21 0 1 0 1023108600 38576128 7729 4294967295 134512640 135223648 3214195840 3214193608 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32748/statm: 9418 7729 73 174 0 9243 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 40084
[startup+0.71317 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 32744
/proc/meminfo: memFree=974288/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2412 CPUtime=0.01
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1023108599 2469888 276 4294967295 134512640 135169312 3216912144 3216910680 3085610734 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32744/statm: 603 276 235 161 0 42 0
[pid=32748] ppid=32744 vsize=39844 CPUtime=0.71
/proc/32748/stat : 32748 (SatELite_releas) R 32744 32744 20977 0 -1 4202496 8943 0 0 0 66 5 0 0 22 0 1 0 1023108600 40800256 8226 4294967295 134512640 135223648 3214195840 3214193616 134585461 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32748/statm: 9961 8226 73 174 0 9786 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 42256
[startup+1.51309 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32749
/proc/meminfo: memFree=934236/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2412 CPUtime=0.01
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 365 648 0 0 0 0 0 1 18 0 1 0 1023108599 2469888 276 4294967295 134512640 135169312 3216912144 3216910680 3085610734 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/32744/statm: 603 276 235 161 0 42 0
[pid=32748] ppid=32744 vsize=40656 CPUtime=1.51
/proc/32748/stat : 32748 (SatELite_releas) R 32744 32744 20977 0 -1 4202496 10023 0 0 0 143 8 0 0 25 0 1 0 1023108600 41631744 8500 4294967295 134512640 135223648 3214195840 3214192596 134688107 0 0 0 3 0 0 0 17 2 0 0 0
/proc/32748/statm: 10164 8500 84 174 0 9989 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 43068
[startup+3.11293 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32750
/proc/meminfo: memFree=957672/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=9784 CPUtime=1.58
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 2325 0 0 0 157 1 0 0 25 0 1 0 1023108753 10018816 2259 4294967295 134512640 135212243 3220716320 3220714736 134529979 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 2446 2259 74 171 0 2273 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 12200
[startup+6.31262 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32750
/proc/meminfo: memFree=952116/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=14112 CPUtime=4.78
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 3421 0 0 0 477 1 0 0 25 0 1 0 1023108753 14450688 3355 4294967295 134512640 135212243 3220716320 3220714928 134526248 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 3528 3355 74 171 0 3355 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 16528
[startup+12.712 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32751
/proc/meminfo: memFree=950492/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=16188 CPUtime=11.18
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 3919 0 0 0 1117 1 0 0 25 0 1 0 1023108753 16576512 3853 4294967295 134512640 135212243 3220716320 3220714336 134542465 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 4047 3853 74 171 0 3874 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 18604
[startup+25.5107 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32757
/proc/meminfo: memFree=949200/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=16924 CPUtime=23.98
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 4093 0 0 0 2397 1 0 0 25 0 1 0 1023108753 17330176 4027 4294967295 134512640 135212243 3220716320 3220714928 134526248 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 4231 4027 74 171 0 4058 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 19340
[startup+51.1182 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 32758
/proc/meminfo: memFree=948628/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=17660 CPUtime=49.59
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 4256 0 0 0 4956 3 0 0 25 0 1 0 1023108753 18083840 4190 4294967295 134512640 135212243 3220716320 3220714928 134526019 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 4415 4190 74 171 0 4242 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 20076
[startup+102.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 478
/proc/meminfo: memFree=947148/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=18752 CPUtime=100.8
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 4510 0 0 0 10077 3 0 0 25 0 1 0 1023108753 19202048 4444 4294967295 134512640 135212243 3220716320 3220714928 134526197 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 4688 4444 74 171 0 4515 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 21168
Solver just ended. Dumping a history of the last processes samples
[startup+105.513 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 478
/proc/meminfo: memFree=947148/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=18752 CPUtime=103.99
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 4510 0 0 0 10396 3 0 0 25 0 1 0 1023108753 19202048 4444 4294967295 134512640 135212243 3220716320 3220714848 134523822 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 4688 4444 74 171 0 4515 0
Current children cumulated CPU time (s) 105.53
Current children cumulated vsize (KiB) 21168
[startup+107.113 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 478
/proc/meminfo: memFree=947148/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=18752 CPUtime=105.59
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 4510 0 0 0 10556 3 0 0 25 0 1 0 1023108753 19202048 4444 4294967295 134512640 135212243 3220716320 3220714928 134526248 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 4688 4444 74 171 0 4515 0
Current children cumulated CPU time (s) 107.13
Current children cumulated vsize (KiB) 21168
[startup+107.913 s]
/proc/loadavg: 1.08 1.02 1.01 2/95 479
/proc/meminfo: memFree=947148/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=18752 CPUtime=106.39
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 4510 0 0 0 10636 3 0 0 25 0 1 0 1023108753 19202048 4444 4294967295 134512640 135212243 3220716320 3220714640 134528036 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 4688 4444 74 171 0 4515 0
Current children cumulated CPU time (s) 107.93
Current children cumulated vsize (KiB) 21168
[startup+108.313 s]
/proc/loadavg: 1.08 1.02 1.01 2/95 479
/proc/meminfo: memFree=947148/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=18752 CPUtime=106.79
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 4510 0 0 0 10676 3 0 0 25 0 1 0 1023108753 19202048 4444 4294967295 134512640 135212243 3220716320 3220714848 134523540 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 4688 4444 74 171 0 4515 0
Current children cumulated CPU time (s) 108.33
Current children cumulated vsize (KiB) 21168
[startup+108.513 s]
/proc/loadavg: 1.08 1.02 1.01 2/95 479
/proc/meminfo: memFree=947148/2074464 swapFree=1951864/1959888
[pid=32744] ppid=32742 vsize=2416 CPUtime=1.54
/proc/32744/stat : 32744 (SatELiteGTI) S 32742 32744 20977 0 -1 4194304 384 10673 0 0 0 0 144 10 18 0 1 0 1023108599 2473984 278 4294967295 134512640 135169312 3216912144 3216908360 3085610734 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/32744/statm: 604 278 235 161 0 43 0
[pid=32750] ppid=32744 vsize=18752 CPUtime=106.99
/proc/32750/stat : 32750 (minisat_static) R 32744 32744 20977 0 -1 4202496 4510 0 0 0 10696 3 0 0 25 0 1 0 1023108753 19202048 4444 4294967295 134512640 135212243 3220716320 3220714928 134525957 0 0 0 3 0 0 0 17 3 0 0 0
/proc/32750/statm: 4688 4444 74 171 0 4515 0
Current children cumulated CPU time (s) 108.53
Current children cumulated vsize (KiB) 21168
Child status: 20
Real time (s): 108.557
CPU time (s): 108.57
CPU user time (s): 108.43
CPU system time (s): 0.14
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 43436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.43
system time used= 0.14
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15853
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= 19
involuntary context switches= 93
runsolver used 0.01 second user time and 0 second system time
The end
Begin job on tipi10 at 2009-05-17 20:47:55
IDJOB=1821990
IDBENCH=71767
IDSOLVER=659
FILE ID=tipi10/1821990-1242586075
PBS_JOBID=
Free space on /tmp= 3635 MiB
SOLVER NAME= MiniSAT 09z 2009-03-22
BENCH NAME= SAT_RACE06/manol-pipe-g7nidw.cnf
COMMAND LINE= SatELiteGTI BENCHNAME -random-seed=RANDOMSEED
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821990-1242586075/watcher-1821990-1242586075 -o /tmp/evaluation-result-1821990-1242586075/solver-1821990-1242586075 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821990-1242586075.cnf -random-seed=1867615412
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a0303c742e981cc0d4711ad3ac66f146
RANDOM SEED= 1867615412
Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 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 : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 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 : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
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 : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
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 : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 974288 kB
Buffers: 49448 kB
Cached: 935164 kB
SwapCached: 2732 kB
Active: 204084 kB
Inactive: 790512 kB
HighTotal: 1178688 kB
HighFree: 526468 kB
LowTotal: 895776 kB
LowFree: 447820 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 5340 kB
Writeback: 0 kB
AnonPages: 9148 kB
Mapped: 3096 kB
Slab: 97684 kB
PageTables: 388 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90592 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 3635 MiB
End job on tipi10 at 2009-05-17 20:49:44