0.39
0.39 Abscon 109 (November, 2006)
0.39
0.40 configuration
0.40 name=esac.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/192009-1168096494/unknown.xml
0.46
0.46 domains being loaded...
0.47
0.47 variables being loaded...
0.53 nbVariables=200 nbDomainTypes=1 minDomainSize=200 maxDomainSize=200
0.53 => wckTime=0.136 cpuTime=0.11 mem=8M903
0.53
0.53 predicates being loaded...
0.54
0.54 constraints being loaded...
5.74 nbConstraints=19900 nbConvertedConstraints=19900 nbConvertConstraintsChecks=7960000 nbExtensionStructures=199
5.74 nbSharedExtensionStructures=19701 nbConflictsStructures=199 nbSharedConflictsStructures=19701
5.74 nbSharedBinaryRepresentations=56169 maxDegree=199 maxArity=2
5.74 => wckTime=5.34 cpuTime=4.89 mem=33M249
5.89
5.89 solver IterativeSystematicSolver being built...
6.09 => wckTime=5.696 cpuTime=5.05 mem=31M707
9.95
9.95 preprocessing
9.95 nbConstraintChecks=5336869 nbPropagations=34287 nbRevisions=39468 nbUselessRevisions=5675 nbSingletonTests=357
9.95 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
9.95 => wckTime=3.846 cpuTime=3.78 mem=31M707
12.33
12.33 search
12.33 run=0 nbConstraintChecks=4277675 nbPropagations=51662 nbRevisions=61574 nbUselessRevisions=10007
12.33 nbAssignments=165 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=174 nbRestartNogoods=0 mapSize=6
12.33 nbInferences=0 nbTooLargeKeys=0
12.33 => wckTime=6.231 cpuTime=6.13 mem=32M716
13.95
13.95 search
13.95 run=1 nbConstraintChecks=8592359 nbPropagations=120655 nbRevisions=147520 nbUselessRevisions=26512
13.95 nbAssignments=343 nbFailedAssignments=13 nbBacktracks=27 nbVisitedNodes=369 nbRestartNogoods=1 mapSize=21
13.95 nbInferences=0 nbTooLargeKeys=0
13.95 => wckTime=7.859 cpuTime=7.74 mem=32M716
15.58
15.58 search
15.58 run=2 nbConstraintChecks=12954010 nbPropagations=207077 nbRevisions=258629 nbUselessRevisions=49835
15.58 nbAssignments=529 nbFailedAssignments=21 nbBacktracks=50 nbVisitedNodes=572 nbRestartNogoods=3 mapSize=34
15.58 nbInferences=0 nbTooLargeKeys=0
15.58 => wckTime=9.485 cpuTime=9.35 mem=33M724
17.20
17.20 search
17.20 run=3 nbConstraintChecks=17244907 nbPropagations=310804 nbRevisions=391488 nbUselessRevisions=77539
17.20 nbAssignments=730 nbFailedAssignments=22 nbBacktracks=50 nbVisitedNodes=774 nbRestartNogoods=5 mapSize=34
17.20 nbInferences=0 nbTooLargeKeys=0
17.20 => wckTime=11.103 cpuTime=10.95 mem=33M724
17.20
17.20 global
17.20 nbConstraintChecks=22581776 nbPropagations=345091 nbRevisions=430956 nbUselessRevisions=83214
17.20 nbRestartNogoods=5 solvingWckTime=11.104 solvingCpuTime=10.95 expiredTime=no totalExploration=no
17.20 nbFoundSolutions=1 globalCpuTime=16.05
17.20 => wckTime=16.803 cpuTime=16.0 mem=33M724
17.20
17.20 s SATISFIABLE
17.20 v 72 77 102 76 90 104 86 130 128 7 194 8 193 9 192 10 191 11 190 12 189 13 188 14 187 15 186 16 185 17 184 18 183 19 182 20 181 21 180 22 179 23 178 88 177 24 176 109 25 175 83 26 174 27 173 84 124 85 118 125 66 87 81 28 64 132 129 172 29 171 30 74 170 168 31 126 91 169 33 78 32 53 146 167 34 55 35 166 36 143 165 160 96 164 57 59 65 138 79 61 149 158 5 41 159 42 156 51 44 152 135 133 63 121 151 68 50 147 153 155 43 49 47 154 48 157 45 62 54 58 142 145 141 60 144 162 56 148 52 140 38 40 37 163 161 111 114 39 150 103 46 107 95 195 94 113 127 137 117 70 136 139 75 80 131 71 67 100 6 69 116 110 82 115 92 199 108 198 123 120 89 197 98 196 1 106 101 134 119 2 112 3 122 200 99 97 93 73 105 4
17.20 d NODES 730
17.20 d CHECKS 22581776
17.20
17.20 totalWckTime=16.884 totalCpuTime=16.05
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-192009-1168096494 -o ROOT/results/node33/solver-192009-1168096494 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/192009-1168096494/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.34 1.81 1.84 5/73 14675
/proc/meminfo: memFree=926560/2055920 swapFree=4192224/4192956
[pid=14674] ppid=14672 vsize=18540 CPUtime=0
/proc/14674/stat : 14674 (runsolver) R 14672 14674 14238 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 158043955 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 210824129831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/14674/statm: 4635 279 244 17 0 2626 0
[startup+0.102802 s]
/proc/loadavg: 1.34 1.81 1.84 5/73 14675
/proc/meminfo: memFree=926560/2055920 swapFree=4192224/4192956
[pid=14674] ppid=14672 vsize=907808 CPUtime=0.06
/proc/14674/stat : 14674 (java) R 14672 14674 14238 0 -1 0 2512 0 1 0 5 1 0 0 17 0 4 0 158043955 929595392 2259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153549786 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/14674/statm: 226952 2259 1235 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.510886 s]
/proc/loadavg: 1.34 1.81 1.84 5/73 14675
/proc/meminfo: memFree=926560/2055920 swapFree=4192224/4192956
[pid=14674] ppid=14672 vsize=915328 CPUtime=0.4
/proc/14674/stat : 14674 (java) R 14672 14674 14238 0 -1 0 6174 0 1 0 35 5 0 0 18 0 8 0 158043955 937295872 5913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072923533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14674/statm: 228832 5913 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33406 s]
/proc/loadavg: 1.34 1.81 1.84 3/80 14682
/proc/meminfo: memFree=865896/2055920 swapFree=4192224/4192956
[pid=14674] ppid=14672 vsize=915632 CPUtime=1.22
/proc/14674/stat : 14674 (java) R 14672 14674 14238 0 -1 0 17706 0 1 0 110 12 0 0 24 0 8 0 158043955 937607168 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14674/statm: 228908 17443 2158 14 0 215378 0
[pid=14674/tid=14676] ppid=14672 vsize=915632 CPUtime=0.04
/proc/14674/task/14676/stat : 14676 (java) R 14672 14674 14238 0 -1 64 1180 0 0 0 4 0 0 0 16 0 8 0 158043961 937607168 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152891605 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14677] ppid=14672 vsize=915632 CPUtime=0
/proc/14674/task/14677/stat : 14677 (java) S 14672 14674 14238 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158043962 937607168 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14678] ppid=14672 vsize=915632 CPUtime=0
/proc/14674/task/14678/stat : 14678 (java) S 14672 14674 14238 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158043962 937607168 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14679] ppid=14672 vsize=915632 CPUtime=0
/proc/14674/task/14679/stat : 14679 (java) S 14672 14674 14238 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158043965 937607168 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14680] ppid=14672 vsize=915632 CPUtime=0.16
/proc/14674/task/14680/stat : 14680 (java) S 14672 14674 14238 0 -1 64 401 0 0 0 15 1 0 0 15 0 8 0 158043965 937607168 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14681] ppid=14672 vsize=915632 CPUtime=0
/proc/14674/task/14681/stat : 14681 (java) S 14672 14674 14238 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158043965 937607168 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14682] ppid=14672 vsize=915632 CPUtime=0
/proc/14674/task/14682/stat : 14682 (java) S 14672 14674 14238 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158043966 937607168 17443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915632
[startup+2.98639 s]
/proc/loadavg: 1.34 1.81 1.84 3/80 14682
/proc/meminfo: memFree=858920/2055920 swapFree=4192224/4192956
[pid=14674] ppid=14672 vsize=915632 CPUtime=2.85
/proc/14674/stat : 14674 (java) R 14672 14674 14238 0 -1 0 19218 0 1 0 272 13 0 0 25 0 8 0 158043955 937607168 18954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788708 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14674/statm: 228908 18954 2178 14 0 215378 0
[pid=14674/tid=14676] ppid=14672 vsize=915632 CPUtime=0.08
/proc/14674/task/14676/stat : 14676 (java) S 14672 14674 14238 0 -1 64 2617 0 0 0 8 0 0 0 17 0 8 0 158043961 937607168 18954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14677] ppid=14672 vsize=915632 CPUtime=0
/proc/14674/task/14677/stat : 14677 (java) S 14672 14674 14238 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158043962 937607168 18954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14678] ppid=14672 vsize=915632 CPUtime=0
/proc/14674/task/14678/stat : 14678 (java) S 14672 14674 14238 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158043962 937607168 18954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14679] ppid=14672 vsize=915632 CPUtime=0
/proc/14674/task/14679/stat : 14679 (java) S 14672 14674 14238 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158043965 937607168 18954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14680] ppid=14672 vsize=915632 CPUtime=0.18
/proc/14674/task/14680/stat : 14680 (java) S 14672 14674 14238 0 -1 64 414 0 0 0 17 1 0 0 15 0 8 0 158043965 937607168 18954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14681] ppid=14672 vsize=915632 CPUtime=0
/proc/14674/task/14681/stat : 14681 (java) S 14672 14674 14238 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158043965 937607168 18954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14682] ppid=14672 vsize=915632 CPUtime=0
/proc/14674/task/14682/stat : 14682 (java) S 14672 14674 14238 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158043966 937607168 18954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915632
[startup+6.27108 s]
/proc/loadavg: 1.39 1.81 1.84 3/80 14682
/proc/meminfo: memFree=849576/2055920 swapFree=4192224/4192956
[pid=14674] ppid=14672 vsize=915892 CPUtime=6.11
/proc/14674/stat : 14674 (java) R 14672 14674 14238 0 -1 0 23476 0 1 0 514 97 0 0 25 0 8 0 158043955 937873408 23209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074084990 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14674/statm: 228973 23209 2543 14 0 215443 0
[pid=14674/tid=14676] ppid=14672 vsize=915892 CPUtime=0.34
/proc/14674/task/14676/stat : 14676 (java) S 14672 14674 14238 0 -1 64 6313 0 0 0 32 2 0 0 17 0 8 0 158043961 937873408 23209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14677] ppid=14672 vsize=915892 CPUtime=0
/proc/14674/task/14677/stat : 14677 (java) S 14672 14674 14238 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158043962 937873408 23209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14678] ppid=14672 vsize=915892 CPUtime=0
/proc/14674/task/14678/stat : 14678 (java) S 14672 14674 14238 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158043962 937873408 23209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14679] ppid=14672 vsize=915892 CPUtime=0
/proc/14674/task/14679/stat : 14679 (java) S 14672 14674 14238 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158043965 937873408 23209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14680] ppid=14672 vsize=915892 CPUtime=0.29
/proc/14674/task/14680/stat : 14680 (java) S 14672 14674 14238 0 -1 64 527 0 0 0 28 1 0 0 15 0 8 0 158043965 937873408 23209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14681] ppid=14672 vsize=915892 CPUtime=0
/proc/14674/task/14681/stat : 14681 (java) S 14672 14674 14238 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158043965 937873408 23209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14682] ppid=14672 vsize=915892 CPUtime=0
/proc/14674/task/14682/stat : 14682 (java) S 14672 14674 14238 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158043966 937873408 23209 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915892
[startup+12.7634 s]
/proc/loadavg: 1.44 1.81 1.84 3/80 14682
/proc/meminfo: memFree=842792/2055920 swapFree=4192224/4192956
[pid=14674] ppid=14672 vsize=915892 CPUtime=12.54
/proc/14674/stat : 14674 (java) R 14672 14674 14238 0 -1 0 23503 0 1 0 1157 97 0 0 25 0 8 0 158043955 937873408 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074090361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14674/statm: 228973 23232 2546 14 0 215443 0
[pid=14674/tid=14676] ppid=14672 vsize=915892 CPUtime=0.34
/proc/14674/task/14676/stat : 14676 (java) S 14672 14674 14238 0 -1 64 6313 0 0 0 32 2 0 0 17 0 8 0 158043961 937873408 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14677] ppid=14672 vsize=915892 CPUtime=0
/proc/14674/task/14677/stat : 14677 (java) S 14672 14674 14238 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 158043962 937873408 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14678] ppid=14672 vsize=915892 CPUtime=0
/proc/14674/task/14678/stat : 14678 (java) S 14672 14674 14238 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 158043962 937873408 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14679] ppid=14672 vsize=915892 CPUtime=0
/proc/14674/task/14679/stat : 14679 (java) S 14672 14674 14238 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 158043965 937873408 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14680] ppid=14672 vsize=915892 CPUtime=0.33
/proc/14674/task/14680/stat : 14680 (java) S 14672 14674 14238 0 -1 64 546 0 0 0 31 2 0 0 15 0 8 0 158043965 937873408 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14681] ppid=14672 vsize=915892 CPUtime=0
/proc/14674/task/14681/stat : 14681 (java) S 14672 14674 14238 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 158043965 937873408 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14674/tid=14682] ppid=14672 vsize=915892 CPUtime=0
/proc/14674/task/14682/stat : 14682 (java) S 14672 14674 14238 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 158043966 937873408 23232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915892
Child status: 0
Real time (s): 17.2676
CPU time (s): 16.9784
CPU user time (s): 15.9836
CPU system time (s): 0.994848
CPU usage (%): 98.3255
Max. virtual memory (cumulated for all children) (KiB): 915892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.9836
system time used= 0.994848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23517
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= 1788
involuntary context switches= 2158
runsolver used 0.023996 s user time and 0.06399 s system time
The end
Begin job on node33 on Sat Jan 6 15:14:58 UTC 2007
IDJOB= 192009
IDBENCH= 3085
FILE ID= node33/192009-1168096494
PBS_JOBID= 3476710
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/queens/queens-200.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/192009-1168096494/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-192009-1168096494 -o ROOT/results/node33/solver-192009-1168096494 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/192009-1168096494/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bc9638d33bc2eb3542de683de70ee98a
RANDOM SEED= 126884514
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.281
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.281
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: 927424 kB
Buffers: 45360 kB
Cached: 502136 kB
SwapCached: 448 kB
Active: 520460 kB
Inactive: 525660 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 927424 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 4256 kB
Writeback: 0 kB
Mapped: 511504 kB
Slab: 66948 kB
Committed_AS: 3194640 kB
PageTables: 2664 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= 66549 MiB
End job on node33 on Sat Jan 6 15:15:22 UTC 2007