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