0.08/0.11 c [ This is CaSPERzito (C) mvc@di.fct.unl.pt ]
0.08/0.11 c Parsing = 1
0.08/0.11 c Building = 1
0.08/0.11 c [ NumberOfVariables = 324 ]
0.08/0.11 c [ NumberOfConstraints = 39 ]
0.08/0.11 c [ SizeOfSearchSpace(log2) = 2702.11 ]
0.08/0.11 c SymmetrySearch = 1
0.08/0.11 c [ Found 7.43178e+08 symmetries ]
0.08/0.11 c InitialPropagation = 1
0.08/0.11 c [ SizeOfSearchSpace(log2) = 2701.77 ]
0.08/0.11 c InitialSAC = 1
2.08/2.13 c [ SizeOfSearchSpace(log2) = 2701.77 ]
2.08/2.13 c Search(DomWDeg) = 1
467.88/468.62 s SATISFIABLE
467.88/468.62 v 78 54 261 265 309 315 317 318 321 323 45 15 7 9 14 5 3 266 217 312 256 156 52 305 102 79 264 251 233 290 21 80 11 17 269 10 270 213 42 132 236 230 170 120 194 137 189 164 20 105 113 125 221 244 139 104 247 311 196 60 186 124 33 219 97 289 131 152 59 226 224 128 31 182 133 150 320 112 58 313 214 243 134 99 94 252 141 187 13 249 286 218 199 27 100 298 8 49 314 96 25 130 48 237 240 43 303 304 195 85 117 136 198 200 322 208 28 82 93 71 296 84 68 238 293 211 77 292 274 111 287 57 121 300 109 275 205 40 142 206 148 207 19 55 167 62 146 279 242 29 177 255 229 225 91 262 234 161 74 92 163 37 176 75 295 294 271 123 258 235 147 66 145 108 278 257 38 87 22 50 188 223 155 210 127 32 215 209 285 160 245 41 114 201 192 250 44 34 222 149 260 180 153 181 4 175 83 81 63 46 220 119 272 282 154 281 184 122 103 98 61 232 202 203 158 64 115 107 12 143 297 276 307 241 239 288 89 151 144 169 56 47 86 101 216 212 174 16 310 253 268 106 157 162 24 299 88 165 171 72 168 138 227 204 306 185 6 166 197 190 179 173 280 67 76 118 140 70 129 110 248 283 277 191 324 2 193 65 69 39 18 36 30 183 259 95 90 228 308 301 267 273 302 291 1 135 51 172 26 23 35 116 159 53 73 126 246 263 284 254 316 178 231 319
467.88/468.62 d CHECKS 4933039
467.88/468.62 c [ TotalFails = 231197 ]
467.88/468.62 c [ NumberOfRestarts = 10 ]
467.88/468.62 c [ TotalTime = 468.515 secs ]
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043752-1215024761/watcher-1043752-1215024761 -o /tmp/evaluation-result-1043752-1215024761/solver-1043752-1215024761 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1043752-1215024761.xml 451081631
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 5/92 13539
/proc/meminfo: memFree=828476/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=1052 CPUtime=0
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 40 0 0 0 0 0 0 0 22 0 1 0 658202637 1077248 26 996147200 134512640 135472138 4294956224 18446744073709551615 10261284 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 263 26 20 234 0 3 0
[startup+0.0699611 s]
/proc/loadavg: 1.92 1.98 1.99 5/92 13539
/proc/meminfo: memFree=828476/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=0.05
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 1783 0 0 0 5 0 0 0 22 0 1 0 658202637 102416384 1736 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 1736 505 234 0 23706 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 100016
[startup+0.10196 s]
/proc/loadavg: 1.92 1.98 1.99 5/92 13539
/proc/meminfo: memFree=828476/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=0.08
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 1783 0 0 0 8 0 0 0 22 0 1 0 658202637 102416384 1736 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 1736 505 234 0 23706 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 100016
[startup+0.301977 s]
/proc/loadavg: 1.92 1.98 1.99 5/92 13539
/proc/meminfo: memFree=828476/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=0.28
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 1788 0 0 0 28 0 0 0 24 0 1 0 658202637 102416384 1741 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 1741 505 234 0 23706 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 100016
[startup+0.70202 s]
/proc/loadavg: 1.92 1.98 1.99 5/92 13539
/proc/meminfo: memFree=828476/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=0.68
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 1789 0 0 0 68 0 0 0 25 0 1 0 658202637 102416384 1742 996147200 134512640 135472138 4294956224 18446744073709551615 134581720 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 1742 505 234 0 23706 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 100016
[startup+1.5011 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 13540
/proc/meminfo: memFree=823412/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=1.48
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 1789 0 0 0 148 0 0 0 25 0 1 0 658202637 102416384 1742 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 1742 505 234 0 23706 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 100016
[startup+3.10871 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 13540
/proc/meminfo: memFree=823284/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=100016 CPUtime=3
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 6573 0 0 0 298 2 0 0 25 0 1 0 658202637 102416384 6526 996147200 134512640 135472138 4294956224 18446744073709551615 134940703 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 25004 6526 515 234 0 23706 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 100016
[startup+6.3046 s]
/proc/loadavg: 2.09 2.02 2.01 3/93 13540
/proc/meminfo: memFree=793396/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=162520 CPUtime=5.96
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 9249 0 0 0 593 3 0 0 25 0 1 0 658202637 166420480 9202 996147200 134512640 135472138 4294956224 18446744073709551615 134672496 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 40630 9202 515 234 0 39332 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 162520
[startup+12.7013 s]
/proc/loadavg: 2.08 2.02 2.00 3/93 13540
/proc/meminfo: memFree=749300/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=162520 CPUtime=12.33
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 20235 0 0 0 1226 7 0 0 25 0 1 0 658202637 166420480 20188 996147200 134512640 135472138 4294956224 18446744073709551615 134965328 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 40630 20188 515 234 0 39332 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 162520
[startup+25.5016 s]
/proc/loadavg: 2.06 2.01 2.00 3/93 13540
/proc/meminfo: memFree=749492/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=162520 CPUtime=25.08
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 20235 0 0 0 2501 7 0 0 25 0 1 0 658202637 166420480 20188 996147200 134512640 135472138 4294956224 18446744073709551615 134965403 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 40630 20188 515 234 0 39332 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 162520
[startup+51.1013 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 13540
/proc/meminfo: memFree=737460/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=162520 CPUtime=50.57
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 23300 0 0 0 5049 8 0 0 25 0 1 0 658202637 166420480 23253 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 0 0 0
/proc/13539/statm: 40630 23253 515 234 0 39332 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 162520
[startup+102.302 s]
/proc/loadavg: 2.06 2.02 2.00 3/81 13583
/proc/meminfo: memFree=776468/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=101.69
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 34507 0 0 0 10156 13 0 0 25 0 1 0 658202637 294424576 34460 996147200 134512640 135472138 4294956224 18446744073709551615 134965400 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 34460 515 234 0 70583 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 287524
[startup+162.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/81 13583
/proc/meminfo: memFree=776212/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=161.67
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 34541 0 0 0 16154 13 0 0 25 0 1 0 658202637 294424576 34494 996147200 134512640 135472138 4294956224 18446744073709551615 134959999 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 34494 515 234 0 70583 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 287524
[startup+222.302 s]
/proc/loadavg: 2.01 2.01 2.00 4/81 13583
/proc/meminfo: memFree=755348/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=221.65
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 39725 0 0 0 22150 15 0 0 25 0 1 0 658202637 294424576 39678 996147200 134512640 135472138 4294956224 18446744073709551615 135202635 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 39678 515 234 0 70583 0
Current children cumulated CPU time (s) 221.65
Current children cumulated vsize (KiB) 287524
[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=281.64
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 28147 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134960020 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 281.64
Current children cumulated vsize (KiB) 287524
[startup+342.305 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=341.62
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 34145 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134672502 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 341.62
Current children cumulated vsize (KiB) 287524
[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732308/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=401.6
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 40143 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134940691 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 401.6
Current children cumulated vsize (KiB) 287524
[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=461.58
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46141 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134940683 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 461.58
Current children cumulated vsize (KiB) 287524
Solver just ended. Dumping a history of the last processes samples
[startup+464.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=463.38
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46321 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134882211 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 463.38
Current children cumulated vsize (KiB) 287524
[startup+465.702 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=464.98
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46481 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134882127 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 464.98
Current children cumulated vsize (KiB) 287524
[startup+467.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=466.58
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46641 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134882209 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 466.58
Current children cumulated vsize (KiB) 287524
[startup+468.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=467.38
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46721 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134940663 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 467.38
Current children cumulated vsize (KiB) 287524
[startup+468.502 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=467.78
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46761 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134881814 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 467.78
Current children cumulated vsize (KiB) 287524
[startup+468.602 s]
/proc/loadavg: 2.00 2.00 2.00 3/81 13583
/proc/meminfo: memFree=732372/2055920 swapFree=4149808/4192956
[pid=13539] ppid=13537 vsize=287524 CPUtime=467.88
/proc/13539/stat : 13539 (casperzito) R 13537 13539 12795 0 -1 4194304 45464 0 0 0 46771 17 0 0 25 0 1 0 658202637 294424576 45417 996147200 134512640 135472138 4294956224 18446744073709551615 134580310 0 0 4096 0 0 0 0 17 1 0 0
/proc/13539/statm: 71881 45417 515 234 0 70583 0
Current children cumulated CPU time (s) 467.88
Current children cumulated vsize (KiB) 287524
Child status: 0
Real time (s): 468.649
CPU time (s): 467.941
CPU user time (s): 467.739
CPU system time (s): 0.201969
CPU usage (%): 99.8489
Max. virtual memory (cumulated for all children) (KiB): 287524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 467.739
system time used= 0.201969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45467
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 2856
runsolver used 0.570913 second user time and 1.50577 second system time
The end
Begin job on node90 at 2008-07-02 20:52:41
IDJOB=1043752
IDBENCH=53649
IDSOLVER=362
FILE ID=node90/1043752-1215024761
PBS_JOBID= 7874291
Free space on /tmp= 65516 MiB
SOLVER NAME= casper zito
BENCH NAME= CPAI08/csp/magicSquare/normalized-magicSquare-18_glb.xml
COMMAND LINE= HOME/casperzito BENCHNAME RANDOMSEED
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1043752-1215024761/watcher-1043752-1215024761 -o /tmp/evaluation-result-1043752-1215024761/solver-1043752-1215024761 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/casperzito HOME/instance-1043752-1215024761.xml 451081631
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8c9a9485571326f274e2bac46160c372
RANDOM SEED=451081631
node90.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.236
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.236
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 828956 kB
Buffers: 72380 kB
Cached: 937664 kB
SwapCached: 37428 kB
Active: 551016 kB
Inactive: 593644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 828956 kB
SwapTotal: 4192956 kB
SwapFree: 4149808 kB
Dirty: 2884 kB
Writeback: 0 kB
Mapped: 148632 kB
Slab: 67052 kB
Committed_AS: 1447752 kB
PageTables: 2260 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= 65536 MiB
End job on node90 at 2008-07-02 21:00:29