Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | 191 | 1800.55 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8b1.opb |
MD5SUM | 45a62012cfe681f45441c62f782d8601 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 191 |
Best CPU time to get the best result obtained on this benchmark | 30.1444 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | YES |
Number of variables | 672 |
Total number of constraints | 2404 |
Number of constraints which are clauses | 2404 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 8 |
Number of terms in the objective function | 672 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 672 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 672 |
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 Parsing PB file... 0.07 c Converting 2404 PB-constraints to clauses... 0.07 c -- Unit propagations: (none) 0.07 c -- Detecting intervals from adjacent constraints: (none) 0.07 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 0.09 c ==================================[MINISAT+]================================== 0.09 c | Conflicts | Original | Learnt | Progress | 0.09 c | | Clauses Literals | Max Clauses Literals LPC | | 0.09 c ============================================================================== 0.09 c | 0 | 2404 5328 | 801 0 0 nan | 0.000 % | 0.09 c ============================================================================== 0.09 c [1mFound solution: 224[0m 0.09 o 224 0.09 c ---[ 0]---> Sorter-cost:30564 Base: 0.30 c ==================================[MINISAT+]================================== 0.30 c | Conflicts | Original | Learnt | Progress | 0.30 c | | Clauses Literals | Max Clauses Literals LPC | | 0.30 c ============================================================================== 0.30 c | 2 | 39371 91691 | 13123 2 14 7.0 | 0.000 % | 0.37 c | 102 | 39094 91112 | 14435 93 3903 42.0 | 0.670 % | 0.42 c | 252 | 39002 90914 | 15878 240 6701 27.9 | 0.882 % | 0.53 c | 477 | 38987 90884 | 17466 464 15942 34.4 | 0.910 % | 0.69 c | 815 | 37805 88284 | 19213 776 24356 31.4 | 3.726 % | 0.90 c | 1322 | 37260 87073 | 21134 1269 45788 36.1 | 5.055 % | 1.19 c | 2082 | 37129 86792 | 23248 2027 71701 35.4 | 5.354 % | 1.52 c | 3223 | 37060 86641 | 25573 3166 105927 33.5 | 5.514 % | 2.25 c | 4933 | 36659 85752 | 28130 4825 171835 35.6 | 6.479 % | 2.34 c ============================================================================== 2.34 c [1mFound solution: 213[0m 2.34 o 213 2.35 c ---[ 0]---> Sorter-cost: 0 Base: 2.53 c ==================================[MINISAT+]================================== 2.53 c | Conflicts | Original | Learnt | Progress | 2.53 c | | Clauses Literals | Max Clauses Literals LPC | | 2.53 c ============================================================================== 2.53 c | 5130 | 36761 86021 | 12253 5022 174707 34.8 | 6.479 % | 2.57 c | 5230 | 36692 85868 | 13478 5120 176718 34.5 | 6.749 % | 2.62 c | 5381 | 36692 85868 | 14826 5271 182366 34.6 | 6.749 % | 2.68 c | 5606 | 36692 85868 | 16308 5496 187885 34.2 | 6.749 % | 2.83 c | 5944 | 36590 85644 | 17939 5831 206859 35.5 | 6.987 % | 3.05 c | 6450 | 36554 85568 | 19733 6324 229508 36.3 | 7.063 % | 3.33 c | 7209 | 36479 85399 | 21706 7081 256581 36.2 | 7.249 % | 3.89 c | 8348 | 36479 85399 | 23877 8220 321429 39.1 | 7.249 % | 3.99 c ============================================================================== 3.99 c [1mFound solution: 212[0m 3.99 o 212 4.00 c ---[ 0]---> Sorter-cost: 0 Base: 4.17 c ==================================[MINISAT+]================================== 4.17 c | Conflicts | Original | Learnt | Progress | 4.17 c | | Clauses Literals | Max Clauses Literals LPC | | 4.17 c ============================================================================== 4.17 c | 8492 | 36455 85340 | 12151 8328 322244 38.7 | 7.249 % | 4.24 c | 8592 | 36412 85243 | 13366 8427 325487 38.6 | 7.439 % | 4.32 c | 8742 | 36412 85243 | 14702 8577 331063 38.6 | 7.440 % | 4.38 c ============================================================================== 4.38 c [1mFound solution: 191[0m 4.38 o 191 4.39 c ---[ 0]---> Sorter-cost: 0 Base: 4.58 c ==================================[MINISAT+]================================== 4.58 c | Conflicts | Original | Learnt | Progress | 4.58 c | | Clauses Literals | Max Clauses Literals LPC | | 4.58 c ============================================================================== 4.58 c | 8825 | 36570 85630 | 12190 8660 333479 38.5 | 7.440 % | 4.62 c | 8925 | 36570 85630 | 13409 8760 336090 38.4 | 7.604 % | 4.71 c | 9075 | 36570 85630 | 14749 8910 343099 38.5 | 7.604 % | 4.81 c | 9301 | 36570 85630 | 16224 9136 351679 38.5 | 7.605 % | 4.91 c | 9638 | 36570 85630 | 17847 9473 362266 38.2 | 7.604 % | 5.11 c | 10144 | 36472 85414 | 19632 9977 379563 38.0 | 7.834 % | 5.35 c | 10905 | 36472 85414 | 21595 10738 407634 38.0 | 7.834 % | 5.90 c | 12044 | 36472 85414 | 23754 11877 468101 39.4 | 7.834 % | 6.49 c | 13754 | 36472 85414 | 26130 13587 522596 38.5 | 7.834 % | 7.72 c | 16317 | 36470 85410 | 28743 16149 629422 39.0 | 7.838 % | 10.12 c | 20161 | 36426 85316 | 31617 19992 838045 41.9 | 7.936 % | 14.40 c | 25927 | 36382 85218 | 34779 25757 1118768 43.4 | 8.043 % | 22.07 c | 34576 | 36305 85037 | 38257 34348 1535481 44.7 | 8.244 % | 31.62 c | 47550 | 36181 84771 | 42083 21274 996051 46.8 | 8.517 % | 46.81 c | 67011 | 36135 84671 | 46291 40732 1888951 46.4 | 8.624 % | 73.54 c | 96203 | 36135 84671 | 50920 35083 1330080 37.9 | 8.624 % | 118.49 c | 139993 | 36085 84561 | 56012 42013 1861233 44.3 | 8.742 % | 186.47 c | 205677 | 36085 84561 | 61613 20830 839310 40.3 | 8.742 % | 287.67 c | 304203 | 36085 84561 | 67775 23016 997862 43.4 | 8.742 % | 458.79 c | 451992 | 36085 84561 | 74552 65967 3569771 54.1 | 8.742 % | 737.30 c | 673675 | 36085 84561 | 82008 48872 2378617 48.7 | 8.742 % | 1189.64 c | 1006202 | 36085 84561 | 90209 40474 2006307 49.6 | 8.742 % | 1801.14 c 1801.14 c *** TERMINATED *** 1801.14 s SATISFIABLE 1801.14 v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 1801.14 v x33 -x34 x35 -x36 -x37 x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 1801.14 v -x62 x63 -x64 x65 -x66 x67 -x68 -x69 x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 1801.14 v x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 1801.14 v -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 1801.14 v x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 1801.14 v -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 x181 -x182 x183 -x184 1801.14 v x185 -x186 x187 -x188 -x189 x190 x191 -x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200 -x201 x202 x203 -x204 x205 -x206 -x207 1801.14 v -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 1801.14 v -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 1801.14 v -x250 -x251 x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x267 -x268 -x269 -x270 1801.14 v -x271 -x272 -x273 -x274 -x275 x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 1801.14 v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 1801.14 v -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 x326 -x327 x328 -x329 x330 -x331 x332 -x333 x334 1801.14 v x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 1801.14 v -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 x374 -x375 x376 1801.14 v -x377 x378 -x379 x380 -x381 x382 x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 x397 -x398 1801.14 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 1801.14 v -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 x434 -x435 x436 -x437 x438 -x439 x440 -x441 1801.14 v x442 x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 1801.14 v -x463 -x464 -x465 -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 -x480 -x481 -x482 -x483 1801.14 v -x484 x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 1801.14 v -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 1801.14 v -x526 -x527 x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 x542 -x543 x544 -x545 x546 -x547 1801.14 v x548 -x549 x550 x551 -x552 -x553 -x554 x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 1801.14 v -x570 x571 -x572 -x573 -x574 -x575 x576 -x577 x578 -x579 x580 -x581 x582 -x583 x584 -x585 x586 x587 -x588 -x589 -x590 x591 1801.14 v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 1801.14 v -x613 x614 -x615 x616 -x617 x618 -x619 x620 -x621 x622 x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1801.14 v -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 x648 -x649 x650 -x651 x652 -x653 x654 -x655 x656 1801.14 v -x657 x658 x659 -x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
OK 191
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-35508-1149419105 -o ROOT/results/node34/solver-35508-1149419105 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node34/35508-1149419105/instance-35508-1149419105.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 0.99 0.95 3/64 8661 /proc/meminfo: memFree=1822552/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=1048 CPUtime=0 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 115 0 0 0 0 0 0 0 19 0 1 0 207574337 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 262 100 67 215 0 44 0 [startup+10.0028 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1812768/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=11136 CPUtime=9.97 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 2633 0 0 0 996 1 0 0 25 0 1 0 207574337 11403264 2563 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 2784 2563 111 215 0 2566 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 11136 [startup+20.0095 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1809952/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=13912 CPUtime=19.98 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 3333 0 0 0 1995 3 0 0 25 0 1 0 207574337 14245888 3263 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 3478 3263 111 215 0 3260 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 13912 [startup+30.0162 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1807328/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=16600 CPUtime=29.97 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 3997 0 0 0 2993 4 0 0 25 0 1 0 207574337 16998400 3927 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580747 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 4150 3927 111 215 0 3932 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 16600 [startup+40.0219 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1807200/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=16732 CPUtime=39.98 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 4017 0 0 0 3994 4 0 0 25 0 1 0 207574337 17133568 3947 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 4183 3947 111 215 0 3965 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16732 [startup+50.0286 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1806624/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=17380 CPUtime=49.99 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 4169 0 0 0 4994 5 0 0 25 0 1 0 207574337 17797120 4099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 4345 4099 111 215 0 4127 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 17380 [startup+60.0343 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1804896/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=18932 CPUtime=59.99 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 4589 0 0 0 5994 5 0 0 25 0 1 0 207574337 19386368 4519 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 4733 4519 111 215 0 4515 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 18932 [startup+70.041 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1804768/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=19068 CPUtime=69.99 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 4617 0 0 0 6994 5 0 0 25 0 1 0 207574337 19525632 4547 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 4767 4547 111 215 0 4549 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 19068 [startup+80.0476 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1804640/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=19204 CPUtime=80 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 4648 0 0 0 7995 5 0 0 25 0 1 0 207574337 19664896 4578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 4801 4578 111 215 0 4583 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 19204 [startup+90.0533 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1804576/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=19372 CPUtime=90 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 4673 0 0 0 8995 5 0 0 25 0 1 0 207574337 19836928 4603 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576851 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 4843 4603 111 215 0 4625 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 19372 [startup+100.059 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1804256/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=19660 CPUtime=100 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 4741 0 0 0 9995 5 0 0 25 0 1 0 207574337 20131840 4671 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581319 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 4915 4671 111 215 0 4697 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 19660 [startup+110.065 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1804192/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=19660 CPUtime=110 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 4750 0 0 0 10995 5 0 0 25 0 1 0 207574337 20131840 4680 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 4915 4680 111 215 0 4697 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 19660 [startup+120.07 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1804128/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=19796 CPUtime=120 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 4776 0 0 0 11995 5 0 0 25 0 1 0 207574337 20271104 4706 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579560 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 4949 4706 111 215 0 4731 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 19796 [startup+130.076 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1803872/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=20056 CPUtime=130.01 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 4844 0 0 0 12996 5 0 0 25 0 1 0 207574337 20537344 4774 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 5014 4774 111 215 0 4796 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 20056 [startup+140.082 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1802144/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=21736 CPUtime=140.01 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 5266 0 0 0 13995 6 0 0 25 0 1 0 207574337 22257664 5196 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568550 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 5434 5196 111 215 0 5216 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 21736 [startup+150.087 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1802144/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=21736 CPUtime=150.02 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 5267 0 0 0 14996 6 0 0 25 0 1 0 207574337 22257664 5197 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579241 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 5434 5197 111 215 0 5216 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 21736 [startup+160.093 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1801952/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=21872 CPUtime=160.02 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 5305 0 0 0 15996 6 0 0 25 0 1 0 207574337 22396928 5235 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 5468 5235 111 215 0 5250 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 21872 [startup+170.099 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1801888/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=22004 CPUtime=170.02 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 5314 0 0 0 16996 6 0 0 25 0 1 0 207574337 22532096 5244 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581301 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 5501 5244 111 215 0 5283 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 22004 [startup+180.105 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1801888/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=22004 CPUtime=180.02 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 5315 0 0 0 17996 6 0 0 25 0 1 0 207574337 22532096 5245 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 5501 5245 111 215 0 5283 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 22004 [startup+190.11 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1801440/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=22392 CPUtime=190.02 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 5427 0 0 0 18996 6 0 0 25 0 1 0 207574337 22929408 5357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576190 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 5598 5357 111 215 0 5380 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 22392 [startup+200.116 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1801440/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=22392 CPUtime=200.03 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 5427 0 0 0 19997 6 0 0 25 0 1 0 207574337 22929408 5357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 5598 5357 111 215 0 5380 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 22392 [startup+210.122 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8661 /proc/meminfo: memFree=1801504/2055920 swapFree=4181348/4192956 ################ # More data... # ################ [pid=8661] ppid=8659 vsize=42652 CPUtime=1781.44 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10273 0 0 0 178133 11 0 0 25 0 1 0 207574337 43675648 10203 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10203 111 215 0 10445 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 42652 [startup+1783.05 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8663 /proc/meminfo: memFree=1781856/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1782.45 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10273 0 0 0 178234 11 0 0 25 0 1 0 207574337 43675648 10203 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10203 111 215 0 10445 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 42652 [startup+1784.05 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8663 /proc/meminfo: memFree=1781856/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1783.45 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10274 0 0 0 178334 11 0 0 25 0 1 0 207574337 43675648 10204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10204 111 215 0 10445 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 42652 [startup+1785.06 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8663 /proc/meminfo: memFree=1781856/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1784.45 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10278 0 0 0 178434 11 0 0 25 0 1 0 207574337 43675648 10208 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10208 111 215 0 10445 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 42652 [startup+1786.06 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8663 /proc/meminfo: memFree=1781856/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1785.46 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10280 0 0 0 178535 11 0 0 25 0 1 0 207574337 43675648 10210 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10210 111 215 0 10445 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 42652 [startup+1787.07 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1786.46 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10281 0 0 0 178635 11 0 0 25 0 1 0 207574337 43675648 10211 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10211 111 215 0 10445 0 Current children cumulated CPU time (s) 1786.46 Current children cumulated vsize (Kb) 42652 [startup+1788.07 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1787.47 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10281 0 0 0 178736 11 0 0 25 0 1 0 207574337 43675648 10211 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10211 111 215 0 10445 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 42652 [startup+1789.08 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1788.47 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 178836 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1788.47 Current children cumulated vsize (Kb) 42652 [startup+1790.08 s] /proc/loadavg: 1.00 0.99 0.95 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1789.48 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 178937 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 42652 [startup+1791.09 s] /proc/loadavg: 1.08 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1790.48 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 179037 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568550 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 42652 [startup+1792.09 s] /proc/loadavg: 1.08 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1791.49 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 179138 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568556 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 42652 [startup+1793.1 s] /proc/loadavg: 1.08 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1792.49 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 179238 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134568475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1792.49 Current children cumulated vsize (Kb) 42652 [startup+1794.1 s] /proc/loadavg: 1.08 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1793.5 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 179339 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 42652 [startup+1795.11 s] /proc/loadavg: 1.07 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1794.5 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 179439 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 42652 [startup+1796.11 s] /proc/loadavg: 1.07 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1795.51 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 179540 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 42652 [startup+1797.12 s] /proc/loadavg: 1.07 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1796.51 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 179640 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573189 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 42652 [startup+1798.12 s] /proc/loadavg: 1.07 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1797.52 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 179741 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 42652 [startup+1799.13 s] /proc/loadavg: 1.07 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1798.52 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 179841 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 42652 [startup+1800.13 s] /proc/loadavg: 1.07 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1799.52 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 179941 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577398 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 42652 [startup+1801.14 s] /proc/loadavg: 1.07 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1800.53 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 180042 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574195 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 42652 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 1.07 1.00 0.96 2/64 8663 /proc/meminfo: memFree=1781792/2055920 swapFree=4181348/4192956 [pid=8661] ppid=8659 vsize=42652 CPUtime=1800.53 /proc/8661/stat : 8661 (minisat+) R 8659 8661 8615 0 -1 4194304 10282 0 0 0 180042 11 0 0 25 0 1 0 207574337 43675648 10212 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/8661/statm: 10663 10212 111 215 0 10445 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 42652 Sending SIGTERM to -8661 Sleeping 2 seconds Child status: 10 Real time (s): 1801.15 CPU time (s): 1800.55 CPU user time (s): 1800.43 CPU system time (s): 0.124981 CPU usage (%): 99.9667 Max. virtual memory (cumulated for all children) (Kb): 42652
Begin job on node34 on Sun Jun 4 11:05:05 UTC 2006 FILE ID= 35508-1149419105 PBS_JOBID= 315648 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8b1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node34/35508-1149419105/instance-35508-1149419105.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-35508-1149419105 -o ROOT/results/node34/solver-35508-1149419105 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node34/35508-1149419105/instance-35508-1149419105.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 45a62012cfe681f45441c62f782d8601 RANDOM SEED= 176009095 /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.277 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.277 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: 1822760 kB Buffers: 19908 kB Cached: 151172 kB SwapCached: 3272 kB Active: 48672 kB Inactive: 131088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1822760 kB SwapTotal: 4192956 kB SwapFree: 4181348 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14836 kB Slab: 39540 kB Committed_AS: 470220 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node34 on Sun Jun 4 11:35:06 UTC 2006