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