Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Hybrid 2018-08-14 | SAT (TO) | 51114875 | 252.232 | 230.396 |
Name | Fapp/Fapp-m2s/ Fapp-m2s-test01-0150_c18.xml |
MD5SUM | deef1e755c9079fc369bbf159731f616 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 18292601 |
Best CPU time to get the best result obtained on this benchmark | 252.062 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2328 |
Number of constraints | 1459 |
Number of domains | 42 |
Minimum domain size | 2 |
Maximum domain size | 151 |
Distribution of domain sizes | [{"size":2,"count":826},{"size":11,"count":676},{"size":12,"count":1},{"size":21,"count":68},{"size":57,"count":16},{"size":61,"count":10},{"size":67,"count":17},{"size":69,"count":10},{"size":77,"count":22},{"size":79,"count":2},{"size":81,"count":11},{"size":84,"count":3},{"size":99,"count":10},{"size":102,"count":17},{"size":104,"count":3},{"size":106,"count":17},{"size":114,"count":2},{"size":116,"count":14},{"size":117,"count":77},{"size":121,"count":12},{"size":125,"count":11},{"size":128,"count":8},{"size":129,"count":4},{"size":131,"count":118},{"size":133,"count":17},{"size":136,"count":68},{"size":138,"count":7},{"size":139,"count":11},{"size":141,"count":78},{"size":143,"count":11},{"size":144,"count":5},{"size":146,"count":98},{"size":148,"count":12},{"size":151,"count":66}] |
Minimum variable degree | 2 |
Maximum variable degree | 677 |
Distribution of variable degrees | [{"degree":2,"count":2027},{"degree":3,"count":2},{"degree":4,"count":7},{"degree":5,"count":12},{"degree":6,"count":22},{"degree":7,"count":33},{"degree":8,"count":30},{"degree":9,"count":30},{"degree":10,"count":30},{"degree":11,"count":34},{"degree":12,"count":37},{"degree":13,"count":48},{"degree":14,"count":15},{"degree":677,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 6 |
Distribution of constraint arities | [{"arity":2,"count":108},{"arity":3,"count":675},{"arity":6,"count":676}] |
Number of extensional constraints | 676 |
Number of intensional constraints | 783 |
Distribution of constraint types | [{"type":"extension","count":676},{"type":"intension","count":783}] |
Optimization problem | YES |
Type of objective | min SUM |
0.68/0.55 c version: 2018-08-14 0.68/0.55 c seed: 41029999 0.68/0.55 c timeout: 252 0.68/0.56 c memlimit: 11000 0.68/0.56 c nbcore: 4 0.68/0.58 c Parsing instance... 17.42/10.52 c Parsing done, starting first complete search... 18.35/10.81 o 53064169 18.35/10.81 o 53057416 18.35/10.82 o 53050656 18.35/10.82 o 53050649 18.35/10.83 o 53043887 18.35/10.84 o 53043878 18.35/10.84 o 53037122 18.35/10.85 o 53037118 18.35/10.86 o 53030362 18.35/10.86 o 53030361 18.35/10.88 o 53030360 18.35/10.89 o 53030358 18.35/10.90 o 53030357 18.69/10.91 o 53030353 18.69/10.91 o 53030352 18.69/10.91 o 53023582 18.69/10.92 o 53016831 18.69/10.93 o 53016824 18.69/10.93 o 53016823 18.69/10.94 o 53010084 18.69/10.94 o 53003323 18.69/10.95 o 53003318 18.69/10.95 o 53003307 18.69/10.95 o 53003306 18.69/10.96 o 53003304 18.69/10.97 o 53003303 18.69/10.97 o 53003295 18.69/10.98 o 53003291 18.69/10.98 o 53003283 18.69/10.98 o 53003282 18.69/11.00 o 53003281 19.02/11.01 o 53003277 19.02/11.01 o 53003276 19.02/11.01 o 52996532 19.02/11.01 o 52996527 19.02/11.01 o 52996526 19.02/11.03 o 52996524 19.02/11.04 o 52996520 19.02/11.08 o 52982983 19.02/11.09 o 52982980 19.02/11.10 o 52982979 19.32/11.11 o 52976227 19.32/11.12 o 52976226 19.32/11.13 o 52976225 19.32/11.17 o 52976222 19.59/11.23 o 52976221 19.59/11.25 o 52976219 19.59/11.25 o 52976218 19.59/11.27 o 52976217 19.59/11.27 o 52969464 19.59/11.27 o 52969463 19.59/11.29 o 52969462 19.89/11.31 o 52969461 19.89/11.32 o 52969458 19.89/11.34 o 52969457 19.89/11.35 o 52969454 19.89/11.36 o 52969451 19.89/11.36 o 52969449 19.89/11.36 o 52969441 19.89/11.37 o 52969438 20.19/11.40 o 52969437 20.19/11.42 o 52962684 20.19/11.42 o 52962683 20.19/11.42 o 52962679 20.19/11.45 o 52962678 20.49/11.52 o 52962677 20.49/11.54 o 52955927 20.49/11.54 o 52955924 20.49/11.54 o 52955923 20.49/11.54 o 52955922 20.49/11.55 o 52955919 20.49/11.59 o 52949168 20.49/11.59 o 52949167 20.49/11.59 o 52949165 20.49/11.59 o 52949164 20.49/11.59 o 52949163 20.49/11.60 o 52949160 20.69/11.60 o 52949159 20.69/11.63 o 52949158 20.69/11.63 o 52949157 20.69/11.63 o 52949154 20.69/11.64 o 52949153 20.69/11.65 o 52942400 20.69/11.65 o 52942396 20.69/11.65 o 52935627 20.69/11.66 o 52935626 20.69/11.66 o 52935620 20.69/11.66 o 52935619 20.69/11.66 o 52935617 20.69/11.67 o 52935611 20.69/11.67 o 52935609 20.69/11.68 o 52935608 20.69/11.68 o 52935607 20.69/11.68 o 52935606 20.69/11.69 o 52935605 20.69/11.69 o 52935602 20.69/11.70 o 52935600 20.81/11.71 o 52935599 20.81/11.71 o 52928858 20.81/11.73 o 52928850 20.81/11.73 o 52928844 20.81/11.73 o 52928843 20.81/11.74 o 52928837 20.81/11.77 o 52928835 20.81/11.77 o 52928834 20.81/11.78 o 52928826 20.81/11.78 o 52928825 20.81/11.78 o 52928824 20.81/11.78 o 52928823 20.81/11.80 o 52928822 20.92/11.82 o 52928821 20.92/11.82 o 52928820 20.92/11.89 o 52922094 20.92/11.89 o 52922093 20.92/11.89 o 52922092 20.92/11.89 o 52922087 21.04/11.90 o 52922085 21.04/11.90 o 52922082 21.04/11.90 o 52922078 21.04/11.91 o 52922077 21.04/11.91 o 52922076 21.04/11.92 o 52922073 21.04/11.93 o 52922065 21.04/11.93 o 52922058 21.04/11.94 o 52922057 21.04/11.97 o 52922054 21.04/11.99 o 52922053 21.04/11.99 o 52922052 21.04/12.00 o 52922051 21.44/12.23 o 52922049 21.44/12.23 o 52922048 21.44/12.23 o 52922047 21.44/12.25 o 52922046 21.44/12.26 o 52922045 21.58/12.30 o 52915320 21.58/12.30 o 52915314 21.58/12.30 o 52915313 21.58/12.30 o 52915310 21.58/12.30 o 52915309 21.58/12.31 o 52915305 21.58/12.31 o 52915304 21.58/12.32 o 52915301 21.58/12.33 o 52915299 21.58/12.33 o 52915293 21.58/12.34 o 52915290 21.58/12.37 o 52915289 21.58/12.37 o 52915288 21.68/12.46 o 52915287 21.78/12.52 o 52908533 21.78/12.52 o 52908530 21.78/12.52 o 52908529 21.78/12.53 o 52908528 21.78/12.53 o 52908527 21.78/12.53 o 52908525 21.78/12.54 o 52908524 21.78/12.54 o 52908521 21.78/12.54 o 52908520 21.78/12.54 o 52908519 21.78/12.54 o 52908518 21.88/12.66 o 52908516 21.88/12.67 o 52908515 21.88/12.67 o 52908514 21.98/12.71 o 52908513 21.98/12.76 o 52901744 21.98/12.76 o 52888215 21.98/12.76 o 52888214 21.98/12.77 o 52888213 22.08/12.85 o 52881472 22.08/12.85 o 52881471 22.08/12.85 o 52881463 22.08/12.85 o 52881460 22.08/12.85 o 52881459 22.08/12.86 o 52881457 22.08/12.87 o 52881456 22.08/12.87 o 52881455 22.08/12.87 o 52881454 22.08/12.88 o 52881447 22.08/12.88 o 52881446 22.08/12.89 o 52881445 22.29/13.03 o 52874711 22.29/13.03 o 52874710 22.29/13.03 o 52874704 22.29/13.03 o 52874696 22.29/13.04 o 52874693 22.29/13.04 o 52874692 22.29/13.04 o 52874691 22.39/13.12 o 52874690 22.39/13.18 o 52874689 22.39/13.18 o 52874686 22.39/13.18 o 52874683 22.39/13.18 o 52874682 22.49/13.28 o 52874675 22.49/13.28 o 52867920 22.49/13.28 o 52867919 22.49/13.29 o 52861166 22.49/13.29 o 52854406 22.59/13.30 o 52854404 22.59/13.33 o 52854403 22.59/13.35 o 52854399 22.59/13.35 o 52854398 22.59/13.35 o 52854397 22.69/13.41 o 52854391 22.69/13.41 o 52854390 22.69/13.41 o 52854389 22.69/13.42 o 52854382 22.69/13.45 o 52854377 22.69/13.45 o 52854376 22.79/13.53 o 52854375 22.79/13.54 o 52854373 22.79/13.54 o 52847609 22.79/13.56 o 52840870 22.79/13.56 o 52840869 22.79/13.56 o 52840867 22.79/13.57 o 52840865 22.79/13.57 o 52840858 22.79/13.58 o 52840850 22.89/13.60 o 52840849 22.89/13.60 o 52840848 23.26/13.77 o 52840847 23.26/13.77 o 52840846 23.26/13.79 o 52840845 23.26/13.80 o 52834090 23.58/13.80 o 52834089 23.58/13.80 o 52834088 23.58/13.81 o 52834087 23.68/13.90 o 52834086 23.68/13.91 o 52834085 25.10/15.34 o 52827354 25.10/15.34 o 52827348 25.10/15.34 o 52827347 25.10/15.34 o 52827344 25.10/15.35 o 52827341 25.10/15.35 o 52827334 25.10/15.35 o 52827333 25.10/15.36 o 52827329 25.10/15.37 o 52827328 25.10/15.38 o 52827327 25.10/15.38 o 52827326 25.21/15.46 o 52827325 25.31/15.57 o 52820586 25.31/15.57 o 52813818 25.31/15.57 o 52813815 25.31/15.58 o 52813811 25.31/15.58 o 52813808 25.31/15.58 o 52813802 25.41/15.60 o 52813800 25.41/15.60 o 52813799 25.41/15.61 o 52813798 25.41/15.61 o 52813797 25.41/15.62 o 52813786 25.41/15.62 o 52813780 25.41/15.64 o 52813769 25.41/15.64 o 52813767 25.41/15.64 o 52813766 25.41/15.64 o 52813765 25.41/15.64 o 52813764 25.41/15.65 o 52813763 25.41/15.66 o 52813756 25.41/15.67 o 52806996 26.12/16.33 o 52806995 28.25/18.40 o 52806994 28.25/18.40 o 52806993 44.06/34.21 c First complete search done, starting ALNS search... 44.36/34.47 o 52800317 44.36/34.47 o 52800295 44.36/34.47 o 52800294 44.36/34.48 o 52800293 44.36/34.48 o 52800292 44.36/34.48 o 52800289 44.36/34.48 o 52800287 44.36/34.48 o 52800286 44.36/34.48 o 52800285 44.36/34.49 o 52800278 44.36/34.49 o 52800277 44.36/34.49 o 52800276 44.36/34.49 o 52800275 44.36/34.49 o 52800269 44.36/34.50 o 52800268 44.47/34.50 o 52800267 44.47/34.50 o 52800266 44.47/34.50 o 52800265 44.47/34.50 o 52800264 44.47/34.51 o 52800263 44.47/34.51 o 52800262 44.47/34.51 o 52800261 44.47/34.51 o 52800260 44.47/34.52 o 52800258 44.47/34.52 o 52800252 44.47/34.52 o 52800251 44.47/34.52 o 52800247 44.47/34.53 o 52800246 44.47/34.53 o 52793542 44.47/34.53 o 52793520 44.47/34.53 o 52793513 44.47/34.53 o 52793512 44.47/34.53 o 52793504 44.47/34.54 o 52793503 44.47/34.54 o 52793494 44.47/34.54 o 52793493 44.47/34.54 o 52793492 44.47/34.54 o 52793489 44.47/34.54 o 52793488 44.47/34.55 o 52793487 44.47/34.55 o 52793486 44.47/34.55 o 52793485 44.47/34.55 o 52793484 44.47/34.56 o 52793483 44.47/34.57 o 52793479 44.47/34.57 o 52793478 44.47/34.57 o 52793476 44.47/34.57 o 52793475 44.47/34.57 o 52793471 44.47/34.57 o 52793470 44.47/34.58 o 52793469 44.47/34.58 o 52786763 44.47/34.59 o 52786741 44.47/34.59 o 52786736 44.47/34.59 o 52786735 44.47/34.59 o 52786734 44.47/34.59 o 52786732 44.47/34.59 o 52786731 44.47/34.60 o 52786726 44.47/34.60 o 52786725 44.58/34.60 o 52786724 44.58/34.60 o 52786721 44.58/34.60 o 52786720 44.58/34.60 o 52786719 44.58/34.61 o 52786718 44.58/34.61 o 52786717 44.58/34.61 o 52786716 44.58/34.62 o 52786715 44.58/34.62 o 52786711 44.58/34.62 o 52786710 44.58/34.62 o 52786709 44.58/34.63 o 52786708 44.58/34.64 o 52786707 44.58/34.65 o 52786706 44.58/34.65 o 52786705 44.58/34.66 o 52779981 44.58/34.66 o 52779971 44.58/34.66 o 52779966 44.58/34.66 o 52779965 44.58/34.67 o 52779964 44.58/34.67 o 52779960 44.58/34.67 o 52779959 44.58/34.67 o 52779958 44.58/34.68 o 52779957 44.58/34.68 o 52779954 44.58/34.68 o 52779953 44.70/34.70 o 52779952 44.70/34.73 o 52779949 44.70/34.74 o 52779948 44.70/34.74 o 52779947 44.70/34.74 o 52779945 44.70/34.74 o 52779941 44.70/34.74 o 52779937 44.70/34.75 o 52779936 44.70/34.75 o 52779933 44.70/34.75 o 52779932 44.70/34.75 o 52779928 44.70/34.75 o 52779925 44.70/34.76 o 52779924 44.70/34.76 o 52779920 44.70/34.76 o 52779919 45.23/35.28 o 52779913 45.46/35.40 o 52773189 45.46/35.40 o 52773188 45.46/35.40 o 52773187 45.46/35.41 o 52773185 45.46/35.41 o 52773184 45.46/35.41 o 52773183 45.46/35.41 o 52773181 45.46/35.41 o 52773180 45.46/35.42 o 52773179 45.46/35.42 o 52773178 45.46/35.42 o 52773176 45.46/35.42 o 52773175 45.46/35.42 o 52766424 45.46/35.42 o 52766423 45.46/35.43 o 52766416 45.46/35.43 o 52766412 45.46/35.43 o 52766411 45.46/35.43 o 52766409 45.46/35.43 o 52766408 45.46/35.44 o 52759659 45.46/35.44 o 52759652 45.46/35.44 o 52759651 45.46/35.44 o 52759650 45.46/35.44 o 52759648 45.46/35.44 o 52759647 45.46/35.45 o 52752904 45.46/35.45 o 52752896 45.46/35.45 o 52752892 45.69/35.63 o 52752891 45.69/35.63 o 52752889 45.69/35.63 o 52752888 45.69/35.64 o 52752886 45.69/35.64 o 52752885 45.69/35.64 o 52752882 45.69/35.64 o 52752880 45.69/35.64 o 52752879 45.69/35.64 o 52752878 45.69/35.64 o 52752876 45.69/35.65 o 52752875 45.69/35.65 o 52752873 45.69/35.65 o 52752872 45.69/35.65 o 52752870 45.69/35.65 o 52752869 45.69/35.65 o 52752868 45.69/35.65 o 52752867 45.87/35.77 o 52746098 45.87/35.77 o 52739337 45.87/35.78 o 52732576 45.87/35.78 o 52732568 45.87/35.78 o 52725807 46.54/36.03 o 52719046 46.54/36.03 o 52712286 46.54/36.04 o 52698765 46.54/36.04 o 52692004 46.54/36.04 o 52685244 46.54/36.04 o 52685243 46.54/36.05 o 52678485 46.54/36.05 o 52678484 46.54/36.05 o 52678483 46.54/36.05 o 52678482 46.54/36.05 o 52671724 46.54/36.05 o 52671723 46.54/36.07 o 52671722 46.54/36.07 o 52664963 47.25/36.40 o 52543154 47.25/36.40 o 52529633 47.25/36.40 o 52522871 47.25/36.41 o 52522864 47.25/36.41 o 52516102 47.25/36.41 o 52516095 47.25/36.42 o 52509333 47.25/36.43 o 52509332 47.25/36.43 o 52509331 47.25/36.44 o 52502569 47.25/36.45 o 52502568 47.25/36.45 o 52502566 47.25/36.45 o 52502562 47.25/36.46 o 52502553 47.25/36.46 o 52495800 47.25/36.46 o 52495796 47.25/36.46 o 52495789 47.25/36.47 o 52489027 47.25/36.47 o 52489021 47.25/36.47 o 52482259 47.25/36.47 o 52475506 47.25/36.48 o 52475505 47.25/36.48 o 52475495 47.25/36.49 o 52468740 47.25/36.49 o 52468730 47.25/36.49 o 52468729 47.25/36.50 o 52461980 47.40/36.50 o 52455227 47.40/36.50 o 52455217 47.40/36.50 o 52455214 47.40/36.50 o 52455204 47.40/36.50 o 52448461 47.40/36.50 o 52448451 47.40/36.53 o 52448447 47.40/36.53 o 52448444 47.40/36.53 o 52448434 47.40/36.54 o 52441681 47.40/36.54 o 52441671 47.40/36.54 o 52434927 47.40/36.55 o 52434917 47.40/36.57 o 52434915 47.40/36.57 o 52428162 47.40/36.58 o 52428149 47.40/36.58 o 52421396 47.40/36.58 o 52421386 47.40/36.59 o 52414643 47.40/36.59 o 52414633 47.40/36.59 o 52414632 47.53/36.61 o 52407883 47.53/36.62 o 52407873 47.53/36.62 o 52407872 47.53/36.62 o 52407871 47.53/36.64 o 52407864 47.53/36.64 o 52407862 47.53/36.65 o 52407857 47.53/36.65 o 52401114 47.53/36.65 o 52401104 47.53/36.66 o 52401103 47.53/36.67 o 52401102 47.53/36.67 o 52401097 47.53/36.67 o 52401087 47.53/36.68 o 52394343 47.53/36.68 o 52394333 47.64/36.71 o 52387582 47.64/36.71 o 52387572 47.64/36.73 o 52380821 47.64/36.73 o 52380811 47.64/36.73 o 52380810 47.64/36.75 o 52374059 47.64/36.75 o 52374049 47.64/36.75 o 52374044 47.64/36.75 o 52367297 47.64/36.75 o 52367287 47.64/36.76 o 52367283 47.64/36.76 o 52360530 47.64/36.76 o 52360520 47.64/36.77 o 52353783 47.64/36.77 o 52353773 47.64/36.78 o 52353767 47.64/36.78 o 52353757 47.64/36.78 o 52347014 47.64/36.78 o 52347004 47.64/36.78 o 52346998 47.64/36.79 o 52340245 47.64/36.79 o 52340235 47.64/36.79 o 52333491 47.64/36.79 o 52333481 47.75/36.80 o 52333480 47.75/36.81 o 52333479 47.75/36.82 o 52333476 47.75/36.82 o 52333475 47.75/36.82 o 52326723 47.75/36.82 o 52326713 47.75/36.84 o 52319970 47.75/36.84 o 52319960 47.75/36.85 o 52319959 47.75/36.86 o 52319956 47.75/36.87 o 52313208 47.75/36.87 o 52313198 50.42/37.61 o 52313187 50.42/37.61 o 52313177 50.42/37.66 o 52306441 50.42/37.67 o 52306431 50.52/37.71 o 52306424 50.52/37.71 o 52306414 50.52/37.77 o 52306413 50.62/37.83 o 52306399 50.62/37.83 o 52306389 50.62/37.83 o 52306383 50.62/37.85 o 52299647 50.62/37.85 o 52299637 50.62/37.85 o 52299636 50.62/37.86 o 52299629 50.62/37.86 o 52299619 50.62/37.86 o 52299618 50.62/37.88 o 52292867 50.62/37.88 o 52292857 50.62/37.89 o 52292856 50.72/37.91 o 52292855 50.72/37.94 o 52292850 50.72/37.95 o 52292849 50.72/37.95 o 52286113 50.72/37.95 o 52286103 50.83/38.01 o 52286102 50.83/38.01 o 52286096 50.83/38.08 o 52279378 50.83/38.08 o 52279368 50.83/38.08 o 52279360 50.83/38.09 o 52279350 51.03/38.22 o 52279345 51.03/38.25 o 52272621 51.03/38.25 o 52272611 51.03/38.26 o 52272603 51.03/38.26 o 52272593 52.56/39.67 o 52272523 52.56/39.67 o 52272520 52.56/39.68 o 52272509 52.56/39.68 o 52272506 52.56/39.69 o 52272504 52.66/39.73 o 52272503 52.66/39.73 o 52272502 52.66/39.73 o 52272501 52.66/39.74 o 52272500 52.66/39.74 o 52272499 52.97/40.03 o 52265793 52.97/40.03 o 52265790 52.97/40.04 o 52265788 52.97/40.05 o 52265766 52.97/40.05 o 52265763 52.97/40.05 o 52265761 52.97/40.06 o 52265752 52.97/40.06 o 52265749 52.97/40.07 o 52265747 53.07/40.18 o 52265746 53.07/40.18 o 52265745 53.07/40.18 o 52265744 53.07/40.19 o 52265743 53.07/40.19 o 52265742 53.27/40.36 o 52265740 54.59/41.26 o 52252212 54.59/41.26 o 52252210 54.59/41.26 o 52245451 54.59/41.27 o 52245450 54.59/41.27 o 52238691 54.59/41.28 o 52238688 54.59/41.28 o 52231930 54.59/41.28 o 52231927 54.59/41.30 o 52225169 54.69/41.30 o 52225166 54.69/41.31 o 52218409 54.69/41.31 o 52218406 54.69/41.32 o 52218405 54.69/41.32 o 52211645 54.69/41.33 o 52211644 54.69/41.34 o 52211643 54.69/41.34 o 52204884 54.69/41.35 o 52204883 54.69/41.35 o 52198123 54.69/41.36 o 52198120 54.69/41.37 o 52198119 54.69/41.38 o 52191360 54.69/41.38 o 52191357 54.79/41.40 o 52191356 54.79/41.40 o 52184597 54.79/41.41 o 52184594 54.79/41.43 o 52184586 54.79/41.44 o 52184583 54.90/41.53 o 52177824 54.90/41.55 o 52177814 54.90/41.56 o 52177813 54.90/41.57 o 52177810 54.99/41.61 o 52171072 54.99/41.62 o 52171063 54.99/41.63 o 52171060 54.99/41.69 o 52171054 55.09/41.70 o 52171053 55.09/41.71 o 52164293 55.09/41.74 o 52164291 55.09/41.75 o 52164290 55.32/41.82 o 52157552 55.32/41.83 o 52157551 55.32/41.83 o 52157542 55.32/41.84 o 52157540 55.32/41.84 o 52157539 55.43/41.92 o 52150788 55.43/41.93 o 52150779 55.43/41.94 o 52150776 56.45/42.96 o 52150687 56.45/42.96 o 52150679 56.45/42.97 o 52150678 56.45/42.98 o 52150677 56.45/42.98 o 52150675 56.45/42.99 o 52150671 56.45/42.99 o 52150670 56.45/43.00 o 52150669 56.62/43.01 o 52150666 56.62/43.02 o 52150665 56.62/43.03 o 52150664 56.62/43.04 o 52150662 56.62/43.04 o 52150661 56.62/43.05 o 52150660 56.62/43.05 o 52150659 56.62/43.06 o 52150658 56.62/43.07 o 52150654 56.62/43.07 o 52150653 56.62/43.10 o 52143941 56.62/43.10 o 52143930 56.62/43.11 o 52143924 56.73/43.12 o 52143919 56.73/43.13 o 52143917 56.73/43.13 o 52143916 56.73/43.13 o 52143911 56.73/43.14 o 52143910 56.73/43.15 o 52143905 56.73/43.16 o 52143904 56.73/43.16 o 52143901 56.73/43.16 o 52143900 56.73/43.17 o 52143899 56.73/43.18 o 52143898 56.73/43.19 o 52143893 57.12/43.55 o 52143891 57.12/43.56 o 52143890 57.12/43.57 o 52143884 57.12/43.59 o 52143882 57.12/43.59 o 52143881 57.22/43.60 o 52143880 57.22/43.60 o 52143879 57.22/43.61 o 52143874 57.22/43.62 o 52143873 57.22/43.68 o 52137154 57.22/43.68 o 52137148 57.22/43.68 o 52137146 57.22/43.69 o 52137145 57.22/43.69 o 52137140 57.22/43.69 o 52137139 57.32/43.71 o 52137135 57.32/43.71 o 52137134 57.32/43.72 o 52137133 57.32/43.73 o 52137129 57.32/43.73 o 52137128 57.32/43.73 o 52137127 57.32/43.74 o 52137126 57.32/43.74 o 52137120 57.32/43.75 o 52137119 57.32/43.75 o 52137115 57.32/43.76 o 52137114 57.32/43.76 o 52137113 57.32/43.78 o 52137112 57.32/43.79 o 52137107 57.42/43.83 o 52130387 57.42/43.84 o 52130386 57.42/43.84 o 52130385 57.42/43.85 o 52130377 57.42/43.85 o 52130376 57.42/43.86 o 52130368 57.42/43.87 o 52130367 57.42/43.88 o 52130363 57.42/43.88 o 52130362 57.42/43.89 o 52130361 57.53/43.90 o 52130357 57.53/43.91 o 52130356 57.53/43.92 o 52130355 57.53/43.93 o 52130351 57.53/43.93 o 52130350 57.53/43.95 o 52130348 57.53/43.95 o 52130347 57.53/43.96 o 52130346 57.53/43.96 o 52130345 57.53/43.97 o 52130341 57.53/43.98 o 52130340 57.53/43.98 o 52130339 58.03/44.42 o 52130334 58.03/44.43 o 52130333 58.13/44.52 o 52130332 58.23/44.66 o 52130331 58.23/44.68 o 52130330 58.33/44.70 o 52130329 58.33/44.72 o 52130326 58.94/45.34 o 52123607 58.94/45.34 o 52123597 58.94/45.34 o 52123593 58.94/45.34 o 52123583 58.94/45.35 o 52123574 58.94/45.35 o 52116854 58.94/45.35 o 52116844 58.94/45.36 o 52116840 58.94/45.36 o 52116830 58.94/45.36 o 52116821 58.94/45.38 o 52116812 58.94/45.39 o 52110082 58.94/45.39 o 52110073 58.94/45.39 o 52110068 58.94/45.39 o 52110059 58.94/45.39 o 52110058 59.04/45.40 o 52110049 59.04/45.41 o 52110040 59.04/45.42 o 52103320 59.04/45.42 o 52103306 59.04/45.42 o 52103297 59.04/45.42 o 52103296 59.04/45.42 o 52103287 59.04/45.44 o 52103285 59.04/45.44 o 52103280 59.04/45.44 o 52096547 59.04/45.44 o 52096537 59.04/45.44 o 52096533 59.04/45.44 o 52096523 59.04/45.45 o 52096514 59.04/45.46 o 52089794 59.04/45.46 o 52089784 59.04/45.46 o 52089780 59.04/45.46 o 52089770 59.04/45.47 o 52089761 59.04/45.49 o 52083020 59.04/45.50 o 52083011 59.14/45.50 o 52083006 59.14/45.50 o 52082997 59.14/45.51 o 52082993 59.14/45.51 o 52082992 59.14/45.51 o 52082983 59.14/45.52 o 52076263 59.14/45.52 o 52076249 59.14/45.53 o 52076239 59.14/45.53 o 52076230 59.14/45.54 o 52076224 59.14/45.55 o 52076216 59.14/45.56 o 52076207 59.14/45.56 o 52076201 59.14/45.58 o 52069487 59.14/45.58 o 52069478 59.14/45.58 o 52069473 59.14/45.58 o 52069464 59.14/45.59 o 52069463 59.14/45.59 o 52069454 59.25/45.60 o 52069448 59.25/45.61 o 52069447 59.25/45.61 o 52069446 59.25/45.61 o 52069437 59.25/45.63 o 52062717 59.25/45.63 o 52062703 59.25/45.64 o 52062693 59.25/45.64 o 52062684 59.25/45.66 o 52062678 59.25/45.70 o 52062675 59.35/45.71 o 52062669 59.35/45.77 o 52062661 59.45/45.81 o 52055950 59.45/45.81 o 52055941 59.45/45.81 o 52055936 59.45/45.81 o 52055927 59.45/45.81 o 52055926 59.45/45.81 o 52055917 59.45/45.82 o 52055908 59.45/45.88 o 52055902 59.55/45.94 o 52055900 59.55/45.95 o 52055897 59.55/45.96 o 52055891 59.55/45.99 o 52055888 59.66/46.04 o 52055887 59.66/46.06 o 52049167 59.66/46.06 o 52049157 59.66/46.06 o 52049148 59.66/46.07 o 52049144 59.66/46.07 o 52049143 59.66/46.07 o 52049134 59.66/46.09 o 52049128 59.75/46.13 o 52049125 59.75/46.14 o 52049119 60.05/46.40 o 52042448 60.05/46.41 o 52042439 60.05/46.41 o 52042438 60.05/46.41 o 52042429 60.05/46.41 o 52042424 60.05/46.41 o 52042415 60.05/46.41 o 52042410 60.05/46.41 o 52042408 60.05/46.41 o 52042403 60.05/46.43 o 52042402 60.05/46.43 o 52042397 60.05/46.43 o 52042396 60.05/46.44 o 52042393 60.05/46.44 o 52042384 60.05/46.46 o 52035660 60.05/46.46 o 52035650 60.05/46.46 o 52035641 60.05/46.46 o 52035637 60.05/46.46 o 52035636 60.05/46.46 o 52035627 60.05/46.47 o 52035626 60.05/46.47 o 52035621 60.05/46.48 o 52035620 60.05/46.48 o 52035614 60.15/46.51 o 52028906 60.15/46.51 o 52028897 60.15/46.51 o 52028896 60.15/46.51 o 52028887 60.15/46.51 o 52028883 60.15/46.51 o 52028882 60.15/46.51 o 52028873 60.15/46.52 o 52028871 60.15/46.52 o 52028866 60.15/46.54 o 52028860 60.65/46.80 o 52022165 60.65/46.80 o 52022156 60.65/46.81 o 52022155 60.65/46.81 o 52022146 60.65/46.81 o 52022142 60.65/46.81 o 52022141 60.65/46.81 o 52022132 60.65/46.81 o 52022127 60.65/46.82 o 52022126 60.65/46.82 o 52022121 60.65/46.84 o 52022120 60.65/46.84 o 52022115 60.65/46.84 o 52022106 60.65/46.84 o 52022101 60.65/46.85 o 52015377 60.65/46.85 o 52015368 60.65/46.86 o 52015363 60.65/46.86 o 52015354 60.65/46.86 o 52015353 60.65/46.86 o 52015349 60.65/46.86 o 52015344 60.65/46.87 o 52015343 60.65/46.87 o 52015338 60.75/46.93 o 52015337 60.75/46.93 o 52015331 60.86/47.08 o 52015325 60.86/47.09 o 52015323 60.86/47.09 o 52015318 60.96/47.13 o 52015317 60.96/47.13 o 52015312 61.19/47.36 o 52015299 61.19/47.36 o 52015283 61.19/47.37 o 52015269 61.19/47.38 o 52015268 61.19/47.38 o 52015261 61.19/47.39 o 52015257 61.31/47.40 o 52015249 61.31/47.41 o 52008556 61.31/47.41 o 52008540 61.31/47.41 o 52008526 61.31/47.42 o 52001802 61.31/47.42 o 52001788 61.31/47.42 o 52001779 61.31/47.42 o 52001777 61.31/47.43 o 52001763 61.31/47.43 o 52001751 61.31/47.44 o 52001740 61.31/47.45 o 51995022 61.31/47.45 o 51995010 61.31/47.45 o 51995006 61.31/47.45 o 51994994 61.31/47.46 o 51994983 61.31/47.46 o 51994969 61.31/47.47 o 51994961 61.31/47.48 o 51994956 61.31/47.48 o 51988261 61.31/47.49 o 51988245 61.31/47.49 o 51988244 61.31/47.49 o 51988241 61.31/47.50 o 51981510 61.41/47.50 o 51981494 61.41/47.50 o 51981482 61.41/47.51 o 51981479 61.41/47.51 o 51981468 61.41/47.52 o 51981459 61.41/47.52 o 51981451 61.41/47.52 o 51981446 61.41/47.53 o 51974745 61.41/47.53 o 51974733 61.41/47.53 o 51974729 61.41/47.54 o 51974717 61.41/47.54 o 51974715 61.41/47.54 o 51974703 61.41/47.54 o 51974692 61.41/47.55 o 51974683 61.41/47.55 o 51974675 61.41/47.57 o 51974674 61.51/47.60 o 51967970 61.51/47.60 o 51967954 61.51/47.60 o 51967945 61.51/47.61 o 51967942 61.51/47.61 o 51967940 61.51/47.61 o 51967931 61.51/47.61 o 51967923 61.51/47.62 o 51967918 61.51/47.62 o 51967910 62.46/48.54 o 51961205 62.46/48.54 o 51961204 62.46/48.55 o 51961190 62.46/48.56 o 51961179 62.46/48.57 o 51961178 62.56/48.60 o 51961177 62.56/48.60 o 51961176 62.66/48.78 o 51961170 62.76/48.84 o 51961169 62.76/48.84 o 51961168 62.76/48.89 o 51954434 62.76/48.89 o 51954420 62.86/48.90 o 51954410 62.86/48.91 o 51954409 62.86/48.92 o 51954408 62.86/48.92 o 51954407 62.86/48.93 o 51954406 62.97/49.08 o 51954405 62.97/49.09 o 51954400 62.97/49.10 o 51947670 62.97/49.10 o 51947660 62.97/49.10 o 51947656 62.97/49.10 o 51947646 63.07/49.14 o 51947642 63.07/49.15 o 51947637 63.07/49.16 o 51940907 63.07/49.16 o 51940897 63.07/49.16 o 51940893 63.07/49.16 o 51940883 63.07/49.18 o 51940882 63.07/49.18 o 51940877 63.18/49.20 o 51934152 63.18/49.20 o 51934138 63.18/49.20 o 51934133 63.18/49.21 o 51934123 63.18/49.25 o 51934121 63.18/49.26 o 51934120 63.18/49.26 o 51934106 63.18/49.27 o 51927367 63.18/49.28 o 51927362 63.18/49.28 o 51927353 63.18/49.28 o 51927348 63.28/49.30 o 51920613 63.28/49.30 o 51920599 63.28/49.31 o 51920594 63.28/49.33 o 51920591 63.28/49.34 o 51913854 63.28/49.34 o 51913844 63.28/49.35 o 51913830 63.28/49.35 o 51913825 63.28/49.38 o 51913824 63.28/49.38 o 51907088 63.28/49.38 o 51907078 63.28/49.38 o 51907074 63.28/49.38 o 51907064 63.28/49.39 o 51907059 63.37/49.43 o 51900346 63.37/49.43 o 51900332 63.37/49.44 o 51900327 63.37/49.44 o 51900322 63.37/49.45 o 51900317 63.37/49.49 o 51900309 63.47/49.52 o 51893580 63.47/49.52 o 51893566 63.47/49.53 o 51893561 63.47/49.53 o 51893556 63.47/49.54 o 51893548 63.47/49.54 o 51893543 63.47/49.59 o 51886831 63.47/49.59 o 51886826 63.47/49.59 o 51886817 63.47/49.59 o 51886812 63.47/49.59 o 51886807 63.47/49.60 o 51886802 63.57/49.60 o 51886794 63.57/49.61 o 51886789 63.67/49.76 o 51886785 63.67/49.77 o 51886784 63.67/49.77 o 51886775 63.67/49.77 o 51886770 63.77/49.83 o 51880060 63.77/49.83 o 51880050 63.77/49.84 o 51880036 63.77/49.84 o 51880031 63.77/49.85 o 51880026 63.77/49.85 o 51880021 63.77/49.86 o 51873289 63.77/49.87 o 51873279 63.77/49.87 o 51873265 63.77/49.90 o 51866530 63.87/49.90 o 51866516 63.87/49.90 o 51866511 63.87/49.93 o 51866503 63.87/49.93 o 51866498 63.87/50.00 o 51859780 63.87/50.00 o 51859766 63.87/50.00 o 51859761 63.98/50.01 o 51859751 63.98/50.03 o 51859738 63.98/50.06 o 51853026 63.98/50.06 o 51853021 63.98/50.06 o 51853012 63.98/50.06 o 51853007 63.98/50.06 o 51853002 63.98/50.06 o 51852997 63.98/50.07 o 51852989 63.98/50.07 o 51852984 64.18/50.29 o 51852981 64.18/50.30 o 51852976 65.11/51.10 o 51805627 65.11/51.10 o 51805626 65.61/51.54 o 51805621 65.61/51.54 o 51805620 65.91/51.89 o 51805617 65.91/51.89 o 51805616 66.01/51.90 o 51798857 66.01/51.91 o 51798856 67.07/52.86 o 51798852 67.07/52.89 o 51798848 67.17/52.90 o 51798847 67.17/52.92 o 51792101 67.17/52.92 o 51792095 67.17/52.93 o 51792089 67.17/52.93 o 51792088 67.28/53.07 o 51792083 68.18/53.91 o 51792057 68.18/53.91 o 51792048 68.30/54.08 o 51792046 68.30/54.08 o 51792042 68.30/54.08 o 51792038 68.30/54.09 o 51792035 68.30/54.10 o 51792031 68.30/54.10 o 51792027 68.40/54.16 o 51792021 68.40/54.16 o 51792020 68.69/54.47 o 51785292 68.69/54.47 o 51785283 68.69/54.47 o 51785282 68.69/54.47 o 51785276 68.69/54.48 o 51785275 68.89/54.61 o 51785270 68.89/54.61 o 51785269 68.89/54.61 o 51785263 68.89/54.62 o 51785262 70.10/55.82 o 51785253 70.10/55.82 o 51785250 70.10/55.83 o 51785249 70.10/55.84 o 51785248 70.10/55.85 o 51785247 70.10/55.85 o 51785244 70.10/55.85 o 51785241 70.10/55.86 o 51785239 70.20/55.98 o 51785234 70.20/55.98 o 51785233 70.31/56.01 o 51778474 70.31/56.02 o 51778473 70.31/56.04 o 51778472 70.31/56.05 o 51778471 70.31/56.07 o 51778470 70.41/56.19 o 51778469 70.60/56.36 o 51771711 70.60/56.36 o 51771710 70.60/56.37 o 51771709 70.60/56.37 o 51771708 70.60/56.38 o 51771707 70.70/56.40 o 51771706 72.13/57.73 o 51764963 72.13/57.74 o 51764953 72.13/57.74 o 51764952 72.13/57.75 o 51764950 72.13/57.75 o 51764949 72.13/57.76 o 51764947 72.13/57.77 o 51764946 72.13/57.77 o 51764945 72.13/57.78 o 51764944 72.75/58.19 o 51764943 74.75/60.19 o 51764935 74.84/60.20 o 51758180 74.84/60.21 o 51751424 74.84/60.21 o 51751423 74.94/60.38 o 51751422 75.14/60.53 o 51744676 75.14/60.53 o 51744675 75.14/60.54 o 51744667 75.14/60.54 o 51744666 75.14/60.55 o 51744664 75.14/60.55 o 51744658 75.14/60.55 o 51744657 75.14/60.56 o 51737900 75.14/60.56 o 51737899 75.14/60.57 o 51737894 75.14/60.58 o 51737893 75.45/60.89 o 51737877 75.45/60.90 o 51737874 75.55/60.90 o 51737873 75.55/60.90 o 51737870 75.55/60.92 o 51737869 75.55/60.93 o 51737867 75.55/60.93 o 51731116 75.55/60.94 o 51731115 75.55/60.94 o 51731112 76.85/62.22 o 51724386 77.15/62.51 o 51717624 77.15/62.52 o 51717623 77.35/62.73 o 51717605 77.35/62.73 o 51717595 77.35/62.73 o 51717590 77.35/62.75 o 51717589 77.35/62.80 o 51717585 77.45/62.80 o 51717584 77.45/62.81 o 51717583 77.45/62.83 o 51717579 77.45/62.84 o 51717575 77.45/62.84 o 51717574 77.45/62.88 o 51717572 77.56/62.91 o 51717571 77.56/62.91 o 51717570 77.56/62.91 o 51717569 77.56/62.92 o 51717568 77.56/62.92 o 51717563 77.56/62.98 o 51710836 77.56/62.98 o 51710826 77.56/62.98 o 51710821 77.56/63.00 o 51710820 77.56/63.00 o 51710819 77.56/63.00 o 51710815 77.67/63.01 o 51710814 77.67/63.03 o 51710813 77.67/63.03 o 51710812 77.67/63.04 o 51710811 77.67/63.04 o 51710807 77.67/63.05 o 51710806 77.67/63.05 o 51710805 77.67/63.10 o 51710802 77.77/63.11 o 51710798 77.77/63.11 o 51710797 77.77/63.16 o 51704070 77.77/63.17 o 51704060 77.77/63.18 o 51704055 77.77/63.19 o 51704054 77.77/63.19 o 51704049 77.86/63.20 o 51704048 77.86/63.21 o 51704046 77.86/63.22 o 51704045 77.86/63.23 o 51704044 77.86/63.23 o 51704040 77.86/63.23 o 51704039 82.53/67.74 o 51704038 82.74/68.00 o 51697276 84.78/69.70 o 51697272 84.78/69.71 o 51697271 84.78/69.72 o 51690529 84.78/69.72 o 51690523 84.78/69.72 o 51690514 84.78/69.74 o 51690491 84.78/69.74 o 51683748 84.78/69.74 o 51683741 84.78/69.74 o 51683735 84.78/69.74 o 51676976 84.78/69.76 o 51676975 84.78/69.76 o 51670218 84.78/69.79 o 51670212 84.78/69.79 o 51670203 84.88/69.80 o 51670192 84.88/69.82 o 51670191 84.88/69.83 o 51663434 85.13/70.02 o 51663419 85.13/70.03 o 51663415 85.13/70.06 o 51663410 85.13/70.08 o 51663409 85.13/70.09 o 51663404 85.23/70.11 o 51656647 85.32/70.20 o 51649892 85.32/70.23 o 51649891 85.32/70.26 o 51649888 85.32/70.27 o 51649887 85.42/70.32 o 51643135 85.42/70.34 o 51643132 85.42/70.35 o 51643131 85.42/70.38 o 51643120 85.42/70.38 o 51643119 85.52/70.43 o 51643118 85.52/70.46 o 51636363 85.62/70.51 o 51636360 85.62/70.52 o 51636359 85.62/70.57 o 51636346 85.72/70.63 o 51629604 85.72/70.65 o 51629590 85.72/70.68 o 51629586 86.02/70.91 o 51629585 86.02/70.95 o 51629579 86.02/70.97 o 51629575 86.02/70.97 o 51622826 86.02/70.98 o 51622816 86.32/71.20 o 51622812 86.32/71.25 o 51622811 87.42/72.34 o 51622810 89.22/73.91 o 51622792 89.22/73.92 o 51622778 89.22/73.97 o 51622776 89.33/74.06 o 51622773 89.52/74.23 o 51622770 89.72/74.45 o 51622769 90.03/74.78 o 51616011 90.03/74.78 o 51616009 90.23/74.91 o 51616000 90.23/74.99 o 51615999 90.34/75.04 o 51615998 90.74/75.47 o 51615993 90.74/75.48 o 51615989 90.74/75.48 o 51615988 90.74/75.48 o 51615987 91.26/75.97 o 51615986 91.56/76.28 o 51615985 91.56/76.28 o 51615984 91.67/76.31 o 51609227 91.67/76.33 o 51609226 91.67/76.35 o 51609224 91.67/76.35 o 51609223 91.67/76.36 o 51609219 91.67/76.36 o 51602478 91.67/76.36 o 51602468 91.97/76.61 o 51602467 91.97/76.63 o 51602460 91.97/76.64 o 51602459 91.97/76.66 o 51602458 92.27/76.99 o 51602457 92.27/77.00 o 51595705 92.27/77.00 o 51595701 92.39/77.02 o 51595697 92.39/77.03 o 51595696 92.39/77.04 o 51595692 92.49/77.11 o 51595691 92.68/77.31 o 51595685 92.68/77.33 o 51588932 92.68/77.39 o 51582161 92.78/77.42 o 51575406 92.88/77.54 o 51575405 93.68/78.35 o 51575402 94.39/79.09 o 51575401 94.39/79.10 o 51575400 94.49/79.14 o 51575397 94.49/79.15 o 51575396 94.89/79.33 o 51568666 94.89/79.34 o 51568659 94.89/79.35 o 51568656 94.89/79.36 o 51568649 94.89/79.36 o 51568648 94.89/79.37 o 51568644 94.89/79.37 o 51568643 95.02/79.41 o 51568641 95.02/79.42 o 51568636 95.02/79.43 o 51568635 95.02/79.46 o 51568632 95.02/79.47 o 51568631 95.12/79.54 o 51568630 95.12/79.56 o 51561885 95.12/79.56 o 51561884 95.12/79.57 o 51561880 95.12/79.58 o 51561879 95.22/79.61 o 51561876 95.22/79.62 o 51561875 95.22/79.65 o 51561872 95.22/79.66 o 51561871 95.22/79.67 o 51561868 95.22/79.68 o 51561867 95.32/79.72 o 51561863 95.32/79.73 o 51561862 95.32/79.74 o 51561861 95.32/79.75 o 51561859 95.32/79.75 o 51561858 95.32/79.77 o 51561855 95.32/79.78 o 51561854 95.42/79.80 o 51561851 95.42/79.82 o 51561850 95.42/79.85 o 51555133 95.42/79.86 o 51555132 95.42/79.88 o 51555129 95.42/79.88 o 51555126 95.42/79.89 o 51555125 95.52/79.90 o 51555116 95.52/79.92 o 51555115 95.52/79.94 o 51555114 95.52/79.95 o 51555111 95.52/79.95 o 51555110 95.52/79.99 o 51555107 95.52/80.00 o 51555106 95.63/80.01 o 51555104 95.63/80.02 o 51555102 95.63/80.03 o 51555097 95.63/80.03 o 51555096 95.63/80.04 o 51555094 95.63/80.05 o 51555093 95.63/80.07 o 51555090 95.63/80.08 o 51555089 95.73/80.11 o 51555086 95.73/80.13 o 51555085 95.73/80.14 o 51555082 95.73/80.15 o 51555081 95.73/80.19 o 51555078 95.82/80.20 o 51555077 95.82/80.21 o 51548359 95.82/80.22 o 51548354 95.82/80.23 o 51548349 95.82/80.24 o 51548344 95.82/80.25 o 51548339 95.82/80.26 o 51548334 95.82/80.27 o 51548332 95.82/80.28 o 51548327 95.82/80.29 o 51548326 95.92/80.31 o 51548324 95.92/80.32 o 51548319 95.92/80.33 o 51548318 95.92/80.37 o 51548317 95.92/80.38 o 51548315 95.92/80.39 o 51548314 96.24/80.69 o 51541603 96.34/80.70 o 51541593 96.34/80.73 o 51541579 96.34/80.75 o 51541578 96.34/80.77 o 51541577 96.44/80.80 o 51541571 96.44/80.87 o 51541570 96.44/80.89 o 51541566 96.54/80.90 o 51541565 96.54/80.92 o 51541564 96.54/80.99 o 51534812 96.64/81.07 o 51534807 96.64/81.08 o 51534806 96.64/81.09 o 51534805 96.74/81.12 o 51534797 96.74/81.14 o 51534796 96.74/81.17 o 51534790 96.74/81.18 o 51534789 96.84/81.24 o 51534785 96.84/81.25 o 51534784 96.84/81.27 o 51534783 97.14/81.50 o 51534782 97.14/81.50 o 51534781 97.14/81.54 o 51534780 97.14/81.58 o 51534777 97.24/81.61 o 51534776 97.24/81.62 o 51534775 97.24/81.64 o 51534774 97.44/81.90 o 51528027 97.54/81.91 o 51528026 97.54/81.91 o 51528025 97.54/81.91 o 51528024 97.54/81.93 o 51528023 97.54/81.96 o 51528008 97.54/81.97 o 51528007 97.54/81.97 o 51528006 97.54/81.98 o 51528005 97.54/81.98 o 51528001 97.54/81.98 o 51528000 97.54/81.98 o 51527999 97.54/81.98 o 51521244 97.54/81.99 o 51521243 97.54/81.99 o 51521242 97.65/82.10 o 51521241 97.65/82.11 o 51521240 97.75/82.14 o 51514478 97.75/82.14 o 51514477 97.75/82.14 o 51514476 97.75/82.18 o 51514475 97.84/82.23 o 51514473 97.84/82.23 o 51514472 97.84/82.24 o 51514471 97.84/82.24 o 51507714 97.84/82.24 o 51507713 97.84/82.26 o 51507712 98.14/82.53 o 51507710 98.14/82.54 o 51500949 98.24/82.66 o 51500948 98.34/82.76 o 51494189 98.34/82.76 o 51494187 99.26/83.61 o 51494179 99.26/83.66 o 51487431 99.26/83.69 o 51487417 99.36/83.73 o 51480677 99.36/83.74 o 51480668 99.36/83.78 o 51480654 99.46/83.82 o 51480651 99.46/83.82 o 51480642 99.46/83.85 o 51473904 99.46/83.87 o 51473895 99.46/83.88 o 51473893 99.46/83.88 o 51473881 99.56/83.97 o 51473880 100.36/84.73 o 51473879 100.36/84.73 o 51473878 100.36/84.73 o 51473877 100.46/84.84 o 51467134 100.46/84.85 o 51467133 100.46/84.85 o 51467124 100.98/85.15 o 51460377 100.98/85.16 o 51460369 101.07/85.29 o 51460367 101.17/85.30 o 51460366 101.17/85.33 o 51460356 101.17/85.33 o 51453597 101.37/85.57 o 51446834 101.77/85.97 o 51446833 101.77/86.00 o 51446832 101.88/86.04 o 51446831 101.88/86.07 o 51446830 102.27/86.46 o 51440107 102.27/86.46 o 51440106 102.27/86.47 o 51440105 102.27/86.47 o 51440097 102.27/86.47 o 51440096 102.27/86.47 o 51440095 102.27/86.48 o 51440094 102.27/86.50 o 51440087 102.37/86.50 o 51440084 102.37/86.51 o 51440083 102.37/86.51 o 51440082 102.47/86.61 o 51440077 102.47/86.61 o 51440074 102.47/86.61 o 51440073 102.47/86.62 o 51440072 103.17/87.36 o 51440067 103.27/87.44 o 51433320 103.27/87.44 o 51433313 103.27/87.46 o 51433311 103.57/87.73 o 51433310 103.88/88.08 o 51433305 103.88/88.08 o 51433304 103.88/88.09 o 51433303 104.28/88.45 o 51433302 104.28/88.45 o 51433300 104.28/88.45 o 51433299 104.28/88.45 o 51433298 105.60/89.71 o 51433294 105.60/89.76 o 51433293 106.84/90.77 o 51433292 106.84/90.77 o 51433291 107.38/91.27 o 51426540 107.48/91.31 o 51426535 107.48/91.36 o 51426534 108.08/91.93 o 51419784 108.08/91.94 o 51419778 108.08/91.95 o 51419777 108.19/92.01 o 51419776 108.19/92.10 o 51419775 108.29/92.11 o 51419774 108.29/92.12 o 51419768 108.29/92.16 o 51419767 108.58/92.41 o 51419763 108.58/92.44 o 51419762 108.78/92.64 o 51419755 108.78/92.64 o 51419754 108.78/92.66 o 51419753 109.08/93.00 o 51419751 109.19/93.04 o 51419750 109.19/93.04 o 51419749 109.19/93.04 o 51419739 109.19/93.05 o 51419738 109.19/93.06 o 51419734 109.29/93.14 o 51413009 109.29/93.15 o 51412999 109.29/93.15 o 51412998 109.29/93.15 o 51412988 109.29/93.16 o 51412980 109.29/93.16 o 51412976 109.59/93.45 o 51412975 109.79/93.70 o 51406220 109.89/93.70 o 51406219 109.89/93.74 o 51406218 109.89/93.75 o 51406217 109.89/93.77 o 51406216 110.20/94.03 o 51406215 110.20/94.06 o 51399463 110.20/94.07 o 51399456 111.09/94.92 o 51399454 111.60/95.50 o 51399453 116.71/100.32 o 51399452 116.71/100.34 o 51399451 116.71/100.38 o 51399450 116.71/100.38 o 51399449 117.62/101.20 o 51399447 117.82/101.45 o 51399442 117.82/101.50 o 51399441 118.02/101.69 o 51399434 118.12/101.75 o 51392687 118.12/101.78 o 51392673 118.22/101.83 o 51392672 121.12/104.58 o 51392665 121.22/104.64 o 51392664 121.32/104.73 o 51392663 121.32/104.74 o 51392662 121.42/104.82 o 51392661 121.63/105.05 o 51392660 122.32/105.77 o 51392659 122.32/105.78 o 51392650 122.92/106.38 o 51392649 123.22/106.66 o 51392647 123.22/106.67 o 51392646 123.32/106.71 o 51392645 123.32/106.76 o 51392643 123.43/106.88 o 51385886 123.43/106.88 o 51385884 123.83/107.22 o 51385883 123.83/107.29 o 51385876 123.93/107.32 o 51385874 124.24/107.43 o 51385873 124.24/107.45 o 51379132 124.24/107.45 o 51379123 124.24/107.46 o 51379122 124.24/107.47 o 51379118 124.34/107.51 o 51379117 126.74/110.01 o 51372374 126.85/110.02 o 51372373 126.95/110.13 o 51372360 126.95/110.17 o 51372357 126.95/110.17 o 51372356 128.15/111.38 o 51372347 128.25/111.42 o 51372346 128.25/111.47 o 51365587 132.00/114.90 o 51365580 132.00/114.91 o 51365579 132.41/115.31 o 51365578 132.51/115.40 o 51365577 132.51/115.43 o 51365574 132.51/115.47 o 51358809 132.81/115.79 o 51358808 133.81/116.74 o 51358807 134.13/117.04 o 51358799 134.13/117.06 o 51358798 134.13/117.06 o 51358792 134.13/117.06 o 51358791 134.13/117.08 o 51358789 134.13/117.09 o 51358788 134.13/117.10 o 51358787 134.13/117.10 o 51358786 134.42/117.34 o 51358781 134.42/117.34 o 51358780 134.72/117.66 o 51352023 134.72/117.66 o 51352022 135.63/118.34 o 51345326 135.63/118.35 o 51345317 135.63/118.35 o 51345312 135.63/118.35 o 51345303 135.63/118.36 o 51345301 135.63/118.38 o 51345292 135.63/118.40 o 51345286 135.73/118.41 o 51345284 135.73/118.41 o 51345275 135.73/118.43 o 51345267 136.03/118.78 o 51345266 136.23/118.99 o 51345265 136.23/118.99 o 51345264 136.23/119.01 o 51345263 136.34/119.02 o 51345258 136.34/119.02 o 51345257 136.34/119.03 o 51345256 136.63/119.31 o 51345255 136.63/119.38 o 51345254 136.63/119.39 o 51345253 136.73/119.43 o 51345252 139.04/121.74 o 51345250 139.04/121.76 o 51345249 139.45/122.15 o 51345243 139.64/122.35 o 51338491 139.64/122.36 o 51338482 139.64/122.39 o 51338481 139.74/122.42 o 51338480 139.84/122.53 o 51338479 140.24/122.93 o 51338474 140.24/122.94 o 51331718 140.24/122.98 o 51331717 140.35/123.01 o 51331716 140.35/123.03 o 51331715 141.85/124.35 o 51325025 141.85/124.36 o 51325019 141.85/124.38 o 51325016 141.85/124.38 o 51325010 141.85/124.40 o 51325009 141.95/124.40 o 51325003 141.95/124.43 o 51324998 141.95/124.44 o 51324992 141.95/124.50 o 51324987 142.05/124.51 o 51324986 142.05/124.52 o 51324980 142.15/124.64 o 51324977 142.15/124.66 o 51324975 142.15/124.66 o 51324970 142.25/124.73 o 51324969 142.25/124.74 o 51324966 142.25/124.75 o 51324960 142.25/124.79 o 51324956 142.35/124.81 o 51324955 142.45/124.90 o 51318245 142.45/124.91 o 51318239 142.45/124.92 o 51318234 142.45/124.93 o 51318228 142.45/124.94 o 51318224 142.45/124.95 o 51318218 142.45/124.95 o 51318213 142.45/124.96 o 51318207 142.45/124.97 o 51318206 142.56/125.04 o 51318204 142.56/125.06 o 51318203 142.56/125.07 o 51318198 142.56/125.07 o 51318197 142.96/125.46 o 51318195 142.96/125.47 o 51318194 142.96/125.48 o 51311435 142.96/125.49 o 51311429 143.06/125.58 o 51311425 143.06/125.59 o 51311423 143.16/125.60 o 51311421 143.16/125.61 o 51311420 143.16/125.62 o 51311419 143.16/125.63 o 51311417 143.16/125.66 o 51304659 143.26/125.74 o 51297918 143.26/125.74 o 51297912 143.26/125.76 o 51297909 143.36/125.82 o 51297908 143.36/125.82 o 51297905 143.36/125.84 o 51297903 143.36/125.85 o 51297901 143.36/125.86 o 51297897 143.47/125.91 o 51297894 143.47/125.93 o 51297893 143.47/125.94 o 51297887 143.47/125.96 o 51297884 143.47/125.99 o 51297881 143.58/126.02 o 51291154 143.58/126.03 o 51291151 143.58/126.04 o 51291150 143.58/126.04 o 51291149 143.58/126.05 o 51291148 143.58/126.06 o 51291147 143.58/126.06 o 51291146 143.58/126.07 o 51291145 143.58/126.08 o 51291144 143.58/126.09 o 51291143 143.58/126.10 o 51291142 143.68/126.11 o 51291140 143.68/126.12 o 51291139 143.68/126.13 o 51291138 143.68/126.14 o 51291137 143.68/126.14 o 51291136 143.68/126.15 o 51291135 143.68/126.16 o 51291134 143.68/126.17 o 51291133 143.68/126.18 o 51291132 143.68/126.19 o 51291131 143.77/126.22 o 51291130 143.77/126.23 o 51291129 143.77/126.23 o 51291128 143.77/126.24 o 51291127 143.77/126.27 o 51291126 143.77/126.28 o 51291125 143.77/126.29 o 51291124 143.87/126.33 o 51291119 143.87/126.34 o 51291118 143.87/126.34 o 51291117 143.87/126.37 o 51291116 143.87/126.38 o 51291115 143.87/126.38 o 51291114 143.97/126.40 o 51291113 143.97/126.41 o 51291112 143.97/126.42 o 51291111 143.97/126.46 o 51284384 143.97/126.47 o 51284381 143.97/126.48 o 51284378 143.97/126.49 o 51284375 144.07/126.51 o 51284372 144.07/126.55 o 51284368 144.07/126.56 o 51284367 144.07/126.57 o 51284364 144.07/126.59 o 51284361 144.17/126.62 o 51284360 144.17/126.63 o 51284357 144.17/126.68 o 51284354 144.68/127.17 o 51277620 144.68/127.19 o 51277614 144.77/127.26 o 51277606 144.77/127.26 o 51277600 145.17/127.62 o 51277598 145.17/127.65 o 51277597 145.27/127.75 o 51270845 145.27/127.76 o 51270844 145.37/127.82 o 51270840 145.37/127.84 o 51270839 145.37/127.88 o 51270838 145.47/127.93 o 51270834 145.47/127.95 o 51270833 145.47/127.97 o 51270832 147.57/129.82 o 51270831 147.57/129.87 o 51270829 147.97/130.20 o 51264075 147.97/130.21 o 51264070 147.97/130.27 o 51257318 148.07/130.30 o 51257309 148.47/130.79 o 51257294 148.57/130.82 o 51257286 148.57/130.87 o 51257284 148.88/131.17 o 51257277 148.97/131.20 o 51257273 148.97/131.22 o 51257272 148.97/131.22 o 51257268 148.97/131.24 o 51257263 148.97/131.25 o 51257262 148.97/131.27 o 51257259 148.97/131.29 o 51257254 149.07/131.30 o 51257253 149.17/131.45 o 51257252 149.17/131.46 o 51257251 149.17/131.47 o 51257250 149.27/131.50 o 51257249 149.27/131.59 o 51257248 149.37/131.61 o 51257247 149.37/131.63 o 51257245 149.37/131.65 o 51257244 149.37/131.66 o 51257243 149.37/131.67 o 51257242 149.37/131.68 o 51257241 149.47/131.71 o 51257240 149.47/131.77 o 51257239 149.57/131.81 o 51250552 149.57/131.82 o 51250551 149.57/131.82 o 51250550 149.57/131.83 o 51250542 149.57/131.84 o 51250541 149.57/131.85 o 51250540 149.57/131.86 o 51250539 149.57/131.87 o 51250538 149.57/131.87 o 51250537 149.57/131.88 o 51250536 149.67/131.94 o 51250535 149.78/132.03 o 51250532 149.78/132.04 o 51250529 149.78/132.06 o 51250526 149.78/132.08 o 51250523 149.89/132.14 o 51250519 149.89/132.15 o 51250516 149.98/132.24 o 51250513 149.98/132.28 o 51250512 149.98/132.29 o 51250510 150.08/132.32 o 51250509 150.08/132.34 o 51250507 150.28/132.51 o 51250506 150.28/132.52 o 51250505 150.38/132.62 o 51250503 150.38/132.64 o 51250502 150.38/132.67 o 51250494 150.48/132.70 o 51250488 150.48/132.73 o 51250485 150.48/132.78 o 51243758 150.48/132.79 o 51243752 150.58/132.80 o 51243748 150.58/132.81 o 51243742 150.58/132.83 o 51243739 150.58/132.85 o 51243737 150.58/132.86 o 51243734 152.92/135.00 o 51243733 153.64/135.61 o 51243731 154.15/136.18 o 51243726 154.15/136.19 o 51243725 154.34/136.38 o 51243724 154.54/136.60 o 51236968 154.64/136.60 o 51236965 154.74/136.70 o 51236959 154.74/136.71 o 51236956 155.44/137.48 o 51236955 155.54/137.54 o 51236954 155.54/137.56 o 51236953 159.04/140.82 o 51236951 159.14/141.00 o 51236949 160.65/142.44 o 51236948 160.65/142.46 o 51236946 160.65/142.48 o 51236945 160.75/142.51 o 51236944 160.75/142.54 o 51236941 163.14/144.76 o 51236940 163.34/144.95 o 51236939 163.34/144.97 o 51236933 163.75/145.31 o 51236931 163.95/145.57 o 51236927 163.95/145.59 o 51236926 167.73/149.24 o 51236925 167.83/149.33 o 51236920 167.93/149.43 o 51236917 168.03/149.56 o 51236916 168.72/150.08 o 51236915 168.82/150.11 o 51236914 169.82/151.12 o 51236913 172.62/153.99 o 51236912 172.72/154.10 o 51236911 173.23/154.46 o 51236910 173.38/154.58 o 51236909 173.48/154.69 o 51236908 173.79/154.97 o 51236907 173.79/154.98 o 51236898 173.99/155.12 o 51236897 176.40/157.55 o 51236887 176.40/157.56 o 51236884 176.40/157.58 o 51236883 176.40/157.58 o 51236880 176.50/157.68 o 51236878 176.91/158.06 o 51236875 179.70/160.67 o 51236864 180.11/161.07 o 51236863 180.21/161.11 o 51236860 180.21/161.12 o 51236858 180.21/161.16 o 51236856 180.30/161.22 o 51236855 180.40/161.31 o 51230103 180.40/161.36 o 51230102 180.50/161.44 o 51230101 180.50/161.46 o 51230100 180.60/161.52 o 51230099 180.60/161.58 o 51230097 180.70/161.65 o 51230096 180.70/161.66 o 51230095 180.80/161.77 o 51223351 180.80/161.78 o 51223343 180.80/161.79 o 51223335 180.90/161.82 o 51223334 181.00/162.00 o 51216589 181.11/162.01 o 51216581 181.11/162.02 o 51216573 181.11/162.08 o 51216570 181.21/162.15 o 51216568 181.60/162.50 o 51216564 181.60/162.53 o 51216562 181.60/162.57 o 51216561 181.70/162.61 o 51216558 181.70/162.64 o 51216556 181.70/162.67 o 51216555 181.70/162.67 o 51216554 181.70/162.67 o 51216553 181.70/162.68 o 51216550 181.70/162.68 o 51216548 181.80/162.70 o 51216547 181.80/162.70 o 51216546 181.80/162.70 o 51216545 181.80/162.72 o 51216544 181.80/162.72 o 51216543 187.06/167.86 o 51209854 187.06/167.88 o 51209850 187.06/167.88 o 51209849 187.06/167.89 o 51209847 187.06/167.90 o 51209842 187.16/167.90 o 51209841 187.16/167.93 o 51209830 187.16/167.96 o 51209827 187.34/168.05 o 51209822 187.34/168.11 o 51209821 187.51/168.13 o 51209819 187.51/168.15 o 51209816 187.51/168.16 o 51209814 187.51/168.19 o 51209808 187.60/168.20 o 51209806 187.60/168.21 o 51209803 187.60/168.21 o 51209801 187.60/168.23 o 51209800 187.60/168.26 o 51209798 187.60/168.27 o 51209796 187.60/168.29 o 51209795 188.10/168.71 o 51203104 188.10/168.74 o 51203100 188.10/168.75 o 51203099 188.10/168.78 o 51203085 188.20/168.82 o 51203083 188.20/168.83 o 51203082 188.20/168.85 o 51203081 188.20/168.89 o 51203079 188.20/168.89 o 51203078 188.30/168.92 o 51203076 188.30/168.93 o 51203071 188.30/168.95 o 51203070 188.41/169.04 o 51203068 188.41/169.10 o 51203067 188.60/169.26 o 51203066 188.70/169.31 o 51203065 188.90/169.50 o 51203063 188.90/169.52 o 51203062 189.00/169.67 o 51203060 189.10/169.71 o 51196331 189.10/169.71 o 51196330 189.10/169.71 o 51196326 189.10/169.72 o 51196325 189.10/169.72 o 51196323 189.10/169.72 o 51196322 189.10/169.72 o 51196320 189.10/169.73 o 51196315 189.10/169.74 o 51196314 189.10/169.74 o 51196311 189.10/169.74 o 51196308 189.10/169.74 o 51196305 189.10/169.79 o 51196304 189.10/169.79 o 51196303 189.20/169.80 o 51196301 189.20/169.80 o 51196300 189.41/170.04 o 51196298 189.41/170.04 o 51196293 189.41/170.05 o 51196292 189.41/170.05 o 51196290 189.41/170.05 o 51196289 189.51/170.15 o 51196288 189.80/170.50 o 51196287 189.90/170.51 o 51196286 189.90/170.56 o 51196284 190.00/170.61 o 51196281 190.00/170.64 o 51196280 190.30/170.94 o 51196279 190.30/170.94 o 51196278 190.30/170.96 o 51196276 190.30/170.97 o 51196275 190.30/170.99 o 51196273 190.41/171.01 o 51196272 193.91/174.32 o 51196269 193.91/174.33 o 51196268 194.41/174.81 o 51196267 194.41/174.84 o 51196266 194.41/174.86 o 51196265 194.51/174.90 o 51196264 194.51/174.93 o 51196261 194.51/174.95 o 51196260 194.51/174.98 o 51196259 194.62/175.01 o 51196258 194.62/175.03 o 51196257 194.62/175.06 o 51196256 194.62/175.09 o 51196255 194.72/175.12 o 51196252 194.72/175.18 o 51196251 195.22/175.53 o 51196250 195.22/175.53 o 51196244 195.32/175.66 o 51196242 195.32/175.67 o 51196241 195.32/175.67 o 51196235 195.42/175.77 o 51196229 195.73/176.04 o 51196228 195.83/176.15 o 51196227 195.92/176.20 o 51189502 195.92/176.20 o 51189496 195.92/176.20 o 51189490 195.92/176.22 o 51189489 195.92/176.24 o 51189485 195.92/176.24 o 51189484 195.92/176.25 o 51189483 195.92/176.25 o 51189482 195.92/176.26 o 51189478 196.02/176.31 o 51189477 196.12/176.42 o 51189472 196.12/176.44 o 51189471 196.12/176.46 o 51189465 196.22/176.59 o 51189463 196.42/176.75 o 51189462 196.62/176.92 o 51189461 196.62/176.92 o 51189455 196.62/176.95 o 51189453 196.83/177.12 o 51189452 196.92/177.27 o 51189451 197.03/177.30 o 51189448 197.03/177.35 o 51189446 197.03/177.38 o 51189445 197.13/177.42 o 51189444 197.13/177.45 o 51189443 197.13/177.47 o 51189442 197.23/177.53 o 51189440 197.23/177.58 o 51189439 197.33/177.62 o 51189438 197.33/177.64 o 51189436 197.33/177.66 o 51189435 197.33/177.67 o 51189433 197.43/177.78 o 51189432 197.63/178.01 o 51189431 197.73/178.04 o 51189429 197.73/178.07 o 51189428 198.69/178.89 o 51189426 198.79/178.91 o 51189424 200.90/181.06 o 51189423 201.09/181.26 o 51189421 201.19/181.38 o 51189420 201.39/181.54 o 51189419 201.69/181.82 o 51189418 202.19/182.21 o 51169141 202.19/182.27 o 51169140 202.29/182.34 o 51169138 202.49/182.55 o 51169130 202.69/182.75 o 51169124 202.89/182.96 o 51169098 202.89/183.00 o 51169090 203.00/183.03 o 51169089 203.00/183.07 o 51169085 203.00/183.11 o 51169084 203.10/183.19 o 51169083 203.37/183.23 o 51169081 203.77/183.60 o 51169079 205.18/185.04 o 51169075 205.18/185.08 o 51169074 205.28/185.16 o 51169072 205.28/185.19 o 51169071 205.37/185.27 o 51169070 205.98/185.85 o 51148786 206.08/185.91 o 51148785 206.08/185.99 o 51148783 206.38/186.22 o 51148775 206.58/186.43 o 51148774 206.98/186.82 o 51148773 207.19/187.04 o 51142024 207.19/187.09 o 51142016 207.29/187.13 o 51142015 207.48/187.36 o 51142014 207.93/187.63 o 51142013 210.93/190.61 o 51142010 210.93/190.64 o 51142009 210.93/190.68 o 51142008 223.51/202.59 o 51142007 223.61/202.62 o 51142006 223.91/202.99 o 51142001 224.02/203.02 o 51142000 224.12/203.13 o 51135266 224.12/203.13 o 51135259 224.12/203.15 o 51135254 224.12/203.16 o 51135252 224.12/203.18 o 51135248 224.12/203.18 o 51135241 224.21/203.20 o 51135240 227.02/206.01 o 51135237 227.02/206.03 o 51135235 227.02/206.04 o 51135234 227.02/206.04 o 51135233 227.02/206.05 o 51135232 227.12/206.16 o 51128520 227.12/206.16 o 51128511 227.12/206.17 o 51128510 227.12/206.19 o 51128509 227.21/206.22 o 51128508 227.21/206.22 o 51128507 227.21/206.24 o 51128499 227.21/206.25 o 51128498 227.21/206.27 o 51128497 227.21/206.28 o 51128496 227.31/206.30 o 51128495 227.52/206.49 o 51128494 227.65/206.53 o 51128487 227.65/206.55 o 51128486 227.65/206.56 o 51128485 227.75/206.61 o 51128484 227.75/206.63 o 51128482 227.75/206.65 o 51128473 227.75/206.66 o 51128472 227.75/206.69 o 51128471 227.85/206.72 o 51128470 227.85/206.74 o 51128469 228.05/206.92 o 51121754 228.05/206.93 o 51121745 228.05/206.94 o 51121744 228.05/206.96 o 51121743 228.05/207.00 o 51121737 228.16/207.02 o 51121736 228.16/207.03 o 51121735 228.16/207.03 o 51121734 228.16/207.07 o 51121726 228.16/207.09 o 51121725 228.16/207.10 o 51121724 228.35/207.28 o 51121723 228.45/207.31 o 51121722 228.45/207.35 o 51121721 228.55/207.41 o 51121719 228.55/207.46 o 51121718 228.65/207.51 o 51121717 228.65/207.56 o 51121716 228.75/207.63 o 51121713 228.75/207.68 o 51121712 228.85/207.72 o 51121711 228.85/207.77 o 51121710 228.95/207.83 o 51121709 228.95/207.88 o 51121708 229.05/207.92 o 51121707 229.05/207.97 o 51121706 229.16/208.03 o 51121705 229.16/208.08 o 51121704 229.26/208.12 o 51121703 229.26/208.16 o 51121702 229.35/208.21 o 51121701 231.45/210.37 o 51121700 231.55/210.42 o 51121699 231.55/210.48 o 51121698 231.95/210.82 o 51121697 232.16/210.91 o 51121693 232.16/210.97 o 51121692 232.29/211.08 o 51121691 232.39/211.16 o 51121690 232.48/211.22 o 51121689 232.58/211.30 o 51121688 232.58/211.39 o 51121687 232.68/211.44 o 51121686 234.18/212.93 o 51121682 234.18/212.95 o 51121681 234.18/212.96 o 51121680 234.18/213.00 o 51121679 234.39/213.12 o 51121678 234.78/213.52 o 51114967 234.78/213.55 o 51114966 234.88/213.60 o 51114965 234.88/213.65 o 51114964 234.98/213.71 o 51114961 234.98/213.75 o 51114960 234.98/213.78 o 51114959 235.08/213.83 o 51114955 237.81/216.48 o 51114953 237.91/216.50 o 51114952 237.91/216.56 o 51114951 238.01/216.63 o 51114946 238.21/216.85 o 51114942 238.31/216.91 o 51114941 238.61/217.20 o 51114940 238.81/217.49 o 51114937 238.91/217.57 o 51114934 238.91/217.57 o 51114933 239.01/217.64 o 51114929 239.01/217.69 o 51114928 239.21/217.89 o 51114927 243.35/221.85 o 51114923 243.35/221.88 o 51114922 243.45/221.91 o 51114920 243.45/221.95 o 51114919 244.35/222.86 o 51114915 244.45/222.90 o 51114914 244.45/222.96 o 51114911 244.45/222.97 o 51114910 244.56/223.03 o 51114906 244.56/223.07 o 51114905 244.85/223.34 o 51114899 244.95/223.42 o 51114898 244.95/223.50 o 51114897 245.05/223.50 o 51114892 245.05/223.53 o 51114891 245.25/223.76 o 51114888 245.25/223.78 o 51114887 245.45/224.00 o 51114883 250.09/228.42 o 51114881 250.09/228.44 o 51114880 250.19/228.53 o 51114879 250.29/228.64 o 51114877 250.29/228.64 o 51114876 250.29/228.70 o 51114875 252.00/230.30 s SATISFIABLE 252.00/230.35 v <instantiation> 252.00/230.35 v <list> 252.00/230.35 v f[0] f[1] f[2] f[3] f[4] f[5] f[6] f[7] f[8] f[9] f[10] f[11] f[12] f[13] f[14] f[15] f[16] f[17] f[18] f[19] f[20] f[21] f[22] f[23] f[24] f[25] f[26] f[27] f[28] f[29] f[30] f[31] f[32] f[33] f[34] f[35] f[36] f[37] f[38] f[39] f[40] f[41] f[42] f[43] f[44] f[45] f[46] f[47] f[48] f[49] f[50] f[51] f[52] f[53] f[54] f[55] f[56] f[57] f[58] f[59] f[60] f[61] f[62] f[63] f[64] f[65] f[66] f[67] f[68] f[69] f[70] f[71] f[72] f[73] f[74] f[75] f[76] f[77] f[78] f[79] f[80] f[81] f[82] f[83] f[84] f[85] f[86] f[87] f[88] f[89] f[90] f[91] f[92] f[93] f[94] f[95] f[96] f[97] f[98] f[99] f[100] f[101] f[102] f[103] f[104] f[105] f[106] f[107] f[108] f[109] f[110] f[111] f[112] f[113] f[114] f[115] f[116] f[117] f[118] f[119] f[120] f[121] f[122] f[123] f[124] f[125] f[126] f[127] f[128] f[129] f[130] f[131] f[132] f[133] f[134] f[135] f[136] f[137] f[138] f[139] f[140] f[141] f[142] f[143] f[144] f[145] f[146] f[147] f[148] f[149] p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] p[30] p[31] p[32] p[33] p[34] p[35] p[36] p[37] p[38] p[39] p[40] p[41] p[42] p[43] p[44] p[45] p[46] p[47] p[48] p[49] p[50] p[51] p[52] p[53] p[54] p[55] p[56] p[57] p[58] p[59] p[60] p[61] p[62] p[63] p[64] p[65] p[66] p[67] p[68] p[69] p[70] p[71] p[72] p[73] p[74] p[75] p[76] p[77] p[78] p[79] p[80] p[81] p[82] p[83] p[84] p[85] p[86] p[87] p[88] p[89] p[90] p[91] p[92] p[93] p[94] p[95] p[96] p[97] p[98] p[99] p[100] p[101] p[102] p[103] p[104] p[105] p[106] p[107] p[108] p[109] p[110] p[111] p[112] p[113] p[114] p[115] p[116] p[117] p[118] p[119] p[120] p[121] p[122] p[123] p[124] p[125] p[126] p[127] p[128] p[129] p[130] p[131] p[132] p[133] p[134] p[135] p[136] p[137] p[138] p[139] p[140] p[141] p[142] p[143] p[144] p[145] p[146] p[147] p[148] p[149] k v1[0] v1[1] v1[2] v1[3] v1[4] v1[5] v1[6] v1[7] v1[8] v1[9] v1[10] v1[11] v1[12] v1[13] v1[14] v1[15] v1[16] v1[17] v1[18] v1[19] v1[20] v1[21] v1[22] v1[23] v1[24] v1[25] v1[26] v1[27] v1[28] v1[29] v1[30] v1[31] v1[32] v1[33] v1[34] v1[35] v1[36] v1[37] v1[38] v1[39] v1[40] v1[41] v1[42] v1[43] v1[44] v1[45] v1[46] v1[47] v1[48] v1[49] v1[50] v1[51] v1[52] v1[53] v1[54] v1[55] v1[56] v1[57] v1[58] v1[59] v1[60] v1[61] v1[62] v1[63] v1[64] v1[65] v1[66] v1[67] v1[68] v1[69] v1[70] v1[71] v1[72] v1[73] v1[74] v1[75] v1[76] v1[77] v1[78] v1[79] v1[80] v1[81] v1[82] v1[83] v1[84] v1[85] v1[86] v1[87] v1[88] v1[89] v1[90] v1[91] v1[92] v1[93] v1[94] v1[95] v1[96] v1[97] v1[98] v1[99] v1[100] v1[101] v1[102] v1[103] v1[104] v1[105] v1[106] v1[107] v1[108] v1[109] v1[110] v1[111] v1[112] v1[113] v1[114] v1[115] v1[116] v1[117] v1[118] v1[119] v1[120] v1[121] v1[122] v1[123] v1[124] v1[125] v1[126] v1[127] v1[128] v1[129] v1[130] v1[131] v1[132] v1[133] v1[134] v1[135] v1[136] v1[137] v1[138] v1[139] v1[140] v1[141] v1[142] v1[143] v1[144] v1[145] v1[146] v1[147] v1[148] v1[149] v1[150] v1[151] v1[152] v1[153] v1[154] v1[155] v1[156] v1[157] v1[158] v1[159] v1[160] v1[161] v1[162] v1[163] v1[164] v1[165] v1[166] v1[167] v1[168] v1[169] v1[170] v1[171] v1[172] v1[173] v1[174] v1[175] v1[176] v1[177] v1[178] v1[179] v1[180] v1[181] v1[182] v1[183] v1[184] v1[185] v1[186] v1[187] v1[188] v1[189] v1[190] v1[191] v1[192] v1[193] v1[194] v1[195] v1[196] v1[197] v1[198] v1[199] v1[200] v1[201] v1[202] v1[203] v1[204] v1[205] v1[206] v1[207] v1[208] v1[209] v1[210] v1[211] v1[212] v1[213] v1[214] v1[215] v1[216] v1[217] v1[218] v1[219] v1[220] v1[221] v1[222] v1[223] v1[224] v1[225] v1[226] v1[227] v1[228] v1[229] v1[230] v1[231] v1[232] v1[233] v1[234] v1[235] v1[236] v1[237] v1[238] v1[239] v1[240] v1[241] v1[242] v1[243] v1[244] v1[245] v1[246] v1[247] v1[248] v1[249] v1[250] v1[251] v1[252] v1[253] v1[254] v1[255] v1[256] v1[257] v1[258] v1[259] v1[260] v1[261] v1[262] v1[263] v1[264] v1[265] v1[266] v1[267] v1[268] v1[269] v1[270] v1[271] v1[272] v1[273] v1[274] v1[275] v1[276] v1[277] v1[278] v1[279] v1[280] v1[281] v1[282] v1[283] v1[284] v1[285] v1[286] v1[287] v1[288] v1[289] v1[290] v1[291] v1[292] v1[293] v1[294] v1[295] v1[296] v1[297] v1[298] v1[299] v1[300] v1[301] v1[302] v1[303] v1[304] v1[305] v1[306] v1[307] v1[308] v1[309] v1[310] v1[311] v1[312] v1[313] v1[314] v1[315] v1[316] v1[317] v1[318] v1[319] v1[320] v1[321] v1[322] v1[323] v1[324] v1[325] v1[326] v1[327] v1[328] v1[329] v1[330] v1[331] v1[332] v1[333] v1[334] v1[335] v1[336] v1[337] v1[338] v1[339] v1[340] v1[341] v1[342] v1[343] v1[344] v1[345] v1[346] v1[347] v1[348] v1[349] v1[350] v1[351] v1[352] v1[353] v1[354] v1[355] v1[356] v1[357] v1[358] v1[359] v1[360] v1[361] v1[362] v1[363] v1[364] v1[365] v1[366] v1[367] v1[368] v1[369] v1[370] v1[371] v1[372] v1[373] v1[374] v1[375] v1[376] v1[377] v1[378] v1[379] v1[380] v1[381] v1[382] v1[383] v1[384] v1[385] v1[386] v1[387] v1[388] v1[389] v1[390] v1[391] v1[392] v1[393] v1[394] v1[395] v1[396] v1[397] v1[398] v1[399] v1[400] v1[401] v1[402] v1[403] v1[404] v1[405] v1[406] v1[407] v1[408] v1[409] v1[410] v1[411] v1[412] v1[413] v1[414] v1[415] v1[416] v1[417] v1[418] v1[419] v1[420] v1[421] v1[422] v1[423] v1[424] v1[425] v1[426] v1[427] v1[428] v1[429] v1[430] v1[431] v1[432] v1[433] v1[434] v1[435] v1[436] v1[437] v1[438] v1[439] v1[440] v1[441] v1[442] v1[443] v1[444] v1[445] v1[446] v1[447] v1[448] v1[449] v1[450] v1[451] v1[452] v1[453] v1[454] v1[455] v1[456] v1[457] v1[458] v1[459] v1[460] v1[461] v1[462] v1[463] v1[464] v1[465] v1[466] v1[467] v1[468] v1[469] v1[470] v1[471] v1[472] v1[473] v1[474] v1[475] v1[476] v1[477] v1[478] v1[479] v1[480] v1[481] v1[482] v1[483] v1[484] v1[485] v1[486] v1[487] v1[488] v1[489] v1[490] v1[491] v1[492] v1[493] v1[494] v1[495] v1[496] v1[497] v1[498] v1[499] v1[500] v1[501] v1[502] v1[503] v1[504] v1[505] v1[506] v1[507] v1[508] v1[509] v1[510] v1[511] v1[512] v1[513] v1[514] v1[515] v1[516] v1[517] v1[518] v1[519] v1[520] v1[521] v1[522] v1[523] v1[524] v1[525] v1[526] v1[527] v1[528] v1[529] v1[530] v1[531] v1[532] v1[533] v1[534] v1[535] v1[536] v1[537] v1[538] v1[539] v1[540] v1[541] v1[542] v1[543] v1[544] v1[545] v1[546] v1[547] v1[548] v1[549] v1[550] v1[551] v1[552] v1[553] v1[554] v1[555] v1[556] v1[557] v1[558] v1[559] v1[560] v1[561] v1[562] v1[563] v1[564] v1[565] v1[566] v1[567] v1[568] v1[569] v1[570] v1[571] v1[572] v1[573] v1[574] v1[575] v1[576] v1[577] v1[578] v1[579] v1[580] v1[581] v1[582] v1[583] v1[584] v1[585] v1[586] v1[587] v1[588] v1[589] v1[590] v1[591] v1[592] v1[593] v1[594] v1[595] v1[596] v1[597] v1[598] v1[599] v1[600] v1[601] v1[602] v1[603] v1[604] v1[605] v1[606] v1[607] v1[608] v1[609] v1[610] v1[611] v1[612] v1[613] v1[614] v1[615] v1[616] v1[617] v1[618] v1[619] v1[620] v1[621] v1[622] v1[623] v1[624] v1[625] v1[626] v1[627] v1[628] v1[629] v1[630] v1[631] v1[632] v1[633] v1[634] v1[635] v1[636] v1[637] v1[638] v1[639] v1[640] v1[641] v1[642] v1[643] v1[644] v1[645] v1[646] v1[647] v1[648] v1[649] v1[650] v1[651] v1[652] v1[653] v1[654] v1[655] v1[656] v1[657] v1[658] v1[659] v1[660] v1[661] v1[662] v1[663] v1[664] v1[665] v1[666] v1[667] v1[668] v1[669] v1[670] v1[671] v1[672] v1[673] v1[674] v1[675] v2[0] v2[1] v2[2] v2[3] v2[4] v2[5] v2[6] v2[7] v2[8] v2[9] v2[10] v2[11] v2[12] v2[13] v2[14] v2[15] v2[16] v2[17] v2[18] v2[19] v2[20] v2[21] v2[22] v2[23] v2[24] v2[25] v2[26] v2[27] v2[28] v2[29] v2[30] v2[31] v2[32] v2[33] v2[34] v2[35] v2[36] v2[37] v2[38] v2[39] v2[40] v2[41] v2[42] v2[43] v2[44] v2[45] v2[46] v2[47] v2[48] v2[49] v2[50] v2[51] v2[52] v2[53] v2[54] v2[55] v2[56] v2[57] v2[58] v2[59] v2[60] v2[61] v2[62] v2[63] v2[64] v2[65] v2[66] v2[67] v2[68] v2[69] v2[70] v2[71] v2[72] v2[73] v2[74] v2[75] v2[76] v2[77] v2[78] v2[79] v2[80] v2[81] v2[82] v2[83] v2[84] v2[85] v2[86] v2[87] v2[88] v2[89] v2[90] v2[91] v2[92] v2[93] v2[94] v2[95] v2[96] v2[97] v2[98] v2[99] v2[100] v2[101] v2[102] v2[103] v2[104] v2[105] v2[106] v2[107] v2[108] v2[109] v2[110] v2[111] v2[112] v2[113] v2[114] v2[115] v2[116] v2[117] v2[118] v2[119] v2[120] v2[121] v2[122] v2[123] v2[124] v2[125] v2[126] v2[127] v2[128] v2[129] v2[130] v2[131] v2[132] v2[133] v2[134] v2[135] v2[136] v2[137] v2[138] v2[139] v2[140] v2[141] v2[142] v2[143] v2[144] v2[145] v2[146] v2[147] v2[148] v2[149] v2[150] v2[151] v2[152] v2[153] v2[154] v2[155] v2[156] v2[157] v2[158] v2[159] v2[160] v2[161] v2[162] v2[163] v2[164] v2[165] v2[166] v2[167] v2[168] v2[169] v2[170] v2[171] v2[172] v2[173] v2[174] v2[175] v2[176] v2[177] v2[178] v2[179] v2[180] v2[181] v2[182] v2[183] v2[184] v2[185] v2[186] v2[187] v2[188] v2[189] v2[190] v2[191] v2[192] v2[193] v2[194] v2[195] v2[196] v2[197] v2[198] v2[199] v2[200] v2[201] v2[202] v2[203] v2[204] v2[205] v2[206] v2[207] v2[208] v2[209] v2[210] v2[211] v2[212] v2[213] v2[214] v2[215] v2[216] v2[217] v2[218] v2[219] v2[220] v2[221] v2[222] v2[223] v2[224] v2[225] v2[226] v2[227] v2[228] v2[229] v2[230] v2[231] v2[232] v2[233] v2[234] v2[235] v2[236] v2[237] v2[238] v2[239] v2[240] v2[241] v2[242] v2[243] v2[244] v2[245] v2[246] v2[247] v2[248] v2[249] v2[250] v2[251] v2[252] v2[253] v2[254] v2[255] v2[256] v2[257] v2[258] v2[259] v2[260] v2[261] v2[262] v2[263] v2[264] v2[265] v2[266] v2[267] v2[268] v2[269] v2[270] v2[271] v2[272] v2[273] v2[274] v2[275] v2[276] v2[277] v2[278] v2[279] v2[280] v2[281] v2[282] v2[283] v2[284] v2[285] v2[286] v2[287] v2[288] v2[289] v2[290] v2[291] v2[292] v2[293] v2[294] v2[295] v2[296] v2[297] v2[298] v2[299] v2[300] v2[301] v2[302] v2[303] v2[304] v2[305] v2[306] v2[307] v2[308] v2[309] v2[310] v2[311] v2[312] v2[313] v2[314] v2[315] v2[316] v2[317] v2[318] v2[319] v2[320] v2[321] v2[322] v2[323] v2[324] v2[325] v2[326] v2[327] v2[328] v2[329] v2[330] v2[331] v2[332] v2[333] v2[334] v2[335] v2[336] v2[337] v2[338] v2[339] v2[340] v2[341] v2[342] v2[343] v2[344] v2[345] v2[346] v2[347] v2[348] v2[349] v2[350] v2[351] v2[352] v2[353] v2[354] v2[355] v2[356] v2[357] v2[358] v2[359] v2[360] v2[361] v2[362] v2[363] v2[364] v2[365] v2[366] v2[367] v2[368] v2[369] v2[370] v2[371] v2[372] v2[373] v2[374] v2[375] v2[376] v2[377] v2[378] v2[379] v2[380] v2[381] v2[382] v2[383] v2[384] v2[385] v2[386] v2[387] v2[388] v2[389] v2[390] v2[391] v2[392] v2[393] v2[394] v2[395] v2[396] v2[397] v2[398] v2[399] v2[400] v2[401] v2[402] v2[403] v2[404] v2[405] v2[406] v2[407] v2[408] v2[409] v2[410] v2[411] v2[412] v2[413] v2[414] v2[415] v2[416] v2[417] v2[418] v2[419] v2[420] v2[421] v2[422] v2[423] v2[424] v2[425] v2[426] v2[427] v2[428] v2[429] v2[430] v2[431] v2[432] v2[433] v2[434] v2[435] v2[436] v2[437] v2[438] v2[439] v2[440] v2[441] v2[442] v2[443] v2[444] v2[445] v2[446] v2[447] v2[448] v2[449] v2[450] v2[451] v2[452] v2[453] v2[454] v2[455] v2[456] v2[457] v2[458] v2[459] v2[460] v2[461] v2[462] v2[463] v2[464] v2[465] v2[466] v2[467] v2[468] v2[469] v2[470] v2[471] v2[472] v2[473] v2[474] v2[475] v2[476] v2[477] v2[478] v2[479] v2[480] v2[481] v2[482] v2[483] v2[484] v2[485] v2[486] v2[487] v2[488] v2[489] v2[490] v2[491] v2[492] v2[493] v2[494] v2[495] v2[496] v2[497] v2[498] v2[499] v2[500] v2[501] v2[502] v2[503] v2[504] v2[505] v2[506] v2[507] v2[508] v2[509] v2[510] v2[511] v2[512] v2[513] v2[514] v2[515] v2[516] v2[517] v2[518] v2[519] v2[520] v2[521] v2[522] v2[523] v2[524] v2[525] v2[526] v2[527] v2[528] v2[529] v2[530] v2[531] v2[532] v2[533] v2[534] v2[535] v2[536] v2[537] v2[538] v2[539] v2[540] v2[541] v2[542] v2[543] v2[544] v2[545] v2[546] v2[547] v2[548] v2[549] v2[550] v2[551] v2[552] v2[553] v2[554] v2[555] v2[556] v2[557] v2[558] v2[559] v2[560] v2[561] v2[562] v2[563] v2[564] v2[565] v2[566] v2[567] v2[568] v2[569] v2[570] v2[571] v2[572] v2[573] v2[574] v2[575] v2[576] v2[577] v2[578] v2[579] v2[580] v2[581] v2[582] v2[583] v2[584] v2[585] v2[586] v2[587] v2[588] v2[589] v2[590] v2[591] v2[592] v2[593] v2[594] v2[595] v2[596] v2[597] v2[598] v2[599] v2[600] v2[601] v2[602] v2[603] v2[604] v2[605] v2[606] v2[607] v2[608] v2[609] v2[610] v2[611] v2[612] v2[613] v2[614] v2[615] v2[616] v2[617] v2[618] v2[619] v2[620] v2[621] v2[622] v2[623] v2[624] v2[625] v2[626] v2[627] v2[628] v2[629] v2[630] v2[631] v2[632] v2[633] v2[634] v2[635] v2[636] v2[637] v2[638] v2[639] v2[640] v2[641] v2[642] v2[643] v2[644] v2[645] v2[646] v2[647] v2[648] v2[649] v2[650] v2[651] v2[652] v2[653] v2[654] v2[655] v2[656] v2[657] v2[658] v2[659] v2[660] v2[661] v2[662] v2[663] v2[664] v2[665] v2[666] v2[667] v2[668] v2[669] v2[670] v2[671] v2[672] v2[673] v2[674] v2[675] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] d[45] d[46] d[47] d[48] d[49] d[50] d[51] d[52] d[53] d[54] d[55] d[56] d[57] d[58] d[59] d[60] d[61] d[62] d[63] d[64] d[65] d[66] d[67] d[68] d[69] d[70] d[71] d[72] d[73] d[74] d[75] d[76] d[77] d[78] d[79] d[80] d[81] d[82] d[83] d[84] d[85] d[86] d[87] d[88] d[89] d[90] d[91] d[92] d[93] d[94] d[95] d[96] d[97] d[98] d[99] d[100] d[101] d[102] d[103] d[104] d[105] d[106] d[107] d[108] d[109] d[110] d[111] d[112] d[113] d[114] d[115] d[116] d[117] d[118] d[119] d[120] d[121] d[122] d[123] d[124] d[125] d[126] d[127] d[128] d[129] d[130] d[131] d[132] d[133] d[134] d[135] d[136] d[137] d[138] d[139] d[140] d[141] d[142] d[143] d[144] d[145] d[146] d[147] d[148] d[149] d[150] d[151] d[152] d[153] d[154] d[155] d[156] d[157] d[158] d[159] d[160] d[161] d[162] d[163] d[164] d[165] d[166] d[167] d[168] d[169] d[170] d[171] d[172] d[173] d[174] d[175] d[176] d[177] d[178] d[179] d[180] d[181] d[182] d[183] d[184] d[185] d[186] d[187] d[188] d[189] d[190] d[191] d[192] d[193] d[194] d[195] d[196] d[197] d[198] d[199] d[200] d[201] d[202] d[203] d[204] d[205] d[206] d[207] d[208] d[209] d[210] d[211] d[212] d[213] d[214] d[215] d[216] d[217] d[218] d[219] d[220] d[221] d[222] d[223] d[224] d[225] d[226] d[227] d[228] d[229] d[230] d[231] d[232] d[233] d[234] d[235] d[236] d[237] d[238] d[239] d[240] d[241] d[242] d[243] d[244] d[245] d[246] d[247] d[248] d[249] d[250] d[251] d[252] d[253] d[254] d[255] d[256] d[257] d[258] d[259] d[260] d[261] d[262] d[263] d[264] d[265] d[266] d[267] d[268] d[269] d[270] d[271] d[272] d[273] d[274] d[275] d[276] d[277] d[278] d[279] d[280] d[281] d[282] d[283] d[284] d[285] d[286] d[287] d[288] d[289] d[290] d[291] d[292] d[293] d[294] d[295] d[296] d[297] d[298] d[299] d[300] d[301] d[302] d[303] d[304] d[305] d[306] d[307] d[308] d[309] d[310] d[311] d[312] d[313] d[314] d[315] d[316] d[317] d[318] d[319] d[320] d[321] d[322] d[323] d[324] d[325] d[326] d[327] d[328] d[329] d[330] d[331] d[332] d[333] d[334] d[335] d[336] d[337] d[338] d[339] d[340] d[341] d[342] d[343] d[344] d[345] d[346] d[347] d[348] d[349] d[350] d[351] d[352] d[353] d[354] d[355] d[356] d[357] d[358] d[359] d[360] d[361] d[362] d[363] d[364] d[365] d[366] d[367] d[368] d[369] d[370] d[371] d[372] d[373] d[374] d[375] d[376] d[377] d[378] d[379] d[380] d[381] d[382] d[383] d[384] d[385] d[386] d[387] d[388] d[389] d[390] d[391] d[392] d[393] d[394] d[395] d[396] d[397] d[398] d[399] d[400] d[401] d[402] d[403] d[404] d[405] d[406] d[407] d[408] d[409] d[410] d[411] d[412] d[413] d[414] d[415] d[416] d[417] d[418] d[419] d[420] d[421] d[422] d[423] d[424] d[425] d[426] d[427] d[428] d[429] d[430] d[431] d[432] d[433] d[434] d[435] d[436] d[437] d[438] d[439] d[440] d[441] d[442] d[443] d[444] d[445] d[446] d[447] d[448] d[449] d[450] d[451] d[452] d[453] d[454] d[455] d[456] d[457] d[458] d[459] d[460] d[461] d[462] d[463] d[464] d[465] d[466] d[467] d[468] d[469] d[470] d[471] d[472] d[473] d[474] d[475] d[476] d[477] d[478] d[479] d[480] d[481] d[482] d[483] d[484] d[485] d[486] d[487] d[488] d[489] d[490] d[491] d[492] d[493] d[494] d[495] d[496] d[497] d[498] d[499] d[500] d[501] d[502] d[503] d[504] d[505] d[506] d[507] d[508] d[509] d[510] d[511] d[512] d[513] d[514] d[515] d[516] d[517] d[518] d[519] d[520] d[521] d[522] d[523] d[524] d[525] d[526] d[527] d[528] d[529] d[530] d[531] d[532] d[533] d[534] d[535] d[536] d[537] d[538] d[539] d[540] d[541] d[542] d[543] d[544] d[545] d[546] d[547] d[548] d[549] d[550] d[551] d[552] d[553] d[554] d[555] d[556] d[557] d[558] d[559] d[560] d[561] d[562] d[563] d[564] d[565] d[566] d[567] d[568] d[569] d[570] d[571] d[572] d[573] d[574] d[575] d[576] d[577] d[578] d[579] d[580] d[581] d[582] d[583] d[584] d[585] d[586] d[587] d[588] d[589] d[590] d[591] d[592] d[593] d[594] d[595] d[596] d[597] d[598] d[599] d[600] d[601] d[602] d[603] d[604] d[605] d[606] d[607] d[608] d[609] d[610] d[611] d[612] d[613] d[614] d[615] d[616] d[617] d[618] d[619] d[620] d[621] d[622] d[623] d[624] d[625] d[626] d[627] d[628] d[629] d[630] d[631] d[632] d[633] d[634] d[635] d[636] d[637] d[638] d[639] d[640] d[641] d[642] d[643] d[644] d[645] d[646] d[647] d[648] d[649] d[650] d[651] d[652] d[653] d[654] d[655] d[656] d[657] d[658] d[659] d[660] d[661] d[662] d[663] d[664] d[665] d[666] d[667] d[668] d[669] d[670] d[671] d[672] d[673] d[674] 252.00/230.35 v </list> 252.00/230.35 v <values> 252.00/230.35 v 2684 2376 2532 2292 2388 2252 2604 2508 2700 2688 2580 2528 2568 2160 2268 2240 2564 2680 2200 2644 2640 2636 2552 2660 2552 2572 2616 2200 2544 2624 2164 2560 2648 2700 2120 2588 2644 2548 2348 2572 2616 2504 2696 2612 2644 2588 2680 2336 2120 2668 2644 2592 2644 2212 2620 2336 2656 2420 2580 2160 2464 2632 2608 2296 2620 2520 2512 2660 2228 2332 2140 2700 2660 2648 2544 2344 2700 2584 2180 2204 2536 2636 2552 2624 2628 2604 2528 2620 2500 2456 2672 2548 2676 2584 2416 2488 2524 2460 2660 2576 2384 2692 2568 2580 2720 2584 2680 2336 2620 2568 2584 2596 2576 2204 2612 2540 2652 2696 2164 2512 2604 2448 2684 2656 2636 2160 2548 2700 2660 2620 2608 2588 2576 2660 2296 2540 2428 2652 2660 2720 2388 2532 2468 2684 2652 2572 2660 2612 2644 2676 0 0 0 1 0 1 1 0 0 1 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 6 0 7 9 0 0 1 0 0 0 1 1 0 10 10 6 0 9 0 1 0 10 10 1 0 0 10 10 10 1 0 6 10 8 9 0 10 7 10 10 10 0 7 0 0 0 10 2 0 0 6 0 0 0 1 1 10 10 5 0 10 0 10 10 5 0 0 0 1 10 6 5 4 4 10 10 1 1 6 10 10 0 0 3 0 10 0 6 10 5 0 1 0 10 0 0 10 1 10 6 0 9 0 9 0 0 10 9 10 9 10 10 0 10 1 9 0 0 10 8 1 10 10 0 10 8 0 1 1 1 1 10 0 10 0 0 0 10 1 10 0 0 10 10 2 0 3 5 0 7 0 1 10 0 10 1 0 0 0 0 3 0 0 1 4 10 9 10 0 0 0 10 10 0 9 0 10 1 1 0 1 7 3 1 0 7 10 0 9 0 0 0 10 0 0 9 0 1 0 8 1 10 10 6 0 10 0 3 0 0 0 10 0 0 8 10 10 0 0 0 10 0 9 2 0 1 9 0 4 10 1 10 0 10 0 6 2 0 0 0 4 0 10 0 0 7 10 0 1 10 3 0 1 3 0 0 0 1 0 0 1 0 10 5 8 3 10 1 5 0 10 0 10 1 7 0 0 1 10 0 0 0 0 0 10 1 0 10 0 0 0 0 0 5 10 0 0 10 0 0 10 0 0 10 10 1 10 10 10 0 0 0 10 0 10 0 8 0 9 0 7 4 9 0 0 6 0 0 0 10 10 1 0 0 0 10 1 2 1 0 0 0 1 10 10 0 0 1 9 10 0 0 10 0 0 0 1 0 10 4 10 10 8 7 8 7 10 0 5 5 10 1 10 1 10 4 0 10 0 0 0 8 8 7 1 1 0 0 0 10 9 10 1 0 6 0 10 5 4 1 1 0 0 5 0 10 0 0 10 10 1 10 4 0 0 1 10 0 9 0 10 0 0 7 0 1 1 0 10 10 3 7 1 0 10 3 0 0 0 0 0 10 1 0 0 10 0 0 0 10 10 1 0 0 0 10 0 0 0 1 8 4 8 9 1 0 0 10 1 10 10 10 10 0 0 0 9 1 0 0 0 1 8 0 10 0 10 3 0 0 2 10 1 0 0 0 10 10 10 8 5 0 4 8 7 7 0 1 0 0 0 10 1 4 0 0 0 0 0 10 0 1 0 1 10 1 1 9 9 0 0 1 4 10 1 0 1 1 0 10 7 2 10 0 1 9 0 0 5 2 7 0 0 5 0 0 1 0 0 0 8 0 9 10 10 5 10 10 10 3 10 3 8 0 6 8 1 10 0 0 1 0 6 3 10 0 5 10 0 0 0 0 4 0 0 5 10 8 0 0 0 0 0 8 0 10 10 10 10 5 10 0 1 0 0 0 10 1 1 10 1 0 10 0 0 10 6 0 0 3 0 0 0 1 0 8 0 0 0 0 10 0 0 1 10 0 0 0 1 0 0 9 10 0 0 0 10 0 10 8 8 1 0 10 0 1 0 8 0 0 0 0 0 0 0 0 16 48 40 388 16 64 268 204 176 284 196 240 256 44 232 344 304 12 196 112 412 236 56 152 96 128 88 292 296 228 200 232 220 112 232 256 288 296 364 444 360 428 268 92 300 468 364 16 40 16 184 96 20 20 400 16 72 8 72 20 240 52 140 172 112 164 76 168 56 84 84 32 280 120 72 316 152 80 160 160 72 176 356 28 484 160 32 80 392 36 116 340 380 8 284 44 124 4 72 120 16 172 128 104 92 76 152 172 16 220 76 88 408 132 92 132 388 32 68 84 392 384 460 500 376 276 452 64 264 312 76 28 80 460 288 328 344 348 148 76 364 444 228 16 148 20 56 132 68 28 444 132 312 404 520 56 60 4 136 32 20 56 192 20 20 64 56 340 52 100 0 12 36 16 68 24 208 92 340 32 96 4 124 64 108 36 100 20 312 448 28 112 60 36 208 168 104 108 52 360 76 56 12 32 24 36 88 416 268 44 116 68 40 76 44 148 44 360 132 384 260 376 96 444 16 44 88 76 208 120 160 4 80 280 40 68 56 4 48 328 184 480 380 420 472 512 252 324 40 444 12 52 224 48 16 124 172 436 68 148 28 112 52 116 284 40 16 160 48 524 392 540 340 560 492 488 468 268 56 68 32 112 292 12 100 68 200 108 144 32 132 28 64 136 60 188 284 52 280 336 336 16 452 8 4 24 32 88 48 112 28 152 88 92 20 412 44 44 44 140 84 36 68 112 120 156 268 44 164 32 8 36 432 76 24 84 28 48 72 124 16 464 144 60 484 56 256 52 40 12 108 96 16 104 4 44 20 308 84 324 4 8 348 204 92 344 488 484 524 88 72 92 156 8 52 484 132 16 56 16 120 32 172 28 8 36 8 68 20 16 32 16 300 332 372 464 448 440 12 0 36 40 64 40 184 216 192 204 24 44 20 28 4 36 44 116 12 124 208 200 276 80 68 52 40 116 104 76 104 256 416 520 184 80 236 24 104 120 148 196 108 452 248 48 112 12 4 36 256 132 0 244 424 160 40 44 232 88 292 380 64 92 132 132 112 108 60 92 212 364 48 308 444 392 492 424 384 328 52 252 36 328 480 372 464 356 116 80 24 24 4 112 312 44 12 220 156 108 356 180 196 268 152 116 88 36 44 372 280 440 116 364 392 456 156 48 40 108 32 88 148 68 476 84 48 52 144 108 100 40 72 112 96 52 64 60 92 52 80 20 8 16 72 4 92 148 164 40 60 12 84 152 336 156 136 88 32 176 220 240 148 180 288 88 20 96 132 284 32 60 80 96 36 156 116 160 32 244 124 92 96 96 136 52 136 152 200 116 124 224 32 200 192 276 324 24 0 36 44 76 196 236 224 156 4 56 40 152 44 20 4 284 140 192 152 136 108 292 16 292 4 272 252 192 128 68 408 36 288 92 64 56 16 128 60 280 148 108 244 0 144 72 8 44 8 120 44 124 116 72 24 40 116 248 428 516 104 112 52 60 192 8 24 68 84 84 68 364 364 8 264 88 80 24 16 252.00/230.35 v </values> 252.00/230.35 v </instantiation>
OK 51114875
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (8749 MiB free) memory of node 1: 16384 MiB (6269 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310574-1534330502/watcher-4310574-1534330502 -o /tmp/evaluation-result-4310574-1534330502/solver-4310574-1534330502 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20537 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 41029999 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310574-1534330502.xml running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=21705, runsolver pid=21702 Current StackSize limit: 8192 KiB [startup+0.108356 s]* /proc/loadavg: 1.97 1.71 1.62 3/215 21720 /proc/meminfo: memFree=15358332/32770624 swapFree=67108860/67108860 [pid=21705] ppid=21702 vsize=14082736 memory=34560 CPUtime=0.13 cores=0,2,4,6 /proc/21705/stat : 21705 (java) S 21702 21705 20506 0 -1 1077944320 7063 0 0 0 12 1 0 0 20 0 15 0 250613409 14420721664 8640 33554432000 4194304 4196468 140737330919568 140737330902112 140053751398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 /proc/21705/statm: 3520684 8640 3136 1 0 3482761 0 [pid=21705/tid=21707] ppid=21702 vsize=14082736 memory=-6966721798027829888 CPUtime=0.1 cores=0,2,4,6 /proc/21705/task/21707/stat : 21707 (java) D 21702 21705 20506 0 -1 1077944384 5127 0 0 0 10 0 0 0 20 0 15 0 250613409 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053755625456 140053751422013 0 4 0 16800975 18446744072101703204 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21708] ppid=21702 vsize=14082736 memory=5793855563533060537 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21708/stat : 21708 (java) S 21702 21705 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053347154960 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21709] ppid=21702 vsize=14082736 memory=140312523167360 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21709/stat : 21709 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053346102416 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21710] ppid=21702 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21710/stat : 21710 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053345049360 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21711] ppid=21702 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21711/stat : 21711 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053343996816 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21712] ppid=21702 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21712/stat : 21712 (java) S 21702 21705 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250613412 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053225351408 140053751409282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21713] ppid=21702 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21713/stat : 21713 (java) S 21702 21705 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250613412 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053224297632 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21714] ppid=21702 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21714/stat : 21714 (java) S 21702 21705 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250613412 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053223244528 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21715] ppid=21702 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21715/stat : 21715 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053222193104 140053751416731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21716] ppid=21702 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21716/stat : 21716 (java) S 21702 21705 20506 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053221141232 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21717] ppid=21702 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21717/stat : 21717 (java) S 21702 21705 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053220088688 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21718] ppid=21702 vsize=14082736 memory=140312523167360 CPUtime=0.01 cores=0,2,4,6 /proc/21705/task/21718/stat : 21718 (java) R 21702 21705 20506 0 -1 4202560 259 0 0 0 1 0 0 0 20 0 15 0 250613415 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053219035632 140053729763860 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21719] ppid=21702 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21719/stat : 21719 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053217983328 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21720] ppid=21702 vsize=14082736 memory=140312523167360 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21720/stat : 21720 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 8640 33554432000 4194304 4196468 140737330919568 140053216930352 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 34560 KiB [startup+0.210375 s]* /proc/loadavg: 1.97 1.71 1.62 4/215 21720 /proc/meminfo: memFree=15345308/32770624 swapFree=67108860/67108860 [pid=21705] ppid=21702 vsize=14082736 memory=47412 CPUtime=0.3 cores=0,2,4,6 /proc/21705/stat : 21705 (java) S 21702 21705 20506 0 -1 1077944320 10005 0 0 0 29 1 0 0 20 0 15 0 250613409 14420721664 11853 33554432000 4194304 4196468 140737330919568 140737330902112 140053751398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 /proc/21705/statm: 3520684 11853 3319 1 0 3482761 0 [pid=21705/tid=21707] ppid=21702 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6 /proc/21705/task/21707/stat : 21707 (java) R 21702 21705 20506 0 -1 4202560 7763 0 0 0 19 1 0 0 20 0 15 0 250613409 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053755626352 140053751420061 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21708] ppid=21702 vsize=14082736 memory=4211974038727957898 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21708/stat : 21708 (java) S 21702 21705 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053347154960 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21709] ppid=21702 vsize=14082736 memory=140312523167360 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21709/stat : 21709 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053346102416 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21710] ppid=21702 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21710/stat : 21710 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053345049360 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21711] ppid=21702 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21711/stat : 21711 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053343996816 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21712] ppid=21702 vsize=14082736 memory=140312523167360 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21712/stat : 21712 (java) S 21702 21705 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250613412 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053225351408 140053751409282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21713] ppid=21702 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21713/stat : 21713 (java) S 21702 21705 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250613412 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053224297632 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21714] ppid=21702 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21714/stat : 21714 (java) S 21702 21705 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250613412 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053223244528 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21715] ppid=21702 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21715/stat : 21715 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053222193104 140053751416731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21716] ppid=21702 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/21705/task/21716/stat : 21716 (java) R 21702 21705 20506 0 -1 4202560 393 0 0 0 2 0 0 0 20 0 15 0 250613415 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053221131344 140053743635262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21717] ppid=21702 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/21705/task/21717/stat : 21717 (java) R 21702 21705 20506 0 -1 4202560 196 0 0 0 1 0 0 0 20 0 15 0 250613415 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053220088984 140053743687424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21718] ppid=21702 vsize=14082736 memory=140312523167360 CPUtime=0.06 cores=0,2,4,6 /proc/21705/task/21718/stat : 21718 (java) R 21702 21705 20506 0 -1 1077944384 286 0 0 0 6 0 0 0 20 0 15 0 250613415 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053219035632 140053751409282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21719] ppid=21702 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21719/stat : 21719 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053217983328 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21720] ppid=21702 vsize=14082736 memory=140312523167360 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21720/stat : 21720 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 11853 33554432000 4194304 4196468 140737330919568 140053216930352 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 47412 KiB [startup+0.310461 s]* /proc/loadavg: 1.97 1.71 1.62 3/215 21720 /proc/meminfo: memFree=15341912/32770624 swapFree=67108860/67108860 [pid=21705] ppid=21702 vsize=14082736 memory=51188 CPUtime=0.43 cores=0,2,4,6 /proc/21705/stat : 21705 (java) S 21702 21705 20506 0 -1 1077944320 10377 0 0 0 41 2 0 0 20 0 15 0 250613409 14420721664 12797 33554432000 4194304 4196468 140737330919568 140737330902112 140053751398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 /proc/21705/statm: 3520684 12797 3418 1 0 3482761 0 [pid=21705/tid=21707] ppid=21702 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=0,2,4,6 /proc/21705/task/21707/stat : 21707 (java) R 21702 21705 20506 0 -1 4202560 8097 0 0 0 28 1 0 0 20 0 15 0 250613409 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053755615360 140053731673407 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21708] ppid=21702 vsize=14082736 memory=4211974038727957898 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21708/stat : 21708 (java) S 21702 21705 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053347154960 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21709] ppid=21702 vsize=14082736 memory=140312523169720 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21709/stat : 21709 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053346102416 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21710] ppid=21702 vsize=14082736 memory=140312420940300 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21710/stat : 21710 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053345049360 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21711] ppid=21702 vsize=14082736 memory=140312420928975 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21711/stat : 21711 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053343996816 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21712] ppid=21702 vsize=14082736 memory=140312523187892 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21712/stat : 21712 (java) S 21702 21705 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250613412 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053225351408 140053751409282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21713] ppid=21702 vsize=14082736 memory=140312420938159 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21713/stat : 21713 (java) S 21702 21705 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250613412 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053224297632 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21714] ppid=21702 vsize=14082736 memory=280624841867152 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21714/stat : 21714 (java) S 21702 21705 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250613412 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053223244528 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21715] ppid=21702 vsize=14082736 memory=280624841864848 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21715/stat : 21715 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053222193104 140053751416731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21716] ppid=21702 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6 /proc/21705/task/21716/stat : 21716 (java) S 21702 21705 20506 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 250613415 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053221141232 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21717] ppid=21702 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6 /proc/21705/task/21717/stat : 21717 (java) S 21702 21705 20506 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 250613415 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053220088688 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21718] ppid=21702 vsize=14082736 memory=140312523167360 CPUtime=0.08 cores=0,2,4,6 /proc/21705/task/21718/stat : 21718 (java) S 21702 21705 20506 0 -1 1077944384 295 0 0 0 8 0 0 0 20 0 15 0 250613415 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053219035632 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21719] ppid=21702 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21719/stat : 21719 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053217983328 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21720] ppid=21702 vsize=14082736 memory=140312523167360 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21720/stat : 21720 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613415 14420721664 12797 33554432000 4194304 4196468 140737330919568 140053216930352 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 Current children cumulated CPU time: 0.43 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 51188 KiB [startup+0.700802 s] /proc/loadavg: 1.97 1.71 1.62 3/215 21720 /proc/meminfo: memFree=15319660/32770624 swapFree=67108860/67108860 [pid=21705] ppid=21702 vsize=14084804 memory=88452 CPUtime=0.99 cores=0,2,4,6 /proc/21705/stat : 21705 (java) S 21702 21705 20506 0 -1 1077944320 17028 0 0 0 94 5 0 0 20 0 15 0 250613409 14422839296 22113 33554432000 4194304 4196468 140737330919568 140737330902112 140053751398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 /proc/21705/statm: 3521201 22113 3491 1 0 3483273 0 [pid=21705/tid=21707] ppid=21702 vsize=14084804 memory=876 CPUtime=0.67 cores=0,2,4,6 /proc/21705/task/21707/stat : 21707 (java) R 21702 21705 20506 0 -1 4202560 14428 0 0 0 63 4 0 0 20 0 15 0 250613409 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053755622240 140053751420061 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21708] ppid=21702 vsize=14084804 memory=10096 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21708/stat : 21708 (java) S 21702 21705 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250613410 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053347154960 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21709] ppid=21702 vsize=14084804 memory=1228 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21709/stat : 21709 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053346102416 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21710] ppid=21702 vsize=14084804 memory=6296683612554547549 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21710/stat : 21710 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053345049360 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21711] ppid=21702 vsize=14084804 memory=7597685182856913236 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21711/stat : 21711 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613410 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053343996816 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21712] ppid=21702 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21712/stat : 21712 (java) S 21702 21705 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250613412 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053225351408 140053751409282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21713] ppid=21702 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21713/stat : 21713 (java) S 21702 21705 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250613412 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053224297632 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21714] ppid=21702 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21714/stat : 21714 (java) S 21702 21705 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250613412 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053223244528 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21715] ppid=21702 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21715/stat : 21715 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053222193104 140053751416731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21716] ppid=21702 vsize=14084804 memory=268 CPUtime=0.06 cores=0,2,4,6 /proc/21705/task/21716/stat : 21716 (java) S 21702 21705 20506 0 -1 1077944384 524 0 0 0 6 0 0 0 20 0 15 0 250613415 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053221141232 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21717] ppid=21702 vsize=14084804 memory=7 CPUtime=0.08 cores=0,2,4,6 /proc/21705/task/21717/stat : 21717 (java) S 21702 21705 20506 0 -1 1077944384 367 0 0 0 8 0 0 0 20 0 15 0 250613415 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053220088688 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21718] ppid=21702 vsize=14084804 memory=20516 CPUtime=0.16 cores=0,2,4,6 /proc/21705/task/21718/stat : 21718 (java) S 21702 21705 20506 0 -1 1077944384 328 0 0 0 16 0 0 0 20 0 15 0 250613415 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053219035632 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21719] ppid=21702 vsize=14084804 memory=280624842051056 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21719/stat : 21719 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053217983328 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21720] ppid=21702 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21720/stat : 21720 (java) S 21702 21705 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250613415 14422839296 22113 33554432000 4194304 4196468 140737330919568 140053216930352 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 88452 KiB [startup+1.50074 s] /proc/loadavg: 1.97 1.71 1.62 6/215 21720 /proc/meminfo: memFree=15198336/32770624 swapFree=67108860/67108860 [pid=21705] ppid=21702 vsize=14086852 memory=331464 CPUtime=2.93 cores=0,2,4,6 /proc/21705/stat : 21705 (java) S 21702 21705 20506 0 -1 1077944320 22566 0 0 0 269 24 0 0 20 0 15 0 250613409 14424936448 82866 33554432000 4194304 4196468 140737330919568 140737330902112 140053751398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 /proc/21705/statm: 3521713 82866 3563 1 0 3483785 0 [pid=21705/tid=21707] ppid=21702 vsize=14086852 memory=0 CPUtime=1.39 cores=0,2,4,6 /proc/21705/task/21707/stat : 21707 (java) R 21702 21705 20506 0 -1 4202560 15872 0 0 0 132 7 0 0 20 0 15 0 250613409 14424936448 82866 33554432000 4194304 4196468 140737330919568 140053755634272 140053392629489 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21708] ppid=21702 vsize=14086852 memory=-3535359994705172833 CPUtime=0.06 cores=0,2,4,6 /proc/21705/task/21708/stat : 21708 (java) S 21702 21705 20506 0 -1 1077944384 184 0 0 0 2 4 0 0 20 0 15 0 250613410 14424936448 82866 33554432000 4194304 4196468 140737330919568 140053347154960 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21709] ppid=21702 vsize=14086852 memory=-3472574513799858003 CPUtime=0.06 cores=0,2,4,6 /proc/21705/task/21709/stat : 21709 (java) S 21702 21705 20506 0 -1 1077944384 218 0 0 0 2 4 0 0 20 0 15 0 250613410 14424936448 82866 33554432000 4194304 4196468 140737330919568 140053346102416 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21710] ppid=21702 vsize=14086852 memory=-1088251628401078322 CPUtime=0.05 cores=0,2,4,6 /proc/21705/task/21710/stat : 21710 (java) S 21702 21705 20506 0 -1 1077944384 364 0 0 0 2 3 0 0 20 0 15 0 250613410 14424936448 82866 33554432000 4194304 4196468 140737330919568 140053345049360 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21711] ppid=21702 vsize=14086852 memory=-6439125508584794466 CPUtime=0.06 cores=0,2,4,6 /proc/21705/task/21711/stat : 21711 (java) S 21702 21705 20506 0 -1 1077944384 234 0 0 0 2 4 0 0 20 0 15 0 250613410 14424936448 82866 33554432000 4194304 4196468 140737330919568 140053343996816 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21712] ppid=21702 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21712/stat : 21712 (java) S 21702 21705 20506 0 -1 1077944384 217 0 0 0 0 0 0 0 20 0 15 0 250613412 14424936448 82866 33554432000 4194304 4196468 140737330919568 140053225351408 140053751409282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 ################ # More data... # ################ /proc/21705/task/21707/stat : 21707 (java) R 21702 21705 20506 0 -1 4202560 47957 0 0 0 15830 49 0 0 20 0 15 0 250613409 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053755627376 140053403353250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21708] ppid=21702 vsize=14092996 memory=4597188 CPUtime=3.25 cores=0,2,4,6 /proc/21705/task/21708/stat : 21708 (java) S 21702 21705 20506 0 -1 1077944384 5283 0 0 0 277 48 0 0 20 0 15 0 250613410 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053347154960 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21709] ppid=21702 vsize=14092996 memory=4611680 CPUtime=3.27 cores=0,2,4,6 /proc/21705/task/21709/stat : 21709 (java) S 21702 21705 20506 0 -1 1077944384 4378 0 0 0 278 49 0 0 20 0 15 0 250613410 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053346102416 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21710] ppid=21702 vsize=14092996 memory=280624841979240 CPUtime=3.24 cores=0,2,4,6 /proc/21705/task/21710/stat : 21710 (java) S 21702 21705 20506 0 -1 1077944384 5736 0 0 0 277 47 0 0 20 0 15 0 250613410 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053345049360 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21711] ppid=21702 vsize=14092996 memory=4611680 CPUtime=3.25 cores=0,2,4,6 /proc/21705/task/21711/stat : 21711 (java) S 21702 21705 20506 0 -1 1077944384 5885 0 0 0 277 48 0 0 20 0 15 0 250613410 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053343996816 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21712] ppid=21702 vsize=14092996 memory=4611680 CPUtime=0.15 cores=0,2,4,6 /proc/21705/task/21712/stat : 21712 (java) S 21702 21705 20506 0 -1 1077944384 5793 0 0 0 15 0 0 0 20 0 15 0 250613412 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053225351408 140053751409282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21713] ppid=21702 vsize=14092996 memory=4611680 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21713/stat : 21713 (java) S 21702 21705 20506 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 250613412 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053224297696 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21714] ppid=21702 vsize=14092996 memory=4597188 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21714/stat : 21714 (java) S 21702 21705 20506 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250613412 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053223244544 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21715] ppid=21702 vsize=14092996 memory=4611680 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21715/stat : 21715 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053222193104 140053751416731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21716] ppid=21702 vsize=14092996 memory=0 CPUtime=3.95 cores=0,2,4,6 /proc/21705/task/21716/stat : 21716 (java) S 21702 21705 20506 0 -1 1077944384 11387 0 0 0 394 1 0 0 20 0 15 0 250613415 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053221141232 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21717] ppid=21702 vsize=14092996 memory=4611680 CPUtime=3.67 cores=0,2,4,6 /proc/21705/task/21717/stat : 21717 (java) S 21702 21705 20506 0 -1 1077944384 7969 0 0 0 364 3 0 0 20 0 15 0 250613415 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053220088688 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21718] ppid=21702 vsize=14092996 memory=1704 CPUtime=1.62 cores=0,2,4,6 /proc/21705/task/21718/stat : 21718 (java) S 21702 21705 20506 0 -1 1077944384 15434 0 0 0 158 4 0 0 20 0 15 0 250613415 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053219035632 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21719] ppid=21702 vsize=14092996 memory=4611680 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21719/stat : 21719 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053217983328 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21720] ppid=21702 vsize=14092996 memory=7379544262228273216 CPUtime=0.09 cores=0,2,4,6 /proc/21705/task/21720/stat : 21720 (java) S 21702 21705 20506 0 -1 1077944384 778 0 0 0 4 5 0 0 20 0 15 0 250613415 14431227904 1152920 33554432000 4194304 4196468 140737330919568 140053216930352 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 Current children cumulated CPU time: 181.4 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 4611680 KiB [startup+222.301 s] /proc/loadavg: 2.21 1.94 1.73 3/215 21804 /proc/meminfo: memFree=12418880/32770624 swapFree=67108860/67108860 [pid=21705] ppid=21702 vsize=14092996 memory=4664192 CPUtime=243.85 cores=0,2,4,6 /proc/21705/stat : 21705 (java) S 21702 21705 20506 0 -1 1077944320 130417 0 0 0 24121 264 0 0 20 0 15 0 250613409 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140737330902112 140053751398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 /proc/21705/statm: 3523249 1166048 3626 1 0 3485321 0 [pid=21705/tid=21707] ppid=21702 vsize=14092996 memory=4664192 CPUtime=218.14 cores=0,2,4,6 /proc/21705/task/21707/stat : 21707 (java) R 21702 21705 20506 0 -1 4202560 56204 0 0 0 21764 50 0 0 20 0 15 0 250613409 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053755627376 140053403704156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21708] ppid=21702 vsize=14092996 memory=4653944 CPUtime=3.88 cores=0,2,4,6 /proc/21705/task/21708/stat : 21708 (java) S 21702 21705 20506 0 -1 1077944384 6261 0 0 0 339 49 0 0 20 0 15 0 250613410 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053347154960 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21709] ppid=21702 vsize=14092996 memory=4660104 CPUtime=3.88 cores=0,2,4,6 /proc/21705/task/21709/stat : 21709 (java) S 21702 21705 20506 0 -1 1077944384 6025 0 0 0 338 50 0 0 20 0 15 0 250613410 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053346102416 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21710] ppid=21702 vsize=14092996 memory=4662144 CPUtime=3.87 cores=0,2,4,6 /proc/21705/task/21710/stat : 21710 (java) S 21702 21705 20506 0 -1 1077944384 6151 0 0 0 339 48 0 0 20 0 15 0 250613410 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053345049360 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21711] ppid=21702 vsize=14092996 memory=4664192 CPUtime=3.88 cores=0,2,4,6 /proc/21705/task/21711/stat : 21711 (java) S 21702 21705 20506 0 -1 1077944384 6727 0 0 0 339 49 0 0 20 0 15 0 250613410 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053343996816 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21712] ppid=21702 vsize=14092996 memory=4664192 CPUtime=0.17 cores=0,2,4,6 /proc/21705/task/21712/stat : 21712 (java) S 21702 21705 20506 0 -1 1077944384 6051 0 0 0 16 1 0 0 20 0 15 0 250613412 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053225351408 140053751409282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21713] ppid=21702 vsize=14092996 memory=1952 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21713/stat : 21713 (java) S 21702 21705 20506 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250613412 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053224297696 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21714] ppid=21702 vsize=14092996 memory=4662144 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21714/stat : 21714 (java) S 21702 21705 20506 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250613412 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053223244544 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21715] ppid=21702 vsize=14092996 memory=4662144 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21715/stat : 21715 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053222193104 140053751416731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21716] ppid=21702 vsize=14092996 memory=4664192 CPUtime=4.21 cores=0,2,4,6 /proc/21705/task/21716/stat : 21716 (java) S 21702 21705 20506 0 -1 1077944384 13416 0 0 0 420 1 0 0 20 0 15 0 250613415 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053221141232 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21717] ppid=21702 vsize=14092996 memory=4664192 CPUtime=3.96 cores=0,2,4,6 /proc/21705/task/21717/stat : 21717 (java) S 21702 21705 20506 0 -1 1077944384 10862 0 0 0 393 3 0 0 20 0 15 0 250613415 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053220088688 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21718] ppid=21702 vsize=14092996 memory=4664192 CPUtime=1.64 cores=0,2,4,6 /proc/21705/task/21718/stat : 21718 (java) S 21702 21705 20506 0 -1 1077944384 16478 0 0 0 160 4 0 0 20 0 15 0 250613415 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053219035632 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21719] ppid=21702 vsize=14092996 memory=4662144 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21719/stat : 21719 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053217983328 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21720] ppid=21702 vsize=14092996 memory=4662144 CPUtime=0.13 cores=0,2,4,6 /proc/21705/task/21720/stat : 21720 (java) S 21702 21705 20506 0 -1 1077944384 810 0 0 0 7 6 0 0 20 0 15 0 250613415 14431227904 1166048 33554432000 4194304 4196468 140737330919568 140053216930352 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 Current children cumulated CPU time: 243.85 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 4664192 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+230.301 s] /proc/loadavg: 2.02 1.91 1.72 3/215 21804 /proc/meminfo: memFree=11346008/32770624 swapFree=67108860/67108860 [pid=21705] ppid=21702 vsize=14092996 memory=4666240 CPUtime=252 cores=0,2,4,6 /proc/21705/stat : 21705 (java) S 21702 21705 20506 0 -1 1077944320 131224 0 0 0 24936 264 0 0 20 0 15 0 250613409 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140737330902112 140053751398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 /proc/21705/statm: 3523249 1166560 3626 1 0 3485321 0 [pid=21705/tid=21707] ppid=21702 vsize=14092996 memory=4662144 CPUtime=226.09 cores=0,2,4,6 /proc/21705/task/21707/stat : 21707 (java) R 21702 21705 20506 0 -1 4202560 56998 0 0 0 22559 50 0 0 20 0 15 0 250613409 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053755627376 140053403704077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21708] ppid=21702 vsize=14092996 memory=4666240 CPUtime=3.92 cores=0,2,4,6 /proc/21705/task/21708/stat : 21708 (java) S 21702 21705 20506 0 -1 1077944384 6266 0 0 0 343 49 0 0 20 0 15 0 250613410 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053347154960 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21709] ppid=21702 vsize=14092996 memory=4666240 CPUtime=3.93 cores=0,2,4,6 /proc/21705/task/21709/stat : 21709 (java) S 21702 21705 20506 0 -1 1077944384 6027 0 0 0 343 50 0 0 20 0 15 0 250613410 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053346102416 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21710] ppid=21702 vsize=14092996 memory=0 CPUtime=3.92 cores=0,2,4,6 /proc/21705/task/21710/stat : 21710 (java) S 21702 21705 20506 0 -1 1077944384 6155 0 0 0 344 48 0 0 20 0 15 0 250613410 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053345049360 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21711] ppid=21702 vsize=14092996 memory=164 CPUtime=3.92 cores=0,2,4,6 /proc/21705/task/21711/stat : 21711 (java) S 21702 21705 20506 0 -1 1077944384 6729 0 0 0 343 49 0 0 20 0 15 0 250613410 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053343996816 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21712] ppid=21702 vsize=14092996 memory=280624842304352 CPUtime=0.17 cores=0,2,4,6 /proc/21705/task/21712/stat : 21712 (java) S 21702 21705 20506 0 -1 1077944384 6051 0 0 0 16 1 0 0 20 0 15 0 250613412 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053225351408 140053751409282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21713] ppid=21702 vsize=14092996 memory=4666240 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21713/stat : 21713 (java) S 21702 21705 20506 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250613412 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053224297696 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21714] ppid=21702 vsize=14092996 memory=4128 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21714/stat : 21714 (java) S 21702 21705 20506 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250613412 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053223244544 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21715] ppid=21702 vsize=14092996 memory=4664192 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21715/stat : 21715 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053222193104 140053751416731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21716] ppid=21702 vsize=14092996 memory=1240 CPUtime=4.21 cores=0,2,4,6 /proc/21705/task/21716/stat : 21716 (java) S 21702 21705 20506 0 -1 1077944384 13416 0 0 0 420 1 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053221141232 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21717] ppid=21702 vsize=14092996 memory=2416 CPUtime=3.96 cores=0,2,4,6 /proc/21705/task/21717/stat : 21717 (java) S 21702 21705 20506 0 -1 1077944384 10862 0 0 0 393 3 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053220088688 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21718] ppid=21702 vsize=14092996 memory=1796 CPUtime=1.64 cores=0,2,4,6 /proc/21705/task/21718/stat : 21718 (java) S 21702 21705 20506 0 -1 1077944384 16478 0 0 0 160 4 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053219035632 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21719] ppid=21702 vsize=14092996 memory=4666240 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21719/stat : 21719 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053217983328 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21720] ppid=21702 vsize=14092996 memory=4128 CPUtime=0.13 cores=0,2,4,6 /proc/21705/task/21720/stat : 21720 (java) S 21702 21705 20506 0 -1 1077944384 810 0 0 0 7 6 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053216930352 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 Current children cumulated CPU time: 252 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 4666240 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+230.396 s] # the end of solver process 21705 was just reported to runsolver # cumulated CPU time of all completed processes: user=249.55 s, system=2.6826 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+230.301 s] /proc/loadavg: 2.02 1.91 1.72 3/215 21804 /proc/meminfo: memFree=11346008/32770624 swapFree=67108860/67108860 [pid=21705] ppid=21702 vsize=14092996 memory=4666240 CPUtime=252 cores=0,2,4,6 /proc/21705/stat : 21705 (java) S 21702 21705 20506 0 -1 1077944320 131224 0 0 0 24936 264 0 0 20 0 15 0 250613409 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140737330902112 140053751398135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 /proc/21705/statm: 3523249 1166560 3626 1 0 3485321 0 [pid=21705/tid=21707] ppid=21702 vsize=14092996 memory=4662144 CPUtime=226.09 cores=0,2,4,6 /proc/21705/task/21707/stat : 21707 (java) R 21702 21705 20506 0 -1 4202560 56998 0 0 0 22559 50 0 0 20 0 15 0 250613409 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053755627376 140053403704077 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21708] ppid=21702 vsize=14092996 memory=4666240 CPUtime=3.92 cores=0,2,4,6 /proc/21705/task/21708/stat : 21708 (java) S 21702 21705 20506 0 -1 1077944384 6266 0 0 0 343 49 0 0 20 0 15 0 250613410 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053347154960 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21709] ppid=21702 vsize=14092996 memory=4666240 CPUtime=3.93 cores=0,2,4,6 /proc/21705/task/21709/stat : 21709 (java) S 21702 21705 20506 0 -1 1077944384 6027 0 0 0 343 50 0 0 20 0 15 0 250613410 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053346102416 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21710] ppid=21702 vsize=14092996 memory=0 CPUtime=3.92 cores=0,2,4,6 /proc/21705/task/21710/stat : 21710 (java) S 21702 21705 20506 0 -1 1077944384 6155 0 0 0 344 48 0 0 20 0 15 0 250613410 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053345049360 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21711] ppid=21702 vsize=14092996 memory=164 CPUtime=3.92 cores=0,2,4,6 /proc/21705/task/21711/stat : 21711 (java) S 21702 21705 20506 0 -1 1077944384 6729 0 0 0 343 49 0 0 20 0 15 0 250613410 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053343996816 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21712] ppid=21702 vsize=14092996 memory=280624842304352 CPUtime=0.17 cores=0,2,4,6 /proc/21705/task/21712/stat : 21712 (java) S 21702 21705 20506 0 -1 1077944384 6051 0 0 0 16 1 0 0 20 0 15 0 250613412 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053225351408 140053751409282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21713] ppid=21702 vsize=14092996 memory=4666240 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21713/stat : 21713 (java) S 21702 21705 20506 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 250613412 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053224297696 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21714] ppid=21702 vsize=14092996 memory=4128 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21714/stat : 21714 (java) S 21702 21705 20506 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 250613412 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053223244544 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21715] ppid=21702 vsize=14092996 memory=4664192 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21715/stat : 21715 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053222193104 140053751416731 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21716] ppid=21702 vsize=14092996 memory=1240 CPUtime=4.21 cores=0,2,4,6 /proc/21705/task/21716/stat : 21716 (java) S 21702 21705 20506 0 -1 1077944384 13416 0 0 0 420 1 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053221141232 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21717] ppid=21702 vsize=14092996 memory=2416 CPUtime=3.96 cores=0,2,4,6 /proc/21705/task/21717/stat : 21717 (java) S 21702 21705 20506 0 -1 1077944384 10862 0 0 0 393 3 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053220088688 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21718] ppid=21702 vsize=14092996 memory=1796 CPUtime=1.64 cores=0,2,4,6 /proc/21705/task/21718/stat : 21718 (java) S 21702 21705 20506 0 -1 1077944384 16478 0 0 0 160 4 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053219035632 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21719] ppid=21702 vsize=14092996 memory=4666240 CPUtime=0 cores=0,2,4,6 /proc/21705/task/21719/stat : 21719 (java) S 21702 21705 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053217983328 140053751408341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 [pid=21705/tid=21720] ppid=21702 vsize=14092996 memory=4128 CPUtime=0.13 cores=0,2,4,6 /proc/21705/task/21720/stat : 21720 (java) S 21702 21705 20506 0 -1 1077944384 810 0 0 0 7 6 0 0 20 0 15 0 250613415 14431227904 1166560 33554432000 4194304 4196468 140737330919568 140053216930352 140053751409282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21946368 140737330926684 140737330926862 140737330926862 140737330929615 0 Current children cumulated CPU time: 252 s Current children cumulated vsize: 14092996 KiB Current children cumulated memory: 4666240 KiB Child status: 143 Real time (s): 230.396 CPU time (s): 252.232 CPU user time (s): 249.55 CPU system time (s): 2.6826 CPU usage (%): 109.478 Max. virtual memory (cumulated for all children) (KiB): 14092996 Max. memory (cumulated for all children) (KiB): 4666240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 249.55 system time used= 2.6826 maximum resident set size= 4670740 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 132037 page faults= 0 swaps= 0 block input operations= 0 block output operations= 392 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12313 involuntary context switches= 532 # summary of solver processes directly reported to runsolver: # pid: 21705 # total CPU time (s): 252.232 # total CPU user time (s): 249.55 # total CPU system time (s): 2.6826 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.63945 second user time and 2.19821 second system time The end
Begin job on node139 at 2018-08-15 12:55:02 IDJOB=4310574 IDBENCH=141259 IDSOLVER=2796 FILE ID=node139/4310574-1534330502 RUNJOBID= node139-1534329043-20537 PBS_JOBID= 21038153 Free space on /tmp= 34944 MiB SOLVER NAME= OscaR - Hybrid 2018-08-14 BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test01-0150_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4310574-1534330502/watcher-4310574-1534330502 -o /tmp/evaluation-result-4310574-1534330502/solver-4310574-1534330502 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534329043-20537 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 41029999 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310574-1534330502.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= deef1e755c9079fc369bbf159731f616 RANDOM SEED=41029999 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 15379996 kB MemAvailable: 28180564 kB Buffers: 270520 kB Cached: 12629068 kB SwapCached: 0 kB Active: 9974968 kB Inactive: 6689900 kB Active(anon): 3718692 kB Inactive(anon): 106808 kB Active(file): 6256276 kB Inactive(file): 6583092 kB Unevictable: 7192 kB Mlocked: 7192 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 81068 kB Writeback: 0 kB AnonPages: 3772120 kB Mapped: 78852 kB Shmem: 57996 kB Slab: 418256 kB SReclaimable: 389660 kB SUnreclaim: 28596 kB KernelStack: 3616 kB PageTables: 13040 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 5598108 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3592192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 34816 MiB End job on node139 at 2018-08-15 12:58:53