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 | ? | 1469.26 | 1478.35 |
| 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.01/0.18 0.01/0.18 Abscon 112 (May, 2008) 0.18/0.35 0.18/0.35 configuration 0.18/0.35 name=mrdac-wdeg.xml 0.29/0.42 0.29/0.42 instance 0.29/0.42 name=HOME/instance-1112977-1215876346.xml 0.29/0.46 0.29/0.46 domains being loaded... 0.38/0.51 0.38/0.51 variables being loaded... 0.67/0.81 nbVariables=2500 nbDomainTypes=30 minDomainSize=42 maxDomainSize=362 nbTotalValues=774322 0.67/0.81 => wckTime=0.463 cpuTime=0.31 mem=32M291 0.67/0.82 0.67/0.82 predicates being loaded... 0.67/0.88 0.67/0.88 constraints being loaded... 10.77/11.04 10.77/11.04 INFO : Stopping converting binary constraints (cpu=10.08, mem = 75M958) 16.42/16.79 nbConstraints=40767 nbConvertedConstraints=282 nbConvertConstraintsChecks=33886176 nbExtensionStructures=256 16.42/16.79 nbSharedExtensionStructures=96 nbConflictsStructures=1373 nbSharedConflictsStructures=342 16.42/16.79 nbUnbuiltConflictsStructures=9219 nbSharedBinaryRepresentations=147159 nbEvaluationManagers=10336 16.42/16.79 nbSharedEvaluationManagers=30149 minDegree=3 maxDegree=52 minArity=2 maxArity=2 16.42/16.79 => wckTime=16.439 cpuTime=14.93 mem=95M590 17.02/17.33 17.02/17.33 solver LocalSearchSolver being built... 17.02/17.38 => wckTime=17.031 cpuTime=14.98 mem=84M858 17.21/17.59 17.21/17.59 s SATISFIABLE 17.21/17.59 o 8484 17.31/17.64 o 8472 17.40/17.72 o 8458 17.40/17.75 o 8450 17.50/17.81 o 8442 17.50/17.85 o 8434 17.50/17.89 o 8427 17.60/17.93 o 8421 17.60/17.98 o 8415 17.71/18.03 o 8412 17.71/18.07 o 8405 17.81/18.12 o 8396 17.81/18.18 o 8387 17.91/18.24 o 8380 18.00/18.31 o 8374 18.00/18.36 o 8368 18.10/18.42 o 8363 18.10/18.46 o 8358 18.20/18.51 o 8353 18.20/18.54 o 8349 18.20/18.60 o 8345 18.30/18.64 o 8341 18.30/18.69 o 8337 18.40/18.74 o 8327 18.40/18.77 o 8324 18.49/18.83 o 8321 18.49/18.87 o 8318 18.59/18.92 o 8316 18.59/18.96 o 8314 18.69/19.00 o 8313 18.69/19.05 o 8311 18.79/19.12 o 8304 18.79/19.19 o 8295 18.89/19.26 o 8286 18.99/19.32 o 8278 18.99/19.39 o 8275 19.09/19.46 o 8267 19.18/19.53 o 8259 19.18/19.59 o 8253 19.28/19.64 o 8250 19.38/19.71 o 8244 19.38/19.77 o 8239 19.48/19.83 o 8235 19.48/19.88 o 8231 19.58/19.92 o 8227 19.58/19.97 o 8223 19.68/20.01 o 8219 19.68/20.05 o 8216 19.68/20.09 o 8213 19.78/20.13 o 8210 19.78/20.18 o 8208 19.88/20.22 o 8206 19.88/20.26 o 8205 19.99/20.33 o 8202 19.99/20.36 o 8191 20.09/20.41 o 8185 20.09/20.48 o 8177 20.18/20.56 o 8173 20.28/20.62 o 8163 20.28/20.69 o 8153 20.38/20.78 o 8144 20.48/20.85 o 8137 20.58/20.92 o 8134 20.58/21.00 o 8126 20.67/21.08 o 8119 20.77/21.14 o 8112 20.87/21.21 o 8105 20.87/21.29 o 8099 20.97/21.37 o 8094 21.07/21.44 o 8089 21.17/21.51 o 8084 21.17/21.58 o 8079 21.27/21.65 o 8075 21.37/21.72 o 8071 21.37/21.78 o 8067 21.47/21.83 o 8064 21.47/21.89 o 8057 21.57/21.94 o 8054 21.57/22.00 o 8052 21.67/22.06 o 8049 21.76/22.11 o 8047 21.76/22.18 o 8045 21.86/22.23 o 8043 21.86/22.29 o 8041 21.96/22.33 o 8039 21.96/22.37 o 8038 22.06/22.41 o 8037 22.06/22.48 o 8034 22.16/22.52 o 8029 22.16/22.56 o 8026 22.26/22.60 o 8016 22.35/22.70 o 8010 22.35/22.72 o 8003 22.35/22.74 o 7998 22.35/22.76 o 7997 22.45/22.81 o 7987 22.45/22.88 o 7979 22.55/22.92 o 7977 22.55/22.97 o 7971 22.65/23.03 o 7968 22.75/23.10 o 7959 22.75/23.19 o 7952 22.84/23.28 o 7946 22.94/23.35 o 7940 23.04/23.43 o 7934 23.04/23.49 o 7928 23.14/23.58 o 7923 23.24/23.66 o 7919 23.34/23.72 o 7918 23.34/23.79 o 7912 23.44/23.86 o 7907 23.54/23.92 o 7902 23.54/23.99 o 7897 23.64/24.05 o 7892 23.74/24.11 o 7891 23.74/24.16 o 7886 23.84/24.22 o 7882 23.84/24.27 o 7879 23.93/24.39 o 7876 24.03/24.45 o 7873 24.03/24.49 o 7870 24.13/24.54 o 7868 24.13/24.59 o 7866 24.23/24.63 o 7864 24.23/24.68 o 7855 24.33/24.73 o 7853 24.33/24.79 o 7851 24.43/24.81 o 7850 24.43/24.84 o 7849 24.62/25.01 o 7848 24.62/25.03 o 7845 24.62/25.08 o 7836 24.72/25.10 o 7832 24.72/25.14 o 7828 24.72/25.18 o 7822 24.82/25.25 o 7819 24.82/25.30 o 7816 24.92/25.36 o 7813 25.02/25.44 o 7812 25.12/25.50 o 7807 25.12/25.57 o 7802 25.22/25.63 o 7798 25.22/25.69 o 7790 25.42/25.81 o 7788 25.51/25.91 o 7781 25.51/25.95 o 7778 25.61/26.03 o 7773 25.71/26.15 o 7764 25.81/26.25 o 7760 25.91/26.34 o 7756 26.01/26.44 o 7748 26.21/26.63 o 7740 26.31/26.74 o 7733 26.41/26.83 o 7730 26.51/26.92 o 7724 26.61/27.01 o 7717 26.70/27.11 o 7710 26.80/27.21 o 7703 26.90/27.30 o 7697 26.90/27.39 o 7693 27.00/27.49 o 7692 27.10/27.58 o 7686 27.20/27.66 o 7680 27.30/27.75 o 7674 27.40/27.83 o 7668 27.50/27.91 o 7664 27.50/28.00 o 7659 27.60/28.06 o 7651 27.70/28.14 o 7646 27.79/28.23 o 7641 27.89/28.32 o 7637 27.89/28.39 o 7633 27.99/28.46 o 7629 28.09/28.54 o 7625 28.19/28.61 o 7621 28.19/28.68 o 7617 28.28/28.74 o 7614 28.38/28.80 o 7611 28.38/28.87 o 7608 28.48/28.94 o 7605 28.58/29.00 o 7603 28.58/29.07 o 7601 28.68/29.13 o 7599 28.68/29.18 o 7597 28.78/29.23 o 7595 28.78/29.29 o 7590 28.88/29.34 o 7581 28.88/29.39 o 7579 28.98/29.45 o 7577 28.98/29.49 o 7575 29.07/29.53 o 7574 29.07/29.58 o 7573 29.17/29.64 o 7572 29.17/29.68 o 7571 29.27/29.72 o 7570 29.27/29.76 o 7564 29.37/29.81 o 7558 29.47/29.93 o 7552 29.47/29.97 o 7544 29.57/30.07 o 7543 29.67/30.10 o 7540 29.67/30.15 o 7537 29.67/30.19 o 7533 29.77/30.23 o 7532 29.77/30.27 o 7529 29.87/30.31 o 7523 29.87/30.35 o 7521 29.96/30.40 o 7518 29.96/30.45 o 7517 29.96/30.49 o 7515 30.06/30.52 o 7510 30.06/30.60 o 7508 30.16/30.65 o 7504 30.16/30.69 o 7499 30.26/30.76 o 7493 30.36/30.83 o 7492 30.46/30.90 o 7487 30.46/30.96 o 7481 30.56/31.03 o 7474 30.66/31.10 o 7470 30.66/31.16 o 7465 30.75/31.22 o 7462 30.75/31.28 o 7459 30.85/31.34 o 7458 30.85/31.40 o 7453 30.95/31.45 o 7450 30.95/31.49 o 7447 31.05/31.54 o 7444 31.05/31.58 o 7438 31.15/31.62 o 7435 31.25/31.73 o 7433 31.25/31.80 o 7432 31.35/31.84 o 7427 31.35/31.88 o 7421 31.45/31.93 o 7418 31.45/31.98 o 7413 31.55/32.02 o 7410 31.55/32.06 o 7406 31.65/32.11 o 7403 31.65/32.16 o 7397 31.75/32.23 o 7391 31.75/32.26 o 7387 31.75/32.28 o 7380 31.85/32.36 o 7371 31.94/32.45 o 7362 32.04/32.54 o 7353 32.14/32.65 o 7346 32.24/32.76 o 7339 32.34/32.87 o 7332 32.54/33.07 o 7327 32.63/33.16 o 7321 32.73/33.26 o 7315 32.83/33.38 o 7310 32.93/33.48 o 7305 33.03/33.58 o 7300 33.13/33.69 o 7295 33.22/33.78 o 7290 33.32/33.88 o 7285 33.42/33.97 o 7282 33.52/34.06 o 7277 33.62/34.17 o 7272 33.72/34.26 o 7268 33.82/34.34 o 7262 33.92/34.42 o 7258 34.01/34.59 o 7255 34.11/34.67 o 7251 34.21/34.75 o 7247 34.31/34.82 o 7243 34.41/34.90 o 7240 34.41/34.99 o 7237 34.51/35.08 o 7234 34.61/35.15 o 7229 34.71/35.23 o 7226 34.80/35.31 o 7223 34.80/35.37 o 7220 34.91/35.46 o 7217 35.01/35.52 o 7214 35.11/35.60 o 7212 35.11/35.65 o 7209 35.20/35.72 o 7207 35.20/35.78 o 7205 35.30/35.84 o 7203 35.30/35.89 o 7202 35.40/35.95 o 7201 35.50/36.01 o 7200 35.50/36.05 o 7199 35.60/36.11 o 7198 35.89/36.45 o 7197 35.89/36.50 o 7194 35.99/36.55 o 7193 36.09/36.61 o 7192 36.09/36.65 o 7187 36.19/36.75 o 7185 36.19/36.80 o 7180 36.29/36.84 o 7175 36.29/36.90 o 7173 36.39/36.94 o 7172 36.49/37.00 o 7169 36.49/37.06 o 7163 36.59/37.10 o 7159 36.59/37.16 o 7155 36.69/37.20 o 7148 36.69/37.25 o 7145 36.69/37.29 o 7144 36.79/37.35 o 7142 36.79/37.39 o 7132 36.89/37.45 o 7125 36.98/37.51 o 7123 37.08/37.63 o 7115 37.08/37.69 o 7113 37.18/37.75 o 7109 37.28/37.80 o 7108 37.28/37.85 o 7103 37.38/37.92 o 7102 37.48/38.04 o 7101 37.57/38.10 o 7096 37.57/38.14 o 7091 37.57/38.18 o 7090 37.67/38.22 o 7089 37.67/38.27 o 7088 37.77/38.32 o 7087 37.77/38.37 o 7083 37.87/38.43 o 7078 37.87/38.50 o 7076 37.98/38.58 o 7068 38.07/38.62 o 7063 38.07/38.69 o 7056 38.17/38.73 o 7053 38.17/38.76 o 7048 38.27/38.82 o 7047 38.27/38.89 o 7045 38.37/38.95 o 7041 38.47/39.01 o 7036 38.47/39.07 o 7033 38.57/39.14 o 7027 38.66/39.20 o 7022 38.66/39.25 o 7014 38.76/39.30 o 7012 38.76/39.38 o 7007 38.86/39.42 o 7006 38.86/39.48 o 7004 38.96/39.52 o 7002 38.96/39.57 o 7000 39.06/39.62 o 6996 39.16/39.74 o 6995 39.16/39.79 o 6990 39.36/39.90 o 6983 39.36/39.96 o 6977 39.46/40.02 o 6970 39.46/40.07 o 6969 39.56/40.13 o 6965 39.65/40.27 o 6961 39.75/40.35 o 6958 39.85/40.40 o 6956 39.85/40.44 o 6953 39.95/40.51 o 6951 40.05/40.62 o 6947 40.15/40.76 o 6944 40.34/40.93 o 6936 40.44/41.02 o 6935 40.54/41.11 o 6927 40.64/41.23 o 6920 40.74/41.35 o 6914 40.84/41.48 o 6909 41.04/41.60 o 6904 41.14/41.73 o 6900 41.24/41.84 o 6896 41.33/41.96 o 6892 41.43/42.09 o 6888 41.63/42.21 o 6884 41.73/42.32 o 6880 41.83/42.43 o 6876 42.03/42.67 o 6874 42.13/42.77 o 6871 42.23/42.88 o 6866 42.33/42.98 o 6863 42.42/43.08 o 6858 42.52/43.18 o 6855 42.62/43.28 o 6853 42.72/43.38 o 6851 42.82/43.49 o 6849 42.92/43.58 o 6847 43.01/43.67 o 6846 43.12/43.77 o 6845 43.22/43.86 o 6844 43.32/43.96 o 6839 43.51/44.15 o 6838 43.61/44.24 o 6837 43.71/44.32 o 6836 43.81/44.41 o 6833 43.81/44.48 o 6832 44.01/44.64 o 6831 44.11/44.74 o 6830 44.21/44.83 o 6829 44.70/45.34 o 6828 44.80/45.48 o 6823 44.90/45.55 o 6819 45.00/45.61 o 6814 45.10/45.78 o 6810 45.20/45.85 o 6808 45.30/45.92 o 6802 45.40/46.04 o 6800 45.50/46.13 o 6799 45.59/46.20 o 6796 45.59/46.28 o 6792 45.69/46.36 o 6787 45.79/46.43 o 6784 45.99/46.61 o 6781 46.19/46.84 o 6779 46.28/46.92 o 6776 46.38/47.00 o 6770 46.49/47.17 o 6766 46.59/47.26 o 6760 46.88/47.58 o 6757 46.98/47.66 o 6752 47.08/47.74 o 6750 47.18/47.81 o 6745 47.28/47.97 o 6742 47.37/48.05 o 6737 47.47/48.14 o 6736 47.57/48.23 o 6731 47.67/48.31 o 6728 47.67/48.39 o 6724 47.77/48.47 o 6723 47.87/48.55 o 6720 47.96/48.63 o 6715 48.16/48.85 o 6713 48.26/48.92 o 6712 48.46/49.10 o 6710 48.56/49.20 o 6708 48.56/49.27 o 6706 48.66/49.37 o 6702 48.76/49.45 o 6695 48.86/49.55 o 6692 48.95/49.64 o 6690 49.05/49.74 o 6689 49.15/49.83 o 6686 49.25/49.92 o 6684 49.25/49.99 o 6681 49.35/50.09 o 6679 49.45/50.19 o 6677 49.65/50.30 o 6676 49.75/50.49 o 6672 49.85/50.58 o 6670 50.04/50.70 o 6665 50.44/51.16 o 6661 50.54/51.25 o 6655 50.64/51.34 o 6653 50.84/51.51 o 6647 50.84/51.59 o 6645 50.94/51.68 o 6640 51.23/51.96 o 6639 51.33/52.06 o 6634 51.43/52.17 o 6630 51.53/52.25 o 6626 51.63/52.33 o 6622 51.73/52.43 o 6621 51.82/52.51 o 6618 51.92/52.61 o 6617 52.02/52.80 o 6611 52.12/52.89 o 6609 52.22/52.99 o 6606 52.32/53.08 o 6605 52.42/53.18 o 6603 53.01/53.78 o 6599 53.11/53.87 o 6598 53.21/53.96 o 6594 53.40/54.11 o 6592 53.50/54.22 o 6589 53.60/54.30 o 6588 53.60/54.39 o 6583 53.70/54.46 o 6581 53.81/54.56 o 6577 53.91/54.64 o 6575 54.01/54.73 o 6572 54.11/54.83 o 6568 54.21/54.91 o 6564 54.31/55.01 o 6561 54.40/55.17 o 6559 54.50/55.27 o 6554 54.60/55.35 o 6548 54.70/55.45 o 6542 54.80/55.51 o 6537 54.80/55.60 o 6535 55.00/55.70 o 6534 55.10/55.80 o 6529 55.10/55.86 o 6525 55.20/55.99 o 6520 55.59/56.37 o 6517 55.69/56.46 o 6516 55.89/56.61 o 6512 55.99/56.73 o 6508 56.09/56.87 o 6504 56.39/57.11 o 6503 56.49/57.22 o 6497 56.58/57.32 o 6494 56.68/57.42 o 6491 56.78/57.52 o 6488 56.88/57.61 o 6482 56.98/57.73 o 6480 57.08/57.84 o 6478 57.17/57.93 o 6475 57.27/58.03 o 6473 57.37/58.13 o 6471 57.47/58.22 o 6469 57.57/58.32 o 6468 57.67/58.42 o 6467 57.77/58.53 o 6466 57.87/58.63 o 6465 57.97/58.73 o 6464 58.07/58.82 o 6463 58.17/58.90 o 6462 58.36/59.14 o 6460 58.46/59.22 o 6453 58.76/59.59 o 6448 58.86/59.68 o 6445 58.96/59.76 o 6443 59.05/59.86 o 6437 59.15/59.95 o 6436 59.25/60.03 o 6434 59.35/60.13 o 6432 59.55/60.35 o 6428 59.65/60.44 o 6427 59.75/60.53 o 6424 59.94/60.72 o 6421 60.04/60.82 o 6420 60.14/60.93 o 6418 60.24/61.03 o 6415 60.34/61.12 o 6412 60.43/61.22 o 6409 60.53/61.32 o 6408 60.63/61.49 o 6407 60.73/61.60 o 6405 60.83/61.70 o 6398 60.93/61.78 o 6394 61.03/61.89 o 6393 61.13/61.98 o 6391 61.23/62.08 o 6389 61.52/62.33 o 6387 61.62/62.42 o 6384 61.72/62.52 o 6379 61.82/62.63 o 6374 61.92/62.73 o 6370 62.01/62.84 o 6368 62.22/63.03 o 6360 62.32/63.14 o 6359 62.42/63.24 o 6354 62.52/63.33 o 6349 62.62/63.43 o 6346 62.71/63.53 o 6341 62.81/63.62 o 6338 62.91/63.72 o 6334 63.01/63.81 o 6332 63.11/63.90 o 6329 63.21/64.00 o 6328 63.21/64.08 o 6323 63.31/64.18 o 6320 63.41/64.28 o 6318 63.51/64.38 o 6312 63.61/64.48 o 6309 63.70/64.58 o 6305 63.80/64.68 o 6304 63.90/64.77 o 6298 64.00/64.87 o 6296 64.10/64.96 o 6289 64.19/65.05 o 6285 64.29/65.15 o 6281 64.49/65.37 o 6280 64.99/65.89 o 6275 65.09/66.00 o 6272 65.28/66.13 o 6268 65.48/66.33 o 6265 65.58/66.43 o 6262 65.68/66.54 o 6259 65.87/66.76 o 6257 65.97/66.88 o 6253 66.27/67.11 o 6250 66.37/67.22 o 6246 66.47/67.32 o 6242 66.57/67.44 o 6239 66.67/67.53 o 6237 66.77/67.62 o 6235 66.87/67.73 o 6232 66.96/67.85 o 6231 67.06/67.96 o 6224 67.16/68.07 o 6221 67.26/68.18 o 6217 67.36/68.29 o 6210 67.56/68.41 o 6207 67.66/68.53 o 6201 67.76/68.63 o 6200 67.86/68.74 o 6194 67.96/68.86 o 6191 68.05/68.98 o 6189 68.15/69.08 o 6188 68.35/69.21 o 6185 68.45/69.30 o 6184 68.54/69.40 o 6183 68.64/69.51 o 6182 68.74/69.61 o 6180 68.85/69.72 o 6179 68.95/69.85 o 6177 69.05/69.95 o 6174 69.14/70.06 o 6172 69.24/70.16 o 6167 69.34/70.26 o 6166 69.44/70.38 o 6163 69.54/70.48 o 6157 69.74/70.69 o 6153 69.84/70.80 o 6149 70.04/70.90 o 6148 70.14/71.04 o 6143 70.24/71.16 o 6142 70.34/71.29 o 6137 70.54/71.41 o 6135 70.54/71.50 o 6131 70.93/71.84 o 6128 71.03/71.96 o 6123 71.13/72.07 o 6118 71.23/72.19 o 6117 71.32/72.29 o 6116 71.52/72.41 o 6113 71.62/72.54 o 6109 71.72/72.66 o 6107 71.92/72.88 o 6104 72.12/73.01 o 6102 72.22/73.13 o 6100 72.32/73.28 o 6096 72.41/73.39 o 6095 72.61/73.50 o 6094 72.71/73.61 o 6087 72.81/73.73 o 6085 72.91/73.85 o 6082 73.11/74.08 o 6081 73.21/74.19 o 6077 73.41/74.30 o 6076 73.50/74.41 o 6074 73.90/74.84 o 6069 73.99/74.94 o 6066 74.09/75.09 o 6062 74.29/75.23 o 6058 74.39/75.38 o 6053 74.59/75.53 o 6049 74.69/75.70 o 6045 74.89/75.85 o 6043 75.08/76.00 o 6039 75.18/76.16 o 6035 75.38/76.32 o 6031 75.48/76.46 o 6027 75.68/76.62 o 6023 75.78/76.75 o 6020 75.88/76.89 o 6017 76.08/77.04 o 6015 76.17/77.18 o 6013 76.37/77.32 o 6012 76.47/77.46 o 6011 76.67/77.60 o 6010 77.26/78.25 o 6007 77.36/78.37 o 6005 78.45/79.43 o 6000 78.55/79.55 o 5995 78.75/79.79 o 5994 79.04/80.05 o 5992 79.24/80.28 o 5987 79.34/80.39 o 5986 79.53/80.50 o 5984 79.63/80.62 o 5980 79.73/80.71 o 5978 79.83/80.82 o 5976 79.93/80.94 o 5972 80.03/81.06 o 5971 80.13/81.16 o 5969 80.23/81.26 o 5963 80.43/81.47 o 5959 80.62/81.60 o 5958 80.82/81.83 o 5955 80.92/81.96 o 5952 81.02/82.08 o 5950 81.22/82.21 o 5948 81.32/82.32 o 5944 81.42/82.45 o 5943 81.52/82.58 o 5939 81.71/82.71 o 5938 81.81/82.83 o 5936 82.01/83.07 o 5934 82.21/83.22 o 5929 82.31/83.34 o 5926 82.41/83.48 o 5920 82.70/83.78 o 5917 82.90/83.93 o 5915 83.00/84.08 o 5911 83.20/84.22 o 5908 83.49/84.53 o 5907 83.59/84.69 o 5905 83.79/84.85 o 5902 83.99/85.01 o 5899 84.09/85.17 o 5897 84.49/85.52 o 5895 84.59/85.69 o 5894 84.79/85.85 o 5890 84.89/85.99 o 5888 85.09/86.17 o 5887 85.29/86.33 o 5883 85.58/86.63 o 5881 85.98/87.07 o 5880 86.18/87.21 o 5879 86.47/87.51 o 5877 86.67/87.77 o 5875 87.26/88.32 o 5874 87.36/88.46 o 5873 87.56/88.60 o 5872 87.76/88.89 o 5871 87.96/89.04 o 5868 88.25/89.32 o 5865 88.35/89.44 o 5864 88.45/89.57 o 5862 88.55/89.69 o 5859 88.75/89.85 o 5856 88.85/89.98 o 5855 89.05/90.12 o 5850 89.15/90.25 o 5849 89.44/90.53 o 5843 89.54/90.68 o 5840 90.03/91.11 o 5838 90.13/91.25 o 5837 90.43/91.51 o 5836 90.53/91.65 o 5835 90.63/91.79 o 5831 90.93/92.09 o 5827 91.13/92.23 o 5823 91.42/92.51 o 5817 91.52/92.66 o 5814 91.72/92.80 o 5811 91.82/92.96 o 5807 92.01/93.10 o 5804 92.31/93.42 o 5800 92.41/93.58 o 5799 92.61/93.73 o 5797 92.71/93.89 o 5793 92.91/94.05 o 5791 93.20/94.36 o 5788 93.40/94.55 o 5782 93.60/94.72 o 5779 93.70/94.90 o 5777 94.10/95.23 o 5775 94.39/95.56 o 5773 94.59/95.75 o 5771 94.78/95.94 o 5769 95.18/96.30 o 5764 95.48/96.67 o 5762 95.87/97.03 o 5757 96.07/97.23 o 5755 96.47/97.64 o 5752 96.67/97.84 o 5751 96.86/98.03 o 5749 97.06/98.23 o 5746 97.26/98.41 o 5741 97.76/98.97 o 5738 97.95/99.18 o 5731 98.15/99.37 o 5728 98.36/99.55 o 5725 98.55/99.76 o 5720 98.75/99.95 o 5717 99.94/101.12 o 5713 100.14/101.31 o 5712 100.54/101.72 o 5711 100.73/101.94 o 5708 100.93/102.15 o 5707 101.13/102.35 o 5704 101.72/102.90 o 5700 101.92/103.11 o 5694 102.01/103.28 o 5690 102.21/103.47 o 5686 102.61/103.84 o 5680 103.00/104.21 o 5676 103.10/104.38 o 5674 103.90/105.13 o 5673 104.09/105.30 o 5670 104.19/105.50 o 5667 104.69/105.99 o 5666 105.08/106.34 o 5662 105.28/106.52 o 5657 105.57/106.87 o 5655 105.77/107.04 o 5650 105.87/107.19 o 5649 106.07/107.35 o 5648 106.27/107.53 o 5647 106.47/107.71 o 5645 106.57/107.86 o 5643 106.76/108.04 o 5640 106.86/108.19 o 5638 107.06/108.37 o 5633 107.26/108.55 o 5627 107.46/108.73 o 5625 107.56/108.90 o 5623 107.76/109.08 o 5619 107.96/109.26 o 5618 108.16/109.42 o 5615 108.35/109.60 o 5612 108.45/109.76 o 5607 108.65/109.94 o 5604 108.84/110.10 o 5599 108.94/110.28 o 5596 109.14/110.44 o 5591 109.34/110.60 o 5590 109.44/110.79 o 5587 109.84/111.16 o 5583 110.03/111.35 o 5580 110.23/111.54 o 5578 110.43/111.73 o 5573 110.63/111.93 o 5571 110.83/112.13 o 5569 112.11/113.40 o 5567 112.21/113.58 o 5565 112.41/113.75 o 5564 112.61/113.92 o 5560 112.80/114.11 o 5558 112.90/114.27 o 5553 113.10/114.44 o 5551 113.29/114.62 o 5546 113.39/114.79 o 5544 113.80/115.14 o 5539 114.00/115.31 o 5537 114.20/115.51 o 5534 114.49/115.85 o 5533 114.69/116.01 o 5531 114.79/116.17 o 5527 114.99/116.33 o 5523 115.19/116.51 o 5519 115.48/116.83 o 5517 115.68/117.01 o 5515 115.98/117.33 o 5513 116.08/117.50 o 5510 116.27/117.67 o 5505 116.47/117.82 o 5500 116.57/117.96 o 5498 116.77/118.11 o 5497 116.87/118.26 o 5495 117.36/118.71 o 5491 117.56/118.98 o 5487 117.85/119.28 o 5486 118.05/119.41 o 5485 118.74/120.11 o 5481 118.84/120.26 o 5479 119.04/120.40 o 5476 119.14/120.54 o 5473 119.24/120.69 o 5471 119.44/120.82 o 5469 119.54/120.96 o 5468 119.73/121.11 o 5467 119.83/121.26 o 5464 120.03/121.41 o 5463 120.13/121.56 o 5462 120.32/121.70 o 5461 120.62/122.01 o 5457 121.32/122.79 o 5453 121.51/122.95 o 5450 121.71/123.12 o 5449 122.01/123.45 o 5447 122.61/124.10 o 5443 122.81/124.27 o 5438 123.30/124.75 o 5434 123.40/124.90 o 5432 123.60/125.07 o 5428 123.90/125.38 o 5425 124.09/125.53 o 5422 124.29/125.70 o 5414 124.99/126.48 o 5413 125.18/126.64 o 5407 125.38/126.80 o 5404 125.48/126.95 o 5402 125.68/127.13 o 5400 126.07/127.59 o 5399 126.27/127.74 o 5397 126.47/127.90 o 5396 126.57/128.04 o 5394 126.67/128.19 o 5391 126.86/128.37 o 5386 127.06/128.51 o 5384 127.16/128.67 o 5382 127.36/128.83 o 5377 127.46/128.96 o 5372 127.66/129.13 o 5369 127.76/129.27 o 5363 127.95/129.42 o 5360 128.05/129.58 o 5356 128.35/129.88 o 5354 128.55/130.03 o 5351 128.85/130.34 o 5349 129.14/130.64 o 5348 129.34/130.88 o 5342 129.74/131.20 o 5338 129.84/131.36 o 5336 130.04/131.51 o 5335 130.13/131.67 o 5333 130.33/131.83 o 5330 130.43/131.98 o 5326 130.62/132.16 o 5324 130.82/132.33 o 5321 130.92/132.50 o 5317 131.12/132.65 o 5316 131.42/132.98 o 5310 131.62/133.15 o 5308 131.91/133.47 o 5307 132.90/134.46 o 5306 133.10/134.62 o 5299 133.20/134.76 o 5297 133.39/134.94 o 5294 133.49/135.09 o 5293 133.69/135.28 o 5290 133.89/135.45 o 5289 134.09/135.63 o 5287 134.39/135.96 o 5284 134.58/136.16 o 5283 134.78/136.34 o 5279 134.97/136.53 o 5276 135.17/136.75 o 5272 135.38/136.95 o 5267 135.58/137.15 o 5265 135.78/137.34 o 5262 135.98/137.55 o 5258 136.17/137.75 o 5257 136.57/138.14 o 5254 136.77/138.35 o 5253 136.97/138.56 o 5252 137.16/138.75 o 5250 137.36/138.94 o 5243 137.56/139.15 o 5240 137.75/139.36 o 5239 137.95/139.57 o 5236 138.15/139.77 o 5232 138.34/139.97 o 5228 138.54/140.17 o 5227 138.74/140.38 o 5224 138.94/140.58 o 5222 139.14/140.78 o 5221 139.33/140.98 o 5217 139.53/141.17 o 5214 139.73/141.36 o 5211 139.93/141.57 o 5207 140.13/141.76 o 5205 140.33/141.94 o 5200 140.52/142.12 o 5196 140.72/142.30 o 5195 141.12/142.73 o 5193 141.32/142.93 o 5186 141.81/143.48 o 5184 142.01/143.65 o 5182 142.20/143.86 o 5179 142.40/144.05 o 5177 142.60/144.23 o 5174 143.00/144.62 o 5173 143.19/144.81 o 5171 143.39/145.02 o 5168 143.79/145.43 o 5166 144.58/146.22 o 5165 145.18/146.83 o 5163 145.57/147.22 o 5161 145.77/147.42 o 5160 146.17/147.82 o 5154 146.56/148.22 o 5153 146.66/148.37 o 5144 146.87/148.59 o 5142 147.06/148.79 o 5140 147.26/148.99 o 5136 147.76/149.41 o 5133 147.95/149.61 o 5132 148.15/149.81 o 5130 148.35/150.00 o 5128 148.55/150.21 o 5126 148.74/150.41 o 5125 148.94/150.61 o 5124 149.14/150.82 o 5119 149.44/151.19 o 5116 149.64/151.38 o 5114 149.83/151.56 o 5111 151.52/153.25 o 5110 151.71/153.44 o 5108 151.91/153.63 o 5104 152.11/153.81 o 5100 152.40/154.19 o 5099 152.60/154.39 o 5096 152.80/154.59 o 5093 153.29/155.00 o 5089 153.59/155.40 o 5088 153.99/155.74 o 5085 154.18/155.92 o 5084 155.17/156.94 o 5083 155.57/157.35 o 5082 155.77/157.55 o 5079 155.97/157.76 o 5075 156.18/157.98 o 5070 156.57/158.38 o 5069 157.16/158.98 o 5067 157.36/159.18 o 5064 157.66/159.40 o 5061 157.85/159.63 o 5060 158.05/159.85 o 5059 158.44/160.29 o 5058 158.74/160.52 o 5057 158.94/160.75 o 5055 159.14/160.98 o 5050 159.34/161.19 o 5049 159.83/161.65 o 5048 160.03/161.87 o 5047 163.39/165.29 o 5046 163.69/165.51 o 5041 163.89/165.75 o 5036 164.58/166.45 o 5035 164.78/166.68 o 5033 165.07/166.93 o 5028 165.57/167.41 o 5027 165.77/167.66 o 5025 168.25/170.12 o 5023 169.54/171.40 o 5022 169.74/171.67 o 5019 170.03/171.94 o 5015 171.52/173.44 o 5013 171.72/173.69 o 5011 172.01/173.95 o 5009 172.21/174.19 o 5002 173.80/175.76 o 4999 175.09/177.05 o 4994 175.38/177.30 o 4991 175.88/177.80 o 4990 176.37/178.31 o 4989 176.57/178.56 o 4986 178.35/180.38 o 4982 178.95/180.92 o 4978 179.44/181.47 o 4976 179.74/181.74 o 4975 180.23/182.28 o 4974 180.53/182.54 o 4971 182.12/184.14 o 4970 182.41/184.42 o 4969 183.41/185.49 o 4967 183.70/185.75 o 4966 184.00/186.03 o 4961 184.49/186.57 o 4958 185.08/187.14 o 4956 185.88/187.95 o 4954 186.17/188.21 o 4952 186.67/188.73 o 4951 186.87/188.99 o 4949 187.17/189.26 o 4948 187.46/189.53 o 4946 187.66/189.78 o 4945 187.96/190.05 o 4938 188.26/190.32 o 4935 188.45/190.59 o 4932 188.75/190.84 o 4927 189.05/191.10 o 4924 189.25/191.35 o 4920 189.44/191.59 o 4919 190.53/192.62 o 4917 190.73/192.87 o 4915 191.03/193.11 o 4911 191.22/193.36 o 4910 191.42/193.59 o 4905 192.41/194.54 o 4901 192.61/194.78 o 4899 192.91/195.01 o 4898 193.11/195.24 o 4893 193.50/195.67 o 4891 193.80/195.91 o 4889 194.19/196.35 o 4882 194.49/196.61 o 4881 194.89/197.08 o 4880 195.19/197.32 o 4878 195.39/197.55 o 4875 196.28/198.50 o 4872 196.58/198.72 o 4870 196.78/198.97 o 4867 197.27/199.46 o 4862 197.57/199.72 o 4861 197.77/199.98 o 4860 198.07/200.22 o 4858 198.26/200.49 o 4857 198.56/200.74 o 4855 198.75/200.99 o 4853 200.74/202.97 o 4852 201.03/203.24 o 4851 201.33/203.52 o 4849 201.53/203.77 o 4845 201.83/204.00 o 4844 202.02/204.25 o 4843 202.32/204.51 o 4841 202.52/204.73 o 4839 203.02/205.20 o 4837 203.70/205.94 o 4836 203.90/206.18 o 4834 204.40/206.68 o 4832 205.19/207.45 o 4830 205.69/207.98 o 4828 205.98/208.24 o 4826 206.48/208.76 o 4822 206.78/209.02 o 4821 207.27/209.51 o 4818 207.57/209.80 o 4815 207.77/210.08 o 4811 208.06/210.34 o 4808 208.36/210.64 o 4804 208.96/211.23 o 4803 209.45/211.79 o 4802 209.74/212.08 o 4799 210.04/212.37 o 4798 210.93/213.24 o 4797 211.23/213.52 o 4794 211.53/213.81 o 4792 211.82/214.10 o 4787 212.02/214.40 o 4784 212.32/214.61 o 4778 212.52/214.89 o 4774 213.11/215.45 o 4770 213.71/216.02 o 4768 214.00/216.31 o 4766 214.30/216.60 o 4765 214.50/216.89 o 4764 214.80/217.18 o 4763 215.19/217.50 o 4762 215.39/217.78 o 4759 215.99/218.38 o 4758 216.88/219.26 o 4757 217.18/219.56 o 4754 217.47/219.86 o 4752 218.07/220.46 o 4751 218.36/220.78 o 4747 218.66/221.09 o 4743 218.95/221.39 o 4741 219.85/222.29 o 4740 220.14/222.59 o 4739 220.44/222.88 o 4738 220.74/223.19 o 4734 221.03/223.46 o 4731 221.82/224.29 o 4730 222.12/224.57 o 4729 222.71/225.17 o 4726 223.01/225.45 o 4724 223.31/225.75 o 4723 223.61/226.04 o 4722 223.90/226.35 o 4720 224.20/226.65 o 4719 225.09/227.54 o 4718 226.08/228.59 o 4717 226.38/228.88 o 4715 226.68/229.16 o 4714 226.98/229.43 o 4711 228.07/230.51 o 4710 228.56/231.04 o 4709 228.75/231.29 o 4708 229.05/231.55 o 4707 229.85/232.31 o 4706 230.05/232.56 o 4705 231.53/234.06 o 4704 232.33/234.82 o 4703 232.82/235.30 o 4702 233.02/235.56 o 4701 233.32/235.81 o 4699 233.81/236.32 o 4698 234.31/236.84 o 4696 235.10/237.64 o 4695 235.39/237.90 o 4692 235.59/238.17 o 4689 236.09/238.69 o 4687 236.38/238.96 o 4686 237.18/239.74 o 4681 237.47/240.02 o 4679 237.67/240.25 o 4676 237.97/240.52 o 4674 238.17/240.78 o 4671 238.66/241.29 o 4670 239.26/241.80 o 4668 239.46/242.06 o 4663 240.74/243.39 o 4661 241.04/243.65 o 4656 242.03/244.67 o 4653 242.33/244.95 o 4652 242.63/245.22 o 4650 244.21/246.84 o 4649 244.50/247.13 o 4646 245.89/248.55 o 4644 246.19/248.85 o 4642 247.08/249.71 o 4640 247.28/249.98 o 4639 248.17/250.83 o 4635 248.47/251.11 o 4632 248.67/251.39 o 4629 248.96/251.69 o 4628 249.26/251.98 o 4622 249.56/252.26 o 4621 249.86/252.54 o 4617 250.44/253.11 o 4614 250.95/253.68 o 4611 251.25/253.96 o 4607 253.43/256.18 o 4602 253.72/256.46 o 4598 254.02/256.72 o 4597 254.32/257.01 o 4596 255.11/257.86 o 4595 255.41/258.10 o 4591 255.90/258.68 o 4588 256.20/258.97 o 4585 256.50/259.26 o 4583 257.09/259.82 o 4580 257.59/260.39 o 4578 257.88/260.69 o 4577 260.76/263.51 o 4576 260.95/263.79 o 4570 261.45/264.22 o 4567 261.65/264.49 o 4566 261.94/264.77 o 4563 262.24/265.04 o 4561 262.54/265.32 o 4559 263.33/266.16 o 4557 263.62/266.44 o 4555 264.42/267.27 o 4552 264.71/267.53 o 4550 265.01/267.80 o 4549 265.20/268.07 o 4547 265.50/268.35 o 4545 265.80/268.60 o 4542 266.00/268.86 o 4540 266.29/269.16 o 4538 266.59/269.42 o 4535 266.89/269.70 o 4533 267.09/269.97 o 4528 267.38/270.23 o 4526 267.68/270.51 o 4521 267.78/270.62 o 4515 267.98/270.88 o 4514 268.28/271.17 o 4513 268.57/271.43 o 4508 269.96/272.85 o 4507 270.25/273.12 o 4505 273.23/276.12 o 4502 273.52/276.45 o 4496 274.41/277.36 o 4493 274.81/277.70 o 4489 275.11/278.02 o 4487 275.41/278.36 o 4485 275.70/278.69 o 4483 276.10/279.04 o 4482 276.40/279.37 o 4480 276.79/279.70 o 4477 277.10/280.01 o 4476 277.39/280.35 o 4475 277.69/280.69 o 4473 278.09/281.03 o 4470 278.38/281.37 o 4466 278.78/281.74 o 4464 279.08/282.09 o 4459 282.54/285.51 o 4458 282.84/285.88 o 4454 283.23/286.24 o 4452 283.93/286.95 o 4450 284.32/287.30 o 4444 287.39/290.44 o 4443 287.99/291.07 o 4438 288.68/291.77 o 4435 289.77/292.83 o 4434 290.17/293.21 o 4430 291.26/294.33 o 4425 291.66/294.72 o 4420 294.53/297.67 o 4417 295.62/298.79 o 4416 296.01/299.16 o 4413 296.71/299.89 o 4410 297.10/300.26 o 4405 297.50/300.61 o 4402 297.80/300.96 o 4400 299.18/302.38 o 4399 299.57/302.73 o 4398 299.87/303.07 o 4397 300.56/303.78 o 4394 300.96/304.10 o 4393 302.55/305.79 o 4387 302.84/306.02 o 4386 303.44/306.66 o 4385 303.74/306.99 o 4383 304.42/307.63 o 4381 306.21/309.46 o 4379 306.51/309.76 o 4378 306.80/310.08 o 4376 307.10/310.39 o 4375 307.50/310.70 o 4374 307.69/310.97 o 4372 308.88/312.19 o 4371 309.78/313.08 o 4370 310.07/313.38 o 4368 310.36/313.69 o 4366 310.96/314.28 o 4365 311.26/314.57 o 4364 311.56/314.86 o 4363 311.86/315.15 o 4361 312.15/315.46 o 4360 316.90/320.27 o 4359 317.20/320.56 o 4358 317.50/320.85 o 4357 317.80/321.15 o 4354 318.59/322.00 o 4352 322.35/325.78 o 4349 322.95/326.38 o 4346 323.35/326.71 o 4345 323.64/327.04 o 4342 323.94/327.39 o 4339 324.93/328.30 o 4337 325.23/328.64 o 4335 325.53/328.96 o 4333 325.82/329.28 o 4332 327.90/331.32 o 4330 328.20/331.63 o 4329 330.87/334.39 o 4327 331.76/335.28 o 4326 332.06/335.59 o 4322 333.05/336.55 o 4318 334.33/337.84 o 4317 334.63/338.14 o 4316 334.93/338.46 o 4315 335.13/338.65 o 4312 338.10/341.66 o 4309 338.79/342.38 o 4306 338.99/342.56 o 4303 339.28/342.88 o 4298 339.58/343.19 o 4294 339.99/343.50 o 4291 340.29/343.82 o 4290 340.58/344.14 o 4288 341.57/345.13 o 4286 341.87/345.48 o 4285 342.26/345.83 o 4283 342.86/346.48 o 4278 343.85/347.44 o 4277 344.74/348.39 o 4275 345.04/348.70 o 4274 345.43/349.02 o 4272 345.73/349.31 o 4269 346.02/349.64 o 4268 346.32/349.95 o 4265 346.62/350.28 o 4264 348.20/351.86 o 4261 348.50/352.18 o 4258 348.90/352.50 o 4257 349.49/353.15 o 4254 349.78/353.48 o 4252 350.08/353.79 o 4248 352.56/356.29 o 4247 353.25/356.95 o 4245 353.55/357.28 o 4242 354.84/358.55 o 4240 355.13/358.86 o 4239 356.12/359.80 o 4237 357.31/361.09 o 4232 358.00/361.74 o 4231 358.30/362.06 o 4228 358.60/362.38 o 4227 358.99/362.71 o 4222 359.59/363.35 o 4220 359.89/363.65 o 4215 360.18/363.96 o 4213 360.47/364.26 o 4211 361.38/365.18 o 4208 361.67/365.43 o 4207 362.27/366.08 o 4204 362.66/366.40 o 4203 362.96/366.72 o 4200 363.25/367.06 o 4199 363.55/367.33 o 4197 364.15/367.98 o 4193 364.54/368.30 o 4192 364.84/368.64 o 4189 365.14/368.97 o 4187 365.43/369.29 o 4186 365.83/369.63 o 4185 366.13/369.95 o 4182 366.43/370.26 o 4181 366.72/370.57 o 4179 367.02/370.89 o 4177 367.42/371.21 o 4175 367.71/371.54 o 4172 368.01/371.87 o 4171 368.31/372.18 o 4170 369.00/372.80 o 4169 369.29/373.12 o 4165 370.19/374.08 o 4161 370.58/374.40 o 4159 371.18/375.07 o 4158 371.47/375.39 o 4155 372.86/376.74 o 4153 373.16/377.03 o 4150 373.46/377.39 o 4147 373.85/377.75 o 4144 374.25/378.10 o 4143 374.94/378.84 o 4140 375.34/379.23 o 4137 375.73/379.60 o 4135 376.03/379.97 o 4130 376.42/380.32 o 4129 377.22/381.10 o 4127 377.51/381.45 o 4124 379.50/383.41 o 4120 379.79/383.79 o 4116 380.88/384.89 o 4115 386.03/390.06 o 4109 387.52/391.58 o 4105 387.91/391.96 o 4102 390.19/394.27 o 4101 390.59/394.66 o 4100 391.68/395.78 o 4095 392.07/396.16 o 4093 392.47/396.54 o 4092 395.54/399.63 o 4089 396.33/400.42 o 4088 396.93/401.07 o 4084 397.32/401.45 o 4083 397.72/401.84 o 4082 398.41/402.60 o 4081 398.81/402.98 o 4078 399.20/403.38 o 4075 399.99/404.18 o 4073 400.39/404.57 o 4071 403.16/407.34 o 4070 403.96/408.13 o 4066 404.35/408.52 o 4064 404.75/408.94 o 4063 405.05/409.26 o 4060 405.45/409.64 o 4059 406.24/410.44 o 4058 406.64/410.82 o 4056 407.43/411.60 o 4054 407.73/411.99 o 4051 408.52/412.79 o 4049 408.92/413.18 o 4046 410.89/415.13 o 4043 411.99/416.24 o 4042 412.38/416.62 o 4041 412.78/417.01 o 4040 414.16/418.42 o 4039 416.64/420.96 o 4038 417.04/421.33 o 4037 417.33/421.70 o 4035 417.73/422.08 o 4034 418.13/422.47 o 4031 419.22/423.58 o 4027 420.01/424.32 o 4026 422.88/427.25 o 4020 424.36/428.78 o 4019 424.76/429.15 o 4018 425.55/429.90 o 4015 425.85/430.29 o 4012 426.15/430.59 o 4006 426.54/430.95 o 4001 426.94/431.33 o 3999 427.34/431.71 o 3996 428.82/433.21 o 3995 429.02/433.48 o 3992 429.71/434.18 o 3990 430.11/434.56 o 3987 430.50/434.93 o 3985 430.90/435.30 o 3984 431.59/436.06 o 3979 442.09/446.64 o 3978 442.49/447.08 o 3976 442.98/447.51 o 3973 443.38/447.92 o 3971 443.78/448.34 o 3970 444.17/448.77 o 3969 444.57/449.19 o 3968 445.06/449.62 o 3966 445.86/450.47 o 3965 447.14/451.79 o 3964 448.03/452.64 o 3962 448.43/453.07 o 3958 448.82/453.48 o 3953 450.01/454.63 o 3947 450.41/455.02 o 3944 450.81/455.44 o 3939 451.20/455.85 o 3936 452.49/457.11 o 3935 452.89/457.53 o 3933 453.68/458.37 o 3931 454.57/459.20 o 3930 454.97/459.63 o 3926 456.16/460.89 o 3925 459.13/463.85 o 3924 460.92/465.68 o 3922 461.41/466.12 o 3920 462.31/467.01 o 3919 464.08/468.82 o 3917 466.36/471.12 o 3915 466.76/471.57 o 3914 467.25/472.03 o 3910 468.14/472.93 o 3907 468.54/473.36 o 3906 472.70/477.51 o 3903 473.10/477.96 o 3901 473.59/478.42 o 3899 474.48/479.30 o 3898 477.75/482.61 o 3897 478.14/483.08 o 3896 480.52/485.48 o 3895 483.30/488.29 o 3894 483.79/488.77 o 3890 484.29/489.27 o 3888 484.78/489.76 o 3887 485.28/490.23 o 3886 486.67/491.66 o 3885 487.66/492.65 o 3884 488.15/493.13 o 3883 488.65/493.64 o 3881 490.82/495.88 o 3880 494.89/499.98 o 3878 495.88/500.94 o 3876 496.37/501.43 o 3875 498.25/503.39 o 3872 501.32/506.48 o 3869 501.81/506.96 o 3865 502.31/507.44 o 3863 502.81/507.92 o 3862 504.69/509.84 o 3858 505.18/510.35 o 3856 505.67/510.87 o 3851 507.37/512.52 o 3846 507.76/512.98 o 3844 508.26/513.45 o 3839 508.75/513.94 o 3838 509.25/514.42 o 3835 509.74/514.91 o 3833 510.14/515.39 o 3831 510.63/515.88 o 3830 511.62/516.88 o 3829 512.12/517.39 o 3827 513.11/518.34 o 3826 513.60/518.84 o 3823 514.10/519.32 o 3821 514.50/519.78 o 3818 514.99/520.27 o 3816 515.98/521.20 o 3814 516.37/521.66 o 3811 517.76/523.07 o 3810 518.26/523.57 o 3809 519.15/524.49 o 3808 519.64/524.98 o 3806 521.52/526.86 o 3803 522.51/527.84 o 3802 523.90/529.29 o 3801 525.88/531.21 o 3800 526.28/531.68 o 3798 527.76/533.17 o 3797 528.25/533.66 o 3795 528.56/533.96 o 3793 530.15/535.60 o 3792 530.74/536.12 o 3790 531.23/536.67 o 3789 532.32/537.77 o 3787 533.41/538.86 o 3786 533.90/539.40 o 3783 535.59/541.03 o 3782 536.08/541.52 o 3779 536.58/542.06 o 3777 539.84/545.33 o 3775 540.34/545.87 o 3773 540.93/546.42 o 3772 546.49/552.03 o 3770 546.98/552.56 o 3766 547.37/552.95 o 3763 547.97/553.50 o 3761 549.36/554.99 o 3759 550.94/556.58 o 3755 551.54/557.10 o 3754 552.52/558.13 o 3751 553.51/559.17 o 3746 554.11/559.71 o 3745 557.67/563.31 o 3744 558.17/563.84 o 3743 558.67/564.37 o 3742 559.26/564.91 o 3741 559.75/565.46 o 3739 561.34/567.06 o 3737 563.41/569.10 o 3736 564.40/570.15 o 3735 565.00/570.71 o 3730 565.50/571.26 o 3725 566.39/572.12 o 3720 568.37/574.12 o 3719 569.36/575.16 o 3717 570.95/576.74 o 3714 571.44/577.26 o 3712 571.94/577.80 o 3709 573.03/578.84 o 3708 574.61/580.41 o 3707 575.61/581.48 o 3705 576.20/582.03 o 3704 576.70/582.56 o 3697 577.79/583.63 o 3695 578.28/584.17 o 3693 581.64/587.56 o 3691 582.24/588.10 o 3689 582.73/588.63 o 3687 584.72/590.69 o 3685 588.68/594.64 o 3683 589.67/595.65 o 3681 591.25/597.21 o 3678 591.75/597.73 o 3675 592.64/598.67 o 3674 593.13/599.17 o 3673 593.63/599.67 o 3671 594.13/600.19 o 3669 594.72/600.71 o 3667 597.19/603.25 o 3666 597.69/603.76 o 3664 598.18/604.28 o 3663 599.27/605.31 o 3662 599.77/605.81 o 3660 600.26/606.32 o 3659 601.75/607.80 o 3658 602.25/608.31 o 3656 602.54/608.67 o 3654 603.04/609.18 o 3652 603.53/609.69 o 3649 604.03/610.19 o 3643 605.12/611.20 o 3641 608.09/614.22 o 3640 608.59/614.74 o 3635 609.08/615.21 o 3632 609.97/616.19 o 3630 610.47/616.67 o 3627 611.26/617.47 o 3624 611.75/617.96 o 3623 612.25/618.41 o 3622 612.65/618.89 o 3619 613.14/619.37 o 3618 613.64/619.86 o 3614 614.13/620.35 o 3613 614.63/620.82 o 3610 615.52/621.75 o 3607 616.50/622.73 o 3606 616.80/623.04 o 3605 617.30/623.51 o 3604 617.79/624.01 o 3600 618.19/624.47 o 3596 618.68/624.94 o 3594 619.18/625.43 o 3593 619.68/625.93 o 3592 620.17/626.42 o 3591 620.57/626.89 o 3586 621.07/627.34 o 3580 622.46/628.72 o 3579 622.95/629.21 o 3578 623.74/630.07 o 3576 624.14/630.46 o 3574 626.02/632.38 o 3573 626.52/632.86 o 3570 627.01/633.35 o 3569 627.41/633.79 o 3568 627.91/634.27 o 3564 628.40/634.78 o 3563 628.89/635.25 o 3560 630.38/636.77 o 3559 630.87/637.27 o 3555 631.37/637.78 o 3554 631.96/638.30 o 3552 632.26/638.65 o 3551 632.75/639.15 o 3548 634.74/641.16 o 3546 635.23/641.66 o 3543 635.73/642.16 o 3538 636.71/643.15 o 3533 637.21/643.65 o 3530 637.71/644.15 o 3527 638.20/644.64 o 3522 638.70/645.13 o 3519 640.18/646.65 o 3518 641.66/648.13 o 3516 642.65/649.13 o 3515 643.94/650.49 o 3511 645.53/652.05 o 3510 646.51/653.00 o 3509 646.91/653.48 o 3508 647.41/653.94 o 3505 648.79/655.35 o 3504 650.18/656.79 o 3503 653.45/660.07 o 3502 656.42/663.09 o 3500 656.91/663.56 o 3498 657.41/664.04 o 3496 658.30/664.98 o 3494 658.50/665.11 o 3491 659.39/666.07 o 3490 659.89/666.55 o 3488 660.38/667.03 o 3486 660.58/667.20 o 3482 665.44/672.19 o 3479 666.82/673.55 o 3477 667.22/673.93 o 3474 667.71/674.42 o 3473 668.11/674.88 o 3472 668.61/675.36 o 3469 672.66/679.49 o 3468 673.16/679.99 o 3467 673.66/680.46 o 3464 674.94/681.72 o 3463 675.93/682.70 o 3462 679.40/686.21 o 3461 679.90/686.73 o 3459 680.39/687.23 o 3454 681.87/688.73 o 3451 682.37/689.22 o 3448 683.16/690.00 o 3444 684.55/691.40 o 3442 684.75/691.68 o 3439 686.33/693.21 o 3437 686.82/693.71 o 3434 687.32/694.22 o 3433 687.82/694.72 o 3432 690.19/697.19 o 3429 691.29/698.22 o 3428 691.79/698.70 o 3427 692.78/699.72 o 3422 693.77/700.71 o 3421 694.16/701.19 o 3420 694.86/701.83 o 3416 695.35/702.32 o 3415 696.34/703.30 o 3414 698.22/705.24 o 3413 698.72/705.72 o 3410 699.11/706.20 o 3409 699.61/706.69 o 3405 700.40/707.45 o 3400 703.17/710.27 o 3399 703.66/710.73 o 3396 706.54/713.67 o 3392 706.84/713.92 o 3390 707.33/714.41 o 3388 707.73/714.89 o 3387 712.68/719.82 o 3386 713.18/720.33 o 3385 714.17/721.36 o 3384 714.67/721.87 o 3383 715.26/722.40 o 3382 719.42/726.67 o 3381 721.01/728.24 o 3376 725.07/732.33 o 3374 728.83/736.15 o 3373 729.42/736.71 o 3371 729.92/737.27 o 3369 737.74/745.14 o 3368 738.13/745.55 o 3365 738.63/746.10 o 3363 739.22/746.65 o 3362 739.82/747.20 o 3357 740.31/747.75 o 3356 741.41/748.84 o 3355 741.90/749.40 o 3354 742.89/750.36 o 3353 745.47/752.91 o 3351 745.97/753.45 o 3349 747.05/754.52 o 3348 747.55/755.05 o 3346 748.04/755.58 o 3344 748.14/755.66 o 3341 749.13/756.68 o 3338 749.73/757.21 o 3337 750.22/757.72 o 3336 751.80/759.31 o 3334 754.38/761.96 o 3333 754.97/762.51 o 3330 755.47/763.04 o 3327 755.96/763.59 o 3325 757.05/764.69 o 3324 759.13/766.71 o 3322 762.80/770.49 o 3319 763.00/770.69 o 3315 763.59/771.22 o 3313 764.08/771.75 o 3311 764.58/772.29 o 3307 765.17/772.81 o 3304 765.67/773.32 o 3303 766.66/774.36 o 3302 766.95/774.62 o 3301 767.44/775.13 o 3299 767.94/775.64 o 3298 770.53/778.22 o 3297 771.02/778.78 o 3295 780.03/787.88 o 3290 781.12/788.95 o 3288 781.61/789.50 o 3284 782.10/789.97 o 3282 784.19/792.02 o 3280 785.18/793.09 o 3279 786.86/794.70 o 3278 787.85/795.78 o 3277 788.45/796.36 o 3276 789.04/796.92 o 3272 789.54/797.48 o 3266 790.13/798.00 o 3264 790.62/798.57 o 3260 791.71/799.66 o 3258 792.80/800.76 o 3257 797.27/805.28 o 3252 797.86/805.82 o 3249 801.72/809.73 o 3248 802.32/810.32 o 3246 802.91/810.91 o 3245 803.41/811.46 o 3242 805.19/813.24 o 3241 806.28/814.31 o 3239 806.77/814.84 o 3237 807.27/815.38 o 3236 807.86/815.90 o 3235 808.56/816.62 o 3233 810.14/818.21 o 3229 811.13/819.30 o 3228 840.55/848.91 o 3227 841.04/849.48 o 3225 841.63/850.06 o 3224 842.62/851.02 o 3223 843.12/851.57 o 3222 843.71/852.14 o 3215 844.61/853.07 o 3213 845.20/853.65 o 3212 845.80/854.20 o 3208 846.29/854.76 o 3207 846.88/855.33 o 3200 847.38/855.88 o 3196 847.97/856.43 o 3194 849.07/857.52 o 3192 850.16/858.65 o 3188 850.75/859.24 o 3186 851.35/859.81 o 3183 851.84/860.39 o 3182 858.67/867.29 o 3181 859.86/868.41 o 3179 860.36/868.94 o 3177 860.86/869.48 o 3176 861.46/870.05 o 3173 870.66/879.27 o 3171 871.26/879.81 o 3170 871.76/880.36 o 3169 879.15/887.75 o 3166 880.35/888.90 o 3164 880.85/889.47 o 3162 881.45/890.04 o 3160 884.24/892.85 o 3159 885.45/894.06 o 3158 886.05/894.63 o 3157 886.64/895.21 o 3154 887.64/896.30 o 3153 888.24/896.86 o 3149 888.84/897.44 o 3148 890.54/899.17 o 3147 897.14/905.78 o 3145 905.73/914.38 o 3144 908.23/916.84 o 3143 908.83/917.46 o 3141 915.53/924.17 o 3140 916.13/924.78 o 3139 916.73/925.38 o 3136 918.53/927.19 o 3135 919.13/927.79 o 3134 919.73/928.39 o 3133 924.33/932.91 o 3131 924.93/933.52 o 3130 939.01/947.62 o 3129 939.31/948.00 o 3126 939.91/948.50 o 3125 940.41/949.07 o 3123 942.11/950.78 o 3122 943.31/951.97 o 3119 943.91/952.57 o 3118 948.50/957.14 o 3116 950.30/958.95 o 3114 952.10/960.79 o 3112 952.70/961.40 o 3111 953.40/962.00 o 3106 955.09/963.79 o 3105 955.69/964.40 o 3104 958.20/966.83 o 3103 959.39/968.05 o 3102 974.58/983.24 o 3101 975.18/983.82 o 3095 976.08/984.78 o 3092 976.68/985.35 o 3090 978.98/987.60 o 3089 995.47/1004.14 o 3088 995.97/1004.69 o 3086 1000.26/1008.92 o 3082 1001.26/1009.98 o 3080 1001.86/1010.55 o 3079 1002.46/1011.10 o 3077 1002.96/1011.66 o 3075 1005.25/1013.98 o 3074 1006.95/1015.62 o 3071 1008.65/1017.32 o 3069 1010.25/1018.98 o 3067 1010.85/1019.56 o 3066 1011.44/1020.15 o 3061 1012.05/1020.72 o 3060 1013.15/1021.87 o 3059 1015.64/1024.31 o 3056 1016.55/1025.25 o 3054 1017.14/1025.82 o 3053 1018.24/1026.98 o 3048 1018.84/1027.56 o 3043 1019.34/1028.06 o 3042 1021.03/1029.77 o 3041 1021.63/1030.34 o 3039 1022.13/1030.89 o 3037 1022.53/1031.29 o 3036 1023.14/1031.86 o 3033 1025.73/1034.46 o 3031 1026.33/1035.03 o 3030 1026.83/1035.59 o 3028 1030.23/1038.96 o 3021 1031.93/1040.66 o 3019 1036.83/1045.58 o 3016 1037.23/1046.00 o 3014 1037.83/1046.55 o 3011 1038.43/1047.11 o 3008 1041.33/1050.01 o 3007 1041.83/1050.60 o 3006 1042.43/1051.19 o 3005 1046.53/1055.29 o 3004 1047.12/1055.88 o 2996 1047.72/1056.46 o 2995 1048.92/1057.61 o 2994 1049.43/1058.18 o 2991 1050.02/1058.75 o 2986 1055.51/1064.23 o 2985 1059.20/1067.99 o 2983 1061.40/1070.20 o 2981 1063.20/1071.98 o 2980 1074.60/1083.35 o 2977 1075.20/1083.93 o 2975 1076.40/1085.18 o 2973 1076.60/1085.39 o 2970 1078.60/1087.30 o 2967 1079.20/1087.94 o 2966 1080.89/1089.60 o 2965 1081.49/1090.22 o 2962 1084.39/1093.19 o 2960 1085.09/1093.83 o 2959 1085.70/1094.45 o 2957 1086.89/1095.65 o 2954 1087.49/1096.26 o 2952 1087.79/1096.60 o 2947 1088.39/1097.17 o 2945 1088.99/1097.78 o 2943 1089.59/1098.38 o 2938 1090.19/1098.98 o 2937 1090.39/1099.14 o 2934 1090.99/1099.75 o 2932 1091.59/1100.37 o 2928 1092.09/1100.82 o 2925 1092.69/1101.41 o 2923 1093.29/1102.00 o 2921 1094.49/1103.23 o 2920 1101.68/1110.41 o 2919 1102.68/1111.41 o 2918 1103.18/1111.97 o 2914 1103.78/1112.56 o 2913 1104.38/1113.17 o 2911 1104.98/1113.76 o 2910 1106.77/1115.52 o 2909 1107.37/1116.11 o 2904 1107.78/1116.54 o 2901 1108.37/1117.11 o 2900 1111.27/1120.05 o 2899 1112.47/1121.22 o 2898 1112.97/1121.80 o 2896 1118.87/1127.64 o 2894 1120.06/1128.83 o 2892 1120.66/1129.42 o 2887 1122.26/1131.01 o 2882 1122.86/1131.60 o 2880 1124.06/1132.81 o 2879 1124.56/1133.40 o 2877 1125.27/1134.01 o 2876 1127.06/1135.82 o 2874 1131.56/1140.37 o 2873 1132.16/1141.00 o 2871 1132.85/1141.60 o 2869 1132.96/1141.79 o 2866 1133.55/1142.35 o 2864 1135.46/1144.20 o 2863 1135.96/1144.80 o 2862 1139.66/1148.44 o 2859 1140.25/1149.05 o 2857 1144.95/1153.76 o 2856 1172.43/1181.29 o 2852 1173.14/1181.93 o 2849 1178.33/1187.18 o 2847 1179.03/1187.83 o 2845 1192.01/1200.82 o 2844 1193.42/1202.22 o 2843 1196.91/1205.79 o 2841 1197.71/1206.50 o 2840 1199.11/1207.92 o 2839 1200.11/1208.95 o 2836 1200.41/1209.28 o 2834 1201.11/1209.99 o 2831 1204.00/1212.84 o 2830 1204.70/1213.55 o 2827 1205.40/1214.27 o 2826 1211.70/1220.59 o 2825 1212.50/1221.32 o 2824 1213.20/1222.05 o 2822 1213.90/1222.77 o 2821 1215.40/1224.22 o 2817 1215.99/1224.88 o 2816 1218.90/1227.78 o 2815 1220.39/1229.21 o 2814 1221.09/1229.94 o 2811 1221.79/1230.66 o 2809 1229.59/1238.45 o 2808 1234.09/1242.97 o 2807 1234.79/1243.68 o 2803 1237.58/1246.49 o 2802 1242.57/1251.43 o 2801 1245.97/1254.81 o 2800 1252.26/1261.12 o 2797 1259.36/1268.22 o 2796 1266.45/1275.39 o 2795 1269.56/1278.42 o 2794 1270.36/1279.22 o 2791 1271.06/1279.98 o 2786 1271.46/1280.32 o 2785 1274.45/1283.34 o 2784 1286.24/1295.10 o 2783 1289.24/1298.10 o 2782 1289.84/1298.79 o 2781 1291.44/1300.34 o 2777 1293.64/1302.59 o 2776 1296.74/1305.61 o 2775 1297.43/1306.32 o 2774 1298.94/1307.81 o 2773 1299.53/1308.44 o 2772 1300.03/1308.99 o 2769 1300.83/1309.72 o 2767 1301.53/1310.47 o 2766 1303.73/1312.69 o 2765 1305.22/1314.19 o 2764 1310.22/1319.17 o 2761 1313.33/1322.21 o 2759 1314.82/1323.78 o 2756 1317.92/1326.89 o 2754 1323.61/1332.58 o 2749 1325.52/1334.41 o 2747 1326.31/1335.21 o 2746 1327.81/1336.79 o 2745 1334.61/1343.55 o 2744 1335.41/1344.32 o 2742 1335.81/1344.75 o 2738 1336.60/1345.52 o 2735 1338.61/1347.55 o 2732 1339.40/1348.33 o 2727 1340.10/1349.07 o 2724 1340.90/1349.86 o 2723 1341.90/1350.85 o 2722 1342.60/1351.57 o 2721 1344.20/1353.17 o 2715 1345.00/1353.99 o 2714 1345.60/1354.57 o 2713 1349.69/1358.61 o 2712 1350.29/1359.24 o 2710 1351.09/1360.05 o 2707 1351.89/1360.85 o 2706 1352.69/1361.66 o 2703 1353.49/1362.45 o 2701 1354.30/1363.25 o 2700 1359.69/1368.67 o 2699 1360.49/1369.48 o 2697 1361.19/1370.15 o 2693 1363.29/1372.24 o 2690 1366.48/1375.44 o 2688 1367.28/1376.25 o 2685 1368.08/1377.05 o 2683 1369.58/1378.56 o 2680 1371.18/1380.15 o 2679 1375.07/1384.06 o 2678 1377.47/1386.47 o 2677 1379.18/1388.12 o 2675 1382.97/1391.94 o 2673 1383.57/1392.51 o 2672 1385.96/1394.90 o 2671 1386.46/1395.41 o 2666 1389.36/1398.38 o 2662 1390.17/1399.17 o 2660 1391.76/1400.79 o 2656 1399.25/1408.30 o 2655 1400.86/1409.89 o 2654 1401.26/1410.21 o 2651 1401.95/1411.00 o 2649 1405.25/1414.24 o 2647 1407.65/1416.66 o 2645 1408.45/1417.49 o 2644 1409.35/1418.33 o 2643 1410.15/1419.15 o 2641 1411.75/1420.77 o 2639 1413.35/1422.36 o 2638 1414.24/1423.20 o 2636 1415.04/1424.02 o 2634 1430.53/1439.56 o 2631 1431.33/1440.37 o 2629 1461.69/1470.78 1461.69/1470.78 search 1461.69/1470.78 run=0 nbConstraintChecks=3199630340 nbAssignments=3988 1461.69/1470.78 => wckTime=1453.401 cpuTime=1444.62 mem=85M874 1461.69/1470.78 1461.69/1470.78 global 1461.69/1470.78 nbConstraintChecks=3199630340 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 1461.69/1470.78 solvingWckTime=1453.384 solvingCpuTime=1444.61 expiredTime=no totalExploration=no nbFoundSolutions=0 1461.69/1470.78 globalCpuTime=1459.66 1461.69/1470.78 => wckTime=1470.432 cpuTime=1459.61 mem=85M874 1461.69/1470.78 1461.69/1470.78 solver DecomposerSolver being built... 1469.06/1478.17 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-1112977-1215876346/watcher-1112977-1215876346 -o /tmp/evaluation-result-1112977-1215876346/solver-1112977-1215876346 -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-1112977-1215876346.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.19 2.17 2.26 4/80 19975 /proc/meminfo: memFree=1842912/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=18572 CPUtime=0 /proc/19975/stat : 19975 (runsolver) R 19973 19975 19543 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 44336749 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0 /proc/19975/statm: 4643 292 257 25 0 2626 0 [startup+0.0919571 s] /proc/loadavg: 2.19 2.17 2.26 4/80 19975 /proc/meminfo: memFree=1842912/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=10904 CPUtime=0 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 811 0 0 0 0 0 0 0 18 0 2 0 44336749 11165696 564 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 2726 564 277 9 0 1198 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 10904 [startup+0.101959 s] /proc/loadavg: 2.19 2.17 2.26 4/80 19975 /proc/meminfo: memFree=1842912/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=859112 CPUtime=0.01 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 967 0 1 0 0 1 0 0 18 0 2 0 44336749 879730688 716 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 214778 716 377 9 0 213176 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 859112 [startup+0.302 s] /proc/loadavg: 2.19 2.17 2.26 4/80 19975 /proc/meminfo: memFree=1842912/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=866144 CPUtime=0.18 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 4535 0 1 0 15 3 0 0 18 0 9 0 44336749 886931456 3966 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216536 3966 1856 9 0 211084 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 866144 [startup+0.70108 s] /proc/loadavg: 2.19 2.17 2.26 4/80 19975 /proc/meminfo: memFree=1842912/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=866936 CPUtime=0.57 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 9280 0 1 0 51 6 0 0 18 0 9 0 44336749 887742464 8651 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216734 8651 1968 9 0 211262 0 Current children cumulated CPU time (s) 0.57 Current children cumulated vsize (KiB) 866936 [startup+1.50223 s] /proc/loadavg: 2.19 2.17 2.26 3/89 19984 /proc/meminfo: memFree=1794072/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867368 CPUtime=1.37 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 21888 0 1 0 125 12 0 0 18 0 9 0 44336749 888184832 21224 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216842 21224 2004 9 0 211370 0 [pid=19975/tid=19977] ppid=19973 vsize=867368 CPUtime=1.09 /proc/19975/task/19977/stat : 19977 (java) R 19973 19975 19543 0 -1 64 15768 0 1 0 100 9 0 0 24 0 9 0 44336753 888184832 21224 996147200 134512640 134550740 4294955952 18446744073709551615 4126528332 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867368 CPUtime=0.07 /proc/19975/task/19978/stat : 19978 (java) S 19973 19975 19543 0 -1 64 4817 0 0 0 6 1 0 0 16 0 9 0 44336759 888184832 21224 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867368 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888184832 21224 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867368 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44336760 888184832 21224 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867368 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888184832 21224 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867368 CPUtime=0.18 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 607 0 0 0 18 0 0 0 16 0 9 0 44336763 888184832 21224 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867368 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888184832 21224 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867368 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888184832 21224 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.37 Current children cumulated vsize (KiB) 867368 [startup+3.10153 s] /proc/loadavg: 2.19 2.17 2.26 4/89 19984 /proc/meminfo: memFree=1750808/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867368 CPUtime=2.95 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 27111 0 1 0 279 16 0 0 18 0 9 0 44336749 888184832 26445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216842 26445 2004 9 0 211370 0 [pid=19975/tid=19977] ppid=19973 vsize=867368 CPUtime=2.43 /proc/19975/task/19977/stat : 19977 (java) R 19973 19975 19543 0 -1 64 15772 0 1 0 233 10 0 0 25 0 9 0 44336753 888184832 26445 996147200 134512640 134550740 4294955952 18446744073709551615 102064644 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867368 CPUtime=0.31 /proc/19975/task/19978/stat : 19978 (java) S 19973 19975 19543 0 -1 64 10036 0 0 0 27 4 0 0 17 0 9 0 44336759 888184832 26445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867368 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888184832 26445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867368 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44336760 888184832 26445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867368 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888184832 26445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867368 CPUtime=0.18 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 607 0 0 0 18 0 0 0 16 0 9 0 44336763 888184832 26445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867368 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888184832 26445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867368 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888184832 26445 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 867368 [startup+6.30212 s] /proc/loadavg: 2.18 2.16 2.25 3/89 19984 /proc/meminfo: memFree=1742936/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867468 CPUtime=6.12 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 27169 0 1 0 595 17 0 0 18 0 9 0 44336749 888287232 26498 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216867 26498 2006 9 0 211395 0 [pid=19975/tid=19977] ppid=19973 vsize=867468 CPUtime=5.56 /proc/19975/task/19977/stat : 19977 (java) R 19973 19975 19543 0 -1 64 15809 0 1 0 546 10 0 0 25 0 9 0 44336753 888287232 26498 996147200 134512640 134550740 4294955952 18446744073709551615 4126895077 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867468 CPUtime=0.31 /proc/19975/task/19978/stat : 19978 (java) S 19973 19975 19543 0 -1 64 10036 0 0 0 27 4 0 0 17 0 9 0 44336759 888287232 26498 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888287232 26498 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44336760 888287232 26498 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888287232 26498 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867468 CPUtime=0.21 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 628 0 0 0 21 0 0 0 16 0 9 0 44336763 888287232 26498 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888287232 26498 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888287232 26498 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.12 Current children cumulated vsize (KiB) 867468 [startup+12.7013 s] /proc/loadavg: 2.16 2.16 2.25 3/89 19984 /proc/meminfo: memFree=1735128/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867468 CPUtime=12.46 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 30628 0 1 0 1227 19 0 0 18 0 9 0 44336749 888287232 29949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216867 29949 2007 9 0 211395 0 [pid=19975/tid=19977] ppid=19973 vsize=867468 CPUtime=11.62 /proc/19975/task/19977/stat : 19977 (java) R 19973 19975 19543 0 -1 64 15819 0 1 0 1150 12 0 0 25 0 9 0 44336753 888287232 29949 996147200 134512640 134550740 4294955952 18446744073709551615 4126892113 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867468 CPUtime=0.54 /proc/19975/task/19978/stat : 19978 (java) S 19973 19975 19543 0 -1 64 13441 0 0 0 48 6 0 0 17 0 9 0 44336759 888287232 29949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888287232 29949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44336760 888287232 29949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888287232 29949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867468 CPUtime=0.27 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 672 0 0 0 27 0 0 0 15 0 9 0 44336763 888287232 29949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888287232 29949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888287232 29949 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.46 Current children cumulated vsize (KiB) 867468 [startup+25.5027 s] /proc/loadavg: 2.13 2.15 2.25 3/89 19984 /proc/meminfo: memFree=1693464/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867556 CPUtime=25.12 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 40405 0 1 0 2487 25 0 0 18 0 9 0 44336749 888377344 39529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216889 39529 2640 9 0 211395 0 [pid=19975/tid=19977] ppid=19973 vsize=867556 CPUtime=23.19 /proc/19975/task/19977/stat : 19977 (java) R 19973 19975 19543 0 -1 64 15886 0 1 0 2305 14 0 0 25 0 9 0 44336753 888377344 39529 996147200 134512640 134550740 4294955952 18446744073709551615 4127218432 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867556 CPUtime=1.57 /proc/19975/task/19978/stat : 19978 (java) S 19973 19975 19543 0 -1 64 23121 0 0 0 148 9 0 0 16 0 9 0 44336759 888377344 39529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888377344 39529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44336760 888377344 39529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888377344 39529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867556 CPUtime=0.33 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 702 0 0 0 33 0 0 0 15 0 9 0 44336763 888377344 39529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888377344 39529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888377344 39529 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 867556 [startup+51.1026 s] /proc/loadavg: 2.16 2.16 2.25 3/89 19984 /proc/meminfo: memFree=1693592/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867556 CPUtime=50.44 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 40407 0 1 0 5014 30 0 0 18 0 9 0 44336749 888377344 39530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216889 39530 2640 9 0 211395 0 [pid=19975/tid=19977] ppid=19973 vsize=867556 CPUtime=48.5 /proc/19975/task/19977/stat : 19977 (java) R 19973 19975 19543 0 -1 64 15887 0 1 0 4832 18 0 0 25 0 9 0 44336753 888377344 39530 996147200 134512640 134550740 4294955952 18446744073709551615 4127051639 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867556 CPUtime=1.57 /proc/19975/task/19978/stat : 19978 (java) S 19973 19975 19543 0 -1 64 23121 0 0 0 148 9 0 0 16 0 9 0 44336759 888377344 39530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888377344 39530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44336760 888377344 39530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888377344 39530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867556 CPUtime=0.33 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 703 0 0 0 33 0 0 0 16 0 9 0 44336763 888377344 39530 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867556 CPUtime=0 ################ # More data... # ################ /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44336760 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867556 CPUtime=0.35 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 714 0 0 0 35 0 0 0 16 0 9 0 44336763 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1424.53 Current children cumulated vsize (KiB) 867556 [startup+1459.1 s] /proc/loadavg: 2.73 2.31 2.18 3/91 20032 /proc/meminfo: memFree=15688/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867556 CPUtime=1450.11 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 40420 0 1 0 144900 111 0 0 18 0 9 0 44336749 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216889 39542 2640 9 0 211395 0 [pid=19975/tid=19977] ppid=19973 vsize=867556 CPUtime=1448.15 /proc/19975/task/19977/stat : 19977 (java) R 19973 19975 19543 0 -1 64 15889 0 1 0 144716 99 0 0 25 0 9 0 44336753 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4126892160 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867556 CPUtime=1.57 /proc/19975/task/19978/stat : 19978 (java) S 19973 19975 19543 0 -1 64 23121 0 0 0 148 9 0 0 16 0 9 0 44336759 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 44336760 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867556 CPUtime=0.35 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 714 0 0 0 35 0 0 0 16 0 9 0 44336763 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867556 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888377344 39542 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1450.11 Current children cumulated vsize (KiB) 867556 [startup+1471.9 s] /proc/loadavg: 2.79 2.34 2.19 5/91 20080 /proc/meminfo: memFree=1686920/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867468 CPUtime=1462.86 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 80352 0 1 0 146153 133 0 0 18 0 9 0 44336749 888287232 79402 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216867 79412 2619 9 0 211395 0 [pid=19975/tid=19977] ppid=19973 vsize=867468 CPUtime=1460.42 /proc/19975/task/19977/stat : 19977 (java) R 19973 19975 19543 0 -1 64 15970 0 1 0 145936 106 0 0 18 0 9 0 44336753 888287232 79418 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867468 CPUtime=2.01 /proc/19975/task/19978/stat : 19978 (java) R 19973 19975 19543 0 -1 64 62948 0 0 0 176 25 0 0 16 0 9 0 44336759 888287232 79425 996147200 134512640 134550740 4294955952 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888287232 79432 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 23 0 0 0 0 0 0 0 15 0 9 0 44336760 888287232 79438 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888287232 79446 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867468 CPUtime=0.4 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 743 0 0 0 39 1 0 0 15 0 9 0 44336763 888287232 79453 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888287232 79460 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888287232 79468 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1462.86 Current children cumulated vsize (KiB) 867468 [startup+1475.11 s] /proc/loadavg: 2.80 2.35 2.19 3/91 20080 /proc/meminfo: memFree=1134600/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867972 CPUtime=1466.06 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 200978 0 1 0 146426 180 0 0 18 0 9 0 44336749 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216993 199574 2618 9 0 211521 0 [pid=19975/tid=19977] ppid=19973 vsize=867972 CPUtime=1460.76 /proc/19975/task/19977/stat : 19977 (java) S 19973 19975 19543 0 -1 64 15982 0 1 0 145970 106 0 0 21 0 9 0 44336753 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867972 CPUtime=4.88 /proc/19975/task/19978/stat : 19978 (java) R 19973 19975 19543 0 -1 64 183539 0 0 0 416 72 0 0 18 0 9 0 44336759 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867972 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867972 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44336760 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867972 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867972 CPUtime=0.4 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 743 0 0 0 39 1 0 0 15 0 9 0 44336763 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867972 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867972 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888803328 199574 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1466.06 Current children cumulated vsize (KiB) 867972 [startup+1476.7 s] /proc/loadavg: 2.80 2.35 2.19 3/91 20080 /proc/meminfo: memFree=1122440/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867468 CPUtime=1467.66 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 201233 0 1 0 146585 181 0 0 18 0 9 0 44336749 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216867 199449 2618 9 0 211395 0 [pid=19975/tid=19977] ppid=19973 vsize=867468 CPUtime=1460.77 /proc/19975/task/19977/stat : 19977 (java) S 19973 19975 19543 0 -1 64 15984 0 1 0 145971 106 0 0 20 0 9 0 44336753 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867468 CPUtime=6.45 /proc/19975/task/19978/stat : 19978 (java) R 19973 19975 19543 0 -1 64 183792 0 0 0 573 72 0 0 20 0 9 0 44336759 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 102721957 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44336760 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867468 CPUtime=0.4 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 743 0 0 0 39 1 0 0 15 0 9 0 44336763 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1467.66 Current children cumulated vsize (KiB) 867468 [startup+1477.5 s] /proc/loadavg: 2.80 2.35 2.19 3/91 20080 /proc/meminfo: memFree=1110152/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867972 CPUtime=1468.46 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 201359 0 1 0 146665 181 0 0 18 0 9 0 44336749 888803328 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216993 199575 2618 9 0 211521 0 [pid=19975/tid=19977] ppid=19973 vsize=867972 CPUtime=1460.77 /proc/19975/task/19977/stat : 19977 (java) S 19973 19975 19543 0 -1 64 15984 0 1 0 145971 106 0 0 20 0 9 0 44336753 888803328 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867972 CPUtime=7.25 /proc/19975/task/19978/stat : 19978 (java) R 19973 19975 19543 0 -1 64 183918 0 0 0 653 72 0 0 22 0 9 0 44336759 888803328 199575 996147200 134512640 134550740 4294955952 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867972 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888803328 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867972 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44336760 888803328 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867972 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888803328 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867972 CPUtime=0.4 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 743 0 0 0 39 1 0 0 15 0 9 0 44336763 888803328 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867972 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888803328 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867972 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888803328 199575 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1468.46 Current children cumulated vsize (KiB) 867972 [startup+1477.9 s] /proc/loadavg: 2.80 2.35 2.19 3/91 20080 /proc/meminfo: memFree=1110152/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=867468 CPUtime=1468.86 /proc/19975/stat : 19975 (java) S 19973 19975 19543 0 -1 0 201359 0 1 0 146705 181 0 0 18 0 9 0 44336749 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 216867 199449 2618 9 0 211395 0 [pid=19975/tid=19977] ppid=19973 vsize=867468 CPUtime=1460.77 /proc/19975/task/19977/stat : 19977 (java) S 19973 19975 19543 0 -1 64 15984 0 1 0 145971 106 0 0 16 0 9 0 44336753 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19978] ppid=19973 vsize=867468 CPUtime=7.65 /proc/19975/task/19978/stat : 19978 (java) R 19973 19975 19543 0 -1 64 183918 0 0 0 693 72 0 0 23 0 9 0 44336759 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19979] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19979/stat : 19979 (java) S 19973 19975 19543 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44336760 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19980] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19980/stat : 19980 (java) S 19973 19975 19543 0 -1 64 23 0 0 0 0 0 0 0 16 0 9 0 44336760 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19981] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19981/stat : 19981 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44336763 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19982] ppid=19973 vsize=867468 CPUtime=0.4 /proc/19975/task/19982/stat : 19982 (java) S 19973 19975 19543 0 -1 64 743 0 0 0 39 1 0 0 15 0 9 0 44336763 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 [pid=19975/tid=19983] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19983/stat : 19983 (java) S 19973 19975 19543 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44336763 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 [pid=19975/tid=19984] ppid=19973 vsize=867468 CPUtime=0 /proc/19975/task/19984/stat : 19984 (java) S 19973 19975 19543 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 44336763 888287232 199449 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1468.86 Current children cumulated vsize (KiB) 867468 [startup+1478.3 s] /proc/loadavg: 2.80 2.35 2.19 3/84 20080 /proc/meminfo: memFree=1641160/2055920 swapFree=4180224/4192956 [pid=19975] ppid=19973 vsize=0 CPUtime=1469.21 /proc/19975/stat : 19975 (java) Z 19973 19975 19543 0 -1 12 201367 0 1 0 146732 189 0 0 16 0 2 0 44336749 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 /proc/19975/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1469.21 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1478.35 CPU time (s): 1469.26 CPU user time (s): 1467.32 CPU system time (s): 1.9357 CPU usage (%): 99.3853 Max. virtual memory (cumulated for all children) (KiB): 867972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1467.32 system time used= 1.93571 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 201367 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= 32124 involuntary context switches= 45162 runsolver used 1.9857 second user time and 4.99624 second system time The end
Begin job on node21 at 2008-07-12 17:25:46 IDJOB=1112977 IDBENCH=61506 IDSOLVER=359 FILE ID=node21/1112977-1215876346 PBS_JOBID= 7903539 Free space on /tmp= 66472 MiB SOLVER NAME= AbsconMax 112 pc-w 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-wdeg.xml 1 XSax BENCHNAME RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112977-1215876346/watcher-1112977-1215876346 -o /tmp/evaluation-result-1112977-1215876346/solver-1112977-1215876346 -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-1112977-1215876346.xml TIME LIMIT= 3600 seconds MEMORY LIMIT= 900 MiB MD5SUM BENCH= 3ec556ad251960bf7980f3107ef7856e RANDOM SEED=1004145041 node21.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.257 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.257 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: 1843584 kB Buffers: 3144 kB Cached: 42812 kB SwapCached: 6200 kB Active: 163432 kB Inactive: 5052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843584 kB SwapTotal: 4192956 kB SwapFree: 4180224 kB Dirty: 7816 kB Writeback: 0 kB Mapped: 139068 kB Slab: 28832 kB Committed_AS: 970756 kB PageTables: 2044 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= 66420 MiB End job on node21 at 2008-07-12 17:50:25