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