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/198714-1168130500/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.49 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=39
0.49 => wckTime=0.17 cpuTime=0.14 mem=8M836
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
1.27 nbConstraints=4103 nbConvertedConstraints=4103 nbConvertConstraintsChecks=186801 nbExtensionStructures=173
1.27 nbSharedExtensionStructures=3930 nbConflictsStructures=173 nbSharedConflictsStructures=3930
1.27 nbSharedBinaryRepresentations=10870 maxDegree=62 maxArity=2
1.27 => wckTime=0.945 cpuTime=0.77 mem=29M315
1.34
1.34 solver IterativeSystematicSolver being built...
1.55 => wckTime=1.233 cpuTime=0.94 mem=20M373
1.88
1.88 preprocessing
1.88 nbConstraintChecks=269316 nbPropagations=4947 nbRevisions=12452 nbUselessRevisions=6255 nbSingletonTests=700
1.88 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=2996 detectedInconsistency=no
1.88 => wckTime=0.32 cpuTime=0.28 mem=20M373
1.94
1.94 search
1.94 run=0 nbConstraintChecks=58935 nbPropagations=5599 nbRevisions=16439 nbUselessRevisions=8555 nbAssignments=54
1.94 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=78 nbRestartNogoods=0 mapSize=5 nbInferences=0
1.95 nbTooLargeKeys=0
1.95 => wckTime=0.389 cpuTime=0.34 mem=20M373
1.98
1.98 search
1.98 run=1 nbConstraintChecks=144304 nbPropagations=12087 nbRevisions=38365 nbUselessRevisions=20511
1.98 nbAssignments=120 nbFailedAssignments=31 nbBacktracks=28 nbVisitedNodes=159 nbRestartNogoods=6 mapSize=14
1.98 nbInferences=2 nbTooLargeKeys=0
1.98 => wckTime=0.424 cpuTime=0.37 mem=21M347
2.01
2.01 search
2.01 run=2 nbConstraintChecks=210466 nbPropagations=19291 nbRevisions=64748 nbUselessRevisions=35177
2.01 nbAssignments=181 nbFailedAssignments=43 nbBacktracks=50 nbVisitedNodes=240 nbRestartNogoods=8 mapSize=23
2.01 nbInferences=3 nbTooLargeKeys=0
2.01 => wckTime=0.455 cpuTime=0.4 mem=21M347
2.05
2.05 search
2.05 run=3 nbConstraintChecks=318931 nbPropagations=27482 nbRevisions=99566 nbUselessRevisions=55045
2.05 nbAssignments=272 nbFailedAssignments=84 nbBacktracks=84 nbVisitedNodes=388 nbRestartNogoods=11 mapSize=40
2.05 nbInferences=3 nbTooLargeKeys=0
2.06 => wckTime=0.499 cpuTime=0.44 mem=21M347
2.11
2.11 search
2.11 run=4 nbConstraintChecks=438400 nbPropagations=36921 nbRevisions=145034 nbUselessRevisions=81429
2.11 nbAssignments=408 nbFailedAssignments=156 nbBacktracks=136 nbVisitedNodes=620 nbRestartNogoods=14 mapSize=66
2.11 nbInferences=3 nbTooLargeKeys=0
2.11 => wckTime=0.552 cpuTime=0.49 mem=21M347
2.21
2.21 search
2.21 run=5 nbConstraintChecks=792174 nbPropagations=49039 nbRevisions=217017 nbUselessRevisions=125102
2.21 nbAssignments=664 nbFailedAssignments=327 nbBacktracks=211 nbVisitedNodes=1083 nbRestartNogoods=18 mapSize=104
2.21 nbInferences=3 nbTooLargeKeys=0
2.21 => wckTime=0.657 cpuTime=0.6 mem=22M321
2.35
2.35 search
2.35 run=6 nbConstraintChecks=1185860 nbPropagations=64485 nbRevisions=319600 nbUselessRevisions=188305
2.35 nbAssignments=979 nbFailedAssignments=518 nbBacktracks=327 nbVisitedNodes=1644 nbRestartNogoods=30 mapSize=162
2.35 nbInferences=5 nbTooLargeKeys=0
2.35 => wckTime=0.793 cpuTime=0.72 mem=22M321
2.51
2.51 search
2.51 run=7 nbConstraintChecks=1567066 nbPropagations=83676 nbRevisions=458780 nbUselessRevisions=273883
2.51 nbAssignments=1423 nbFailedAssignments=786 nbBacktracks=497 nbVisitedNodes=2439 nbRestartNogoods=33
2.51 mapSize=247 nbInferences=7 nbTooLargeKeys=0
2.51 => wckTime=0.955 cpuTime=0.88 mem=23M295
2.81
2.81 search
2.81 run=8 nbConstraintChecks=2350187 nbPropagations=110585 nbRevisions=665189 nbUselessRevisions=399208
2.81 nbAssignments=2197 nbFailedAssignments=1225 nbBacktracks=754 nbVisitedNodes=3759 nbRestartNogoods=54
2.81 mapSize=374 nbInferences=44 nbTooLargeKeys=0
2.81 => wckTime=1.254 cpuTime=1.16 mem=25M244
3.23
3.23 search
3.23 run=9 nbConstraintChecks=3700763 nbPropagations=150402 nbRevisions=989434 nbUselessRevisions=603876
3.23 nbAssignments=3213 nbFailedAssignments=1738 nbBacktracks=1138 nbVisitedNodes=5531 nbRestartNogoods=75
3.23 mapSize=601 nbInferences=136 nbTooLargeKeys=0
3.23 => wckTime=1.672 cpuTime=1.57 mem=27M192
3.84
3.84 search
3.84 run=10 nbConstraintChecks=5611739 nbPropagations=208750 nbRevisions=1489103 nbUselessRevisions=923464
3.84 nbAssignments=4829 nbFailedAssignments=2715 nbBacktracks=1714 nbVisitedNodes=8473 nbRestartNogoods=95
3.84 mapSize=965 nbInferences=182 nbTooLargeKeys=0
3.84 => wckTime=2.287 cpuTime=2.17 mem=30M115
4.59
4.59 search
4.59 run=11 nbConstraintChecks=7654496 nbPropagations=288092 nbRevisions=2212675 nbUselessRevisions=1402040
4.59 nbAssignments=6818 nbFailedAssignments=3730 nbBacktracks=2583 nbVisitedNodes=11972 nbRestartNogoods=100
4.59 mapSize=1402 nbInferences=285 nbTooLargeKeys=0
4.59 => wckTime=3.039 cpuTime=2.92 mem=34M11
5.88
5.88 search
5.88 run=12 nbConstraintChecks=11666330 nbPropagations=407323 nbRevisions=3307053 nbUselessRevisions=2137412
5.88 nbAssignments=10025 nbFailedAssignments=5407 nbBacktracks=3882 nbVisitedNodes=17642 nbRestartNogoods=105
5.88 mapSize=2090 nbInferences=512 nbTooLargeKeys=0
5.88 => wckTime=4.32 cpuTime=4.18 mem=40M830
7.81
7.81 search
7.81 run=13 nbConstraintChecks=17385863 nbPropagations=583683 nbRevisions=4999560 nbUselessRevisions=3287997
7.81 nbAssignments=15032 nbFailedAssignments=8056 nbBacktracks=5828 nbVisitedNodes=26475 nbRestartNogoods=116
7.81 mapSize=3060 nbInferences=922 nbTooLargeKeys=0
7.81 => wckTime=6.258 cpuTime=6.11 mem=50M572
9.00
9.00 search
9.00 run=14 nbConstraintChecks=21276665 nbPropagations=797221 nbRevisions=6960328 nbUselessRevisions=4590964
9.00 nbAssignments=17845 nbFailedAssignments=9497 nbBacktracks=6827 nbVisitedNodes=31464 nbRestartNogoods=126
9.01 mapSize=3568 nbInferences=1290 nbTooLargeKeys=0
9.01 => wckTime=7.45 cpuTime=7.26 mem=24M536
9.01
9.01 global
9.01 nbConstraintChecks=21545981 nbPropagations=802168 nbRevisions=6972780 nbUselessRevisions=4597219
9.01 nbRestartNogoods=126 solvingWckTime=7.451 solvingCpuTime=7.26 expiredTime=no totalExploration=yes
9.01 nbFoundSolutions=0 globalCpuTime=8.24
9.01 => wckTime=8.686 cpuTime=8.2 mem=24M536
9.01
9.01 s UNSATISFIABLE
9.01 d NODES 17845
9.01 d CHECKS 21545981
9.01
9.01 totalWckTime=8.767 totalCpuTime=8.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-198714-1168130500 -o ROOT/results/node11/solver-198714-1168130500 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198714-1168130500/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.89 1.98 1.93 4/86 15798
/proc/meminfo: memFree=1426840/2055920 swapFree=4192812/4192956
[pid=15797] ppid=15795 vsize=11820 CPUtime=0
/proc/15797/stat : 15797 (java) D 15795 15797 15730 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 161444995 12103680 510 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7979812 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/15797/statm: 2955 510 421 14 0 1602 0
[startup+0.104295 s]
/proc/loadavg: 1.89 1.98 1.93 4/86 15798
/proc/meminfo: memFree=1426840/2055920 swapFree=4192812/4192956
[pid=15797] ppid=15795 vsize=914988 CPUtime=0.09
/proc/15797/stat : 15797 (java) R 15795 15797 15730 0 -1 0 2987 0 1 0 7 2 0 0 17 0 8 0 161444995 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155071173 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15797/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513374 s]
/proc/loadavg: 1.89 1.98 1.93 4/86 15798
/proc/meminfo: memFree=1426840/2055920 swapFree=4192812/4192956
[pid=15797] ppid=15795 vsize=915328 CPUtime=0.49
/proc/15797/stat : 15797 (java) R 15795 15797 15730 0 -1 0 6474 0 1 0 45 4 0 0 18 0 8 0 161444995 937295872 6213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15797/statm: 228832 6213 2147 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33454 s]
/proc/loadavg: 1.89 1.98 1.93 4/93 15805
/proc/meminfo: memFree=1391328/2055920 swapFree=4192812/4192956
[pid=15797] ppid=15795 vsize=915760 CPUtime=1.3
/proc/15797/stat : 15797 (java) R 15795 15797 15730 0 -1 0 12206 0 1 0 107 23 0 0 24 0 8 0 161444995 937738240 11943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15797/statm: 228940 11943 2182 14 0 215410 0
[pid=15797/tid=15799] ppid=15795 vsize=915760 CPUtime=0.06
/proc/15797/task/15799/stat : 15799 (java) R 15795 15797 15730 0 -1 64 346 0 0 0 6 0 0 0 16 0 8 0 161444999 937738240 11943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155526126 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15800] ppid=15795 vsize=915760 CPUtime=0
/proc/15797/task/15800/stat : 15800 (java) S 15795 15797 15730 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 161444999 937738240 11943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15801] ppid=15795 vsize=915760 CPUtime=0
/proc/15797/task/15801/stat : 15801 (java) S 15795 15797 15730 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 161444999 937738240 11943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15802] ppid=15795 vsize=915760 CPUtime=0
/proc/15797/task/15802/stat : 15802 (java) S 15795 15797 15730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161445003 937738240 11943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15803] ppid=15795 vsize=915760 CPUtime=0.21
/proc/15797/task/15803/stat : 15803 (java) S 15795 15797 15730 0 -1 64 433 0 0 0 20 1 0 0 16 0 8 0 161445003 937738240 11943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15804] ppid=15795 vsize=915760 CPUtime=0
/proc/15797/task/15804/stat : 15804 (java) S 15795 15797 15730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161445003 937738240 11943 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15805] ppid=15795 vsize=915760 CPUtime=0
/proc/15797/task/15805/stat : 15805 (java) S 15795 15797 15730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161445003 937738240 11943 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) 915760
[startup+2.97286 s]
/proc/loadavg: 1.89 1.98 1.93 3/93 15805
/proc/meminfo: memFree=1384800/2055920 swapFree=4192812/4192956
[pid=15797] ppid=15795 vsize=915720 CPUtime=2.92
/proc/15797/stat : 15797 (java) R 15795 15797 15730 0 -1 0 13227 0 1 0 268 24 0 0 25 0 8 0 161444995 937697280 12963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996199 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15797/statm: 228930 12963 2541 14 0 215400 0
[pid=15797/tid=15799] ppid=15795 vsize=915720 CPUtime=0.06
/proc/15797/task/15799/stat : 15799 (java) S 15795 15797 15730 0 -1 64 876 0 0 0 6 0 0 0 17 0 8 0 161444999 937697280 12963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15800] ppid=15795 vsize=915720 CPUtime=0
/proc/15797/task/15800/stat : 15800 (java) S 15795 15797 15730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161444999 937697280 12963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15801] ppid=15795 vsize=915720 CPUtime=0
/proc/15797/task/15801/stat : 15801 (java) S 15795 15797 15730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161444999 937697280 12963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15802] ppid=15795 vsize=915720 CPUtime=0
/proc/15797/task/15802/stat : 15802 (java) S 15795 15797 15730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161445003 937697280 12963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15803] ppid=15795 vsize=915720 CPUtime=0.33
/proc/15797/task/15803/stat : 15803 (java) S 15795 15797 15730 0 -1 64 494 0 0 0 32 1 0 0 15 0 8 0 161445003 937697280 12963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15804] ppid=15795 vsize=915720 CPUtime=0
/proc/15797/task/15804/stat : 15804 (java) S 15795 15797 15730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161445003 937697280 12963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15805] ppid=15795 vsize=915720 CPUtime=0
/proc/15797/task/15805/stat : 15805 (java) S 15795 15797 15730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161445003 937697280 12963 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) 915720
[startup+6.17349 s]
/proc/loadavg: 1.89 1.98 1.93 3/93 15805
/proc/meminfo: memFree=1378784/2055920 swapFree=4192812/4192956
[pid=15797] ppid=15795 vsize=915720 CPUtime=6.09
/proc/15797/stat : 15797 (java) R 15795 15797 15730 0 -1 0 15421 0 1 0 583 26 0 0 25 0 8 0 161444995 937697280 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074027189 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15797/statm: 228930 15155 2541 14 0 215400 0
[pid=15797/tid=15799] ppid=15795 vsize=915720 CPUtime=0.06
/proc/15797/task/15799/stat : 15799 (java) S 15795 15797 15730 0 -1 64 876 0 0 0 6 0 0 0 16 0 8 0 161444999 937697280 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15800] ppid=15795 vsize=915720 CPUtime=0
/proc/15797/task/15800/stat : 15800 (java) S 15795 15797 15730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 161444999 937697280 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15801] ppid=15795 vsize=915720 CPUtime=0
/proc/15797/task/15801/stat : 15801 (java) S 15795 15797 15730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 161444999 937697280 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15802] ppid=15795 vsize=915720 CPUtime=0
/proc/15797/task/15802/stat : 15802 (java) S 15795 15797 15730 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 161445003 937697280 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15803] ppid=15795 vsize=915720 CPUtime=0.34
/proc/15797/task/15803/stat : 15803 (java) S 15795 15797 15730 0 -1 64 499 0 0 0 33 1 0 0 15 0 8 0 161445003 937697280 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15804] ppid=15795 vsize=915720 CPUtime=0
/proc/15797/task/15804/stat : 15804 (java) S 15795 15797 15730 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 161445003 937697280 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15797/tid=15805] ppid=15795 vsize=915720 CPUtime=0
/proc/15797/task/15805/stat : 15805 (java) S 15795 15797 15730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 161445003 937697280 15155 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915720
Child status: 0
Real time (s): 9.05138
CPU time (s): 8.94164
CPU user time (s): 8.63569
CPU system time (s): 0.305953
CPU usage (%): 98.7876
Max. virtual memory (cumulated for all children) (KiB): 915760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.63569
system time used= 0.305953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21729
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= 1651
involuntary context switches= 1947
runsolver used 0.016997 s user time and 0.031995 s system time
The end
Begin job on node11 on Sun Jan 7 00:41:40 UTC 2007
IDJOB= 198714
IDBENCH= 3572
FILE ID= node11/198714-1168130500
PBS_JOBID= 3477738
Free space on /tmp= 66317 MiB
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScens11/scen11-f5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198714-1168130500/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-198714-1168130500 -o ROOT/results/node11/solver-198714-1168130500 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/198714-1168130500/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 11aa2a0ab3afa91f96f3199f7d1a21d5
RANDOM SEED= 180912847
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.261
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 : 5931.00
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.261
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: 1427256 kB
Buffers: 50464 kB
Cached: 332580 kB
SwapCached: 0 kB
Active: 483192 kB
Inactive: 85068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1427256 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2340 kB
Writeback: 0 kB
Mapped: 207628 kB
Slab: 44948 kB
Committed_AS: 4698120 kB
PageTables: 2576 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= 66317 MiB
End job on node11 on Sun Jan 7 00:41:49 UTC 2007