0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/208665-1168189268/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.71
0.71 constraints being loaded...
0.88 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.88 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.88 => wckTime=0.553 cpuTime=0.5 mem=44M564
0.96
0.96 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.814 cpuTime=0.65 mem=21M493
1.22
1.22 preprocessing
1.22 nbConstraintChecks=23631 nbValidityChecks=38131 nbPropagations=197 nbRevisions=2004 nbUselessRevisions=1725
1.22 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.22 => wckTime=0.082 cpuTime=0.06 mem=21M493
1.27
1.27 search
1.27 run=0 nbConstraintChecks=20391 nbValidityChecks=40098 nbPropagations=473 nbRevisions=5173
1.27 nbUselessRevisions=4281 nbAssignments=28 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=50
1.27 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.133 cpuTime=0.1 mem=22M477
1.34
1.34 search
1.34 run=1 nbConstraintChecks=66812 nbValidityChecks=132974 nbPropagations=1561 nbRevisions=17754
1.34 nbUselessRevisions=14366 nbAssignments=79 nbFailedAssignments=45 nbBacktracks=26 nbVisitedNodes=145
1.34 nbRestartNogoods=1 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.205 cpuTime=0.17 mem=22M477
1.45
1.45 search
1.45 run=2 nbConstraintChecks=128579 nbValidityChecks=261863 nbPropagations=3347 nbRevisions=39076
1.45 nbUselessRevisions=31347 nbAssignments=153 nbFailedAssignments=83 nbBacktracks=48 nbVisitedNodes=261
1.45 nbRestartNogoods=7 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.31 cpuTime=0.26 mem=22M477
1.58
1.58 search
1.58 run=3 nbConstraintChecks=222842 nbValidityChecks=444102 nbPropagations=6323 nbRevisions=74309
1.58 nbUselessRevisions=59125 nbAssignments=246 nbFailedAssignments=139 nbBacktracks=81 nbVisitedNodes=437
1.58 nbRestartNogoods=8 mapSize=78 nbInferences=0 nbTooLargeKeys=0
1.58 => wckTime=0.444 cpuTime=0.38 mem=22M477
1.78
1.78 search
1.78 run=4 nbConstraintChecks=376109 nbValidityChecks=755923 nbPropagations=11295 nbRevisions=135413
1.78 nbUselessRevisions=107377 nbAssignments=426 nbFailedAssignments=256 nbBacktracks=131 nbVisitedNodes=762
1.78 nbRestartNogoods=12 mapSize=123 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.642 cpuTime=0.58 mem=22M477
1.99
1.99 search
1.99 run=5 nbConstraintChecks=535280 nbValidityChecks=1079425 nbPropagations=18348 nbRevisions=221917
1.99 nbUselessRevisions=175614 nbAssignments=645 nbFailedAssignments=396 nbBacktracks=206 nbVisitedNodes=1175
1.99 nbRestartNogoods=16 mapSize=194 nbInferences=0 nbTooLargeKeys=0
1.99 => wckTime=0.853 cpuTime=0.78 mem=22M477
2.42
2.42 search
2.42 run=6 nbConstraintChecks=859020 nbValidityChecks=1767221 nbPropagations=29311 nbRevisions=358869
2.42 nbUselessRevisions=283042 nbAssignments=1087 nbFailedAssignments=714 nbBacktracks=319 nbVisitedNodes=2014
2.42 nbRestartNogoods=25 mapSize=304 nbInferences=0 nbTooLargeKeys=0
2.42 => wckTime=1.282 cpuTime=1.2 mem=22M477
2.92
2.92 search
2.92 run=7 nbConstraintChecks=1233869 nbValidityChecks=2519766 nbPropagations=45505 nbRevisions=558608
2.92 nbUselessRevisions=439891 nbAssignments=1527 nbFailedAssignments=980 nbBacktracks=489 nbVisitedNodes=2843
2.92 nbRestartNogoods=33 mapSize=464 nbInferences=0 nbTooLargeKeys=0
2.92 => wckTime=1.778 cpuTime=1.67 mem=22M477
3.70
3.70 search
3.70 run=8 nbConstraintChecks=1854191 nbValidityChecks=3788852 nbPropagations=70222 nbRevisions=864309
3.70 nbUselessRevisions=680019 nbAssignments=2239 nbFailedAssignments=1431 nbBacktracks=747 nbVisitedNodes=4195
3.70 nbRestartNogoods=47 mapSize=712 nbInferences=0 nbTooLargeKeys=0
3.70 => wckTime=2.561 cpuTime=2.43 mem=22M477
4.63
4.63 INFO : Stopping hyperNogood (mapSize=1043, nbTooLargekeys=0, mem=22M477)
4.73
4.73 search
4.73 run=9 nbConstraintChecks=2698823 nbValidityChecks=5505340 nbPropagations=106526 nbRevisions=1308598
4.73 nbUselessRevisions=1029730 nbAssignments=3276 nbFailedAssignments=2080 nbBacktracks=1131 nbVisitedNodes=6161
4.73 nbRestartNogoods=53
4.73 => wckTime=3.594 cpuTime=3.46 mem=22M477
6.60
6.60 search
6.60 run=10 nbConstraintChecks=4246954 nbValidityChecks=8809032 nbPropagations=161685 nbRevisions=1996166
6.60 nbUselessRevisions=1570236 nbAssignments=5252 nbFailedAssignments=3474 nbBacktracks=1708 nbVisitedNodes=9940
6.60 nbRestartNogoods=67
6.60 => wckTime=5.463 cpuTime=5.3 mem=22M477
7.87
7.87 search
7.87 run=11 nbConstraintChecks=5316552 nbValidityChecks=11047842 nbPropagations=231581 nbRevisions=2862302
7.87 nbUselessRevisions=2250676 nbAssignments=6716 nbFailedAssignments=4527 nbBacktracks=2090 nbVisitedNodes=12759
7.87 nbRestartNogoods=77
7.87 => wckTime=6.73 cpuTime=6.55 mem=22M477
7.87
7.87 global
7.87 nbConstraintChecks=5340183 nbValidityChecks=11085973 nbPropagations=231778 nbRevisions=2864306
7.87 nbUselessRevisions=2252401 nbRestartNogoods=77 solvingWckTime=6.731 solvingCpuTime=6.55 expiredTime=no
7.87 totalExploration=no nbFoundSolutions=1 globalCpuTime=7.27
7.87 => wckTime=7.548 cpuTime=7.21 mem=22M477
7.87
7.87 s SATISFIABLE
7.87 v 7 7 16 9 15 19 2 18 10 1 5 9 11 1 16 10 1 8 9 8
7.87 d NODES 6716
7.87 d CHECKS 5340183
7.87
7.87 totalWckTime=7.636 totalCpuTime=7.27
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-208665-1168189268 -o ROOT/results/node7/solver-208665-1168189268 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208665-1168189268/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: 2.00 2.02 2.00 4/93 25025
/proc/meminfo: memFree=1478696/2055920 swapFree=4192812/4192956
[pid=25024] ppid=25022 vsize=18540 CPUtime=0
/proc/25024/stat : 25024 (runsolver) R 25022 25024 24188 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 167322251 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25024/statm: 4635 279 244 17 0 2626 0
[startup+0.109708 s]
/proc/loadavg: 2.00 2.02 2.00 4/93 25025
/proc/meminfo: memFree=1478696/2055920 swapFree=4192812/4192956
[pid=25024] ppid=25022 vsize=914988 CPUtime=0.09
/proc/25024/stat : 25024 (java) R 25022 25024 24188 0 -1 0 3035 0 1 0 8 1 0 0 17 0 8 0 167322251 936947712 2781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155582928 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25024/statm: 228747 2781 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517748 s]
/proc/loadavg: 2.00 2.02 2.00 4/93 25025
/proc/meminfo: memFree=1478696/2055920 swapFree=4192812/4192956
[pid=25024] ppid=25022 vsize=915328 CPUtime=0.49
/proc/25024/stat : 25024 (java) R 25022 25024 24188 0 -1 0 7464 0 1 0 46 3 0 0 18 0 8 0 167322251 937295872 7203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073552145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25024/statm: 228832 7203 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33984 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 25032
/proc/meminfo: memFree=1418864/2055920 swapFree=4192812/4192956
[pid=25024] ppid=25022 vsize=915460 CPUtime=1.3
/proc/25024/stat : 25024 (java) R 25022 25024 24188 0 -1 0 17678 0 1 0 123 7 0 0 24 0 8 0 167322251 937431040 17416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25024/statm: 228865 17416 2527 14 0 215335 0
[pid=25024/tid=25026] ppid=25022 vsize=915460 CPUtime=0.06
/proc/25024/task/25026/stat : 25026 (java) S 25022 25024 24188 0 -1 64 1886 0 0 0 6 0 0 0 16 0 8 0 167322255 937431040 17416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25027] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25027/stat : 25027 (java) S 25022 25024 24188 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167322255 937431040 17416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25028] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25028/stat : 25028 (java) S 25022 25024 24188 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167322255 937431040 17416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25029] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25029/stat : 25029 (java) S 25022 25024 24188 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167322259 937431040 17416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25030] ppid=25022 vsize=915460 CPUtime=0.16
/proc/25024/task/25030/stat : 25030 (java) S 25022 25024 24188 0 -1 64 354 0 0 0 16 0 0 0 15 0 8 0 167322259 937431040 17416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25031] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25031/stat : 25031 (java) S 25022 25024 24188 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167322259 937431040 17416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25032] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25032/stat : 25032 (java) S 25022 25024 24188 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167322259 937431040 17416 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) 915460
[startup+2.97801 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 25038
/proc/meminfo: memFree=1418480/2055920 swapFree=4192812/4192956
[pid=25024] ppid=25022 vsize=915460 CPUtime=2.92
/proc/25024/stat : 25024 (java) R 25022 25024 24188 0 -1 0 17701 0 1 0 284 8 0 0 25 0 8 0 167322251 937431040 17437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073744192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25024/statm: 228865 17437 2527 14 0 215335 0
[pid=25024/tid=25026] ppid=25022 vsize=915460 CPUtime=0.06
/proc/25024/task/25026/stat : 25026 (java) S 25022 25024 24188 0 -1 64 1886 0 0 0 6 0 0 0 17 0 8 0 167322255 937431040 17437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25027] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25027/stat : 25027 (java) S 25022 25024 24188 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167322255 937431040 17437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25028] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25028/stat : 25028 (java) S 25022 25024 24188 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167322255 937431040 17437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25029] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25029/stat : 25029 (java) S 25022 25024 24188 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167322259 937431040 17437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25030] ppid=25022 vsize=915460 CPUtime=0.22
/proc/25024/task/25030/stat : 25030 (java) S 25022 25024 24188 0 -1 64 375 0 0 0 21 1 0 0 16 0 8 0 167322259 937431040 17437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25031] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25031/stat : 25031 (java) S 25022 25024 24188 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167322259 937431040 17437 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25032] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25032/stat : 25032 (java) S 25022 25024 24188 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167322259 937431040 17437 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) 915460
[startup+6.28036 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 25040
/proc/meminfo: memFree=1418416/2055920 swapFree=4192812/4192956
[pid=25024] ppid=25022 vsize=915460 CPUtime=6.19
/proc/25024/stat : 25024 (java) R 25022 25024 24188 0 -1 0 17709 0 1 0 611 8 0 0 25 0 8 0 167322251 937431040 17444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25024/statm: 228865 17444 2527 14 0 215335 0
[pid=25024/tid=25026] ppid=25022 vsize=915460 CPUtime=0.06
/proc/25024/task/25026/stat : 25026 (java) S 25022 25024 24188 0 -1 64 1886 0 0 0 6 0 0 0 16 0 8 0 167322255 937431040 17444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25027] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25027/stat : 25027 (java) S 25022 25024 24188 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167322255 937431040 17444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25028] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25028/stat : 25028 (java) S 25022 25024 24188 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167322255 937431040 17444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25029] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25029/stat : 25029 (java) S 25022 25024 24188 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 167322259 937431040 17444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25030] ppid=25022 vsize=915460 CPUtime=0.23
/proc/25024/task/25030/stat : 25030 (java) S 25022 25024 24188 0 -1 64 382 0 0 0 22 1 0 0 16 0 8 0 167322259 937431040 17444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25031] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25031/stat : 25031 (java) S 25022 25024 24188 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167322259 937431040 17444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25024/tid=25032] ppid=25022 vsize=915460 CPUtime=0
/proc/25024/task/25032/stat : 25032 (java) S 25022 25024 24188 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167322259 937431040 17444 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) 915460
Child status: 0
Real time (s): 7.91296
CPU time (s): 7.79681
CPU user time (s): 7.70083
CPU system time (s): 0.095985
CPU usage (%): 98.5322
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.70083
system time used= 0.095985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17716
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= 1153
involuntary context switches= 1488
runsolver used 0.015997 s user time and 0.026995 s system time
The end
Begin job on node7 on Sun Jan 7 17:01:08 UTC 2007
IDJOB= 208665
IDBENCH= 4420
FILE ID= node7/208665-1168189268
PBS_JOBID= 3478980
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-41_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208665-1168189268/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-208665-1168189268 -o ROOT/results/node7/solver-208665-1168189268 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208665-1168189268/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9aaeaecec66b29c7811ac135389ddd6e
RANDOM SEED= 95369037
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.220
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.220
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: 1479176 kB
Buffers: 70592 kB
Cached: 266824 kB
SwapCached: 0 kB
Active: 297088 kB
Inactive: 222740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1479176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3104 kB
Writeback: 0 kB
Mapped: 203036 kB
Slab: 40932 kB
Committed_AS: 4921940 kB
PageTables: 2972 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= 66548 MiB
End job on node7 on Sun Jan 7 17:01:16 UTC 2007