Trace number 3379437

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
UmSat 2011-05-12 (fixed)SAT 948.254 948.228

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F20.cnf
MD5SUM3e5703cd522988fbb05dcac3c4dbbe9d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9038
Satisfiable
(Un)Satisfiability was proved
Number of variables10420
Number of clauses395383
Sum of the clauses size2821910
Maximum clause length66
Minimum clause length1
Number of clauses of size 122
Number of clauses of size 227506
Number of clauses of size 320815
Number of clauses of size 412840
Number of clauses of size 536380
Number of clauses of size over 5297820

Solver Data 

946.52/946.57	s SATISFIABLE
946.52/946.57	v 65 278 279 315 356 268 282 318 328 206 194 195 198 199 202 241 229 230 233 234 237 192 -255 -88 -89 -125 -166 -78 -92 -128 -138 -16 -4 -5 -8 -9 -12 -51 -39 -40 -43 -44 -47 -2 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 -2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 -1256 -1257 -1258 -1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 -1280 -1321 -1322 -1323 -1324 -1325 -1326 -1327 -1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 -1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 -1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -2181 -2182 -2183 -2184 -2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -1941 -1942 -1943 -1944 -1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -2021 -2022 -2023 -2024 -2025 -2026 -2027 -2028 -2029 -2030 -2031 -2032 -2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 -2116 -2117 -2118 -2119 -2120 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 -1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -5241 -10061 -1521 -1301 -1421 -1441 -6521 -6522 -10221 -6523 -6524 -10063 -10224 -6525 -10225 -253 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -5201 -10301 353 -163 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 942 -10141 -9343 -10402 -9351 -9349 -7942 -7342 -10401 -354 -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 -8259 -8260 944 -10143 -9345 -10404 -7344 943 -10403 -10142 -9344 -7943 -7343 -8363 -7944 -10084 -10024 -10304 -10264 -10344 -9984 -10204 -10064 -10144 945 -9346 -10405 -6565 -9347 -7345 -7945 -9358 -8365 -6526 -10226 -7903 -7904 -7905 -7901 -7902 337 -147 -10182 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -10181 -10183 -5041 -9981 -10021 -5043 -5044 -5042 -9982 -9983 -5744 -5743 -5742 -5741 -10022 -10023 -5745 -10025 -5746 -10026 -5747 -5748 -10028 947 -10146 -9348 -10407 -8367 -7947 -7347 946 -10406 -10145 -6566 -8366 -7346 -7946 948 -10147 -10408 -7348 -7948 270 -80 49 164 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 14 -239 -204 228 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 193 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -38 -3 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 -1940 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 -1239 -1240 -460 -381 -2440 -1600 -2280 -2300 -2320 -2340 -2360 -2380 -2400 -2420 -2460 -2480 -2500 -2520 -2540 -2560 -2580 -8860 -9660 -1181 -1281 -1361 -1381 -1461 -1501 -1541 -9581 -8781 -864 -5404 -6064 -6384 -6404 -6424 -6444 -6464 -6484 -6504 -6544 -6564 -6584 -6604 -6624 -6644 -6664 -9264 -863 -862 -6463 -5403 -6063 -6383 -6403 -6423 -6443 -6483 -6503 -6543 -6563 -6583 -6603 -6623 -6643 -6663 -9263 -861 -5402 -6062 -6382 -6402 -6422 -6442 -6462 -6482 -6502 -6542 -6562 -6582 -6602 -6622 -6642 -6662 -9262 -10062 -5401 -6061 -6381 -6401 -6421 -6441 -6461 -6481 -6501 -6541 -6561 -6581 -6601 -6621 -6641 -6661 -9261 -6572 -5045 -9985 265 -75 -10163 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 140 -330 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780 -6466 -5048 -5046 -9986 -5047 -9987 249 -59 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -6160 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6151 -6152 261 -71 -10083 -10085 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 74 94 -264 -284 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -865 -866 -867 -868 -960 -7579 -5405 -6065 -6385 -6405 -6425 -6465 -6485 -6505 -6545 -6585 -6605 -6625 -6645 -6665 -9265 -10065 -5406 -6066 -6386 -6406 -6426 -6486 -6506 -6546 -6586 -6606 -6626 -6646 -6666 -9266 -10066 -5407 -6067 -6387 -6407 -6427 -6467 -6487 -6507 -6527 -6547 -6567 -6587 -6607 -6627 -6647 -6667 -9267 -10067 -5408 -6068 -6388 -6408 -6428 -6468 -6488 -6508 -6528 -6548 -6568 -6588 -6608 -6628 -6648 -6668 -9268 -10068 -5140 -5500 -5840 -6740 -7000 -7240 -7480 -7500 -7520 -7540 -7560 -7580 -7600 -7620 -7640 -7660 -7680 -9360 -10160 -10087 -10088 -10161 -10165 -10166 -10164 -10167 -9988 -10227 -10168 -10228 -10303 -5602 -5604 -5603 -5601 -370 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -5605 -5606 842 -1062 -10041 -9243 -1022 6142 -8103 -1063 -7102 -7562 -8102 -8362 -8482 -8502 -8522 -8542 -9462 -10262 -5202 -5562 -5902 -6802 -7062 -7302 -7522 -7722 -8062 -8222 -8262 -8282 -8302 -8322 -8342 -9422 -10222 -1021 -7103 -7563 -8483 -8503 -8523 -8543 -9463 -10263 -10242 -5561 -5901 -6801 -7061 -7301 -7521 -7721 -8061 -8221 -8261 -8281 -8301 -8321 -8341 -9421 -10162 -8521 -8524 -8525 -8526 -10245 -10185 -10265 -1163 -5343 -5703 -6043 -6363 -6943 -7203 -7443 -7663 -7863 -8043 -8203 -8343 -8463 -8643 -8703 -8743 -8763 -9563 -10363 -1026 -5206 -5566 -5906 -6806 -7066 -7306 -7526 -7726 -7906 -8066 -8226 -8266 -8286 -8306 -8326 -8346 -9426 -1025 -10305 -10184 -10186 -10246 -10306 -5205 -5565 -5905 -6805 -7065 -7305 -7525 -7725 -8065 -8225 -8265 -8285 -8305 -8325 -8345 -9425 -1024 -5204 -5564 -5904 -6804 -7064 -7304 -7524 -7724 -8064 -8224 -8264 -8284 -8304 -8324 -8344 -9424 -1023 -10243 -5203 -5563 -5903 -6803 -7063 -7303 -7523 -7723 -8063 -8223 -8263 -8283 -8303 -8323 -9423 -10223 -10086 -10082 -10241 -10302 -10123 -10343 -10283 -366 -8481 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -10121 -10341 -10081 -10261 -1061 -7101 -7341 -7561 -7941 -8101 -8361 -8501 -8541 -9461 -355 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 256 -66 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -6589 -10244 -10345 -10125 -10124 -10004 -10284 -10364 -10005 -10205 -10285 -10365 841 -9242 9241 -9244 -9247 -9246 -9245 -860 -6070 -6326 -6327 -5040 -5400 -5740 -6080 -6100 -6120 -6140 -6180 -6200 -6220 -6260 -6300 -6320 -6340 -6360 -6380 -9260 -10060 -10201 -10001 941 -9342 9341 6141 -7261 -7321 -10361 -10281 -368 -847 -10102 -906 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -5027 -5387 -5727 -6087 -6107 -6127 -6147 -6167 -6187 -6207 -6247 -6287 -6307 -6347 -6367 -10047 -849 -848 -850 -5086 -5446 -5786 -6106 -6686 -6966 -6986 -7006 -7026 -7046 -7086 -7106 -7126 -7146 -7166 -7186 -7206 -9306 -10106 -5029 -5389 -5729 -6069 -6089 -6109 -6129 -6149 -6169 -6189 -6209 -6249 -6289 -6309 -6329 -6349 -6369 -9249 -10049 -851 -858 -856 -5028 -5388 -5728 -6088 -6108 -6128 -6148 -6168 -6188 -6208 -6248 -6288 -6308 -6328 -6348 -6368 -9248 -10048 -852 -855 -857 -5030 -5390 -5730 -6090 -6110 -6130 -6150 -6170 -6190 -6210 -6250 -6290 -6310 -6330 -6350 -6370 -9250 -10050 -853 -854 -5031 -5391 -5731 -6071 -6091 -6111 -6131 -6171 -6191 -6211 -6251 -6291 -6311 -6331 -6351 -6371 -9251 -10051 -5038 -5398 -5738 -6078 -6098 -6118 -6138 -6178 -6198 -6218 -6258 -6298 -6318 -6338 -6358 -6378 -9258 -10058 -859 -5036 -5396 -5736 -6076 -6096 -6116 -6136 -6176 -6196 -6216 -6256 -6296 -6316 -6336 -6356 -6376 -9256 -10056 -5032 -5392 -5732 -6072 -6092 -6112 -6132 -6172 -6192 -6212 -6252 -6292 -6312 -6332 -6352 -6372 -9252 -10052 -5035 -5395 -5735 -6075 -6095 -6115 -6135 -6175 -6195 -6215 -6255 -6295 -6315 -6335 -6355 -6375 -9255 -10055 -5037 -5397 -5737 -6077 -6097 -6117 -6137 -6177 -6197 -6217 -6257 -6297 -6317 -6337 -6357 -6377 -9257 -10057 -9350 -5033 -5393 -5733 -6073 -6093 -6113 -6133 -6173 -6193 -6213 -6253 -6293 -6313 -6333 -6353 -6373 -9253 -10053 -5034 -5394 -5734 -6074 -6094 -6114 -6134 -6174 -6194 -6214 -6254 -6294 -6314 -6334 -6354 -6374 -9254 -10054 -245 -5039 -5399 -5739 -6079 -6099 -6119 -6139 -6179 -6199 -6219 -6259 -6299 -6319 -6339 -6359 -6379 -9259 -10059 -1068 -1069 828 -9487 -8105 788 787 786 789 -10266 829 -1067 827 826 -7349 -5608 -7108 -7568 -8108 -8368 -8508 -8548 -9468 -10268 -5609 -6569 -7109 -7569 -7949 -8109 -8369 -8509 -8549 -9469 -10269 -10027 -9229 5828 -8104 -9189 5128 5008 -9188 5127 -8547 -5607 5007 -9187 -9190 5126 -1066 -10409 -9191 -9199 -8550 -6549 5009 -9230 -1064 -7107 -7567 -8107 -8507 -9467 -10267 -9228 -9231 -9238 5827 -9227 -9239 -8106 5826 5006 -7566 -8506 -8546 -9466 -1065 -7104 -7564 -8364 -8504 -8544 -9464 -7105 -7565 -8505 -8545 -9465 -10247 -10127 -10187 1161 -9562 9561 -9564 -9568 -9566 6361 -9565 -1172 -1173 -1178 -7881 -9567 -1174 -1176 -1166 -1165 -1164 -359 -1171 -1177 -1170 -1168 -1169 -1179 -1180 -1175 -1167 7661 -8001 1162 260 -5352 -5712 -6052 -6672 -6952 -7212 -7452 -7672 -7872 -8052 -8212 -8352 -8472 -8652 -8712 -8752 -8772 -9572 -10372 -5353 -5713 -6053 -6673 -6953 -7213 -7453 -7673 -7873 -8053 -8213 -8353 -8473 -8653 -8713 -8753 -8773 -9573 -10373 -5358 -5718 -6058 -6678 -6958 -7218 -7458 -7678 -7878 -8058 -8218 -8358 -8478 -8658 -8718 -8758 -8778 -9578 -10378 -5354 -5714 -6054 -6674 -6954 -7214 -7454 -7674 -7874 -8054 -8214 -8354 -8474 -8654 -8714 -8754 -8774 -9574 -10374 -5356 -5716 -6056 -6676 -6956 -7216 -7456 -7676 -7876 -8056 -8216 -8356 -8476 -8656 -8716 -8756 -8776 -9576 -10376 -5346 -5706 -6046 -6366 -6946 -7446 -7666 -7866 -8046 -8206 -8466 -8646 -8706 -8746 -8766 -10366 -5345 -5705 -6045 -6365 -6945 -7205 -7445 -7665 -7865 -8045 -8205 -8465 -8645 -8705 -8745 -8765 -5344 -5704 -6044 -6364 -6944 -7204 -7444 -7664 -7864 -8044 -8204 -8464 -8644 -8704 -8744 -8764 -8347 -8348 -8349 -8350 -8351 -8355 -8357 -8359 -8360 -5351 -5711 -6051 -6671 -6951 -7211 -7451 -7671 -7871 -8051 -8211 -8471 -8651 -8711 -8751 -8771 -9571 -10371 -5357 -5717 -6057 -6677 -6957 -7217 -7457 -7677 -7877 -8057 -8217 -8477 -8657 -8717 -8757 -8777 -9577 -10377 -5350 -5710 -6050 -6670 -6950 -7210 -7450 -7670 -7870 -8050 -8210 -8470 -8650 -8710 -8750 -8770 -9570 -10370 -5348 -5708 -6048 -6948 -7208 -7448 -7668 -7868 -8048 -8208 -8468 -8648 -8708 -8748 -8768 -10368 -5349 -5709 -6049 -6669 -6949 -7209 -7449 -7669 -7869 -8049 -8209 -8469 -8649 -8709 -8749 -8769 -9569 -10369 -5359 -5719 -6059 -6679 -6959 -7219 -7459 -7679 -7879 -8059 -8219 -8479 -8659 -8719 -8759 -8779 -9579 -10379 -5360 -5720 -6060 -6680 -6960 -7220 -7460 -7880 -8060 -8220 -8480 -8660 -8720 -8760 -8780 -9580 -10380 -5355 -5715 -6055 -6675 -6955 -7215 -7455 -7675 -7875 -8055 -8215 -8475 -8655 -8715 -8755 -8775 -9575 -10375 -5347 -5707 -6047 -6947 -7207 -7447 -7667 -7867 -8047 -8207 -8467 -8647 -8707 -8747 -8767 -10367 325 7662 6362 10362 -70 -275 -135 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -10126 1002 -9403 -9409 -9408 -9405 7502 -9406 6202 -8042 -1042 -922 -982 8202 -962 -7262 317 252 -5222 -5582 -5922 -6242 -6822 -7082 -7322 -7542 -7742 -7922 -8082 -8382 -8402 -8422 -8442 -8462 -9442 -1041 -5102 -5462 -5802 -6122 -6702 -6962 -7222 -7242 -7282 -7362 -7382 -7402 -7422 -7442 -9322 -10122 -921 -5162 -5522 -5862 -6182 -6762 -7022 -7482 -7682 -7882 -7962 -7982 -8002 -8022 -9382 -981 352 -5142 -5502 -5842 -6162 -6742 -7002 -7462 -7702 -7782 -7802 -7822 -7842 -7862 -9362 -961 -127 -62 -9410 -6821 -7541 -8461 -365 -5221 -5581 -5921 -6241 -7081 -7741 -7921 -8081 -8381 -8401 -8421 -8441 -9441 -5101 -5461 -5801 -6121 -6701 -6961 -7221 -7241 -7281 -7361 -7381 -7401 -7421 -7441 -9321 -6181 -7681 -5161 -5521 -5861 -6761 -7021 -7481 -7961 -7981 -8021 -8041 -9381 -162 -6741 -7801 -5141 -5501 -5841 -6161 -7001 -7461 -7701 -7781 -7821 -7841 -7861 -9361 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -314 -344 -4401 -4402 -4403 -4404 -4405 -4406 -4407 -4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -335 -8110 -8111 -8112 -8113 -8115 -5546 -5545 -5544 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -8114 -8116 -8117 -8119 -8120 -10307 1082 -9483 -9495 -9486 -9485 -9484 -9303 7582 -9305 6282 -9304 -9307 8122 247 -911 -7111 8642 -822 321 -907 348 -57 -5091 -5451 -5791 -6411 -6691 -6971 -6991 -7011 -7031 -7051 -7071 -7091 -7131 -7151 -7171 -7191 -9311 -10111 374 -5002 -5362 -5722 -5762 -5782 -5822 -5882 -5962 -5982 -6002 -6022 -6042 -9222 -821 -10342 -244 -131 -5087 -5447 -5787 -6687 -6967 -6987 -7007 -7027 -7047 -7067 -7087 -7127 -7147 -7167 -7187 -10107 -158 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 -2313 -2314 -2315 -2316 -2317 -2318 -2319 -184 -5001 -6021 -5361 -5721 -5761 -5781 -5821 -5881 -5961 -5981 -6001 -6041 -9221 238 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 843 -48 -10042 6143 -7263 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -10207 -10206 1001 -9402 9401 -9404 6201 294 7501 8201 -801 -104 -4981 -5381 -5421 -5441 -5481 -5541 -5621 -5641 -5661 -5681 -5701 -9201 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 1027 -9428 -9437 -9430 -9431 1028 1029 5907 5207 7527 -1087 9427 -9429 7528 5208 -1088 -7328 5908 -7268 -7570 -7110 -1089 5209 -7576 -7577 5909 -5267 -5627 -5967 -6867 -7367 -7587 -7787 -7967 -8127 -8387 -8587 -8607 -8627 -10287 -1096 -1100 -1098 -1099 -1097 -1095 -5268 -5628 -5968 -6868 -7128 -7368 -7588 -7788 -7968 -8128 -8388 -8588 -8608 -8628 -9488 -10288 -7327 -7267 -5269 -5629 -5969 -6869 -7129 -7369 -7589 -7789 -7969 -8129 -8389 -8589 -8609 -8629 -9489 -10289 -5276 -5636 -5976 -6596 -6876 -7136 -7376 -7596 -7796 -7976 -8136 -8396 -8596 -8616 -8636 -9496 -10296 -5280 -5640 -5980 -6600 -6880 -7140 -7380 -7800 -7980 -8140 -8400 -8600 -8620 -8640 -9500 -10300 -5278 -5638 -5978 -6598 -6878 -7138 -7378 -7598 -7798 -7978 -8138 -8398 -8598 -8618 -8638 -9498 -10298 -5279 -5639 -5979 -6599 -6879 -7139 -7379 -7599 -7799 -7979 -8139 -8399 -8599 -8619 -8639 -9499 -10299 -5277 -5637 -5977 -6597 -6877 -7137 -7377 -7597 -7797 -7977 -8137 -8397 -8597 -8617 -8637 -9497 -10297 -5275 -5635 -5975 -6595 -6875 -7135 -7375 -7595 -7795 -7975 -8135 -8395 -8595 -8615 -8635 -10295 -7266 -7265 -10327 -10321 10101 901 6981 -904 -905 -903 -908 -1126 -231 -297 -902 6101 -9302 9301 291 -9312 7201 -910 7041 -295 -912 -920 -909 -917 -916 -919 -914 -5084 -5444 -5784 -6104 -6684 -6964 -6984 -7004 -7024 -7044 -7084 -7124 -7144 -7164 -7184 -10104 -5085 -5445 -5785 -6105 -6685 -6965 -6985 -7005 -7025 -7045 -7085 -7125 -7145 -7165 -7185 -10105 -918 -5083 -5443 -5783 -6103 -6683 -6963 -6983 -7003 -7023 -7043 -7083 -7123 -7143 -7163 -7183 -10103 -915 -5088 -5448 -5788 -6688 -6968 -6988 -7008 -7028 -7048 -7068 -7088 -7148 -7168 -7188 -9308 -10108 -913 -5306 -5666 -6006 -6906 -7406 -7626 -7826 -8006 -8166 -8426 -8606 -8666 -8726 -9526 -10326 -357 -5789 -5790 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 302 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -5082 -5442 -6102 -6682 -6982 -7042 -7122 -7142 -7162 -7182 -7202 -262 -846 -101 -5090 -5450 -6410 -6690 -6970 -6990 -7010 -7030 -7050 -7070 -7090 -7130 -7150 -7170 -7190 -9310 -10110 -7069 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -5092 -5452 -6412 -6692 -6972 -6992 -7012 -7032 -7052 -7092 -7132 -7152 -7172 -7192 -10112 -5100 -5460 -6420 -6700 -6980 -7020 -7040 -7060 -7100 -7160 -7180 -7200 -9320 -10120 -5089 -5449 -6409 -6689 -6969 -6989 -7009 -7029 -7049 -7089 -7149 -7169 -7189 -9309 -10109 -5097 -5457 -6417 -6697 -6977 -6997 -7017 -7037 -7057 -7097 -7157 -7177 -7197 -9317 -10117 -5096 -5456 -6416 -6696 -6976 -6996 -7016 -7036 -7056 -7096 -7156 -7176 -7196 -9316 -10116 -5099 -5459 -6419 -6699 -6979 -6999 -7019 -7039 -7059 -7099 -7159 -7179 -7199 -9319 -10119 -5094 -5454 -6414 -6694 -6974 -6994 -7014 -7034 -7054 -7094 -7134 -7154 -7174 -7194 -9314 -10114 -10322 -5098 -5458 -6418 -6698 -6978 -6998 -7018 -7038 -7058 -7098 -7158 -7178 -7198 -9318 -10118 -5095 -5455 -6415 -6695 -6975 -6995 -7015 -7035 -7055 -7095 -7155 -7175 -7195 -9315 -10115 -5093 -5453 -6413 -6693 -6973 -6993 -7013 -7033 -7053 -7093 -7133 -7153 -7173 -7193 -9313 -10113 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 258 372 379 1121 300 7161 -112 -9523 -9522 -5026 -5386 -5726 -6086 -6126 -6146 -6166 -6186 -6206 -6246 -6286 -6306 -6346 -10046 825 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 -3197 -3198 -3199 -3200 -290 -10002 -214 -292 -296 -9524 -293 -1127 -9525 -1128 -10328 -1129 -68 -9529 -9530 -9528 -182 -189 9521 6321 7621 -9527 8161 8741 1122 -1132 -1141 -110 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 -3418 -3419 -3420 785 -1094 -1091 -9226 5825 5005 -5307 -5667 -6007 -6907 -7407 -7627 -7827 -8007 -8167 -8427 -8667 -8727 -1131 -1134 -5308 -5668 -6008 -6908 -7408 -7628 -7828 -8008 -8168 -8428 -8668 -8728 -10329 -5309 -5669 -6009 -6629 -6909 -7409 -7629 -7829 -8009 -8169 -8429 -8669 -8729 -1135 -1130 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 323 350 8162 7622 6322 8602 8742 -1142 -802 1123 -1139 -1140 -5312 -5672 -6012 -6632 -6912 -7412 -7632 -7832 -8012 -8172 -8432 -8612 -8672 -8732 -9532 -10332 -5321 -6341 -6921 -7181 -7641 -8181 -8621 -8681 -8721 -8761 -9541 -10346 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 -3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -9186 5125 -9193 -7572 -800 -5274 -5634 -5974 -6594 -6874 -7374 -7594 -7794 -7974 -8134 -8394 -8594 -8614 -8634 -9494 -10294 -5271 -5631 -5971 -6591 -6871 -7371 -7591 -7791 -7971 -8131 -8391 -8591 -8611 -8631 -9491 -10291 -5311 -5671 -6011 -6631 -6911 -7411 -7631 -7831 -8011 -8171 -8431 -8671 -8731 -9531 -10331 -1137 -5314 -5674 -6014 -6634 -6914 -7414 -7634 -7834 -8014 -8174 -8434 -8674 -8734 -9534 -10334 -5315 -5675 -6015 -6635 -6915 -7415 -7635 -7835 -8015 -8175 -8435 -8675 -8735 -9535 -10335 -5310 -5670 -6010 -6630 -6910 -7410 -7630 -7830 -8010 -8170 -8430 -8610 -8670 -8730 -10330 -133 -160 -5322 -5682 -6342 -6922 -7642 -8182 -8622 -8682 -8722 -8762 -9542 -380 -4982 -5382 -5422 -5482 -5542 -5622 -5642 -5662 -5702 -9202 -10006 7623 6323 -1138 -1133 -5319 -5679 -6019 -6639 -6919 -7419 -7639 -7839 -8019 -8179 -8439 -8679 -8739 -9539 -10339 -5320 -5680 -6020 -6640 -6920 -7420 -7840 -8020 -8180 -8440 -8680 -8740 -9540 -10340 -301 243 -5000 -5020 -5060 -5080 -5120 -5160 -5180 -5200 -5220 -5240 -5300 -5340 -9200 -10000 -5317 -5677 -6017 -6637 -6917 -7417 -7637 -7837 -8017 -8177 -8437 -8677 -8737 -9537 -10337 -273 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -4361 -4362 -4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -227 -10003 10286 -5318 -5678 -6018 -6638 -6918 -7418 -7638 -7838 -8018 -8178 -8438 -8678 -8738 -9538 -10338 -5313 -5673 -6013 -6633 -6913 -7413 -7633 -7833 -8013 -8173 -8433 -8613 -8673 -8733 -9533 -10333 -53 -959 -6636 1086 -271 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 -2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -5139 -5499 -5839 -6739 -7239 -7479 -7499 -7519 -7539 -7559 -7619 -7659 -9359 -10159 -10282 7586 1085 5266 5966 1083 -1092 -1090 -1093 -6590 -6592 -6593 1084 7585 5265 5965 205 240 7583 6283 8603 -5272 -5632 -5972 -6872 -7372 -7592 -7792 -7972 -8132 -8392 -8592 -8632 -9492 -10292 -5270 -5630 -5970 -6870 -7370 -7590 -7790 -7970 -8130 -8390 -8590 -8630 -9490 -10290 -5273 -5633 -5973 -6873 -7373 -7593 -7793 -7973 -8133 -8393 -8593 -8633 -9493 -10293 7584 -15 -50 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 -1479 -1480 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 10203 -1004 1003 -1005 -1016 -1007 -345 -347 -5184 -5884 -6204 -6784 -7284 -7504 -7704 -7884 -8084 -8124 -8144 -8164 -8184 -1009 -1010 -1006 -1013 -1012 -1015 -1011 -1019 -1020 -1018 -1008 -1017 -1014 -267 -10202 7503 6203 8123 8163 -923 -983 -1043 -5185 -5885 -6205 -6785 -7285 -7505 -7705 -7885 -8085 -8125 -8145 -8165 -8185 -5196 -5896 -6516 -6796 -7296 -7516 -7716 -7896 -8076 -8096 -8156 -8176 -8196 -9416 -10216 -5187 -5887 -6787 -7287 -7507 -7707 -7887 -8067 -8087 -8147 -8187 -9407 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8077 -8078 -8079 -8080 -8118 -5189 -5889 -6509 -6789 -7289 -7509 -7709 -7889 -8089 -8149 -8189 -10209 -5190 -5890 -6510 -6790 -7290 -7510 -7710 -7890 -8090 -8150 -8190 -10210 -5186 -5886 -6786 -7286 -7506 -7706 -7886 -8086 -8126 -8146 -8186 -5193 -5893 -6513 -6793 -7293 -7513 -7713 -7893 -8093 -8153 -8193 -9413 -10213 -5192 -5892 -6512 -6792 -7292 -7512 -7712 -7892 -8092 -8152 -8192 -9412 -10212 -5195 -5895 -6515 -6795 -7295 -7515 -7715 -7895 -8095 -8155 -8195 -9415 -10215 -5191 -5891 -6511 -6791 -7291 -7511 -7711 -7891 -8091 -8151 -8191 -9411 -10211 -5199 -5899 -6519 -6799 -7299 -7719 -7899 -8099 -8159 -8199 -9419 -10219 -5900 -6520 -6800 -7300 -7720 -7900 -8100 -8160 -8200 -9420 -10220 -5198 -5898 -6518 -6798 -7298 -7518 -7718 -7898 -8098 -8158 -8198 -9418 -10218 -5188 -5888 -6788 -7288 -7508 -7708 -7888 -8088 -8148 -8188 -10208 -5197 -5897 -6517 -6797 -7297 -7517 -7717 -7897 -8097 -8157 -8197 -9417 -10217 -5194 -5894 -6514 -6794 -7294 -7514 -7714 -7894 -8094 -8154 -8194 -9414 -10214 -5103 -5463 -5803 -6123 -6703 -7223 -7243 -7283 -7323 -7363 -7383 -7403 -7423 -9323 -5163 -5523 -5863 -6183 -6763 -7483 -7683 -7883 -7923 -7963 -7983 -8003 -8023 -9383 -5223 -5583 -5923 -6243 -6823 -7543 -7743 -8083 -8383 -8403 -8423 -8443 -9443 -306 -336 -346 -984 -5164 -5524 -5864 -6184 -6764 -7264 -7484 -7684 -7924 -7964 -7984 -8004 -8024 -9384 -251 -6185 358 -168 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 -4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -254 -6244 -6245 -1044 -5224 -5584 -5924 -6824 -7324 -7544 -7744 -8384 -8404 -8424 -8444 -9444 -129 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -958 -5138 -5498 -5838 -6738 -7238 -7478 -7498 -7538 -7558 -7578 -7618 -7658 -10158 324 -134 -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 319 1145 -9546 -9549 -9548 7645 1146 8625 6025 5325 -9547 7646 8626 5326 6026 1147 373 208 5327 -9551 -9550 -9558 8327 7647 6027 -183 -18 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -7426 -926 -5106 -5466 -5806 -6706 -7226 -7246 -7326 -7366 -7386 -9326 -925 -5105 -5465 -5805 -6125 -6705 -7225 -7245 -7325 -7365 -7385 -7405 -7425 -9325 -924 -5104 -5464 -5804 -6124 -6704 -7224 -7244 -7364 -7384 -7404 -7424 -9324 -248 -310 232 307 -42 -117 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 -2009 -2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -3501 -3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -7269 -7652 -1158 -5338 -5698 -6038 -6658 -6938 -7438 -7858 -8038 -8338 -8458 -8558 -8698 -10358 -1160 -1159 -5700 -6040 -6660 -6940 -7440 -7860 -8040 -8340 -8460 -8560 -8700 -9560 -10360 -5339 -5699 -6039 -6659 -6939 -7439 -7859 -8039 -8339 -8459 -8559 -8699 -9559 -10359 263 -73 -10128 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 119 -7249 114 -309 -304 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 -7359 -7360 -7247 -7248 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -1157 -5337 -5697 -6037 -6657 -6937 -7437 -7657 -7857 -8037 -8337 -8457 -8557 -8697 -9557 -10357 -870 -5050 -5410 -5750 -6390 -6430 -6470 -6490 -6530 -6550 -6570 -6610 -6650 -9270 -10070 -869 -6429 -1070 -5049 -5409 -5749 -6389 -6469 -6489 -6529 -6609 -6649 -9269 -10069 -10129 -5610 -7950 -8370 -8510 -9470 -10270 -9989 790 791 -10029 830 -8511 -7571 -5611 -8512 831 -7953 -10089 -10169 -7952 -1072 -10229 1030 1031 -10410 -9192 -7270 5010 -9990 -10411 -1071 -9233 -840 -320 -10030 -9232 -8371 -7951 5911 5011 -5612 -8372 -8552 -9472 -10272 5210 5910 -10230 -9432 -6571 5211 -8551 -9471 -10271 -5380 -5760 -5780 -5820 -5860 -5880 -5920 -5940 -6000 -9240 -10040 -7573 -7574 -7575 -10413 -10412 -6737 -6736 -5052 -339 -7954 -7955 -7956 -7957 -7958 -7959 -7960 235 -45 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -7555 -7496 -7492 -7497 -7495 -7493 -7494 -7556 -7557 -956 -5136 -5496 -5836 -7236 -7476 -7536 -7616 -7636 -7656 -9356 -10156 -957 -5137 -5497 -5837 -7237 -7477 -7537 -7617 -9357 -10157 -7554 -9455 -369 -8553 -8554 -8555 -8556 -7490 -7986 -7987 -7491 873 -10072 -9274 -953 -8513 -5133 -5493 -5833 -6733 -7233 -7473 -7533 -7553 -7613 -7653 -9353 -10153 -955 -954 -5135 -5495 -5835 -6735 -7235 -7475 -7535 -7615 -7655 -9355 -10155 -5134 -5494 -5834 -6734 -7234 -7474 -7534 -7614 -7654 -9354 -10154 -7329 -7489 -274 -6651 -6652 -6653 -6654 -6655 -6656 -1153 -5333 -5693 -6033 -6933 -7433 -7853 -8033 -8333 -8453 -8693 -9553 -10353 -1154 -1155 -5334 -5694 -6034 -6934 -7434 -7854 -8034 -8334 -8454 -8694 -9554 -10354 -1156 -5335 -5695 -6035 -6935 -7435 -7855 -8035 -8335 -8455 -8695 -9555 -10355 -5336 -5696 -6036 -6936 -7436 -7856 -8036 -8336 -8456 -8696 -8736 -9556 -10356 -322 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 272 -257 -1101 -1102 -1103 -1104 -1105 -1106 -1107 -1108 -82 -10309 -6301 -6302 -6303 -6304 -6305 -5281 -6881 -7141 -8141 -8581 -8661 -8701 -9501 -5282 -6882 -8142 -8582 -8662 -8702 -9502 -377 -5283 -5643 -5983 -6883 -7803 -8143 -8583 -8663 -8683 -9503 -349 -5284 -5644 -5984 -6884 -7804 -8584 -8664 -8684 -9504 -5285 -5645 -5985 -6885 -7805 -7985 -8405 -8585 -8665 -8685 -9505 -5286 -5646 -5986 -6886 -7806 -8406 -8586 -8686 -9506 -5287 -5647 -5987 -6887 -7387 -7807 -8287 -8407 -8687 -9507 -5288 -5648 -5988 -6888 -7388 -7808 -7988 -8288 -8408 -8688 -9508 -10308 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 177 -299 -371 -367 -8514 -8515 -8516 -8517 -8518 -8519 -8520 332 -142 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -1045 -5225 -5585 -5925 -6825 -7545 -7745 -7925 -8385 -8425 -8445 -9445 -1149 -5329 -5689 -6029 -6929 -7429 -7649 -7849 -8029 -8329 -8449 -8689 -10349 -1150 -1151 -5330 -5690 -6030 -6930 -7430 -7650 -7850 -8030 -8330 -8450 -8690 -10350 -5331 -5691 -6031 -6931 -7431 -7651 -7851 -8031 -8331 -8451 -8691 -10351 -1152 -5332 -5692 -6032 -6932 -7432 -7852 -8032 -8332 -8452 -8692 -9552 -10352 -376 -360 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 203 -13 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 -1435 -1436 -1437 -1438 -1439 -1440 79 -269 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -1054 -1053 -1057 -1056 -5234 -5594 -5934 -6834 -7334 -7754 -7934 -8234 -8414 -9454 -10254 -1055 -1059 -5233 -5593 -5933 -6833 -7333 -7753 -7933 -8233 -8413 -9453 -10253 -1058 -5237 -5597 -5937 -6837 -7337 -7757 -7937 -8237 -8417 -9457 -10257 -5236 -5596 -5936 -6836 -7336 -7756 -7936 -8236 -8416 -8436 -9456 -10256 -5235 -5595 -5935 -6835 -7335 -7755 -7935 -8235 -8415 -10255 -5239 -5599 -5939 -6839 -7339 -7759 -7939 -8239 -8419 -9459 -10259 -1060 -5238 -5598 -5938 -6838 -7338 -7758 -7938 -8238 -8418 -9458 -10258 -363 -5600 -6840 -7340 -7760 -7940 -8240 -8420 -9460 -10260 -8448 -950 -5130 -5490 -5830 -6730 -7230 -7470 -7530 -7550 -10150 -951 -952 889 -6731 -5131 -5491 -5831 -7231 -7471 -7531 -7551 -10151 -5132 -5492 -5832 -6732 -7232 -7472 -7532 -7552 -9352 -10152 -9290 -9298 5069 5769 6809 890 -929 970 969 971 -9291 -900 5770 6810 5070 6750 891 -5109 -5469 -5809 -6709 -7229 -7309 -7389 -9329 -928 -9371 -9373 5850 -7330 5150 -930 7730 5151 -9370 5849 5149 7729 -7929 -980 6749 -10170 -9372 -931 5851 -6431 -7271 -6491 7731 -5440 -6400 -6720 -6760 -6780 -6820 -6900 -9300 -10100 -10090 -9292 5771 5071 6811 6751 -5108 -5468 -5808 -6708 -7228 -7308 -7428 -9328 -927 -313 -5110 -5470 -5810 -6710 -7310 -7390 -9330 -10130 -5520 -6480 -7700 -7740 -7820 -9380 -10180 -5111 -5471 -5811 -6711 -7311 -7331 -7391 -9331 -10131 832 -5107 -5467 -5807 -6707 -7227 -7307 -7427 -9327 334 -303 -10031 1032 -144 968 7 311 -10231 -9433 5912 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -1047 -9369 7468 5148 5848 -7928 -8028 7728 -5588 -197 -121 -5227 -5587 -5927 -6827 -7547 -7747 -7927 -8227 -8447 -9447 -1046 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 201 209 5081 196 781 5301 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -5586 -7746 -5226 -5926 -6826 -7546 -7926 -8386 -8446 -9446 -11 784 -19 -6 -9182 9181 782 5021 5121 5181 5341 -1081 -881 207 -361 -364 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 -1397 -1398 -1399 -1400 -9185 5124 5264 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1282 -1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -9183 783 5122 5022 5182 5262 5342 5302 -882 -5261 -6281 -6861 -7121 -7581 -8121 -8601 -8641 -9481 9482 -5061 -6081 -6681 -6721 -6781 -6901 -6941 -9281 -17 -9184 5123 5183 5263 5023 5303 -5062 -6082 -6722 -6782 -6862 -6902 -6942 -9282 -298 -276 -9297 -289 -1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 108 286 -96 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 87 -277 -6712 -6713 -6714 -6715 -6716 -6717 -6718 -6719 288 -98 888 -3121 -3122 -3123 -3124 -3125 -3126 -3127 -3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 84 -9289 6728 5068 5768 6808 6748 283 -93 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -7486 -986 -5166 -5526 -5866 -6766 -7686 -7966 -8026 -9386 -985 -9385 -5165 -5525 -5865 -6765 -7485 -7685 -7965 -8005 -8025 -340 988 -9389 7488 5868 5168 -1048 -7748 7908 7688 -808 -1148 -305 76 949 1049 6768 280 316 200 -5228 -5928 -6828 -7548 -8228 -9448 -10248 9449 326 -4988 -5368 -5428 -5488 -5508 -5528 -5568 -5688 -9208 -10008 -5328 -6028 -6928 -7648 -7848 -8328 -10348 10347 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -266 -10148 5829 5129 7529 329 6729 7469 -989 7549 -1109 10149 -5589 -7989 -809 -5509 6829 -9450 5929 5229 8229 7749 -90 -126 -999 -998 -10 -308 -136 -9288 967 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 10188 -139 -5169 -5529 -5869 -6769 -7689 -7909 -10189 -990 -992 -1000 -995 -996 -997 -994 -993 -991 -5289 -5649 -5989 -6889 -7809 -8289 -8409 -9509 -4989 -5369 -5429 -5489 -5569 -9209 -10009 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 148 153 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 -3698 -3699 -3700 -987 -5179 -5539 -5879 -6779 -7699 -7919 -7999 -9399 -10199 -5178 -5538 -5878 -6778 -7698 -7918 -7998 -9398 -10198 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 -1375 -1376 -1377 -1378 -1379 -1380 -7332 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 -3897 -3898 -3899 -3900 887 -9368 7467 5847 5147 7727 7847 -7487 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 174 -10310 -5170 -5530 -5870 -6770 -7690 -7910 -7930 -7990 -9390 -10190 -5172 -5532 -5872 -6772 -7692 -7912 -7932 -7992 -9392 -10192 -5540 -7920 -8000 -9400 -10200 -5175 -5535 -5875 -6775 -7695 -7915 -7995 -9395 -10195 -5176 -5536 -5876 -6776 -7696 -7916 -7996 -8016 -9396 -10196 -5177 -5537 -5877 -6777 -7697 -7917 -7997 -9397 -10197 -5174 -5534 -5874 -6774 -7694 -7914 -7994 -9394 -10194 -5173 -5533 -5873 -6773 -7693 -7913 -7993 -9393 -10193 -5171 -5531 -5871 -6771 -7691 -7911 -7931 -7991 -9391 -10191 -338 -343 -5167 -5527 -5867 -6767 -7687 -7907 -8027 -9387 9388 6727 5067 5767 6807 6927 6747 -341 -342 -218 351 259 362 378 -161 8183 1143 -69 -172 1050 -188 -4381 -4382 -4383 -4384 -4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 190 -9544 7643 1144 8623 6343 9543 8723 -963 5323 -823 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -4601 -4602 -4603 -4604 -4605 -4606 -4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 132 -10249 -9451 5230 5930 8230 7750 6830 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -9545 7644 8624 5324 -5143 -5503 -5843 -6163 -6743 -7463 -7703 -7783 -7823 -7843 -9363 -5003 -5363 -5723 -5763 -5823 -5883 -5963 -6003 -6023 -9223 -236 -327 844 5024 -10043 6144 6284 6344 5486 806 216 -9207 4986 5366 5626 807 -10323 5686 -820 -815 -818 -816 -817 -812 -26 191 210 223 -9210 5487 5567 5367 4987 5687 -819 -212 -814 -813 10007 -811 -810 5507 5427 1124 226 -5420 -5480 -5580 -5620 -5660 -9220 -10020 -4995 -5375 -5415 -5435 -5475 -5515 -5575 -5615 -5655 -9215 -10015 -4998 -5378 -5418 -5438 -5478 -5518 -5578 -5618 -5658 -9218 -10018 -4996 -5376 -5416 -5436 -5476 -5516 -5576 -5616 -5656 -5676 -9216 -10016 -4997 -5377 -5417 -5437 -5477 -5517 -5577 -5617 -5657 -9217 -10017 -4992 -5372 -5412 -5432 -5472 -5512 -5572 -5592 -5652 -9212 -10012 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 28 -1 -20 -33 8410 9510 220 -4999 -5379 -5419 -5439 -5479 -5519 -5579 -5619 -5659 -9219 -10019 -5411 -5413 -5414 -4994 -5374 -5434 -5474 -5514 -5574 -5614 -5654 -9214 -10014 -4993 -5373 -5433 -5473 -5513 -5573 -5613 -5653 -9213 -10013 -222 -4991 -5371 -5431 -5511 -5571 -5591 -5651 -9211 -10011 -4990 -5370 -5430 -5510 -5570 -5590 -5650 -10010 217 213 7624 8604 8724 5304 6324 -36 -215 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 -1190 -1191 -1192 -1193 -1194 -1195 -1196 -1197 -1198 -1199 -1200 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 1110 -30 -224 -221 10250 -27 -23 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -9511 5990 5290 8290 7810 1111 6890 -1761 -1762 -1763 -1764 -1765 -1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 211 -1051 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 31 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 22 9271 -9512 5991 5291 7811 8291 6891 -21 805 -5231 -5931 -6831 -7751 -8231 -8411 -10251 -1052 -8412 871 6391 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 -1589 -1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 63 60 -9206 5485 5625 5365 4985 5685 -5232 -5932 -6832 -7752 -8232 -9452 -10252 -9272 5751 5051 6471 6531 872 6611 -5054 -5053 -250 -792 9332 -10071 -9273 5752 6532 -794 -793 -6164 -6165 -5012 -5072 -5152 -5212 -5292 -9992 -796 -797 -799 -795 -798 9991 932 -5014 -5074 -5154 -5214 -5294 -9194 -9994 -5013 -5073 -5153 -5213 -5293 -9993 -964 -5156 -5016 -5056 -5076 -5216 -5296 -5316 -9196 -9996 -5017 -5057 -5077 -5157 -5217 -5297 -9197 -9997 -5019 -5059 -5079 -5159 -5219 -5299 -9999 -5015 -5055 -5075 -5155 -5215 -5295 -9195 -9995 -5018 -5058 -5078 -5158 -5218 -5298 -9198 -9998 -9333 -6472 6432 -972 5812 7312 -892 -5144 -5504 -5844 -6744 -7464 -7784 -7824 -7844 -9364 -5852 -6752 -7732 -7812 -10172 10171 -973 -974 -979 -978 -977 -976 -975 -5772 -6392 -6812 -6892 -10092 -898 -893 -894 -896 -897 10091 -895 -899 -6753 -5853 -6473 -7733 -7813 -10173 -5854 -6474 -6754 -7734 -7814 -9374 -10174 -5859 -6479 -6759 -7739 -7819 -9379 -10179 -5858 -6478 -6758 -7738 -7818 -9378 -10178 -5857 -6477 -6757 -7737 -7817 -9377 -10177 -5856 -6476 -6756 -7736 -7816 -7836 -9376 -10176 -5855 -6475 -6755 -7735 -7815 -9375 -10175 -5778 -6398 -6818 -6898 -10098 -6895 -5773 -6393 -6813 -6893 -9293 -10093 -5774 -6394 -6814 -6894 -9294 -10094 -5776 -6396 -6816 -6896 -6916 -9296 -10096 -5777 -6397 -6817 -6897 -10097 -5775 -6395 -6815 -9295 -10095 -5779 -6399 -6819 -6899 -9299 -10099 -9519 -9513 9473 1073 -9474 -1033 -833 -933 6573 -1113 -5913 -6533 -7313 -8293 -10233 -1035 -1034 -1036 -1037 -1039 -1038 -1040 10232 -5753 -5813 -5993 -10033 -836 -834 -837 -835 -839 -838 10032 -6433 -7393 -10133 -936 -937 -938 -940 -939 10132 -934 -935 -6613 -10313 -1114 -1115 -1118 -1120 -1116 -1119 -6534 -6574 -5915 -6535 -7315 -8295 -9435 -10235 -5914 -7314 -8294 -9434 -10234 -5916 -6536 -7316 -8296 -9436 -10236 -5917 -6537 -7317 -8297 -10237 -5919 -6539 -7319 -8299 -9439 -10239 -5918 -6538 -7318 -8298 -9438 -10238 -6540 -7320 -8300 -9440 -10240 -5756 -5816 -5996 -6016 -9236 -10036 -5754 -5814 -5994 -9234 -10034 -5757 -5817 -5997 -9237 -10037 -5999 -5755 -5815 -5995 -9235 -10035 -5759 -5819 -10039 -5758 -5818 -5998 -10038 -6436 -7396 -7416 -9336 -10136 -6437 -7397 -9337 -10137 -6438 -7398 -9338 -10138 -6440 -7400 -9340 -10140 -6439 -7399 -9339 -10139 -6434 -7394 -9334 -10134 -6435 -7395 -9335 -10135 -6614 -9514 -10314 -6615 -9515 -10315 -1117 -6618 -9518 -10318 -6620 -9520 -10320 -6616 -8676 -9516 -10316 -6619 -10319 -312 7392 10414 -6617 -9517 -10317 -375 1112 -874 -1074 10415 -10311 5992 8292 6612 10312 -10074 10073 -876 -878 -877 -875 -879 -880 -10274 10273 -1080 -1079 -1078 -1075 -1077 -1076 10416 -6576 -9276 -10076 -6578 -9278 -10078 10418 -6577 -9277 -10077 -6575 -9275 -10075 -6579 -9279 -10079 -6580 10419 -9280 -10080 10420 -9480 -10280 -9479 -10279 -9478 -10278 -9475 -10275 -9477 -10277 10417 -9476 -10276 -1136 -9536 -10336 -1442 -2279 -2439 -9040 -2641 -9741 -2647 -2644 -149 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 130 -2643 -2642 -9662 -3807 -2645 -2648 -3805 -2479 -2646 -3803 -3802 -3804 -3801 56 -246 -6083 -6084 -6085 -883 -884 -5063 -5423 -6723 -6783 -6863 -6903 -6923 -9283 -281 -5064 -5424 -5764 -6724 -6864 -6904 -6924 -9284 -2427 -2436 -2433 -2429 -2430 -2431 -2432 -2437 -2434 -2435 -2438 -3806 -2379 -1302 -8852 -2365 -2362 -2363 -2426 -2422 -442 -2262 -2282 -2322 -2382 -2442 -2462 -2502 -8842 -9642 -2261 -2428 -383 -1303 -1443 -8783 -9583 -459 -2278 -541 -2299 -2339 -2399 -2459 -2519 -8859 -9659 -3421 -3761 -8941 -2425 445 -9644 -8846 -10385 -1305 -8847 -2145 -1445 -4265 -425 -545 -8848 -384 -385 -745 -405 -505 -605 -685 -725 -765 -544 -625 -565 -441 -382 -10384 -1985 -2085 -2205 -2245 -8825 -9625 -3425 -3765 -8945 -9745 -1304 -1444 -8784 -9584 -8785 -9585 -2845 -3385 -3625 -4225 -4645 -4745 -4885 -4965 -9145 -9945 -1605 -1645 -1665 -1725 -1745 -1785 -1805 -1845 -1865 -1905 -8805 -9605 -2605 -2885 -3165 -3205 -3225 -3265 -3285 -3305 -3325 -3345 -8905 -9705 -2705 -2985 -3485 -3905 -4085 -4285 -4305 -4345 -9005 -9805 -2785 -3065 -3565 -3985 -4165 -4465 -4585 -4685 -4785 -9085 -9885 -2825 -3105 -3605 -4025 -4205 -4505 -4625 -4725 -4865 -9125 -9925 -2865 -3145 -3645 -4065 -4245 -4545 -4665 -4765 -4905 -9165 -9965 -3424 -3764 -8944 -9744 -543 -4445 -9025 -9825 -3445 -3965 -8965 -9765 -2281 -2321 -2361 -2381 -2421 -2441 -2461 -2501 -9641 -8841 -8782 -9582 -10383 -3423 -3763 -8943 -9743 -542 -9761 -9763 -9028 -9821 -9861 -10382 -3422 -3762 -8942 -9742 -10381 -447 -2267 -2287 -2327 -2367 -2387 -2447 -2467 -2507 -9647 -458 -448 -450 -2298 -2338 -2378 -2398 -2458 -2478 -2518 -8858 -9658 -2268 -2288 -2328 -2368 -2388 -2448 -2468 -2508 -9648 -457 -452 -454 -455 -456 -453 -451 -449 -631 -632 -2270 -2290 -2330 -2370 -2390 -2450 -2470 -2510 -8850 -9650 -2277 -2297 -2337 -2377 -2397 -2457 -2477 -2517 -8857 -9657 -635 -633 -2272 -2292 -2332 -2372 -2392 -2452 -2472 -2512 -9652 -2274 -2294 -2334 -2374 -2394 -2454 -2474 -2514 -8854 -9654 -2275 -2295 -2335 -2375 -2395 -2455 -2475 -2515 -8855 -9655 -2276 -2296 -2336 -2376 -2396 -2456 -2476 -2516 -8856 -9656 -2273 -2293 -2333 -2373 -2393 -2453 -2473 -2513 -8853 -9653 -2271 -2291 -2331 -2371 -2391 -2451 -2471 -2511 -8851 -9651 -2269 -2289 -2329 -2369 -2389 -2449 -2469 -2509 -8849 -9649 -3271 -4271 -4451 -4471 -4511 -4551 -9031 -9831 -3272 -4272 -4452 -4472 -4512 -4552 -9032 -9832 -634 -3275 -4275 -4455 -4475 -4515 -4555 -9035 -9835 -636 -637 -640 -638 -3273 -4273 -4453 -4473 -4513 -4553 -9033 -9833 -9681 -9073 -8892 -8891 -8972 -8971 -3274 -4274 -4454 -4474 -4514 -4554 -9034 -9834 -3276 -4276 -4456 -4476 -4516 -4556 -9036 -9836 -639 -3277 -4277 -4457 -4477 -4517 -4557 -9037 -9837 -3280 -4280 -4460 -4480 -4520 -4560 -9840 -3278 -4278 -4458 -4478 -4518 -4558 -9038 -9838 -3279 -4279 -4459 -4479 -4519 -4559 -9039 -9839 -9075 -2286 2423 443 623 -523 -643 -8844 -4503 -423 -743 -403 -503 -603 -683 -723 -763 -563 444 8843 -483 -9822 -9024 -703 -463 -583 -627 -626 -1663 -2323 -2903 -3163 -3443 -3463 -3483 -3523 -3543 -3563 -3603 -3623 -3643 -8923 -9723 -1783 -2443 -2743 -3283 -4123 -4283 -4563 -4583 -4623 -4643 -4663 -9043 -9843 -1983 -2083 -2143 -2203 -2243 -8823 -9623 -2843 -3383 -4223 -4743 -4883 -4963 -9143 -9943 -1603 -1643 -1723 -1743 -1803 -1843 -1863 -1903 -8803 -9603 -2603 -2883 -3203 -3223 -3263 -3303 -3323 -3343 -8903 -9703 -2703 -2983 -3903 -4083 -4263 -4303 -4343 -9003 -9803 -2783 -3063 -3983 -4163 -4463 -4683 -4783 -9083 -9883 -2823 -3103 -4023 -4203 -4723 -4863 -9123 -9923 -2863 -3143 -4063 -4243 -4543 -4763 -4903 -9163 -9963 -3963 -8963 -562 -9643 -8845 -2144 -4264 -2084 -2244 -424 -744 -404 -504 -604 -684 -724 -764 -8968 -2283 -3043 -8883 -9683 -2503 -4183 -4703 -9103 -9903 -2263 -2683 -8863 -9663 -462 -2383 -8983 -9783 -3267 -4267 -4447 -4467 -4507 -4547 -9027 -9827 -628 -3266 -4266 -4446 -4466 -4506 -4546 -9026 -9826 -629 -3202 -3442 -3902 -3962 -3982 -4022 -4062 -8962 -9762 -561 -3961 -1984 -2204 -8824 -9624 -2844 -3384 -3624 -4224 -4644 -4744 -4884 -4964 -9144 -9944 -1604 -1644 -1664 -1724 -1744 -1784 -1804 -1844 -1864 -1904 -8804 -9604 -2604 -2884 -3164 -3204 -3224 -3264 -3284 -3304 -3324 -3344 -8904 -9704 -2704 -2984 -3484 -3904 -4084 -4284 -4304 -4344 -9004 -9804 -2784 -3064 -3564 -3984 -4164 -4464 -4584 -4684 -4784 -9084 -9884 -2824 -3104 -3604 -4024 -4204 -4504 -4624 -4724 -4864 -9124 -9924 -2864 -3144 -3644 -4064 -4244 -4544 -4664 -4764 -4904 -9164 -9964 -4702 -1602 -2602 -2682 -2702 -2742 -2782 -2822 -2842 -2862 -8862 -3268 -4268 -4448 -4468 -4508 -4548 -9828 -3269 -4269 -4449 -4469 -4509 -4549 -9029 -9829 -630 -3201 -3441 -3901 -3981 -4021 -4061 -8961 -3270 -4270 -4450 -4470 -4510 -4550 -9030 -9830 -481 -9072 -2881 -2901 -2981 -3041 -3061 -3101 -3141 -8881 -480 -1620 -2620 -2660 -2700 -2720 -2760 -2800 -2840 -2860 -2880 -8880 -9680 -2681 -10387 -10386 -3820 -8866 -2684 663 -9862 -9064 2463 4443 -9066 547 -387 -427 -487 -9746 -8948 -567 -647 -507 -587 -687 -407 -607 -727 -747 -767 -467 -707 548 -468 -1307 -1447 -8787 -9587 -1987 -2087 -2147 -2207 -2247 -8827 -9627 -2887 -2907 -2987 -3047 -3067 -3107 -3147 -8887 -9687 -490 -3207 -3447 -3907 -3967 -3987 -4027 -4067 -8967 -9767 -568 -1787 -2747 -3287 -3527 -4127 -4287 -4567 -4587 -4627 -4647 -4667 -9047 -9847 -1647 -2607 -3167 -3227 -3307 -3327 -3347 -3387 -8907 -9707 -1727 -2687 -3467 -4087 -4167 -4187 -4207 -4227 -4247 -8987 -9787 -2787 -3567 -4687 -4787 -9087 -9887 -1607 -1667 -1747 -1807 -1847 -1867 -1907 -8807 -9607 -2707 -3487 -4307 -4347 -9007 -9807 -2827 -3607 -4727 -4867 -9127 -9927 -2847 -3627 -4747 -4887 -4967 -9147 -9947 -2867 -3647 -4767 -4907 -9167 -9967 -8867 -9667 -466 -4707 -9107 -9907 -705 -706 -388 -428 -9747 -8949 -10388 -488 -588 -648 -508 -688 -408 -608 -728 -748 -768 -1608 -2608 -2688 -2708 -2748 -2788 -2828 -2848 -2868 -8868 -9668 -2890 -2910 -2990 -3050 -3070 -3110 -3150 -8890 -9690 -492 -495 -491 -496 -494 -500 -498 -3208 -3448 -3908 -3968 -3988 -4028 -4068 -9768 -569 -570 -1606 -2266 -2606 -2686 -2706 -2746 -2786 -2826 -2846 -2866 -9666 -2505 -4185 -4705 -9105 -9905 -704 -1846 -2506 -3346 -4186 -4346 -4706 -4786 -4866 -4886 -4906 -9106 -9906 -702 -1308 -1448 -8788 -9588 -1988 -2088 -2148 -2208 -2248 -8828 -9628 -2888 -2908 -2988 -3048 -3068 -3108 -3148 -8888 -9688 -499 -1728 -3228 -3468 -4088 -4128 -4168 -4188 -4208 -4228 -4248 -8988 -9788 -1788 -3288 -3528 -4288 -4568 -4588 -4628 -4648 -4668 -9048 -9848 -1648 -3168 -3308 -3328 -3348 -3388 -8908 -9708 -3568 -4688 -4788 -9088 -9888 -1668 -1748 -1808 -1848 -1868 -1908 -8808 -9608 -3488 -4308 -4348 -9008 -9808 -3608 -4728 -4868 -9128 -9928 -3628 -4748 -4888 -4968 -9148 -9948 -3648 -4768 -4908 -9168 -9968 -2892 -2912 -2992 -3052 -3072 -3112 -3152 -9692 -493 -2895 -2915 -2995 -3055 -3075 -3115 -3155 -8895 -9695 -497 -2891 -2911 -2991 -3051 -3071 -3111 -3151 -9691 -2896 -2916 -2996 -3056 -3076 -3116 -3156 -8896 -9696 -2894 -2914 -2994 -3054 -3074 -3114 -3154 -8894 -9694 -2900 -2920 -3000 -3060 -3080 -3120 -3160 -8900 -9700 -2898 -2918 -2998 -3058 -3078 -3118 -3158 -8898 -9698 -3209 -3449 -3909 -3969 -3989 -4029 -4069 -8969 -9769 -571 -577 -578 -3210 -3450 -3910 -3970 -3990 -4030 -4070 -8970 -9770 -575 -576 -4078 -573 -2504 -4184 -4704 -9104 -9904 -1842 -3342 -4182 -4342 -4782 -4862 -4882 -4902 -9102 -9902 -701 -2899 -2919 -2999 -3059 -3079 -3119 -3159 -8899 -9699 -2893 -2913 -2993 -3053 -3073 -3113 -3153 -8893 -9693 -2897 -2917 -2997 -3057 -3077 -3117 -3157 -8897 -9697 -3211 -3451 -3911 -3971 -3991 -4031 -4071 -9771 -579 -572 -3980 -580 -574 -3217 -3457 -3917 -3977 -3997 -4037 -4077 -8977 -9777 -3979 -3218 -3458 -3918 -3978 -3998 -4038 -8978 -9778 -3215 -3455 -3915 -3975 -3995 -4035 -4075 -8975 -9775 -3216 -3456 -3916 -3976 -3996 -4036 -4076 -8976 -9776 -3213 -3453 -3913 -3973 -3993 -4033 -4073 -8973 -9773 -67 -1841 -3341 -4181 -4341 -4701 -4781 -4861 -4881 -4901 -9901 -9101 -3219 -3459 -3919 -3999 -4039 -4079 -8979 -9779 -3212 -3452 -3912 -3972 -3992 -4032 -4072 -9772 -3220 -3460 -3920 -4000 -4040 -4080 -8980 -9780 -3214 -3454 -3914 -3974 -3994 -4034 -4074 -8974 -9774 -8928 527 -9726 -8932 -8933 -9724 3427 -521 -522 113 -1661 -3161 -3461 -3481 -3521 -3541 -3561 -3601 -3621 -3641 -9721 -8921 -1662 -2902 -3162 -3462 -3482 -3522 -3542 -3562 -3602 -3622 -3642 -8922 -9722 667 -9866 -9068 -9071 -9069 3767 665 664 666 3547 9108 -9864 -465 -585 2465 -9863 -9065 -464 -584 2464 -9865 -9067 -9070 -9074 -586 708 -2265 -2685 -2745 -8865 -9665 -2385 -3465 -4125 -8985 -9785 9823 -2264 -2744 -8864 -9664 -2384 -3464 -4124 -8984 -9784 -1726 -2386 -3226 -3466 -4086 -4126 -4166 -4206 -4226 -4246 -8986 -9786 -9109 -528 3808 -55 -582 -4122 -581 -9782 -624 -61 -3428 -3548 -9728 9727 -540 -535 -539 -537 -538 -536 -531 -534 -532 -533 -529 -530 526 58 -1722 -3222 -4082 -4162 -4202 -4222 -4242 -8982 -1721 -3221 -4081 -4121 -4161 -4201 -4221 -4241 -9781 -8981 -2424 -4444 -9824 150 154 -1320 -1680 -3180 -3440 -3480 -3500 -3540 -3560 -3580 -3620 -3640 -3660 -8940 -9740 -1315 -1675 -3175 -3435 -3475 -3495 -3535 -3555 -3575 -3615 -3635 -3655 -8935 -9735 -1319 -1679 -3179 -3439 -3479 -3499 -3539 -3559 -3579 -3619 -3639 -3659 -8939 -9739 -1317 -1677 -3177 -3437 -3477 -3497 -3537 -3557 -3577 -3617 -3637 -3657 -8937 -9737 -1678 -1318 -3178 -3438 -3478 -3498 -3538 -3558 -3578 -3618 -3638 -3658 -8938 -9738 -1316 -1676 -3176 -3436 -3476 -3496 -3536 -3556 -3576 -3616 -3636 -3656 -8936 -9736 -1311 -1671 -3171 -3431 -3471 -3491 -3531 -3551 -3571 -3611 -3631 -3651 -8931 -9731 -1310 -1314 -1674 -3174 -3434 -3474 -3494 -3534 -3554 -3574 -3614 -3634 -3654 -8934 -9734 -1312 -1672 -3172 -3432 -3472 -3492 -3532 -3552 -3572 -3612 -3632 -3652 -9732 -3533 -1313 -1673 -3173 -3433 -3473 -3493 -3553 -3573 -3613 -3633 -3653 -9733 -1309 -1669 -2909 -3169 -3429 -3469 -3489 -3529 -3549 -3569 -3609 -3629 -3649 -8929 -9729 -1670 -3170 -3430 -3470 -3490 -3530 -3550 -3570 -3610 -3630 -3650 -8930 -9730 -9725 -8927 -2086 -2206 -426 1306 3546 -766 -115 1446 2649 -546 8947 -1986 -2146 -2246 -8826 -9626 386 -446 -1906 -3146 -3646 -4066 -4666 -4766 -4966 -9166 -9966 469 549 -649 -749 -669 -409 -589 -769 470 -670 -673 -3426 -3766 -8946 -486 -566 -646 -746 -406 -506 -606 -686 -726 8786 9586 -392 -400 -398 -397 -399 -396 -393 -394 -395 -389 -390 -391 -1452 -1453 -2326 -2366 -2446 -2466 -9646 9645 -124 -145 -429 -8870 -10389 -3809 -3149 -489 -709 -461 8869 -9748 -8950 -689 -609 -509 -729 -1789 -2749 -3289 -4129 -4289 -4569 -4589 -4629 -4649 -4669 -9049 -9849 -2849 -3389 -4229 -4749 -4889 -4969 -9149 -9949 -1449 -1809 -2149 -3049 -3309 -3769 -4309 -4689 -4709 -4729 -4769 -9869 -672 -671 -1460 -680 -677 -2155 -678 -1450 -2150 -2160 -674 -676 -679 -4580 -1609 -1649 -1729 -1749 -1849 -1869 -1909 -8809 -9609 -2689 -3229 -4089 -4169 -4189 -4209 -4249 -8989 -9789 -2249 -2869 -4909 -9169 -9969 -430 -9669 -8871 -10390 -3770 -3810 -710 -1810 -3310 -4310 -4570 -4690 -4710 -4730 -4750 -4770 -9870 -675 -3771 -1451 -1813 -2153 -3313 -3773 -4313 -4573 -4693 -4713 -4733 -4753 -4773 -9873 -1454 -2154 -2886 -2906 -2986 -3046 -3066 -3106 -8886 -9686 -3206 -3446 -3906 -3966 -3986 -4026 -8966 -9766 564 -1786 -3286 -3526 -4286 -4566 -4586 -4626 -4646 -9046 -9846 -3386 -3626 -4746 -9146 -9946 -1646 -1666 -1746 -1806 -1866 -8806 -9606 -3166 -3306 -3326 -8906 -9706 -3486 -4306 -9006 -9806 -3566 -4686 -9086 -9886 -3606 -4726 -9126 -9926 -8792 -9592 -8800 -9600 -1458 -8798 -9598 -1457 -8797 -9597 -1459 -8799 -9599 -1456 -8796 -9596 -8793 -9593 -8794 -9594 -1455 -8795 -9595 -8789 -9589 -8790 -9590 -8791 -9591 -8926 525 2364 -1989 -2089 -2209 -8829 -9629 -2889 -2989 -3069 -3109 -8889 -9689 -3349 -4349 -4789 -4869 -9909 -712 -717 -720 9908 -715 -713 -716 -711 -714 -719 -718 -1601 -2601 -2701 -2741 -2781 -2821 -2841 -2861 -9661 -8861 -2789 -3329 -9089 -9889 -2709 -9009 -9809 -2609 -8909 -9709 -2829 -9129 -9929 -552 -1812 -2152 -3312 -3772 -4312 -4572 -4692 -4712 -4732 -4752 -4772 -9872 -2157 -3776 3964 -1811 -2151 -3311 -4311 -4571 -4691 -4711 -4731 -4751 -4771 -9871 -1820 -3320 -3780 -4320 -4700 -4720 -4740 -4760 -4780 -9080 -9880 -1817 -3317 -3777 -4317 -4577 -4697 -4717 -4737 -4757 -4777 -9077 -9877 -2158 -4719 -4578 -1818 -3318 -3778 -4318 -4698 -4718 -4738 -4758 -4778 -9078 -9878 -1814 -3314 -3774 -4314 -4574 -4694 -4714 -4734 -4754 -4774 -9874 -3775 -1816 -2156 -3316 -4316 -4576 -4696 -4716 -4736 -4756 -4776 -9076 -9876 -1819 -2159 -3319 -3779 -4319 -4579 -4699 -4739 -4759 -4779 -9079 -9879 -1990 -2090 -2210 -2250 -8830 -9630 -431 -432 -1850 -3350 -4190 -4350 -4790 -4870 -4890 -4910 -9110 -9910 4708 -1815 -3315 -4315 -4575 -4695 -4715 -4735 -4755 -4775 -9875 -433 -102 3444 524 -137 -141 -143 -484 -644 8964 9764 -123 -25 -100 -116 -120 -122 2325 3545 9749 -2650 -1852 -3352 -3812 -4192 -4352 -4792 -4872 -4892 -4912 -9112 -9912 -1857 -3357 -3817 -4197 -4357 -4797 -4877 -4897 -4917 -9117 -9917 -1860 -3360 -4200 -4360 -4800 -4880 -4900 -4920 -9120 -9920 -1855 -3355 -3815 -4195 -4355 -4795 -4875 -4895 -4915 -9115 -9915 -1853 -3353 -3813 -4193 -4353 -4793 -4873 -4893 -4913 -9113 -9913 -1856 -3356 -3816 -4196 -4356 -4796 -4876 -4896 -4916 -9116 -9916 -1851 -3351 -3811 -4191 -4351 -4791 -4871 -4891 -4911 -9111 -9911 -1854 -3354 -3814 -4194 -4354 -4794 -4874 -4894 -4914 -9114 -9914 -1859 -3359 -3819 -4199 -4359 -4799 -4879 -4899 -4919 -9119 -9919 -1858 -3358 -3818 -4198 -4358 -4798 -4878 -4898 -4918 -9118 -9918 -642 -645 -170 -742 -2652 -8952 -9752 -554 -553 -555 -439 668 -436 -437 -434 662 -440 -1991 -2091 -2211 -2251 -8831 -9631 -1992 -2092 -2212 -2252 -8832 -9632 -435 -438 -185 -186 -1993 -2093 -2213 -2253 -8833 -9633 -8925 2324 8924 3544 -2284 -2904 -3044 -8884 -9684 -2444 -3524 -4564 -9044 -9844 -550 -2651 -2656 -2657 -109 -159 -187 -181 -34 -151 -1782 -3282 -4282 -4562 -4582 -4622 -4642 -4662 -9042 -9842 -2445 -3525 -4565 -9045 -9845 -4561 -3382 -4742 -4962 -9142 -9942 -741 -2654 -8954 -9754 -558 -557 -556 -559 -2653 -8953 -9753 -2655 -8955 -9755 -1999 -2099 -2219 -2259 -8839 -9639 -9867 9868 3768 -1996 -2096 -2216 -2256 -8836 -9636 -1997 -2097 -2217 -2257 -8837 -9637 -1994 -2094 -2214 -2254 -8834 -9634 -9063 -64 -2000 -2100 -2220 -2260 -8840 -9640 -1995 -2095 -2215 -2255 -8835 -9635 -1998 -2098 -2218 -2258 -8838 -9638 -621 -482 2285 2905 -118 -9750 -551 -560 85 81 8885 -3381 -4641 -4741 -4961 -9941 -9141 -2658 -8958 -9758 -8957 -9757 -8956 -9756 -2659 -8959 -9759 171 175 -3261 -4261 -4441 -4461 -4501 -4541 -9021 -2882 -2982 -3042 -3062 -3102 -3142 -8882 -9682 485 -8951 -9751 -8960 -9760 -762 -179 -86 -91 3045 -95 -97 -99 9685 -1902 -2242 -4542 -4762 -9162 -9962 -169 -641 -1781 -3281 -4281 -4581 -4621 -4661 -9841 -9041 -761 -1901 -2241 -4761 -9961 -9161 -54 -180 46 37 -610 -612 -613 -619 -614 -615 -611 -620 -616 -77 -1757 -618 -617 -9011 -1750 -2710 -4090 -4290 -9010 -9810 -1752 -2712 -4092 -4292 -9012 -9812 -1753 -2713 -4093 -4293 -9013 -9813 -9814 -1759 -2719 -4099 -4299 -9019 -9819 -1754 -2714 -4094 -4294 -9014 -1755 -2715 -4095 -4295 -9015 -9815 -1751 -2711 -4091 -4291 -9811 -1760 -4100 -4300 -9020 -9820 -1756 -2716 -4096 -4296 -9016 -9816 -2717 -2718 157 72 83 -1758 -4098 -4298 -9018 -9818 -4097 -4297 -9017 -9817 -156 -146 106 173 103 152 -402 -1642 -1742 -1802 -1862 -8802 -9602 -8872 4670 650 770 -9051 9050 2750 -9171 -690 -730 -510 9170 2870 -2790 -3330 -4170 -4590 -9090 -9890 -1870 -2830 -4210 -4630 -9130 -9930 -1650 -2610 -3230 -3290 -3390 -8910 -9710 4671 651 771 -9850 -9052 -10391 -9970 -9172 -511 -691 -731 -1651 -2611 -3231 -3291 -3331 -3391 -8911 -9711 -2791 -4171 -4591 -9091 -9891 -1871 -2831 -4211 -4631 -9131 -9931 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -9175 -9177 -776 -1916 -2876 -4256 -4976 -9176 -9976 -777 -1917 -2877 -4257 -4977 -9977 -4658 4970 750 -9151 -410 2850 9150 4650 -1610 -1730 -1790 -1910 -8810 -9610 -4971 -751 -2851 -4231 -4651 -9951 -759 -758 9950 -753 -757 -755 -754 -756 -760 -752 -2859 -3399 -4239 -4659 -4979 -9159 -9959 -2858 -3398 -4238 -4978 -9158 -9958 -2853 -3393 -4233 -4653 -4973 -9153 -9953 -2857 -3397 -4237 -4657 -9157 -9957 -2855 -3395 -4235 -4655 -4975 -9155 -9955 -2854 -3394 -4234 -4654 -4974 -9154 -9954 -2856 -3396 -4236 -4656 -9156 -9956 -3400 -4240 -4660 -4980 -9160 -9960 -2852 -3392 -4232 -4652 -4972 -9152 -9952 4230 -111 590 -8991 8990 2690 4130 4250 8811 411 -8812 1791 -401 1911 -32 -1641 -1741 -1801 -1861 -9601 -8801 -29 591 -9790 -8992 -8993 1731 4131 4251 -8995 513 -9712 -8914 -10393 -773 -502 -501 -41 -107 -682 -733 -10392 -1913 -2873 -4253 -9173 -9973 -779 -774 -1982 -3262 -3302 -3322 -8902 -9702 -1981 -3301 -3321 -9701 -8901 -681 -4462 -4682 -9082 -9882 -1873 -2833 -4213 -4633 -9133 -9933 -1919 -2879 -4259 -9179 -9979 -1914 -2874 -4254 -9174 -9974 -780 -775 -105 -4681 -9881 -9081 -165 -176 -1920 -4260 -9180 -9980 -1915 -2875 -4255 -9975 -778 -1918 -2878 -4258 -9178 -9978 473 -9672 -8874 472 471 2613 -9671 -8873 -9670 2691 2751 2871 1611 -475 -1615 -2615 -2695 -2755 -2795 -2835 -8875 -9675 -479 -478 -476 -1619 -2619 -2699 -2759 -2799 -2839 -8879 -9679 -1618 -2618 -2698 -2758 -2798 -2838 -8878 -9678 -1616 -2616 -2696 -2756 -2796 -2836 -8876 -9676 -477 -1617 -2617 -2697 -2757 -2797 -2837 -8877 -9677 -722 -2202 -4502 -4722 -9122 -9922 -52 -167 -2201 3333 693 -9892 -9094 -413 2793 -1613 -1653 -1733 -1793 -8813 -9613 -420 -419 -417 -415 -414 -1660 -1740 -1800 -1880 -8820 -9620 -1659 -1739 -1799 -1879 -8819 -9619 -418 -1657 -1737 -1797 -1877 -8817 -9617 -1655 -1735 -1795 -1875 -8815 -9615 -416 -1614 -1654 -1734 -1794 -1874 -8814 -9614 -1658 -1738 -1798 -1878 -8818 -9618 -1656 -1736 -1796 -1876 -8816 -9616 -3334 -3335 -3338 9093 -692 -2792 -3332 -4172 -4592 -9092 2753 653 -9852 -9054 652 3293 4593 -9851 -9053 -772 2752 -1912 -2872 -4252 -9972 9971 2754 474 654 -9673 -10394 9674 -9853 -9055 594 -9793 593 592 4134 2694 -9792 -8994 3233 4133 4173 2693 -9791 2692 4132 9134 734 -732 -9135 4634 2834 -694 -514 -721 4214 -1872 -2832 -4212 -4632 -9132 -9932 -2794 -4174 -4594 -9894 9893 -696 -695 -697 -700 -699 -698 -2614 -3234 -3294 -9714 -516 -515 9713 -517 -518 -520 -519 -4721 -9921 -9121 -35 8912 9612 -3336 -4176 -4596 -9096 -9896 -4175 -4595 -9095 -9895 -3337 -4177 -4597 -9097 -9897 -3340 -4180 -4600 -9100 -9900 -3339 -4179 -4599 -9099 -9899 -4178 -4598 -9098 -9898 -3236 -3296 -8916 -9716 -3235 -3295 -8915 -9715 -3237 -3297 -8917 -9717 -3238 -3298 -8918 -9718 -3240 -3300 -8920 -9720 -3239 -3299 -8919 -9719 -178 9621 512 412 10395 -422 421 -8913 3292 2612 3232 -9611 1652 1612 1792 1732 -595 -655 -735 10396 -2082 -2142 -8822 -9622 2081 2141 8821 24 -4135 -4215 -9795 -598 -599 -600 -596 -597 9794 -4635 -9855 -660 -659 -658 -657 -656 9854 -9935 -737 -736 -740 -739 9934 -738 10397 9802 601 661 -4138 -4218 -8998 -9798 -4139 -4219 -8999 -9799 -4140 -4220 -9000 -9800 10400 -4136 -4216 -8996 -9796 -4137 -4217 -8997 -9797 -4640 -9060 -9860 -4639 -9059 -9859 -4638 -9058 -9858 -4637 -9057 -9857 -4636 -9056 -9856 -9137 -9937 -9136 -9936 -9140 -9940 -9139 -9939 10399 -9138 -9938 10398 602 -9002 9001 -9062 9061 4301 -9801 4302 9022 622 -9023 4262 4442 155 -5483 -803 -4983 -5383 -5543 -5623 -5663 -5683 -9203 -219 -5484 -804 -4984 -5364 -5384 -5624 -5664 -5684 -9204 5385 9205 -10044 9224 845 10324 824 6145 6285 10045 5025 5725 -965 6345 -885 -1125 -9225 5824 5964 5004 5724 6024 6004 -5145 -5505 -5845 -6745 -7465 -7785 -7825 -7845 -9365 -5065 -5425 -5765 -6725 -6865 -6905 -6925 -9285 -287 -5305 -5665 -6005 -6325 -7625 -8605 -8725 -10325 242 -333 -225 6926 886 -9287 6726 5066 5766 6866 5426 9286 285 6746 966 -9367 7466 7786 5846 5146 7846 5506 9366 331 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3379437-1305460438/watcher-3379437-1305460438 -o /tmp/evaluation-result-3379437-1305460438/solver-3379437-1305460438 -C 2400 -W 1300 -M 7680 umsat HOME/instance-3379437-1305460438.cnf 

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.41 3.08 3.36 4/457 8260
/proc/meminfo: memFree=21585976/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=11776 CPUtime=0 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4194304 370 0 0 0 0 0 0 0 21 0 1 0 657644213 12058624 311 33554432000 4194304 4263832 140736733699280 18446744073709551615 47821831113411 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 2944 311 241 17 0 117 0

[startup+0.0381219 s]
/proc/loadavg: 1.41 3.08 3.36 4/457 8260
/proc/meminfo: memFree=21585976/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=12104 CPUtime=0.03 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4194304 470 0 0 0 3 0 0 0 21 0 1 0 657644213 12394496 411 33554432000 4194304 4263832 140736733699280 18446744073709551615 47821831275438 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 3026 411 242 17 0 199 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12104

[startup+0.101111 s]
/proc/loadavg: 1.41 3.08 3.36 4/457 8260
/proc/meminfo: memFree=21585976/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=12692 CPUtime=0.1 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4194304 634 0 0 0 10 0 0 0 21 0 1 0 657644213 12996608 526 33554432000 4194304 4263832 140736733699280 18446744073709551615 47821831335292 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 3173 526 242 17 0 346 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 12692

[startup+0.301076 s]
/proc/loadavg: 1.41 3.08 3.36 4/457 8260
/proc/meminfo: memFree=21585976/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=15056 CPUtime=0.29 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4194304 1249 0 0 0 29 0 0 0 22 0 1 0 657644213 15417344 1044 33554432000 4194304 4263832 140736733699280 18446744073709551615 4232249 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 3764 1044 242 17 0 937 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15056

[startup+0.701013 s]
/proc/loadavg: 1.41 3.08 3.36 4/457 8260
/proc/meminfo: memFree=21585976/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=21320 CPUtime=0.69 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4194304 3184 0 0 0 69 0 0 0 24 0 1 0 657644213 21831680 2401 33554432000 4194304 4263832 140736733699280 18446744073709551615 47821831186157 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 5330 2401 242 17 0 2503 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21320

[startup+1.50085 s]
/proc/loadavg: 1.41 3.08 3.36 5/458 8261
/proc/meminfo: memFree=21540092/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=29144 CPUtime=1.49 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4194304 5661 0 0 0 149 0 0 0 25 0 1 0 657644213 29843456 4109 33554432000 4194304 4263832 140736733699280 18446744073709551615 47821831335046 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 7286 4109 242 17 0 4459 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29144

[startup+3.10057 s]
/proc/loadavg: 1.41 3.08 3.36 5/458 8261
/proc/meminfo: memFree=21518020/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=47036 CPUtime=3.09 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4194304 11115 0 0 0 308 1 0 0 25 0 1 0 657644213 48164864 8026 33554432000 4194304 4263832 140736733699280 18446744073709551615 4227397 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 11759 8026 242 17 0 8932 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47036

[startup+6.30099 s]
/proc/loadavg: 1.62 3.10 3.37 5/458 8261
/proc/meminfo: memFree=21425524/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=88672 CPUtime=6.29 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 24603 0 0 0 625 4 0 0 25 0 1 0 657644213 90800128 19196 33554432000 4194304 4263832 140736733699280 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 22168 19196 248 17 0 19341 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88672

[startup+12.7008 s]
/proc/loadavg: 1.81 3.11 3.37 5/458 8262
/proc/meminfo: memFree=21354296/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=103508 CPUtime=12.69 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 28170 0 0 0 1264 5 0 0 25 0 1 0 657644213 105992192 22763 33554432000 4194304 4263832 140736733699280 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 25877 22763 248 17 0 23050 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103508

[startup+25.5005 s]
/proc/loadavg: 2.29 3.15 3.38 5/458 8262
/proc/meminfo: memFree=21232296/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=136144 CPUtime=25.49 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 36197 0 0 0 2541 8 0 0 25 0 1 0 657644213 139411456 30789 33554432000 4194304 4263832 140736733699280 18446744073709551615 4207568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 34036 30789 247 17 0 31209 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 136144

[startup+51.1008 s]
/proc/loadavg: 2.87 3.22 3.39 5/458 8290
/proc/meminfo: memFree=21081240/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=182852 CPUtime=51.09 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 47682 0 0 0 5097 12 0 0 25 0 1 0 657644213 187240448 42274 33554432000 4194304 4263832 140736733699280 18446744073709551615 4207568 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 45713 42274 247 17 0 42886 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 182852

[startup+102.318 s]
/proc/loadavg: 3.51 3.34 3.42 5/458 8318
/proc/meminfo: memFree=20863968/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=258552 CPUtime=102.31 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 66295 0 0 0 10213 18 0 0 25 0 1 0 657644213 264757248 60886 33554432000 4194304 4263832 140736733699280 18446744073709551615 4207764 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 64638 60886 247 17 0 61811 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 258552

[startup+162.301 s]
/proc/loadavg: 3.85 3.47 3.46 5/458 8320
/proc/meminfo: memFree=20565504/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=330764 CPUtime=162.29 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 84080 0 0 0 16206 23 0 0 25 0 1 0 657644213 338702336 78671 33554432000 4194304 4263832 140736733699280 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 82691 78671 248 17 0 79864 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 330764

[startup+222.301 s]
/proc/loadavg: 4.09 3.61 3.51 5/458 8321
/proc/meminfo: memFree=20267896/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=462168 CPUtime=222.29 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 116773 0 0 0 22197 32 0 0 25 0 1 0 657644213 473260032 111364 33554432000 4194304 4263832 140736733699280 18446744073709551615 4205586 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 115542 111364 248 17 0 112715 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 462168

[startup+282.301 s]
/proc/loadavg: 3.81 3.63 3.52 4/452 8340
/proc/meminfo: memFree=20165920/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=563288 CPUtime=282.3 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 141378 0 0 0 28189 41 0 0 25 0 1 0 657644213 576806912 135968 33554432000 4194304 4263832 140736733699280 18446744073709551615 4207643 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 140822 135968 248 17 0 137995 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 563288

[startup+342.301 s]
/proc/loadavg: 3.40 3.54 3.50 4/452 8341
/proc/meminfo: memFree=19905860/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=707624 CPUtime=342.3 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 176827 0 0 0 34178 52 0 0 25 0 1 0 657644213 724606976 171415 33554432000 4194304 4263832 140736733699280 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 176906 171415 248 17 0 174079 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 707624

[startup+402.301 s]
/proc/loadavg: 3.19 3.45 3.47 4/452 8343
/proc/meminfo: memFree=19628080/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=801808 CPUtime=402.3 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 199755 0 0 0 40171 59 0 0 25 0 1 0 657644213 821051392 194343 33554432000 4194304 4263832 140736733699280 18446744073709551615 4205616 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 200452 194343 248 17 0 197625 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 801808

[startup+462.301 s]
/proc/loadavg: 3.07 3.37 3.43 4/452 8354
/proc/meminfo: memFree=19464000/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=861096 CPUtime=462.31 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 214275 0 0 0 46167 64 0 0 25 0 1 0 657644213 881762304 208862 33554432000 4194304 4263832 140736733699280 18446744073709551615 4215075 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 215274 208862 248 17 0 212447 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 861096

[startup+522.3 s]
/proc/loadavg: 3.02 3.30 3.41 4/452 8355
/proc/meminfo: memFree=19321140/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=896444 CPUtime=522.31 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 222955 0 0 0 52165 66 0 0 25 0 1 0 657644213 917958656 217541 33554432000 4194304 4263832 140736733699280 18446744073709551615 4205586 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 224111 217541 248 17 0 221284 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 896444

[startup+582.3 s]
/proc/loadavg: 3.01 3.24 3.38 4/452 8357
/proc/meminfo: memFree=19166112/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=960168 CPUtime=582.31 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 238785 0 0 0 58160 71 0 0 25 0 1 0 657644213 983212032 233371 33554432000 4194304 4263832 140736733699280 18446744073709551615 4205700 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 240042 233371 248 17 0 237215 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 960168

[startup+642.3 s]
/proc/loadavg: 3.14 3.24 3.36 4/452 8361
/proc/meminfo: memFree=19020656/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1034776 CPUtime=642.32 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 255937 0 0 0 64155 77 0 0 25 0 1 0 657644213 1059610624 250523 33554432000 4194304 4263832 140736733699280 18446744073709551615 4224830 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 258694 250523 248 17 0 255867 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 1034776

[startup+702.3 s]
/proc/loadavg: 3.09 3.21 3.34 4/452 8363
/proc/meminfo: memFree=18864024/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1104872 CPUtime=702.31 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 273320 0 0 0 70150 81 0 0 25 0 1 0 657644213 1131388928 267906 33554432000 4194304 4263832 140736733699280 18446744073709551615 4205607 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 276218 267906 248 17 0 273391 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 1104872

[startup+762.318 s]
/proc/loadavg: 3.08 3.18 3.33 4/452 8365
/proc/meminfo: memFree=18705036/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1195564 CPUtime=762.33 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 295841 0 0 0 76146 87 0 0 25 0 1 0 657644213 1224257536 290427 33554432000 4194304 4263832 140736733699280 18446744073709551615 4207764 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 298891 290427 249 17 0 296064 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 1195564

[startup+822.301 s]
/proc/loadavg: 3.07 3.16 3.31 4/452 8366
/proc/meminfo: memFree=18559692/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1250424 CPUtime=822.31 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 309395 0 0 0 82140 91 0 0 25 0 1 0 657644213 1280434176 303981 33554432000 4194304 4263832 140736733699280 18446744073709551615 4207764 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 312606 303981 249 17 0 309779 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 1250424

[startup+882.301 s]
/proc/loadavg: 3.17 3.16 3.30 4/452 8368
/proc/meminfo: memFree=18421408/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1308288 CPUtime=882.31 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 323666 0 0 0 88136 95 0 0 25 0 1 0 657644213 1339686912 318250 33554432000 4194304 4263832 140736733699280 18446744073709551615 4207643 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 327072 318250 250 17 0 324245 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 1308288

[startup+942.301 s]
/proc/loadavg: 3.13 3.15 3.28 4/452 8369
/proc/meminfo: memFree=18290088/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1351508 CPUtime=942.32 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 334447 0 0 0 94133 99 0 0 25 0 1 0 657644213 1383944192 329031 33554432000 4194304 4263832 140736733699280 18446744073709551615 4205586 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 337877 329031 250 17 0 335050 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1351508

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

[startup+943.901 s]
/proc/loadavg: 3.12 3.14 3.28 4/452 8369
/proc/meminfo: memFree=18285500/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1352300 CPUtime=943.92 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 334666 0 0 0 94293 99 0 0 25 0 1 0 657644213 1384755200 329250 33554432000 4194304 4263832 140736733699280 18446744073709551615 4207630 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 338075 329250 250 17 0 335248 0
Current children cumulated CPU time (s) 943.92
Current children cumulated vsize (KiB) 1352300

[startup+945.5 s]
/proc/loadavg: 3.12 3.14 3.28 4/452 8369
/proc/meminfo: memFree=18281780/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1353224 CPUtime=945.52 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 334868 0 0 0 94453 99 0 0 25 0 1 0 657644213 1385701376 329452 33554432000 4194304 4263832 140736733699280 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 338306 329452 250 17 0 335479 0
Current children cumulated CPU time (s) 945.52
Current children cumulated vsize (KiB) 1353224

[startup+947.117 s]
/proc/loadavg: 3.12 3.14 3.28 4/452 8369
/proc/meminfo: memFree=18274464/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1353636 CPUtime=947.13 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 335003 0 0 0 94614 99 0 0 25 0 1 0 657644213 1386123264 329587 33554432000 4194304 4263832 140736733699280 18446744073709551615 253640557166 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 338409 329587 256 17 0 335582 0
Current children cumulated CPU time (s) 947.13
Current children cumulated vsize (KiB) 1353636

[startup+947.901 s]
/proc/loadavg: 3.12 3.14 3.28 4/452 8369
/proc/meminfo: memFree=18274464/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1353636 CPUtime=947.92 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 335003 0 0 0 94693 99 0 0 25 0 1 0 657644213 1386123264 329587 33554432000 4194304 4263832 140736733699280 18446744073709551615 4206694 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 338409 329587 256 17 0 335582 0
Current children cumulated CPU time (s) 947.92
Current children cumulated vsize (KiB) 1353636

[startup+948.101 s]
/proc/loadavg: 3.12 3.14 3.28 4/452 8369
/proc/meminfo: memFree=18272480/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=1353636 CPUtime=948.13 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 335003 0 0 0 94714 99 0 0 25 0 1 0 657644213 1386123264 329587 33554432000 4194304 4263832 140736733699280 18446744073709551615 4206832 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 338409 329587 256 17 0 335582 0
Current children cumulated CPU time (s) 948.13
Current children cumulated vsize (KiB) 1353636

[startup+948.217 s]
/proc/loadavg: 3.12 3.14 3.28 4/452 8369
/proc/meminfo: memFree=18272480/32951124 swapFree=56449224/67111528
[pid=8260] ppid=8258 vsize=337128 CPUtime=948.23 cores=5,7
/proc/8260/stat : 8260 (umsat) R 8258 8260 5445 0 -1 4202496 335004 0 0 0 94720 103 0 0 25 0 1 0 657644213 345219072 61040 33554432000 4194304 4263832 140736733699280 18446744073709551615 253640885354 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/8260/statm: 84282 60544 256 17 0 81455 0
Current children cumulated CPU time (s) 948.23
Current children cumulated vsize (KiB) 337128

Child status: 0
Real time (s): 948.228
CPU time (s): 948.254
CPU user time (s): 947.208
CPU system time (s): 1.04584
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1353636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 947.208
system time used= 1.04584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335006
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= 7
involuntary context switches= 1188

runsolver used 3.87641 second user time and 10.1265 second system time

The end

Launcher Data 

Begin job on node106 at 2011-05-15 13:53:58
IDJOB=3379437
IDBENCH=83436
IDSOLVER=1861
FILE ID=node106/3379437-1305460438
RUNJOBID= node106-1305460438-8221
PBS_JOBID= 13324871
Free space on /tmp= 73360 MiB

SOLVER NAME= UmSat 2011-05-12 (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F20.cnf
COMMAND LINE= umsat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3379437-1305460438/watcher-3379437-1305460438 -o /tmp/evaluation-result-3379437-1305460438/solver-3379437-1305460438 -C 2400 -W 1300 -M 7680  umsat HOME/instance-3379437-1305460438.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 3e5703cd522988fbb05dcac3c4dbbe9d
RANDOM SEED=446145805

node106.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.830
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.830
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	: 5226.20
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.830
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.830
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.830
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.830
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.75
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.830
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.830
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:     32951124 kB
MemFree:      21586256 kB
Buffers:        296068 kB
Cached:        6250260 kB
SwapCached:      27544 kB
Active:        2749468 kB
Inactive:      8357308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21586256 kB
SwapTotal:    67111528 kB
SwapFree:     56449224 kB
Dirty:           29108 kB
Writeback:           0 kB
AnonPages:     4541324 kB
Mapped:          20288 kB
Slab:           129292 kB
PageTables:      60400 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 123607404 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73340 MiB
End job on node106 at 2011-05-15 14:09:47