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/225450-1168080614/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.78
0.78 constraints being loaded...
0.91 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.91 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=9 maxArity=2
0.91 => wckTime=0.594 cpuTime=0.54 mem=36M294
0.96
0.96 solver IterativeSystematicSolver being built...
1.13 => wckTime=0.811 cpuTime=0.67 mem=16M210
1.14
1.14 preprocessing
1.14 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.14 detectedInconsistency=no
1.14 => wckTime=0.0020 cpuTime=0.0 mem=16M210
1.23
1.23 search
1.23 run=0 nbConstraintChecks=372475 nbPropagations=1204 nbRevisions=4003 nbUselessRevisions=1827 nbAssignments=45
1.23 nbFailedAssignments=32 nbBacktracks=10 nbVisitedNodes=87 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.23 nbTooLargeKeys=0
1.23 => wckTime=0.091 cpuTime=0.07 mem=16M210
1.27
1.27 search
1.27 run=1 nbConstraintChecks=1040076 nbPropagations=4648 nbRevisions=16236 nbUselessRevisions=7299
1.27 nbAssignments=129 nbFailedAssignments=96 nbBacktracks=27 nbVisitedNodes=248 nbRestartNogoods=8 mapSize=26
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.141 cpuTime=0.11 mem=16M210
1.31
1.31 search
1.31 run=2 nbConstraintChecks=1514354 nbPropagations=9602 nbRevisions=33700 nbUselessRevisions=15158
1.31 nbAssignments=188 nbFailedAssignments=124 nbBacktracks=56 nbVisitedNodes=346 nbRestartNogoods=10 mapSize=42
1.31 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.177 cpuTime=0.14 mem=16M210
1.36
1.36 search
1.36 run=3 nbConstraintChecks=2224521 nbPropagations=16800 nbRevisions=58964 nbUselessRevisions=26531
1.36 nbAssignments=272 nbFailedAssignments=169 nbBacktracks=92 nbVisitedNodes=489 nbRestartNogoods=12 mapSize=62
1.36 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.225 cpuTime=0.19 mem=16M210
1.43
1.43 search
1.43 run=4 nbConstraintChecks=3274637 nbPropagations=27390 nbRevisions=96406 nbUselessRevisions=43545
1.43 nbAssignments=426 nbFailedAssignments=269 nbBacktracks=142 nbVisitedNodes=764 nbRestartNogoods=19 mapSize=89
1.43 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.295 cpuTime=0.26 mem=16M210
1.51
1.51 search
1.51 run=5 nbConstraintChecks=4667845 nbPropagations=42663 nbRevisions=150309 nbUselessRevisions=68251
1.51 nbAssignments=599 nbFailedAssignments=364 nbBacktracks=218 nbVisitedNodes=1068 nbRestartNogoods=33 mapSize=139
1.51 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.377 cpuTime=0.34 mem=16M210
1.79
1.79 search
1.79 run=6 nbConstraintChecks=9492448 nbPropagations=70869 nbRevisions=253147 nbUselessRevisions=115871
1.79 nbAssignments=1114 nbFailedAssignments=759 nbBacktracks=334 nbVisitedNodes=2061 nbRestartNogoods=45
1.79 mapSize=237 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.657 cpuTime=0.61 mem=16M210
1.92
1.92 search
1.92 run=7 nbConstraintChecks=11618151 nbPropagations=107096 nbRevisions=383032 nbUselessRevisions=175765
1.92 nbAssignments=1423 nbFailedAssignments=890 nbBacktracks=505 nbVisitedNodes=2579 nbRestartNogoods=64
1.92 mapSize=339 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.787 cpuTime=0.74 mem=17M182
2.15
2.15 search
2.15 run=8 nbConstraintChecks=15316274 nbPropagations=155885 nbRevisions=556600 nbUselessRevisions=255931
2.15 nbAssignments=1914 nbFailedAssignments=1117 nbBacktracks=767 nbVisitedNodes=3425 nbRestartNogoods=84
2.15 mapSize=506 nbInferences=0 nbTooLargeKeys=0
2.15 => wckTime=1.015 cpuTime=0.95 mem=17M182
2.64
2.64 search
2.64 run=9 nbConstraintChecks=23721003 nbPropagations=233469 nbRevisions=833558 nbUselessRevisions=382580
2.64 nbAssignments=3069 nbFailedAssignments=1887 nbBacktracks=1151 nbVisitedNodes=5570 nbRestartNogoods=93
2.64 mapSize=765 nbInferences=0 nbTooLargeKeys=0
2.64 => wckTime=1.508 cpuTime=1.43 mem=17M182
2.96
2.96 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=17M182)
3.18
3.18 search
3.18 run=10 nbConstraintChecks=33501825 nbPropagations=343768 nbRevisions=1225657 nbUselessRevisions=562433
3.18 nbAssignments=4370 nbFailedAssignments=2601 nbBacktracks=1735 nbVisitedNodes=7899 nbRestartNogoods=102
3.18 => wckTime=2.049 cpuTime=1.96 mem=17M182
4.18
4.18 search
4.18 run=11 nbConstraintChecks=51875268 nbPropagations=515234 nbRevisions=1836881 nbUselessRevisions=843764
4.19 nbAssignments=6895 nbFailedAssignments=4260 nbBacktracks=2599 nbVisitedNodes=12544 nbRestartNogoods=120
4.19 => wckTime=3.051 cpuTime=2.96 mem=17M182
5.53
5.53 search
5.53 run=12 nbConstraintChecks=78429382 nbPropagations=771739 nbRevisions=2750663 nbUselessRevisions=1264563
5.53 nbAssignments=10114 nbFailedAssignments=6178 nbBacktracks=3898 nbVisitedNodes=18374 nbRestartNogoods=136
5.53 => wckTime=4.399 cpuTime=4.3 mem=17M182
7.59
7.59 search
7.59 run=13 nbConstraintChecks=119842802 nbPropagations=1163110 nbRevisions=4140433 nbUselessRevisions=1904273
7.59 nbAssignments=15039 nbFailedAssignments=9149 nbBacktracks=5844 nbVisitedNodes=27361 nbRestartNogoods=149
7.59 => wckTime=6.457 cpuTime=6.35 mem=17M182
10.62
10.62 search
10.62 run=14 nbConstraintChecks=179956160 nbPropagations=1753063 nbRevisions=6240130 nbUselessRevisions=2870349
10.62 nbAssignments=22732 nbFailedAssignments=13919 nbBacktracks=8763 nbVisitedNodes=41415 nbRestartNogoods=163
10.62 => wckTime=9.483 cpuTime=9.38 mem=17M182
10.65
10.65 search
10.65 run=15 nbConstraintChecks=180652561 nbPropagations=2345648 nbRevisions=8348677 nbUselessRevisions=3840507
10.65 nbAssignments=22878 nbFailedAssignments=13971 nbBacktracks=8817 nbVisitedNodes=41639 nbRestartNogoods=182
10.65 => wckTime=9.519 cpuTime=9.42 mem=17M182
10.65
10.65 global
10.65 nbConstraintChecks=180652561 nbPropagations=2345688 nbRevisions=8348677 nbUselessRevisions=3840507
10.65 nbRestartNogoods=182 solvingWckTime=9.52 solvingCpuTime=9.42 expiredTime=no totalExploration=no
10.65 nbFoundSolutions=1 globalCpuTime=10.14
10.65 => wckTime=10.336 cpuTime=10.09 mem=17M182
10.66
10.66 s SATISFIABLE
10.66 v 8 169 126 102 45 128 139 127 52 112 114 130 161 40 0 108 132 171 20 100 8 65 86 0 130 128 48 41 71 94 171 117 134 124 20 50 65 179 15 13
10.66 d NODES 22878
10.66 d CHECKS 180652561
10.66
10.66 totalWckTime=10.415 totalCpuTime=10.14
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-225450-1168080614 -o ROOT/results/node56/solver-225450-1168080614 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225450-1168080614/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.28 0.71 0.87 3/70 8248
/proc/meminfo: memFree=1637640/2055920 swapFree=4184772/4192956
[pid=8247] ppid=8244 vsize=1784 CPUtime=0
/proc/8247/stat : 8247 (java) R 8244 8247 8141 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 156460544 1826816 163 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10027812 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/8247/statm: 446 163 128 14 0 91 0
[startup+0.103897 s]
/proc/loadavg: 0.28 0.71 0.87 3/70 8248
/proc/meminfo: memFree=1637640/2055920 swapFree=4184772/4192956
[pid=8247] ppid=8244 vsize=913068 CPUtime=0.08
/proc/8247/stat : 8247 (java) S 8244 8247 8141 0 -1 0 2886 0 1 0 6 2 0 0 18 0 8 0 156460544 934981632 2632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8247/statm: 228267 2632 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.511942 s]
/proc/loadavg: 0.28 0.71 0.87 3/70 8248
/proc/meminfo: memFree=1637640/2055920 swapFree=4184772/4192956
[pid=8247] ppid=8244 vsize=915328 CPUtime=0.49
/proc/8247/stat : 8247 (java) R 8244 8247 8141 0 -1 0 7358 0 1 0 44 5 0 0 19 0 8 0 156460544 937295872 7097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8247/statm: 228832 7097 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33401 s]
/proc/loadavg: 0.28 0.71 0.87 4/87 8265
/proc/meminfo: memFree=1544320/2055920 swapFree=4184772/4192956
[pid=8247] ppid=8244 vsize=915464 CPUtime=1.31
/proc/8247/stat : 8247 (java) R 8244 8247 8141 0 -1 0 14339 0 1 0 121 10 0 0 25 0 8 0 156460544 937435136 14077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8247/statm: 228866 14077 2513 14 0 215336 0
[pid=8247/tid=8253] ppid=8244 vsize=915464 CPUtime=0.04
/proc/8247/task/8253/stat : 8253 (java) S 8244 8247 8141 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 156460549 937435136 14077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8256] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8256/stat : 8256 (java) S 8244 8247 8141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156460549 937435136 14077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8257] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8257/stat : 8257 (java) S 8244 8247 8141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460549 937435136 14077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8262] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8262/stat : 8262 (java) S 8244 8247 8141 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156460553 937435136 14077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8263] ppid=8244 vsize=915464 CPUtime=0.16
/proc/8247/task/8263/stat : 8263 (java) S 8244 8247 8141 0 -1 64 357 0 0 0 16 0 0 0 16 0 8 0 156460553 937435136 14077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8264] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8264/stat : 8264 (java) S 8244 8247 8141 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156460553 937435136 14077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8265] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8265/stat : 8265 (java) S 8244 8247 8141 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156460553 937435136 14077 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.98718 s]
/proc/loadavg: 0.28 0.71 0.87 4/87 8265
/proc/meminfo: memFree=1544000/2055920 swapFree=4184772/4192956
[pid=8247] ppid=8244 vsize=915464 CPUtime=2.95
/proc/8247/stat : 8247 (java) R 8244 8247 8141 0 -1 0 14361 0 1 0 285 10 0 0 25 0 8 0 156460544 937435136 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8247/statm: 228866 14097 2513 14 0 215336 0
[pid=8247/tid=8253] ppid=8244 vsize=915464 CPUtime=0.04
/proc/8247/task/8253/stat : 8253 (java) S 8244 8247 8141 0 -1 64 611 0 0 0 4 0 0 0 17 0 8 0 156460549 937435136 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8256] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8256/stat : 8256 (java) S 8244 8247 8141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156460549 937435136 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8257] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8257/stat : 8257 (java) S 8244 8247 8141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460549 937435136 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8262] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8262/stat : 8262 (java) S 8244 8247 8141 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156460553 937435136 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8263] ppid=8244 vsize=915464 CPUtime=0.2
/proc/8247/task/8263/stat : 8263 (java) S 8244 8247 8141 0 -1 64 376 0 0 0 20 0 0 0 15 0 8 0 156460553 937435136 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8264] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8264/stat : 8264 (java) S 8244 8247 8141 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156460553 937435136 14097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8265] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8265/stat : 8265 (java) S 8244 8247 8141 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156460553 937435136 14097 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.27649 s]
/proc/loadavg: 0.34 0.71 0.87 2/75 8265
/proc/meminfo: memFree=1591208/2055920 swapFree=4184772/4192956
[pid=8247] ppid=8244 vsize=915464 CPUtime=6.23
/proc/8247/stat : 8247 (java) R 8244 8247 8141 0 -1 0 14363 0 1 0 613 10 0 0 25 0 8 0 156460544 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8247/statm: 228866 14098 2513 14 0 215336 0
[pid=8247/tid=8253] ppid=8244 vsize=915464 CPUtime=0.04
/proc/8247/task/8253/stat : 8253 (java) S 8244 8247 8141 0 -1 64 611 0 0 0 4 0 0 0 16 0 8 0 156460549 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8256] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8256/stat : 8256 (java) S 8244 8247 8141 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156460549 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8257] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8257/stat : 8257 (java) S 8244 8247 8141 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156460549 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8262] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8262/stat : 8262 (java) S 8244 8247 8141 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156460553 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8263] ppid=8244 vsize=915464 CPUtime=0.21
/proc/8247/task/8263/stat : 8263 (java) S 8244 8247 8141 0 -1 64 377 0 0 0 21 0 0 0 15 0 8 0 156460553 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8264] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8264/stat : 8264 (java) S 8244 8247 8141 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156460553 937435136 14098 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8247/tid=8265] ppid=8244 vsize=915464 CPUtime=0
/proc/8247/task/8265/stat : 8265 (java) S 8244 8247 8141 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156460553 937435136 14098 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): 10.7222
CPU time (s): 10.6234
CPU user time (s): 10.5104
CPU system time (s): 0.112982
CPU usage (%): 99.0782
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.5104
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14369
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= 1268
involuntary context switches= 1358
runsolver used 0.016997 s user time and 0.035994 s system time
The end
Begin job on node56 on Sat Jan 6 10:50:19 UTC 2007
IDJOB= 225450
IDBENCH= 5859
FILE ID= node56/225450-1168080614
PBS_JOBID= 3476171
Free space on /tmp= 66516 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225450-1168080614/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-225450-1168080614 -o ROOT/results/node56/solver-225450-1168080614 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/225450-1168080614/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5fc50d31c64cf27c0b39917c4e427c9a
RANDOM SEED= 528032205
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.232
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.232
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: 1638520 kB
Buffers: 30284 kB
Cached: 306160 kB
SwapCached: 2060 kB
Active: 66468 kB
Inactive: 284004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1638520 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 6988 kB
Writeback: 0 kB
Mapped: 20944 kB
Slab: 52596 kB
Committed_AS: 2761464 kB
PageTables: 1692 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= 66516 MiB
End job on node56 on Sat Jan 6 10:50:39 UTC 2007