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/208574-1168188636/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.66
0.66 constraints being loaded...
0.82 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.82 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
0.82 => wckTime=0.518 cpuTime=0.47 mem=43M458
0.90
0.90 solver IterativeSystematicSolver being built...
1.06 => wckTime=0.761 cpuTime=0.59 mem=21M365
1.13
1.14 preprocessing
1.14 nbConstraintChecks=20639 nbValidityChecks=34104 nbPropagations=173 nbRevisions=1676 nbUselessRevisions=1411
1.14 nbSingletonTests=24 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.14 => wckTime=0.073 cpuTime=0.05 mem=21M365
1.19
1.19 search
1.19 run=0 nbConstraintChecks=24876 nbValidityChecks=50651 nbPropagations=519 nbRevisions=5007
1.19 nbUselessRevisions=3942 nbAssignments=43 nbFailedAssignments=29 nbBacktracks=10 nbVisitedNodes=80
1.19 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.131 cpuTime=0.09 mem=22M367
1.28
1.28 search
1.28 run=1 nbConstraintChecks=77427 nbValidityChecks=171928 nbPropagations=1715 nbRevisions=17799
1.28 nbUselessRevisions=14187 nbAssignments=128 nbFailedAssignments=49 nbBacktracks=25 nbVisitedNodes=153
1.28 nbRestartNogoods=9 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.214 cpuTime=0.17 mem=22M367
1.35
1.35 search
1.35 run=2 nbConstraintChecks=127251 nbValidityChecks=279690 nbPropagations=3598 nbRevisions=37969
1.35 nbUselessRevisions=30381 nbAssignments=197 nbFailedAssignments=73 nbBacktracks=47 nbVisitedNodes=236
1.35 nbRestartNogoods=13 mapSize=44 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.29 cpuTime=0.24 mem=22M367
1.45
1.45 search
1.45 run=3 nbConstraintChecks=199985 nbValidityChecks=427103 nbPropagations=6505 nbRevisions=69602
1.45 nbUselessRevisions=55544 nbAssignments=280 nbFailedAssignments=120 nbBacktracks=81 nbVisitedNodes=395
1.45 nbRestartNogoods=14 mapSize=78 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.389 cpuTime=0.33 mem=22M367
1.60
1.60 search
1.60 run=4 nbConstraintChecks=322725 nbValidityChecks=683007 nbPropagations=10874 nbRevisions=120255
1.60 nbUselessRevisions=95704 nbAssignments=425 nbFailedAssignments=210 nbBacktracks=131 nbVisitedNodes=669
1.61 nbRestartNogoods=15 mapSize=126 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.542 cpuTime=0.48 mem=22M367
1.81
1.81 search
1.81 run=5 nbConstraintChecks=481864 nbValidityChecks=995432 nbPropagations=17466 nbRevisions=193729
1.81 nbUselessRevisions=153178 nbAssignments=636 nbFailedAssignments=341 nbBacktracks=207 nbVisitedNodes=1062
1.81 nbRestartNogoods=18 mapSize=191 nbInferences=0 nbTooLargeKeys=0
1.81 => wckTime=0.751 cpuTime=0.68 mem=22M367
2.16
2.16 search
2.16 run=6 nbConstraintChecks=761655 nbValidityChecks=1571215 nbPropagations=27667 nbRevisions=308647
2.16 nbUselessRevisions=243305 nbAssignments=976 nbFailedAssignments=508 nbBacktracks=321 nbVisitedNodes=1596
2.16 nbRestartNogoods=36 mapSize=297 nbInferences=0 nbTooLargeKeys=0
2.16 => wckTime=1.096 cpuTime=1.03 mem=22M367
2.62
2.62 search
2.62 run=7 nbConstraintChecks=1148624 nbValidityChecks=2326406 nbPropagations=42684 nbRevisions=479541
2.63 nbUselessRevisions=377154 nbAssignments=1356 nbFailedAssignments=707 nbBacktracks=491 nbVisitedNodes=2286
2.63 nbRestartNogoods=42 mapSize=461 nbInferences=0 nbTooLargeKeys=0
2.63 => wckTime=1.564 cpuTime=1.49 mem=22M367
3.38
3.38 search
3.38 run=8 nbConstraintChecks=1755160 nbValidityChecks=3578653 nbPropagations=65780 nbRevisions=747960
3.38 nbUselessRevisions=587221 nbAssignments=2029 nbFailedAssignments=1115 nbBacktracks=747 nbVisitedNodes=3552
3.38 nbRestartNogoods=56 mapSize=703 nbInferences=0 nbTooLargeKeys=0
3.38 => wckTime=2.32 cpuTime=2.23 mem=22M367
4.45
4.45 INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=22M367)
4.54
4.54 search
4.54 run=9 nbConstraintChecks=2770785 nbValidityChecks=5724525 nbPropagations=101766 nbRevisions=1179846
4.54 nbUselessRevisions=926042 nbAssignments=3206 nbFailedAssignments=1903 nbBacktracks=1133 nbVisitedNodes=5800
4.54 nbRestartNogoods=62
4.54 => wckTime=3.475 cpuTime=3.37 mem=22M367
5.97
5.97 search
5.97 run=10 nbConstraintChecks=3980587 nbValidityChecks=8200066 nbPropagations=155750 nbRevisions=1801307
5.97 nbUselessRevisions=1410586 nbAssignments=4702 nbFailedAssignments=2817 nbBacktracks=1711 nbVisitedNodes=8629
5.97 nbRestartNogoods=70
5.97 => wckTime=4.906 cpuTime=4.8 mem=22M367
7.96
7.96 search
7.96 run=11 nbConstraintChecks=5713089 nbValidityChecks=11705873 nbPropagations=234047 nbRevisions=2697972
7.96 nbUselessRevisions=2110139 nbAssignments=6736 nbFailedAssignments=3983 nbBacktracks=2575 nbVisitedNodes=12403
7.96 nbRestartNogoods=81
7.96 => wckTime=6.901 cpuTime=6.79 mem=22M367
9.34
9.34 search
9.34 run=12 nbConstraintChecks=6892330 nbValidityChecks=14075175 nbPropagations=328980 nbRevisions=3777834
9.34 nbUselessRevisions=2952129 nbAssignments=8012 nbFailedAssignments=4658 nbBacktracks=3156 nbVisitedNodes=14748
9.34 nbRestartNogoods=93
9.34 => wckTime=8.281 cpuTime=8.17 mem=22M367
9.34
9.34 global
9.34 nbConstraintChecks=6912969 nbValidityChecks=14109279 nbPropagations=329153 nbRevisions=3779510
9.34 nbUselessRevisions=2953540 nbRestartNogoods=93 solvingWckTime=8.282 solvingCpuTime=8.17 expiredTime=no
9.34 totalExploration=no nbFoundSolutions=1 globalCpuTime=8.82
9.34 => wckTime=9.046 cpuTime=8.77 mem=22M367
9.35
9.35 s SATISFIABLE
9.35 v 1 8 7 18 17 18 15 17 16 14 0 8 19 16 1 10 6 7 14 2
9.35 d NODES 8012
9.35 d CHECKS 6912969
9.35
9.35 totalWckTime=9.123 totalCpuTime=8.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-208574-1168188636 -o ROOT/results/node9/solver-208574-1168188636 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208574-1168188636/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.83 1.94 1.98 4/98 26571
/proc/meminfo: memFree=1394472/2055920 swapFree=4191880/4192956
[pid=26570] ppid=26568 vsize=172 CPUtime=0
/proc/26570/stat : 26570 (java) R 26568 26570 26503 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 167258846 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8663339 0 0 4096 0 0 0 0 17 0 0 0
/proc/26570/statm: 43 24 18 14 0 3 0
[startup+0.107561 s]
/proc/loadavg: 1.83 1.94 1.98 4/98 26571
/proc/meminfo: memFree=1394472/2055920 swapFree=4191880/4192956
[pid=26570] ppid=26568 vsize=914988 CPUtime=0.08
/proc/26570/stat : 26570 (java) R 26568 26570 26503 0 -1 0 3060 0 1 0 7 1 0 0 22 0 8 0 167258846 936947712 2806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26570/statm: 228747 2807 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515609 s]
/proc/loadavg: 1.83 1.94 1.98 4/98 26571
/proc/meminfo: memFree=1394472/2055920 swapFree=4191880/4192956
[pid=26570] ppid=26568 vsize=915328 CPUtime=0.49
/proc/26570/stat : 26570 (java) R 26568 26570 26503 0 -1 0 8072 0 1 0 44 5 0 0 25 0 8 0 167258846 937295872 7811 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26570/statm: 228832 7813 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3367 s]
/proc/loadavg: 1.83 1.94 1.98 3/105 26578
/proc/meminfo: memFree=1335920/2055920 swapFree=4191880/4192956
[pid=26570] ppid=26568 vsize=915460 CPUtime=1.31
/proc/26570/stat : 26570 (java) R 26568 26570 26503 0 -1 0 17386 0 1 0 120 11 0 0 25 0 8 0 167258846 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26570/statm: 228865 17124 2527 14 0 215335 0
[pid=26570/tid=26572] ppid=26568 vsize=915460 CPUtime=0.06
/proc/26570/task/26572/stat : 26572 (java) S 26568 26570 26503 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 167258850 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26573] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26573/stat : 26573 (java) S 26568 26570 26503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167258850 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26574] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26574/stat : 26574 (java) S 26568 26570 26503 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167258850 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26575] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26575/stat : 26575 (java) S 26568 26570 26503 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167258853 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26576] ppid=26568 vsize=915460 CPUtime=0.16
/proc/26570/task/26576/stat : 26576 (java) S 26568 26570 26503 0 -1 64 358 0 0 0 15 1 0 0 15 0 8 0 167258853 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26577] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26577/stat : 26577 (java) S 26568 26570 26503 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167258853 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26578] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26578/stat : 26578 (java) S 26568 26570 26503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167258853 937431040 17124 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.98889 s]
/proc/loadavg: 1.83 1.94 1.98 3/105 26578
/proc/meminfo: memFree=1335792/2055920 swapFree=4191880/4192956
[pid=26570] ppid=26568 vsize=915460 CPUtime=2.96
/proc/26570/stat : 26570 (java) R 26568 26570 26503 0 -1 0 17402 0 1 0 285 11 0 0 25 0 8 0 167258846 937431040 17138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073721281 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26570/statm: 228865 17138 2527 14 0 215335 0
[pid=26570/tid=26572] ppid=26568 vsize=915460 CPUtime=0.06
/proc/26570/task/26572/stat : 26572 (java) S 26568 26570 26503 0 -1 64 1839 0 0 0 6 0 0 0 17 0 8 0 167258850 937431040 17138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26573] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26573/stat : 26573 (java) S 26568 26570 26503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167258850 937431040 17138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26574] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26574/stat : 26574 (java) S 26568 26570 26503 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167258850 937431040 17138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26575] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26575/stat : 26575 (java) S 26568 26570 26503 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167258853 937431040 17138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26576] ppid=26568 vsize=915460 CPUtime=0.19
/proc/26570/task/26576/stat : 26576 (java) S 26568 26570 26503 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 167258853 937431040 17138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26577] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26577/stat : 26577 (java) S 26568 26570 26503 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167258853 937431040 17138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26578] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26578/stat : 26578 (java) S 26568 26570 26503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167258853 937431040 17138 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.19125 s]
/proc/loadavg: 1.84 1.94 1.98 3/105 26578
/proc/meminfo: memFree=1335664/2055920 swapFree=4191880/4192956
[pid=26570] ppid=26568 vsize=915460 CPUtime=6.16
/proc/26570/stat : 26570 (java) R 26568 26570 26503 0 -1 0 17414 0 1 0 605 11 0 0 25 0 8 0 167258846 937431040 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741628 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26570/statm: 228865 17148 2527 14 0 215335 0
[pid=26570/tid=26572] ppid=26568 vsize=915460 CPUtime=0.06
/proc/26570/task/26572/stat : 26572 (java) S 26568 26570 26503 0 -1 64 1839 0 0 0 6 0 0 0 16 0 8 0 167258850 937431040 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26573] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26573/stat : 26573 (java) S 26568 26570 26503 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167258850 937431040 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26574] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26574/stat : 26574 (java) S 26568 26570 26503 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167258850 937431040 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26575] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26575/stat : 26575 (java) S 26568 26570 26503 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167258853 937431040 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26576] ppid=26568 vsize=915460 CPUtime=0.22
/proc/26570/task/26576/stat : 26576 (java) S 26568 26570 26503 0 -1 64 386 0 0 0 20 2 0 0 16 0 8 0 167258853 937431040 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26577] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26577/stat : 26577 (java) S 26568 26570 26503 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167258853 937431040 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26570/tid=26578] ppid=26568 vsize=915460 CPUtime=0
/proc/26570/task/26578/stat : 26578 (java) S 26568 26570 26503 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167258853 937431040 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 9.40454
CPU time (s): 9.34158
CPU user time (s): 9.2126
CPU system time (s): 0.12898
CPU usage (%): 99.3306
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.2126
system time used= 0.12898
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17422
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= 1306
involuntary context switches= 1500
runsolver used 0.019996 s user time and 0.034994 s system time
The end
Begin job on node9 on Sun Jan 7 16:50:37 UTC 2007
IDJOB= 208574
IDBENCH= 4411
FILE ID= node9/208574-1168188636
PBS_JOBID= 3478982
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208574-1168188636/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-208574-1168188636 -o ROOT/results/node9/solver-208574-1168188636 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208574-1168188636/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f2195ab1808ba05b939b12ff252365d7
RANDOM SEED= 776257742
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: 1394952 kB
Buffers: 48632 kB
Cached: 333524 kB
SwapCached: 276 kB
Active: 344824 kB
Inactive: 253296 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1394952 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3140 kB
Writeback: 0 kB
Mapped: 237604 kB
Slab: 47196 kB
Committed_AS: 5317272 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= 66540 MiB
End job on node9 on Sun Jan 7 16:50:47 UTC 2007