Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| GG's minicp 2018-04-29 | SAT (TO) | 201569901 | 2520.14 | 2481.96 |
| Name | Fapp/Fapp-ext/ Fapp-ext-02-0250_c18.xml |
| MD5SUM | 24bf88c1c49a1faaa01f312934ed4415 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 181903419 |
| Best CPU time to get the best result obtained on this benchmark | 2520.12 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 4758 |
| Number of constraints | 3055 |
| Number of domains | 59 |
| Minimum domain size | 1 |
| Maximum domain size | 105 |
| Distribution of domain sizes | [{"size":1,"count":2},{"size":2,"count":1667},{"size":11,"count":1419},{"size":12,"count":1},{"size":21,"count":41},{"size":23,"count":11},{"size":32,"count":14},{"size":39,"count":42},{"size":41,"count":3},{"size":42,"count":5},{"size":47,"count":7},{"size":48,"count":8},{"size":49,"count":5},{"size":51,"count":12},{"size":53,"count":32},{"size":54,"count":10},{"size":55,"count":22},{"size":56,"count":8},{"size":57,"count":35},{"size":58,"count":37},{"size":59,"count":5},{"size":60,"count":10},{"size":61,"count":1},{"size":62,"count":14},{"size":63,"count":56},{"size":64,"count":19},{"size":65,"count":18},{"size":67,"count":34},{"size":69,"count":56},{"size":70,"count":15},{"size":71,"count":22},{"size":73,"count":14},{"size":76,"count":3},{"size":77,"count":19},{"size":82,"count":34},{"size":83,"count":32},{"size":84,"count":22},{"size":89,"count":29},{"size":90,"count":74},{"size":92,"count":126},{"size":95,"count":73},{"size":96,"count":86},{"size":97,"count":47},{"size":99,"count":20},{"size":102,"count":70},{"size":105,"count":478}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 1420 |
| Distribution of variable degrees | [{"degree":2,"count":4257},{"degree":3,"count":3},{"degree":4,"count":4},{"degree":5,"count":7},{"degree":6,"count":19},{"degree":7,"count":25},{"degree":8,"count":23},{"degree":9,"count":30},{"degree":10,"count":39},{"degree":11,"count":41},{"degree":12,"count":49},{"degree":13,"count":55},{"degree":14,"count":52},{"degree":15,"count":51},{"degree":16,"count":64},{"degree":17,"count":38},{"degree":1420,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 6 |
| Distribution of constraint arities | [{"arity":2,"count":217},{"arity":3,"count":1419},{"arity":6,"count":1419}] |
| Number of extensional constraints | 3055 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":3055}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.12/0.13 c version: 2018-04-11 0.12/0.13 c seed: 1811631 0.12/0.13 c timeout: -1 0.12/0.13 c memlimit: -1 0.12/0.13 c nbcore: -1 73.03/45.49 o 201740874 88.21/54.01 o 201740873 88.21/54.01 o 201740872 88.21/54.01 o 201740864 88.21/54.02 o 201740863 88.21/54.02 o 201740862 88.21/54.02 o 201740861 88.21/54.02 o 201740857 88.21/54.03 o 201740856 88.21/54.03 o 201740855 88.21/54.03 o 201740854 88.21/54.03 o 201740851 88.21/54.03 o 201740850 88.21/54.03 o 201740849 88.21/54.03 o 201740848 88.21/54.04 o 201740847 88.21/54.04 o 201740846 88.21/54.04 o 201740845 88.21/54.04 o 201740844 88.21/54.04 o 201740841 88.21/54.04 o 201740840 88.21/54.04 o 201740839 88.21/54.05 o 201740838 88.21/54.05 o 201740837 88.21/54.05 o 201740836 88.21/54.05 o 201740834 88.21/54.05 o 201740833 88.21/54.05 o 201740832 88.21/54.05 o 201740831 88.21/54.06 o 201740830 88.21/54.06 o 201740829 88.21/54.06 o 201740828 88.21/54.06 o 201740827 88.21/54.06 o 201740824 88.21/54.06 o 201740823 88.21/54.06 o 201740822 88.21/54.07 o 201740821 88.21/54.07 o 201740820 88.21/54.07 o 201740819 88.21/54.07 o 201740818 88.21/54.07 o 201740817 88.21/54.07 o 201740816 88.21/54.08 o 201740815 88.21/54.08 o 201740814 88.21/54.08 o 201740813 88.21/54.08 o 201740812 88.21/54.08 o 201740811 88.21/54.09 o 201740810 88.21/54.09 o 201740809 88.21/54.09 o 201740808 88.21/54.09 o 201740807 88.21/54.10 o 201740806 88.21/54.10 o 201740805 88.21/54.10 o 201740804 88.21/54.10 o 201740803 88.21/54.10 o 201740802 88.21/54.11 o 201740801 88.52/54.11 o 201740800 88.52/54.11 o 201740799 88.52/54.11 o 201740798 88.52/54.11 o 201740797 88.52/54.11 o 201726676 88.52/54.12 o 201726675 88.52/54.12 o 201726674 88.52/54.12 o 201726666 88.52/54.12 o 201726665 88.52/54.12 o 201726664 88.52/54.12 o 201726663 88.52/54.12 o 201726659 88.52/54.12 o 201726658 88.52/54.12 o 201726657 88.52/54.12 o 201726656 88.52/54.12 o 201726653 88.52/54.12 o 201726652 88.52/54.12 o 201726651 88.52/54.13 o 201726650 88.52/54.13 o 201726649 88.52/54.13 o 201726648 88.52/54.13 o 201726647 88.52/54.13 o 201726646 88.52/54.13 o 201726643 88.52/54.13 o 201726642 88.52/54.13 o 201726641 88.52/54.13 o 201726640 88.52/54.13 o 201726639 88.52/54.13 o 201726638 88.52/54.14 o 201726636 88.52/54.14 o 201726635 88.52/54.14 o 201726634 88.52/54.14 o 201726633 94.58/60.05 o 201712441 94.58/60.05 o 201712440 94.58/60.05 o 201712422 94.58/60.05 o 201712421 94.58/60.05 o 201712420 94.58/60.05 o 201712419 94.58/60.05 o 201712418 94.58/60.05 o 201712417 94.58/60.06 o 201712416 94.58/60.06 o 201712415 94.58/60.06 o 201712414 94.58/60.06 o 201712413 94.58/60.06 o 201712412 94.58/60.06 o 201712411 94.58/60.06 o 201712410 94.58/60.06 o 201712409 94.58/60.06 o 201712408 94.58/60.06 o 201712407 94.58/60.06 o 201712406 94.58/60.07 o 201712405 94.58/60.07 o 201712404 94.58/60.07 o 201712403 94.58/60.07 o 201712402 94.58/60.07 o 201712401 94.58/60.07 o 201712400 94.58/60.07 o 201712399 94.58/60.07 o 201712398 94.58/60.07 o 201712397 94.58/60.07 o 201712396 94.58/60.07 o 201712395 94.58/60.08 o 201712394 94.58/60.08 o 201712393 94.58/60.08 o 201712392 94.58/60.08 o 201712391 94.58/60.08 o 201712390 94.58/60.08 o 201712389 94.58/60.08 o 201712388 94.58/60.08 o 201712387 94.58/60.08 o 201712386 94.58/60.08 o 201712385 94.58/60.08 o 201712384 94.58/60.08 o 201712383 94.58/60.09 o 201712382 94.58/60.09 o 201712381 94.58/60.09 o 201712380 94.58/60.09 o 201712379 94.58/60.09 o 201712378 94.58/60.09 o 201712377 94.58/60.09 o 201712376 94.58/60.09 o 201712375 94.58/60.09 o 201712374 94.58/60.09 o 201712373 94.58/60.09 o 201712372 94.58/60.10 o 201712371 94.58/60.10 o 201712370 94.58/60.10 o 201712369 94.58/60.10 o 201712368 94.58/60.10 o 201712367 94.58/60.10 o 201712366 94.58/60.10 o 201712365 94.58/60.10 o 201712364 94.58/60.10 o 201712363 94.58/60.10 o 201712362 94.58/60.10 o 201712361 94.58/60.11 o 201712360 94.72/60.11 o 201712359 94.72/60.11 o 201712358 94.72/60.11 o 201712357 94.72/60.11 o 201712356 94.72/60.11 o 201712355 94.72/60.11 o 201712354 94.72/60.11 o 201712353 94.72/60.11 o 201712352 94.72/60.11 o 201712351 94.72/60.11 o 201712350 94.72/60.12 o 201712349 94.72/60.12 o 201712348 94.72/60.12 o 201712347 94.72/60.12 o 201712346 94.72/60.12 o 201712345 94.72/60.12 o 201712344 94.72/60.12 o 201712343 94.72/60.12 o 201712342 94.72/60.12 o 201712341 94.72/60.13 o 201712340 94.72/60.13 o 201712339 94.72/60.13 o 201712338 94.72/60.13 o 201712337 100.52/65.99 o 201712335 100.52/65.99 o 201712334 100.52/65.99 o 201712333 100.52/65.99 o 201712332 100.52/65.99 o 201712331 100.52/65.99 o 201712330 100.52/65.99 o 201712329 100.52/66.00 o 201712328 100.52/66.00 o 201712327 100.52/66.00 o 201712326 100.70/66.01 o 201712325 100.70/66.01 o 201712324 100.70/66.01 o 201712323 100.70/66.01 o 201712322 100.70/66.01 o 201712321 100.70/66.01 o 201712320 100.70/66.01 o 201712319 100.70/66.01 o 201712318 100.70/66.01 o 201712317 100.70/66.01 o 201712316 100.70/66.01 o 201712315 100.70/66.01 o 201712314 100.70/66.02 o 201712313 100.70/66.02 o 201712312 100.70/66.02 o 201712311 100.70/66.02 o 201712310 100.70/66.02 o 201712309 100.70/66.02 o 201712308 100.70/66.03 o 201712307 100.70/66.03 o 201712306 100.70/66.03 o 201712305 100.70/66.03 o 201712304 100.70/66.03 o 201712303 100.70/66.03 o 201712302 100.70/66.03 o 201712301 100.70/66.03 o 201712300 100.70/66.04 o 201712299 100.70/66.04 o 201712298 100.70/66.04 o 201712297 100.70/66.04 o 201712296 100.70/66.04 o 201712295 100.70/66.04 o 201712294 100.70/66.04 o 201712293 100.70/66.06 o 201712292 100.70/66.08 o 201712291 106.72/71.90 o 201712287 106.72/71.90 o 201712284 106.72/71.90 o 201712283 106.72/71.90 o 201712282 106.72/71.90 o 201712281 106.72/71.90 o 201712278 106.72/71.90 o 201712277 106.72/71.90 o 201712276 106.72/71.91 o 201712275 106.72/71.91 o 201712272 106.72/71.91 o 201712271 106.72/71.91 o 201712270 106.72/71.91 o 201712269 106.72/71.91 o 201712268 106.72/71.91 o 201712267 106.72/71.91 o 201712266 106.72/71.91 o 201712264 106.72/71.91 o 201712263 106.72/71.91 o 201712262 106.72/71.91 o 201712261 106.72/71.92 o 201712258 106.72/71.92 o 201712257 106.72/71.92 o 201712256 106.72/71.92 o 201712255 106.72/71.92 o 201712254 106.72/71.92 o 201712253 106.72/71.92 o 201712252 106.72/71.92 o 201712251 106.72/71.92 o 201712249 106.72/71.92 o 201712248 106.72/71.92 o 201712247 106.72/71.92 o 201712246 106.72/71.92 o 201712243 106.72/71.93 o 201712242 106.72/71.93 o 201712241 106.72/71.93 o 201712240 106.72/71.93 o 201712239 106.72/71.93 o 201712238 106.72/71.93 o 201712237 106.72/71.93 o 201712236 106.72/71.93 o 201712235 106.72/71.93 o 201712234 106.72/71.93 o 201712233 106.72/71.93 o 201712232 106.72/71.93 o 201712231 106.72/71.94 o 201712230 106.72/71.94 o 201712229 106.72/71.94 o 201712228 106.72/71.95 o 201712227 106.72/71.96 o 201712226 106.72/71.96 o 201712225 106.72/71.96 o 201712224 106.72/71.97 o 201712223 106.72/71.98 o 201712222 106.72/71.99 o 201712221 106.72/72.00 o 201712220 106.88/72.01 o 201712219 106.88/72.02 o 201712218 106.88/72.05 o 201712217 106.88/72.08 o 201712216 113.08/78.22 o 201698035 113.08/78.23 o 201698033 113.08/78.23 o 201698031 113.08/78.23 o 201698029 113.08/78.23 o 201698027 113.08/78.23 o 201698026 113.08/78.23 o 201698024 113.08/78.23 o 201698023 113.08/78.23 o 201698021 113.08/78.23 o 201698019 113.08/78.23 o 201698018 113.08/78.23 o 201698016 113.08/78.24 o 201698015 113.08/78.24 o 201698014 113.08/78.24 o 201698013 113.08/78.24 o 201698012 113.08/78.24 o 201698011 113.08/78.24 o 201698010 113.08/78.24 o 201698009 113.08/78.24 o 201698008 113.08/78.24 o 201698007 113.08/78.25 o 201698006 113.08/78.25 o 201698005 113.08/78.25 o 201698004 113.08/78.25 o 201698003 113.08/78.25 o 201698002 113.08/78.26 o 201698001 119.08/84.30 o 201697999 119.08/84.30 o 201697998 119.18/84.30 o 201697997 119.18/84.30 o 201697996 119.18/84.30 o 201697995 119.18/84.30 o 201697994 119.18/84.30 o 201697993 119.18/84.30 o 201697992 119.18/84.30 o 201697991 119.18/84.30 o 201697986 119.18/84.30 o 201697985 119.18/84.30 o 201697984 119.18/84.30 o 201697983 119.18/84.30 o 201697982 119.18/84.30 o 201697981 119.18/84.31 o 201697980 119.18/84.31 o 201697979 119.18/84.31 o 201697978 119.18/84.31 o 201697977 119.18/84.31 o 201697976 119.18/84.31 o 201697975 119.18/84.31 o 201697974 119.18/84.31 o 201697973 119.18/84.31 o 201697972 119.18/84.31 o 201697971 119.18/84.31 o 201697970 119.18/84.31 o 201697969 119.18/84.32 o 201697968 119.18/84.32 o 201697967 119.18/84.32 o 201697966 119.18/84.32 o 201697965 119.18/84.32 o 201697964 119.18/84.32 o 201697963 119.18/84.32 o 201697962 119.18/84.32 o 201697961 119.18/84.32 o 201697960 119.18/84.32 o 201697959 119.18/84.32 o 201697958 119.18/84.32 o 201697957 119.18/84.33 o 201697956 119.18/84.33 o 201697955 119.18/84.33 o 201697954 119.18/84.33 o 201697953 119.18/84.33 o 201697952 119.18/84.33 o 201697951 119.18/84.33 o 201697950 119.18/84.33 o 201697949 119.18/84.33 o 201697948 119.18/84.33 o 201697947 119.18/84.34 o 201697946 119.18/84.34 o 201697945 119.18/84.34 o 201697944 119.18/84.34 o 201697943 119.18/84.34 o 201697942 119.18/84.34 o 201697941 119.18/84.35 o 201697940 119.18/84.35 o 201697939 119.18/84.35 o 201697938 119.18/84.35 o 201697937 119.18/84.35 o 201697936 119.18/84.36 o 201683808 119.18/84.36 o 201683791 119.18/84.36 o 201683790 119.18/84.36 o 201683789 119.18/84.36 o 201683788 119.18/84.36 o 201683787 119.18/84.36 o 201683786 119.18/84.36 o 201683785 119.18/84.36 o 201683784 119.18/84.36 o 201683783 119.18/84.36 o 201683778 119.18/84.36 o 201683777 119.18/84.36 o 201683776 119.18/84.36 o 201683775 119.18/84.37 o 201683774 119.18/84.37 o 201683773 119.18/84.37 o 201683772 119.18/84.37 o 201683771 119.18/84.37 o 201683770 119.18/84.37 o 201683769 119.18/84.37 o 201683768 119.18/84.37 o 201683767 119.18/84.37 o 201683766 119.18/84.37 o 201683765 119.18/84.37 o 201683764 119.18/84.37 o 201683763 119.18/84.38 o 201683762 119.18/84.38 o 201683761 119.18/84.38 o 201683760 119.18/84.38 o 201683759 119.18/84.38 o 201683758 119.18/84.38 o 201683757 119.18/84.38 o 201683756 119.18/84.38 o 201683755 119.18/84.38 o 201683754 119.18/84.38 o 201683753 119.18/84.39 o 201683752 119.18/84.39 o 201683751 119.18/84.39 o 201683750 119.18/84.39 o 201683749 119.18/84.39 o 201683748 119.18/84.39 o 201683747 119.18/84.39 o 201683746 119.18/84.39 o 201683745 119.18/84.39 o 201683744 119.18/84.39 o 201683743 119.18/84.39 o 201683742 119.18/84.40 o 201683741 119.18/84.40 o 201683740 119.28/84.40 o 201683739 119.28/84.40 o 201683738 119.28/84.40 o 201683737 119.28/84.40 o 201683736 119.28/84.40 o 201683735 119.28/84.41 o 201683734 119.28/84.41 o 201683733 119.28/84.41 o 201683732 119.28/84.41 o 201683731 119.28/84.41 o 201683730 119.28/84.42 o 201683729 119.28/84.42 o 201683728 119.28/84.42 o 201683727 119.28/84.42 o 201683726 119.28/84.42 o 201683725 119.28/84.42 o 201683724 119.28/84.43 o 201683723 119.28/84.43 o 201683722 119.28/84.43 o 201683721 125.39/90.56 o 201683720 125.39/90.57 o 201683719 125.50/90.60 o 201683718 125.50/90.64 o 201683717 125.50/90.65 o 201669536 125.50/90.65 o 201669535 125.50/90.65 o 201669534 125.50/90.66 o 201669533 125.50/90.66 o 201669532 125.50/90.66 o 201669531 125.50/90.66 o 201669530 125.50/90.67 o 201669529 125.50/90.68 o 201669528 125.50/90.68 o 201669527 125.50/90.69 o 201669526 125.61/90.70 o 201669525 125.61/90.71 o 201669524 125.61/90.72 o 201669523 125.61/90.73 o 201669522 125.61/90.74 o 201669521 125.61/90.74 o 201669520 125.61/90.77 o 201669519 125.71/90.80 o 201669518 125.71/90.84 o 201669517 125.71/90.88 o 201669516 125.82/90.93 o 201669515 125.82/90.95 o 201669514 125.82/90.96 o 201669513 125.82/90.97 o 201669512 125.82/90.98 o 201669511 125.82/91.01 o 201669510 125.92/91.03 o 201669509 125.92/91.05 o 201669508 125.92/91.08 o 201669507 126.02/91.12 o 201669506 126.02/91.16 o 201669505 132.22/97.35 o 201669504 132.32/97.48 o 201669503 132.43/97.51 o 201669502 132.53/97.63 o 201669501 132.53/97.64 o 201669500 132.53/97.67 o 201669499 132.63/97.79 o 201669498 132.73/97.83 o 201669497 132.94/98.08 o 201669496 133.04/98.11 o 201669495 133.69/98.71 o 201669494 134.35/99.30 o 201669493 134.85/99.88 o 201669492 141.56/106.52 o 201669491 141.56/106.55 o 201669490 141.56/106.57 o 201669489 141.66/106.60 o 201669488 141.66/106.61 o 201669487 141.66/106.67 o 201669486 141.76/106.73 o 201669485 141.76/106.75 o 201669484 141.86/106.80 o 201669483 141.86/106.84 o 201669482 141.86/106.85 o 201669481 141.86/106.88 o 201669480 141.86/106.89 o 201669479 141.96/106.95 o 201669478 142.07/107.02 o 201669477 142.07/107.03 o 201669476 142.07/107.09 o 201669475 142.17/107.17 o 201669474 142.26/107.22 o 201669473 142.36/107.34 o 201669472 142.57/107.53 o 201669471 148.70/113.60 o 201669470 148.70/113.60 o 201669469 148.70/113.61 o 201669468 148.70/113.61 o 201669467 148.70/113.62 o 201669466 148.70/113.63 o 201669465 148.70/113.63 o 201669464 148.70/113.63 o 201669463 148.70/113.64 o 201669462 148.70/113.64 o 201669461 148.70/113.64 o 201669460 148.70/113.65 o 201669459 148.70/113.65 o 201669458 148.70/113.66 o 201669457 148.70/113.68 o 201669456 148.70/113.68 o 201669455 148.70/113.68 o 201669454 148.70/113.68 o 201669453 148.70/113.69 o 201669452 148.70/113.69 o 201669451 148.70/113.69 o 201669450 148.80/113.70 o 201669449 148.80/113.71 o 201669448 154.90/119.84 o 201669447 154.90/119.84 o 201669446 154.90/119.84 o 201669445 161.00/125.95 o 201669444 161.00/125.95 o 201669443 161.00/125.95 o 201669442 161.00/125.95 o 201669441 161.00/125.96 o 201669440 161.00/125.96 o 201669439 161.00/125.96 o 201669438 161.00/125.96 o 201669437 161.00/125.96 o 201669436 161.00/125.96 o 201669435 161.00/125.96 o 201669434 161.00/125.96 o 201669433 161.00/125.96 o 201669432 161.00/125.96 o 201669431 161.00/125.96 o 201669430 161.00/125.96 o 201669429 161.00/125.97 o 201669428 161.00/125.97 o 201669427 161.00/125.97 o 201669426 161.00/125.97 o 201669425 161.00/125.97 o 201669424 161.00/125.97 o 201669423 161.00/125.97 o 201669422 167.21/132.17 o 201655292 167.21/132.17 o 201655291 167.21/132.17 o 201655290 167.21/132.17 o 201655282 167.21/132.17 o 201655281 167.21/132.17 o 201655280 167.21/132.17 o 201655279 167.21/132.17 o 201655277 167.21/132.17 o 201655276 167.21/132.17 o 201655275 167.21/132.18 o 201655267 167.21/132.18 o 201655266 167.21/132.18 o 201655265 167.21/132.18 o 201655264 167.21/132.18 o 201655260 167.21/132.18 o 201655259 167.21/132.18 o 201655258 167.21/132.18 o 201655257 167.21/132.18 o 201655256 167.21/132.18 o 201655252 167.21/132.18 o 201655251 167.21/132.18 o 201655250 167.21/132.18 o 201655249 167.21/132.18 o 201655248 167.21/132.19 o 201655247 167.21/132.19 o 201655246 167.21/132.19 o 201655245 167.21/132.19 o 201655244 167.21/132.19 o 201655240 167.21/132.19 o 201655239 167.21/132.19 o 201655238 167.21/132.19 o 201655237 167.21/132.19 o 201655236 167.21/132.19 o 201655235 167.21/132.19 o 201655234 167.21/132.19 o 201655233 167.21/132.20 o 201655232 167.30/132.20 o 201655231 167.30/132.20 o 201655230 167.30/132.20 o 201655229 167.30/132.20 o 201655228 167.30/132.20 o 201655226 167.30/132.20 o 201655225 167.30/132.20 o 201655224 167.30/132.20 o 201655223 167.30/132.20 o 201655222 167.30/132.21 o 201655221 167.30/132.21 o 201655220 167.30/132.21 o 201655219 167.30/132.21 o 201655218 167.30/132.21 o 201655217 167.30/132.21 o 201655216 167.30/132.21 o 201655215 167.30/132.21 o 201655214 167.30/132.21 o 201655213 167.30/132.21 o 201655212 167.30/132.21 o 201655211 167.30/132.22 o 201655210 167.30/132.22 o 201655209 167.30/132.22 o 201655208 167.30/132.22 o 201655207 167.30/132.22 o 201655206 167.30/132.22 o 201655205 167.30/132.22 o 201655204 167.30/132.22 o 201655203 167.30/132.22 o 201655202 167.30/132.22 o 201655201 173.21/138.18 o 201655200 173.21/138.18 o 201655199 173.21/138.19 o 201655198 173.21/138.19 o 201655197 173.21/138.19 o 201655196 173.21/138.19 o 201655195 173.21/138.19 o 201655194 173.30/138.20 o 201655193 173.30/138.20 o 201655192 173.30/138.20 o 201655191 173.30/138.20 o 201655190 173.30/138.21 o 201655189 173.30/138.21 o 201655188 173.30/138.21 o 201655187 173.30/138.21 o 201655186 173.30/138.22 o 201655185 173.30/138.22 o 201655184 173.30/138.22 o 201655183 173.30/138.22 o 201655182 173.30/138.23 o 201655181 173.30/138.23 o 201655180 173.30/138.23 o 201655179 173.30/138.24 o 201655178 173.30/138.24 o 201655177 173.30/138.24 o 201655176 173.30/138.24 o 201655175 173.30/138.25 o 201655174 173.30/138.25 o 201655173 173.30/138.25 o 201655172 173.30/138.25 o 201655171 173.30/138.26 o 201655170 173.30/138.26 o 201655169 173.30/138.26 o 201655168 173.30/138.26 o 201655167 173.30/138.27 o 201655166 173.30/138.27 o 201655165 173.30/138.27 o 201655164 173.30/138.27 o 201655163 173.30/138.27 o 201655162 173.30/138.28 o 201655161 173.30/138.28 o 201655160 173.30/138.28 o 201655159 173.30/138.28 o 201641086 173.30/138.29 o 201641072 173.30/138.29 o 201641071 173.30/138.29 o 201641070 173.30/138.29 o 201641062 173.30/138.29 o 201641061 173.30/138.29 o 201641060 173.30/138.29 o 201641059 173.30/138.29 o 201641058 173.30/138.29 o 201641057 173.30/138.29 o 201641053 173.30/138.29 o 201641039 173.30/138.29 o 201641038 173.30/138.30 o 201641037 173.30/138.30 o 201641029 173.40/138.30 o 201641028 173.40/138.30 o 201641027 173.40/138.30 o 201641026 173.40/138.30 o 201641025 173.40/138.30 o 201641024 173.40/138.30 o 201641023 173.40/138.30 o 201641022 173.40/138.31 o 201641021 173.40/138.31 o 201641020 173.40/138.31 o 201641019 173.40/138.31 o 201641018 173.40/138.31 o 201641017 173.40/138.31 o 201641016 173.40/138.31 o 201641015 173.40/138.31 o 201641014 173.40/138.32 o 201641013 173.40/138.32 o 201641012 173.40/138.32 o 201641011 173.40/138.32 o 201641010 173.40/138.32 o 201641009 173.40/138.32 o 201641008 173.40/138.32 o 201641007 173.40/138.32 o 201641006 173.40/138.33 o 201641005 173.40/138.33 o 201641004 173.40/138.33 o 201641003 173.40/138.33 o 201641002 173.40/138.33 o 201641001 173.40/138.34 o 201641000 173.40/138.34 o 201640999 173.40/138.34 o 201640998 173.40/138.34 o 201640997 173.40/138.34 o 201640996 173.40/138.34 o 201640995 173.40/138.35 o 201640994 173.40/138.35 o 201640993 173.40/138.35 o 201640992 173.40/138.35 o 201640991 173.40/138.36 o 201640990 173.40/138.36 o 201640989 173.40/138.36 o 201640988 173.40/138.36 o 201640987 173.40/138.37 o 201640986 173.40/138.37 o 201640985 173.40/138.37 o 201640984 173.40/138.37 o 201640983 173.40/138.38 o 201640982 173.40/138.38 o 201640981 173.40/138.38 o 201640980 173.40/138.39 o 201640979 173.40/138.39 o 201640978 173.40/138.39 o 201640977 173.40/138.39 o 201640976 173.51/138.40 o 201640975 173.51/138.40 o 201640974 173.51/138.40 o 201640973 173.51/138.40 o 201640972 173.51/138.41 o 201640971 173.51/138.41 o 201640970 173.51/138.41 o 201640969 173.51/138.41 o 201640968 173.51/138.42 o 201640967 173.51/138.42 o 201640966 173.51/138.42 o 201640965 173.51/138.42 o 201640964 173.51/138.42 o 201640963 173.51/138.43 o 201640962 173.51/138.43 o 201640961 173.51/138.43 o 201640960 173.51/138.44 o 201640959 173.51/138.44 o 201640958 173.51/138.44 o 201640957 173.51/138.44 o 201640956 173.51/138.45 o 201640955 173.51/138.45 o 201640954 179.61/144.50 o 201640953 185.61/150.54 o 201626822 185.61/150.54 o 201626821 185.61/150.54 o 201626820 185.61/150.55 o 201626819 185.61/150.55 o 201626818 185.61/150.55 o 201626817 185.61/150.55 o 201626816 185.61/150.55 o 201626815 185.61/150.55 o 201626807 185.61/150.55 o 201626806 185.61/150.55 o 201626805 185.61/150.55 o 201626804 185.61/150.55 o 201626803 185.61/150.55 o 201626802 185.61/150.55 o 201626801 185.61/150.55 o 201626800 185.61/150.55 o 201626799 185.61/150.55 o 201626798 185.61/150.56 o 201626797 185.61/150.56 o 201626796 185.61/150.56 o 201626795 185.61/150.56 o 201626794 185.61/150.56 o 201626793 185.61/150.56 o 201626792 185.61/150.56 o 201626791 185.61/150.56 o 201626790 185.61/150.56 o 201626789 185.61/150.56 o 201626788 185.61/150.56 o 201626787 185.61/150.56 o 201626786 185.61/150.56 o 201626785 185.61/150.56 o 201626784 185.61/150.56 o 201626783 185.61/150.57 o 201626782 185.61/150.57 o 201626781 185.61/150.57 o 201626780 185.61/150.57 o 201626779 185.61/150.57 o 201626778 185.61/150.57 o 201626777 185.61/150.57 o 201626776 185.61/150.57 o 201626775 185.61/150.57 o 201626774 185.61/150.57 o 201626773 185.61/150.57 o 201626772 185.61/150.58 o 201626771 185.61/150.58 o 201626770 185.61/150.58 o 201626769 185.61/150.58 o 201626768 185.61/150.58 o 201626767 185.61/150.58 o 201626766 185.61/150.58 o 201626765 185.61/150.58 o 201626764 185.61/150.58 o 201626763 185.61/150.58 o 201626762 185.61/150.58 o 201626761 185.61/150.58 o 201626760 185.61/150.58 o 201626759 185.61/150.59 o 201626758 185.61/150.59 o 201626757 185.61/150.59 o 201626756 185.61/150.59 o 201626755 185.61/150.59 o 201626754 185.61/150.59 o 201626753 185.61/150.59 o 201626752 185.61/150.59 o 201626751 185.61/150.59 o 201626750 185.61/150.60 o 201626749 185.73/150.60 o 201626748 185.73/150.60 o 201626747 185.73/150.61 o 201626746 185.73/150.61 o 201626745 185.73/150.61 o 201626744 185.73/150.61 o 201626743 185.73/150.61 o 201626742 185.73/150.61 o 201626741 185.73/150.61 o 201626740 185.73/150.61 o 201626739 185.73/150.61 o 201626738 185.73/150.61 o 201626737 185.73/150.61 o 201626736 185.73/150.62 o 201626735 191.84/156.78 o 201626734 191.84/156.78 o 201626733 191.84/156.79 o 201626732 191.84/156.79 o 201626731 191.94/156.84 o 201626730 198.04/162.92 o 201626729 198.04/162.92 o 201626728 198.04/162.92 o 201626727 198.04/162.92 o 201626726 198.04/162.92 o 201626725 204.15/169.08 o 201626724 204.25/169.18 o 201626723 204.25/169.19 o 201626722 204.34/169.20 o 201626721 204.54/169.48 o 201626720 204.54/169.48 o 201626719 204.54/169.49 o 201626718 204.64/169.50 o 201626717 204.64/169.51 o 201626716 204.78/169.61 o 201626715 204.78/169.62 o 201626714 204.78/169.63 o 201626713 205.46/170.26 o 201626712 212.16/176.97 o 201626711 212.16/176.97 o 201626710 212.16/176.97 o 201626709 212.16/176.97 o 201626708 212.16/176.97 o 201626707 212.16/176.97 o 201626706 231.57/196.02 o 201626705 231.76/196.22 o 201626704 231.76/196.25 o 201626703 280.98/245.44 o 201612563 280.98/245.44 o 201612562 280.98/245.44 o 201612561 280.98/245.44 o 201612553 280.98/245.44 o 201612552 280.98/245.45 o 201612551 280.98/245.45 o 201612548 280.98/245.45 o 201612547 280.98/245.45 o 201612546 280.98/245.45 o 201612545 280.98/245.45 o 201612544 280.98/245.45 o 201612543 280.98/245.45 o 201612542 280.98/245.45 o 201612541 280.98/245.45 o 201612540 280.98/245.45 o 201612539 280.98/245.45 o 201612538 280.98/245.45 o 201612537 280.98/245.45 o 201612536 280.98/245.46 o 201612535 280.98/245.46 o 201612534 280.98/245.46 o 201612533 280.98/245.46 o 201612532 280.98/245.46 o 201612531 280.98/245.46 o 201612530 280.98/245.46 o 201612529 280.98/245.46 o 201612528 280.98/245.46 o 201612527 280.98/245.46 o 201612526 280.98/245.46 o 201612525 280.98/245.46 o 201612524 280.98/245.46 o 201612523 280.98/245.47 o 201612522 280.98/245.47 o 201612521 280.98/245.47 o 201612520 280.98/245.47 o 201612519 280.98/245.47 o 201612518 280.98/245.47 o 201612517 280.98/245.47 o 201612516 280.98/245.47 o 201612515 280.98/245.47 o 201612514 280.98/245.47 o 201612513 287.09/251.57 o 201612512 287.09/251.57 o 201612511 287.09/251.57 o 201612510 287.09/251.58 o 201612509 287.09/251.58 o 201612508 287.09/251.59 o 201612507 299.50/263.90 o 201584167 299.50/263.90 o 201584165 299.50/263.90 o 201584162 299.50/263.90 o 201584160 299.50/263.91 o 201584159 299.50/263.91 o 201584157 299.50/263.91 o 201584154 299.50/263.91 o 201584152 299.50/263.91 o 201584151 299.50/263.91 o 201584150 299.50/263.91 o 201584148 299.50/263.91 o 201584147 299.50/263.92 o 201584145 299.50/263.92 o 201584142 299.50/263.92 o 201584140 299.50/263.92 o 201584139 299.50/263.92 o 201584138 299.50/263.92 o 201584137 299.50/263.93 o 201584135 299.50/263.93 o 201584133 299.50/263.93 o 201584132 299.50/263.93 o 201584131 299.50/263.93 o 201584130 299.50/263.94 o 201584129 305.71/270.18 o 201584128 305.80/270.28 o 201584127 305.80/270.29 o 201584126 306.00/270.45 o 201584125 306.00/270.46 o 201584124 306.30/270.75 o 201584123 318.81/283.21 o 201584122 318.81/283.21 o 201584121 318.81/283.21 o 201584120 318.81/283.21 o 201584119 318.81/283.22 o 201584118 318.81/283.22 o 201584117 318.81/283.22 o 201584116 318.81/283.22 o 201584115 318.81/283.22 o 201584114 318.81/283.22 o 201584113 318.81/283.22 o 201584112 318.81/283.22 o 201584111 318.81/283.22 o 201584110 318.81/283.22 o 201584109 318.81/283.22 o 201584108 348.02/312.42 o 201584107 348.02/312.42 o 201584106 348.02/312.42 o 201584105 348.02/312.43 o 201584104 354.31/318.60 o 201584103 354.31/318.60 o 201584102 354.31/318.61 o 201584101 354.31/318.61 o 201584100 354.31/318.61 o 201584099 354.31/318.61 o 201584098 378.73/343.08 o 201584097 378.73/343.08 o 201584096 378.73/343.10 o 201584095 378.83/343.16 o 201584094 378.83/343.18 o 201584093 379.12/343.40 o 201584092 473.68/437.98 o 201569955 473.68/437.98 o 201569952 473.68/437.98 o 201569951 473.68/437.98 o 201569950 473.68/437.98 o 201569949 473.68/437.99 o 201569948 473.68/437.99 o 201569945 473.68/437.99 o 201569944 473.68/437.99 o 201569943 473.68/437.99 o 201569942 473.68/437.99 o 201569941 473.68/437.99 o 201569940 473.68/437.99 o 201569939 473.68/437.99 o 201569938 473.68/437.99 o 201569937 473.68/437.99 o 201569936 473.68/437.99 o 201569935 473.68/438.00 o 201569934 473.68/438.00 o 201569933 473.68/438.00 o 201569932 473.68/438.00 o 201569931 473.68/438.00 o 201569930 473.68/438.00 o 201569929 473.68/438.00 o 201569928 473.68/438.00 o 201569927 473.68/438.00 o 201569926 473.79/438.01 o 201569925 473.79/438.01 o 201569924 473.79/438.01 o 201569923 473.79/438.01 o 201569922 473.79/438.01 o 201569921 473.79/438.01 o 201569920 473.79/438.02 o 201569919 473.79/438.02 o 201569918 473.79/438.02 o 201569917 473.79/438.02 o 201569916 473.79/438.02 o 201569915 473.79/438.03 o 201569914 473.79/438.03 o 201569913 473.79/438.03 o 201569912 473.79/438.03 o 201569911 473.79/438.03 o 201569910 473.79/438.03 o 201569909 473.79/438.04 o 201569908 473.79/438.04 o 201569907 473.79/438.04 o 201569906 473.79/438.04 o 201569905 473.79/438.05 o 201569904 473.79/438.05 o 201569903 479.98/444.27 o 201569902 480.08/444.32 o 201569901 2520.06/2481.90 s SATISFIABLE 2520.06/2481.91 v <instantiation> 2520.06/2481.91 v <list> 2520.06/2481.91 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] f[150] f[151] f[152] f[153] f[154] f[155] f[156] f[157] f[158] f[159] f[160] f[161] f[162] f[163] f[164] f[165] f[166] f[167] f[168] f[169] f[170] f[171] f[172] f[173] f[174] f[175] f[176] f[177] f[178] f[179] f[180] f[181] f[182] f[183] f[184] f[185] f[186] f[187] f[188] f[189] f[190] f[191] f[192] f[193] f[194] f[195] f[196] f[197] f[198] f[199] f[200] f[201] f[202] f[203] f[204] f[205] f[206] f[207] f[208] f[209] f[210] f[211] f[212] f[213] f[214] f[215] f[216] f[217] f[218] f[219] f[220] f[221] f[222] f[223] f[224] f[225] f[226] f[227] f[228] f[229] f[230] f[231] f[232] f[233] f[234] f[235] f[236] f[237] f[238] f[239] f[240] f[241] f[242] f[243] f[244] f[245] f[246] f[247] f[248] f[249] 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] p[150] p[151] p[152] p[153] p[154] p[155] p[156] p[157] p[158] p[159] p[160] p[161] p[162] p[163] p[164] p[165] p[166] p[167] p[168] p[169] p[170] p[171] p[172] p[173] p[174] p[175] p[176] p[177] p[178] p[179] p[180] p[181] p[182] p[183] p[184] p[185] p[186] p[187] p[188] p[189] p[190] p[191] p[192] p[193] p[194] p[195] p[196] p[197] p[198] p[199] p[200] p[201] p[202] p[203] p[204] p[205] p[206] p[207] p[208] p[209] p[210] p[211] p[212] p[213] p[214] p[215] p[216] p[217] p[218] p[219] p[220] p[221] p[222] p[223] p[224] p[225] p[226] p[227] p[228] p[229] p[230] p[231] p[232] p[233] p[234] p[235] p[236] p[237] p[238] p[239] p[240] p[241] p[242] p[243] p[244] p[245] p[246] p[247] p[248] p[249] 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] v1[676] v1[677] v1[678] v1[679] v1[680] v1[681] v1[682] v1[683] v1[684] v1[685] v1[686] v1[687] v1[688] v1[689] v1[690] v1[691] v1[692] v1[693] v1[694] v1[695] v1[696] v1[697] v1[698] v1[699] v1[700] v1[701] v1[702] v1[703] v1[704] v1[705] v1[706] v1[707] v1[708] v1[709] v1[710] v1[711] v1[712] v1[713] v1[714] v1[715] v1[716] v1[717] v1[718] v1[719] v1[720] v1[721] v1[722] v1[723] v1[724] v1[725] v1[726] v1[727] v1[728] v1[729] v1[730] v1[731] v1[732] v1[733] v1[734] v1[735] v1[736] v1[737] v1[738] v1[739] v1[740] v1[741] v1[742] v1[743] v1[744] v1[745] v1[746] v1[747] v1[748] v1[749] v1[750] v1[751] v1[752] v1[753] v1[754] v1[755] v1[756] v1[757] v1[758] v1[759] v1[760] v1[761] v1[762] v1[763] v1[764] v1[765] v1[766] v1[767] v1[768] v1[769] v1[770] v1[771] v1[772] v1[773] v1[774] v1[775] v1[776] v1[777] v1[778] v1[779] v1[780] v1[781] v1[782] v1[783] v1[784] v1[785] v1[786] v1[787] v1[788] v1[789] v1[790] v1[791] v1[792] v1[793] v1[794] v1[795] v1[796] v1[797] v1[798] v1[799] v1[800] v1[801] v1[802] v1[803] v1[804] v1[805] v1[806] v1[807] v1[808] v1[809] v1[810] v1[811] v1[812] v1[813] v1[814] v1[815] v1[816] v1[817] v1[818] v1[819] v1[820] v1[821] v1[822] v1[823] v1[824] v1[825] v1[826] v1[827] v1[828] v1[829] v1[830] v1[831] v1[832] v1[833] v1[834] v1[835] v1[836] v1[837] v1[838] v1[839] v1[840] v1[841] v1[842] v1[843] v1[844] v1[845] v1[846] v1[847] v1[848] v1[849] v1[850] v1[851] v1[852] v1[853] v1[854] v1[855] v1[856] v1[857] v1[858] v1[859] v1[860] v1[861] v1[862] v1[863] v1[864] v1[865] v1[866] v1[867] v1[868] v1[869] v1[870] v1[871] v1[872] v1[873] v1[874] v1[875] v1[876] v1[877] v1[878] v1[879] v1[880] v1[881] v1[882] v1[883] v1[884] v1[885] v1[886] v1[887] v1[888] v1[889] v1[890] v1[891] v1[892] v1[893] v1[894] v1[895] v1[896] v1[897] v1[898] v1[899] v1[900] v1[901] v1[902] v1[903] v1[904] v1[905] v1[906] v1[907] v1[908] v1[909] v1[910] v1[911] v1[912] v1[913] v1[914] v1[915] v1[916] v1[917] v1[918] v1[919] v1[920] v1[921] v1[922] v1[923] v1[924] v1[925] v1[926] v1[927] v1[928] v1[929] v1[930] v1[931] v1[932] v1[933] v1[934] v1[935] v1[936] v1[937] v1[938] v1[939] v1[940] v1[941] v1[942] v1[943] v1[944] v1[945] v1[946] v1[947] v1[948] v1[949] v1[950] v1[951] v1[952] v1[953] v1[954] v1[955] v1[956] v1[957] v1[958] v1[959] v1[960] v1[961] v1[962] v1[963] v1[964] v1[965] v1[966] v1[967] v1[968] v1[969] v1[970] v1[971] v1[972] v1[973] v1[974] v1[975] v1[976] v1[977] v1[978] v1[979] v1[980] v1[981] v1[982] v1[983] v1[984] v1[985] v1[986] v1[987] v1[988] v1[989] v1[990] v1[991] v1[992] v1[993] v1[994] v1[995] v1[996] v1[997] v1[998] v1[999] v1[1000] v1[1001] v1[1002] v1[1003] v1[1004] v1[1005] v1[1006] v1[1007] v1[1008] v1[1009] v1[1010] v1[1011] v1[1012] v1[1013] v1[1014] v1[1015] v1[1016] v1[1017] v1[1018] v1[1019] v1[1020] v1[1021] v1[1022] v1[1023] v1[1024] v1[1025] v1[1026] v1[1027] v1[1028] v1[1029] v1[1030] v1[1031] v1[1032] v1[1033] v1[1034] v1[1035] v1[1036] v1[1037] v1[1038] v1[1039] v1[1040] v1[1041] v1[1042] v1[1043] v1[1044] v1[1045] v1[1046] v1[1047] v1[1048] v1[1049] v1[1050] v1[1051] v1[1052] v1[1053] v1[1054] v1[1055] v1[1056] v1[1057] v1[1058] v1[1059] v1[1060] v1[1061] v1[1062] v1[1063] v1[1064] v1[1065] v1[1066] v1[1067] v1[1068] v1[1069] v1[1070] v1[1071] v1[1072] v1[1073] v1[1074] v1[1075] v1[1076] v1[1077] v1[1078] v1[1079] v1[1080] v1[1081] v1[1082] v1[1083] v1[1084] v1[1085] v1[1086] v1[1087] v1[1088] v1[1089] v1[1090] v1[1091] v1[1092] v1[1093] v1[1094] v1[1095] v1[1096] v1[1097] v1[1098] v1[1099] v1[1100] v1[1101] v1[1102] v1[1103] v1[1104] v1[1105] v1[1106] v1[1107] v1[1108] v1[1109] v1[1110] v1[1111] v1[1112] v1[1113] v1[1114] v1[1115] v1[1116] v1[1117] v1[1118] v1[1119] v1[1120] v1[1121] v1[1122] v1[1123] v1[1124] v1[1125] v1[1126] v1[1127] v1[1128] v1[1129] v1[1130] v1[1131] v1[1132] v1[1133] v1[1134] v1[1135] v1[1136] v1[1137] v1[1138] v1[1139] v1[1140] v1[1141] v1[1142] v1[1143] v1[1144] v1[1145] v1[1146] v1[1147] v1[1148] v1[1149] v1[1150] v1[1151] v1[1152] v1[1153] v1[1154] v1[1155] v1[1156] v1[1157] v1[1158] v1[1159] v1[1160] v1[1161] v1[1162] v1[1163] v1[1164] v1[1165] v1[1166] v1[1167] v1[1168] v1[1169] v1[1170] v1[1171] v1[1172] v1[1173] v1[1174] v1[1175] v1[1176] v1[1177] v1[1178] v1[1179] v1[1180] v1[1181] v1[1182] v1[1183] v1[1184] v1[1185] v1[1186] v1[1187] v1[1188] v1[1189] v1[1190] v1[1191] v1[1192] v1[1193] v1[1194] v1[1195] v1[1196] v1[1197] v1[1198] v1[1199] v1[1200] v1[1201] v1[1202] v1[1203] v1[1204] v1[1205] v1[1206] v1[1207] v1[1208] v1[1209] v1[1210] v1[1211] v1[1212] v1[1213] v1[1214] v1[1215] v1[1216] v1[1217] v1[1218] v1[1219] v1[1220] v1[1221] v1[1222] v1[1223] v1[1224] v1[1225] v1[1226] v1[1227] v1[1228] v1[1229] v1[1230] v1[1231] v1[1232] v1[1233] v1[1234] v1[1235] v1[1236] v1[1237] v1[1238] v1[1239] v1[1240] v1[1241] v1[1242] v1[1243] v1[1244] v1[1245] v1[1246] v1[1247] v1[1248] v1[1249] v1[1250] v1[1251] v1[1252] v1[1253] v1[1254] v1[1255] v1[1256] v1[1257] v1[1258] v1[1259] v1[1260] v1[1261] v1[1262] v1[1263] v1[1264] v1[1265] v1[1266] v1[1267] v1[1268] v1[1269] v1[1270] v1[1271] v1[1272] v1[1273] v1[1274] v1[1275] v1[1276] v1[1277] v1[1278] v1[1279] v1[1280] v1[1281] v1[1282] v1[1283] v1[1284] v1[1285] v1[1286] v1[1287] v1[1288] v1[1289] v1[1290] v1[1291] v1[1292] v1[1293] v1[1294] v1[1295] v1[1296] v1[1297] v1[1298] v1[1299] v1[1300] v1[1301] v1[1302] v1[1303] v1[1304] v1[1305] v1[1306] v1[1307] v1[1308] v1[1309] v1[1310] v1[1311] v1[1312] v1[1313] v1[1314] v1[1315] v1[1316] v1[1317] v1[1318] v1[1319] v1[1320] v1[1321] v1[1322] v1[1323] v1[1324] v1[1325] v1[1326] v1[1327] v1[1328] v1[1329] v1[1330] v1[1331] v1[1332] v1[1333] v1[1334] v1[1335] v1[1336] v1[1337] v1[1338] v1[1339] v1[1340] v1[1341] v1[1342] v1[1343] v1[1344] v1[1345] v1[1346] v1[1347] v1[1348] v1[1349] v1[1350] v1[1351] v1[1352] v1[1353] v1[1354] v1[1355] v1[1356] v1[1357] v1[1358] v1[1359] v1[1360] v1[1361] v1[1362] v1[1363] v1[1364] v1[1365] v1[1366] v1[1367] v1[1368] v1[1369] v1[1370] v1[1371] v1[1372] v1[1373] v1[1374] v1[1375] v1[1376] v1[1377] v1[1378] v1[1379] v1[1380] v1[1381] v1[1382] v1[1383] v1[1384] v1[1385] v1[1386] v1[1387] v1[1388] v1[1389] v1[1390] v1[1391] v1[1392] v1[1393] v1[1394] v1[1395] v1[1396] v1[1397] v1[1398] v1[1399] v1[1400] v1[1401] v1[1402] v1[1403] v1[1404] v1[1405] v1[1406] v1[1407] v1[1408] v1[1409] v1[1410] v1[1411] v1[1412] v1[1413] v1[1414] v1[1415] v1[1416] v1[1417] v1[1418] 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] v2[676] v2[677] v2[678] v2[679] v2[680] v2[681] v2[682] v2[683] v2[684] v2[685] v2[686] v2[687] v2[688] v2[689] v2[690] v2[691] v2[692] v2[693] v2[694] v2[695] v2[696] v2[697] v2[698] v2[699] v2[700] v2[701] v2[702] v2[703] v2[704] v2[705] v2[706] v2[707] v2[708] v2[709] v2[710] v2[711] v2[712] v2[713] v2[714] v2[715] v2[716] v2[717] v2[718] v2[719] v2[720] v2[721] v2[722] v2[723] v2[724] v2[725] v2[726] v2[727] v2[728] v2[729] v2[730] v2[731] v2[732] v2[733] v2[734] v2[735] v2[736] v2[737] v2[738] v2[739] v2[740] v2[741] v2[742] v2[743] v2[744] v2[745] v2[746] v2[747] v2[748] v2[749] v2[750] v2[751] v2[752] v2[753] v2[754] v2[755] v2[756] v2[757] v2[758] v2[759] v2[760] v2[761] v2[762] v2[763] v2[764] v2[765] v2[766] v2[767] v2[768] v2[769] v2[770] v2[771] v2[772] v2[773] v2[774] v2[775] v2[776] v2[777] v2[778] v2[779] v2[780] v2[781] v2[782] v2[783] v2[784] v2[785] v2[786] v2[787] v2[788] v2[789] v2[790] v2[791] v2[792] v2[793] v2[794] v2[795] v2[796] v2[797] v2[798] v2[799] v2[800] v2[801] v2[802] v2[803] v2[804] v2[805] v2[806] v2[807] v2[808] v2[809] v2[810] v2[811] v2[812] v2[813] v2[814] v2[815] v2[816] v2[817] v2[818] v2[819] v2[820] v2[821] v2[822] v2[823] v2[824] v2[825] v2[826] v2[827] v2[828] v2[829] v2[830] v2[831] v2[832] v2[833] v2[834] v2[835] v2[836] v2[837] v2[838] v2[839] v2[840] v2[841] v2[842] v2[843] v2[844] v2[845] v2[846] v2[847] v2[848] v2[849] v2[850] v2[851] v2[852] v2[853] v2[854] v2[855] v2[856] v2[857] v2[858] v2[859] v2[860] v2[861] v2[862] v2[863] v2[864] v2[865] v2[866] v2[867] v2[868] v2[869] v2[870] v2[871] v2[872] v2[873] v2[874] v2[875] v2[876] v2[877] v2[878] v2[879] v2[880] v2[881] v2[882] v2[883] v2[884] v2[885] v2[886] v2[887] v2[888] v2[889] v2[890] v2[891] v2[892] v2[893] v2[894] v2[895] v2[896] v2[897] v2[898] v2[899] v2[900] v2[901] v2[902] v2[903] v2[904] v2[905] v2[906] v2[907] v2[908] v2[909] v2[910] v2[911] v2[912] v2[913] v2[914] v2[915] v2[916] v2[917] v2[918] v2[919] v2[920] v2[921] v2[922] v2[923] v2[924] v2[925] v2[926] v2[927] v2[928] v2[929] v2[930] v2[931] v2[932] v2[933] v2[934] v2[935] v2[936] v2[937] v2[938] v2[939] v2[940] v2[941] v2[942] v2[943] v2[944] v2[945] v2[946] v2[947] v2[948] v2[949] v2[950] v2[951] v2[952] v2[953] v2[954] v2[955] v2[956] v2[957] v2[958] v2[959] v2[960] v2[961] v2[962] v2[963] v2[964] v2[965] v2[966] v2[967] v2[968] v2[969] v2[970] v2[971] v2[972] v2[973] v2[974] v2[975] v2[976] v2[977] v2[978] v2[979] v2[980] v2[981] v2[982] v2[983] v2[984] v2[985] v2[986] v2[987] v2[988] v2[989] v2[990] v2[991] v2[992] v2[993] v2[994] v2[995] v2[996] v2[997] v2[998] v2[999] v2[1000] v2[1001] v2[1002] v2[1003] v2[1004] v2[1005] v2[1006] v2[1007] v2[1008] v2[1009] v2[1010] v2[1011] v2[1012] v2[1013] v2[1014] v2[1015] v2[1016] v2[1017] v2[1018] v2[1019] v2[1020] v2[1021] v2[1022] v2[1023] v2[1024] v2[1025] v2[1026] v2[1027] v2[1028] v2[1029] v2[1030] v2[1031] v2[1032] v2[1033] v2[1034] v2[1035] v2[1036] v2[1037] v2[1038] v2[1039] v2[1040] v2[1041] v2[1042] v2[1043] v2[1044] v2[1045] v2[1046] v2[1047] v2[1048] v2[1049] v2[1050] v2[1051] v2[1052] v2[1053] v2[1054] v2[1055] v2[1056] v2[1057] v2[1058] v2[1059] v2[1060] v2[1061] v2[1062] v2[1063] v2[1064] v2[1065] v2[1066] v2[1067] v2[1068] v2[1069] v2[1070] v2[1071] v2[1072] v2[1073] v2[1074] v2[1075] v2[1076] v2[1077] v2[1078] v2[1079] v2[1080] v2[1081] v2[1082] v2[1083] v2[1084] v2[1085] v2[1086] v2[1087] v2[1088] v2[1089] v2[1090] v2[1091] v2[1092] v2[1093] v2[1094] v2[1095] v2[1096] v2[1097] v2[1098] v2[1099] v2[1100] v2[1101] v2[1102] v2[1103] v2[1104] v2[1105] v2[1106] v2[1107] v2[1108] v2[1109] v2[1110] v2[1111] v2[1112] v2[1113] v2[1114] v2[1115] v2[1116] v2[1117] v2[1118] v2[1119] v2[1120] v2[1121] v2[1122] v2[1123] v2[1124] v2[1125] v2[1126] v2[1127] v2[1128] v2[1129] v2[1130] v2[1131] v2[1132] v2[1133] v2[1134] v2[1135] v2[1136] v2[1137] v2[1138] v2[1139] v2[1140] v2[1141] v2[1142] v2[1143] v2[1144] v2[1145] v2[1146] v2[1147] v2[1148] v2[1149] v2[1150] v2[1151] v2[1152] v2[1153] v2[1154] v2[1155] v2[1156] v2[1157] v2[1158] v2[1159] v2[1160] v2[1161] v2[1162] v2[1163] v2[1164] v2[1165] v2[1166] v2[1167] v2[1168] v2[1169] v2[1170] v2[1171] v2[1172] v2[1173] v2[1174] v2[1175] v2[1176] v2[1177] v2[1178] v2[1179] v2[1180] v2[1181] v2[1182] v2[1183] v2[1184] v2[1185] v2[1186] v2[1187] v2[1188] v2[1189] v2[1190] v2[1191] v2[1192] v2[1193] v2[1194] v2[1195] v2[1196] v2[1197] v2[1198] v2[1199] v2[1200] v2[1201] v2[1202] v2[1203] v2[1204] v2[1205] v2[1206] v2[1207] v2[1208] v2[1209] v2[1210] v2[1211] v2[1212] v2[1213] v2[1214] v2[1215] v2[1216] v2[1217] v2[1218] v2[1219] v2[1220] v2[1221] v2[1222] v2[1223] v2[1224] v2[1225] v2[1226] v2[1227] v2[1228] v2[1229] v2[1230] v2[1231] v2[1232] v2[1233] v2[1234] v2[1235] v2[1236] v2[1237] v2[1238] v2[1239] v2[1240] v2[1241] v2[1242] v2[1243] v2[1244] v2[1245] v2[1246] v2[1247] v2[1248] v2[1249] v2[1250] v2[1251] v2[1252] v2[1253] v2[1254] v2[1255] v2[1256] v2[1257] v2[1258] v2[1259] v2[1260] v2[1261] v2[1262] v2[1263] v2[1264] v2[1265] v2[1266] v2[1267] v2[1268] v2[1269] v2[1270] v2[1271] v2[1272] v2[1273] v2[1274] v2[1275] v2[1276] v2[1277] v2[1278] v2[1279] v2[1280] v2[1281] v2[1282] v2[1283] v2[1284] v2[1285] v2[1286] v2[1287] v2[1288] v2[1289] v2[1290] v2[1291] v2[1292] v2[1293] v2[1294] v2[1295] v2[1296] v2[1297] v2[1298] v2[1299] v2[1300] v2[1301] v2[1302] v2[1303] v2[1304] v2[1305] v2[1306] v2[1307] v2[1308] v2[1309] v2[1310] v2[1311] v2[1312] v2[1313] v2[1314] v2[1315] v2[1316] v2[1317] v2[1318] v2[1319] v2[1320] v2[1321] v2[1322] v2[1323] v2[1324] v2[1325] v2[1326] v2[1327] v2[1328] v2[1329] v2[1330] v2[1331] v2[1332] v2[1333] v2[1334] v2[1335] v2[1336] v2[1337] v2[1338] v2[1339] v2[1340] v2[1341] v2[1342] v2[1343] v2[1344] v2[1345] v2[1346] v2[1347] v2[1348] v2[1349] v2[1350] v2[1351] v2[1352] v2[1353] v2[1354] v2[1355] v2[1356] v2[1357] v2[1358] v2[1359] v2[1360] v2[1361] v2[1362] v2[1363] v2[1364] v2[1365] v2[1366] v2[1367] v2[1368] v2[1369] v2[1370] v2[1371] v2[1372] v2[1373] v2[1374] v2[1375] v2[1376] v2[1377] v2[1378] v2[1379] v2[1380] v2[1381] v2[1382] v2[1383] v2[1384] v2[1385] v2[1386] v2[1387] v2[1388] v2[1389] v2[1390] v2[1391] v2[1392] v2[1393] v2[1394] v2[1395] v2[1396] v2[1397] v2[1398] v2[1399] v2[1400] v2[1401] v2[1402] v2[1403] v2[1404] v2[1405] v2[1406] v2[1407] v2[1408] v2[1409] v2[1410] v2[1411] v2[1412] v2[1413] v2[1414] v2[1415] v2[1416] v2[1417] v2[1418] 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] d[675] d[676] d[677] d[678] d[679] d[680] d[681] d[682] d[683] d[684] d[685] d[686] d[687] d[688] d[689] d[690] d[691] d[692] d[693] d[694] d[695] d[696] d[697] d[698] d[699] d[700] d[701] d[702] d[703] d[704] d[705] d[706] d[707] d[708] d[709] d[710] d[711] d[712] d[713] d[714] d[715] d[716] d[717] d[718] d[719] d[720] d[721] d[722] d[723] d[724] d[725] d[726] d[727] d[728] d[729] d[730] d[731] d[732] d[733] d[734] d[735] d[736] d[737] d[738] d[739] d[740] d[741] d[742] d[743] d[744] d[745] d[746] d[747] d[748] d[749] d[750] d[751] d[752] d[753] d[754] d[755] d[756] d[757] d[758] d[759] d[760] d[761] d[762] d[763] d[764] d[765] d[766] d[767] d[768] d[769] d[770] d[771] d[772] d[773] d[774] d[775] d[776] d[777] d[778] d[779] d[780] d[781] d[782] d[783] d[784] d[785] d[786] d[787] d[788] d[789] d[790] d[791] d[792] d[793] d[794] d[795] d[796] d[797] d[798] d[799] d[800] d[801] d[802] d[803] d[804] d[805] d[806] d[807] d[808] d[809] d[810] d[811] d[812] d[813] d[814] d[815] d[816] d[817] d[818] d[819] d[820] d[821] d[822] d[823] d[824] d[825] d[826] d[827] d[828] d[829] d[830] d[831] d[832] d[833] d[834] d[835] d[836] d[837] d[838] d[839] d[840] d[841] d[842] d[843] d[844] d[845] d[846] d[847] d[848] d[849] d[850] d[851] d[852] d[853] d[854] d[855] d[856] d[857] d[858] d[859] d[860] d[861] d[862] d[863] d[864] d[865] d[866] d[867] d[868] d[869] d[870] d[871] d[872] d[873] d[874] d[875] d[876] d[877] d[878] d[879] d[880] d[881] d[882] d[883] d[884] d[885] d[886] d[887] d[888] d[889] d[890] d[891] d[892] d[893] d[894] d[895] d[896] d[897] d[898] d[899] d[900] d[901] d[902] d[903] d[904] d[905] d[906] d[907] d[908] d[909] d[910] d[911] d[912] d[913] d[914] d[915] d[916] d[917] d[918] d[919] d[920] d[921] d[922] d[923] d[924] d[925] d[926] d[927] d[928] d[929] d[930] d[931] d[932] d[933] d[934] d[935] d[936] d[937] d[938] d[939] d[940] d[941] d[942] d[943] d[944] d[945] d[946] d[947] d[948] d[949] d[950] d[951] d[952] d[953] d[954] d[955] d[956] d[957] d[958] d[959] d[960] d[961] d[962] d[963] d[964] d[965] d[966] d[967] d[968] d[969] d[970] d[971] d[972] d[973] d[974] d[975] d[976] d[977] d[978] d[979] d[980] d[981] d[982] d[983] d[984] d[985] d[986] d[987] d[988] d[989] d[990] d[991] d[992] d[993] d[994] d[995] d[996] d[997] d[998] d[999] d[1000] d[1001] d[1002] d[1003] d[1004] d[1005] d[1006] d[1007] d[1008] d[1009] d[1010] d[1011] d[1012] d[1013] d[1014] d[1015] d[1016] d[1017] d[1018] d[1019] d[1020] d[1021] d[1022] d[1023] d[1024] d[1025] d[1026] d[1027] d[1028] d[1029] d[1030] d[1031] d[1032] d[1033] d[1034] d[1035] d[1036] d[1037] d[1038] d[1039] d[1040] d[1041] d[1042] d[1043] d[1044] d[1045] d[1046] d[1047] d[1048] d[1049] d[1050] d[1051] d[1052] d[1053] d[1054] d[1055] d[1056] d[1057] d[1058] d[1059] d[1060] d[1061] d[1062] d[1063] d[1064] d[1065] d[1066] d[1067] d[1068] d[1069] d[1070] d[1071] d[1072] d[1073] d[1074] d[1075] d[1076] d[1077] d[1078] d[1079] d[1080] d[1081] d[1082] d[1083] d[1084] d[1085] d[1086] d[1087] d[1088] d[1089] d[1090] d[1091] d[1092] d[1093] d[1094] d[1095] d[1096] d[1097] d[1098] d[1099] d[1100] d[1101] d[1102] d[1103] d[1104] d[1105] d[1106] d[1107] d[1108] d[1109] d[1110] d[1111] d[1112] d[1113] d[1114] d[1115] d[1116] d[1117] d[1118] d[1119] d[1120] d[1121] d[1122] d[1123] d[1124] d[1125] d[1126] d[1127] d[1128] d[1129] d[1130] d[1131] d[1132] d[1133] d[1134] d[1135] d[1136] d[1137] d[1138] d[1139] d[1140] d[1141] d[1142] d[1143] d[1144] d[1145] d[1146] d[1147] d[1148] d[1149] d[1150] d[1151] d[1152] d[1153] d[1154] d[1155] d[1156] d[1157] d[1158] d[1159] d[1160] d[1161] d[1162] d[1163] d[1164] d[1165] d[1166] d[1167] d[1168] d[1169] d[1170] d[1171] d[1172] d[1173] d[1174] d[1175] d[1176] d[1177] d[1178] d[1179] d[1180] d[1181] d[1182] d[1183] d[1184] d[1185] d[1186] d[1187] d[1188] d[1189] d[1190] d[1191] d[1192] d[1193] d[1194] d[1195] d[1196] d[1197] d[1198] d[1199] d[1200] d[1201] d[1202] d[1203] d[1204] d[1205] d[1206] d[1207] d[1208] d[1209] d[1210] d[1211] d[1212] d[1213] d[1214] d[1215] d[1216] d[1217] d[1218] d[1219] d[1220] d[1221] d[1222] d[1223] d[1224] d[1225] d[1226] d[1227] d[1228] d[1229] d[1230] d[1231] d[1232] d[1233] d[1234] d[1235] d[1236] d[1237] d[1238] d[1239] d[1240] d[1241] d[1242] d[1243] d[1244] d[1245] d[1246] d[1247] d[1248] d[1249] d[1250] d[1251] d[1252] d[1253] d[1254] d[1255] d[1256] d[1257] d[1258] d[1259] d[1260] d[1261] d[1262] d[1263] d[1264] d[1265] d[1266] d[1267] d[1268] d[1269] d[1270] d[1271] d[1272] d[1273] d[1274] d[1275] d[1276] d[1277] d[1278] d[1279] d[1280] d[1281] d[1282] d[1283] d[1284] d[1285] d[1286] d[1287] d[1288] d[1289] d[1290] d[1291] d[1292] d[1293] d[1294] d[1295] d[1296] d[1297] d[1298] d[1299] d[1300] d[1301] d[1302] d[1303] d[1304] d[1305] d[1306] d[1307] d[1308] d[1309] d[1310] d[1311] d[1312] d[1313] d[1314] d[1315] d[1316] d[1317] d[1318] d[1319] d[1320] d[1321] d[1322] d[1323] d[1324] d[1325] d[1326] d[1327] d[1328] d[1329] d[1330] d[1331] d[1332] d[1333] d[1334] d[1335] d[1336] d[1337] d[1338] d[1339] d[1340] d[1341] d[1342] d[1343] d[1344] d[1345] d[1346] d[1347] d[1348] d[1349] d[1350] d[1351] d[1352] d[1353] d[1354] d[1355] d[1356] d[1357] d[1358] d[1359] d[1360] d[1361] d[1362] d[1363] d[1364] d[1365] d[1366] d[1367] d[1368] d[1369] d[1370] d[1371] d[1372] d[1373] d[1374] d[1375] d[1376] d[1377] d[1378] d[1379] d[1380] d[1381] d[1382] d[1383] d[1384] d[1385] d[1386] d[1387] d[1388] d[1389] d[1390] d[1391] d[1392] d[1393] d[1394] d[1395] d[1396] d[1397] d[1398] d[1399] d[1400] d[1401] d[1402] d[1403] d[1404] d[1405] d[1406] d[1407] d[1408] d[1409] d[1410] d[1411] d[1412] d[1413] d[1414] d[1415] d[1416] d[1417] d[1418] 2520.06/2481.91 v </list> 2520.06/2481.91 v <values> 2520.06/2481.91 v 2452 2548 2604 2336 2616 2300 2492 2392 2284 2300 2632 2284 2616 2520 2376 2464 2492 2508 2584 2636 2448 2540 2516 2616 2296 2368 2336 2280 2432 2516 2512 2280 2392 2440 2256 2508 2560 2412 2596 2296 2564 2240 2432 2552 2280 2624 2408 2556 2320 2296 2516 2576 2292 2624 2612 2516 2524 2452 2580 2460 2544 2392 2532 2556 2468 2564 2444 2380 2244 2300 2340 2436 2372 2588 2488 2524 2616 2316 2452 2472 2584 2556 2572 2652 2556 2620 2480 2420 2636 2496 2524 2240 2448 2280 2440 2404 2240 2596 2432 2376 2656 2404 2320 2296 2616 2644 2552 2644 2508 2512 2492 2364 2612 2576 2616 2592 2336 2648 2432 2360 2280 2340 2424 2376 2636 2476 2656 2468 2444 2452 2296 2628 2256 2580 2580 2656 2596 2592 2404 2652 2356 2468 2616 2468 2244 2432 2432 2616 2620 2576 2512 2420 2320 2572 2584 2252 2568 2304 2596 2360 2624 2616 2480 2600 2492 2340 2604 2528 2576 2340 2264 2556 2392 2612 2488 2484 2572 2500 2556 2428 2472 2392 2608 2320 2640 2612 2600 2616 2336 2300 2516 2656 2504 2612 2576 2312 2560 2336 2536 2480 2652 2596 2384 2416 2612 2592 2552 2500 2552 2292 2436 2620 2456 2460 2476 2656 2428 2476 2444 2280 2240 2408 2592 2572 2260 2296 2508 2600 2640 2608 2564 2352 2596 2392 2396 2380 2368 2388 2440 2396 2584 2516 2556 2292 2568 2416 2332 2356 2656 2332 0 0 0 1 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 10 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 7 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 9 0 9 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 0 6 7 0 9 7 0 0 0 1 0 0 0 0 8 0 0 1 7 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 9 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 3 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 1 0 0 0 9 0 0 3 0 3 1 0 0 4 1 0 0 0 0 9 9 0 0 0 0 8 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 2 0 1 0 0 8 0 5 6 1 9 0 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 6 1 6 0 1 0 1 0 1 0 0 9 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 4 1 0 0 0 0 0 2 9 9 0 1 0 0 0 1 0 5 0 0 0 0 0 9 0 6 0 0 0 3 0 4 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 2 0 0 0 0 1 9 0 0 0 0 0 0 0 1 0 1 0 5 1 0 0 0 0 1 0 0 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 7 0 0 0 0 0 0 0 6 8 0 0 0 0 1 0 0 0 2 6 0 0 0 0 1 0 9 3 0 0 0 3 0 0 0 5 1 0 0 0 0 0 0 8 1 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 3 0 0 0 0 0 4 1 0 8 0 0 0 0 0 0 9 9 0 0 0 1 0 0 6 0 0 0 0 0 0 0 9 0 0 0 0 0 0 1 0 2 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 8 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 4 1 9 4 0 0 0 0 0 5 0 1 1 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 1 4 0 0 0 0 1 0 6 0 0 0 0 2 6 7 0 0 0 1 0 1 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 9 0 0 0 1 1 0 0 0 1 0 5 0 0 0 7 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 4 0 0 1 0 0 0 0 0 0 0 0 1 2 1 0 0 0 9 0 1 0 0 0 1 0 0 0 0 0 0 2 0 1 0 0 0 9 0 0 5 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 9 0 0 5 1 0 1 0 0 0 0 1 0 0 0 0 3 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 5 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 5 0 0 0 0 1 0 0 0 0 5 0 0 0 0 0 1 0 0 0 0 0 5 1 0 0 0 1 0 7 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 8 0 0 1 1 0 0 0 0 8 0 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 1 0 1 0 0 0 0 0 0 0 0 0 0 9 0 0 0 1 0 0 9 0 0 0 0 0 0 3 0 0 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 0 0 2 1 1 0 0 1 0 0 1 0 0 0 3 0 0 0 0 0 0 0 0 0 0 7 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 9 1 0 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 1 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 2 0 0 0 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 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 5 0 0 0 0 0 0 7 0 0 0 0 1 0 0 0 4 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 9 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 6 0 0 0 0 0 0 0 0 0 3 0 0 0 0 0 1 0 5 0 0 0 0 0 0 0 0 0 5 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 7 0 0 9 0 0 0 0 0 0 0 8 0 0 0 0 0 0 0 0 7 7 0 0 9 9 1 1 0 0 1 0 0 5 0 0 0 4 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 0 0 0 8 0 0 1 0 0 0 0 1 180 184 156 136 184 188 120 60 148 204 68 32 156 96 88 52 24 172 88 104 208 64 108 36 256 192 12 192 40 172 200 360 308 224 156 128 300 280 288 220 68 24 80 148 172 32 44 120 320 44 352 116 200 64 156 208 356 68 132 264 288 316 268 308 136 24 4 44 104 116 104 248 156 68 108 60 60 104 160 116 172 40 132 76 180 12 52 28 36 248 264 112 204 248 60 348 224 240 148 244 328 20 80 212 36 56 168 316 252 200 20 60 16 296 88 260 160 20 76 24 64 32 16 240 252 232 84 148 292 248 304 240 12 136 196 288 152 192 44 372 360 280 36 48 16 44 112 20 232 188 356 184 8 224 36 68 144 136 136 56 76 36 240 140 136 68 196 200 92 180 16 236 40 200 80 44 44 168 116 156 104 52 72 188 80 88 36 144 52 212 84 248 152 252 212 88 152 156 136 24 84 232 96 136 228 48 264 212 148 148 84 132 88 52 144 12 112 292 108 140 188 380 244 296 24 24 316 136 180 52 68 76 44 108 148 156 32 116 72 16 52 68 36 72 60 236 64 64 196 104 16 72 84 56 320 36 168 124 256 372 60 188 316 20 324 248 136 136 184 148 100 92 220 244 248 268 256 248 204 240 68 88 20 12 116 252 236 96 132 96 236 32 148 220 304 108 100 296 56 316 292 160 84 112 56 40 80 76 100 64 16 276 100 60 88 40 148 40 108 144 108 64 32 132 144 236 300 140 300 188 220 108 136 220 52 196 80 28 56 264 224 148 180 180 112 204 160 44 112 92 196 180 156 216 176 136 64 32 180 260 164 380 148 120 212 4 40 140 100 44 188 88 148 216 316 220 88 92 56 56 256 68 100 152 300 48 164 144 80 296 280 192 104 260 152 164 0 20 68 256 212 236 84 52 356 152 284 96 320 264 164 56 192 324 56 312 72 224 232 336 340 256 356 124 204 412 356 244 260 72 296 140 20 28 92 92 28 216 148 160 28 80 68 40 128 216 104 96 92 128 276 12 264 300 296 376 32 272 288 112 148 172 204 28 196 124 344 16 36 28 180 176 100 48 44 88 176 192 108 248 168 28 200 184 136 124 152 200 312 28 56 128 36 160 172 40 296 292 292 140 156 272 60 176 68 112 268 8 40 80 160 4 28 140 132 76 140 284 20 296 236 4 236 64 80 132 100 112 284 364 156 248 148 48 148 232 152 80 296 316 40 40 140 108 112 236 272 100 52 252 96 92 184 28 80 72 52 96 232 128 136 148 104 52 200 204 300 176 340 244 148 240 172 72 184 288 8 88 40 28 104 64 96 100 108 44 48 48 60 116 244 112 184 52 220 96 264 116 12 192 64 96 88 228 192 80 272 136 16 88 72 52 120 264 128 56 188 36 92 48 76 36 68 72 184 56 172 40 12 176 168 212 92 112 144 60 16 72 272 112 224 172 48 392 352 404 116 412 12 60 312 92 316 16 16 104 192 4 60 324 316 236 352 92 88 96 108 252 20 112 64 16 228 20 272 116 216 192 184 76 64 140 68 272 128 108 56 156 48 324 116 12 348 296 96 132 8 152 20 56 84 28 204 56 52 204 52 164 92 260 276 4 128 296 156 8 32 260 268 132 36 116 280 300 24 76 336 236 184 200 60 204 172 140 148 132 96 148 232 48 108 40 96 168 28 32 180 140 344 68 16 192 20 216 80 48 100 148 16 8 92 120 276 44 40 28 56 156 204 96 204 100 88 304 84 100 16 168 264 200 380 340 196 28 4 36 192 380 48 60 44 116 132 128 120 44 240 128 104 148 180 196 180 72 52 396 212 260 20 296 316 252 20 40 56 160 80 160 64 120 196 12 68 100 284 204 228 244 88 76 72 376 212 352 376 336 320 188 8 44 104 4 164 192 124 316 164 336 24 312 156 128 116 8 96 132 68 208 248 216 152 40 112 416 408 356 412 12 240 248 400 164 60 340 0 292 60 188 336 228 56 180 136 36 168 124 84 240 176 36 280 124 240 176 20 224 212 300 100 356 344 176 152 192 208 216 72 204 76 68 256 320 20 88 348 108 308 280 356 296 56 72 172 12 88 136 108 132 284 392 284 216 44 308 84 256 12 76 56 64 60 168 260 52 240 116 88 332 260 252 64 120 92 24 116 140 68 80 256 72 112 32 28 12 144 48 156 116 164 196 60 132 132 80 160 104 252 116 140 52 44 160 20 144 252 44 136 352 220 196 256 48 40 76 188 32 20 56 172 256 140 348 80 200 292 116 240 76 320 96 24 316 352 20 256 32 348 204 92 184 96 140 100 220 236 208 196 280 256 248 80 96 80 112 136 216 28 228 148 160 64 92 56 164 44 196 192 36 280 208 192 20 316 20 28 36 200 356 64 20 96 60 136 36 60 224 264 344 180 60 140 24 80 148 68 116 36 144 60 188 160 140 140 172 136 328 320 304 32 344 356 12 324 112 52 232 248 360 348 316 64 344 396 296 340 140 112 36 28 20 244 288 184 140 76 100 4 188 32 36 120 60 40 228 344 148 140 128 20 112 276 80 136 212 88 168 24 76 100 152 300 264 80 100 120 96 284 84 44 60 28 48 136 312 208 356 108 220 68 104 216 56 168 48 44 140 184 184 276 88 188 8 336 16 248 228 120 36 84 144 252 180 288 76 80 316 20 88 44 8 60 52 136 64 144 32 20 248 292 20 292 292 44 96 240 244 24 148 188 128 80 96 268 8 256 328 276 44 92 28 256 96 284 56 60 204 156 292 96 232 284 216 52 180 72 24 112 52 144 172 360 84 8 148 140 52 144 88 160 100 300 268 224 48 176 68 8 52 160 208 120 196 40 36 208 160 52 176 96 100 52 292 224 344 48 376 124 132 56 56 220 220 200 88 44 28 48 168 24 124 44 36 28 280 136 332 68 84 164 104 144 172 264 92 188 88 136 104 136 80 148 232 136 124 104 116 72 204 264 216 176 172 368 48 196 76 264 36 212 260 244 264 96 360 44 52 228 40 104 36 96 36 80 132 104 60 76 324 56 108 112 152 180 84 224 36 116 164 44 204 84 60 236 212 216 208 72 272 60 24 48 216 320 136 52 112 32 120 156 124 44 184 16 76 224 72 240 64 48 76 88 132 304 72 148 196 152 72 152 320 288 176 212 304 220 168 44 264 60 8 44 108 252 228 140 224 40 152 324 2520.06/2481.91 v </values> 2520.06/2481.91 v </instantiation>
OK 201569901
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 (8106 MiB free)
memory of node 1: 16384 MiB (14646 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298998-1532789228/watcher-4298998-1532789228 -o /tmp/evaluation-result-4298998-1532789228/solver-4298998-1532789228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30333 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298998-1532789228.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Current StackSize limit: 8192 KiB
solver pid=31808, runsolver pid=31805
[startup+0.100127 s]*
/proc/loadavg: 1.39 1.30 1.39 3/215 31823
/proc/meminfo: memFree=23282196/32770624 swapFree=67108404/67108860
[pid=31808] ppid=31805 vsize=10661056 memory=27708 CPUtime=0.12 cores=1,3,5,7
/proc/31808/stat : 31808 (java) S 31805 31808 30301 0 -1 1077944320 5274 0 0 0 11 1 0 0 20 0 15 0 96486022 10916921344 6927 33554432000 4194304 4196468 140728923691664 140728923674208 140710265630455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
/proc/31808/statm: 2665264 6927 2846 1 0 2627263 0
[pid=31808/tid=31810] ppid=31805 vsize=10661056 memory=-8269626465541068156 CPUtime=0.09 cores=1,3,5,7
/proc/31808/task/31810/stat : 31810 (java) R 31805 31808 30301 0 -1 4202560 3142 0 0 0 8 1 0 0 20 0 15 0 96486022 10916921344 6927 33554432000 4194304 4196468 140728923691664 140710269858608 140710265642390 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31811] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31811/stat : 31811 (java) S 31805 31808 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 6927 33554432000 4194304 4196468 140728923691664 140710191705232 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31812] ppid=31805 vsize=10661056 memory=139900224083584 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31812/stat : 31812 (java) S 31805 31808 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 6927 33554432000 4194304 4196468 140728923691664 140710190652432 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31813] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31813/stat : 31813 (java) S 31805 31808 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 6927 33554432000 4194304 4196468 140728923691664 140710189599632 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31814] ppid=31805 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31814/stat : 31814 (java) S 31805 31808 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 6927 33554432000 4194304 4196468 140728923691664 140710188546832 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31815] ppid=31805 vsize=10661056 memory=139900224083584 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31815/stat : 31815 (java) S 31805 31808 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96486024 10916921344 6927 33554432000 4194304 4196468 140728923691664 140709756598640 140710265641602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31816] ppid=31805 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31816/stat : 31816 (java) S 31805 31808 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96486025 10916921344 6927 33554432000 4194304 4196468 140728923691664 140709755544608 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31817] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31817/stat : 31817 (java) S 31805 31808 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96486025 10916921344 6927 33554432000 4194304 4196468 140728923691664 140709754491760 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31818] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31818/stat : 31818 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916921344 6927 33554432000 4194304 4196468 140728923691664 140709753440080 140710265649051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31819] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31819/stat : 31819 (java) S 31805 31808 30301 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 96486027 10916921344 6927 33554432000 4194304 4196468 140728923691664 140709752388464 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31820] ppid=31805 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31820/stat : 31820 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916921344 6927 33554432000 4194304 4196468 140728923691664 140709751335664 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31821] ppid=31805 vsize=10661056 memory=139900224083584 CPUtime=0.01 cores=1,3,5,7
/proc/31808/task/31821/stat : 31821 (java) R 31805 31808 30301 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 96486027 10916921344 6927 33554432000 4194304 4196468 140728923691664 140709750282864 140710249710942 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31822] ppid=31805 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31822/stat : 31822 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916921344 6927 33554432000 4194304 4196468 140728923691664 140709749230304 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31823] ppid=31805 vsize=10661056 memory=139900224083584 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31823/stat : 31823 (java) S 31805 31808 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96486028 10916921344 6927 33554432000 4194304 4196468 140728923691664 140709748177584 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27708 KiB
[startup+0.210482 s]*
/proc/loadavg: 1.39 1.30 1.39 5/215 31823
/proc/meminfo: memFree=23269792/32770624 swapFree=67108404/67108860
[pid=31808] ppid=31805 vsize=10661056 memory=40460 CPUtime=0.34 cores=1,3,5,7
/proc/31808/stat : 31808 (java) S 31805 31808 30301 0 -1 1077944320 8260 0 0 0 32 2 0 0 20 0 15 0 96486022 10916921344 10115 33554432000 4194304 4196468 140728923691664 140728923674208 140710265630455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
/proc/31808/statm: 2665264 10115 2983 1 0 2627263 0
[pid=31808/tid=31810] ppid=31805 vsize=10661056 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/31808/task/31810/stat : 31810 (java) R 31805 31808 30301 0 -1 4202560 5111 0 0 0 18 1 0 0 20 0 15 0 96486022 10916921344 10115 33554432000 4194304 4196468 140728923691664 140710269869552 140710265652381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31811] ppid=31805 vsize=10661056 memory=345 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31811/stat : 31811 (java) S 31805 31808 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 10115 33554432000 4194304 4196468 140728923691664 140710191705232 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31812] ppid=31805 vsize=10661056 memory=139900224114168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31812/stat : 31812 (java) S 31805 31808 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 10115 33554432000 4194304 4196468 140728923691664 140710190652432 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31813] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31813/stat : 31813 (java) S 31805 31808 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 10115 33554432000 4194304 4196468 140728923691664 140710189599632 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31814] ppid=31805 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31814/stat : 31814 (java) S 31805 31808 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 10115 33554432000 4194304 4196468 140728923691664 140710188546832 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31815] ppid=31805 vsize=10661056 memory=139900224083584 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31815/stat : 31815 (java) S 31805 31808 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96486024 10916921344 10115 33554432000 4194304 4196468 140728923691664 140709756598640 140710265641602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31816] ppid=31805 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31816/stat : 31816 (java) S 31805 31808 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96486025 10916921344 10115 33554432000 4194304 4196468 140728923691664 140709755544608 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31817] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31817/stat : 31817 (java) S 31805 31808 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96486025 10916921344 10115 33554432000 4194304 4196468 140728923691664 140709754491760 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31818] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31818/stat : 31818 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916921344 10115 33554432000 4194304 4196468 140728923691664 140709753440080 140710265649051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31819] ppid=31805 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31808/task/31819/stat : 31819 (java) R 31805 31808 30301 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 15 0 96486027 10916921344 10115 33554432000 4194304 4196468 140728923691664 140709752388464 140710265641602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31820] ppid=31805 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/31808/task/31820/stat : 31820 (java) R 31805 31808 30301 0 -1 4202560 304 0 0 0 2 0 0 0 20 0 15 0 96486027 10916921344 10115 33554432000 4194304 4196468 140728923691664 140709751335664 140710245482470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31821] ppid=31805 vsize=10661056 memory=139900224083584 CPUtime=0.08 cores=1,3,5,7
/proc/31808/task/31821/stat : 31821 (java) R 31805 31808 30301 0 -1 4202560 914 0 0 0 8 0 0 0 20 0 15 0 96486027 10916921344 10115 33554432000 4194304 4196468 140728923691664 140709750278624 140710257867582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31822] ppid=31805 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31822/stat : 31822 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916921344 10115 33554432000 4194304 4196468 140728923691664 140709749230304 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31823] ppid=31805 vsize=10661056 memory=139900224083584 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31823/stat : 31823 (java) S 31805 31808 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96486028 10916921344 10115 33554432000 4194304 4196468 140728923691664 140709748177584 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40460 KiB
[startup+0.319416 s]*
/proc/loadavg: 1.39 1.30 1.39 4/215 31823
/proc/meminfo: memFree=23199716/32770624 swapFree=67108404/67108860
[pid=31808] ppid=31805 vsize=10661056 memory=116400 CPUtime=0.61 cores=1,3,5,7
/proc/31808/stat : 31808 (java) S 31805 31808 30301 0 -1 1077944320 9803 0 0 0 57 4 0 0 20 0 15 0 96486022 10916921344 29100 33554432000 4194304 4196468 140728923691664 140728923674208 140710265630455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
/proc/31808/statm: 2665264 29100 3050 1 0 2627263 0
[pid=31808/tid=31810] ppid=31805 vsize=10661056 memory=7311146985107750967 CPUtime=0.31 cores=1,3,5,7
/proc/31808/task/31810/stat : 31810 (java) R 31805 31808 30301 0 -1 4202560 5151 0 0 0 28 3 0 0 20 0 15 0 96486022 10916921344 29100 33554432000 4194304 4196468 140728923691664 140710269866048 140710265652381 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31811] ppid=31805 vsize=10661056 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31811/stat : 31811 (java) S 31805 31808 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 29100 33554432000 4194304 4196468 140728923691664 140710191705232 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31812] ppid=31805 vsize=10661056 memory=139900224114060 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31812/stat : 31812 (java) S 31805 31808 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 29100 33554432000 4194304 4196468 140728923691664 140710190652432 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31813] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31813/stat : 31813 (java) S 31805 31808 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 29100 33554432000 4194304 4196468 140728923691664 140710189599632 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31814] ppid=31805 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31814/stat : 31814 (java) S 31805 31808 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96486023 10916921344 29100 33554432000 4194304 4196468 140728923691664 140710188546832 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31815] ppid=31805 vsize=10661056 memory=139900224083584 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31815/stat : 31815 (java) S 31805 31808 30301 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96486024 10916921344 29100 33554432000 4194304 4196468 140728923691664 140709756598640 140710265641602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31816] ppid=31805 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31816/stat : 31816 (java) S 31805 31808 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96486025 10916921344 29100 33554432000 4194304 4196468 140728923691664 140709755544608 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31817] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31817/stat : 31817 (java) S 31805 31808 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96486025 10916921344 29100 33554432000 4194304 4196468 140728923691664 140709754491760 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31818] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31818/stat : 31818 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916921344 29100 33554432000 4194304 4196468 140728923691664 140709753440080 140710265649051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31819] ppid=31805 vsize=10661056 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31808/task/31819/stat : 31819 (java) R 31805 31808 30301 0 -1 4202560 1636 0 0 0 9 0 0 0 20 0 15 0 96486027 10916921344 29100 33554432000 4194304 4196468 140728923691664 140709752369480 140710250529712 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31820] ppid=31805 vsize=10661056 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/31808/task/31820/stat : 31820 (java) S 31805 31808 30301 0 -1 1077944384 694 0 0 0 7 0 0 0 20 0 15 0 96486027 10916921344 29100 33554432000 4194304 4196468 140728923691664 140709751335664 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31821] ppid=31805 vsize=10661056 memory=139900224083584 CPUtime=0.12 cores=1,3,5,7
/proc/31808/task/31821/stat : 31821 (java) S 31805 31808 30301 0 -1 1077944384 953 0 0 0 12 0 0 0 20 0 15 0 96486027 10916921344 29100 33554432000 4194304 4196468 140728923691664 140709750282864 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31822] ppid=31805 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31822/stat : 31822 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916921344 29100 33554432000 4194304 4196468 140728923691664 140709749230304 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31823] ppid=31805 vsize=10661056 memory=139900224083584 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31823/stat : 31823 (java) S 31805 31808 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96486028 10916921344 29100 33554432000 4194304 4196468 140728923691664 140709748177584 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 116400 KiB
[startup+0.704391 s]
/proc/loadavg: 1.39 1.30 1.39 5/215 31823
/proc/meminfo: memFree=23010564/32770624 swapFree=67108404/67108860
[pid=31808] ppid=31805 vsize=10661056 memory=485768 CPUtime=1.68 cores=1,3,5,7
/proc/31808/stat : 31808 (java) S 31805 31808 30301 0 -1 1077944320 13423 0 0 0 130 38 0 0 20 0 15 0 96486022 10916921344 121442 33554432000 4194304 4196468 140728923691664 140728923674208 140710265630455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
/proc/31808/statm: 2665264 121442 3087 1 0 2627263 0
[pid=31808/tid=31810] ppid=31805 vsize=10661056 memory=1840 CPUtime=0.52 cores=1,3,5,7
/proc/31808/task/31810/stat : 31810 (java) S 31805 31808 30301 0 -1 1077944384 5179 0 0 0 46 6 0 0 20 0 15 0 96486022 10916921344 121442 33554432000 4194304 4196468 140728923691664 140710269869712 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31811] ppid=31805 vsize=10661056 memory=1716 CPUtime=0.12 cores=1,3,5,7
/proc/31808/task/31811/stat : 31811 (java) R 31805 31808 30301 0 -1 4202560 362 0 0 0 5 7 0 0 20 0 15 0 96486023 10916921344 121442 33554432000 4194304 4196468 140728923691664 140710191705232 140710258733427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31812] ppid=31805 vsize=10661056 memory=796 CPUtime=0.13 cores=1,3,5,7
/proc/31808/task/31812/stat : 31812 (java) R 31805 31808 30301 0 -1 4202560 252 0 0 0 5 8 0 0 20 0 15 0 96486023 10916921344 121442 33554432000 4194304 4196468 140728923691664 140710190652432 140710258727156 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31813] ppid=31805 vsize=10661056 memory=11008 CPUtime=0.12 cores=1,3,5,7
/proc/31808/task/31813/stat : 31813 (java) R 31805 31808 30301 0 -1 4202560 531 0 0 0 5 7 0 0 20 0 15 0 96486023 10916921344 121442 33554432000 4194304 4196468 140728923691664 140710189599632 140710258730155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31814] ppid=31805 vsize=10661056 memory=1008 CPUtime=0.12 cores=1,3,5,7
/proc/31808/task/31814/stat : 31814 (java) R 31805 31808 30301 0 -1 4202560 289 0 0 0 5 7 0 0 20 0 15 0 96486023 10916921344 121442 33554432000 4194304 4196468 140728923691664 140710188547032 140710258730155 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31815] ppid=31805 vsize=10661056 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31815/stat : 31815 (java) S 31805 31808 30301 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 96486024 10916921344 121442 33554432000 4194304 4196468 140728923691664 140709756597184 140710265640661 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31816] ppid=31805 vsize=10661056 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31816/stat : 31816 (java) S 31805 31808 30301 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96486025 10916921344 121442 33554432000 4194304 4196468 140728923691664 140709755544608 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31817] ppid=31805 vsize=10661056 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31817/stat : 31817 (java) S 31805 31808 30301 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96486025 10916921344 121442 33554432000 4194304 4196468 140728923691664 140709754491760 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31818] ppid=31805 vsize=10661056 memory=5372 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31818/stat : 31818 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916921344 121442 33554432000 4194304 4196468 140728923691664 140709753440080 140710265649051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31819] ppid=31805 vsize=10661056 memory=7302135314614015848 CPUtime=0.27 cores=1,3,5,7
/proc/31808/task/31819/stat : 31819 (java) S 31805 31808 30301 0 -1 1077944384 2972 0 0 0 27 0 0 0 20 0 15 0 96486027 10916921344 121442 33554432000 4194304 4196468 140728923691664 140709752388464 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31820] ppid=31805 vsize=10661056 memory=7450453974481135974 CPUtime=0.2 cores=1,3,5,7
/proc/31808/task/31820/stat : 31820 (java) S 31805 31808 30301 0 -1 1077944384 1405 0 0 0 20 0 0 0 20 0 15 0 96486027 10916921344 121442 33554432000 4194304 4196468 140728923691664 140709751335664 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31821] ppid=31805 vsize=10661056 memory=7151830906713428048 CPUtime=0.13 cores=1,3,5,7
/proc/31808/task/31821/stat : 31821 (java) S 31805 31808 30301 0 -1 1077944384 979 0 0 0 13 0 0 0 20 0 15 0 96486027 10916921344 121442 33554432000 4194304 4196468 140728923691664 140709750282864 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31822] ppid=31805 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31822/stat : 31822 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916921344 121442 33554432000 4194304 4196468 140728923691664 140709749230304 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31823] ppid=31805 vsize=10661056 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31823/stat : 31823 (java) S 31805 31808 30301 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96486028 10916921344 121442 33554432000 4194304 4196468 140728923691664 140709748177584 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 485768 KiB
[startup+1.50079 s]
/proc/loadavg: 1.39 1.30 1.39 3/215 31823
/proc/meminfo: memFree=22813904/32770624 swapFree=67108404/67108860
[pid=31808] ppid=31805 vsize=10661132 memory=733216 CPUtime=4.1 cores=1,3,5,7
/proc/31808/stat : 31808 (java) S 31805 31808 30301 0 -1 1077944320 16354 0 0 0 352 58 0 0 20 0 15 0 96486022 10916999168 183304 33554432000 4194304 4196468 140728923691664 140728923674208 140710265630455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
/proc/31808/statm: 2665283 183304 3149 1 0 2627263 0
[pid=31808/tid=31810] ppid=31805 vsize=10661132 memory=0 CPUtime=1.21 cores=1,3,5,7
/proc/31808/task/31810/stat : 31810 (java) R 31805 31808 30301 0 -1 4202560 5566 0 0 0 111 10 0 0 20 0 15 0 96486022 10916999168 183304 33554432000 4194304 4196468 140728923691664 140710269864424 140709859979750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31811] ppid=31805 vsize=10661132 memory=-6951259422114956437 CPUtime=0.22 cores=1,3,5,7
/proc/31808/task/31811/stat : 31811 (java) S 31805 31808 30301 0 -1 1077944384 444 0 0 0 12 10 0 0 20 0 15 0 96486023 10916999168 183304 33554432000 4194304 4196468 140728923691664 140710191705232 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31812] ppid=31805 vsize=10661132 memory=-6509546260019855299 CPUtime=0.24 cores=1,3,5,7
/proc/31808/task/31812/stat : 31812 (java) S 31805 31808 30301 0 -1 1077944384 409 0 0 0 12 12 0 0 20 0 15 0 96486023 10916999168 183304 33554432000 4194304 4196468 140728923691664 140710190652432 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31813] ppid=31805 vsize=10661132 memory=-7390251449858225344 CPUtime=0.22 cores=1,3,5,7
/proc/31808/task/31813/stat : 31813 (java) S 31805 31808 30301 0 -1 1077944384 584 0 0 0 11 11 0 0 20 0 15 0 96486023 10916999168 183304 33554432000 4194304 4196468 140728923691664 140710189599632 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31814] ppid=31805 vsize=10661132 memory=4134692831991786133 CPUtime=0.23 cores=1,3,5,7
/proc/31808/task/31814/stat : 31814 (java) S 31805 31808 30301 0 -1 1077944384 461 0 0 0 12 11 0 0 20 0 15 0 96486023 10916999168 183304 33554432000 4194304 4196468 140728923691664 140710188546832 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31815] ppid=31805 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31815/stat : 31815 (java) S 31805 31808 30301 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 96486024 10916999168 183304 33554432000 4194304 4196468 140728923691664 140709756598640 140710265641602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
################
# More data... #
################
/proc/31808/task/31810/stat : 31810 (java) R 31805 31808 30301 0 -1 4202560 164280 0 0 0 237072 53 0 0 20 0 15 0 96486022 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710269870064 140709863259037 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31811] ppid=31805 vsize=10661132 memory=7694232 CPUtime=10.33 cores=1,3,5,7
/proc/31808/task/31811/stat : 31811 (java) S 31805 31808 30301 0 -1 1077944384 22051 0 0 0 929 104 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710191705232 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31812] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.34 cores=1,3,5,7
/proc/31808/task/31812/stat : 31812 (java) S 31805 31808 30301 0 -1 1077944384 20324 0 0 0 930 104 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710190652432 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31813] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.34 cores=1,3,5,7
/proc/31808/task/31813/stat : 31813 (java) S 31805 31808 30301 0 -1 1077944384 21533 0 0 0 919 115 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710189599632 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31814] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.36 cores=1,3,5,7
/proc/31808/task/31814/stat : 31814 (java) S 31805 31808 30301 0 -1 1077944384 22452 0 0 0 925 111 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710188546832 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31815] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0.55 cores=1,3,5,7
/proc/31808/task/31815/stat : 31815 (java) S 31805 31808 30301 0 -1 1077944384 16768 0 0 0 50 5 0 0 20 0 15 0 96486024 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709756598640 140710265641602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31816] ppid=31805 vsize=10661132 memory=16052 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31816/stat : 31816 (java) S 31805 31808 30301 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 96486025 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709755544672 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31817] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31817/stat : 31817 (java) S 31805 31808 30301 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 96486025 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709754491760 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31818] ppid=31805 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31818/stat : 31818 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709753440080 140710265649051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31819] ppid=31805 vsize=10661132 memory=4012 CPUtime=2.5 cores=1,3,5,7
/proc/31808/task/31819/stat : 31819 (java) S 31805 31808 30301 0 -1 1077944384 11298 0 0 0 248 2 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709752388464 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31820] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2.69 cores=1,3,5,7
/proc/31808/task/31820/stat : 31820 (java) S 31805 31808 30301 0 -1 1077944384 12221 0 0 0 268 1 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709751335664 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31821] ppid=31805 vsize=10661132 memory=4012 CPUtime=0.7 cores=1,3,5,7
/proc/31808/task/31821/stat : 31821 (java) S 31805 31808 30301 0 -1 1077944384 10496 0 0 0 68 2 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709750282864 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31822] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31822/stat : 31822 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709749230304 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31823] ppid=31805 vsize=10661132 memory=7690168 CPUtime=1.25 cores=1,3,5,7
/proc/31808/task/31823/stat : 31823 (java) S 31805 31808 30301 0 -1 1077944384 2296 0 0 0 55 70 0 0 20 0 15 0 96486028 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709748177584 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
Current children cumulated CPU time: 2420.4 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 7690168 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.04 2.38 3/215 32227
/proc/meminfo: memFree=10476032/32770624 swapFree=67108404/67108860
[pid=31808] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2480.44 cores=1,3,5,7
/proc/31808/stat : 31808 (java) S 31805 31808 30301 0 -1 1077944320 309855 0 0 0 247480 564 0 0 20 0 15 0 96486022 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140728923674208 140710265630455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
/proc/31808/statm: 2665283 1922542 3196 1 0 2627263 0
[pid=31808/tid=31810] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2431.25 cores=1,3,5,7
/proc/31808/task/31810/stat : 31810 (java) R 31805 31808 30301 0 -1 4202560 168737 0 0 0 243072 53 0 0 20 0 15 0 96486022 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710269870064 140709863232416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31811] ppid=31805 vsize=10661132 memory=928 CPUtime=10.33 cores=1,3,5,7
/proc/31808/task/31811/stat : 31811 (java) S 31805 31808 30301 0 -1 1077944384 22051 0 0 0 929 104 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710191705232 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31812] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.34 cores=1,3,5,7
/proc/31808/task/31812/stat : 31812 (java) S 31805 31808 30301 0 -1 1077944384 20324 0 0 0 930 104 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710190652432 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31813] ppid=31805 vsize=10661132 memory=6791534058613427641 CPUtime=10.34 cores=1,3,5,7
/proc/31808/task/31813/stat : 31813 (java) S 31805 31808 30301 0 -1 1077944384 21533 0 0 0 919 115 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710189599632 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31814] ppid=31805 vsize=10661132 memory=0 CPUtime=10.36 cores=1,3,5,7
/proc/31808/task/31814/stat : 31814 (java) S 31805 31808 30301 0 -1 1077944384 22452 0 0 0 925 111 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710188546832 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31815] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0.55 cores=1,3,5,7
/proc/31808/task/31815/stat : 31815 (java) S 31805 31808 30301 0 -1 1077944384 16788 0 0 0 50 5 0 0 20 0 15 0 96486024 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709756598640 140710265641602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31816] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31816/stat : 31816 (java) S 31805 31808 30301 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 96486025 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709755544672 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31817] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31817/stat : 31817 (java) S 31805 31808 30301 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 96486025 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709754491760 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31818] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31818/stat : 31818 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709753440080 140710265649051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31819] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2.5 cores=1,3,5,7
/proc/31808/task/31819/stat : 31819 (java) S 31805 31808 30301 0 -1 1077944384 11310 0 0 0 248 2 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709752388464 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31820] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2.69 cores=1,3,5,7
/proc/31808/task/31820/stat : 31820 (java) S 31805 31808 30301 0 -1 1077944384 12227 0 0 0 268 1 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709751335664 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31821] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0.7 cores=1,3,5,7
/proc/31808/task/31821/stat : 31821 (java) S 31805 31808 30301 0 -1 1077944384 10506 0 0 0 68 2 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709750282864 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31822] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31822/stat : 31822 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709749230304 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31823] ppid=31805 vsize=10661132 memory=7690168 CPUtime=1.28 cores=1,3,5,7
/proc/31808/task/31823/stat : 31823 (java) S 31805 31808 30301 0 -1 1077944384 2370 0 0 0 56 72 0 0 20 0 15 0 96486028 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709748177584 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
Current children cumulated CPU time: 2480.44 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 7690168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.9 s]
/proc/loadavg: 2.00 2.04 2.37 3/215 32228
/proc/meminfo: memFree=10475612/32770624 swapFree=67108404/67108860
[pid=31808] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2520.06 cores=1,3,5,7
/proc/31808/stat : 31808 (java) S 31805 31808 30301 0 -1 1077944320 312460 0 0 0 251441 565 0 0 20 0 15 0 96486022 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140728923674208 140710265630455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
/proc/31808/statm: 2665283 1922542 3196 1 0 2627263 0
[pid=31808/tid=31810] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2470.85 cores=1,3,5,7
/proc/31808/task/31810/stat : 31810 (java) R 31805 31808 30301 0 -1 4202560 170692 0 0 0 247032 53 0 0 20 0 15 0 96486022 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710269870136 140709858104098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31811] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.33 cores=1,3,5,7
/proc/31808/task/31811/stat : 31811 (java) S 31805 31808 30301 0 -1 1077944384 22051 0 0 0 929 104 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710191705232 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31812] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.34 cores=1,3,5,7
/proc/31808/task/31812/stat : 31812 (java) S 31805 31808 30301 0 -1 1077944384 20324 0 0 0 930 104 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710190652432 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31813] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.34 cores=1,3,5,7
/proc/31808/task/31813/stat : 31813 (java) S 31805 31808 30301 0 -1 1077944384 21533 0 0 0 919 115 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710189599632 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31814] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.36 cores=1,3,5,7
/proc/31808/task/31814/stat : 31814 (java) S 31805 31808 30301 0 -1 1077944384 22452 0 0 0 925 111 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710188546832 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31815] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0.55 cores=1,3,5,7
/proc/31808/task/31815/stat : 31815 (java) S 31805 31808 30301 0 -1 1077944384 16798 0 0 0 50 5 0 0 20 0 15 0 96486024 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709756598640 140710265641602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31816] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31816/stat : 31816 (java) S 31805 31808 30301 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 96486025 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709755544672 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31817] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31817/stat : 31817 (java) S 31805 31808 30301 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 96486025 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709754491760 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31818] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31818/stat : 31818 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709753440080 140710265649051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31819] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2.5 cores=1,3,5,7
/proc/31808/task/31819/stat : 31819 (java) S 31805 31808 30301 0 -1 1077944384 11310 0 0 0 248 2 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709752388464 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31820] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2.69 cores=1,3,5,7
/proc/31808/task/31820/stat : 31820 (java) S 31805 31808 30301 0 -1 1077944384 12227 0 0 0 268 1 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709751335664 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31821] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0.7 cores=1,3,5,7
/proc/31808/task/31821/stat : 31821 (java) S 31805 31808 30301 0 -1 1077944384 11108 0 0 0 68 2 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709750282864 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31822] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31822/stat : 31822 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709749230304 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31823] ppid=31805 vsize=10661132 memory=1580 CPUtime=1.31 cores=1,3,5,7
/proc/31808/task/31823/stat : 31823 (java) S 31805 31808 30301 0 -1 1077944384 2408 0 0 0 58 73 0 0 20 0 15 0 96486028 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709748177584 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 7690168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2481.96 s]
# the end of solver process 31808 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.46 s, system=5.68447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2481.9 s]
/proc/loadavg: 2.00 2.04 2.37 3/215 32228
/proc/meminfo: memFree=10475612/32770624 swapFree=67108404/67108860
[pid=31808] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2520.06 cores=1,3,5,7
/proc/31808/stat : 31808 (java) S 31805 31808 30301 0 -1 1077944320 312460 0 0 0 251441 565 0 0 20 0 15 0 96486022 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140728923674208 140710265630455 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
/proc/31808/statm: 2665283 1922542 3196 1 0 2627263 0
[pid=31808/tid=31810] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2470.85 cores=1,3,5,7
/proc/31808/task/31810/stat : 31810 (java) R 31805 31808 30301 0 -1 4202560 170692 0 0 0 247032 53 0 0 20 0 15 0 96486022 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710269870136 140709858104098 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31811] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.33 cores=1,3,5,7
/proc/31808/task/31811/stat : 31811 (java) S 31805 31808 30301 0 -1 1077944384 22051 0 0 0 929 104 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710191705232 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31812] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.34 cores=1,3,5,7
/proc/31808/task/31812/stat : 31812 (java) S 31805 31808 30301 0 -1 1077944384 20324 0 0 0 930 104 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710190652432 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31813] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.34 cores=1,3,5,7
/proc/31808/task/31813/stat : 31813 (java) S 31805 31808 30301 0 -1 1077944384 21533 0 0 0 919 115 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710189599632 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31814] ppid=31805 vsize=10661132 memory=7690168 CPUtime=10.36 cores=1,3,5,7
/proc/31808/task/31814/stat : 31814 (java) S 31805 31808 30301 0 -1 1077944384 22452 0 0 0 925 111 0 0 20 0 15 0 96486023 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140710188546832 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31815] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0.55 cores=1,3,5,7
/proc/31808/task/31815/stat : 31815 (java) S 31805 31808 30301 0 -1 1077944384 16798 0 0 0 50 5 0 0 20 0 15 0 96486024 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709756598640 140710265641602 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31816] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31816/stat : 31816 (java) S 31805 31808 30301 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 96486025 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709755544672 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31817] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31817/stat : 31817 (java) S 31805 31808 30301 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 96486025 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709754491760 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31818] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31818/stat : 31818 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709753440080 140710265649051 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31819] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2.5 cores=1,3,5,7
/proc/31808/task/31819/stat : 31819 (java) S 31805 31808 30301 0 -1 1077944384 11310 0 0 0 248 2 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709752388464 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31820] ppid=31805 vsize=10661132 memory=7690168 CPUtime=2.69 cores=1,3,5,7
/proc/31808/task/31820/stat : 31820 (java) S 31805 31808 30301 0 -1 1077944384 12227 0 0 0 268 1 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709751335664 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31821] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0.7 cores=1,3,5,7
/proc/31808/task/31821/stat : 31821 (java) S 31805 31808 30301 0 -1 1077944384 11108 0 0 0 68 2 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709750282864 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31822] ppid=31805 vsize=10661132 memory=7690168 CPUtime=0 cores=1,3,5,7
/proc/31808/task/31822/stat : 31822 (java) S 31805 31808 30301 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96486027 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709749230304 140710265640661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
[pid=31808/tid=31823] ppid=31805 vsize=10661132 memory=1580 CPUtime=1.31 cores=1,3,5,7
/proc/31808/task/31823/stat : 31823 (java) S 31805 31808 30301 0 -1 1077944384 2408 0 0 0 58 73 0 0 20 0 15 0 96486028 10916999168 1922542 33554432000 4194304 4196468 140728923691664 140709748177584 140710265641602 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27848704 140728923694197 140728923694345 140728923694345 140728923697103 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 7690168 KiB
Child status: 143
Real time (s): 2481.96
CPU time (s): 2520.14
CPU user time (s): 2514.46
CPU system time (s): 5.68447
CPU usage (%): 101.538
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 7699600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.46
system time used= 5.68447
maximum resident set size= 7699600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58182
involuntary context switches= 1697
# summary of solver processes directly reported to runsolver:
# pid: 31808
# total CPU time (s): 2520.14
# total CPU user time (s): 2514.46
# total CPU system time (s): 5.68447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.9948 second user time and 23.8757 second system time
The end
Begin job on node148 at 2018-07-28 16:47:09 IDJOB=4298998 IDBENCH=141281 IDSOLVER=2762 FILE ID=node148/4298998-1532789228 RUNJOBID= node148-1532774285-30333 PBS_JOBID= 21022458 Free space on /tmp= 43084 MiB SOLVER NAME= GG's minicp 2018-04-29 BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-02-0250_c18.xml COMMAND LINE= java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298998-1532789228/watcher-4298998-1532789228 -o /tmp/evaluation-result-4298998-1532789228/solver-4298998-1532789228 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532774285-30333 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4298998-1532789228.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 24bf88c1c49a1faaa01f312934ed4415 RANDOM SEED=448167678 node148.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.50 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.50 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.50 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.50 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: 23298856 kB MemAvailable: 31756888 kB Buffers: 226732 kB Cached: 8365404 kB SwapCached: 352 kB Active: 2351864 kB Inactive: 6468100 kB Active(anon): 181440 kB Inactive(anon): 74228 kB Active(file): 2170424 kB Inactive(file): 6393872 kB Unevictable: 7080 kB Mlocked: 7080 kB SwapTotal: 67108860 kB SwapFree: 67108404 kB Dirty: 184980 kB Writeback: 0 kB AnonPages: 234688 kB Mapped: 54760 kB Shmem: 25016 kB Slab: 350408 kB SReclaimable: 322196 kB SUnreclaim: 28212 kB KernelStack: 3520 kB PageTables: 5724 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1128004 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 165888 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116096 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 42980 MiB End job on node148 at 2018-07-28 17:28:31