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/198349-1168071240/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=12 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.39 => wckTime=0.09 cpuTime=0.08 mem=6M951
0.39
0.39 predicates being loaded...
0.39
0.39 constraints being loaded...
0.46 nbConstraints=66 nbConvertedConstraints=66 nbConvertConstraintsChecks=121 nbExtensionStructures=1
0.46 nbSharedExtensionStructures=65 nbConflictsStructures=1 nbSharedConflictsStructures=65
0.46 nbSharedBinaryRepresentations=11 maxDegree=11 maxArity=2
0.46 => wckTime=0.163 cpuTime=0.13 mem=7M959
0.50
0.50 solver IterativeSystematicSolver being built...
0.65 => wckTime=0.344 cpuTime=0.25 mem=13M300
0.65
0.65 preprocessing
0.65 nbConstraintChecks=0 nbPropagations=12 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.65 detectedInconsistency=no
0.65 => wckTime=0.0010 cpuTime=0.0 mem=13M300
0.67
0.67 search
0.67 run=0 nbConstraintChecks=785 nbPropagations=176 nbRevisions=197 nbUselessRevisions=24 nbAssignments=27
0.67 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.67 nbTooLargeKeys=0
0.67 => wckTime=0.025 cpuTime=0.02 mem=13M300
0.68
0.68 search
0.68 run=1 nbConstraintChecks=1695 nbPropagations=558 nbRevisions=643 nbUselessRevisions=79 nbAssignments=64
0.68 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=113 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.68 nbTooLargeKeys=0
0.68 => wckTime=0.037 cpuTime=0.02 mem=13M300
0.69
0.69 search
0.69 run=2 nbConstraintChecks=2772 nbPropagations=1210 nbRevisions=1411 nbUselessRevisions=170 nbAssignments=114
0.69 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=203 nbRestartNogoods=7 mapSize=47 nbInferences=0
0.69 nbTooLargeKeys=0
0.69 => wckTime=0.048 cpuTime=0.03 mem=13M300
0.71
0.71 search
0.71 run=3 nbConstraintChecks=4054 nbPropagations=2214 nbRevisions=2581 nbUselessRevisions=297 nbAssignments=183
0.71 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=327 nbRestartNogoods=12 mapSize=80 nbInferences=1
0.71 nbTooLargeKeys=0
0.71 => wckTime=0.061 cpuTime=0.03 mem=13M300
0.72
0.72 search
0.72 run=4 nbConstraintChecks=5501 nbPropagations=3674 nbRevisions=4196 nbUselessRevisions=428 nbAssignments=279
0.72 nbFailedAssignments=105 nbBacktracks=131 nbVisitedNodes=495 nbRestartNogoods=16 mapSize=131 nbInferences=5
0.72 nbTooLargeKeys=0
0.72 => wckTime=0.073 cpuTime=0.04 mem=13M300
0.73
0.73 search
0.73 run=5 nbConstraintChecks=7603 nbPropagations=5828 nbRevisions=6489 nbUselessRevisions=575 nbAssignments=425
0.73 nbFailedAssignments=152 nbBacktracks=206 nbVisitedNodes=751 nbRestartNogoods=20 mapSize=206 nbInferences=21
0.73 nbTooLargeKeys=0
0.73 => wckTime=0.087 cpuTime=0.05 mem=13M300
0.75
0.75 search
0.75 run=6 nbConstraintChecks=10519 nbPropagations=9012 nbRevisions=9757 nbUselessRevisions=732 nbAssignments=645
0.75 nbFailedAssignments=221 nbBacktracks=319 nbVisitedNodes=1140 nbRestartNogoods=24 mapSize=319 nbInferences=52
0.75 nbTooLargeKeys=0
0.75 => wckTime=0.104 cpuTime=0.06 mem=13M300
0.77
0.77 search
0.77 run=7 nbConstraintChecks=14643 nbPropagations=13716 nbRevisions=14450 nbUselessRevisions=892 nbAssignments=974
0.77 nbFailedAssignments=326 nbBacktracks=490 nbVisitedNodes=1725 nbRestartNogoods=31 mapSize=490 nbInferences=98
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.124 cpuTime=0.07 mem=13M300
0.79
0.79 search
0.79 run=8 nbConstraintChecks=20945 nbPropagations=20784 nbRevisions=21303 nbUselessRevisions=1060
0.79 nbAssignments=1485 nbFailedAssignments=471 nbBacktracks=746 nbVisitedNodes=2628 nbRestartNogoods=37
0.79 mapSize=746 nbInferences=200 nbTooLargeKeys=0
0.79 => wckTime=0.148 cpuTime=0.09 mem=13M300
0.83
0.83 search
0.83 run=9 nbConstraintChecks=31379 nbPropagations=31751 nbRevisions=31590 nbUselessRevisions=1234
0.83 nbAssignments=2310 nbFailedAssignments=672 nbBacktracks=1130 nbVisitedNodes=4087 nbRestartNogoods=44
0.83 mapSize=1130 nbInferences=432 nbTooLargeKeys=0
0.83 => wckTime=0.184 cpuTime=0.11 mem=14M275
0.86
0.86 search
0.86 run=10 nbConstraintChecks=49099 nbPropagations=49307 nbRevisions=47372 nbUselessRevisions=1423
0.86 nbAssignments=3681 nbFailedAssignments=910 nbBacktracks=1706 nbVisitedNodes=6486 nbRestartNogoods=55
0.86 mapSize=1706 nbInferences=984 nbTooLargeKeys=0
0.86 => wckTime=0.215 cpuTime=0.14 mem=14M275
0.89
0.89 search
0.89 run=11 nbConstraintChecks=76466 nbPropagations=76987 nbRevisions=71556 nbUselessRevisions=1625
0.89 nbAssignments=5772 nbFailedAssignments=1266 nbBacktracks=2570 nbVisitedNodes=10154 nbRestartNogoods=62
0.89 mapSize=2570 nbInferences=1849 nbTooLargeKeys=0
0.90 => wckTime=0.249 cpuTime=0.17 mem=14M275
0.96
0.96 search
0.96 run=12 nbConstraintChecks=137443 nbPropagations=124589 nbRevisions=111566 nbUselessRevisions=1835
0.96 nbAssignments=9530 nbFailedAssignments=1672 nbBacktracks=3868 nbVisitedNodes=16774 nbRestartNogoods=75
0.96 mapSize=3868 nbInferences=3899 nbTooLargeKeys=0
0.96 => wckTime=0.317 cpuTime=0.24 mem=14M275
1.07
1.07 search
1.07 run=13 nbConstraintChecks=233110 nbPropagations=203695 nbRevisions=176122 nbUselessRevisions=2046
1.07 nbAssignments=15460 nbFailedAssignments=2174 nbBacktracks=5814 nbVisitedNodes=27185 nbRestartNogoods=84
1.07 mapSize=5814 nbInferences=7376 nbTooLargeKeys=0
1.07 => wckTime=0.421 cpuTime=0.34 mem=14M275
1.25
1.25 search
1.25 run=14 nbConstraintChecks=402313 nbPropagations=335254 nbRevisions=281307 nbUselessRevisions=2308
1.25 nbAssignments=24956 nbFailedAssignments=2811 nbBacktracks=8733 nbVisitedNodes=43890 nbRestartNogoods=87
1.25 mapSize=8733 nbInferences=13311 nbTooLargeKeys=0
1.25 => wckTime=0.6 cpuTime=0.51 mem=15M250
1.52
1.52 search
1.52 run=15 nbConstraintChecks=684501 nbPropagations=551305 nbRevisions=451418 nbUselessRevisions=2570
1.52 nbAssignments=39927 nbFailedAssignments=3617 nbBacktracks=13111 nbVisitedNodes=70252 nbRestartNogoods=99
1.52 mapSize=13111 nbInferences=23090 nbTooLargeKeys=0
1.52 => wckTime=0.874 cpuTime=0.78 mem=15M250
2.16
2.16 search
2.16 run=16 nbConstraintChecks=1553764 nbPropagations=971051 nbRevisions=779692 nbUselessRevisions=2854
2.16 nbAssignments=69895 nbFailedAssignments=4227 nbBacktracks=19679 nbVisitedNodes=124213 nbRestartNogoods=115
2.16 mapSize=19679 nbInferences=45874 nbTooLargeKeys=0
2.16 => wckTime=1.511 cpuTime=1.42 mem=16M225
3.00
3.00 search
3.00 run=17 nbConstraintChecks=2596289 nbPropagations=1656631 nbRevisions=1311884 nbUselessRevisions=3187
3.00 nbAssignments=111584 nbFailedAssignments=5052 nbBacktracks=29532 nbVisitedNodes=198534 nbRestartNogoods=133
3.00 mapSize=29532 nbInferences=76881 nbTooLargeKeys=0
3.00 => wckTime=2.356 cpuTime=2.25 mem=18M438
3.40
3.40 search
3.40 run=18 nbConstraintChecks=3221487 nbPropagations=2468556 nbRevisions=1943459 nbUselessRevisions=3520
3.40 nbAssignments=128112 nbFailedAssignments=5126 nbBacktracks=32505 nbVisitedNodes=228691 nbRestartNogoods=148
3.40 mapSize=32504 nbInferences=90363 nbTooLargeKeys=0
3.40 => wckTime=2.758 cpuTime=2.65 mem=19M413
3.41
3.41 global
3.41 nbConstraintChecks=3221487 nbPropagations=2468568 nbRevisions=1943459 nbUselessRevisions=3520
3.41 nbRestartNogoods=148 solvingWckTime=2.759 solvingCpuTime=2.65 expiredTime=no totalExploration=yes
3.41 nbFoundSolutions=0 globalCpuTime=2.94
3.41 => wckTime=3.105 cpuTime=2.9 mem=19M413
3.41
3.41 s UNSATISFIABLE
3.41 d NODES 128112
3.41 d CHECKS 3221487
3.41
3.41 totalWckTime=3.186 totalCpuTime=2.95
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-198349-1168071240 -o ROOT/results/node10/solver-198349-1168071240 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198349-1168071240/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.45 1.84 1.86 4/93 26974
/proc/meminfo: memFree=1654808/2055920 swapFree=4178332/4192956
[pid=26973] ppid=26971 vsize=292 CPUtime=0
/proc/26973/stat : 26973 (java) R 26971 26973 26906 0 -1 0 226 0 0 0 0 0 0 0 18 0 1 0 155519947 299008 33 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8859740 0 0 4096 0 0 0 0 17 1 0 0
/proc/26973/statm: 73 35 27 14 0 5 0
[startup+0.103357 s]
/proc/loadavg: 1.45 1.84 1.86 4/93 26974
/proc/meminfo: memFree=1654808/2055920 swapFree=4178332/4192956
[pid=26973] ppid=26971 vsize=914988 CPUtime=0.08
/proc/26973/stat : 26973 (java) R 26971 26973 26906 0 -1 0 2979 0 1 0 6 2 0 0 24 0 8 0 155519947 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26973/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511409 s]
/proc/loadavg: 1.45 1.84 1.86 4/93 26974
/proc/meminfo: memFree=1654808/2055920 swapFree=4178332/4192956
[pid=26973] ppid=26971 vsize=915464 CPUtime=0.48
/proc/26973/stat : 26973 (java) R 26971 26973 26906 0 -1 0 6724 0 1 0 43 5 0 0 25 0 8 0 155519947 937435136 6462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9365278 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26973/statm: 228866 6462 2383 14 0 215336 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915464
[startup+1.33252 s]
/proc/loadavg: 1.45 1.84 1.86 3/100 26981
/proc/meminfo: memFree=1631712/2055920 swapFree=4178332/4192956
[pid=26973] ppid=26971 vsize=915464 CPUtime=1.29
/proc/26973/stat : 26973 (java) R 26971 26973 26906 0 -1 0 8622 0 1 0 123 6 0 0 25 0 8 0 155519947 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073780317 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26973/statm: 228866 8360 2532 14 0 215336 0
[pid=26973/tid=26975] ppid=26971 vsize=915464 CPUtime=0.02
/proc/26973/task/26975/stat : 26975 (java) S 26971 26973 26906 0 -1 64 121 0 0 0 2 0 0 0 16 0 8 0 155519952 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26976] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26976/stat : 26976 (java) S 26971 26973 26906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155519952 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26977] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26977/stat : 26977 (java) S 26971 26973 26906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155519952 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26978] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26978/stat : 26978 (java) S 26971 26973 26906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155519955 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26979] ppid=26971 vsize=915464 CPUtime=0.19
/proc/26973/task/26979/stat : 26979 (java) S 26971 26973 26906 0 -1 64 360 0 0 0 18 1 0 0 15 0 8 0 155519955 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26980] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26980/stat : 26980 (java) S 26971 26973 26906 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155519955 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26981] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26981/stat : 26981 (java) S 26971 26973 26906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155519955 937435136 8360 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.96974 s]
/proc/loadavg: 1.45 1.84 1.86 3/100 26981
/proc/meminfo: memFree=1629408/2055920 swapFree=4178332/4192956
[pid=26973] ppid=26971 vsize=915464 CPUtime=2.92
/proc/26973/stat : 26973 (java) R 26971 26973 26906 0 -1 0 9487 0 1 0 285 7 0 0 25 0 8 0 155519947 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073678273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26973/statm: 228866 9223 2532 14 0 215336 0
[pid=26973/tid=26975] ppid=26971 vsize=915464 CPUtime=0.02
/proc/26973/task/26975/stat : 26975 (java) S 26971 26973 26906 0 -1 64 121 0 0 0 2 0 0 0 17 0 8 0 155519952 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26976] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26976/stat : 26976 (java) S 26971 26973 26906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155519952 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26977] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26977/stat : 26977 (java) S 26971 26973 26906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155519952 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26978] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26978/stat : 26978 (java) S 26971 26973 26906 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155519955 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26979] ppid=26971 vsize=915464 CPUtime=0.19
/proc/26973/task/26979/stat : 26979 (java) S 26971 26973 26906 0 -1 64 361 0 0 0 18 1 0 0 15 0 8 0 155519955 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26980] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26980/stat : 26980 (java) S 26971 26973 26906 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155519955 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26973/tid=26981] ppid=26971 vsize=915464 CPUtime=0
/proc/26973/task/26981/stat : 26981 (java) S 26971 26973 26906 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155519955 937435136 9223 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 3.47657
CPU time (s): 3.37049
CPU user time (s): 3.2925
CPU system time (s): 0.077988
CPU usage (%): 96.9486
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2925
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9764
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= 979
involuntary context switches= 1384
runsolver used 0.008998 s user time and 0.021996 s system time
The end
Begin job on node10 on Sat Jan 6 08:14:03 UTC 2007
IDJOB= 198349
IDBENCH= 3550
FILE ID= node10/198349-1168071240
PBS_JOBID= 3475733
Free space on /tmp= 66356 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pigeons/pigeons-12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198349-1168071240/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-198349-1168071240 -o ROOT/results/node10/solver-198349-1168071240 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/198349-1168071240/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e5056520269618c2f722160091f6a04a
RANDOM SEED= 236408082
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.232
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.232
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: 1655480 kB
Buffers: 45272 kB
Cached: 204996 kB
SwapCached: 2420 kB
Active: 112916 kB
Inactive: 199928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1655480 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 1964 kB
Writeback: 0 kB
Mapped: 82056 kB
Slab: 72424 kB
Committed_AS: 4319724 kB
PageTables: 2320 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= 66356 MiB
End job on node10 on Sat Jan 6 08:14:13 UTC 2007