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