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