Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | SAT | -25 | 1800.06 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-israel.opb |
MD5SUM | 916719a95a95b5989e5d4b5f3d786df3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -36 |
Best CPU time to get the best result obtained on this benchmark | 1800.57 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -36 |
Optimality of the best value was proved | NO |
Number of variables | 4260 |
Total number of constraints | 174 |
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 | 174 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 3540 |
Number of terms in the objective function | 2670 |
Biggest coefficient in the objective function | 42742 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 526467 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262137 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 527037 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.35 c Initial problem consists of 4260 variables and 174 constraints. 0.37 c preprocess terminated. Elapsed time: 0.359 0.37 c After prepocess the problem consists of 3186 variables and 174 constraints. 0.37 c Initial Lower Bound: -685 1.54 c Restart #1 #Var: 3186 LB: -685 @ 1.525 3.77 c Restart #2 #Var: 3186 LB: -685 @ 3.753 7.15 c Restart #3 #Var: 3186 LB: -685 @ 7.135 12.18 c Restart #4 #Var: 3186 LB: -685 @ 12.161 18.68 c Restart #5 #Var: 3186 LB: -685 @ 18.66 27.39 c Restart #6 #Var: 3186 LB: -685 @ 27.361 37.62 c Restart #7 #Var: 3186 LB: -685 @ 37.588 50.48 c Restart #8 #Var: 3186 LB: -685 @ 50.452 73.15 c Restart #9 #Var: 3186 LB: -685 @ 73.112 84.72 c Restart #10 #Var: 3186 LB: -685 @ 84.68 106.44 c Restart #11 #Var: 3186 LB: -685 @ 106.39 113.48 c Restart #12 #Var: 3186 LB: -685 @ 113.43 122.80 c Restart #13 #Var: 3186 LB: -685 @ 122.75 132.43 c Restart #14 #Var: 3186 LB: -685 @ 132.38 146.00 c Restart #15 #Var: 3186 LB: -685 @ 145.94 150.73 c Restart #16 #Var: 3186 LB: -685 @ 150.67 165.49 c Restart #17 #Var: 3185 LB: -679 @ 165.42 188.36 c Restart #18 #Var: 3185 LB: -679 @ 188.28 248.83 c Restart #19 #Var: 3184 LB: -670 @ 248.74 307.61 c Restart #20 #Var: 3184 LB: -670 @ 307.49 319.40 c Sol. found (all assignments made)... 319.40 o 11 319.40 c NEW SOLUTION FOUND: 11 @ 319.28 319.41 c Sol. found (all assignments made)... 319.41 o 10 319.41 c NEW SOLUTION FOUND: 10 @ 319.29 319.48 c Sol. found (all assignments made)... 319.48 o 9 319.48 c NEW SOLUTION FOUND: 9 @ 319.36 319.55 c Sol. found (all assignments made)... 319.55 o 8 319.55 c NEW SOLUTION FOUND: 8 @ 319.43 319.62 c Sol. found (all assignments made)... 319.62 o 7 319.62 c NEW SOLUTION FOUND: 7 @ 319.51 319.71 c Sol. found (all assignments made)... 319.71 o 5 319.71 c NEW SOLUTION FOUND: 5 @ 319.59 319.79 c Sol. found (all assignments made)... 319.79 o 4 319.79 c NEW SOLUTION FOUND: 4 @ 319.67 319.87 c Sol. found (all assignments made)... 319.87 o 3 319.87 c NEW SOLUTION FOUND: 3 @ 319.75 319.95 c Sol. found (all assignments made)... 319.95 o 2 319.95 c NEW SOLUTION FOUND: 2 @ 319.83 320.03 c Sol. found (all assignments made)... 320.03 o 1 320.03 c NEW SOLUTION FOUND: 1 @ 319.91 320.11 c Sol. found (all assignments made)... 320.11 o 0 320.11 c NEW SOLUTION FOUND: 0 @ 319.99 320.20 c Sol. found (all assignments made)... 320.20 o -1 320.20 c NEW SOLUTION FOUND: -1 @ 320.08 320.28 c Sol. found (all assignments made)... 320.28 o -2 320.28 c NEW SOLUTION FOUND: -2 @ 320.17 320.37 c Sol. found (all assignments made)... 320.37 o -3 320.37 c NEW SOLUTION FOUND: -3 @ 320.25 320.45 c Sol. found (all assignments made)... 320.45 o -4 320.45 c NEW SOLUTION FOUND: -4 @ 320.33 320.56 c Sol. found (all assignments made)... 320.56 o -5 320.56 c NEW SOLUTION FOUND: -5 @ 320.44 320.66 c Sol. found (all assignments made)... 320.66 o -6 320.66 c NEW SOLUTION FOUND: -6 @ 320.55 320.77 c Sol. found (all assignments made)... 320.77 o -7 320.77 c NEW SOLUTION FOUND: -7 @ 320.65 321.04 c Sol. found (all assignments made)... 321.04 o -8 321.04 c NEW SOLUTION FOUND: -8 @ 320.93 321.40 c Sol. found (all assignments made)... 321.40 o -9 321.40 c NEW SOLUTION FOUND: -9 @ 321.28 321.74 c Sol. found (all assignments made)... 321.74 o -10 321.74 c NEW SOLUTION FOUND: -10 @ 321.62 322.05 c Sol. found (all assignments made)... 322.05 o -11 322.05 c NEW SOLUTION FOUND: -11 @ 321.93 322.61 c Sol. found (all assignments made)... 322.61 o -12 322.61 c NEW SOLUTION FOUND: -12 @ 322.5 323.18 c Sol. found (all assignments made)... 323.18 o -13 323.18 c NEW SOLUTION FOUND: -13 @ 323.06 324.10 c Sol. found (all assignments made)... 324.10 o -14 324.10 c NEW SOLUTION FOUND: -14 @ 323.98 324.32 c Sol. found (all assignments made)... 324.32 o -15 324.32 c NEW SOLUTION FOUND: -15 @ 324.2 324.57 c Sol. found (all assignments made)... 324.57 o -16 324.57 c NEW SOLUTION FOUND: -16 @ 324.45 325.11 c Sol. found (all assignments made)... 325.11 o -17 325.11 c NEW SOLUTION FOUND: -17 @ 324.99 332.14 c Restart #21 #Var: 3184 LB: -670 @ 332.02 413.51 c Restart #22 #Var: 3184 LB: -670 @ 413.37 449.77 c Restart #23 #Var: 3184 LB: -670 @ 449.61 475.17 c Restart #24 #Var: 3184 LB: -670 @ 475 493.11 c CHANGE to MIS mode... UB: -17 MIS: -647 LPR: -165 (0.147) Diff: 3.9212 493.11 c Restart #0 #Var: 3184 LB: -670 @ 492.89 496.10 c Restart #1 #Var: 3184 LB: -647 @ 495.88 501.69 c Restart #2 #Var: 3184 LB: -647 @ 501.46 517.45 c Restart #3 #Var: 3183 LB: -643 @ 517.23 524.95 c Restart #4 #Var: 3183 LB: -643 @ 524.72 531.64 c Restart #5 #Var: 3183 LB: -643 @ 531.41 545.01 c Restart #6 #Var: 3183 LB: -643 @ 544.77 590.66 c Restart #7 #Var: 3183 LB: -643 @ 590.41 619.29 c Restart #8 #Var: 3183 LB: -643 @ 619.03 645.84 c Restart #9 #Var: 3183 LB: -643 @ 645.57 663.60 c Restart #10 #Var: 3183 LB: -643 @ 663.33 671.61 c Restart #11 #Var: 3183 LB: -643 @ 671.33 697.40 c Restart #12 #Var: 3183 LB: -643 @ 697.12 723.21 c Restart #13 #Var: 3183 LB: -643 @ 722.92 773.30 c Restart #14 #Var: 3183 LB: -643 @ 772.99 802.40 c Sol. found (all assignments made)... 802.40 o -18 802.40 c NEW SOLUTION FOUND: -18 @ 802.09 805.06 c Sol. found (all assignments made)... 805.06 o -19 805.06 c NEW SOLUTION FOUND: -19 @ 804.75 820.98 c Restart #15 #Var: 3183 LB: -643 @ 820.66 825.96 c Sol. found (all assignments made)... 825.96 o -20 825.96 c NEW SOLUTION FOUND: -20 @ 825.64 826.61 c Sol. found (all assignments made)... 826.61 o -21 826.61 c NEW SOLUTION FOUND: -21 @ 826.28 829.33 c Restart #16 #Var: 3183 LB: -643 @ 829 889.96 c Restart #17 #Var: 3183 LB: -643 @ 889.62 915.94 c Restart #18 #Var: 3183 LB: -643 @ 915.59 929.21 c Restart #19 #Var: 3183 LB: -643 @ 928.85 967.31 c Restart #20 #Var: 3183 LB: -647 @ 966.94 994.31 c Restart #21 #Var: 3183 LB: -647 @ 993.93 1047.74 c Restart #22 #Var: 3183 LB: -647 @ 1047.3 1066.66 c Restart #23 #Var: 3183 LB: -647 @ 1066.3 1087.13 c Restart #24 #Var: 3183 LB: -645 @ 1086.7 1116.09 c Restart #25 #Var: 3183 LB: -645 @ 1115.7 1130.07 c Sol. found (all assignments made)... 1130.07 o -22 1130.07 c NEW SOLUTION FOUND: -22 @ 1129.6 1130.58 c Sol. found (all assignments made)... 1130.58 o -23 1130.58 c NEW SOLUTION FOUND: -23 @ 1130.2 1139.50 c Restart #26 #Var: 3183 LB: -645 @ 1139.1 1168.72 c Restart #27 #Var: 3183 LB: -645 @ 1168.3 1200.39 c Restart #28 #Var: 3183 LB: -643 @ 1199.9 1240.10 c Restart #29 #Var: 3183 LB: -643 @ 1239.6 1261.26 c Restart #30 #Var: 3183 LB: -645 @ 1260.8 1349.59 c Restart #31 #Var: 3183 LB: -645 @ 1349.1 1396.05 c Sol. found (all assignments made)... 1396.30 c Sol. found (all assignments made)... 1396.30 o -24 1396.30 c NEW SOLUTION FOUND: -24 @ 1395.8 1397.78 c Sol. found (all assignments made)... 1397.78 o -25 1397.78 c NEW SOLUTION FOUND: -25 @ 1397.3 1422.15 c Restart #32 #Var: 3183 LB: -643 @ 1421.6 1480.58 c Restart #33 #Var: 3183 LB: -643 @ 1480 1563.91 c Restart #34 #Var: 3183 LB: -647 @ 1563.4 1592.47 c Restart #35 #Var: 3183 LB: -647 @ 1591.9 1640.59 c Restart #36 #Var: 3183 LB: -643 @ 1640 1695.84 c Restart #37 #Var: 3183 LB: -643 @ 1695.2 1775.82 c Restart #38 #Var: 3183 LB: -647 @ 1775.1 1800.69 s SATISFIABLE 1800.69 c Cost: -25 1800.69 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 1800.69 v -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 1800.69 v -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 1800.69 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 1800.69 v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 1800.69 v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 1800.69 v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 1800.69 v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 1800.69 v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 1800.69 v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.69 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 1800.69 v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 1800.69 v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 1800.69 v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 1800.69 v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 1800.69 v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 1800.69 v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 1800.69 v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 1800.69 v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 1800.69 v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 1800.69 v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 1800.69 v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 1800.69 v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 1800.69 v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 1800.69 v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 1800.69 v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 1800.69 v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 1800.69 v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 1800.69 v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 1800.69 v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 1800.69 v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 1800.69 v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 1800.69 v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 1800.69 v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 1800.69 v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 1800.69 v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 1800.69 v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 1800.69 v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.69 v -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 1800.69 v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 1800.69 v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 1800.69 v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 1800.69 v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 1800.69 v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 1800.69 v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 1800.69 v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 1800.69 v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 1800.69 v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 1800.69 v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 1800.69 v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 1800.69 v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 1800.69 v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 1800.69 v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 1800.69 v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 1800.69 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 1800.69 v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 1800.69 v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 1800.69 v -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 1800.69 v -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 1800.69 v -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 1800.69 v -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 1800.69 v -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 1800.69 v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.69 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 x1293 x1294 x1295 x1296 1800.69 v x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 -x1305 -x1306 -x1307 -x1308 x1309 x1310 x1311 x1312 -x1313 -x1314 -x1315 1800.69 v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 1800.69 v -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 1800.69 v -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 x1366 1800.69 v -x1367 x1368 x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 1800.69 v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 1800.69 v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 1800.69 v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 1800.69 v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 1800.69 v -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 1800.69 v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 1800.69 v -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 1800.69 v -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 x1520 1800.69 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 1800.69 v -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 1800.69 v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 1800.69 v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 1800.69 v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 1800.69 v -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 1800.69 v -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 1800.69 v -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 1800.69 v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 1800.69 v -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 1800.69 v -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.69 v -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 1800.69 v -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 1800.69 v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 1800.69 v -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 1800.69 v -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 1800.69 v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 1800.69 v -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 1800.69 v -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 1800.69 v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 1800.69 v -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 1800.69 v -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1800.69 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 1800.69 v -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 1800.69 v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 1800.69 v -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 1800.69 v -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 1800.69 v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 1800.69 v -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 1800.69 v -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 1800.69 v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 1800.69 v -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 1800.69 v -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 1800.69 v -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 1800.69 v -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 1800.69 v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 1800.69 v -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 1800.69 v -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 1800.69 v -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 1800.69 v -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 1800.69 v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 1800.69 v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 1800.69 v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 1800.69 v -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1800.69 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 1800.69 v -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 1800.69 v -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 1800.69 v -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 1800.69 v -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 1800.69 v -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 1800.69 v -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 1800.69 v -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 1800.69 v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 1800.69 v -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 1800.69 v -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1800.69 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 1800.69 v -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 1800.69 v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 1800.69 v -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x3961 -x3962 -x3963 1800.69 v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 1800.69 v -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 1800.69 v -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 1800.69 v -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 1800.69 v -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 1800.69 v -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 1800.69 v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 1800.69 v -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 1800.69 v -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 1800.69 v -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 1800.69 v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 1800.69 v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 1800.69 v -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 1800.69 v -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 1800.69 v -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 1800.69 v -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 1800.69 v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 1800.69 v -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 1800.69 v -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.69 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 1800.69 v -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 1800.69 v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 1800.69 v -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 1800.69 v -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 1800.69 v -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 1800.69 v -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 1800.69 v -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 1800.69 v -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 1800.69 v -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 1800.69 v -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 1800.69 v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 1800.69 v -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 1800.69 v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 1800.69 v -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 1800.69 v -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 1800.69 v -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 1800.69 v -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 x3212 1800.69 v -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 1800.69 v -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 1800.69 v -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.69 v -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 1800.69 v -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 1800.69 v -x3268 -x3269 -x3270 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 1800.69 v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x2551 1800.69 v -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 1800.69 v -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x3271 -x3272 -x3273 -x3274 -x3275 1800.69 v -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 1800.69 v -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 1800.69 v -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 1800.69 v -x3657 -x3658 -x3659 -x3660 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 1800.69 v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 1800.69 v -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 1800.69 v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3661 -x3662 -x3663 -x3664 1800.69 v -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 1800.69 v -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 1800.69 v -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 1800.69 v -x2636 -x2637 -x2638 -x2639 -x2640 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 1800.69 v -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 1800.69 v -x3360 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 1800.69 v -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x2641 -x2642 -x2643 1800.69 v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 1800.69 v -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 1800.69 v -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 1800.69 v -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 1800.69 v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 1800.69 v -x3749 -x3750 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 1800.69 v -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x3391 -x3392 1800.69 v -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 1800.69 v -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 1800.69 v -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 1800.69 v -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 1800.69 v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 1800.69 v -x2728 -x2729 -x2730 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 1800.69 v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x2731 1800.69 v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 1800.69 v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x3811 -x3812 -x3813 -x3814 -x3815 1800.69 v -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 1800.69 v -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 1800.69 v -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 1800.69 v -x2787 -x2788 -x2789 -x2790 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 1800.69 v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 1800.69 v -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 1800.69 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x3871 -x3872 -x3873 -x3874 1800.69 v -x3875 -x3876 -x3877 -x3878 -x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 1800.69 v -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 1800.69 v -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 1800.69 v -x2846 -x2847 -x2848 -x2849 -x2850 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 1800.69 v -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 1800.69 v -x3930 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 1800.69 v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x3571 -x3572 -x3573 1800.69 v -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 1800.69 v -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 1800.69 v -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 1800.69 v -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 1800.69 v -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 1800.69 v -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 1800.69 v -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 1800.69 v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 1800.69 v -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 1800.69 v -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 1800.69 v -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 1800.69 v -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 1800.69 v -x4258 -x4259 -x4260 1800.69 c Exit Code: 10 1800.69 c Total time: 1800 s
OK -25
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-39903-1149327251 -o ROOT/results/node65/solver-39903-1149327251 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/39903-1149327251/instance-39903-1149327251.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 3/64 4960 /proc/meminfo: memFree=1815080/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=4748 CPUtime=0 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 222 0 0 0 0 0 0 0 19 0 1 0 198394468 4861952 192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6121083 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 1187 201 150 55 0 79 0 [startup+10.0015 s] /proc/loadavg: 0.93 0.95 0.98 2/64 4960 /proc/meminfo: memFree=1801016/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=18772 CPUtime=9.98 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 3923 0 0 0 994 4 0 0 25 0 1 0 198394468 19222528 3838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 4693 3838 296 55 0 3585 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 18772 [startup+20.0081 s] /proc/loadavg: 0.94 0.96 0.98 2/64 4960 /proc/meminfo: memFree=1796608/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=23288 CPUtime=19.98 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 5020 0 0 0 1993 5 0 0 25 0 1 0 198394468 23846912 4935 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 5822 4935 296 55 0 4714 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 23288 [startup+30.0147 s] /proc/loadavg: 0.95 0.96 0.98 2/64 4960 /proc/meminfo: memFree=1793152/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=26720 CPUtime=29.98 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 5884 0 0 0 2992 6 0 0 25 0 1 0 198394468 27361280 5799 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 6680 5799 296 55 0 5572 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 26720 [startup+40.0214 s] /proc/loadavg: 0.95 0.96 0.98 2/64 4960 /proc/meminfo: memFree=1789504/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=30600 CPUtime=39.99 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 6803 0 0 0 3991 8 0 0 25 0 1 0 198394468 31334400 6711 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 7650 6711 296 55 0 6542 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 30600 [startup+50.028 s] /proc/loadavg: 0.96 0.96 0.98 2/64 4960 /proc/meminfo: memFree=1785856/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=34340 CPUtime=49.99 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 7708 0 0 0 4990 9 0 0 25 0 1 0 198394468 35164160 7616 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 8585 7616 296 55 0 7477 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 34340 [startup+60.0337 s] /proc/loadavg: 0.97 0.96 0.98 2/64 4960 /proc/meminfo: memFree=1783232/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=36848 CPUtime=59.99 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 8353 0 0 0 5988 11 0 0 25 0 1 0 198394468 37732352 8261 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555645 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 9212 8261 296 55 0 8104 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 36848 [startup+70.0404 s] /proc/loadavg: 0.97 0.96 0.98 2/64 4960 /proc/meminfo: memFree=1781888/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=38220 CPUtime=70 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 8699 0 0 0 6988 12 0 0 25 0 1 0 198394468 39137280 8607 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134556045 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 9555 8607 296 55 0 8447 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 38220 [startup+80.047 s] /proc/loadavg: 0.98 0.96 0.98 2/64 4960 /proc/meminfo: memFree=1779648/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=40464 CPUtime=79.99 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 9259 0 0 0 7986 13 0 0 25 0 1 0 198394468 41435136 9167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 10116 9167 296 55 0 9008 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 40464 [startup+90.0527 s] /proc/loadavg: 0.98 0.96 0.98 2/64 4960 /proc/meminfo: memFree=1774528/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=46008 CPUtime=90 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 10576 0 0 0 8985 15 0 0 25 0 1 0 198394468 47112192 10446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 11502 10446 296 55 0 10394 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 46008 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.98 2/64 4960 /proc/meminfo: memFree=1771840/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=48648 CPUtime=100 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 11235 0 0 0 9984 16 0 0 25 0 1 0 198394468 49815552 11105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 12162 11105 296 55 0 11054 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 48648 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.98 2/64 4960 /proc/meminfo: memFree=1768192/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=52224 CPUtime=110.01 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 12149 0 0 0 10983 18 0 0 25 0 1 0 198394468 53477376 12019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557833 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 13056 12019 296 55 0 11948 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 52224 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4960 /proc/meminfo: memFree=1759616/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=60716 CPUtime=120.01 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 14288 0 0 0 11981 20 0 0 25 0 1 0 198394468 62173184 14157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 15179 14157 296 55 0 14071 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 60716 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4960 /proc/meminfo: memFree=1753152/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=67372 CPUtime=130.02 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 15902 0 0 0 12980 22 0 0 25 0 1 0 198394468 68988928 15766 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 16843 15766 296 55 0 15735 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 67372 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4960 /proc/meminfo: memFree=1746304/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=75464 CPUtime=140.01 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 17706 0 0 0 13978 23 0 0 25 0 1 0 198394468 77275136 17476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 18866 17476 296 55 0 17758 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 75464 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4960 /proc/meminfo: memFree=1727104/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=94716 CPUtime=150.01 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 22496 0 0 0 14975 26 0 0 25 0 1 0 198394468 96989184 22263 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 23679 22263 296 55 0 22571 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 94716 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4960 /proc/meminfo: memFree=1727104/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=94712 CPUtime=160.02 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 22508 0 0 0 15975 27 0 0 25 0 1 0 198394468 96985088 22271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 23678 22271 296 55 0 22570 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 94712 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4960 /proc/meminfo: memFree=1727040/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=94712 CPUtime=170.02 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 22521 0 0 0 16974 28 0 0 25 0 1 0 198394468 96985088 22278 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 23678 22278 296 55 0 22570 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 94712 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4960 /proc/meminfo: memFree=1727040/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=94712 CPUtime=180.03 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 22523 0 0 0 17974 29 0 0 25 0 1 0 198394468 96985088 22280 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 23678 22280 296 55 0 22570 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 94712 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4960 /proc/meminfo: memFree=1727040/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=94712 CPUtime=190.03 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 22530 0 0 0 18974 29 0 0 25 0 1 0 198394468 96985088 22285 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649078 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 23678 22285 296 55 0 22570 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 94712 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4960 /proc/meminfo: memFree=1727040/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=94712 CPUtime=200.03 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 22536 0 0 0 19974 29 0 0 25 0 1 0 198394468 96985088 22289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 23678 22289 296 55 0 22570 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 94712 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.98 2/64 4960 /proc/meminfo: memFree=1727040/2055920 swapFree=4181844/4192956 ################ # More data... # ################ /proc/4960/statm: 90659 87409 427 55 0 89551 0 Current children cumulated CPU time (s) 1760.34 Current children cumulated vsize (Kb) 362636 [startup+1771.03 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1462912/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=364800 CPUtime=1770.34 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 90665 0 2 0 176852 182 0 0 25 0 1 0 198394468 373555200 87964 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91200 87964 427 55 0 90092 0 Current children cumulated CPU time (s) 1770.34 Current children cumulated vsize (Kb) 364800 [startup+1781.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1461568/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366120 CPUtime=1780.35 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91009 0 2 0 177851 184 0 0 25 0 1 0 198394468 374906880 88308 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91530 88308 427 55 0 90422 0 Current children cumulated CPU time (s) 1780.35 Current children cumulated vsize (Kb) 366120 [startup+1782.04 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1461376/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366580 CPUtime=1781.35 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91064 0 2 0 177951 184 0 0 25 0 1 0 198394468 375377920 88354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91645 88354 427 55 0 90537 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (Kb) 366580 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1461376/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366580 CPUtime=1782.36 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91066 0 2 0 178052 184 0 0 25 0 1 0 198394468 375377920 88356 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91645 88356 427 55 0 90537 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (Kb) 366580 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1461312/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366580 CPUtime=1783.36 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91085 0 2 0 178152 184 0 0 25 0 1 0 198394468 375377920 88375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134649082 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91645 88375 427 55 0 90537 0 Current children cumulated CPU time (s) 1783.36 Current children cumulated vsize (Kb) 366580 [startup+1785.05 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1461248/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366580 CPUtime=1784.36 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91100 0 2 0 178252 184 0 0 25 0 1 0 198394468 375377920 88390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535086 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91645 88390 427 55 0 90537 0 Current children cumulated CPU time (s) 1784.36 Current children cumulated vsize (Kb) 366580 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1461184/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366712 CPUtime=1785.37 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91110 0 2 0 178353 184 0 0 25 0 1 0 198394468 375513088 88400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91678 88400 427 55 0 90570 0 Current children cumulated CPU time (s) 1785.37 Current children cumulated vsize (Kb) 366712 [startup+1787.06 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1461120/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366712 CPUtime=1786.38 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91133 0 2 0 178453 185 0 0 25 0 1 0 198394468 375513088 88423 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91678 88423 427 55 0 90570 0 Current children cumulated CPU time (s) 1786.38 Current children cumulated vsize (Kb) 366712 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1461056/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366844 CPUtime=1787.38 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91145 0 2 0 178553 185 0 0 25 0 1 0 198394468 375648256 88435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91711 88435 427 55 0 90603 0 Current children cumulated CPU time (s) 1787.38 Current children cumulated vsize (Kb) 366844 [startup+1789.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1460992/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366844 CPUtime=1788.38 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91161 0 2 0 178653 185 0 0 25 0 1 0 198394468 375648256 88451 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644452 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91711 88451 427 55 0 90603 0 Current children cumulated CPU time (s) 1788.38 Current children cumulated vsize (Kb) 366844 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1460928/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366976 CPUtime=1789.39 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91178 0 2 0 178754 185 0 0 25 0 1 0 198394468 375783424 88468 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91744 88468 427 55 0 90636 0 Current children cumulated CPU time (s) 1789.39 Current children cumulated vsize (Kb) 366976 [startup+1791.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1460864/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366976 CPUtime=1790.39 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91187 0 2 0 178854 185 0 0 25 0 1 0 198394468 375783424 88477 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91744 88477 427 55 0 90636 0 Current children cumulated CPU time (s) 1790.39 Current children cumulated vsize (Kb) 366976 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1460800/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=366976 CPUtime=1791.4 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91207 0 2 0 178955 185 0 0 25 0 1 0 198394468 375783424 88497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91744 88497 427 55 0 90636 0 Current children cumulated CPU time (s) 1791.4 Current children cumulated vsize (Kb) 366976 [startup+1793.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1460736/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=367108 CPUtime=1792.4 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91231 0 2 0 179055 185 0 0 25 0 1 0 198394468 375918592 88521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134555645 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91777 88521 427 55 0 90669 0 Current children cumulated CPU time (s) 1792.4 Current children cumulated vsize (Kb) 367108 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1460544/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=367436 CPUtime=1793.4 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91282 0 2 0 179155 185 0 0 25 0 1 0 198394468 376254464 88568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541652 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91859 88568 427 55 0 90751 0 Current children cumulated CPU time (s) 1793.4 Current children cumulated vsize (Kb) 367436 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1460416/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=367436 CPUtime=1794.41 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91302 0 2 0 179256 185 0 0 25 0 1 0 198394468 376254464 88588 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134645924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91859 88588 427 55 0 90751 0 Current children cumulated CPU time (s) 1794.41 Current children cumulated vsize (Kb) 367436 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1460288/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=367584 CPUtime=1795.41 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91341 0 2 0 179356 185 0 0 25 0 1 0 198394468 376406016 88625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134644482 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91896 88625 427 55 0 90788 0 Current children cumulated CPU time (s) 1795.41 Current children cumulated vsize (Kb) 367584 [startup+1797.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1460224/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=367716 CPUtime=1796.42 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91363 0 2 0 179457 185 0 0 25 0 1 0 198394468 376541184 88647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134628729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91929 88647 427 55 0 90821 0 Current children cumulated CPU time (s) 1796.42 Current children cumulated vsize (Kb) 367716 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1460096/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=367848 CPUtime=1797.43 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91391 0 2 0 179557 186 0 0 25 0 1 0 198394468 376676352 88675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134557745 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91962 88675 427 55 0 90854 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (Kb) 367848 [startup+1799.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1459968/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=367980 CPUtime=1798.43 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91424 0 2 0 179657 186 0 0 25 0 1 0 198394468 376811520 88708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134643803 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 91995 88708 427 55 0 90887 0 Current children cumulated CPU time (s) 1798.43 Current children cumulated vsize (Kb) 367980 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 5155 /proc/meminfo: memFree=1459776/2055920 swapFree=4181844/4192956 [pid=4960] ppid=4958 vsize=368112 CPUtime=1799.43 /proc/4960/stat : 4960 (bsolo) R 4958 4960 4914 0 -1 0 91467 0 2 0 179757 186 0 0 25 0 1 0 198394468 376946688 88751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535099 0 0 4096 16384 0 0 0 17 1 0 0 /proc/4960/statm: 92028 88751 427 55 0 90920 0 Current children cumulated CPU time (s) 1799.43 Current children cumulated vsize (Kb) 368112 Child status: 10 Real time (s): 1800.75 CPU time (s): 1800.06 CPU user time (s): 1798.14 CPU system time (s): 1.92071 CPU usage (%): 99.9616 Max. virtual memory (cumulated for all children) (Kb): 368112
Begin job on node65 on Sat Jun 3 09:34:11 UTC 2006 FILE ID= 39903-1149327251 PBS_JOBID= 309686 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/39903-1149327251/instance-39903-1149327251.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-39903-1149327251 -o ROOT/results/node65/solver-39903-1149327251 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node65/39903-1149327251/instance-39903-1149327251.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 916719a95a95b5989e5d4b5f3d786df3 RANDOM SEED= 904427987 /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.283 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.283 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: 1815224 kB Buffers: 12480 kB Cached: 164876 kB SwapCached: 2776 kB Active: 29052 kB Inactive: 156992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815224 kB SwapTotal: 4192956 kB SwapFree: 4181844 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14748 kB Slab: 40612 kB Committed_AS: 313168 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node65 on Sat Jun 3 10:04:12 UTC 2006