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/224988-1168080573/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.42 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.60
0.60 constraints being loaded...
0.69 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.69 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.69 => wckTime=0.377 cpuTime=0.32 mem=21M601
0.74
0.74 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.579 cpuTime=0.45 mem=15M148
0.90
0.90 preprocessing
0.90 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.90 detectedInconsistency=no
0.90 => wckTime=0.0030 cpuTime=0.0 mem=15M148
0.97
0.97 search
0.97 run=0 nbConstraintChecks=130474 nbPropagations=1067 nbRevisions=4651 nbUselessRevisions=2416 nbAssignments=32
0.97 nbFailedAssignments=17 nbBacktracks=13 nbVisitedNodes=60 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.065 cpuTime=0.05 mem=15M148
0.99
0.99 search
0.99 run=1 nbConstraintChecks=244449 nbPropagations=3216 nbRevisions=14027 nbUselessRevisions=7414 nbAssignments=72
0.99 nbFailedAssignments=37 nbBacktracks=28 nbVisitedNodes=129 nbRestartNogoods=1 mapSize=23 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.09 cpuTime=0.07 mem=15M148
1.01
1.01 search
1.01 run=2 nbConstraintChecks=418476 nbPropagations=7023 nbRevisions=30470 nbUselessRevisions=16263
1.01 nbAssignments=129 nbFailedAssignments=67 nbBacktracks=50 nbVisitedNodes=233 nbRestartNogoods=4 mapSize=44
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.114 cpuTime=0.09 mem=15M148
1.04
1.04 search
1.04 run=3 nbConstraintChecks=661016 nbPropagations=13152 nbRevisions=57331 nbUselessRevisions=30697
1.04 nbAssignments=209 nbFailedAssignments=109 nbBacktracks=83 nbVisitedNodes=375 nbRestartNogoods=7 mapSize=70
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.142 cpuTime=0.11 mem=15M148
1.09
1.09 search
1.09 run=4 nbConstraintChecks=1033913 nbPropagations=22862 nbRevisions=100415 nbUselessRevisions=53791
1.09 nbAssignments=336 nbFailedAssignments=183 nbBacktracks=133 nbVisitedNodes=611 nbRestartNogoods=14 mapSize=116
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.186 cpuTime=0.15 mem=15M148
1.16
1.16 search
1.16 run=5 nbConstraintChecks=1714349 nbPropagations=38353 nbRevisions=170497 nbUselessRevisions=91568
1.16 nbAssignments=570 nbFailedAssignments=338 nbBacktracks=208 nbVisitedNodes=1047 nbRestartNogoods=16 mapSize=181
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.258 cpuTime=0.22 mem=15M148
1.23
1.23 search
1.23 run=6 nbConstraintChecks=2531412 nbPropagations=61170 nbRevisions=273718 nbUselessRevisions=147113
1.23 nbAssignments=820 nbFailedAssignments=471 nbBacktracks=323 nbVisitedNodes=1503 nbRestartNogoods=26 mapSize=277
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.333 cpuTime=0.29 mem=15M148
1.35
1.35 search
1.35 run=7 nbConstraintChecks=3845728 nbPropagations=95186 nbRevisions=428903 nbUselessRevisions=230716
1.35 nbAssignments=1247 nbFailedAssignments=725 nbBacktracks=493 nbVisitedNodes=2296 nbRestartNogoods=32
1.35 mapSize=419 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.448 cpuTime=0.4 mem=15M148
1.52
1.52 search
1.52 run=8 nbConstraintChecks=5746878 nbPropagations=145550 nbRevisions=660224 nbUselessRevisions=355969
1.52 nbAssignments=1916 nbFailedAssignments=1135 nbBacktracks=749 nbVisitedNodes=3523 nbRestartNogoods=43
1.52 mapSize=632 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.619 cpuTime=0.55 mem=15M148
1.73
1.73 search
1.73 run=9 nbConstraintChecks=8358332 nbPropagations=220231 nbRevisions=1002188 nbUselessRevisions=541514
1.73 nbAssignments=2799 nbFailedAssignments=1630 nbBacktracks=1133 nbVisitedNodes=5131 nbRestartNogoods=49
1.73 mapSize=970 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.833 cpuTime=0.76 mem=16M123
1.77
1.77 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=16M123)
2.07
2.07 search
2.07 run=10 nbConstraintChecks=12746650 nbPropagations=332215 nbRevisions=1521390 nbUselessRevisions=823902
2.07 nbAssignments=4315 nbFailedAssignments=2564 nbBacktracks=1710 nbVisitedNodes=7920 nbRestartNogoods=59
2.07 => wckTime=1.174 cpuTime=1.1 mem=16M123
2.53
2.53 search
2.53 run=11 nbConstraintChecks=18642655 nbPropagations=499772 nbRevisions=2295379 nbUselessRevisions=1244303
2.53 nbAssignments=6330 nbFailedAssignments=3709 nbBacktracks=2575 nbVisitedNodes=11626 nbRestartNogoods=68
2.53 => wckTime=1.632 cpuTime=1.55 mem=16M123
3.30
3.30 search
3.30 run=12 nbConstraintChecks=29149276 nbPropagations=752473 nbRevisions=3475865 nbUselessRevisions=1887681
3.30 nbAssignments=9649 nbFailedAssignments=5726 nbBacktracks=3874 nbVisitedNodes=17744 nbRestartNogoods=84
3.30 => wckTime=2.403 cpuTime=2.32 mem=16M123
4.32
4.32 search
4.32 run=13 nbConstraintChecks=42556425 nbPropagations=1126652 nbRevisions=5215863 nbUselessRevisions=2832494
4.32 nbAssignments=13986 nbFailedAssignments=8112 nbBacktracks=5821 nbVisitedNodes=25647 nbRestartNogoods=100
4.32 => wckTime=3.418 cpuTime=3.34 mem=16M123
5.82
5.82 search
5.82 run=14 nbConstraintChecks=62821028 nbPropagations=1675909 nbRevisions=7780211 nbUselessRevisions=4228642
5.82 nbAssignments=20566 nbFailedAssignments=11770 nbBacktracks=8740 nbVisitedNodes=37599 nbRestartNogoods=115
5.82 => wckTime=4.92 cpuTime=4.84 mem=16M123
7.87
7.87 search
7.87 run=15 nbConstraintChecks=90270247 nbPropagations=2463743 nbRevisions=11463541 nbUselessRevisions=6235054
7.87 nbAssignments=29429 nbFailedAssignments=16814 nbBacktracks=12519 nbVisitedNodes=53805 nbRestartNogoods=125
7.87 => wckTime=6.972 cpuTime=6.89 mem=16M123
7.87
7.87 global
7.87 nbConstraintChecks=90270247 nbPropagations=2463783 nbRevisions=11463541 nbUselessRevisions=6235054
7.87 nbRestartNogoods=125 solvingWckTime=6.972 solvingCpuTime=6.89 expiredTime=no totalExploration=no
7.87 nbFoundSolutions=1 globalCpuTime=7.38
7.87 => wckTime=7.555 cpuTime=7.34 mem=16M123
7.87
7.87 s SATISFIABLE
7.87 v 20 43 25 11 3 70 9 48 62 54 2 8 50 42 34 15 61 6 39 78 5 14 11 56 45 50 32 54 69 26 53 63 1 28 43 11 61 4 2 31
7.87 d NODES 29429
7.87 d CHECKS 90270247
7.87
7.87 totalWckTime=7.635 totalCpuTime=7.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-224988-1168080573 -o ROOT/results/node60/solver-224988-1168080573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224988-1168080573/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: 0.55 0.87 0.96 5/73 12730
/proc/meminfo: memFree=1477152/2055920 swapFree=4192812/4192956
[pid=12729] ppid=12724 vsize=168 CPUtime=0
/proc/12729/stat : 12729 (java) R 12724 12729 12620 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156455825 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 5534500 0 0 4096 0 0 0 0 17 0 0 0
/proc/12729/statm: 42 23 18 14 0 2 0
[startup+0.107874 s]
/proc/loadavg: 0.55 0.87 0.96 5/73 12730
/proc/meminfo: memFree=1477152/2055920 swapFree=4192812/4192956
[pid=12729] ppid=12724 vsize=914988 CPUtime=0.09
/proc/12729/stat : 12729 (java) D 12724 12729 12620 0 -1 0 2987 0 1 0 7 2 0 0 17 0 8 0 156455825 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12729/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.519898 s]
/proc/loadavg: 0.55 0.87 0.96 5/73 12730
/proc/meminfo: memFree=1477152/2055920 swapFree=4192812/4192956
[pid=12729] ppid=12724 vsize=915328 CPUtime=0.5
/proc/12729/stat : 12729 (java) R 12724 12729 12620 0 -1 0 7419 0 1 0 45 5 0 0 20 0 8 0 156455825 937295872 7158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073588511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12729/statm: 228832 7158 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34298 s]
/proc/loadavg: 0.55 0.87 0.96 3/87 12744
/proc/meminfo: memFree=1414576/2055920 swapFree=4192812/4192956
[pid=12729] ppid=12724 vsize=915464 CPUtime=1.31
/proc/12729/stat : 12729 (java) R 12724 12729 12620 0 -1 0 10521 0 1 0 124 7 0 0 17 0 8 0 156455825 937435136 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336110 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12729/statm: 228866 10259 2513 14 0 215336 0
[pid=12729/tid=12732] ppid=12724 vsize=915464 CPUtime=0.03
/proc/12729/task/12732/stat : 12732 (java) S 12724 12729 12620 0 -1 64 352 0 0 0 3 0 0 0 17 0 8 0 156455830 937435136 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12735] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12735/stat : 12735 (java) S 12724 12729 12620 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156455830 937435136 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12736] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12736/stat : 12736 (java) S 12724 12729 12620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156455830 937435136 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12741] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12741/stat : 12741 (java) S 12724 12729 12620 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156455834 937435136 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12742] ppid=12724 vsize=915464 CPUtime=0.17
/proc/12729/task/12742/stat : 12742 (java) S 12724 12729 12620 0 -1 64 361 0 0 0 17 0 0 0 16 0 8 0 156455834 937435136 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12743] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12743/stat : 12743 (java) S 12724 12729 12620 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156455834 937435136 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12744] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12744/stat : 12744 (java) S 12724 12729 12620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156455834 937435136 10259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.98013 s]
/proc/loadavg: 0.55 0.87 0.96 2/75 12744
/proc/meminfo: memFree=1446416/2055920 swapFree=4192812/4192956
[pid=12729] ppid=12724 vsize=915464 CPUtime=2.95
/proc/12729/stat : 12729 (java) R 12724 12729 12620 0 -1 0 10537 0 1 0 288 7 0 0 18 0 8 0 156455825 937435136 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757649 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12729/statm: 228866 10274 2513 14 0 215336 0
[pid=12729/tid=12732] ppid=12724 vsize=915464 CPUtime=0.03
/proc/12729/task/12732/stat : 12732 (java) S 12724 12729 12620 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156455830 937435136 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12735] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12735/stat : 12735 (java) S 12724 12729 12620 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156455830 937435136 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12736] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12736/stat : 12736 (java) S 12724 12729 12620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156455830 937435136 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12741] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12741/stat : 12741 (java) S 12724 12729 12620 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156455834 937435136 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12742] ppid=12724 vsize=915464 CPUtime=0.21
/proc/12729/task/12742/stat : 12742 (java) S 12724 12729 12620 0 -1 64 375 0 0 0 20 1 0 0 16 0 8 0 156455834 937435136 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12743] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12743/stat : 12743 (java) S 12724 12729 12620 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156455834 937435136 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12744] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12744/stat : 12744 (java) S 12724 12729 12620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156455834 937435136 10274 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915464
[startup+6.26146 s]
/proc/loadavg: 0.59 0.88 0.96 2/75 12744
/proc/meminfo: memFree=1446360/2055920 swapFree=4192812/4192956
[pid=12729] ppid=12724 vsize=915464 CPUtime=6.23
/proc/12729/stat : 12729 (java) R 12724 12729 12620 0 -1 0 10542 0 1 0 616 7 0 0 20 0 8 0 156455825 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12729/statm: 228866 10276 2513 14 0 215336 0
[pid=12729/tid=12732] ppid=12724 vsize=915464 CPUtime=0.03
/proc/12729/task/12732/stat : 12732 (java) S 12724 12729 12620 0 -1 64 352 0 0 0 3 0 0 0 16 0 8 0 156455830 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12735] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12735/stat : 12735 (java) S 12724 12729 12620 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156455830 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12736] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12736/stat : 12736 (java) S 12724 12729 12620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156455830 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12741] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12741/stat : 12741 (java) S 12724 12729 12620 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156455834 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12742] ppid=12724 vsize=915464 CPUtime=0.21
/proc/12729/task/12742/stat : 12742 (java) S 12724 12729 12620 0 -1 64 378 0 0 0 20 1 0 0 16 0 8 0 156455834 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12743] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12743/stat : 12743 (java) S 12724 12729 12620 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156455834 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12729/tid=12744] ppid=12724 vsize=915464 CPUtime=0
/proc/12729/task/12744/stat : 12744 (java) S 12724 12729 12620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156455834 937435136 10276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 7.91029
CPU time (s): 7.8618
CPU user time (s): 7.77682
CPU system time (s): 0.084987
CPU usage (%): 99.387
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.77682
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10548
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= 1138
involuntary context switches= 970
runsolver used 0.010998 s user time and 0.025996 s system time
The end
Begin job on node60 on Sat Jan 6 10:49:37 UTC 2007
IDJOB= 224988
IDBENCH= 5805
FILE ID= node60/224988-1168080573
PBS_JOBID= 3476169
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224988-1168080573/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-224988-1168080573 -o ROOT/results/node60/solver-224988-1168080573 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224988-1168080573/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3ade3223eb62f4156df332346673501f
RANDOM SEED= 26587703
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: 1478376 kB
Buffers: 47984 kB
Cached: 435292 kB
SwapCached: 0 kB
Active: 65216 kB
Inactive: 438092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1478376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4828 kB
Writeback: 0 kB
Mapped: 30204 kB
Slab: 59932 kB
Committed_AS: 3277612 kB
PageTables: 1684 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 node60 on Sat Jan 6 10:49:49 UTC 2007