0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...896849/instance-3448355-1307896849.wbo
0.00/0.00	c Solving...
0.00/0.01	o 1456
0.00/0.02	o 1455
0.03/0.04	o 1448
0.03/0.05	o 1442
0.03/0.08	o 1438
0.09/0.11	o 1431
0.09/0.17	o 1427
0.19/0.25	o 1423
0.29/0.37	o 1416
0.49/0.57	o 1412
0.79/0.88	o 1410
1.29/1.34	o 1406
1.99/2.03	o 1395
2.99/3.08	o 1388
4.69/4.73	o 1384
7.29/7.30	o 1380
11.19/11.26	o 1378
17.29/17.30	o 1377
26.59/26.69	o 1373
41.09/41.15	o 1369
63.59/63.64	o 1367
97.99/98.09	o 1362
151.20/151.27	o 1359
235.60/235.66	o 1356
364.30/364.37	o 1352
566.70/566.70	o 1346
879.82/879.86	o 1344
1367.94/1367.92	o 1342
1800.05/1800.00	
1800.05/1800.00	*** INTERRUPTED! ***
1800.05/1800.00	c Answer: 28
1800.05/1800.00	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16
1800.05/1800.00	v -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31
1800.05/1800.00	v -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46
1800.05/1800.00	v -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61
1800.05/1800.00	v -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76
1800.05/1800.00	v -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91
1800.05/1800.00	v -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.05/1800.00	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117
1800.05/1800.00	v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1800.05/1800.00	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141
1800.05/1800.00	v -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153
1800.05/1800.00	v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
1800.05/1800.00	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
1800.05/1800.00	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.05/1800.00	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201
1800.05/1800.00	v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1800.05/1800.00	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225
1800.05/1800.00	v -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237
1800.05/1800.00	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249
1800.05/1800.00	v -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261
1800.05/1800.00	v -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.05/1800.00	v -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285
1800.05/1800.00	v -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1800.05/1800.00	v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309
1800.05/1800.00	v -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321
1800.05/1800.00	v -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333
1800.05/1800.00	v -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345
1800.05/1800.00	v -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.05/1800.00	v -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369
1800.05/1800.00	v -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1800.05/1800.00	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393
1800.05/1800.00	v -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405
1800.05/1800.00	v -x406 -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417
1800.05/1800.00	v -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429
1800.05/1800.00	v -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.05/1800.00	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453
1800.05/1800.00	v -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1800.05/1800.00	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477
1800.05/1800.00	v -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489
1800.05/1800.00	v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501
1800.05/1800.00	v -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513
1800.05/1800.00	v -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.05/1800.00	v -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537
1800.05/1800.00	v -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
1800.05/1800.00	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561
1800.05/1800.00	v -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
1800.05/1800.00	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585
1800.05/1800.00	v -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597
1800.05/1800.00	v -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609
1800.05/1800.00	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621
1800.05/1800.00	v -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633
1800.05/1800.00	v -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645
1800.05/1800.00	v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657
1800.05/1800.00	v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669
1800.05/1800.00	v -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681
1800.05/1800.00	v -x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.05/1800.00	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705
1800.05/1800.00	v -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717
1800.05/1800.00	v -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729
1800.05/1800.00	v -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741
1800.05/1800.00	v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753
1800.05/1800.00	v -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765
1800.05/1800.00	v -x766 -x767 -x768 -x769 -x770 -x771 -x772 x773 -x774 -x775 -x776 -x777
1800.05/1800.00	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789
1800.05/1800.00	v -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801
1800.05/1800.00	v -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813
1800.05/1800.00	v -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825
1800.05/1800.00	v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837
1800.05/1800.00	v -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849
1800.05/1800.00	v -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.05/1800.00	v -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873
1800.05/1800.00	v -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885
1800.05/1800.00	v -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897
1800.05/1800.00	v -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909
1800.05/1800.00	v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921
1800.05/1800.00	v -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933
1800.05/1800.00	v -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.05/1800.00	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957
1800.05/1800.00	v -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969
1800.05/1800.00	v -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981
1800.05/1800.00	v -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993
1800.05/1800.00	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004
1800.05/1800.00	v -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015
1800.05/1800.00	v -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026
1800.05/1800.00	v -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037
1800.05/1800.00	v -x1038 -x1039 -x1040 -x1041 -x1042 x1043 -x1044 -x1045 -x1046 -x1047 -x1048
1800.05/1800.00	v -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059
1800.05/1800.00	v -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070
1800.05/1800.00	v -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1800.05/1800.00	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092
1800.05/1800.00	v -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103
1800.05/1800.00	v -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114
1800.05/1800.00	v -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.05/1800.00	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136
1800.05/1800.00	v -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147
1800.05/1800.00	v -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158
1800.05/1800.00	v -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169
1800.05/1800.00	v -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
1800.05/1800.00	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191
1800.05/1800.00	v -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202
1800.05/1800.00	v -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213
1800.05/1800.00	v -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 x1223 -x1224
1800.05/1800.00	v -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235
1800.05/1800.00	v -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246
1800.05/1800.00	v -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257
1800.05/1800.00	v -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.05/1800.00	v -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1800.05/1800.00	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290
1800.05/1800.00	v -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301
1800.05/1800.00	v -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312
1800.05/1800.00	v x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323
1800.05/1800.00	v -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334
1800.05/1800.00	v -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345
1800.05/1800.00	v -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356
1800.05/1800.00	v -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367
1800.05/1800.00	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378
1800.05/1800.00	v -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389
1800.05/1800.00	v -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400
1800.05/1800.00	v -x1401 -x1402 x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411
1800.05/1800.00	v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422
1800.05/1800.00	v -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433
1800.05/1800.00	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444
1800.05/1800.00	v -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455
1800.05/1800.00	v -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466
1800.05/1800.00	v -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477
1800.05/1800.00	v -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488
1800.05/1800.00	v -x1489 -x1490 -x1491 -x1492 x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499
1800.05/1800.00	v -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510
1800.05/1800.00	v -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521
1800.05/1800.00	v -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532
1800.05/1800.00	v -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543
1800.05/1800.00	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554
1800.05/1800.00	v -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565
1800.05/1800.00	v -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576
1800.05/1800.00	v -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 -x1586 -x1587
1800.05/1800.00	v -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598
1800.05/1800.00	v -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609
1800.05/1800.00	v -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1800.05/1800.00	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631
1800.05/1800.00	v -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642
1800.05/1800.00	v -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653
1800.05/1800.00	v -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664
1800.05/1800.00	v -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675
1800.05/1800.00	v -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686
1800.05/1800.00	v -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697
1800.05/1800.00	v -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708
1800.05/1800.00	v -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719
1800.05/1800.00	v -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730
1800.05/1800.00	v -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741
1800.05/1800.00	v -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752
1800.05/1800.00	v -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763
1800.05/1800.00	v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774
1800.05/1800.00	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785
1800.05/1800.00	v -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796
1800.05/1800.00	v -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807
1800.05/1800.00	v -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818
1800.05/1800.00	v -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829
1800.05/1800.00	v -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840
1800.05/1800.00	v -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851
1800.05/1800.00	v -x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862
1800.05/1800.00	v -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873
1800.05/1800.00	v -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884
1800.05/1800.00	v -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895
1800.05/1800.00	v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906
1800.05/1800.00	v -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917
1800.05/1800.00	v -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928
1800.05/1800.00	v -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939
1800.05/1800.00	v -x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950
1800.05/1800.00	v -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961
1800.05/1800.00	v -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972
1800.05/1800.00	v -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983
1800.05/1800.00	v -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994
1800.05/1800.00	v -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005
1800.05/1800.00	v -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016
1800.05/1800.00	v -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027
1800.05/1800.00	v -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038
1800.05/1800.00	v -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049
1800.05/1800.00	v -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060
1800.05/1800.00	v -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071
1800.05/1800.00	v -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082
1800.05/1800.00	v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093
1800.05/1800.00	v -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104
1800.05/1800.00	v -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115
1800.05/1800.00	v -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 x2123 -x2124 -x2125 -x2126
1800.05/1800.00	v -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137
1800.05/1800.00	v -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148
1800.05/1800.00	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159
1800.05/1800.00	v -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170
1800.05/1800.00	v -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181
1800.05/1800.00	v -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192
1800.05/1800.00	v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203
1800.05/1800.00	v -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214
1800.05/1800.00	v -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225
1800.05/1800.00	v -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236
1800.05/1800.00	v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247
1800.05/1800.00	v -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258
1800.05/1800.00	v -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269
1800.05/1800.00	v -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280
1800.05/1800.00	v -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291
1800.05/1800.00	v -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302
1800.05/1800.00	v x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313
1800.05/1800.00	v -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324
1800.05/1800.00	v -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335
1800.05/1800.00	v -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346
1800.05/1800.00	v -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357
1800.05/1800.00	v -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368
1800.05/1800.00	v -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379
1800.05/1800.00	v -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390
1800.05/1800.00	v -x2391 -x2392 x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401
1800.05/1800.00	v -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412
1800.05/1800.00	v -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423
1800.05/1800.00	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434
1800.05/1800.00	v -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445
1800.05/1800.00	v -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456
1800.05/1800.00	v -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467
1800.05/1800.00	v -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478
1800.05/1800.00	v -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489
1800.05/1800.00	v -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500
1800.05/1800.00	v -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511
1800.05/1800.00	v -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522
1800.05/1800.00	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533
1800.05/1800.00	v -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544
1800.05/1800.00	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555
1800.05/1800.00	v -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566
1800.05/1800.00	v -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 x2573 -x2574 -x2575 -x2576 -x2577
1800.05/1800.00	v -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588
1800.05/1800.00	v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599
1800.05/1800.00	v -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
1800.05/1800.00	v -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621
1800.05/1800.00	v -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632
1800.05/1800.00	v -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643
1800.05/1800.00	v -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654
1800.05/1800.00	v -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 x2663 -x2664 -x2665
1800.05/1800.00	v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676
1800.05/1800.00	v -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687
1800.05/1800.00	v -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698
1800.05/1800.00	v -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709
1800.05/1800.00	v -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720
1800.05/1800.00	v -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731
1800.05/1800.00	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742
1800.05/1800.00	v -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753
1800.05/1800.00	v -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764
1800.05/1800.00	v -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775
1800.05/1800.00	v -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786
1800.05/1800.00	v -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797
1800.05/1800.00	v -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808
1800.05/1800.00	v -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819
1800.05/1800.00	v -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830
1800.05/1800.00	v -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841
1800.05/1800.00	v -x2842 x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852
1800.05/1800.00	v -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863
1800.05/1800.00	v -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874
1800.05/1800.00	v -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885
1800.05/1800.00	v -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896
1800.05/1800.00	v -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907
1800.05/1800.00	v -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918
1800.05/1800.00	v -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929
1800.05/1800.00	v -x2930 -x2931 -x2932 x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940
1800.05/1800.00	v -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951
1800.05/1800.00	v -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962
1800.05/1800.00	v -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973
1800.05/1800.00	v -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984
1800.05/1800.00	v -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995
1800.05/1800.00	v -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006
1800.05/1800.00	v -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017
1800.05/1800.00	v -x3018 -x3019 -x3020 -x3021 -x3022 x3023 -x3024 -x3025 -x3026 -x3027 -x3028
1800.05/1800.00	v -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039
1800.05/1800.00	v -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050
1800.05/1800.00	v -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061
1800.05/1800.00	v -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072
1800.05/1800.00	v -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083
1800.05/1800.00	v -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094
1800.05/1800.00	v -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105
1800.05/1800.00	v -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 x3113 -x3114 -x3115 -x3116
1800.05/1800.00	v -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127
1800.05/1800.00	v -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138
1800.05/1800.00	v -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149
1800.05/1800.00	v -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160
1800.05/1800.00	v -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171
1800.05/1800.00	v -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182
1800.05/1800.00	v -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193
1800.05/1800.00	v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 x3203 -x3204
1800.05/1800.00	v -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215
1800.05/1800.00	v -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226
1800.05/1800.00	v -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237
1800.05/1800.00	v -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248
1800.05/1800.00	v -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259
1800.05/1800.00	v -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270
1800.05/1800.00	v -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281
1800.05/1800.00	v -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292
1800.05/1800.00	v x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303
1800.05/1800.00	v -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314
1800.05/1800.00	v -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325
1800.05/1800.00	v -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336
1800.05/1800.00	v -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347
1800.05/1800.00	v -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358
1800.05/1800.00	v -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369
1800.05/1800.00	v -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380
1800.05/1800.00	v -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391
1800.05/1800.00	v -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402
1800.05/1800.00	v -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413
1800.05/1800.00	v -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424
1800.05/1800.00	v -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435
1800.05/1800.00	v -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446
1800.05/1800.00	v -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457
1800.05/1800.00	v -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468
1800.05/1800.00	v -x3469 -x3470 -x3471 -x3472 x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479
1800.05/1800.00	v -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490
1800.05/1800.00	v -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501
1800.05/1800.00	v -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512
1800.05/1800.00	v -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523
1800.05/1800.00	v -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534
1800.05/1800.00	v -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545
1800.05/1800.00	v -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556
1800.05/1800.00	v -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 -x3566 -x3567
1800.05/1800.00	v -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578
1800.05/1800.00	v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589
1800.05/1800.00	v -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600
1800.05/1800.00	v -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611
1800.05/1800.00	v -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622
1800.05/1800.00	v -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633
1800.05/1800.00	v -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644
1800.05/1800.00	v -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 x3653 -x3654 -x3655
1800.05/1800.00	v -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666
1800.05/1800.00	v -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677
1800.05/1800.00	v -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688
1800.05/1800.00	v -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699
1800.05/1800.00	v -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710
1800.05/1800.00	v -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721
1800.05/1800.00	v -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732
1800.05/1800.00	v -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 x3743
1800.05/1800.00	v -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754
1800.05/1800.00	v -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765
1800.05/1800.00	v -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776
1800.05/1800.00	v -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787
1800.05/1800.00	v -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798
1800.05/1800.00	v -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809
1800.05/1800.00	v -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820
1800.05/1800.00	v -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831
1800.05/1800.00	v -x3832 x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842
1800.05/1800.00	v -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853
1800.05/1800.00	v -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864
1800.05/1800.00	v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875
1800.05/1800.00	v -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886
1800.05/1800.00	v -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897
1800.05/1800.00	v -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908
1800.05/1800.00	v -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919
1800.05/1800.00	v -x3920 -x3921 -x3922 x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
1800.05/1800.00	v -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941
1800.05/1800.00	v -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952
1800.05/1800.00	v -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963
1800.05/1800.00	v -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974
1800.05/1800.00	v -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985
1800.05/1800.00	v -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996
1800.05/1800.00	v -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007
1800.05/1800.00	v -x4008 -x4009 -x4010 -x4011 -x4012 x4013 -x4014 -x4015 -x4016 -x4017 -x4018
1800.05/1800.00	v -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029
1800.05/1800.00	v -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040
1800.05/1800.00	v -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051
1800.05/1800.00	v -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062
1800.05/1800.00	v -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073
1800.05/1800.00	v -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084
1800.05/1800.00	v -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095
1800.05/1800.00	v -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106
1800.05/1800.00	v -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117
1800.05/1800.00	v -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128
1800.05/1800.00	v -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139
1800.05/1800.00	v -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
1800.05/1800.00	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161
1800.05/1800.00	v -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172
1800.05/1800.00	v -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183
1800.05/1800.00	v -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 x4193 -x4194
1800.05/1800.00	v -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205
1800.05/1800.00	v -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216
1800.05/1800.00	v -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227
1800.05/1800.00	v -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238
1800.05/1800.00	v -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249
1800.05/1800.00	v -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260
1800.05/1800.00	v -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271
1800.05/1800.00	v -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282
1800.05/1800.00	v x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293
1800.05/1800.00	v -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304
1800.05/1800.00	v -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315
1800.05/1800.00	v -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326
1800.05/1800.00	v -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337
1800.05/1800.00	v -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348
1800.05/1800.00	v -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359
1800.05/1800.00	v -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370
1800.05/1800.00	v -x4371 -x4372 x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381
1800.05/1800.00	v -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392
1800.05/1800.00	v -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403
1800.05/1800.00	v -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414
1800.05/1800.00	v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425
1800.05/1800.00	v -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436
1800.05/1800.00	v -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447
1800.05/1800.00	v -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458
1800.05/1800.00	v -x4459 -x4460 -x4461 -x4462 x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469
1800.05/1800.00	v -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480
1800.05/1800.00	v -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491
1800.05/1800.00	v -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 x4502
1800.05/1800.00	v x4503 x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 x4512 x4513
1800.05/1800.00	v -x4514 -x4515 x4516 -x4517 -x4518 x4519 -x4520 x4521 -x4522 x4523 -x4524
1800.05/1800.00	v -x4525 -x4526 x4527 x4528 -x4529 -x4530 -x4531 -x4532 x4533 -x4534 x4535
1800.05/1800.00	v x4536 x4537 -x4538 -x4539 x4540 -x4541 -x4542 x4543 x4544 x4545 x4546 x4547
1800.05/1800.00	v x4548 x4549 x4550 x4551 -x4552 x4553 -x4554 -x4555 -x4556 -x4557 -x4558
1800.05/1800.00	v -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569
1800.05/1800.00	v -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580
1800.05/1800.00	v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591
1800.05/1800.00	v x4592 x4593 x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 x4602
1800.05/1800.00	v x4603 -x4604 -x4605 x4606 -x4607 -x4608 x4609 -x4610 x4611 -x4612 x4613
1800.05/1800.00	v -x4614 -x4615 -x4616 x4617 x4618 -x4619 x4620 -x4621 -x4622 x4623 -x4624
1800.05/1800.00	v x4625 x4626 x4627 -x4628 -x4629 x4630 -x4631 -x4632 x4633 x4634 x4635 x4636
1800.05/1800.00	v x4637 x4638 x4639 x4640 x4641 -x4642 x4643 -x4644 -x4645 -x4646 -x4647
1800.05/1800.00	v -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658
1800.05/1800.00	v -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669
1800.05/1800.00	v -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680
1800.05/1800.00	v -x4681 x4682 x4683 x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691
1800.05/1800.00	v x4692 x4693 -x4694 -x4695 x4696 -x4697 -x4698 x4699 -x4700 x4701 -x4702
1800.05/1800.00	v x4703 -x4704 -x4705 -x4706 x4707 x4708 -x4709 -x4710 -x4711 -x4712 x4713
1800.05/1800.00	v -x4714 x4715 x4716 x4717 -x4718 -x4719 x4720 -x4721 -x4722 x4723 x4724
1800.05/1800.00	v x4725 x4726 x4727 x4728 x4729 x4730 x4731 -x4732 x4733 -x4734 -x4735 -x4736
1800.05/1800.00	v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747
1800.05/1800.00	v -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758
1800.05/1800.00	v -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769
1800.05/1800.00	v -x4770 -x4771 x4772 x4773 x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780
1800.05/1800.00	v -x4781 x4782 x4783 -x4784 -x4785 x4786 -x4787 -x4788 x4789 -x4790 x4791
1800.05/1800.00	v -x4792 x4793 -x4794 -x4795 -x4796 x4797 x4798 -x4799 -x4800 -x4801 -x4802
1800.05/1800.00	v x4803 -x4804 x4805 x4806 x4807 -x4808 -x4809 x4810 -x4811 -x4812 x4813
1800.05/1800.00	v x4814 x4815 x4816 x4817 x4818 x4819 x4820 x4821 -x4822 x4823 -x4824 -x4825
1800.05/1800.00	v -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836
1800.05/1800.00	v -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847
1800.05/1800.00	v -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858
1800.05/1800.00	v -x4859 -x4860 -x4861 x4862 x4863 x4864 -x4865 -x4866 -x4867 -x4868 -x4869
1800.05/1800.00	v -x4870 -x4871 x4872 x4873 -x4874 -x4875 x4876 -x4877 -x4878 x4879 -x4880
1800.05/1800.00	v x4881 -x4882 x4883 -x4884 -x4885 -x4886 x4887 x4888 -x4889 -x4890 -x4891
1800.05/1800.00	v -x4892 x4893 -x4894 x4895 x4896 x4897 -x4898 -x4899 x4900 -x4901 -x4902
1800.05/1800.00	v x4903 x4904 x4905 x4906 x4907 x4908 x4909 x4910 x4911 -x4912 x4913 -x4914
1800.05/1800.00	v -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925
1800.05/1800.00	v -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936
1800.05/1800.00	v -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947
1800.05/1800.00	v -x4948 -x4949 -x4950 -x4951 x4952 x4953 x4954 -x4955 -x4956 -x4957 -x4958
1800.05/1800.00	v -x4959 -x4960 -x4961 x4962 x4963 -x4964 -x4965 x4966 -x4967 -x4968 x4969
1800.05/1800.00	v -x4970 x4971 -x4972 x4973 x4974 -x4975 -x4976 x4977 x4978 -x4979 -x4980
1800.05/1800.00	v -x4981 -x4982 x4983 -x4984 x4985 x4986 x4987 -x4988 -x4989 x4990 -x4991
1800.05/1800.00	v -x4992 x4993 x4994 x4995 x4996 x4997 x4998 x4999 x5000 x5001 -x5002 x5003
1800.05/1800.00	v -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014
1800.05/1800.00	v -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025
1800.05/1800.00	v -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036
1800.05/1800.00	v -x5037 -x5038 -x5039 -x5040 -x5041 x5042 x5043 x5044 -x5045 -x5046 -x5047
1800.05/1800.00	v -x5048 -x5049 -x5050 -x5051 x5052 x5053 -x5054 -x5055 x5056 -x5057 x5058
1800.05/1800.00	v x5059 -x5060 x5061 -x5062 x5063 -x5064 -x5065 -x5066 x5067 x5068 -x5069
1800.05/1800.00	v -x5070 -x5071 -x5072 x5073 -x5074 x5075 x5076 x5077 -x5078 -x5079 x5080
1800.05/1800.00	v -x5081 -x5082 x5083 x5084 x5085 x5086 x5087 x5088 x5089 x5090 x5091 -x5092
1800.05/1800.00	v x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103
1800.05/1800.00	v -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114
1800.05/1800.00	v -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125
1800.05/1800.00	v -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132 x5133 x5134 -x5135 -x5136
1800.05/1800.00	v -x5137 -x5138 -x5139 -x5140 -x5141 x5142 x5143 -x5144 -x5145 x5146 -x5147
1800.05/1800.00	v -x5148 x5149 -x5150 x5151 -x5152 x5153 -x5154 -x5155 -x5156 x5157 x5158
1800.05/1800.00	v -x5159 -x5160 -x5161 -x5162 x5163 -x5164 x5165 x5166 x5167 x5168 -x5169
1800.05/1800.00	v x5170 -x5171 -x5172 x5173 x5174 x5175 x5176 x5177 x5178 x5179 x5180 x5181
1800.05/1800.00	v -x5182 x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192
1800.05/1800.00	v -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203
1800.05/1800.00	v -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214
1800.05/1800.00	v -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 x5222 x5223 x5224 -x5225
1800.05/1800.00	v -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 x5232 x5233 -x5234 -x5235 x5236
1800.05/1800.00	v -x5237 -x5238 x5239 -x5240 x5241 -x5242 x5243 -x5244 -x5245 -x5246 x5247
1800.05/1800.00	v x5248 -x5249 -x5250 -x5251 -x5252 x5253 -x5254 x5255 x5256 x5257 -x5258
1800.05/1800.00	v -x5259 x5260 -x5261 -x5262 x5263 x5264 x5265 x5266 x5267 x5268 x5269 x5270
1800.05/1800.00	v x5271 -x5272 x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281
1800.05/1800.00	v -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292
1800.05/1800.00	v -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303
1800.05/1800.00	v -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 x5312 x5313 x5314
1800.05/1800.00	v -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 x5322 x5323 -x5324 -x5325
1800.05/1800.00	v x5326 -x5327 -x5328 x5329 -x5330 x5331 -x5332 x5333 -x5334 -x5335 -x5336
1800.05/1800.00	v x5337 x5338 -x5339 -x5340 -x5341 -x5342 x5343 -x5344 x5345 x5346 x5347
1800.05/1800.00	v -x5348 -x5349 x5350 -x5351 -x5352 x5353 x5354 x5355 x5356 x5357 x5358 x5359
1800.05/1800.00	v x5360 x5361 -x5362 x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370
1800.05/1800.00	v -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381
1800.05/1800.00	v -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392
1800.05/1800.00	v -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 x5403
1800.05/1800.00	v x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 x5412 x5413 -x5414
1800.05/1800.00	v -x5415 x5416 -x5417 -x5418 x5419 -x5420 x5421 -x5422 x5423 -x5424 -x5425
1800.05/1800.00	v -x5426 x5427 x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 x5435 x5436
1800.05/1800.00	v x5437 -x5438 -x5439 x5440 -x5441 -x5442 x5443 x5444 x5445 x5446 x5447 x5448
1800.05/1800.00	v x5449 x5450 x5451 -x5452 x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459
1800.05/1800.00	v -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470
1800.05/1800.00	v -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481
1800.05/1800.00	v -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 x5492
1800.05/1800.00	v x5493 x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 x5502 x5503
1800.05/1800.00	v -x5504 -x5505 x5506 -x5507 -x5508 x5509 -x5510 x5511 -x5512 x5513 -x5514
1800.05/1800.00	v -x5515 -x5516 x5517 x5518 -x5519 -x5520 -x5521 -x5522 x5523 -x5524 x5525
1800.05/1800.00	v x5526 x5527 -x5528 -x5529 x5530 -x5531 -x5532 x5533 x5534 x5535 x5536 x5537
1800.05/1800.00	v x5538 x5539 x5540 x5541 -x5542 x5543 -x5544 -x5545 -x5546 -x5547 -x5548
1800.05/1800.00	v -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559
1800.05/1800.00	v -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570
1800.05/1800.00	v -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581
1800.05/1800.00	v x5582 x5583 x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 x5592
1800.05/1800.00	v x5593 -x5594 -x5595 x5596 -x5597 -x5598 x5599 -x5600 x5601 -x5602 x5603
1800.05/1800.00	v -x5604 -x5605 -x5606 x5607 x5608 -x5609 -x5610 -x5611 -x5612 x5613 -x5614
1800.05/1800.00	v x5615 x5616 x5617 -x5618 -x5619 x5620 -x5621 -x5622 x5623 x5624 x5625 x5626
1800.05/1800.00	v x5627 x5628 x5629 x5630 x5631 -x5632 x5633 -x5634 -x5635 -x5636 -x5637
1800.05/1800.00	v -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648
1800.05/1800.00	v -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659
1800.05/1800.00	v -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670
1800.05/1800.00	v -x5671 x5672 x5673 x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681
1800.05/1800.00	v x5682 x5683 -x5684 -x5685 x5686 -x5687 -x5688 x5689 -x5690 x5691 -x5692
1800.05/1800.00	v x5693 -x5694 -x5695 -x5696 x5697 x5698 -x5699 -x5700 -x5701 -x5702 x5703
1800.05/1800.00	v -x5704 x5705 x5706 x5707 -x5708 -x5709 x5710 -x5711 -x5712 x5713 x5714
1800.05/1800.00	v x5715 x5716 x5717 x5718 x5719 x5720 x5721 -x5722 x5723 -x5724 -x5725 -x5726
1800.05/1800.00	v -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737
1800.05/1800.00	v -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748
1800.05/1800.00	v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759
1800.05/1800.00	v -x5760 -x5761 x5762 x5763 x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770
1800.05/1800.00	v -x5771 x5772 x5773 -x5774 -x5775 x5776 -x5777 -x5778 x5779 -x5780 x5781
1800.05/1800.00	v -x5782 x5783 -x5784 -x5785 -x5786 x5787 x5788 -x5789 -x5790 -x5791 -x5792
1800.05/1800.00	v x5793 -x5794 x5795 x5796 x5797 -x5798 -x5799 x5800 -x5801 -x5802 x5803
1800.05/1800.00	v x5804 x5805 x5806 x5807 x5808 x5809 x5810 x5811 -x5812 x5813 -x5814 -x5815
1800.05/1800.00	v -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826
1800.05/1800.00	v -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837
1800.05/1800.00	v -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848
1800.05/1800.00	v -x5849 -x5850 -x5851 x5852 x5853 x5854 -x5855 -x5856 -x5857 -x5858 -x5859
1800.05/1800.00	v -x5860 -x5861 x5862 x5863 -x5864 -x5865 x5866 -x5867 -x5868 x5869 -x5870
1800.05/1800.00	v x5871 -x5872 x5873 -x5874 -x5875 -x5876 x5877 x5878 -x5879 -x5880 -x5881
1800.05/1800.00	v -x5882 x5883 -x5884 x5885 x5886 x5887 -x5888 -x5889 x5890 -x5891 -x5892
1800.05/1800.00	v x5893 x5894 x5895 x5896 x5897 x5898 x5899 x5900 x5901 -x5902 x5903 -x5904
1800.05/1800.00	v -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915
1800.05/1800.00	v -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926
1800.05/1800.00	v -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937
1800.05/1800.00	v -x5938 -x5939 -x5940 -x5941 x5942 x5943 x5944 -x5945 -x5946 -x5947 -x5948
1800.05/1800.00	v -x5949 -x5950 -x5951 x5952 x5953 -x5954 -x5955 x5956 -x5957 -x5958 x5959
1800.05/1800.00	v -x5960 x5961 -x5962 x5963 -x5964 -x5965 -x5966 x5967 x5968 -x5969 -x5970
1800.05/1800.00	v -x5971 -x5972 x5973 -x5974 x5975 x5976 x5977 -x5978 -x5979 x5980 -x5981
1800.05/1800.00	v -x5982 x5983 x5984 x5985 x5986 x5987 x5988 x5989 x5990 x5991 -x5992 x5993
1800.05/1800.00	v -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004
1800.05/1800.00	v -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015
1800.05/1800.00	v -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026
1800.05/1800.00	v -x6027 -x6028 -x6029 -x6030 -x6031 x6032 x6033 x6034 -x6035 -x6036 -x6037
1800.05/1800.00	v -x6038 -x6039 -x6040 -x6041 x6042 x6043 -x6044 -x6045 x6046 -x6047 -x6048
1800.05/1800.00	v x6049 -x6050 x6051 -x6052 x6053 -x6054 -x6055 -x6056 x6057 x6058 -x6059
1800.05/1800.00	v -x6060 -x6061 -x6062 x6063 -x6064 x6065 x6066 x6067 -x6068 x6069 x6070
1800.05/1800.00	v -x6071 -x6072 x6073 x6074 x6075 x6076 x6077 x6078 x6079 x6080 x6081 -x6082
1800.05/1800.00	v x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093
1800.05/1800.00	v -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104
1800.05/1800.00	v -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115
1800.05/1800.00	v -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 x6122 x6123 x6124 -x6125 -x6126
1800.05/1800.00	v -x6127 -x6128 -x6129 -x6130 -x6131 x6132 x6133 -x6134 -x6135 x6136 -x6137
1800.05/1800.00	v -x6138 x6139 -x6140 x6141 -x6142 x6143 -x6144 -x6145 -x6146 x6147 x6148
1800.05/1800.00	v -x6149 -x6150 -x6151 -x6152 x6153 -x6154 x6155 x6156 x6157 -x6158 -x6159
1800.05/1800.00	v x6160 -x6161 -x6162 x6163 x6164 x6165 x6166 x6167 x6168 x6169 x6170 x6171
1800.05/1800.00	v -x6172 x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182
1800.05/1800.00	v -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193
1800.05/1800.00	v -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204
1800.05/1800.00	v -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 x6212 x6213 x6214 -x6215
1800.05/1800.00	v -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 x6222 x6223 -x6224 -x6225 x6226
1800.05/1800.00	v -x6227 -x6228 x6229 -x6230 x6231 -x6232 x6233 -x6234 -x6235 -x6236 x6237
1800.05/1800.00	v x6238 -x6239 -x6240 -x6241 -x6242 x6243 -x6244 x6245 x6246 x6247 -x6248
1800.05/1800.00	v -x6249 x6250 -x6251 -x6252 x6253 x6254 x6255 x6256 x6257 x6258 x6259 x6260
1800.05/1800.00	v x6261 -x6262 x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271
1800.05/1800.00	v -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282
1800.05/1800.00	v -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293
1800.05/1800.00	v -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 x6302 x6303 x6304
1800.05/1800.00	v -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 x6312 x6313 -x6314 -x6315
1800.05/1800.00	v x6316 -x6317 -x6318 x6319 -x6320 x6321 -x6322 x6323 -x6324 -x6325 -x6326
1800.05/1800.00	v x6327 x6328 -x6329 -x6330 -x6331 -x6332 x6333 -x6334 x6335 x6336 x6337
1800.05/1800.00	v -x6338 -x6339 x6340 -x6341 -x6342 x6343 x6344 x6345 x6346 x6347 x6348 x6349
1800.05/1800.00	v x6350 x6351 -x6352 x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360
1800.05/1800.00	v -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371
1800.05/1800.00	v -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382
1800.05/1800.00	v -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 x6392 x6393
1800.05/1800.00	v x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 x6402 x6403 -x6404
1800.05/1800.00	v -x6405 x6406 -x6407 -x6408 x6409 -x6410 x6411 -x6412 x6413 -x6414 -x6415
1800.05/1800.00	v -x6416 x6417 x6418 -x6419 -x6420 -x6421 -x6422 x6423 -x6424 x6425 x6426
1800.05/1800.00	v x6427 -x6428 -x6429 x6430 -x6431 -x6432 x6433 x6434 x6435 x6436 x6437 x6438
1800.05/1800.00	v x6439 x6440 x6441 -x6442 x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449
1800.05/1800.00	v -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460
1800.05/1800.00	v -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471
1800.05/1800.00	v -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 x6481 x6482
1800.05/1800.00	v x6483 x6484 x6485 x6486 x6487 x6488 x6489 x6490 x6491 x6492 x6493 x6494
1800.05/1800.00	v x6495 x6496 x6497 -x6498 x6499 x6500 x6501 x6502 x6503 -x6504 x6505 x6506
1800.05/1800.00	v x6507 x6508 x6509 -x6510 x6511 x6512 x6513 x6514 x6515 x6516 x6517 -x6518
1800.05/1800.00	v -x6519 x6520 x6521 x6522 x6523 x6524 x6525 x6526 x6527 x6528 x6529 x6530
1800.05/1800.00	v x6531 x6532 x6533 x6534 x6535 x6536 x6537 x6538 x6539 x6540 x6541 x6542
1800.05/1800.00	v x6543 x6544 x6545 x6546 x6547 x6548 x6549 x6550 x6551 x6552 x6553 x6554
1800.05/1800.00	v x6555 x6556 x6557 x6558 x6559 x6560 x6561 x6562 x6563 x6564 x6565 x6566
1800.05/1800.00	v x6567 x6568 x6569 x6570 -x6571 x6572 x6573 x6574 -x6575 -x6576 -x6577 -x6578
1800.05/1800.00	v -x6579 -x6580 -x6581 x6582 x6583 -x6584 -x6585 x6586 -x6587 -x6588 x6589
1800.05/1800.00	v -x6590 x6591 -x6592 x6593 -x6594 -x6595 -x6596 x6597 x6598 -x6599 -x6600
1800.05/1800.00	v -x6601 -x6602 x6603 -x6604 x6605 x6606 x6607 -x6608 -x6609 x6610 -x6611
1800.05/1800.00	v -x6612 x6613 x6614 x6615 x6616 x6617 x6618 x6619 x6620 x6621 -x6622 x6623
1800.05/1800.00	v -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634
1800.05/1800.00	v -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645
1800.05/1800.00	v -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656
1800.05/1800.00	v -x6657 -x6658 -x6659 -x6660 -x6661 x6662 x6663 x6664 -x6665 -x6666 -x6667
1800.05/1800.00	v -x6668 -x6669 -x6670 -x6671 x6672 x6673 -x6674 -x6675 x6676 -x6677 -x6678
1800.05/1800.00	v x6679 -x6680 x6681 -x6682 x6683 -x6684 -x6685 -x6686 x6687 x6688 -x6689
1800.05/1800.00	v -x6690 -x6691 -x6692 x6693 -x6694 x6695 x6696 x6697 -x6698 -x6699 x6700
1800.05/1800.00	v -x6701 -x6702 x6703 x6704 x6705 x6706 x6707 x6708 x6709 x6710 x6711 -x6712
1800.05/1800.00	v x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723
1800.05/1800.00	v -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734
1800.05/1800.00	v -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745
1800.05/1800.00	v -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 x6752 x6753 x6754 -x6755 -x6756
1800.05/1800.00	v -x6757 -x6758 -x6759 -x6760 -x6761 x6762 x6763 -x6764 -x6765 x6766 -x6767
1800.05/1800.00	v -x6768 x6769 -x6770 x6771 -x6772 x6773 -x6774 -x6775 -x6776 x6777 x6778
1800.05/1800.00	v -x6779 -x6780 -x6781 -x6782 x6783 -x6784 x6785 x6786 x6787 -x6788 -x6789
1800.05/1800.00	v x6790 -x6791 -x6792 x6793 x6794 x6795 x6796 x6797 x6798 x6799 x6800 x6801
1800.05/1800.00	v -x6802 x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812
1800.05/1800.00	v -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823
1800.05/1800.00	v -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834
1800.05/1800.00	v -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 x6842 x6843 x6844 -x6845
1800.05/1800.00	v -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 x6852 x6853 -x6854 -x6855 x6856
1800.05/1800.00	v -x6857 -x6858 x6859 -x6860 x6861 -x6862 x6863 -x6864 -x6865 -x6866 x6867
1800.05/1800.00	v x6868 -x6869 -x6870 -x6871 -x6872 x6873 -x6874 x6875 x6876 x6877 -x6878
1800.05/1800.00	v -x6879 x6880 -x6881 -x6882 x6883 x6884 x6885 x6886 x6887 x6888 x6889 x6890
1800.05/1800.00	v x6891 -x6892 x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901
1800.05/1800.00	v -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912
1800.05/1800.00	v -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923
1800.05/1800.00	v -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 x6932 x6933 x6934
1800.05/1800.00	v -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 x6942 x6943 -x6944 -x6945
1800.05/1800.00	v x6946 -x6947 -x6948 x6949 -x6950 x6951 -x6952 x6953 -x6954 -x6955 -x6956
1800.05/1800.00	v x6957 x6958 -x6959 -x6960 -x6961 -x6962 x6963 -x6964 x6965 x6966 x6967
1800.05/1800.00	v -x6968 -x6969 x6970 -x6971 -x6972 x6973 x6974 x6975 x6976 x6977 x6978 x6979
1800.05/1800.00	v x6980 x6981 -x6982 x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990
1800.05/1800.00	v -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001
1800.05/1800.00	v -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012
1800.05/1800.00	v -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 x7022 x7023
1800.05/1800.00	v x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 x7032 x7033 -x7034
1800.05/1800.00	v -x7035 x7036 -x7037 -x7038 x7039 -x7040 x7041 -x7042 x7043 -x7044 -x7045
1800.05/1800.00	v -x7046 x7047 x7048 -x7049 -x7050 -x7051 -x7052 x7053 -x7054 x7055 x7056
1800.05/1800.00	v x7057 -x7058 -x7059 x7060 -x7061 -x7062 x7063 x7064 x7065 x7066 x7067 x7068
1800.05/1800.00	v x7069 x7070 x7071 -x7072 x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079
1800.05/1800.00	v -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090
1800.05/1800.00	v -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101
1800.05/1800.00	v -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 x7112
1800.05/1800.00	v x7113 x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 x7122 x7123
1800.05/1800.00	v -x7124 -x7125 x7126 -x7127 -x7128 x7129 -x7130 x7131 -x7132 x7133 -x7134
1800.05/1800.00	v -x7135 -x7136 x7137 x7138 -x7139 -x7140 -x7141 -x7142 x7143 -x7144 x7145
1800.05/1800.00	v x7146 x7147 -x7148 -x7149 x7150 -x7151 -x7152 x7153 x7154 x7155 x7156 x7157
1800.05/1800.00	v x7158 x7159 x7160 x7161 -x7162 x7163 -x7164 -x7165 -x7166 -x7167 -x7168
1800.05/1800.00	v -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179
1800.05/1800.00	v -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190
1800.05/1800.00	v -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201
1800.05/1800.00	v x7202 x7203 x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 x7212
1800.05/1800.00	v x7213 -x7214 -x7215 x7216 -x7217 -x7218 x7219 -x7220 x7221 -x7222 x7223
1800.05/1800.00	v -x7224 -x7225 -x7226 x7227 x7228 -x7229 -x7230 -x7231 -x7232 x7233 -x7234
1800.05/1800.00	v x7235 x7236 x7237 -x7238 -x7239 x7240 -x7241 -x7242 x7243 x7244 x7245 x7246
1800.05/1800.00	v x7247 x7248 x7249 x7250 x7251 -x7252 x7253 -x7254 -x7255 -x7256 -x7257
1800.05/1800.00	v -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268
1800.05/1800.00	v -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279
1800.05/1800.00	v -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290
1800.05/1800.00	v -x7291 x7292 x7293 x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301
1800.05/1800.00	v x7302 x7303 -x7304 -x7305 x7306 -x7307 -x7308 x7309 -x7310 x7311 -x7312
1800.05/1800.00	v x7313 -x7314 -x7315 -x7316 x7317 x7318 -x7319 -x7320 -x7321 -x7322 x7323
1800.05/1800.00	v -x7324 x7325 x7326 x7327 -x7328 -x7329 x7330 -x7331 -x7332 x7333 x7334
1800.05/1800.00	v x7335 x7336 x7337 x7338 x7339 x7340 x7341 -x7342 x7343 -x7344 -x7345 -x7346
1800.05/1800.00	v -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357
1800.05/1800.00	v -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368
1800.05/1800.00	v -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379
1800.05/1800.00	v -x7380 -x7381 x7382 x7383 x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390
1800.05/1800.00	v -x7391 x7392 x7393 -x7394 -x7395 x7396 -x7397 -x7398 x7399 -x7400 x7401
1800.05/1800.00	v -x7402 x7403 -x7404 -x7405 -x7406 x7407 x7408 -x7409 -x7410 -x7411 -x7412
1800.05/1800.00	v x7413 -x7414 x7415 x7416 x7417 -x7418 -x7419 x7420 -x7421 -x7422 x7423
1800.05/1800.01	v x7424 x7425 x7426 x7427 x7428 x7429 x7430 x7431 -x7432 x7433 -x7434 -x7435
1800.05/1800.01	v -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446
1800.05/1800.01	v -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457
1800.05/1800.01	v -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468
1800.05/1800.01	v -x7469 -x7470 -x7471 x7472 x7473 x7474 -x7475 -x7476 -x7477 -x7478 -x7479
1800.05/1800.01	v -x7480 -x7481 x7482 x7483 -x7484 -x7485 x7486 -x7487 -x7488 x7489 -x7490
1800.05/1800.01	v x7491 -x7492 x7493 -x7494 -x7495 -x7496 x7497 x7498 -x7499 -x7500 -x7501
1800.05/1800.01	v -x7502 x7503 -x7504 x7505 x7506 x7507 -x7508 -x7509 x7510 -x7511 -x7512
1800.05/1800.01	v x7513 x7514 x7515 x7516 x7517 x7518 x7519 x7520 x7521 -x7522 x7523 -x7524
1800.05/1800.01	v -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535
1800.05/1800.01	v -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546
1800.05/1800.01	v -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557
1800.05/1800.01	v -x7558 -x7559 -x7560 -x7561 x7562 x7563 x7564 -x7565 -x7566 -x7567 -x7568
1800.05/1800.01	v -x7569 -x7570 -x7571 x7572 x7573 -x7574 -x7575 x7576 -x7577 -x7578 x7579
1800.05/1800.01	v -x7580 x7581 -x7582 x7583 -x7584 -x7585 -x7586 x7587 x7588 -x7589 -x7590
1800.05/1800.01	v -x7591 -x7592 x7593 -x7594 x7595 x7596 x7597 -x7598 -x7599 x7600 -x7601
1800.05/1800.01	v -x7602 x7603 x7604 x7605 x7606 x7607 x7608 x7609 x7610 x7611 -x7612 x7613
1800.05/1800.01	v -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624
1800.05/1800.01	v -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635
1800.05/1800.01	v -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646
1800.05/1800.01	v -x7647 -x7648 -x7649 -x7650 -x7651 x7652 x7653 x7654 -x7655 -x7656 -x7657
1800.05/1800.01	v -x7658 -x7659 -x7660 -x7661 x7662 x7663 -x7664 -x7665 x7666 -x7667 -x7668
1800.05/1800.01	v x7669 -x7670 x7671 -x7672 x7673 -x7674 -x7675 -x7676 x7677 x7678 -x7679
1800.05/1800.01	v -x7680 -x7681 -x7682 x7683 -x7684 x7685 x7686 x7687 -x7688 -x7689 x7690
1800.05/1800.01	v -x7691 -x7692 x7693 x7694 x7695 x7696 x7697 x7698 x7699 x7700 x7701 -x7702
1800.05/1800.01	v x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713
1800.05/1800.01	v -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724
1800.05/1800.01	v -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735
1800.05/1800.01	v -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 x7742 x7743 x7744 -x7745 -x7746
1800.05/1800.01	v -x7747 -x7748 -x7749 -x7750 -x7751 x7752 x7753 -x7754 -x7755 x7756 -x7757
1800.05/1800.01	v -x7758 x7759 -x7760 x7761 -x7762 x7763 -x7764 -x7765 -x7766 x7767 x7768
1800.05/1800.01	v -x7769 -x7770 -x7771 -x7772 x7773 -x7774 x7775 x7776 x7777 -x7778 -x7779
1800.05/1800.01	v x7780 -x7781 -x7782 x7783 x7784 x7785 x7786 x7787 x7788 x7789 x7790 x7791
1800.05/1800.01	v -x7792 x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802
1800.05/1800.01	v -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813
1800.05/1800.01	v -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824
1800.05/1800.01	v -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 x7832 x7833 x7834 -x7835
1800.05/1800.01	v -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 x7842 x7843 -x7844 -x7845 x7846
1800.05/1800.01	v -x7847 -x7848 x7849 -x7850 x7851 -x7852 x7853 -x7854 -x7855 -x7856 x7857
1800.05/1800.01	v x7858 -x7859 -x7860 -x7861 -x7862 x7863 -x7864 x7865 x7866 x7867 -x7868
1800.05/1800.01	v -x7869 x7870 -x7871 -x7872 x7873 x7874 x7875 x7876 x7877 x7878 x7879 x7880
1800.05/1800.01	v x7881 -x7882 x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891
1800.05/1800.01	v -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902
1800.05/1800.01	v -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913
1800.05/1800.01	v -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 x7922 x7923 x7924
1800.05/1800.01	v -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 x7932 x7933 -x7934 -x7935
1800.05/1800.01	v x7936 -x7937 -x7938 x7939 -x7940 x7941 -x7942 x7943 -x7944 -x7945 -x7946
1800.05/1800.01	v x7947 x7948 -x7949 -x7950 -x7951 -x7952 x7953 -x7954 x7955 x7956 x7957
1800.05/1800.01	v -x7958 -x7959 x7960 -x7961 -x7962 x7963 x7964 x7965 x7966 x7967 x7968 x7969
1800.05/1800.01	v x7970 x7971 -x7972 x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980
1800.05/1800.01	v -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991
1800.05/1800.01	v -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002
1800.05/1800.01	v -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 x8012 x8013
1800.05/1800.01	v x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 x8022 x8023 -x8024
1800.05/1800.01	v -x8025 x8026 -x8027 -x8028 x8029 -x8030 x8031 -x8032 x8033 -x8034 -x8035
1800.05/1800.01	v -x8036 x8037 x8038 -x8039 -x8040 -x8041 -x8042 x8043 -x8044 x8045 x8046
1800.05/1800.01	v x8047 -x8048 -x8049 x8050 -x8051 -x8052 x8053 x8054 x8055 x8056 x8057 x8058
1800.05/1800.01	v x8059 x8060 x8061 -x8062 x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069
1800.05/1800.01	v -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080
1800.05/1800.01	v -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091
1800.05/1800.01	v -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 x8102
1800.05/1800.01	v x8103 x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 x8112 x8113
1800.05/1800.01	v -x8114 -x8115 x8116 -x8117 -x8118 x8119 -x8120 x8121 -x8122 x8123 -x8124
1800.05/1800.01	v -x8125 -x8126 x8127 x8128 -x8129 -x8130 -x8131 -x8132 x8133 -x8134 x8135
1800.05/1800.01	v x8136 x8137 -x8138 -x8139 x8140 -x8141 -x8142 x8143 x8144 x8145 x8146 x8147
1800.05/1800.01	v x8148 x8149 x8150 x8151 -x8152 x8153 -x8154 -x8155 -x8156 -x8157 -x8158
1800.05/1800.01	v -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169
1800.05/1800.01	v -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180
1800.05/1800.01	v -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190
1800.05/1800.01	s SATISFIABLE
1800.05/1800.01	
1800.05/1800.01	c INTERRUPTED   : 1
1800.05/1800.01	c Models        : 1+    
1800.05/1800.01	c   Enumerated  : 28
1800.05/1800.01	c   Optimum     : unknown
1800.05/1800.01	c Optimization  : 1342
1800.05/1800.01	c Time          : 1800.006s (Solving: 1800.00s 1st Model: 0.01s Unsat: 0.00s)
1800.05/1800.01	c CPU Time      : 1800.320s

OK	1342

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-3448355-1307896849/watcher-3448355-1307896849 -o /tmp/evaluation-result-3448355-1307896849/solver-3448355-1307896849 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3448355-1307896849.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once 

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: 0.92 0.98 1.06 2/178 11766
/proc/meminfo: memFree=1691520/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=4372 CPUtime=0 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 809 0 0 0 0 0 0 0 21 0 1 0 901283073 4476928 749 33554432000 134512640 136285325 4289396880 18446744073709551615 134910120 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 1093 756 188 433 0 658 0

[startup+0.0326909 s]
/proc/loadavg: 0.92 0.98 1.06 2/178 11766
/proc/meminfo: memFree=1691520/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=4704 CPUtime=0.03 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 1076 0 0 0 3 0 0 0 21 0 1 0 901283073 4816896 902 33554432000 134512640 136285325 4289396880 18446744073709551615 134957288 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 1176 903 209 433 0 741 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4704

[startup+0.100689 s]
/proc/loadavg: 0.92 0.98 1.06 2/178 11766
/proc/meminfo: memFree=1691520/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=6288 CPUtime=0.09 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 1465 0 0 0 9 0 0 0 21 0 1 0 901283073 6438912 1291 33554432000 134512640 136285325 4289396880 18446744073709551615 135641870 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 1572 1291 209 433 0 1137 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6288

[startup+0.300642 s]
/proc/loadavg: 0.92 0.98 1.06 2/178 11766
/proc/meminfo: memFree=1691520/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=9324 CPUtime=0.29 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 2252 0 0 0 29 0 0 0 22 0 1 0 901283073 9547776 2078 33554432000 134512640 136285325 4289396880 18446744073709551615 134958565 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 2331 2078 209 433 0 1896 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9324

[startup+0.70058 s]
/proc/loadavg: 0.92 0.98 1.06 2/178 11766
/proc/meminfo: memFree=1691520/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=12504 CPUtime=0.69 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 3028 0 0 0 69 0 0 0 24 0 1 0 901283073 12804096 2854 33554432000 134512640 136285325 4289396880 18446744073709551615 134960499 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 3126 2854 209 433 0 2691 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12504

[startup+1.50043 s]
/proc/loadavg: 0.92 0.98 1.06 3/179 11767
/proc/meminfo: memFree=1679136/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=16028 CPUtime=1.49 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 3854 0 0 0 148 1 0 0 25 0 1 0 901283073 16412672 3680 33554432000 134512640 136285325 4289396880 18446744073709551615 134667198 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 4007 3680 209 433 0 3572 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16028

[startup+3.10013 s]
/proc/loadavg: 0.92 0.98 1.06 3/179 11767
/proc/meminfo: memFree=1674580/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=18140 CPUtime=3.09 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 4453 0 0 0 308 1 0 0 25 0 1 0 901283073 18575360 4279 33554432000 134512640 136285325 4289396880 18446744073709551615 134624033 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 4535 4279 209 433 0 4100 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18140

[startup+6.30056 s]
/proc/loadavg: 1.01 1.00 1.07 3/179 11767
/proc/meminfo: memFree=1667692/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=22496 CPUtime=6.29 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 5542 0 0 0 628 1 0 0 25 0 1 0 901283073 23035904 5368 33554432000 134512640 136285325 4289396880 18446744073709551615 134647795 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 5624 5368 209 433 0 5189 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22496

[startup+12.7004 s]
/proc/loadavg: 1.09 1.02 1.07 3/179 11767
/proc/meminfo: memFree=1662024/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=26200 CPUtime=12.69 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 6443 0 0 0 1268 1 0 0 25 0 1 0 901283073 26828800 6269 33554432000 134512640 136285325 4289396880 18446744073709551615 134970898 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 6550 6269 209 433 0 6115 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26200

[startup+25.5011 s]
/proc/loadavg: 1.29 1.06 1.09 3/179 11767
/proc/meminfo: memFree=1656804/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=28972 CPUtime=25.49 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 7146 0 0 0 2548 1 0 0 25 0 1 0 901283073 29667328 6972 33554432000 134512640 136285325 4289396880 18446744073709551615 135027309 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 7243 6972 209 433 0 6808 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28972

[startup+51.1004 s]
/proc/loadavg: 1.53 1.14 1.11 3/179 11768
/proc/meminfo: memFree=1646132/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=37472 CPUtime=51.09 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 9254 0 0 0 5108 1 0 0 25 0 1 0 901283073 38371328 9080 33554432000 134512640 136285325 4289396880 18446744073709551615 134626196 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/11766/statm: 9368 9080 209 433 0 8933 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 37472

[startup+102.306 s]
/proc/loadavg: 1.79 1.27 1.16 3/179 11769
/proc/meminfo: memFree=1639648/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=41172 CPUtime=102.3 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 10208 0 0 0 10228 2 0 0 25 0 1 0 901283073 42160128 10034 33554432000 134512640 136285325 4289396880 18446744073709551615 134664608 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 10293 10034 209 433 0 9858 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 41172

[startup+162.3 s]
/proc/loadavg: 1.92 1.40 1.21 3/179 11771
/proc/meminfo: memFree=1630556/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=47924 CPUtime=162.3 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 11874 0 0 0 16228 2 0 0 25 0 1 0 901283073 49074176 11700 33554432000 134512640 136285325 4289396880 18446744073709551615 134625314 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 11981 11700 209 433 0 11546 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 47924

[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.25 3/179 11772
/proc/meminfo: memFree=1627424/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=48756 CPUtime=222.3 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 12198 0 0 0 22228 2 0 0 25 0 1 0 901283073 49926144 11921 33554432000 134512640 136285325 4289396880 18446744073709551615 134945155 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 12189 11921 210 433 0 11754 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 48756

[startup+282.3 s]
/proc/loadavg: 1.99 1.59 1.30 3/179 11774
/proc/meminfo: memFree=1622168/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=53212 CPUtime=282.3 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 13480 0 0 0 28228 2 0 0 25 0 1 0 901283073 54489088 13017 33554432000 134512640 136285325 4289396880 18446744073709551615 134954522 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 13303 13017 210 433 0 12868 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 53212

[startup+342.3 s]
/proc/loadavg: 1.99 1.66 1.34 3/179 11776
/proc/meminfo: memFree=1616896/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=56292 CPUtime=342.3 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 14381 0 0 0 34228 2 0 0 25 0 1 0 901283073 57643008 13802 33554432000 134512640 136285325 4289396880 18446744073709551615 135027224 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 14073 13802 210 433 0 13638 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 56292

[startup+402.3 s]
/proc/loadavg: 1.99 1.72 1.38 3/179 11777
/proc/meminfo: memFree=1615248/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=57888 CPUtime=402.3 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 14751 0 0 0 40228 2 0 0 25 0 1 0 901283073 59277312 14172 33554432000 134512640 136285325 4289396880 18446744073709551615 135028721 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 14472 14172 210 433 0 14037 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 57888

[startup+462.301 s]
/proc/loadavg: 1.99 1.77 1.41 3/179 11779
/proc/meminfo: memFree=1610120/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=62400 CPUtime=462.3 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 16118 0 0 0 46228 2 0 0 25 0 1 0 901283073 63897600 15307 33554432000 134512640 136285325 4289396880 18446744073709551615 134960569 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 15600 15307 210 433 0 15165 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 62400

[startup+522.301 s]
/proc/loadavg: 2.06 1.83 1.45 3/179 11780
/proc/meminfo: memFree=1608976/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=62400 CPUtime=522.3 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 16118 0 0 0 52228 2 0 0 25 0 1 0 901283073 63897600 15307 33554432000 134512640 136285325 4289396880 18446744073709551615 134636729 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 15600 15307 210 433 0 15165 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 62400

[startup+582.301 s]
/proc/loadavg: 2.02 1.85 1.48 3/179 11782
/proc/meminfo: memFree=1601616/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=67984 CPUtime=582.31 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 17456 0 0 0 58228 3 0 0 25 0 1 0 901283073 69615616 16645 33554432000 134512640 136285325 4289396880 18446744073709551615 134625345 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 16996 16645 210 433 0 16561 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 67984

[startup+642.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 2.03 1.94 1.59 3/179 11788
/proc/meminfo: memFree=1598364/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=68348 CPUtime=822.31 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 19406 0 0 0 82228 3 0 0 25 0 1 0 901283073 69988352 16753 33554432000 134512640 136285325 4289396880 18446744073709551615 134640341 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 17087 16753 210 433 0 16652 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 68348

[startup+882.301 s]
/proc/loadavg: 2.01 1.95 1.62 3/179 11790
/proc/meminfo: memFree=1591744/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=75096 CPUtime=882.31 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 21757 0 0 0 88227 4 0 0 25 0 1 0 901283073 76898304 18414 33554432000 134512640 136285325 4289396880 18446744073709551615 135027292 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 18774 18414 210 433 0 18339 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 75096

[startup+942.301 s]
/proc/loadavg: 2.06 1.97 1.64 3/179 11792
/proc/meminfo: memFree=1586620/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=76164 CPUtime=942.32 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 22023 0 0 0 94228 4 0 0 25 0 1 0 901283073 77991936 18680 33554432000 134512640 136285325 4289396880 18446744073709551615 134971728 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 19041 18680 210 433 0 18606 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 76164

[startup+1002.3 s]
/proc/loadavg: 2.02 1.97 1.66 3/179 11793
/proc/meminfo: memFree=1585592/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=79132 CPUtime=1002.32 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 22762 0 0 0 100228 4 0 0 25 0 1 0 901283073 81031168 19419 33554432000 134512640 136285325 4289396880 18446744073709551615 134970904 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 19783 19419 210 433 0 19348 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 79132

[startup+1062.3 s]
/proc/loadavg: 2.05 1.99 1.69 3/179 11795
/proc/meminfo: memFree=1584812/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=80320 CPUtime=1062.32 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 23056 0 0 0 106228 4 0 0 25 0 1 0 901283073 82247680 19713 33554432000 134512640 136285325 4289396880 18446744073709551615 134669661 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 20080 19713 210 433 0 19645 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 80320

[startup+1122.3 s]
/proc/loadavg: 2.11 2.02 1.71 3/179 11796
/proc/meminfo: memFree=1584896/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=80156 CPUtime=1122.32 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 23377 0 0 0 112228 4 0 0 25 0 1 0 901283073 82079744 19690 33554432000 134512640 136285325 4289396880 18446744073709551615 134625371 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 20039 19690 210 433 0 19604 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 80156

[startup+1182.3 s]
/proc/loadavg: 2.12 2.03 1.74 3/179 11798
/proc/meminfo: memFree=1583616/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=80524 CPUtime=1182.32 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 23559 0 0 0 118228 4 0 0 25 0 1 0 901283073 82456576 19782 33554432000 134512640 136285325 4289396880 18446744073709551615 134625271 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 20131 19782 210 433 0 19696 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 80524

[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 1.75 3/179 11809
/proc/meminfo: memFree=1581560/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=80524 CPUtime=1242.32 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 23559 0 0 0 124228 4 0 0 25 0 1 0 901283073 82456576 19782 33554432000 134512640 136285325 4289396880 18446744073709551615 134625306 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 20131 19782 210 433 0 19696 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 80524

[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 1.76 3/179 11810
/proc/meminfo: memFree=1580164/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=80156 CPUtime=1302.33 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 23697 0 0 0 130229 4 0 0 25 0 1 0 901283073 82079744 19690 33554432000 134512640 136285325 4289396880 18446744073709551615 134954385 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 20039 19690 210 433 0 19604 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 80156

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.78 3/179 11812
/proc/meminfo: memFree=1580004/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=80420 CPUtime=1362.33 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 23758 0 0 0 136228 5 0 0 25 0 1 0 901283073 82350080 19751 33554432000 134512640 136285325 4289396880 18446744073709551615 134625314 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 20105 19751 210 433 0 19670 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 80420

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.79 3/179 11816
/proc/meminfo: memFree=1577600/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=83132 CPUtime=1422.34 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 24536 0 0 0 142229 5 0 0 25 0 1 0 901283073 85127168 20419 33554432000 134512640 136285325 4289396880 18446744073709551615 135027219 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 20783 20419 210 433 0 20348 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 83132

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/179 11818
/proc/meminfo: memFree=1575016/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=85776 CPUtime=1482.34 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 25606 0 0 0 148229 5 0 0 25 0 1 0 901283073 87834624 21098 33554432000 134512640 136285325 4289396880 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 21444 21098 210 433 0 21009 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 85776

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/179 11820
/proc/meminfo: memFree=1573740/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=86832 CPUtime=1542.34 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 26558 0 0 0 154229 5 0 0 25 0 1 0 901283073 88915968 21358 33554432000 134512640 136285325 4289396880 18446744073709551615 134647840 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 21708 21358 210 433 0 21273 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 86832

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/179 11821
/proc/meminfo: memFree=1575684/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=84104 CPUtime=1602.34 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 26623 0 0 0 160229 5 0 0 25 0 1 0 901283073 86122496 20680 33554432000 134512640 136285325 4289396880 18446744073709551615 134954371 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 21026 20680 210 433 0 20591 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 84104

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.83 3/179 11823
/proc/meminfo: memFree=1572172/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=88064 CPUtime=1662.34 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 27600 0 0 0 166229 5 0 0 25 0 1 0 901283073 90177536 21657 33554432000 134512640 136285325 4289396880 18446744073709551615 135027338 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 22016 21657 210 433 0 21581 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 88064

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.84 3/179 11824
/proc/meminfo: memFree=1573244/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=86420 CPUtime=1722.34 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 27968 0 0 0 172229 5 0 0 25 0 1 0 901283073 88494080 21260 33554432000 134512640 136285325 4289396880 18446744073709551615 134945108 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 21605 21260 210 433 0 21170 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 86420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/179 11826
/proc/meminfo: memFree=1572204/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=86420 CPUtime=1782.34 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 28047 0 0 0 178229 5 0 0 25 0 1 0 901283073 88494080 21260 33554432000 134512640 136285325 4289396880 18446744073709551615 134954396 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 21605 21260 210 433 0 21170 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 86420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.85 2/177 11828
/proc/meminfo: memFree=1606808/32951124 swapFree=67063552/67111528
[pid=11766] ppid=11764 vsize=86420 CPUtime=1800.05 cores=1,3,5,7
/proc/11766/stat : 11766 (clasp) R 11764 11766 11440 0 -1 4202496 28047 0 0 0 180000 5 0 0 25 0 1 0 901283073 88494080 21260 33554432000 134512640 136285325 4289396880 18446744073709551615 135028700 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/11766/statm: 21605 21260 210 433 0 21170 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 86420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1800.01
CPU system time (s): 0.05999
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 88064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28057
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= 3
involuntary context switches= 4554

runsolver used 2.53761 second user time and 5.97109 second system time

The end

Begin job on node134 at 2011-06-12 18:40:49
IDJOB=3448355
IDBENCH=78730
IDSOLVER=1946
FILE ID=node134/3448355-1307896849
RUNJOBID= node134-1307896848-11739
PBS_JOBID= 13559572
Free space on /tmp= 1424 MiB

SOLVER NAME= clasp 2.0-RC2
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo
COMMAND LINE= HOME/clasp BENCHNAME --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3448355-1307896849/watcher-3448355-1307896849 -o /tmp/evaluation-result-3448355-1307896849/solver-3448355-1307896849 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3448355-1307896849.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= cbd603b41e8425572ef374dcdfc00979
RANDOM SEED=1329077762

node134.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.831
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.66
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.831
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.67
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.831
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.83
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.831
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	: 7186.06
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.831
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.80
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.831
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.83
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.831
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.831
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.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1691824 kB
Buffers:         56512 kB
Cached:       30234972 kB
SwapCached:      10044 kB
Active:       15412844 kB
Inactive:     14901308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1691824 kB
SwapTotal:    67111528 kB
SwapFree:     67063552 kB
Dirty:            4132 kB
Writeback:           0 kB
AnonPages:       19844 kB
Mapped:          10944 kB
Slab:           883072 kB
PageTables:       4264 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182128 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 1424 MiB
End job on node134 at 2011-06-12 19:10:51