Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
toysat 2012-05-17 | OPT | 98.811 | 98.8275 |
Name | /OPT-BIGINT-LIN/zahidi/IC/ normalized-minisat15_5_3_0_ic.opb |
MD5SUM | f2f3c2f48d6893b638576945c3e9afc6 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5767234 |
Best CPU time to get the best result obtained on this benchmark | 2.02269 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 3435 |
Total number of constraints | 6802 |
Number of constraints which are clauses | 2970 |
Number of constraints which are cardinality constraints (but not clauses) | 7 |
Number of constraints which are nor clauses,nor cardinality constraints | 3825 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 105 |
Number of terms in the objective function | 645 |
Biggest coefficient in the objective function | 80621568 |
Number of bits for the biggest coefficient in the objective function | 27 |
Sum of the numbers in the objective function | 2887186803 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 80621568 |
Number of bits of the biggest number in a constraint | 27 |
Biggest sum of numbers in a constraint | 2887186803 |
Number of bits of the biggest sum of numbers | 32 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.19/0.23 c 2012-05-29T00:29:58+0200 0.19/0.23 c arch = x86_64 0.19/0.23 c os = linux 0.19/0.23 c compiler = ghc 7.4 0.19/0.23 c packages: 0.19/0.23 c OptDir-0.0.1 0.19/0.23 c array-0.4.0.0 0.19/0.23 c base-4.5.0.0 0.19/0.23 c bytestring-0.9.2.1 0.19/0.23 c containers-0.4.2.1 0.19/0.23 c deepseq-1.3.0.0 0.19/0.23 c mtl-2.1.1 0.19/0.23 c old_locale-1.0.0.4 0.19/0.23 c parse_dimacs-1.2 0.19/0.23 c parsec-3.1.2 0.19/0.23 c queue-0.1.2 0.19/0.23 c stm-2.3 0.19/0.23 c time-1.4 0.19/0.23 c command line = ["--pb","HOME/instance-3706471-1338244198.opb"] 0.19/0.23 c #vars 3435 0.19/0.23 c #constraints 6802 0.19/0.23 c Solving starts ... 0.49/0.51 c solving time = 0.285s 0.49/0.51 c #decision = 384 0.49/0.51 c #conflict = 100 0.49/0.51 c #restart = 1 0.49/0.51 o 42278954 0.49/0.51 c Solving starts ... 0.49/0.54 c solving time = 0.022s 0.49/0.54 c #decision = 494 0.49/0.54 c #conflict = 105 0.49/0.54 c #restart = 1 0.49/0.54 o 42261914 0.49/0.54 c Solving starts ... 0.49/0.57 c solving time = 0.025s 0.49/0.57 c #decision = 588 0.49/0.57 c #conflict = 109 0.49/0.57 c #restart = 1 0.49/0.57 o 42144554 0.49/0.57 c Solving starts ... 0.59/0.61 c solving time = 0.041s 0.59/0.61 c #decision = 657 0.59/0.61 c #conflict = 115 0.59/0.61 c #restart = 1 0.59/0.61 o 9796702 0.59/0.61 c Solving starts ... 0.59/0.63 c solving time = 0.018s 0.59/0.63 c #decision = 685 0.59/0.63 c #conflict = 116 0.59/0.63 c #restart = 1 0.59/0.63 o 9634972 0.59/0.63 c Solving starts ... 0.59/0.65 c solving time = 0.019s 0.59/0.65 c #decision = 709 0.59/0.65 c #conflict = 117 0.59/0.65 c #restart = 1 0.59/0.65 o 8621412 0.59/0.65 c Solving starts ... 0.68/0.70 c solving time = 0.044s 0.68/0.70 c #decision = 737 0.68/0.70 c #conflict = 123 0.68/0.70 c #restart = 1 0.68/0.70 o 7762862 0.68/0.70 c Solving starts ... 0.68/0.73 c solving time = 0.025s 0.68/0.73 c #decision = 755 0.68/0.73 c #conflict = 125 0.68/0.73 c #restart = 1 0.68/0.73 o 7373074 0.68/0.73 c Solving starts ... 0.68/0.78 c solving time = 0.055s 0.68/0.78 c #decision = 775 0.68/0.78 c #conflict = 132 0.68/0.78 c #restart = 1 0.68/0.78 o 6502074 0.68/0.78 c Solving starts ... 9.89/9.97 c solving time = 9.182s 9.89/9.97 c #decision = 2835 9.89/9.97 c #conflict = 1268 9.89/9.97 c #restart = 5 9.89/9.97 o 6422962 9.89/9.97 c Solving starts ... 22.28/22.33 c solving time = 12.353s 22.28/22.33 c #decision = 4813 22.28/22.33 c #conflict = 2569 22.28/22.33 c #restart = 9 22.28/22.33 o 6379364 22.28/22.33 c Solving starts ... 43.08/43.12 c solving time = 20.787s 43.08/43.12 c #decision = 7640 43.08/43.12 c #conflict = 4422 43.08/43.12 c #restart = 14 43.08/43.12 o 6324776 43.08/43.12 c Solving starts ... 43.08/43.14 c learnt constraints deletion: 4401 -> 2201 43.98/44.04 c solving time = 0.912s 43.98/44.04 c #decision = 7704 43.98/44.04 c #conflict = 4463 43.98/44.04 c #restart = 14 43.98/44.04 o 6240408 43.98/44.04 c Solving starts ... 61.98/62.02 c solving time = 17.981s 61.98/62.02 c #decision = 10276 61.98/62.02 c #conflict = 6176 61.98/62.02 c #restart = 19 61.98/62.02 o 6229442 61.98/62.02 c Solving starts ... 61.98/62.03 c learnt constraints deletion: 3944 -> 1972 72.77/72.86 c solving time = 10.831s 72.77/72.86 c #decision = 11890 72.77/72.86 c #conflict = 7280 72.77/72.86 c #restart = 23 72.77/72.86 o 6207452 72.77/72.86 c Solving starts ... 78.47/78.52 c solving time = 5.655s 78.47/78.52 c #decision = 13076 78.47/78.52 c #conflict = 8070 78.47/78.52 c #restart = 26 78.47/78.52 o 6129598 78.47/78.52 c Solving starts ... 83.58/83.68 c solving time = 5.159s 83.58/83.68 c #decision = 14120 83.58/83.68 c #conflict = 8725 83.58/83.68 c #restart = 29 83.58/83.68 o 6078218 83.58/83.68 c Solving starts ... 83.58/83.69 c learnt constraints deletion: 4507 -> 2254 90.97/91.02 c solving time = 7.330s 90.97/91.02 c #decision = 15503 90.97/91.02 c #conflict = 9548 90.97/91.02 c #restart = 33 90.97/91.02 o 6063996 90.97/91.02 c Solving starts ... 92.77/92.86 c solving time = 1.841s 92.77/92.86 c #decision = 15919 92.77/92.86 c #conflict = 9803 92.77/92.86 c #restart = 35 92.77/92.86 o 6055598 92.77/92.86 c Solving starts ... 92.87/92.99 c solving time = 0.127s 92.87/92.99 c #decision = 15943 92.87/92.99 c #conflict = 9813 92.87/92.99 c #restart = 35 92.87/92.99 o 5937092 92.87/92.99 c Solving starts ... 93.98/94.04 c solving time = 1.043s 93.98/94.04 c #decision = 16152 93.98/94.04 c #conflict = 9931 93.98/94.04 c #restart = 36 93.98/94.04 o 5906190 93.98/94.04 c Solving starts ... 93.98/94.08 c solving time = 0.036s 93.98/94.08 c #decision = 16166 93.98/94.08 c #conflict = 9931 93.98/94.08 c #restart = 36 93.98/94.08 o 5906190 93.98/94.08 c Solving starts ... 96.88/96.93 c solving time = 2.854s 96.88/96.93 c #decision = 16734 96.88/96.93 c #conflict = 10306 96.88/96.93 c #restart = 38 96.88/96.93 o 5846388 96.88/96.93 c Solving starts ... 97.57/97.66 c solving time = 0.727s 97.57/97.66 c #decision = 16883 97.57/97.66 c #conflict = 10409 97.57/97.66 c #restart = 39 97.57/97.66 o 5837616 97.57/97.66 c Solving starts ... 97.88/98.00 c solving time = 0.336s 97.88/98.00 c #decision = 16949 97.88/98.00 c #conflict = 10451 97.88/98.00 c #restart = 39 97.88/98.00 o 5767234 97.98/98.00 c Solving starts ... 98.78/98.82 c solving time = 0.815s 98.78/98.82 c #decision = 17051 98.78/98.82 c #conflict = 10513 98.78/98.82 c #restart = 39 98.78/98.82 s OPTIMUM FOUND 98.78/98.82 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 98.78/98.82 v -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 98.78/98.82 v -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 98.78/98.82 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 98.78/98.82 v -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 98.78/98.82 v -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 98.78/98.82 v -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 98.78/98.82 v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 98.78/98.82 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 98.78/98.82 v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 98.78/98.82 v -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 98.78/98.82 v -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 98.78/98.82 v -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 98.78/98.82 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 98.78/98.82 v -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 98.78/98.82 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 98.78/98.82 v -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 98.78/98.82 v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 98.78/98.82 v -x181 -x182 -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 98.78/98.82 v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 98.78/98.82 v -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 98.78/98.82 v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 98.78/98.82 v -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 98.78/98.82 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 98.78/98.82 v -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 98.78/98.82 v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 98.78/98.82 v -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 98.78/98.82 v -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 98.78/98.82 v -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 98.78/98.82 v -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 98.78/98.82 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 98.78/98.82 v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 98.78/98.82 v -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 98.78/98.82 v -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 98.78/98.82 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 98.78/98.82 v -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 98.78/98.82 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 98.78/98.82 v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 98.78/98.82 v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 98.78/98.82 v -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 98.78/98.82 v -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 98.78/98.82 v -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 98.78/98.82 v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 98.78/98.82 v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 98.78/98.82 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 98.78/98.82 v -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 98.78/98.82 v -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 98.78/98.82 v -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 98.78/98.82 v -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 98.78/98.82 v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 98.78/98.82 v -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 98.78/98.82 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 98.78/98.82 v -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 98.78/98.82 v -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 98.78/98.82 v -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 98.78/98.82 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 98.78/98.82 v -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 98.78/98.82 v -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 98.78/98.82 v -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 98.78/98.82 v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 98.78/98.82 v -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 98.78/98.82 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 98.78/98.82 v -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 98.78/98.82 v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 98.78/98.82 v -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 98.78/98.82 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 98.78/98.82 v -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 98.78/98.82 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 98.78/98.82 v -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 98.78/98.82 v -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 98.78/98.82 v -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 98.78/98.82 v -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 98.78/98.82 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 x730 98.78/98.82 v -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 98.78/98.82 v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 98.78/98.82 v -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 98.78/98.82 v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 98.78/98.82 v -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 98.78/98.82 v -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 98.78/98.82 v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 98.78/98.82 v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 98.78/98.82 v -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 98.78/98.82 v -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 98.78/98.82 v -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 98.78/98.82 v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 98.78/98.82 v -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x860 98.78/98.82 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 98.78/98.82 v -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 98.78/98.82 v -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 98.78/98.82 v -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 98.78/98.82 v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 98.78/98.82 v -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 98.78/98.82 v -x921 -x922 x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 98.78/98.82 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 98.78/98.82 v -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 98.78/98.82 v -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 98.78/98.82 v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 98.78/98.82 v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 98.78/98.82 v -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 98.78/98.82 v -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 98.78/98.82 v -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 98.78/98.82 v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 98.78/98.82 v -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 98.78/98.82 v -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 98.78/98.82 v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 98.78/98.82 v -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 98.78/98.82 v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 98.78/98.82 v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 98.78/98.82 v -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 98.78/98.82 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 98.78/98.82 v -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 98.78/98.82 v -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 98.78/98.82 v -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 98.78/98.82 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 98.78/98.82 v -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 98.78/98.82 v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 98.78/98.82 v -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 98.78/98.82 v -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 98.78/98.82 v -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 98.78/98.82 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 98.78/98.82 v -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 98.78/98.82 v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 98.78/98.82 v -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 98.78/98.82 v -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 98.78/98.82 v -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 98.78/98.82 v -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 98.78/98.82 v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 98.78/98.82 v -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 98.78/98.82 v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 98.78/98.82 v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 98.78/98.82 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 98.78/98.82 v -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 98.78/98.82 v -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 98.78/98.82 v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 98.78/98.82 v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 98.78/98.82 v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 98.78/98.82 v -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 -x1369 -x1370 98.78/98.82 v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 98.78/98.82 v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 98.78/98.82 v -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 98.78/98.82 v -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 98.78/98.82 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 98.78/98.82 v x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 98.78/98.82 v -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 98.78/98.82 v -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 98.78/98.82 v -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 98.78/98.82 v -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 98.78/98.82 v -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 98.78/98.82 v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 98.78/98.82 v -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 98.78/98.82 v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 98.78/98.82 v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 98.78/98.82 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 98.78/98.82 v -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 98.78/98.82 v -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 98.78/98.82 v -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 98.78/98.82 v -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 98.78/98.82 v -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 98.78/98.82 v -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 98.78/98.82 v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 98.78/98.82 v -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 98.78/98.82 v -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 98.78/98.82 v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 98.78/98.82 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 98.78/98.82 v -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 98.78/98.82 v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 98.78/98.82 v -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 98.78/98.82 v -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 98.78/98.82 v -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 98.78/98.82 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 98.78/98.82 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 98.78/98.82 v -x1711 -x1712 -x1713 -x1714 -x1715 x1716 -x1717 -x1718 -x1719 -x1720 98.78/98.82 v -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 98.78/98.82 v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 98.78/98.82 v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 98.78/98.82 v -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 98.78/98.82 v -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 98.78/98.82 v -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 98.78/98.82 v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 98.78/98.82 v -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 98.78/98.82 v -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 98.78/98.82 v -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 98.78/98.82 v -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 98.78/98.82 v -x1831 x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 98.78/98.82 v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 98.78/98.82 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 98.78/98.82 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 98.78/98.82 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 98.78/98.82 v -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 98.78/98.82 v -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 98.78/98.82 v -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 98.78/98.82 v -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 98.78/98.82 v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 98.78/98.82 v -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 98.78/98.82 v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 98.78/98.82 v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 98.78/98.82 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 98.78/98.82 v -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 98.78/98.82 v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 98.78/98.82 v -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 98.78/98.82 v -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 98.78/98.82 v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 98.78/98.82 v -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 98.78/98.82 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 98.78/98.82 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 98.78/98.82 v -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 98.78/98.82 v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 98.78/98.82 v -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 98.78/98.82 v -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 98.78/98.82 v -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 98.78/98.82 v -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 x2110 98.78/98.82 v -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 98.78/98.82 v -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 98.78/98.82 v -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 98.78/98.82 v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 98.78/98.82 v -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 98.78/98.82 v -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 98.78/98.82 v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 98.78/98.82 v -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 98.78/98.82 v -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 98.78/98.82 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 98.78/98.82 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 98.78/98.82 v -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 98.78/98.82 v -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 98.78/98.82 v -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 98.78/98.82 v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 98.78/98.82 v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 98.78/98.82 v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 98.78/98.82 v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 98.78/98.82 v -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 98.78/98.82 v -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 98.78/98.82 v -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 98.78/98.82 v -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 98.78/98.82 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 98.78/98.82 v -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 98.78/98.82 v -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 98.78/98.82 v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 98.78/98.82 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 98.78/98.82 v -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 98.78/98.82 v -x2391 -x2392 -x2393 x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 98.78/98.82 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 98.78/98.82 v -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 98.78/98.82 v -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 98.78/98.82 v -x2431 -x2432 x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 98.78/98.82 v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 98.78/98.82 v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 98.78/98.82 v -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 98.78/98.82 v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 98.78/98.82 v -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 98.78/98.82 v -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 98.78/98.82 v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 98.78/98.82 v -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 98.78/98.82 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 98.78/98.82 v -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 98.78/98.82 v -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 98.78/98.82 v -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 98.78/98.82 v -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 98.78/98.82 v -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 98.78/98.82 v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 98.78/98.82 v -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 98.78/98.82 v -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 98.78/98.82 v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 98.78/98.82 v -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 -x2629 -x2630 98.78/98.82 v -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 98.78/98.82 v -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 98.78/98.82 v -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 98.78/98.82 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 98.78/98.82 v -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 98.78/98.82 v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 98.78/98.82 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 98.78/98.82 v -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 98.78/98.82 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 98.78/98.82 v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 98.78/98.82 v -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 98.78/98.82 v -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 98.78/98.82 v -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 x2758 -x2759 -x2760 98.78/98.82 v -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 98.78/98.82 v -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 98.78/98.82 v -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 98.78/98.82 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 x2798 -x2799 x2800 98.78/98.82 v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 98.78/98.82 v -x2811 -x2812 -x2813 x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 98.78/98.82 v -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 98.78/98.82 v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 x2837 -x2838 -x2839 -x2840 98.78/98.82 v x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 98.78/98.82 v x2851 -x2852 -x2853 -x2854 -x2855 x2856 -x2857 -x2858 -x2859 -x2860 98.78/98.82 v -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 98.78/98.82 v -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 98.78/98.82 v -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 98.78/98.82 v -x2891 -x2892 -x2893 x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 98.78/98.82 v -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 98.78/98.82 v x2911 x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 98.78/98.82 v -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 98.78/98.82 v -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 98.78/98.82 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 98.78/98.82 v -x2951 -x2952 x2953 -x2954 -x2955 -x2956 -x2957 -x2958 x2959 -x2960 98.78/98.82 v -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 x2969 -x2970 98.78/98.82 v -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 98.78/98.82 v -x2981 -x2982 -x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 x2990 98.78/98.82 v -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 98.78/98.82 v -x3001 -x3002 -x3003 x3004 -x3005 -x3006 -x3007 -x3008 x3009 -x3010 98.78/98.82 v -x3011 -x3012 -x3013 x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 98.78/98.82 v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 x3030 98.78/98.82 v -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 98.78/98.82 v -x3041 x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 98.78/98.82 v -x3051 -x3052 x3053 -x3054 x3055 -x3056 -x3057 x3058 -x3059 -x3060 98.78/98.82 v -x3061 -x3062 x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 98.78/98.82 v -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 x3078 -x3079 -x3080 98.78/98.82 v -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 98.78/98.82 v x3091 x3092 -x3093 -x3094 -x3095 x3096 -x3097 -x3098 -x3099 -x3100 98.78/98.82 v -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 98.78/98.82 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 -x3118 -x3119 -x3120 98.78/98.82 v -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 98.78/98.82 v x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 x3138 -x3139 -x3140 98.78/98.82 v -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 98.78/98.82 v -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 98.78/98.82 v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 98.78/98.82 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 x3180 98.78/98.82 v -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 98.78/98.82 v -x3191 x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 -x3199 x3200 98.78/98.82 v -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 x3207 -x3208 -x3209 x3210 98.78/98.82 v -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 98.78/98.82 v -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 98.78/98.82 v -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 98.78/98.82 v -x3241 -x3242 x3243 -x3244 -x3245 -x3246 x3247 -x3248 -x3249 -x3250 98.78/98.82 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 98.78/98.82 v -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 98.78/98.82 v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 98.78/98.82 v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 x3290 98.78/98.82 v -x3291 x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 98.78/98.82 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 98.78/98.82 v -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 98.78/98.82 v -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 98.78/98.82 v -x3331 -x3332 -x3333 -x3334 x3335 -x3336 x3337 -x3338 -x3339 -x3340 98.78/98.82 v -x3341 x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 98.78/98.82 v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 98.78/98.82 v -x3361 -x3362 x3363 -x3364 -x3365 -x3366 x3367 -x3368 -x3369 -x3370 98.78/98.82 v -x3371 -x3372 -x3373 -x3374 x3375 -x3376 -x3377 -x3378 -x3379 -x3380 98.78/98.82 v -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 98.78/98.82 v -x3391 -x3392 x3393 -x3394 x3395 -x3396 -x3397 -x3398 -x3399 -x3400 98.78/98.82 v -x3401 x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 98.78/98.82 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 98.78/98.82 v -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 98.78/98.82 v -x3431 -x3432 -x3433 -x3434 -x3435 98.78/98.82 c total time = 98.809s
OK 5767234
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3706471-1338244198/watcher-3706471-1338244198 -o /tmp/evaluation-result-3706471-1338244198/solver-3706471-1338244198 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706471-1338244198.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 2.00 3/176 6625 /proc/meminfo: memFree=30676968/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=7232 CPUtime=0 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 835 0 0 0 0 0 0 0 20 0 1 0 290545453 7405568 757 33554432000 4194304 8973514 140733500563744 140735906550680 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 1808 757 417 1167 0 589 0 [startup+0.106411 s] /proc/loadavg: 2.00 2.00 2.00 3/176 6625 /proc/meminfo: memFree=30676968/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=14400 CPUtime=0.09 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 2689 0 0 0 9 0 0 0 20 0 1 0 290545453 14745600 2611 33554432000 4194304 8973514 140733500563744 140735906550680 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 3600 2611 418 1167 0 2381 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 14400 [startup+0.200322 s] /proc/loadavg: 2.00 2.00 2.00 3/176 6625 /proc/meminfo: memFree=30676968/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=19520 CPUtime=0.19 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 4146 0 0 0 19 0 0 0 20 0 1 0 290545453 19988480 4068 33554432000 4194304 8973514 140733500563744 140733500563240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 4880 4068 434 1167 0 3661 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19520 [startup+0.300319 s] /proc/loadavg: 2.00 2.00 2.00 3/176 6625 /proc/meminfo: memFree=30676968/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=19520 CPUtime=0.29 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 4182 0 0 0 29 0 0 0 20 0 1 0 290545453 19988480 4104 33554432000 4194304 8973514 140733500563744 140733500563240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 4880 4104 447 1167 0 3661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19520 [startup+0.700279 s] /proc/loadavg: 2.00 2.00 2.00 3/176 6625 /proc/meminfo: memFree=30676968/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=21568 CPUtime=0.68 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 4705 0 0 0 68 0 0 0 20 0 1 0 290545453 22085632 4627 33554432000 4194304 8973514 140733500563744 140733500563240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 5392 4627 458 1167 0 4173 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 21568 [startup+1.50023 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6626 /proc/meminfo: memFree=30659104/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=23616 CPUtime=1.49 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 5217 0 0 0 148 1 0 0 20 0 1 0 290545453 24182784 5139 33554432000 4194304 8973514 140733500563744 140733500563240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 5904 5139 458 1167 0 4685 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23616 [startup+3.10024 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6626 /proc/meminfo: memFree=30657616/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=23616 CPUtime=3.08 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 5217 0 0 0 307 1 0 0 20 0 1 0 290545453 24182784 5139 33554432000 4194304 8973514 140733500563744 140733500563240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 5904 5139 458 1167 0 4685 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 23616 [startup+6.30024 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6629 /proc/meminfo: memFree=30655988/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=24640 CPUtime=6.29 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 5473 0 0 0 624 5 0 0 20 0 1 0 290545453 25231360 5395 33554432000 4194304 8973514 140733500563744 140733500563008 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 6160 5395 458 1167 0 4941 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24640 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6629 /proc/meminfo: memFree=30654872/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=26688 CPUtime=12.69 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 5985 0 0 0 1262 7 0 0 20 0 1 0 290545453 27328512 5907 33554432000 4194304 8973514 140733500563744 140733500563008 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 6672 5907 458 1167 0 5453 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26688 [startup+25.5003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6629 /proc/meminfo: memFree=30652912/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=28736 CPUtime=25.48 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 6497 0 0 0 2534 14 0 0 20 0 1 0 290545453 29425664 6419 33554432000 4194304 8973514 140733500563744 140733500563240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 7184 6419 458 1167 0 5965 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 28736 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6629 /proc/meminfo: memFree=30648896/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=31808 CPUtime=51.09 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 7266 0 0 0 5082 27 0 0 20 0 1 0 290545453 32571392 7188 33554432000 4194304 8973514 140733500563744 140733500563008 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 7952 7188 459 1167 0 6733 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 31808 Solver just ended. Dumping a history of the last processes samples [startup+51.2003 s] /proc/loadavg: 2.00 2.00 2.00 3/178 6629 /proc/meminfo: memFree=30648896/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=31808 CPUtime=51.19 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 7266 0 0 0 5092 27 0 0 20 0 1 0 290545453 32571392 7188 33554432000 4194304 8973514 140733500563744 140733500563240 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 7952 7188 459 1167 0 6733 0 Current children cumulated CPU time (s) 51.19 Current children cumulated vsize (KiB) 31808 [startup+76.8002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6629 /proc/meminfo: memFree=30649368/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=31808 CPUtime=76.77 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 7266 0 0 0 7639 38 0 0 20 0 1 0 290545453 32571392 7188 33554432000 4194304 8973514 140733500563744 140733500563008 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 7952 7188 459 1167 0 6733 0 Current children cumulated CPU time (s) 76.77 Current children cumulated vsize (KiB) 31808 [startup+89.6003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6629 /proc/meminfo: memFree=30648840/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=31808 CPUtime=89.58 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 7266 0 0 0 8913 45 0 0 20 0 1 0 290545453 32571392 7188 33554432000 4194304 8973514 140733500563744 140733500563240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 7952 7188 459 1167 0 6733 0 Current children cumulated CPU time (s) 89.58 Current children cumulated vsize (KiB) 31808 [startup+92.8003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6629 /proc/meminfo: memFree=30648716/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=31808 CPUtime=92.77 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 7266 0 0 0 9231 46 0 0 20 0 1 0 290545453 32571392 7188 33554432000 4194304 8973514 140733500563744 140733500563240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 7952 7188 459 1167 0 6733 0 Current children cumulated CPU time (s) 92.77 Current children cumulated vsize (KiB) 31808 [startup+96.0003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6629 /proc/meminfo: memFree=30647476/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=32832 CPUtime=95.97 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 7522 0 0 0 9549 48 0 0 20 0 1 0 290545453 33619968 7444 33554432000 4194304 8973514 140733500563744 140733500563240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 8208 7444 459 1167 0 6989 0 Current children cumulated CPU time (s) 95.97 Current children cumulated vsize (KiB) 32832 [startup+97.6003 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6629 /proc/meminfo: memFree=30647724/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=32832 CPUtime=97.57 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 7522 0 0 0 9708 49 0 0 20 0 1 0 290545453 33619968 7444 33554432000 4194304 8973514 140733500563744 140733500563240 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 8208 7444 459 1167 0 6989 0 Current children cumulated CPU time (s) 97.57 Current children cumulated vsize (KiB) 32832 [startup+98.4002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6629 /proc/meminfo: memFree=30647724/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=32832 CPUtime=98.38 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 7522 0 0 0 9788 50 0 0 20 0 1 0 290545453 33619968 7444 33554432000 4194304 8973514 140733500563744 140733500563008 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 8208 7444 459 1167 0 6989 0 Current children cumulated CPU time (s) 98.38 Current children cumulated vsize (KiB) 32832 [startup+98.8002 s] /proc/loadavg: 2.00 2.00 2.00 3/177 6629 /proc/meminfo: memFree=30647724/32873844 swapFree=7112/7112 [pid=6625] ppid=6623 vsize=32832 CPUtime=98.78 cores=0,2,4,6 /proc/6625/stat : 6625 (toysat) R 6623 6625 4756 0 -1 4202496 7522 0 0 0 9828 50 0 0 20 0 1 0 290545453 33619968 7444 33554432000 4194304 8973514 140733500563744 140733500563008 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0 /proc/6625/statm: 8208 7444 459 1167 0 6989 0 Current children cumulated CPU time (s) 98.78 Current children cumulated vsize (KiB) 32832 Child status: 0 Real time (s): 98.8275 CPU time (s): 98.811 CPU user time (s): 98.3051 CPU system time (s): 0.505923 CPU usage (%): 99.9833 Max. virtual memory (cumulated for all children) (KiB): 32832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 98.3051 system time used= 0.505923 maximum resident set size= 29796 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7527 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= 3 involuntary context switches= 102 runsolver used 0.12598 second user time and 0.417936 second system time The end
Begin job on node119 at 2012-05-29 00:29:58 IDJOB=3706471 IDBENCH=92776 IDSOLVER=2285 FILE ID=node119/3706471-1338244198 RUNJOBID= node119-1338233325-5917 PBS_JOBID= 14624617 Free space on /tmp= 71592 MiB SOLVER NAME= toysat 2012-05-17 BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_0_ic.opb COMMAND LINE= HOME/toysat --pb BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3706471-1338244198/watcher-3706471-1338244198 -o /tmp/evaluation-result-3706471-1338244198/solver-3706471-1338244198 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3706471-1338244198.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f2f3c2f48d6893b638576945c3e9afc6 RANDOM SEED=222975587 node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.90 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.943 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 30677496 kB Buffers: 338488 kB Cached: 466892 kB SwapCached: 1840 kB Active: 1138644 kB Inactive: 255076 kB Active(anon): 588204 kB Inactive(anon): 2068 kB Active(file): 550440 kB Inactive(file): 253008 kB Unevictable: 7112 kB Mlocked: 7112 kB SwapTotal: 67108856 kB SwapFree: 67100200 kB Dirty: 7384 kB Writeback: 0 kB AnonPages: 615992 kB Mapped: 13444 kB Shmem: 8 kB Slab: 659720 kB SReclaimable: 101740 kB SUnreclaim: 557980 kB KernelStack: 1472 kB PageTables: 5076 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 708592 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71588 MiB End job on node119 at 2012-05-29 00:31:37