0.00/0.00
0.00/0.01 c Computed by /tmp/evaluation/426759-1177828896/kcnfs-2004 V. 03/02/12
0.00/0.01 c Input file : '/tmp/evaluation/426759-1177828896/instance-426759-1177828896.cnf' (adding resolvants)
76.97/77.07 c [450 variables, 1912 clauses, ratio 4.25, mean occ 6, 3-SAT]
76.97/77.07 s SATISFIABLE
76.97/77.07 v 80 275 389 -212 410
76.97/77.07 v 318 -290 -321 -101 299
76.97/77.07 v -104 -113 -308 373 288
76.97/77.07 v -1 147 165 -427 -96
76.97/77.07 v 317 179 -271 188 53
76.97/77.07 v 184 -254 264 237 44
76.97/77.07 v 190 -429 -267 -416 -98
76.97/77.07 v -7 72 16 247 132
76.97/77.07 v 447 -211 -195 355 178
76.97/77.07 v -273 124 342 350 -201
76.97/77.07 v -129 -11 158 -384 185
76.97/77.07 v -167 -449 -109 86 199
76.97/77.07 v -401 -112 -388 134 78
76.97/77.07 v -257 142 81 -277 316
76.97/77.07 v -365 65 325 -243 67
76.97/77.07 v -306 102 -143 -151 -422
76.97/77.07 v 358 140 251 187 -219
76.97/77.07 v 278 157 -244 163 335
76.97/77.07 v -176 398 383 -177 239
76.97/77.07 v 281 -3 -346 -38 -436
76.97/77.07 v 194 -361 -360 414 -6
76.97/77.07 v 324 62 182 -210 -30
76.97/77.07 v 426 -326 -403 -229 -216
76.97/77.07 v -356 433 -197 -14 -320
76.97/77.07 v 191 435 305 -93 -406
76.97/77.07 v -359 -437 -418 -415 240
76.97/77.07 v -55 90 -341 313 -395
76.97/77.07 v 246 -245 -402 -385 -120
76.97/77.07 v -76 -268 230 -206 -329
76.97/77.07 v 249 368 -4 394 -45
76.97/77.07 v -303 -285 -322 64 337
76.97/77.07 v -444 -248 380 -446 -46
76.97/77.07 v -242 -15 421 -207 382
76.97/77.07 v -18 -289 221 -47 -51
76.97/77.07 v -137 139 238 26 -196
76.97/77.07 v 71 -440 -366 353 -311
76.97/77.07 v -400 -297 -381 387 -166
76.97/77.07 v -379 286 117 399 333
76.97/77.07 v -131 -235 -37 -226 -354
76.97/77.07 v 232 -168 407 -83 236
76.97/77.07 v 25 135 -141 282 66
76.97/77.07 v -391 295 -223 -351 193
76.97/77.07 v 12 181 170 19 145
76.97/77.07 v 125 23 270 -42 -175
76.97/77.07 v -43 -315 327 -404 118
76.97/77.07 v -87 -386 -39 -259 348
76.97/77.07 v 439 408 -162 -91 241
76.97/77.07 v 214 -443 287 -48 -314
76.97/77.07 v -200 -127 -330 215 89
76.97/77.07 v -362 144 -130 111 213
76.97/77.07 v -156 345 110 -82 430
76.97/77.07 v -339 370 -84 255 -393
76.97/77.07 v 97 58 -88 -293 269
76.97/77.07 v 94 -392 -310 40 448
76.97/77.07 v 276 280 396 334 431
76.97/77.07 v 173 -128 256 -372 186
76.97/77.07 v 413 283 9 159 100
76.97/77.07 v -344 160 -331 231 261
76.97/77.07 v 284 -169 -371 -61 164
76.97/77.07 v 272 29 28 103 -189
76.97/77.07 v -253 -24 -363 266 -274
76.97/77.07 v -296 99 205 -68 -292
76.97/77.07 v 123 -133 180 -220 59
76.97/77.07 v -309 33 79 -146 -54
76.97/77.07 v 57 367 -323 -227 -41
76.97/77.07 v -298 198 -171 -412 224
76.97/77.07 v 397 -294 -20 340 183
76.97/77.07 v 155 63 423 -174 35
76.97/77.07 v 332 -262 -149 -74 265
76.97/77.07 v 17 -304 352 -279 10
76.97/77.07 v -307 -36 -445 420 5
76.97/77.07 v -34 291 153 -75 302
76.97/77.07 v 203 -300 260 328 -250
76.97/77.07 v -364 -405 -425 -115 150
76.97/77.07 v -376 56 -192 152 301
76.97/77.07 v -122 233 -52 357 -375
76.97/77.07 v -69 -70 77 85 92
76.97/77.07 v 95 -106 108 -119 121
76.97/77.07 v -126 -138 148 -154 -161
76.97/77.07 v 172 208 209 217 218
76.97/77.07 v 222 -225 228 -234 -252
76.97/77.07 v 263 312 319 -338 343
76.97/77.07 v -349 369 374 -377 378
76.97/77.07 v 390 409 411 -417 419
76.97/77.07 v 424 -428 -438 442 450
76.97/77.07 v -27 2 8 21 -31
76.97/77.07 v 32 -49 -50 105 107
76.97/77.07 v -116 -136 202 204 258
76.97/77.07 v -347 434 13 -73 -432
76.97/77.07 v 22 -60 441 336 114
76.97/77.07 v 0
76.97/77.07 c Computation time : 77.040 seconds
76.97/77.07 c Execution time : 77.050 seconds
76.97/77.07 c Size of search tree : 129889 nodes
76.97/77.07
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-426759-1177828896 -o ROOT/results/node41/solver-426759-1177828896 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/426759-1177828896/kcnfs-2004 /tmp/evaluation/426759-1177828896/instance-426759-1177828896.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.10 1.18 1.07 3/77 9847
/proc/meminfo: memFree=1601800/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16664 CPUtime=0
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 226 0 0 0 0 0 0 0 18 0 1 0 230801478 17063936 206 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4166 206 40 107 0 4055 0
[startup+0.102745 s]
/proc/loadavg: 1.10 1.18 1.07 3/77 9847
/proc/meminfo: memFree=1601800/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=0.1
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 337 0 0 0 10 0 0 0 18 0 1 0 230801478 17133568 317 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 317 61 107 0 4072 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 16732
[startup+0.202753 s]
/proc/loadavg: 1.10 1.18 1.07 3/77 9847
/proc/meminfo: memFree=1601800/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=0.2
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 337 0 0 0 20 0 0 0 18 0 1 0 230801478 17133568 317 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577604 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 317 61 107 0 4072 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 16732
[startup+0.302762 s]
/proc/loadavg: 1.10 1.18 1.07 3/77 9847
/proc/meminfo: memFree=1601800/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=0.3
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 30 0 0 0 19 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134531263 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 16732
[startup+0.702797 s]
/proc/loadavg: 1.10 1.18 1.07 3/77 9847
/proc/meminfo: memFree=1601800/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=0.7
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 70 0 0 0 23 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134565452 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 16732
[startup+1.50183 s]
/proc/loadavg: 1.09 1.17 1.07 2/78 9848
/proc/meminfo: memFree=1600704/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=1.49
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 149 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529992 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16732
[startup+3.10197 s]
/proc/loadavg: 1.09 1.17 1.07 2/78 9848
/proc/meminfo: memFree=1600512/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=3.09
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 309 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134577984 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16732
[startup+6.30125 s]
/proc/loadavg: 1.09 1.17 1.07 2/78 9848
/proc/meminfo: memFree=1600512/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=6.29
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 629 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530239 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16732
[startup+12.7018 s]
/proc/loadavg: 1.08 1.17 1.07 2/78 9848
/proc/meminfo: memFree=1600520/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=12.69
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 1269 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528228 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16732
[startup+25.5019 s]
/proc/loadavg: 1.07 1.16 1.07 2/78 9848
/proc/meminfo: memFree=1600520/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=25.49
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 2549 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134583955 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16732
[startup+51.1011 s]
/proc/loadavg: 1.04 1.15 1.07 2/78 9848
/proc/meminfo: memFree=1600584/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=51.08
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 5108 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528812 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16732
Solver just ended. Dumping a history of the last processes samples
[startup+51.2021 s]
/proc/loadavg: 1.04 1.15 1.07 2/78 9848
/proc/meminfo: memFree=1600584/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=51.18
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 5118 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134578136 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 16732
[startup+64.0013 s]
/proc/loadavg: 1.03 1.14 1.07 2/78 9848
/proc/meminfo: memFree=1600584/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=63.97
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 6397 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134530476 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 63.97
Current children cumulated vsize (KiB) 16732
[startup+70.4018 s]
/proc/loadavg: 1.03 1.14 1.07 2/78 9848
/proc/meminfo: memFree=1600584/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=70.38
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 7038 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528112 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 70.38
Current children cumulated vsize (KiB) 16732
[startup+73.6011 s]
/proc/loadavg: 1.03 1.13 1.07 2/78 9848
/proc/meminfo: memFree=1600584/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=73.57
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 7357 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528623 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 73.57
Current children cumulated vsize (KiB) 16732
[startup+75.2012 s]
/proc/loadavg: 1.03 1.13 1.07 2/78 9848
/proc/meminfo: memFree=1600584/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=75.17
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 7517 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134529047 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 75.17
Current children cumulated vsize (KiB) 16732
[startup+76.0053 s]
/proc/loadavg: 1.03 1.13 1.07 2/78 9848
/proc/meminfo: memFree=1600584/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=75.97
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 7597 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134541565 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 75.97
Current children cumulated vsize (KiB) 16732
[startup+76.8014 s]
/proc/loadavg: 1.03 1.13 1.07 2/78 9848
/proc/meminfo: memFree=1600584/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=76.77
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 7677 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134567860 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 76.77
Current children cumulated vsize (KiB) 16732
[startup+77.0014 s]
/proc/loadavg: 1.02 1.13 1.06 2/78 9848
/proc/meminfo: memFree=1600584/2055920 swapFree=4169764/4192956
[pid=9847] ppid=9845 vsize=16732 CPUtime=76.97
/proc/9847/stat : 9847 (kcnfs-2004) R 9845 9847 9077 0 -1 0 338 0 0 0 7697 0 0 0 25 0 1 0 230801478 17133568 318 18446744073709551615 134512640 134953336 4294956656 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 1 0 0
/proc/9847/statm: 4183 318 61 107 0 4072 0
Current children cumulated CPU time (s) 76.97
Current children cumulated vsize (KiB) 16732
Child status: 10
Real time (s): 77.0728
CPU time (s): 77.0493
CPU user time (s): 77.0443
CPU system time (s): 0.004999
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 16732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 77.0443
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340
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= 1676
runsolver used 0.069989 second user time and 0.165974 second system time
The end
Begin job on node41 on Sun Apr 29 06:41:36 UTC 2007
IDJOB= 426759
IDBENCH= 19968
IDSOLVER= 194
FILE ID= node41/426759-1177828896
PBS_JOBID= 4718249
Free space on /tmp= 66561 MiB
SOLVER NAME= KCNFS 2004
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/3SAT/v450/unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf
COMMAND LINE= /tmp/evaluation/426759-1177828896/kcnfs-2004 /tmp/evaluation/426759-1177828896/instance-426759-1177828896.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-426759-1177828896 -o ROOT/results/node41/solver-426759-1177828896 -C 5000 -W 7500 -M 1800 --output-limit 1,15 --use-pty /tmp/evaluation/426759-1177828896/kcnfs-2004 /tmp/evaluation/426759-1177828896/instance-426759-1177828896.cnf
META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH= f498f91d09d29fe9da9aa03580b39379
RANDOM SEED= 825656751
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
Linux node41.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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: 1602144 kB
Buffers: 49108 kB
Cached: 310516 kB
SwapCached: 2952 kB
Active: 243424 kB
Inactive: 140228 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1602144 kB
SwapTotal: 4192956 kB
SwapFree: 4169764 kB
Dirty: 3468 kB
Writeback: 0 kB
Mapped: 31920 kB
Slab: 55320 kB
Committed_AS: 3549056 kB
PageTables: 2008 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= 66561 MiB
End job on node41 on Sun Apr 29 06:42:53 UTC 2007