Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 41 | 1798.01 | 1798.57 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb |
MD5SUM | 10ec6ab90ad015d6fa7b4d2290470901 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 8.50171 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 192 |
Total number of constraints | 17 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 512 |
Sum of products size (including duplicates) | 1024 |
Number of different products | 512 |
Sum of products size | 1024 |
0.00/0.00 c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2670685-1276704187.opb 0.00/0.00 c File size is 38506 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.005 s 0.00/0.00 c Var: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706 0.00/0.00 c Obj. Vars: 8 (1.13636 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 704 1049 4408 4 3786 5914 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 1510.42/1510.99 c 100 704 1234 12652 10 4221 6506 185 2941 0.03 1510.42/1510.99 c 251 704 1527 30774 20 4836 7157 478 3585 0.07 1510.42/1510.99 c 478 704 1948 61837 31 5959 7873 899 3414 0.14 1510.42/1510.99 c 818 704 2604 95619 36 7591 8661 1555 3668 0.22 1510.42/1510.99 c 1328 704 3579 147832 41 10147 9528 2530 3569 0.37 1510.42/1510.99 c 2092 704 4964 225895 45 13381 10481 3915 3423 0.61 1510.42/1510.99 c 3239 704 7140 364487 51 18129 11530 6091 2897 1.12 1510.42/1510.99 c 4960 704 10481 540496 51 26220 12684 9432 2390 2.08 1510.42/1510.99 c 7544 704 8958 423282 47 21917 13953 7909 1654 4.56 1510.42/1510.99 c 11423 704 9228 432144 46 22628 15349 8179 1193 9.57 1510.42/1510.99 c 17247 704 12022 725291 60 30155 16884 10973 1374 12.55 1510.42/1510.99 c 25984 704 10773 637831 59 24707 18573 9724 1436 18.09 1510.42/1510.99 c 39095 704 16023 888382 55 39617 20431 14974 1308 29.88 1510.42/1510.99 c 58766 704 20769 1097591 52 51252 22475 19720 978 60.04 1510.42/1510.99 c 88276 704 18863 1243753 65 47063 24723 17814 781 112.93 1510.42/1510.99 c 132546 704 25063 1703670 67 61386 27196 24014 716 185.08 1510.42/1510.99 c 198956 704 23557 1318051 55 57194 29916 22508 633 314.30 1510.42/1510.99 c 298576 704 28432 1552600 54 70432 32908 27383 596 500.73 1510.42/1510.99 c 448011 704 23900 1419396 59 58578 36199 22851 516 867.21 1510.42/1510.99 c 672170 704 26330 1716622 65 65803 39819 25281 452 1484.99 1510.42/1510.99 o 69 1601.30/1601.84 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1601.30/1601.84 c 691853 704 23073 1295174 56 59252 5931 22024 458 1510.53 1601.30/1601.84 c 691953 704 4200 202085 48 10991 6525 3151 457 1510.99 1601.30/1601.84 c 692203 704 4674 231053 49 12072 7178 3625 458 1511.08 1601.30/1601.84 c 692679 694 5571 284196 51 14313 7896 4522 458 1511.23 1601.30/1601.84 c 693492 694 7093 373548 52 18453 8686 6044 458 1511.55 1601.30/1601.84 c 694812 694 9519 522654 54 23953 9555 8470 459 1512.15 1601.30/1601.84 c 696893 694 8396 450479 53 21485 10511 7347 460 1513.03 1601.30/1601.84 c 700116 694 8701 463144 53 22317 11563 7652 462 1515.05 1601.30/1601.84 c 705052 694 12133 648538 53 30433 12720 11084 464 1518.94 1601.30/1601.84 c 712559 694 12985 728282 56 32914 13993 11936 467 1523.47 1601.30/1601.84 c 723921 694 12166 641003 52 30969 15393 11117 472 1533.06 1601.30/1601.84 c 741066 694 11916 675971 56 29597 16933 10867 476 1554.93 1601.30/1601.84 c 766885 694 14312 868787 60 34905 18627 13263 481 1593.32 1601.30/1601.84 o 41 1797.94/1798.56 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.94/1798.56 c 778138 694 16088 911951 56 40172 5928 15039 485 1601.35 1797.94/1798.56 c 778238 684 4195 180350 42 11532 6521 3146 485 1601.59 1797.94/1798.56 c 778488 684 4675 208356 44 12733 7174 3626 486 1601.65 1797.94/1798.56 c 778964 684 5586 263963 47 15005 7892 4537 486 1601.80 1797.94/1798.56 c 779778 684 7179 354799 49 19148 8682 6130 486 1602.08 1797.94/1798.56 c 781098 684 9665 502588 52 25242 9551 8616 487 1602.65 1797.94/1798.56 c 783179 684 8546 444416 52 22020 10507 7497 488 1603.66 1797.94/1798.56 c 786404 684 8681 440252 50 21535 11558 7632 489 1605.26 1797.94/1798.56 c 791341 684 12032 668263 55 30909 12714 10983 492 1607.51 1797.94/1798.56 c 798849 684 12678 729780 57 32112 13986 11629 495 1613.04 1797.94/1798.56 c 810211 684 12517 687370 54 31624 15385 11468 498 1624.92 1797.94/1798.56 c 827355 684 12127 864486 71 30997 16924 11078 504 1640.88 1797.94/1798.56 c 853174 684 16700 1009185 60 40736 18617 15651 513 1662.31 1797.94/1798.56 c 892006 684 11981 713707 59 30009 20479 10932 521 1710.16 1797.94/1798.56 c 950358 684 18427 913400 49 46182 22527 17378 530 1791.71 1797.94/1798.56 c Resources Exceeded 1797.94/1798.56 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 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 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x193 -x194 -x195 x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 x220 -x221 x222 -x223 -x224 x225 -x226 -x227 x228 -x229 x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x321 -x322 -x323 x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x345 -x346 -x347 x348 -x349 -x350 -x351 x352 x353 -x354 -x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x89 -x90 -x91 -x92 -x93 x94 x95 -x96 x145 -x146 x147 x148 -x149 -x150 -x151 -x152 x385 -x386 -x387 -x388 -x389 x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 x446 x447 -x448 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x153 -x154 x155 x156 x157 x158 -x159 -x160 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x105 -x106 -x107 -x108 -x109 -x110 x111 -x112 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x513 -x514 -x515 -x516 -x517 -x518 x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 -x541 -x542 x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x113 -x114 -x115 x116 x117 -x118 x119 -x120 -x169 x170 x171 -x172 -x173 -x174 -x175 -x176 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 x588 x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x121 x122 -x123 -x124 x125 x126 -x127 x128 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x641 x642 -x643 -x644 x645 x646 -x647 x648 -x649 x650 -x651 -x652 x653 x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 1797.94/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.94/1798.56 c 48 957600 23986 1038376 19947 1122298 18898 532 1798.00 1797.94/1798.56 c Objective: 41 1797.94/1798.56 s SATISFIABLE 1797.94/1798.56 c Total time: 1798 s
OK 41
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670685-1276704187/watcher-2670685-1276704187 -o /tmp/evaluation-result-2670685-1276704187/solver-2670685-1276704187 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670685-1276704187.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.43 1.10 1.03 2/105 19836 /proc/meminfo: memFree=1704556/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=10928 CPUtime=0 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 386 0 0 0 0 0 0 0 25 0 1 0 11712534 11190272 294 1992294400 134512640 137138936 4292120000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 2732 294 184 642 0 2088 0 [startup+0.0616199 s] /proc/loadavg: 1.43 1.10 1.03 2/105 19836 /proc/meminfo: memFree=1704556/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=11320 CPUtime=0.05 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 480 0 0 0 5 0 0 0 25 0 1 0 11712534 11591680 388 1992294400 134512640 137138936 4292120000 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 2830 388 192 642 0 2186 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11320 [startup+0.100625 s] /proc/loadavg: 1.43 1.10 1.03 2/105 19836 /proc/meminfo: memFree=1704556/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=11584 CPUtime=0.09 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 548 0 0 0 9 0 0 0 25 0 1 0 11712534 11862016 456 1992294400 134512640 137138936 4292120000 18446744073709551615 136511221 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 2896 456 192 642 0 2252 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11584 [startup+0.300648 s] /proc/loadavg: 1.43 1.10 1.03 2/105 19836 /proc/meminfo: memFree=1704556/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=12736 CPUtime=0.29 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 825 0 0 0 29 0 0 0 25 0 1 0 11712534 13041664 733 1992294400 134512640 137138936 4292120000 18446744073709551615 134542040 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 3184 733 192 642 0 2540 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12736 [startup+0.700692 s] /proc/loadavg: 1.43 1.10 1.03 2/105 19836 /proc/meminfo: memFree=1704556/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=14792 CPUtime=0.69 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 1350 0 0 0 69 0 0 0 25 0 1 0 11712534 15147008 1258 1992294400 134512640 137138936 4292120000 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 3698 1258 192 642 0 3054 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14792 [startup+1.50078 s] /proc/loadavg: 1.43 1.10 1.03 2/106 19837 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=17628 CPUtime=1.49 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 2055 0 0 0 148 1 0 0 25 0 1 0 11712534 18051072 1963 1992294400 134512640 137138936 4292120000 18446744073709551615 134576416 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 4407 1963 192 642 0 3763 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17628 [startup+3.10096 s] /proc/loadavg: 1.43 1.10 1.03 2/106 19837 /proc/meminfo: memFree=1696116/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=20712 CPUtime=3.08 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 2817 0 0 0 306 2 0 0 25 0 1 0 11712534 21209088 2725 1992294400 134512640 137138936 4292120000 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 5178 2725 192 642 0 4534 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 20712 [startup+6.30132 s] /proc/loadavg: 1.40 1.09 1.03 2/106 19837 /proc/meminfo: memFree=1693264/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=21728 CPUtime=6.28 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 3080 0 0 0 625 3 0 0 25 0 1 0 11712534 22249472 2988 1992294400 134512640 137138936 4292120000 18446744073709551615 134607568 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 5432 2988 192 642 0 4788 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 21728 [startup+12.701 s] /proc/loadavg: 1.36 1.09 1.03 2/106 19837 /proc/meminfo: memFree=1690164/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=24804 CPUtime=12.69 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 3852 0 0 0 1264 5 0 0 25 0 1 0 11712534 25399296 3760 1992294400 134512640 137138936 4292120000 18446744073709551615 134599712 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 6201 3760 192 642 0 5557 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24804 [startup+25.5005 s] /proc/loadavg: 1.28 1.09 1.03 2/106 19837 /proc/meminfo: memFree=1686568/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=28344 CPUtime=25.48 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 4752 0 0 0 2540 8 0 0 25 0 1 0 11712534 29024256 4660 1992294400 134512640 137138936 4292120000 18446744073709551615 134575773 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 7086 4660 192 642 0 6442 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28344 [startup+51.1004 s] /proc/loadavg: 1.18 1.08 1.02 2/106 19839 /proc/meminfo: memFree=1685328/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=29620 CPUtime=51.07 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 5062 0 0 0 5096 11 0 0 25 0 1 0 11712534 30330880 4970 1992294400 134512640 137138936 4292120000 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 7405 4970 192 642 0 6761 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 29620 [startup+102.308 s] /proc/loadavg: 1.08 1.06 1.02 2/106 19839 /proc/meminfo: memFree=1680368/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=34368 CPUtime=102.26 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 6257 0 0 0 10205 21 0 0 25 0 1 0 11712534 35192832 6165 1992294400 134512640 137138936 4292120000 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 8592 6165 192 642 0 7948 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34368 [startup+162.301 s] /proc/loadavg: 1.03 1.05 1.01 2/106 19841 /proc/meminfo: memFree=1679004/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=35772 CPUtime=162.25 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 6606 0 0 0 16194 31 0 0 25 0 1 0 11712534 36630528 6514 1992294400 134512640 137138936 4292120000 18446744073709551615 134603333 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 8943 6514 192 642 0 8299 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 35772 [startup+222.301 s] /proc/loadavg: 1.01 1.04 1.01 2/106 19843 /proc/meminfo: memFree=1675408/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=39320 CPUtime=222.22 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 7493 0 0 0 22181 41 0 0 25 0 1 0 11712534 40263680 7401 1992294400 134512640 137138936 4292120000 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 9830 7401 192 642 0 9186 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 39320 [startup+282.3 s] /proc/loadavg: 1.00 1.03 1.00 2/106 19845 /proc/meminfo: memFree=1675408/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=39320 CPUtime=282.21 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 7493 0 0 0 28171 50 0 0 25 0 1 0 11712534 40263680 7401 1992294400 134512640 137138936 4292120000 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 9830 7401 192 642 0 9186 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 39320 [startup+342.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 19845 /proc/meminfo: memFree=1675284/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=39316 CPUtime=342.18 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 7495 0 0 0 34159 59 0 0 25 0 1 0 11712534 40259584 7403 1992294400 134512640 137138936 4292120000 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 9829 7403 192 642 0 9185 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 39316 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/106 19847 /proc/meminfo: memFree=1674664/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=39952 CPUtime=402.16 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 7654 0 0 0 40146 70 0 0 25 0 1 0 11712534 40910848 7562 1992294400 134512640 137138936 4292120000 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 9988 7562 192 642 0 9344 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 39952 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/106 19849 /proc/meminfo: memFree=1674540/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=39948 CPUtime=462.15 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 7654 0 0 0 46134 81 0 0 25 0 1 0 11712534 40906752 7562 1992294400 134512640 137138936 4292120000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 9987 7562 192 642 0 9343 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 39948 [startup+522.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19851 /proc/meminfo: memFree=1669332/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=45384 CPUtime=522.12 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 9015 0 0 0 52122 90 0 0 25 0 1 0 11712534 46473216 8890 1992294400 134512640 137138936 4292120000 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 11346 8890 192 642 0 10702 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 45384 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19853 /proc/meminfo: memFree=1663504/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=51164 CPUtime=582.11 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10460 0 0 0 58113 98 0 0 25 0 1 0 11712534 52391936 10335 1992294400 134512640 137138936 4292120000 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12791 10335 192 642 0 12147 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 51164 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19853 /proc/meminfo: memFree=1663504/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=51164 CPUtime=642.1 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10460 0 0 0 64104 106 0 0 25 0 1 0 11712534 52391936 10335 1992294400 134512640 137138936 4292120000 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12791 10335 192 642 0 12147 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 51164 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1662884/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=51044 CPUtime=1061.96 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10463 0 0 0 106028 168 0 0 25 0 1 0 11712534 52269056 10336 1992294400 134512640 137138936 4292120000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12761 10336 192 642 0 12117 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 51044 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19867 /proc/meminfo: memFree=1662884/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=51044 CPUtime=1121.94 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10463 0 0 0 112019 175 0 0 25 0 1 0 11712534 52269056 10336 1992294400 134512640 137138936 4292120000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12761 10336 192 642 0 12117 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 51044 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19869 /proc/meminfo: memFree=1662760/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=51044 CPUtime=1181.93 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10463 0 0 0 118011 182 0 0 25 0 1 0 11712534 52269056 10336 1992294400 134512640 137138936 4292120000 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12761 10336 192 642 0 12117 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 51044 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19869 /proc/meminfo: memFree=1662512/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=51044 CPUtime=1241.9 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10463 0 0 0 123998 192 0 0 25 0 1 0 11712534 52269056 10336 1992294400 134512640 137138936 4292120000 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12761 10336 192 642 0 12117 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 51044 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19871 /proc/meminfo: memFree=1662388/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=51044 CPUtime=1301.9 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10463 0 0 0 129989 201 0 0 25 0 1 0 11712534 52269056 10336 1992294400 134512640 137138936 4292120000 18446744073709551615 136504274 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12761 10336 192 642 0 12117 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 51044 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19873 /proc/meminfo: memFree=1662388/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=51044 CPUtime=1361.86 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10463 0 0 0 135978 208 0 0 25 0 1 0 11712534 52269056 10336 1992294400 134512640 137138936 4292120000 18446744073709551615 136296961 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12761 10336 192 642 0 12117 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 51044 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19875 /proc/meminfo: memFree=1662388/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=51044 CPUtime=1421.86 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10463 0 0 0 141969 217 0 0 25 0 1 0 11712534 52269056 10336 1992294400 134512640 137138936 4292120000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12761 10336 192 642 0 12117 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 51044 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19877 /proc/meminfo: memFree=1662264/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=51044 CPUtime=1481.83 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10463 0 0 0 147958 225 0 0 25 0 1 0 11712534 52269056 10336 1992294400 134512640 137138936 4292120000 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12761 10336 192 642 0 12117 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 51044 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19877 /proc/meminfo: memFree=1662388/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1541.81 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 153944 237 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 134542643 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 50816 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19879 /proc/meminfo: memFree=1662264/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1601.79 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 159930 249 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 50816 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19881 /proc/meminfo: memFree=1662264/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1661.78 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 165916 262 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 134606601 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 50816 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19885 /proc/meminfo: memFree=1661768/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1721.76 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 171903 273 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 50816 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19888 /proc/meminfo: memFree=1661768/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1781.73 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 177889 284 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 50816 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19888 /proc/meminfo: memFree=1661768/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1791.34 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 178848 286 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 136504102 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1791.34 Current children cumulated vsize (KiB) 50816 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19888 /proc/meminfo: memFree=1661768/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1794.54 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 179168 286 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 134618967 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1794.54 Current children cumulated vsize (KiB) 50816 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19888 /proc/meminfo: memFree=1661768/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1796.13 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 179327 286 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1796.13 Current children cumulated vsize (KiB) 50816 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19888 /proc/meminfo: memFree=1661768/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1796.93 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 179407 286 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1796.93 Current children cumulated vsize (KiB) 50816 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19888 /proc/meminfo: memFree=1661768/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1797.74 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 179487 287 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1797.74 Current children cumulated vsize (KiB) 50816 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19888 /proc/meminfo: memFree=1661768/2059040 swapFree=4192956/4192956 [pid=19836] ppid=19834 vsize=50816 CPUtime=1797.94 /proc/19836/stat : 19836 (bsolo_pb10) R 19834 19836 19129 0 -1 4202496 10467 0 0 0 179507 287 0 0 25 0 1 0 11712534 52035584 10280 1992294400 134512640 137138936 4292120000 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19836/statm: 12704 10280 192 642 0 12060 0 Current children cumulated CPU time (s) 1797.94 Current children cumulated vsize (KiB) 50816 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798.01 CPU user time (s): 1795.13 CPU system time (s): 2.87756 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 51164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.13 system time used= 2.87756 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10468 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= 1 involuntary context switches= 6803 runsolver used 2.76258 second user time and 8.69468 second system time The end
Begin job on node085 at 2010-06-16 18:03:07 IDJOB=2670685 IDBENCH=48059 IDSOLVER=1162 FILE ID=node085/2670685-1276704187 PBS_JOBID= 11174081 Free space on /tmp= 121872 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670685-1276704187/watcher-2670685-1276704187 -o /tmp/evaluation-result-2670685-1276704187/solver-2670685-1276704187 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670685-1276704187.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 10ec6ab90ad015d6fa7b4d2290470901 RANDOM SEED=80331616 node085.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.221 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.44 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.221 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1705580 kB Buffers: 84992 kB Cached: 129792 kB SwapCached: 0 kB Active: 131072 kB Inactive: 143196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1705580 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4264 kB Writeback: 0 kB AnonPages: 59440 kB Mapped: 15364 kB Slab: 57716 kB PageTables: 3936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180680 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670685-1276704187.opb Free space on /tmp at the end= 121868 MiB End job on node085 at 2010-06-16 18:33:06