Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | Number of falsified constraints | CPU time | Wall clock time |
|---|---|---|---|---|
| AbsconMax 112 pc-w | ? | 2230.85 | 2252.28 |
| Name | csp/fapp/fapp14/ normalized-fapp14-2500-0.xml |
| MD5SUM | fac073e8eb5ef4bb7103b84225c28dd2 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 1158 |
| Best CPU time to get the best result obtained on this benchmark | 3600 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2500 |
| Number of constraints | 40767 |
| Maximum constraint arity | 2 |
| Maximum domain size | 362 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 40767 |
| Global constraints used (with number of constraints) |
0.00/0.09 0.00/0.09 Abscon 112 (May, 2008) 0.18/0.25 0.18/0.25 configuration 0.18/0.25 name=mrdac-wdeg.xml 0.28/0.30 0.28/0.30 instance 0.28/0.30 name=HOME/instance-1112971-1215876279.xml 0.28/0.34 0.28/0.34 domains being loaded... 0.38/0.42 0.38/0.42 variables being loaded... 0.87/0.91 nbVariables=2500 nbDomainTypes=30 minDomainSize=42 maxDomainSize=362 nbTotalValues=774322 0.87/0.91 => wckTime=0.655 cpuTime=0.51 mem=32M292 0.87/0.91 0.87/0.91 predicates being loaded... 0.87/0.98 0.87/0.98 constraints being loaded... 10.77/10.93 10.77/10.93 INFO : Stopping converting binary constraints (cpu=10.08, mem = 71M194) 16.62/16.86 nbConstraints=40767 nbConvertedConstraints=196 nbConvertConstraintsChecks=25718540 nbExtensionStructures=180 16.62/16.86 nbSharedExtensionStructures=48 nbConflictsStructures=1338 nbSharedConflictsStructures=253 16.62/16.86 nbUnbuiltConflictsStructures=9707 nbSharedBinaryRepresentations=99792 nbEvaluationManagers=10865 16.62/16.86 nbSharedEvaluationManagers=29706 minDegree=3 maxDegree=52 minArity=2 maxArity=2 16.62/16.86 => wckTime=16.608 cpuTime=15.08 mem=95M448 17.22/17.43 17.22/17.43 solver LocalSearchSolver being built... 17.22/17.48 => wckTime=17.222 cpuTime=15.12 mem=84M681 17.51/17.70 17.51/17.70 s SATISFIABLE 17.51/17.70 o 10169 17.61/17.86 o 10160 17.71/17.94 o 10154 17.81/18.04 o 10140 17.91/18.10 o 10130 18.01/18.20 o 10127 18.01/18.25 o 10118 18.11/18.32 o 10111 18.11/18.37 o 10105 18.21/18.42 o 10099 18.21/18.47 o 10094 18.30/18.51 o 10089 18.30/18.57 o 10084 18.30/18.59 o 10080 18.40/18.64 o 10076 18.40/18.66 o 10073 18.40/18.68 o 10070 18.50/18.70 o 10067 18.50/18.73 o 10064 18.50/18.75 o 10058 18.50/18.79 o 10057 18.59/18.84 o 10050 18.59/18.87 o 10041 18.69/18.95 o 10031 18.79/19.02 o 10023 18.89/19.10 o 10015 18.89/19.18 o 10008 19.00/19.26 o 10001 19.10/19.33 o 9994 19.10/19.39 o 9988 19.20/19.45 o 9982 19.30/19.52 o 9977 19.39/19.60 o 9972 19.39/19.65 o 9967 19.50/19.72 o 9963 19.50/19.79 o 9959 19.59/19.85 o 9955 19.69/19.91 o 9953 19.69/19.95 o 9951 19.69/19.99 o 9950 19.79/20.03 o 9949 19.79/20.06 o 9948 19.89/20.10 o 9947 19.99/20.21 o 9942 19.99/20.26 o 9941 20.09/20.34 o 9938 20.19/20.41 o 9930 20.19/20.49 o 9922 20.28/20.57 o 9915 20.38/20.64 o 9908 20.48/20.72 o 9902 20.48/20.79 o 9897 20.58/20.86 o 9892 20.68/20.93 o 9887 20.68/20.99 o 9882 20.77/21.05 o 9878 20.87/21.10 o 9874 20.87/21.16 o 9871 20.97/21.22 o 9868 20.97/21.28 o 9865 21.07/21.34 o 9862 21.17/21.40 o 9859 21.17/21.46 o 9856 21.27/21.51 o 9853 21.27/21.56 o 9851 21.37/21.61 o 9839 21.37/21.68 o 9837 21.47/21.73 o 9835 21.47/21.79 o 9832 21.56/21.82 o 9831 21.66/21.96 o 9827 21.66/22.00 o 9819 21.76/22.05 o 9814 21.76/22.07 o 9805 21.85/22.13 o 9799 21.85/22.19 o 9792 21.95/22.24 o 9790 21.95/22.28 o 9787 22.05/22.32 o 9786 22.05/22.36 o 9785 22.05/22.40 o 9776 22.15/22.48 o 9765 22.26/22.56 o 9763 22.36/22.66 o 9756 22.46/22.77 o 9754 22.56/22.85 o 9753 22.66/22.96 o 9746 22.76/23.05 o 9744 22.86/23.14 o 9738 22.95/23.23 o 9732 23.05/23.32 o 9726 23.15/23.41 o 9721 23.15/23.49 o 9716 23.25/23.57 o 9711 23.35/23.65 o 9707 23.45/23.73 o 9703 23.55/23.81 o 9699 23.55/23.88 o 9693 23.65/23.96 o 9689 23.75/24.02 o 9685 23.75/24.09 o 9681 23.84/24.16 o 9678 23.94/24.23 o 9675 23.94/24.29 o 9672 24.04/24.34 o 9669 24.14/24.41 o 9666 24.14/24.46 o 9663 24.24/24.52 o 9661 24.24/24.56 o 9659 24.24/24.60 o 9658 24.34/24.64 o 9656 24.34/24.67 o 9655 24.44/24.73 o 9654 24.63/24.90 o 9653 24.63/24.96 o 9644 24.63/24.99 o 9635 24.73/25.01 o 9632 24.73/25.05 o 9630 24.83/25.10 o 9621 24.83/25.14 o 9617 24.83/25.17 o 9610 24.93/25.21 o 9605 24.93/25.25 o 9604 24.93/25.30 o 9601 25.03/25.34 o 9599 25.03/25.36 o 9598 25.12/25.40 o 9597 25.12/25.44 o 9594 25.12/25.46 o 9593 25.22/25.52 o 9586 25.22/25.57 o 9583 25.32/25.65 o 9577 25.42/25.74 o 9567 25.52/25.83 o 9558 25.62/25.92 o 9551 25.72/26.02 o 9544 25.82/26.13 o 9537 25.92/26.25 o 9531 26.02/26.35 o 9525 26.12/26.44 o 9519 26.21/26.55 o 9512 26.31/26.65 o 9506 26.41/26.74 o 9500 26.51/26.84 o 9495 26.61/26.94 o 9490 26.71/27.02 o 9485 26.81/27.12 o 9480 26.91/27.21 o 9475 26.91/27.30 o 9471 27.01/27.37 o 9470 27.11/27.46 o 9466 27.21/27.54 o 9462 27.30/27.62 o 9458 27.40/27.71 o 9451 27.40/27.79 o 9446 27.50/27.86 o 9442 27.60/27.93 o 9438 27.70/28.00 o 9434 27.70/28.08 o 9430 27.80/28.14 o 9426 27.90/28.21 o 9423 27.90/28.27 o 9415 28.00/28.33 o 9412 28.10/28.41 o 9409 28.10/28.48 o 9406 28.20/28.55 o 9403 28.20/28.60 o 9400 28.30/28.64 o 9398 28.39/28.72 o 9396 28.39/28.77 o 9394 28.49/28.83 o 9392 28.49/28.88 o 9390 28.59/28.93 o 9388 28.59/28.98 o 9387 28.69/29.02 o 9386 28.79/29.15 o 9383 28.79/29.20 o 9382 28.89/29.26 o 9373 28.99/29.31 o 9370 28.99/29.35 o 9365 28.99/29.38 o 9364 29.09/29.44 o 9359 29.09/29.47 o 9355 29.18/29.52 o 9353 29.18/29.55 o 9349 29.18/29.59 o 9348 29.28/29.64 o 9345 29.28/29.69 o 9341 29.38/29.75 o 9336 29.48/29.80 o 9333 29.48/29.84 o 9330 29.48/29.89 o 9328 29.58/29.93 o 9322 29.58/29.98 o 9318 29.68/30.01 o 9313 29.68/30.05 o 9312 29.68/30.09 o 9303 29.77/30.14 o 9299 29.87/30.21 o 9297 29.87/30.27 o 9294 29.98/30.32 o 9291 29.98/30.37 o 9283 30.08/30.42 o 9277 30.08/30.49 o 9270 30.18/30.54 o 9267 30.27/30.60 o 9263 30.27/30.68 o 9259 30.37/30.74 o 9257 30.47/30.82 o 9255 30.47/30.87 o 9252 30.57/30.93 o 9250 30.67/31.00 o 9244 30.67/31.06 o 9240 30.77/31.13 o 9239 30.77/31.18 o 9236 30.86/31.26 o 9233 30.96/31.37 o 9226 31.16/31.51 o 9222 31.16/31.57 o 9217 31.26/31.63 o 9211 31.36/31.78 o 9207 31.46/31.86 o 9205 31.56/31.92 o 9202 31.65/32.02 o 9191 31.75/32.10 o 9189 31.75/32.19 o 9187 31.95/32.38 o 9178 32.05/32.48 o 9170 32.15/32.58 o 9163 32.25/32.69 o 9157 32.35/32.79 o 9151 32.54/32.91 o 9145 32.64/33.01 o 9140 32.74/33.11 o 9135 32.84/33.21 o 9130 32.94/33.31 o 9126 33.04/33.43 o 9122 33.14/33.53 o 9114 33.24/33.63 o 9108 33.34/33.72 o 9102 33.44/33.81 o 9097 33.53/33.92 o 9093 33.63/34.01 o 9089 33.73/34.11 o 9086 33.83/34.21 o 9083 33.93/34.30 o 9080 33.93/34.39 o 9077 34.03/34.48 o 9069 34.13/34.57 o 9066 34.23/34.66 o 9061 34.33/34.76 o 9056 34.43/34.84 o 9054 34.53/34.93 o 9052 34.62/35.03 o 9050 34.72/35.13 o 9048 34.82/35.23 o 9046 34.91/35.33 o 9044 35.01/35.40 o 9043 35.01/35.49 o 9042 35.61/36.10 o 9041 35.90/36.36 o 9040 36.00/36.42 o 9033 36.00/36.48 o 9030 36.10/36.55 o 9025 36.20/36.61 o 9021 36.20/36.66 o 9018 36.30/36.72 o 9013 36.30/36.77 o 9008 36.40/36.82 o 9003 36.40/36.87 o 9000 36.50/36.93 o 8995 36.50/36.99 o 8994 36.69/37.10 o 8987 36.69/37.17 o 8985 36.79/37.22 o 8980 36.79/37.29 o 8971 36.89/37.35 o 8963 36.89/37.40 o 8958 36.99/37.45 o 8951 37.08/37.53 o 8946 37.08/37.58 o 8943 37.18/37.63 o 8941 37.18/37.67 o 8939 37.28/37.72 o 8938 37.28/37.77 o 8933 37.38/37.83 o 8930 37.38/37.90 o 8928 37.48/37.95 o 8923 37.58/38.00 o 8919 37.58/38.06 o 8913 37.68/38.11 o 8905 37.68/38.19 o 8903 37.78/38.24 o 8901 37.88/38.32 o 8897 37.88/38.37 o 8896 37.99/38.44 o 8895 38.09/38.51 o 8893 38.09/38.59 o 8887 38.18/38.67 o 8882 38.28/38.75 o 8875 38.38/38.82 o 8871 38.48/38.98 o 8865 38.58/39.06 o 8864 38.68/39.13 o 8862 38.78/39.22 o 8856 38.78/39.29 o 8855 38.88/39.37 o 8850 39.07/39.54 o 8849 39.17/39.65 o 8846 39.27/39.74 o 8844 39.37/39.84 o 8841 39.46/39.92 o 8836 39.56/40.02 o 8831 39.66/40.12 o 8830 39.76/40.27 o 8827 39.86/40.37 o 8822 39.96/40.47 o 8813 40.06/40.58 o 8806 40.26/40.71 o 8800 40.35/40.81 o 8797 40.45/40.93 o 8791 40.55/41.00 o 8785 40.65/41.11 o 8780 40.76/41.21 o 8775 40.86/41.31 o 8770 40.96/41.40 o 8765 40.96/41.49 o 8761 41.06/41.59 o 8757 41.15/41.69 o 8753 41.25/41.79 o 8750 41.35/41.88 o 8747 41.45/41.98 o 8744 41.55/42.07 o 8741 41.65/42.16 o 8739 41.75/42.24 o 8737 41.85/42.32 o 8732 41.94/42.41 o 8730 41.94/42.49 o 8728 42.04/42.57 o 8727 42.14/42.62 o 8726 42.14/42.69 o 8725 42.24/42.75 o 8724 42.53/43.04 o 8717 42.63/43.19 o 8715 42.73/43.27 o 8707 42.93/43.43 o 8703 43.03/43.50 o 8702 43.03/43.56 o 8697 43.13/43.62 o 8693 43.23/43.71 o 8690 43.33/43.81 o 8689 43.43/43.92 o 8685 43.43/43.99 o 8676 43.53/44.08 o 8673 43.62/44.16 o 8670 43.72/44.27 o 8665 43.92/44.44 o 8660 44.02/44.52 o 8658 44.02/44.59 o 8654 44.22/44.70 o 8653 44.22/44.78 o 8646 44.42/44.97 o 8641 44.62/45.15 o 8636 44.91/45.47 o 8632 45.01/45.58 o 8631 45.11/45.67 o 8630 45.60/46.14 o 8624 45.70/46.25 o 8621 45.80/46.38 o 8616 46.00/46.51 o 8607 46.10/46.63 o 8604 46.20/46.76 o 8600 46.30/46.87 o 8594 46.50/47.00 o 8589 46.69/47.25 o 8588 46.79/47.36 o 8584 46.89/47.49 o 8583 47.09/47.60 o 8579 47.19/47.72 o 8576 47.39/47.99 o 8575 47.49/48.10 o 8574 47.68/48.22 o 8572 47.78/48.35 o 8571 47.98/48.59 o 8566 48.18/48.73 o 8561 48.28/48.84 o 8557 48.38/48.97 o 8556 48.48/49.10 o 8555 48.67/49.22 o 8553 48.77/49.34 o 8548 48.87/49.49 o 8544 49.06/49.62 o 8542 49.16/49.77 o 8537 49.36/49.90 o 8535 49.46/50.03 o 8534 49.56/50.14 o 8533 49.66/50.26 o 8529 49.86/50.41 o 8527 49.96/50.55 o 8524 50.06/50.67 o 8518 50.15/50.79 o 8517 50.35/50.92 o 8513 50.45/51.05 o 8511 50.55/51.17 o 8507 50.65/51.29 o 8505 50.85/51.41 o 8500 50.95/51.52 o 8496 51.05/51.64 o 8492 51.15/51.75 o 8489 51.34/51.97 o 8484 51.44/52.08 o 8483 51.64/52.22 o 8479 51.74/52.34 o 8476 51.84/52.44 o 8475 51.94/52.57 o 8466 52.14/52.71 o 8464 52.24/52.85 o 8460 52.34/52.98 o 8456 52.54/53.12 o 8453 52.64/53.25 o 8450 52.74/53.38 o 8447 52.94/53.51 o 8444 53.04/53.65 o 8441 53.13/53.77 o 8439 53.23/53.90 o 8433 53.43/54.02 o 8431 53.53/54.16 o 8430 53.63/54.29 o 8429 53.93/54.52 o 8422 54.13/54.74 o 8417 54.42/55.07 o 8413 54.51/55.17 o 8409 54.71/55.36 o 8404 54.81/55.46 o 8398 54.91/55.56 o 8393 55.11/55.75 o 8391 55.21/55.85 o 8387 55.31/55.96 o 8384 55.51/56.16 o 8379 55.60/56.25 o 8376 55.70/56.34 o 8368 55.80/56.43 o 8365 55.90/56.53 o 8364 56.00/56.63 o 8360 56.10/56.73 o 8358 56.20/56.84 o 8354 56.30/56.93 o 8348 56.50/57.13 o 8343 56.59/57.22 o 8337 56.69/57.32 o 8331 56.79/57.44 o 8326 56.89/57.55 o 8325 56.99/57.65 o 8317 57.09/57.75 o 8308 57.19/57.85 o 8307 57.29/57.96 o 8305 57.39/58.05 o 8298 57.68/58.37 o 8295 57.78/58.47 o 8294 57.88/58.58 o 8290 57.98/58.68 o 8289 58.07/58.76 o 8288 58.17/58.85 o 8285 58.27/58.97 o 8280 58.37/59.06 o 8277 58.47/59.19 o 8269 58.58/59.28 o 8267 58.68/59.39 o 8265 58.97/59.60 o 8263 59.07/59.71 o 8254 59.17/59.82 o 8253 59.27/59.93 o 8250 59.37/60.04 o 8247 59.47/60.15 o 8246 59.57/60.26 o 8241 59.67/60.38 o 8239 59.86/60.52 o 8235 59.96/60.62 o 8230 60.06/60.74 o 8223 60.16/60.85 o 8220 60.26/60.95 o 8215 60.36/61.08 o 8212 60.56/61.22 o 8208 60.75/61.46 o 8204 60.85/61.60 o 8198 61.05/61.72 o 8195 61.15/61.83 o 8193 61.64/62.34 o 8190 61.74/62.47 o 8187 61.94/62.62 o 8185 62.04/62.74 o 8184 62.13/62.89 o 8182 62.33/63.06 o 8180 62.43/63.19 o 8179 62.63/63.31 o 8177 62.73/63.44 o 8175 63.02/63.77 o 8165 63.22/63.91 o 8164 63.32/64.07 o 8159 63.52/64.21 o 8155 63.62/64.36 o 8152 63.82/64.52 o 8150 63.92/64.69 o 8149 64.11/64.86 o 8145 64.41/65.19 o 8139 64.61/65.35 o 8138 64.81/65.51 o 8137 64.91/65.66 o 8134 65.10/65.82 o 8130 65.40/66.13 o 8126 65.80/66.58 o 8122 66.19/66.91 o 8116 66.29/67.08 o 8111 66.49/67.22 o 8110 66.58/67.38 o 8108 66.78/67.53 o 8105 66.88/67.67 o 8102 67.08/67.84 o 8099 67.38/68.15 o 8094 67.67/68.45 o 8090 67.88/68.61 o 8088 67.98/68.76 o 8084 68.18/68.91 o 8083 68.28/69.05 o 8078 68.77/69.53 o 8076 68.87/69.67 o 8074 69.07/69.82 o 8072 69.17/69.96 o 8070 69.47/70.26 o 8064 69.67/70.41 o 8061 69.76/70.57 o 8059 70.06/70.86 o 8055 70.26/71.03 o 8053 70.55/71.36 o 8045 70.75/71.54 o 8044 70.85/71.70 o 8039 71.05/71.85 o 8034 71.25/72.02 o 8031 71.45/72.22 o 8029 71.55/72.37 o 8028 71.74/72.54 o 8027 71.94/72.70 o 8026 72.04/72.87 o 8025 72.54/73.34 o 8022 72.73/73.51 o 8020 72.83/73.67 o 8014 73.02/73.82 o 8013 73.32/74.15 o 8009 73.52/74.31 o 8007 73.62/74.48 o 8002 73.82/74.66 o 8000 74.11/75.00 o 7997 74.31/75.19 o 7993 74.51/75.36 o 7988 75.00/75.86 o 7986 75.20/76.03 o 7982 75.50/76.37 o 7980 75.70/76.52 o 7977 76.19/77.02 o 7975 76.29/77.16 o 7972 76.49/77.34 o 7970 76.69/77.50 o 7968 76.79/77.65 o 7964 76.89/77.79 o 7963 77.08/77.96 o 7962 77.28/78.14 o 7958 77.37/78.29 o 7956 77.57/78.45 o 7949 77.67/78.59 o 7947 77.87/78.75 o 7945 78.07/78.92 o 7944 78.17/79.08 o 7943 78.37/79.25 o 7937 78.56/79.41 o 7933 78.86/79.73 o 7930 78.96/79.89 o 7929 79.16/80.07 o 7926 79.36/80.25 o 7922 79.56/80.42 o 7920 79.66/80.60 o 7919 79.86/80.78 o 7914 80.06/80.97 o 7912 80.26/81.16 o 7905 80.45/81.36 o 7901 80.65/81.56 o 7897 80.85/81.76 o 7896 81.05/81.93 o 7892 81.25/82.11 o 7888 81.64/82.53 o 7887 81.84/82.72 o 7885 82.04/82.90 o 7882 82.14/83.09 o 7877 82.33/83.27 o 7870 82.53/83.45 o 7868 82.73/83.64 o 7864 82.92/83.83 o 7861 83.12/84.01 o 7855 83.22/84.19 o 7854 83.42/84.36 o 7851 83.61/84.56 o 7844 83.81/84.76 o 7843 84.21/85.14 o 7839 84.61/85.56 o 7837 84.80/85.78 o 7834 85.00/85.99 o 7833 85.20/86.20 o 7829 85.40/86.39 o 7823 85.60/86.59 o 7821 85.79/86.80 o 7820 86.09/87.01 o 7817 86.19/87.19 o 7810 86.39/87.39 o 7808 86.59/87.57 o 7805 86.79/87.76 o 7804 86.98/87.95 o 7797 87.18/88.14 o 7794 87.38/88.32 o 7790 87.58/88.51 o 7786 87.88/88.89 o 7784 88.07/89.09 o 7783 88.26/89.28 o 7782 88.46/89.47 o 7780 88.66/89.67 o 7778 88.86/89.87 o 7777 89.06/90.05 o 7771 89.26/90.26 o 7765 89.45/90.46 o 7764 89.65/90.64 o 7761 89.85/90.82 o 7757 90.05/91.02 o 7752 90.35/91.40 o 7748 90.54/91.58 o 7740 90.94/91.96 o 7739 91.15/92.15 o 7737 91.35/92.35 o 7735 91.74/92.75 o 7732 91.94/92.94 o 7731 92.14/93.13 o 7729 92.33/93.34 o 7728 92.53/93.54 o 7726 92.73/93.74 o 7720 92.93/93.93 o 7715 93.13/94.13 o 7711 93.33/94.32 o 7709 93.52/94.51 o 7707 93.62/94.69 o 7701 93.82/94.89 o 7697 94.02/95.08 o 7690 94.51/95.50 o 7686 94.61/95.69 o 7680 95.50/96.60 o 7678 95.70/96.77 o 7675 95.89/96.95 o 7672 96.09/97.11 o 7668 96.19/97.28 o 7666 96.59/97.65 o 7658 96.79/97.82 o 7654 97.18/98.20 o 7650 97.48/98.56 o 7645 97.68/98.74 o 7642 97.88/98.94 o 7639 98.07/99.11 o 7636 98.17/99.29 o 7635 98.37/99.47 o 7627 98.57/99.66 o 7623 98.77/99.86 o 7622 98.97/100.04 o 7619 99.36/100.42 o 7616 99.46/100.59 o 7615 99.76/100.80 o 7611 99.95/101.00 o 7608 100.05/101.20 o 7604 100.35/101.40 o 7598 100.55/101.62 o 7592 100.75/101.85 o 7588 100.95/102.06 o 7584 101.14/102.28 o 7580 101.44/102.50 o 7577 101.64/102.71 o 7571 101.84/102.92 o 7569 102.04/103.13 o 7568 102.23/103.35 o 7567 102.42/103.56 o 7566 102.62/103.76 o 7565 102.82/103.99 o 7563 103.91/105.05 o 7561 104.12/105.25 o 7560 104.31/105.47 o 7558 104.70/105.88 o 7554 104.90/106.07 o 7549 105.10/106.28 o 7547 105.30/106.47 o 7546 105.50/106.67 o 7544 105.79/106.91 o 7543 105.99/107.13 o 7541 106.19/107.33 o 7537 106.39/107.54 o 7532 106.78/107.98 o 7528 106.98/108.18 o 7526 107.18/108.37 o 7523 107.38/108.59 o 7520 107.68/108.81 o 7516 107.87/109.02 o 7515 108.07/109.23 o 7511 108.27/109.44 o 7509 108.47/109.64 o 7507 108.67/109.84 o 7506 109.26/110.46 o 7502 109.46/110.68 o 7501 109.75/110.90 o 7499 109.95/111.12 o 7497 110.35/111.57 o 7493 110.85/112.00 o 7489 111.25/112.43 o 7487 111.45/112.66 o 7484 111.65/112.87 o 7480 111.94/113.11 o 7477 112.34/113.52 o 7473 112.53/113.74 o 7470 112.74/113.95 o 7468 112.94/114.16 o 7464 113.13/114.38 o 7463 113.32/114.59 o 7458 113.52/114.79 o 7454 113.72/114.99 o 7451 114.02/115.21 o 7448 114.41/115.62 o 7442 114.61/115.81 o 7437 114.81/116.01 o 7432 115.01/116.22 o 7428 115.21/116.42 o 7425 115.60/116.81 o 7421 115.70/116.99 o 7419 115.90/117.19 o 7413 116.10/117.37 o 7410 116.30/117.56 o 7409 116.50/117.76 o 7408 116.69/117.95 o 7404 116.89/118.14 o 7402 117.09/118.33 o 7399 117.48/118.71 o 7398 117.58/118.88 o 7392 117.98/119.27 o 7389 118.18/119.49 o 7386 118.38/119.69 o 7385 118.57/119.89 o 7383 118.77/120.07 o 7381 118.97/120.26 o 7375 119.37/120.62 o 7374 119.96/121.21 o 7370 120.06/121.37 o 7368 120.26/121.56 o 7365 120.85/122.16 o 7364 121.05/122.34 o 7362 121.25/122.53 o 7358 121.45/122.72 o 7352 121.84/123.12 o 7350 122.04/123.31 o 7345 122.14/123.49 o 7340 122.34/123.68 o 7336 122.54/123.86 o 7335 122.93/124.23 o 7331 123.33/124.64 o 7326 123.53/124.84 o 7321 123.73/125.05 o 7318 124.52/125.83 o 7315 124.72/126.02 o 7314 124.91/126.20 o 7312 125.01/126.39 o 7309 125.21/126.58 o 7305 125.40/126.75 o 7304 125.60/126.92 o 7303 125.80/127.11 o 7301 125.90/127.29 o 7299 126.10/127.47 o 7293 126.30/127.67 o 7291 127.09/128.45 o 7285 127.29/128.65 o 7279 127.48/128.86 o 7276 127.68/129.06 o 7274 127.88/129.26 o 7272 128.27/129.67 o 7269 128.47/129.89 o 7267 128.67/130.07 o 7260 129.56/130.92 o 7257 129.76/131.15 o 7253 130.26/131.61 o 7250 130.45/131.85 o 7245 130.65/132.06 o 7240 130.85/132.28 o 7235 131.35/132.76 o 7232 131.54/132.98 o 7228 131.84/133.22 o 7225 132.04/133.44 o 7219 132.24/133.66 o 7218 132.44/133.89 o 7217 132.74/134.12 o 7214 132.93/134.34 o 7212 133.82/135.21 o 7210 134.22/135.66 o 7208 134.42/135.86 o 7203 134.62/136.08 o 7198 134.91/136.31 o 7194 135.11/136.52 o 7190 135.31/136.74 o 7187 135.51/136.98 o 7183 135.81/137.23 o 7180 136.00/137.43 o 7178 136.20/137.65 o 7173 136.40/137.86 o 7165 136.60/138.09 o 7161 136.90/138.30 o 7159 137.28/138.75 o 7157 137.48/138.97 o 7156 137.78/139.20 o 7155 137.98/139.41 o 7152 139.17/140.69 o 7150 139.46/140.91 o 7148 139.66/141.12 o 7145 139.86/141.33 o 7142 140.06/141.55 o 7140 140.45/141.99 o 7138 140.95/142.42 o 7133 141.15/142.63 o 7132 141.54/143.09 o 7126 141.84/143.31 o 7123 142.04/143.54 o 7122 142.24/143.77 o 7119 142.54/144.01 o 7115 142.73/144.25 o 7111 142.93/144.48 o 7108 143.43/144.97 o 7101 143.73/145.22 o 7100 144.42/145.92 o 7093 144.62/146.16 o 7090 144.91/146.41 o 7088 145.11/146.63 o 7085 145.31/146.86 o 7083 145.51/147.07 o 7081 146.00/147.51 o 7078 146.20/147.74 o 7077 146.40/147.96 o 7076 146.60/148.19 o 7075 146.90/148.42 o 7074 147.79/149.32 o 7071 148.18/149.76 o 7067 148.38/149.96 o 7062 148.68/150.20 o 7058 148.88/150.42 o 7055 149.07/150.65 o 7053 149.27/150.86 o 7052 149.47/151.09 o 7050 149.77/151.31 o 7044 149.97/151.52 o 7042 150.16/151.77 o 7037 150.36/151.99 o 7031 150.65/152.21 o 7028 150.85/152.44 o 7024 151.05/152.64 o 7022 151.25/152.86 o 7021 151.44/153.06 o 7020 151.64/153.29 o 7017 152.53/154.15 o 7013 152.73/154.36 o 7010 152.93/154.59 o 7008 153.23/154.81 o 7007 153.43/155.05 o 7004 153.62/155.27 o 7000 153.92/155.51 o 6996 154.52/156.20 o 6991 154.81/156.43 o 6988 155.01/156.65 o 6986 155.21/156.88 o 6984 156.00/157.63 o 6979 156.20/157.89 o 6974 156.50/158.13 o 6973 156.69/158.36 o 6970 156.99/158.60 o 6967 157.19/158.83 o 6965 157.39/159.04 o 6960 157.88/159.53 o 6959 158.08/159.77 o 6954 158.28/159.99 o 6953 158.58/160.26 o 6952 159.07/160.78 o 6949 159.57/161.25 o 6944 160.07/161.73 o 6942 160.26/161.97 o 6941 160.56/162.20 o 6940 160.77/162.43 o 6936 160.96/162.66 o 6931 161.25/162.92 o 6926 161.45/163.16 o 6922 162.64/164.37 o 6919 162.84/164.60 o 6918 163.14/164.84 o 6916 163.34/165.10 o 6913 163.63/165.34 o 6907 163.83/165.59 o 6903 164.43/166.10 o 6902 165.12/166.85 o 6898 165.42/167.10 o 6896 165.91/167.62 o 6893 166.11/167.87 o 6889 166.60/168.39 o 6885 166.90/168.65 o 6882 167.40/169.15 o 6879 167.69/169.41 o 6878 167.89/169.66 o 6874 168.19/169.92 o 6870 168.48/170.21 o 6868 168.68/170.48 o 6864 170.56/172.33 o 6861 171.65/173.42 o 6859 172.14/173.97 o 6856 172.44/174.23 o 6855 172.74/174.51 o 6852 172.94/174.78 o 6850 173.23/175.05 o 6848 173.53/175.33 o 6845 173.83/175.61 o 6844 174.03/175.88 o 6841 174.32/176.16 o 6840 174.62/176.43 o 6838 174.92/176.72 o 6837 175.12/176.98 o 6836 175.41/177.25 o 6835 175.71/177.52 o 6832 176.01/177.81 o 6824 176.50/178.35 o 6823 176.80/178.64 o 6818 177.10/178.91 o 6815 177.59/179.49 o 6814 177.89/179.74 o 6813 178.19/180.00 o 6810 178.38/180.24 o 6803 178.68/180.53 o 6802 178.88/180.79 o 6798 179.18/181.05 o 6797 179.47/181.33 o 6793 179.77/181.61 o 6787 180.56/182.43 o 6786 181.06/182.97 o 6782 181.36/183.24 o 6775 181.65/183.50 o 6774 182.14/184.04 o 6773 182.74/184.60 o 6769 182.94/184.87 o 6765 183.23/185.15 o 6761 183.53/185.41 o 6759 183.73/185.67 o 6755 184.03/185.96 o 6754 184.32/186.26 o 6753 184.62/186.55 o 6752 184.93/186.83 o 6750 185.22/187.11 o 6745 185.72/187.68 o 6741 186.02/187.96 o 6739 186.31/188.28 o 6738 188.39/190.35 o 6736 188.69/190.63 o 6735 188.99/190.93 o 6732 189.28/191.22 o 6730 189.58/191.50 o 6728 190.08/192.04 o 6725 190.67/192.63 o 6723 190.97/192.90 o 6722 192.25/194.25 o 6719 192.75/194.78 o 6717 193.04/195.05 o 6716 193.34/195.34 o 6714 194.13/196.18 o 6712 194.72/196.75 o 6711 195.02/197.01 o 6709 196.31/198.35 o 6705 196.61/198.64 o 6704 197.20/199.21 o 6701 197.70/199.76 o 6700 197.99/200.04 o 6699 198.29/200.31 o 6693 198.48/200.57 o 6690 198.79/200.84 o 6689 199.09/201.12 o 6688 199.29/201.39 o 6685 199.58/201.69 o 6683 200.18/202.28 o 6677 200.47/202.55 o 6672 201.56/203.67 o 6671 201.86/203.95 o 6667 202.16/204.23 o 6666 202.75/204.81 o 6662 202.95/205.09 o 6660 203.84/205.95 o 6656 204.73/206.81 o 6655 205.52/207.68 o 6654 206.11/208.23 o 6652 206.41/208.50 o 6649 206.61/208.79 o 6646 207.20/209.35 o 6645 207.50/209.64 o 6644 208.09/210.24 o 6643 208.39/210.52 o 6642 208.59/210.79 o 6637 208.88/211.08 o 6636 209.18/211.37 o 6634 209.48/211.65 o 6632 209.78/211.92 o 6630 210.07/212.21 o 6629 210.37/212.51 o 6625 210.67/212.80 o 6623 212.06/214.20 o 6618 212.65/214.81 o 6617 212.95/215.10 o 6615 213.15/215.36 o 6612 213.74/215.92 o 6609 214.25/216.47 o 6608 214.84/217.00 o 6603 218.30/220.55 o 6602 218.60/220.80 o 6600 218.80/221.06 o 6594 219.09/221.30 o 6589 219.29/221.56 o 6588 219.59/221.82 o 6584 219.78/222.08 o 6583 220.08/222.34 o 6582 220.58/222.86 o 6578 220.87/223.12 o 6575 221.37/223.62 o 6571 221.57/223.87 o 6568 221.87/224.12 o 6565 222.06/224.39 o 6562 222.66/224.90 o 6561 222.86/225.14 o 6560 223.15/225.43 o 6559 223.65/225.99 o 6558 223.95/226.26 o 6557 224.24/226.57 o 6555 224.54/226.85 o 6554 225.14/227.41 o 6552 225.33/227.69 o 6550 225.62/227.97 o 6547 225.92/228.24 o 6544 226.22/228.50 o 6543 226.42/228.80 o 6539 227.01/229.32 o 6534 227.80/230.16 o 6532 228.10/230.44 o 6530 228.40/230.73 o 6529 230.38/232.77 o 6528 230.68/233.04 o 6526 230.97/233.32 o 6524 231.27/233.60 o 6521 232.36/234.72 o 6519 232.56/234.98 o 6516 232.86/235.27 o 6513 233.06/235.48 o 6508 233.35/235.75 o 6505 233.65/236.04 o 6504 233.94/236.36 o 6501 234.24/236.64 o 6497 234.54/236.93 o 6496 235.13/237.53 o 6492 235.43/237.81 o 6489 235.63/238.09 o 6484 236.22/238.69 o 6483 236.52/238.97 o 6482 236.82/239.28 o 6481 237.12/239.57 o 6477 237.41/239.87 o 6473 237.71/240.17 o 6471 238.30/240.78 o 6466 238.70/241.10 o 6459 238.90/241.38 o 6454 239.20/241.67 o 6450 239.49/241.97 o 6449 240.09/242.60 o 6448 240.78/243.20 o 6444 241.38/243.83 o 6439 241.96/244.47 o 6434 242.26/244.79 o 6431 243.56/246.01 o 6427 243.86/246.33 o 6423 244.15/246.63 o 6422 244.45/246.93 o 6421 244.75/247.24 o 6419 245.34/247.87 o 6416 245.64/248.18 o 6414 247.22/249.72 o 6413 248.41/250.94 o 6409 248.71/251.25 o 6408 249.01/251.55 o 6406 249.30/251.88 o 6405 250.00/252.50 o 6402 251.18/253.80 o 6398 251.58/254.12 o 6394 251.87/254.44 o 6389 252.17/254.74 o 6386 252.47/255.04 o 6385 253.16/255.70 o 6382 253.46/256.04 o 6381 253.85/256.42 o 6380 254.55/257.11 o 6379 254.85/257.44 o 6375 255.14/257.79 o 6372 255.84/258.46 o 6370 256.23/258.82 o 6369 256.53/259.15 o 6366 256.83/259.49 o 6360 257.22/259.84 o 6358 257.52/260.19 o 6356 257.91/260.53 o 6355 258.21/260.89 o 6353 258.61/261.26 o 6352 259.00/261.62 o 6349 259.29/261.97 o 6348 260.38/263.05 o 6347 261.48/264.13 o 6345 261.88/264.52 o 6342 262.57/265.26 o 6340 264.45/267.11 o 6339 264.75/267.49 o 6338 265.15/267.88 o 6330 265.94/268.65 o 6327 266.34/269.06 o 6323 266.73/269.45 o 6322 267.13/269.84 o 6318 271.58/274.39 o 6315 271.98/274.77 o 6312 272.37/275.19 o 6309 272.87/275.60 o 6308 273.26/276.05 o 6305 274.45/277.28 o 6303 274.95/277.73 o 6302 275.34/278.17 o 6301 276.63/279.46 o 6298 277.03/279.88 o 6291 278.31/281.16 o 6290 278.71/281.59 o 6287 279.20/282.03 o 6284 279.60/282.46 o 6281 280.49/283.33 o 6278 280.89/283.78 o 6277 281.28/284.19 o 6276 281.78/284.60 o 6274 282.17/285.03 o 6271 282.97/285.90 o 6270 283.46/286.31 o 6269 283.86/286.75 o 6266 284.26/287.17 o 6265 285.54/288.43 o 6261 286.44/289.31 o 6258 286.83/289.74 o 6256 287.62/290.58 o 6253 288.52/291.43 o 6252 288.91/291.84 o 6248 289.31/292.26 o 6246 289.80/292.70 o 6245 290.20/293.12 o 6242 290.99/293.95 o 6241 291.39/294.37 o 6239 292.28/295.24 o 6238 292.68/295.64 o 6236 293.07/296.08 o 6235 293.96/296.94 o 6232 294.36/297.37 o 6231 294.86/297.80 o 6229 295.25/298.25 o 6228 295.65/298.68 o 6226 296.14/299.16 o 6224 296.63/299.62 o 6223 300.60/303.63 o 6222 302.28/305.39 o 6219 302.78/305.82 o 6216 303.18/306.24 o 6214 304.47/307.58 o 6211 306.25/309.36 o 6209 306.65/309.78 o 6208 307.54/310.66 o 6205 308.03/311.10 o 6202 308.42/311.53 o 6200 310.60/313.72 o 6195 311.00/314.13 o 6192 311.89/315.00 o 6187 312.29/315.44 o 6184 312.68/315.87 o 6182 313.18/316.30 o 6179 313.57/316.75 o 6178 315.26/318.45 o 6177 316.54/319.77 o 6175 317.44/320.66 o 6174 317.94/321.12 o 6173 318.33/321.57 o 6169 318.83/322.01 o 6166 319.22/322.44 o 6165 319.72/322.91 o 6164 320.11/323.40 o 6162 321.40/324.69 o 6161 321.80/325.09 o 6159 322.29/325.53 o 6158 322.69/325.93 o 6156 323.09/326.36 o 6154 323.98/327.21 o 6152 324.37/327.64 o 6148 324.76/328.05 o 6147 325.16/328.49 o 6145 325.66/328.92 o 6141 326.05/329.33 o 6140 326.84/330.17 o 6139 327.24/330.59 o 6137 328.13/331.44 o 6136 329.32/332.69 o 6135 329.82/333.10 o 6130 330.21/333.51 o 6126 330.61/333.91 o 6125 331.01/334.35 o 6122 331.40/334.78 o 6119 332.29/335.63 o 6115 333.58/336.92 o 6112 333.98/337.35 o 6110 334.37/337.79 o 6107 334.87/338.22 o 6106 335.26/338.65 o 6105 335.66/339.09 o 6103 336.16/339.53 o 6100 336.55/339.98 o 6098 337.05/340.43 o 6092 337.44/340.87 o 6088 337.94/341.34 o 6085 338.34/341.77 o 6082 342.59/346.05 o 6081 343.88/347.34 o 6080 344.27/347.77 o 6077 344.67/348.19 o 6075 345.17/348.65 o 6074 346.06/349.51 o 6070 346.45/349.95 o 6068 346.85/350.35 o 6066 347.25/350.79 o 6064 347.74/351.20 o 6063 348.54/352.05 o 6056 348.93/352.47 o 6049 349.33/352.89 o 6048 349.82/353.33 o 6047 350.22/353.74 o 6044 351.01/354.59 o 6042 352.30/355.86 o 6040 353.59/357.11 o 6039 353.98/357.54 o 6038 354.37/357.92 o 6037 354.77/358.34 o 6035 355.16/358.75 o 6034 355.56/359.16 o 6031 355.96/359.57 o 6030 356.45/360.00 o 6028 356.85/360.42 o 6022 357.25/360.85 o 6021 358.15/361.72 o 6019 359.93/363.55 o 6017 361.22/364.85 o 6015 361.62/365.28 o 6011 362.11/365.73 o 6010 362.60/366.20 o 6007 363.00/366.64 o 6006 363.89/367.59 o 6005 364.39/368.07 o 6002 364.88/368.55 o 5996 366.57/370.30 o 5991 367.16/370.80 o 5990 367.55/371.30 o 5987 368.05/371.77 o 5984 368.54/372.27 o 5982 369.04/372.75 o 5978 369.53/373.21 o 5976 371.81/375.56 o 5975 372.30/376.05 o 5973 372.80/376.54 o 5972 375.18/378.94 o 5970 375.67/379.44 o 5968 376.17/379.90 o 5964 376.57/380.37 o 5963 378.05/381.82 o 5962 378.94/382.73 o 5959 379.43/383.20 o 5957 379.83/383.69 o 5956 380.32/384.15 o 5954 380.82/384.61 o 5950 381.71/385.55 o 5949 382.21/386.05 o 5944 382.70/386.51 o 5938 383.10/386.98 o 5936 383.59/387.45 o 5935 384.09/387.93 o 5933 384.58/388.42 o 5931 385.08/388.93 o 5930 386.07/389.94 o 5928 387.47/391.35 o 5926 387.96/391.84 o 5924 388.46/392.31 o 5921 388.85/392.77 o 5920 389.74/393.69 o 5919 390.24/394.15 o 5917 391.13/395.07 o 5916 391.63/395.55 o 5914 392.52/396.48 o 5908 393.01/396.92 o 5906 393.31/397.22 o 5905 394.01/397.98 o 5901 394.50/398.44 o 5900 395.00/398.91 o 5899 395.39/399.36 o 5897 396.77/400.70 o 5896 397.17/401.15 o 5892 397.57/401.59 o 5891 398.06/402.02 o 5889 399.84/403.85 o 5885 400.34/404.30 o 5883 401.63/405.65 o 5882 402.12/406.14 o 5879 402.52/406.57 o 5875 403.02/407.07 o 5872 403.51/407.53 o 5871 404.01/408.03 o 5870 404.40/408.49 o 5866 405.39/409.42 o 5865 405.79/409.88 o 5859 406.78/410.86 o 5856 413.31/417.44 o 5854 413.81/417.92 o 5852 414.30/418.41 o 5850 414.70/418.89 o 5848 417.77/421.92 o 5847 418.76/422.95 o 5845 419.26/423.44 o 5842 419.75/423.96 o 5841 420.25/424.49 o 5839 420.74/424.99 o 5838 421.33/425.53 o 5836 422.33/426.51 o 5831 422.82/427.03 o 5828 425.40/429.68 o 5827 426.98/431.23 o 5826 427.48/431.75 o 5824 427.97/432.30 o 5823 428.56/432.83 o 5822 429.55/433.87 o 5816 430.15/434.41 o 5814 431.14/435.47 o 5813 432.23/436.52 o 5811 438.18/442.56 o 5809 441.54/445.92 o 5807 441.94/446.38 o 5804 442.43/446.85 o 5799 443.33/447.76 o 5797 444.32/448.71 o 5795 444.71/449.17 o 5794 445.21/449.63 o 5792 446.99/451.48 o 5789 447.48/451.95 o 5788 447.98/452.43 o 5783 449.37/453.87 o 5782 449.76/454.21 o 5779 450.16/454.68 o 5777 450.66/455.14 o 5773 451.15/455.65 o 5768 452.04/456.59 o 5763 454.52/459.00 o 5761 454.92/459.47 o 5760 455.41/459.95 o 5758 455.90/460.42 o 5757 459.57/464.11 o 5756 459.96/464.56 o 5754 460.85/465.48 o 5750 461.35/465.94 o 5748 462.24/466.87 o 5746 463.23/467.83 o 5744 464.52/469.17 o 5742 465.01/469.67 o 5739 465.51/470.19 o 5736 466.10/470.72 o 5732 466.61/471.22 o 5731 467.01/471.69 o 5729 467.79/472.48 o 5728 468.29/472.98 o 5724 469.77/474.49 o 5722 470.76/475.49 o 5721 471.75/476.46 o 5717 474.13/478.82 o 5716 474.63/479.30 o 5715 475.12/479.84 o 5713 475.62/480.38 o 5712 476.11/480.88 o 5711 477.11/481.87 o 5706 477.60/482.38 o 5703 478.10/482.86 o 5702 478.59/483.36 o 5701 479.09/483.89 o 5698 479.68/484.41 o 5696 480.18/484.90 o 5694 481.07/485.86 o 5693 482.85/487.64 o 5690 483.35/488.15 o 5686 486.81/491.60 o 5682 487.80/492.67 o 5679 488.89/493.73 o 5673 489.38/494.26 o 5670 489.68/494.54 o 5669 489.98/494.88 o 5666 490.57/495.42 o 5663 491.07/495.95 o 5661 491.56/496.48 o 5659 493.05/497.97 o 5657 493.54/498.47 o 5656 495.13/500.01 o 5651 495.62/500.53 o 5650 495.92/500.85 o 5648 496.42/501.36 o 5645 498.00/502.95 o 5644 498.50/503.46 o 5640 500.57/505.56 o 5638 501.07/506.09 o 5636 501.66/506.65 o 5633 502.26/507.21 o 5630 502.76/507.75 o 5628 503.35/508.31 o 5626 503.85/508.85 o 5623 504.94/509.95 o 5620 506.62/511.62 o 5615 508.21/513.27 o 5611 508.80/513.83 o 5608 509.30/514.38 o 5607 510.39/515.47 o 5605 510.98/516.01 o 5602 511.97/517.08 o 5597 514.15/519.24 o 5596 514.65/519.77 o 5595 515.24/520.32 o 5594 515.74/520.86 o 5593 516.33/521.43 o 5591 519.69/524.84 o 5590 520.19/525.39 o 5586 521.97/527.10 o 5585 524.84/530.00 o 5584 525.34/530.59 o 5581 525.93/531.16 o 5576 526.53/531.73 o 5573 527.72/532.93 o 5571 528.31/533.52 o 5570 528.91/534.10 o 5568 534.75/540.06 o 5567 537.12/542.48 o 5565 539.01/544.34 o 5562 539.60/544.96 o 5561 540.29/545.62 o 5560 542.77/548.15 o 5557 545.25/550.67 o 5556 546.53/551.95 o 5554 547.22/552.61 o 5551 547.82/553.30 o 5548 548.31/553.78 o 5547 550.29/555.73 o 5545 556.14/561.67 o 5543 556.83/562.35 o 5537 557.53/563.01 o 5533 559.51/565.01 o 5532 560.10/565.67 o 5531 560.79/566.34 o 5529 561.49/567.02 o 5527 562.88/568.41 o 5526 564.16/569.79 o 5525 566.94/572.52 o 5521 567.63/573.21 o 5519 569.71/575.37 o 5518 570.41/576.07 o 5517 571.90/577.51 o 5516 573.88/579.60 o 5514 576.75/582.42 o 5512 578.14/583.82 o 5509 578.83/584.51 o 5506 579.53/585.22 o 5503 580.12/585.90 o 5502 580.81/586.59 o 5497 581.21/586.95 o 5494 581.90/587.63 o 5492 582.60/588.32 o 5491 582.89/588.62 o 5487 583.49/589.30 o 5486 584.18/589.97 o 5485 584.87/590.65 o 5484 585.57/591.32 o 5483 586.26/592.00 o 5482 586.95/592.70 o 5480 587.55/593.38 o 5478 588.24/594.07 o 5477 588.94/594.73 o 5476 602.50/608.44 o 5471 603.79/609.74 o 5469 604.38/610.38 o 5467 605.08/611.08 o 5466 605.77/611.72 o 5462 607.75/613.76 o 5459 622.61/628.72 o 5457 623.20/629.37 o 5456 623.90/630.00 o 5454 625.78/631.94 o 5453 628.75/634.95 o 5448 630.04/636.27 o 5446 632.02/638.29 o 5445 633.41/639.64 o 5443 634.10/640.31 o 5440 634.60/640.81 o 5438 635.19/641.46 o 5434 635.79/642.05 o 5432 636.38/642.69 o 5428 637.07/643.33 o 5427 637.67/643.97 o 5426 638.85/645.10 o 5424 639.45/645.75 o 5421 641.33/647.62 o 5420 641.92/648.27 o 5418 642.62/648.91 o 5417 643.21/649.55 o 5414 643.81/650.15 o 5411 648.17/654.58 o 5409 648.77/655.20 o 5407 651.24/657.70 o 5404 651.94/658.34 o 5403 652.43/658.81 o 5399 653.02/659.43 o 5398 653.62/660.05 o 5394 654.21/660.65 o 5389 654.81/661.25 o 5387 656.00/662.43 o 5383 656.59/663.05 o 5382 657.18/663.69 o 5380 657.88/664.31 o 5377 658.47/664.92 o 5376 659.66/666.14 o 5372 660.85/667.36 o 5371 661.54/668.01 o 5369 662.63/669.20 o 5367 671.65/678.21 o 5366 672.74/679.40 o 5365 674.03/680.63 o 5363 674.62/681.25 o 5362 677.49/684.17 o 5359 680.36/687.05 o 5358 680.95/687.64 o 5356 681.55/688.24 o 5355 682.74/689.45 o 5354 685.71/692.40 o 5353 686.31/693.00 o 5350 689.67/696.44 o 5348 690.76/697.56 o 5347 691.36/698.10 o 5346 691.85/698.67 o 5343 693.04/699.80 o 5340 693.54/700.34 o 5335 694.63/701.43 o 5331 695.12/701.99 o 5323 696.81/703.60 o 5321 697.80/704.69 o 5319 700.08/706.92 o 5317 701.76/708.63 o 5316 702.85/709.75 o 5315 703.45/710.32 o 5313 703.94/710.88 o 5310 704.54/711.45 o 5309 705.13/712.04 o 5303 705.63/712.54 o 5301 707.31/714.26 o 5298 708.40/715.37 o 5295 709.59/716.52 o 5291 713.05/720.03 o 5289 713.64/720.63 o 5288 714.24/721.23 o 5286 715.43/722.45 o 5285 719.09/726.19 o 5282 719.79/726.80 o 5278 720.38/727.45 o 5273 724.15/731.26 o 5270 724.74/731.88 o 5267 725.44/732.53 o 5266 726.03/733.17 o 5264 727.91/735.05 o 5263 728.51/735.67 o 5261 731.68/738.85 o 5260 732.27/739.49 o 5255 732.96/740.10 o 5253 733.56/740.72 o 5251 734.75/741.95 o 5249 735.44/742.61 o 5245 736.04/743.23 o 5242 736.63/743.88 o 5241 737.82/745.09 o 5240 738.51/745.71 o 5239 739.10/746.32 o 5237 740.88/748.17 o 5236 741.48/748.77 o 5231 742.67/750.00 o 5227 743.36/750.62 o 5226 751.00/758.39 o 5225 753.77/761.11 o 5224 754.26/761.69 o 5222 755.45/762.89 o 5219 756.14/763.50 o 5218 756.74/764.13 o 5216 759.81/767.20 o 5212 760.40/767.82 o 5210 761.59/769.08 o 5209 764.36/771.81 o 5204 764.85/772.39 o 5202 765.45/772.98 o 5197 766.04/773.57 o 5193 766.64/774.16 o 5190 767.23/774.76 o 5186 767.83/775.34 o 5184 768.42/775.95 o 5183 769.02/776.54 o 5181 769.61/777.13 o 5178 770.20/777.71 o 5176 777.64/785.28 o 5174 778.14/785.73 o 5169 778.73/786.35 o 5167 779.22/786.84 o 5162 779.82/787.45 o 5161 780.41/788.09 o 5160 781.70/789.36 o 5159 782.99/790.63 o 5158 785.17/792.83 o 5156 789.72/797.43 o 5154 790.11/797.80 o 5151 790.71/798.43 o 5149 793.89/801.61 o 5146 795.07/802.89 o 5145 795.76/803.54 o 5142 797.05/804.89 o 5140 797.74/805.53 o 5139 798.34/806.20 o 5134 799.03/806.86 o 5130 799.72/807.55 o 5129 800.32/808.19 o 5128 801.01/808.86 o 5127 801.71/809.51 o 5125 803.69/811.57 o 5121 804.48/812.30 o 5119 809.14/817.06 o 5117 809.63/817.59 o 5116 810.13/818.07 o 5115 813.59/821.53 o 5113 814.29/822.26 o 5108 814.97/822.98 o 5106 817.06/825.06 o 5105 817.75/825.77 o 5100 818.44/826.46 o 5099 819.83/827.86 o 5098 820.52/828.58 o 5096 824.09/832.11 o 5094 825.49/833.50 o 5093 826.18/834.21 o 5092 827.96/836.03 o 5090 828.56/836.69 o 5087 829.25/837.39 o 5083 832.71/840.87 o 5080 833.41/841.56 o 5075 835.49/843.63 o 5074 836.08/844.29 o 5073 836.77/844.99 o 5072 838.16/846.33 o 5070 839.55/847.70 o 5068 840.14/848.32 o 5066 841.33/849.58 o 5065 842.72/850.93 o 5064 843.41/851.63 o 5059 844.80/853.03 o 5058 845.48/853.76 o 5055 846.18/854.45 o 5054 846.87/855.16 o 5053 850.34/858.68 o 5045 852.62/860.98 o 5042 853.31/861.61 o 5039 862.33/870.74 o 5036 863.31/871.72 o 5032 864.00/872.43 o 5028 868.86/877.31 o 5026 869.55/878.01 o 5024 870.25/878.70 o 5023 871.63/880.14 o 5022 872.33/880.86 o 5020 873.02/881.53 o 5019 873.72/882.27 o 5018 874.41/882.96 o 5017 875.10/883.62 o 5016 875.79/884.33 o 5014 877.87/886.44 o 5010 878.58/887.17 o 5009 879.37/887.91 o 5005 880.06/888.65 o 4998 880.76/889.35 o 4996 884.23/892.89 o 4993 888.68/897.35 o 4990 889.37/898.07 o 4989 899.68/908.48 o 4988 904.23/913.02 o 4986 906.51/915.31 o 4985 907.21/916.06 o 4984 912.66/921.57 o 4982 913.44/922.30 o 4980 914.83/923.74 o 4979 915.52/924.47 o 4978 917.01/925.92 o 4974 918.40/927.37 o 4971 918.69/927.62 o 4970 919.39/928.35 o 4969 921.07/930.00 o 4968 921.76/930.75 o 4967 924.64/933.67 o 4966 925.33/934.38 o 4965 926.82/935.89 o 4964 927.41/936.43 o 4962 928.10/937.17 o 4960 928.79/937.88 o 4959 929.58/938.60 o 4958 934.64/943.80 o 4955 936.82/945.93 o 4951 937.51/946.66 o 4950 939.00/948.12 o 4945 939.69/948.85 o 4944 951.58/960.89 o 4943 953.06/962.34 o 4940 955.15/964.49 o 4937 955.93/965.22 o 4935 956.62/965.96 o 4931 958.80/968.13 o 4930 959.50/968.84 o 4928 959.80/969.18 o 4922 960.39/969.79 o 4920 962.47/971.86 o 4919 963.16/972.57 o 4917 964.16/973.59 o 4913 967.53/976.99 o 4911 969.61/979.07 o 4909 970.21/979.63 o 4905 972.98/982.42 o 4904 974.36/983.85 o 4903 975.06/984.55 o 4900 976.54/986.01 o 4897 977.94/987.41 o 4895 980.01/989.58 o 4894 980.80/990.36 o 4890 981.60/991.11 o 4888 981.79/991.34 o 4884 983.87/993.43 o 4882 984.66/994.25 o 4879 985.46/995.02 o 4877 986.25/995.83 o 4875 987.04/996.65 o 4874 987.84/997.42 o 4873 988.63/998.20 o 4872 989.32/998.97 o 4869 990.91/1000.54 o 4868 991.70/1001.36 o 4864 996.46/1006.18 o 4863 1002.39/1012.19 o 4862 1003.29/1013.08 o 4859 1004.18/1013.97 o 4856 1005.07/1014.89 o 4855 1005.96/1015.77 o 4854 1014.38/1024.29 o 4853 1017.06/1026.93 o 4851 1018.84/1028.71 o 4850 1019.74/1029.62 o 4848 1020.62/1030.51 o 4844 1022.31/1032.30 o 4842 1024.19/1034.14 o 4841 1025.08/1035.05 o 4840 1025.97/1035.93 o 4837 1026.86/1036.85 o 4835 1027.75/1037.78 o 4833 1030.33/1040.30 o 4831 1032.11/1042.10 o 4828 1032.81/1042.85 o 4826 1033.69/1043.75 o 4824 1034.59/1044.65 o 4821 1036.47/1046.52 o 4818 1040.04/1050.17 o 4817 1041.81/1051.97 o 4815 1046.97/1057.17 o 4813 1049.65/1059.83 o 4812 1050.54/1060.73 o 4811 1051.43/1061.64 o 4809 1052.22/1062.49 o 4806 1060.94/1071.28 o 4805 1061.83/1072.19 o 4801 1062.72/1073.09 o 4800 1063.61/1074.00 o 4797 1075.20/1085.68 o 4795 1077.09/1087.50 o 4791 1082.44/1092.93 o 4789 1085.90/1096.43 o 4788 1087.58/1098.15 o 4785 1088.47/1099.03 o 4784 1090.26/1100.82 o 4782 1094.42/1105.05 o 4777 1104.13/1114.87 o 4776 1106.80/1117.56 o 4775 1108.58/1119.30 o 4773 1111.16/1121.98 o 4771 1112.84/1123.67 o 4769 1115.52/1126.32 o 4768 1116.41/1127.21 o 4767 1119.08/1129.90 o 4766 1135.04/1146.01 o 4763 1135.83/1146.84 o 4759 1137.51/1148.58 o 4756 1138.41/1149.44 o 4755 1139.30/1150.31 o 4753 1140.09/1151.18 o 4752 1145.04/1156.17 o 4751 1147.62/1158.74 o 4748 1148.51/1159.60 o 4747 1149.30/1160.49 o 4745 1151.09/1162.26 o 4744 1152.67/1163.83 o 4742 1153.47/1164.60 o 4737 1155.15/1166.30 o 4736 1156.83/1168.01 o 4735 1157.53/1168.73 o 4732 1158.41/1169.60 o 4730 1163.37/1174.67 o 4728 1164.16/1175.46 o 4723 1164.75/1176.04 o 4718 1165.55/1176.81 o 4717 1167.13/1178.44 o 4716 1167.93/1179.21 o 4715 1171.00/1182.37 o 4712 1171.79/1183.19 o 4705 1172.68/1184.01 o 4704 1188.93/1200.42 o 4698 1189.72/1201.23 o 4697 1191.31/1202.86 o 4695 1192.09/1203.69 o 4690 1193.78/1205.34 o 4689 1194.57/1206.15 o 4685 1195.36/1207.00 o 4682 1196.26/1207.83 o 4678 1197.05/1208.68 o 4676 1198.73/1210.34 o 4674 1199.52/1211.18 o 4670 1200.41/1212.01 o 4668 1201.01/1212.65 o 4665 1203.28/1214.92 o 4664 1204.07/1215.74 o 4661 1206.25/1217.96 o 4657 1207.06/1218.77 o 4655 1207.85/1219.59 o 4654 1208.64/1220.39 o 4650 1212.70/1224.41 o 4649 1213.49/1225.24 o 4647 1214.29/1226.06 o 4646 1215.08/1226.81 o 4643 1215.87/1227.60 o 4641 1216.67/1228.42 o 4637 1219.04/1230.86 o 4636 1219.84/1231.69 o 4635 1227.76/1239.66 o 4633 1228.45/1240.31 o 4629 1230.13/1242.01 o 4628 1230.93/1242.84 o 4627 1231.72/1243.70 o 4626 1232.61/1244.56 o 4623 1234.29/1246.30 o 4621 1235.28/1247.20 o 4619 1236.08/1248.09 o 4616 1236.67/1248.64 o 4615 1237.56/1249.52 o 4613 1241.63/1253.65 o 4609 1242.51/1254.53 o 4607 1244.00/1256.06 o 4606 1244.89/1256.96 o 4603 1245.19/1257.23 o 4601 1246.87/1258.98 o 4600 1247.76/1259.86 o 4599 1248.65/1260.74 o 4598 1249.55/1261.67 o 4596 1253.80/1265.93 o 4594 1253.90/1266.10 o 4590 1254.70/1266.84 o 4588 1255.49/1267.66 o 4587 1256.38/1268.53 o 4585 1257.27/1269.41 o 4583 1259.06/1271.23 o 4581 1263.42/1275.60 o 4579 1266.79/1279.03 o 4577 1269.36/1281.69 o 4576 1270.25/1282.56 o 4575 1272.93/1285.28 o 4574 1273.62/1285.97 o 4573 1274.32/1286.67 o 4571 1275.20/1287.56 o 4570 1276.09/1288.45 o 4568 1279.66/1292.04 o 4567 1281.44/1293.84 o 4566 1285.70/1298.14 o 4565 1286.59/1299.04 o 4563 1289.96/1302.41 o 4562 1297.79/1310.34 o 4560 1300.47/1313.06 o 4559 1301.36/1313.96 o 4556 1302.25/1314.85 o 4555 1304.03/1316.67 o 4553 1308.49/1321.12 o 4552 1309.28/1321.98 o 4551 1310.17/1322.87 o 4548 1311.06/1323.79 o 4547 1311.95/1324.65 o 4545 1312.84/1325.53 o 4543 1313.64/1326.39 o 4541 1314.63/1327.30 o 4538 1315.52/1328.20 o 4535 1316.41/1329.11 o 4534 1317.90/1330.68 o 4533 1318.79/1331.59 o 4532 1319.78/1332.51 o 4530 1320.67/1333.41 o 4529 1324.23/1337.02 o 4528 1325.03/1337.85 o 4525 1325.92/1338.75 o 4523 1327.70/1340.59 o 4520 1329.28/1342.17 o 4517 1331.07/1343.97 o 4515 1337.41/1350.31 o 4513 1338.30/1351.20 o 4512 1340.08/1353.02 o 4510 1340.97/1353.93 o 4508 1341.77/1354.75 o 4502 1344.24/1357.26 o 4500 1350.48/1363.59 o 4499 1351.47/1364.50 o 4498 1352.26/1365.38 o 4496 1353.16/1366.29 o 4491 1354.15/1367.22 o 4490 1355.04/1368.12 o 4489 1355.94/1369.04 o 4486 1364.06/1377.26 o 4484 1364.95/1378.17 o 4483 1367.73/1380.90 o 4482 1368.52/1381.75 o 4480 1372.19/1385.42 o 4476 1373.08/1386.33 o 4473 1374.86/1388.11 o 4469 1375.76/1389.01 o 4467 1376.65/1389.94 o 4466 1379.51/1392.84 o 4463 1382.78/1396.11 o 4462 1383.68/1397.03 o 4459 1384.57/1397.93 o 4456 1385.26/1398.62 o 4455 1389.02/1402.48 o 4451 1389.92/1403.33 o 4446 1390.71/1404.20 o 4444 1391.90/1405.35 o 4442 1392.79/1406.21 o 4441 1393.48/1406.97 o 4440 1394.37/1407.82 o 4438 1398.83/1412.32 o 4437 1399.72/1413.23 o 4435 1400.61/1414.15 o 4433 1402.49/1416.02 o 4431 1403.38/1416.94 o 4430 1404.28/1417.86 o 4428 1406.06/1419.63 o 4426 1407.84/1421.44 o 4424 1410.52/1424.17 o 4422 1411.41/1425.08 o 4421 1412.30/1425.97 o 4418 1421.90/1435.63 o 4417 1422.80/1436.53 o 4411 1423.19/1436.97 o 4409 1424.08/1437.83 o 4405 1424.48/1438.27 o 4404 1425.97/1439.80 o 4402 1427.75/1441.56 o 4401 1428.64/1442.45 o 4397 1431.22/1445.09 o 4395 1432.11/1445.98 o 4394 1433.00/1446.85 o 4393 1434.78/1448.63 o 4390 1437.76/1451.65 o 4387 1438.65/1452.52 o 4385 1439.54/1453.40 o 4383 1440.93/1454.85 o 4382 1441.82/1455.76 o 4380 1442.71/1456.65 o 4377 1443.21/1457.11 o 4375 1444.00/1458.00 o 4373 1444.89/1458.88 o 4372 1454.10/1468.17 o 4370 1454.89/1468.94 o 4369 1455.68/1469.76 o 4368 1458.36/1472.40 o 4367 1459.25/1473.30 o 4366 1460.04/1474.20 o 4365 1461.83/1475.90 o 4363 1462.52/1476.66 o 4362 1463.91/1478.07 o 4361 1464.80/1478.92 o 4359 1465.58/1479.76 o 4355 1466.48/1480.62 o 4354 1467.27/1481.41 o 4349 1468.07/1482.24 o 4348 1469.76/1483.94 o 4346 1470.55/1484.79 o 4344 1471.44/1485.64 o 4340 1475.00/1489.26 o 4339 1476.68/1490.94 o 4335 1480.05/1494.32 o 4334 1480.84/1495.15 o 4332 1481.73/1496.01 o 4328 1483.91/1498.25 o 4327 1484.80/1499.11 o 4325 1485.60/1499.94 o 4323 1487.28/1501.64 o 4320 1488.07/1502.48 o 4318 1488.96/1503.30 o 4317 1490.54/1504.95 o 4315 1491.34/1505.78 o 4313 1493.02/1507.41 o 4310 1495.51/1509.90 o 4309 1502.05/1516.51 o 4305 1502.84/1517.34 o 4302 1503.63/1518.17 o 4299 1504.33/1518.81 o 4298 1505.12/1519.62 o 4294 1505.91/1520.42 o 4292 1510.07/1524.67 o 4286 1510.86/1525.45 o 4279 1511.65/1526.26 o 4278 1512.44/1527.06 o 4277 1513.24/1527.87 o 4276 1514.13/1528.70 o 4274 1515.71/1530.33 o 4271 1518.88/1533.60 o 4268 1520.57/1535.23 o 4267 1521.36/1536.09 o 4266 1526.31/1541.10 o 4265 1538.30/1553.14 o 4264 1539.19/1554.03 o 4263 1539.68/1554.57 o 4262 1550.18/1565.15 o 4260 1550.98/1565.99 o 4258 1551.87/1566.87 o 4256 1552.76/1567.75 o 4253 1553.55/1568.60 o 4249 1555.34/1570.32 o 4247 1556.12/1571.18 o 4245 1557.01/1572.05 o 4243 1567.22/1582.35 o 4240 1568.01/1583.18 o 4236 1568.91/1584.03 o 4234 1570.59/1585.70 o 4232 1571.38/1586.55 o 4230 1572.18/1587.39 o 4229 1573.07/1588.24 o 4228 1573.86/1589.08 o 4226 1577.03/1592.25 o 4224 1577.92/1593.11 o 4222 1578.71/1593.93 o 4219 1579.51/1594.77 o 4218 1581.29/1596.56 o 4215 1582.18/1597.42 o 4212 1582.97/1598.28 o 4210 1583.86/1599.15 o 4207 1593.57/1608.99 o 4206 1597.23/1612.61 o 4205 1599.91/1615.33 o 4204 1600.80/1616.28 o 4201 1604.47/1619.98 o 4200 1605.46/1620.93 o 4196 1606.35/1621.88 o 4195 1612.09/1627.61 o 4193 1612.98/1628.56 o 4191 1614.47/1630.03 o 4190 1615.36/1630.98 o 4187 1616.35/1631.95 o 4185 1617.34/1632.96 o 4184 1618.33/1633.95 o 4182 1618.82/1634.44 o 4178 1620.71/1636.39 o 4176 1624.47/1640.18 o 4175 1625.46/1641.15 o 4174 1628.34/1644.05 o 4170 1629.33/1645.03 o 4168 1630.32/1646.01 o 4167 1631.31/1647.02 o 4165 1633.29/1649.00 o 4162 1634.28/1650.01 o 4161 1643.20/1659.05 o 4159 1644.19/1660.05 o 4157 1645.18/1661.07 o 4156 1648.25/1664.12 o 4155 1649.25/1665.17 o 4153 1650.34/1666.21 o 4151 1651.33/1667.23 o 4149 1652.31/1668.26 o 4148 1667.27/1683.33 o 4146 1668.26/1684.37 o 4143 1669.35/1685.40 o 4141 1670.34/1686.43 o 4140 1673.41/1689.53 o 4139 1674.50/1690.60 o 4138 1677.48/1693.63 o 4137 1678.07/1694.22 o 4132 1679.06/1695.29 o 4130 1683.22/1699.49 o 4128 1689.06/1705.32 o 4126 1692.23/1708.54 o 4124 1693.32/1709.60 o 4123 1695.30/1711.68 o 4121 1696.39/1712.76 o 4120 1700.16/1716.50 o 4117 1701.15/1717.55 o 4116 1702.13/1718.55 o 4115 1703.22/1719.60 o 4112 1704.21/1720.64 o 4110 1705.20/1721.60 o 4106 1706.19/1722.64 o 4105 1709.27/1725.72 o 4104 1710.26/1726.73 o 4100 1710.46/1726.98 o 4099 1711.55/1728.02 o 4098 1712.54/1729.08 o 4095 1716.50/1733.07 o 4092 1718.58/1735.11 o 4090 1719.57/1736.15 o 4088 1720.16/1736.77 o 4086 1724.23/1740.84 o 4085 1725.12/1741.77 o 4082 1727.20/1743.83 o 4081 1728.19/1744.88 o 4080 1731.36/1748.02 o 4079 1732.25/1748.91 o 4078 1733.24/1749.94 o 4077 1734.23/1751.00 o 4075 1735.32/1752.05 o 4071 1740.87/1757.66 o 4069 1741.95/1758.73 o 4067 1742.95/1759.77 o 4066 1746.12/1762.92 o 4064 1747.11/1763.91 o 4061 1751.07/1767.91 o 4060 1751.56/1768.47 o 4057 1752.65/1769.52 o 4056 1757.90/1774.84 o 4053 1763.15/1780.11 o 4052 1765.73/1782.78 o 4050 1767.81/1784.81 o 4046 1768.81/1785.88 o 4044 1774.06/1791.18 o 4040 1775.74/1792.86 o 4037 1777.92/1795.03 o 4034 1791.59/1808.80 o 4032 1792.58/1809.86 o 4029 1794.17/1811.41 o 4026 1797.24/1814.52 o 4024 1798.23/1815.57 o 4023 1802.39/1819.76 o 4022 1807.34/1824.75 o 4020 1808.43/1825.83 o 4018 1810.11/1827.54 o 4017 1811.10/1828.59 o 4016 1812.19/1829.63 o 4014 1813.18/1830.69 o 4012 1825.47/1843.02 o 4010 1837.35/1855.03 o 4008 1838.44/1856.14 o 4005 1840.62/1858.33 o 4003 1841.71/1859.42 o 4000 1843.89/1861.63 o 3997 1844.68/1862.41 o 3993 1846.86/1864.60 o 3992 1848.94/1866.78 o 3989 1850.03/1867.88 o 3986 1851.12/1868.96 o 3982 1852.21/1870.03 o 3978 1854.39/1872.22 o 3975 1855.38/1873.29 o 3973 1856.57/1874.40 o 3971 1859.84/1877.73 o 3964 1860.93/1878.82 o 3963 1866.27/1884.29 o 3961 1867.37/1885.38 o 3960 1868.46/1886.47 o 3959 1877.57/1895.70 o 3954 1894.91/1913.18 o 3951 1895.70/1913.98 o 3948 1898.67/1916.90 o 3947 1900.85/1919.10 o 3945 1903.92/1922.23 o 3943 1905.01/1923.32 o 3940 1908.08/1926.46 o 3938 1909.17/1927.57 o 3937 1910.26/1928.67 o 3936 1911.35/1929.76 o 3934 1912.24/1930.69 o 3931 1913.14/1931.53 o 3930 1917.20/1935.66 o 3929 1918.29/1936.79 o 3925 1922.75/1941.25 o 3922 1923.84/1942.39 o 3920 1928.39/1946.96 o 3916 1930.67/1949.26 o 3914 1931.85/1950.40 o 3913 1934.03/1952.69 o 3910 1935.03/1953.65 o 3909 1936.12/1954.75 o 3907 1937.01/1955.67 o 3903 1938.20/1956.82 o 3902 1939.28/1957.96 o 3901 1963.76/1982.61 o 3900 1964.85/1983.74 o 3899 1969.41/1988.31 o 3897 1971.19/1990.17 o 3896 1972.38/1991.32 o 3893 1978.71/1997.73 o 3892 1979.80/1998.88 o 3891 1980.99/2000.02 o 3889 1982.08/2001.17 o 3886 1983.27/2002.34 o 3885 1984.46/2003.53 o 3883 1985.55/2004.62 o 3881 1988.72/2007.80 o 3880 1989.81/2008.98 o 3878 1991.00/2010.15 o 3877 1994.37/2013.58 o 3876 2005.16/2024.44 o 3873 2005.76/2025.05 o 3870 2006.25/2025.56 o 3867 2007.34/2026.69 o 3864 2016.26/2035.65 o 3863 2018.54/2037.92 o 3859 2028.44/2047.95 o 3856 2031.81/2051.32 o 3854 2037.36/2056.99 o 3853 2038.25/2057.89 o 3852 2039.43/2059.02 o 3850 2044.98/2064.61 o 3849 2047.95/2067.61 o 3846 2048.44/2068.13 o 3843 2049.34/2069.07 o 3841 2049.74/2069.49 o 3839 2050.83/2070.58 o 3836 2051.92/2071.67 o 3835 2055.19/2074.97 o 3832 2061.53/2081.34 o 3830 2062.62/2082.44 o 3829 2070.94/2090.87 o 3827 2072.03/2091.96 o 3825 2073.12/2093.07 o 3823 2075.30/2095.27 o 3822 2075.60/2095.56 o 3819 2076.29/2096.21 o 3816 2077.08/2097.02 o 3814 2078.07/2098.09 o 3811 2082.93/2102.99 o 3807 2085.11/2105.14 o 3805 2086.20/2106.21 o 3802 2088.28/2108.36 o 3797 2093.72/2113.87 o 3796 2101.15/2121.35 o 3795 2102.24/2122.41 o 3794 2108.28/2128.59 o 3793 2116.20/2136.58 o 3792 2119.38/2139.77 o 3790 2121.56/2141.90 o 3785 2124.73/2145.14 o 3779 2125.72/2146.19 o 3778 2126.81/2147.26 o 3777 2127.90/2148.36 o 3776 2128.89/2149.30 o 3773 2131.07/2151.59 o 3772 2132.16/2152.68 o 3768 2134.34/2154.81 o 3767 2136.42/2156.94 o 3766 2140.88/2161.44 o 3764 2145.04/2165.64 o 3763 2145.83/2166.48 o 3760 2146.62/2167.20 o 3757 2147.61/2168.25 o 3756 2148.70/2169.33 o 3754 2149.69/2170.39 o 3752 2152.86/2173.59 o 3751 2156.13/2176.85 o 3750 2158.21/2178.97 o 3746 2159.00/2179.72 o 3744 2159.99/2180.77 o 3743 2175.73/2196.63 o 3742 2176.82/2197.70 o 3741 2183.16/2204.10 o 3739 2183.75/2204.79 o 3738 2184.84/2205.87 o 3737 2188.11/2209.13 o 3735 2189.20/2210.23 o 3731 2190.29/2211.34 o 3729 2191.28/2212.36 o 3728 2192.37/2213.47 o 3726 2222.87/2244.23 2222.87/2244.23 search 2222.87/2244.23 run=0 nbConstraintChecks=4585264133 nbAssignments=4061 2222.87/2244.23 => wckTime=2226.75 cpuTime=2205.55 mem=85M701 2222.87/2244.23 2222.87/2244.23 global 2222.87/2244.23 nbConstraintChecks=4585264133 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 2222.87/2244.23 solvingWckTime=2226.732 solvingCpuTime=2205.53 expiredTime=no totalExploration=no nbFoundSolutions=0 2222.87/2244.23 globalCpuTime=2220.73 2222.87/2244.23 => wckTime=2243.972 cpuTime=2220.68 mem=85M701 2222.87/2244.23 2222.87/2244.23 solver DecomposerSolver being built... 2230.70/2252.12 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112971-1215876279/watcher-1112971-1215876279 -o /tmp/evaluation-result-1112971-1215876279/solver-1112971-1215876279 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112971-1215876279.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 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: 2.03 2.05 2.01 3/82 17646 /proc/meminfo: memFree=1217688/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=18572 CPUtime=0 /proc/17646/stat : 17646 (runsolver) R 17644 17646 17009 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44329580 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 268213742887 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/17646/statm: 4643 292 257 25 0 2626 0 [startup+0.013071 s] /proc/loadavg: 2.03 2.05 2.01 3/82 17646 /proc/meminfo: memFree=1217688/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=272 CPUtime=0 /proc/17646/stat : 17646 (java) D 17644 17646 17009 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 44329580 278528 37 996147200 134512640 134550740 4294955952 18446744073709551615 9274148 0 2147483391 4096 0 18446744072099937270 0 0 17 1 0 0 /proc/17646/statm: 68 37 28 9 0 6 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 272 [startup+0.101911 s] /proc/loadavg: 2.03 2.05 2.01 3/82 17646 /proc/meminfo: memFree=1217688/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=865984 CPUtime=0.08 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 3692 0 1 0 6 2 0 0 18 0 9 0 44329580 886767616 3167 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216496 3167 1678 9 0 211051 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 865984 [startup+0.301937 s] /proc/loadavg: 2.03 2.05 2.01 3/82 17646 /proc/meminfo: memFree=1217688/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=866368 CPUtime=0.28 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 5732 0 1 0 25 3 0 0 18 0 9 0 44329580 887160832 5110 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216592 5110 1949 9 0 211120 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 866368 [startup+0.700981 s] /proc/loadavg: 2.03 2.05 2.01 3/82 17646 /proc/meminfo: memFree=1217688/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=866528 CPUtime=0.68 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 8114 0 1 0 64 4 0 0 18 0 9 0 44329580 887324672 7485 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216632 7485 1967 9 0 211160 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 866528 [startup+1.50107 s] /proc/loadavg: 2.03 2.05 2.01 3/91 17655 /proc/meminfo: memFree=1173392/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867420 CPUtime=1.46 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 21892 0 1 0 136 10 0 0 18 0 9 0 44329580 888238080 21228 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216855 21228 2004 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867420 CPUtime=1.19 /proc/17646/task/17648/stat : 17648 (java) R 17644 17646 17009 0 -1 64 15772 0 1 0 111 8 0 0 25 0 9 0 44329581 888238080 21228 996147200 134512640 134550740 4294955952 18446744073709551615 102888912 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867420 CPUtime=0.07 /proc/17646/task/17649/stat : 17649 (java) S 17644 17646 17009 0 -1 64 4817 0 0 0 6 1 0 0 16 0 9 0 44329583 888238080 21228 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 21228 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 21228 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888238080 21228 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867420 CPUtime=0.17 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 607 0 0 0 17 0 0 0 16 0 9 0 44329585 888238080 21228 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888238080 21228 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888238080 21228 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 867420 [startup+3.10226 s] /proc/loadavg: 2.03 2.05 2.01 3/91 17655 /proc/meminfo: memFree=1139856/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867420 CPUtime=3.05 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 25317 0 1 0 293 12 0 0 18 0 9 0 44329580 888238080 24651 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216855 24651 2004 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867420 CPUtime=2.65 /proc/17646/task/17648/stat : 17648 (java) R 17644 17646 17009 0 -1 64 15776 0 1 0 257 8 0 0 25 0 9 0 44329581 888238080 24651 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867420 CPUtime=0.19 /proc/17646/task/17649/stat : 17649 (java) R 17644 17646 17009 0 -1 64 8238 0 0 0 17 2 0 0 16 0 9 0 44329583 888238080 24651 996147200 134512640 134550740 4294955952 18446744073709551615 102516792 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 24651 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 24651 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888238080 24651 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867420 CPUtime=0.17 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 607 0 0 0 17 0 0 0 16 0 9 0 44329585 888238080 24651 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888238080 24651 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888238080 24651 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 867420 [startup+6.30261 s] /proc/loadavg: 2.03 2.05 2.01 3/91 17655 /proc/meminfo: memFree=1118544/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867420 CPUtime=6.23 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 27172 0 1 0 609 14 0 0 18 0 9 0 44329580 888238080 26502 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216855 26502 2006 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867420 CPUtime=5.68 /proc/17646/task/17648/stat : 17648 (java) R 17644 17646 17009 0 -1 64 15813 0 1 0 559 9 0 0 25 0 9 0 44329581 888238080 26502 996147200 134512640 134550740 4294955952 18446744073709551615 4126925079 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867420 CPUtime=0.32 /proc/17646/task/17649/stat : 17649 (java) S 17644 17646 17009 0 -1 64 10040 0 0 0 29 3 0 0 17 0 9 0 44329583 888238080 26502 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 26502 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 26502 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888238080 26502 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867420 CPUtime=0.2 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 623 0 0 0 20 0 0 0 16 0 9 0 44329585 888238080 26502 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888238080 26502 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888238080 26502 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.23 Current children cumulated vsize (KiB) 867420 [startup+12.7023 s] /proc/loadavg: 2.02 2.05 2.01 3/91 17655 /proc/meminfo: memFree=1110608/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867420 CPUtime=12.56 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 30615 0 1 0 1240 16 0 0 18 0 9 0 44329580 888238080 29937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216855 29937 2007 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867420 CPUtime=11.71 /proc/17646/task/17648/stat : 17648 (java) R 17644 17646 17009 0 -1 64 15824 0 1 0 1161 10 0 0 25 0 9 0 44329581 888238080 29937 996147200 134512640 134550740 4294955952 18446744073709551615 4126901560 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867420 CPUtime=0.55 /proc/17646/task/17649/stat : 17649 (java) S 17644 17646 17009 0 -1 64 13425 0 0 0 50 5 0 0 17 0 9 0 44329583 888238080 29937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 29937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 29937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888238080 29937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867420 CPUtime=0.27 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 670 0 0 0 27 0 0 0 15 0 9 0 44329585 888238080 29937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888238080 29937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888238080 29937 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.56 Current children cumulated vsize (KiB) 867420 [startup+25.5018 s] /proc/loadavg: 2.09 2.06 2.01 3/91 17655 /proc/meminfo: memFree=1068944/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867508 CPUtime=25.22 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 40357 0 1 0 2499 23 0 0 18 0 9 0 44329580 888328192 39482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216877 39482 2640 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867508 CPUtime=23.24 /proc/17646/task/17648/stat : 17648 (java) R 17644 17646 17009 0 -1 64 15896 0 1 0 2311 13 0 0 25 0 9 0 44329581 888328192 39482 996147200 134512640 134550740 4294955952 18446744073709551615 4126897768 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867508 CPUtime=1.63 /proc/17646/task/17649/stat : 17649 (java) S 17644 17646 17009 0 -1 64 23070 0 0 0 154 9 0 0 16 0 9 0 44329583 888328192 39482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888328192 39482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329583 888328192 39482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888328192 39482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867508 CPUtime=0.33 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 695 0 0 0 33 0 0 0 15 0 9 0 44329585 888328192 39482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888328192 39482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888328192 39482 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.22 Current children cumulated vsize (KiB) 867508 [startup+51.1017 s] /proc/loadavg: 2.06 2.05 2.01 3/91 17655 /proc/meminfo: memFree=1068816/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867508 CPUtime=50.55 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 40360 0 1 0 5028 27 0 0 18 0 9 0 44329580 888328192 39484 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216877 39484 2640 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867508 CPUtime=48.57 /proc/17646/task/17648/stat : 17648 (java) R 17644 17646 17009 0 -1 64 15897 0 1 0 4840 17 0 0 25 0 9 0 44329581 888328192 39484 996147200 134512640 134550740 4294955952 18446744073709551615 4127224604 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867508 CPUtime=1.63 /proc/17646/task/17649/stat : 17649 (java) S 17644 17646 17009 0 -1 64 23070 0 0 0 154 9 0 0 16 0 9 0 44329583 888328192 39484 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888328192 39484 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329583 888328192 39484 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888328192 39484 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867508 CPUtime=0.33 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 697 0 0 0 33 0 0 0 16 0 9 0 44329585 888328192 39484 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867508 CPUtime=0 ################ # More data... # ################ /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329583 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867508 CPUtime=0.36 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 710 0 0 0 36 0 0 0 16 0 9 0 44329585 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2205.94 Current children cumulated vsize (KiB) 867508 [startup+2239.9 s] /proc/loadavg: 2.00 2.00 2.00 3/91 17661 /proc/meminfo: memFree=1064216/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867508 CPUtime=2218.61 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 40374 0 1 0 221787 74 0 0 18 0 9 0 44329580 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216877 39496 2640 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867508 CPUtime=2216.59 /proc/17646/task/17648/stat : 17648 (java) R 17644 17646 17009 0 -1 64 15898 0 1 0 221596 63 0 0 25 0 9 0 44329581 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4127225696 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867508 CPUtime=1.63 /proc/17646/task/17649/stat : 17649 (java) S 17644 17646 17009 0 -1 64 23070 0 0 0 154 9 0 0 16 0 9 0 44329583 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44329583 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867508 CPUtime=0.36 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 710 0 0 0 36 0 0 0 16 0 9 0 44329585 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867508 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888328192 39496 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2218.61 Current children cumulated vsize (KiB) 867508 [startup+2246.3 s] /proc/loadavg: 2.00 2.00 2.00 3/91 17661 /proc/meminfo: memFree=633944/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867420 CPUtime=2224.95 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 165950 0 1 0 222366 129 0 0 18 0 9 0 44329580 888238080 164993 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216855 164993 2619 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867420 CPUtime=2221.78 /proc/17646/task/17648/stat : 17648 (java) R 17644 17646 17009 0 -1 64 15987 0 1 0 222114 64 0 0 25 0 9 0 44329581 888238080 164993 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867420 CPUtime=2.73 /proc/17646/task/17649/stat : 17649 (java) R 17644 17646 17009 0 -1 64 148512 0 0 0 210 63 0 0 16 0 9 0 44329583 888238080 164993 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 164993 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44329583 888238080 164993 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888238080 164993 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867420 CPUtime=0.4 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 737 0 0 0 40 0 0 0 15 0 9 0 44329585 888238080 164993 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888238080 164993 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888238080 164993 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2224.95 Current children cumulated vsize (KiB) 867420 [startup+2249.51 s] /proc/loadavg: 2.08 2.02 2.01 3/91 17661 /proc/meminfo: memFree=422936/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867420 CPUtime=2228.12 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 200984 0 1 0 222669 143 0 0 18 0 9 0 44329580 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216855 199453 2618 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867420 CPUtime=2221.92 /proc/17646/task/17648/stat : 17648 (java) S 17644 17646 17009 0 -1 64 15993 0 1 0 222128 64 0 0 25 0 9 0 44329581 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867420 CPUtime=5.76 /proc/17646/task/17649/stat : 17649 (java) R 17644 17646 17009 0 -1 64 183540 0 0 0 499 77 0 0 18 0 9 0 44329583 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867420 CPUtime=0.4 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 737 0 0 0 40 0 0 0 15 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2228.12 Current children cumulated vsize (KiB) 867420 [startup+2251.1 s] /proc/loadavg: 2.08 2.02 2.01 3/91 17661 /proc/meminfo: memFree=422616/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867924 CPUtime=2229.71 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 201363 0 1 0 222827 144 0 0 18 0 9 0 44329580 888754176 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216981 199579 2618 9 0 211509 0 [pid=17646/tid=17648] ppid=17644 vsize=867924 CPUtime=2221.92 /proc/17646/task/17648/stat : 17648 (java) S 17644 17646 17009 0 -1 64 15994 0 1 0 222128 64 0 0 24 0 9 0 44329581 888754176 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867924 CPUtime=7.35 /proc/17646/task/17649/stat : 17649 (java) R 17644 17646 17009 0 -1 64 183918 0 0 0 657 78 0 0 21 0 9 0 44329583 888754176 199579 996147200 134512640 134550740 4294955952 18446744073709551615 104182533 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867924 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888754176 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867924 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44329583 888754176 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867924 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888754176 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867924 CPUtime=0.4 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 737 0 0 0 40 0 0 0 15 0 9 0 44329585 888754176 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867924 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888754176 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867924 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888754176 199579 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2229.71 Current children cumulated vsize (KiB) 867924 [startup+2251.9 s] /proc/loadavg: 2.08 2.02 2.01 3/91 17661 /proc/meminfo: memFree=422616/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867420 CPUtime=2230.5 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 201363 0 1 0 222906 144 0 0 18 0 9 0 44329580 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216855 199453 2618 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867420 CPUtime=2221.92 /proc/17646/task/17648/stat : 17648 (java) S 17644 17646 17009 0 -1 64 15994 0 1 0 222128 64 0 0 16 0 9 0 44329581 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867420 CPUtime=8.14 /proc/17646/task/17649/stat : 17649 (java) R 17644 17646 17009 0 -1 64 183918 0 0 0 736 78 0 0 23 0 9 0 44329583 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867420 CPUtime=0.4 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 737 0 0 0 40 0 0 0 15 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2230.5 Current children cumulated vsize (KiB) 867420 [startup+2252.1 s] /proc/loadavg: 2.08 2.02 2.01 3/91 17661 /proc/meminfo: memFree=422616/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=867420 CPUtime=2230.7 /proc/17646/stat : 17646 (java) S 17644 17646 17009 0 -1 0 201363 0 1 0 222926 144 0 0 18 0 9 0 44329580 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 216855 199453 2618 9 0 211383 0 [pid=17646/tid=17648] ppid=17644 vsize=867420 CPUtime=2221.92 /proc/17646/task/17648/stat : 17648 (java) S 17644 17646 17009 0 -1 64 15994 0 1 0 222128 64 0 0 16 0 9 0 44329581 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17649] ppid=17644 vsize=867420 CPUtime=8.34 /proc/17646/task/17649/stat : 17649 (java) R 17644 17646 17009 0 -1 64 183918 0 0 0 756 78 0 0 24 0 9 0 44329583 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17650] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17650/stat : 17650 (java) S 17644 17646 17009 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17651] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17651/stat : 17651 (java) S 17644 17646 17009 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44329583 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17652] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17652/stat : 17652 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17653] ppid=17644 vsize=867420 CPUtime=0.4 /proc/17646/task/17653/stat : 17653 (java) S 17644 17646 17009 0 -1 64 737 0 0 0 40 0 0 0 15 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17654] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17654/stat : 17654 (java) S 17644 17646 17009 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=17646/tid=17655] ppid=17644 vsize=867420 CPUtime=0 /proc/17646/task/17655/stat : 17655 (java) S 17644 17646 17009 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44329585 888238080 199453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 Current children cumulated CPU time (s) 2230.7 Current children cumulated vsize (KiB) 867420 [startup+2252.2 s] /proc/loadavg: 2.08 2.02 2.01 3/91 17661 /proc/meminfo: memFree=422616/2055920 swapFree=4180104/4192956 [pid=17646] ppid=17644 vsize=0 CPUtime=2230.77 /proc/17646/stat : 17646 (java) Z 17644 17646 17009 0 -1 12 201371 0 1 0 222929 148 0 0 16 0 2 0 44329580 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/17646/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2230.77 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 2252.28 CPU time (s): 2230.85 CPU user time (s): 2229.29 CPU system time (s): 1.56276 CPU usage (%): 99.0487 Max. virtual memory (cumulated for all children) (KiB): 867924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2229.29 system time used= 1.56276 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 201371 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 47376 involuntary context switches= 101345 runsolver used 2.40063 second user time and 8.10277 second system time The end
Begin job on node32 at 2008-07-12 17:24:39 IDJOB=1112971 IDBENCH=61505 IDSOLVER=359 FILE ID=node32/1112971-1215876279 PBS_JOBID= 7903509 Free space on /tmp= 66440 MiB SOLVER NAME= AbsconMax 112 pc-w BENCH NAME= CPAI08/csp/fapp/fapp14/normalized-fapp14-2500-0.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112971-1215876279/watcher-1112971-1215876279 -o /tmp/evaluation-result-1112971-1215876279/solver-1112971-1215876279 -C 3600 -W 4000 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-wdeg.xml 1 XSax HOME/instance-1112971-1215876279.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= fac073e8eb5ef4bb7103b84225c28dd2 RANDOM SEED=398790118 node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.243 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.243 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: 1218168 kB Buffers: 6864 kB Cached: 48836 kB SwapCached: 5772 kB Active: 769260 kB Inactive: 13068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1218168 kB SwapTotal: 4192956 kB SwapFree: 4180104 kB Dirty: 7664 kB Writeback: 0 kB Mapped: 742912 kB Slab: 38884 kB Committed_AS: 1040492 kB PageTables: 3520 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66436 MiB End job on node32 at 2008-07-12 18:02:12