0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.37 instance
0.37 name=/tmp/evaluation/214145-1168077641/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.49 nbVariables=648 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.49 => wckTime=0.152 cpuTime=0.13 mem=8M25
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
0.92 nbConstraints=1616 nbConvertedConstraints=446 nbConvertConstraintsChecks=56 nbExtensionStructures=2
0.92 nbSharedExtensionStructures=444 nbConflictsStructures=8 nbSharedConflictsStructures=1608
0.92 nbSharedBinaryRepresentations=5 nbEvaluationManagers=6 nbSharedEvaluationManagers=1164 maxDegree=41 maxArity=3
0.92 => wckTime=0.582 cpuTime=0.44 mem=17M777
0.97
0.97 solver IterativeSystematicSolver being built...
1.21 => wckTime=0.872 cpuTime=0.63 mem=23M242
1.23
1.23 preprocessing
1.23 nbConstraintChecks=0 nbPropagations=648 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.23 detectedInconsistency=no
1.23 => wckTime=0.016 cpuTime=0.01 mem=24M217
1.32
1.32 search
1.32 run=0 nbConstraintChecks=4651 nbValidityChecks=2444 nbPropagations=2083 nbRevisions=6487
1.32 nbUselessRevisions=5024 nbAssignments=38 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=46
1.32 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.11 cpuTime=0.07 mem=24M217
1.36
1.36 search
1.37 run=1 nbConstraintChecks=11002 nbValidityChecks=8112 nbPropagations=6368 nbRevisions=23346
1.37 nbUselessRevisions=18206 nbAssignments=86 nbFailedAssignments=8 nbBacktracks=28 nbVisitedNodes=103
1.37 nbRestartNogoods=2 mapSize=12 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.155 cpuTime=0.1 mem=24M217
1.40
1.40 search
1.40 run=2 nbConstraintChecks=16751 nbValidityChecks=13153 nbPropagations=12650 nbRevisions=49073
1.40 nbUselessRevisions=38234 nbAssignments=133 nbFailedAssignments=13 nbBacktracks=52 nbVisitedNodes=161
1.40 nbRestartNogoods=4 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.187 cpuTime=0.13 mem=24M217
1.44
1.44 search
1.44 run=3 nbConstraintChecks=28074 nbValidityChecks=23080 nbPropagations=22712 nbRevisions=92351
1.44 nbUselessRevisions=71987 nbAssignments=204 nbFailedAssignments=23 nbBacktracks=89 nbVisitedNodes=251
1.44 nbRestartNogoods=5 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.233 cpuTime=0.17 mem=24M217
1.50
1.50 search
1.50 run=4 nbConstraintChecks=38782 nbValidityChecks=32334 nbPropagations=36374 nbRevisions=151992
1.50 nbUselessRevisions=118446 nbAssignments=294 nbFailedAssignments=33 nbBacktracks=149 nbVisitedNodes=362
1.50 nbRestartNogoods=7 mapSize=58 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.285 cpuTime=0.23 mem=24M217
1.56
1.56 search
1.56 run=5 nbConstraintChecks=52887 nbValidityChecks=44677 nbPropagations=54727 nbRevisions=233306
1.56 nbUselessRevisions=181799 nbAssignments=412 nbFailedAssignments=47 nbBacktracks=227 nbVisitedNodes=505
1.56 nbRestartNogoods=9 mapSize=79 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.354 cpuTime=0.29 mem=24M217
1.65
1.65 search
1.65 run=6 nbConstraintChecks=68576 nbValidityChecks=57891 nbPropagations=78205 nbRevisions=338348
1.65 nbUselessRevisions=263648 nbAssignments=571 nbFailedAssignments=65 nbBacktracks=346 nbVisitedNodes=699
1.65 nbRestartNogoods=13 mapSize=111 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.438 cpuTime=0.38 mem=24M217
1.78
1.78 search
1.78 run=7 nbConstraintChecks=97530 nbValidityChecks=82061 nbPropagations=110992 nbRevisions=486998
1.78 nbUselessRevisions=379484 nbAssignments=798 nbFailedAssignments=93 nbBacktracks=521 nbVisitedNodes=994
1.78 nbRestartNogoods=16 mapSize=176 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.568 cpuTime=0.5 mem=24M217
1.97
1.97 search
1.97 run=8 nbConstraintChecks=150115 nbValidityChecks=126487 nbPropagations=161306 nbRevisions=715176
1.97 nbUselessRevisions=556604 nbAssignments=1136 nbFailedAssignments=154 nbBacktracks=777 nbVisitedNodes=1452
1.97 nbRestartNogoods=19 mapSize=293 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.76 cpuTime=0.69 mem=24M217
2.29
2.29 search
2.29 run=9 nbConstraintChecks=229589 nbValidityChecks=197723 nbPropagations=238712 nbRevisions=1071196
2.29 nbUselessRevisions=833134 nbAssignments=1631 nbFailedAssignments=236 nbBacktracks=1164 nbVisitedNodes=2125
2.29 nbRestartNogoods=22 mapSize=466 nbInferences=0 nbTooLargeKeys=0
2.29 => wckTime=1.074 cpuTime=0.98 mem=24M217
2.73
2.73 search
2.73 run=10 nbConstraintChecks=359401 nbValidityChecks=315315 nbPropagations=361250 nbRevisions=1640965
2.73 nbUselessRevisions=1275687 nbAssignments=2358 nbFailedAssignments=360 nbBacktracks=1740 nbVisitedNodes=3107
2.73 nbRestartNogoods=27 mapSize=715 nbInferences=0 nbTooLargeKeys=0
2.73 => wckTime=1.517 cpuTime=1.4 mem=25M193
3.35
3.36 search
3.36 run=11 nbConstraintChecks=440059 nbValidityChecks=389892 nbPropagations=512341 nbRevisions=2346915
3.36 nbUselessRevisions=1824468 nbAssignments=3630 nbFailedAssignments=441 nbBacktracks=2283 nbVisitedNodes=4539
3.36 nbRestartNogoods=33 mapSize=868 nbInferences=0 nbTooLargeKeys=0
3.36 => wckTime=2.145 cpuTime=2.02 mem=25M193
3.36
3.36 global
3.36 nbConstraintChecks=440059 nbValidityChecks=389892 nbPropagations=512989 nbRevisions=2346915
3.36 nbUselessRevisions=1824468 nbRestartNogoods=33 solvingWckTime=2.146 solvingCpuTime=2.03 expiredTime=no
3.36 totalExploration=no nbFoundSolutions=1 globalCpuTime=2.7
3.36 => wckTime=3.022 cpuTime=2.66 mem=25M193
3.36
3.36 s SATISFIABLE
3.36 v 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
3.36 d NODES 3630
3.36 d CHECKS 440059
3.36
3.36 totalWckTime=3.103 totalCpuTime=2.7
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-214145-1168077641 -o ROOT/results/node16/solver-214145-1168077641 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214145-1168077641/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.98 1.99 1.96 4/93 21973
/proc/meminfo: memFree=1279584/2055920 swapFree=4191880/4192956
[pid=21972] ppid=21970 vsize=12076 CPUtime=0
/proc/21972/stat : 21972 (java) D 21970 21972 21849 0 -1 0 789 0 1 0 0 0 0 0 17 0 1 0 156158983 12365824 538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/21972/statm: 3019 538 443 14 0 1602 0
[startup+0.103337 s]
/proc/loadavg: 1.98 1.99 1.96 4/93 21973
/proc/meminfo: memFree=1279584/2055920 swapFree=4191880/4192956
[pid=21972] ppid=21970 vsize=912432 CPUtime=0.07
/proc/21972/stat : 21972 (java) R 21970 21972 21849 0 -1 0 2729 0 1 0 6 1 0 0 20 0 8 0 156158983 934330368 2476 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21972/statm: 228108 2476 1365 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912432
[startup+0.512263 s]
/proc/loadavg: 1.98 1.99 1.96 4/93 21973
/proc/meminfo: memFree=1279584/2055920 swapFree=4191880/4192956
[pid=21972] ppid=21970 vsize=915328 CPUtime=0.47
/proc/21972/stat : 21972 (java) R 21970 21972 21849 0 -1 0 6319 0 1 0 43 4 0 0 18 0 8 0 156158983 937295872 6058 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21972/statm: 228832 6058 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.34011 s]
/proc/loadavg: 1.98 1.99 1.96 3/100 21980
/proc/meminfo: memFree=1251432/2055920 swapFree=4191880/4192956
[pid=21972] ppid=21970 vsize=915764 CPUtime=1.29
/proc/21972/stat : 21972 (java) R 21970 21972 21849 0 -1 0 10999 0 1 0 115 14 0 0 23 0 8 0 156158983 937742336 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073980811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21972/statm: 228941 10736 2533 14 0 215411 0
[pid=21972/tid=21974] ppid=21970 vsize=915764 CPUtime=0.04
/proc/21972/task/21974/stat : 21974 (java) S 21970 21972 21849 0 -1 64 404 0 0 0 4 0 0 0 16 0 8 0 156158988 937742336 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21975] ppid=21970 vsize=915764 CPUtime=0
/proc/21972/task/21975/stat : 21975 (java) S 21970 21972 21849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156158989 937742336 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21976] ppid=21970 vsize=915764 CPUtime=0
/proc/21972/task/21976/stat : 21976 (java) S 21970 21972 21849 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156158989 937742336 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21977] ppid=21970 vsize=915764 CPUtime=0
/proc/21972/task/21977/stat : 21977 (java) S 21970 21972 21849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156158992 937742336 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21978] ppid=21970 vsize=915764 CPUtime=0.29
/proc/21972/task/21978/stat : 21978 (java) S 21970 21972 21849 0 -1 64 482 0 0 0 28 1 0 0 16 0 8 0 156158992 937742336 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21979] ppid=21970 vsize=915764 CPUtime=0
/proc/21972/task/21979/stat : 21979 (java) S 21970 21972 21849 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156158992 937742336 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21980] ppid=21970 vsize=915764 CPUtime=0
/proc/21972/task/21980/stat : 21980 (java) S 21970 21972 21849 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156158992 937742336 10736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915764
[startup+2.98181 s]
/proc/loadavg: 1.99 1.99 1.96 3/100 21980
/proc/meminfo: memFree=1245992/2055920 swapFree=4191880/4192956
[pid=21972] ppid=21970 vsize=915764 CPUtime=2.91
/proc/21972/stat : 21972 (java) R 21970 21972 21849 0 -1 0 11203 0 1 0 276 15 0 0 25 0 8 0 156158983 937742336 10939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073996155 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21972/statm: 228941 10939 2533 14 0 215411 0
[pid=21972/tid=21974] ppid=21970 vsize=915764 CPUtime=0.04
/proc/21972/task/21974/stat : 21974 (java) S 21970 21972 21849 0 -1 64 404 0 0 0 4 0 0 0 17 0 8 0 156158988 937742336 10939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21975] ppid=21970 vsize=915764 CPUtime=0
/proc/21972/task/21975/stat : 21975 (java) S 21970 21972 21849 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156158989 937742336 10939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21976] ppid=21970 vsize=915764 CPUtime=0
/proc/21972/task/21976/stat : 21976 (java) S 21970 21972 21849 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156158989 937742336 10939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21977] ppid=21970 vsize=915764 CPUtime=0
/proc/21972/task/21977/stat : 21977 (java) S 21970 21972 21849 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156158992 937742336 10939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21978] ppid=21970 vsize=915764 CPUtime=0.33
/proc/21972/task/21978/stat : 21978 (java) S 21970 21972 21849 0 -1 64 503 0 0 0 32 1 0 0 16 0 8 0 156158992 937742336 10939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21979] ppid=21970 vsize=915764 CPUtime=0
/proc/21972/task/21979/stat : 21979 (java) S 21970 21972 21849 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156158992 937742336 10939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21972/tid=21980] ppid=21970 vsize=915764 CPUtime=0
/proc/21972/task/21980/stat : 21980 (java) S 21970 21972 21849 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156158992 937742336 10939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915764
Child status: 0
Real time (s): 3.40387
CPU time (s): 3.3155
CPU user time (s): 3.14852
CPU system time (s): 0.166974
CPU usage (%): 97.4038
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.14852
system time used= 0.166974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11311
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= 1526
involuntary context switches= 1776
runsolver used 0.009998 s user time and 0.023996 s system time
The end
Begin job on node16 on Sat Jan 6 10:00:41 UTC 2007
IDJOB= 214145
IDBENCH= 4902
FILE ID= node16/214145-1168077641
PBS_JOBID= 3475820
Free space on /tmp= 66500 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-16-4-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214145-1168077641/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-214145-1168077641 -o ROOT/results/node16/solver-214145-1168077641 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214145-1168077641/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ebd5780cefbab31bf82b274c2bc8beb8
RANDOM SEED= 211322276
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.220
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.220
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: 1280064 kB
Buffers: 64232 kB
Cached: 482016 kB
SwapCached: 268 kB
Active: 279892 kB
Inactive: 398404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1280064 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1908 kB
Writeback: 0 kB
Mapped: 160456 kB
Slab: 82088 kB
Committed_AS: 4669828 kB
PageTables: 2572 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= 66500 MiB
End job on node16 on Sat Jan 6 10:00:45 UTC 2007