Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | SAT | 7 | 1798 | 1798.58 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb |
MD5SUM | 747af0da1666dabab7e7b60330c37a87 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 7.38288 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
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 | 19 |
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) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
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-2670537-1276702376.opb 0.00/0.00 c File size is 43526 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.007 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.00/0.01 c Pre-processing Time: 0.015 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.01 0.00/0.01 c Switching off lower bounding mode. 500.73/500.92 c 100 792 1365 12714 9 4683 7322 185 2857 0.04 500.73/500.92 c 250 792 1663 30703 18 5367 8055 483 3521 0.07 500.73/500.92 c 476 792 2101 52850 25 6629 8861 921 3901 0.12 500.73/500.92 c 814 792 2673 90043 33 7964 9748 1493 3857 0.21 500.73/500.92 c 1323 792 3559 138403 38 10033 10723 2379 3868 0.34 500.73/500.92 c 2087 792 4968 212452 42 13329 11796 3788 3328 0.63 500.73/500.92 c 3233 792 7110 326456 45 18333 12976 5930 2598 1.24 500.73/500.92 c 4955 792 10297 494429 48 25774 14274 9117 1889 2.62 500.73/500.92 c 7540 792 15218 748099 49 37619 15702 14038 1203 6.26 500.73/500.92 c 11419 792 14454 736767 50 34740 17273 13274 1157 9.86 500.73/500.92 c 17241 792 16772 1019069 60 41770 19001 15592 1099 15.68 500.73/500.92 c 25979 792 13207 752402 56 32979 20902 12027 1243 20.89 500.73/500.92 c 39091 792 13283 727188 54 31617 22993 12103 1126 34.69 500.73/500.92 c 58761 792 14656 800786 54 36176 25293 13476 919 63.91 500.73/500.92 c 88273 792 16864 933436 55 42317 27823 15684 895 98.61 500.73/500.92 c 132543 792 15097 791055 52 36640 30606 13917 648 204.51 500.73/500.92 c 198954 792 30896 1792111 58 76714 33667 29716 546 364.17 500.73/500.92 o 7 1797.92/1798.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.92/1798.58 c 266529 792 21057 1266248 60 49658 6672 19877 532 500.77 1797.92/1798.58 c 266630 742 4680 214046 45 12341 7340 3500 532 501.15 1797.92/1798.58 c 266881 742 5153 249760 48 13465 8075 3973 532 501.28 1797.92/1798.58 c 267356 742 5887 292982 49 15151 8883 4707 533 501.42 1797.92/1798.58 c 268169 742 7374 372288 50 18632 9772 6194 534 501.75 1797.92/1798.58 c 269489 742 9876 521558 52 24682 10750 8696 536 502.27 1797.92/1798.58 c 271570 742 8068 401624 49 20792 11826 6888 539 503.67 1797.92/1798.58 c 274793 742 8249 363797 44 21255 13009 7069 542 506.99 1797.92/1798.58 c 279730 742 10990 553608 50 27644 14310 9810 547 511.11 1797.92/1798.58 c 287236 742 10065 588515 58 25444 15742 8885 556 515.84 1797.92/1798.58 c 298598 742 15209 885124 58 39795 17317 14029 570 523.81 1797.92/1798.58 c 315744 742 12545 623101 49 32341 19049 11365 575 548.86 1797.92/1798.58 c 341564 742 10826 608047 56 27138 20954 9646 584 584.09 1797.92/1798.58 c 380396 742 17598 863539 49 45094 23050 16418 590 644.61 1797.92/1798.58 c 438750 742 19397 1023979 52 48658 25356 18217 573 764.67 1797.92/1798.58 c 526382 741 18924 978413 51 49906 27892 17744 564 932.94 1797.92/1798.58 c 657934 740 15334 855271 55 36521 30682 14154 526 1249.24 1797.92/1798.58 c 855366 740 22480 1144229 50 58790 33751 21300 510 1676.22 1797.92/1798.58 c Resources Exceeded 1797.92/1798.58 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 x73 -x74 x75 x76 x77 x78 -x79 -x80 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 x257 x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 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 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 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 x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 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 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 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 x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 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 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x121 x122 -x123 -x124 x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 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 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 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 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 1797.92/1798.58 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.92/1798.58 c 35 899990 9990 937012 18868 991986 17688 500 1798.00 1797.92/1798.58 c Objective: 7 1797.92/1798.58 s SATISFIABLE 1797.92/1798.58 c Total time: 1798 s
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670537-1276702376/watcher-2670537-1276702376 -o /tmp/evaluation-result-2670537-1276702376/solver-2670537-1276702376 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670537-1276702376.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.00 1.00 1.00 3/105 19625 /proc/meminfo: memFree=1706292/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=10968 CPUtime=0 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 340 0 0 0 0 0 0 0 25 0 1 0 11531397 11231232 259 1992294400 134512640 137138936 4290493248 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 2742 259 176 642 0 2087 0 [startup+0.0846001 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19625 /proc/meminfo: memFree=1706292/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=11556 CPUtime=0.08 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 533 0 0 0 8 0 0 0 18 0 1 0 11531397 11833344 441 1992294400 134512640 137138936 4290493248 18446744073709551615 134618015 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 2889 441 192 642 0 2245 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 11556 [startup+0.100601 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19625 /proc/meminfo: memFree=1706292/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=11684 CPUtime=0.09 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 563 0 0 0 9 0 0 0 18 0 1 0 11531397 11964416 471 1992294400 134512640 137138936 4290493248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 2921 471 192 642 0 2277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11684 [startup+0.300624 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19625 /proc/meminfo: memFree=1706292/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=12824 CPUtime=0.29 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 856 0 0 0 29 0 0 0 18 0 1 0 11531397 13131776 764 1992294400 134512640 137138936 4290493248 18446744073709551615 134539298 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 3206 764 192 642 0 2562 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12824 [startup+0.700668 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19625 /proc/meminfo: memFree=1706292/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=14356 CPUtime=0.69 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 1248 0 0 0 68 1 0 0 18 0 1 0 11531397 14700544 1156 1992294400 134512640 137138936 4290493248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 3589 1158 192 642 0 2945 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14356 [startup+1.50076 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19626 /proc/meminfo: memFree=1701820/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=16408 CPUtime=1.49 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 1757 0 0 0 148 1 0 0 20 0 1 0 11531397 16801792 1665 1992294400 134512640 137138936 4290493248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 4102 1665 192 642 0 3458 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16408 [startup+3.10094 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19626 /proc/meminfo: memFree=1699340/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=19216 CPUtime=3.09 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 2449 0 0 0 307 2 0 0 25 0 1 0 11531397 19677184 2357 1992294400 134512640 137138936 4290493248 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 4804 2357 192 642 0 4160 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19216 [startup+6.3003 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19626 /proc/meminfo: memFree=1695248/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=22304 CPUtime=6.29 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 3238 0 0 0 626 3 0 0 25 0 1 0 11531397 22839296 3146 1992294400 134512640 137138936 4290493248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 5576 3146 192 642 0 4932 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22304 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19626 /proc/meminfo: memFree=1690040/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=26584 CPUtime=12.69 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 4300 0 0 0 1263 6 0 0 25 0 1 0 11531397 27222016 4208 1992294400 134512640 137138936 4290493248 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 6646 4208 192 642 0 6002 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26584 [startup+25.5005 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19626 /proc/meminfo: memFree=1685328/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=31412 CPUtime=25.48 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 5511 0 0 0 2538 10 0 0 25 0 1 0 11531397 32165888 5419 1992294400 134512640 137138936 4290493248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 7853 5419 192 642 0 7209 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 31412 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19626 /proc/meminfo: memFree=1685328/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=31412 CPUtime=51.08 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 5513 0 0 0 5092 16 0 0 25 0 1 0 11531397 32165888 5421 1992294400 134512640 137138936 4290493248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 7853 5421 192 642 0 7209 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31412 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19628 /proc/meminfo: memFree=1681732/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=34872 CPUtime=102.26 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 6382 0 0 0 10200 26 0 0 25 0 1 0 11531397 35708928 6290 1992294400 134512640 137138936 4290493248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 8718 6290 192 642 0 8074 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 34872 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19630 /proc/meminfo: memFree=1680864/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=35616 CPUtime=162.24 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 6573 0 0 0 16188 36 0 0 25 0 1 0 11531397 36470784 6481 1992294400 134512640 137138936 4290493248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 8904 6481 192 642 0 8260 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35616 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19632 /proc/meminfo: memFree=1678508/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=38040 CPUtime=222.21 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 7178 0 0 0 22177 44 0 0 25 0 1 0 11531397 38952960 7086 1992294400 134512640 137138936 4290493248 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 9510 7086 192 642 0 8866 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 38040 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19632 /proc/meminfo: memFree=1676896/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=39652 CPUtime=282.2 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 7580 0 0 0 28165 55 0 0 25 0 1 0 11531397 40603648 7488 1992294400 134512640 137138936 4290493248 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 9913 7488 192 642 0 9269 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 39652 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19634 /proc/meminfo: memFree=1676648/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=39856 CPUtime=342.18 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 7632 0 0 0 34153 65 0 0 25 0 1 0 11531397 40812544 7540 1992294400 134512640 137138936 4290493248 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 9964 7540 192 642 0 9320 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 39856 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19636 /proc/meminfo: memFree=1674168/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=42304 CPUtime=402.16 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8247 0 0 0 40141 75 0 0 25 0 1 0 11531397 43319296 8121 1992294400 134512640 137138936 4290493248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10576 8121 192 642 0 9932 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 42304 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19638 /proc/meminfo: memFree=1674168/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=42304 CPUtime=462.14 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8247 0 0 0 46128 86 0 0 25 0 1 0 11531397 43319296 8121 1992294400 134512640 137138936 4290493248 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10576 8121 192 642 0 9932 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 42304 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19640 /proc/meminfo: memFree=1674168/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=42048 CPUtime=522.13 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8247 0 0 0 52114 99 0 0 25 0 1 0 11531397 43057152 8089 1992294400 134512640 137138936 4290493248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10512 8089 192 642 0 9868 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 42048 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19640 /proc/meminfo: memFree=1674044/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=42048 CPUtime=582.1 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8247 0 0 0 58100 110 0 0 25 0 1 0 11531397 43057152 8089 1992294400 134512640 137138936 4290493248 18446744073709551615 136511201 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10512 8089 192 642 0 9868 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 42048 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19642 /proc/meminfo: memFree=1674044/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=42048 CPUtime=642.1 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8247 0 0 0 64087 123 0 0 25 0 1 0 11531397 43057152 8089 1992294400 134512640 137138936 4290493248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10512 8089 192 642 0 9868 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 42048 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1673424/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=42048 CPUtime=1061.95 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8247 0 0 0 106006 189 0 0 25 0 1 0 11531397 43057152 8089 1992294400 134512640 137138936 4290493248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10512 8089 192 642 0 9868 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 42048 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 3/106 19656 /proc/meminfo: memFree=1673424/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=42048 CPUtime=1121.94 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8247 0 0 0 111996 198 0 0 25 0 1 0 11531397 43057152 8089 1992294400 134512640 137138936 4290493248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10512 8089 192 642 0 9868 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 42048 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19656 /proc/meminfo: memFree=1673300/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=42048 CPUtime=1181.92 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8247 0 0 0 117985 207 0 0 25 0 1 0 11531397 43057152 8089 1992294400 134512640 137138936 4290493248 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10512 8089 192 642 0 9868 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 42048 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19658 /proc/meminfo: memFree=1673052/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=42048 CPUtime=1241.91 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8247 0 0 0 123974 217 0 0 25 0 1 0 11531397 43057152 8089 1992294400 134512640 137138936 4290493248 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10512 8089 192 642 0 9868 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 42048 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19660 /proc/meminfo: memFree=1672928/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=42048 CPUtime=1301.89 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8247 0 0 0 129960 229 0 0 25 0 1 0 11531397 43057152 8089 1992294400 134512640 137138936 4290493248 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10512 8089 192 642 0 9868 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 42048 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19662 /proc/meminfo: memFree=1672556/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1361.87 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 135947 240 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 134602875 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 43184 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19664 /proc/meminfo: memFree=1672556/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1421.86 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 141934 252 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 43184 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19664 /proc/meminfo: memFree=1672432/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1481.83 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 147923 260 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 43184 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19666 /proc/meminfo: memFree=1672432/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1541.81 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 153911 270 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 43184 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19668 /proc/meminfo: memFree=1672308/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1601.8 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 159901 279 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 43184 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19670 /proc/meminfo: memFree=1672308/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1661.77 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 165889 288 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 43184 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19681 /proc/meminfo: memFree=1671192/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1721.74 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 171877 297 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 43184 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19681 /proc/meminfo: memFree=1671316/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1781.72 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 177866 306 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 43184 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 19683 /proc/meminfo: memFree=1671316/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1791.32 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 178825 307 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 43184 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19683 /proc/meminfo: memFree=1671316/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1794.52 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 179144 308 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (KiB) 43184 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19683 /proc/meminfo: memFree=1671316/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1796.12 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 179304 308 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1796.12 Current children cumulated vsize (KiB) 43184 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19683 /proc/meminfo: memFree=1671316/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1796.92 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 179384 308 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1796.92 Current children cumulated vsize (KiB) 43184 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19683 /proc/meminfo: memFree=1671316/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1797.71 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 179463 308 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 136297633 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1797.71 Current children cumulated vsize (KiB) 43184 [startup+1798.51 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19683 /proc/meminfo: memFree=1671316/2059040 swapFree=4192956/4192956 [pid=19625] ppid=19623 vsize=43184 CPUtime=1797.92 /proc/19625/stat : 19625 (bsolo_pb10) R 19623 19625 19129 0 -1 4202496 8499 0 0 0 179484 308 0 0 25 0 1 0 11531397 44220416 8341 1992294400 134512640 137138936 4290493248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19625/statm: 10796 8341 192 642 0 10152 0 Current children cumulated CPU time (s) 1797.92 Current children cumulated vsize (KiB) 43184 Child status: 0 Real time (s): 1798.58 CPU time (s): 1798 CPU user time (s): 1794.92 CPU system time (s): 3.08653 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (KiB): 43184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.92 system time used= 3.08653 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8500 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= 2 involuntary context switches= 5077 runsolver used 2.89556 second user time and 8.5597 second system time The end
Begin job on node085 at 2010-06-16 17:32:56 IDJOB=2670537 IDBENCH=47985 IDSOLVER=1162 FILE ID=node085/2670537-1276702376 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=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670537-1276702376/watcher-2670537-1276702376 -o /tmp/evaluation-result-2670537-1276702376/solver-2670537-1276702376 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670537-1276702376.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 747af0da1666dabab7e7b60330c37a87 RANDOM SEED=482004017 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: 1707192 kB Buffers: 83336 kB Cached: 129728 kB SwapCached: 0 kB Active: 130944 kB Inactive: 141576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1707192 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4168 kB Writeback: 0 kB AnonPages: 59420 kB Mapped: 15344 kB Slab: 57748 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182284 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-2670537-1276702376.opb Free space on /tmp at the end= 121868 MiB End job on node085 at 2010-06-16 18:02:54