0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/196955-1168070994/unknown.xml
0.36
0.36 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=141 nbDomainTypes=134 minDomainSize=1 maxDomainSize=6
0.43 => wckTime=0.134 cpuTime=0.11 mem=6M886
0.43
0.43 relations being loaded...
0.48
0.48 constraints being loaded...
0.65 nbConstraints=895 nbRelationTypes=238 nbSingletonDomainVariables=1 nbExtensionStructures=875
0.65 nbSharedExtensionStructures=20 nbConflictsStructures=875 nbSharedConflictsStructures=20
0.65 nbSharedBinaryRepresentations=6845 maxDegree=14 maxArity=2
0.65 => wckTime=0.357 cpuTime=0.24 mem=11M762
0.70
0.70 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.555 cpuTime=0.37 mem=15M140
0.87
0.87 preprocessing
0.87 nbConstraintChecks=40 nbPropagations=141 nbRevisions=10 nbUselessRevisions=0 nbRemovedValues=10
0.87 detectedInconsistency=no
0.87 => wckTime=0.016 cpuTime=0.01 mem=15M140
0.91
0.91 search
0.91 run=0 nbConstraintChecks=3108 nbPropagations=479 nbRevisions=1104 nbUselessRevisions=656 nbAssignments=65
0.91 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=73 nbRestartNogoods=0 mapSize=4 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.056 cpuTime=0.03 mem=15M140
0.92
0.92 search
0.92 run=1 nbConstraintChecks=5838 nbPropagations=1211 nbRevisions=3083 nbUselessRevisions=1785 nbAssignments=106
0.92 nbFailedAssignments=9 nbBacktracks=32 nbVisitedNodes=125 nbRestartNogoods=3 mapSize=14 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.069 cpuTime=0.04 mem=15M140
0.94
0.94 search
0.94 run=2 nbConstraintChecks=8873 nbPropagations=2228 nbRevisions=6061 nbUselessRevisions=3431 nbAssignments=155
0.94 nbFailedAssignments=17 nbBacktracks=55 nbVisitedNodes=192 nbRestartNogoods=4 mapSize=30 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.084 cpuTime=0.04 mem=15M140
0.95
0.95 search
0.95 run=3 nbConstraintChecks=13578 nbPropagations=3685 nbRevisions=10779 nbUselessRevisions=6076 nbAssignments=231
0.95 nbFailedAssignments=28 nbBacktracks=90 nbVisitedNodes=289 nbRestartNogoods=6 mapSize=48 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.098 cpuTime=0.05 mem=15M140
0.97
0.97 search
0.97 run=4 nbConstraintChecks=21450 nbPropagations=5845 nbRevisions=18265 nbUselessRevisions=10259
0.97 nbAssignments=343 nbFailedAssignments=43 nbBacktracks=147 nbVisitedNodes=435 nbRestartNogoods=9 mapSize=75
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.115 cpuTime=0.07 mem=15M140
0.99
0.99 search
0.99 run=5 nbConstraintChecks=33031 nbPropagations=8897 nbRevisions=29802 nbUselessRevisions=16584
0.99 nbAssignments=483 nbFailedAssignments=71 nbBacktracks=231 nbVisitedNodes=629 nbRestartNogoods=14 mapSize=118
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.137 cpuTime=0.09 mem=15M140
1.02
1.02 search
1.02 run=6 nbConstraintChecks=49031 nbPropagations=13167 nbRevisions=47802 nbUselessRevisions=26852
1.02 nbAssignments=671 nbFailedAssignments=92 nbBacktracks=359 nbVisitedNodes=866 nbRestartNogoods=16 mapSize=161
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.166 cpuTime=0.11 mem=15M140
1.05
1.05 search
1.05 run=7 nbConstraintChecks=74593 nbPropagations=19301 nbRevisions=76490 nbUselessRevisions=43944
1.05 nbAssignments=916 nbFailedAssignments=122 nbBacktracks=529 nbVisitedNodes=1164 nbRestartNogoods=21 mapSize=211
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.201 cpuTime=0.14 mem=15M140
1.10
1.10 search
1.10 run=8 nbConstraintChecks=105692 nbPropagations=27724 nbRevisions=117751 nbUselessRevisions=68910
1.10 nbAssignments=1241 nbFailedAssignments=161 nbBacktracks=795 nbVisitedNodes=1570 nbRestartNogoods=24
1.10 mapSize=286 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.246 cpuTime=0.19 mem=15M140
1.17
1.17 search
1.17 run=9 nbConstraintChecks=154027 nbPropagations=39596 nbRevisions=179621 nbUselessRevisions=107291
1.17 nbAssignments=1707 nbFailedAssignments=224 nbBacktracks=1179 nbVisitedNodes=2164 nbRestartNogoods=28
1.17 mapSize=405 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.32 cpuTime=0.25 mem=16M115
1.26
1.26 search
1.26 run=10 nbConstraintChecks=219993 nbPropagations=56499 nbRevisions=270888 nbUselessRevisions=165288
1.26 nbAssignments=2413 nbFailedAssignments=312 nbBacktracks=1776 nbVisitedNodes=3071 nbRestartNogoods=31
1.26 mapSize=591 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.404 cpuTime=0.32 mem=16M115
1.37
1.37 search
1.37 run=11 nbConstraintChecks=334716 nbPropagations=81938 nbRevisions=410060 nbUselessRevisions=253615
1.37 nbAssignments=3483 nbFailedAssignments=496 nbBacktracks=2641 nbVisitedNodes=4529 nbRestartNogoods=35
1.37 mapSize=936 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.52 cpuTime=0.43 mem=16M115
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=16M115)
1.53
1.53 search
1.53 run=12 nbConstraintChecks=520280 nbPropagations=121687 nbRevisions=620848 nbUselessRevisions=384911
1.53 nbAssignments=5178 nbFailedAssignments=864 nbBacktracks=3954 nbVisitedNodes=7015 nbRestartNogoods=40
1.53 => wckTime=0.678 cpuTime=0.59 mem=16M115
1.75
1.75 search
1.75 run=13 nbConstraintChecks=804239 nbPropagations=182362 nbRevisions=963489 nbUselessRevisions=605562
1.75 nbAssignments=7602 nbFailedAssignments=1308 nbBacktracks=5909 nbVisitedNodes=10353 nbRestartNogoods=44
1.75 => wckTime=0.897 cpuTime=0.8 mem=16M115
2.15
2.15 search
2.15 run=14 nbConstraintChecks=1342108 nbPropagations=280342 nbRevisions=1539246 nbUselessRevisions=981363
2.15 nbAssignments=11201 nbFailedAssignments=1967 nbBacktracks=8835 nbVisitedNodes=15366 nbRestartNogoods=50
2.15 => wckTime=1.298 cpuTime=1.2 mem=16M115
2.70
2.70 search
2.70 run=15 nbConstraintChecks=2087767 nbPropagations=430411 nbRevisions=2436129 nbUselessRevisions=1568245
2.70 nbAssignments=16572 nbFailedAssignments=2931 nbBacktracks=13214 nbVisitedNodes=22718 nbRestartNogoods=58
2.70 => wckTime=1.846 cpuTime=1.75 mem=16M115
3.50
3.50 search
3.50 run=16 nbConstraintChecks=3146659 nbPropagations=656377 nbRevisions=3790393 nbUselessRevisions=2457007
3.50 nbAssignments=24626 nbFailedAssignments=4387 nbBacktracks=19783 nbVisitedNodes=33820 nbRestartNogoods=65
3.50 => wckTime=2.645 cpuTime=2.55 mem=16M115
4.77
4.77 search
4.77 run=17 nbConstraintChecks=4837046 nbPropagations=1003173 nbRevisions=5862911 nbUselessRevisions=3811264
4.77 nbAssignments=37197 nbFailedAssignments=7083 nbBacktracks=29646 nbVisitedNodes=51825 nbRestartNogoods=76
4.77 => wckTime=3.915 cpuTime=3.81 mem=16M115
6.05
6.05 search
6.05 run=18 nbConstraintChecks=6517768 nbPropagations=1476594 nbRevisions=8687769 nbUselessRevisions=5669717
6.05 nbAssignments=50848 nbFailedAssignments=9579 nbBacktracks=40660 nbVisitedNodes=70937 nbRestartNogoods=83
6.05 => wckTime=5.199 cpuTime=5.09 mem=16M115
6.05
6.05 global
6.05 nbConstraintChecks=6517808 nbPropagations=1476735 nbRevisions=8687779 nbUselessRevisions=5669717
6.05 nbRestartNogoods=83 solvingWckTime=5.2 solvingCpuTime=5.1 expiredTime=no totalExploration=no
6.05 nbFoundSolutions=1 globalCpuTime=5.51
6.05 => wckTime=5.757 cpuTime=5.47 mem=16M115
6.06
6.06 s SATISFIABLE
6.06 v 8 9 11 4 0 2 6 7 16 4 7 12 2 13 0 11 4 15 0 13 11 1 3 5 3 5 2 0 6 7 1 3 16 5 6 1 10 13 12 3 15 7 5 16 0 1 2 7 3 16 8 2 4 5 0 7 17 14 10 3 5 16 11 12 2 7 1 4 0 5 10 1 10 4 7 3 17 14 12 15 13 6 0 3 10 7 4 4 11 8 13 16 6 14 12 6 10 11 12 0 1 16 9 0 12 17 8 4 15 13 14 8 12 1 17 9 6 0 10 14 0 8 5 12 6 5 13 6 1 2 14 11 4 12 3 5 1 16 13 14 4
6.06 d NODES 50848
6.06 d CHECKS 6517808
6.06
6.06 totalWckTime=5.835 totalCpuTime=5.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-196955-1168070994 -o ROOT/results/node6/solver-196955-1168070994 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196955-1168070994/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.82 1.95 1.93 4/93 6226
/proc/meminfo: memFree=1304624/2055924 swapFree=4165672/4192956
[pid=6225] ppid=6223 vsize=1784 CPUtime=0
/proc/6225/stat : 6225 (java) R 6223 6225 6102 0 -1 0 327 0 0 0 0 0 0 0 18 0 1 0 155494830 1826816 122 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/6225/statm: 446 124 91 14 0 91 0
[startup+0.107559 s]
/proc/loadavg: 1.82 1.95 1.93 4/93 6226
/proc/meminfo: memFree=1304624/2055924 swapFree=4165672/4192956
[pid=6225] ppid=6223 vsize=914988 CPUtime=0.09
/proc/6225/stat : 6225 (java) R 6223 6225 6102 0 -1 0 3082 0 1 0 8 1 0 0 22 0 8 0 155494830 936947712 2828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6225/statm: 228747 2829 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515611 s]
/proc/loadavg: 1.82 1.95 1.93 4/93 6226
/proc/meminfo: memFree=1304624/2055924 swapFree=4165672/4192956
[pid=6225] ppid=6223 vsize=915328 CPUtime=0.5
/proc/6225/stat : 6225 (java) R 6223 6225 6102 0 -1 0 6402 0 1 0 46 4 0 0 25 0 8 0 155494830 937295872 6141 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6225/statm: 228832 6141 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.3367 s]
/proc/loadavg: 1.82 1.95 1.93 3/100 6233
/proc/meminfo: memFree=1280248/2055924 swapFree=4165672/4192956
[pid=6225] ppid=6223 vsize=915568 CPUtime=1.31
/proc/6225/stat : 6225 (java) R 6223 6225 6102 0 -1 0 8878 0 1 0 125 6 0 0 25 0 8 0 155494830 937541632 8616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073920343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6225/statm: 228892 8616 2513 14 0 215362 0
[pid=6225/tid=6227] ppid=6223 vsize=915568 CPUtime=0.03
/proc/6225/task/6227/stat : 6227 (java) S 6223 6225 6102 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 155494834 937541632 8616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6228] ppid=6223 vsize=915568 CPUtime=0
/proc/6225/task/6228/stat : 6228 (java) S 6223 6225 6102 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155494834 937541632 8616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6229] ppid=6223 vsize=915568 CPUtime=0
/proc/6225/task/6229/stat : 6229 (java) S 6223 6225 6102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155494834 937541632 8616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6230] ppid=6223 vsize=915568 CPUtime=0
/proc/6225/task/6230/stat : 6230 (java) S 6223 6225 6102 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155494837 937541632 8616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6231] ppid=6223 vsize=915568 CPUtime=0.27
/proc/6225/task/6231/stat : 6231 (java) S 6223 6225 6102 0 -1 64 410 0 0 0 26 1 0 0 16 0 8 0 155494837 937541632 8616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6232] ppid=6223 vsize=915568 CPUtime=0
/proc/6225/task/6232/stat : 6232 (java) S 6223 6225 6102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155494837 937541632 8616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6233] ppid=6223 vsize=915568 CPUtime=0
/proc/6225/task/6233/stat : 6233 (java) S 6223 6225 6102 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155494837 937541632 8616 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915568
[startup+2.9869 s]
/proc/loadavg: 1.83 1.95 1.93 3/100 6233
/proc/meminfo: memFree=1279736/2055924 swapFree=4165672/4192956
[pid=6225] ppid=6223 vsize=915568 CPUtime=2.97
/proc/6225/stat : 6225 (java) R 6223 6225 6102 0 -1 0 8915 0 1 0 290 7 0 0 25 0 8 0 155494830 937541632 8652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6225/statm: 228892 8652 2513 14 0 215362 0
[pid=6225/tid=6227] ppid=6223 vsize=915568 CPUtime=0.03
/proc/6225/task/6227/stat : 6227 (java) S 6223 6225 6102 0 -1 64 334 0 0 0 3 0 0 0 16 0 8 0 155494834 937541632 8652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6228] ppid=6223 vsize=915568 CPUtime=0
/proc/6225/task/6228/stat : 6228 (java) S 6223 6225 6102 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155494834 937541632 8652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6229] ppid=6223 vsize=915568 CPUtime=0
/proc/6225/task/6229/stat : 6229 (java) S 6223 6225 6102 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155494834 937541632 8652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6230] ppid=6223 vsize=915568 CPUtime=0
/proc/6225/task/6230/stat : 6230 (java) S 6223 6225 6102 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155494837 937541632 8652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6231] ppid=6223 vsize=915568 CPUtime=0.27
/proc/6225/task/6231/stat : 6231 (java) S 6223 6225 6102 0 -1 64 413 0 0 0 26 1 0 0 16 0 8 0 155494837 937541632 8652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6232] ppid=6223 vsize=915568 CPUtime=0
/proc/6225/task/6232/stat : 6232 (java) S 6223 6225 6102 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155494837 937541632 8652 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6225/tid=6233] ppid=6223 vsize=915568 CPUtime=0
/proc/6225/task/6233/stat : 6233 (java) S 6223 6225 6102 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155494837 937541632 8652 18446744073709551615 134512640 134570532 4294956464 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) 915568
Child status: 0
Real time (s): 6.15418
CPU time (s): 6.04808
CPU user time (s): 5.97209
CPU system time (s): 0.075988
CPU usage (%): 98.276
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.97209
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9017
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= 1434
involuntary context switches= 1804
runsolver used 0.010998 s user time and 0.034994 s system time
The end
Begin job on node6 on Sat Jan 6 08:09:54 UTC 2007
IDJOB= 196955
IDBENCH= 3429
FILE ID= node6/196955-1168070994
PBS_JOBID= 3475722
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-73_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196955-1168070994/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-196955-1168070994 -o ROOT/results/node6/solver-196955-1168070994 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196955-1168070994/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e682b54b715363b526e2e75596c15034
RANDOM SEED= 251928172
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.240
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.240
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: 2055924 kB
MemFree: 1305104 kB
Buffers: 82084 kB
Cached: 507500 kB
SwapCached: 3036 kB
Active: 374892 kB
Inactive: 279992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1305104 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 2096 kB
Writeback: 0 kB
Mapped: 84420 kB
Slab: 80560 kB
Committed_AS: 4929440 kB
PageTables: 2468 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= 66529 MiB
End job on node6 on Sat Jan 6 08:10:00 UTC 2007