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