0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/197277-1168125515/unknown.xml
0.36
0.36 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=141 nbDomainTypes=137 minDomainSize=1 maxDomainSize=6
0.43 => wckTime=0.131 cpuTime=0.12 mem=6M886
0.43
0.43 relations being loaded...
0.47
0.47 constraints being loaded...
0.65 nbConstraints=861 nbRelationTypes=217 nbSingletonDomainVariables=1 nbExtensionStructures=858
0.65 nbSharedExtensionStructures=3 nbConflictsStructures=858 nbSharedConflictsStructures=3
0.65 nbSharedBinaryRepresentations=6487 maxDegree=14 maxArity=2
0.65 => wckTime=0.348 cpuTime=0.25 mem=11M762
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.552 cpuTime=0.39 mem=15M96
0.91
0.91 preprocessing
0.91 nbConstraintChecks=9146 nbPropagations=1261 nbRevisions=3000 nbUselessRevisions=1804 nbSingletonTests=162
0.91 nbEffectiveSingletonTests=0 nbESACBranches=12 nbRemovedValues=3 detectedInconsistency=no
0.91 => wckTime=0.058 cpuTime=0.04 mem=15M96
0.95
0.95 search
0.95 run=0 nbConstraintChecks=3489 nbPropagations=1619 nbRevisions=4290 nbUselessRevisions=2567 nbAssignments=64
0.95 nbFailedAssignments=5 nbBacktracks=14 nbVisitedNodes=75 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.091 cpuTime=0.06 mem=16M88
0.96
0.96 search
0.96 run=1 nbConstraintChecks=9296 nbPropagations=3723 nbRevisions=11017 nbUselessRevisions=6671 nbAssignments=125
0.96 nbFailedAssignments=10 nbBacktracks=34 nbVisitedNodes=149 nbRestartNogoods=2 mapSize=19 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.101 cpuTime=0.07 mem=16M88
0.97
0.97 search
0.97 run=2 nbConstraintChecks=14857 nbPropagations=6377 nbRevisions=19680 nbUselessRevisions=11958
0.97 nbAssignments=212 nbFailedAssignments=15 nbBacktracks=56 nbVisitedNodes=215 nbRestartNogoods=4 mapSize=29
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.111 cpuTime=0.08 mem=16M88
0.98
0.98 search
0.98 run=3 nbConstraintChecks=18709 nbPropagations=9431 nbRevisions=29820 nbUselessRevisions=18152
0.98 nbAssignments=300 nbFailedAssignments=23 nbBacktracks=90 nbVisitedNodes=317 nbRestartNogoods=6 mapSize=38
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.121 cpuTime=0.09 mem=16M88
1.00
1.00 search
1.00 run=4 nbConstraintChecks=32312 nbPropagations=13939 nbRevisions=44645 nbUselessRevisions=27089
1.00 nbAssignments=562 nbFailedAssignments=47 nbBacktracks=142 nbVisitedNodes=474 nbRestartNogoods=11 mapSize=75
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.146 cpuTime=0.11 mem=16M88
1.02
1.02 search
1.02 run=5 nbConstraintChecks=41971 nbPropagations=19234 nbRevisions=63302 nbUselessRevisions=38387
1.02 nbAssignments=684 nbFailedAssignments=62 nbBacktracks=221 nbVisitedNodes=627 nbRestartNogoods=13 mapSize=103
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.162 cpuTime=0.12 mem=16M88
1.04
1.04 search
1.04 run=6 nbConstraintChecks=65618 nbPropagations=26233 nbRevisions=91152 nbUselessRevisions=55274
1.04 nbAssignments=840 nbFailedAssignments=95 nbBacktracks=334 nbVisitedNodes=853 nbRestartNogoods=15 mapSize=166
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.188 cpuTime=0.14 mem=16M88
1.07
1.07 search
1.07 run=7 nbConstraintChecks=83660 nbPropagations=34767 nbRevisions=126510 nbUselessRevisions=76908
1.07 nbAssignments=1091 nbFailedAssignments=127 nbBacktracks=509 nbVisitedNodes=1173 nbRestartNogoods=17
1.07 mapSize=228 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.215 cpuTime=0.17 mem=16M88
1.11
1.11 search
1.11 run=8 nbConstraintChecks=117105 nbPropagations=46017 nbRevisions=175764 nbUselessRevisions=107463
1.11 nbAssignments=1457 nbFailedAssignments=167 nbBacktracks=770 nbVisitedNodes=1581 nbRestartNogoods=24
1.11 mapSize=317 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.259 cpuTime=0.22 mem=16M88
1.18
1.18 search
1.18 run=9 nbConstraintChecks=164517 nbPropagations=60843 nbRevisions=245344 nbUselessRevisions=151253
1.18 nbAssignments=1923 nbFailedAssignments=227 nbBacktracks=1154 nbVisitedNodes=2168 nbRestartNogoods=26
1.18 mapSize=428 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.325 cpuTime=0.27 mem=16M88
1.27
1.27 search
1.27 run=10 nbConstraintChecks=239808 nbPropagations=81391 nbRevisions=348107 nbUselessRevisions=216930
1.27 nbAssignments=2628 nbFailedAssignments=326 nbBacktracks=1739 nbVisitedNodes=3105 nbRestartNogoods=31
1.27 mapSize=640 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.413 cpuTime=0.34 mem=16M88
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=16M88)
1.40
1.40 search
1.40 run=11 nbConstraintChecks=390216 nbPropagations=112752 nbRevisions=512991 nbUselessRevisions=321717
1.41 nbAssignments=3690 nbFailedAssignments=503 nbBacktracks=2607 nbVisitedNodes=4569 nbRestartNogoods=35
1.41 => wckTime=0.55 cpuTime=0.47 mem=16M88
1.56
1.56 search
1.56 run=12 nbConstraintChecks=602140 nbPropagations=158815 nbRevisions=770970 nbUselessRevisions=488977
1.56 nbAssignments=5251 nbFailedAssignments=744 nbBacktracks=3904 nbVisitedNodes=6698 nbRestartNogoods=39
1.56 => wckTime=0.708 cpuTime=0.63 mem=16M88
1.79
1.79 search
1.79 run=13 nbConstraintChecks=917548 nbPropagations=227907 nbRevisions=1165591 nbUselessRevisions=746427
1.79 nbAssignments=7644 nbFailedAssignments=1166 nbBacktracks=5856 nbVisitedNodes=9989 nbRestartNogoods=43
1.79 => wckTime=0.936 cpuTime=0.86 mem=16M88
2.13
2.13 search
2.13 run=14 nbConstraintChecks=1393474 nbPropagations=330349 nbRevisions=1777567 nbUselessRevisions=1151311
2.13 nbAssignments=11172 nbFailedAssignments=1756 nbBacktracks=8778 nbVisitedNodes=14753 nbRestartNogoods=47
2.13 => wckTime=1.277 cpuTime=1.2 mem=16M88
2.65
2.65 search
2.65 run=15 nbConstraintChecks=2140190 nbPropagations=486409 nbRevisions=2732073 nbUselessRevisions=1788861
2.65 nbAssignments=16556 nbFailedAssignments=2742 nbBacktracks=13156 nbVisitedNodes=22381 nbRestartNogoods=51
2.65 => wckTime=1.793 cpuTime=1.71 mem=16M88
3.38
3.38 search
3.38 run=16 nbConstraintChecks=3139324 nbPropagations=715085 nbRevisions=4109358 nbUselessRevisions=2698434
3.38 nbAssignments=24641 nbFailedAssignments=4227 nbBacktracks=19736 nbVisitedNodes=33629 nbRestartNogoods=58
3.38 => wckTime=2.527 cpuTime=2.45 mem=16M88
3.46
3.46 search
3.46 run=17 nbConstraintChecks=3236706 nbPropagations=951077 nbRevisions=5532869 nbUselessRevisions=3640576
3.46 nbAssignments=25596 nbFailedAssignments=4366 nbBacktracks=20411 nbVisitedNodes=34859 nbRestartNogoods=62
3.46 => wckTime=2.606 cpuTime=2.52 mem=16M88
3.46
3.46 global
3.46 nbConstraintChecks=3245852 nbPropagations=952338 nbRevisions=5535869 nbUselessRevisions=3642380
3.46 nbRestartNogoods=62 solvingWckTime=2.606 solvingCpuTime=2.52 expiredTime=no totalExploration=no
3.46 nbFoundSolutions=1 globalCpuTime=2.95
3.46 => wckTime=3.161 cpuTime=2.91 mem=16M88
3.46
3.46 s SATISFIABLE
3.46 v 2 4 5 15 11 9 14 6 15 16 10 0 7 17 9 14 14 17 9 5 16 2 10 12 16 9 17 3 5 2 12 15 2 8 17 14 16 4 12 1 15 6 8 2 10 13 11 16 16 10 15 4 17 12 6 3 1 10 6 11 15 8 2 6 4 10 11 16 2 14 13 8 7 6 16 2 3 13 7 5 14 16 6 9 12 10 13 6 5 15 2 17 12 3 14 5 10 9 16 8 7 13 11 17 13 7 3 4 10 6 2 11 4 14 13 16 0 4 17 11 8 0 1 3 7 4 3 16 17 0 9 2 8 1 11 6 0 5 10 9 13
3.46 d NODES 25596
3.46 d CHECKS 3245852
3.46
3.46 totalWckTime=3.237 totalCpuTime=2.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-197277-1168125515 -o ROOT/results/node43/solver-197277-1168125515 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197277-1168125515/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.52 0.82 1.19 4/68 25583
/proc/meminfo: memFree=1840072/2055920 swapFree=4192812/4192956
[pid=25582] ppid=25580 vsize=1784 CPUtime=0
/proc/25582/stat : 25582 (java) R 25580 25582 25431 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 160951743 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/25582/statm: 446 158 123 14 0 91 0
[startup+0.103932 s]
/proc/loadavg: 0.52 0.82 1.19 4/68 25583
/proc/meminfo: memFree=1840072/2055920 swapFree=4192812/4192956
[pid=25582] ppid=25580 vsize=914988 CPUtime=0.09
/proc/25582/stat : 25582 (java) R 25580 25582 25431 0 -1 0 3012 0 1 0 7 2 0 0 16 0 8 0 160951743 936947712 2758 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155061896 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25582/statm: 228747 2758 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514 s]
/proc/loadavg: 0.52 0.82 1.19 4/68 25583
/proc/meminfo: memFree=1840072/2055920 swapFree=4192812/4192956
[pid=25582] ppid=25580 vsize=915328 CPUtime=0.51
/proc/25582/stat : 25582 (java) S 25580 25582 25431 0 -1 0 6395 0 1 0 46 5 0 0 16 0 8 0 160951743 937295872 6134 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25582/statm: 228832 6134 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 915328
[startup+1.33413 s]
/proc/loadavg: 0.52 0.82 1.19 2/75 25590
/proc/meminfo: memFree=1815248/2055920 swapFree=4192812/4192956
[pid=25582] ppid=25580 vsize=915568 CPUtime=1.33
/proc/25582/stat : 25582 (java) R 25580 25582 25431 0 -1 0 8969 0 1 0 127 6 0 0 16 0 8 0 160951743 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25582/statm: 228892 8707 2524 14 0 215362 0
[pid=25582/tid=25584] ppid=25580 vsize=915568 CPUtime=0.03
/proc/25582/task/25584/stat : 25584 (java) S 25580 25582 25431 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 160951747 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25582/tid=25585] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25585/stat : 25585 (java) S 25580 25582 25431 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160951747 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25586] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25586/stat : 25586 (java) S 25580 25582 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160951747 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25587] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25587/stat : 25587 (java) S 25580 25582 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160951750 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25588] ppid=25580 vsize=915568 CPUtime=0.25
/proc/25582/task/25588/stat : 25588 (java) R 25580 25582 25431 0 -1 64 414 0 0 0 24 1 0 0 15 0 8 0 160951750 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25582/tid=25589] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25589/stat : 25589 (java) S 25580 25582 25431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160951750 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25590] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25590/stat : 25590 (java) S 25580 25582 25431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160951750 937541632 8707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915568
[startup+2.9704 s]
/proc/loadavg: 0.56 0.83 1.19 2/75 25590
/proc/meminfo: memFree=1814864/2055920 swapFree=4192812/4192956
[pid=25582] ppid=25580 vsize=915568 CPUtime=2.96
/proc/25582/stat : 25582 (java) R 25580 25582 25431 0 -1 0 9003 0 1 0 290 6 0 0 18 0 8 0 160951743 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923666 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25582/statm: 228892 8740 2524 14 0 215362 0
[pid=25582/tid=25584] ppid=25580 vsize=915568 CPUtime=0.03
/proc/25582/task/25584/stat : 25584 (java) S 25580 25582 25431 0 -1 64 329 0 0 0 3 0 0 0 16 0 8 0 160951747 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25582/tid=25585] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25585/stat : 25585 (java) S 25580 25582 25431 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 160951747 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25586] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25586/stat : 25586 (java) S 25580 25582 25431 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 160951747 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25587] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25587/stat : 25587 (java) S 25580 25582 25431 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 160951750 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25588] ppid=25580 vsize=915568 CPUtime=0.26
/proc/25582/task/25588/stat : 25588 (java) S 25580 25582 25431 0 -1 64 417 0 0 0 25 1 0 0 16 0 8 0 160951750 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25582/tid=25589] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25589/stat : 25589 (java) S 25580 25582 25431 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 160951750 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25582/tid=25590] ppid=25580 vsize=915568 CPUtime=0
/proc/25582/task/25590/stat : 25590 (java) S 25580 25582 25431 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 160951750 937541632 8740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 3.51921
CPU time (s): 3.48147
CPU user time (s): 3.40248
CPU system time (s): 0.078987
CPU usage (%): 98.9275
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.40248
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9099
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= 1057
involuntary context switches= 150
runsolver used 0.007998 s user time and 0.018997 s system time
The end
Begin job on node43 on Sat Jan 6 23:18:40 UTC 2007
IDJOB= 197277
IDBENCH= 3455
FILE ID= node43/197277-1168125515
PBS_JOBID= 3477585
Free space on /tmp= 66483 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-81_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197277-1168125515/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-197277-1168125515 -o ROOT/results/node43/solver-197277-1168125515 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/197277-1168125515/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8f65d9875143d4a0b4c6ea8d8920f2bf
RANDOM SEED= 918213811
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.278
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.278
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: 1840616 kB
Buffers: 46844 kB
Cached: 94256 kB
SwapCached: 0 kB
Active: 90496 kB
Inactive: 70716 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1840616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1796 kB
Writeback: 0 kB
Mapped: 30324 kB
Slab: 39888 kB
Committed_AS: 3137072 kB
PageTables: 1592 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= 66483 MiB
End job on node43 on Sat Jan 6 23:18:53 UTC 2007