Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | OPT | 44 | 638.965 | 639.181 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb |
MD5SUM | a849a24692bdc034ba3174a2ba23709e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 182.509 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | YES |
Number of variables | 601 |
Total number of constraints | 1089 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 36 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 99 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 682 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.02 c INFO: OSL Context initialized. 0.13 c Initial problem consists of 601 variables and 1089 constraints. 0.14 c No problem reductions applied in OPT. instance. 0.14 c preprocess terminated. Elapsed time: 0.123 0.14 c After prepocess the problem consists of 600 variables and 1088 constraints. 0.14 c Initial Lower Bound: 36 0.53 c Restart #1 #Var: 600 LB: 36 @ 0.511 0.87 c Sol. found (all assignments made)... 0.87 o 75 0.87 c NEW SOLUTION FOUND: 75 @ 0.851 0.98 c Sol. found (all assignments made)... 0.98 o 67 0.98 c NEW SOLUTION FOUND: 67 @ 0.968 1.81 c Restart #2 #Var: 600 LB: 36 @ 1.798 2.15 c Sol. found (all assignments made)... 2.15 o 63 2.15 c NEW SOLUTION FOUND: 63 @ 2.131 3.45 c Restart #3 #Var: 600 LB: 36 @ 3.434 5.02 c Restart #4 #Var: 600 LB: 36 @ 5 7.06 c Restart #5 #Var: 600 LB: 36 @ 7.045 9.16 c Restart #6 #Var: 600 LB: 36 @ 9.145 11.02 c Sol. found (all assignments made)... 11.02 o 61 11.02 c NEW SOLUTION FOUND: 61 @ 10.998 11.21 c Sol. found (all assignments made)... 11.21 o 59 11.21 c NEW SOLUTION FOUND: 59 @ 11.193 11.37 c Sol. found (all assignments made)... 11.37 o 55 11.37 c NEW SOLUTION FOUND: 55 @ 11.347 12.71 c Restart #7 #Var: 597 LB: 36 @ 12.693 15.63 c Restart #8 #Var: 594 LB: 36 @ 15.606 16.56 c Restart #9 #Var: 594 LB: 36 @ 16.538 17.56 c Restart #10 #Var: 593 LB: 36 @ 17.537 20.07 c CHANGE to MIS mode... UB: 55 MIS: 36 LPR: 36 (0.09075) Diff: 1 20.07 c Restart #0 #Var: 593 LB: 36 @ 20.021 20.27 c Restart #1 #Var: 593 LB: 36 @ 20.227 20.51 c Restart #2 #Var: 593 LB: 36 @ 20.468 20.89 c Sol. found (all assignments made)... 20.89 o 54 20.89 c NEW SOLUTION FOUND: 54 @ 20.848 21.30 c Restart #3 #Var: 593 LB: 36 @ 21.252 22.03 c Restart #4 #Var: 593 LB: 36 @ 21.986 22.86 c Restart #5 #Var: 590 LB: 36 @ 22.812 23.22 c Sol. found (all assignments made)... 23.22 o 53 23.22 c NEW SOLUTION FOUND: 53 @ 23.177 23.79 c Restart #6 #Var: 588 LB: 36 @ 23.74 24.64 c Restart #7 #Var: 587 LB: 36 @ 24.592 25.66 c Restart #8 #Var: 587 LB: 36 @ 25.616 26.39 c Sol. found (all assignments made)... 26.39 o 52 26.39 c NEW SOLUTION FOUND: 52 @ 26.341 27.64 c Restart #9 #Var: 585 LB: 36 @ 27.591 28.94 c Restart #10 #Var: 585 LB: 36 @ 28.896 30.31 c Restart #11 #Var: 585 LB: 36 @ 30.261 32.03 c Restart #12 #Var: 585 LB: 36 @ 31.982 34.01 c Restart #13 #Var: 585 LB: 36 @ 33.955 35.62 c Restart #14 #Var: 585 LB: 36 @ 35.572 36.36 c Sol. found (all assignments made)... 36.36 o 48 36.36 c NEW SOLUTION FOUND: 48 @ 36.309 38.33 c Restart #15 #Var: 585 LB: 36 @ 38.275 41.28 c Restart #16 #Var: 585 LB: 36 @ 41.226 44.24 c Restart #17 #Var: 585 LB: 36 @ 44.184 48.54 c Restart #18 #Var: 585 LB: 36 @ 48.49 52.05 c Restart #19 #Var: 585 LB: 36 @ 52 55.69 c Restart #20 #Var: 585 LB: 36 @ 55.634 59.27 c Restart #21 #Var: 585 LB: 36 @ 59.211 63.30 c Restart #22 #Var: 585 LB: 36 @ 63.242 67.26 c Restart #23 #Var: 585 LB: 36 @ 67.205 73.85 c Restart #24 #Var: 585 LB: 36 @ 73.791 76.59 c Restart #25 #Var: 585 LB: 36 @ 76.525 83.54 c Restart #26 #Var: 585 LB: 36 @ 83.472 90.86 c Restart #27 #Var: 585 LB: 36 @ 90.796 92.05 c Sol. found (all assignments made)... 92.05 o 47 92.05 c NEW SOLUTION FOUND: 47 @ 91.983 99.88 c Restart #28 #Var: 585 LB: 36 @ 99.809 105.10 c Restart #29 #Var: 585 LB: 36 @ 105.03 113.50 c Restart #30 #Var: 585 LB: 36 @ 113.43 121.66 c Restart #31 #Var: 585 LB: 36 @ 121.58 126.95 c Sol. found (all assignments made)... 126.95 o 46 126.95 c NEW SOLUTION FOUND: 46 @ 126.87 127.22 c Sol. found (all assignments made)... 127.22 o 45 127.22 c NEW SOLUTION FOUND: 45 @ 127.14 137.57 c Restart #32 #Var: 584 LB: 36 @ 137.49 153.94 c Restart #33 #Var: 584 LB: 36 @ 153.86 166.29 c Restart #34 #Var: 584 LB: 36 @ 166.2 180.91 c Restart #35 #Var: 584 LB: 36 @ 180.82 196.13 c Restart #36 #Var: 578 LB: 36 @ 196.03 210.83 c Restart #37 #Var: 578 LB: 36 @ 210.73 220.80 c Restart #38 #Var: 578 LB: 36 @ 220.7 233.35 c Restart #39 #Var: 578 LB: 36 @ 233.24 239.61 c Restart #40 #Var: 578 LB: 36 @ 239.51 252.02 c Restart #41 #Var: 577 LB: 36 @ 251.91 263.37 c Restart #42 #Var: 577 LB: 36 @ 263.25 272.42 c Restart #43 #Var: 577 LB: 36 @ 272.31 282.53 c Restart #44 #Var: 577 LB: 36 @ 282.41 293.80 c Restart #45 #Var: 577 LB: 36 @ 293.68 307.22 c Restart #46 #Var: 577 LB: 36 @ 307.09 322.71 c Restart #47 #Var: 577 LB: 36 @ 322.58 336.89 c Restart #48 #Var: 577 LB: 36 @ 336.75 351.41 c Restart #49 #Var: 577 LB: 36 @ 351.27 374.19 c Restart #50 #Var: 577 LB: 36 @ 374.05 384.77 c Sol. found (all assignments made)... 384.77 o 44 384.77 c NEW SOLUTION FOUND: 44 @ 384.62 397.80 c Restart #51 #Var: 572 LB: 36 @ 397.65 416.64 c Restart #52 #Var: 572 LB: 36 @ 416.49 436.29 c Restart #53 #Var: 572 LB: 36 @ 436.13 461.37 c Restart #54 #Var: 570 LB: 36 @ 461.2 483.42 c Restart #55 #Var: 570 LB: 36 @ 483.25 507.46 c Restart #56 #Var: 570 LB: 36 @ 507.28 528.45 c Restart #57 #Var: 569 LB: 36 @ 528.27 555.27 c Restart #58 #Var: 569 LB: 36 @ 555.08 585.70 c Restart #59 #Var: 528 LB: 36 @ 585.5 612.93 c Restart #60 #Var: 426 LB: 36 @ 612.72 637.93 c Restart #61 #Var: 270 LB: 36 @ 637.72 639.13 s OPTIMUM FOUND 639.13 c Cost: 44 639.13 v -x1 -x2 -x3 x4 -x5 -x6 x601 -x49 x50 -x51 -x52 x53 -x54 x55 x56 x57 x58 -x59 -x60 -x600 x42 -x43 -x44 -x45 x46 -x47 -x48 -x599 -x598 639.13 v -x597 -x596 -x595 x35 -x36 -x37 x38 -x39 -x40 -x41 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 639.13 v -x582 -x581 x28 x29 -x30 x31 -x32 -x33 -x34 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 x570 -x569 -x568 -x567 639.13 v -x566 -x565 -x564 x563 x562 x561 -x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 -x21 x22 x23 -x24 -x25 -x26 -x27 -x550 -x549 639.13 v -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 x529 -x528 639.13 v x527 x526 -x525 -x524 -x523 -x522 x521 x520 -x519 x518 x517 x516 x515 x514 x513 x512 x511 -x510 -x509 -x508 x507 x506 -x505 639.13 v x504 x503 x502 x501 x500 x499 x498 x497 -x496 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 639.13 v -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 639.13 v x466 x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 x456 x455 -x454 x453 x452 x451 -x450 x449 x448 x447 x446 -x445 -x444 639.13 v -x443 -x442 -x441 -x440 x439 x438 x437 -x436 x435 x434 x433 x432 -x431 x430 x429 x428 x427 -x426 -x425 -x424 -x423 x422 x421 639.13 v x420 x419 x418 x417 x416 x415 x414 x413 x412 -x411 x410 x409 x408 x407 x406 x405 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x404 -x403 639.13 v -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 x385 -x384 -x383 -x382 639.13 v -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 x371 -x370 x369 x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 639.13 v x359 x358 -x357 x356 x355 x354 -x353 x352 x351 x350 x349 x348 x347 x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 x337 x336 639.13 v -x335 x334 x333 x332 -x331 -x330 x329 x328 x327 x326 -x325 x324 x323 x322 x321 -x320 -x319 -x318 -x317 x316 x315 -x314 x313 639.13 v x312 x311 x310 x309 x308 x307 x306 -x305 x304 x303 x302 x301 x300 -x299 x298 x297 x296 x295 x294 x293 -x292 x291 x290 x289 x288 639.13 v x287 x286 x285 x284 x283 x282 x281 x280 x279 -x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 -x264 -x263 639.13 v -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 x244 x243 x242 -x241 639.13 v -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 -x227 x226 x225 x224 x223 x222 x221 -x220 -x219 639.13 v -x218 -x217 -x216 -x215 x214 x213 x212 -x211 x210 x209 x208 -x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 639.13 v -x194 -x193 -x192 -x191 -x190 -x189 x188 x187 x186 -x185 x184 x183 x182 -x181 -x180 x179 x178 x177 x176 -x175 x174 x173 x172 639.13 v x171 -x170 x169 x168 x167 x166 x165 -x164 -x163 -x162 x161 x160 -x159 x158 x157 x156 x155 x154 x153 x152 x151 -x150 x149 x148 639.13 v x147 x146 x145 -x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 -x131 x130 x129 x128 x127 x126 x125 x124 x123 639.13 v x122 x121 x120 x119 x118 -x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 639.13 v x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 639.13 v x62 x61 639.13 c Exit Code: 30 639.13 c Total time: 638.91 s
OK 44
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node87/watcher-50348-1149949057 -o ROOT/results/node87/solver-50348-1149949057 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50348-1149949057/instance-50348-1149949057.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.00 0.00 0.07 2/67 27385 /proc/meminfo: memFree=1826440/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=4672 CPUtime=0 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 154 0 0 0 0 0 0 0 18 0 1 0 260544900 4784128 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11210036 0 0 4096 0 0 0 0 17 1 0 0 /proc/27385/statm: 1168 135 105 55 0 46 0 [startup+10.0025 s] /proc/loadavg: 0.15 0.03 0.08 2/67 27385 /proc/meminfo: memFree=1819536/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=11580 CPUtime=9.98 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 2149 0 0 0 996 2 0 0 25 0 1 0 260544900 11857920 2065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 2895 2065 295 55 0 1786 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 11580 [startup+20.0087 s] /proc/loadavg: 0.28 0.06 0.09 2/67 27385 /proc/meminfo: memFree=1810640/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=19932 CPUtime=19.95 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 6224 0 2 0 1990 5 0 0 25 0 1 0 260544900 20410368 4243 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 4983 4243 432 55 0 3874 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 19932 [startup+30.0148 s] /proc/loadavg: 0.39 0.09 0.10 2/67 27385 /proc/meminfo: memFree=1800272/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=30192 CPUtime=29.96 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 9528 0 2 0 2987 9 0 0 25 0 1 0 260544900 30916608 6845 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 7548 6845 432 55 0 6439 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 30192 [startup+40.0209 s] /proc/loadavg: 0.49 0.12 0.11 2/67 27385 /proc/meminfo: memFree=1789712/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=40784 CPUtime=39.96 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 12240 0 2 0 3983 13 0 0 25 0 1 0 260544900 41762816 9489 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 10196 9489 432 55 0 9087 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 40784 [startup+50.0261 s] /proc/loadavg: 0.56 0.15 0.12 2/67 27385 /proc/meminfo: memFree=1782672/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=47912 CPUtime=49.96 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 13991 0 2 0 4981 15 0 0 25 0 1 0 260544900 49061888 11240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 11978 11240 432 55 0 10869 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 47912 [startup+60.0312 s] /proc/loadavg: 0.63 0.18 0.12 2/67 27385 /proc/meminfo: memFree=1774544/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=55980 CPUtime=59.96 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 16012 0 2 0 5978 18 0 0 25 0 1 0 260544900 57323520 13257 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 13995 13257 432 55 0 12886 0 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 55980 [startup+70.0374 s] /proc/loadavg: 0.69 0.21 0.13 2/67 27385 /proc/meminfo: memFree=1766096/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=64468 CPUtime=69.97 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 18335 0 2 0 6976 21 0 0 25 0 1 0 260544900 66015232 15374 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542169 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 16117 15374 432 55 0 15008 0 Current children cumulated CPU time (s) 69.97 Current children cumulated vsize (Kb) 64468 [startup+80.0435 s] /proc/loadavg: 0.73 0.23 0.14 2/67 27385 /proc/meminfo: memFree=1758928/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=71768 CPUtime=79.97 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 20116 0 2 0 7973 24 0 0 25 0 1 0 260544900 73490432 17152 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 17942 17152 432 55 0 16833 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 71768 [startup+90.0497 s] /proc/loadavg: 0.77 0.26 0.15 2/67 27385 /proc/meminfo: memFree=1753296/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=77480 CPUtime=89.98 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 21541 0 2 0 8971 27 0 0 25 0 1 0 260544900 79339520 18576 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 19370 18576 432 55 0 18261 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 77480 [startup+100.056 s] /proc/loadavg: 0.81 0.28 0.16 2/67 27385 /proc/meminfo: memFree=1747856/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=82932 CPUtime=99.97 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 22905 0 2 0 9969 28 0 0 25 0 1 0 260544900 84922368 19938 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 20733 19938 432 55 0 19624 0 Current children cumulated CPU time (s) 99.97 Current children cumulated vsize (Kb) 82932 [startup+110.061 s] /proc/loadavg: 0.84 0.30 0.17 2/67 27385 /proc/meminfo: memFree=1741264/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=89604 CPUtime=109.99 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 24548 0 2 0 10967 32 0 0 25 0 1 0 260544900 91754496 21579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 22401 21579 432 55 0 21292 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 89604 [startup+120.066 s] /proc/loadavg: 0.86 0.33 0.18 2/67 27385 /proc/meminfo: memFree=1735504/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=95280 CPUtime=119.98 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 25980 0 2 0 11964 34 0 0 25 0 1 0 260544900 97566720 23011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 23820 23011 432 55 0 22711 0 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 95280 [startup+130.072 s] /proc/loadavg: 0.88 0.35 0.19 2/67 27385 /proc/meminfo: memFree=1731152/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=99636 CPUtime=129.99 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 27066 0 2 0 12962 37 0 0 25 0 1 0 260544900 102027264 24096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 24909 24096 432 55 0 23800 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 99636 [startup+140.078 s] /proc/loadavg: 0.90 0.37 0.19 2/67 27385 /proc/meminfo: memFree=1726864/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=104008 CPUtime=139.99 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 28142 0 2 0 13960 39 0 0 25 0 1 0 260544900 106504192 25166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134598977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 26002 25166 432 55 0 24893 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (Kb) 104008 [startup+150.085 s] /proc/loadavg: 0.92 0.39 0.20 2/67 27385 /proc/meminfo: memFree=1723920/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=107044 CPUtime=150 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 28893 0 2 0 14959 41 0 0 25 0 1 0 260544900 109613056 25916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540750 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 26761 25916 432 55 0 25652 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 107044 [startup+160.091 s] /proc/loadavg: 0.93 0.41 0.21 2/67 27385 /proc/meminfo: memFree=1719056/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=111912 CPUtime=159.99 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 30505 0 2 0 15957 42 0 0 25 0 1 0 260544900 114597888 27120 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 27978 27120 432 55 0 26869 0 Current children cumulated CPU time (s) 159.99 Current children cumulated vsize (Kb) 111912 [startup+170.097 s] /proc/loadavg: 0.94 0.43 0.22 2/67 27385 /proc/meminfo: memFree=1715088/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=115964 CPUtime=170 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 31490 0 2 0 16956 44 0 0 25 0 1 0 260544900 118747136 28102 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 28991 28102 432 55 0 27882 0 Current children cumulated CPU time (s) 170 Current children cumulated vsize (Kb) 115964 [startup+180.102 s] /proc/loadavg: 0.95 0.45 0.22 2/67 27385 /proc/meminfo: memFree=1711632/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=119428 CPUtime=180.01 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 32348 0 2 0 17955 46 0 0 25 0 1 0 260544900 122294272 28959 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 29857 28959 432 55 0 28748 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 119428 [startup+190.108 s] /proc/loadavg: 0.95 0.46 0.23 2/67 27385 /proc/meminfo: memFree=1708816/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=122268 CPUtime=190 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 33063 0 2 0 18954 46 0 0 25 0 1 0 260544900 125202432 29669 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 30567 29669 432 55 0 29458 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 122268 [startup+200.114 s] /proc/loadavg: 0.96 0.48 0.24 2/67 27385 /proc/meminfo: memFree=1704912/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=126228 CPUtime=200.01 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 34039 0 2 0 19953 48 0 0 25 0 1 0 260544900 129257472 30645 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 31557 30645 432 55 0 30448 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 126228 [startup+210.12 s] /proc/loadavg: 0.97 0.50 0.25 2/67 27385 ################ # More data... # ################ Current children cumulated CPU time (s) 420.08 Current children cumulated vsize (Kb) 240620 [startup+430.251 s] /proc/loadavg: 0.99 0.75 0.40 2/67 27385 /proc/meminfo: memFree=1587024/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=244712 CPUtime=430.08 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 64301 0 2 0 42913 95 0 0 25 0 1 0 260544900 250585088 60027 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533763 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 61178 60027 432 55 0 60069 0 Current children cumulated CPU time (s) 430.08 Current children cumulated vsize (Kb) 244712 [startup+440.257 s] /proc/loadavg: 0.99 0.76 0.40 2/67 27385 /proc/meminfo: memFree=1583632/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=248148 CPUtime=440.09 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 65163 0 2 0 43913 96 0 0 25 0 1 0 260544900 254103552 60889 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541316 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 62037 60889 432 55 0 60928 0 Current children cumulated CPU time (s) 440.09 Current children cumulated vsize (Kb) 248148 [startup+450.263 s] /proc/loadavg: 0.99 0.77 0.41 2/67 27385 /proc/meminfo: memFree=1580752/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=251116 CPUtime=450.09 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 65888 0 2 0 44911 98 0 0 25 0 1 0 260544900 257142784 61608 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542170 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 62779 61608 432 55 0 61670 0 Current children cumulated CPU time (s) 450.09 Current children cumulated vsize (Kb) 251116 [startup+460.269 s] /proc/loadavg: 0.99 0.77 0.41 2/67 27385 /proc/meminfo: memFree=1576912/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=254944 CPUtime=460.09 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 66844 0 2 0 45910 99 0 0 25 0 1 0 260544900 261062656 62564 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 63736 62564 432 55 0 62627 0 Current children cumulated CPU time (s) 460.09 Current children cumulated vsize (Kb) 254944 [startup+470.275 s] /proc/loadavg: 0.99 0.78 0.42 2/67 27385 /proc/meminfo: memFree=1573648/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=258112 CPUtime=470.1 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 67665 0 2 0 46909 101 0 0 25 0 1 0 260544900 264306688 63385 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 64528 63385 432 55 0 63419 0 Current children cumulated CPU time (s) 470.1 Current children cumulated vsize (Kb) 258112 [startup+480.282 s] /proc/loadavg: 0.99 0.79 0.43 2/67 27385 /proc/meminfo: memFree=1569872/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=261988 CPUtime=480.1 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 68594 0 2 0 47908 102 0 0 25 0 1 0 260544900 268275712 64312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 65497 64312 432 55 0 64388 0 Current children cumulated CPU time (s) 480.1 Current children cumulated vsize (Kb) 261988 [startup+490.288 s] /proc/loadavg: 0.99 0.79 0.43 2/67 27385 /proc/meminfo: memFree=1566480/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=265540 CPUtime=490.11 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 69449 0 2 0 48907 104 0 0 25 0 1 0 260544900 271912960 65159 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548521 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 66385 65159 432 55 0 65276 0 Current children cumulated CPU time (s) 490.11 Current children cumulated vsize (Kb) 265540 [startup+500.294 s] /proc/loadavg: 0.99 0.80 0.44 2/67 27385 /proc/meminfo: memFree=1563152/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=268844 CPUtime=500.11 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 70283 0 2 0 49906 105 0 0 25 0 1 0 260544900 275296256 65993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 67211 65993 432 55 0 66102 0 Current children cumulated CPU time (s) 500.11 Current children cumulated vsize (Kb) 268844 [startup+510.3 s] /proc/loadavg: 0.99 0.81 0.44 2/67 27385 /proc/meminfo: memFree=1560336/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=271616 CPUtime=510.11 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 70982 0 2 0 50906 105 0 0 25 0 1 0 260544900 278134784 66692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 67904 66692 432 55 0 66795 0 Current children cumulated CPU time (s) 510.11 Current children cumulated vsize (Kb) 271616 [startup+520.306 s] /proc/loadavg: 0.99 0.81 0.45 2/67 27385 /proc/meminfo: memFree=1556944/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=274916 CPUtime=520.12 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 71824 0 2 0 51905 107 0 0 25 0 1 0 260544900 281513984 67534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 68729 67534 432 55 0 67620 0 Current children cumulated CPU time (s) 520.12 Current children cumulated vsize (Kb) 274916 [startup+530.311 s] /proc/loadavg: 0.99 0.82 0.46 2/67 27385 /proc/meminfo: memFree=1552144/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=279804 CPUtime=530.12 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 73040 0 2 0 52904 108 0 0 25 0 1 0 260544900 286519296 68750 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 69951 68750 432 55 0 68842 0 Current children cumulated CPU time (s) 530.12 Current children cumulated vsize (Kb) 279804 [startup+540.317 s] /proc/loadavg: 0.99 0.82 0.46 2/67 27385 /proc/meminfo: memFree=1549264/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=282576 CPUtime=540.12 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 73750 0 2 0 53902 110 0 0 25 0 1 0 260544900 289357824 69460 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 70644 69460 432 55 0 69535 0 Current children cumulated CPU time (s) 540.12 Current children cumulated vsize (Kb) 282576 [startup+550.324 s] /proc/loadavg: 0.99 0.83 0.47 2/67 27385 /proc/meminfo: memFree=1546448/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=285348 CPUtime=550.13 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 74454 0 2 0 54902 111 0 0 25 0 1 0 260544900 292196352 70164 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718567 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 71337 70164 432 55 0 70228 0 Current children cumulated CPU time (s) 550.13 Current children cumulated vsize (Kb) 285348 [startup+560.33 s] /proc/loadavg: 0.99 0.83 0.47 2/67 27385 /proc/meminfo: memFree=1543248/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=288584 CPUtime=560.13 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 75246 0 2 0 55901 112 0 0 25 0 1 0 260544900 295510016 70952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 72146 70952 432 55 0 71037 0 Current children cumulated CPU time (s) 560.13 Current children cumulated vsize (Kb) 288584 [startup+570.336 s] /proc/loadavg: 0.99 0.84 0.47 2/67 27385 /proc/meminfo: memFree=1540816/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=291024 CPUtime=570.14 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 75854 0 2 0 56900 114 0 0 25 0 1 0 260544900 298008576 71556 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 72756 71556 432 55 0 71647 0 Current children cumulated CPU time (s) 570.14 Current children cumulated vsize (Kb) 291024 [startup+580.342 s] /proc/loadavg: 0.99 0.84 0.48 2/67 27385 /proc/meminfo: memFree=1537168/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=294720 CPUtime=580.14 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 76771 0 2 0 57899 115 0 0 25 0 1 0 260544900 301793280 72473 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 73680 72473 432 55 0 72571 0 Current children cumulated CPU time (s) 580.14 Current children cumulated vsize (Kb) 294720 [startup+590.347 s] /proc/loadavg: 0.99 0.85 0.48 2/67 27385 /proc/meminfo: memFree=1534160/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=297756 CPUtime=590.14 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 77522 0 2 0 58898 116 0 0 25 0 1 0 260544900 304902144 73224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 74439 73224 432 55 0 73330 0 Current children cumulated CPU time (s) 590.14 Current children cumulated vsize (Kb) 297756 [startup+600.353 s] /proc/loadavg: 0.99 0.85 0.49 2/67 27385 /proc/meminfo: memFree=1530960/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=300924 CPUtime=600.14 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 78322 0 2 0 59896 118 0 0 25 0 1 0 260544900 308146176 74024 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541586 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 75231 74024 432 55 0 74122 0 Current children cumulated CPU time (s) 600.14 Current children cumulated vsize (Kb) 300924 [startup+610.359 s] /proc/loadavg: 0.99 0.86 0.49 2/67 27385 /proc/meminfo: memFree=1527056/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=304884 CPUtime=610.15 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 79303 0 2 0 60895 120 0 0 25 0 1 0 260544900 312201216 75005 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 76221 75005 432 55 0 75112 0 Current children cumulated CPU time (s) 610.15 Current children cumulated vsize (Kb) 304884 [startup+620.366 s] /proc/loadavg: 0.99 0.86 0.50 2/67 27385 /proc/meminfo: memFree=1523088/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=308844 CPUtime=620.15 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 80294 0 2 0 61894 121 0 0 25 0 1 0 260544900 316256256 75996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 77211 75996 432 55 0 76102 0 Current children cumulated CPU time (s) 620.15 Current children cumulated vsize (Kb) 308844 [startup+630.372 s] /proc/loadavg: 0.99 0.86 0.50 2/67 27385 /proc/meminfo: memFree=1518992/2055888 swapFree=4085324/4096564 [pid=27385] ppid=27383 vsize=312804 CPUtime=630.15 /proc/27385/stat : 27385 (bsolo) R 27383 27385 27339 0 -1 0 81313 0 2 0 62892 123 0 0 25 0 1 0 260544900 320311296 77015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27385/statm: 78201 77015 432 55 0 77092 0 Current children cumulated CPU time (s) 630.15 Current children cumulated vsize (Kb) 312804 Child status: 30 Real time (s): 639.181 CPU time (s): 638.965 CPU user time (s): 637.661 CPU system time (s): 1.3038 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (Kb): 312804 The end
Begin job on node87 on Sat Jun 10 14:17:38 UTC 2006 FILE ID= 50348-1149949057 PBS_JOBID= 385773 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_9.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50348-1149949057/instance-50348-1149949057.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node87/watcher-50348-1149949057 -o ROOT/results/node87/solver-50348-1149949057 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/50348-1149949057/instance-50348-1149949057.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= a849a24692bdc034ba3174a2ba23709e RANDOM SEED= 182063357 /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 : 6006.17 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 : 5999.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1826840 kB Buffers: 19744 kB Cached: 140660 kB SwapCached: 2184 kB Active: 35804 kB Inactive: 133032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1826840 kB SwapTotal: 4096564 kB SwapFree: 4085324 kB Dirty: 136 kB Writeback: 0 kB Mapped: 16456 kB Slab: 46920 kB Committed_AS: 629532 kB PageTables: 1280 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node87 on Sat Jun 10 14:28:17 UTC 2006