Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 6281 | 1802.76 | 1825.43 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb |
MD5SUM | 51e821dd343df6d9e97b4cdfcd83ec3f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1496 |
Best CPU time to get the best result obtained on this benchmark | 1800.25 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1496 |
Optimality of the best value was proved | NO |
Number of variables | 1996 |
Total number of constraints | 134 |
Number of constraints which are clauses | 18 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 116 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 135 |
Number of terms in the objective function | 1527 |
Biggest coefficient in the objective function | 22700 |
Number of bits for the biggest coefficient in the objective function | 15 |
Sum of the numbers in the objective function | 525423 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 525423 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.11/0.23 o 36590 0.22/0.37 o 36588 0.35/0.51 o 36583 0.48/0.64 o 36580 0.63/0.78 o 36578 0.77/0.92 o 36575 0.95/1.06 o 36572 1.03/1.20 o 36570 1.16/1.34 o 36567 1.32/1.48 o 36564 1.45/1.62 o 36562 1.59/1.76 o 36559 1.71/1.90 o 36556 1.86/2.04 o 34659 2.02/2.18 o 34656 2.12/2.32 o 34654 2.26/2.46 o 34651 2.40/2.60 o 34648 2.55/2.74 o 34646 2.68/2.94 o 34643 2.81/3.08 o 34640 3.04/3.22 o 34638 3.10/3.36 o 34635 3.23/3.51 o 34632 3.37/3.65 o 33697 3.50/3.78 o 33694 3.65/3.92 o 33692 3.78/4.06 o 33689 3.91/4.20 o 33686 4.12/4.34 o 33684 4.19/4.53 o 33681 4.33/4.67 o 33678 4.47/4.81 o 33676 4.60/4.95 o 33673 4.73/5.08 o 33670 4.87/5.22 o 33216 5.00/5.36 o 33213 5.24/5.50 o 33211 5.27/5.64 o 33208 5.41/5.78 o 33205 5.55/5.95 o 33203 5.69/6.09 o 33200 5.82/6.27 o 33197 5.96/6.46 o 33195 6.12/6.60 o 33192 6.23/6.74 o 33189 6.37/6.87 o 32976 6.50/7.02 o 32973 6.65/7.15 o 32971 6.79/7.29 o 32968 6.92/7.43 o 32965 7.06/7.57 o 32963 7.31/7.71 o 32960 7.33/7.85 o 32957 7.46/7.99 o 32955 7.60/8.12 o 32952 7.74/8.26 o 32949 7.88/8.40 o 32917 8.02/8.54 o 32912 8.15/8.68 o 32909 8.28/8.86 o 32906 8.42/8.99 o 32898 8.57/9.13 o 32895 8.71/9.27 o 32892 8.84/9.41 o 32891 8.97/9.55 o 32890 9.11/9.69 o 32887 9.34/9.83 o 32884 9.38/9.97 o 32883 9.51/10.11 o 32882 9.66/10.24 o 32879 9.80/10.39 o 32876 9.93/10.53 o 32875 10.07/10.67 o 32874 10.21/10.81 o 32871 10.41/10.96 o 32861 10.49/11.10 o 32851 10.64/11.23 o 32846 10.76/11.37 o 32843 10.90/11.51 o 32841 11.03/11.65 o 32838 11.17/11.79 o 32835 11.31/11.92 o 32791 11.49/12.06 o 32788 11.58/12.20 o 32785 11.71/12.34 o 32782 11.85/12.48 o 32778 11.98/12.62 o 32777 12.11/12.76 o 32774 12.25/12.90 o 32771 12.39/13.04 o 32770 12.57/13.18 o 32769 12.67/13.31 o 32766 12.79/13.47 o 32763 12.93/13.66 o 32762 13.06/13.80 o 32761 13.20/13.94 o 32758 13.34/14.08 o 32740 13.58/14.22 o 32730 13.61/14.36 o 32725 13.75/14.53 o 32722 13.90/14.67 o 32720 14.04/14.86 o 32717 14.16/15.05 o 32714 14.29/15.19 o 31768 14.53/15.32 o 31765 14.59/15.46 o 31762 14.72/15.60 o 31760 14.85/15.74 o 31757 14.99/15.88 o 31754 15.12/16.02 o 31752 15.26/16.16 o 31749 15.40/16.30 o 31746 15.61/16.44 o 31292 15.69/16.66 o 31289 15.82/16.80 o 31287 15.95/16.96 o 31284 16.08/17.10 o 31281 16.23/17.23 o 31279 16.36/17.37 o 31276 16.59/17.51 o 31273 16.63/17.65 o 31271 16.77/17.79 o 31268 16.90/17.93 o 31265 17.06/18.07 o 31052 17.20/18.26 o 31049 17.33/18.40 o 31047 17.47/18.54 o 31044 17.64/18.68 o 31041 17.74/18.82 o 31039 17.88/18.96 o 31036 18.01/19.10 o 31033 18.15/19.24 o 31031 18.29/19.38 o 31028 18.44/19.52 o 31025 18.58/19.66 o 30993 18.73/19.80 o 30988 18.84/19.94 o 30985 18.98/20.08 o 30982 19.12/20.22 o 30974 19.26/20.35 o 30971 19.40/20.49 o 30968 19.53/20.63 o 30967 19.68/20.78 o 30966 19.91/20.92 o 30963 19.94/21.06 o 30960 20.09/21.26 o 30959 20.22/21.46 o 30958 20.35/21.61 o 30955 20.49/21.75 o 30952 20.63/21.89 o 30951 20.77/22.03 o 30950 20.90/22.17 o 30947 21.05/22.31 o 30937 21.19/22.45 o 30927 21.31/22.59 o 30922 21.46/22.73 o 30919 21.60/22.87 o 30917 21.84/23.01 o 30914 21.88/23.15 o 30911 22.01/23.29 o 30867 22.15/23.43 o 30864 22.27/23.57 o 30861 22.42/23.71 o 30858 22.57/23.85 o 30854 22.70/24.06 o 30853 22.85/24.20 o 30850 22.97/24.36 o 30847 23.23/24.50 o 30846 23.24/24.64 o 30845 23.38/24.78 o 30842 23.53/24.92 o 30839 23.66/25.06 o 30838 23.81/25.20 o 30837 23.94/25.34 o 30834 24.07/25.48 o 30816 24.22/25.62 o 30806 24.35/25.76 o 30801 24.49/25.96 o 30798 24.63/26.10 o 30796 24.77/26.24 o 30793 24.94/26.38 o 30790 25.04/26.52 o 30325 25.17/26.66 o 30322 25.32/26.79 o 30319 25.46/26.93 o 30317 25.60/27.07 o 30314 25.73/27.21 o 30311 25.86/27.34 o 30309 26.01/27.48 o 30306 26.13/27.62 o 30303 26.27/27.76 o 30090 26.40/27.89 o 30087 26.53/28.03 o 30085 26.66/28.17 o 30082 26.80/28.31 o 30079 26.95/28.45 o 30077 27.11/28.59 o 30074 27.21/28.72 o 30071 27.36/28.86 o 30069 27.50/29.00 o 30066 27.62/29.14 o 30063 27.76/29.28 o 30031 27.90/29.42 o 30026 28.04/29.56 o 30023 28.19/29.69 o 30020 28.30/29.83 o 30012 28.45/29.97 o 30009 28.59/30.18 o 30006 28.72/30.32 o 30005 28.85/30.47 o 30004 28.99/30.61 o 30001 29.19/30.75 o 29998 29.26/30.89 o 29997 29.39/31.03 o 29996 29.53/31.16 o 29993 29.67/31.31 o 29990 29.80/31.45 o 29989 29.94/31.66 o 29988 30.08/31.80 o 29985 30.22/31.94 o 29975 30.36/32.08 o 29965 30.49/32.22 o 29960 30.62/32.36 o 29957 30.89/32.50 o 29955 30.91/32.64 o 29952 31.04/32.78 o 29949 31.28/32.91 o 29905 31.31/33.06 o 29902 31.45/33.19 o 29899 31.59/33.33 o 29896 31.72/33.47 o 29892 31.86/33.61 o 29891 32.00/33.75 o 29888 32.13/33.89 o 29885 32.32/34.07 o 29884 32.42/34.20 o 29883 32.55/34.34 o 29880 32.69/34.48 o 29877 32.82/34.62 o 29876 32.95/34.76 o 29875 33.09/34.89 o 29872 33.22/35.03 o 29854 33.40/35.17 o 29844 33.51/35.31 o 29839 33.64/35.45 o 29836 33.78/35.59 o 29834 33.91/35.73 o 29831 34.05/35.87 o 29828 34.18/36.01 o 29604 34.31/36.14 o 29601 34.47/36.28 o 29598 34.58/36.42 o 29596 34.72/36.56 o 29593 34.86/36.70 o 29590 34.99/36.84 o 29588 35.13/36.98 o 29585 35.28/37.12 o 29582 35.41/37.26 o 29550 35.56/37.40 o 29545 35.68/37.54 o 29542 35.82/37.68 o 29539 35.97/37.82 o 29531 36.10/37.95 o 29528 36.23/38.13 o 29525 36.37/38.27 o 29524 36.61/38.41 o 29523 36.64/38.55 o 29520 36.78/38.76 o 29517 36.92/38.90 o 29516 37.06/39.04 o 29515 37.19/39.18 o 29512 37.33/39.32 o 29509 37.47/39.46 o 29508 37.71/39.60 o 29507 37.74/39.76 o 29504 37.90/39.90 o 29494 38.03/40.04 o 29484 38.16/40.18 o 29479 38.31/40.36 o 29476 38.58/40.50 o 29474 38.67/40.64 o 29471 38.72/40.78 o 29468 38.85/40.92 o 29424 38.99/41.06 o 29421 39.14/41.20 o 29418 39.28/41.34 o 29415 39.41/41.48 o 29411 39.53/41.62 o 29410 39.74/41.75 o 29407 39.82/41.89 o 29404 39.95/42.03 o 29403 40.08/42.17 o 29402 40.21/42.31 o 29399 40.36/42.45 o 29396 40.50/42.59 o 29395 40.63/42.73 o 29394 40.82/42.87 o 29391 40.90/43.01 o 29374 41.05/43.15 o 29364 41.20/43.29 o 29359 41.33/43.44 o 29356 41.47/43.58 o 29354 41.60/43.72 o 29351 41.75/43.86 o 29348 41.90/44.00 o 29305 42.01/44.14 o 29302 42.16/44.27 o 29299 42.29/44.41 o 29296 42.44/44.55 o 29292 42.57/44.73 o 29291 42.71/44.87 o 29288 42.96/45.01 o 29285 42.99/45.15 o 29284 43.13/45.29 o 29283 43.27/45.43 o 29280 43.40/45.57 o 29277 43.55/45.71 o 29276 43.68/45.85 o 29275 43.82/45.99 o 29272 44.05/46.13 o 29254 44.10/46.27 o 29244 44.24/46.41 o 29239 44.37/46.55 o 29236 44.52/46.69 o 29234 44.65/46.83 o 29231 44.78/46.96 o 29228 44.92/47.10 o 29184 45.12/47.24 o 29181 45.19/47.38 o 29178 45.32/47.52 o 29175 45.45/47.66 o 29171 45.60/47.84 o 29170 45.73/47.98 o 29167 45.86/48.12 o 29164 45.99/48.26 o 29163 46.13/48.46 o 29162 46.27/48.60 o 29159 46.42/48.74 o 29156 46.55/48.88 o 29155 46.69/49.01 o 29154 46.82/49.15 o 29151 46.95/49.29 o 29148 47.18/49.46 o 29147 47.24/49.60 o 29146 47.38/49.74 o 29143 47.52/49.88 o 29135 47.65/50.05 o 29121 47.78/50.18 o 29120 47.92/50.32 o 29117 48.07/50.46 o 29115 48.19/50.66 o 29112 48.33/50.79 o 29109 48.47/50.93 o 29108 48.60/51.07 o 29105 48.73/51.21 o 29104 48.87/51.35 o 29103 49.00/51.49 o 29100 49.25/51.63 o 29097 49.29/51.77 o 29096 49.43/51.91 o 29095 49.56/52.05 o 29092 49.70/52.26 o 29089 49.83/52.40 o 29088 49.99/52.54 o 29087 50.12/52.68 o 29084 50.35/52.83 o 29081 50.40/52.97 o 29079 50.55/53.12 o 29078 50.69/53.29 o 29076 50.82/53.43 o 29073 50.96/53.58 o 29070 51.09/53.72 o 29068 51.31/53.86 o 29065 51.39/54.03 o 28892 51.53/54.23 o 28882 51.66/54.37 o 28872 51.81/54.51 o 28869 51.94/54.65 o 28866 52.08/54.79 o 28396 52.31/54.93 o 28395 52.35/55.07 o 28393 52.48/55.25 o 28390 52.63/55.39 o 28387 52.76/55.53 o 28385 52.89/55.67 o 28382 53.03/55.86 o 28379 53.18/56.00 o 28166 53.31/56.14 o 28163 53.44/56.28 o 28161 53.58/56.41 o 28158 53.71/56.55 o 28155 53.84/56.69 o 28153 53.99/56.83 o 28150 54.12/56.97 o 28147 54.36/57.11 o 28145 54.41/57.25 o 28142 54.54/57.39 o 28139 54.67/57.56 o 28107 54.81/57.70 o 28102 54.95/57.83 o 28099 55.08/57.97 o 28096 55.22/58.11 o 28088 55.41/58.25 o 28085 55.49/58.39 o 28082 55.63/58.53 o 28081 55.76/58.67 o 28080 55.92/58.81 o 28077 56.05/58.95 o 28074 56.19/59.09 o 28073 56.33/59.23 o 28072 56.50/59.37 o 28069 56.60/59.56 o 28066 56.75/59.70 o 28065 56.89/59.84 o 28064 57.02/59.98 o 28061 57.17/60.12 o 28051 57.30/60.26 o 28041 57.55/60.40 o 28036 57.57/60.56 o 28033 57.72/60.70 o 28031 57.85/60.84 o 28028 57.99/60.98 o 28025 58.12/61.12 o 27981 58.27/61.26 o 27978 58.41/61.40 o 27975 58.62/61.54 o 27972 58.68/61.68 o 27968 58.81/61.82 o 27967 58.95/61.96 o 27964 59.09/62.10 o 27961 59.23/62.24 o 27960 59.36/62.39 o 27959 59.49/62.53 o 27956 59.69/62.67 o 27953 59.78/62.81 o 27952 59.92/62.95 o 27951 60.05/63.09 o 27948 60.18/63.26 o 27930 60.34/63.40 o 27920 60.48/63.54 o 27915 60.61/63.68 o 27912 60.85/63.82 o 27910 60.89/63.96 o 27907 61.02/64.10 o 27904 61.17/64.24 o 27680 61.30/64.38 o 27677 61.44/64.52 o 27674 61.57/64.66 o 27672 61.70/64.80 o 27669 61.84/64.94 o 27666 61.97/65.08 o 27664 62.11/65.23 o 27661 62.26/65.37 o 27658 62.40/65.56 o 27626 62.54/65.76 o 27621 62.67/65.89 o 27618 62.80/66.03 o 27615 62.95/66.17 o 27607 63.09/66.31 o 27604 63.22/66.45 o 27601 63.36/66.59 o 27600 63.50/66.72 o 27599 63.63/66.86 o 27596 63.89/67.00 o 27593 63.91/67.14 o 27592 64.04/67.28 o 27591 64.18/67.42 o 27588 64.31/67.56 o 27585 64.45/67.76 o 27584 64.59/67.90 o 27583 64.72/68.04 o 27580 64.90/68.19 o 27570 65.01/68.33 o 27560 65.15/68.47 o 27555 65.28/68.61 o 27552 65.41/68.74 o 27550 65.55/68.88 o 27547 65.69/69.02 o 27544 65.84/69.16 o 27500 65.99/69.30 o 27497 66.09/69.46 o 27494 66.24/69.60 o 27491 66.37/69.74 o 27487 66.51/69.87 o 27486 66.64/70.01 o 27483 66.78/70.15 o 27480 66.92/70.29 o 27479 67.06/70.43 o 27478 67.18/70.57 o 27475 67.32/70.71 o 27472 67.46/70.85 o 27471 67.60/70.99 o 27470 67.72/71.12 o 27467 67.86/71.26 o 27450 68.13/71.40 o 27440 68.15/71.54 o 27435 68.28/71.68 o 27432 68.42/71.83 o 27430 68.55/71.98 o 27427 68.68/72.12 o 27424 68.81/72.28 o 27381 68.94/72.42 o 27378 69.14/72.56 o 27375 69.21/72.76 o 27372 69.36/72.89 o 27368 69.49/73.03 o 27367 69.63/73.17 o 27364 69.75/73.31 o 27361 69.92/73.46 o 27360 70.05/73.60 o 27359 70.17/73.74 o 27356 70.31/73.88 o 27353 70.46/74.06 o 27352 70.59/74.20 o 27351 70.74/74.33 o 27348 70.87/74.47 o 27330 71.02/74.65 o 27320 71.18/74.79 o 27315 71.28/74.92 o 27312 71.41/75.06 o 27310 71.55/75.20 o 27307 71.69/75.34 o 27304 71.82/75.47 o 27260 71.96/75.61 o 27257 72.11/75.75 o 27254 72.25/75.89 o 27251 72.38/76.03 o 27247 72.50/76.17 o 27246 72.64/76.31 o 27243 72.78/76.46 o 27240 72.93/76.60 o 27239 73.06/76.74 o 27238 73.19/76.88 o 27235 73.42/77.02 o 27232 73.46/77.16 o 27231 73.60/77.30 o 27230 73.74/77.44 o 27227 73.88/77.58 o 27224 74.01/77.76 o 27223 74.15/77.90 o 27222 74.37/78.04 o 27219 74.43/78.18 o 27211 74.56/78.32 o 27197 74.71/78.46 o 27196 74.85/78.60 o 27193 74.99/78.74 o 27191 75.12/78.88 o 27188 75.26/79.02 o 27185 75.42/79.18 o 27184 75.52/79.32 o 27181 75.68/79.46 o 27180 75.81/79.60 o 27179 75.95/79.74 o 27176 76.08/79.88 o 27173 76.23/80.03 o 27172 76.37/80.17 o 27171 76.50/80.36 o 27168 76.65/80.50 o 27165 76.79/80.64 o 27164 76.93/80.78 o 27163 77.06/80.92 o 27160 77.21/81.07 o 27157 77.34/81.21 o 27155 77.54/81.36 o 27154 77.63/81.55 o 27152 77.76/81.69 o 27149 77.90/81.83 o 27146 78.04/81.98 o 27144 78.18/82.12 o 27141 78.33/82.27 o 26968 78.53/82.45 o 26958 78.61/82.59 o 26948 78.75/82.74 o 26945 78.88/82.88 o 26942 79.01/83.02 o 26713 79.15/83.15 o 26712 79.29/83.29 o 26710 79.42/83.43 o 26707 79.61/83.56 o 26704 79.69/83.70 o 26702 79.82/83.84 o 26699 79.97/83.98 o 26696 80.11/84.12 o 26664 80.24/84.26 o 26659 80.38/84.46 o 26656 80.51/84.60 o 26653 80.64/84.74 o 26645 80.79/84.88 o 26642 80.91/85.02 o 26639 81.06/85.16 o 26638 81.19/85.30 o 26637 81.33/85.44 o 26634 81.47/85.58 o 26631 81.66/85.76 o 26630 81.73/85.90 o 26629 81.87/86.03 o 26626 82.01/86.17 o 26623 82.14/86.32 o 26622 82.29/86.46 o 26621 82.42/86.60 o 26618 82.57/86.74 o 26608 82.74/86.88 o 26598 82.84/87.03 o 26593 82.97/87.17 o 26590 83.12/87.31 o 26588 83.25/87.45 o 26585 83.38/87.59 o 26582 83.51/87.73 o 26538 83.66/87.86 o 26535 83.90/88.00 o 26532 83.92/88.14 o 26529 84.07/88.28 o 26525 84.20/88.42 o 26524 84.34/88.57 o 26521 84.47/88.73 o 26518 84.61/88.87 o 26517 84.86/89.01 o 26516 84.89/89.15 o 26513 85.03/89.29 o 26510 85.16/89.43 o 26509 85.30/89.57 o 26508 85.45/89.71 o 26505 85.57/89.86 o 26488 85.70/90.00 o 26478 85.91/90.14 o 26473 85.97/90.28 o 26470 86.11/90.46 o 26468 86.25/90.60 o 26465 86.38/90.74 o 26462 86.51/90.88 o 26419 86.66/91.02 o 26416 86.78/91.15 o 26413 86.94/91.29 o 26410 87.05/91.43 o 26406 87.19/91.57 o 26405 87.33/91.71 o 26402 87.47/91.85 o 26399 87.60/91.98 o 26398 87.73/92.12 o 26397 87.88/92.26 o 26394 88.12/92.40 o 26391 88.14/92.54 o 26390 88.28/92.68 o 26389 88.42/92.89 o 26386 88.56/93.03 o 26368 88.69/93.17 o 26358 88.83/93.31 o 26353 89.05/93.45 o 26350 89.10/93.59 o 26348 89.24/93.73 o 26345 89.38/93.86 o 26342 89.51/94.00 o 26298 89.64/94.14 o 26295 89.80/94.28 o 26292 89.93/94.45 o 26289 90.08/94.59 o 26285 90.19/94.73 o 26284 90.32/94.87 o 26281 90.45/95.06 o 26278 90.60/95.19 o 26277 90.74/95.33 o 26276 90.88/95.48 o 26273 91.06/95.66 o 26270 91.14/95.80 o 26269 91.28/95.94 o 26268 91.41/96.08 o 26265 91.55/96.22 o 26262 91.69/96.36 o 26261 91.84/96.50 o 26260 91.97/96.64 o 26257 92.15/96.79 o 26249 92.26/96.93 o 26235 92.39/97.07 o 26234 92.53/97.21 o 26231 92.67/97.35 o 26229 92.81/97.48 o 26226 92.95/97.62 o 26223 93.08/97.76 o 26222 93.27/97.95 o 26219 93.35/98.09 o 26218 93.49/98.23 o 26217 93.63/98.37 o 26214 93.77/98.51 o 26211 93.91/98.65 o 26210 94.04/98.79 o 26209 94.27/98.93 o 26206 94.32/99.06 o 26203 94.45/99.20 o 26202 94.59/99.34 o 26201 94.74/99.49 o 26198 94.87/99.63 o 26195 95.01/99.78 o 26193 95.16/99.95 o 26192 95.31/100.09 o 26190 95.43/100.23 o 26187 95.57/100.38 o 26184 95.70/100.52 o 26182 95.85/100.66 o 26179 95.99/100.81 o 26128 96.15/100.95 o 26118 96.28/101.09 o 26115 96.42/101.23 o 26094 96.55/101.37 o 26084 96.70/101.54 o 26082 96.82/101.69 o 26080 96.96/101.83 o 26079 97.10/101.97 o 26077 97.23/102.11 o 26076 97.45/102.25 o 26074 97.52/102.39 o 26071 97.67/102.52 o 26069 97.79/102.67 o 26068 97.93/102.81 o 26066 98.07/102.95 o 26003 98.21/103.09 o 25998 98.34/103.23 o 25988 98.51/103.37 o 25985 98.61/103.51 o 25982 98.76/103.66 o 25872 98.90/103.80 o 25871 99.03/103.94 o 25869 99.17/104.08 o 25866 99.31/104.22 o 25863 99.44/104.36 o 25822 99.60/104.50 o 25817 99.73/104.63 o 25814 99.86/104.77 o 25811 99.99/104.91 o 25808 100.14/105.05 o 25804 100.27/105.19 o 25803 100.42/105.33 o 25800 100.55/105.47 o 25797 100.79/105.61 o 25796 100.82/105.75 o 25795 100.96/105.89 o 25792 101.10/106.02 o 25789 101.24/106.15 o 25788 101.36/106.29 o 25787 101.49/106.43 o 25784 101.63/106.57 o 25781 101.87/106.71 o 25780 101.90/106.85 o 25779 102.04/106.99 o 25776 102.19/107.13 o 25768 102.33/107.27 o 25754 102.47/107.41 o 25753 102.60/107.55 o 25750 102.74/107.69 o 25748 102.87/107.83 o 25745 103.00/107.97 o 25742 103.16/108.11 o 25741 103.30/108.25 o 25738 103.44/108.39 o 25737 103.57/108.52 o 25736 103.69/108.70 o 25733 103.92/108.84 o 25730 103.97/108.98 o 25729 104.10/109.12 o 25728 104.24/109.26 o 25725 104.52/109.40 o 25722 104.52/109.54 o 25721 104.66/109.68 o 25720 104.80/109.82 o 25717 104.98/109.96 o 25714 105.09/110.11 o 25712 105.22/110.25 o 25711 105.36/110.39 o 25709 105.49/110.53 o 25706 105.63/110.68 o 25703 105.78/110.82 o 25701 105.91/110.96 o 25698 106.18/111.11 o 25679 106.20/111.25 o 25669 106.34/111.39 o 25664 106.48/111.53 o 25661 106.61/111.67 o 25658 106.74/111.81 o 25655 106.89/111.96 o 25652 107.03/112.10 o 25651 107.17/112.24 o 25649 107.32/112.38 o 25648 107.45/112.52 o 25646 107.60/112.66 o 25643 107.73/112.81 o 25640 107.87/112.95 o 25638 108.01/113.09 o 25637 108.25/113.24 o 25635 108.30/113.39 o 25634 108.44/113.53 o 25633 108.58/113.68 o 25632 108.72/113.82 o 25629 108.87/113.97 o 25628 109.02/114.11 o 25627 109.16/114.25 o 25624 109.36/114.45 o 25621 109.43/114.58 o 25619 109.58/114.73 o 25618 109.73/114.88 o 25617 109.87/115.05 o 25614 110.00/115.20 o 25612 110.14/115.34 o 25611 110.31/115.48 o 25610 110.43/115.63 o 25609 110.56/115.77 o 25606 110.72/115.92 o 25603 110.85/116.07 o 25602 111.00/116.22 o 25601 111.15/116.40 o 25598 111.35/116.54 o 25595 111.41/116.69 o 25592 111.56/116.83 o 25590 111.71/116.97 o 25588 111.84/117.12 o 25585 111.98/117.27 o 25584 112.13/117.41 o 25582 112.28/117.56 o 25581 112.44/117.70 o 25580 112.55/117.84 o 25577 112.69/117.99 o 25576 112.83/118.14 o 25575 112.98/118.29 o 25573 113.14/118.44 o 25570 113.28/118.59 o 25568 113.51/118.74 o 25567 113.58/118.90 o 25565 113.73/119.06 o 25562 113.86/119.21 o 25560 114.02/119.36 o 25559 114.16/119.51 o 25557 114.31/119.67 o 25556 114.57/119.83 o 25554 114.62/119.99 o 25551 114.78/120.14 o 25549 114.94/120.31 o 25548 115.11/120.49 o 25546 115.26/120.65 o 25544 115.42/120.81 o 25543 115.64/120.98 o 25541 115.75/121.14 o 25525 115.90/121.29 o 25515 116.04/121.43 o 25510 116.18/121.58 o 25509 116.33/121.72 o 25506 116.47/121.87 o 25504 116.72/122.01 o 25503 116.75/122.16 o 25483 116.89/122.30 o 25396 117.03/122.45 o 25285 117.18/122.59 o 25034 117.32/122.73 o 25024 117.45/122.87 o 25021 117.59/123.01 o 25018 117.80/123.15 o 24789 117.87/123.29 o 24788 118.00/123.43 o 24786 118.14/123.57 o 24783 118.27/123.71 o 24780 118.42/123.85 o 24778 118.56/123.99 o 24775 118.69/124.13 o 24772 118.88/124.27 o 24740 118.97/124.41 o 24735 119.10/124.55 o 24732 119.24/124.69 o 24729 119.38/124.83 o 24721 119.51/124.99 o 24718 119.64/125.13 o 24715 119.78/125.27 o 24714 120.04/125.41 o 24713 120.06/125.55 o 24710 120.19/125.69 o 24707 120.33/125.83 o 24706 120.46/125.97 o 24705 120.60/126.11 o 24702 120.74/126.25 o 24699 120.87/126.39 o 24698 121.02/126.53 o 24697 121.16/126.68 o 24694 121.30/126.82 o 24684 121.43/126.99 o 24674 121.56/127.13 o 24669 121.70/127.29 o 24666 121.83/127.43 o 24664 122.01/127.57 o 24661 122.11/127.71 o 24658 122.25/127.85 o 24614 122.39/127.99 o 24611 122.52/128.13 o 24608 122.66/128.27 o 24605 122.79/128.41 o 24601 122.93/128.55 o 24600 123.08/128.69 o 24597 123.20/128.83 o 24594 123.35/128.97 o 24593 123.48/129.11 o 24592 123.62/129.25 o 24589 123.75/129.39 o 24586 123.89/129.53 o 24585 124.14/129.70 o 24584 124.17/129.84 o 24581 124.31/129.98 o 24564 124.44/130.12 o 24554 124.59/130.25 o 24549 124.72/130.39 o 24546 124.85/130.53 o 24544 124.97/130.67 o 24541 125.23/130.82 o 24538 125.26/130.95 o 24495 125.39/131.09 o 24492 125.53/131.22 o 24489 125.66/131.40 o 24486 125.80/131.56 o 24482 125.94/131.69 o 24481 126.07/131.88 o 24478 126.32/132.01 o 24475 126.35/132.15 o 24474 126.48/132.29 o 24473 126.62/132.43 o 24470 126.76/132.57 o 24467 126.90/132.71 o 24466 127.03/132.85 o 24465 127.17/132.99 o 24462 127.30/133.13 o 24444 127.44/133.27 o 24434 127.57/133.41 o 24429 127.71/133.55 o 24426 127.85/133.69 o 24424 127.98/133.83 o 24421 128.12/133.97 o 24418 128.38/134.11 o 24374 128.40/134.25 o 24371 128.54/134.39 o 24368 128.67/134.52 o 24365 128.82/134.66 o 24361 128.96/134.80 o 24360 129.09/134.96 o 24357 129.22/135.09 o 24354 129.44/135.23 o 24353 129.48/135.37 o 24352 129.63/135.51 o 24349 129.76/135.65 o 24346 129.90/135.79 o 24345 130.05/135.93 o 24344 130.19/136.07 o 24341 130.32/136.21 o 24338 130.51/136.36 o 24337 130.58/136.52 o 24336 130.73/136.66 o 24333 130.88/136.80 o 24325 131.02/136.94 o 24311 131.15/137.08 o 24310 131.28/137.26 o 24307 131.53/137.40 o 24305 131.56/137.58 o 24302 131.71/137.72 o 24299 131.85/137.86 o 24298 131.98/138.00 o 24295 132.12/138.14 o 24294 132.25/138.28 o 24293 132.39/138.46 o 24290 132.62/138.60 o 24287 132.65/138.75 o 24286 132.80/138.89 o 24285 132.94/139.03 o 24282 133.08/139.17 o 24279 133.21/139.31 o 24278 133.35/139.45 o 24277 133.49/139.60 o 24274 133.65/139.74 o 24271 133.78/139.89 o 24269 133.93/140.03 o 24268 134.06/140.18 o 24266 134.20/140.32 o 24263 134.34/140.50 o 24260 134.48/140.64 o 24258 134.65/140.79 o 24255 134.75/140.93 o 24204 134.90/141.07 o 24194 135.04/141.26 o 24191 135.18/141.42 o 24170 135.31/141.56 o 24160 135.58/141.70 o 24158 135.66/141.87 o 24156 135.73/142.08 o 24155 135.87/142.22 o 24153 136.01/142.36 o 24152 136.14/142.50 o 24150 136.29/142.64 o 24147 136.42/142.78 o 24145 136.64/142.93 o 24144 136.72/143.07 o 24142 136.85/143.21 o 24079 136.98/143.35 o 24074 137.12/143.49 o 24064 137.25/143.63 o 24061 137.39/143.78 o 24058 137.54/143.92 o 23948 137.74/144.06 o 23947 137.81/144.20 o 23945 137.95/144.34 o 23942 138.09/144.48 o 23939 138.21/144.62 o 23898 138.35/144.76 o 23893 138.50/144.90 o 23890 138.63/145.04 o 23887 138.80/145.18 o 23884 138.89/145.32 o 23880 139.04/145.46 o 23879 139.17/145.60 o 23876 139.31/145.73 o 23873 139.44/145.87 o 23872 139.59/146.01 o 23871 139.73/146.16 o 23868 139.88/146.29 o 23865 140.00/146.43 o 23864 140.13/146.61 o 23863 140.27/146.75 o 23860 140.40/146.90 o 23857 140.54/147.07 o 23856 140.68/147.21 o 23855 140.88/147.35 o 23852 140.97/147.49 o 23844 141.10/147.63 o 23830 141.24/147.77 o 23829 141.37/147.91 o 23826 141.51/148.05 o 23824 141.64/148.19 o 23821 141.78/148.33 o 23818 142.02/148.52 o 23817 142.05/148.66 o 23814 142.19/148.80 o 23813 142.33/148.94 o 23812 142.47/149.08 o 23809 142.60/149.22 o 23806 142.74/149.36 o 23805 142.87/149.49 o 23804 143.00/149.63 o 23801 143.13/149.77 o 23798 143.29/149.91 o 23797 143.42/150.05 o 23796 143.57/150.19 o 23793 143.70/150.34 o 23790 143.84/150.48 o 23788 144.08/150.63 o 23787 144.13/150.77 o 23785 144.27/150.91 o 23782 144.42/151.06 o 23779 144.55/151.20 o 23777 144.69/151.34 o 23774 144.83/151.49 o 23755 144.97/151.63 o 23745 145.16/151.77 o 23740 145.24/151.91 o 23737 145.38/152.05 o 23734 145.52/152.19 o 23731 145.66/152.33 o 23728 145.80/152.47 o 23727 145.94/152.61 o 23725 146.08/152.75 o 23724 146.24/152.89 o 23722 146.35/153.04 o 23719 146.49/153.18 o 23716 146.63/153.32 o 23714 146.77/153.47 o 23713 146.93/153.65 o 23711 147.06/153.79 o 23710 147.28/153.94 o 23709 147.34/154.09 o 23708 147.49/154.23 o 23705 147.63/154.38 o 23704 147.77/154.52 o 23703 147.91/154.70 o 23700 148.04/154.85 o 23697 148.19/155.00 o 23695 148.34/155.15 o 23694 148.48/155.30 o 23693 148.63/155.44 o 23690 148.78/155.59 o 23688 148.91/155.73 o 23687 149.06/155.88 o 23686 149.21/156.02 o 23685 149.39/156.17 o 23682 149.48/156.37 o 23679 149.64/156.51 o 23678 149.78/156.66 o 23677 149.92/156.81 o 23674 150.07/156.95 o 23671 150.21/157.10 o 23668 150.43/157.25 o 23666 150.50/157.39 o 23664 150.64/157.54 o 23661 150.78/157.69 o 23660 150.93/157.83 o 23658 151.07/157.98 o 23657 151.21/158.12 o 23656 151.36/158.26 o 23653 151.62/158.41 o 23652 151.65/158.56 o 23651 151.79/158.71 o 23649 151.95/158.86 o 23646 152.09/159.01 o 23644 152.23/159.17 o 23643 152.38/159.32 o 23641 152.58/159.48 o 23638 152.69/159.63 o 23636 152.84/159.78 o 23635 153.00/159.94 o 23633 153.15/160.10 o 23632 153.31/160.25 o 23630 153.45/160.41 o 23627 153.68/160.57 o 23625 153.76/160.74 o 23624 153.93/160.91 o 23622 154.10/161.07 o 23620 154.26/161.23 o 23619 154.41/161.39 o 23617 154.57/161.55 o 23601 154.77/161.70 o 23591 154.88/161.84 o 23586 155.03/161.99 o 23585 155.16/162.13 o 23582 155.30/162.28 o 23579 155.44/162.42 o 23559 155.59/162.56 o 23472 155.83/162.71 o 23361 155.86/162.85 o 23351 156.00/163.00 o 23346 156.14/163.14 o 23343 156.29/163.28 o 23341 156.43/163.42 o 23338 156.57/163.56 o 23335 156.70/163.71 o 23231 156.90/163.86 o 23228 156.97/164.00 o 23225 157.11/164.14 o 23223 157.25/164.32 o 23220 157.40/164.46 o 23217 157.53/164.60 o 23215 157.68/164.74 o 23212 157.81/164.88 o 23209 157.95/165.03 o 23171 158.09/165.17 o 23117 158.23/165.31 o 23111 158.37/165.46 o 23101 158.64/165.60 o 23098 158.65/165.74 o 23095 158.78/165.88 o 22986 159.01/166.02 o 22985 159.05/166.16 o 22983 159.20/166.30 o 22980 159.33/166.44 o 22977 159.47/166.62 o 22936 159.61/166.76 o 22931 159.86/166.90 o 22928 159.88/167.10 o 22925 160.01/167.24 o 22922 160.14/167.38 o 22918 160.27/167.52 o 22917 160.42/167.65 o 22914 160.55/167.79 o 22911 160.69/167.99 o 22910 160.82/168.12 o 22909 161.01/168.27 o 22906 161.10/168.41 o 22903 161.23/168.55 o 22902 161.36/168.69 o 22901 161.52/168.83 o 22898 161.65/169.02 o 22895 161.79/169.16 o 22894 162.04/169.31 o 22893 162.07/169.45 o 22890 162.20/169.59 o 22882 162.35/169.73 o 22868 162.48/169.87 o 22867 162.61/170.01 o 22864 162.76/170.15 o 22862 162.89/170.29 o 22859 163.08/170.46 o 22856 163.18/170.60 o 22855 163.31/170.74 o 22852 163.44/170.88 o 22851 163.58/171.02 o 22850 163.72/171.20 o 22847 163.85/171.37 o 22844 164.09/171.51 o 22843 164.12/171.65 o 22842 164.26/171.79 o 22839 164.39/171.93 o 22836 164.54/172.07 o 22835 164.67/172.21 o 22834 164.82/172.35 o 22831 165.09/172.50 o 22828 165.18/172.64 o 22826 165.23/172.78 o 22825 165.37/172.93 o 22823 165.52/173.07 o 22820 165.66/173.21 o 22817 165.79/173.35 o 22815 165.93/173.49 o 22812 166.07/173.64 o 22793 166.25/173.78 o 22783 166.34/173.92 o 22778 166.49/174.06 o 22775 166.63/174.19 o 22772 166.77/174.33 o 22769 166.90/174.47 o 22766 167.03/174.61 o 22765 167.18/174.75 o 22763 167.34/174.89 o 22762 167.45/175.03 o 22760 167.58/175.17 o 22757 167.73/175.32 o 22754 167.88/175.46 o 22752 168.02/175.61 o 22751 168.16/175.75 o 22749 168.30/175.90 o 22748 168.46/176.09 o 22747 168.60/176.23 o 22746 168.74/176.41 o 22743 168.87/176.55 o 22742 169.01/176.71 o 22741 169.16/176.85 o 22738 169.42/177.01 o 22735 169.44/177.15 o 22733 169.58/177.30 o 22732 169.72/177.45 o 22731 169.87/177.60 o 22728 170.02/177.74 o 22726 170.16/177.89 o 22725 170.30/178.03 o 22724 170.47/178.18 o 22723 170.58/178.36 o 22720 170.72/178.51 o 22717 170.86/178.66 o 22716 171.01/178.80 o 22715 171.15/178.95 o 22712 171.30/179.10 o 22709 171.51/179.25 o 22706 171.58/179.39 o 22704 171.71/179.54 o 22702 171.87/179.68 o 22699 172.01/179.83 o 22698 172.16/179.98 o 22696 172.30/180.12 o 22695 172.54/180.31 o 22694 172.57/180.45 o 22691 172.72/180.60 o 22690 172.86/180.75 o 22689 173.00/180.91 o 22687 173.16/181.06 o 22684 173.30/181.21 o 22682 173.44/181.37 o 22681 173.70/181.52 o 22679 173.73/181.67 o 22676 173.90/181.83 o 22674 174.04/181.98 o 22673 174.20/182.14 o 22671 174.36/182.30 o 22670 174.52/182.45 o 22668 174.79/182.60 o 22665 174.82/182.79 o 22663 174.97/182.95 o 22662 175.13/183.12 o 22660 175.29/183.28 o 22658 175.45/183.44 o 22657 175.76/183.60 o 22655 175.78/183.76 o 22641 175.93/183.91 o 22636 176.07/184.06 o 22631 176.23/184.20 o 22628 176.37/184.35 o 22626 176.50/184.49 o 22623 176.64/184.64 o 22620 176.82/184.79 o 22617 176.94/184.93 o 22597 177.08/185.08 o 22596 177.22/185.22 o 22594 177.35/185.36 o 22591 177.50/185.51 o 22588 177.63/185.66 o 22586 177.78/185.80 o 22583 177.91/185.94 o 22582 178.05/186.08 o 22581 178.19/186.22 o 22579 178.34/186.36 o 22577 178.48/186.51 o 22576 178.62/186.65 o 22573 178.75/186.79 o 22571 178.97/186.94 o 22568 179.03/187.08 o 22565 179.19/187.22 o 22542 179.32/187.36 o 22510 179.45/187.51 o 22508 179.59/187.65 o 22507 179.73/187.80 o 22505 179.88/187.94 o 22502 180.06/188.09 o 22500 180.17/188.24 o 22499 180.32/188.39 o 22497 180.47/188.53 o 22494 180.61/188.68 o 22492 180.75/188.82 o 22460 180.90/188.96 o 22450 181.15/189.11 o 22445 181.18/189.25 o 22442 181.31/189.41 o 22439 181.45/189.55 o 22436 181.59/189.69 o 22434 181.72/189.83 o 22431 181.86/189.97 o 22428 182.00/190.11 o 22425 182.20/190.25 o 22423 182.28/190.39 o 22420 182.41/190.53 o 22417 182.54/190.67 o 22414 182.68/190.81 o 22413 182.83/190.95 o 22412 182.97/191.09 o 22409 183.11/191.23 o 22401 183.29/191.37 o 22391 183.39/191.53 o 22326 183.52/191.71 o 22312 183.65/191.85 o 22302 183.80/192.00 o 22297 183.93/192.14 o 22294 184.07/192.28 o 22291 184.27/192.46 o 22288 184.48/192.60 o 22285 184.49/192.74 o 22284 184.63/192.88 o 22282 184.76/193.01 o 22281 184.89/193.15 o 22279 185.16/193.30 o 22276 185.18/193.44 o 22273 185.35/193.58 o 22271 185.46/193.73 o 22270 185.60/193.87 o 22268 185.74/194.01 o 22267 185.87/194.15 o 22266 186.02/194.30 o 22265 186.16/194.45 o 22262 186.32/194.59 o 22261 186.45/194.73 o 22260 186.59/194.88 o 22257 186.74/195.03 o 22254 186.89/195.17 o 22252 187.03/195.32 o 22251 187.17/195.46 o 22250 187.31/195.61 o 22247 187.53/195.75 o 22245 187.60/195.90 o 22244 187.75/196.04 o 22243 187.89/196.19 o 22242 188.03/196.34 o 22239 188.18/196.49 o 22236 188.32/196.63 o 22235 188.56/196.81 o 22234 188.61/196.96 o 22231 188.76/197.11 o 22228 188.90/197.26 o 22225 189.04/197.40 o 22223 189.18/197.55 o 22221 189.32/197.69 o 22218 189.45/197.84 o 22217 189.64/197.98 o 22215 189.76/198.13 o 22214 189.89/198.27 o 22213 190.03/198.42 o 22210 190.17/198.57 o 22209 190.31/198.72 o 22208 190.47/198.87 o 22206 190.71/199.02 o 22203 190.76/199.17 o 22201 190.92/199.33 o 22200 191.06/199.49 o 22198 191.21/199.64 o 22195 191.36/199.79 o 22193 191.51/199.95 o 22192 191.81/200.11 o 22190 191.83/200.27 o 22189 191.98/200.42 o 22187 192.13/200.58 o 22184 192.29/200.73 o 22182 192.45/200.90 o 22181 192.60/201.07 o 22179 192.86/201.24 o 22176 192.95/201.40 o 22174 193.10/201.58 o 22164 193.28/201.74 o 22157 193.43/201.89 o 22156 193.58/202.05 o 22154 193.75/202.20 o 22151 193.97/202.35 o 22149 194.04/202.51 o 22148 194.20/202.66 o 22146 194.35/202.81 o 22145 194.49/202.96 o 22143 194.63/203.11 o 22140 194.79/203.26 o 22137 195.04/203.42 o 22134 195.07/203.57 o 22133 195.23/203.71 o 22132 195.36/203.86 o 22130 195.52/204.02 o 22129 195.66/204.17 o 22126 195.81/204.32 o 22125 196.05/204.53 o 22124 196.10/204.68 o 22122 196.26/204.83 o 22120 196.40/204.98 o 22118 196.56/205.13 o 22117 196.70/205.29 o 22116 196.85/205.45 o 22114 197.12/205.61 o 22113 197.15/205.78 o 22111 197.32/205.98 o 22110 197.48/206.14 o 22108 197.78/206.30 o 22107 197.79/206.45 o 22105 197.97/206.61 o 22103 198.18/206.77 o 22102 198.27/206.93 o 22100 198.59/207.10 o 22099 198.59/207.26 o 22098 198.77/207.42 o 22097 198.92/207.58 o 22095 199.08/207.75 o 22092 199.36/207.91 o 22090 199.39/208.08 o 22089 199.55/208.24 o 22087 199.71/208.40 o 22084 199.87/208.56 o 22082 200.03/208.72 o 22081 200.18/208.88 o 22079 200.43/209.04 o 22076 200.64/209.20 o 22074 200.65/209.37 o 22073 200.81/209.53 o 22071 200.96/209.69 o 22070 201.13/209.86 o 22068 201.40/210.02 o 22065 201.46/210.18 o 22063 201.61/210.35 o 22062 201.78/210.53 o 22060 201.95/210.74 o 22057 202.10/210.93 o 22055 202.40/211.12 o 22054 202.44/211.31 o 22052 202.62/211.51 o 22051 202.80/211.69 o 22049 202.98/211.86 o 22048 203.17/212.04 o 22046 203.47/212.21 o 22044 203.50/212.40 o 22043 203.68/212.59 o 22041 203.86/212.76 o 22040 204.05/212.94 o 22038 204.22/213.11 o 22036 204.56/213.31 o 22035 204.59/213.49 o 22033 204.77/213.95 o 21767 205.22/214.09 o 21766 205.35/214.23 o 21733 205.50/214.37 o 21732 205.74/214.51 o 21729 205.78/214.66 o 21728 205.91/214.80 o 21725 206.05/214.95 o 21723 206.21/215.09 o 21722 206.34/215.23 o 21721 206.49/215.37 o 21720 206.72/215.52 o 21719 206.76/215.67 o 21717 206.92/215.82 o 21715 207.06/215.96 o 21714 207.21/216.12 o 21712 207.35/216.27 o 21711 207.51/216.43 o 21709 207.66/216.59 o 21708 207.82/216.75 o 21706 207.97/216.91 o 21703 208.13/217.06 o 21701 208.27/217.23 o 21700 208.45/217.44 o 21698 208.60/217.60 o 21696 208.83/217.76 o 21695 208.90/217.92 o 21693 209.06/218.13 o 21437 209.23/218.27 o 21429 209.36/218.41 o 21424 209.49/218.55 o 21421 209.63/218.70 o 21419 209.85/218.84 o 21416 209.90/218.98 o 21413 210.04/219.12 o 21412 210.19/219.26 o 21409 210.33/219.40 o 21408 210.47/219.54 o 21407 210.61/219.71 o 21404 210.74/219.85 o 21401 210.90/219.99 o 21400 211.01/220.13 o 21399 211.16/220.27 o 21396 211.29/220.42 o 21393 211.43/220.56 o 21392 211.57/220.70 o 21391 211.71/220.85 o 21388 211.84/220.99 o 21385 211.99/221.14 o 21382 212.13/221.29 o 21380 212.27/221.43 o 21377 212.40/221.58 o 21374 212.56/221.72 o 21372 212.71/221.87 o 21369 212.85/222.01 o 21317 213.06/222.16 o 21307 213.14/222.30 o 21304 213.27/222.44 o 21301 213.40/222.58 o 21299 213.55/222.73 o 21296 213.69/222.86 o 21293 213.81/223.00 o 21291 213.95/223.14 o 21288 214.12/223.28 o 21285 214.23/223.42 o 21247 214.37/223.57 o 21193 214.50/223.73 o 21187 214.65/223.87 o 21177 214.79/224.01 o 21174 214.92/224.16 o 21171 215.05/224.30 o 21062 215.20/224.44 o 21061 215.35/224.58 o 21059 215.48/224.72 o 21056 215.61/224.91 o 21053 215.75/225.06 o 21012 215.89/225.19 o 21007 216.02/225.33 o 21004 216.19/225.48 o 21001 216.29/225.62 o 20998 216.44/225.76 o 20994 216.57/225.90 o 20993 216.71/226.05 o 20990 216.84/226.19 o 20987 216.98/226.33 o 20986 217.12/226.47 o 20985 217.36/226.61 o 20982 217.38/226.75 o 20979 217.53/226.89 o 20978 217.66/227.03 o 20977 217.79/227.17 o 20974 217.93/227.31 o 20971 218.07/227.45 o 20970 218.22/227.59 o 20969 218.35/227.73 o 20966 218.49/227.92 o 20958 218.62/228.06 o 20944 218.75/228.20 o 20943 218.89/228.34 o 20940 219.03/228.51 o 20938 219.16/228.65 o 20935 219.39/228.81 o 20932 219.43/228.95 o 20931 219.57/229.09 o 20928 219.71/229.23 o 20927 219.84/229.37 o 20926 219.97/229.51 o 20923 220.11/229.65 o 20920 220.26/229.79 o 20919 220.39/229.93 o 20918 220.53/230.07 o 20915 220.66/230.21 o 20912 220.81/230.35 o 20911 220.94/230.49 o 20910 221.07/230.65 o 20907 221.21/230.79 o 20904 221.43/230.94 o 20902 221.51/231.08 o 20901 221.64/231.21 o 20899 221.77/231.36 o 20896 221.92/231.50 o 20893 222.05/231.64 o 20891 222.19/231.79 o 20888 222.33/231.93 o 20869 222.52/232.08 o 20859 222.62/232.22 o 20854 222.75/232.37 o 20851 222.88/232.51 o 20848 223.02/232.65 o 20845 223.16/232.79 o 20842 223.30/232.93 o 20841 223.45/233.07 o 20839 223.69/233.21 o 20838 223.73/233.41 o 20836 223.85/233.56 o 20833 224.00/233.70 o 20830 224.14/233.84 o 20828 224.27/233.99 o 20827 224.42/234.13 o 20825 224.60/234.28 o 20824 224.70/234.42 o 20823 224.86/234.57 o 20822 225.00/234.71 o 20819 225.13/234.85 o 20818 225.40/235.00 o 20817 225.41/235.14 o 20814 225.57/235.29 o 20811 225.71/235.44 o 20809 225.85/235.59 o 20808 225.99/235.73 o 20807 226.13/235.88 o 20804 226.28/236.03 o 20802 226.43/236.17 o 20801 226.57/236.32 o 20800 226.78/236.46 o 20799 226.85/236.61 o 20796 227.00/236.76 o 20793 227.15/236.90 o 20792 227.29/237.05 o 20791 227.43/237.22 o 20788 227.57/237.42 o 20785 227.76/237.57 o 20782 227.84/237.71 o 20780 228.00/237.86 o 20778 228.14/238.00 o 20775 228.29/238.15 o 20774 228.55/238.30 o 20772 228.56/238.44 o 20771 228.71/238.58 o 20770 228.94/238.72 o 20767 228.98/238.86 o 20766 229.12/239.02 o 20765 229.28/239.17 o 20763 229.43/239.32 o 20760 229.57/239.46 o 20758 229.72/239.62 o 20757 229.93/239.78 o 20755 230.02/239.93 o 20752 230.17/240.08 o 20750 230.33/240.24 o 20749 230.48/240.43 o 20747 230.62/240.59 o 20746 230.78/240.74 o 20744 231.01/240.93 o 20741 231.07/241.08 o 20739 231.23/241.25 o 20738 231.40/241.42 o 20736 231.56/241.58 o 20734 231.72/241.74 o 20733 231.97/241.93 o 20731 232.02/242.08 o 20717 232.17/242.23 o 20712 232.30/242.38 o 20707 232.46/242.53 o 20704 232.60/242.67 o 20702 232.75/242.81 o 20699 232.88/242.96 o 20696 233.13/243.11 o 20693 233.16/243.25 o 20673 233.31/243.39 o 20672 233.46/243.54 o 20670 233.59/243.68 o 20667 233.73/243.82 o 20664 233.87/243.96 o 20662 234.09/244.12 o 20659 234.15/244.26 o 20658 234.29/244.40 o 20657 234.43/244.55 o 20655 234.56/244.69 o 20653 234.70/244.83 o 20652 234.85/244.98 o 20649 234.98/245.12 o 20647 235.17/245.26 o 20644 235.26/245.40 o 20641 235.41/245.54 o 20618 235.54/245.69 o 20586 235.68/245.83 o 20584 235.83/245.98 o 20583 235.97/246.12 o 20581 236.10/246.26 o 20578 236.37/246.40 o 20576 236.39/246.54 o 20575 236.52/246.69 o 20573 236.68/246.84 o 20570 236.82/246.99 o 20568 236.96/247.13 o 20536 237.11/247.27 o 20526 237.34/247.42 o 20521 237.39/247.56 o 20518 237.52/247.70 o 20515 237.66/247.84 o 20512 237.79/247.98 o 20510 237.93/248.12 o 20507 238.07/248.26 o 20504 238.33/248.40 o 20501 238.42/248.54 o 20499 238.48/248.68 o 20496 238.63/248.82 o 20493 238.76/249.02 o 20490 238.89/249.16 o 20489 239.03/249.31 o 20488 239.18/249.45 o 20485 239.32/249.59 o 20477 239.45/249.73 o 20467 239.59/249.88 o 20402 239.74/250.02 o 20388 239.87/250.16 o 20378 240.01/250.30 o 20373 240.14/250.44 o 20370 240.29/250.58 o 20367 240.51/250.73 o 20364 240.55/250.93 o 20361 240.69/251.07 o 20360 240.84/251.22 o 20358 240.98/251.36 o 20357 241.12/251.50 o 20355 241.25/251.64 o 20352 241.40/251.78 o 20349 241.63/251.92 o 20347 241.66/252.06 o 20346 241.81/252.23 o 20344 241.94/252.36 o 20343 242.09/252.51 o 20342 242.23/252.66 o 20341 242.36/252.81 o 20338 242.58/252.94 o 20337 242.65/253.09 o 20336 242.79/253.23 o 20333 242.93/253.44 o 20330 243.08/253.58 o 20328 243.23/253.73 o 20327 243.37/253.88 o 20326 243.61/254.02 o 20323 243.65/254.22 o 20321 243.78/254.37 o 20320 243.93/254.51 o 20319 244.06/254.67 o 20318 244.21/254.82 o 20315 244.36/254.96 o 20312 244.59/255.13 o 20311 244.65/255.27 o 20310 244.79/255.42 o 20307 244.92/255.57 o 20304 245.08/255.71 o 20301 245.22/255.86 o 20299 245.36/256.00 o 20297 245.50/256.15 o 20294 245.78/256.30 o 20293 245.80/256.45 o 20291 245.94/256.59 o 20290 246.08/256.74 o 20289 246.21/256.88 o 20286 246.35/257.03 o 20285 246.50/257.18 o 20284 246.75/257.34 o 20282 246.80/257.49 o 20279 246.95/257.64 o 20277 247.10/257.79 o 20276 247.26/257.95 o 20274 247.41/258.09 o 20271 247.56/258.24 o 20269 247.70/258.40 o 20268 247.86/258.55 o 20266 248.00/258.71 o 20265 248.15/258.87 o 20263 248.31/259.02 o 20260 248.46/259.18 o 20258 248.62/259.35 o 20257 248.87/259.54 o 20255 248.94/259.71 o 20253 249.10/259.87 o 20252 249.26/260.03 o 20250 249.43/260.20 o 20240 249.60/260.38 o 20233 249.89/260.61 o 20232 249.90/260.76 o 20230 250.06/260.91 o 20227 250.22/261.07 o 20225 250.37/261.22 o 20224 250.51/261.37 o 20222 250.66/261.52 o 20221 250.80/261.67 o 20219 251.05/261.81 o 20216 251.10/261.97 o 20213 251.24/262.10 o 20210 251.38/262.25 o 20209 251.53/262.40 o 20208 251.67/262.55 o 20206 251.81/262.71 o 20205 252.03/262.86 o 20202 252.12/263.01 o 20201 252.26/263.16 o 20200 252.41/263.31 o 20198 252.57/263.46 o 20196 252.71/263.62 o 20194 252.86/263.77 o 20193 253.11/263.92 o 20192 253.16/264.08 o 20190 253.31/264.24 o 20189 253.48/264.40 o 20187 253.64/264.57 o 20186 253.79/264.73 o 20184 253.94/264.89 o 20183 254.20/265.05 o 20181 254.27/265.21 o 20179 254.43/265.37 o 20178 254.59/265.53 o 20176 254.75/265.70 o 20175 254.91/265.87 o 20174 255.09/266.02 o 20173 255.28/266.19 o 20171 255.40/266.36 o 20168 255.57/266.52 o 20166 255.73/266.69 o 20165 255.88/266.85 o 20163 256.05/267.02 o 20160 256.21/267.17 o 20158 256.46/267.33 o 20157 256.51/267.49 o 20155 256.67/267.65 o 20152 256.83/267.84 o 20150 256.97/268.06 o 20149 257.14/268.23 o 20147 257.35/268.40 o 20146 257.46/268.56 o 20144 257.63/268.72 o 20141 257.80/268.91 o 20139 257.95/269.08 o 20138 258.12/269.25 o 20136 258.40/269.42 o 20133 258.46/269.58 o 20131 258.61/269.77 o 20130 258.79/269.95 o 20128 258.97/270.14 o 20127 259.17/270.32 o 20125 259.34/270.50 o 20124 259.51/270.67 o 20122 259.69/270.84 o 20120 259.85/271.03 o 20119 260.03/271.21 o 20117 260.21/271.39 o 20116 260.39/271.57 o 20114 260.56/271.76 o 20112 260.73/271.94 o 20111 260.92/272.13 o 20109 261.10/272.61 o 20108 261.93/273.03 o 19930 261.99/273.17 o 19859 262.13/273.32 o 19858 262.28/273.46 o 19857 262.42/273.61 o 19855 262.56/273.77 o 19854 262.82/273.92 o 19852 262.87/274.07 o 19849 263.02/274.22 o 19847 263.16/274.37 o 19814 263.31/274.52 o 19813 263.46/274.66 o 19810 263.61/274.80 o 19809 263.81/274.95 o 19808 263.88/275.09 o 19805 264.03/275.24 o 19804 264.17/275.38 o 19801 264.30/275.53 o 19799 264.44/275.73 o 19798 264.58/275.87 o 19797 264.81/276.01 o 19796 264.85/276.16 o 19795 265.01/276.31 o 19793 265.16/276.46 o 19791 265.30/276.60 o 19790 265.44/276.75 o 19788 265.58/276.91 o 19787 265.75/277.06 o 19785 266.01/277.22 o 19784 266.04/277.38 o 19782 266.19/277.53 o 19779 266.35/277.69 o 19777 266.50/277.86 o 19776 266.67/278.02 o 19774 266.82/278.19 o 19772 267.01/278.35 o 19771 267.15/278.51 o 19769 267.30/278.67 o 19754 267.46/278.83 o 19744 267.60/278.98 o 19739 267.75/279.12 o 19736 267.88/279.27 o 19733 268.12/279.42 o 19730 268.17/279.56 o 19728 268.31/279.71 o 19624 268.46/279.85 o 19621 268.59/279.99 o 19618 268.73/280.13 o 19616 268.88/280.33 o 19613 269.05/280.47 o 19610 269.14/280.62 o 19608 269.28/280.76 o 19605 269.41/280.90 o 19602 269.56/281.04 o 19569 269.70/281.18 o 19564 269.84/281.32 o 19561 269.98/281.47 o 19558 270.23/281.61 o 19550 270.26/281.75 o 19546 270.39/281.89 o 19544 270.53/282.03 o 19543 270.66/282.18 o 19542 270.81/282.32 o 19539 270.95/282.51 o 19536 271.15/282.65 o 19535 271.22/282.83 o 19534 271.35/282.97 o 19533 271.50/283.11 o 19531 271.63/283.25 o 19530 271.78/283.39 o 19528 271.92/283.53 o 19527 272.05/283.67 o 19526 272.29/283.81 o 19523 272.33/283.95 o 19515 272.47/284.10 o 19510 272.61/284.24 o 19500 272.75/284.38 o 19497 272.88/284.52 o 19495 273.03/284.66 o 19492 273.28/284.81 o 19489 273.30/284.95 o 19488 273.44/285.09 o 19485 273.58/285.23 o 19484 273.72/285.37 o 19483 273.87/285.51 o 19480 274.00/285.66 o 19477 274.14/285.80 o 19476 274.35/285.94 o 19475 274.42/286.08 o 19472 274.55/286.22 o 19469 274.70/286.36 o 19468 274.83/286.50 o 19467 274.97/286.65 o 19464 275.11/286.80 o 19461 275.25/286.94 o 19458 275.43/287.08 o 19456 275.52/287.22 o 19453 275.66/287.37 o 19450 275.80/287.51 o 19448 275.94/287.65 o 19445 276.09/287.84 o 19426 276.23/287.98 o 19416 276.46/288.12 o 19411 276.51/288.33 o 19408 276.63/288.47 o 19405 276.77/288.61 o 19402 276.91/288.76 o 19399 277.06/288.90 o 19398 277.20/289.04 o 19396 277.41/289.23 o 19395 277.46/289.37 o 19393 277.60/289.52 o 19390 277.74/289.66 o 19387 277.88/289.80 o 19385 278.02/289.95 o 19384 278.16/290.10 o 19382 278.31/290.24 o 19381 278.49/290.39 o 19380 278.60/290.53 o 19379 278.73/290.68 o 19376 278.88/290.81 o 19375 279.02/290.96 o 19374 279.15/291.10 o 19371 279.30/291.25 o 19368 279.44/291.40 o 19366 279.60/291.54 o 19365 279.74/291.75 o 19364 279.90/291.90 o 19361 280.03/292.04 o 19359 280.16/292.18 o 19358 280.30/292.33 o 19357 280.45/292.47 o 19356 280.66/292.63 o 19353 280.74/292.78 o 19350 280.88/292.93 o 19349 281.02/293.07 o 19348 281.17/293.22 o 19345 281.31/293.44 o 19342 281.45/293.59 o 19339 281.59/293.73 o 19337 281.75/293.88 o 19335 281.89/294.02 o 19332 282.02/294.16 o 19331 282.15/294.31 o 19329 282.30/294.46 o 19328 282.44/294.60 o 19327 282.65/294.75 o 19324 282.72/294.89 o 19323 282.86/295.05 o 19322 283.02/295.20 o 19320 283.16/295.34 o 19317 283.31/295.49 o 19315 283.46/295.64 o 19314 283.74/295.80 o 19312 283.76/295.96 o 19309 283.91/296.11 o 19307 284.07/296.26 o 19306 284.23/296.44 o 19304 284.36/296.60 o 19303 284.52/296.76 o 19301 284.79/296.92 o 19298 284.84/297.08 o 19296 284.98/297.25 o 19295 285.15/297.41 o 19293 285.32/297.58 o 19290 285.48/297.74 o 19288 285.64/297.92 o 19278 285.95/298.11 o 19271 285.97/298.27 o 19270 286.12/298.42 o 19268 286.27/298.58 o 19265 286.44/298.73 o 19263 286.58/298.95 o 19262 286.84/299.11 o 19260 286.87/299.26 o 19259 287.02/299.41 o 19257 287.17/299.56 o 19254 287.32/299.71 o 19251 287.46/299.86 o 19248 287.61/300.01 o 19247 287.77/300.16 o 19246 288.02/300.31 o 19244 288.05/300.47 o 19243 288.20/300.62 o 19240 288.36/300.77 o 19239 288.50/300.92 o 19238 288.66/301.07 o 19236 288.81/301.22 o 19234 288.95/301.44 o 19232 289.09/301.59 o 19231 289.24/301.74 o 19230 289.53/301.90 o 19228 289.54/302.06 o 19227 289.70/302.22 o 19225 289.88/302.39 o 19224 290.03/302.57 o 19222 290.19/302.73 o 19221 290.34/302.89 o 19220 290.49/303.04 o 19219 290.65/303.25 o 19217 290.80/303.41 o 19216 291.03/303.58 o 19214 291.12/303.76 o 19213 291.27/303.92 o 19211 291.43/304.09 o 19209 291.60/304.26 o 19206 291.77/304.42 o 19204 291.93/304.58 o 19203 292.09/304.75 o 19201 292.26/304.92 o 19198 292.42/305.08 o 19196 292.57/305.24 o 19195 292.73/305.40 o 19193 292.90/305.56 o 19190 293.18/305.73 o 19188 293.22/305.89 o 19187 293.38/306.05 o 19185 293.54/306.22 o 19184 293.70/306.38 o 19182 293.87/306.55 o 19179 294.03/306.70 o 19177 294.24/306.89 o 19176 294.37/307.05 o 19174 294.52/307.22 o 19171 294.69/307.38 o 19169 294.85/307.57 o 19168 295.04/307.76 o 19166 295.34/307.94 o 19165 295.41/308.18 o 19163 295.58/308.38 o 19162 295.75/308.55 o 19160 295.92/308.71 o 19158 296.08/308.89 o 19157 296.33/309.09 o 19155 296.44/309.27 o 19154 296.62/309.44 o 19152 296.79/309.62 o 19150 296.97/309.80 o 19149 297.15/309.99 o 19147 298.10/310.87 o 19141 298.19/311.05 o 19139 298.59/311.39 o 19068 298.69/311.53 o 19019 298.83/311.68 o 19018 298.98/311.84 o 19000 299.12/311.98 o 18997 299.26/312.12 o 18993 299.40/312.26 o 18950 299.66/312.41 o 18948 299.68/312.55 o 18945 299.82/312.69 o 18942 299.95/312.83 o 18939 300.09/312.97 o 18936 300.23/313.11 o 18935 300.38/313.26 o 18934 300.63/313.40 o 18931 300.65/313.55 o 18928 300.80/313.69 o 18927 300.94/313.84 o 18926 301.08/313.98 o 18923 301.23/314.12 o 18920 301.37/314.27 o 18918 301.50/314.41 o 18917 301.72/314.55 o 18915 301.79/314.69 o 18914 301.92/314.83 o 18912 302.06/314.97 o 18910 302.21/315.11 o 18909 302.34/315.25 o 18907 302.48/315.40 o 18906 302.62/315.54 o 18904 302.79/315.68 o 18903 302.91/315.83 o 18901 303.05/315.97 o 18900 303.19/316.12 o 18899 303.33/316.26 o 18898 303.47/316.40 o 18895 303.61/316.55 o 18894 303.76/316.69 o 18893 303.90/316.84 o 18890 304.03/316.99 o 18887 304.19/317.13 o 18885 304.34/317.28 o 18884 304.48/317.43 o 18883 304.62/317.58 o 18880 304.76/317.73 o 18877 304.96/317.87 o 18876 305.06/318.02 o 18875 305.21/318.17 o 18872 305.35/318.32 o 18869 305.50/318.47 o 18868 305.64/318.61 o 18867 305.80/318.76 o 18864 306.01/318.95 o 18860 306.08/319.09 o 18859 306.23/319.24 o 18858 306.37/319.43 o 18855 306.50/319.58 o 18854 306.65/319.72 o 18851 306.79/319.95 o 18850 306.95/320.09 o 18848 307.08/320.24 o 18847 307.23/320.38 o 18846 307.37/320.55 o 18843 307.50/320.70 o 18842 307.65/320.85 o 18841 307.80/321.00 o 18839 308.03/321.15 o 18836 308.10/321.30 o 18834 308.25/321.45 o 18833 308.38/321.61 o 18831 308.56/321.76 o 18828 308.70/321.91 o 18826 308.85/322.07 o 18825 309.11/322.22 o 18823 309.16/322.38 o 18822 309.31/322.54 o 18820 309.47/322.69 o 18817 309.62/322.85 o 18815 309.77/323.02 o 18814 309.95/323.19 o 18812 310.20/323.35 o 18810 310.27/323.51 o 18809 310.43/323.67 o 18807 310.59/323.85 o 18797 310.78/324.01 o 18790 310.93/324.17 o 18789 311.07/324.33 o 18787 311.29/324.48 o 18784 311.39/324.63 o 18782 311.53/324.79 o 18781 311.67/324.94 o 18779 311.82/325.09 o 18778 311.97/325.24 o 18776 312.13/325.39 o 18773 312.36/325.54 o 18770 312.42/325.75 o 18767 312.57/325.90 o 18766 312.71/326.05 o 18765 312.85/326.20 o 18763 312.99/326.35 o 18762 313.28/326.50 o 18759 313.37/326.65 o 18758 313.43/326.79 o 18757 313.57/326.94 o 18755 313.73/327.12 o 18753 313.87/327.27 o 18751 314.03/327.42 o 18750 314.17/327.57 o 18749 314.39/327.77 o 18747 314.47/327.92 o 18746 314.63/328.08 o 18744 314.78/328.25 o 18743 314.96/328.41 o 18741 315.11/328.57 o 18740 315.28/328.73 o 18738 315.47/328.88 o 18736 315.57/329.04 o 18735 315.73/329.21 o 18733 315.92/329.38 o 18732 316.08/329.54 o 18730 316.24/329.71 o 18728 316.39/329.88 o 18727 316.66/330.04 o 18726 316.72/330.21 o 18725 316.88/330.37 o 18723 317.04/330.53 o 18722 317.20/330.69 o 18720 317.37/330.85 o 18717 317.65/331.01 o 18715 317.68/331.18 o 18714 317.84/331.36 o 18712 317.99/331.52 o 18709 318.17/331.69 o 18707 318.33/331.85 o 18706 318.48/332.01 o 18704 318.71/332.18 o 18703 318.80/332.42 o 18701 318.98/332.58 o 18698 319.14/332.74 o 18696 319.28/332.91 o 18695 319.46/333.09 o 18693 319.72/333.26 o 18691 319.80/333.42 o 18690 319.94/333.57 o 18688 320.11/333.76 o 18687 320.29/333.98 o 18685 320.48/334.17 o 18684 320.77/334.36 o 18682 320.84/334.53 o 18681 321.02/334.70 o 18679 321.18/334.87 o 18677 321.36/335.06 o 18676 321.54/335.28 o 18674 321.80/335.46 o 18673 321.89/335.64 o 18671 322.08/335.81 o 18669 322.24/336.00 o 18668 322.43/336.19 o 18666 323.11/336.73 o 18644 323.17/337.13 o 18643 323.57/337.45 o 18556 324.10/337.77 o 18493 324.20/338.18 o 18492 324.59/338.58 o 18288 325.09/338.73 o 18286 325.15/338.87 o 18283 325.28/339.01 o 18268 325.43/339.15 o 18263 325.56/339.29 o 18260 325.71/339.44 o 18258 325.85/339.58 o 18256 325.99/339.72 o 18255 326.12/339.94 o 18253 326.25/340.08 o 18252 326.39/340.23 o 18250 326.54/340.37 o 18248 326.68/340.51 o 18247 326.81/340.66 o 18244 326.97/340.80 o 18242 327.18/340.94 o 18239 327.24/341.09 o 18236 327.39/341.23 o 18234 327.53/341.37 o 18231 327.67/341.51 o 18228 327.81/341.66 o 18226 327.95/341.80 o 18223 328.08/341.94 o 18220 328.25/342.09 o 18213 328.38/342.23 o 18201 328.52/342.37 o 18198 328.66/342.52 o 18196 328.79/342.66 o 18195 328.95/342.80 o 18193 329.09/342.95 o 18192 329.22/343.09 o 18190 329.35/343.23 o 18188 329.51/343.37 o 18187 329.64/343.52 o 18185 329.79/343.74 o 18184 329.92/343.88 o 18182 330.05/344.03 o 18181 330.19/344.17 o 18179 330.35/344.35 o 18178 330.49/344.48 o 18177 330.62/344.63 o 18176 330.76/344.77 o 18173 330.89/344.92 o 18171 331.05/345.14 o 18168 331.18/345.29 o 18165 331.32/345.44 o 18163 331.46/345.59 o 18131 331.62/345.73 o 18122 331.75/345.87 o 18117 331.89/346.01 o 18112 332.03/346.16 o 18111 332.16/346.29 o 18108 332.38/346.44 o 18103 332.44/346.58 o 18100 332.57/346.76 o 18097 332.71/346.90 o 18094 332.85/347.04 o 18093 332.99/347.19 o 18092 333.14/347.33 o 18089 333.38/347.52 o 18086 333.41/347.67 o 18085 333.56/347.82 o 18084 333.69/347.96 o 18081 333.82/348.10 o 18062 333.97/348.24 o 18057 334.11/348.46 o 18054 334.36/348.60 o 18051 334.38/348.75 o 18048 334.52/348.88 o 18043 334.65/349.02 o 18040 334.79/349.16 o 18037 334.92/349.30 o 18036 335.06/349.44 o 18034 335.19/349.58 o 18033 335.44/349.72 o 18032 335.48/349.86 o 18029 335.61/350.06 o 18024 335.76/350.21 o 18021 335.89/350.35 o 18018 336.05/350.49 o 18016 336.19/350.65 o 18015 336.32/350.80 o 18013 336.46/350.94 o 18010 336.61/351.09 o 18007 336.75/351.23 o 18006 336.88/351.37 o 18005 337.03/351.52 o 18002 337.16/351.66 o 17983 337.31/351.81 o 17973 337.53/351.95 o 17968 337.60/352.09 o 17965 337.73/352.23 o 17962 337.86/352.37 o 17959 338.00/352.51 o 17956 338.13/352.66 o 17953 338.29/352.80 o 17952 338.43/352.94 o 17950 338.63/353.14 o 17947 338.70/353.29 o 17944 338.84/353.43 o 17942 338.97/353.58 o 17941 339.12/353.72 o 17939 339.27/353.87 o 17938 339.41/354.01 o 17937 339.61/354.16 o 17936 339.68/354.30 o 17933 339.84/354.45 o 17932 339.98/354.59 o 17931 340.12/354.73 o 17928 340.26/354.88 o 17925 340.41/355.03 o 17923 340.56/355.18 o 17922 340.80/355.32 o 17921 340.83/355.47 o 17918 340.98/355.61 o 17915 341.13/355.76 o 17914 341.29/355.91 o 17913 341.42/356.05 o 17910 341.57/356.20 o 17907 341.78/356.35 o 17906 341.86/356.50 o 17905 342.01/356.65 o 17902 342.15/356.80 o 17899 342.31/356.94 o 17896 342.45/357.09 o 17894 342.59/357.23 o 17825 342.73/357.37 o 17810 342.97/357.51 o 17807 343.00/357.65 o 17804 343.14/357.80 o 17695 343.28/357.94 o 17694 343.42/358.08 o 17692 343.56/358.22 o 17689 343.70/358.36 o 17686 343.95/358.50 o 17645 343.98/358.64 o 17640 344.11/358.79 o 17637 344.26/358.93 o 17634 344.39/359.07 o 17626 344.53/359.20 o 17622 344.67/359.34 o 17620 344.79/359.48 o 17619 344.99/359.64 o 17618 345.07/359.78 o 17615 345.20/359.93 o 17612 345.34/360.07 o 17611 345.49/360.21 o 17610 345.64/360.35 o 17609 345.77/360.49 o 17607 345.92/360.63 o 17606 346.09/360.77 o 17604 346.19/360.91 o 17603 346.32/361.06 o 17602 346.59/361.20 o 17599 346.62/361.34 o 17591 346.76/361.48 o 17586 346.90/361.63 o 17576 347.03/361.77 o 17573 347.27/361.91 o 17571 347.31/362.05 o 17568 347.45/362.19 o 17565 347.59/362.33 o 17564 347.74/362.47 o 17561 347.88/362.62 o 17560 348.01/362.76 o 17559 348.19/362.96 o 17556 348.28/363.10 o 17553 348.43/363.25 o 17552 348.57/363.39 o 17551 348.70/363.53 o 17548 348.84/363.68 o 17545 349.00/363.82 o 17544 349.20/364.05 o 17543 349.26/364.19 o 17540 349.40/364.34 o 17537 349.54/364.48 o 17534 349.68/364.63 o 17532 349.83/364.77 o 17529 349.97/364.92 o 17526 350.12/365.07 o 17524 350.38/365.21 o 17521 350.40/365.35 o 17502 350.54/365.49 o 17492 350.68/365.64 o 17487 350.82/365.78 o 17484 350.95/365.92 o 17481 351.10/366.06 o 17478 351.36/366.21 o 17475 351.38/366.35 o 17474 351.52/366.49 o 17472 351.65/366.63 o 17471 351.79/366.77 o 17469 351.94/366.92 o 17466 352.07/367.06 o 17463 352.22/367.20 o 17461 352.43/367.35 o 17460 352.63/367.50 o 17458 352.65/367.64 o 17457 352.79/367.79 o 17456 352.94/367.94 o 17455 353.08/368.08 o 17452 353.21/368.23 o 17451 353.37/368.37 o 17450 353.61/368.51 o 17447 353.64/368.66 o 17444 353.80/368.81 o 17442 353.94/368.95 o 17441 354.09/369.10 o 17440 354.24/369.25 o 17437 354.38/369.45 o 17435 354.54/369.60 o 17434 354.66/369.74 o 17433 354.81/369.89 o 17432 354.95/370.04 o 17429 355.10/370.26 o 17426 355.23/370.40 o 17425 355.49/370.63 o 17424 355.53/370.78 o 17421 355.68/370.92 o 17418 355.82/371.07 o 17415 355.96/371.22 o 17413 356.12/371.36 o 17411 356.26/371.55 o 17408 356.45/371.76 o 17407 356.53/371.90 o 17405 356.67/372.04 o 17404 356.81/372.18 o 17403 356.95/372.33 o 17400 357.09/372.48 o 17399 357.24/372.63 o 17398 357.39/372.78 o 17396 357.63/372.92 o 17393 357.67/373.07 o 17391 357.82/373.23 o 17390 357.98/373.38 o 17388 358.13/373.53 o 17385 358.27/373.69 o 17383 358.43/373.84 o 17382 358.60/373.99 o 17380 358.72/374.15 o 17379 358.87/374.30 o 17377 359.03/374.46 o 17374 359.19/374.61 o 17372 359.33/374.78 o 17371 359.50/374.95 o 17369 359.80/375.12 o 17367 359.84/375.28 o 17366 359.99/375.44 o 17364 360.14/375.62 o 17354 360.32/375.78 o 17347 360.49/375.94 o 17346 360.64/376.09 o 17344 360.78/376.25 o 17341 360.94/376.40 o 17339 361.10/376.55 o 17338 361.24/376.71 o 17336 361.39/376.86 o 17335 361.54/377.01 o 17333 361.69/377.16 o 17330 361.96/377.30 o 17327 361.97/377.45 o 17324 362.11/377.60 o 17323 362.27/377.75 o 17322 362.41/377.90 o 17320 362.55/378.06 o 17319 362.72/378.21 o 17316 362.92/378.35 o 17315 363.01/378.50 o 17314 363.15/378.65 o 17312 363.30/378.81 o 17310 363.45/378.96 o 17308 363.61/379.11 o 17307 363.75/379.26 o 17306 364.01/379.42 o 17304 364.05/379.58 o 17303 364.22/379.74 o 17301 364.37/379.90 o 17300 364.52/380.06 o 17298 364.68/380.22 o 17297 364.85/380.38 o 17296 365.10/380.54 o 17295 365.16/380.70 o 17293 365.31/380.86 o 17292 365.47/381.03 o 17290 365.64/381.19 o 17289 365.80/381.36 o 17287 365.96/381.58 o 17285 366.22/381.75 o 17282 366.29/381.91 o 17280 366.46/382.08 o 17279 366.61/382.24 o 17277 366.79/382.41 o 17274 366.95/382.57 o 17272 367.22/382.73 o 17271 367.27/382.89 o 17269 367.42/383.05 o 17266 367.59/383.22 o 17264 367.74/383.48 o 17263 367.90/383.64 o 17261 368.19/383.82 o 17260 368.23/383.99 o 17258 368.40/384.15 o 17255 368.57/384.31 o 17253 368.73/384.48 o 17252 368.89/384.66 o 17250 369.07/384.83 o 17248 369.28/385.00 o 17247 369.39/385.16 o 17245 369.54/385.35 o 17244 369.73/385.54 o 17242 369.93/385.79 o 17241 370.10/385.97 o 17239 370.44/386.23 o 17238 370.46/386.40 o 17236 370.63/386.58 o 17234 370.80/386.77 o 17233 370.99/386.95 o 17231 371.30/387.14 o 17230 371.36/387.31 o 17228 371.53/387.49 o 17226 371.70/387.71 o 17225 371.88/387.89 o 17223 372.55/388.41 o 17221 372.76/388.60 o 17220 372.77/388.78 o 17219 372.95/388.96 o 17217 373.13/389.14 o 17215 373.73/389.64 o 17213 373.81/390.04 o 17148 374.19/390.19 o 17090 374.33/390.33 o 17089 374.53/390.47 o 17086 374.62/390.66 o 17081 374.76/390.80 o 17071 374.89/390.94 o 17026 375.03/391.08 o 17024 375.17/391.23 o 17021 375.32/391.37 o 17018 375.56/391.51 o 17015 375.59/391.65 o 17012 375.73/391.79 o 17011 375.87/391.93 o 17010 376.00/392.08 o 17007 376.14/392.22 o 17004 376.28/392.37 o 17003 376.43/392.56 o 17002 376.57/392.85 o 16999 376.71/392.99 o 16996 376.84/393.14 o 16994 376.98/393.28 o 16993 377.13/393.42 o 16991 377.27/393.56 o 16990 377.52/393.71 o 16988 377.54/393.85 o 16986 377.69/393.99 o 16985 377.82/394.13 o 16983 377.96/394.27 o 16982 378.10/394.41 o 16980 378.24/394.56 o 16979 378.39/394.76 o 16977 378.63/394.90 o 16976 378.66/395.05 o 16975 378.82/395.19 o 16974 378.95/395.33 o 16971 379.09/395.48 o 16970 379.23/395.62 o 16969 379.37/395.76 o 16966 379.63/395.92 o 16963 379.67/396.06 o 16961 379.81/396.21 o 16960 379.95/396.43 o 16959 380.10/396.58 o 16956 380.25/396.73 o 16953 380.40/396.93 o 16952 380.54/397.16 o 16951 380.69/397.31 o 16948 380.84/397.46 o 16945 380.98/397.61 o 16944 381.12/397.76 o 16943 381.28/397.90 o 16940 381.43/398.05 o 16936 381.58/398.20 o 16935 381.71/398.34 o 16934 381.86/398.49 o 16931 381.99/398.63 o 16930 382.14/398.78 o 16927 382.28/398.97 o 16926 382.44/399.11 o 16924 382.63/399.26 o 16923 382.71/399.40 o 16922 382.85/399.54 o 16919 383.00/399.69 o 16918 383.15/399.84 o 16917 383.29/400.00 o 16915 383.45/400.15 o 16912 383.59/400.30 o 16910 383.75/400.46 o 16909 383.90/400.61 o 16907 384.07/400.76 o 16904 384.21/400.92 o 16902 384.35/401.07 o 16901 384.50/401.22 o 16899 384.65/401.38 o 16898 384.81/401.54 o 16896 384.97/401.70 o 16893 385.13/401.86 o 16891 385.28/402.03 o 16890 385.44/402.19 o 16888 385.61/402.36 o 16886 385.89/402.52 o 16885 385.92/402.68 o 16883 386.08/402.90 o 16873 386.26/403.06 o 16866 386.43/403.21 o 16865 386.58/403.37 o 16863 386.72/403.52 o 16860 386.89/403.77 o 16858 387.03/403.92 o 16857 387.18/404.07 o 16855 387.33/404.22 o 16854 387.49/404.38 o 16852 387.64/404.53 o 16849 387.78/404.68 o 16846 388.02/404.83 o 16843 388.06/404.98 o 16842 388.22/405.13 o 16841 388.36/405.28 o 16839 388.51/405.44 o 16838 388.67/405.59 o 16835 388.82/405.74 o 16834 389.02/405.88 o 16833 389.11/406.03 o 16831 389.25/406.18 o 16829 389.40/406.33 o 16827 389.55/406.56 o 16826 389.71/406.71 o 16825 389.86/406.87 o 16823 390.10/407.04 o 16822 390.16/407.20 o 16820 390.32/407.43 o 16819 390.49/407.59 o 16817 390.65/407.75 o 16816 390.81/407.91 o 16814 391.03/408.08 o 16812 391.12/408.24 o 16811 391.44/408.50 o 16809 391.45/408.66 o 16808 391.61/408.83 o 16806 391.78/408.99 o 16804 392.01/409.17 o 16803 392.11/409.34 o 16802 392.28/409.50 o 16801 392.44/409.66 o 16799 392.60/409.83 o 16798 392.76/410.08 o 16796 392.98/410.28 o 16793 393.08/410.44 o 16791 393.24/410.61 o 16790 393.41/410.77 o 16788 393.57/410.98 o 16785 393.73/411.14 o 16783 394.02/411.30 o 16782 394.05/411.47 o 16780 394.21/411.64 o 16779 394.37/411.80 o 16777 394.54/411.96 o 16774 394.70/412.12 o 16772 394.86/412.30 o 16771 395.11/412.47 o 16769 395.20/412.68 o 16767 395.37/412.84 o 16766 395.52/413.00 o 16764 395.68/413.19 o 16763 395.86/413.38 o 16761 396.14/413.56 o 16760 396.24/413.75 o 16758 396.42/413.92 o 16757 396.58/414.09 o 16755 396.76/414.27 o 16753 396.92/414.49 o 16752 397.17/414.68 o 16750 397.27/414.90 o 16749 397.44/415.07 o 16747 397.62/415.25 o 16745 397.80/415.44 o 16744 397.98/415.62 o 16742 398.61/416.16 o 16731 398.69/416.66 o 16717 399.51/417.03 o 16711 399.56/417.34 o 16677 399.86/417.52 o 16676 400.04/417.69 o 16674 400.49/418.07 o 16638 400.59/418.26 o 16636 400.78/418.45 o 16634 400.96/418.88 o 16541 401.48/419.05 o 16530 401.54/419.21 o 16503 401.69/419.36 o 16488 401.87/419.51 o 16485 402.01/419.67 o 16484 402.15/419.82 o 16464 402.30/419.96 o 16461 402.48/420.17 o 16458 402.58/420.32 o 16455 402.72/420.47 o 16452 402.87/420.61 o 16373 403.01/420.76 o 16370 403.17/420.91 o 16368 403.31/421.06 o 16367 403.56/421.22 o 16365 403.60/421.36 o 16364 403.76/421.56 o 16362 403.90/421.71 o 16359 404.03/421.85 o 16356 404.17/422.00 o 16349 404.32/422.14 o 16342 404.46/422.28 o 16339 404.60/422.43 o 16336 404.74/422.66 o 16308 404.90/422.80 o 16307 405.04/422.95 o 16304 405.17/423.16 o 16302 405.32/423.36 o 16299 405.47/423.50 o 16296 405.59/423.64 o 16289 405.74/423.79 o 16284 405.87/423.92 o 16282 406.01/424.06 o 16281 406.14/424.21 o 16280 406.28/424.35 o 16277 406.43/424.50 o 16274 406.58/424.66 o 16262 406.71/424.85 o 16257 406.83/424.99 o 16254 406.99/425.13 o 16251 407.12/425.28 o 16249 407.26/425.42 o 16246 407.40/425.56 o 16243 407.66/425.70 o 16241 407.67/425.85 o 16238 407.82/425.99 o 16235 407.96/426.17 o 16202 408.10/426.31 o 16197 408.24/426.46 o 16194 408.38/426.60 o 16191 408.58/426.76 o 16183 408.77/426.90 o 16179 408.78/427.04 o 16177 408.91/427.18 o 16176 409.07/427.32 o 16175 409.21/427.46 o 16172 409.35/427.66 o 16169 409.48/427.80 o 16168 409.62/427.94 o 16167 409.76/428.08 o 16166 409.89/428.22 o 16164 410.02/428.36 o 16163 410.16/428.50 o 16161 410.30/428.64 o 16160 410.44/428.78 o 16159 410.68/428.92 o 16156 410.73/429.07 o 16148 410.86/429.21 o 16138 411.01/429.35 o 16073 411.14/429.50 o 16059 411.29/429.64 o 16049 411.42/429.78 o 16044 411.55/429.92 o 16041 411.74/430.06 o 16038 411.84/430.20 o 16035 411.99/430.34 o 16032 412.12/430.49 o 16031 412.26/430.67 o 16029 412.40/430.85 o 16028 412.53/430.99 o 16026 412.75/431.13 o 16023 412.80/431.28 o 16020 412.95/431.42 o 16018 413.09/431.57 o 16017 413.23/431.71 o 16015 413.37/431.86 o 16014 413.51/432.00 o 16013 413.65/432.15 o 16012 413.81/432.36 o 16009 413.94/432.56 o 16008 414.08/432.70 o 16007 414.23/432.85 o 16004 414.52/433.00 o 16001 414.52/433.14 o 15999 414.66/433.29 o 15998 414.80/433.44 o 15997 414.96/433.59 o 15994 415.09/433.73 o 15992 415.23/433.88 o 15991 415.38/434.03 o 15990 415.54/434.17 o 15989 415.67/434.32 o 15986 415.87/434.47 o 15983 415.96/434.61 o 15982 416.09/434.76 o 15981 416.25/434.90 o 15978 416.39/435.06 o 15975 416.53/435.21 o 15972 416.68/435.36 o 15970 416.93/435.51 o 15968 416.97/435.76 o 15965 417.10/435.91 o 15964 417.25/436.06 o 15962 417.40/436.20 o 15961 417.55/436.35 o 15960 417.69/436.49 o 15957 417.90/436.64 o 15956 417.97/436.79 o 15955 418.11/436.95 o 15953 418.28/437.10 o 15950 418.42/437.25 o 15948 418.56/437.41 o 15947 418.71/437.56 o 15945 418.98/437.72 o 15942 419.02/437.87 o 15940 419.17/438.03 o 15939 419.32/438.18 o 15937 419.48/438.34 o 15936 419.65/438.50 o 15934 419.80/438.66 o 15931 420.08/438.81 o 15929 420.11/438.98 o 15928 420.28/439.15 o 15926 420.44/439.32 o 15924 420.61/439.53 o 15923 420.77/439.69 o 15921 420.93/439.87 o 15911 421.20/440.03 o 15904 421.27/440.19 o 15903 421.42/440.35 o 15901 421.57/440.50 o 15898 421.71/440.65 o 15896 421.87/440.81 o 15895 422.02/440.96 o 15893 422.29/441.11 o 15892 422.33/441.26 o 15890 422.47/441.40 o 15887 422.61/441.56 o 15884 422.76/441.77 o 15881 422.91/441.92 o 15880 423.05/442.07 o 15879 423.32/442.22 o 15877 423.36/442.37 o 15876 423.50/442.53 o 15873 423.66/442.68 o 15872 423.80/442.83 o 15871 423.96/442.98 o 15869 424.11/443.13 o 15867 424.31/443.28 o 15865 424.40/443.43 o 15864 424.55/443.58 o 15863 424.71/443.74 o 15861 424.87/443.91 o 15860 425.03/444.07 o 15858 425.20/444.24 o 15857 425.50/444.40 o 15855 425.52/444.57 o 15854 425.68/444.73 o 15852 425.84/444.89 o 15850 425.99/445.05 o 15849 426.14/445.27 o 15847 426.42/445.45 o 15845 426.49/445.68 o 15844 426.64/445.84 o 15842 426.80/446.00 o 15841 426.96/446.17 o 15840 427.13/446.34 o 15839 427.29/446.50 o 15837 427.44/446.66 o 15836 427.61/446.88 o 15834 427.77/447.04 o 15831 427.93/447.20 o 15829 428.09/447.37 o 15828 428.25/447.53 o 15826 428.45/447.70 o 15823 428.59/447.86 o 15821 428.74/448.02 o 15820 428.91/448.18 o 15818 429.07/448.34 o 15817 429.22/448.51 o 15815 429.40/448.67 o 15812 429.65/448.83 o 15810 429.70/449.01 o 15809 429.88/449.18 o 15807 430.05/449.35 o 15805 430.23/449.51 o 15804 430.38/449.67 o 15802 430.63/449.86 o 15801 430.72/450.05 o 15799 430.90/450.23 o 15798 431.10/450.42 o 15796 431.28/450.59 o 15795 431.45/450.77 o 15793 431.72/450.94 o 15791 431.79/451.13 o 15790 431.97/451.32 o 15788 432.16/451.50 o 15787 432.34/451.67 o 15785 432.50/451.85 o 15783 432.81/452.04 o 15782 432.87/452.23 o 15780 433.06/452.77 o 15737 433.60/453.09 o 15733 433.92/453.28 o 15732 434.09/453.46 o 15730 434.28/453.64 o 15728 434.47/453.83 o 15726 434.65/454.01 o 15725 434.82/454.19 o 15724 435.01/454.37 o 15723 435.17/454.54 o 15721 435.34/454.72 o 15720 435.52/455.14 o 15719 436.08/455.32 o 15718 436.12/455.50 o 15716 436.30/455.68 o 15714 436.46/455.85 o 15712 437.16/456.41 o 15711 441.06/460.37 o 15708 441.15/460.56 o 15706 441.33/460.75 o 15704 441.85/461.15 o 15703 442.77/462.13 o 15702 443.67/463.02 o 15701 443.71/463.68 o 15691 444.37/464.09 o 15688 446.96/466.33 o 15687 447.02/466.65 o 15625 447.33/467.04 o 15617 453.74/473.15 o 15614 453.84/473.54 o 15613 454.22/473.88 o 15506 454.65/474.05 o 15504 454.73/474.23 o 15501 454.90/474.62 o 15499 455.74/475.16 o 15476 455.82/475.33 o 15475 455.99/475.50 o 15472 456.16/475.67 o 15470 456.33/475.85 o 15469 456.50/476.03 o 15468 456.82/476.21 o 15467 456.87/476.39 o 15464 457.05/476.55 o 15462 457.20/476.72 o 15461 457.38/476.88 o 15459 457.53/477.06 o 15458 457.70/477.22 o 15456 458.01/477.41 o 15455 458.04/477.60 o 15453 458.23/477.78 o 15450 458.40/477.95 o 15448 458.58/478.13 o 15447 458.75/478.32 o 15445 458.99/478.50 o 15443 459.12/478.66 o 15442 459.28/478.84 o 15440 459.45/479.02 o 15439 459.64/479.20 o 15437 459.82/479.38 o 15434 460.09/479.54 o 15432 460.15/479.79 o 15430 460.31/479.95 o 15429 460.48/480.10 o 15428 460.64/480.26 o 15426 460.80/480.42 o 15423 460.95/480.57 o 15421 461.20/480.73 o 15420 461.25/480.88 o 15418 461.42/481.03 o 15417 461.56/481.19 o 15415 461.71/481.35 o 15414 461.87/481.51 o 15412 462.03/481.67 o 15409 462.29/481.82 o 15407 462.33/481.99 o 15406 462.50/482.15 o 15404 462.66/482.31 o 15401 462.81/482.46 o 15399 462.98/482.62 o 15398 463.13/482.78 o 15396 463.37/482.94 o 15395 463.44/483.10 o 15393 463.61/483.25 o 15392 463.76/483.41 o 15390 463.91/483.57 o 15388 464.06/483.73 o 15387 464.23/483.89 o 15385 464.39/484.06 o 15384 464.54/484.21 o 15383 464.69/484.36 o 15382 464.85/484.52 o 15380 465.01/484.68 o 15379 465.17/484.84 o 15377 465.46/485.01 o 15376 465.50/485.18 o 15374 465.65/485.34 o 15373 465.81/485.49 o 15371 465.97/485.64 o 15369 466.11/485.81 o 15368 466.29/485.98 o 15366 466.55/486.14 o 15365 466.61/486.38 o 15363 466.76/486.54 o 15362 466.93/486.70 o 15361 467.08/486.87 o 15358 467.25/487.07 o 15356 467.52/487.24 o 15355 467.57/487.41 o 15353 467.75/487.57 o 15350 467.90/487.73 o 15348 468.07/487.90 o 15347 468.23/488.06 o 15345 468.40/488.22 o 15342 468.68/488.40 o 15340 468.72/488.56 o 15339 468.88/488.73 o 15337 469.03/488.90 o 15336 469.19/489.06 o 15334 469.35/489.23 o 15331 469.52/489.39 o 15329 469.67/489.56 o 15328 469.83/489.73 o 15326 470.00/489.90 o 15324 470.16/490.06 o 15323 470.31/490.22 o 15321 470.48/490.41 o 15320 470.72/490.60 o 15318 470.86/490.79 o 15317 471.04/490.97 o 15315 471.23/491.15 o 15314 471.39/491.32 o 15312 471.58/491.50 o 15310 471.81/491.69 o 15309 471.94/491.88 o 15307 472.12/492.06 o 15306 472.30/492.25 o 15304 472.48/492.43 o 15302 472.64/492.62 o 15301 472.98/492.81 o 15299 474.06/493.98 o 15290 474.18/494.38 o 15289 474.59/494.79 o 15286 475.07/494.98 o 15285 477.55/497.49 o 15273 477.67/497.81 o 15103 477.99/498.13 o 15058 478.54/498.43 o 15031 478.59/498.73 o 7186 478.90/499.04 o 7184 479.45/499.35 o 7183 479.52/499.66 o 7181 479.82/499.97 o 7178 480.14/500.36 o 7166 480.65/500.65 o 7161 480.73/500.96 o 7160 481.04/501.33 o 7158 481.59/501.64 o 7155 481.64/501.95 o 7147 481.96/502.26 o 7144 482.27/502.57 o 7141 482.77/502.86 o 7139 482.86/503.33 o 7136 483.26/503.62 o 7129 484.10/504.23 o 7127 484.69/504.87 o 7123 484.80/505.52 o 7122 485.98/506.15 o 7117 486.06/506.81 o 7116 487.27/507.46 o 7114 487.92/508.18 o 7113 488.02/508.85 o 7112 489.21/509.50 o 7111 489.33/510.16 o 7110 490.55/510.85 o 7109 491.26/511.54 o 7107 491.32/512.22 o 7105 492.54/512.87 o 7104 492.63/513.53 o 7102 493.84/514.16 o 7101 494.53/514.82 o 7099 494.56/515.48 o 7097 495.82/516.15 o 7095 495.88/516.81 o 7094 497.10/517.43 o 7092 497.69/518.09 o 7088 497.81/518.74 o 7087 499.08/519.40 o 7085 499.11/520.06 o 7083 500.38/520.72 o 7082 500.99/521.38 o 7081 501.08/522.04 o 7080 501.74/522.70 o 7078 502.39/523.08 o 7075 502.76/523.46 o 7074 503.36/523.75 o 7073 503.43/524.04 o 7071 505.54/525.95 o 7068 505.63/526.34 o 7066 506.00/526.73 o 7063 506.73/527.10 o 7061 506.75/527.64 o 7060 507.62/528.02 o 7059 507.67/528.41 o 7058 508.62/529.02 o 7056 508.67/529.41 o 7053 509.05/530.06 o 7051 511.59/532.04 o 7050 520.27/540.75 o 7049 521.09/541.57 o 7048 522.68/543.18 o 7046 523.58/544.04 o 7045 523.96/544.43 o 7044 524.01/545.07 o 7043 525.76/546.22 o 7042 526.15/546.63 o 7041 526.18/547.02 o 7039 527.81/548.30 o 7036 529.81/550.37 o 7034 531.61/552.11 o 7032 533.29/553.80 o 7031 537.37/557.93 o 7030 590.01/610.65 o 7029 591.62/612.26 o 7028 592.91/613.52 o 7026 595.30/615.93 o 7024 596.69/617.37 o 7023 608.87/629.54 o 7022 608.93/630.12 o 7015 609.51/630.40 o 7014 609.77/630.70 o 7011 610.08/631.03 o 7008 610.66/631.36 o 7006 610.74/631.69 o 7005 611.06/631.99 o 7002 611.37/632.32 o 7000 611.94/632.63 o 6997 612.00/632.96 o 6995 612.33/633.29 o 6992 612.94/633.62 o 6991 612.98/633.96 o 6990 613.63/634.30 o 6989 613.91/634.65 o 6986 613.96/634.98 o 6974 614.30/635.30 o 6971 614.61/635.62 o 6968 615.19/635.94 o 6965 615.25/636.26 o 6960 615.57/636.58 o 6957 616.09/636.89 o 6952 616.20/637.20 o 6950 616.50/637.49 o 6938 616.80/637.78 o 6934 617.27/638.06 o 6931 617.35/638.35 o 6930 617.64/638.64 o 6928 618.18/639.02 o 6926 618.22/639.31 o 6923 618.52/639.60 o 6920 618.80/639.89 o 6915 619.26/640.19 o 6912 619.37/640.48 o 6911 619.66/640.77 o 6910 619.94/641.06 o 6907 620.46/641.35 o 6802 620.53/641.68 o 6801 620.86/642.02 o 6798 621.43/642.33 o 6796 621.47/642.71 o 6793 621.80/643.05 o 6792 622.14/643.39 o 6791 622.47/643.74 o 6788 622.82/644.08 o 6785 623.15/644.41 o 6784 623.73/644.73 o 6781 623.79/645.06 o 6780 624.12/645.39 o 6779 624.72/645.73 o 6776 624.79/646.05 o 6775 625.10/646.38 o 6774 625.42/646.69 o 6771 625.73/647.07 o 6770 626.12/647.45 o 6768 627.42/648.46 o 6767 627.49/648.84 o 6764 628.19/649.20 o 6737 628.23/649.58 o 6734 628.60/649.96 o 6731 629.28/650.32 o 6722 629.32/650.70 o 6719 629.71/651.08 o 6716 630.38/651.44 o 6715 630.45/651.82 o 6714 630.82/652.16 o 6695 641.95/663.07 o 6694 651.96/673.08 o 6693 673.51/694.65 o 6692 681.60/702.80 o 6691 835.62/856.82 o 6685 846.91/868.11 o 6682 869.28/890.55 o 6681 907.39/928.76 o 6680 916.68/938.05 o 6679 940.95/962.38 o 6678 948.94/970.38 o 6677 1037.08/1058.51 o 6676 1048.46/1069.93 o 6675 1064.25/1085.75 o 6674 1135.71/1157.23 o 6673 1170.99/1192.51 o 6672 1177.88/1199.47 o 6671 1186.06/1207.67 o 6670 1193.35/1214.97 o 6668 1200.24/1221.86 o 6667 1216.44/1238.09 o 6666 1226.13/1247.76 o 6665 1240.80/1262.41 o 6664 1258.68/1280.32 o 6663 1264.77/1286.43 o 6662 1301.35/1323.08 o 6661 1312.23/1334.00 o 6660 1320.13/1341.87 o 6657 1333.61/1355.38 o 6656 1344.80/1366.60 o 6655 1352.59/1374.38 o 6654 1355.49/1377.21 o 6652 1355.52/1377.67 o 6651 1355.97/1378.10 o 6649 1356.78/1378.54 o 6648 1356.83/1378.96 o 6646 1357.55/1379.38 o 6644 1357.67/1379.81 o 6642 1358.10/1380.22 o 6640 1358.86/1380.62 o 6639 1358.89/1381.03 o 6638 1359.30/1381.43 o 6637 1360.03/1381.85 o 6636 1360.13/1382.26 o 6635 1360.94/1382.70 o 6634 1360.97/1383.16 o 6632 1361.42/1383.64 o 6630 1362.18/1384.04 o 6629 1362.24/1384.46 o 6627 1362.96/1384.87 o 6625 1363.05/1385.32 o 6624 1363.52/1385.85 o 6623 1364.27/1386.26 o 6622 1364.35/1386.69 o 6621 1365.17/1387.12 o 6620 1365.21/1387.56 o 6619 1365.64/1387.98 o 6618 1366.45/1388.41 o 6617 1366.48/1388.83 o 6616 1367.34/1389.35 o 6614 1367.42/1389.89 o 6613 1368.35/1390.39 o 6611 1368.45/1390.88 o 6609 1368.94/1391.36 o 6608 1369.84/1391.81 o 6606 1369.87/1392.32 o 6604 1370.67/1392.76 o 6602 1370.77/1393.19 o 6600 1371.58/1393.63 o 6599 1371.62/1394.06 o 6597 1372.05/1394.49 o 6595 1372.85/1394.94 o 6594 1372.93/1395.41 o 6592 1373.39/1395.70 o 6579 1374.13/1396.22 o 6577 1374.18/1396.75 o 6576 1375.12/1397.26 o 6575 1375.21/1397.95 o 6574 1376.53/1398.65 o 6572 1377.12/1399.28 o 6570 1377.22/1399.90 o 6569 1378.31/1400.47 o 6567 1378.41/1401.04 o 6565 1379.50/1401.64 o 6564 1379.56/1402.18 o 6563 1380.60/1402.77 o 6562 1380.70/1403.35 o 6561 1381.69/1403.89 o 6560 1381.80/1404.47 o 6559 1382.89/1405.00 o 6558 1382.91/1405.56 o 6557 1383.87/1406.09 o 6556 1384.00/1406.75 o 6555 1385.17/1407.39 o 6554 1385.86/1408.01 o 6553 1385.90/1408.71 o 6551 1386.96/1409.29 o 6550 1387.07/1409.87 o 6548 1388.15/1410.44 o 6547 1388.21/1411.00 o 6546 1389.35/1411.63 o 6545 1389.40/1412.25 o 6544 1390.53/1412.83 o 6543 1391.13/1413.42 o 6542 1391.17/1414.06 o 6541 1392.33/1414.64 o 6540 1392.38/1415.23 o 6539 1393.52/1415.81 o 6538 1393.56/1416.40 o 6537 1461.66/1484.09 o 6536 1464.24/1486.66 o 6535 1464.95/1487.30 o 6533 1464.97/1487.59 o 6522 1468.62/1491.00 o 6521 1471.91/1494.34 o 6519 1475.31/1497.70 o 6517 1478.61/1501.03 o 6515 1481.90/1504.35 o 6514 1485.19/1507.66 o 6512 1488.50/1510.98 o 6511 1491.84/1514.32 o 6510 1495.14/1517.69 o 6509 1498.71/1521.22 o 6507 1502.12/1524.60 o 6505 1505.52/1528.00 o 6504 1508.99/1531.55 o 6502 1512.49/1535.03 o 6500 1515.77/1538.39 o 6499 1519.17/1541.72 o 6498 1522.46/1545.05 o 6497 1525.75/1548.37 o 6496 1529.15/1551.72 o 6495 1532.49/1555.12 o 6493 1535.73/1558.44 o 6492 1539.01/1561.75 o 6491 1542.51/1565.24 o 6489 1546.12/1568.84 o 6488 1549.60/1572.39 o 6486 1553.09/1575.88 o 6485 1556.68/1579.48 o 6483 1560.18/1582.95 o 6481 1563.66/1586.41 o 6480 1567.16/1589.92 o 6479 1570.53/1593.31 o 6477 1573.95/1596.70 o 6476 1577.52/1600.31 o 6474 1580.92/1603.72 o 6473 1586.49/1609.34 o 6471 1592.99/1615.81 o 6469 1593.03/1616.10 o 6451 1593.31/1616.39 o 6450 1593.59/1616.69 o 6445 1594.08/1616.99 o 6442 1594.18/1617.30 o 6440 1594.48/1617.59 o 6437 1594.77/1617.90 o 6434 1595.23/1618.19 o 6431 1595.34/1618.48 o 6430 1595.63/1618.77 o 6429 1595.93/1619.07 o 6428 1596.40/1619.37 o 6426 1596.49/1619.66 o 6423 1596.78/1619.95 o 6420 1597.30/1620.24 o 6418 1597.35/1620.53 o 6415 1597.64/1620.82 o 6413 1597.93/1621.12 o 6411 1598.45/1621.45 o 6408 1598.52/1621.74 o 6406 1598.80/1622.03 o 6405 1599.09/1622.32 o 6403 1599.62/1622.61 o 6401 1599.67/1622.90 o 6400 1599.95/1623.19 o 6398 1600.24/1623.48 o 6397 1600.73/1623.77 o 6395 1600.82/1624.06 o 6394 1601.11/1624.37 o 6393 1601.59/1624.66 o 6390 1601.67/1624.95 o 6389 1601.96/1625.24 o 6388 1602.24/1625.53 o 6385 1602.77/1625.83 o 6384 1602.81/1626.12 o 6381 1603.12/1626.41 o 6380 1603.40/1626.69 o 6379 1603.86/1626.98 o 6378 1603.97/1627.27 o 6376 1604.26/1627.56 o 6375 1604.54/1627.85 o 6372 1605.04/1628.14 o 6370 1605.11/1628.43 o 6354 1605.40/1628.72 o 6351 1605.92/1629.07 o 6348 1606.01/1629.49 o 6347 1606.39/1629.78 o 6346 1606.68/1630.07 o 6343 1607.16/1630.36 o 6340 1607.25/1630.65 o 6339 1607.55/1630.95 o 6338 1608.07/1631.24 o 6337 1608.13/1631.53 o 6336 1608.41/1631.82 o 6335 1608.69/1632.11 o 6332 1609.25/1632.40 o 6319 1609.29/1632.70 o 6301 1609.57/1632.99 o 6300 1609.86/1633.30 o 6292 1610.32/1633.59 o 6290 1614.50/1637.80 o 6287 1616.31/1639.58 o 6286 1617.10/1640.34 o 6284 1617.89/1641.14 o 6283 1617.96/1641.94 o 6282 1733.02/1756.38 o 6281 1800.04/1823.40 sh: line 1: 28225 Done cat /tmp/evaluation/351360-1176596887/temp/instance-351360-1176596887.opb.op 1800.04/1823.40 28226 Terminated | clasp-1.0 --trans=no >/tmp/evaluation/351360-1176596887/temp/instance-351360-1176596887.opb.clasp 1800.04/1823.41 c Somebody sent me a SIGTERM 1800.04/1823.41 s SATISFIABLE 1800.04/1823.41 v x166 x168 x169 x171 x181 x182 x183 x184 x186 x187 x191 x192 x193 x230 x264 x291 x691 x714 x736 x739 x741 x744 x769 x771 x774 x1052 1800.04/1823.41 v x1074 x1081 x1082 x1083 x1084 x1085 x1086 x1087 x1088 x1089 x1090 x1091 x1092 x1093 x1094 x1095 x1096 x1097 x1098 x1101 x1102 1800.04/1823.41 v x1132 x1141 x1142 x1143 x1144 x1149 x1150 x1151 x1152 x1153 x1154 x1155 x1156 x1195 x1221 x1222 x1223 x1224 x1242 x1243 x1244 1800.04/1823.41 v x1245 x1246 x1247 x1248 x1249 x1250 x1251 x1252 x1253 x1254 x1255 x1256 x1257 x1288 x1318 x1330 x1331 x1333 x1334 x1335 x1336 1800.04/1823.41 v x1337 x1341 x1342 x1345 x1348 x1379 x1409 x1438 x1468 x1498 x1525 x1557 x1586 x1616 x1638 x1640 x1642 x1644 x1658 x1660 x1661 1800.04/1823.41 v x1663 x1665 x1667 x1676 x1677 x1680 x1682 x1686 x1687 x1691 x1692 x1694 x1696 x1698 x1701 x1702 x1704 x1706 x1708 x1718 x1719 1800.04/1823.41 v x1721 x1728 x1729 x1731 x1733 x1735 x1742 x1743 x1745 x1747 x1749 x1757 x1758 x1760 x1769 x1770 x1772 x1774 x1776 x1784 x1785 1800.04/1823.41 v x1787 x1789 x1798 x1799 x1801 x1803 x1811 x1826 x1835 x1836 x1837 x1847 x1849 x1876 x1877 x1878 x1889 x1899 x1900 x1901 x1913 1800.04/1823.41 v x1914 x1915 x1927 x1928 x1929 x1941 x1942 x1943 1800.04/1823.42 pb2clasp1: no process killed 1800.04/1823.42 clasp-1.0: no process killed 1802.03/1825.42 sh: line 1: 28236 Done cat /tmp/evaluation/351360-1176596887/temp/instance-351360-1176596887.opb.op 1802.03/1825.42 28237 Killed | clasp-1.0 --trans=no >/tmp/evaluation/351360-1176596887/temp/instance-351360-1176596887.opb.clasp
OK 6281
/tmp/evaluation/351360-1176596887/instance-351360-1176596887.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-351360-1176596887 -o ROOT/results/node43/solver-351360-1176596887 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351360-1176596887.opb /tmp/evaluation/351360-1176596887/temp 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.94 0.96 0.98 3/64 442 /proc/meminfo: memFree=1699584/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12268 CPUtime=0 /proc/442/stat : 442 (pbclasp) D 440 442 32460 0 -1 4194304 351 0 0 0 0 0 0 0 18 0 1 0 107600525 12562432 317 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216849414757 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/442/statm: 3067 317 242 3 0 167 0 [startup+0.028124 s] /proc/loadavg: 0.94 0.96 0.98 3/64 442 /proc/meminfo: memFree=1699584/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12672 CPUtime=0.02 /proc/442/stat : 442 (pbclasp) R 440 442 32460 0 -1 4194304 530 0 0 0 2 0 0 0 18 0 1 0 107600525 12976128 496 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216849093345 0 0 4224 16384 0 0 0 17 1 0 0 /proc/442/statm: 3168 496 320 3 0 268 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 12672 [startup+0.101138 s] /proc/loadavg: 0.94 0.96 0.98 3/64 442 /proc/meminfo: memFree=1699584/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12804 CPUtime=0.03 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 590 0 0 0 3 0 0 0 16 0 1 0 107600525 13111296 543 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858144866 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/442/statm: 3201 543 324 3 0 301 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 12804 [startup+0.301151 s] /proc/loadavg: 0.94 0.96 0.98 3/64 442 /proc/meminfo: memFree=1699584/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=0.22 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 900 3480 0 0 4 0 16 2 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 600 343 3 0 334 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 12936 [startup+0.701186 s] /proc/loadavg: 0.94 0.96 0.98 3/64 442 /proc/meminfo: memFree=1699584/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=0.63 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 1246 9171 0 0 4 1 52 6 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 600 343 3 0 334 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 12936 [startup+1.50126 s] /proc/loadavg: 0.94 0.96 0.98 2/67 500 /proc/meminfo: memFree=1696920/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1.45 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 1925 20553 0 0 6 1 124 14 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 600 343 3 0 334 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 12936 [startup+3.1014 s] /proc/loadavg: 0.94 0.96 0.98 2/67 564 /proc/meminfo: memFree=1696624/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=2.94 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 3151 41018 0 0 8 2 255 29 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4231 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 600 343 3 0 334 0 Current children cumulated CPU time (s) 2.94 Current children cumulated vsize (KiB) 12936 [startup+6.30167 s] /proc/loadavg: 0.94 0.96 0.98 2/68 748 /proc/meminfo: memFree=1697040/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=5.95 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 5619 82752 0 0 13 5 519 58 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858144866 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/442/statm: 3234 600 343 3 0 334 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 12936 [startup+12.7022 s] /proc/loadavg: 1.03 0.97 0.98 2/67 1117 /proc/meminfo: memFree=1696344/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=12.11 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 10691 168519 0 0 24 10 1059 118 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 600 343 3 0 334 0 Current children cumulated CPU time (s) 12.11 Current children cumulated vsize (KiB) 12936 [startup+25.5013 s] /proc/loadavg: 1.02 0.97 0.98 2/67 1851 /proc/meminfo: memFree=1696024/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=24.22 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 20553 335102 0 0 45 20 2121 236 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 600 343 3 0 334 0 Current children cumulated CPU time (s) 24.22 Current children cumulated vsize (KiB) 12936 [startup+51.1016 s] /proc/loadavg: 1.01 0.97 0.98 1/66 3293 /proc/meminfo: memFree=1696672/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=48.73 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 40605 673782 0 0 87 41 4263 482 16 0 1 0 107600525 13246464 600 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 600 343 3 0 334 0 Current children cumulated CPU time (s) 48.73 Current children cumulated vsize (KiB) 12936 [startup+102.306 s] /proc/loadavg: 1.05 0.99 0.99 2/67 6160 /proc/meminfo: memFree=1695256/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=97.52 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 80382 1344907 0 0 168 86 8540 958 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 601 343 3 0 334 0 Current children cumulated CPU time (s) 97.52 Current children cumulated vsize (KiB) 12936 [startup+162.301 s] /proc/loadavg: 1.02 0.99 0.99 2/67 9432 /proc/meminfo: memFree=1694872/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=155.44 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 127138 2127985 0 0 260 143 13621 1520 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 601 343 3 0 334 0 Current children cumulated CPU time (s) 155.44 Current children cumulated vsize (KiB) 12936 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.99 2/67 12616 /proc/meminfo: memFree=1694552/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=213.14 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 171798 2877835 0 0 350 195 18712 2057 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 601 343 3 0 334 0 Current children cumulated CPU time (s) 213.14 Current children cumulated vsize (KiB) 12936 [startup+282.302 s] /proc/loadavg: 1.04 1.00 0.99 2/68 15720 /proc/meminfo: memFree=1694800/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=270.81 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 215425 3623354 0 0 438 244 23809 2590 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 601 343 3 0 334 0 Current children cumulated CPU time (s) 270.81 Current children cumulated vsize (KiB) 12936 [startup+342.302 s] /proc/loadavg: 1.22 1.05 1.01 2/67 18688 /proc/meminfo: memFree=1693784/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=328.52 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 256565 4325544 0 0 519 298 28946 3089 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 601 343 3 0 334 0 Current children cumulated CPU time (s) 328.52 Current children cumulated vsize (KiB) 12936 [startup+402.301 s] /proc/loadavg: 1.08 1.04 1.00 2/67 21725 /proc/meminfo: memFree=1694360/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=385.61 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 299046 5054097 0 0 605 349 34006 3601 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 601 343 3 0 334 0 Current children cumulated CPU time (s) 385.61 Current children cumulated vsize (KiB) 12936 [startup+462.301 s] /proc/loadavg: 1.03 1.03 1.00 2/67 24328 /proc/meminfo: memFree=1692440/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=442.82 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 334751 5668925 0 0 677 393 39177 4035 16 0 1 0 107600525 13246464 601 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 601 343 3 0 334 0 Current children cumulated CPU time (s) 442.82 Current children cumulated vsize (KiB) 12936 [startup+522.302 s] /proc/loadavg: 1.01 1.02 1.00 2/67 25672 /proc/meminfo: memFree=1692312/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=501.74 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 353723 5998133 0 0 717 414 44771 4272 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 Current children cumulated CPU time (s) 501.74 Current children cumulated vsize (KiB) 12936 [startup+522.602 s] /proc/loadavg: 1.01 1.02 1.00 2/67 25688 /proc/meminfo: memFree=1692568/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=501.74 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 353723 5998133 0 0 717 414 44771 4272 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=25686] ppid=442 vsize=5352 CPUtime=0 /proc/25686/stat : 25686 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 107652731 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/25686/statm: 1338 224 188 169 0 49 0 [pid=25688] ppid=25686 vsize=3832 CPUtime=0.53 /proc/25688/stat : 25688 (clasp-1.0) R 25686 442 32460 0 -1 4194304 605 0 0 0 53 0 0 0 22 0 1 0 107652731 3923968 567 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134789632 0 0 4096 0 0 0 0 17 1 0 0 /proc/25688/statm: 958 567 249 81 0 332 0 Current children cumulated CPU time (s) 502.27 Current children cumulated vsize (KiB) 22120 # WARNING: # current cumulated CPU time (501.74 s) is less than in the last sample (502.27 s) # The time of a child was probably not reported to its father. ################ # More data... # ################ [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 27538 /proc/meminfo: memFree=1690912/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1519.22 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 380404 6493268 0 0 769 447 146089 4617 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=27536] ppid=442 vsize=5352 CPUtime=0 /proc/27536/stat : 27536 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 107754699 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/27536/statm: 1338 224 188 169 0 49 0 [pid=27538] ppid=27536 vsize=3968 CPUtime=0.55 /proc/27538/stat : 27538 (clasp-1.0) R 27536 442 32460 0 -1 4194304 629 0 0 0 55 0 0 0 21 0 1 0 107754700 4063232 591 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784670 0 0 4096 0 0 0 0 17 0 0 0 /proc/27538/statm: 992 591 249 81 0 366 0 Current children cumulated CPU time (s) 1519.77 Current children cumulated vsize (KiB) 22256 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 27674 /proc/meminfo: memFree=1690152/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1577.56 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 382342 6532464 0 0 773 450 151887 4646 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=27672] ppid=442 vsize=5352 CPUtime=0 /proc/27672/stat : 27672 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 107760558 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/27672/statm: 1338 224 188 169 0 49 0 [pid=27674] ppid=27672 vsize=4236 CPUtime=1.95 /proc/27674/stat : 27674 (clasp-1.0) R 27672 442 32460 0 -1 4194304 718 0 0 0 195 0 0 0 25 0 1 0 107760558 4337664 680 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617501 0 0 4096 0 0 0 0 17 0 0 0 /proc/27674/statm: 1059 680 249 81 0 433 0 Current children cumulated CPU time (s) 1579.51 Current children cumulated vsize (KiB) 22524 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 28218 /proc/meminfo: memFree=1686896/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1618.76 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390234 6667407 0 0 788 459 155888 4741 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=28216] ppid=442 vsize=5352 CPUtime=0 /proc/28216/stat : 28216 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 107764721 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28216/statm: 1338 224 188 169 0 49 0 [pid=28218] ppid=28216 vsize=7492 CPUtime=20.31 /proc/28218/stat : 28218 (clasp-1.0) R 28216 442 32460 0 -1 4194304 1535 0 0 0 2030 1 0 0 25 0 1 0 107764721 7671808 1497 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784651 0 0 4096 0 0 0 0 17 0 0 0 /proc/28218/statm: 1873 1497 249 81 0 1247 0 Current children cumulated CPU time (s) 1639.07 Current children cumulated vsize (KiB) 25780 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 28218 /proc/meminfo: memFree=1685424/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1618.76 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390234 6667407 0 0 788 459 155888 4741 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=28216] ppid=442 vsize=5352 CPUtime=0 /proc/28216/stat : 28216 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 18 0 1 0 107764721 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28216/statm: 1338 224 188 169 0 49 0 [pid=28218] ppid=28216 vsize=9016 CPUtime=80.28 /proc/28218/stat : 28218 (clasp-1.0) R 28216 442 32460 0 -1 4194304 1899 0 0 0 8027 1 0 0 25 0 1 0 107764721 9232384 1861 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784714 0 0 4096 0 0 0 0 17 0 0 0 /proc/28218/statm: 2254 1861 249 81 0 1628 0 Current children cumulated CPU time (s) 1699.04 Current children cumulated vsize (KiB) 27304 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/67 28226 /proc/meminfo: memFree=1686192/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1733.13 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390348 6671460 0 0 789 459 167321 4744 15 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=28224] ppid=442 vsize=5352 CPUtime=0 /proc/28224/stat : 28224 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 107776165 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28224/statm: 1338 224 188 169 0 49 0 [pid=28226] ppid=28224 vsize=8052 CPUtime=25.85 /proc/28226/stat : 28226 (clasp-1.0) R 28224 442 32460 0 -1 4194304 1663 0 0 0 2585 0 0 0 25 0 1 0 107776166 8245248 1625 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616320 0 0 4096 0 0 0 0 17 0 0 0 /proc/28226/statm: 2013 1625 249 81 0 1387 0 Current children cumulated CPU time (s) 1758.98 Current children cumulated vsize (KiB) 26340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1823.4 s] /proc/loadavg: 1.00 1.00 1.00 2/67 28226 /proc/meminfo: memFree=1684976/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1733.13 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390348 6671460 0 0 789 459 167321 4744 15 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=28224] ppid=442 vsize=5352 CPUtime=0 /proc/28224/stat : 28224 (sh) S 442 442 32460 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 107776165 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28224/statm: 1338 224 188 169 0 49 0 [pid=28226] ppid=28224 vsize=9288 CPUtime=66.91 /proc/28226/stat : 28226 (clasp-1.0) R 28224 442 32460 0 -1 4194304 1970 0 0 0 6691 0 0 0 25 0 1 0 107776166 9510912 1932 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784665 0 0 4096 0 0 0 0 17 0 0 0 /proc/28226/statm: 2322 1932 249 81 0 1696 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 27576 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1823.81 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28237 /proc/meminfo: memFree=1690392/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1800.08 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390514 6675221 0 0 789 460 174013 4746 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=28235] ppid=442 vsize=5352 CPUtime=0 /proc/28235/stat : 28235 (sh) S 442 442 32460 0 -1 4194304 288 121 0 0 0 0 0 0 18 0 1 0 107782869 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28235/statm: 1338 224 188 169 0 49 0 [pid=28237] ppid=28235 vsize=3696 CPUtime=0.35 /proc/28237/stat : 28237 (clasp-1.0) R 28235 442 32460 0 -1 4194304 584 0 0 0 35 0 0 0 20 0 1 0 107782869 3784704 546 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713955 0 0 4096 0 0 0 0 17 0 0 0 /proc/28237/statm: 924 546 249 81 0 298 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 21984 [startup+1824.6 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28237 /proc/meminfo: memFree=1690392/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1800.08 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390514 6675221 0 0 789 460 174013 4746 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=28235] ppid=442 vsize=5352 CPUtime=0 /proc/28235/stat : 28235 (sh) S 442 442 32460 0 -1 4194304 288 121 0 0 0 0 0 0 18 0 1 0 107782869 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28235/statm: 1338 224 188 169 0 49 0 [pid=28237] ppid=28235 vsize=4352 CPUtime=1.15 /proc/28237/stat : 28237 (clasp-1.0) R 28235 442 32460 0 -1 4194304 729 0 0 0 115 0 0 0 25 0 1 0 107782869 4456448 691 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 5166715 0 0 4096 0 0 0 0 17 0 0 0 /proc/28237/statm: 1088 691 249 81 0 462 0 Current children cumulated CPU time (s) 1801.23 Current children cumulated vsize (KiB) 22640 [startup+1825 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28237 /proc/meminfo: memFree=1689368/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1800.08 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390514 6675221 0 0 789 460 174013 4746 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=28235] ppid=442 vsize=5352 CPUtime=0 /proc/28235/stat : 28235 (sh) S 442 442 32460 0 -1 4194304 288 121 0 0 0 0 0 0 18 0 1 0 107782869 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28235/statm: 1338 224 188 169 0 49 0 [pid=28237] ppid=28235 vsize=5124 CPUtime=1.55 /proc/28237/stat : 28237 (clasp-1.0) R 28235 442 32460 0 -1 4194304 918 0 0 0 155 0 0 0 25 0 1 0 107782869 5246976 880 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134741904 0 0 4096 0 0 0 0 17 0 0 0 /proc/28237/statm: 1281 880 249 81 0 655 0 Current children cumulated CPU time (s) 1801.63 Current children cumulated vsize (KiB) 23412 [startup+1825.4 s] /proc/loadavg: 1.00 1.00 1.00 2/68 28237 /proc/meminfo: memFree=1689368/2055920 swapFree=4191892/4192956 [pid=442] ppid=440 vsize=12936 CPUtime=1800.08 /proc/442/stat : 442 (pbclasp) S 440 442 32460 0 -1 4194304 390514 6675221 0 0 789 460 174013 4746 16 0 1 0 107600525 13246464 602 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 216858148756 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/442/statm: 3234 602 343 3 0 334 0 [pid=28235] ppid=442 vsize=5352 CPUtime=0 /proc/28235/stat : 28235 (sh) S 442 442 32460 0 -1 4194304 288 121 0 0 0 0 0 0 18 0 1 0 107782869 5480448 224 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 216849244996 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/28235/statm: 1338 224 188 169 0 49 0 [pid=28237] ppid=28235 vsize=5124 CPUtime=1.95 /proc/28237/stat : 28237 (clasp-1.0) R 28235 442 32460 0 -1 4194304 942 0 0 0 195 0 0 0 25 0 1 0 107782869 5246976 904 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134713938 0 0 4096 0 0 0 0 17 0 0 0 /proc/28237/statm: 1281 904 249 81 0 655 0 Current children cumulated CPU time (s) 1802.03 Current children cumulated vsize (KiB) 23412 Child status: 0 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.680054 # lost CPU user time (s): 0.680023 # lost CPU system time (s): 0 Real time (s): 1825.43 CPU time (s): 1802.76 CPU user time (s): 1750.68 CPU system time (s): 52.0821 CPU usage (%): 98.7586 Max. virtual memory (cumulated for all children) (KiB): 30584 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1750 system time used= 52.0821 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7067299 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= 267277 involuntary context switches= 111543 runsolver used 1.88071 second user time and 5.01024 second system time The end
Begin job on node43 on Sun Apr 15 00:28:07 UTC 2007 IDJOB= 351360 IDBENCH= 1728 IDSOLVER= 167 FILE ID= node43/351360-1176596887 PBS_JOBID= 4557010 Free space on /tmp= 66564 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-bell4.opb COMMAND LINE= pbclasp instance-351360-1176596887.opb /tmp/evaluation/351360-1176596887/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node43/convwatcher-351360-1176596887 -o ROOT/results/node43/conversion-351360-1176596887 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351360-1176596887/instance-351360-1176596887.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-351360-1176596887 -o ROOT/results/node43/solver-351360-1176596887 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351360-1176596887.opb /tmp/evaluation/351360-1176596887/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 51e821dd343df6d9e97b4cdfcd83ec3f RANDOM SEED= 867107168 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1700000 kB Buffers: 9520 kB Cached: 245696 kB SwapCached: 396 kB Active: 54676 kB Inactive: 215640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1700000 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 716 kB Writeback: 0 kB Mapped: 23880 kB Slab: 71672 kB Committed_AS: 147312 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66564 MiB End job on node43 on Sun Apr 15 00:58:33 UTC 2007