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