0.00/0.00	c Calling clasp with: --sat-p=20,25,240,-1,1 --heuristic=Vsids --dynamic-restarts=100,0.7 --dinit=500,20000 --del=3.0,1.1,20.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5 --save-p=75 --cir=3 --cir-bump=1023 --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5
0.00/0.00	c clasp version 2.0.6
0.00/0.00	c Reading from ...167781/instance-3708875-1338167781.opb
0.00/0.01	c Solving...
900.94/901.13	c Answer: 1
900.94/901.13	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17
900.94/901.13	v -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32
900.94/901.13	v -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47
900.94/901.13	v -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62
900.94/901.13	v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77
900.94/901.13	v -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92
900.94/901.13	v -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
900.94/901.13	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117
900.94/901.13	v -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
900.94/901.13	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141
900.94/901.13	v -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153
900.94/901.13	v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165
900.94/901.13	v -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177
900.94/901.13	v -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
900.94/901.13	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201
900.94/901.13	v -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
900.94/901.13	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225
900.94/901.13	v -x226 -x227 -x228 -x229 x230 -x231 x232 -x233 -x234 -x235 -x236 x237 -x238
900.94/901.13	v x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250
900.94/901.13	v -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262
900.94/901.13	v -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274
900.94/901.13	v -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286
900.94/901.13	v -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298
900.94/901.13	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310
900.94/901.13	v -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322
900.94/901.13	v -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 -x333 -x334
900.94/901.13	v -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346
900.94/901.13	v -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
900.94/901.13	v -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370
900.94/901.13	v -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382
900.94/901.13	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394
900.94/901.13	v -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406
900.94/901.13	v -x407 -x408 -x409 -x410 -x411 -x412 x413 -x414 -x415 -x416 -x417 -x418
900.94/901.13	v -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430
900.94/901.13	v -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442
900.94/901.13	v -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454
900.94/901.13	v -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
900.94/901.13	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478
900.94/901.13	v -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490
900.94/901.13	v -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502
900.94/901.13	v -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514
900.94/901.13	v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526
900.94/901.13	v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538
900.94/901.13	v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
900.94/901.13	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562
900.94/901.13	v -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574
900.94/901.13	v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586
900.94/901.13	v -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598
900.94/901.13	v -x599 -x600 x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
900.94/901.13	v -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623
900.94/901.13	v -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635
900.94/901.13	v -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647
900.94/901.13	v -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659
900.94/901.13	v -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
900.94/901.13	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683
900.94/901.13	v -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 x694 -x695
900.94/901.13	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707
900.94/901.13	v -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719
900.94/901.13	v -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731
900.94/901.13	v -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743
900.94/901.13	v -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
900.94/901.13	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767
900.94/901.13	v -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
900.94/901.13	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791
900.94/901.13	v -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803
900.94/901.13	v -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815
900.94/901.13	v -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827
900.94/901.13	v -x828 -x829 -x830 x831 -x832 x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
900.94/901.13	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852
900.94/901.13	v -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864
900.94/901.13	v -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876
900.94/901.13	v -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888
900.94/901.13	v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900
900.94/901.13	v -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912
900.94/901.13	v -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924
900.94/901.13	v -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936
900.94/901.13	v -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948
900.94/901.13	v -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960
900.94/901.13	v -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972
900.94/901.13	v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984
900.94/901.13	v -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996
900.94/901.13	v -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007
900.94/901.13	v -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018
900.94/901.13	v -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
900.94/901.13	v -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
900.94/901.13	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051
900.94/901.13	v -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062
900.94/901.13	v -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
900.94/901.13	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084
900.94/901.13	v -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095
900.94/901.13	v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106
900.94/901.13	v -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117
900.94/901.13	v -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128
900.94/901.13	v -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139
900.94/901.13	v -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150
900.94/901.13	v -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161
900.94/901.13	v -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172
900.94/901.13	v -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183
900.94/901.13	v -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194
900.94/901.13	v -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205
900.94/901.13	v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216
900.94/901.13	v -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
900.94/901.13	v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238
900.94/901.13	v -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249
900.94/901.13	v -x1250 -x1251 -x1252 -x1253 -x1254 x1255 -x1256 -x1257 -x1258 -x1259 -x1260
900.94/901.13	v -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271
900.94/901.13	v -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282
900.94/901.13	v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293
900.94/901.13	v -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304
900.94/901.13	v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315
900.94/901.13	v -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326
900.94/901.13	v -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337
900.94/901.13	v -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348
900.94/901.13	v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359
900.94/901.13	v -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370
900.94/901.13	v -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
900.94/901.13	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392
900.94/901.13	v -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403
900.94/901.13	v -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414
900.94/901.13	v -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425
900.94/901.13	v -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436
900.94/901.13	v -x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447
900.94/901.13	v -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458
900.94/901.13	v -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469
900.94/901.13	v -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480
900.94/901.13	v -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491
900.94/901.13	v -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502
900.94/901.13	v -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513
900.94/901.13	v -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524
900.94/901.13	v -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 x1534 -x1535
900.94/901.13	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546
900.94/901.13	v -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557
900.94/901.13	v -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568
900.94/901.13	v -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579
900.94/901.13	v -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590
900.94/901.13	v -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601
900.94/901.13	v -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612
900.94/901.13	v -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623
900.94/901.13	v -x1624 -x1625 -x1626 x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634
900.94/901.13	v -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645
900.94/901.13	v -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656
900.94/901.13	v -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667
900.94/901.13	v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678
900.94/901.13	v -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689
900.94/901.13	v -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700
900.94/901.13	v -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711
900.94/901.13	v -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 x1720 -x1721 -x1722
900.94/901.13	v -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733
900.94/901.13	v -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744
900.94/901.13	v -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755
900.94/901.13	v -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766
900.94/901.13	v -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777
900.94/901.13	v -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788
900.94/901.13	v x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799
900.94/901.13	v -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810
900.94/901.13	v -x1811 -x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
900.94/901.13	v -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832
900.94/901.13	v -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843
900.94/901.13	v -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854
900.94/901.13	v -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865
900.94/901.13	v -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876
900.94/901.13	v -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887
900.94/901.13	v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898
900.94/901.13	v -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909
900.94/901.13	v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920
900.94/901.13	v -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931
900.94/901.13	v -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942
900.94/901.13	v -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953
900.94/901.13	v -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964
900.94/901.13	v -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 x1972 -x1973 -x1974 -x1975
900.94/901.13	v -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986
900.94/901.13	v -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997
900.94/901.13	v x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008
900.94/901.13	v -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019
900.94/901.13	v -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030
900.94/901.13	v -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041
900.94/901.13	v -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052
900.94/901.13	v -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 x2063
900.94/901.13	v -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074
900.94/901.13	v -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085
900.94/901.13	v -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 x2093 -x2094 -x2095 -x2096
900.94/901.13	v -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107
900.94/901.13	v -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118
900.94/901.13	v -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129
900.94/901.13	v -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140
900.94/901.13	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151
900.94/901.13	v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162
900.94/901.13	v -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173
900.94/901.13	v -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 x2184
900.94/901.13	v -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195
900.94/901.13	v -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206
900.94/901.13	v -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
900.94/901.13	v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228
900.94/901.13	v -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239
900.94/901.13	v -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250
900.94/901.13	v -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261
900.94/901.13	v -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272
900.94/901.13	v -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 x2280 -x2281 -x2282 -x2283
900.94/901.13	v -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294
900.94/901.13	v -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305
900.94/901.13	v -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316
900.94/901.13	v -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327
900.94/901.13	v -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338
900.94/901.13	v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349
900.94/901.13	v -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
900.94/901.13	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 x2371
900.94/901.13	v -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382
900.94/901.13	v -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393
900.94/901.13	v -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404
900.94/901.13	v -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415
900.94/901.13	v -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426
900.94/901.13	v -x2427 -x2428 -x2429 x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437
900.94/901.13	v -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448
900.94/901.13	v -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459
900.94/901.13	v -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470
900.94/901.13	v -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481
900.94/901.13	v -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492
900.94/901.13	v -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503
900.94/901.13	v -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514
900.94/901.13	v -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 -x2522 -x2523 -x2524 -x2525
900.94/901.13	v -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536
900.94/901.13	v -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547
900.94/901.13	v -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558
900.94/901.13	v -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569
900.94/901.13	v -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580
900.94/901.13	v -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591
900.94/901.13	v -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602
900.94/901.13	v -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 -x2613
900.94/901.13	v -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624
900.94/901.13	v -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635
900.94/901.13	v -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646
900.94/901.13	v -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657
900.94/901.13	v -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668
900.94/901.13	v -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679
900.94/901.13	v -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690
900.94/901.13	v -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701
900.94/901.13	v -x2702 x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712
900.94/901.13	v -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723
900.94/901.13	v -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734
900.94/901.13	v -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745
900.94/901.13	v -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756
900.94/901.13	v -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767
900.94/901.13	v -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778
900.94/901.13	v -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789
900.94/901.13	v -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800
900.94/901.13	v -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811
900.94/901.13	v -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822
900.94/901.13	v -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833
900.94/901.13	v x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844
900.94/901.13	v -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855
900.94/901.13	v -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866
900.94/901.13	v -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877
900.94/901.13	v -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 x2884 -x2885 -x2886 -x2887 -x2888
900.94/901.13	v -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899
900.94/901.13	v -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910
900.94/901.13	v -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921
900.94/901.13	v -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932
900.94/901.13	v -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943
900.94/901.13	v -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954
900.94/901.13	v -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965
900.94/901.13	v -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 x2975 -x2976
900.94/901.13	v -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987
900.94/901.13	v -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998
900.94/901.13	v -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009
900.94/901.13	v -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020
900.94/901.13	v -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031
900.94/901.13	v -x3032 x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042
900.94/901.13	v -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053
900.94/901.13	v -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064
900.94/901.13	v -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075
900.94/901.13	v -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086
900.94/901.13	v -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097
900.94/901.13	v -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108
900.94/901.13	v -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119
900.94/901.13	v -x3120 -x3121 -x3122 -x3123 x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130
900.94/901.13	v -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141
900.94/901.13	v -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152
900.94/901.13	v -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163
900.94/901.13	v -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174
900.94/901.13	v -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185
900.94/901.13	v -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196
900.94/901.13	v -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207
900.94/901.13	v -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218
900.94/901.13	v -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229
900.94/901.13	v -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240
900.94/901.13	v -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251
900.94/901.13	v -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262
900.94/901.13	v -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273
900.94/901.13	v -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284
900.94/901.13	v -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295
900.94/901.13	v -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 x3306
900.94/901.13	v -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317
900.94/901.13	v -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328
900.94/901.13	v -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339
900.94/901.13	v -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350
900.94/901.13	v -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361
900.94/901.13	v -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372
900.94/901.13	v -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383
900.94/901.13	v -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394
900.94/901.13	v -x3395 -x3396 x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405
900.94/901.13	v -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416
900.94/901.13	v -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427
900.94/901.13	v -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438
900.94/901.13	v -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449
900.94/901.13	v -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
900.94/901.13	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471
900.94/901.13	v -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482
900.94/901.13	v -x3483 -x3484 -x3485 -x3486 -x3487 x3488 -x3489 -x3490 -x3491 -x3492 -x3493
900.94/901.13	v -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504
900.94/901.13	v -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515
900.94/901.13	v -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526
900.94/901.13	v -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537
900.94/901.13	v -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548
900.94/901.13	v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559
900.94/901.13	v -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570
900.94/901.13	v -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 x3579 -x3580 -x3581
900.94/901.13	v -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592
900.94/901.13	v -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603
900.94/901.13	v -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614
900.94/901.13	v -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625
900.94/901.13	v -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636
900.94/901.13	v -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647
900.94/901.13	v -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658
900.94/901.13	v -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669
900.94/901.13	v x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680
900.94/901.13	v -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691
900.94/901.13	v -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702
900.94/901.13	v -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713
900.94/901.13	v -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724
900.94/901.13	v -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735
900.94/901.13	v -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746
900.94/901.13	v -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757
900.94/901.13	v -x3758 -x3759 -x3760 x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768
900.94/901.13	v -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779
900.94/901.13	v -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790
900.94/901.13	v -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801
900.94/901.13	v x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812
900.94/901.13	v -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823
900.94/901.13	v -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834
900.94/901.13	v -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845
900.94/901.13	v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856
900.94/901.13	v -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867
900.94/901.13	v -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878
900.94/901.13	v -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889
900.94/901.13	v x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900
900.94/901.13	v -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911
900.94/901.13	v -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922
900.94/901.13	v -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933
900.94/901.13	v -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944
900.94/901.13	v -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955
900.94/901.13	v -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966
900.94/901.13	v -x3967 -x3968 -x3969 -x3970 x3971 -x3972 x3973 -x3974 x3975 -x3976 -x3977
900.94/901.13	v -x3978 -x3979 -x3980 x3981 -x3982 x3983 -x3984 x3985 -x3986 -x3987 -x3988
900.94/901.13	v -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999
900.94/901.13	v -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010
900.94/901.13	v -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021
900.94/901.13	v -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032
900.94/901.13	v -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043
900.94/901.13	v -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054
900.94/901.13	v -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065
900.94/901.13	v -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 x4076
900.94/901.13	v -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087
900.94/901.13	v -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098
900.94/901.13	v -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109
900.94/901.13	v -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120
900.94/901.13	v -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131
900.94/901.13	v -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142
900.94/901.13	v -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153
900.94/901.13	v -x4154 -x4155 -x4156 -x4157 x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164
900.94/901.13	v -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175
900.94/901.13	v -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186
900.94/901.13	v -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197
900.94/901.13	v -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208
900.94/901.13	v -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219
900.94/901.13	v -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230
900.94/901.13	v -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241
900.94/901.13	v -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 x4248 -x4249 -x4250 -x4251 -x4252
900.94/901.13	v -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263
900.94/901.13	v -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274
900.94/901.13	v -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285
900.94/901.13	v -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296
900.94/901.13	v -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307
900.94/901.13	v -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318
900.94/901.13	v -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329
900.94/901.13	v -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 x4338 -x4339 -x4340
900.94/901.13	v -x4341 -x4342 -x4343 x4344 -x4345 x4346 -x4347 x4348 -x4349 -x4350 -x4351
900.94/901.13	v -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362
900.94/901.13	v -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373
900.94/901.13	v -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384
900.94/901.13	v -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395
900.94/901.13	v -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406
900.94/901.13	v -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417
900.94/901.13	v -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428
900.94/901.13	v -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 x4437 -x4438 -x4439
900.94/901.13	v -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450
900.94/901.13	v -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461
900.94/901.13	v -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472
900.94/901.13	v -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483
900.94/901.13	v -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494
900.94/901.13	v -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505
900.94/901.13	v -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516
900.94/901.13	v -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527
900.94/901.13	v -x4528 -x4529 -x4530 x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538
900.94/901.13	v -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549
900.94/901.13	v -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560
900.94/901.13	v -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571
900.94/901.13	v -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582
900.94/901.13	v -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593
900.94/901.13	v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604
900.94/901.13	v -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615
900.94/901.13	v -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626
900.94/901.13	v -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637
900.94/901.13	v -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648
900.94/901.13	v -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659
900.94/901.13	v -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670
900.94/901.13	v -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681
900.94/901.13	v -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692
900.94/901.13	v -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703
900.94/901.13	v -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714
900.94/901.13	v -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725
900.94/901.13	v -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 x4735 -x4736
900.94/901.13	v -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747
900.94/901.13	v -x4748 -x4749 x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758
900.94/901.13	v -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769
900.94/901.13	v -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780
900.94/901.13	v -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791
900.94/901.13	v -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802
900.94/901.13	v -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813
900.94/901.13	v -x4814 -x4815 -x4816 -x4817 x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824
900.94/901.13	v -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835
900.94/901.13	v -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846
900.94/901.13	v -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857
900.94/901.13	v -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868
900.94/901.13	v -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879
900.94/901.13	v -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890
900.94/901.13	v -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901
900.94/901.13	v -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912
900.94/901.13	v -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923
900.94/901.13	v -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934
900.94/901.13	v -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945
900.94/901.13	v -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956
900.94/901.13	v -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 x4966 -x4967
900.94/901.13	v -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978
900.94/901.13	v -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989
900.94/901.13	v -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000
900.94/901.13	v -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011
900.94/901.13	v -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022
900.94/901.13	v -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033
900.94/901.13	v -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044
900.94/901.13	v -x5045 -x5046 -x5047 x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055
900.94/901.13	v -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066
900.94/901.13	v -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077
900.94/901.13	v -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088
900.94/901.13	v -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099
900.94/901.13	v -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110
900.94/901.13	v -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121
900.94/901.13	v -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132
900.94/901.13	v -x5133 -x5134 -x5135 -x5136 x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143
900.94/901.13	v -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154
900.94/901.13	v -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165
900.94/901.13	v -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176
900.94/901.13	v -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187
900.94/901.13	v -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 x5196 -x5197 -x5198
900.94/901.13	v -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209
900.94/901.13	v -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220
900.94/901.13	v -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231
900.94/901.13	v -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242
900.94/901.13	v -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 x5251 -x5252 -x5253
900.94/901.13	v -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264
900.94/901.13	v -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275
900.94/901.13	v -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286
900.94/901.13	v -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297
900.94/901.13	v -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308
900.94/901.13	v -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319
900.94/901.13	v -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330
900.94/901.13	v -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341
900.94/901.13	v -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 x5349 -x5350 -x5351 -x5352
900.94/901.13	v -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363
900.94/901.13	v -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374
900.94/901.13	v -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385
900.94/901.13	v -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396
900.94/901.13	v -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407
900.94/901.13	v -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418
900.94/901.13	v -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429
900.94/901.13	v -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440
900.94/901.13	v -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451
900.94/901.13	v -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462
900.94/901.13	v -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473
900.94/901.13	v -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484
900.94/901.13	v -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495
900.94/901.13	v -x5496 -x5497 -x5498 -x5499 -x5500 x5501 -x5502 x5503 -x5504 -x5505 -x5506
900.94/901.13	v -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517
900.94/901.13	v -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528
900.94/901.13	v -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539
900.94/901.13	v -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550
900.94/901.13	v -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561
900.94/901.13	v -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572
900.94/901.13	v -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583
900.94/901.13	v -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594
900.94/901.13	v -x5595 -x5596 -x5597 -x5598 x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605
900.94/901.13	v -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616
900.94/901.13	v -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627
900.94/901.13	v -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638
900.94/901.13	v -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649
900.94/901.13	v -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660
900.94/901.13	v -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671
900.94/901.13	v -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682
900.94/901.13	v -x5683 -x5684 -x5685 -x5686 -x5687 x5688 -x5689 x5690 -x5691 -x5692 -x5693
900.94/901.13	v -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704
900.94/901.13	v -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715
900.94/901.13	v -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726
900.94/901.13	v -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 x5737
900.94/901.13	v -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748
900.94/901.13	v -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759
900.94/901.13	v -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770
900.94/901.13	v -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781
900.94/901.13	v -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792
900.94/901.13	v -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803
900.94/901.13	v -x5804 x5805 -x5806 x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814
900.94/901.13	v -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825
900.94/901.13	v -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836
900.94/901.13	v -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847
900.94/901.13	v -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858
900.94/901.13	v -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869
900.94/901.13	v -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880
900.94/901.13	v -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891
900.94/901.13	v -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 x5898 -x5899 -x5900 -x5901 -x5902
900.94/901.13	v -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913
900.94/901.13	v -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924
900.94/901.13	v -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935
900.94/901.13	v -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946
900.94/901.13	v -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957
900.94/901.13	v -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968
900.94/901.13	v -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979
900.94/901.13	v -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990
900.94/901.13	v -x5991 x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001
900.94/901.13	v -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012
900.94/901.13	v -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023
900.94/901.13	v -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034
900.94/901.13	v -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045
900.94/901.13	v -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056
900.94/901.13	v -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067
900.94/901.13	v -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078
900.94/901.13	v -x6079 x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089
900.94/901.13	v -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100
900.94/901.13	v -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111
900.94/901.13	v -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122
900.94/901.13	v -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133
900.94/901.13	v -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144
900.94/901.13	v -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155
900.94/901.13	v -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166
900.94/901.13	v -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177
900.94/901.13	v -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188
900.94/901.13	v -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199
900.94/901.13	v -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210
900.94/901.13	v -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221
900.94/901.13	v -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232
900.94/901.13	v -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243
900.94/901.13	v -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254
900.94/901.13	v -x6255 x6256
900.94/901.13	s SATISFIABLE
900.94/901.13	
900.94/901.13	c Models        : 1+    
900.94/901.13	c Time          : 901.131s (Solving: 901.12s 1st Model: 901.12s Unsat: 0.00s)
900.94/901.13	c CPU Time      : 900.970s

OK	0

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-3708875-1338167781/watcher-3708875-1338167781 -o /tmp/evaluation-result-3708875-1338167781/solver-3708875-1338167781 -C 1800 -W 1900 -M 15500 HOME/clasp-dec.sh HOME/instance-3708875-1338167781.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26529
/proc/meminfo: memFree=28587796/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0

[startup+0.0443459 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26529
/proc/meminfo: memFree=28587796/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100137 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26529
/proc/meminfo: memFree=28587796/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300099 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26529
/proc/meminfo: memFree=28587796/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700151 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26529
/proc/meminfo: memFree=28587796/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50013 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26531
/proc/meminfo: memFree=28583268/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=6792 CPUtime=1.49 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 1556 0 0 0 149 0 0 0 20 0 1 0 282903536 6955008 1366 33554432000 4194304 6212839 140733983238496 140733983236504 4685294 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 1698 1366 230 493 0 1203 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15944

[startup+3.10013 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26531
/proc/meminfo: memFree=28582648/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=7060 CPUtime=3.09 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 1647 0 0 0 309 0 0 0 20 0 1 0 282903536 7229440 1457 33554432000 4194304 6212839 140733983238496 140733983236504 4636103 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 1765 1457 230 493 0 1270 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16212

[startup+6.30013 s]
/proc/loadavg: 2.16 2.03 2.01 3/178 26531
/proc/meminfo: memFree=28581456/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=8116 CPUtime=6.29 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 1903 0 0 0 629 0 0 0 20 0 1 0 282903536 8310784 1713 33554432000 4194304 6212839 140733983238496 140733983236664 4705179 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 2029 1713 230 493 0 1534 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17268

[startup+12.7003 s]
/proc/loadavg: 2.15 2.03 2.01 3/178 26531
/proc/meminfo: memFree=28579172/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=10500 CPUtime=12.68 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 2507 0 0 0 1268 0 0 0 20 0 1 0 282903536 10752000 2317 33554432000 4194304 6212839 140733983238496 140733983236664 5437001 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 2625 2317 230 493 0 2130 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19652

[startup+25.5002 s]
/proc/loadavg: 2.12 2.03 2.01 3/178 26531
/proc/meminfo: memFree=28577196/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=12472 CPUtime=25.48 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 3027 0 0 0 2548 0 0 0 20 0 1 0 282903536 12771328 2796 33554432000 4194304 6212839 140733983238496 140733983236504 4333794 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 3118 2796 230 493 0 2623 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21624

[startup+51.1001 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 26531
/proc/meminfo: memFree=28567200/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=18948 CPUtime=51.07 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 4642 0 0 0 5107 0 0 0 20 0 1 0 282903536 19402752 4408 33554432000 4194304 6212839 140733983238496 140733983236504 4634964 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 4737 4408 230 493 0 4242 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28100

[startup+102.306 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 26531
/proc/meminfo: memFree=28563232/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=19868 CPUtime=102.27 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 4973 0 0 0 10226 1 0 0 20 0 1 0 282903536 20344832 4666 33554432000 4194304 6212839 140733983238496 140733983236792 4635165 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 4967 4666 230 493 0 4472 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 29020

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 26531
/proc/meminfo: memFree=28560248/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=23168 CPUtime=162.25 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 5776 0 0 0 16224 1 0 0 20 0 1 0 282903536 23724032 5468 33554432000 4194304 6212839 140733983238496 140733983236504 4372067 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 5792 5468 230 493 0 5297 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 32320

[startup+222.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/179 26534
/proc/meminfo: memFree=28554876/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=26600 CPUtime=222.24 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 6654 0 0 0 22223 1 0 0 20 0 1 0 282903536 27238400 6345 33554432000 4194304 6212839 140733983238496 140733983236504 4356934 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 6650 6345 230 493 0 6155 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 35752

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 26535
/proc/meminfo: memFree=28552136/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=29900 CPUtime=282.23 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 7476 0 0 0 28222 1 0 0 20 0 1 0 282903536 30617600 7166 33554432000 4194304 6212839 140733983238496 140733983236504 4625725 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 7475 7166 230 493 0 6980 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 39052

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 26535
/proc/meminfo: memFree=28550152/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=30560 CPUtime=342.22 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 7768 0 0 0 34221 1 0 0 20 0 1 0 282903536 31293440 7340 33554432000 4194304 6212839 140733983238496 140733983236792 4307915 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 7640 7340 230 493 0 7145 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 39712

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 26535
/proc/meminfo: memFree=28547112/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7

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


[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 26535
/proc/meminfo: memFree=28537440/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=38504 CPUtime=522.2 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 9721 0 0 0 52218 2 0 0 20 0 1 0 282903536 39428096 9291 33554432000 4194304 6212839 140733983238496 140733983236504 4635082 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 9626 9291 230 493 0 9131 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 47656

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26536
/proc/meminfo: memFree=28533584/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=42264 CPUtime=582.19 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 10655 0 0 0 58217 2 0 0 20 0 1 0 282903536 43278336 10246 33554432000 4194304 6212839 140733983238496 140733983236504 4705081 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 10566 10246 230 493 0 10071 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 51416

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26536
/proc/meminfo: memFree=28533584/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=42264 CPUtime=642.19 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 10655 0 0 0 64217 2 0 0 20 0 1 0 282903536 43278336 10246 33554432000 4194304 6212839 140733983238496 140733983236504 4635490 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 10566 10246 230 493 0 10071 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 51416

[startup+702.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 26536
/proc/meminfo: memFree=28533584/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=42264 CPUtime=702.17 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 10655 0 0 0 70215 2 0 0 20 0 1 0 282903536 43278336 10246 33554432000 4194304 6212839 140733983238496 140733983236504 4354239 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 10566 10246 230 493 0 10071 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 51416

[startup+762.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 26536
/proc/meminfo: memFree=28524336/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=47580 CPUtime=762.17 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 11992 0 0 0 76215 2 0 0 20 0 1 0 282903536 48721920 11583 33554432000 4194304 6212839 140733983238496 140733983236504 4636103 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 11895 11583 230 493 0 11400 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 56732

[startup+822.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 26539
/proc/meminfo: memFree=28520532/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=50428 CPUtime=822.15 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 13403 0 0 0 82213 2 0 0 20 0 1 0 282903536 51638272 12307 33554432000 4194304 6212839 140733983238496 140733983236792 4705179 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 12607 12307 230 493 0 12112 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 59580

[startup+882.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 26540
/proc/meminfo: memFree=28520972/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=50428 CPUtime=882.14 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 13404 0 0 0 88212 2 0 0 20 0 1 0 282903536 51638272 12307 33554432000 4194304 6212839 140733983238496 140733983236792 4683162 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 12607 12307 230 493 0 12112 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 59580

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

[startup+883.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 26540
/proc/meminfo: memFree=28520972/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=50428 CPUtime=882.94 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 13404 0 0 0 88292 2 0 0 20 0 1 0 282903536 51638272 12307 33554432000 4194304 6212839 140733983238496 140733983236792 4334404 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 12607 12307 230 493 0 12112 0
Current children cumulated CPU time (s) 882.94
Current children cumulated vsize (KiB) 59580

[startup+889.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 26540
/proc/meminfo: memFree=28520972/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=50428 CPUtime=889.34 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 13404 0 0 0 88932 2 0 0 20 0 1 0 282903536 51638272 12307 33554432000 4194304 6212839 140733983238496 140733983236792 4307934 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 12607 12307 230 493 0 12112 0
Current children cumulated CPU time (s) 889.34
Current children cumulated vsize (KiB) 59580

[startup+895.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26540
/proc/meminfo: memFree=28520972/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=50428 CPUtime=895.74 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 13404 0 0 0 89572 2 0 0 20 0 1 0 282903536 51638272 12307 33554432000 4194304 6212839 140733983238496 140733983236792 4705207 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 12607 12307 230 493 0 12112 0
Current children cumulated CPU time (s) 895.74
Current children cumulated vsize (KiB) 59580

[startup+899.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26540
/proc/meminfo: memFree=28520972/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=50428 CPUtime=898.94 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 13404 0 0 0 89892 2 0 0 20 0 1 0 282903536 51638272 12307 33554432000 4194304 6212839 140733983238496 140733983236792 4685321 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 12607 12307 230 493 0 12112 0
Current children cumulated CPU time (s) 898.94
Current children cumulated vsize (KiB) 59580

[startup+899.9 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26540
/proc/meminfo: memFree=28520972/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=50428 CPUtime=899.74 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 13404 0 0 0 89972 2 0 0 20 0 1 0 282903536 51638272 12307 33554432000 4194304 6212839 140733983238496 140733983236792 4705135 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 12607 12307 230 493 0 12112 0
Current children cumulated CPU time (s) 899.74
Current children cumulated vsize (KiB) 59580

[startup+900.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26540
/proc/meminfo: memFree=28520972/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=50428 CPUtime=900.54 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 13404 0 0 0 90052 2 0 0 20 0 1 0 282903536 51638272 12307 33554432000 4194304 6212839 140733983238496 140733983236792 4635067 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 12607 12307 230 493 0 12112 0
Current children cumulated CPU time (s) 900.54
Current children cumulated vsize (KiB) 59580

[startup+901.1 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 26540
/proc/meminfo: memFree=28520972/32873624 swapFree=7104/7104
[pid=26529] ppid=26527 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/26529/stat : 26529 (clasp-dec.sh) S 26527 26529 25502 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 282903536 9371648 274 33554432000 4194304 5064252 140736332778736 140736332777648 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26529/statm: 2288 274 232 213 0 73 0
[pid=26530] ppid=26529 vsize=50428 CPUtime=900.94 cores=1,3,5,7
/proc/26530/stat : 26530 (clasp-R5325) R 26529 26529 25502 0 -1 4202496 13404 0 0 0 90092 2 0 0 20 0 1 0 282903536 51638272 12307 33554432000 4194304 6212839 140733983238496 140733983236792 4298160 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/26530/statm: 12607 12307 230 493 0 12112 0
Current children cumulated CPU time (s) 900.94
Current children cumulated vsize (KiB) 59580

Child status: 10
Real time (s): 901.137
CPU time (s): 900.986
CPU user time (s): 900.957
CPU system time (s): 0.028995
CPU usage (%): 99.9832
Max. virtual memory (cumulated for all children) (KiB): 62412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 900.957
system time used= 0.028995
maximum resident set size= 51976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13777
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= 26
involuntary context switches= 928

runsolver used 1.36179 second user time and 3.55846 second system time

The end

Begin job on node121 at 2012-05-28 03:16:21
IDJOB=3708875
IDBENCH=90121
IDSOLVER=2287
FILE ID=node121/3708875-1338167781
RUNJOBID= node121-1338158102-25519
PBS_JOBID= 14624535
Free space on /tmp= 71672 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.opb
COMMAND LINE= HOME/clasp-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708875-1338167781/watcher-3708875-1338167781 -o /tmp/evaluation-result-3708875-1338167781/solver-3708875-1338167781 -C 1800 -W 1900 -M 15500  HOME/clasp-dec.sh HOME/instance-3708875-1338167781.opb

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

MD5SUM BENCH= 21cc97db69195cd3dcf69a6d797764c1
RANDOM SEED=2097100591

node121.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.042
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        28588168 kB
Buffers:          518184 kB
Cached:          2857084 kB
SwapCached:            0 kB
Active:           879900 kB
Inactive:        2549912 kB
Active(anon):      55452 kB
Inactive(anon):        0 kB
Active(file):     824448 kB
Inactive(file):  2549912 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2736 kB
Writeback:             0 kB
AnonPages:        155900 kB
Mapped:            15312 kB
Shmem:               200 kB
Slab:             717936 kB
SReclaimable:     162432 kB
SUnreclaim:       555504 kB
KernelStack:        1480 kB
PageTables:         3624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:     155940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node121 at 2012-05-28 03:31:22