0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/241451-1168085365/unknown.xml
0.36
0.36 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=141 nbDomainTypes=133 minDomainSize=1 maxDomainSize=6
0.43 => wckTime=0.133 cpuTime=0.11 mem=6M886
0.43
0.43 constraints being loaded...
0.46 nbConstraints=36 nbGlobalConstraints=36 nbSingletonDomainVariables=1 nbSharedBinaryRepresentations=0
0.46 maxDegree=2 maxArity=8
0.46 => wckTime=0.163 cpuTime=0.12 mem=7M861
0.50
0.50 solver IterativeSystematicSolver being built...
0.67 => wckTime=0.37 cpuTime=0.28 mem=15M377
0.69
0.69 preprocessing
0.69 nbConstraintChecks=0 nbPropagations=141 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=5
0.69 detectedInconsistency=no
0.69 => wckTime=0.016 cpuTime=0.01 mem=15M377
0.73
0.73 search
0.73 run=0 nbConstraintChecks=0 nbPropagations=558 nbRevisions=0 nbUselessRevisions=0 nbAssignments=68
0.73 nbFailedAssignments=4 nbBacktracks=28 nbVisitedNodes=76 nbRestartNogoods=0 mapSize=4 nbInferences=0
0.73 nbTooLargeKeys=0
0.73 => wckTime=0.054 cpuTime=0.03 mem=15M377
0.74
0.74 search
0.74 run=1 nbConstraintChecks=0 nbPropagations=1383 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109
0.74 nbFailedAssignments=10 nbBacktracks=45 nbVisitedNodes=128 nbRestartNogoods=3 mapSize=12 nbInferences=0
0.74 nbTooLargeKeys=0
0.74 => wckTime=0.066 cpuTime=0.04 mem=15M377
0.75
0.75 search
0.75 run=2 nbConstraintChecks=0 nbPropagations=2621 nbRevisions=0 nbUselessRevisions=0 nbAssignments=179
0.76 nbFailedAssignments=18 nbBacktracks=68 nbVisitedNodes=214 nbRestartNogoods=6 mapSize=24 nbInferences=0
0.76 nbTooLargeKeys=0
0.76 => wckTime=0.082 cpuTime=0.05 mem=16M353
0.77
0.77 search
0.77 run=3 nbConstraintChecks=0 nbPropagations=4500 nbRevisions=0 nbUselessRevisions=0 nbAssignments=265
0.77 nbFailedAssignments=30 nbBacktracks=108 nbVisitedNodes=321 nbRestartNogoods=9 mapSize=40 nbInferences=0
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.099 cpuTime=0.07 mem=16M353
0.79
0.79 search
0.79 run=4 nbConstraintChecks=0 nbPropagations=7110 nbRevisions=0 nbUselessRevisions=0 nbAssignments=364
0.79 nbFailedAssignments=44 nbBacktracks=162 nbVisitedNodes=451 nbRestartNogoods=11 mapSize=68 nbInferences=0
0.79 nbTooLargeKeys=0
0.79 => wckTime=0.115 cpuTime=0.08 mem=16M353
0.81
0.81 search
0.81 run=5 nbConstraintChecks=0 nbPropagations=10641 nbRevisions=0 nbUselessRevisions=0 nbAssignments=522
0.81 nbFailedAssignments=66 nbBacktracks=255 nbVisitedNodes=653 nbRestartNogoods=13 mapSize=104 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.139 cpuTime=0.1 mem=16M353
0.84
0.84 search
0.84 run=6 nbConstraintChecks=0 nbPropagations=15502 nbRevisions=0 nbUselessRevisions=0 nbAssignments=705
0.84 nbFailedAssignments=96 nbBacktracks=378 nbVisitedNodes=888 nbRestartNogoods=21 mapSize=148 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.165 cpuTime=0.12 mem=17M328
0.87
0.87 search
0.87 run=7 nbConstraintChecks=0 nbPropagations=21906 nbRevisions=0 nbUselessRevisions=0 nbAssignments=933
0.87 nbFailedAssignments=133 nbBacktracks=548 nbVisitedNodes=1207 nbRestartNogoods=27 mapSize=238 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.194 cpuTime=0.14 mem=17M328
0.92
0.92 search
0.92 run=8 nbConstraintChecks=0 nbPropagations=31500 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1288
0.92 nbFailedAssignments=194 nbBacktracks=810 nbVisitedNodes=1694 nbRestartNogoods=28 mapSize=364 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.247 cpuTime=0.19 mem=18M303
0.99
0.99 search
0.99 run=9 nbConstraintChecks=0 nbPropagations=44417 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1789
0.99 nbFailedAssignments=271 nbBacktracks=1202 nbVisitedNodes=2344 nbRestartNogoods=31 mapSize=507 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.318 cpuTime=0.25 mem=19M278
1.08
1.08 search
1.08 run=10 nbConstraintChecks=0 nbPropagations=62753 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2545
1.08 nbFailedAssignments=406 nbBacktracks=1781 nbVisitedNodes=3376 nbRestartNogoods=35 mapSize=773 nbInferences=0
1.08 nbTooLargeKeys=0
1.08 => wckTime=0.403 cpuTime=0.33 mem=21M228
1.16
1.16 INFO : Stopping hyperNogood (mapSize=1014, nbTooLargekeys=0, mem=23M179)
1.18
1.18 search
1.18 run=11 nbConstraintChecks=0 nbPropagations=88331 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3639
1.18 nbFailedAssignments=597 nbBacktracks=2646 nbVisitedNodes=4808 nbRestartNogoods=44
1.18 => wckTime=0.507 cpuTime=0.43 mem=23M179
1.31
1.31 search
1.31 run=12 nbConstraintChecks=0 nbPropagations=124639 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5256
1.31 nbFailedAssignments=868 nbBacktracks=3945 nbVisitedNodes=6986 nbRestartNogoods=53
1.31 => wckTime=0.633 cpuTime=0.55 mem=27M79
1.52
1.52 search
1.52 run=13 nbConstraintChecks=0 nbPropagations=179333 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7706
1.52 nbFailedAssignments=1331 nbBacktracks=5896 nbVisitedNodes=10305 nbRestartNogoods=61
1.52 => wckTime=0.844 cpuTime=0.76 mem=31M955
1.82
1.82 search
1.82 run=14 nbConstraintChecks=0 nbPropagations=260133 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11415
1.82 nbFailedAssignments=2077 nbBacktracks=8816 nbVisitedNodes=15365 nbRestartNogoods=65
1.82 => wckTime=1.143 cpuTime=1.06 mem=39M757
2.29
2.29 search
2.29 run=15 nbConstraintChecks=0 nbPropagations=382872 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17052
2.29 nbFailedAssignments=3292 nbBacktracks=13216 nbVisitedNodes=23244 nbRestartNogoods=76
2.29 => wckTime=1.613 cpuTime=1.52 mem=3M964
2.93
2.93 search
2.93 run=16 nbConstraintChecks=0 nbPropagations=574140 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25305
2.93 nbFailedAssignments=4935 nbBacktracks=19787 nbVisitedNodes=34730 nbRestartNogoods=85
2.93 => wckTime=2.252 cpuTime=2.16 mem=23M858
3.75
3.75 search
3.75 run=17 nbConstraintChecks=0 nbPropagations=851304 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37205
3.75 nbFailedAssignments=6937 nbBacktracks=29645 nbVisitedNodes=50751 nbRestartNogoods=88
3.75 => wckTime=3.077 cpuTime=2.98 mem=47M730
4.87
4.87 search
4.87 run=18 nbConstraintChecks=0 nbPropagations=1243080 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54462
4.87 nbFailedAssignments=9371 nbBacktracks=44443 nbVisitedNodes=73051 nbRestartNogoods=97
4.87 => wckTime=4.2 cpuTime=4.1 mem=31M53
5.64
5.64 search
5.64 run=19 nbConstraintChecks=36 nbPropagations=1713099 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66050
5.64 nbFailedAssignments=11213 nbBacktracks=54048 nbVisitedNodes=88402 nbRestartNogoods=102
5.64 => wckTime=4.968 cpuTime=4.87 mem=4M31
5.64
5.64 global
5.64 nbConstraintChecks=36 nbPropagations=1713240 nbRestartNogoods=102 solvingWckTime=4.969 solvingCpuTime=4.87
5.64 expiredTime=no totalExploration=no nbFoundSolutions=1 globalCpuTime=5.2
5.64 => wckTime=5.341 cpuTime=5.15 mem=4M31
5.64
5.64 s SATISFIABLE
5.64 v 3 11 2 6 9 10 0 17 14 16 15 17 5 13 9 1 16 13 3 11 9 2 17 5 17 14 8 16 5 3 10 7 9 5 13 15 10 4 1 1 8 10 3 9 12 15 13 10 14 16 15 8 2 13 5 6 8 17 7 10 13 14 6 0 14 3 8 15 10 7 7 4 3 9 5 15 0 17 4 6 5 10 12 17 15 8 13 17 16 11 5 1 3 0 13 17 9 11 3 7 4 8 0 17 10 6 16 1 15 3 3 7 5 0 13 14 1 11 9 3 5 4 7 2 16 14 11 15 0 5 4 1 10 9 4 11 7 17 2 5 12
5.64 d NODES 66050
5.64 d CHECKS 36
5.64
5.64 totalWckTime=5.416 totalCpuTime=5.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-241451-1168085365 -o ROOT/results/node23/solver-241451-1168085365 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241451-1168085365/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.12 1.11 1.59 4/81 22937
/proc/meminfo: memFree=1549984/2055920 swapFree=4192812/4192956
[pid=22936] ppid=22934 vsize=1784 CPUtime=0
/proc/22936/stat : 22936 (java) R 22934 22936 22867 0 -1 0 191 0 0 0 0 0 0 0 18 0 1 0 156932221 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22936/statm: 447 158 123 14 0 92 0
[startup+0.105732 s]
/proc/loadavg: 0.12 1.11 1.59 4/81 22937
/proc/meminfo: memFree=1549984/2055920 swapFree=4192812/4192956
[pid=22936] ppid=22934 vsize=914988 CPUtime=0.09
/proc/22936/stat : 22936 (java) R 22934 22936 22867 0 -1 0 3036 0 1 0 8 1 0 0 16 0 8 0 156932221 936947712 2782 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153548776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22936/statm: 228747 2782 1441 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513811 s]
/proc/loadavg: 0.12 1.11 1.59 4/81 22937
/proc/meminfo: memFree=1549984/2055920 swapFree=4192812/4192956
[pid=22936] ppid=22934 vsize=916352 CPUtime=0.49
/proc/22936/stat : 22936 (java) R 22934 22936 22867 0 -1 0 6624 0 1 0 46 3 0 0 16 0 8 0 156932221 938344448 6362 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152160971 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22936/statm: 229088 6362 2359 14 0 215558 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916352
[startup+1.33597 s]
/proc/loadavg: 0.12 1.11 1.59 2/88 22944
/proc/meminfo: memFree=1519208/2055920 swapFree=4192812/4192956
[pid=22936] ppid=22934 vsize=916484 CPUtime=1.31
/proc/22936/stat : 22936 (java) R 22934 22936 22867 0 -1 0 11612 0 1 0 124 7 0 0 17 0 8 0 156932221 938479616 11350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073715556 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22936/statm: 229121 11350 2512 14 0 215591 0
[pid=22936/tid=22938] ppid=22934 vsize=916484 CPUtime=0.02
/proc/22936/task/22938/stat : 22938 (java) S 22934 22936 22867 0 -1 64 147 0 0 0 2 0 0 0 16 0 8 0 156932225 938479616 11350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22936/tid=22939] ppid=22934 vsize=916484 CPUtime=0
/proc/22936/task/22939/stat : 22939 (java) S 22934 22936 22867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156932225 938479616 11350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22940] ppid=22934 vsize=916484 CPUtime=0
/proc/22936/task/22940/stat : 22940 (java) S 22934 22936 22867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156932225 938479616 11350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22941] ppid=22934 vsize=916484 CPUtime=0
/proc/22936/task/22941/stat : 22941 (java) S 22934 22936 22867 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156932228 938479616 11350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22942] ppid=22934 vsize=916484 CPUtime=0.18
/proc/22936/task/22942/stat : 22942 (java) S 22934 22936 22867 0 -1 64 383 0 0 0 17 1 0 0 15 0 8 0 156932228 938479616 11350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22943] ppid=22934 vsize=916484 CPUtime=0
/proc/22936/task/22943/stat : 22943 (java) S 22934 22936 22867 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156932228 938479616 11350 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22944] ppid=22934 vsize=916484 CPUtime=0
/proc/22936/task/22944/stat : 22944 (java) S 22934 22936 22867 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156932228 938479616 11350 18446744073709551615 134512640 134570532 4294956480 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) 916484
[startup+2.98628 s]
/proc/loadavg: 0.19 1.11 1.58 2/88 22944
/proc/meminfo: memFree=1491816/2055920 swapFree=4192812/4192956
[pid=22936] ppid=22934 vsize=916484 CPUtime=2.95
/proc/22936/stat : 22936 (java) R 22934 22936 22867 0 -1 0 17232 0 1 0 286 9 0 0 17 0 8 0 156932221 938479616 16968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702711 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22936/statm: 229121 16968 2516 14 0 215591 0
[pid=22936/tid=22938] ppid=22934 vsize=916484 CPUtime=0.02
/proc/22936/task/22938/stat : 22938 (java) S 22934 22936 22867 0 -1 64 267 0 0 0 2 0 0 0 16 0 8 0 156932225 938479616 16968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22939] ppid=22934 vsize=916484 CPUtime=0
/proc/22936/task/22939/stat : 22939 (java) S 22934 22936 22867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156932225 938479616 16968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22940] ppid=22934 vsize=916484 CPUtime=0
/proc/22936/task/22940/stat : 22940 (java) S 22934 22936 22867 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156932225 938479616 16968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22941] ppid=22934 vsize=916484 CPUtime=0
/proc/22936/task/22941/stat : 22941 (java) S 22934 22936 22867 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156932228 938479616 16968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22942] ppid=22934 vsize=916484 CPUtime=0.18
/proc/22936/task/22942/stat : 22942 (java) S 22934 22936 22867 0 -1 64 384 0 0 0 17 1 0 0 16 0 8 0 156932228 938479616 16968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22943] ppid=22934 vsize=916484 CPUtime=0
/proc/22936/task/22943/stat : 22943 (java) S 22934 22936 22867 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156932228 938479616 16968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22936/tid=22944] ppid=22934 vsize=916484 CPUtime=0
/proc/22936/task/22944/stat : 22944 (java) S 22934 22936 22867 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156932228 938479616 16968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 916484
Child status: 0
Real time (s): 5.70853
CPU time (s): 5.63714
CPU user time (s): 5.52616
CPU system time (s): 0.110983
CPU usage (%): 98.7495
Max. virtual memory (cumulated for all children) (KiB): 916484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.52616
system time used= 0.110983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17364
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= 890
involuntary context switches= 311
runsolver used 0.012998 s user time and 0.024996 s system time
The end
Begin job on node23 on Sat Jan 6 12:09:29 UTC 2007
IDJOB= 241451
IDBENCH= 7272
FILE ID= node23/241451-1168085365
PBS_JOBID= 3476320
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141_glb/bqwh-18-141-61_glb.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241451-1168085365/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-241451-1168085365 -o ROOT/results/node23/solver-241451-1168085365 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/241451-1168085365/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4a490d795c4961607cee0da1f1c0015a
RANDOM SEED= 20043632
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.265
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.265
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: 1550472 kB
Buffers: 45536 kB
Cached: 323092 kB
SwapCached: 0 kB
Active: 133140 kB
Inactive: 295912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1550472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1736 kB
Writeback: 0 kB
Mapped: 79424 kB
Slab: 61480 kB
Committed_AS: 2997404 kB
PageTables: 2124 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= 66550 MiB
End job on node23 on Sat Jan 6 12:09:53 UTC 2007