0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/242167-1168376506/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=87 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.094 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.40
0.40 constraints being loaded...
0.44 nbConstraints=58 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=56
0.44 nbConflictsStructures=2 nbSharedConflictsStructures=56 nbSharedBinaryRepresentations=0 maxDegree=2 maxArity=3
0.44 => wckTime=0.134 cpuTime=0.11 mem=6M951
0.47
0.47 solver IterativeSystematicSolver being built...
0.65 => wckTime=0.346 cpuTime=0.26 mem=15M515
0.68
0.68 preprocessing
0.68 nbConstraintChecks=272 nbValidityChecks=979 nbPropagations=365 nbRevisions=511 nbUselessRevisions=397
0.68 nbSingletonTests=168 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
0.68 => wckTime=0.032 cpuTime=0.02 mem=15M515
0.71
0.71 search
0.71 run=0 nbConstraintChecks=118 nbValidityChecks=505 nbPropagations=477 nbRevisions=736 nbUselessRevisions=537
0.71 nbAssignments=65 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=72 nbRestartNogoods=0 mapSize=3
0.71 nbInferences=0 nbTooLargeKeys=0
0.71 => wckTime=0.06 cpuTime=0.04 mem=15M515
0.73
0.73 search
0.73 run=1 nbConstraintChecks=281 nbValidityChecks=1128 nbPropagations=1093 nbRevisions=1743
0.73 nbUselessRevisions=1233 nbAssignments=138 nbFailedAssignments=9 nbBacktracks=28 nbVisitedNodes=156
0.73 nbRestartNogoods=2 mapSize=12 nbInferences=0 nbTooLargeKeys=0
0.73 => wckTime=0.077 cpuTime=0.05 mem=15M515
0.74
0.74 search
0.74 run=2 nbConstraintChecks=504 nbValidityChecks=1860 nbPropagations=1871 nbRevisions=3075
0.74 nbUselessRevisions=2121 nbAssignments=217 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=249
0.74 nbRestartNogoods=4 mapSize=24 nbInferences=2 nbTooLargeKeys=0
0.74 => wckTime=0.088 cpuTime=0.06 mem=15M515
0.75
0.75 search
0.75 run=3 nbConstraintChecks=796 nbValidityChecks=2825 nbPropagations=2858 nbRevisions=4820
0.75 nbUselessRevisions=3255 nbAssignments=312 nbFailedAssignments=21 nbBacktracks=86 nbVisitedNodes=364
0.75 nbRestartNogoods=5 mapSize=41 nbInferences=10 nbTooLargeKeys=0
0.75 => wckTime=0.105 cpuTime=0.07 mem=15M515
0.77
0.77 search
0.77 run=4 nbConstraintChecks=1118 nbValidityChecks=3873 nbPropagations=4082 nbRevisions=7011
0.77 nbUselessRevisions=4640 nbAssignments=430 nbFailedAssignments=31 nbBacktracks=139 nbVisitedNodes=507
0.77 nbRestartNogoods=8 mapSize=63 nbInferences=16 nbTooLargeKeys=0
0.77 => wckTime=0.12 cpuTime=0.08 mem=15M515
0.79
0.79 search
0.79 run=5 nbConstraintChecks=1621 nbValidityChecks=5401 nbPropagations=5636 nbRevisions=9838
0.79 nbUselessRevisions=6384 nbAssignments=586 nbFailedAssignments=46 nbBacktracks=214 nbVisitedNodes=704
0.79 nbRestartNogoods=10 mapSize=101 nbInferences=28 nbTooLargeKeys=0
0.79 => wckTime=0.138 cpuTime=0.1 mem=15M515
0.80
0.80 search
0.80 run=6 nbConstraintChecks=2309 nbValidityChecks=7462 nbPropagations=7639 nbRevisions=13539
0.80 nbUselessRevisions=8651 nbAssignments=791 nbFailedAssignments=58 nbBacktracks=327 nbVisitedNodes=968
0.80 nbRestartNogoods=13 mapSize=158 nbInferences=63 nbTooLargeKeys=0
0.80 => wckTime=0.154 cpuTime=0.11 mem=15M515
0.83
0.83 search
0.83 run=7 nbConstraintChecks=5183 nbValidityChecks=16009 nbPropagations=11759 nbRevisions=20815
0.83 nbUselessRevisions=12665 nbAssignments=1126 nbFailedAssignments=58 nbBacktracks=497 nbVisitedNodes=1435
0.83 nbRestartNogoods=15 mapSize=285 nbInferences=195 nbTooLargeKeys=0
0.83 => wckTime=0.181 cpuTime=0.14 mem=15M515
0.88
0.88 search
0.88 run=8 nbConstraintChecks=8881 nbValidityChecks=26916 nbPropagations=18538 nbRevisions=32654
0.88 nbUselessRevisions=18969 nbAssignments=1594 nbFailedAssignments=59 nbBacktracks=753 nbVisitedNodes=2082
0.88 nbRestartNogoods=20 mapSize=460 nbInferences=372 nbTooLargeKeys=0
0.88 => wckTime=0.232 cpuTime=0.17 mem=15M515
0.93
0.93 search
0.93 run=9 nbConstraintChecks=15544 nbValidityChecks=46246 nbPropagations=30106 nbRevisions=52586
0.93 nbUselessRevisions=29225 nbAssignments=2323 nbFailedAssignments=59 nbBacktracks=1139 nbVisitedNodes=3122
0.93 nbRestartNogoods=24 mapSize=768 nbInferences=683 nbTooLargeKeys=0
0.93 => wckTime=0.281 cpuTime=0.21 mem=15M515
1.00
1.00 search
1.00 run=10 nbConstraintChecks=25571 nbValidityChecks=75351 nbPropagations=48869 nbRevisions=84658
1.00 nbUselessRevisions=45388 nbAssignments=3402 nbFailedAssignments=59 nbBacktracks=1717 nbVisitedNodes=4671
1.00 nbRestartNogoods=27 mapSize=1234 nbInferences=1153 nbTooLargeKeys=0
1.00 => wckTime=0.345 cpuTime=0.27 mem=15M515
1.07
1.07 search
1.07 run=11 nbConstraintChecks=39218 nbValidityChecks=115372 nbPropagations=77035 nbRevisions=133572
1.07 nbUselessRevisions=70536 nbAssignments=5056 nbFailedAssignments=59 nbBacktracks=2583 nbVisitedNodes=7082
1.07 nbRestartNogoods=31 mapSize=1986 nbInferences=1910 nbTooLargeKeys=0
1.07 => wckTime=0.424 cpuTime=0.35 mem=16M490
1.19
1.19 search
1.19 run=12 nbConstraintChecks=60419 nbValidityChecks=177089 nbPropagations=119983 nbRevisions=208391
1.19 nbUselessRevisions=109057 nbAssignments=7497 nbFailedAssignments=59 nbBacktracks=3881 nbVisitedNodes=10633
1.19 nbRestartNogoods=36 mapSize=3092 nbInferences=3020 nbTooLargeKeys=0
1.19 => wckTime=0.54 cpuTime=0.47 mem=16M490
1.36
1.36 search
1.36 run=13 nbConstraintChecks=93306 nbValidityChecks=272682 nbPropagations=186077 nbRevisions=323190
1.36 nbUselessRevisions=167765 nbAssignments=11135 nbFailedAssignments=59 nbBacktracks=5829 nbVisitedNodes=15929
1.36 nbRestartNogoods=40 mapSize=4746 nbInferences=4678 nbTooLargeKeys=0
1.36 => wckTime=0.712 cpuTime=0.64 mem=16M490
1.62
1.62 search
1.62 run=14 nbConstraintChecks=142237 nbValidityChecks=414765 nbPropagations=286415 nbRevisions=497485
1.62 nbUselessRevisions=256781 nbAssignments=16591 nbFailedAssignments=59 nbBacktracks=8749 nbVisitedNodes=23900
1.62 nbRestartNogoods=44 mapSize=7255 nbInferences=7193 nbTooLargeKeys=0
1.62 => wckTime=0.966 cpuTime=0.9 mem=17M465
1.99
1.99 search
1.99 run=15 nbConstraintChecks=216639 nbValidityChecks=630626 nbPropagations=439117 nbRevisions=761991
1.99 nbUselessRevisions=391142 nbAssignments=24727 nbFailedAssignments=59 nbBacktracks=13127 nbVisitedNodes=35762
1.99 nbRestartNogoods=50 mapSize=10973 nbInferences=10919 nbTooLargeKeys=0
1.99 => wckTime=1.345 cpuTime=1.28 mem=17M465
2.56
2.56 search
2.56 run=16 nbConstraintChecks=326506 nbValidityChecks=949454 nbPropagations=668765 nbRevisions=1159948
2.56 nbUselessRevisions=593299 nbAssignments=36943 nbFailedAssignments=59 nbBacktracks=19695 nbVisitedNodes=53594
2.56 nbRestartNogoods=58 mapSize=16582 nbInferences=16535 nbTooLargeKeys=0
2.56 => wckTime=1.91 cpuTime=1.84 mem=18M440
3.42
3.42 search
3.42 run=17 nbConstraintChecks=493726 nbValidityChecks=1431922 nbPropagations=1015460 nbRevisions=1760654
3.42 nbUselessRevisions=898279 nbAssignments=55360 nbFailedAssignments=59 nbBacktracks=29547 nbVisitedNodes=80542
3.42 nbRestartNogoods=65 mapSize=25106 nbInferences=25066 nbTooLargeKeys=0
3.42 => wckTime=2.77 cpuTime=2.69 mem=19M678
4.73
4.73 search
4.73 run=18 nbConstraintChecks=751647 nbValidityChecks=2163210 nbPropagations=1542413 nbRevisions=2672994
4.73 nbUselessRevisions=1360918 nbAssignments=83291 nbFailedAssignments=59 nbBacktracks=44325 nbVisitedNodes=121604
4.73 nbRestartNogoods=72 mapSize=38232 nbInferences=38197 nbTooLargeKeys=0
4.73 => wckTime=4.078 cpuTime=3.99 mem=21M628
6.15
6.15 search
6.15 run=19 nbConstraintChecks=1000966 nbValidityChecks=2888968 nbPropagations=2242827 nbRevisions=3897826
6.15 nbUselessRevisions=1991317 nbAssignments=115878 nbFailedAssignments=172 nbBacktracks=62443
6.15 nbVisitedNodes=168771 nbRestartNogoods=77 mapSize=52804 nbInferences=52554 nbTooLargeKeys=0
6.15 => wckTime=5.499 cpuTime=5.41 mem=25M78
6.15
6.15 global
6.15 nbConstraintChecks=1001238 nbValidityChecks=2889947 nbPropagations=2243192 nbRevisions=3898337
6.15 nbUselessRevisions=1991714 nbRestartNogoods=77 solvingWckTime=5.502 solvingCpuTime=5.41 expiredTime=no
6.15 totalExploration=yes nbFoundSolutions=0 globalCpuTime=5.71
6.15 => wckTime=5.848 cpuTime=5.68 mem=25M78
6.15
6.15 s UNSATISFIABLE
6.15 d NODES 115878
6.15 d CHECKS 1001238
6.15
6.15 totalWckTime=5.923 totalCpuTime=5.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-242167-1168376506 -o ROOT/results/node9/solver-242167-1168376506 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242167-1168376506/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.62 0.71 0.66 2/87 22778
/proc/meminfo: memFree=1755408/2055920 swapFree=4191880/4192956
[pid=22777] ppid=22775 vsize=1784 CPUtime=0
/proc/22777/stat : 22777 (java) R 22775 22777 22369 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 186045726 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/22777/statm: 446 140 106 14 0 91 0
[startup+0.107681 s]
/proc/loadavg: 0.62 0.71 0.66 2/87 22778
/proc/meminfo: memFree=1755408/2055920 swapFree=4191880/4192956
[pid=22777] ppid=22775 vsize=914988 CPUtime=0.08
/proc/22777/stat : 22777 (java) R 22775 22777 22369 0 -1 0 3033 0 1 0 7 1 0 0 17 0 8 0 186045726 936947712 2779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153985276 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22777/statm: 228747 2779 1440 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515731 s]
/proc/loadavg: 0.62 0.71 0.66 2/87 22778
/proc/meminfo: memFree=1755408/2055920 swapFree=4191880/4192956
[pid=22777] ppid=22775 vsize=915460 CPUtime=0.49
/proc/22777/stat : 22777 (java) R 22775 22777 22369 0 -1 0 6618 0 1 0 46 3 0 0 16 0 8 0 186045726 937431040 6356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22777/statm: 228865 6356 2384 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.33881 s]
/proc/loadavg: 0.65 0.71 0.66 2/94 22788
/proc/meminfo: memFree=1731352/2055920 swapFree=4191880/4192956
[pid=22777] ppid=22775 vsize=915460 CPUtime=1.32
/proc/22777/stat : 22777 (java) R 22775 22777 22369 0 -1 0 8990 0 1 0 127 5 0 0 17 0 8 0 186045726 937431040 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073341232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22777/statm: 228865 8728 2527 14 0 215335 0
[pid=22777/tid=22779] ppid=22775 vsize=915460 CPUtime=0.02
/proc/22777/task/22779/stat : 22779 (java) S 22775 22777 22369 0 -1 64 126 0 0 0 2 0 0 0 16 0 8 0 186045730 937431040 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22777/tid=22780] ppid=22775 vsize=915460 CPUtime=0
/proc/22777/task/22780/stat : 22780 (java) S 22775 22777 22369 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 186045731 937431040 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22777/tid=22781] ppid=22775 vsize=915460 CPUtime=0
/proc/22777/task/22781/stat : 22781 (java) S 22775 22777 22369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186045731 937431040 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22777/tid=22782] ppid=22775 vsize=915460 CPUtime=0
/proc/22777/task/22782/stat : 22782 (java) S 22775 22777 22369 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 186045734 937431040 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22777/tid=22783] ppid=22775 vsize=915460 CPUtime=0.17
/proc/22777/task/22783/stat : 22783 (java) S 22775 22777 22369 0 -1 64 370 0 0 0 16 1 0 0 16 0 8 0 186045734 937431040 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22777/tid=22784] ppid=22775 vsize=915460 CPUtime=0
/proc/22777/task/22784/stat : 22784 (java) S 22775 22777 22369 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186045734 937431040 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22777/tid=22785] ppid=22775 vsize=915460 CPUtime=0
/proc/22777/task/22785/stat : 22785 (java) S 22775 22777 22369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186045734 937431040 8728 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.992 s]
/proc/loadavg: 0.65 0.71 0.66 2/94 22790
/proc/meminfo: memFree=1729496/2055920 swapFree=4191880/4192956
[pid=22777] ppid=22775 vsize=915460 CPUtime=2.97
/proc/22777/stat : 22777 (java) R 22775 22777 22369 0 -1 0 9655 0 1 0 292 5 0 0 18 0 8 0 186045726 937431040 9392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073691171 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22777/statm: 228865 9392 2527 14 0 215335 0
[pid=22777/tid=22779] ppid=22775 vsize=915460 CPUtime=0.02
/proc/22777/task/22779/stat : 22779 (java) S 22775 22777 22369 0 -1 64 126 0 0 0 2 0 0 0 16 0 8 0 186045730 937431040 9392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22777/tid=22780] ppid=22775 vsize=915460 CPUtime=0
/proc/22777/task/22780/stat : 22780 (java) S 22775 22777 22369 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 186045731 937431040 9392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22777/tid=22781] ppid=22775 vsize=915460 CPUtime=0
/proc/22777/task/22781/stat : 22781 (java) S 22775 22777 22369 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 186045731 937431040 9392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22777/tid=22782] ppid=22775 vsize=915460 CPUtime=0
/proc/22777/task/22782/stat : 22782 (java) S 22775 22777 22369 0 -1 64 0 0 0 0 0 0 0 0 20 0 8 0 186045734 937431040 9392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22777/tid=22783] ppid=22775 vsize=915460 CPUtime=0.17
/proc/22777/task/22783/stat : 22783 (java) S 22775 22777 22369 0 -1 64 370 0 0 0 16 1 0 0 16 0 8 0 186045734 937431040 9392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22777/tid=22784] ppid=22775 vsize=915460 CPUtime=0
/proc/22777/task/22784/stat : 22784 (java) S 22775 22777 22369 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 186045734 937431040 9392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22777/tid=22785] ppid=22775 vsize=915460 CPUtime=0
/proc/22777/task/22785/stat : 22785 (java) S 22775 22777 22369 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 186045734 937431040 9392 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 6.17877
CPU time (s): 6.13806
CPU user time (s): 6.06508
CPU system time (s): 0.072988
CPU usage (%): 99.3412
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.06508
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11085
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 816
involuntary context switches= 483
runsolver used 0.015997 s user time and 0.023996 s system time
The end
Begin job on node9 on Tue Jan 9 21:01:46 UTC 2007
IDJOB= 242167
IDBENCH= 7372
FILE ID= node9/242167-1168376506
PBS_JOBID= 3522337
Free space on /tmp= 66546 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/dubois/dubois-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242167-1168376506/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-242167-1168376506 -o ROOT/results/node9/solver-242167-1168376506 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/242167-1168376506/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 39464a432a01e71394fe4aafcd4bee36
RANDOM SEED= 927188836
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.231
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1755888 kB
Buffers: 45608 kB
Cached: 160228 kB
SwapCached: 408 kB
Active: 164324 kB
Inactive: 89376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1755888 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2848 kB
Writeback: 0 kB
Mapped: 59860 kB
Slab: 31076 kB
Committed_AS: 6035624 kB
PageTables: 2368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66547 MiB
End job on node9 on Tue Jan 9 21:01:52 UTC 2007