0.18/0.20 c mistral-prime version 1.313
0.18/0.20 c
0.18/0.20 c Parsing xml file
0.18/0.20 c domains............... 0 (1 domains)
0.18/0.20 c variables............. 0 (300 variables)
0.18/0.20 c predicates............ 0 (1 predicates)
0.18/0.20 c constraints........... 1.83 (44850 constraints)
1.78/1.85 c Parsing time: 1.83
1.78/1.85 c
1.78/1.85 c Building model
2.47/2.54 c 1 AllDifferent constraints infered
2.57/2.64 c 0 constants
2.57/2.64 c 0 Boolean variables (+0)
2.57/2.64 c 0 range variables (+0)
2.57/2.64 c 0 domain (b) variables (+0)
2.57/2.64 c 300 domain (l) variables (+0)
2.57/2.64 c 44850 constraints (+1)
2.57/2.64 c 0 values
2.57/2.64 c Building time: 0.78
2.57/2.64 c
2.57/2.64 c Solving instance
2.57/2.64 c heuristic = dom/wdeg
2.57/2.64 c Randomized probing iteration = 100
2.57/2.64 c probing limit = 30
2.57/2.64 c level based weights = no
2.57/2.64 c impact probing = no
2.57/2.64 c restart policy = No restart
2.57/2.64 c probing .378.38
380.86/381.66 c Probing Nodes 283
380.86/381.66 c Solving time: 378.38
380.86/381.66 c
380.86/381.66 s SATISFIABLE
380.86/381.66 v 11 248 256 175 31 57 206 95 237 184 247 49 204 189 154 200 26 172 285 227 217 140 174 221 298 281 214 170 186 12 255 286 236 65 116 201 23 21 287 1 44 169 105 82 284 224 10 254 156 52 171 235 92 42 29 91 41 43 78 158 141 144 58 14 126 115 222 151 38 250 177 68 60 103 242 48 110 40 76 128 73 190 83 272 209 7 102 77 112 146 267 300 239 99 117 47 67 251 51 259 3 127 297 18 54 205 233 101 62 155 234 293 185 270 113 241 138 261 125 36 262 181 35 118 98 162 220 178 24 244 132 149 157 265 245 34 59 296 299 249 288 32 87 90 16 111 199 202 94 246 252 215 238 219 2 69 203 292 280 89 46 122 191 28 229 271 134 5 257 6 9 179 276 61 25 192 176 253 145 240 85 193 71 268 282 218 195 107 104 294 291 210 197 148 264 226 168 225 213 39 121 75 136 109 173 263 164 135 279 223 159 88 188 123 194 274 63 96 13 260 114 45 165 290 15 167 295 80 152 147 79 196 129 278 64 133 228 53 17 230 20 182 143 119 86 120 4 37 84 55 93 180 208 153 289 27 19 183 166 56 124 72 283 97 277 131 243 108 216 207 139 211 231 8 66 232 50 70 137 160 130 33 81 161 266 187 100 142 269 22 163 106 150 212 198 273 275 74 258 30
380.86/381.66 d CHECKS 8146679
380.86/381.66 d ASSIGNMENTS 283
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056192-1215062273/watcher-1056192-1215062273 -o /tmp/evaluation-result-1056192-1215062273/solver-1056192-1215062273 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056192-1215062273.xml -v 1 -rs 1476650758 -probe 1 -ph 0 -heu dom/wdeg -res no
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: 2.00 2.00 2.00 4/81 4046
/proc/meminfo: memFree=1619256/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=820 CPUtime=0
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 39 0 0 0 0 0 0 0 19 0 1 0 1535902346 839680 25 996147200 134512640 135239859 4294956144 18446744073709551615 9696036 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 205 25 19 177 0 3 0
[startup+0.109105 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 4046
/proc/meminfo: memFree=1619256/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=5916 CPUtime=0.09
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 795 0 0 0 9 0 0 0 18 0 1 0 1535902346 6057984 761 996147200 134512640 135239859 4294956144 18446744073709551615 4159782615 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 1479 761 393 177 0 382 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5916
[startup+0.201113 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 4046
/proc/meminfo: memFree=1619256/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=6988 CPUtime=0.18
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 1067 0 0 0 18 0 0 0 18 0 1 0 1535902346 7155712 1033 996147200 134512640 135239859 4294956144 18446744073709551615 134597390 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 1747 1033 393 177 0 650 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6988
[startup+0.301126 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 4046
/proc/meminfo: memFree=1619256/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=8144 CPUtime=0.28
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 1361 0 0 0 28 0 0 0 19 0 1 0 1535902346 8339456 1327 996147200 134512640 135239859 4294956144 18446744073709551615 134683271 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 2036 1327 393 177 0 939 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8144
[startup+0.701162 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 4046
/proc/meminfo: memFree=1619256/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=12928 CPUtime=0.68
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 2546 0 0 0 67 1 0 0 23 0 1 0 1535902346 13238272 2446 996147200 134512640 135239859 4294956144 18446744073709551615 134622425 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 3232 2446 393 177 0 2135 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 12928
[startup+1.50124 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1606576/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=21876 CPUtime=1.48
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 4879 0 0 0 145 3 0 0 25 0 1 0 1535902346 22401024 4616 996147200 134512640 135239859 4294956144 18446744073709551615 4158656412 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 5469 4616 393 177 0 4372 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21876
[startup+3.10139 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1598000/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46416 CPUtime=3.07
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11281 0 0 0 300 7 0 0 25 0 1 0 1535902346 47529984 10678 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11604 10678 429 177 0 10507 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 46416
[startup+6.30171 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1577968/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46416 CPUtime=6.26
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11281 0 0 0 619 7 0 0 25 0 1 0 1535902346 47529984 10678 996147200 134512640 135239859 4294956144 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11604 10678 429 177 0 10507 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 46416
[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1577840/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46416 CPUtime=12.63
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11286 0 0 0 1256 7 0 0 25 0 1 0 1535902346 47529984 10683 996147200 134512640 135239859 4294956144 18446744073709551615 135096428 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11604 10683 431 177 0 10507 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 46416
[startup+25.5016 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1577840/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46548 CPUtime=25.38
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11292 0 0 0 2531 7 0 0 25 0 1 0 1535902346 47665152 10689 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11637 10689 431 177 0 10540 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 46548
[startup+51.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1577840/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46548 CPUtime=50.87
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11299 0 0 0 5080 7 0 0 25 0 1 0 1535902346 47665152 10696 996147200 134512640 135239859 4294956144 18446744073709551615 135096317 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11637 10696 431 177 0 10540 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 46548
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 4047
/proc/meminfo: memFree=1577648/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46548 CPUtime=101.87
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11314 0 0 0 10180 7 0 0 25 0 1 0 1535902346 47665152 10711 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 1 0 0
/proc/4046/statm: 11637 10711 431 177 0 10540 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 46548
[startup+162.301 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 4137
/proc/meminfo: memFree=1679368/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46680 CPUtime=161.75
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11343 0 0 0 16166 9 0 0 25 0 1 0 1535902346 47800320 10740 996147200 134512640 135239859 4294956144 18446744073709551615 134532176 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11670 10740 431 177 0 10573 0
Current children cumulated CPU time (s) 161.75
Current children cumulated vsize (KiB) 46680
[startup+222.305 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 4137
/proc/meminfo: memFree=1679368/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=46940 CPUtime=221.7
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11406 0 0 0 22161 9 0 0 25 0 1 0 1535902346 48066560 10770 996147200 134512640 135239859 4294956144 18446744073709551615 134535328 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11735 10770 431 177 0 10638 0
Current children cumulated CPU time (s) 221.7
Current children cumulated vsize (KiB) 46940
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1603328/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47072 CPUtime=281.63
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11457 0 0 0 28153 10 0 0 25 0 1 0 1535902346 48201728 10821 996147200 134512640 135239859 4294956144 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11768 10821 431 177 0 10671 0
Current children cumulated CPU time (s) 281.63
Current children cumulated vsize (KiB) 47072
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1603008/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47072 CPUtime=341.58
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11481 0 0 0 34148 10 0 0 25 0 1 0 1535902346 48201728 10845 996147200 134512640 135239859 4294956144 18446744073709551615 135096400 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11768 10845 431 177 0 10671 0
Current children cumulated CPU time (s) 341.58
Current children cumulated vsize (KiB) 47072
Solver just ended. Dumping a history of the last processes samples
[startup+358.402 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602816/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47460 CPUtime=357.67
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11570 0 0 0 35757 10 0 0 25 0 1 0 1535902346 48599040 10869 996147200 134512640 135239859 4294956144 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11865 10869 431 177 0 10768 0
Current children cumulated CPU time (s) 357.67
Current children cumulated vsize (KiB) 47460
[startup+371.201 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602624/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47724 CPUtime=370.46
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11637 0 0 0 37035 11 0 0 25 0 1 0 1535902346 48869376 10936 996147200 134512640 135239859 4294956144 18446744073709551615 134534768 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11931 10936 431 177 0 10834 0
Current children cumulated CPU time (s) 370.46
Current children cumulated vsize (KiB) 47724
[startup+377.602 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602624/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47724 CPUtime=376.86
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11643 0 0 0 37675 11 0 0 25 0 1 0 1535902346 48869376 10942 996147200 134512640 135239859 4294956144 18446744073709551615 134538928 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11931 10942 431 177 0 10834 0
Current children cumulated CPU time (s) 376.86
Current children cumulated vsize (KiB) 47724
[startup+379.202 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602624/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47724 CPUtime=378.46
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11645 0 0 0 37835 11 0 0 25 0 1 0 1535902346 48869376 10944 996147200 134512640 135239859 4294956144 18446744073709551615 134538902 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11931 10944 431 177 0 10834 0
Current children cumulated CPU time (s) 378.46
Current children cumulated vsize (KiB) 47724
[startup+380.801 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602624/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47724 CPUtime=380.06
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11648 0 0 0 37995 11 0 0 25 0 1 0 1535902346 48869376 10947 996147200 134512640 135239859 4294956144 18446744073709551615 134535328 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11931 10947 431 177 0 10834 0
Current children cumulated CPU time (s) 380.06
Current children cumulated vsize (KiB) 47724
[startup+381.601 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602624/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=47724 CPUtime=380.86
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11651 0 0 0 38075 11 0 0 25 0 1 0 1535902346 48869376 10950 996147200 134512640 135239859 4294956144 18446744073709551615 135096400 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 11931 10950 431 177 0 10834 0
Current children cumulated CPU time (s) 380.86
Current children cumulated vsize (KiB) 47724
[startup+381.806 s]
/proc/loadavg: 1.99 1.98 1.99 3/81 4176
/proc/meminfo: memFree=1602560/2055920 swapFree=4122584/4192956
[pid=4046] ppid=4044 vsize=26928 CPUtime=381.06
/proc/4046/stat : 4046 (xsolve) R 4044 4046 440 0 -1 4194304 11665 0 0 0 38095 11 0 0 25 0 1 0 1535902346 27574272 5887 996147200 134512640 135239859 4294956144 18446744073709551615 10125436 0 0 4096 0 0 0 0 17 0 0 0
/proc/4046/statm: 6732 5887 442 177 0 5635 0
Current children cumulated CPU time (s) 381.06
Current children cumulated vsize (KiB) 26928
Child status: 0
Real time (s): 381.829
CPU time (s): 381.094
CPU user time (s): 380.977
CPU system time (s): 0.116982
CPU usage (%): 99.8075
Max. virtual memory (cumulated for all children) (KiB): 47724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 380.977
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11666
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= 7
involuntary context switches= 2439
runsolver used 0.396939 second user time and 1.03484 second system time
The end
Begin job on node12 at 2008-07-03 07:17:53
IDJOB=1056192
IDBENCH=57403
IDSOLVER=342
FILE ID=node12/1056192-1215062273
PBS_JOBID= 7875150
Free space on /tmp= 66536 MiB
SOLVER NAME= MDG-probe 2008-06-27
BENCH NAME= CPAI08/csp/largeQueens/normalized-queens-300.xml
COMMAND LINE= HOME/xsolve BENCHNAME -v 1 -rs RANDOMSEED -probe 1 -ph 0 -heu dom/wdeg -res no
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056192-1215062273/watcher-1056192-1215062273 -o /tmp/evaluation-result-1056192-1215062273/solver-1056192-1215062273 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/xsolve HOME/instance-1056192-1215062273.xml -v 1 -rs 1476650758 -probe 1 -ph 0 -heu dom/wdeg -res no
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= c7d57b0262fde2b45e9a562f45f9d3ca
RANDOM SEED=1476650758
node12.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1619736 kB
Buffers: 26232 kB
Cached: 143900 kB
SwapCached: 64468 kB
Active: 282480 kB
Inactive: 89496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1619736 kB
SwapTotal: 4192956 kB
SwapFree: 4122584 kB
Dirty: 6828 kB
Writeback: 0 kB
Mapped: 218048 kB
Slab: 49100 kB
Committed_AS: 2996944 kB
PageTables: 2240 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= 66532 MiB
End job on node12 at 2008-07-03 07:24:15