Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-skc 2007-03-21 | SAT (TO) | 57 | 1800.11 | 1800.02 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_020_area_delay.opb |
MD5SUM | b63b2d912c01ff826a63051b401330db |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 23 |
Best CPU time to get the best result obtained on this benchmark | 18.8981 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 23 |
Optimality of the best value was proved | YES |
Number of variables | 4427 |
Total number of constraints | 12661 |
Number of constraints which are clauses | 12661 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 2136 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2136 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 2136 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 0.00/0.00 c wildcat-skc (VERSION 0.8.0-lite-skc-devel) 0.00/0.00 c Developed by L. Liuand M. Truszczynski 0.00/0.00 c Last built on Sun 18 Mar 2007 03:03:20 PM EDT 0.00/0.00 c 0.00/0.00 c /tmp/evaluation/372595-1177111041/wildcat-skc /tmp/evaluation/372595-1177111041/instance-372595-1177111041.opb 855033458 0.00/0.00 c =================================== BEGIN =================================== 0.00/0.00 c 0.00/0.00 c Random Number Seed: 855033458 0.00/0.00 c Noise: 0.1 (10 : 100) 0.02/0.07 c Starting searching: 0.02/0.07 c Phase 1 ... 0.02/0.08 c trying 2136: vc 0.02/0.08 o 735 0.02/0.09 c trying 707: vc 0.02/0.09 o 666 0.02/0.09 c trying 640: vc 0.02/0.09 o 635 0.09/0.10 c trying 609: vc 0.09/0.10 o 609 0.09/0.11 c trying 584: vc 0.09/0.11 o 563 0.09/0.13 c trying 539: vc 0.09/0.13 o 539 0.09/0.14 c trying 515: vc 0.09/0.14 o 515 0.09/0.15 c trying 492: vc 0.09/0.15 o 492 0.09/0.16 c trying 469: vc 0.09/0.16 o 469 0.09/0.17 c trying 447: vc 0.09/0.17 o 447 0.09/0.18 c trying 425: vc 0.09/0.18 o 425 0.19/0.20 c trying 404: vc 0.19/0.20 o 404 0.19/0.21 c trying 383: vc 0.19/0.21 o 383 0.19/0.23 c trying 363: vc 0.19/0.23 o 363 0.19/0.25 c trying 343: vc 0.19/0.25 o 343 0.19/0.28 c trying 324: vc 0.19/0.28 o 324 0.29/0.30 c trying 306: vc 0.29/0.30 o 306 0.29/0.33 c trying 288: vc 0.29/0.33 o 288 0.29/0.36 c trying 271: vc 0.29/0.36 o 271 0.29/0.39 c trying 254: vc 0.29/0.39 o 254 0.49/0.51 c trying 238: vc 0.49/0.51 o 238 0.49/0.56 c trying 222: vc 0.49/0.56 o 220 0.59/0.65 c trying 205: vc 0.59/0.65 o 205 0.79/0.84 c trying 190: vc 0.79/0.84 o 190 1.00/1.08 c trying 176: vc 1.00/1.08 o 176 1.49/1.52 c trying 162: vc 1.49/1.52 o 161 2.29/2.32 c trying 148: vc 2.29/2.32 o 148 2.89/2.99 c trying 135: vc 2.89/2.99 o 135 4.19/4.29 c trying 123: vc 4.19/4.29 o 123 6.69/6.72 c trying 111: vc 6.69/6.72 o 111 23.90/23.99 c trying 100: xxxxxxxxvc 23.90/23.99 o 100 41.49/41.53 c trying 90: xxxxxxxxxxc 41.49/41.53 c Phase 2 ... 44.39/44.48 c trying 99: vc 44.39/44.48 o 99 46.39/46.48 c trying 98: vc 46.39/46.48 o 98 50.60/50.61 c trying 97: vc 50.60/50.61 o 97 55.00/55.04 c trying 96: vc 55.00/55.04 o 96 61.79/61.81 c trying 95: vc 61.79/61.81 o 95 66.39/66.48 c trying 94: vc 66.39/66.48 o 94 70.09/70.14 c trying 93: vc 70.09/70.14 o 93 78.19/78.26 c trying 92: vc 78.19/78.26 o 92 82.79/82.90 c trying 91: vc 82.79/82.90 o 91 90.49/90.57 c trying 90: vc 90.49/90.57 o 90 99.69/99.75 c trying 89: vc 99.69/99.75 o 89 105.19/105.20 c trying 88: vc 105.19/105.20 o 88 112.29/112.39 c trying 87: vc 112.29/112.39 o 87 122.69/122.70 c trying 86: vc 122.69/122.70 o 86 135.80/135.88 c trying 85: vc 135.80/135.88 o 85 146.21/146.26 c trying 84: vc 146.21/146.26 o 84 154.60/154.61 c trying 83: vc 154.60/154.61 o 83 165.30/165.35 c trying 82: vc 165.30/165.35 o 82 178.21/178.24 c trying 81: vc 178.21/178.24 o 81 193.61/193.60 c trying 80: vc 193.61/193.60 o 80 204.40/204.45 c trying 79: vc 204.40/204.45 o 79 215.80/215.82 c trying 78: vc 215.80/215.82 o 78 234.40/234.42 c trying 77: vc 234.40/234.42 o 77 263.80/263.86 c trying 76: xvc 263.80/263.86 o 76 296.31/296.38 c trying 75: xvc 296.31/296.38 o 75 366.51/366.55 c trying 74: xxxvc 366.51/366.55 o 74 383.61/383.65 c trying 73: vc 383.61/383.65 o 73 550.82/550.80 c trying 72: xxxxxxxxxvc 550.82/550.80 o 72 677.83/677.82 c trying 71: xxxxxxxvc 677.93/677.91 o 71 832.54/832.50 c trying 70: xxxxxxxxxxc 832.54/832.50 c Phase 3 ... 861.74/861.74 c trying 70 again: vc 861.74/861.74 o 70 902.05/902.03 c trying 69 again: vc 902.05/902.03 o 69 945.35/945.39 c trying 68 again: vc 945.35/945.39 o 68 979.15/979.15 c trying 67 again: vc 979.15/979.15 o 67 1045.95/1046.00 c trying 66 again: vc 1045.95/1046.00 o 66 1090.55/1090.53 c trying 65 again: vc 1090.55/1090.53 o 65 1145.55/1145.51 c trying 64 again: vc 1145.55/1145.51 o 64 1197.65/1197.66 c trying 63 again: vc 1197.65/1197.66 o 63 1247.96/1247.96 c trying 62 again: vc 1247.96/1247.96 o 62 1340.77/1340.80 c trying 61 again: vc 1340.87/1340.80 o 61 1449.57/1449.55 c trying 60 again: vc 1449.57/1449.55 o 60 1549.07/1549.00 c trying 59 again: vc 1549.07/1549.00 o 59 1637.78/1637.79 c trying 58 again: vc 1637.78/1637.79 o 58 1779.29/1779.22 c trying 57 again: vc 1779.29/1779.22 o 57 1800.09/1800.00 c trying 56 again: xc 1800.09/1800.00 s SATISFIABLE 1800.09/1800.00 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 1800.09/1800.00 v x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 x46 x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 1800.09/1800.00 v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 x80 x81 x82 -x83 1800.09/1800.00 v -x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 1800.09/1800.00 v -x109 x110 -x111 x112 x113 -x114 -x115 -x116 -x117 -x118 x119 x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 x129 -x130 1800.09/1800.00 v -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 x141 -x142 x143 x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 1800.09/1800.00 v -x153 -x154 -x155 x156 -x157 -x158 x159 x160 x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 x169 -x170 x171 x172 -x173 x174 1800.09/1800.00 v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 1800.09/1800.00 v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 1800.09/1800.00 v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 1800.09/1800.00 v -x238 -x239 -x240 x241 x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 1800.09/1800.00 v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 1800.09/1800.00 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 1800.09/1800.00 v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 1800.09/1800.00 v -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 1800.09/1800.00 v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 1800.09/1800.00 v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1800.09/1800.00 v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1800.09/1800.00 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 1800.09/1800.00 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1800.09/1800.00 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1800.09/1800.00 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.09/1800.00 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1800.09/1800.00 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1800.09/1800.00 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 1800.09/1800.00 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1800.09/1800.00 v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 1800.09/1800.00 v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 1800.09/1800.00 v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 1800.09/1800.00 v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 1800.09/1800.00 v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 1800.09/1800.00 v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 1800.09/1800.00 v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 1800.09/1800.00 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 1800.09/1800.00 v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 1800.09/1800.00 v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 1800.09/1800.00 v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 1800.09/1800.00 v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 1800.09/1800.00 v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 1800.09/1800.00 v -x847 x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 1800.09/1800.00 v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 1800.09/1800.00 v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 x903 -x904 -x905 -x906 -x907 -x908 -x909 1800.09/1800.00 v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 1800.09/1800.00 v -x931 -x932 -x933 -x934 -x935 x936 x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 1800.09/1800.00 v -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 1800.09/1800.00 v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 1800.09/1800.00 v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 1800.09/1800.00 v -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 1800.09/1800.00 v -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 1800.09/1800.00 v -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 1800.09/1800.00 v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 1800.09/1800.00 v -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 1800.09/1800.00 v -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.09/1800.00 v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 1800.09/1800.00 v -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 1800.09/1800.00 v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 1800.09/1800.00 v -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 1800.09/1800.00 v -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 x1197 x1198 -x1199 1800.09/1800.00 v -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 1800.09/1800.00 v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 1800.09/1800.00 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 1800.09/1800.00 v -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 1800.09/1800.00 v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 1800.09/1800.00 v -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 1800.09/1800.00 v -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 1800.09/1800.00 v -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 1800.09/1800.00 v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 1800.09/1800.00 v -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 1800.09/1800.00 v -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 1800.09/1800.00 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 1800.09/1800.00 v -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 1800.09/1800.00 v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 1800.09/1800.00 v -x1440 -x1441 -x1442 x1443 x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 1800.09/1800.00 v -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 1800.09/1800.00 v -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 1800.09/1800.00 v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 1800.09/1800.00 v -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 1800.09/1800.00 v -x1526 -x1527 -x1528 x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 1800.09/1800.00 v -x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 1800.09/1800.00 v -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 1800.09/1800.00 v -x1579 -x1580 x1581 x1582 x1583 x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 1800.09/1800.00 v -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 1800.09/1800.00 v -x1614 -x1615 -x1616 -x1617 -x1618 x1619 x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 1800.09/1800.00 v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 1800.09/1800.00 v -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 x1664 -x1665 -x1666 1800.09/1800.00 v -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 1800.09/1800.00 v -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 1800.09/1800.00 v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 1800.09/1800.00 v -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 1800.09/1800.00 v -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 1800.09/1800.00 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 1800.09/1800.00 v -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 1800.09/1800.00 v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 1800.09/1800.00 v -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 1800.09/1800.00 v -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 1800.09/1800.00 v -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 1800.09/1800.00 v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 1800.09/1800.00 v -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 1800.09/1800.00 v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 1800.09/1800.00 v -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 1800.09/1800.00 v -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 1800.09/1800.00 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 1800.09/1800.00 v -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 1800.09/1800.00 v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 1800.09/1800.00 v -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 1800.09/1800.00 v -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 1800.09/1800.00 v -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 1800.09/1800.00 v -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 1800.09/1800.00 v -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 1800.09/1800.00 v -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 1800.09/1800.00 v -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 1800.09/1800.00 v -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 1800.09/1800.00 v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 1800.09/1800.00 v -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 1800.09/1800.00 v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 1800.09/1800.00 v -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 1800.09/1800.00 v -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 1800.09/1800.00 v -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 1800.09/1800.00 v -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 x2241 x2242 x2243 x2244 -x2245 1800.09/1800.00 v -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 1800.09/1800.00 v -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 1800.09/1800.00 v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 1800.09/1800.00 v -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 1800.09/1800.00 v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 1800.09/1800.00 v -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 1800.09/1800.00 v -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 1800.09/1800.00 v -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 1800.09/1800.00 v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 1800.09/1800.00 v -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 1800.09/1800.00 v -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 1800.09/1800.00 v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 x2444 x2445 -x2446 -x2447 -x2448 -x2449 x2450 x2451 -x2452 1800.09/1800.00 v -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 1800.09/1800.00 v -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 1800.09/1800.00 v -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 1800.09/1800.00 v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 1800.09/1800.00 v -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 1800.09/1800.00 v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.09/1800.00 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 1800.09/1800.00 v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 1800.09/1800.00 v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 1800.09/1800.00 v -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 1800.09/1800.00 v -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 1800.09/1800.00 v -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 1800.09/1800.00 v -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 1800.09/1800.00 v -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 1800.09/1800.00 v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 1800.09/1800.00 v -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 1800.09/1800.00 v -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 1800.09/1800.00 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 1800.09/1800.00 v -x2759 x2760 x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 1800.09/1800.00 v -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 1800.09/1800.00 v -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 1800.09/1800.00 v -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 1800.09/1800.00 v -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 1800.09/1800.00 v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 1800.09/1800.00 v -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 1800.09/1800.00 v -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1800.09/1800.00 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 1800.09/1800.00 v -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 1800.09/1800.00 v -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 1800.09/1800.00 v -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 1800.09/1800.00 v -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 x2977 x2978 -x2979 -x2980 -x2981 1800.09/1800.00 v -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 1800.09/1800.00 v -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 1800.09/1800.00 v -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 1800.09/1800.00 v -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 1800.09/1800.00 v -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 1800.09/1800.00 v -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 x3077 x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 1800.09/1800.00 v -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 1800.09/1800.00 v -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 x3118 -x3119 1800.09/1800.00 v -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 1800.09/1800.00 v -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 1800.09/1800.00 v -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 1800.09/1800.00 v -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 1800.09/1800.00 v -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 1800.09/1800.00 v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 1800.09/1800.00 v -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 1800.09/1800.00 v -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 1800.09/1800.00 v -x3256 -x3257 -x3258 -x3259 x3260 x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 1800.09/1800.00 v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 1800.09/1800.00 v -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 1800.09/1800.00 v -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 1800.09/1800.00 v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 1800.09/1800.00 v -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 1800.09/1800.00 v -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 1800.09/1800.00 v -x3376 -x3377 -x3378 -x3379 x3380 x3381 -x3382 -x3383 -x3384 -x3385 x3386 x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 1800.09/1800.00 v -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 1800.09/1800.00 v -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 1800.09/1800.00 v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 1800.09/1800.00 v -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 1800.09/1800.00 v -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 1800.09/1800.00 v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 x3489 x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 1800.09/1800.00 v -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 x3513 1800.09/1800.00 v x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 x3523 x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 1800.09/1800.00 v -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 x3539 x3540 -x3541 -x3542 x3543 x3544 -x3545 -x3546 -x3547 -x3548 -x3549 1800.09/1800.00 v -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 1800.09/1800.00 v -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 1800.09/1800.00 v -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 1800.09/1800.00 v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 1800.09/1800.00 v -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 1800.09/1800.00 v -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 1800.09/1800.00 v -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 1800.09/1800.00 v -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 1800.09/1800.00 v -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 x3696 x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 1800.09/1800.00 v -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1800.09/1800.00 v -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 1800.09/1800.00 v -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 1800.09/1800.00 v -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 x3768 x3769 -x3770 -x3771 -x3772 1800.09/1800.00 v -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 1800.09/1800.00 v -x3790 -x3791 x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 x3804 x3805 -x3806 -x3807 1800.09/1800.00 v -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 1800.09/1800.00 v -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 1800.09/1800.00 v -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 1800.09/1800.00 v -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 1800.09/1800.00 v -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 1800.09/1800.00 v -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 1800.09/1800.00 v -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 1800.09/1800.00 v -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 1800.09/1800.00 v -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 1800.09/1800.00 v -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 1800.09/1800.00 v -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 1800.09/1800.00 v -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 x4002 x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 1800.09/1800.00 v -x4013 -x4014 -x4015 x4016 x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 1800.09/1800.00 v -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 1800.09/1800.00 v -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 x4054 x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 1800.09/1800.00 v -x4066 -x4067 -x4068 -x4069 x4070 x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1800.09/1800.00 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 x4098 x4099 -x4100 -x4101 1800.09/1800.00 v -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 x4110 x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 1800.09/1800.00 v -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 1800.09/1800.00 v -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 1800.09/1800.00 v -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 1800.09/1800.00 v -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 1800.09/1800.00 v -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 1800.09/1800.00 v -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 1800.09/1800.00 v -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 1800.09/1800.00 v -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 1800.09/1800.00 v x4256 x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 1800.09/1800.00 v -x4274 -x4275 x4276 x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 1800.09/1800.00 v -x4292 -x4293 -x4294 -x4295 x4296 x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 x4304 x4305 -x4306 -x4307 x4308 x4309 1800.09/1800.00 v -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 1800.09/1800.00 v -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 1800.09/1800.00 v -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 x4359 x4360 -x4361 1800.09/1800.00 v -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 1800.09/1800.00 v -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 x4392 x4393 -x4394 -x4395 -x4396 1800.09/1800.00 v -x4397 -x4398 -x4399 -x4400 -x4401 x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 1800.09/1800.00 v -x4415 x4416 x4417 x4418 x4419 x4420 x4421 -x4422 -x4423 x4424 x4425 -x4426 -x4427 1800.09/1800.01 c Total Number of Positive Atoms : 151 1800.09/1800.01 c 1800.09/1800.01 c During searching: 1779.15 seconds elapsed. 1800.09/1800.01 c CPU time spent: 1779.44 seconds. 1800.09/1800.01 c 1800.09/1800.01 c =================================== END ===================================== 1800.09/1800.01 c
OK 57
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-372595-1177111041 -o ROOT/results/node16/solver-372595-1177111041 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372595-1177111041/wildcat-skc /tmp/evaluation/372595-1177111041/instance-372595-1177111041.opb 855033458 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4986 /proc/meminfo: memFree=1824448/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=5972 CPUtime=0 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 159021717 6115328 137 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 1493 137 105 226 0 1264 0 [startup+0.0248459 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4986 /proc/meminfo: memFree=1824448/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=6236 CPUtime=0.02 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 208 0 0 0 2 0 0 0 18 0 1 0 159021717 6385664 192 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 135002146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 1559 192 105 226 0 1330 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 6236 [startup+0.101829 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4986 /proc/meminfo: memFree=1824448/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=0.09 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 9 0 0 0 18 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134577205 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9408 [startup+0.301788 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4986 /proc/meminfo: memFree=1824448/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=0.29 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 29 0 0 0 19 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599046 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9408 [startup+0.701705 s] /proc/loadavg: 0.92 0.98 0.99 3/77 4986 /proc/meminfo: memFree=1824448/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=0.69 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 69 0 0 0 22 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598369 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9408 [startup+1.50154 s] /proc/loadavg: 0.92 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820920/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1.49 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 149 0 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9408 [startup+3.10121 s] /proc/loadavg: 0.92 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820792/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=3.09 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 309 0 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565719 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9408 [startup+6.30254 s] /proc/loadavg: 0.93 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820664/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=6.3 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 630 0 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598410 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 9408 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=12.69 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 1269 0 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9408 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 3/78 4987 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=25.5 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 2550 0 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 9408 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=51.09 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 5109 0 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134598453 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 9408 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=102.3 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 10230 0 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 9408 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=162.3 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 16229 1 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 9408 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=222.3 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 22229 1 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599020 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 9408 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=282.31 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 28229 2 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565779 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 9408 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820472/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=342.31 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 34229 2 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599037 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 342.31 Current children cumulated vsize (KiB) 9408 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=402.31 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 40229 2 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 9408 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=462.32 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 46229 3 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 462.32 Current children cumulated vsize (KiB) 9408 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 3/78 4987 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=522.32 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 52229 3 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134551568 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 522.32 Current children cumulated vsize (KiB) 9408 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=582.32 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 58229 3 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134599013 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 582.32 Current children cumulated vsize (KiB) 9408 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=642.33 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 64229 4 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565724 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 642.33 Current children cumulated vsize (KiB) 9408 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=822.33 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 82229 4 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 9408 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=882.33 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 88229 4 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 9408 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=942.35 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 94230 5 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565764 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 942.35 Current children cumulated vsize (KiB) 9408 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4987 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1002.35 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 100230 5 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1002.35 Current children cumulated vsize (KiB) 9408 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4989 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1062.35 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 106230 5 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134603936 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1062.35 Current children cumulated vsize (KiB) 9408 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4989 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1122.35 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 112230 5 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1122.35 Current children cumulated vsize (KiB) 9408 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4989 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1182.35 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 118230 5 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1182.35 Current children cumulated vsize (KiB) 9408 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4989 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1242.36 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 124230 6 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1242.36 Current children cumulated vsize (KiB) 9408 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 4989 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1302.37 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 130231 6 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565731 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1302.37 Current children cumulated vsize (KiB) 9408 [startup+1362.3 s] /proc/loadavg: 1.05 1.00 1.00 2/78 4989 /proc/meminfo: memFree=1820472/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1362.36 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 136230 6 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1362.36 Current children cumulated vsize (KiB) 9408 [startup+1422.31 s] /proc/loadavg: 1.02 1.00 1.00 2/78 4989 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1422.37 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 142231 6 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1422.37 Current children cumulated vsize (KiB) 9408 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4989 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1482.37 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 148231 6 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877534 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1482.37 Current children cumulated vsize (KiB) 9408 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4989 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1542.37 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 154231 6 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134877526 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1542.37 Current children cumulated vsize (KiB) 9408 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4989 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1602.38 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 160231 7 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1602.38 Current children cumulated vsize (KiB) 9408 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4989 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1662.38 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 166231 7 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565808 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1662.38 Current children cumulated vsize (KiB) 9408 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4989 /proc/meminfo: memFree=1820600/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1722.38 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 172231 7 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565788 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1722.38 Current children cumulated vsize (KiB) 9408 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4989 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1782.39 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 178232 7 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565708 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (KiB) 9408 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4989 /proc/meminfo: memFree=1820536/2055920 swapFree=4148608/4192956 [pid=4986] ppid=4984 vsize=9408 CPUtime=1800.09 /proc/4986/stat : 4986 (wildcat-skc) R 4984 4986 4217 0 -1 4194304 1008 0 0 0 180002 7 0 0 25 0 1 0 159021717 9633792 991 18446744073709551615 134512640 135438881 4294956608 18446744073709551615 134565841 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4986/statm: 2352 991 115 226 0 2123 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 9408 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.02 CPU time (s): 1800.11 CPU user time (s): 1800.03 CPU system time (s): 0.078987 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 9408 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.03 system time used= 0.078987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1008 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= 9 involuntary context switches= 2078 runsolver used 2.10668 second user time and 4.43433 second system time The end
Begin job on node16 on Fri Apr 20 23:17:21 UTC 2007 IDJOB= 372595 IDBENCH= 24983 IDSOLVER= 162 FILE ID= node16/372595-1177111041 PBS_JOBID= 4640426 Free space on /tmp= 66359 MiB SOLVER NAME= wildcat-skc 2007-03-21 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_020_area_delay.opb COMMAND LINE= /tmp/evaluation/372595-1177111041/wildcat-skc /tmp/evaluation/372595-1177111041/instance-372595-1177111041.opb 855033458 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-372595-1177111041 -o ROOT/results/node16/solver-372595-1177111041 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372595-1177111041/wildcat-skc /tmp/evaluation/372595-1177111041/instance-372595-1177111041.opb 855033458 META MD5SUM SOLVER= 05d21ee76b90579709a9929b8e99937a MD5SUM BENCH= b63b2d912c01ff826a63051b401330db RANDOM SEED= 855033458 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 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.232 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: 1824920 kB Buffers: 35556 kB Cached: 117116 kB SwapCached: 12024 kB Active: 116880 kB Inactive: 59004 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1824920 kB SwapTotal: 4192956 kB SwapFree: 4148608 kB Dirty: 2676 kB Writeback: 0 kB Mapped: 30288 kB Slab: 40688 kB Committed_AS: 7422276 kB PageTables: 1836 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66359 MiB End job on node16 on Fri Apr 20 23:47:23 UTC 2007