Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
clasp 2.0-R4191 | SAT (TO) | 1800.05 | 1800.04 |
Name | /OPT-SMALLINT-LIN/ kullmann/normalized-mul_8_3_shg.opb |
MD5SUM | 5ce23254bdc15fb1c07c51b856e9b57c |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 40 |
Best CPU time to get the best result obtained on this benchmark | 1797.61 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 5048 |
Total number of constraints | 65280 |
Number of constraints which are clauses | 65280 |
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 | 18 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 5048 |
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 | 5048 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 5048 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c clasp version 2.0.0-RC2 0.00/0.00 c Reading from ...450193/instance-3479442-1307450193.opb 0.39/0.49 c Solving... 0.49/0.55 o 1004 0.49/0.56 o 1003 0.49/0.56 o 1002 0.49/0.56 o 1001 0.49/0.56 o 1000 0.49/0.56 o 999 0.49/0.56 o 998 0.49/0.57 o 997 0.49/0.58 o 996 0.49/0.59 o 995 0.49/0.59 o 994 0.49/0.59 o 993 0.59/0.60 o 992 0.59/0.60 o 991 0.59/0.60 o 990 0.59/0.64 o 895 0.69/0.76 o 796 1.01/1.03 o 582 2.10/2.15 o 518 16.97/17.06 o 513 129.38/129.41 o 509 1800.01/1800.01 1800.01/1800.01 *** INTERRUPTED! *** 1800.01/1800.01 c Answer: 21 1800.01/1800.01 v x1 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 x15 x16 x17 -x18 1800.01/1800.01 v x19 -x20 x21 -x22 -x23 x24 x25 x26 x27 -x28 -x29 x30 x31 -x32 -x33 -x34 1800.01/1800.01 v -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 1800.01/1800.01 v -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 1800.01/1800.01 v -x65 -x66 x67 -x68 x69 x70 x71 -x72 x73 -x74 -x75 -x76 x77 -x78 x79 x80 1800.01/1800.01 v x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 x93 -x94 -x95 1800.01/1800.01 v -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 x108 1800.01/1800.01 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 x120 -x121 1800.01/1800.01 v -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 1800.01/1800.01 v -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 1800.01/1800.01 v -x146 x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 1800.01/1800.01 v x158 -x159 x160 -x161 -x162 -x163 x164 -x165 -x166 x167 -x168 x169 -x170 1800.01/1800.01 v -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 1800.01/1800.01 v -x183 x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 1800.01/1800.02 v -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 1800.01/1800.02 v -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 1800.01/1800.02 v -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 1800.01/1800.02 v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 1800.01/1800.02 v -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 1800.01/1800.02 v -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 1800.01/1800.02 v -x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 1800.01/1800.02 v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 1800.01/1800.02 v -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 1800.01/1800.02 v -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 1800.01/1800.02 v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 x326 -x327 -x328 1800.01/1800.02 v -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 1800.01/1800.02 v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 1800.01/1800.02 v -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 1800.01/1800.02 v -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 1800.01/1800.02 v x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 x389 1800.01/1800.02 v -x390 x391 -x392 x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.01/1800.02 v -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 1800.01/1800.02 v -x415 -x416 x417 -x418 -x419 -x420 x421 -x422 x423 -x424 -x425 -x426 -x427 1800.01/1800.02 v -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 1800.01/1800.02 v -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 1800.01/1800.02 v -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 x462 -x463 -x464 1800.01/1800.02 v -x465 -x466 -x467 -x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 1800.01/1800.02 v -x477 x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1800.01/1800.02 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 1800.01/1800.02 v x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 1800.01/1800.02 v -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 x526 1800.01/1800.02 v -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 1800.01/1800.02 v -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 1800.01/1800.02 v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 1800.01/1800.02 v -x563 -x564 x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 1800.01/1800.02 v -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 1800.01/1800.02 v -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 1800.01/1800.02 v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 1800.01/1800.02 v -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 1800.01/1800.02 v -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 1800.01/1800.02 v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 1800.01/1800.02 v -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 1800.01/1800.02 v -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 1800.01/1800.02 v -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 1800.01/1800.02 v -x683 -x684 -x685 -x686 x687 -x688 -x689 -x690 x691 -x692 -x693 -x694 -x695 1800.01/1800.02 v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 1800.01/1800.02 v -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 x716 -x717 -x718 -x719 -x720 1800.01/1800.02 v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 1800.01/1800.02 v -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 1800.01/1800.02 v -x745 -x746 -x747 x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 1800.01/1800.02 v -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 1800.01/1800.02 v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 1800.01/1800.02 v x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 1800.01/1800.02 v -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 1800.01/1800.02 v x806 -x807 -x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 1800.01/1800.02 v -x819 -x820 -x821 x822 -x823 -x824 x825 x826 -x827 -x828 x829 -x830 -x831 1800.01/1800.02 v -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 1800.01/1800.02 v -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 1800.01/1800.02 v -x856 -x857 -x858 -x859 -x860 x861 -x862 x863 -x864 x865 -x866 x867 -x868 1800.01/1800.02 v -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 x877 -x878 -x879 -x880 -x881 1800.01/1800.02 v -x882 -x883 -x884 x885 -x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 1800.01/1800.02 v -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 1800.01/1800.02 v x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 1800.01/1800.02 v -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 -x930 1800.01/1800.02 v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 x941 -x942 1800.01/1800.02 v -x943 -x944 x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 1800.01/1800.02 v -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 1800.01/1800.02 v -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 1800.01/1800.02 v x979 -x980 x981 x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 1800.01/1800.02 v -x992 -x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 1800.01/1800.02 v -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 1800.01/1800.02 v -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 1800.01/1800.02 v -x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 1800.01/1800.02 v -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 1800.01/1800.02 v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 1800.01/1800.02 v -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 1800.01/1800.02 v x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 1800.01/1800.02 v -x1081 -x1082 -x1083 -x1084 -x1085 x1086 -x1087 -x1088 -x1089 -x1090 -x1091 1800.01/1800.02 v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 1800.01/1800.02 v -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 1800.01/1800.02 v -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 x1123 -x1124 1800.01/1800.02 v -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 1800.01/1800.02 v -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 1800.01/1800.02 v -x1147 -x1148 -x1149 -x1150 x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 1800.01/1800.02 v -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 x1165 -x1166 -x1167 -x1168 1800.01/1800.02 v x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 1800.01/1800.02 v -x1180 x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 1800.01/1800.02 v -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 1800.01/1800.02 v -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 1800.01/1800.02 v -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 1800.01/1800.02 v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 1800.01/1800.02 v -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 1800.01/1800.02 v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 1800.01/1800.02 v -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 1800.01/1800.02 v -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 1800.01/1800.02 v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 1800.01/1800.02 v -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 1800.01/1800.02 v -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 1800.01/1800.02 v -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 1800.01/1800.02 v -x1323 -x1324 -x1325 -x1326 -x1327 x1328 -x1329 -x1330 -x1331 -x1332 -x1333 1800.01/1800.02 v -x1334 -x1335 -x1336 -x1337 -x1338 x1339 x1340 -x1341 -x1342 -x1343 x1344 1800.01/1800.02 v -x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 x1352 -x1353 -x1354 -x1355 1800.01/1800.02 v -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 1800.01/1800.02 v -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 x1376 -x1377 1800.01/1800.02 v -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 x1384 -x1385 -x1386 -x1387 -x1388 1800.01/1800.02 v -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 1800.01/1800.02 v -x1400 -x1401 -x1402 x1403 -x1404 -x1405 -x1406 x1407 x1408 -x1409 -x1410 1800.01/1800.02 v -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 1800.01/1800.02 v -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 1800.01/1800.02 v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 1800.01/1800.02 v -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 1800.01/1800.02 v -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 1800.01/1800.02 v -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 1800.01/1800.02 v -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 x1485 -x1486 -x1487 1800.01/1800.02 v -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 1800.01/1800.02 v -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 1800.01/1800.02 v -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 1800.01/1800.02 v -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 1800.01/1800.02 v -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 1800.01/1800.02 v -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 1800.01/1800.02 v -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 1800.01/1800.02 v -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 1800.01/1800.02 v -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 1800.01/1800.02 v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 1800.01/1800.02 v -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 1800.01/1800.02 v -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 1800.01/1800.02 v -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 1800.01/1800.02 v -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 1800.01/1800.02 v -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 1800.01/1800.02 v -x1653 -x1654 -x1655 -x1656 -x1657 x1658 -x1659 -x1660 -x1661 -x1662 -x1663 1800.01/1800.02 v -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 1800.01/1800.02 v -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 1800.01/1800.02 v -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 1800.01/1800.02 v -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 1800.01/1800.02 v -x1708 x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 1800.01/1800.02 v x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 x1729 1800.01/1800.02 v -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 x1737 -x1738 -x1739 -x1740 1800.01/1800.02 v x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 1800.01/1800.02 v -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 1800.01/1800.02 v -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 1800.01/1800.02 v -x1774 -x1775 -x1776 x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 1800.01/1800.02 v -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 x1793 -x1794 -x1795 1800.01/1800.02 v -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 1800.01/1800.02 v -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 1800.01/1800.02 v -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 1800.01/1800.02 v -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 1800.01/1800.02 v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 1800.01/1800.02 v -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 1800.01/1800.02 v -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 1800.01/1800.02 v -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 1800.01/1800.02 v -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 1800.01/1800.02 v -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 1800.01/1800.02 v -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 1800.01/1800.02 v -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 1800.01/1800.02 v -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 1800.01/1800.02 v -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 1800.01/1800.02 v -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 1800.01/1800.02 v -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 1800.01/1800.02 v -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 1800.01/1800.02 v -x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 1800.01/1800.02 v -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 1800.01/1800.02 v -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 1800.01/1800.02 v -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 1800.01/1800.02 v -x2027 -x2028 -x2029 -x2030 x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 1800.01/1800.02 v -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 x2044 x2045 x2046 -x2047 -x2048 1800.01/1800.02 v -x2049 x2050 -x2051 -x2052 x2053 -x2054 x2055 -x2056 -x2057 -x2058 -x2059 1800.01/1800.02 v -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 1800.01/1800.02 v x2071 -x2072 x2073 -x2074 -x2075 -x2076 x2077 x2078 -x2079 -x2080 -x2081 1800.01/1800.02 v x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 1800.01/1800.02 v -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 1800.01/1800.02 v -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 1800.01/1800.02 v x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 1800.01/1800.02 v -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 1800.01/1800.02 v -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 1800.01/1800.02 v -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 x2158 1800.01/1800.02 v -x2159 -x2160 -x2161 x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 1800.01/1800.02 v -x2170 -x2171 -x2172 -x2173 x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 1800.01/1800.02 v -x2181 -x2182 x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 1800.01/1800.02 v -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 x2200 -x2201 -x2202 1800.01/1800.02 v -x2203 x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 1800.01/1800.02 v -x2214 -x2215 x2216 -x2217 -x2218 -x2219 x2220 -x2221 x2222 -x2223 -x2224 1800.01/1800.02 v -x2225 -x2226 -x2227 x2228 -x2229 x2230 -x2231 -x2232 -x2233 -x2234 -x2235 1800.01/1800.02 v -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 1800.01/1800.02 v -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 1800.01/1800.02 v -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 1800.01/1800.02 v -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 1800.01/1800.02 v -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 1800.01/1800.02 v -x2291 -x2292 -x2293 -x2294 -x2295 x2296 -x2297 -x2298 -x2299 -x2300 -x2301 1800.01/1800.02 v -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 1800.01/1800.02 v -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 1800.01/1800.02 v -x2324 -x2325 -x2326 -x2327 x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 1800.01/1800.02 v -x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 x2343 -x2344 -x2345 1800.01/1800.02 v -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 x2356 1800.01/1800.02 v -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 1800.01/1800.02 v -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 1800.01/1800.02 v -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 1800.01/1800.02 v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 1800.01/1800.02 v -x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 1800.01/1800.02 v -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 1800.01/1800.02 v -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 1800.01/1800.02 v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 1800.01/1800.02 v -x2445 -x2446 -x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 1800.01/1800.02 v -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 1800.01/1800.02 v -x2467 -x2468 -x2469 x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 1800.01/1800.02 v -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 1800.01/1800.02 v -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 1800.01/1800.02 v -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 1800.01/1800.02 v -x2511 -x2512 -x2513 -x2514 x2515 -x2516 -x2517 -x2518 x2519 -x2520 -x2521 1800.01/1800.02 v -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 -x2530 -x2531 -x2532 1800.01/1800.02 v -x2533 -x2534 -x2535 -x2536 x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 1800.01/1800.02 v -x2544 x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 1800.01/1800.02 v -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 1800.01/1800.02 v -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 1800.01/1800.02 v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 1800.01/1800.02 v -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 1800.01/1800.02 v -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 x2605 -x2606 -x2607 -x2608 -x2609 1800.01/1800.02 v x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 1800.01/1800.02 v -x2621 -x2622 -x2623 -x2624 -x2625 x2626 -x2627 -x2628 x2629 x2630 -x2631 1800.01/1800.02 v -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 x2642 1800.01/1800.02 v -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 1800.01/1800.02 v x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 1800.01/1800.02 v -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 x2674 -x2675 1800.01/1800.02 v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 1800.01/1800.02 v -x2687 -x2688 x2689 -x2690 -x2691 -x2692 x2693 -x2694 -x2695 -x2696 -x2697 1800.01/1800.02 v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 1800.01/1800.02 v -x2709 -x2710 x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 1800.01/1800.02 v -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 1800.01/1800.02 v -x2731 -x2732 -x2733 -x2734 x2735 -x2736 -x2737 -x2738 -x2739 x2740 -x2741 1800.01/1800.02 v -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 x2748 -x2749 x2750 -x2751 -x2752 1800.01/1800.02 v -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 1800.01/1800.02 v -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 1800.01/1800.02 v -x2775 -x2776 -x2777 -x2778 -x2779 x2780 -x2781 x2782 -x2783 -x2784 -x2785 1800.01/1800.02 v -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 -x2794 -x2795 -x2796 1800.01/1800.02 v -x2797 x2798 -x2799 x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 1800.01/1800.02 v -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 1800.01/1800.02 v -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 x2827 -x2828 -x2829 1800.01/1800.02 v x2830 -x2831 -x2832 -x2833 -x2834 x2835 -x2836 -x2837 -x2838 -x2839 -x2840 1800.01/1800.02 v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 1800.01/1800.02 v -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 1800.01/1800.02 v -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 1800.01/1800.02 v -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 1800.01/1800.02 v -x2885 -x2886 -x2887 -x2888 -x2889 x2890 -x2891 -x2892 -x2893 -x2894 -x2895 1800.01/1800.02 v -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 1800.01/1800.02 v -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 1800.01/1800.02 v x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 x2926 -x2927 -x2928 1800.01/1800.02 v -x2929 -x2930 -x2931 -x2932 -x2933 x2934 -x2935 -x2936 -x2937 -x2938 -x2939 1800.01/1800.02 v -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 1800.01/1800.02 v -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 1800.01/1800.02 v -x2962 x2963 -x2964 -x2965 -x2966 -x2967 x2968 -x2969 -x2970 -x2971 -x2972 1800.01/1800.02 v -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 1800.01/1800.02 v -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 1800.01/1800.02 v -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 x3004 -x3005 1800.01/1800.02 v -x3006 -x3007 x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 1800.01/1800.02 v -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 1800.01/1800.02 v -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 1800.01/1800.02 v -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 1800.01/1800.02 v -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 1800.01/1800.02 v -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 1800.01/1800.02 v -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 1800.01/1800.02 v -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 1800.01/1800.02 v -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 1800.01/1800.02 v -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 x3112 -x3113 -x3114 -x3115 1800.01/1800.02 v -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 1800.01/1800.02 v -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 1800.01/1800.02 v -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 1800.01/1800.02 v -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 1800.01/1800.02 v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 1800.01/1800.02 v -x3171 -x3172 -x3173 x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 1800.01/1800.02 v -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 1800.01/1800.02 v -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 x3201 -x3202 -x3203 1800.01/1800.02 v -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 1800.01/1800.02 v -x3215 x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 1800.01/1800.02 v -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 1800.01/1800.02 v -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 1800.01/1800.02 v -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 1800.01/1800.02 v -x3259 x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 1800.01/1800.02 v -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 1800.01/1800.02 v -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 1800.01/1800.02 v -x3292 -x3293 x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 1800.01/1800.02 v -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 1800.01/1800.02 v -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 1800.01/1800.02 v -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 1800.01/1800.02 v -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 1800.01/1800.02 v -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 1800.01/1800.02 v -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 1800.01/1800.02 v x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 1800.01/1800.02 v -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 1800.01/1800.02 v -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 1800.01/1800.02 v -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 1800.01/1800.02 v -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 1800.01/1800.02 v -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 1800.01/1800.02 v -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 1800.01/1800.02 v -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 1800.01/1800.02 v -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 1800.01/1800.02 v x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 x3476 -x3477 -x3478 1800.01/1800.02 v -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 x3486 -x3487 -x3488 -x3489 1800.01/1800.02 v -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 1800.01/1800.02 v -x3501 -x3502 -x3503 x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 x3511 1800.01/1800.02 v -x3512 x3513 -x3514 x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 1800.01/1800.02 v x3523 -x3524 -x3525 x3526 x3527 x3528 -x3529 -x3530 -x3531 -x3532 -x3533 1800.01/1800.02 v x3534 -x3535 x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 1800.01/1800.02 v -x3545 -x3546 x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 1800.01/1800.02 v x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 x3563 -x3564 -x3565 x3566 1800.01/1800.02 v -x3567 -x3568 -x3569 -x3570 -x3571 x3572 -x3573 x3574 -x3575 -x3576 -x3577 1800.01/1800.02 v x3578 -x3579 -x3580 x3581 -x3582 -x3583 -x3584 x3585 -x3586 x3587 -x3588 1800.01/1800.02 v -x3589 x3590 -x3591 -x3592 x3593 -x3594 -x3595 -x3596 x3597 -x3598 -x3599 1800.01/1800.02 v -x3600 x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 1800.01/1800.02 v -x3611 -x3612 x3613 -x3614 x3615 -x3616 -x3617 -x3618 -x3619 -x3620 x3621 1800.01/1800.02 v -x3622 x3623 x3624 x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 1800.01/1800.02 v -x3633 x3634 -x3635 -x3636 -x3637 x3638 -x3639 x3640 -x3641 -x3642 x3643 1800.01/1800.02 v x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 x3652 -x3653 -x3654 1800.01/1800.02 v -x3655 -x3656 -x3657 x3658 -x3659 -x3660 x3661 x3662 x3663 x3664 -x3665 1800.01/1800.02 v -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 1800.01/1800.02 v -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 1800.01/1800.02 v -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 1800.01/1800.02 v -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 x3708 -x3709 1800.01/1800.02 v -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 1800.01/1800.02 v -x3721 -x3722 x3723 -x3724 -x3725 x3726 -x3727 x3728 -x3729 -x3730 -x3731 1800.01/1800.02 v -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 x3740 -x3741 -x3742 1800.01/1800.02 v -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 1800.01/1800.02 v -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 1800.01/1800.02 v -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 1800.01/1800.02 v -x3776 x3777 -x3778 -x3779 -x3780 -x3781 x3782 -x3783 x3784 x3785 -x3786 1800.01/1800.02 v -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 1800.01/1800.02 v -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 1800.01/1800.02 v -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 1800.01/1800.02 v -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 -x3829 -x3830 1800.01/1800.02 v -x3831 x3832 -x3833 -x3834 -x3835 x3836 -x3837 x3838 -x3839 -x3840 x3841 1800.01/1800.02 v -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 -x3852 1800.01/1800.02 v -x3853 -x3854 x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 x3862 x3863 1800.01/1800.02 v -x3864 -x3865 -x3866 -x3867 x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 1800.01/1800.02 v -x3875 x3876 -x3877 -x3878 -x3879 x3880 -x3881 -x3882 -x3883 -x3884 -x3885 1800.01/1800.02 v -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 1800.01/1800.02 v -x3897 -x3898 x3899 x3900 -x3901 x3902 -x3903 -x3904 -x3905 -x3906 x3907 1800.01/1800.02 v -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 1800.01/1800.02 v -x3919 x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 x3929 1800.01/1800.02 v -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 x3939 -x3940 1800.01/1800.02 v -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 x3947 -x3948 -x3949 -x3950 -x3951 1800.01/1800.02 v -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 x3958 -x3959 -x3960 -x3961 -x3962 1800.01/1800.02 v x3963 -x3964 x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 1800.01/1800.02 v -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 1800.01/1800.02 v -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 1800.01/1800.02 v -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 1800.01/1800.02 v -x4007 -x4008 x4009 -x4010 -x4011 -x4012 x4013 -x4014 -x4015 x4016 -x4017 1800.01/1800.02 v -x4018 -x4019 x4020 x4021 x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 1800.01/1800.02 v -x4029 -x4030 -x4031 -x4032 -x4033 x4034 -x4035 -x4036 -x4037 -x4038 -x4039 1800.01/1800.02 v -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 x4046 -x4047 -x4048 -x4049 -x4050 1800.01/1800.02 v x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 x4058 -x4059 -x4060 -x4061 1800.01/1800.02 v -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 1800.01/1800.02 v -x4073 -x4074 -x4075 x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 1800.01/1800.02 v -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 1800.01/1800.02 v -x4095 x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 1800.01/1800.02 v -x4106 -x4107 -x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 1800.01/1800.02 v -x4117 -x4118 -x4119 x4120 -x4121 x4122 -x4123 -x4124 -x4125 -x4126 x4127 1800.01/1800.02 v x4128 -x4129 -x4130 x4131 -x4132 x4133 -x4134 -x4135 x4136 -x4137 x4138 1800.01/1800.02 v -x4139 x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 1800.01/1800.02 v -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 x4157 -x4158 -x4159 -x4160 1800.01/1800.02 v -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 1800.01/1800.02 v -x4172 -x4173 -x4174 x4175 -x4176 x4177 -x4178 -x4179 x4180 x4181 -x4182 1800.01/1800.02 v x4183 -x4184 -x4185 -x4186 -x4187 -x4188 x4189 -x4190 -x4191 x4192 -x4193 1800.01/1800.02 v x4194 -x4195 -x4196 x4197 -x4198 x4199 -x4200 -x4201 -x4202 -x4203 -x4204 1800.01/1800.02 v -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 1800.01/1800.02 v -x4216 -x4217 -x4218 x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 1800.01/1800.02 v x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 1800.01/1800.02 v -x4238 -x4239 -x4240 -x4241 x4242 -x4243 x4244 -x4245 x4246 -x4247 -x4248 1800.01/1800.02 v -x4249 x4250 -x4251 -x4252 -x4253 -x4254 x4255 x4256 -x4257 -x4258 -x4259 1800.01/1800.02 v -x4260 -x4261 x4262 x4263 x4264 -x4265 -x4266 -x4267 -x4268 -x4269 x4270 1800.01/1800.02 v -x4271 x4272 x4273 -x4274 -x4275 x4276 -x4277 -x4278 -x4279 x4280 -x4281 1800.01/1800.02 v -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 x4290 -x4291 x4292 1800.01/1800.02 v -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 x4299 -x4300 -x4301 -x4302 x4303 1800.01/1800.02 v -x4304 x4305 x4306 x4307 x4308 -x4309 x4310 -x4311 -x4312 -x4313 -x4314 1800.01/1800.02 v -x4315 x4316 -x4317 x4318 -x4319 x4320 -x4321 -x4322 -x4323 -x4324 -x4325 1800.01/1800.02 v x4326 -x4327 x4328 -x4329 -x4330 -x4331 x4332 x4333 -x4334 -x4335 x4336 1800.01/1800.02 v -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 x4344 -x4345 -x4346 -x4347 1800.01/1800.02 v -x4348 -x4349 -x4350 -x4351 x4352 x4353 -x4354 -x4355 -x4356 -x4357 -x4358 1800.01/1800.02 v x4359 -x4360 -x4361 -x4362 -x4363 x4364 x4365 -x4366 x4367 x4368 -x4369 1800.01/1800.02 v x4370 -x4371 -x4372 -x4373 x4374 -x4375 -x4376 x4377 x4378 x4379 x4380 1800.01/1800.02 v -x4381 x4382 x4383 -x4384 -x4385 -x4386 x4387 -x4388 -x4389 -x4390 x4391 1800.01/1800.02 v x4392 x4393 -x4394 -x4395 x4396 x4397 -x4398 x4399 -x4400 x4401 x4402 -x4403 1800.01/1800.02 v x4404 x4405 -x4406 x4407 -x4408 x4409 x4410 x4411 -x4412 -x4413 x4414 -x4415 1800.01/1800.02 v x4416 x4417 -x4418 x4419 -x4420 -x4421 x4422 -x4423 x4424 -x4425 -x4426 1800.01/1800.02 v -x4427 x4428 -x4429 x4430 -x4431 -x4432 -x4433 x4434 -x4435 x4436 -x4437 1800.01/1800.02 v x4438 -x4439 -x4440 -x4441 x4442 -x4443 x4444 -x4445 -x4446 -x4447 x4448 1800.01/1800.02 v -x4449 -x4450 -x4451 -x4452 -x4453 x4454 x4455 -x4456 -x4457 -x4458 -x4459 1800.01/1800.02 v -x4460 -x4461 x4462 -x4463 x4464 -x4465 -x4466 -x4467 x4468 -x4469 -x4470 1800.01/1800.02 v -x4471 -x4472 -x4473 x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 x4481 1800.01/1800.02 v x4482 -x4483 -x4484 -x4485 x4486 -x4487 x4488 -x4489 -x4490 x4491 -x4492 1800.01/1800.02 v x4493 -x4494 -x4495 x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 1800.01/1800.02 v -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 1800.01/1800.02 v -x4515 -x4516 x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 1800.01/1800.02 v -x4526 x4527 -x4528 x4529 -x4530 -x4531 -x4532 -x4533 -x4534 x4535 -x4536 1800.01/1800.02 v -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 x4545 -x4546 -x4547 1800.01/1800.02 v -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 1800.01/1800.02 v -x4559 -x4560 -x4561 -x4562 x4563 -x4564 -x4565 x4566 -x4567 -x4568 -x4569 1800.01/1800.02 v -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 1800.01/1800.02 v -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 x4589 -x4590 x4591 1800.01/1800.02 v -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 1800.01/1800.02 v x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 1800.01/1800.02 v -x4614 -x4615 -x4616 -x4617 -x4618 x4619 -x4620 -x4621 -x4622 -x4623 -x4624 1800.01/1800.02 v -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 1800.01/1800.02 v -x4636 -x4637 -x4638 -x4639 -x4640 x4641 -x4642 -x4643 -x4644 -x4645 -x4646 1800.01/1800.02 v x4647 -x4648 x4649 -x4650 x4651 -x4652 x4653 -x4654 x4655 -x4656 -x4657 1800.01/1800.02 v -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 x4665 -x4666 -x4667 -x4668 1800.01/1800.02 v -x4669 -x4670 -x4671 -x4672 x4673 -x4674 -x4675 -x4676 -x4677 x4678 -x4679 1800.01/1800.02 v -x4680 x4681 -x4682 x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 1800.01/1800.02 v -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 1800.01/1800.02 v -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 x4711 -x4712 1800.01/1800.02 v x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 x4720 -x4721 -x4722 -x4723 1800.01/1800.02 v -x4724 x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 x4734 1800.01/1800.02 v -x4735 -x4736 x4737 -x4738 x4739 -x4740 -x4741 -x4742 -x4743 x4744 -x4745 1800.01/1800.02 v -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 1800.01/1800.02 v -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 1800.01/1800.02 v -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 1800.01/1800.02 v -x4779 -x4780 -x4781 -x4782 x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 1800.01/1800.02 v -x4790 x4791 -x4792 -x4793 -x4794 x4795 -x4796 -x4797 -x4798 -x4799 x4800 1800.01/1800.02 v x4801 -x4802 -x4803 -x4804 -x4805 -x4806 x4807 -x4808 -x4809 -x4810 -x4811 1800.01/1800.02 v -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 1800.01/1800.02 v -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 1800.01/1800.02 v -x4834 -x4835 -x4836 -x4837 x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 1800.01/1800.02 v -x4845 -x4846 -x4847 x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 1800.01/1800.02 v x4856 -x4857 -x4858 -x4859 -x4860 -x4861 x4862 -x4863 -x4864 -x4865 x4866 1800.01/1800.02 v x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 1800.01/1800.02 v -x4878 x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 1800.01/1800.02 v -x4889 -x4890 -x4891 x4892 -x4893 x4894 -x4895 -x4896 -x4897 -x4898 -x4899 1800.01/1800.02 v -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 x4909 -x4910 1800.01/1800.02 v x4911 -x4912 -x4913 -x4914 -x4915 -x4916 x4917 -x4918 -x4919 -x4920 -x4921 1800.01/1800.02 v x4922 x4923 -x4924 -x4925 -x4926 -x4927 x4928 x4929 -x4930 -x4931 -x4932 1800.01/1800.02 v -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 x4940 -x4941 -x4942 -x4943 1800.01/1800.02 v -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 x4953 -x4954 1800.01/1800.02 v x4955 -x4956 -x4957 -x4958 x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 1800.01/1800.02 v -x4966 -x4967 -x4968 -x4969 x4970 -x4971 x4972 -x4973 -x4974 -x4975 -x4976 1800.01/1800.02 v -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 x4984 -x4985 -x4986 -x4987 1800.01/1800.02 v -x4988 x4989 x4990 x4991 -x4992 x4993 -x4994 -x4995 -x4996 -x4997 -x4998 1800.01/1800.02 v -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 1800.01/1800.02 v -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 x5019 -x5020 1800.01/1800.02 v -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 1800.01/1800.02 v -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 x5042 1800.01/1800.02 v -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 1800.01/1800.02 s SATISFIABLE 1800.01/1800.02 1800.01/1800.02 c INTERRUPTED : 1 1800.01/1800.02 c Models : 1+ 1800.01/1800.02 c Enumerated : 21 1800.01/1800.02 c Optimum : unknown 1800.01/1800.02 c Optimization : 509 1800.01/1800.02 c Time : 1800.017s (Solving: 1799.52s 1st Model: 0.06s Unsat: 0.00s) 1800.01/1800.02 c CPU Time : 1800.020s
OK 509
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3479442-1307450193/watcher-3479442-1307450193 -o /tmp/evaluation-result-3479442-1307450193/solver-3479442-1307450193 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3479442-1307450193.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 running on 4 cores: 0,2,4,6 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.85 1.98 2.00 2/495 11635 /proc/meminfo: memFree=29070064/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=13872 CPUtime=0.01 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 873 0 0 0 1 0 0 0 21 0 1 0 856618933 14204928 774 33554432000 4194304 4933572 140737451063408 18446744073709551615 210646807237 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/11635/statm: 3468 774 331 181 0 477 0 [startup+0.053876 s] /proc/loadavg: 1.85 1.98 2.00 2/495 11635 /proc/meminfo: memFree=29070064/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=15932 CPUtime=0.04 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 1366 0 0 0 4 0 0 0 21 0 1 0 856618933 16314368 1267 33554432000 4194304 4933572 140737451063408 18446744073709551615 210646807237 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/11635/statm: 3983 1267 332 181 0 992 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 15932 [startup+0.100866 s] /proc/loadavg: 1.85 1.98 2.00 2/495 11635 /proc/meminfo: memFree=29070064/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=18248 CPUtime=0.09 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 1991 0 0 0 9 0 0 0 21 0 1 0 856618933 18685952 1856 33554432000 4194304 4933572 140737451063408 18446744073709551615 210646807237 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/11635/statm: 4562 1856 332 181 0 1571 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18248 [startup+0.300859 s] /proc/loadavg: 1.85 1.98 2.00 2/495 11635 /proc/meminfo: memFree=29070064/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=38144 CPUtime=0.29 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 7192 0 0 0 28 1 0 0 22 0 1 0 856618933 39059456 6753 33554432000 4194304 4933572 140737451063408 18446744073709551615 4595668 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/11635/statm: 9536 6753 347 181 0 6545 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 38144 [startup+0.700796 s] /proc/loadavg: 1.85 1.98 2.00 2/495 11635 /proc/meminfo: memFree=29070064/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=41260 CPUtime=0.69 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 8232 0 0 0 68 1 0 0 24 0 1 0 856618933 42250240 7665 33554432000 4194304 4933572 140737451063408 18446744073709551615 210646807237 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/11635/statm: 10315 7665 378 181 0 7324 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41260 [startup+1.50066 s] /proc/loadavg: 1.86 1.98 2.00 5/498 11641 /proc/meminfo: memFree=28993420/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=62100 CPUtime=1.49 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 13428 0 0 0 147 2 0 0 25 0 1 0 856618933 63590400 12861 33554432000 4194304 4933572 140737451063408 18446744073709551615 210646807237 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/11635/statm: 15525 12861 385 181 0 12534 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 62100 [startup+3.10039 s] /proc/loadavg: 1.86 1.98 2.00 3/499 11642 /proc/meminfo: memFree=28913060/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=90208 CPUtime=3.09 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 20274 0 0 0 305 4 0 0 25 0 1 0 856618933 92372992 19707 33554432000 4194304 4933572 140737451063408 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/11635/statm: 22552 19707 385 181 0 19561 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 90208 [startup+6.30083 s] /proc/loadavg: 2.11 2.03 2.01 3/499 11642 /proc/meminfo: memFree=28827420/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=106156 CPUtime=6.29 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 24306 0 0 0 625 4 0 0 25 0 1 0 856618933 108703744 23739 33554432000 4194304 4933572 140737451063408 18446744073709551615 4342106 0 0 4096 18946 0 0 0 17 4 0 0 0 /proc/11635/statm: 26539 23739 385 181 0 23548 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 106156 [startup+12.7008 s] /proc/loadavg: 2.26 2.07 2.02 3/499 11642 /proc/meminfo: memFree=28780860/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=131384 CPUtime=12.68 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 30347 0 0 0 1261 7 0 0 25 0 1 0 856618933 134537216 29780 33554432000 4194304 4933572 140737451063408 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 32846 29780 385 181 0 29855 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 131384 [startup+25.5006 s] /proc/loadavg: 2.53 2.13 2.04 3/499 11642 /proc/meminfo: memFree=28697552/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=167900 CPUtime=25.47 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 38802 0 0 0 2539 8 0 0 25 0 1 0 856618933 171929600 38235 33554432000 4194304 4933572 140737451063408 18446744073709551615 4318076 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 41975 38235 387 181 0 38984 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 167900 [startup+51.1003 s] /proc/loadavg: 2.32 2.11 2.04 3/499 11644 /proc/meminfo: memFree=28698784/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=166448 CPUtime=51.07 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 38806 0 0 0 5099 8 0 0 25 0 1 0 856618933 170442752 37892 33554432000 4194304 4933572 140737451063408 18446744073709551615 4358533 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 41612 37892 387 181 0 38621 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 166448 [startup+102.319 s] /proc/loadavg: 2.18 2.11 2.04 3/499 11644 /proc/meminfo: memFree=28615660/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=219432 CPUtime=102.29 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 50620 0 0 0 10219 10 0 0 25 0 1 0 856618933 224698368 49706 33554432000 4194304 4933572 140737451063408 18446744073709551615 4340871 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 54858 49706 387 181 0 51867 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 219432 [startup+162.301 s] /proc/loadavg: 2.06 2.09 2.04 3/499 11646 /proc/meminfo: memFree=28603252/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=229340 CPUtime=162.27 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 53481 0 0 0 16217 10 0 0 25 0 1 0 856618933 234844160 52225 33554432000 4194304 4933572 140737451063408 18446744073709551615 4340885 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 57335 52225 387 181 0 54344 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 229340 [startup+222.3 s] /proc/loadavg: 2.02 2.07 2.03 3/499 11648 /proc/meminfo: memFree=28524992/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=236196 CPUtime=222.27 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 55178 0 0 0 22217 10 0 0 25 0 1 0 856618933 241864704 53922 33554432000 4194304 4933572 140737451063408 18446744073709551615 4429145 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 59049 53922 387 181 0 56058 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 236196 [startup+282.3 s] /proc/loadavg: 2.01 2.05 2.02 3/499 11650 /proc/meminfo: memFree=28523124/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=239500 CPUtime=282.27 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 56017 0 0 0 28217 10 0 0 25 0 1 0 856618933 245248000 54761 33554432000 4194304 4933572 140737451063408 18446744073709551615 4319736 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 59875 54761 387 181 0 56884 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 239500 [startup+342.3 s] /proc/loadavg: 2.00 2.04 2.02 3/499 11652 /proc/meminfo: memFree=28457380/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=300008 CPUtime=342.28 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 71063 0 0 0 34214 14 0 0 25 0 1 0 856618933 307208192 69807 33554432000 4194304 4933572 140737451063408 18446744073709551615 4427998 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 75002 69807 387 181 0 72011 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 300008 [startup+402.301 s] /proc/loadavg: 2.00 2.03 2.01 3/499 11652 /proc/meminfo: memFree=28451424/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=300008 CPUtime=402.28 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 71087 0 0 0 40214 14 0 0 25 0 1 0 856618933 307208192 69831 33554432000 4194304 4933572 140737451063408 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 75002 69831 387 181 0 72011 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 300008 [startup+462.301 s] /proc/loadavg: 2.07 2.04 2.01 3/499 11654 /proc/meminfo: memFree=28449172/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=300008 CPUtime=462.28 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 71093 0 0 0 46214 14 0 0 25 0 1 0 856618933 307208192 69837 33554432000 4194304 4933572 140737451063408 18446744073709551615 4428066 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 75002 69837 387 181 0 72011 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 300008 [startup+522.301 s] /proc/loadavg: 2.09 2.04 2.01 3/499 11656 /proc/meminfo: memFree=28438868/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=300008 CPUtime=522.28 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 71097 0 0 0 52214 14 0 0 25 0 1 0 856618933 307208192 69841 33554432000 4194304 4933572 140737451063408 18446744073709551615 4428960 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 75002 69841 387 181 0 72011 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 300008 [startup+582.301 s] /proc/loadavg: 2.08 2.05 2.01 3/499 11658 /proc/meminfo: memFree=28435624/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=300008 CPUtime=582.28 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 71097 0 0 0 58214 14 0 0 25 0 1 0 856618933 307208192 69841 33554432000 4194304 4933572 140737451063408 18446744073709551615 4414971 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 75002 69841 387 181 0 72011 0 Current children cumulated CPU time (s) 582.28 Current children cumulated vsize (KiB) 300008 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.00 2.02 2.00 3/499 11664 /proc/meminfo: memFree=28307096/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=301544 CPUtime=822.29 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 72140 0 0 0 82215 14 0 0 25 0 1 0 856618933 308781056 70884 33554432000 4194304 4933572 140737451063408 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 75386 70884 387 181 0 72395 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 301544 [startup+882.3 s] /proc/loadavg: 2.00 2.02 2.00 3/499 11666 /proc/meminfo: memFree=28307588/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=302696 CPUtime=882.29 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 72388 0 0 0 88215 14 0 0 25 0 1 0 856618933 309960704 71132 33554432000 4194304 4933572 140737451063408 18446744073709551615 4360934 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 75674 71132 387 181 0 72683 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 302696 [startup+942.301 s] /proc/loadavg: 2.00 2.01 2.00 3/499 11666 /proc/meminfo: memFree=28263056/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=355716 CPUtime=942.28 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 83739 0 0 0 94213 15 0 0 25 0 1 0 856618933 364253184 82483 33554432000 4194304 4933572 140737451063408 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 88929 82483 387 181 0 85938 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 355716 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/499 11668 /proc/meminfo: memFree=28263052/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=355716 CPUtime=1002.28 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 83747 0 0 0 100213 15 0 0 25 0 1 0 856618933 364253184 82491 33554432000 4194304 4933572 140737451063408 18446744073709551615 4649351 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 88929 82491 387 181 0 85938 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 355716 [startup+1062.3 s] /proc/loadavg: 2.07 2.03 2.01 3/499 11670 /proc/meminfo: memFree=28262788/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=355716 CPUtime=1062.29 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 83759 0 0 0 106213 16 0 0 25 0 1 0 856618933 364253184 82503 33554432000 4194304 4933572 140737451063408 18446744073709551615 4625212 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 88929 82503 387 181 0 85938 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 355716 [startup+1122.3 s] /proc/loadavg: 2.21 2.07 2.02 3/499 11672 /proc/meminfo: memFree=28262652/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=355716 CPUtime=1122.3 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 83787 0 0 0 112214 16 0 0 25 0 1 0 856618933 364253184 82531 33554432000 4194304 4933572 140737451063408 18446744073709551615 4368938 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 88929 82531 387 181 0 85938 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 355716 [startup+1182.3 s] /proc/loadavg: 2.14 2.07 2.02 3/499 11674 /proc/meminfo: memFree=28261268/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=356244 CPUtime=1182.3 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 83949 0 0 0 118214 16 0 0 25 0 1 0 856618933 364793856 82693 33554432000 4194304 4933572 140737451063408 18446744073709551615 4360938 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 89061 82693 387 181 0 86070 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 356244 [startup+1242.3 s] /proc/loadavg: 2.05 2.05 2.01 3/499 11676 /proc/meminfo: memFree=28248236/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=356952 CPUtime=1242.3 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 84079 0 0 0 124214 16 0 0 25 0 1 0 856618933 365518848 82823 33554432000 4194304 4933572 140737451063408 18446744073709551615 4649396 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 89238 82823 387 181 0 86247 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 356952 [startup+1302.3 s] /proc/loadavg: 2.02 2.04 2.00 3/499 11676 /proc/meminfo: memFree=28231232/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=358128 CPUtime=1302.31 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 84390 0 0 0 130215 16 0 0 25 0 1 0 856618933 366723072 83134 33554432000 4194304 4933572 140737451063408 18446744073709551615 4637181 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 89532 83134 387 181 0 86541 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 358128 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/499 11678 /proc/meminfo: memFree=28224528/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=360628 CPUtime=1362.3 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 85000 0 0 0 136214 16 0 0 25 0 1 0 856618933 369283072 83744 33554432000 4194304 4933572 140737451063408 18446744073709551615 4414938 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 90157 83744 387 181 0 87166 0 Current children cumulated CPU time (s) 1362.3 Current children cumulated vsize (KiB) 360628 [startup+1422.32 s] /proc/loadavg: 2.00 2.02 2.00 3/499 11680 /proc/meminfo: memFree=28201440/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=383640 CPUtime=1422.31 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 90756 0 0 0 142214 17 0 0 25 0 1 0 856618933 392847360 89500 33554432000 4194304 4933572 140737451063408 18446744073709551615 4341581 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 95910 89500 387 181 0 92919 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 383640 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/499 11691 /proc/meminfo: memFree=28200980/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=381968 CPUtime=1482.29 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 90757 0 0 0 148212 17 0 0 25 0 1 0 856618933 391135232 89086 33554432000 4194304 4933572 140737451063408 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 95492 89086 387 181 0 92501 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 381968 [startup+1542.3 s] /proc/loadavg: 2.00 2.01 2.00 3/499 11693 /proc/meminfo: memFree=28195252/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=381968 CPUtime=1542.3 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 90776 0 0 0 154212 18 0 0 25 0 1 0 856618933 391135232 89105 33554432000 4194304 4933572 140737451063408 18446744073709551615 4360912 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 95492 89105 387 181 0 92501 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 381968 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/499 11693 /proc/meminfo: memFree=28201812/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=381968 CPUtime=1602.3 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 90811 0 0 0 160212 18 0 0 25 0 1 0 856618933 391135232 89140 33554432000 4194304 4933572 140737451063408 18446744073709551615 4664059 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 95492 89140 387 181 0 92501 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 381968 [startup+1662.3 s] /proc/loadavg: 2.10 2.03 2.01 3/499 11695 /proc/meminfo: memFree=28192496/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=381968 CPUtime=1662.3 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 90816 0 0 0 166212 18 0 0 25 0 1 0 856618933 391135232 89145 33554432000 4194304 4933572 140737451063408 18446744073709551615 4664518 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 95492 89145 387 181 0 92501 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 381968 [startup+1722.3 s] /proc/loadavg: 2.08 2.04 2.01 3/499 11697 /proc/meminfo: memFree=28191372/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=384872 CPUtime=1722.3 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 91543 0 0 0 172212 18 0 0 25 0 1 0 856618933 394108928 89872 33554432000 4194304 4933572 140737451063408 18446744073709551615 4428510 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 96218 89872 387 181 0 93227 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 384872 [startup+1782.3 s] /proc/loadavg: 2.10 2.06 2.01 3/499 11702 /proc/meminfo: memFree=28186488/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=383252 CPUtime=1782.3 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 91543 0 0 0 178212 18 0 0 25 0 1 0 856618933 392450048 89480 33554432000 4194304 4933572 140737451063408 18446744073709551615 4637163 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 95813 89480 387 181 0 92822 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 383252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.14 2.07 2.02 3/499 11702 /proc/meminfo: memFree=28179652/32951132 swapFree=57925096/67111528 [pid=11635] ppid=11633 vsize=383252 CPUtime=1800.01 cores=0,2,4,6 /proc/11635/stat : 11635 (clasp) R 11633 11635 11277 0 -1 4202496 91543 0 0 0 179983 18 0 0 25 0 1 0 856618933 392450048 89480 33554432000 4194304 4933572 140737451063408 18446744073709551615 4341568 0 0 4096 18946 0 0 0 17 0 0 0 0 /proc/11635/statm: 95813 89480 387 181 0 92822 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 383252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 10 Real time (s): 1800.04 CPU time (s): 1800.05 CPU user time (s): 1799.84 CPU system time (s): 0.204968 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 384872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.204968 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 91551 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= 9 involuntary context switches= 3663 runsolver used 9.50255 second user time and 19.986 second system time The end
Begin job on node129 at 2011-06-07 14:36:33 IDJOB=3479442 IDBENCH=89910 IDSOLVER=1958 FILE ID=node129/3479442-1307450193 RUNJOBID= node129-1307450193-11621 PBS_JOBID= 13520022 Free space on /tmp= 73948 MiB SOLVER NAME= clasp 2.0-R4191 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-mul_8_3_shg.opb COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479442-1307450193/watcher-3479442-1307450193 -o /tmp/evaluation-result-3479442-1307450193/solver-3479442-1307450193 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3479442-1307450193.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5ce23254bdc15fb1c07c51b856e9b57c RANDOM SEED=1141270904 node129.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.831 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 29070476 kB Buffers: 331444 kB Cached: 2113016 kB SwapCached: 49348 kB Active: 559364 kB Inactive: 3039176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 29070476 kB SwapTotal: 67111528 kB SwapFree: 57925096 kB Dirty: 33896 kB Writeback: 12 kB AnonPages: 1115188 kB Mapped: 14260 kB Slab: 154408 kB PageTables: 58408 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 147307420 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73912 MiB End job on node129 at 2011-06-07 15:06:35