0.38
0.38 Abscon 109 (November, 2006)
0.38
0.38 configuration
0.38 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/242498-1168085526/unknown.xml
0.44
0.44 domains being loaded...
0.45
0.45 variables being loaded...
0.47 nbVariables=56 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.091 cpuTime=0.09 mem=6M951
0.47
0.47 relations being loaded...
0.48
0.48 constraints being loaded...
0.55 nbConstraints=204 nbRelationTypes=2 nbExtensionStructures=2 nbSharedExtensionStructures=202
0.55 nbConflictsStructures=2 nbSharedConflictsStructures=202 nbSharedBinaryRepresentations=2 maxDegree=8 maxArity=7
0.55 => wckTime=0.167 cpuTime=0.14 mem=7M959
0.58
0.58 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.367 cpuTime=0.28 mem=14M418
0.75
0.75 preprocessing
0.75 nbConstraintChecks=0 nbPropagations=56 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.75 detectedInconsistency=no
0.75 => wckTime=0.0030 cpuTime=0.0 mem=14M418
0.79
0.79 search
0.79 run=0 nbConstraintChecks=480 nbValidityChecks=1 nbPropagations=133 nbRevisions=322 nbUselessRevisions=260
0.79 nbAssignments=50 nbFailedAssignments=2 nbBacktracks=12 nbVisitedNodes=55 nbRestartNogoods=0 mapSize=3
0.79 nbInferences=0 nbTooLargeKeys=0
0.79 => wckTime=0.037 cpuTime=0.02 mem=15M426
0.80
0.80 search
0.80 run=1 nbConstraintChecks=1042 nbValidityChecks=34 nbPropagations=359 nbRevisions=1029 nbUselessRevisions=826
0.80 nbAssignments=103 nbFailedAssignments=5 nbBacktracks=30 nbVisitedNodes=114 nbRestartNogoods=1 mapSize=8
0.80 nbInferences=0 nbTooLargeKeys=0
0.80 => wckTime=0.052 cpuTime=0.03 mem=15M426
0.81
0.81 search
0.81 run=2 nbConstraintChecks=1782 nbValidityChecks=85 nbPropagations=726 nbRevisions=2246 nbUselessRevisions=1769
0.81 nbAssignments=168 nbFailedAssignments=9 nbBacktracks=56 nbVisitedNodes=190 nbRestartNogoods=2 mapSize=17
0.81 nbInferences=0 nbTooLargeKeys=0
0.81 => wckTime=0.063 cpuTime=0.03 mem=15M426
0.83
0.83 search
0.83 run=3 nbConstraintChecks=2772 nbValidityChecks=165 nbPropagations=1294 nbRevisions=4183
0.83 nbUselessRevisions=3230 nbAssignments=247 nbFailedAssignments=15 nbBacktracks=95 nbVisitedNodes=286
0.83 nbRestartNogoods=4 mapSize=32 nbInferences=0 nbTooLargeKeys=0
0.83 => wckTime=0.075 cpuTime=0.05 mem=15M426
0.84
0.84 search
0.84 run=4 nbConstraintChecks=4118 nbValidityChecks=305 nbPropagations=2166 nbRevisions=7083
0.84 nbUselessRevisions=5349 nbAssignments=346 nbFailedAssignments=25 nbBacktracks=151 nbVisitedNodes=408
0.84 nbRestartNogoods=6 mapSize=53 nbInferences=0 nbTooLargeKeys=0
0.84 => wckTime=0.092 cpuTime=0.06 mem=15M426
0.86
0.86 search
0.86 run=5 nbConstraintChecks=5640 nbValidityChecks=472 nbPropagations=3416 nbRevisions=11078
0.86 nbUselessRevisions=8194 nbAssignments=463 nbFailedAssignments=34 nbBacktracks=227 nbVisitedNodes=552
0.86 nbRestartNogoods=8 mapSize=78 nbInferences=2 nbTooLargeKeys=0
0.86 => wckTime=0.111 cpuTime=0.07 mem=15M426
0.88
0.88 search
0.88 run=6 nbConstraintChecks=8039 nbValidityChecks=754 nbPropagations=5251 nbRevisions=16858
0.88 nbUselessRevisions=12220 nbAssignments=629 nbFailedAssignments=50 nbBacktracks=346 nbVisitedNodes=760
0.88 nbRestartNogoods=10 mapSize=118 nbInferences=5 nbTooLargeKeys=0
0.88 => wckTime=0.133 cpuTime=0.09 mem=15M426
0.91
0.91 search
0.91 run=7 nbConstraintChecks=10869 nbValidityChecks=1088 nbPropagations=7720 nbRevisions=24788
0.91 nbUselessRevisions=17724 nbAssignments=854 nbFailedAssignments=69 nbBacktracks=516 nbVisitedNodes=1040
0.91 nbRestartNogoods=12 mapSize=170 nbInferences=6 nbTooLargeKeys=0
0.91 => wckTime=0.155 cpuTime=0.11 mem=15M426
0.94
0.94 search
0.94 run=8 nbConstraintChecks=17485 nbValidityChecks=1840 nbPropagations=11657 nbRevisions=37903
0.94 nbUselessRevisions=26789 nbAssignments=1166 nbFailedAssignments=98 nbBacktracks=775 nbVisitedNodes=1462
0.94 nbRestartNogoods=15 mapSize=279 nbInferences=10 nbTooLargeKeys=0
0.94 => wckTime=0.187 cpuTime=0.14 mem=15M426
0.99
0.99 search
0.99 run=9 nbConstraintChecks=25707 nbValidityChecks=2774 nbPropagations=17453 nbRevisions=57505
0.99 nbUselessRevisions=40282 nbAssignments=1634 nbFailedAssignments=148 nbBacktracks=1165 nbVisitedNodes=2071
0.99 nbRestartNogoods=16 mapSize=418 nbInferences=12 nbTooLargeKeys=0
0.99 => wckTime=0.239 cpuTime=0.18 mem=15M426
1.05
1.05 search
1.05 run=10 nbConstraintChecks=37773 nbValidityChecks=4005 nbPropagations=25906 nbRevisions=86614
1.05 nbUselessRevisions=60422 nbAssignments=2334 nbFailedAssignments=208 nbBacktracks=1744 nbVisitedNodes=2973
1.05 nbRestartNogoods=18 mapSize=618 nbInferences=40 nbTooLargeKeys=0
1.05 => wckTime=0.299 cpuTime=0.22 mem=15M426
1.10
1.10 search
1.10 run=11 nbConstraintChecks=54382 nbValidityChecks=5631 nbPropagations=37994 nbRevisions=128733
1.11 nbUselessRevisions=89521 nbAssignments=3335 nbFailedAssignments=289 nbBacktracks=2620 nbVisitedNodes=4258
1.11 nbRestartNogoods=20 mapSize=900 nbInferences=55 nbTooLargeKeys=0
1.11 => wckTime=0.354 cpuTime=0.27 mem=15M426
1.18
1.18 search
1.18 run=12 nbConstraintChecks=77670 nbValidityChecks=7882 nbPropagations=54994 nbRevisions=189150
1.18 nbUselessRevisions=131382 nbAssignments=4816 nbFailedAssignments=420 nbBacktracks=3931 nbVisitedNodes=6137
1.18 nbRestartNogoods=22 mapSize=1296 nbInferences=71 nbTooLargeKeys=0
1.18 => wckTime=0.432 cpuTime=0.35 mem=15M426
1.31
1.31 search
1.31 run=13 nbConstraintChecks=126563 nbValidityChecks=12112 nbPropagations=81545 nbRevisions=288760
1.31 nbUselessRevisions=201571 nbAssignments=7030 nbFailedAssignments=635 nbBacktracks=5887 nbVisitedNodes=9066
1.31 nbRestartNogoods=24 mapSize=2009 nbInferences=85 nbTooLargeKeys=0
1.31 => wckTime=0.555 cpuTime=0.47 mem=15M426
1.49
1.49 search
1.49 run=14 nbConstraintChecks=192044 nbValidityChecks=18206 nbPropagations=121402 nbRevisions=440844
1.49 nbUselessRevisions=309322 nbAssignments=10315 nbFailedAssignments=924 nbBacktracks=8819 nbVisitedNodes=13310
1.49 nbRestartNogoods=26 mapSize=2966 nbInferences=129 nbTooLargeKeys=0
1.49 => wckTime=0.735 cpuTime=0.65 mem=16M401
1.76
1.76 search
1.76 run=15 nbConstraintChecks=295472 nbValidityChecks=27846 nbPropagations=182011 nbRevisions=676133
1.76 nbUselessRevisions=476755 nbAssignments=15200 nbFailedAssignments=1364 nbBacktracks=13199 nbVisitedNodes=19632
1.76 nbRestartNogoods=28 mapSize=4401 nbInferences=161 nbTooLargeKeys=0
1.76 => wckTime=1.007 cpuTime=0.92 mem=16M401
2.16
2.16 search
2.16 run=16 nbConstraintChecks=462042 nbValidityChecks=42286 nbPropagations=273633 nbRevisions=1046664
2.16 nbUselessRevisions=743758 nbAssignments=22543 nbFailedAssignments=2067 nbBacktracks=19769 nbVisitedNodes=29196
2.16 nbRestartNogoods=30 mapSize=6619 nbInferences=202 nbTooLargeKeys=0
2.16 => wckTime=1.413 cpuTime=1.32 mem=17M376
2.76
2.76 search
2.76 run=17 nbConstraintChecks=721597 nbValidityChecks=63376 nbPropagations=410461 nbRevisions=1628847
2.76 nbUselessRevisions=1169327 nbAssignments=33428 nbFailedAssignments=3028 nbBacktracks=29628 nbVisitedNodes=43267
2.76 nbRestartNogoods=33 mapSize=9796 nbInferences=242 nbTooLargeKeys=0
2.76 => wckTime=2.005 cpuTime=1.91 mem=18M351
3.27
3.27 search
3.27 run=18 nbConstraintChecks=952442 nbValidityChecks=81454 nbPropagations=584651 nbRevisions=2400784
3.27 nbUselessRevisions=1739625 nbAssignments=43028 nbFailedAssignments=3819 nbBacktracks=38385 nbVisitedNodes=55519
3.27 nbRestartNogoods=36 mapSize=12438 nbInferences=295 nbTooLargeKeys=0
3.27 => wckTime=2.522 cpuTime=2.44 mem=19M326
3.27
3.27 global
3.27 nbConstraintChecks=952442 nbValidityChecks=81454 nbPropagations=584707 nbRevisions=2400784
3.27 nbUselessRevisions=1739625 nbRestartNogoods=36 solvingWckTime=2.524 solvingCpuTime=2.44 expiredTime=no
3.27 totalExploration=yes nbFoundSolutions=0 globalCpuTime=2.77
3.27 => wckTime=2.892 cpuTime=2.72 mem=19M326
3.28
3.28 s UNSATISFIABLE
3.28 d NODES 43028
3.28 d CHECKS 952442
3.28
3.28 totalWckTime=2.968 totalCpuTime=2.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-242498-1168085526 -o ROOT/results/node1/solver-242498-1168085526 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242498-1168085526/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.03 0.71 1.35 4/81 19541
/proc/meminfo: memFree=1258784/2055920 swapFree=4165584/4192956
[pid=19540] ppid=19538 vsize=308 CPUtime=0
/proc/19540/stat : 19540 (java) R 19538 19540 18776 0 -1 0 57 0 0 0 0 0 0 0 20 0 1 0 156950155 315392 40 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 5829412 0 0 4096 0 0 0 0 17 1 0 0
/proc/19540/statm: 77 41 32 14 0 5 0
[startup+0.102778 s]
/proc/loadavg: 0.03 0.71 1.35 4/81 19541
/proc/meminfo: memFree=1258784/2055920 swapFree=4165584/4192956
[pid=19540] ppid=19538 vsize=913068 CPUtime=0.07
/proc/19540/stat : 19540 (java) S 19538 19540 18776 0 -1 0 2864 0 1 0 6 1 0 0 24 0 8 0 156950155 934981632 2610 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19540/statm: 228267 2610 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.510825 s]
/proc/loadavg: 0.03 0.71 1.35 4/81 19541
/proc/meminfo: memFree=1258784/2055920 swapFree=4165584/4192956
[pid=19540] ppid=19538 vsize=915328 CPUtime=0.4
/proc/19540/stat : 19540 (java) R 19538 19540 18776 0 -1 0 6083 0 1 0 37 3 0 0 16 0 8 0 156950155 937295872 5822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154646871 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19540/statm: 228832 5822 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33192 s]
/proc/loadavg: 0.03 0.71 1.35 2/88 19548
/proc/meminfo: memFree=1234728/2055920 swapFree=4165584/4192956
[pid=19540] ppid=19538 vsize=915460 CPUtime=1.23
/proc/19540/stat : 19540 (java) R 19538 19540 18776 0 -1 0 8784 0 1 0 117 6 0 0 17 0 8 0 156950155 937431040 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073680146 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19540/statm: 228865 8522 2515 14 0 215335 0
[pid=19540/tid=19542] ppid=19538 vsize=915460 CPUtime=0.02
/proc/19540/task/19542/stat : 19542 (java) S 19538 19540 18776 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 156950160 937431040 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19540/tid=19543] ppid=19538 vsize=915460 CPUtime=0
/proc/19540/task/19543/stat : 19543 (java) S 19538 19540 18776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156950160 937431040 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19544] ppid=19538 vsize=915460 CPUtime=0
/proc/19540/task/19544/stat : 19544 (java) S 19538 19540 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156950160 937431040 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19545] ppid=19538 vsize=915460 CPUtime=0
/proc/19540/task/19545/stat : 19545 (java) S 19538 19540 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156950164 937431040 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19546] ppid=19538 vsize=915460 CPUtime=0.17
/proc/19540/task/19546/stat : 19546 (java) S 19538 19540 18776 0 -1 64 367 0 0 0 16 1 0 0 16 0 8 0 156950164 937431040 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19547] ppid=19538 vsize=915460 CPUtime=0
/proc/19540/task/19547/stat : 19547 (java) S 19538 19540 18776 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156950164 937431040 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19548] ppid=19538 vsize=915460 CPUtime=0
/proc/19540/task/19548/stat : 19548 (java) S 19538 19540 18776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156950164 937431040 8523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915460
[startup+2.96911 s]
/proc/loadavg: 0.03 0.71 1.35 2/88 19548
/proc/meminfo: memFree=1232808/2055920 swapFree=4165584/4192956
[pid=19540] ppid=19538 vsize=915460 CPUtime=2.86
/proc/19540/stat : 19540 (java) R 19538 19540 18776 0 -1 0 9460 0 1 0 280 6 0 0 17 0 8 0 156950155 937431040 9197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19540/statm: 228865 9197 2515 14 0 215335 0
[pid=19540/tid=19542] ppid=19538 vsize=915460 CPUtime=0.02
/proc/19540/task/19542/stat : 19542 (java) S 19538 19540 18776 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 156950160 937431040 9197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19543] ppid=19538 vsize=915460 CPUtime=0
/proc/19540/task/19543/stat : 19543 (java) S 19538 19540 18776 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156950160 937431040 9197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19544] ppid=19538 vsize=915460 CPUtime=0
/proc/19540/task/19544/stat : 19544 (java) S 19538 19540 18776 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156950160 937431040 9197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19545] ppid=19538 vsize=915460 CPUtime=0
/proc/19540/task/19545/stat : 19545 (java) S 19538 19540 18776 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156950164 937431040 9197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19546] ppid=19538 vsize=915460 CPUtime=0.17
/proc/19540/task/19546/stat : 19546 (java) S 19538 19540 18776 0 -1 64 369 0 0 0 16 1 0 0 16 0 8 0 156950164 937431040 9197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19547] ppid=19538 vsize=915460 CPUtime=0
/proc/19540/task/19547/stat : 19547 (java) S 19538 19540 18776 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156950164 937431040 9197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19540/tid=19548] ppid=19538 vsize=915460 CPUtime=0
/proc/19540/task/19548/stat : 19548 (java) S 19538 19540 18776 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156950164 937431040 9197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 3.31829
CPU time (s): 3.18651
CPU user time (s): 3.11053
CPU system time (s): 0.075988
CPU usage (%): 96.0289
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.11053
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= 9709
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= 838
involuntary context switches= 127
runsolver used 0.002999 s user time and 0.012998 s system time
The end
Begin job on node1 on Sat Jan 6 12:12:14 UTC 2007
IDJOB= 242498
IDBENCH= 7396
FILE ID= node1/242498-1168085526
PBS_JOBID= 3476267
Free space on /tmp= 66304 MiB
BENCH NAME= HOME/pub/bench/CPAI06/dimacs/varDimacs/hole-07_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242498-1168085526/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-242498-1168085526 -o ROOT/results/node1/solver-242498-1168085526 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/242498-1168085526/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e5ee6584f63e0e9add587bac5f54e04f
RANDOM SEED= 499648654
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.234
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.234
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: 1259192 kB
Buffers: 66300 kB
Cached: 593988 kB
SwapCached: 3664 kB
Active: 196784 kB
Inactive: 502968 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1259192 kB
SwapTotal: 4192956 kB
SwapFree: 4165584 kB
Dirty: 1728 kB
Writeback: 0 kB
Mapped: 49376 kB
Slab: 82004 kB
Committed_AS: 4200076 kB
PageTables: 2172 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= 66304 MiB
End job on node1 on Sat Jan 6 12:12:34 UTC 2007