0.31
0.31 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/214392-1168077684/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=228 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.115 cpuTime=0.09 mem=6M951
0.43
0.43 predicates being loaded...
0.45
0.45 constraints being loaded...
0.71 nbConstraints=315 nbMergedConstraints=301 nbConvertedConstraints=148 nbConvertConstraintsChecks=68
0.71 nbExtensionStructures=3 nbSharedExtensionStructures=145 nbConflictsStructures=8 nbSharedConflictsStructures=295
0.71 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=9 nbEvaluationManagers=6
0.71 nbSharedEvaluationManagers=161 maxDegree=8 maxArity=19
0.71 => wckTime=0.387 cpuTime=0.26 mem=15M761
0.75
0.75 solver IterativeSystematicSolver being built...
0.93 => wckTime=0.613 cpuTime=0.42 mem=16M671
0.96
0.96 preprocessing
0.96 nbConstraintChecks=240 nbValidityChecks=216 nbPropagations=228 nbRevisions=228 nbUselessRevisions=228
0.96 nbRemovedValues=0 detectedInconsistency=no
0.96 => wckTime=0.026 cpuTime=0.0 mem=16M671
1.67
1.67 search
1.67 run=0 nbConstraintChecks=328894 nbValidityChecks=3510 nbPropagations=400 nbRevisions=2402
1.67 nbUselessRevisions=2157 nbAssignments=72 nbFailedAssignments=2 nbBacktracks=15 nbVisitedNodes=77
1.67 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.734 cpuTime=0.67 mem=16M671
2.43
2.43 search
2.43 run=1 nbConstraintChecks=698840 nbValidityChecks=7831 nbPropagations=1086 nbRevisions=7451
2.43 nbUselessRevisions=6421 nbAssignments=134 nbFailedAssignments=9 nbBacktracks=30 nbVisitedNodes=151
2.43 nbRestartNogoods=1 mapSize=13 nbInferences=0 nbTooLargeKeys=0
2.43 => wckTime=1.498 cpuTime=1.42 mem=16M671
3.01
3.01 search
3.01 run=2 nbConstraintChecks=979940 nbValidityChecks=14943 nbPropagations=2277 nbRevisions=16904
3.01 nbUselessRevisions=14187 nbAssignments=214 nbFailedAssignments=21 nbBacktracks=53 nbVisitedNodes=251
3.01 nbRestartNogoods=3 mapSize=32 nbInferences=0 nbTooLargeKeys=0
3.01 => wckTime=2.079 cpuTime=1.99 mem=16M671
3.46
3.46 search
3.46 run=3 nbConstraintChecks=1188786 nbValidityChecks=20251 nbPropagations=3905 nbRevisions=29723
3.46 nbUselessRevisions=24688 nbAssignments=282 nbFailedAssignments=28 nbBacktracks=94 nbVisitedNodes=333
3.46 nbRestartNogoods=4 mapSize=45 nbInferences=0 nbTooLargeKeys=0
3.46 => wckTime=2.527 cpuTime=2.42 mem=16M671
5.01
5.02 search
5.02 run=4 nbConstraintChecks=1958514 nbValidityChecks=30974 nbPropagations=6302 nbRevisions=49283
5.02 nbUselessRevisions=40655 nbAssignments=364 nbFailedAssignments=39 nbBacktracks=145 nbVisitedNodes=445
5.02 nbRestartNogoods=5 mapSize=73 nbInferences=0 nbTooLargeKeys=0
5.02 => wckTime=4.079 cpuTime=3.96 mem=16M671
5.93
5.93 search
5.93 run=5 nbConstraintChecks=2404452 nbValidityChecks=40742 nbPropagations=9384 nbRevisions=75189
5.93 nbUselessRevisions=61817 nbAssignments=531 nbFailedAssignments=53 nbBacktracks=222 nbVisitedNodes=638
5.93 nbRestartNogoods=7 mapSize=98 nbInferences=0 nbTooLargeKeys=0
5.93 => wckTime=5.002 cpuTime=4.87 mem=16M671
7.41
7.41 search
7.41 run=6 nbConstraintChecks=3128071 nbValidityChecks=55494 nbPropagations=13590 nbRevisions=110918
7.42 nbUselessRevisions=90839 nbAssignments=805 nbFailedAssignments=75 nbBacktracks=335 nbVisitedNodes=954
7.42 nbRestartNogoods=8 mapSize=132 nbInferences=0 nbTooLargeKeys=0
7.42 => wckTime=6.483 cpuTime=6.34 mem=16M671
8.32
8.32 search
8.32 run=7 nbConstraintChecks=3558730 nbValidityChecks=69969 nbPropagations=18896 nbRevisions=156422
8.32 nbUselessRevisions=127692 nbAssignments=1101 nbFailedAssignments=94 nbBacktracks=536 nbVisitedNodes=1292
8.32 nbRestartNogoods=16 mapSize=171 nbInferences=0 nbTooLargeKeys=0
8.32 => wckTime=7.39 cpuTime=7.23 mem=16M671
8.81
8.81 search
8.81 run=8 nbConstraintChecks=3763671 nbValidityChecks=86036 nbPropagations=25409 nbRevisions=213178
8.81 nbUselessRevisions=173620 nbAssignments=1485 nbFailedAssignments=117 nbBacktracks=792 nbVisitedNodes=1724
8.81 nbRestartNogoods=19 mapSize=214 nbInferences=0 nbTooLargeKeys=0
8.81 => wckTime=7.876 cpuTime=7.71 mem=16M671
9.81
9.81 search
9.81 run=9 nbConstraintChecks=4208271 nbValidityChecks=112947 nbPropagations=34386 nbRevisions=288445
9.81 nbUselessRevisions=234573 nbAssignments=1938 nbFailedAssignments=145 nbBacktracks=1177 nbVisitedNodes=2241
9.81 nbRestartNogoods=24 mapSize=276 nbInferences=0 nbTooLargeKeys=0
9.81 => wckTime=8.875 cpuTime=8.68 mem=17M646
11.50
11.50 search
11.50 run=10 nbConstraintChecks=5019092 nbValidityChecks=132241 nbPropagations=44974 nbRevisions=376574
11.50 nbUselessRevisions=305664 nbAssignments=2434 nbFailedAssignments=174 nbBacktracks=1416 nbVisitedNodes=2792
11.50 nbRestartNogoods=26 mapSize=323 nbInferences=0 nbTooLargeKeys=0
11.50 => wckTime=10.569 cpuTime=10.34 mem=17M646
11.50
11.50 global
11.50 nbConstraintChecks=5019332 nbValidityChecks=132457 nbPropagations=45202 nbRevisions=376802
11.50 nbUselessRevisions=305892 nbRestartNogoods=26 solvingWckTime=10.571 solvingCpuTime=10.34 expiredTime=no
11.50 totalExploration=no nbFoundSolutions=1 globalCpuTime=10.81
11.50 => wckTime=11.185 cpuTime=10.76 mem=17M646
11.50
11.50 s SATISFIABLE
11.50 v 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0
11.50 d NODES 2434
11.50 d CHECKS 5019332
11.50
11.51 totalWckTime=11.265 totalCpuTime=10.81
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-214392-1168077684 -o ROOT/results/node18/solver-214392-1168077684 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214392-1168077684/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.93 1.99 1.94 4/99 22038
/proc/meminfo: memFree=930640/2055920 swapFree=4192812/4192956
[pid=22037] ppid=22035 vsize=18540 CPUtime=0
/proc/22037/stat : 22037 (runsolver) R 22035 22037 21694 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156163065 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/22037/statm: 4635 279 244 17 0 2626 0
[startup+0.107726 s]
/proc/loadavg: 1.93 1.99 1.94 4/99 22038
/proc/meminfo: memFree=930640/2055920 swapFree=4192812/4192956
[pid=22037] ppid=22035 vsize=914988 CPUtime=0.09
/proc/22037/stat : 22037 (java) D 22035 22037 21694 0 -1 0 2988 0 1 0 7 2 0 0 17 0 8 0 156163065 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22037/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515753 s]
/proc/loadavg: 1.93 1.99 1.94 4/99 22038
/proc/meminfo: memFree=930640/2055920 swapFree=4192812/4192956
[pid=22037] ppid=22035 vsize=915328 CPUtime=0.49
/proc/22037/stat : 22037 (java) R 22035 22037 21694 0 -1 0 6422 0 1 0 45 4 0 0 18 0 8 0 156163065 937295872 6161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22037/statm: 228832 6161 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33783 s]
/proc/loadavg: 1.93 1.99 1.94 3/106 22045
/proc/meminfo: memFree=904856/2055920 swapFree=4192812/4192956
[pid=22037] ppid=22035 vsize=915508 CPUtime=1.3
/proc/22037/stat : 22037 (java) R 22035 22037 21694 0 -1 0 9152 0 1 0 122 8 0 0 24 0 8 0 156163065 937480192 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073882368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22037/statm: 228877 8890 2529 14 0 215347 0
[pid=22037/tid=22039] ppid=22035 vsize=915508 CPUtime=0.03
/proc/22037/task/22039/stat : 22039 (java) S 22035 22037 21694 0 -1 64 198 0 0 0 3 0 0 0 16 0 8 0 156163070 937480192 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22040] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22040/stat : 22040 (java) S 22035 22037 21694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156163070 937480192 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22041] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22041/stat : 22041 (java) S 22035 22037 21694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156163070 937480192 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22042] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22042/stat : 22042 (java) S 22035 22037 21694 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156163073 937480192 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22043] ppid=22035 vsize=915508 CPUtime=0.24
/proc/22037/task/22043/stat : 22043 (java) S 22035 22037 21694 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 156163073 937480192 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22044] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22044/stat : 22044 (java) S 22035 22037 21694 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156163073 937480192 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22045] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22045/stat : 22045 (java) S 22035 22037 21694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156163073 937480192 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915508
[startup+2.97599 s]
/proc/loadavg: 1.93 1.99 1.94 3/106 22051
/proc/meminfo: memFree=904728/2055920 swapFree=4192812/4192956
[pid=22037] ppid=22035 vsize=915508 CPUtime=2.92
/proc/22037/stat : 22037 (java) R 22035 22037 21694 0 -1 0 9165 0 1 0 284 8 0 0 25 0 8 0 156163065 937480192 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22037/statm: 228877 8901 2533 14 0 215347 0
[pid=22037/tid=22039] ppid=22035 vsize=915508 CPUtime=0.03
/proc/22037/task/22039/stat : 22039 (java) S 22035 22037 21694 0 -1 64 199 0 0 0 3 0 0 0 17 0 8 0 156163070 937480192 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22040] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22040/stat : 22040 (java) S 22035 22037 21694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156163070 937480192 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22041] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22041/stat : 22041 (java) S 22035 22037 21694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156163070 937480192 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22042] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22042/stat : 22042 (java) S 22035 22037 21694 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156163073 937480192 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22043] ppid=22035 vsize=915508 CPUtime=0.25
/proc/22037/task/22043/stat : 22043 (java) S 22035 22037 21694 0 -1 64 404 0 0 0 24 1 0 0 15 0 8 0 156163073 937480192 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22044] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22044/stat : 22044 (java) S 22035 22037 21694 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156163073 937480192 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22045] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22045/stat : 22045 (java) S 22035 22037 21694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156163073 937480192 8901 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915508
[startup+6.2753 s]
/proc/loadavg: 1.93 1.99 1.94 3/106 22059
/proc/meminfo: memFree=904728/2055920 swapFree=4192812/4192956
[pid=22037] ppid=22035 vsize=915508 CPUtime=6.19
/proc/22037/stat : 22037 (java) R 22035 22037 21694 0 -1 0 9171 0 1 0 610 9 0 0 25 0 8 0 156163065 937480192 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073889298 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22037/statm: 228877 8906 2533 14 0 215347 0
[pid=22037/tid=22039] ppid=22035 vsize=915508 CPUtime=0.03
/proc/22037/task/22039/stat : 22039 (java) S 22035 22037 21694 0 -1 64 199 0 0 0 3 0 0 0 16 0 8 0 156163070 937480192 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22040] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22040/stat : 22040 (java) S 22035 22037 21694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156163070 937480192 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22041] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22041/stat : 22041 (java) S 22035 22037 21694 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156163070 937480192 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22042] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22042/stat : 22042 (java) S 22035 22037 21694 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156163073 937480192 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22043] ppid=22035 vsize=915508 CPUtime=0.26
/proc/22037/task/22043/stat : 22043 (java) S 22035 22037 21694 0 -1 64 410 0 0 0 25 1 0 0 15 0 8 0 156163073 937480192 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22044] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22044/stat : 22044 (java) S 22035 22037 21694 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156163073 937480192 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22037/tid=22045] ppid=22035 vsize=915508 CPUtime=0
/proc/22037/task/22045/stat : 22045 (java) S 22035 22037 21694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156163073 937480192 8906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915508
Child status: 0
Real time (s): 11.5561
CPU time (s): 11.3753
CPU user time (s): 11.2733
CPU system time (s): 0.101984
CPU usage (%): 98.4354
Max. virtual memory (cumulated for all children) (KiB): 915508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.2733
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9359
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= 1516
involuntary context switches= 2017
runsolver used 0.013997 s user time and 0.049992 s system time
The end
Begin job on node18 on Sat Jan 6 10:01:24 UTC 2007
IDJOB= 214392
IDBENCH= 4921
FILE ID= node18/214392-1168077684
PBS_JOBID= 3475797
Free space on /tmp= 66284 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/routing/s3-3-3-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214392-1168077684/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-214392-1168077684 -o ROOT/results/node18/solver-214392-1168077684 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214392-1168077684/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 04fd853b84ff8c873dfc06696ef47987
RANDOM SEED= 785062857
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: 931056 kB
Buffers: 69472 kB
Cached: 688864 kB
SwapCached: 0 kB
Active: 631324 kB
Inactive: 394176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 931056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1888 kB
Writeback: 0 kB
Mapped: 296596 kB
Slab: 83472 kB
Committed_AS: 4785520 kB
PageTables: 2748 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= 66284 MiB
End job on node18 on Sat Jan 6 10:01:36 UTC 2007