0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/196879-1168070979/unknown.xml
0.39
0.39 domains being loaded...
0.42
0.42 variables being loaded...
0.47 nbVariables=141 nbDomainTypes=134 minDomainSize=1 maxDomainSize=7
0.47 => wckTime=0.143 cpuTime=0.12 mem=6M886
0.47
0.47 relations being loaded...
0.50
0.50 constraints being loaded...
0.71 nbConstraints=896 nbRelationTypes=215 nbSingletonDomainVariables=1 nbExtensionStructures=878
0.71 nbSharedExtensionStructures=18 nbConflictsStructures=878 nbSharedConflictsStructures=18
0.71 nbSharedBinaryRepresentations=6802 maxDegree=14 maxArity=2
0.71 => wckTime=0.385 cpuTime=0.26 mem=11M770
0.75
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.599 cpuTime=0.4 mem=15M142
0.94
0.94 preprocessing
0.94 nbConstraintChecks=33 nbPropagations=141 nbRevisions=7 nbUselessRevisions=0 nbRemovedValues=7
0.94 detectedInconsistency=no
0.94 => wckTime=0.017 cpuTime=0.01 mem=15M142
0.99
0.99 search
0.99 run=0 nbConstraintChecks=2494 nbPropagations=393 nbRevisions=850 nbUselessRevisions=460 nbAssignments=40
0.99 nbFailedAssignments=6 nbBacktracks=12 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.063 cpuTime=0.03 mem=15M142
1.01
1.01 search
1.01 run=1 nbConstraintChecks=6761 nbPropagations=1190 nbRevisions=3241 nbUselessRevisions=1793 nbAssignments=104
1.01 nbFailedAssignments=14 nbBacktracks=40 nbVisitedNodes=130 nbRestartNogoods=2 mapSize=21 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.082 cpuTime=0.04 mem=15M142
1.03
1.03 search
1.03 run=2 nbConstraintChecks=11126 nbPropagations=2424 nbRevisions=7277 nbUselessRevisions=4141 nbAssignments=179
1.03 nbFailedAssignments=21 nbBacktracks=65 nbVisitedNodes=221 nbRestartNogoods=4 mapSize=34 nbInferences=0
1.03 nbTooLargeKeys=0
1.03 => wckTime=0.103 cpuTime=0.05 mem=15M142
1.04
1.04 search
1.04 run=3 nbConstraintChecks=16203 nbPropagations=4078 nbRevisions=13188 nbUselessRevisions=7635 nbAssignments=248
1.04 nbFailedAssignments=26 nbBacktracks=110 nbVisitedNodes=304 nbRestartNogoods=7 mapSize=47 nbInferences=0
1.04 nbTooLargeKeys=0
1.04 => wckTime=0.119 cpuTime=0.07 mem=15M142
1.05
1.05 search
1.06 run=4 nbConstraintChecks=21344 nbPropagations=6206 nbRevisions=20863 nbUselessRevisions=12065
1.06 nbAssignments=334 nbFailedAssignments=40 nbBacktracks=162 nbVisitedNodes=411 nbRestartNogoods=8 mapSize=66
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.131 cpuTime=0.08 mem=15M142
1.07
1.08 search
1.08 run=5 nbConstraintChecks=29440 nbPropagations=9009 nbRevisions=31342 nbUselessRevisions=18036
1.08 nbAssignments=442 nbFailedAssignments=56 nbBacktracks=237 nbVisitedNodes=556 nbRestartNogoods=10 mapSize=98
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.15 cpuTime=0.09 mem=15M142
1.10
1.10 search
1.10 run=6 nbConstraintChecks=40769 nbPropagations=12759 nbRevisions=46038 nbUselessRevisions=26439
1.10 nbAssignments=598 nbFailedAssignments=75 nbBacktracks=357 nbVisitedNodes=758 nbRestartNogoods=12 mapSize=142
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.178 cpuTime=0.12 mem=15M142
1.14
1.14 search
1.14 run=7 nbConstraintChecks=57525 nbPropagations=17823 nbRevisions=67571 nbUselessRevisions=39183
1.14 nbAssignments=830 nbFailedAssignments=96 nbBacktracks=529 nbVisitedNodes=1029 nbRestartNogoods=13 mapSize=176
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.218 cpuTime=0.16 mem=15M142
1.19
1.19 search
1.19 run=8 nbConstraintChecks=88794 nbPropagations=25113 nbRevisions=102270 nbUselessRevisions=60499
1.19 nbAssignments=1155 nbFailedAssignments=127 nbBacktracks=800 nbVisitedNodes=1419 nbRestartNogoods=18
1.19 mapSize=234 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.269 cpuTime=0.21 mem=15M142
1.27
1.27 search
1.27 run=9 nbConstraintChecks=129020 nbPropagations=35550 nbRevisions=152463 nbUselessRevisions=91278
1.27 nbAssignments=1620 nbFailedAssignments=181 nbBacktracks=1185 nbVisitedNodes=2007 nbRestartNogoods=23
1.27 mapSize=347 nbInferences=1 nbTooLargeKeys=0
1.28 => wckTime=0.35 cpuTime=0.27 mem=16M117
1.39
1.39 search
1.39 run=10 nbConstraintChecks=218846 nbPropagations=52438 nbRevisions=238979 nbUselessRevisions=144768
1.40 nbAssignments=2370 nbFailedAssignments=328 nbBacktracks=1764 nbVisitedNodes=3061 nbRestartNogoods=29
1.40 mapSize=613 nbInferences=1 nbTooLargeKeys=0
1.40 => wckTime=0.471 cpuTime=0.38 mem=16M117
1.54
1.54 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=16M117)
1.57
1.57 search
1.57 run=11 nbConstraintChecks=398091 nbPropagations=81409 nbRevisions=397995 nbUselessRevisions=244014
1.57 nbAssignments=3492 nbFailedAssignments=563 nbBacktracks=2631 nbVisitedNodes=4746 nbRestartNogoods=35
1.57 => wckTime=0.646 cpuTime=0.55 mem=16M117
1.77
1.77 search
1.77 run=12 nbConstraintChecks=600210 nbPropagations=125895 nbRevisions=634780 nbUselessRevisions=389840
1.77 nbAssignments=5167 nbFailedAssignments=908 nbBacktracks=3929 nbVisitedNodes=7195 nbRestartNogoods=41
1.77 => wckTime=0.844 cpuTime=0.74 mem=16M117
2.07
2.07 search
2.07 run=13 nbConstraintChecks=940386 nbPropagations=194615 nbRevisions=1025491 nbUselessRevisions=640366
2.07 nbAssignments=7558 nbFailedAssignments=1331 nbBacktracks=5880 nbVisitedNodes=10485 nbRestartNogoods=51
2.07 => wckTime=1.147 cpuTime=1.05 mem=16M117
2.54
2.54 search
2.55 run=14 nbConstraintChecks=1444707 nbPropagations=299723 nbRevisions=1631898 nbUselessRevisions=1031133
2.55 nbAssignments=11179 nbFailedAssignments=2009 nbBacktracks=8799 nbVisitedNodes=15617 nbRestartNogoods=55
2.55 => wckTime=1.621 cpuTime=1.51 mem=16M117
3.23
3.23 search
3.23 run=15 nbConstraintChecks=2221837 nbPropagations=459089 nbRevisions=2571899 nbUselessRevisions=1640199
3.23 nbAssignments=16574 nbFailedAssignments=3004 nbBacktracks=13178 nbVisitedNodes=23175 nbRestartNogoods=63
3.23 => wckTime=2.307 cpuTime=2.19 mem=16M117
4.23
4.23 search
4.23 run=16 nbConstraintChecks=3348334 nbPropagations=698849 nbRevisions=3966235 nbUselessRevisions=2531464
4.23 nbAssignments=24885 nbFailedAssignments=4726 nbBacktracks=19746 nbVisitedNodes=35390 nbRestartNogoods=68
4.23 => wckTime=3.311 cpuTime=3.18 mem=16M117
5.83
5.83 search
5.83 run=17 nbConstraintChecks=5140456 nbPropagations=1065108 nbRevisions=6100131 nbUselessRevisions=3893945
5.83 nbAssignments=37220 nbFailedAssignments=7180 nbBacktracks=29598 nbVisitedNodes=53316 nbRestartNogoods=76
5.83 => wckTime=4.905 cpuTime=4.75 mem=16M117
5.96
5.96 search
5.96 run=18 nbConstraintChecks=5281189 nbPropagations=1441407 nbRevisions=8290835 nbUselessRevisions=5291991
5.96 nbAssignments=38379 nbFailedAssignments=7373 nbBacktracks=30423 nbVisitedNodes=54984 nbRestartNogoods=84
5.96 => wckTime=5.039 cpuTime=4.88 mem=16M117
5.96
5.96 global
5.96 nbConstraintChecks=5281222 nbPropagations=1441548 nbRevisions=8290842 nbUselessRevisions=5291991
5.96 nbRestartNogoods=84 solvingWckTime=5.04 solvingCpuTime=4.89 expiredTime=no totalExploration=no
5.97 nbFoundSolutions=1 globalCpuTime=5.33
5.97 => wckTime=5.642 cpuTime=5.29 mem=16M117
5.97
5.97 s SATISFIABLE
5.97 v 14 1 16 10 7 4 5 9 15 0 5 6 2 17 4 13 15 12 2 7 13 16 11 5 16 9 10 12 5 0 7 17 6 5 15 7 8 3 12 14 7 11 3 8 17 10 4 12 8 17 15 1 2 14 16 2 10 12 11 9 4 16 7 9 1 17 13 15 2 12 7 1 2 4 9 15 0 14 17 4 9 7 10 1 3 15 5 4 13 15 12 14 6 7 5 10 14 2 15 3 11 12 8 14 5 12 11 15 10 7 8 13 12 6 9 3 0 15 10 7 17 4 14 5 6 1 14 7 2 3 9 0 16 5 0 7 17 9 14 8 2
5.97 d NODES 38379
5.97 d CHECKS 5281222
5.97
5.97 totalWckTime=5.727 totalCpuTime=5.33
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-196879-1168070979 -o ROOT/results/node6/solver-196879-1168070979 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196879-1168070979/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.87 1.97 1.94 4/93 6080
/proc/meminfo: memFree=1304888/2055924 swapFree=4165672/4192956
[pid=6079] ppid=6077 vsize=18540 CPUtime=0
/proc/6079/stat : 6079 (runsolver) R 6077 6079 5788 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155493307 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/6079/statm: 4635 279 244 17 0 2626 0
[startup+0.107853 s]
/proc/loadavg: 1.87 1.97 1.94 4/93 6080
/proc/meminfo: memFree=1304888/2055924 swapFree=4165672/4192956
[pid=6079] ppid=6077 vsize=914988 CPUtime=0.09
/proc/6079/stat : 6079 (java) R 6077 6079 5788 0 -1 0 3001 0 1 0 7 2 0 0 17 0 8 0 155493307 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073443225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6079/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515903 s]
/proc/loadavg: 1.87 1.97 1.94 4/93 6080
/proc/meminfo: memFree=1304888/2055924 swapFree=4165672/4192956
[pid=6079] ppid=6077 vsize=915328 CPUtime=0.49
/proc/6079/stat : 6079 (java) S 6077 6079 5788 0 -1 0 6235 0 1 0 45 4 0 0 17 0 8 0 155493307 937295872 5974 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6079/statm: 228832 5974 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.339 s]
/proc/loadavg: 1.87 1.97 1.94 4/100 6087
/proc/meminfo: memFree=1280576/2055924 swapFree=4165672/4192956
[pid=6079] ppid=6077 vsize=915568 CPUtime=1.31
/proc/6079/stat : 6079 (java) R 6077 6079 5788 0 -1 0 8835 0 1 0 123 8 0 0 18 0 8 0 155493307 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073890177 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6079/statm: 228892 8573 2513 14 0 215362 0
[pid=6079/tid=6081] ppid=6077 vsize=915568 CPUtime=0.03
/proc/6079/task/6081/stat : 6081 (java) S 6077 6079 5788 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 155493311 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6082] ppid=6077 vsize=915568 CPUtime=0
/proc/6079/task/6082/stat : 6082 (java) S 6077 6079 5788 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155493311 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6083] ppid=6077 vsize=915568 CPUtime=0
/proc/6079/task/6083/stat : 6083 (java) S 6077 6079 5788 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155493311 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6084] ppid=6077 vsize=915568 CPUtime=0
/proc/6079/task/6084/stat : 6084 (java) S 6077 6079 5788 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155493315 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6085] ppid=6077 vsize=915568 CPUtime=0.28
/proc/6079/task/6085/stat : 6085 (java) R 6077 6079 5788 0 -1 64 407 0 0 0 27 1 0 0 20 0 8 0 155493315 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6086] ppid=6077 vsize=915568 CPUtime=0
/proc/6079/task/6086/stat : 6086 (java) S 6077 6079 5788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155493315 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6087] ppid=6077 vsize=915568 CPUtime=0
/proc/6079/task/6087/stat : 6087 (java) S 6077 6079 5788 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155493315 937541632 8573 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915568
[startup+2.99219 s]
/proc/loadavg: 1.88 1.97 1.94 3/100 6087
/proc/meminfo: memFree=1280064/2055924 swapFree=4165672/4192956
[pid=6079] ppid=6077 vsize=915568 CPUtime=2.95
/proc/6079/stat : 6079 (java) R 6077 6079 5788 0 -1 0 8897 0 1 0 287 8 0 0 25 0 8 0 155493307 937541632 8634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6079/statm: 228892 8634 2513 14 0 215362 0
[pid=6079/tid=6081] ppid=6077 vsize=915568 CPUtime=0.03
/proc/6079/task/6081/stat : 6081 (java) S 6077 6079 5788 0 -1 64 335 0 0 0 3 0 0 0 16 0 8 0 155493311 937541632 8634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6082] ppid=6077 vsize=915568 CPUtime=0
/proc/6079/task/6082/stat : 6082 (java) S 6077 6079 5788 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155493311 937541632 8634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6083] ppid=6077 vsize=915568 CPUtime=0
/proc/6079/task/6083/stat : 6083 (java) S 6077 6079 5788 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155493311 937541632 8634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6084] ppid=6077 vsize=915568 CPUtime=0
/proc/6079/task/6084/stat : 6084 (java) S 6077 6079 5788 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155493315 937541632 8634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6085] ppid=6077 vsize=915568 CPUtime=0.31
/proc/6079/task/6085/stat : 6085 (java) S 6077 6079 5788 0 -1 64 413 0 0 0 29 2 0 0 16 0 8 0 155493315 937541632 8634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6086] ppid=6077 vsize=915568 CPUtime=0
/proc/6079/task/6086/stat : 6086 (java) S 6077 6079 5788 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155493315 937541632 8634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6079/tid=6087] ppid=6077 vsize=915568 CPUtime=0
/proc/6079/task/6087/stat : 6087 (java) S 6077 6079 5788 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155493315 937541632 8634 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915568
Child status: 0
Real time (s): 5.98165
CPU time (s): 5.9111
CPU user time (s): 5.82112
CPU system time (s): 0.089986
CPU usage (%): 98.8206
Max. virtual memory (cumulated for all children) (KiB): 915568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.82111
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9001
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= 1051
involuntary context switches= 1523
runsolver used 0.013997 s user time and 0.024996 s system time
The end
Begin job on node6 on Sat Jan 6 08:09:39 UTC 2007
IDJOB= 196879
IDBENCH= 3419
FILE ID= node6/196879-1168070979
PBS_JOBID= 3475720
Free space on /tmp= 66529 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bqwh/bqwh-18-141/bqwh-18-141-99_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196879-1168070979/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-196879-1168070979 -o ROOT/results/node6/solver-196879-1168070979 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196879-1168070979/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3c18d0594d757d754eb8c81c6dbd3cab
RANDOM SEED= 342035309
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: 1305304 kB
Buffers: 82060 kB
Cached: 507320 kB
SwapCached: 3036 kB
Active: 374728 kB
Inactive: 279936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1305304 kB
SwapTotal: 4192956 kB
SwapFree: 4165672 kB
Dirty: 2020 kB
Writeback: 0 kB
Mapped: 84460 kB
Slab: 80528 kB
Committed_AS: 4924952 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:09:45 UTC 2007