0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=esac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/212805-1168224207/unknown.xml
0.47
0.47 domains being loaded...
0.48
0.48 variables being loaded...
0.67 nbVariables=2786 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.68 => wckTime=0.263 cpuTime=0.17 mem=11M795
0.68
0.68 predicates being loaded...
0.68
0.68 constraints being loaded...
1.45 nbConstraints=4821 nbSingletonDomainVariables=336 nbConvertedConstraints=3904 nbConvertConstraintsChecks=1095
1.45 nbExtensionStructures=9 nbSharedExtensionStructures=3895 nbConflictsStructures=112
1.45 nbSharedConflictsStructures=4709 nbSharedBinaryRepresentations=21 nbEvaluationManagers=103
1.45 nbSharedEvaluationManagers=814 maxDegree=32 maxArity=5
1.45 => wckTime=1.034 cpuTime=0.84 mem=41M69
1.54
1.54 solver IterativeSystematicSolver being built...
1.86 => wckTime=1.452 cpuTime=1.1 mem=36M881
3.80
3.80 preprocessing
3.80 nbConstraintChecks=27977 nbValidityChecks=3018 nbPropagations=11751 nbRevisions=22455 nbUselessRevisions=16211
3.80 nbSingletonTests=2803 nbEffectiveSingletonTests=0 nbESACBranches=12 nbRemovedValues=0 detectedInconsistency=no
3.80 => wckTime=1.923 cpuTime=1.86 mem=36M881
4.70
4.70 search
4.70 run=0 nbConstraintChecks=9462 nbValidityChecks=1417 nbPropagations=14360 nbRevisions=29412
4.70 nbUselessRevisions=20564 nbAssignments=473 nbFailedAssignments=5 nbBacktracks=17 nbVisitedNodes=481
4.70 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
4.70 => wckTime=2.831 cpuTime=2.74 mem=37M855
5.32
5.32 search
5.32 run=1 nbConstraintChecks=44807 nbValidityChecks=7182 nbPropagations=38859 nbRevisions=86467
5.32 nbUselessRevisions=58867 nbAssignments=1702 nbFailedAssignments=7 nbBacktracks=54 nbVisitedNodes=720
5.32 nbRestartNogoods=4 mapSize=7 nbInferences=0 nbTooLargeKeys=0
5.32 => wckTime=3.446 cpuTime=3.35 mem=37M855
5.69
5.69 search
5.69 run=2 nbConstraintChecks=49820 nbValidityChecks=8106 nbPropagations=64796 nbRevisions=147438
5.69 nbUselessRevisions=99650 nbAssignments=1927 nbFailedAssignments=9 nbBacktracks=96 nbVisitedNodes=951
5.69 nbRestartNogoods=5 mapSize=12 nbInferences=0 nbTooLargeKeys=0
5.69 => wckTime=3.822 cpuTime=3.72 mem=37M855
6.79
6.79 search
6.79 run=3 nbConstraintChecks=57428 nbValidityChecks=9371 nbPropagations=92908 nbRevisions=214189
6.79 nbUselessRevisions=144046 nbAssignments=2472 nbFailedAssignments=13 nbBacktracks=130 nbVisitedNodes=1503
6.79 nbRestartNogoods=6 mapSize=17 nbInferences=0 nbTooLargeKeys=0
6.79 => wckTime=4.917 cpuTime=4.8 mem=37M855
7.23
7.23 search
7.23 run=4 nbConstraintChecks=66406 nbValidityChecks=10740 nbPropagations=123599 nbRevisions=287694
7.23 nbUselessRevisions=192651 nbAssignments=2800 nbFailedAssignments=17 nbBacktracks=186 nbVisitedNodes=1778
7.23 nbRestartNogoods=8 mapSize=21 nbInferences=0 nbTooLargeKeys=0
7.23 => wckTime=5.363 cpuTime=5.23 mem=37M855
7.73
7.73 search
7.73 run=5 nbConstraintChecks=72848 nbValidityChecks=11961 nbPropagations=156121 nbRevisions=366277
7.73 nbUselessRevisions=244497 nbAssignments=3114 nbFailedAssignments=22 nbBacktracks=289 nbVisitedNodes=2102
7.73 nbRestartNogoods=9 mapSize=30 nbInferences=0 nbTooLargeKeys=0
7.73 => wckTime=5.862 cpuTime=5.73 mem=37M855
8.33
8.33 search
8.33 run=6 nbConstraintChecks=85863 nbValidityChecks=14241 nbPropagations=192121 nbRevisions=454910
8.33 nbUselessRevisions=302780 nbAssignments=3489 nbFailedAssignments=54 nbBacktracks=472 nbVisitedNodes=2520
8.33 nbRestartNogoods=10 mapSize=71 nbInferences=0 nbTooLargeKeys=0
8.33 => wckTime=6.456 cpuTime=6.33 mem=37M855
8.76
8.76 search
8.76 run=7 nbConstraintChecks=95204 nbValidityChecks=16348 nbPropagations=230659 nbRevisions=551310
8.76 nbUselessRevisions=366218 nbAssignments=3779 nbFailedAssignments=66 nbBacktracks=643 nbVisitedNodes=2835
8.76 nbRestartNogoods=12 mapSize=94 nbInferences=0 nbTooLargeKeys=0
8.76 => wckTime=6.892 cpuTime=6.77 mem=38M828
9.29
9.29 search
9.29 run=8 nbConstraintChecks=108720 nbValidityChecks=19586 nbPropagations=272831 nbRevisions=659081
9.29 nbUselessRevisions=437316 nbAssignments=4181 nbFailedAssignments=89 nbBacktracks=901 nbVisitedNodes=3238
9.29 nbRestartNogoods=14 mapSize=139 nbInferences=0 nbTooLargeKeys=0
9.29 => wckTime=7.414 cpuTime=7.29 mem=38M828
9.83
9.83 search
9.83 run=9 nbConstraintChecks=126393 nbValidityChecks=23816 nbPropagations=319533 nbRevisions=781644
9.83 nbUselessRevisions=518484 nbAssignments=4681 nbFailedAssignments=125 nbBacktracks=1298 nbVisitedNodes=3770
9.83 nbRestartNogoods=17 mapSize=193 nbInferences=0 nbTooLargeKeys=0
9.83 => wckTime=7.957 cpuTime=7.83 mem=38M828
10.53
10.53 search
10.53 run=10 nbConstraintChecks=175038 nbValidityChecks=36092 nbPropagations=378489 nbRevisions=946361
10.53 nbUselessRevisions=628986 nbAssignments=5384 nbFailedAssignments=220 nbBacktracks=1882 nbVisitedNodes=4644
10.53 nbRestartNogoods=22 mapSize=360 nbInferences=0 nbTooLargeKeys=0
10.53 => wckTime=8.661 cpuTime=8.52 mem=38M828
10.74
10.74 search
10.74 run=11 nbConstraintChecks=191271 nbValidityChecks=40933 nbPropagations=441449 nbRevisions=1126289
10.74 nbUselessRevisions=750294 nbAssignments=5622 nbFailedAssignments=248 nbBacktracks=2093 nbVisitedNodes=4933
10.74 nbRestartNogoods=26 mapSize=411 nbInferences=0 nbTooLargeKeys=0
10.74 => wckTime=8.866 cpuTime=8.73 mem=38M828
10.74
10.74 global
10.74 nbConstraintChecks=219248 nbValidityChecks=43951 nbPropagations=453200 nbRevisions=1148744
10.74 nbUselessRevisions=766505 nbRestartNogoods=26 solvingWckTime=8.868 solvingCpuTime=8.73 expiredTime=no
10.74 totalExploration=yes nbFoundSolutions=0 globalCpuTime=9.88
10.74 => wckTime=10.326 cpuTime=9.83 mem=38M828
10.74
10.74 s UNSATISFIABLE
10.74 d NODES 5622
10.74 d CHECKS 219248
10.74
10.74 totalWckTime=10.408 totalCpuTime=9.88
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-212805-1168224207 -o ROOT/results/node43/solver-212805-1168224207 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212805-1168224207/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: 1.92 1.99 1.85 5/81 22095
/proc/meminfo: memFree=1845840/2055920 swapFree=4192812/4192956
[pid=22094] ppid=22092 vsize=1784 CPUtime=0
/proc/22094/stat : 22094 (java) R 22092 22094 21812 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 170819865 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/22094/statm: 446 140 106 14 0 91 0
[startup+0.103907 s]
/proc/loadavg: 1.92 1.99 1.85 5/81 22095
/proc/meminfo: memFree=1845840/2055920 swapFree=4192812/4192956
[pid=22094] ppid=22092 vsize=914988 CPUtime=0.08
/proc/22094/stat : 22094 (java) D 22092 22094 21812 0 -1 0 2989 0 1 0 7 1 0 0 23 0 8 0 170819865 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22094/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511975 s]
/proc/loadavg: 1.92 1.99 1.85 5/81 22095
/proc/meminfo: memFree=1845840/2055920 swapFree=4192812/4192956
[pid=22094] ppid=22092 vsize=915328 CPUtime=0.38
/proc/22094/stat : 22094 (java) R 22092 22094 21812 0 -1 0 6034 0 1 0 35 3 0 0 18 0 8 0 170819865 937295872 5773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22094/statm: 228832 5773 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328
[startup+1.33311 s]
/proc/loadavg: 1.92 1.99 1.85 4/88 22102
/proc/meminfo: memFree=1788952/2055920 swapFree=4192812/4192956
[pid=22094] ppid=22092 vsize=915640 CPUtime=1.2
/proc/22094/stat : 22094 (java) R 22092 22094 21812 0 -1 0 14119 0 1 0 99 21 0 0 24 0 8 0 170819865 937615360 13857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073448335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22094/statm: 228910 13857 2167 14 0 215380 0
[pid=22094/tid=22096] ppid=22092 vsize=915640 CPUtime=0
/proc/22094/task/22096/stat : 22096 (java) S 22092 22094 21812 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 170819869 937615360 13857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22094/tid=22097] ppid=22092 vsize=915640 CPUtime=0
/proc/22094/task/22097/stat : 22097 (java) S 22092 22094 21812 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 170819869 937615360 13857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22094/tid=22098] ppid=22092 vsize=915640 CPUtime=0
/proc/22094/task/22098/stat : 22098 (java) S 22092 22094 21812 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 170819869 937615360 13857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22094/tid=22099] ppid=22092 vsize=915640 CPUtime=0
/proc/22094/task/22099/stat : 22099 (java) S 22092 22094 21812 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170819872 937615360 13857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22094/tid=22100] ppid=22092 vsize=915640 CPUtime=0.21
/proc/22094/task/22100/stat : 22100 (java) S 22092 22094 21812 0 -1 64 429 0 0 0 20 1 0 0 15 0 8 0 170819872 937615360 13857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22094/tid=22101] ppid=22092 vsize=915640 CPUtime=0
/proc/22094/task/22101/stat : 22101 (java) S 22092 22094 21812 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170819872 937615360 13857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22094/tid=22102] ppid=22092 vsize=915640 CPUtime=0
/proc/22094/task/22102/stat : 22102 (java) S 22092 22094 21812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170819872 937615360 13857 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915640
[startup+2.97839 s]
/proc/loadavg: 1.92 1.99 1.85 3/88 22102
/proc/meminfo: memFree=1773144/2055920 swapFree=4192812/4192956
[pid=22094] ppid=22092 vsize=915728 CPUtime=2.84
/proc/22094/stat : 22094 (java) R 22092 22094 21812 0 -1 0 16838 0 1 0 256 28 0 0 25 0 8 0 170819865 937705472 16574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22094/statm: 228932 16574 2543 14 0 215402 0
[pid=22094/tid=22096] ppid=22092 vsize=915728 CPUtime=0.07
/proc/22094/task/22096/stat : 22096 (java) S 22092 22094 21812 0 -1 64 1584 0 0 0 7 0 0 0 17 0 8 0 170819869 937705472 16574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22094/tid=22097] ppid=22092 vsize=915728 CPUtime=0
/proc/22094/task/22097/stat : 22097 (java) S 22092 22094 21812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170819869 937705472 16574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22094/tid=22098] ppid=22092 vsize=915728 CPUtime=0
/proc/22094/task/22098/stat : 22098 (java) S 22092 22094 21812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170819869 937705472 16574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22094/tid=22099] ppid=22092 vsize=915728 CPUtime=0
/proc/22094/task/22099/stat : 22099 (java) S 22092 22094 21812 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170819872 937705472 16574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22094/tid=22100] ppid=22092 vsize=915728 CPUtime=0.34
/proc/22094/task/22100/stat : 22100 (java) S 22092 22094 21812 0 -1 64 497 0 0 0 32 2 0 0 15 0 8 0 170819872 937705472 16574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22094/tid=22101] ppid=22092 vsize=915728 CPUtime=0
/proc/22094/task/22101/stat : 22101 (java) S 22092 22094 21812 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170819872 937705472 16574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22094/tid=22102] ppid=22092 vsize=915728 CPUtime=0
/proc/22094/task/22102/stat : 22102 (java) S 22092 22094 21812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170819872 937705472 16574 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 915728
[startup+6.27693 s]
/proc/loadavg: 2.01 2.01 1.86 3/88 22102
/proc/meminfo: memFree=1765656/2055920 swapFree=4192812/4192956
[pid=22094] ppid=22092 vsize=915728 CPUtime=6.12
/proc/22094/stat : 22094 (java) R 22092 22094 21812 0 -1 0 16866 0 1 0 584 28 0 0 25 0 8 0 170819865 937705472 16599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22094/statm: 228932 16599 2544 14 0 215402 0
[pid=22094/tid=22096] ppid=22092 vsize=915728 CPUtime=0.07
/proc/22094/task/22096/stat : 22096 (java) S 22092 22094 21812 0 -1 64 1584 0 0 0 7 0 0 0 17 0 8 0 170819869 937705472 16599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22094/tid=22097] ppid=22092 vsize=915728 CPUtime=0
/proc/22094/task/22097/stat : 22097 (java) S 22092 22094 21812 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 170819869 937705472 16599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22094/tid=22098] ppid=22092 vsize=915728 CPUtime=0
/proc/22094/task/22098/stat : 22098 (java) S 22092 22094 21812 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 170819869 937705472 16599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22094/tid=22099] ppid=22092 vsize=915728 CPUtime=0
/proc/22094/task/22099/stat : 22099 (java) S 22092 22094 21812 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 170819872 937705472 16599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22094/tid=22100] ppid=22092 vsize=915728 CPUtime=0.39
/proc/22094/task/22100/stat : 22100 (java) S 22092 22094 21812 0 -1 64 520 0 0 0 37 2 0 0 15 0 8 0 170819872 937705472 16599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22094/tid=22101] ppid=22092 vsize=915728 CPUtime=0
/proc/22094/task/22101/stat : 22101 (java) S 22092 22094 21812 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 170819872 937705472 16599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22094/tid=22102] ppid=22092 vsize=915728 CPUtime=0
/proc/22094/task/22102/stat : 22102 (java) S 22092 22094 21812 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 170819872 937705472 16599 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915728
Child status: 0
Real time (s): 10.7634
CPU time (s): 10.6024
CPU user time (s): 10.2924
CPU system time (s): 0.309952
CPU usage (%): 98.5037
Max. virtual memory (cumulated for all children) (KiB): 915824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2924
system time used= 0.309952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16887
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= 1926
involuntary context switches= 2011
runsolver used 0.015997 s user time and 0.039993 s system time
The end
Begin job on node43 on Mon Jan 8 02:43:27 UTC 2007
IDJOB= 212805
IDBENCH= 4799
FILE ID= node43/212805-1168224207
PBS_JOBID= 3480947
Free space on /tmp= 66488 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/primesDimacs/bf-2670-001.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212805-1168224207/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-212805-1168224207 -o ROOT/results/node43/solver-212805-1168224207 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/212805-1168224207/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 254fa29df9e9670d71c11b5fd4b239c4
RANDOM SEED= 516941288
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.278
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.278
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: 1847024 kB
Buffers: 27160 kB
Cached: 84768 kB
SwapCached: 0 kB
Active: 108792 kB
Inactive: 49360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1847024 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6564 kB
Writeback: 0 kB
Mapped: 65188 kB
Slab: 36044 kB
Committed_AS: 4279268 kB
PageTables: 1892 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= 66491 MiB
End job on node43 on Mon Jan 8 02:43:38 UTC 2007