0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/212936-1168077358/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.45 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.132 cpuTime=0.11 mem=7M50
0.45
0.45 predicates being loaded...
0.46
0.46 constraints being loaded...
0.72 nbConstraints=600 nbConvertedConstraints=201 nbConvertConstraintsChecks=16 nbExtensionStructures=2
0.72 nbSharedExtensionStructures=199 nbConflictsStructures=3 nbSharedConflictsStructures=597
0.72 nbSharedBinaryRepresentations=5 nbEvaluationManagers=1 nbSharedEvaluationManagers=398 maxDegree=4 maxArity=3
0.72 => wckTime=0.4 cpuTime=0.28 mem=11M926
0.76
0.76 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.644 cpuTime=0.45 mem=17M730
0.98
0.98 preprocessing
0.98 nbConstraintChecks=0 nbPropagations=400 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.98 detectedInconsistency=no
0.98 => wckTime=0.013 cpuTime=0.01 mem=17M730
1.03
1.03 search
1.03 run=0 nbConstraintChecks=364 nbValidityChecks=46 nbPropagations=588 nbRevisions=304 nbUselessRevisions=143
1.03 nbAssignments=105 nbFailedAssignments=3 nbBacktracks=24 nbVisitedNodes=111 nbRestartNogoods=0 mapSize=3
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.064 cpuTime=0.04 mem=18M755
1.07
1.07 search
1.07 run=1 nbConstraintChecks=1148 nbValidityChecks=297 nbPropagations=1594 nbRevisions=1389 nbUselessRevisions=669
1.07 nbAssignments=232 nbFailedAssignments=8 nbBacktracks=71 nbVisitedNodes=248 nbRestartNogoods=2 mapSize=11
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.106 cpuTime=0.07 mem=18M755
1.10
1.10 search
1.10 run=2 nbConstraintChecks=1685 nbValidityChecks=528 nbPropagations=2904 nbRevisions=3003
1.10 nbUselessRevisions=1442 nbAssignments=365 nbFailedAssignments=13 nbBacktracks=99 nbVisitedNodes=388
1.10 nbRestartNogoods=4 mapSize=15 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.137 cpuTime=0.09 mem=18M755
1.16
1.16 search
1.16 run=3 nbConstraintChecks=2665 nbValidityChecks=948 nbPropagations=4714 nbRevisions=5548
1.16 nbUselessRevisions=2658 nbAssignments=568 nbFailedAssignments=26 nbBacktracks=138 nbVisitedNodes=610
1.16 nbRestartNogoods=7 mapSize=29 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.192 cpuTime=0.13 mem=18M755
1.21
1.21 search
1.21 run=4 nbConstraintChecks=3892 nbValidityChecks=1679 nbPropagations=7165 nbRevisions=9415
1.21 nbUselessRevisions=4562 nbAssignments=789 nbFailedAssignments=42 nbBacktracks=188 nbVisitedNodes=861
1.21 nbRestartNogoods=12 mapSize=54 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.24 cpuTime=0.18 mem=18M755
1.26
1.26 search
1.26 run=5 nbConstraintChecks=5759 nbValidityChecks=3017 nbPropagations=10660 nbRevisions=15592
1.26 nbUselessRevisions=7725 nbAssignments=1033 nbFailedAssignments=56 nbBacktracks=269 nbVisitedNodes=1130
1.26 nbRestartNogoods=15 mapSize=71 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.292 cpuTime=0.22 mem=18M755
1.29
1.29 search
1.29 run=6 nbConstraintChecks=7265 nbValidityChecks=4018 nbPropagations=15004 nbRevisions=23416
1.29 nbUselessRevisions=11661 nbAssignments=1203 nbFailedAssignments=76 nbBacktracks=389 nbVisitedNodes=1337
1.29 nbRestartNogoods=23 mapSize=107 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.329 cpuTime=0.25 mem=18M755
1.37
1.37 search
1.37 run=7 nbConstraintChecks=11536 nbValidityChecks=7290 nbPropagations=21697 nbRevisions=36331
1.37 nbUselessRevisions=18274 nbAssignments=1545 nbFailedAssignments=125 nbBacktracks=563 nbVisitedNodes=1772
1.37 nbRestartNogoods=24 mapSize=188 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.41 cpuTime=0.32 mem=18M755
1.45
1.45 search
1.45 run=8 nbConstraintChecks=16364 nbValidityChecks=11165 nbPropagations=31044 nbRevisions=54969
1.45 nbUselessRevisions=27892 nbAssignments=1931 nbFailedAssignments=190 nbBacktracks=828 nbVisitedNodes=2282
1.45 nbRestartNogoods=27 mapSize=310 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.483 cpuTime=0.39 mem=18M755
1.56
1.56 search
1.56 run=9 nbConstraintChecks=21138 nbValidityChecks=15050 nbPropagations=42861 nbRevisions=79474
1.56 nbUselessRevisions=40875 nbAssignments=2465 nbFailedAssignments=274 nbBacktracks=1217 nbVisitedNodes=2992
1.56 nbRestartNogoods=29 mapSize=477 nbInferences=6 nbTooLargeKeys=0
1.56 => wckTime=0.597 cpuTime=0.5 mem=18M755
1.69
1.69 search
1.69 run=10 nbConstraintChecks=29504 nbValidityChecks=21004 nbPropagations=59066 nbRevisions=112846
1.69 nbUselessRevisions=58228 nbAssignments=3244 nbFailedAssignments=445 nbBacktracks=1796 nbVisitedNodes=4110
1.69 nbRestartNogoods=32 mapSize=811 nbInferences=6 nbTooLargeKeys=0
1.69 => wckTime=0.73 cpuTime=0.62 mem=19M730
1.80
1.80 INFO : Stopping hyperNogood (mapSize=1218, nbTooLargekeys=0, mem=19M730)
1.84
1.84 search
1.84 run=11 nbConstraintChecks=42962 nbValidityChecks=30564 nbPropagations=82857 nbRevisions=160377
1.84 nbUselessRevisions=81973 nbAssignments=4423 nbFailedAssignments=733 nbBacktracks=2661 nbVisitedNodes=5849
1.84 nbRestartNogoods=37
1.84 => wckTime=0.875 cpuTime=0.77 mem=19M730
2.00
2.00 search
2.00 run=12 nbConstraintChecks=62658 nbValidityChecks=46893 nbPropagations=117759 nbRevisions=233262
2.00 nbUselessRevisions=119604 nbAssignments=6054 nbFailedAssignments=1024 nbBacktracks=3969 nbVisitedNodes=8034
2.00 nbRestartNogoods=44
2.00 => wckTime=1.039 cpuTime=0.93 mem=19M730
2.26
2.26 search
2.26 run=13 nbConstraintChecks=91125 nbValidityChecks=67887 nbPropagations=168929 nbRevisions=339313
2.26 nbUselessRevisions=174045 nbAssignments=8507 nbFailedAssignments=1492 nbBacktracks=5915 nbVisitedNodes=11372
2.26 nbRestartNogoods=55
2.26 => wckTime=1.291 cpuTime=1.18 mem=19M730
2.68
2.68 search
2.68 run=14 nbConstraintChecks=151567 nbValidityChecks=116558 nbPropagations=254361 nbRevisions=518607
2.68 nbUselessRevisions=266236 nbAssignments=12378 nbFailedAssignments=2414 nbBacktracks=8836 nbVisitedNodes=16962
2.68 nbRestartNogoods=67
2.68 => wckTime=1.716 cpuTime=1.59 mem=19M730
3.28
3.28 search
3.28 run=15 nbConstraintChecks=233237 nbValidityChecks=177020 nbPropagations=386398 nbRevisions=787608
3.28 nbUselessRevisions=400546 nbAssignments=18016 nbFailedAssignments=3652 nbBacktracks=13220 nbVisitedNodes=25115
3.28 nbRestartNogoods=78
3.28 => wckTime=2.319 cpuTime=2.2 mem=19M730
4.13
4.13 search
4.13 run=16 nbConstraintChecks=344199 nbValidityChecks=272499 nbPropagations=582001 nbRevisions=1206118
4.13 nbUselessRevisions=619138 nbAssignments=25988 nbFailedAssignments=5022 nbBacktracks=19792 nbVisitedNodes=35867
4.13 nbRestartNogoods=85
4.13 => wckTime=3.161 cpuTime=3.03 mem=19M730
5.24
5.24 search
5.24 run=17 nbConstraintChecks=497060 nbValidityChecks=400037 nbPropagations=866248 nbRevisions=1824339
5.24 nbUselessRevisions=946767 nbAssignments=36521 nbFailedAssignments=6754 nbBacktracks=28193 nbVisitedNodes=49907
5.24 nbRestartNogoods=95
5.24 => wckTime=4.277 cpuTime=4.13 mem=19M730
5.24
5.24 global
5.24 nbConstraintChecks=497060 nbValidityChecks=400037 nbPropagations=866648 nbRevisions=1824339
5.24 nbUselessRevisions=946767 nbRestartNogoods=95 solvingWckTime=4.278 solvingCpuTime=4.13 expiredTime=no
5.24 totalExploration=no nbFoundSolutions=1 globalCpuTime=4.64
5.24 => wckTime=4.923 cpuTime=4.58 mem=19M730
5.25
5.25 s SATISFIABLE
5.25 v 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1
5.25 d NODES 36521
5.25 d CHECKS 497060
5.25
5.25 totalWckTime=5.004 totalCpuTime=4.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-212936-1168077358 -o ROOT/results/node17/solver-212936-1168077358 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212936-1168077358/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.85 1.98 1.96 2/93 11835
/proc/meminfo: memFree=1521584/2055920 swapFree=4192812/4192956
[pid=11834] ppid=11832 vsize=18540 CPUtime=0
/proc/11834/stat : 11834 (runsolver) R 11832 11834 11481 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156130751 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11834/statm: 4635 279 244 17 0 2626 0
[startup+0.102518 s]
/proc/loadavg: 1.85 1.98 1.96 2/93 11835
/proc/meminfo: memFree=1521584/2055920 swapFree=4192812/4192956
[pid=11834] ppid=11832 vsize=914988 CPUtime=0.08
/proc/11834/stat : 11834 (java) R 11832 11834 11481 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 156130751 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11834/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510559 s]
/proc/loadavg: 1.85 1.98 1.96 2/93 11835
/proc/meminfo: memFree=1521584/2055920 swapFree=4192812/4192956
[pid=11834] ppid=11832 vsize=915328 CPUtime=0.49
/proc/11834/stat : 11834 (java) S 11832 11834 11481 0 -1 0 6362 0 1 0 44 5 0 0 17 0 8 0 156130751 937295872 6101 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11834/statm: 228832 6101 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33164 s]
/proc/loadavg: 1.85 1.98 1.96 3/100 11842
/proc/meminfo: memFree=1494200/2055920 swapFree=4192812/4192956
[pid=11834] ppid=11832 vsize=915572 CPUtime=1.29
/proc/11834/stat : 11834 (java) R 11832 11834 11481 0 -1 0 9635 0 1 0 118 11 0 0 18 0 8 0 156130751 937545728 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073927262 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11834/statm: 228893 9373 2532 14 0 215363 0
[pid=11834/tid=11836] ppid=11832 vsize=915572 CPUtime=0.03
/proc/11834/task/11836/stat : 11836 (java) S 11832 11834 11481 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 156130755 937545728 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11837] ppid=11832 vsize=915572 CPUtime=0
/proc/11834/task/11837/stat : 11837 (java) S 11832 11834 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156130755 937545728 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11838] ppid=11832 vsize=915572 CPUtime=0
/proc/11834/task/11838/stat : 11838 (java) S 11832 11834 11481 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156130755 937545728 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11839] ppid=11832 vsize=915572 CPUtime=0
/proc/11834/task/11839/stat : 11839 (java) S 11832 11834 11481 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156130759 937545728 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11840] ppid=11832 vsize=915572 CPUtime=0.26
/proc/11834/task/11840/stat : 11840 (java) R 11832 11834 11481 0 -1 64 418 0 0 0 25 1 0 0 20 0 8 0 156130759 937545728 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11841] ppid=11832 vsize=915572 CPUtime=0
/proc/11834/task/11841/stat : 11841 (java) S 11832 11834 11481 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156130759 937545728 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11842] ppid=11832 vsize=915572 CPUtime=0
/proc/11834/task/11842/stat : 11842 (java) S 11832 11834 11481 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156130759 937545728 9373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915572
[startup+2.96881 s]
/proc/loadavg: 1.86 1.98 1.96 3/100 11842
/proc/meminfo: memFree=1493240/2055920 swapFree=4192812/4192956
[pid=11834] ppid=11832 vsize=915572 CPUtime=2.91
/proc/11834/stat : 11834 (java) R 11832 11834 11481 0 -1 0 9793 0 1 0 280 11 0 0 25 0 8 0 156130751 937545728 9529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073911988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11834/statm: 228893 9529 2532 14 0 215363 0
[pid=11834/tid=11836] ppid=11832 vsize=915572 CPUtime=0.03
/proc/11834/task/11836/stat : 11836 (java) S 11832 11834 11481 0 -1 64 237 0 0 0 3 0 0 0 16 0 8 0 156130755 937545728 9529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11837] ppid=11832 vsize=915572 CPUtime=0
/proc/11834/task/11837/stat : 11837 (java) S 11832 11834 11481 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156130755 937545728 9529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11838] ppid=11832 vsize=915572 CPUtime=0
/proc/11834/task/11838/stat : 11838 (java) S 11832 11834 11481 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156130755 937545728 9529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11839] ppid=11832 vsize=915572 CPUtime=0
/proc/11834/task/11839/stat : 11839 (java) S 11832 11834 11481 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156130759 937545728 9529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11840] ppid=11832 vsize=915572 CPUtime=0.3
/proc/11834/task/11840/stat : 11840 (java) S 11832 11834 11481 0 -1 64 433 0 0 0 28 2 0 0 16 0 8 0 156130759 937545728 9529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11841] ppid=11832 vsize=915572 CPUtime=0
/proc/11834/task/11841/stat : 11841 (java) S 11832 11834 11481 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156130759 937545728 9529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11834/tid=11842] ppid=11832 vsize=915572 CPUtime=0
/proc/11834/task/11842/stat : 11842 (java) S 11832 11834 11481 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156130759 937545728 9529 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915572
Child status: 0
Real time (s): 5.29742
CPU time (s): 5.19621
CPU user time (s): 5.06823
CPU system time (s): 0.12798
CPU usage (%): 98.0895
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.06823
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9894
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= 1053
involuntary context switches= 1617
runsolver used 0.011998 s user time and 0.022996 s system time
The end
Begin job on node17 on Sat Jan 6 09:55:58 UTC 2007
IDJOB= 212936
IDBENCH= 4809
FILE ID= node17/212936-1168077358
PBS_JOBID= 3475800
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/aim/aim-200-2-0-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212936-1168077358/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-212936-1168077358 -o ROOT/results/node17/solver-212936-1168077358 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212936-1168077358/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 40a7b8b5b5c677bde1e5686f70cd1136
RANDOM SEED= 316325955
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.236
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.236
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: 1522128 kB
Buffers: 46424 kB
Cached: 231220 kB
SwapCached: 0 kB
Active: 241040 kB
Inactive: 203572 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1522128 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1864 kB
Writeback: 0 kB
Mapped: 196028 kB
Slab: 73736 kB
Committed_AS: 4536172 kB
PageTables: 2504 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= 66318 MiB
End job on node17 on Sat Jan 6 09:56:06 UTC 2007