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/240485-1168373618/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.42 nbVariables=225 nbDomainTypes=16 minDomainSize=1 maxDomainSize=15
0.42 => wckTime=0.125 cpuTime=0.1 mem=7M894
0.42
0.42 relations being loaded...
0.43
0.43 constraints being loaded...
0.68 nbConstraints=2324 nbRelationTypes=17 nbSingletonDomainVariables=119 nbExtensionStructures=31
0.68 nbSharedExtensionStructures=2293 nbConflictsStructures=31 nbSharedConflictsStructures=2293
0.68 nbSharedBinaryRepresentations=493 maxDegree=28 maxArity=2
0.68 => wckTime=0.384 cpuTime=0.27 mem=14M736
0.73
0.73 solver IterativeSystematicSolver being built...
0.90 => wckTime=0.599 cpuTime=0.41 mem=16M549
1.00
1.00 preprocessing
1.00 nbConstraintChecks=34680 nbPropagations=1196 nbRevisions=9327 nbUselessRevisions=7364 nbSingletonTests=356
1.00 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=1189 detectedInconsistency=no
1.00 => wckTime=0.099 cpuTime=0.08 mem=16M549
1.04
1.04 search
1.04 run=0 nbConstraintChecks=2078 nbPropagations=1395 nbRevisions=10040 nbUselessRevisions=7749 nbAssignments=147
1.04 nbFailedAssignments=4 nbBacktracks=12 nbVisitedNodes=158 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.134 cpuTime=0.1 mem=16M549
1.05
1.06 search
1.06 run=1 nbConstraintChecks=5413 nbPropagations=3064 nbRevisions=21321 nbUselessRevisions=16214 nbAssignments=305
1.06 nbFailedAssignments=8 nbBacktracks=27 nbVisitedNodes=328 nbRestartNogoods=1 mapSize=19 nbInferences=0
1.06 nbTooLargeKeys=0
1.06 => wckTime=0.153 cpuTime=0.11 mem=16M549
1.08
1.08 search
1.08 run=2 nbConstraintChecks=8941 nbPropagations=5022 nbRevisions=33818 nbUselessRevisions=25347 nbAssignments=472
1.08 nbFailedAssignments=17 nbBacktracks=51 nbVisitedNodes=511 nbRestartNogoods=3 mapSize=33 nbInferences=0
1.08 nbTooLargeKeys=0
1.08 => wckTime=0.174 cpuTime=0.13 mem=16M549
1.10
1.10 search
1.10 run=3 nbConstraintChecks=14153 nbPropagations=7427 nbRevisions=48382 nbUselessRevisions=35743
1.10 nbAssignments=666 nbFailedAssignments=24 nbBacktracks=92 nbVisitedNodes=721 nbRestartNogoods=5 mapSize=44
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.193 cpuTime=0.15 mem=16M549
1.13
1.13 search
1.13 run=4 nbConstraintChecks=23892 nbPropagations=10582 nbRevisions=67081 nbUselessRevisions=48826
1.13 nbAssignments=887 nbFailedAssignments=33 nbBacktracks=160 nbVisitedNodes=949 nbRestartNogoods=10 mapSize=64
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.219 cpuTime=0.17 mem=16M549
1.16
1.16 search
1.16 run=5 nbConstraintChecks=34407 nbPropagations=14536 nbRevisions=90191 nbUselessRevisions=64698
1.16 nbAssignments=1113 nbFailedAssignments=44 nbBacktracks=244 nbVisitedNodes=1203 nbRestartNogoods=11 mapSize=89
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.253 cpuTime=0.2 mem=16M549
1.18
1.18 search
1.18 run=6 nbConstraintChecks=45265 nbPropagations=19112 nbRevisions=119483 nbUselessRevisions=85578
1.18 nbAssignments=1269 nbFailedAssignments=59 nbBacktracks=367 nbVisitedNodes=1391 nbRestartNogoods=13 mapSize=120
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.28 cpuTime=0.22 mem=16M549
1.21
1.21 search
1.21 run=7 nbConstraintChecks=56833 nbPropagations=24575 nbRevisions=153883 nbUselessRevisions=109802
1.21 nbAssignments=1496 nbFailedAssignments=72 nbBacktracks=556 nbVisitedNodes=1646 nbRestartNogoods=14 mapSize=146
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.307 cpuTime=0.24 mem=17M524
1.26
1.26 search
1.26 run=8 nbConstraintChecks=82400 nbPropagations=31359 nbRevisions=204601 nbUselessRevisions=147895
1.26 nbAssignments=1807 nbFailedAssignments=95 nbBacktracks=815 nbVisitedNodes=2003 nbRestartNogoods=15 mapSize=189
1.26 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.357 cpuTime=0.28 mem=17M524
1.32
1.32 search
1.32 run=9 nbConstraintChecks=126697 nbPropagations=40375 nbRevisions=284172 nbUselessRevisions=210645
1.32 nbAssignments=2267 nbFailedAssignments=132 nbBacktracks=1216 nbVisitedNodes=2541 nbRestartNogoods=18
1.32 mapSize=265 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.419 cpuTime=0.35 mem=17M524
1.42
1.42 search
1.42 run=10 nbConstraintChecks=196973 nbPropagations=52747 nbRevisions=411349 nbUselessRevisions=314730
1.42 nbAssignments=2947 nbFailedAssignments=195 nbBacktracks=1803 nbVisitedNodes=3357 nbRestartNogoods=20
1.42 mapSize=397 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.519 cpuTime=0.43 mem=17M524
1.58
1.58 search
1.58 run=11 nbConstraintChecks=341816 nbPropagations=71435 nbRevisions=636816 nbUselessRevisions=504164
1.58 nbAssignments=3968 nbFailedAssignments=318 nbBacktracks=2671 nbVisitedNodes=4617 nbRestartNogoods=24
1.58 mapSize=627 nbInferences=3 nbTooLargeKeys=0
1.58 => wckTime=0.674 cpuTime=0.59 mem=17M524
1.81
1.81 search
1.81 run=12 nbConstraintChecks=551735 nbPropagations=99353 nbRevisions=1004522 nbUselessRevisions=817240
1.81 nbAssignments=5484 nbFailedAssignments=516 nbBacktracks=3973 nbVisitedNodes=6506 nbRestartNogoods=29
1.81 mapSize=992 nbInferences=3 nbTooLargeKeys=0
1.81 => wckTime=0.904 cpuTime=0.81 mem=18M500
1.81
1.81 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=18M500)
2.13
2.13 search
2.13 run=13 nbConstraintChecks=921910 nbPropagations=143726 nbRevisions=1620699 nbUselessRevisions=1344889
2.13 nbAssignments=7835 nbFailedAssignments=899 nbBacktracks=5927 nbVisitedNodes=9587 nbRestartNogoods=33
2.13 => wckTime=1.231 cpuTime=1.14 mem=18M500
2.62
2.62 search
2.62 run=14 nbConstraintChecks=1505316 nbPropagations=213555 nbRevisions=2631286 nbUselessRevisions=2215741
2.62 nbAssignments=11249 nbFailedAssignments=1364 nbBacktracks=8867 nbVisitedNodes=14026 nbRestartNogoods=37
2.62 => wckTime=1.713 cpuTime=1.62 mem=18M500
3.40
3.40 search
3.40 run=15 nbConstraintChecks=2468526 nbPropagations=325329 nbRevisions=4294011 nbUselessRevisions=3654154
3.40 nbAssignments=16499 nbFailedAssignments=2206 nbBacktracks=13256 nbVisitedNodes=20914 nbRestartNogoods=41
3.40 => wckTime=2.494 cpuTime=2.4 mem=18M500
3.60
3.60 search
3.60 run=16 nbConstraintChecks=2707027 nbPropagations=447828 nbRevisions=6115274 nbUselessRevisions=5230600
3.60 nbAssignments=17998 nbFailedAssignments=2422 nbBacktracks=14266 nbVisitedNodes=22844 nbRestartNogoods=50
3.60 => wckTime=2.699 cpuTime=2.6 mem=18M500
3.60
3.60 global
3.60 nbConstraintChecks=2741707 nbPropagations=449024 nbRevisions=6124601 nbUselessRevisions=5237964
3.60 nbRestartNogoods=50 solvingWckTime=2.7 solvingCpuTime=2.6 expiredTime=no totalExploration=no
3.60 nbFoundSolutions=1 globalCpuTime=3.06
3.60 => wckTime=3.303 cpuTime=3.01 mem=18M500
3.60
3.60 s SATISFIABLE
3.60 v 6 5 10 3 14 7 8 1 2 12 11 4 13 9 0 14 8 6 2 1 12 4 13 5 11 10 7 3 0 9 4 1 7 12 10 0 9 5 6 2 13 11 14 8 3 0 12 11 9 5 13 6 7 1 3 14 8 10 4 2 9 3 8 11 6 1 2 12 13 0 5 10 4 14 7 10 11 9 13 8 2 3 4 12 1 0 14 7 6 5 13 0 1 7 4 5 11 6 8 10 2 12 9 3 14 7 6 14 4 9 11 10 3 0 13 1 2 8 5 12 1 13 12 0 3 6 14 10 11 9 8 5 2 7 4 2 14 3 10 11 4 5 0 7 8 6 9 12 1 13 11 7 4 1 2 14 0 8 9 6 12 3 5 13 10 8 10 5 6 0 9 7 2 14 4 3 13 1 12 11 3 2 13 5 7 8 12 9 10 14 4 0 6 11 1 5 4 0 8 12 10 13 14 3 7 9 1 11 2 6 12 9 2 14 13 3 1 11 4 5 7 6 0 10 8
3.60 d NODES 17998
3.60 d CHECKS 2741707
3.60
3.60 totalWckTime=3.379 totalCpuTime=3.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-240485-1168373618 -o ROOT/results/node14/solver-240485-1168373618 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240485-1168373618/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.06 1.00 1.22 4/81 19528
/proc/meminfo: memFree=1762968/2055920 swapFree=4158768/4192956
[pid=19527] ppid=19525 vsize=1784 CPUtime=0
/proc/19527/stat : 19527 (java) R 19525 19527 18092 0 -1 0 194 0 0 0 0 0 0 0 19 0 1 0 185756991 1826816 160 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/19527/statm: 446 160 125 14 0 91 0
[startup+0.106051 s]
/proc/loadavg: 1.06 1.00 1.22 4/81 19528
/proc/meminfo: memFree=1762968/2055920 swapFree=4158768/4192956
[pid=19527] ppid=19525 vsize=916012 CPUtime=0.09
/proc/19527/stat : 19527 (java) R 19525 19527 18092 0 -1 0 3050 0 1 0 8 1 0 0 16 0 8 0 185756991 937996288 2796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19527/statm: 229003 2797 1446 14 0 215498 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 916012
[startup+0.514087 s]
/proc/loadavg: 1.06 1.00 1.22 4/81 19528
/proc/meminfo: memFree=1762968/2055920 swapFree=4158768/4192956
[pid=19527] ppid=19525 vsize=916352 CPUtime=0.5
/proc/19527/stat : 19527 (java) R 19525 19527 18092 0 -1 0 6510 0 1 0 45 5 0 0 16 0 8 0 185756991 938344448 6249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073645109 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19527/statm: 229088 6249 2138 14 0 215558 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 916352
[startup+1.33516 s]
/proc/loadavg: 1.06 1.00 1.22 2/88 19535
/proc/meminfo: memFree=1737312/2055920 swapFree=4158768/4192956
[pid=19527] ppid=19525 vsize=916604 CPUtime=1.33
/proc/19527/stat : 19527 (java) R 19525 19527 18092 0 -1 0 9259 0 1 0 125 8 0 0 16 0 8 0 185756991 938602496 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19527/statm: 229151 8997 2524 14 0 215621 0
[pid=19527/tid=19529] ppid=19525 vsize=916604 CPUtime=0.04
/proc/19527/task/19529/stat : 19529 (java) S 19525 19527 18092 0 -1 64 452 0 0 0 4 0 0 0 16 0 8 0 185756995 938602496 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19527/tid=19530] ppid=19525 vsize=916604 CPUtime=0
/proc/19527/task/19530/stat : 19530 (java) S 19525 19527 18092 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185756996 938602496 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19527/tid=19531] ppid=19525 vsize=916604 CPUtime=0
/proc/19527/task/19531/stat : 19531 (java) S 19525 19527 18092 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185756996 938602496 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19527/tid=19532] ppid=19525 vsize=916604 CPUtime=0
/proc/19527/task/19532/stat : 19532 (java) S 19525 19527 18092 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185756999 938602496 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19527/tid=19533] ppid=19525 vsize=916604 CPUtime=0.26
/proc/19527/task/19533/stat : 19533 (java) R 19525 19527 18092 0 -1 64 422 0 0 0 24 2 0 0 15 0 8 0 185756999 938602496 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19527/tid=19534] ppid=19525 vsize=916604 CPUtime=0
/proc/19527/task/19534/stat : 19534 (java) S 19525 19527 18092 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185756999 938602496 8997 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19527/tid=19535] ppid=19525 vsize=916604 CPUtime=0
/proc/19527/task/19535/stat : 19535 (java) S 19525 19527 18092 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185756999 938602496 8997 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) 916604
[startup+2.98031 s]
/proc/loadavg: 1.06 1.00 1.22 3/86 19537
/proc/meminfo: memFree=1744752/2055920 swapFree=4158768/4192956
[pid=19527] ppid=19525 vsize=916604 CPUtime=2.97
/proc/19527/stat : 19527 (java) R 19525 19527 18092 0 -1 0 9448 0 1 0 289 8 0 0 17 0 8 0 185756991 938602496 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073932865 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19527/statm: 229151 9184 2524 14 0 215621 0
[pid=19527/tid=19529] ppid=19525 vsize=916604 CPUtime=0.04
/proc/19527/task/19529/stat : 19529 (java) S 19525 19527 18092 0 -1 64 452 0 0 0 4 0 0 0 16 0 8 0 185756995 938602496 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19527/tid=19530] ppid=19525 vsize=916604 CPUtime=0
/proc/19527/task/19530/stat : 19530 (java) S 19525 19527 18092 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185756996 938602496 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19527/tid=19531] ppid=19525 vsize=916604 CPUtime=0
/proc/19527/task/19531/stat : 19531 (java) S 19525 19527 18092 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185756996 938602496 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19527/tid=19532] ppid=19525 vsize=916604 CPUtime=0
/proc/19527/task/19532/stat : 19532 (java) S 19525 19527 18092 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185756999 938602496 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19527/tid=19533] ppid=19525 vsize=916604 CPUtime=0.27
/proc/19527/task/19533/stat : 19533 (java) S 19525 19527 18092 0 -1 64 430 0 0 0 25 2 0 0 16 0 8 0 185756999 938602496 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19527/tid=19534] ppid=19525 vsize=916604 CPUtime=0
/proc/19527/task/19534/stat : 19534 (java) S 19525 19527 18092 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185756999 938602496 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19527/tid=19535] ppid=19525 vsize=916604 CPUtime=0
/proc/19527/task/19535/stat : 19535 (java) S 19525 19527 18092 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185756999 938602496 9184 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 916604
Child status: 0
Real time (s): 3.6322
CPU time (s): 3.61145
CPU user time (s): 3.52246
CPU system time (s): 0.088986
CPU usage (%): 99.4288
Max. virtual memory (cumulated for all children) (KiB): 916604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.52246
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9546
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= 1023
involuntary context switches= 191
runsolver used 0.006998 s user time and 0.016997 s system time
The end
Begin job on node14 on Tue Jan 9 20:13:41 UTC 2007
IDJOB= 240485
IDBENCH= 7130
FILE ID= node14/240485-1168373618
PBS_JOBID= 3522058
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-15/qwh-15-106-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240485-1168373618/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-240485-1168373618 -o ROOT/results/node14/solver-240485-1168373618 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240485-1168373618/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 66f2209389e208bfeefd259de1cd6725
RANDOM SEED= 335229463
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.227
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.227
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: 1762280 kB
Buffers: 39400 kB
Cached: 169248 kB
SwapCached: 3240 kB
Active: 127132 kB
Inactive: 111280 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1762280 kB
SwapTotal: 4192956 kB
SwapFree: 4158768 kB
Dirty: 5692 kB
Writeback: 0 kB
Mapped: 39188 kB
Slab: 40216 kB
Committed_AS: 6305868 kB
PageTables: 2112 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= 66561 MiB
End job on node14 on Tue Jan 9 20:13:44 UTC 2007