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-d | ? | 1516.6 | 1528.5 |
| Name | csp/fapp/fapp14/ normalized-fapp14-2500-2.xml |
| MD5SUM | 3ec556ad251960bf7980f3107ef7856e |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MSAT TO |
| Best Number of falsified constraints | 427 |
| Best CPU time to get the best result obtained on this benchmark | 3600.02 |
| 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.04/0.09 0.04/0.09 Abscon 112 (May, 2008) 0.17/0.24 0.17/0.24 configuration 0.17/0.24 name=mrdac-ddeg.xml 0.27/0.32 0.27/0.32 instance 0.27/0.32 name=HOME/instance-1112978-1215876372.xml 0.27/0.36 0.27/0.36 domains being loaded... 0.37/0.44 0.37/0.44 variables being loaded... 0.67/0.79 nbVariables=2500 nbDomainTypes=30 minDomainSize=42 maxDomainSize=362 nbTotalValues=774322 0.67/0.79 => wckTime=0.55 cpuTime=0.4 mem=32M291 0.67/0.79 0.67/0.79 predicates being loaded... 0.77/0.86 0.77/0.86 constraints being loaded... 10.72/10.88 10.72/10.88 INFO : Stopping converting binary constraints (cpu=10.09, mem = 75M958) 16.39/16.51 nbConstraints=40767 nbConvertedConstraints=280 nbConvertConstraintsChecks=33624088 nbExtensionStructures=254 16.39/16.51 nbSharedExtensionStructures=95 nbConflictsStructures=1371 nbSharedConflictsStructures=341 16.39/16.51 nbUnbuiltConflictsStructures=9219 nbSharedBinaryRepresentations=145711 nbEvaluationManagers=10336 16.39/16.51 nbSharedEvaluationManagers=30151 minDegree=3 maxDegree=52 minArity=2 maxArity=2 16.39/16.51 => wckTime=16.267 cpuTime=14.85 mem=95M708 16.88/17.05 16.88/17.05 solver LocalSearchSolver being built... 16.98/17.10 => wckTime=16.855 cpuTime=14.89 mem=84M691 17.18/17.30 17.18/17.30 s SATISFIABLE 17.18/17.30 o 8484 17.18/17.35 o 8472 17.28/17.43 o 8458 17.28/17.46 o 8450 17.38/17.52 o 8442 17.38/17.56 o 8434 17.48/17.60 o 8427 17.48/17.64 o 8421 17.48/17.70 o 8415 17.58/17.75 o 8412 17.58/17.79 o 8405 17.68/17.83 o 8396 17.68/17.89 o 8387 17.78/17.95 o 8380 17.88/18.02 o 8374 17.88/18.07 o 8368 17.98/18.12 o 8363 17.98/18.17 o 8358 18.08/18.21 o 8353 18.08/18.25 o 8349 18.18/18.30 o 8345 18.18/18.34 o 8341 18.18/18.39 o 8337 18.28/18.44 o 8327 18.28/18.48 o 8324 18.38/18.53 o 8321 18.38/18.58 o 8318 18.48/18.63 o 8316 18.48/18.66 o 8314 18.58/18.71 o 8313 18.58/18.76 o 8311 18.68/18.83 o 8304 18.68/18.90 o 8295 18.78/18.96 o 8286 18.88/19.02 o 8278 18.88/19.09 o 8275 18.98/19.15 o 8267 19.08/19.22 o 8259 19.08/19.29 o 8253 19.18/19.34 o 8250 19.18/19.39 o 8244 19.28/19.45 o 8239 19.38/19.51 o 8235 19.38/19.57 o 8231 19.48/19.61 o 8227 19.48/19.65 o 8223 19.48/19.69 o 8219 19.58/19.74 o 8216 19.58/19.77 o 8213 19.67/19.81 o 8210 19.67/19.86 o 8208 19.77/19.91 o 8206 19.77/19.95 o 8205 19.87/20.02 o 8202 19.87/20.05 o 8191 19.87/20.09 o 8185 19.97/20.16 o 8177 20.07/20.24 o 8173 20.07/20.30 o 8163 20.16/20.36 o 8153 20.26/20.45 o 8144 20.36/20.52 o 8137 20.36/20.58 o 8134 20.46/20.66 o 8126 20.56/20.74 o 8119 20.66/20.81 o 8112 20.66/20.88 o 8105 20.76/20.96 o 8099 20.86/21.03 o 8094 20.96/21.11 o 8089 20.96/21.18 o 8084 21.06/21.24 o 8079 21.16/21.31 o 8075 21.16/21.38 o 8071 21.26/21.43 o 8067 21.26/21.48 o 8064 21.36/21.54 o 8057 21.36/21.59 o 8054 21.46/21.65 o 8052 21.56/21.71 o 8049 21.56/21.76 o 8047 21.66/21.83 o 8045 21.66/21.88 o 8043 21.76/21.95 o 8041 21.76/21.99 o 8039 21.86/22.03 o 8038 21.86/22.06 o 8037 21.95/22.13 o 8034 21.95/22.17 o 8029 22.05/22.21 o 8026 22.05/22.25 o 8016 22.15/22.34 o 8010 22.15/22.37 o 8003 22.15/22.39 o 7998 22.25/22.41 o 7997 22.25/22.45 o 7987 22.35/22.52 o 7979 22.35/22.56 o 7977 22.45/22.62 o 7971 22.45/22.67 o 7968 22.55/22.74 o 7959 22.65/22.83 o 7952 22.75/22.92 o 7946 22.75/22.99 o 7940 22.85/23.07 o 7934 22.95/23.14 o 7928 23.04/23.22 o 7923 23.14/23.30 o 7919 23.14/23.36 o 7918 23.24/23.43 o 7912 23.34/23.50 o 7907 23.34/23.56 o 7902 23.44/23.63 o 7897 23.44/23.69 o 7892 23.54/23.74 o 7891 23.54/23.79 o 7886 23.64/23.85 o 7882 23.74/23.91 o 7879 23.84/24.02 o 7876 23.84/24.08 o 7873 23.94/24.13 o 7870 23.94/24.18 o 7868 24.04/24.23 o 7866 24.04/24.27 o 7864 24.13/24.32 o 7855 24.13/24.36 o 7853 24.23/24.42 o 7851 24.23/24.45 o 7850 24.23/24.47 o 7849 24.43/24.64 o 7848 24.43/24.66 o 7845 24.53/24.71 o 7836 24.53/24.73 o 7832 24.53/24.77 o 7828 24.64/24.81 o 7822 24.64/24.87 o 7819 24.74/24.92 o 7816 24.74/24.98 o 7813 24.84/25.05 o 7812 24.94/25.12 o 7807 24.94/25.19 o 7802 25.04/25.25 o 7798 25.14/25.31 o 7790 25.23/25.43 o 7788 25.33/25.53 o 7781 25.33/25.57 o 7778 25.43/25.65 o 7773 25.53/25.76 o 7764 25.63/25.86 o 7760 25.73/25.95 o 7756 25.83/26.05 o 7748 26.03/26.24 o 7740 26.13/26.35 o 7733 26.23/26.44 o 7730 26.33/26.53 o 7724 26.43/26.62 o 7717 26.53/26.72 o 7710 26.62/26.82 o 7703 26.72/26.91 o 7697 26.83/27.00 o 7693 26.83/27.09 o 7692 26.93/27.18 o 7686 27.03/27.26 o 7680 27.13/27.35 o 7674 27.23/27.43 o 7668 27.32/27.51 o 7664 27.42/27.60 o 7659 27.42/27.67 o 7651 27.52/27.75 o 7646 27.62/27.83 o 7641 27.72/27.91 o 7637 27.72/27.99 o 7633 27.82/28.06 o 7629 27.92/28.13 o 7625 28.02/28.20 o 7621 28.02/28.27 o 7617 28.12/28.33 o 7614 28.12/28.39 o 7611 28.22/28.46 o 7608 28.31/28.53 o 7605 28.31/28.59 o 7603 28.41/28.67 o 7601 28.51/28.73 o 7599 28.51/28.77 o 7597 28.61/28.83 o 7595 28.61/28.88 o 7590 28.71/28.93 o 7581 28.71/28.99 o 7579 28.81/29.04 o 7577 28.81/29.08 o 7575 28.91/29.12 o 7574 28.91/29.17 o 7573 29.01/29.22 o 7572 29.01/29.26 o 7571 29.11/29.31 o 7570 29.11/29.35 o 7564 29.11/29.39 o 7558 29.31/29.52 o 7552 29.31/29.55 o 7544 29.41/29.66 o 7543 29.41/29.69 o 7540 29.51/29.74 o 7537 29.51/29.78 o 7533 29.61/29.82 o 7532 29.61/29.86 o 7529 29.71/29.91 o 7523 29.71/29.94 o 7521 29.71/29.99 o 7518 29.80/30.04 o 7517 29.80/30.08 o 7515 29.90/30.11 o 7510 29.90/30.19 o 7508 30.00/30.24 o 7504 30.00/30.29 o 7499 30.10/30.36 o 7493 30.20/30.43 o 7492 30.20/30.49 o 7487 30.30/30.55 o 7481 30.40/30.62 o 7474 30.40/30.70 o 7470 30.50/30.76 o 7465 30.60/30.82 o 7462 30.60/30.88 o 7459 30.69/30.94 o 7458 30.79/31.00 o 7453 30.79/31.05 o 7450 30.79/31.09 o 7447 30.89/31.13 o 7444 30.89/31.17 o 7438 30.99/31.22 o 7435 31.09/31.33 o 7433 31.09/31.39 o 7432 31.19/31.43 o 7427 31.19/31.46 o 7421 31.29/31.52 o 7418 31.29/31.57 o 7413 31.39/31.61 o 7410 31.39/31.65 o 7406 31.39/31.69 o 7403 31.49/31.75 o 7397 31.59/31.82 o 7391 31.59/31.85 o 7387 31.59/31.87 o 7380 31.69/31.95 o 7371 31.78/32.04 o 7362 31.88/32.14 o 7353 31.98/32.24 o 7346 32.08/32.35 o 7339 32.18/32.45 o 7332 32.38/32.65 o 7327 32.48/32.74 o 7321 32.59/32.84 o 7315 32.69/32.97 o 7310 32.79/33.07 o 7305 32.88/33.17 o 7300 32.98/33.27 o 7295 33.08/33.37 o 7290 33.18/33.46 o 7285 33.28/33.55 o 7282 33.38/33.64 o 7277 33.48/33.75 o 7272 33.58/33.84 o 7268 33.68/33.92 o 7262 33.78/34.01 o 7258 33.88/34.18 o 7255 33.97/34.25 o 7251 34.07/34.33 o 7247 34.17/34.40 o 7243 34.17/34.48 o 7240 34.27/34.57 o 7237 34.37/34.65 o 7234 34.47/34.73 o 7229 34.57/34.81 o 7226 34.57/34.88 o 7223 34.67/34.95 o 7220 34.77/35.03 o 7217 34.77/35.09 o 7214 34.87/35.18 o 7212 34.97/35.24 o 7209 35.06/35.30 o 7207 35.06/35.37 o 7205 35.16/35.42 o 7203 35.16/35.47 o 7202 35.26/35.53 o 7201 35.26/35.58 o 7200 35.36/35.63 o 7199 35.36/35.68 o 7198 35.76/36.02 o 7197 35.76/36.07 o 7194 35.86/36.12 o 7193 35.86/36.19 o 7192 35.96/36.23 o 7187 36.06/36.33 o 7185 36.06/36.38 o 7180 36.15/36.42 o 7175 36.15/36.47 o 7173 36.25/36.52 o 7172 36.25/36.58 o 7169 36.36/36.63 o 7163 36.36/36.68 o 7159 36.46/36.73 o 7155 36.46/36.78 o 7148 36.56/36.82 o 7145 36.56/36.87 o 7144 36.66/36.92 o 7142 36.66/36.96 o 7132 36.76/37.02 o 7125 36.76/37.08 o 7123 36.96/37.20 o 7115 36.96/37.26 o 7113 37.06/37.33 o 7109 37.06/37.37 o 7108 37.16/37.43 o 7103 37.16/37.49 o 7102 37.35/37.62 o 7101 37.35/37.67 o 7096 37.45/37.71 o 7091 37.45/37.75 o 7090 37.45/37.79 o 7089 37.55/37.84 o 7088 37.55/37.89 o 7087 37.65/37.94 o 7083 37.65/38.00 o 7078 37.75/38.06 o 7076 37.85/38.14 o 7068 37.85/38.18 o 7063 37.95/38.25 o 7056 37.95/38.29 o 7053 38.05/38.33 o 7048 38.05/38.39 o 7047 38.15/38.46 o 7045 38.25/38.52 o 7041 38.25/38.57 o 7036 38.34/38.64 o 7033 38.44/38.71 o 7027 38.44/38.76 o 7022 38.54/38.81 o 7014 38.54/38.86 o 7012 38.64/38.93 o 7007 38.64/38.98 o 7006 38.74/39.03 o 7004 38.74/39.07 o 7002 38.84/39.12 o 7000 38.84/39.17 o 6996 38.94/39.28 o 6995 39.04/39.34 o 6990 39.14/39.44 o 6983 39.25/39.51 o 6977 39.25/39.56 o 6970 39.35/39.62 o 6969 39.35/39.68 o 6965 39.54/39.82 o 6961 39.54/39.89 o 6958 39.64/39.94 o 6956 39.64/39.98 o 6953 39.74/40.05 o 6951 39.84/40.16 o 6947 39.94/40.29 o 6944 40.13/40.46 o 6936 40.23/40.55 o 6935 40.33/40.64 o 6927 40.43/40.76 o 6920 40.53/40.88 o 6914 40.73/41.00 o 6909 40.83/41.13 o 6904 40.93/41.24 o 6900 41.03/41.36 o 6896 41.13/41.48 o 6892 41.32/41.61 o 6888 41.42/41.73 o 6884 41.52/41.84 o 6880 41.62/41.95 o 6876 41.82/42.19 o 6874 41.92/42.28 o 6871 42.02/42.39 o 6866 42.12/42.49 o 6863 42.22/42.59 o 6858 42.32/42.69 o 6855 42.42/42.79 o 6853 42.52/42.90 o 6851 42.71/43.00 o 6849 42.71/43.09 o 6847 42.82/43.18 o 6846 42.92/43.28 o 6845 43.02/43.37 o 6844 43.12/43.46 o 6839 43.32/43.65 o 6838 43.42/43.74 o 6837 43.52/43.82 o 6836 43.62/43.92 o 6833 43.62/43.99 o 6832 43.82/44.14 o 6831 43.92/44.23 o 6830 44.02/44.33 o 6829 44.51/44.83 o 6828 44.61/44.97 o 6823 44.71/45.05 o 6819 44.81/45.11 o 6814 44.91/45.27 o 6810 45.01/45.34 o 6808 45.11/45.41 o 6802 45.21/45.53 o 6800 45.31/45.61 o 6799 45.31/45.69 o 6796 45.41/45.76 o 6792 45.50/45.84 o 6787 45.60/45.92 o 6784 45.70/46.09 o 6781 46.00/46.32 o 6779 46.10/46.40 o 6776 46.10/46.48 o 6770 46.30/46.65 o 6766 46.39/46.74 o 6760 46.69/47.06 o 6757 46.79/47.14 o 6752 46.89/47.22 o 6750 46.89/47.29 o 6745 47.09/47.45 o 6742 47.19/47.52 o 6737 47.29/47.61 o 6736 47.39/47.70 o 6731 47.39/47.78 o 6728 47.49/47.86 o 6724 47.59/47.94 o 6723 47.69/48.02 o 6720 47.79/48.10 o 6715 47.99/48.33 o 6713 47.99/48.40 o 6712 48.18/48.58 o 6710 48.28/48.67 o 6708 48.38/48.75 o 6706 48.48/48.85 o 6702 48.59/48.93 o 6695 48.69/49.02 o 6692 48.79/49.12 o 6690 48.89/49.21 o 6689 48.99/49.31 o 6686 48.99/49.40 o 6684 49.09/49.48 o 6681 49.19/49.57 o 6679 49.28/49.67 o 6677 49.38/49.78 o 6676 49.58/49.97 o 6672 49.68/50.06 o 6670 49.78/50.18 o 6665 50.28/50.65 o 6661 50.37/50.74 o 6655 50.47/50.83 o 6653 50.57/51.00 o 6647 50.67/51.08 o 6645 50.77/51.17 o 6640 51.07/51.44 o 6639 51.17/51.55 o 6634 51.27/51.66 o 6630 51.37/51.74 o 6626 51.47/51.82 o 6622 51.57/51.92 o 6621 51.57/52.00 o 6618 51.67/52.09 o 6617 51.87/52.28 o 6611 51.96/52.37 o 6609 52.06/52.47 o 6606 52.16/52.56 o 6605 52.26/52.65 o 6603 52.86/53.26 o 6599 52.96/53.34 o 6598 53.06/53.43 o 6594 53.16/53.58 o 6592 53.26/53.69 o 6589 53.36/53.77 o 6588 53.46/53.86 o 6583 53.56/53.94 o 6581 53.65/54.04 o 6577 53.75/54.11 o 6575 53.75/54.20 o 6572 53.86/54.30 o 6568 53.96/54.37 o 6564 54.06/54.47 o 6561 54.25/54.64 o 6559 54.35/54.73 o 6554 54.45/54.82 o 6548 54.55/54.92 o 6542 54.55/54.98 o 6537 54.65/55.06 o 6535 54.75/55.17 o 6534 54.85/55.26 o 6529 54.95/55.32 o 6525 55.05/55.46 o 6520 55.45/55.82 o 6517 55.55/55.92 o 6516 55.65/56.07 o 6512 55.75/56.19 o 6508 55.94/56.32 o 6504 56.14/56.56 o 6503 56.24/56.67 o 6497 56.34/56.77 o 6494 56.44/56.87 o 6491 56.54/56.97 o 6488 56.64/57.06 o 6482 56.74/57.18 o 6480 56.84/57.29 o 6478 56.93/57.38 o 6475 57.03/57.48 o 6473 57.13/57.58 o 6471 57.23/57.66 o 6469 57.33/57.76 o 6468 57.43/57.86 o 6467 57.53/57.98 o 6466 57.63/58.07 o 6465 57.73/58.17 o 6464 57.84/58.27 o 6463 57.94/58.34 o 6462 58.13/58.58 o 6460 58.23/58.66 o 6453 58.63/59.02 o 6448 58.73/59.11 o 6445 58.73/59.18 o 6443 58.83/59.28 o 6437 58.93/59.38 o 6436 59.03/59.45 o 6434 59.12/59.55 o 6432 59.32/59.77 o 6428 59.42/59.85 o 6427 59.52/59.94 o 6424 59.72/60.13 o 6421 59.82/60.23 o 6420 59.92/60.34 o 6418 60.02/60.44 o 6415 60.12/60.53 o 6412 60.22/60.63 o 6409 60.32/60.73 o 6408 60.42/60.89 o 6407 60.51/61.00 o 6405 60.61/61.09 o 6398 60.71/61.18 o 6394 60.81/61.28 o 6393 60.91/61.38 o 6391 61.01/61.47 o 6389 61.31/61.73 o 6387 61.41/61.82 o 6384 61.51/61.91 o 6379 61.61/62.02 o 6374 61.71/62.12 o 6370 61.81/62.23 o 6368 62.00/62.42 o 6360 62.10/62.53 o 6359 62.20/62.63 o 6354 62.30/62.73 o 6349 62.40/62.82 o 6346 62.50/62.92 o 6341 62.60/63.01 o 6338 62.70/63.11 o 6334 62.70/63.20 o 6332 62.80/63.29 o 6329 62.90/63.38 o 6328 63.00/63.47 o 6323 63.10/63.57 o 6320 63.20/63.67 o 6318 63.30/63.77 o 6312 63.40/63.86 o 6309 63.49/63.96 o 6305 63.59/64.07 o 6304 63.69/64.16 o 6298 63.80/64.25 o 6296 63.90/64.34 o 6289 64.00/64.44 o 6285 64.10/64.53 o 6281 64.30/64.75 o 6280 64.79/65.27 o 6275 64.89/65.38 o 6272 65.09/65.50 o 6268 65.29/65.70 o 6265 65.39/65.80 o 6262 65.49/65.91 o 6259 65.69/66.14 o 6257 65.79/66.25 o 6253 65.99/66.48 o 6250 66.09/66.58 o 6246 66.19/66.69 o 6242 66.39/66.80 o 6239 66.49/66.90 o 6237 66.49/66.99 o 6235 66.69/67.11 o 6232 66.78/67.22 o 6231 66.88/67.33 o 6224 66.98/67.44 o 6221 67.07/67.54 o 6217 67.17/67.65 o 6210 67.27/67.77 o 6207 67.37/67.89 o 6201 67.47/67.99 o 6200 67.67/68.11 o 6194 67.77/68.23 o 6191 67.87/68.34 o 6189 67.97/68.44 o 6188 68.07/68.56 o 6185 68.17/68.66 o 6184 68.27/68.76 o 6183 68.37/68.87 o 6182 68.47/68.97 o 6180 68.57/69.08 o 6179 68.77/69.21 o 6177 68.87/69.31 o 6174 68.96/69.42 o 6172 69.06/69.52 o 6167 69.16/69.63 o 6166 69.26/69.74 o 6163 69.36/69.84 o 6157 69.56/70.05 o 6153 69.66/70.16 o 6149 69.76/70.26 o 6148 69.96/70.41 o 6143 70.06/70.53 o 6142 70.16/70.65 o 6137 70.26/70.77 o 6135 70.36/70.86 o 6131 70.66/71.20 o 6128 70.86/71.32 o 6123 70.96/71.44 o 6118 71.06/71.55 o 6117 71.15/71.66 o 6116 71.25/71.77 o 6113 71.35/71.89 o 6109 71.55/72.02 o 6107 71.75/72.24 o 6104 71.85/72.37 o 6102 71.95/72.49 o 6100 72.15/72.63 o 6096 72.25/72.75 o 6095 72.34/72.85 o 6094 72.44/72.96 o 6087 72.54/73.08 o 6085 72.64/73.20 o 6082 72.94/73.43 o 6081 73.04/73.54 o 6077 73.14/73.66 o 6076 73.24/73.76 o 6074 73.64/74.18 o 6069 73.74/74.28 o 6066 73.94/74.43 o 6062 74.03/74.58 o 6058 74.23/74.72 o 6053 74.33/74.87 o 6049 74.53/75.04 o 6045 74.63/75.19 o 6043 74.84/75.34 o 6039 74.94/75.50 o 6035 75.14/75.65 o 6031 75.34/75.80 o 6027 75.44/75.95 o 6023 75.53/76.09 o 6020 75.73/76.23 o 6017 75.83/76.37 o 6015 76.03/76.51 o 6013 76.13/76.65 o 6012 76.23/76.79 o 6011 76.43/76.93 o 6010 77.02/77.57 o 6007 77.12/77.69 o 6005 78.22/78.73 o 6000 78.32/78.86 o 5995 78.52/79.10 o 5994 78.81/79.35 o 5992 79.01/79.57 o 5987 79.11/79.68 o 5986 79.21/79.79 o 5984 79.41/79.91 o 5980 79.51/80.00 o 5978 79.61/80.11 o 5976 79.71/80.23 o 5972 79.81/80.34 o 5971 79.91/80.44 o 5969 80.01/80.54 o 5963 80.21/80.75 o 5959 80.31/80.87 o 5958 80.61/81.11 o 5955 80.71/81.23 o 5952 80.81/81.35 o 5950 80.91/81.48 o 5948 81.00/81.59 o 5944 81.20/81.71 o 5943 81.30/81.84 o 5939 81.40/81.97 o 5938 81.50/82.10 o 5936 81.80/82.33 o 5934 81.90/82.48 o 5929 82.10/82.60 o 5926 82.20/82.75 o 5920 82.50/83.03 o 5917 82.59/83.19 o 5915 82.79/83.34 o 5911 82.89/83.47 o 5908 83.19/83.78 o 5907 83.39/83.93 o 5905 83.59/84.10 o 5902 83.69/84.26 o 5899 83.89/84.42 o 5897 84.19/84.76 o 5895 84.38/84.93 o 5894 84.48/85.08 o 5890 84.68/85.23 o 5888 84.88/85.40 o 5887 84.98/85.56 o 5883 85.28/85.87 o 5881 85.68/86.29 o 5880 85.87/86.44 o 5879 86.17/86.73 o 5877 86.37/87.00 o 5875 86.97/87.54 o 5874 87.07/87.68 o 5873 87.27/87.82 o 5872 87.56/88.10 o 5871 87.66/88.25 o 5868 87.96/88.53 o 5865 88.06/88.65 o 5864 88.16/88.78 o 5862 88.36/88.91 o 5859 88.46/89.06 o 5856 88.56/89.20 o 5855 88.76/89.33 o 5850 88.86/89.46 o 5849 89.16/89.75 o 5843 89.26/89.89 o 5840 89.75/90.33 o 5838 89.86/90.46 o 5837 90.16/90.73 o 5836 90.26/90.86 o 5835 90.46/91.00 o 5831 90.66/91.30 o 5827 90.86/91.45 o 5823 91.15/91.72 o 5817 91.25/91.87 o 5814 91.45/92.01 o 5811 91.55/92.17 o 5807 91.75/92.31 o 5804 92.05/92.62 o 5800 92.15/92.78 o 5799 92.35/92.93 o 5797 92.45/93.09 o 5793 92.65/93.25 o 5791 92.95/93.56 o 5788 93.14/93.74 o 5782 93.34/93.92 o 5779 93.44/94.09 o 5777 93.84/94.42 o 5775 94.13/94.76 o 5773 94.33/94.94 o 5771 94.53/95.13 o 5769 94.84/95.49 o 5764 95.23/95.85 o 5762 95.63/96.21 o 5757 95.83/96.41 o 5755 96.23/96.82 o 5752 96.43/97.01 o 5751 96.63/97.20 o 5749 96.83/97.40 o 5746 96.93/97.58 o 5741 97.52/98.14 o 5738 97.72/98.34 o 5731 97.92/98.53 o 5728 98.12/98.71 o 5725 98.32/98.91 o 5720 98.51/99.10 o 5717 99.60/100.24 o 5713 99.80/100.44 o 5712 100.20/100.84 o 5711 100.40/101.05 o 5708 100.60/101.27 o 5707 100.80/101.46 o 5704 101.40/102.01 o 5700 101.60/102.22 o 5694 101.70/102.39 o 5690 101.89/102.57 o 5686 102.29/102.94 o 5680 102.69/103.31 o 5676 102.79/103.48 o 5674 103.59/104.22 o 5673 103.69/104.38 o 5670 103.89/104.59 o 5667 104.38/105.08 o 5666 104.79/105.42 o 5662 104.99/105.61 o 5657 105.28/105.95 o 5655 105.48/106.11 o 5650 105.58/106.26 o 5649 105.78/106.42 o 5648 105.98/106.61 o 5647 106.08/106.78 o 5645 106.27/106.93 o 5643 106.47/107.11 o 5640 106.57/107.26 o 5638 106.77/107.44 o 5633 106.97/107.62 o 5627 107.07/107.80 o 5625 107.27/107.96 o 5623 107.47/108.14 o 5619 107.66/108.33 o 5618 107.76/108.49 o 5615 107.96/108.66 o 5612 108.16/108.83 o 5607 108.36/109.00 o 5604 108.46/109.17 o 5599 108.66/109.35 o 5596 108.86/109.51 o 5591 108.96/109.67 o 5590 109.16/109.85 o 5587 109.55/110.23 o 5583 109.75/110.43 o 5580 109.95/110.61 o 5578 110.15/110.80 o 5573 110.35/111.01 o 5571 110.55/111.21 o 5569 111.74/112.47 o 5567 111.94/112.64 o 5565 112.14/112.81 o 5564 112.24/112.98 o 5560 112.44/113.17 o 5558 112.64/113.34 o 5553 112.83/113.50 o 5551 112.93/113.68 o 5546 113.13/113.85 o 5544 113.53/114.20 o 5539 113.63/114.37 o 5537 113.83/114.57 o 5534 114.23/114.90 o 5533 114.33/115.06 o 5531 114.54/115.22 o 5527 114.64/115.38 o 5523 114.84/115.56 o 5519 115.13/115.88 o 5517 115.33/116.05 o 5515 115.63/116.37 o 5513 115.83/116.54 o 5510 116.03/116.71 o 5505 116.13/116.86 o 5500 116.33/117.00 o 5498 116.42/117.16 o 5497 116.62/117.30 o 5495 117.02/117.75 o 5491 117.31/118.02 o 5487 117.61/118.31 o 5486 117.71/118.44 o 5485 118.41/119.13 o 5481 118.51/119.28 o 5479 118.71/119.42 o 5476 118.81/119.56 o 5473 119.01/119.70 o 5471 119.11/119.83 o 5469 119.21/119.96 o 5468 119.40/120.11 o 5467 119.50/120.26 o 5464 119.70/120.41 o 5463 119.80/120.56 o 5462 119.90/120.70 o 5461 120.20/121.00 o 5457 121.00/121.77 o 5453 121.20/121.93 o 5450 121.30/122.10 o 5449 121.69/122.44 o 5447 122.29/123.07 o 5443 122.49/123.25 o 5438 122.98/123.72 o 5434 123.08/123.87 o 5432 123.28/124.04 o 5428 123.58/124.35 o 5425 123.78/124.51 o 5422 123.88/124.67 o 5414 124.68/125.44 o 5413 124.88/125.61 o 5407 124.98/125.77 o 5404 125.18/125.92 o 5402 125.28/126.09 o 5400 125.78/126.55 o 5399 125.97/126.70 o 5397 126.07/126.85 o 5396 126.27/127.00 o 5394 126.37/127.14 o 5391 126.57/127.31 o 5386 126.67/127.46 o 5384 126.87/127.62 o 5382 126.96/127.77 o 5377 127.16/127.91 o 5372 127.26/128.08 o 5369 127.46/128.22 o 5363 127.56/128.36 o 5360 127.76/128.52 o 5356 128.06/128.82 o 5354 128.16/128.98 o 5351 128.46/129.29 o 5349 128.76/129.59 o 5348 129.06/129.83 o 5342 129.35/130.15 o 5338 129.55/130.31 o 5336 129.65/130.47 o 5335 129.85/130.62 o 5333 129.95/130.78 o 5330 130.15/130.94 o 5326 130.35/131.12 o 5324 130.45/131.28 o 5321 130.65/131.45 o 5317 130.85/131.60 o 5316 131.15/131.93 o 5310 131.34/132.10 o 5308 131.64/132.42 o 5307 132.63/133.40 o 5306 132.73/133.56 o 5299 132.93/133.70 o 5297 133.03/133.88 o 5294 133.23/134.03 o 5293 133.43/134.21 o 5290 133.53/134.39 o 5289 133.73/134.57 o 5287 134.02/134.89 o 5284 134.22/135.08 o 5283 134.42/135.26 o 5279 134.62/135.46 o 5276 134.82/135.68 o 5272 135.02/135.87 o 5267 135.22/136.07 o 5265 135.42/136.26 o 5262 135.62/136.47 o 5258 135.82/136.67 o 5257 136.22/137.06 o 5254 136.42/137.26 o 5253 136.62/137.47 o 5252 136.81/137.66 o 5250 137.01/137.85 o 5243 137.21/138.06 o 5240 137.41/138.26 o 5239 137.61/138.47 o 5236 137.81/138.68 o 5232 138.01/138.87 o 5228 138.21/139.07 o 5227 138.41/139.27 o 5224 138.61/139.47 o 5222 138.80/139.67 o 5221 139.00/139.86 o 5217 139.20/140.05 o 5214 139.40/140.24 o 5211 139.60/140.44 o 5207 139.80/140.63 o 5205 140.00/140.81 o 5200 140.09/140.99 o 5196 140.29/141.17 o 5195 140.69/141.59 o 5193 140.89/141.79 o 5186 141.49/142.34 o 5184 141.69/142.51 o 5182 141.89/142.71 o 5179 142.08/142.90 o 5177 142.18/143.08 o 5174 142.58/143.47 o 5173 142.78/143.66 o 5171 142.98/143.87 o 5168 143.37/144.28 o 5166 144.17/145.06 o 5165 144.77/145.67 o 5163 145.16/146.05 o 5161 145.36/146.26 o 5160 145.76/146.65 o 5154 146.16/147.05 o 5153 146.26/147.20 o 5144 146.56/147.42 o 5142 146.75/147.62 o 5140 146.95/147.82 o 5136 147.35/148.24 o 5133 147.55/148.43 o 5132 147.75/148.64 o 5130 147.95/148.84 o 5128 148.15/149.04 o 5126 148.35/149.24 o 5125 148.55/149.43 o 5124 148.75/149.65 o 5119 149.14/150.03 o 5116 149.34/150.22 o 5114 149.44/150.39 o 5111 151.14/152.09 o 5110 151.34/152.27 o 5108 151.54/152.45 o 5104 151.74/152.64 o 5100 152.13/153.02 o 5099 152.33/153.22 o 5096 152.53/153.41 o 5093 152.93/153.82 o 5089 153.32/154.22 o 5088 153.62/154.56 o 5085 153.82/154.74 o 5084 154.82/155.75 o 5083 155.22/156.17 o 5082 155.41/156.36 o 5079 155.61/156.57 o 5075 155.81/156.79 o 5070 156.21/157.18 o 5069 156.81/157.79 o 5067 157.01/157.98 o 5064 157.20/158.20 o 5061 157.50/158.42 o 5060 157.70/158.64 o 5059 158.10/159.07 o 5058 158.40/159.30 o 5057 158.60/159.53 o 5055 158.79/159.76 o 5050 158.99/159.97 o 5049 159.49/160.41 o 5048 159.69/160.64 o 5047 163.07/164.03 o 5046 163.27/164.26 o 5041 163.47/164.49 o 5036 164.16/165.19 o 5035 164.46/165.43 o 5033 164.66/165.67 o 5028 165.16/166.14 o 5027 165.36/166.40 o 5025 167.85/168.85 o 5023 169.14/170.14 o 5022 169.45/170.41 o 5019 169.64/170.67 o 5015 171.14/172.17 o 5013 171.44/172.42 o 5011 171.64/172.68 o 5009 171.93/172.92 o 5002 173.42/174.48 o 4999 174.72/175.75 o 4994 175.02/176.01 o 4991 175.51/176.51 o 4990 176.01/177.02 o 4989 176.20/177.26 o 4986 178.00/179.06 o 4982 178.49/179.59 o 4978 179.09/180.13 o 4976 179.39/180.41 o 4975 179.89/180.93 o 4974 180.09/181.19 o 4971 181.68/182.78 o 4970 181.98/183.06 o 4969 183.07/184.12 o 4967 183.27/184.38 o 4966 183.57/184.66 o 4961 184.16/185.20 o 4958 184.66/185.76 o 4956 185.46/186.57 o 4954 185.76/186.83 o 4952 186.25/187.35 o 4951 186.55/187.61 o 4949 186.75/187.88 o 4948 187.05/188.15 o 4946 187.35/188.41 o 4945 187.55/188.67 o 4938 187.85/188.94 o 4935 188.15/189.22 o 4932 188.34/189.47 o 4927 188.64/189.72 o 4924 188.84/189.98 o 4920 189.14/190.23 o 4919 190.14/191.25 o 4917 190.43/191.50 o 4915 190.63/191.75 o 4911 190.83/191.99 o 4910 191.13/192.22 o 4905 192.03/193.17 o 4901 192.33/193.40 o 4899 192.53/193.64 o 4898 192.72/193.87 o 4893 193.22/194.30 o 4891 193.42/194.53 o 4889 193.81/194.98 o 4882 194.11/195.23 o 4881 194.51/195.69 o 4880 194.81/195.94 o 4878 195.01/196.18 o 4875 196.00/197.12 o 4872 196.20/197.34 o 4870 196.40/197.58 o 4867 196.90/198.07 o 4862 197.20/198.33 o 4861 197.40/198.58 o 4860 197.70/198.82 o 4858 197.90/199.08 o 4857 198.19/199.33 o 4855 198.39/199.58 o 4853 200.39/201.54 o 4852 200.69/201.80 o 4851 200.89/202.08 o 4849 201.19/202.33 o 4845 201.39/202.56 o 4844 201.69/202.81 o 4843 201.89/203.06 o 4841 202.09/203.28 o 4839 202.58/203.76 o 4837 203.28/204.49 o 4836 203.58/204.73 o 4834 204.07/205.23 o 4832 204.87/206.00 o 4830 205.37/206.51 o 4828 205.57/206.77 o 4826 206.06/207.29 o 4822 206.36/207.54 o 4821 206.86/208.05 o 4818 207.16/208.33 o 4815 207.46/208.61 o 4811 207.66/208.87 o 4808 207.95/209.18 o 4804 208.55/209.76 o 4803 209.15/210.33 o 4802 209.45/210.61 o 4799 209.75/210.90 o 4798 210.54/211.77 o 4797 210.84/212.05 o 4794 211.14/212.34 o 4792 211.43/212.63 o 4787 211.73/212.92 o 4784 211.93/213.13 o 4778 212.23/213.41 o 4774 212.73/213.97 o 4770 213.33/214.54 o 4768 213.62/214.82 o 4766 213.92/215.11 o 4765 214.12/215.40 o 4764 214.42/215.69 o 4763 214.82/216.00 o 4762 215.02/216.28 o 4759 215.61/216.88 o 4758 216.51/217.76 o 4757 216.80/218.05 o 4754 217.10/218.35 o 4752 217.70/218.94 o 4751 218.00/219.25 o 4747 218.30/219.55 o 4743 218.60/219.84 o 4741 219.49/220.73 o 4740 219.79/221.03 o 4739 220.08/221.32 o 4738 220.38/221.62 o 4734 220.58/221.89 o 4731 221.48/222.72 o 4730 221.68/222.99 o 4729 222.27/223.59 o 4726 222.58/223.86 o 4724 222.87/224.16 o 4723 223.17/224.46 o 4722 223.47/224.77 o 4720 223.77/225.06 o 4719 224.66/225.95 o 4718 225.67/226.99 o 4717 225.97/227.28 o 4715 226.27/227.56 o 4714 226.56/227.83 o 4711 227.65/228.91 o 4710 228.15/229.44 o 4709 228.35/229.69 o 4708 228.65/229.96 o 4707 229.45/230.72 o 4706 229.65/230.97 o 4705 231.14/232.46 o 4704 231.94/233.22 o 4703 232.33/233.69 o 4702 232.63/233.95 o 4701 232.93/234.21 o 4699 233.42/234.71 o 4698 233.92/235.23 o 4696 234.72/236.02 o 4695 234.92/236.28 o 4692 235.22/236.56 o 4689 235.71/237.07 o 4687 236.01/237.33 o 4686 236.80/238.11 o 4681 237.00/238.38 o 4679 237.30/238.62 o 4676 237.50/238.87 o 4674 237.80/239.13 o 4671 238.30/239.64 o 4670 238.79/240.14 o 4668 239.09/240.40 o 4663 240.39/241.71 o 4661 240.59/241.98 o 4656 241.58/242.98 o 4653 241.87/243.27 o 4652 242.17/243.54 o 4650 243.77/245.15 o 4649 244.07/245.44 o 4646 245.46/246.84 o 4644 245.76/247.14 o 4642 246.66/248.01 o 4640 246.86/248.28 o 4639 247.75/249.13 o 4635 248.05/249.42 o 4632 248.25/249.70 o 4629 248.55/249.99 o 4628 248.85/250.29 o 4622 249.15/250.57 o 4621 249.44/250.86 o 4617 250.04/251.42 o 4614 250.54/251.98 o 4611 250.83/252.27 o 4607 253.02/254.48 o 4602 253.32/254.75 o 4598 253.62/255.02 o 4597 253.91/255.31 o 4596 254.71/256.15 o 4595 254.91/256.39 o 4591 255.50/256.97 o 4588 255.80/257.26 o 4585 256.10/257.54 o 4583 256.70/258.10 o 4580 257.19/258.66 o 4578 257.49/258.95 o 4577 260.29/261.75 o 4576 260.58/262.02 o 4570 260.98/262.45 o 4567 261.28/262.71 o 4566 261.58/263.00 o 4563 261.78/263.26 o 4561 262.08/263.54 o 4559 262.87/264.37 o 4557 263.17/264.65 o 4555 263.96/265.48 o 4552 264.26/265.74 o 4550 264.56/266.01 o 4549 264.76/266.28 o 4547 265.05/266.55 o 4545 265.35/266.81 o 4542 265.55/267.06 o 4540 265.85/267.36 o 4538 266.15/267.62 o 4535 266.45/267.91 o 4533 266.65/268.17 o 4528 266.95/268.44 o 4526 267.24/268.71 o 4521 267.34/268.82 o 4515 267.54/269.09 o 4514 267.84/269.38 o 4513 268.14/269.64 o 4508 269.53/271.06 o 4507 269.83/271.33 o 4505 272.81/274.32 o 4502 273.11/274.64 o 4496 274.01/275.56 o 4493 274.31/275.89 o 4489 274.70/276.21 o 4487 275.00/276.55 o 4485 275.30/276.87 o 4483 275.70/277.23 o 4482 276.00/277.55 o 4480 276.30/277.87 o 4477 276.60/278.18 o 4476 276.99/278.52 o 4475 277.29/278.85 o 4473 277.59/279.18 o 4470 277.98/279.52 o 4466 278.28/279.89 o 4464 278.68/280.23 o 4459 282.08/283.62 o 4458 282.37/283.99 o 4454 282.77/284.35 o 4452 283.46/285.06 o 4450 283.86/285.41 o 4444 286.95/288.54 o 4443 287.55/289.17 o 4438 288.24/289.88 o 4435 289.34/290.94 o 4434 289.74/291.32 o 4430 290.83/292.43 o 4425 291.23/292.81 o 4420 294.11/295.76 o 4417 295.21/296.87 o 4416 295.60/297.24 o 4413 296.30/297.96 o 4410 296.70/298.32 o 4405 297.00/298.67 o 4402 297.40/299.02 o 4400 298.79/300.43 o 4399 299.09/300.76 o 4398 299.49/301.11 o 4397 300.18/301.81 o 4394 300.48/302.13 o 4393 302.17/303.81 o 4387 302.37/304.04 o 4386 302.97/304.68 o 4385 303.36/305.01 o 4383 303.96/305.64 o 4381 305.75/307.47 o 4379 306.05/307.78 o 4378 306.44/308.10 o 4376 306.74/308.41 o 4375 307.04/308.72 o 4374 307.24/308.99 o 4372 308.54/310.22 o 4371 309.43/311.10 o 4370 309.73/311.41 o 4368 310.04/311.72 o 4366 310.64/312.31 o 4365 310.83/312.59 o 4364 311.13/312.89 o 4363 311.43/313.17 o 4361 311.73/313.49 o 4360 316.50/318.26 o 4359 316.80/318.55 o 4358 317.10/318.83 o 4357 317.40/319.13 o 4354 318.20/319.96 o 4352 321.97/323.72 o 4349 322.57/324.32 o 4346 322.87/324.65 o 4345 323.17/324.98 o 4342 323.57/325.32 o 4339 324.46/326.23 o 4337 324.76/326.56 o 4335 325.06/326.88 o 4333 325.46/327.20 o 4332 327.45/329.25 o 4330 327.75/329.56 o 4329 330.53/332.31 o 4327 331.33/333.19 o 4326 331.72/333.51 o 4322 332.63/334.46 o 4318 333.91/335.74 o 4317 334.21/336.05 o 4316 334.51/336.36 o 4315 334.71/336.56 o 4312 337.70/339.52 o 4309 338.39/340.24 o 4306 338.59/340.41 o 4303 338.89/340.72 o 4298 339.19/341.03 o 4294 339.48/341.34 o 4291 339.78/341.66 o 4290 340.08/341.97 o 4288 341.08/342.96 o 4286 341.47/343.30 o 4285 341.77/343.65 o 4283 342.37/344.30 o 4278 343.37/345.25 o 4277 344.26/346.19 o 4275 344.66/346.50 o 4274 344.96/346.82 o 4272 345.26/347.12 o 4269 345.56/347.45 o 4268 345.85/347.76 o 4265 346.15/348.09 o 4264 347.75/349.67 o 4261 348.04/349.99 o 4258 348.44/350.32 o 4257 349.04/350.97 o 4254 349.34/351.30 o 4252 349.64/351.60 o 4248 352.13/354.09 o 4247 352.82/354.74 o 4245 353.12/355.07 o 4242 354.41/356.34 o 4240 354.71/356.64 o 4239 355.61/357.57 o 4237 356.90/358.84 o 4232 357.50/359.48 o 4231 357.81/359.80 o 4228 358.20/360.11 o 4227 358.50/360.43 o 4222 359.10/361.07 o 4220 359.40/361.37 o 4215 359.69/361.68 o 4213 359.99/361.98 o 4211 360.89/362.89 o 4208 361.18/363.14 o 4207 361.78/363.78 o 4204 362.08/364.10 o 4203 362.47/364.42 o 4200 362.77/364.76 o 4199 363.07/365.02 o 4197 363.67/365.67 o 4193 363.97/365.99 o 4192 364.37/366.33 o 4189 364.66/366.66 o 4187 364.96/366.98 o 4186 365.36/367.32 o 4185 365.66/367.64 o 4182 365.96/367.96 o 4181 366.26/368.26 o 4179 366.56/368.59 o 4177 366.95/368.91 o 4175 367.25/369.24 o 4172 367.55/369.57 o 4171 367.84/369.88 o 4170 368.54/370.50 o 4169 368.84/370.82 o 4165 369.74/371.79 o 4161 370.13/372.10 o 4159 370.73/372.76 o 4158 371.03/373.09 o 4155 372.43/374.43 o 4153 372.73/374.72 o 4150 373.02/375.08 o 4147 373.42/375.44 o 4144 373.72/375.78 o 4143 374.51/376.52 o 4140 374.91/376.90 o 4137 375.21/377.28 o 4135 375.60/377.64 o 4130 375.90/377.99 o 4129 376.70/378.76 o 4127 377.00/379.10 o 4124 378.99/381.04 o 4120 379.39/381.41 o 4116 380.48/382.51 o 4115 385.55/387.67 o 4109 387.05/389.19 o 4105 387.44/389.57 o 4102 389.74/391.89 o 4101 390.14/392.27 o 4100 391.23/393.39 o 4095 391.63/393.76 o 4093 392.02/394.15 o 4092 395.11/397.22 o 4089 395.81/397.99 o 4088 396.50/398.63 o 4084 396.90/399.00 o 4083 397.20/399.40 o 4082 398.00/400.14 o 4081 398.39/400.52 o 4078 398.79/400.91 o 4075 399.58/401.71 o 4073 399.88/402.09 o 4071 402.67/404.85 o 4070 403.46/405.63 o 4066 403.86/406.02 o 4064 404.26/406.44 o 4063 404.56/406.76 o 4060 404.95/407.15 o 4059 405.75/407.94 o 4058 406.15/408.33 o 4056 406.95/409.11 o 4054 407.34/409.51 o 4051 408.14/410.31 o 4049 408.44/410.69 o 4046 410.43/412.65 o 4043 411.52/413.75 o 4042 411.93/414.12 o 4041 412.33/414.51 o 4040 413.72/415.92 o 4039 416.20/418.42 o 4038 416.50/418.78 o 4037 416.90/419.15 o 4035 417.30/419.53 o 4034 417.70/419.91 o 4031 418.69/420.99 o 4027 419.49/421.74 o 4026 422.37/424.66 o 4020 423.86/426.17 o 4019 424.26/426.54 o 4018 424.95/427.30 o 4015 425.35/427.68 o 4012 425.66/427.98 o 4006 426.05/428.34 o 4001 426.45/428.73 o 3999 426.85/429.11 o 3996 428.34/430.61 o 3995 428.54/430.87 o 3992 429.23/431.58 o 3990 429.63/431.95 o 3987 430.03/432.33 o 3985 430.33/432.69 o 3984 431.13/433.45 o 3979 441.58/443.92 o 3978 441.98/444.36 o 3976 442.37/444.78 o 3973 442.77/445.19 o 3971 443.26/445.61 o 3970 443.66/446.03 o 3969 444.06/446.46 o 3968 444.46/446.89 o 3966 445.36/447.75 o 3965 446.65/449.07 o 3964 447.55/449.92 o 3962 447.94/450.35 o 3958 448.34/450.76 o 3953 449.54/451.91 o 3947 449.93/452.30 o 3944 450.33/452.72 o 3939 450.73/453.13 o 3936 451.93/454.38 o 3935 452.32/454.79 o 3933 453.21/455.63 o 3931 454.01/456.46 o 3930 454.41/456.88 o 3926 455.70/458.12 o 3925 458.58/461.04 o 3924 460.38/462.86 o 3922 460.77/463.30 o 3920 461.67/464.19 o 3919 463.46/465.98 o 3917 465.76/468.28 o 3915 466.25/468.74 o 3914 466.75/469.20 o 3910 467.64/470.10 o 3907 468.04/470.54 o 3906 472.12/474.66 o 3903 472.62/475.12 o 3901 473.02/475.57 o 3899 473.91/476.45 o 3898 477.19/479.71 o 3897 477.59/480.17 o 3896 479.98/482.55 o 3895 482.77/485.35 o 3894 483.26/485.82 o 3890 483.76/486.32 o 3888 484.26/486.81 o 3887 484.66/487.28 o 3886 486.15/488.70 o 3885 487.15/489.70 o 3884 487.54/490.18 o 3883 488.04/490.70 o 3881 490.33/492.93 o 3880 494.31/496.99 o 3878 495.31/497.94 o 3876 495.80/498.43 o 3875 497.69/500.35 o 3872 500.78/503.41 o 3869 501.18/503.89 o 3865 501.68/504.36 o 3863 502.18/504.84 o 3862 504.07/506.76 o 3858 504.56/507.27 o 3856 505.06/507.79 o 3851 506.75/509.44 o 3846 507.25/509.91 o 3844 507.65/510.38 o 3839 508.14/510.87 o 3838 508.64/511.34 o 3835 509.14/511.83 o 3833 509.64/512.30 o 3831 510.03/512.79 o 3830 511.03/513.79 o 3829 511.53/514.29 o 3827 512.52/515.24 o 3826 513.02/515.73 o 3823 513.52/516.21 o 3821 513.92/516.67 o 3818 514.41/517.14 o 3816 515.31/518.07 o 3814 515.81/518.51 o 3811 517.20/519.91 o 3810 517.60/520.39 o 3809 518.60/521.31 o 3808 518.99/521.78 o 3806 520.88/523.65 o 3803 521.88/524.63 o 3802 523.27/526.08 o 3801 525.16/527.99 o 3800 525.66/528.47 o 3798 527.15/529.96 o 3797 527.64/530.46 o 3795 527.94/530.76 o 3793 529.54/532.39 o 3792 530.14/532.91 o 3790 530.64/533.46 o 3789 531.73/534.55 o 3787 532.82/535.63 o 3786 533.32/536.16 o 3783 534.91/537.77 o 3782 535.40/538.25 o 3779 535.90/538.78 o 3777 539.19/542.00 o 3775 539.68/542.54 o 3773 540.18/543.09 o 3772 545.75/548.69 o 3770 546.35/549.23 o 3766 546.75/549.61 o 3763 547.24/550.17 o 3761 548.74/551.66 o 3759 550.34/553.25 o 3755 550.84/553.76 o 3754 551.83/554.78 o 3751 552.92/555.82 o 3746 553.42/556.34 o 3745 556.91/559.89 o 3744 557.50/560.42 o 3743 558.00/560.95 o 3742 558.50/561.48 o 3741 559.10/562.03 o 3739 560.68/563.61 o 3737 562.67/565.64 o 3736 563.77/566.70 o 3735 564.27/567.25 o 3730 564.86/567.81 o 3725 565.66/568.67 o 3720 567.65/570.67 o 3719 568.74/571.71 o 3717 570.23/573.29 o 3714 570.83/573.81 o 3712 571.33/574.34 o 3709 572.33/575.38 o 3708 573.92/576.92 o 3707 574.91/577.98 o 3705 575.51/578.52 o 3704 576.01/579.05 o 3697 577.10/580.10 o 3695 577.60/580.63 o 3693 580.99/584.01 o 3691 581.48/584.54 o 3689 581.98/585.07 o 3687 584.07/587.13 o 3685 588.05/591.10 o 3683 589.04/592.11 o 3681 590.53/593.66 o 3678 591.03/594.18 o 3675 592.03/595.11 o 3674 592.52/595.61 o 3673 593.02/596.10 o 3671 593.51/596.62 o 3669 594.01/597.13 o 3667 596.50/599.64 o 3666 597.00/600.14 o 3664 597.50/600.66 o 3663 598.50/601.67 o 3662 598.99/602.17 o 3660 599.49/602.67 o 3659 600.98/604.16 o 3658 601.48/604.66 o 3656 601.88/605.02 o 3654 602.38/605.53 o 3652 602.87/606.03 o 3649 603.37/606.53 o 3643 604.36/607.55 o 3641 607.35/610.59 o 3640 607.95/611.10 o 3635 608.35/611.58 o 3632 609.34/612.54 o 3630 609.84/613.03 o 3627 610.63/613.83 o 3624 611.13/614.32 o 3623 611.53/614.76 o 3622 612.02/615.24 o 3619 612.52/615.71 o 3618 613.02/616.21 o 3614 613.42/616.68 o 3613 613.92/617.14 o 3610 614.81/618.07 o 3607 615.80/619.02 o 3606 616.10/619.34 o 3605 616.60/619.80 o 3604 617.00/620.29 o 3600 617.50/620.75 o 3596 618.00/621.21 o 3594 618.50/621.70 o 3593 618.90/622.19 o 3592 619.40/622.68 o 3591 619.89/623.15 o 3586 620.29/623.60 o 3580 621.68/624.97 o 3579 622.18/625.45 o 3578 623.08/626.32 o 3576 623.47/626.71 o 3574 625.36/628.64 o 3573 625.86/629.13 o 3570 626.36/629.62 o 3569 626.76/630.05 o 3568 627.25/630.54 o 3564 627.75/631.04 o 3563 628.25/631.52 o 3560 629.74/633.03 o 3559 630.24/633.53 o 3555 630.74/634.04 o 3554 631.24/634.55 o 3552 631.63/634.91 o 3551 632.03/635.40 o 3548 634.02/637.39 o 3546 634.52/637.87 o 3543 635.01/638.37 o 3538 636.01/639.35 o 3533 636.51/639.84 o 3530 637.00/640.34 o 3527 637.50/640.81 o 3522 637.90/641.30 o 3519 639.49/642.81 o 3518 640.88/644.28 o 3516 641.88/645.28 o 3515 643.27/646.64 o 3511 644.86/648.21 o 3510 645.75/649.16 o 3509 646.25/649.64 o 3508 646.75/650.11 o 3505 648.14/651.52 o 3504 649.53/652.94 o 3503 652.72/656.19 o 3502 655.71/659.18 o 3500 656.21/659.63 o 3498 656.70/660.12 o 3496 657.60/661.04 o 3494 657.70/661.16 o 3491 658.70/662.12 o 3490 659.09/662.59 o 3488 659.59/663.07 o 3486 659.79/663.25 o 3482 664.77/668.23 o 3479 666.06/669.59 o 3477 666.46/669.98 o 3474 666.96/670.47 o 3473 667.46/670.94 o 3472 667.95/671.41 o 3469 672.03/675.52 o 3468 672.53/676.01 o 3467 672.93/676.49 o 3464 674.22/677.72 o 3463 675.12/678.69 o 3462 678.59/682.15 o 3461 679.09/682.67 o 3459 679.59/683.17 o 3454 681.08/684.66 o 3451 681.58/685.15 o 3448 682.38/685.93 o 3444 683.77/687.34 o 3442 684.07/687.62 o 3439 685.56/689.15 o 3437 686.06/689.65 o 3434 686.56/690.16 o 3433 687.05/690.67 o 3432 689.54/693.13 o 3429 690.54/694.16 o 3428 691.04/694.63 o 3427 692.03/695.64 o 3422 693.02/696.62 o 3421 693.42/697.09 o 3420 694.12/697.72 o 3416 694.52/698.20 o 3415 695.51/699.17 o 3414 697.40/701.08 o 3413 697.90/701.56 o 3410 698.39/702.03 o 3409 698.89/702.52 o 3405 699.59/703.28 o 3400 702.38/706.09 o 3399 702.87/706.55 o 3396 705.76/709.50 o 3392 706.05/709.74 o 3390 706.55/710.24 o 3388 707.05/710.72 o 3387 711.94/715.63 o 3386 712.43/716.13 o 3385 713.43/717.15 o 3384 713.92/717.65 o 3383 714.42/718.17 o 3382 718.60/722.39 o 3381 720.19/723.95 o 3376 724.28/728.04 o 3374 728.05/731.87 o 3373 728.65/732.43 o 3371 729.15/732.99 o 3369 736.91/740.75 o 3368 737.31/741.15 o 3365 737.90/741.70 o 3363 738.40/742.25 o 3362 739.00/742.80 o 3357 739.50/743.34 o 3356 740.49/744.36 o 3355 740.99/744.86 o 3354 741.89/745.75 o 3353 744.36/748.28 o 3351 744.95/748.82 o 3349 746.04/749.90 o 3348 746.54/750.45 o 3346 747.03/750.99 o 3344 747.13/751.07 o 3341 748.22/752.10 o 3338 748.71/752.63 o 3337 749.20/753.14 o 3336 750.78/754.73 o 3334 753.36/757.36 o 3333 753.96/757.92 o 3330 754.45/758.45 o 3327 754.94/758.99 o 3325 756.03/760.09 o 3324 758.11/762.11 o 3322 761.87/765.94 o 3319 762.08/766.13 o 3315 762.58/766.68 o 3313 763.17/767.21 o 3311 763.66/767.76 o 3307 764.15/768.28 o 3304 764.75/768.81 o 3303 765.74/769.85 o 3302 766.03/770.12 o 3301 766.53/770.63 o 3299 767.03/771.15 o 3298 769.60/773.74 o 3297 770.09/774.29 o 3295 779.09/783.39 o 3290 780.18/784.47 o 3288 780.77/785.02 o 3284 781.17/785.49 o 3282 783.25/787.57 o 3280 784.34/788.65 o 3279 785.92/790.28 o 3278 787.01/791.38 o 3277 787.60/791.96 o 3276 788.20/792.52 o 3272 788.69/793.08 o 3266 789.28/793.61 o 3264 789.78/794.17 o 3260 790.87/795.27 o 3258 791.96/796.36 o 3257 796.41/800.86 o 3252 796.90/801.40 o 3249 800.86/805.33 o 3248 801.45/805.92 o 3246 802.04/806.52 o 3245 802.54/807.08 o 3242 804.32/808.88 o 3241 805.41/809.97 o 3239 806.00/810.50 o 3237 806.50/811.05 o 3236 806.99/811.57 o 3235 807.69/812.29 o 3233 809.27/813.88 o 3229 810.36/814.97 o 3228 839.76/844.63 o 3227 840.25/845.20 o 3225 840.85/845.78 o 3224 841.84/846.76 o 3223 842.43/847.31 o 3222 842.92/847.89 o 3215 843.91/848.84 o 3213 844.51/849.42 o 3212 845.00/849.98 o 3208 845.60/850.54 o 3207 846.19/851.12 o 3200 846.69/851.68 o 3196 847.28/852.23 o 3194 848.37/853.32 o 3192 849.46/854.46 o 3188 850.05/855.05 o 3186 850.64/855.61 o 3183 851.14/856.18 o 3182 857.87/862.93 o 3181 859.06/864.14 o 3179 859.65/864.73 o 3177 860.24/865.31 o 3176 860.84/865.93 o 3173 870.73/875.97 o 3171 871.33/876.56 o 3170 871.92/877.17 o 3169 879.94/885.29 o 3166 881.22/886.56 o 3164 881.82/887.18 o 3162 882.50/887.81 o 3160 885.48/890.87 o 3159 886.76/892.19 o 3158 887.45/892.81 o 3157 888.05/893.44 o 3154 889.24/894.62 o 3153 889.83/895.23 o 3149 890.42/895.86 o 3148 892.30/897.74 o 3147 899.44/904.95 o 3145 908.74/914.38 o 3144 911.41/917.06 o 3143 912.10/917.73 o 3141 919.33/925.09 o 3140 920.02/925.76 o 3139 920.71/926.42 o 3136 922.69/928.41 o 3135 923.29/929.06 o 3134 923.98/929.72 o 3133 928.82/934.62 o 3131 929.42/935.27 o 3130 944.76/950.70 o 3129 945.16/951.11 o 3126 945.65/951.66 o 3125 946.25/952.29 o 3123 948.13/954.15 o 3122 949.42/955.45 o 3119 950.01/956.10 o 3118 954.95/961.07 o 3116 956.94/963.06 o 3114 958.91/965.08 o 3112 959.61/965.76 o 3111 960.30/966.43 o 3106 962.18/968.39 o 3105 962.88/969.07 o 3104 965.55/971.75 o 3103 966.84/973.09 o 3102 983.36/989.71 o 3101 983.95/990.35 o 3095 985.04/991.41 o 3092 985.64/992.03 o 3090 988.01/994.50 o 3089 1006.03/1012.62 o 3088 1006.62/1013.21 o 3086 1011.17/1017.84 o 3082 1012.36/1019.00 o 3080 1012.95/1019.62 o 3079 1013.54/1020.21 o 3077 1014.14/1020.83 o 3075 1016.61/1023.36 o 3074 1018.39/1025.16 o 3071 1020.27/1027.02 o 3069 1022.05/1028.84 o 3067 1022.65/1029.48 o 3066 1023.34/1030.13 o 3061 1023.94/1030.76 o 3060 1025.22/1032.03 o 3059 1027.89/1034.70 o 3056 1028.89/1035.73 o 3054 1029.48/1036.36 o 3053 1030.77/1037.62 o 3048 1031.36/1038.25 o 3043 1031.86/1038.79 o 3042 1033.74/1040.67 o 3041 1034.33/1041.28 o 3039 1034.92/1041.89 o 3037 1035.42/1042.33 o 3036 1036.01/1042.95 o 3033 1038.88/1045.81 o 3031 1039.48/1046.43 o 3030 1040.07/1047.05 o 3028 1043.73/1050.74 o 3021 1045.61/1052.62 o 3019 1050.86/1057.99 o 3016 1051.35/1058.46 o 3014 1051.94/1059.06 o 3011 1052.54/1059.68 o 3008 1055.70/1062.85 o 3007 1056.30/1063.49 o 3006 1056.99/1064.14 o 3005 1061.44/1068.63 o 3004 1062.04/1069.29 o 2996 1062.73/1069.92 o 2995 1063.92/1071.19 o 2994 1064.61/1071.81 o 2991 1065.21/1072.43 o 2986 1071.14/1078.42 o 2985 1075.19/1082.54 o 2983 1077.57/1084.97 o 2981 1079.54/1086.93 o 2980 1091.83/1099.37 o 2977 1092.43/1100.00 o 2975 1093.80/1101.37 o 2973 1094.10/1101.60 o 2970 1096.18/1103.72 o 2967 1096.88/1104.42 o 2966 1098.65/1106.25 o 2965 1099.35/1106.93 o 2962 1102.51/1110.19 o 2960 1103.21/1110.90 o 2959 1103.90/1111.57 o 2957 1105.18/1112.88 o 2954 1105.88/1113.55 o 2952 1106.27/1113.91 o 2947 1106.87/1114.54 o 2945 1107.46/1115.20 o 2943 1108.16/1115.85 o 2938 1108.85/1116.50 o 2937 1108.94/1116.68 o 2934 1109.64/1117.35 o 2932 1110.33/1118.03 o 2928 1110.82/1118.52 o 2925 1111.42/1119.17 o 2923 1112.11/1119.82 o 2921 1113.39/1121.16 o 2920 1121.21/1129.07 o 2919 1122.30/1130.17 o 2918 1122.90/1130.79 o 2914 1123.59/1131.44 o 2913 1124.28/1132.10 o 2911 1124.87/1132.74 o 2910 1126.76/1134.66 o 2909 1127.44/1135.31 o 2904 1127.84/1135.77 o 2901 1128.53/1136.40 o 2900 1131.70/1139.61 o 2899 1132.89/1140.88 o 2898 1133.58/1141.52 o 2896 1139.93/1147.98 o 2894 1141.21/1149.30 o 2892 1141.90/1149.94 o 2887 1143.59/1151.69 o 2882 1144.28/1152.33 o 2880 1145.56/1153.65 o 2879 1146.16/1154.28 o 2877 1146.85/1154.95 o 2876 1148.83/1156.92 o 2874 1153.68/1161.88 o 2873 1154.37/1162.58 o 2871 1155.07/1163.25 o 2869 1155.26/1163.46 o 2866 1155.85/1164.07 o 2864 1157.93/1166.12 o 2863 1158.53/1166.78 o 2862 1162.59/1170.80 o 2859 1163.18/1171.47 o 2857 1168.33/1176.60 o 2856 1198.12/1206.76 o 2852 1198.80/1207.47 o 2849 1204.55/1213.25 o 2847 1205.24/1213.96 o 2845 1219.29/1228.16 o 2844 1220.77/1229.70 o 2843 1224.73/1233.62 o 2841 1225.53/1234.40 o 2840 1227.02/1235.95 o 2839 1228.11/1237.08 o 2836 1228.50/1237.44 o 2834 1229.29/1238.21 o 2831 1232.36/1241.31 o 2830 1233.05/1242.08 o 2827 1233.84/1242.87 o 2826 1240.77/1249.82 o 2825 1241.56/1250.62 o 2824 1242.35/1251.43 o 2822 1243.14/1252.21 o 2821 1244.63/1253.80 o 2817 1245.42/1254.52 o 2816 1248.48/1257.69 o 2815 1250.07/1259.25 o 2814 1250.86/1260.05 o 2811 1251.65/1260.84 o 2809 1260.06/1269.38 o 2808 1265.01/1274.33 o 2807 1265.80/1275.12 o 2803 1268.78/1278.19 o 2802 1274.12/1283.59 o 2801 1277.78/1287.28 o 2800 1284.61/1294.20 o 2797 1292.33/1301.97 o 2796 1300.15/1309.84 o 2795 1303.41/1313.15 o 2794 1304.31/1314.02 o 2791 1305.10/1314.84 o 2786 1305.49/1315.22 o 2785 1308.76/1318.52 o 2784 1321.53/1331.43 o 2783 1324.69/1334.69 o 2782 1325.48/1335.44 o 2781 1327.17/1337.14 o 2777 1329.64/1339.60 o 2776 1332.90/1342.91 o 2775 1333.70/1343.70 o 2774 1335.28/1345.35 o 2773 1335.97/1346.04 o 2772 1336.56/1346.65 o 2769 1337.36/1347.45 o 2767 1338.15/1348.28 o 2766 1340.62/1350.70 o 2765 1342.21/1352.34 o 2764 1347.55/1357.75 o 2761 1350.82/1361.09 o 2759 1352.60/1362.82 o 2756 1355.96/1366.25 o 2754 1362.20/1372.50 o 2749 1364.08/1374.48 o 2747 1364.97/1375.35 o 2746 1366.65/1377.06 o 2745 1373.97/1384.46 o 2744 1374.86/1385.32 o 2742 1375.26/1385.79 o 2738 1376.15/1386.64 o 2735 1378.34/1388.88 o 2732 1379.23/1389.73 o 2727 1380.01/1390.56 o 2724 1380.91/1391.42 o 2723 1381.90/1392.49 o 2722 1382.69/1393.28 o 2721 1384.47/1395.02 o 2715 1385.36/1395.91 o 2714 1385.96/1396.54 o 2713 1390.31/1400.93 o 2712 1391.00/1401.62 o 2710 1391.89/1402.51 o 2707 1392.68/1403.40 o 2706 1393.58/1404.29 o 2703 1394.47/1405.16 o 2701 1395.35/1406.05 o 2700 1401.29/1412.02 o 2699 1402.18/1412.90 o 2697 1402.87/1413.63 o 2693 1405.15/1415.90 o 2690 1408.51/1419.38 o 2688 1409.40/1420.26 o 2685 1410.29/1421.13 o 2683 1411.88/1422.77 o 2680 1413.66/1424.53 o 2679 1417.91/1428.84 o 2678 1420.58/1431.50 o 2677 1422.36/1433.31 o 2675 1426.42/1437.46 o 2673 1427.01/1438.09 o 2672 1429.58/1440.69 o 2671 1430.18/1441.24 o 2666 1433.34/1444.49 o 2662 1434.24/1445.36 o 2660 1436.02/1447.15 o 2656 1444.14/1455.40 o 2655 1445.92/1457.13 o 2654 1446.22/1457.47 o 2651 1447.11/1458.33 o 2649 1450.57/1461.86 o 2647 1453.24/1464.51 o 2645 1454.13/1465.42 o 2644 1455.03/1466.34 o 2643 1455.92/1467.24 o 2641 1457.70/1469.03 o 2639 1459.38/1470.78 o 2638 1460.37/1471.71 o 2636 1461.26/1472.60 o 2634 1478.08/1489.60 o 2631 1478.87/1490.50 o 2629 1509.16/1521.02 1509.16/1521.02 search 1509.16/1521.02 run=0 nbConstraintChecks=3193833942 nbAssignments=3985 1509.16/1521.02 => wckTime=1503.921 cpuTime=1492.14 mem=85M714 1509.16/1521.02 1509.16/1521.02 global 1509.16/1521.02 nbConstraintChecks=3193833942 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1509.16/1521.02 solvingWckTime=1503.904 solvingCpuTime=1492.12 expiredTime=no totalExploration=no nbFoundSolutions=0 1509.16/1521.02 globalCpuTime=1507.09 1509.16/1521.02 => wckTime=1520.775 cpuTime=1507.03 mem=85M714 1509.16/1521.02 1509.16/1521.02 solver DecomposerSolver being built... 1516.41/1528.36 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-1112978-1215876372/watcher-1112978-1215876372 -o /tmp/evaluation-result-1112978-1215876372/solver-1112978-1215876372 -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-ddeg.xml 1 XSax HOME/instance-1112978-1215876372.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.31 2.54 2.59 3/87 19733 /proc/meminfo: memFree=1853208/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=18572 CPUtime=0 /proc/19733/stat : 19733 (runsolver) R 19731 19733 18745 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 44335049 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 233402068263 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/19733/statm: 4643 292 257 25 0 2626 0 [startup+0.0685999 s] /proc/loadavg: 2.31 2.54 2.59 3/87 19733 /proc/meminfo: memFree=1853208/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=864076 CPUtime=0.04 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 2782 0 1 0 3 1 0 0 18 0 9 0 44335049 884813824 2323 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216019 2323 1112 9 0 210976 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 864076 [startup+0.101602 s] /proc/loadavg: 2.31 2.54 2.59 3/87 19733 /proc/meminfo: memFree=1853208/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=865984 CPUtime=0.08 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 3689 0 1 0 6 2 0 0 18 0 9 0 44335049 886767616 3164 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216496 3164 1678 9 0 211051 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 865984 [startup+0.301624 s] /proc/loadavg: 2.31 2.54 2.59 3/87 19733 /proc/meminfo: memFree=1853208/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=866156 CPUtime=0.27 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 5605 0 1 0 24 3 0 0 18 0 9 0 44335049 886943744 5020 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216539 5020 1905 9 0 211087 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 866156 [startup+0.701666 s] /proc/loadavg: 2.31 2.54 2.59 3/87 19733 /proc/meminfo: memFree=1853208/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=866980 CPUtime=0.67 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 9962 0 1 0 62 5 0 0 18 0 9 0 44335049 887787520 9333 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216745 9333 1968 9 0 211273 0 Current children cumulated CPU time (s) 0.67 Current children cumulated vsize (KiB) 866980 [startup+1.50274 s] /proc/loadavg: 2.31 2.54 2.59 3/96 19742 /proc/meminfo: memFree=1804624/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867412 CPUtime=1.47 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 21885 0 1 0 135 12 0 0 18 0 9 0 44335049 888229888 21221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216853 21221 2004 9 0 211381 0 [pid=19733/tid=19735] ppid=19731 vsize=867412 CPUtime=1.2 /proc/19733/task/19735/stat : 19735 (java) R 19731 19733 18745 0 -1 64 15769 0 1 0 112 8 0 0 25 0 9 0 44335051 888229888 21221 996147200 134512640 134550740 4294955952 18446744073709551615 4126883159 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867412 CPUtime=0.07 /proc/19733/task/19736/stat : 19736 (java) S 19731 19733 18745 0 -1 64 4816 0 0 0 6 1 0 0 16 0 9 0 44335052 888229888 21221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888229888 21221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44335052 888229888 21221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888229888 21221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867412 CPUtime=0.16 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 603 0 0 0 16 0 0 0 16 0 9 0 44335055 888229888 21221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888229888 21221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888229888 21221 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 867412 [startup+3.10291 s] /proc/loadavg: 2.28 2.53 2.59 3/96 19742 /proc/meminfo: memFree=1762384/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867412 CPUtime=3.06 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 27108 0 1 0 291 15 0 0 18 0 9 0 44335049 888229888 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216853 26442 2004 9 0 211381 0 [pid=19733/tid=19735] ppid=19731 vsize=867412 CPUtime=2.55 /proc/19733/task/19735/stat : 19735 (java) R 19731 19733 18745 0 -1 64 15773 0 1 0 246 9 0 0 25 0 9 0 44335051 888229888 26442 996147200 134512640 134550740 4294955952 18446744073709551615 102887362 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867412 CPUtime=0.31 /proc/19733/task/19736/stat : 19736 (java) S 19731 19733 18745 0 -1 64 10035 0 0 0 27 4 0 0 17 0 9 0 44335052 888229888 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888229888 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44335052 888229888 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888229888 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867412 CPUtime=0.16 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 603 0 0 0 16 0 0 0 16 0 9 0 44335055 888229888 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888229888 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888229888 26442 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 867412 [startup+6.30122 s] /proc/loadavg: 2.28 2.53 2.59 3/96 19742 /proc/meminfo: memFree=1754384/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867412 CPUtime=6.24 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 27181 0 1 0 609 15 0 0 18 0 9 0 44335049 888229888 26509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216853 26509 2006 9 0 211381 0 [pid=19733/tid=19735] ppid=19731 vsize=867412 CPUtime=5.69 /proc/19733/task/19735/stat : 19735 (java) R 19731 19733 18745 0 -1 64 15811 0 1 0 560 9 0 0 25 0 9 0 44335051 888229888 26509 996147200 134512640 134550740 4294955952 18446744073709551615 4126895798 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867412 CPUtime=0.31 /proc/19733/task/19736/stat : 19736 (java) S 19731 19733 18745 0 -1 64 10035 0 0 0 27 4 0 0 17 0 9 0 44335052 888229888 26509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888229888 26509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44335052 888229888 26509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888229888 26509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867412 CPUtime=0.21 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 638 0 0 0 20 1 0 0 15 0 9 0 44335055 888229888 26509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888229888 26509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888229888 26509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 867412 [startup+12.7029 s] /proc/loadavg: 2.24 2.51 2.58 3/96 19742 /proc/meminfo: memFree=1746448/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867412 CPUtime=12.61 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 30625 0 1 0 1243 18 0 0 18 0 9 0 44335049 888229888 29947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216853 29947 2007 9 0 211381 0 [pid=19733/tid=19735] ppid=19731 vsize=867412 CPUtime=11.79 /proc/19733/task/19735/stat : 19735 (java) R 19731 19733 18745 0 -1 64 15819 0 1 0 1169 10 0 0 25 0 9 0 44335051 888229888 29947 996147200 134512640 134550740 4294955952 18446744073709551615 4126895773 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867412 CPUtime=0.53 /proc/19733/task/19736/stat : 19736 (java) S 19731 19733 18745 0 -1 64 13441 0 0 0 48 5 0 0 17 0 9 0 44335052 888229888 29947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888229888 29947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44335052 888229888 29947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888229888 29947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867412 CPUtime=0.25 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 668 0 0 0 24 1 0 0 15 0 9 0 44335055 888229888 29947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888229888 29947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888229888 29947 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.61 Current children cumulated vsize (KiB) 867412 [startup+25.5011 s] /proc/loadavg: 2.28 2.51 2.58 3/96 19742 /proc/meminfo: memFree=1704592/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867500 CPUtime=25.33 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 40400 0 1 0 2510 23 0 0 18 0 9 0 44335049 888320000 39525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216875 39525 2640 9 0 211381 0 [pid=19733/tid=19735] ppid=19731 vsize=867500 CPUtime=23.43 /proc/19733/task/19735/stat : 19735 (java) R 19731 19733 18745 0 -1 64 15887 0 1 0 2331 12 0 0 25 0 9 0 44335051 888320000 39525 996147200 134512640 134550740 4294955952 18446744073709551615 4126899678 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867500 CPUtime=1.56 /proc/19733/task/19736/stat : 19736 (java) S 19731 19733 18745 0 -1 64 23119 0 0 0 148 8 0 0 16 0 9 0 44335052 888320000 39525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888320000 39525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44335052 888320000 39525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888320000 39525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867500 CPUtime=0.31 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 697 0 0 0 30 1 0 0 16 0 9 0 44335055 888320000 39525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888320000 39525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888320000 39525 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 867500 [startup+51.1017 s] /proc/loadavg: 2.18 2.47 2.56 3/96 19742 /proc/meminfo: memFree=1704656/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867500 CPUtime=50.77 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 40402 0 1 0 5048 29 0 0 18 0 9 0 44335049 888320000 39526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216875 39526 2640 9 0 211381 0 [pid=19733/tid=19735] ppid=19731 vsize=867500 CPUtime=48.86 /proc/19733/task/19735/stat : 19735 (java) R 19731 19733 18745 0 -1 64 15888 0 1 0 4868 18 0 0 25 0 9 0 44335051 888320000 39526 996147200 134512640 134550740 4294955952 18446744073709551615 4126901170 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867500 CPUtime=1.56 /proc/19733/task/19736/stat : 19736 (java) S 19731 19733 18745 0 -1 64 23119 0 0 0 148 8 0 0 16 0 9 0 44335052 888320000 39526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888320000 39526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44335052 888320000 39526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888320000 39526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867500 CPUtime=0.31 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 698 0 0 0 30 1 0 0 16 0 9 0 44335055 888320000 39526 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867500 CPUtime=0 ################ # More data... # ################ /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44335052 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867500 CPUtime=0.34 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 710 0 0 0 33 1 0 0 16 0 9 0 44335055 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1498.57 Current children cumulated vsize (KiB) 867500 [startup+1516.7 s] /proc/loadavg: 2.00 2.00 2.08 3/95 19780 /proc/meminfo: memFree=1541536/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867500 CPUtime=1504.91 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 40415 0 1 0 150416 75 0 0 18 0 9 0 44335049 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216875 39538 2640 9 0 211381 0 [pid=19733/tid=19735] ppid=19731 vsize=867500 CPUtime=1502.97 /proc/19733/task/19735/stat : 19735 (java) R 19731 19733 18745 0 -1 64 15889 0 1 0 150233 64 0 0 25 0 9 0 44335051 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4127225495 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867500 CPUtime=1.56 /proc/19733/task/19736/stat : 19736 (java) S 19731 19733 18745 0 -1 64 23119 0 0 0 148 8 0 0 16 0 9 0 44335052 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44335052 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867500 CPUtime=0.34 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 710 0 0 0 33 1 0 0 16 0 9 0 44335055 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867500 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888320000 39538 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1504.91 Current children cumulated vsize (KiB) 867500 [startup+1523.1 s] /proc/loadavg: 2.00 2.00 2.08 3/95 19780 /proc/meminfo: memFree=1301024/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867412 CPUtime=1511.24 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 183689 0 1 0 150994 130 0 0 18 0 9 0 44335049 888229888 182731 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216853 182731 2619 9 0 211381 0 [pid=19733/tid=19735] ppid=19731 vsize=867412 CPUtime=1508.11 /proc/19733/task/19735/stat : 19735 (java) R 19731 19733 18745 0 -1 64 15981 0 1 0 150747 64 0 0 25 0 9 0 44335051 888229888 182731 996147200 134512640 134550740 4294955952 18446744073709551615 104454898 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867412 CPUtime=2.7 /proc/19733/task/19736/stat : 19736 (java) S 19731 19733 18745 0 -1 64 166256 0 0 0 208 62 0 0 16 0 9 0 44335052 888229888 182731 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888229888 182731 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44335052 888229888 182731 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888229888 182731 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867412 CPUtime=0.38 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 737 0 0 0 37 1 0 0 15 0 9 0 44335055 888229888 182731 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888229888 182731 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867412 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888229888 182731 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1511.24 Current children cumulated vsize (KiB) 867412 [startup+1526.3 s] /proc/loadavg: 2.00 2.00 2.08 3/95 19780 /proc/meminfo: memFree=899936/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867916 CPUtime=1514.42 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 201166 0 1 0 151305 137 0 0 18 0 9 0 44335049 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216979 199572 2618 9 0 211507 0 [pid=19733/tid=19735] ppid=19731 vsize=867916 CPUtime=1508.18 /proc/19733/task/19735/stat : 19735 (java) S 19731 19733 18745 0 -1 64 15986 0 1 0 150754 64 0 0 24 0 9 0 44335051 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867916 CPUtime=5.82 /proc/19733/task/19736/stat : 19736 (java) R 19731 19733 18745 0 -1 64 183728 0 0 0 512 70 0 0 19 0 9 0 44335052 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867916 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867916 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44335052 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867916 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867916 CPUtime=0.38 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 737 0 0 0 37 1 0 0 15 0 9 0 44335055 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867916 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867916 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1514.42 Current children cumulated vsize (KiB) 867916 [startup+1527.1 s] /proc/loadavg: 2.00 2.00 2.08 3/95 19780 /proc/meminfo: memFree=899936/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867664 CPUtime=1515.21 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 201419 0 1 0 151384 137 0 0 18 0 9 0 44335049 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216916 199509 2618 9 0 211444 0 [pid=19733/tid=19735] ppid=19731 vsize=867664 CPUtime=1508.18 /proc/19733/task/19735/stat : 19735 (java) S 19731 19733 18745 0 -1 64 15987 0 1 0 150754 64 0 0 24 0 9 0 44335051 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867664 CPUtime=6.62 /proc/19733/task/19736/stat : 19736 (java) R 19731 19733 18745 0 -1 64 183980 0 0 0 592 70 0 0 20 0 9 0 44335052 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 102721792 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867664 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867664 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44335052 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867664 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867664 CPUtime=0.38 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 737 0 0 0 37 1 0 0 15 0 9 0 44335055 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867664 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867664 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1515.21 Current children cumulated vsize (KiB) 867664 [startup+1527.91 s] /proc/loadavg: 2.00 2.00 2.08 3/95 19780 /proc/meminfo: memFree=899936/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867916 CPUtime=1516.01 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 201545 0 1 0 151464 137 0 0 18 0 9 0 44335049 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216979 199572 2618 9 0 211507 0 [pid=19733/tid=19735] ppid=19731 vsize=867916 CPUtime=1508.18 /proc/19733/task/19735/stat : 19735 (java) S 19731 19733 18745 0 -1 64 15987 0 1 0 150754 64 0 0 24 0 9 0 44335051 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867916 CPUtime=7.41 /proc/19733/task/19736/stat : 19736 (java) R 19731 19733 18745 0 -1 64 184106 0 0 0 671 70 0 0 21 0 9 0 44335052 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867916 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867916 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44335052 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867916 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867916 CPUtime=0.38 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 737 0 0 0 37 1 0 0 15 0 9 0 44335055 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867916 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867916 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888745984 199572 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1516.01 Current children cumulated vsize (KiB) 867916 [startup+1528.3 s] /proc/loadavg: 2.00 2.00 2.08 3/95 19780 /proc/meminfo: memFree=899936/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=867664 CPUtime=1516.41 /proc/19733/stat : 19733 (java) S 19731 19733 18745 0 -1 0 201608 0 1 0 151504 137 0 0 18 0 9 0 44335049 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 216916 199509 2618 9 0 211444 0 [pid=19733/tid=19735] ppid=19731 vsize=867664 CPUtime=1508.18 /proc/19733/task/19735/stat : 19735 (java) S 19731 19733 18745 0 -1 64 15987 0 1 0 150754 64 0 0 17 0 9 0 44335051 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19736] ppid=19731 vsize=867664 CPUtime=7.81 /proc/19733/task/19736/stat : 19736 (java) R 19731 19733 18745 0 -1 64 184169 0 0 0 711 70 0 0 23 0 9 0 44335052 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 102731943 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19737] ppid=19731 vsize=867664 CPUtime=0 /proc/19733/task/19737/stat : 19737 (java) S 19731 19733 18745 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44335052 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19738] ppid=19731 vsize=867664 CPUtime=0 /proc/19733/task/19738/stat : 19738 (java) S 19731 19733 18745 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44335052 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19739] ppid=19731 vsize=867664 CPUtime=0 /proc/19733/task/19739/stat : 19739 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44335055 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19740] ppid=19731 vsize=867664 CPUtime=0.38 /proc/19733/task/19740/stat : 19740 (java) S 19731 19733 18745 0 -1 64 737 0 0 0 37 1 0 0 15 0 9 0 44335055 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19741] ppid=19731 vsize=867664 CPUtime=0 /proc/19733/task/19741/stat : 19741 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44335055 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19733/tid=19742] ppid=19731 vsize=867664 CPUtime=0 /proc/19733/task/19742/stat : 19742 (java) S 19731 19733 18745 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 44335055 888487936 199509 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1516.41 Current children cumulated vsize (KiB) 867664 [startup+1528.4 s] /proc/loadavg: 2.00 2.00 2.08 3/95 19780 /proc/meminfo: memFree=899936/2055920 swapFree=4176484/4192956 [pid=19733] ppid=19731 vsize=0 CPUtime=1516.5 /proc/19733/stat : 19733 (java) Z 19731 19733 18745 0 -1 12 201616 0 1 0 151510 140 0 0 16 0 2 0 44335049 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19733/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1516.5 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1528.5 CPU time (s): 1516.6 CPU user time (s): 1515.1 CPU system time (s): 1.50077 CPU usage (%): 99.2216 Max. virtual memory (cumulated for all children) (KiB): 867916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1515.1 system time used= 1.50077 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 201616 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= 32828 involuntary context switches= 70253 runsolver used 1.79573 second user time and 5.37218 second system time The end
Begin job on node70 at 2008-07-12 17:26:13 IDJOB=1112978 IDBENCH=61506 IDSOLVER=360 FILE ID=node70/1112978-1215876372 PBS_JOBID= 7903524 Free space on /tmp= 66436 MiB SOLVER NAME= AbsconMax 112 pc-d BENCH NAME= CPAI08/csp/fapp/fapp14/normalized-fapp14-2500-2.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp absconMax112V3.jar abscon.Resolution mrdac-ddeg.xml 1 XSax BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112978-1215876372/watcher-1112978-1215876372 -o /tmp/evaluation-result-1112978-1215876372/solver-1112978-1215876372 -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-ddeg.xml 1 XSax HOME/instance-1112978-1215876372.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 3ec556ad251960bf7980f3107ef7856e RANDOM SEED=2019508130 node70.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.221 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.221 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: 1853688 kB Buffers: 36484 kB Cached: 55348 kB SwapCached: 5816 kB Active: 105444 kB Inactive: 43820 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853688 kB SwapTotal: 4192956 kB SwapFree: 4176484 kB Dirty: 7736 kB Writeback: 0 kB Mapped: 73448 kB Slab: 37276 kB Committed_AS: 320856 kB PageTables: 2568 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66424 MiB End job on node70 at 2008-07-12 17:51:41