0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/213364-1168225669/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.44 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.44 => wckTime=0.125 cpuTime=0.09 mem=7M50
0.44
0.44 predicates being loaded...
0.44
0.44 constraints being loaded...
0.67 nbConstraints=520 nbConvertedConstraints=201 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.67 nbSharedExtensionStructures=199 nbConflictsStructures=3 nbSharedConflictsStructures=517
0.67 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=318 maxDegree=6 maxArity=3
0.67 => wckTime=0.354 cpuTime=0.24 mem=10M951
0.71
0.71 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.589 cpuTime=0.4 mem=17M691
0.99
0.99 preprocessing
0.99 nbConstraintChecks=1487 nbValidityChecks=136 nbPropagations=1304 nbRevisions=1206 nbUselessRevisions=725
0.99 nbSingletonTests=442 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.99 => wckTime=0.081 cpuTime=0.05 mem=17M691
1.04
1.04 search
1.04 run=0 nbConstraintChecks=563 nbValidityChecks=132 nbPropagations=1590 nbRevisions=1675 nbUselessRevisions=963
1.04 nbAssignments=172 nbFailedAssignments=7 nbBacktracks=14 nbVisitedNodes=183 nbRestartNogoods=0 mapSize=7
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.136 cpuTime=0.1 mem=18M699
1.08
1.08 search
1.08 run=1 nbConstraintChecks=1662 nbValidityChecks=644 nbPropagations=3924 nbRevisions=4416
1.08 nbUselessRevisions=2511 nbAssignments=551 nbFailedAssignments=13 nbBacktracks=30 nbVisitedNodes=328
1.08 nbRestartNogoods=3 mapSize=12 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.179 cpuTime=0.13 mem=18M699
1.15
1.15 search
1.15 run=2 nbConstraintChecks=3138 nbValidityChecks=1367 nbPropagations=7256 nbRevisions=8566
1.15 nbUselessRevisions=4805 nbAssignments=1066 nbFailedAssignments=20 nbBacktracks=57 nbVisitedNodes=568
1.15 nbRestartNogoods=7 mapSize=17 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.241 cpuTime=0.18 mem=18M699
1.18
1.18 search
1.18 run=3 nbConstraintChecks=5139 nbValidityChecks=2494 nbPropagations=11995 nbRevisions=14690
1.18 nbUselessRevisions=8101 nbAssignments=1598 nbFailedAssignments=34 nbBacktracks=95 nbVisitedNodes=668
1.18 nbRestartNogoods=13 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.272 cpuTime=0.2 mem=18M699
1.21
1.21 search
1.21 run=4 nbConstraintChecks=6125 nbValidityChecks=3144 nbPropagations=17291 nbRevisions=21849
1.21 nbUselessRevisions=11914 nbAssignments=1754 nbFailedAssignments=45 nbBacktracks=145 nbVisitedNodes=851
1.21 nbRestartNogoods=18 mapSize=62 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.302 cpuTime=0.23 mem=18M699
1.23
1.23 search
1.23 run=5 nbConstraintChecks=7614 nbValidityChecks=4134 nbPropagations=23499 nbRevisions=30569
1.23 nbUselessRevisions=16452 nbAssignments=1976 nbFailedAssignments=66 nbBacktracks=222 nbVisitedNodes=1024
1.23 nbRestartNogoods=20 mapSize=105 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.327 cpuTime=0.25 mem=18M699
1.27
1.27 search
1.27 run=6 nbConstraintChecks=9666 nbValidityChecks=5538 nbPropagations=30891 nbRevisions=41496
1.27 nbUselessRevisions=22046 nbAssignments=2176 nbFailedAssignments=97 nbBacktracks=336 nbVisitedNodes=1292
1.27 nbRestartNogoods=22 mapSize=168 nbInferences=5 nbTooLargeKeys=0
1.27 => wckTime=0.365 cpuTime=0.28 mem=18M699
1.33
1.33 search
1.33 run=7 nbConstraintChecks=12391 nbValidityChecks=7335 nbPropagations=39820 nbRevisions=55423
1.33 nbUselessRevisions=29148 nbAssignments=2544 nbFailedAssignments=127 nbBacktracks=507 nbVisitedNodes=1675
1.33 nbRestartNogoods=25 mapSize=229 nbInferences=5 nbTooLargeKeys=0
1.33 => wckTime=0.425 cpuTime=0.34 mem=18M699
1.43
1.43 search
1.43 run=8 nbConstraintChecks=16237 nbValidityChecks=9889 nbPropagations=51009 nbRevisions=73527
1.43 nbUselessRevisions=38391 nbAssignments=3250 nbFailedAssignments=184 nbBacktracks=763 nbVisitedNodes=2251
1.43 nbRestartNogoods=30 mapSize=312 nbInferences=5 nbTooLargeKeys=0
1.43 => wckTime=0.519 cpuTime=0.43 mem=18M699
1.52
1.52 search
1.52 run=9 nbConstraintChecks=24266 nbValidityChecks=15705 nbPropagations=66905 nbRevisions=100343
1.52 nbUselessRevisions=51906 nbAssignments=4179 nbFailedAssignments=320 nbBacktracks=1153 nbVisitedNodes=3073
1.52 nbRestartNogoods=38 mapSize=549 nbInferences=12 nbTooLargeKeys=0
1.52 => wckTime=0.618 cpuTime=0.53 mem=18M699
1.68
1.68 search
1.68 run=10 nbConstraintChecks=35424 nbValidityChecks=24258 nbPropagations=89035 nbRevisions=140054
1.68 nbUselessRevisions=72043 nbAssignments=4997 nbFailedAssignments=470 nbBacktracks=1730 nbVisitedNodes=4194
1.68 nbRestartNogoods=39 mapSize=836 nbInferences=20 nbTooLargeKeys=0
1.68 => wckTime=0.772 cpuTime=0.67 mem=18M699
1.86
1.86 search
1.86 run=11 nbConstraintChecks=52676 nbValidityChecks=38189 nbPropagations=121418 nbRevisions=200209
1.86 nbUselessRevisions=102630 nbAssignments=6401 nbFailedAssignments=684 nbBacktracks=2602 nbVisitedNodes=5746
1.86 nbRestartNogoods=45 mapSize=1260 nbInferences=20 nbTooLargeKeys=0
1.86 => wckTime=0.952 cpuTime=0.85 mem=19M674
2.16
2.16 search
2.16 run=12 nbConstraintChecks=77146 nbValidityChecks=55719 nbPropagations=167632 nbRevisions=289182
2.16 nbUselessRevisions=147871 nbAssignments=8124 nbFailedAssignments=1059 nbBacktracks=3899 nbVisitedNodes=8216
2.16 nbRestartNogoods=47 mapSize=1997 nbInferences=22 nbTooLargeKeys=0
2.16 => wckTime=1.255 cpuTime=1.15 mem=19M674
2.50
2.50 search
2.50 run=13 nbConstraintChecks=115711 nbValidityChecks=83147 nbPropagations=236565 nbRevisions=419169
2.50 nbUselessRevisions=211272 nbAssignments=10787 nbFailedAssignments=1732 nbBacktracks=5846 nbVisitedNodes=12156
2.50 nbRestartNogoods=51 mapSize=3289 nbInferences=24 nbTooLargeKeys=0
2.50 => wckTime=1.591 cpuTime=1.47 mem=19M674
3.10
3.10 search
3.10 run=14 nbConstraintChecks=170484 nbValidityChecks=123062 nbPropagations=338036 nbRevisions=610482
3.10 nbUselessRevisions=303320 nbAssignments=14628 nbFailedAssignments=2608 nbBacktracks=8776 nbVisitedNodes=17791
3.11 nbRestartNogoods=54 mapSize=5073 nbInferences=45 nbTooLargeKeys=0
3.11 => wckTime=2.199 cpuTime=2.07 mem=20M649
3.94
3.94 search
3.94 run=15 nbConstraintChecks=234023 nbValidityChecks=168740 nbPropagations=477807 nbRevisions=871206
3.94 nbUselessRevisions=426348 nbAssignments=19975 nbFailedAssignments=3517 nbBacktracks=13167 nbVisitedNodes=24984
3.94 nbRestartNogoods=57 mapSize=6894 nbInferences=47 nbTooLargeKeys=0
3.94 => wckTime=3.038 cpuTime=2.91 mem=21M624
5.23
5.23 search
5.23 run=16 nbConstraintChecks=335755 nbValidityChecks=240322 nbPropagations=678329 nbRevisions=1241224
5.23 nbUselessRevisions=597696 nbAssignments=28421 nbFailedAssignments=4988 nbBacktracks=19734 nbVisitedNodes=36390
5.23 nbRestartNogoods=61 mapSize=9844 nbInferences=55 nbTooLargeKeys=0
5.23 => wckTime=4.322 cpuTime=4.18 mem=22M599
5.23
5.23 global
5.23 nbConstraintChecks=337242 nbValidityChecks=240458 nbPropagations=679633 nbRevisions=1242430
5.23 nbUselessRevisions=598421 nbRestartNogoods=61 solvingWckTime=4.323 solvingCpuTime=4.18 expiredTime=no
5.23 totalExploration=no nbFoundSolutions=1 globalCpuTime=4.63
5.23 => wckTime=4.914 cpuTime=4.58 mem=22M599
5.23
5.23 s SATISFIABLE
5.23 v 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0
5.23 d NODES 28421
5.23 d CHECKS 337242
5.23
5.23 totalWckTime=4.992 totalCpuTime=4.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-213364-1168225669 -o ROOT/results/node47/solver-213364-1168225669 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213364-1168225669/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.57 0.77 1.26 4/74 16742
/proc/meminfo: memFree=1296024/2055920 swapFree=4183928/4192956
[pid=16741] ppid=16739 vsize=18540 CPUtime=0
/proc/16741/stat : 16741 (runsolver) R 16739 16741 16237 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 170966689 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 208717540647 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16741/statm: 4635 279 244 17 0 2626 0
[startup+0.103029 s]
/proc/loadavg: 0.57 0.77 1.26 4/74 16742
/proc/meminfo: memFree=1296024/2055920 swapFree=4183928/4192956
[pid=16741] ppid=16739 vsize=912760 CPUtime=0.06
/proc/16741/stat : 16741 (java) R 16739 16741 16237 0 -1 0 2774 0 1 0 5 1 0 0 25 0 8 0 170966689 934666240 2520 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072933382 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16741/statm: 228190 2520 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912760
[startup+0.511073 s]
/proc/loadavg: 0.57 0.77 1.26 4/74 16742
/proc/meminfo: memFree=1296024/2055920 swapFree=4183928/4192956
[pid=16741] ppid=16739 vsize=915328 CPUtime=0.47
/proc/16741/stat : 16741 (java) R 16739 16741 16237 0 -1 0 6403 0 1 0 44 3 0 0 25 0 8 0 170966689 937295872 6142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072928449 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16741/statm: 228832 6142 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33416 s]
/proc/loadavg: 0.57 0.77 1.26 3/81 16749
/proc/meminfo: memFree=1268832/2055920 swapFree=4183928/4192956
[pid=16741] ppid=16739 vsize=915556 CPUtime=1.28
/proc/16741/stat : 16741 (java) R 16739 16741 16237 0 -1 0 9607 0 1 0 120 8 0 0 25 0 8 0 170966689 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16741/statm: 228889 9345 2543 14 0 215359 0
[pid=16741/tid=16743] ppid=16739 vsize=915556 CPUtime=0.02
/proc/16741/task/16743/stat : 16743 (java) S 16739 16741 16237 0 -1 64 222 0 0 0 2 0 0 0 16 0 8 0 170966693 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16744] ppid=16739 vsize=915556 CPUtime=0
/proc/16741/task/16744/stat : 16744 (java) S 16739 16741 16237 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170966694 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16745] ppid=16739 vsize=915556 CPUtime=0
/proc/16741/task/16745/stat : 16745 (java) S 16739 16741 16237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170966694 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16746] ppid=16739 vsize=915556 CPUtime=0
/proc/16741/task/16746/stat : 16746 (java) S 16739 16741 16237 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 170966697 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16747] ppid=16739 vsize=915556 CPUtime=0.26
/proc/16741/task/16747/stat : 16747 (java) S 16739 16741 16237 0 -1 64 408 0 0 0 25 1 0 0 15 0 8 0 170966697 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16748] ppid=16739 vsize=915556 CPUtime=0
/proc/16741/task/16748/stat : 16748 (java) S 16739 16741 16237 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 170966697 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16749] ppid=16739 vsize=915556 CPUtime=0
/proc/16741/task/16749/stat : 16749 (java) S 16739 16741 16237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170966697 937529344 9345 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915556
[startup+2.98633 s]
/proc/loadavg: 0.57 0.77 1.26 3/81 16749
/proc/meminfo: memFree=1267424/2055920 swapFree=4183928/4192956
[pid=16741] ppid=16739 vsize=915556 CPUtime=2.92
/proc/16741/stat : 16741 (java) R 16739 16741 16237 0 -1 0 10060 0 1 0 283 9 0 0 25 0 8 0 170966689 937529344 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073859426 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16741/statm: 228889 9796 2543 14 0 215359 0
[pid=16741/tid=16743] ppid=16739 vsize=915556 CPUtime=0.02
/proc/16741/task/16743/stat : 16743 (java) S 16739 16741 16237 0 -1 64 222 0 0 0 2 0 0 0 17 0 8 0 170966693 937529344 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16744] ppid=16739 vsize=915556 CPUtime=0
/proc/16741/task/16744/stat : 16744 (java) S 16739 16741 16237 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170966694 937529344 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16745] ppid=16739 vsize=915556 CPUtime=0
/proc/16741/task/16745/stat : 16745 (java) S 16739 16741 16237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 170966694 937529344 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16746] ppid=16739 vsize=915556 CPUtime=0
/proc/16741/task/16746/stat : 16746 (java) S 16739 16741 16237 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 170966697 937529344 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16747] ppid=16739 vsize=915556 CPUtime=0.28
/proc/16741/task/16747/stat : 16747 (java) S 16739 16741 16237 0 -1 64 422 0 0 0 27 1 0 0 15 0 8 0 170966697 937529344 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16748] ppid=16739 vsize=915556 CPUtime=0
/proc/16741/task/16748/stat : 16748 (java) S 16739 16741 16237 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 170966697 937529344 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16741/tid=16749] ppid=16739 vsize=915556 CPUtime=0
/proc/16741/task/16749/stat : 16749 (java) S 16739 16741 16237 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 170966697 937529344 9796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915556
Child status: 0
Real time (s): 5.33248
CPU time (s): 5.17121
CPU user time (s): 5.06623
CPU system time (s): 0.104984
CPU usage (%): 96.9758
Max. virtual memory (cumulated for all children) (KiB): 915556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.06623
system time used= 0.104984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10762
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= 1491
involuntary context switches= 1797
runsolver used 0.011998 s user time and 0.017997 s system time
The end
Begin job on node47 on Mon Jan 8 03:07:51 UTC 2007
IDJOB= 213364
IDBENCH= 4842
FILE ID= node47/213364-1168225669
PBS_JOBID= 3481020
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-1-6-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213364-1168225669/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-213364-1168225669 -o ROOT/results/node47/solver-213364-1168225669 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/213364-1168225669/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a9a650e9a0816554ac6bef49daf94603
RANDOM SEED= 694437168
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.240
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.240
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: 1296504 kB
Buffers: 49168 kB
Cached: 635748 kB
SwapCached: 3720 kB
Active: 151636 kB
Inactive: 550740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1296504 kB
SwapTotal: 4192956 kB
SwapFree: 4183928 kB
Dirty: 1748 kB
Writeback: 0 kB
Mapped: 23784 kB
Slab: 42356 kB
Committed_AS: 3577000 kB
PageTables: 1804 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= 66557 MiB
End job on node47 on Mon Jan 8 03:08:04 UTC 2007