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