Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 5809 | 1798.02 | 1798.45 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-C432.opb |
MD5SUM | a8708c855e8ec8c2a31771025318bb9b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4822 |
Best CPU time to get the best result obtained on this benchmark | 4.34334 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4822 |
Optimality of the best value was proved | YES |
Number of variables | 771 |
Total number of constraints | 1951 |
Number of constraints which are clauses | 1949 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42 |
Number of terms in the objective function | 771 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 33355 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 33355 |
Number of bits of the biggest sum of numbers | 16 |
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/0.00 c bsolo beta version 3.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1880007-1245147618.opb 0.00/0.00 c File size is 94864 bytes. 0.00/0.01 c Highest Coefficient sum: 33355 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.012 s 0.00/0.01 c Var: 771 Constr: 1951 1951/0/0 Lit: 9362 Watch. Lit: 3891 0.00/0.01 c Obj. Vars: 771 (100 % of total variables) 0.01/0.03 c Formula reductions applied at preprocessing 0.01/0.03 c Pre-processing Time: 0.032 s 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 0 752 1727 8778 5 3454 575 0 0 0.03 0.09/0.19 c Initial Lower Bound: 4728 0.09/0.19 c Initial Path Cost: 552 0.09/0.19 o 7143 2.29/2.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 2.29/2.34 c 0 752 1728 9530 5 4031 2079 1 0 0.19 2.29/2.34 o 6900 4.40/4.47 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 4.40/4.47 c 0 752 1729 10282 5 4590 3583 2 0 2.34 4.40/4.47 o 6730 6.59/6.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 6.59/6.62 c 0 752 1730 11034 6 5149 5087 3 0 4.48 6.59/6.62 o 6698 8.29/8.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.33 c 2 752 1737 14201 8 5723 5087 10 0 6.62 8.29/8.33 o 5826 10.78/10.82 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.78/10.82 c 2 752 1738 14953 8 6331 5087 11 0 8.33 10.78/10.82 o 5818 288.82/288.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 288.82/288.95 c 75 752 1958 82233 41 7345 5087 231 6 10.82 288.82/288.95 c 175 752 2257 183503 81 7950 5596 530 12 14.13 288.82/288.95 c 431 752 3024 438882 145 9469 6156 1297 23 18.54 288.82/288.95 c 917 752 4482 902259 201 12379 6772 2755 35 26.07 288.82/288.95 c 1731 752 6921 1695295 244 17272 7450 5194 46 37.33 288.82/288.95 c 3051 752 6736 1644730 244 14067 8196 5009 54 56.03 288.82/288.95 c 5161 752 8587 2384425 277 17767 9016 6860 62 82.56 288.82/288.95 c 8390 752 8252 2244113 271 17111 9918 6525 70 119.34 288.82/288.95 c 13326 752 6904 1811845 262 14410 10910 5177 75 177.35 288.82/288.95 c 20851 752 11661 3270628 280 23918 12002 9934 77 269.18 288.82/288.95 o 5817 547.36/547.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 547.36/547.52 c 22423 752 9965 2809123 281 21136 2079 8238 77 288.88 547.36/547.52 c 22523 752 3065 441626 144 6725 2287 1338 76 293.36 547.36/547.52 c 22791 752 3860 713513 184 8312 2516 2133 76 297.86 547.36/547.52 c 23266 752 3658 611520 167 7908 2768 1931 76 305.27 547.36/547.52 c 24080 752 4354 782252 179 9301 3045 2627 75 316.87 547.36/547.52 c 25400 752 4574 799360 174 9740 3350 2847 76 333.91 547.36/547.52 c 27482 752 4667 891891 191 9926 3686 2940 76 360.01 547.36/547.52 c 30708 752 5344 1168259 218 11282 4055 3617 77 398.58 547.36/547.52 c 35651 752 5479 1329970 242 11552 4461 3752 78 451.56 547.36/547.52 c 43159 752 3965 788295 198 8526 4908 2238 81 531.99 547.36/547.52 o 5815 1731.69/1732.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1731.69/1732.13 c 44424 752 4679 1054582 225 10566 2079 2952 81 547.40 1731.69/1732.13 c 44525 752 3076 477158 155 6750 2287 1349 80 550.02 1731.69/1732.13 c 44786 752 3858 734928 190 8311 2516 2131 80 554.63 1731.69/1732.13 c 45268 752 3674 665815 181 7943 2768 1947 80 561.68 1731.69/1732.13 c 46096 752 4212 818979 194 9043 3045 2485 80 572.17 1731.69/1732.13 c 47459 752 4478 927098 207 9561 3350 2751 80 587.77 1731.69/1732.13 c 49540 752 4137 848660 205 8882 3686 2410 80 611.71 1731.69/1732.13 c 52764 752 4949 996061 201 10495 4055 3222 81 648.76 1731.69/1732.13 c 57719 752 5190 1014091 195 10978 4461 3463 81 708.45 1731.69/1732.13 c 65229 752 4024 687657 170 8647 4908 2297 81 796.78 1731.69/1732.13 c 76590 752 6533 1514891 231 13678 5399 4806 81 936.27 1731.69/1732.13 c 93743 752 5069 938332 185 10738 5939 3342 83 1120.94 1731.69/1732.13 c 119568 752 5283 1136338 215 11168 6533 3556 83 1437.95 1731.69/1732.13 o 5809 1797.97/1798.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.97/1798.43 c 144299 752 6898 1459842 211 14998 2079 5171 83 1731.72 1797.97/1798.43 c 144400 752 3078 377191 122 6750 2287 1351 83 1733.92 1797.97/1798.43 c 144654 752 3838 546760 142 8266 2516 2111 83 1738.66 1797.97/1798.43 c 145134 752 3741 528097 141 8072 2768 2014 83 1746.02 1797.97/1798.43 c 145957 752 4454 704511 158 9497 3045 2727 83 1757.26 1797.97/1798.43 c 147278 752 3258 379749 116 7103 3350 1531 83 1774.18 1797.97/1798.43 c Resources Exceeded 1797.97/1798.43 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 -x81 -x82 -x83 -x84 -x85 x86 x87 -x88 -x89 -x90 -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 -x116 -x117 -x118 -x119 x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -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 -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 -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 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 -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 -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 -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 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 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -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 1797.97/1798.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.97/1798.43 c 44 149345 7556 177764 5418 1050752 3691 83 1798.01 1797.97/1798.43 c Objective: 5809 1797.97/1798.43 s SATISFIABLE 1797.97/1798.43 c Total time: 1798.01 s
OK 5809
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880007-1245147618/watcher-1880007-1245147618 -o /tmp/evaluation-result-1880007-1245147618/solver-1880007-1245147618 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880007-1245147618.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/64 340 /proc/meminfo: memFree=1765544/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=10812 CPUtime=0 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 249 0 0 0 0 0 0 0 18 0 1 0 182362821 11071488 233 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 2703 233 175 640 0 2035 0 [startup+0.0168799 s] /proc/loadavg: 1.00 1.00 1.00 3/64 340 /proc/meminfo: memFree=1765544/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=11116 CPUtime=0.01 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 378 0 0 0 1 0 0 0 18 0 1 0 182362821 11382784 338 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 2779 338 189 640 0 2135 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11116 [startup+0.101887 s] /proc/loadavg: 1.00 1.00 1.00 3/64 340 /proc/meminfo: memFree=1765544/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=13332 CPUtime=0.09 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 852 0 0 0 9 0 0 0 18 0 1 0 182362821 13651968 709 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 3333 709 283 640 0 2689 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 13332 [startup+0.301904 s] /proc/loadavg: 1.00 1.00 1.00 3/64 340 /proc/meminfo: memFree=1765544/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=11384 CPUtime=0.29 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 4240 0 0 0 28 1 0 0 19 0 1 0 182362821 11657216 538 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 2846 538 290 640 0 2202 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11384 [startup+0.701937 s] /proc/loadavg: 1.00 1.00 1.00 3/64 340 /proc/meminfo: memFree=1765544/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=13860 CPUtime=0.69 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 17879 0 0 0 64 5 0 0 22 0 1 0 182362821 14192640 718 1992294400 134512640 137136520 4294956256 18446744073709551615 135467560 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 3465 718 290 640 0 2821 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13860 [startup+1.503 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1764000/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=11520 CPUtime=1.49 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 46092 0 0 0 134 15 0 0 25 0 1 0 182362821 11796480 546 1992294400 134512640 137136520 4294956256 18446744073709551615 136526053 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 2880 550 290 640 0 2236 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11520 [startup+3.10113 s] /proc/loadavg: 1.08 1.02 1.01 2/65 341 /proc/meminfo: memFree=1763488/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=13448 CPUtime=3.09 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 99565 0 0 0 277 32 0 0 25 0 1 0 182362821 13770752 673 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 3362 673 291 640 0 2718 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13448 [startup+6.30139 s] /proc/loadavg: 1.08 1.02 1.01 2/65 341 /proc/meminfo: memFree=1763616/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=13992 CPUtime=6.29 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 210614 0 0 0 565 64 0 0 25 0 1 0 182362821 14327808 778 1992294400 134512640 137136520 4294956256 18446744073709551615 135455673 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 3498 778 291 640 0 2854 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13992 [startup+12.7019 s] /proc/loadavg: 1.07 1.02 1.00 2/65 341 /proc/meminfo: memFree=1762208/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=14472 CPUtime=12.69 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 428528 0 0 0 1140 129 0 0 25 0 1 0 182362821 14819328 941 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 3618 942 293 640 0 2974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14472 [startup+25.502 s] /proc/loadavg: 1.06 1.01 1.00 2/65 341 /proc/meminfo: memFree=1751968/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=25500 CPUtime=25.48 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 822783 0 0 0 2291 257 0 0 25 0 1 0 182362821 26112000 3662 1992294400 134512640 137136520 4294956256 18446744073709551615 135438666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 6375 3662 293 640 0 5731 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 25500 [startup+51.101 s] /proc/loadavg: 1.04 1.01 1.00 2/65 341 /proc/meminfo: memFree=1728416/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=49400 CPUtime=51.08 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 1607810 0 0 0 4589 519 0 0 25 0 1 0 182362821 50585600 9646 1992294400 134512640 137136520 4294956256 18446744073709551615 135438666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 12350 9646 293 640 0 11706 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 49400 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/65 341 /proc/meminfo: memFree=1716640/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=60328 CPUtime=102.27 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 2239462 0 0 0 9481 746 0 0 25 0 1 0 182362821 61775872 12383 1992294400 134512640 137136520 4294956256 18446744073709551615 135249175 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 15082 12383 293 640 0 14438 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 60328 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1711200/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=65340 CPUtime=162.24 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 2670318 0 0 0 15307 917 0 0 25 0 1 0 182362821 66908160 13735 1992294400 134512640 137136520 4294956256 18446744073709551615 135387467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 16335 13735 293 640 0 15691 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 65340 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1711136/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=65604 CPUtime=222.24 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 2971889 0 0 0 21174 1050 0 0 25 0 1 0 182362821 67178496 13736 1992294400 134512640 137136520 4294956256 18446744073709551615 135454610 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 16401 13736 293 640 0 15757 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 65604 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704096/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=72756 CPUtime=282.22 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3391241 0 0 0 27006 1216 0 0 25 0 1 0 182362821 74502144 15484 1992294400 134512640 137136520 4294956256 18446744073709551615 134847406 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 18189 15484 293 640 0 17545 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 72756 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704096/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=71756 CPUtime=342.2 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 32949 1271 0 0 25 0 1 0 182362821 73478144 15480 1992294400 134512640 137136520 4294956256 18446744073709551615 136501956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17939 15480 293 640 0 17295 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 71756 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704352/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=402.19 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 38947 1272 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135378638 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 70828 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704352/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=462.18 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 44944 1274 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135464092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 70828 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704352/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=522.17 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 50942 1275 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 134830059 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 70828 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704352/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=582.15 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 56938 1277 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 70828 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704352/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=642.14 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 62936 1278 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 134830134 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 70828 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1704224/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1122.02 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 110914 1288 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 70828 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704160/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1182.01 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 116912 1289 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135249267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 70828 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704096/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1242 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 122910 1290 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 134728824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 70828 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704032/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1301.99 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 128908 1291 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135378873 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 70828 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704032/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1361.97 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 134905 1292 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135250628 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 70828 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1704032/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1421.96 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 140903 1293 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135455634 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 70828 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703968/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1481.94 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 146900 1294 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 134838635 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1481.94 Current children cumulated vsize (KiB) 70828 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703968/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1541.93 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 152898 1295 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135068921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1541.93 Current children cumulated vsize (KiB) 70828 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703968/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1601.91 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 158895 1296 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135380370 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1601.91 Current children cumulated vsize (KiB) 70828 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703904/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1661.9 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 164892 1298 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135379710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 70828 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703904/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1721.88 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 170889 1299 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 136518911 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 70828 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703840/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1781.87 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 176886 1301 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 134923369 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1781.87 Current children cumulated vsize (KiB) 70828 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703840/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1791.47 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 177846 1301 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 134847267 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 70828 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703840/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1794.67 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 178166 1301 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135469450 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (KiB) 70828 [startup+1796.7 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703840/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1796.27 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 178326 1301 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1796.27 Current children cumulated vsize (KiB) 70828 [startup+1797.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703840/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1797.07 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 178406 1301 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135470865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1797.07 Current children cumulated vsize (KiB) 70828 [startup+1797.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703840/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1797.47 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 178446 1301 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135379312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (KiB) 70828 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703840/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1797.87 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 178486 1301 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135445544 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1797.87 Current children cumulated vsize (KiB) 70828 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 1.00 2/65 341 /proc/meminfo: memFree=1703840/2055920 swapFree=4191900/4192956 [pid=340] ppid=338 vsize=70828 CPUtime=1797.97 /proc/340/stat : 340 (bsolo) R 338 340 32685 0 -1 4194304 3512479 0 0 0 178496 1301 0 0 25 0 1 0 182362821 72527872 15402 1992294400 134512640 137136520 4294956256 18446744073709551615 135441652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/340/statm: 17707 15402 293 640 0 17063 0 Current children cumulated CPU time (s) 1797.97 Current children cumulated vsize (KiB) 70828 Child status: 0 Real time (s): 1798.45 CPU time (s): 1798.02 CPU user time (s): 1785 CPU system time (s): 13.027 CPU usage (%): 99.9764 Max. virtual memory (cumulated for all children) (KiB): 73656 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1785 system time used= 13.027 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3512481 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= 1745 runsolver used 1.41678 second user time and 3.60745 second system time The end
Begin job on node3 at 2009-06-16 12:20:18 IDJOB=1880007 IDBENCH=2018 IDSOLVER=701 FILE ID=node3/1880007-1245147618 PBS_JOBID= 9363760 Free space on /tmp= 66320 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-C432.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880007-1245147618/watcher-1880007-1245147618 -o /tmp/evaluation-result-1880007-1245147618/solver-1880007-1245147618 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880007-1245147618.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a8708c855e8ec8c2a31771025318bb9b RANDOM SEED=1708546851 node3.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.236 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.236 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: 1766024 kB Buffers: 30816 kB Cached: 188088 kB SwapCached: 260 kB Active: 49472 kB Inactive: 182712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766024 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4036 kB Writeback: 0 kB Mapped: 21768 kB Slab: 43800 kB Committed_AS: 151516 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880007-1245147618.opb Free space on /tmp at the end= 66316 MiB End job on node3 at 2009-06-16 12:50:17