Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | -9972 | 1800.4 | 957.07 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb |
| MD5SUM | b391a1d34c83557e44dbc3e85562df70 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -10786 |
| Best CPU time to get the best result obtained on this benchmark | 1800.05 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 7294 |
| Total number of constraints | 14468 |
| Number of constraints which are clauses | 7234 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 7234 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 7294 |
| Biggest coefficient in the objective function | 1722 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 756056 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 1722 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 756056 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4118323-1467225705.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 1.03/0.60 c ... done. Wall clock time 0.475s. 1.03/0.60 c declared #vars 7294 1.03/0.60 c #constraints 14468 1.33/0.60 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.33/0.60 c constraints type 1.33/0.60 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 7234 1.33/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 7234 1.33/0.60 c 14468 constraints processed. 1.33/0.60 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.33/0.60 c constraints type 1.33/0.60 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 7234 1.33/0.60 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7234 1.33/0.60 c 14468 constraints processed. 1.33/0.60 c objective function length is 7294 literals 2.12/0.83 c And the winner is solver0 2.84/1.11 c SATISFIABLE 2.84/1.11 c OPTIMIZING... 2.84/1.11 c Got one! Elapsed wall clock time (in seconds):0.986 2.84/1.11 o 0 3.16/1.20 c And the winner is solver0 3.24/1.65 c Got one! Elapsed wall clock time (in seconds):1.527 3.24/1.65 o -91 3.41/1.70 c And the winner is solver0 3.52/2.17 c Got one! Elapsed wall clock time (in seconds):2.054 3.52/2.17 o -182 3.61/2.24 c And the winner is solver0 3.90/2.69 c Got one! Elapsed wall clock time (in seconds):2.568 3.90/2.69 o -327 3.93/2.72 c And the winner is solver0 4.03/3.20 c Got one! Elapsed wall clock time (in seconds):3.08 4.03/3.20 o -429 4.04/3.23 c And the winner is solver0 4.21/3.71 c Got one! Elapsed wall clock time (in seconds):3.59 4.21/3.71 o -472 4.21/3.73 c And the winner is solver0 4.25/4.22 c Got one! Elapsed wall clock time (in seconds):4.099 4.25/4.22 o -642 4.25/4.25 c And the winner is solver0 4.34/4.73 c Got one! Elapsed wall clock time (in seconds):4.608 4.34/4.73 o -705 4.34/4.76 c And the winner is solver0 4.40/5.24 c Got one! Elapsed wall clock time (in seconds):5.118 4.40/5.24 o -710 4.40/5.26 c And the winner is solver0 4.43/5.75 c Got one! Elapsed wall clock time (in seconds):5.627 4.43/5.75 o -750 4.43/5.76 c And the winner is solver0 4.46/6.26 c Got one! Elapsed wall clock time (in seconds):6.136 4.46/6.26 o -755 4.46/6.27 c And the winner is solver0 4.49/6.77 c Got one! Elapsed wall clock time (in seconds):6.645 4.49/6.77 o -812 4.49/6.79 c And the winner is solver0 4.54/7.27 c Got one! Elapsed wall clock time (in seconds):7.154 4.54/7.27 o -986 4.58/7.31 c And the winner is solver0 4.63/7.78 c Got one! Elapsed wall clock time (in seconds):7.663 4.63/7.78 o -1004 4.67/7.84 c And the winner is solver0 4.79/8.30 c Got one! Elapsed wall clock time (in seconds):8.172 4.79/8.30 o -1009 4.80/8.32 c And the winner is solver0 4.84/8.80 c Got one! Elapsed wall clock time (in seconds):8.681 4.84/8.80 o -1175 4.84/8.86 c And the winner is solver0 5.06/9.31 c Got one! Elapsed wall clock time (in seconds):9.19 5.06/9.31 o -1190 5.06/9.35 c And the winner is solver0 5.15/9.82 c Got one! Elapsed wall clock time (in seconds):9.699 5.15/9.82 o -1198 5.15/9.85 c And the winner is solver0 5.22/10.33 c Got one! Elapsed wall clock time (in seconds):10.208 5.22/10.33 o -1206 5.22/10.36 c And the winner is solver0 5.27/10.84 c Got one! Elapsed wall clock time (in seconds):10.718 5.27/10.84 o -1389 5.71/11.01 c And the winner is solver0 6.12/11.45 c Got one! Elapsed wall clock time (in seconds):11.327 6.12/11.45 o -1407 6.36/11.52 c And the winner is solver0 6.89/12.06 c Got one! Elapsed wall clock time (in seconds):11.937 6.89/12.06 o -1411 7.00/12.11 c And the winner is solver0 7.01/12.57 c Got one! Elapsed wall clock time (in seconds):12.446 7.01/12.57 o -1415 7.01/12.59 c And the winner is solver0 7.07/13.08 c Got one! Elapsed wall clock time (in seconds):12.955 7.07/13.08 o -1416 7.07/13.09 c And the winner is solver0 7.12/13.58 c Got one! Elapsed wall clock time (in seconds):13.464 7.12/13.58 o -1531 7.61/13.81 c And the winner is solver0 7.93/14.19 c Got one! Elapsed wall clock time (in seconds):14.073 7.93/14.19 o -1581 8.21/14.31 c And the winner is solver0 8.61/14.75 c Got one! Elapsed wall clock time (in seconds):14.632 8.61/14.75 o -1610 8.74/14.82 c And the winner is solver0 9.27/15.31 c Got one! Elapsed wall clock time (in seconds):15.191 9.27/15.31 o -1620 9.27/15.37 c And the winner is solver0 9.44/15.82 c Got one! Elapsed wall clock time (in seconds):15.7 9.44/15.82 o -1621 9.44/15.84 c And the winner is solver0 9.49/16.33 c Got one! Elapsed wall clock time (in seconds):16.209 9.49/16.33 o -1625 9.49/16.36 c And the winner is solver0 9.57/16.84 c Got one! Elapsed wall clock time (in seconds):16.718 9.57/16.84 o -1626 9.57/16.86 c And the winner is solver0 9.62/17.35 c Got one! Elapsed wall clock time (in seconds):17.227 9.62/17.35 o -1790 10.32/17.75 c And the winner is solver0 10.57/17.91 c Got one! Elapsed wall clock time (in seconds):17.786 10.57/17.91 o -1810 10.98/18.17 c And the winner is solver0 11.45/18.52 c Got one! Elapsed wall clock time (in seconds):18.395 11.45/18.52 o -1817 11.60/18.64 c And the winner is solver0 12.05/19.07 c Got one! Elapsed wall clock time (in seconds):18.954 12.05/19.07 o -1823 12.16/19.12 c And the winner is solver0 12.21/19.58 c Got one! Elapsed wall clock time (in seconds):19.464 12.21/19.58 o -1841 12.22/19.62 c And the winner is solver0 12.26/20.09 c Got one! Elapsed wall clock time (in seconds):19.973 12.26/20.09 o -1846 12.27/20.13 c And the winner is solver0 12.32/20.60 c Got one! Elapsed wall clock time (in seconds):20.482 12.32/20.60 o -1847 12.32/20.65 c And the winner is solver0 12.45/21.11 c Got one! Elapsed wall clock time (in seconds):20.991 12.45/21.11 o -1851 12.45/21.13 c And the winner is solver0 12.46/21.62 c Got one! Elapsed wall clock time (in seconds):21.5 12.46/21.62 o -1852 12.46/21.68 c And the winner is solver0 12.57/22.13 c Got one! Elapsed wall clock time (in seconds):22.009 12.57/22.13 o -2015 13.93/22.81 c And the winner is solver0 14.35/23.29 c Got one! Elapsed wall clock time (in seconds):23.168 14.35/23.29 o -2031 15.29/23.73 c And the winner is solver0 15.43/23.85 c Got one! Elapsed wall clock time (in seconds):23.727 15.43/23.85 o -2050 15.94/24.10 c And the winner is solver0 16.22/24.41 c Got one! Elapsed wall clock time (in seconds):24.286 16.22/24.41 o -2065 16.22/24.46 c And the winner is solver0 16.75/24.97 c Got one! Elapsed wall clock time (in seconds):24.846 16.75/24.97 o -2066 16.75/24.99 c And the winner is solver0 16.85/25.48 c Got one! Elapsed wall clock time (in seconds):25.355 16.85/25.48 o -2069 16.88/25.51 c And the winner is solver0 17.41/26.03 c Got one! Elapsed wall clock time (in seconds):25.914 17.41/26.03 o -2072 17.41/26.10 c And the winner is solver0 17.94/26.59 c Got one! Elapsed wall clock time (in seconds):26.473 17.94/26.59 o -2078 18.00/26.70 c And the winner is solver0 18.64/27.15 c Got one! Elapsed wall clock time (in seconds):27.032 18.64/27.15 o -2197 21.67/28.67 c And the winner is solver0 22.22/29.16 c Got one! Elapsed wall clock time (in seconds):29.041 22.22/29.16 o -2266 23.99/30.06 c And the winner is solver0 24.46/30.42 c Got one! Elapsed wall clock time (in seconds):30.301 24.46/30.42 o -2275 25.22/30.88 c And the winner is solver0 25.40/30.98 c Got one! Elapsed wall clock time (in seconds):30.861 25.40/30.98 o -2289 25.50/31.09 c And the winner is solver0 26.15/31.59 c Got one! Elapsed wall clock time (in seconds):31.471 26.15/31.59 o -2294 26.22/31.62 c And the winner is solver0 26.27/32.10 c Got one! Elapsed wall clock time (in seconds):31.981 26.27/32.10 o -2298 26.27/32.12 c And the winner is solver0 26.32/32.61 c Got one! Elapsed wall clock time (in seconds):32.49 26.32/32.61 o -2301 26.32/32.66 c And the winner is solver0 26.43/33.12 c Got one! Elapsed wall clock time (in seconds):33.0 26.43/33.12 o -2303 26.43/33.20 c And the winner is solver0 26.98/33.68 c Got one! Elapsed wall clock time (in seconds):33.559 26.98/33.68 o -2307 27.08/33.80 c And the winner is solver0 27.73/34.29 c Got one! Elapsed wall clock time (in seconds):34.169 27.73/34.29 o -2310 27.98/34.40 c And the winner is solver0 28.39/34.85 c Got one! Elapsed wall clock time (in seconds):34.729 28.39/34.85 o -2311 28.39/34.87 c And the winner is solver0 28.48/35.36 c Got one! Elapsed wall clock time (in seconds):35.239 28.48/35.36 o -2316 28.55/35.49 c And the winner is solver0 29.16/35.92 c Got one! Elapsed wall clock time (in seconds):35.798 29.16/35.92 o -2467 33.97/38.33 c cleaning 5411 clauses out of 10821 with flag 6003/10821 34.40/38.52 c And the winner is solver0 34.54/38.93 c Got one! Elapsed wall clock time (in seconds):38.808 34.54/38.93 o -2479 37.86/40.65 c And the winner is solver0 38.22/40.99 c Got one! Elapsed wall clock time (in seconds):40.868 38.22/40.99 o -2504 40.19/41.92 c And the winner is solver0 40.36/42.10 c Got one! Elapsed wall clock time (in seconds):41.978 40.36/42.10 o -2513 40.55/42.23 c And the winner is solver0 41.00/42.66 c Got one! Elapsed wall clock time (in seconds):42.538 41.00/42.66 o -2522 41.11/42.78 c And the winner is solver0 41.70/43.22 c Got one! Elapsed wall clock time (in seconds):43.098 41.70/43.22 o -2525 41.70/43.24 c And the winner is solver0 41.75/43.73 c Got one! Elapsed wall clock time (in seconds):43.608 41.75/43.73 o -2528 41.75/43.75 c And the winner is solver0 41.78/44.24 c Got one! Elapsed wall clock time (in seconds):44.118 41.78/44.24 o -2532 41.78/44.26 c And the winner is solver0 41.83/44.75 c Got one! Elapsed wall clock time (in seconds):44.628 41.83/44.75 o -2536 41.91/44.82 c And the winner is solver0 42.45/45.31 c Got one! Elapsed wall clock time (in seconds):45.188 42.45/45.31 o -2541 42.61/45.45 c And the winner is solver0 43.26/45.94 c Got one! Elapsed wall clock time (in seconds):45.818 43.26/45.94 o -2545 43.37/46.05 c And the winner is solver0 43.92/46.50 c Got one! Elapsed wall clock time (in seconds):46.378 43.92/46.50 o -2546 44.51/46.88 c And the winner is solver0 44.80/47.06 c Got one! Elapsed wall clock time (in seconds):46.938 44.80/47.06 o -2554 44.92/47.10 c And the winner is solver0 44.95/47.57 c Got one! Elapsed wall clock time (in seconds):47.448 44.95/47.57 o -2634 48.00/49.17 c cleaning 5852 clauses out of 11703 with flag 4003/17114 55.71/53.00 c And the winner is solver0 56.40/53.53 c Got one! Elapsed wall clock time (in seconds):53.41 56.40/53.53 o -2650 58.12/54.42 c cleaning 5865 clauses out of 11732 with flag 2004/22995 59.74/55.27 c And the winner is solver0 60.42/55.84 c Got one! Elapsed wall clock time (in seconds):55.722 60.42/55.84 o -2652 62.14/56.75 c And the winner is solver0 62.40/56.96 c Got one! Elapsed wall clock time (in seconds):56.832 62.40/56.96 o -2678 62.73/57.20 c And the winner is solver0 63.23/57.51 c Got one! Elapsed wall clock time (in seconds):57.392 63.23/57.51 o -2683 63.39/57.64 c And the winner is solver0 63.84/58.07 c Got one! Elapsed wall clock time (in seconds):57.952 63.84/58.07 o -2693 63.84/58.10 c And the winner is solver0 63.94/58.58 c Got one! Elapsed wall clock time (in seconds):58.462 63.94/58.58 o -2698 63.96/58.60 c And the winner is solver0 63.99/59.09 c Got one! Elapsed wall clock time (in seconds):58.972 63.99/59.09 o -2702 64.39/59.36 c And the winner is solver0 64.76/59.65 c Got one! Elapsed wall clock time (in seconds):59.532 64.76/59.65 o -2706 65.07/59.82 c And the winner is solver0 65.49/60.21 c Got one! Elapsed wall clock time (in seconds):60.092 65.49/60.21 o -2711 65.95/60.43 c And the winner is solver0 66.39/60.83 c Got one! Elapsed wall clock time (in seconds):60.707 66.39/60.83 o -2755 69.92/62.63 c And the winner is solver0 70.46/63.14 c Got one! Elapsed wall clock time (in seconds):63.018 70.46/63.14 o -2760 70.78/63.39 c And the winner is solver0 71.25/63.70 c Got one! Elapsed wall clock time (in seconds):63.578 71.25/63.70 o -2761 71.45/63.84 c And the winner is solver0 71.88/64.26 c Got one! Elapsed wall clock time (in seconds):64.138 71.88/64.26 o -2762 71.88/64.28 c And the winner is solver0 71.94/64.77 c Got one! Elapsed wall clock time (in seconds):64.648 71.94/64.77 o -2769 71.94/64.79 c And the winner is solver0 71.99/65.28 c Got one! Elapsed wall clock time (in seconds):65.158 71.99/65.28 o -2773 72.02/65.32 c And the winner is solver0 72.55/65.84 c Got one! Elapsed wall clock time (in seconds):65.718 72.55/65.84 o -2774 72.88/66.02 c And the winner is solver0 73.27/66.40 c Got one! Elapsed wall clock time (in seconds):66.278 73.27/66.40 o -2775 73.66/66.62 c And the winner is solver0 73.98/66.96 c Got one! Elapsed wall clock time (in seconds):66.839 73.98/66.96 o -2783 74.49/67.23 c And the winner is solver0 74.82/67.52 c Got one! Elapsed wall clock time (in seconds):67.399 74.82/67.52 o -2788 74.96/67.67 c And the winner is solver0 75.45/68.08 c Got one! Elapsed wall clock time (in seconds):67.958 75.45/68.08 o -2790 76.23/68.47 c And the winner is solver0 76.52/68.69 c Got one! Elapsed wall clock time (in seconds):68.569 76.52/68.69 o -2791 76.60/68.73 c And the winner is solver0 77.14/69.25 c Got one! Elapsed wall clock time (in seconds):69.129 77.14/69.25 o -2794 77.14/69.28 c And the winner is solver0 77.23/69.76 c Got one! Elapsed wall clock time (in seconds):69.639 77.23/69.76 o -2799 77.90/70.10 c And the winner is solver0 78.10/70.32 c Got one! Elapsed wall clock time (in seconds):70.199 78.10/70.32 o -2841 82.66/72.69 c cleaning 7970 clauses out of 15943 with flag 6003/33071 92.42/77.53 c cleaning 6987 clauses out of 13973 with flag 18003/39071 100.30/81.44 c And the winner is solver0 100.73/81.87 c Got one! Elapsed wall clock time (in seconds):81.754 100.73/81.87 o -2872 107.21/85.19 c And the winner is solver0 107.51/85.39 c Got one! Elapsed wall clock time (in seconds):85.265 107.51/85.39 o -2899 109.35/86.32 c cleaning 8504 clauses out of 17007 with flag 2003/49092 111.02/87.19 c And the winner is solver0 111.68/87.70 c Got one! Elapsed wall clock time (in seconds):87.577 111.68/87.70 o -2914 112.48/88.17 c And the winner is solver0 112.73/88.31 c Got one! Elapsed wall clock time (in seconds):88.188 112.73/88.31 o -2917 112.90/88.44 c And the winner is solver0 113.43/88.92 c Got one! Elapsed wall clock time (in seconds):88.799 113.43/88.92 o -2919 113.58/89.06 c And the winner is solver0 114.14/89.53 c Got one! Elapsed wall clock time (in seconds):89.41 114.14/89.53 o -2925 114.14/89.55 c And the winner is solver0 114.19/90.04 c Got one! Elapsed wall clock time (in seconds):89.92 114.19/90.04 o -2927 114.19/90.06 c And the winner is solver0 114.22/90.55 c Got one! Elapsed wall clock time (in seconds):90.431 114.22/90.55 o -2934 114.22/90.57 c And the winner is solver0 114.25/91.06 c Got one! Elapsed wall clock time (in seconds):90.942 114.25/91.06 o -2939 114.31/91.12 c And the winner is solver0 114.38/91.57 c Got one! Elapsed wall clock time (in seconds):91.452 114.38/91.57 o -2940 114.82/91.80 c And the winner is solver0 115.14/92.18 c Got one! Elapsed wall clock time (in seconds):92.064 115.14/92.18 o -2945 116.24/92.71 c And the winner is solver0 116.36/93.19 c Got one! Elapsed wall clock time (in seconds):93.074 116.36/93.19 o -2951 116.36/93.26 c And the winner is solver0 116.50/93.71 c Got one! Elapsed wall clock time (in seconds):93.585 116.50/93.71 o -2956 117.26/94.10 c And the winner is solver0 117.47/94.32 c Got one! Elapsed wall clock time (in seconds):94.196 117.47/94.32 o -2977 124.29/97.71 c And the winner is solver0 124.41/97.88 c Got one! Elapsed wall clock time (in seconds):97.757 124.41/97.88 o -2996 125.30/98.39 c And the winner is solver0 125.60/98.89 c Got one! Elapsed wall clock time (in seconds):98.768 125.60/98.89 o -3010 126.02/99.16 c And the winner is solver0 126.47/99.50 c Got one! Elapsed wall clock time (in seconds):99.379 126.47/99.50 o -3011 126.47/99.55 c And the winner is solver0 126.58/100.01 c Got one! Elapsed wall clock time (in seconds):99.889 126.58/100.01 o -3012 126.96/100.21 c And the winner is solver0 127.37/100.62 c Got one! Elapsed wall clock time (in seconds):100.5 127.37/100.62 o -3014 128.32/101.11 c And the winner is solver0 128.44/101.23 c Got one! Elapsed wall clock time (in seconds):101.111 128.44/101.23 o -3021 128.44/101.28 c And the winner is solver0 128.57/101.74 c Got one! Elapsed wall clock time (in seconds):101.622 128.57/101.74 o -3028 129.53/102.29 c And the winner is solver0 129.82/102.75 c Got one! Elapsed wall clock time (in seconds):102.632 129.82/102.75 o -3033 131.90/103.83 c And the winner is solver0 132.05/104.26 c Got one! Elapsed wall clock time (in seconds):104.143 132.05/104.26 o -3038 132.10/104.32 c And the winner is solver0 132.20/104.77 c Got one! Elapsed wall clock time (in seconds):104.654 132.20/104.77 o -3044 133.43/105.40 c And the winner is solver0 133.94/105.99 c Got one! Elapsed wall clock time (in seconds):105.865 133.94/105.99 o -3127 135.61/106.90 c cleaning 10205 clauses out of 20412 with flag 2003/61001 145.48/111.88 c cleaning 8103 clauses out of 16207 with flag 14003/67001 156.70/117.47 c cleaning 7549 clauses out of 15103 with flag 28001/74000 169.80/123.92 c cleaning 7776 clauses out of 15554 with flag 44001/82000 173.02/125.51 c And the winner is solver0 173.41/126.00 c Got one! Elapsed wall clock time (in seconds):125.879 173.41/126.00 o -3194 179.84/129.21 c cleaning 6871 clauses out of 13749 with flag 8004/87971 187.72/133.12 c And the winner is solver0 188.23/133.61 c Got one! Elapsed wall clock time (in seconds):133.492 188.23/133.61 o -3198 189.80/134.44 c cleaning 6374 clauses out of 12753 with flag 2092/93846 198.80/138.96 c And the winner is solver0 199.46/139.39 c Got one! Elapsed wall clock time (in seconds):139.272 199.46/139.39 o -3203 208.11/143.72 c cleaning 8509 clauses out of 17022 with flag 10005/104489 212.71/146.06 c And the winner is solver0 212.91/146.41 c Got one! Elapsed wall clock time (in seconds):146.285 212.91/146.41 o -3212 213.28/146.69 c And the winner is solver0 213.96/147.15 c Got one! Elapsed wall clock time (in seconds):147.025 213.96/147.15 o -3216 214.26/147.38 c And the winner is solver0 214.85/147.86 c Got one! Elapsed wall clock time (in seconds):147.737 214.85/147.86 o -3237 215.74/148.35 c And the winner is solver0 216.01/148.57 c Got one! Elapsed wall clock time (in seconds):148.449 216.01/148.57 o -3249 216.87/149.09 c And the winner is solver0 217.23/149.58 c Got one! Elapsed wall clock time (in seconds):149.461 217.23/149.58 o -3255 218.85/150.49 c And the winner is solver0 219.45/150.94 c Got one! Elapsed wall clock time (in seconds):150.823 219.45/150.94 o -3264 221.59/152.05 c And the winner is solver0 221.94/152.46 c Got one! Elapsed wall clock time (in seconds):152.335 221.94/152.46 o -3265 221.94/152.49 c And the winner is solver0 222.03/152.97 c Got one! Elapsed wall clock time (in seconds):152.847 222.03/152.97 o -3271 224.87/154.41 c And the winner is solver0 225.30/154.83 c Got one! Elapsed wall clock time (in seconds):154.709 225.30/154.83 o -3273 227.04/155.74 c cleaning 8857 clauses out of 17713 with flag 2111/113689 228.44/156.42 c And the winner is solver0 228.66/156.84 c Got one! Elapsed wall clock time (in seconds):156.721 228.66/156.84 o -3287 228.66/156.89 c And the winner is solver0 228.77/157.35 c Got one! Elapsed wall clock time (in seconds):157.233 228.77/157.35 o -3288 230.05/158.07 c And the winner is solver0 230.63/158.57 c Got one! Elapsed wall clock time (in seconds):158.445 230.63/158.57 o -3302 238.59/162.57 c cleaning 7745 clauses out of 15496 with flag 10001/120329 248.01/167.25 c cleaning 6873 clauses out of 13752 with flag 22003/126330 259.30/172.85 c cleaning 6940 clauses out of 13879 with flag 36003/133330 272.67/179.66 c cleaning 7462 clauses out of 14938 with flag 52001/141329 287.27/186.91 c cleaning 8236 clauses out of 16477 with flag 70003/150330 303.52/195.03 c cleaning 9121 clauses out of 18241 with flag 90003/160330 310.52/198.56 c And the winner is solver0 310.89/198.88 c Got one! Elapsed wall clock time (in seconds):198.763 310.89/198.88 o -3446 312.91/199.81 c cleaning 7182 clauses out of 14373 with flag 2004/165583 322.31/204.56 c cleaning 6592 clauses out of 13191 with flag 14004/171583 333.73/210.29 c cleaning 6799 clauses out of 13598 with flag 28002/178582 347.21/216.98 c cleaning 7395 clauses out of 14800 with flag 44004/186583 359.60/223.17 c And the winner is solver0 360.28/223.75 c Got one! Elapsed wall clock time (in seconds):223.628 360.28/223.75 o -3449 369.14/228.12 c cleaning 9929 clauses out of 19857 with flag 10003/199035 378.94/233.07 c cleaning 7961 clauses out of 15928 with flag 22003/205035 386.33/236.70 c And the winner is solver0 386.82/237.01 c Got one! Elapsed wall clock time (in seconds):236.888 386.82/237.01 o -3472 388.59/237.95 c cleaning 6729 clauses out of 13460 with flag 2004/210528 388.79/238.04 c And the winner is solver0 389.26/238.52 c Got one! Elapsed wall clock time (in seconds):238.401 389.26/238.52 o -3477 390.39/239.14 c And the winner is solver0 390.64/239.53 c Got one! Elapsed wall clock time (in seconds):239.414 390.64/239.53 o -3479 390.64/239.57 c And the winner is solver0 390.71/240.05 c Got one! Elapsed wall clock time (in seconds):239.927 390.71/240.05 o -3480 391.00/240.28 c And the winner is solver0 391.69/240.81 c Got one! Elapsed wall clock time (in seconds):240.691 391.69/240.81 o -3482 393.46/241.74 c And the winner is solver0 394.01/242.23 c Got one! Elapsed wall clock time (in seconds):242.105 394.01/242.23 o -3490 394.01/242.28 c And the winner is solver0 394.16/242.74 c Got one! Elapsed wall clock time (in seconds):242.618 394.16/242.74 o -3493 394.16/242.77 c And the winner is solver0 394.24/243.25 c Got one! Elapsed wall clock time (in seconds):243.131 394.24/243.25 o -3498 396.22/244.21 c And the winner is solver0 396.72/244.71 c Got one! Elapsed wall clock time (in seconds):244.594 396.72/244.71 o -3507 401.07/246.95 c And the winner is solver0 401.43/247.28 c Got one! Elapsed wall clock time (in seconds):247.158 401.43/247.28 o -3511 401.52/247.34 c And the winner is solver0 401.65/247.79 c Got one! Elapsed wall clock time (in seconds):247.671 401.65/247.79 o -3514 401.66/247.82 c And the winner is solver0 401.72/248.30 c Got one! Elapsed wall clock time (in seconds):248.184 401.72/248.30 o -3515 403.49/249.26 c cleaning 6764 clauses out of 13529 with flag 2143/217326 404.51/249.78 c And the winner is solver0 404.98/250.17 c Got one! Elapsed wall clock time (in seconds):250.048 404.98/250.17 o -3517 413.12/254.27 c And the winner is solver0 413.78/254.83 c Got one! Elapsed wall clock time (in seconds):254.712 413.78/254.83 o -3522 414.10/255.00 c And the winner is solver0 414.20/255.35 c Got one! Elapsed wall clock time (in seconds):255.225 414.20/255.35 o -3531 414.29/255.43 c And the winner is solver0 414.42/255.86 c Got one! Elapsed wall clock time (in seconds):255.738 414.42/255.86 o -3532 416.08/256.78 c cleaning 6675 clauses out of 13350 with flag 2085/223911 418.49/257.92 c And the winner is solver0 418.91/258.37 c Got one! Elapsed wall clock time (in seconds):258.251 418.91/258.37 o -3573 425.02/261.48 c cleaning 6043 clauses out of 12095 with flag 8005/229331 434.42/266.10 c cleaning 6021 clauses out of 12051 with flag 20003/235330 445.49/271.65 c cleaning 6510 clauses out of 13029 with flag 34001/242329 458.64/278.49 c cleaning 7259 clauses out of 14520 with flag 50003/250330 472.87/285.56 c cleaning 8128 clauses out of 16260 with flag 68001/259329 489.16/293.61 c cleaning 9065 clauses out of 18132 with flag 88001/269329 507.07/302.54 c cleaning 10030 clauses out of 20067 with flag 110001/280329 526.64/312.21 c cleaning 11018 clauses out of 22038 with flag 134003/292330 547.97/322.85 c cleaning 12009 clauses out of 24020 with flag 160003/305330 571.66/334.64 c cleaning 13002 clauses out of 26010 with flag 188001/319329 574.66/336.18 c And the winner is solver0 575.94/337.08 c Got one! Elapsed wall clock time (in seconds):336.959 575.94/337.08 o -3632 582.64/340.41 c cleaning 9433 clauses out of 18881 with flag 8002/325202 592.50/345.35 c cleaning 7721 clauses out of 15448 with flag 20002/331202 603.91/351.05 c cleaning 7359 clauses out of 14727 with flag 34002/338202 617.00/357.55 c cleaning 7681 clauses out of 15368 with flag 50002/346202 623.80/360.91 c And the winner is solver0 624.31/361.50 c Got one! Elapsed wall clock time (in seconds):361.376 624.31/361.50 o -3684 627.58/363.16 c cleaning 6817 clauses out of 13642 with flag 4003/352157 637.42/368.06 c cleaning 6410 clauses out of 12826 with flag 16005/358158 648.63/373.66 c cleaning 6703 clauses out of 13416 with flag 30005/365158 655.83/377.26 c And the winner is solver0 656.54/377.79 c Got one! Elapsed wall clock time (in seconds):377.664 656.54/377.79 o -3688 658.43/378.72 c cleaning 6080 clauses out of 12166 with flag 2037/370611 668.23/383.66 c cleaning 6040 clauses out of 12086 with flag 14292/376611 671.64/385.33 c And the winner is solver0 671.94/385.80 c Got one! Elapsed wall clock time (in seconds):385.679 671.94/385.80 o -3689 672.12/385.91 c And the winner is solver0 672.23/386.31 c Got one! Elapsed wall clock time (in seconds):386.193 672.23/386.31 o -3690 675.04/387.79 c And the winner is solver0 675.34/387.98 c Got one! Elapsed wall clock time (in seconds):387.858 675.34/387.98 o -3695 678.63/389.68 c cleaning 5877 clauses out of 11764 with flag 4003/382329 688.54/394.54 c cleaning 5939 clauses out of 11888 with flag 16005/388330 700.14/400.30 c cleaning 6474 clauses out of 12948 with flag 30003/395329 713.14/406.84 c cleaning 7235 clauses out of 14474 with flag 46003/403329 723.40/411.94 c And the winner is solver0 724.05/412.55 c Got one! Elapsed wall clock time (in seconds):412.429 724.05/412.55 o -3736 732.77/416.95 c cleaning 9225 clauses out of 18453 with flag 10006/414543 734.55/417.85 c And the winner is solver0 735.31/418.57 c Got one! Elapsed wall clock time (in seconds):418.444 735.31/418.57 o -3737 737.93/419.80 c And the winner is solver0 738.46/420.38 c Got one! Elapsed wall clock time (in seconds):420.258 738.46/420.38 o -3739 738.93/420.69 c And the winner is solver0 739.24/420.89 c Got one! Elapsed wall clock time (in seconds):420.772 739.24/420.89 o -3740 740.34/421.49 c And the winner is solver0 741.01/422.01 c Got one! Elapsed wall clock time (in seconds):421.886 741.01/422.01 o -3742 743.37/423.25 c And the winner is solver0 744.00/423.78 c Got one! Elapsed wall clock time (in seconds):423.656 744.00/423.78 o -3745 747.58/425.56 c cleaning 7868 clauses out of 15735 with flag 4067/421050 750.19/426.82 c And the winner is solver0 750.80/427.49 c Got one! Elapsed wall clock time (in seconds):427.37 750.80/427.49 o -3755 751.05/427.67 c And the winner is solver0 751.31/428.01 c Got one! Elapsed wall clock time (in seconds):427.885 751.31/428.01 o -3756 751.68/428.27 c And the winner is solver0 752.05/428.52 c Got one! Elapsed wall clock time (in seconds):428.398 752.05/428.52 o -3757 757.54/431.21 c And the winner is solver0 757.76/431.53 c Got one! Elapsed wall clock time (in seconds):431.412 757.76/431.53 o -3760 759.49/432.48 c cleaning 6964 clauses out of 13931 with flag 2026/427114 769.48/437.41 c cleaning 6484 clauses out of 12968 with flag 14141/433115 770.88/438.20 c And the winner is solver0 771.37/438.55 c Got one! Elapsed wall clock time (in seconds):438.427 771.37/438.55 o -3766 771.87/438.82 c And the winner is solver0 772.19/439.11 c Got one! Elapsed wall clock time (in seconds):438.991 772.19/439.11 o -3773 772.56/439.31 c And the winner is solver0 772.73/439.62 c Got one! Elapsed wall clock time (in seconds):439.504 772.73/439.62 o -3774 772.73/439.66 c And the winner is solver0 772.95/440.14 c Got one! Elapsed wall clock time (in seconds):440.018 772.95/440.14 o -3777 781.26/444.36 c cleaning 6481 clauses out of 12962 with flag 10243/439593 782.86/445.19 c And the winner is solver0 783.46/445.65 c Got one! Elapsed wall clock time (in seconds):445.532 783.46/445.65 o -3864 789.37/448.69 c cleaning 5747 clauses out of 11507 with flag 8001/444619 798.86/453.37 c cleaning 5880 clauses out of 11760 with flag 20001/450619 809.66/458.71 c cleaning 6437 clauses out of 12880 with flag 34001/457619 822.04/464.97 c cleaning 7221 clauses out of 14444 with flag 50003/465620 836.74/472.22 c cleaning 8107 clauses out of 16222 with flag 68001/474619 852.94/480.32 c cleaning 9057 clauses out of 18115 with flag 88001/484619 871.32/489.42 c cleaning 10028 clauses out of 20058 with flag 110001/495619 891.34/499.43 c cleaning 11012 clauses out of 22030 with flag 134001/507619 913.77/510.53 c cleaning 12008 clauses out of 24019 with flag 160003/520620 937.15/522.27 c cleaning 13004 clauses out of 26010 with flag 188001/534619 963.98/536.05 c cleaning 14003 clauses out of 28006 with flag 218001/549619 988.94/548.42 c And the winner is solver1 989.03/548.79 c Got one! Elapsed wall clock time (in seconds):548.668 989.03/548.79 o -4598 989.07/548.86 c And the winner is solver0 989.27/549.31 c Got one! Elapsed wall clock time (in seconds):549.183 989.27/549.31 o -5072 989.27/549.37 c And the winner is solver0 989.47/549.82 c Got one! Elapsed wall clock time (in seconds):549.697 989.47/549.82 o -5247 989.47/549.90 c And the winner is solver0 989.66/550.33 c Got one! Elapsed wall clock time (in seconds):550.211 989.66/550.33 o -5279 989.78/550.40 c And the winner is solver0 989.85/550.85 c Got one! Elapsed wall clock time (in seconds):550.726 989.85/550.85 o -5544 989.94/550.97 c And the winner is solver0 990.18/551.36 c Got one! Elapsed wall clock time (in seconds):551.24 990.18/551.36 o -6931 990.44/551.55 c And the winner is solver0 990.70/551.88 c Got one! Elapsed wall clock time (in seconds):551.754 990.70/551.88 o -6934 990.93/552.00 c And the winner is solver0 991.04/552.39 c Got one! Elapsed wall clock time (in seconds):552.268 991.04/552.39 o -7397 991.24/552.59 c And the winner is solver0 991.57/552.90 c Got one! Elapsed wall clock time (in seconds):552.782 991.57/552.90 o -8135 991.95/553.14 c And the winner is solver0 992.19/553.42 c Got one! Elapsed wall clock time (in seconds):553.296 992.19/553.42 o -8390 992.57/553.70 c And the winner is solver0 993.04/553.93 c Got one! Elapsed wall clock time (in seconds):553.811 993.04/553.93 o -9053 993.36/554.17 c And the winner is solver0 993.70/554.45 c Got one! Elapsed wall clock time (in seconds):554.325 993.70/554.45 o -9081 994.18/554.70 c And the winner is solver0 994.37/554.96 c Got one! Elapsed wall clock time (in seconds):554.839 994.37/554.96 o -9706 995.03/555.36 c And the winner is solver0 995.41/555.67 c Got one! Elapsed wall clock time (in seconds):555.553 995.41/555.67 o -9859 1005.72/560.86 c cleaning 17603 clauses out of 35205 with flag 14521/570821 1019.40/567.40 c cleaning 11797 clauses out of 23598 with flag 36083/576817 1036.41/575.77 c cleaning 9396 clauses out of 18802 with flag 67033/583818 1058.34/587.04 c cleaning 8694 clauses out of 17405 with flag 105200/591817 1080.12/597.92 c cleaning 8850 clauses out of 17711 with flag 140850/600817 1104.08/609.86 c cleaning 9423 clauses out of 18860 with flag 185137/610816 1131.68/623.61 c cleaning 10215 clauses out of 20438 with flag 249744/621817 1155.22/635.20 c And the winner is solver0 1155.63/635.64 c Got one! Elapsed wall clock time (in seconds):635.517 1155.63/635.64 o -9972 1164.16/639.92 c cleaning 12530 clauses out of 25059 with flag 13732/636653 1174.36/645.00 c cleaning 9263 clauses out of 18529 with flag 30061/642653 1186.48/650.98 c cleaning 8131 clauses out of 16266 with flag 50145/649653 1200.08/657.74 c cleaning 8065 clauses out of 16134 with flag 70100/657652 1215.69/665.58 c cleaning 8535 clauses out of 17070 with flag 94707/666653 1233.26/674.24 c cleaning 9265 clauses out of 18535 with flag 123659/676653 1252.45/683.85 c cleaning 10135 clauses out of 20270 with flag 161263/687653 1274.30/694.69 c cleaning 11067 clauses out of 22134 with flag 200594/699652 1297.71/706.35 c cleaning 12033 clauses out of 24067 with flag 239874/712652 1325.79/721.08 c cleaning 13014 clauses out of 26035 with flag 287287/726653 1352.39/734.37 c cleaning 14008 clauses out of 28020 with flag 336806/741652 1382.44/749.36 c cleaning 15006 clauses out of 30013 with flag 381675/757653 1414.61/765.33 c cleaning 16003 clauses out of 32006 with flag 436344/774652 1449.46/782.65 c cleaning 17000 clauses out of 34003 with flag 490770/792652 1486.97/801.27 c cleaning 17999 clauses out of 36004 with flag 544007/811653 1526.66/820.91 c cleaning 19001 clauses out of 38004 with flag 604170/831652 1567.30/841.19 c cleaning 20002 clauses out of 40004 with flag 664811/852653 1609.60/862.12 c cleaning 20998 clauses out of 42002 with flag 719928/874653 1657.92/886.70 c cleaning 22002 clauses out of 44003 with flag 778692/897652 1706.76/910.91 c cleaning 22999 clauses out of 46003 with flag 842291/921654 1758.17/936.50 c cleaning 23999 clauses out of 48003 with flag 914921/946653 1800.00/957.01 c >>>>>>>>>> Solver number 0 (192 answers) <<<<<<<<<<<<<<<<<< 1800.00/957.01 c starts : 1468 1800.00/957.01 c conflicts : 967200 1800.00/957.01 c decisions : 3908186 1800.00/957.01 c propagations : 199916858 1800.00/957.01 c inspects : 2122765595 1800.00/957.01 c shortcuts : 0 1800.00/957.01 c learnt literals : 0 1800.00/957.01 c learnt binary clauses : 40 1800.00/957.01 c learnt ternary clauses : 799 1800.00/957.01 c learnt constraints : 967200 1800.00/957.01 c ignored constraints : 0 1800.00/957.01 c root simplifications : 0 1800.00/957.01 c removed literals (reason simplification) : 148119294 1800.00/957.01 c reason swapping (by a shorter reason) : 0 1800.00/957.01 c Calls to reduceDB : 96 1800.00/957.01 c Number of update (reduction) of LBD : 6733 1800.00/957.01 c Imported unit clauses : 0 1800.00/957.01 c number of reductions to clauses (during analyze) : 0 1800.00/957.01 c number of learned constraints concerned by reduction : 0 1800.00/957.01 c number of learning phase by resolution : 0 1800.00/957.01 c number of learning phase by cutting planes : 0 1800.00/957.01 c speed (assignments/second) : 489741.4265731525 1800.00/957.01 c non guided choices 0 1800.00/957.03 c learnt constraints type 1800.00/957.03 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 40 1800.00/957.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 44511 1800.00/957.03 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.00/957.03 c starts : 198 1800.00/957.03 c conflicts : 1054 1800.00/957.03 c decisions : 11063 1800.00/957.03 c propagations : 1517281 1800.00/957.03 c inspects : 107862086 1800.00/957.03 c shortcuts : 0 1800.00/957.03 c learnt literals : 0 1800.00/957.03 c learnt binary clauses : 0 1800.00/957.03 c learnt ternary clauses : 0 1800.00/957.03 c learnt constraints : 907 1800.00/957.03 c ignored constraints : 0 1800.00/957.03 c root simplifications : 0 1800.00/957.03 c removed literals (reason simplification) : 0 1800.00/957.03 c reason swapping (by a shorter reason) : 0 1800.00/957.03 c Calls to reduceDB : 0 1800.00/957.03 c Number of update (reduction) of LBD : 0 1800.00/957.03 c Imported unit clauses : 0 1800.00/957.03 c number of reductions to clauses (during analyze) : 0 1800.00/957.03 c number of learned constraints concerned by reduction : 0 1800.00/957.03 c number of learning phase by resolution : 0 1800.00/957.03 c number of learning phase by cutting planes : 0 1800.00/957.03 c speed (assignments/second) : 4721.201956586678 1800.00/957.03 c non guided choices 0 1800.00/957.03 c learnt constraints type 1800.00/957.03 c org.sat4j.pb.constraints.pb.MaxWatchPb => 907 1800.00/957.03 s SATISFIABLE 1800.00/957.03 c Found 193 solution(s) 1800.00/957.04 v -x1 -x2 x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 x4391 -x4392 -x4393 -x4394 -x4395 x4396 -x4397 -x4398 x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 x4723 -x4724 -x4725 x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 x5353 -x5354 -x5355 -x5356 x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 x6596 -x6597 -x6598 -x6599 -x6600 x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 x6622 -x6623 -x6624 -x6625 -x6626 x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 x6792 -x6793 -x6794 -x6795 x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 x6913 -x6914 x6915 -x6916 -x6917 -x6918 -x6919 x6920 -x6921 -x6922 x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 x6967 -x6968 -x6969 -x6970 -x6971 x6972 -x6973 -x6974 x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 x6998 -x6999 -x7000 x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 x7073 -x7074 -x7075 -x7076 x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 x7112 -x7113 -x7114 -x7115 x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 x7207 -x7208 -x7209 -x7210 -x7211 x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 1800.00/957.05 c objective function=-9972 1800.00/957.05 c Total wall clock time (in seconds): 956.927
OK -9972
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) 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. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118323-1467225705/watcher-4118323-1467225705 -o /tmp/evaluation-result-4118323-1467225705/solver-4118323-1467225705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118323-1467225705.opb pid=11799 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.88 3.94 3.98 4/197 11802 /proc/meminfo: memFree=26271428/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/11802/stat : 11802 (java) D 11799 11802 5962 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 3521748 9515008 183 33554432000 1073741824 1073778376 140735981417344 140735981408376 225444708021 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2323 183 140 9 0 71 0 [startup+0.100057 s] /proc/loadavg: 3.88 3.94 3.98 4/197 11802 /proc/meminfo: memFree=26271428/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/11802/stat : 11802 (java) S 11799 11802 5962 0 -1 4202496 4412 0 1 0 8 1 0 0 20 0 18 0 3521748 9787879424 6045 33554432000 1073741824 1073778376 140736210634160 140736210625296 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2389619 6045 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200255 s] /proc/loadavg: 3.88 3.94 3.98 4/197 11802 /proc/meminfo: memFree=26271428/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9558476 CPUtime=0.28 cores=1,3,5,7 /proc/11802/stat : 11802 (java) S 11799 11802 5962 0 -1 4202496 4994 0 1 0 27 1 0 0 20 0 18 0 3521748 9787879424 6991 33554432000 1073741824 1073778376 140736210634160 140736210625296 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2389619 6991 2221 9 0 2380296 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9558476 [startup+0.300267 s] /proc/loadavg: 3.88 3.94 3.98 4/197 11802 /proc/meminfo: memFree=26271428/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9558476 CPUtime=0.46 cores=1,3,5,7 /proc/11802/stat : 11802 (java) S 11799 11802 5962 0 -1 4202496 6154 0 1 0 45 1 0 0 20 0 18 0 3521748 9787879424 9685 33554432000 1073741824 1073778376 140736210634160 140736210625296 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2389619 9685 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.46 Current children cumulated vsize (KiB) 9558476 [startup+0.700181 s] /proc/loadavg: 3.88 3.94 3.98 4/197 11802 /proc/meminfo: memFree=26271428/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9824732 CPUtime=1.72 cores=1,3,5,7 /proc/11802/stat : 11802 (java) S 11799 11802 5962 0 -1 4202496 29145 0 1 0 165 7 0 0 20 0 22 0 3521748 10060525568 39521 33554432000 1073741824 1073778376 140736210634160 140736210625296 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2456183 39521 2256 9 0 2446860 0 Current children cumulated CPU time (s) 1.72 Current children cumulated vsize (KiB) 9824732 [startup+1.50075 s] /proc/loadavg: 3.88 3.94 3.98 3/216 11824 /proc/meminfo: memFree=26120564/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9824732 CPUtime=3.24 cores=1,3,5,7 /proc/11802/stat : 11802 (java) S 11799 11802 5962 0 -1 4202496 30217 0 1 0 313 11 0 0 20 0 19 0 3521748 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 140736210625296 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2456183 43004 2267 9 0 2446860 0 [pid=11802/tid=11804] ppid=11799 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/11802/task/11804/stat : 11804 (java) S 11799 11802 5962 0 -1 4202560 2465 0 1 0 59 2 0 0 20 0 19 0 3521749 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139924137644920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11805] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11805/stat : 11805 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923981597480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11806] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11806/stat : 11806 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923980544680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11807] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11807/stat : 11807 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923979492392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11808] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11808/stat : 11808 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923978439592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11809] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11809/stat : 11809 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923977386280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11810] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11810/stat : 11810 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923976333480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11811] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11811/stat : 11811 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923975281192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11812] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11812/stat : 11812 (java) S 11799 11802 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923974228392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11813] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11813/stat : 11813 (java) S 11799 11802 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3521752 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923961817832 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11814] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11814/stat : 11814 (java) S 11799 11802 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3521752 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923960763896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11815] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11815/stat : 11815 (java) S 11799 11802 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3521752 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923959711496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11816] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11816/stat : 11816 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521754 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923958659984 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11817] ppid=11799 vsize=9824732 CPUtime=0.98 cores=1,3,5,7 /proc/11802/task/11817/stat : 11817 (java) S 11799 11802 5962 0 -1 4202560 14649 0 0 0 95 3 0 0 20 0 19 0 3521754 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923957606584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11818] ppid=11799 vsize=9824732 CPUtime=0.96 cores=1,3,5,7 /proc/11802/task/11818/stat : 11818 (java) S 11799 11802 5962 0 -1 4202560 11754 0 0 0 93 3 0 0 20 0 19 0 3521754 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923956553784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11819] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11819/stat : 11819 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521754 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923955501688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11820] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11820/stat : 11820 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521754 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923954449096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11824] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11824/stat : 11824 (java) S 11799 11802 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3521813 10060525568 43004 33554432000 1073741824 1073778376 140736210634160 139923950188072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 3.24 Current children cumulated vsize (KiB) 9824732 [startup+3.10076 s] /proc/loadavg: 3.88 3.94 3.98 7/219 11833 /proc/meminfo: memFree=26089332/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9824732 CPUtime=4.03 cores=1,3,5,7 /proc/11802/stat : 11802 (java) S 11799 11802 5962 0 -1 4202496 30266 0 1 0 386 17 0 0 20 0 19 0 3521748 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 140736210625296 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2456183 51720 2276 9 0 2446860 0 [pid=11802/tid=11804] ppid=11799 vsize=9824732 CPUtime=0.66 cores=1,3,5,7 /proc/11802/task/11804/stat : 11804 (java) S 11799 11802 5962 0 -1 4202560 2473 0 1 0 64 2 0 0 20 0 19 0 3521749 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139924137644920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11805] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11805/stat : 11805 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923981597480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11806] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11806/stat : 11806 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923980544680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11807] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11807/stat : 11807 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923979492392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11808] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11808/stat : 11808 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923978439592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11809] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11809/stat : 11809 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923977386280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11810] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11810/stat : 11810 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923976333480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11811] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11811/stat : 11811 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923975281192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11812] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11812/stat : 11812 (java) S 11799 11802 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923974228392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11813] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11813/stat : 11813 (java) S 11799 11802 5962 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3521752 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923961817832 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11814] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11814/stat : 11814 (java) S 11799 11802 5962 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3521752 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923960763896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11815] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11815/stat : 11815 (java) S 11799 11802 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3521752 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923959711496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11816] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11816/stat : 11816 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521754 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923958659984 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11817] ppid=11799 vsize=9824732 CPUtime=1.21 cores=1,3,5,7 /proc/11802/task/11817/stat : 11817 (java) S 11799 11802 5962 0 -1 4202560 14655 0 0 0 118 3 0 0 20 0 19 0 3521754 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923957606584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11818] ppid=11799 vsize=9824732 CPUtime=1.2 cores=1,3,5,7 /proc/11802/task/11818/stat : 11818 (java) S 11799 11802 5962 0 -1 4202560 11758 0 0 0 117 3 0 0 20 0 19 0 3521754 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923956553784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11819] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11819/stat : 11819 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521754 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923955501688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11820] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11820/stat : 11820 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521754 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923954449096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11824] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11824/stat : 11824 (java) S 11799 11802 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3521813 10060525568 51720 33554432000 1073741824 1073778376 140736210634160 139923950188072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.03 Current children cumulated vsize (KiB) 9824732 [startup+6.30077 s] /proc/loadavg: 3.73 3.91 3.97 3/216 11851 /proc/meminfo: memFree=26046300/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9824732 CPUtime=4.49 cores=1,3,5,7 /proc/11802/stat : 11802 (java) S 11799 11802 5962 0 -1 4202496 30384 0 1 0 420 29 0 0 20 0 19 0 3521748 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 140736210625296 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2456183 58189 2289 9 0 2446860 0 [pid=11802/tid=11804] ppid=11799 vsize=9824732 CPUtime=0.73 cores=1,3,5,7 /proc/11802/task/11804/stat : 11804 (java) S 11799 11802 5962 0 -1 4202560 2477 0 1 0 70 3 0 0 20 0 19 0 3521749 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139924137644920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11805] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11805/stat : 11805 (java) S 11799 11802 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923981597480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11806] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11806/stat : 11806 (java) S 11799 11802 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923980544680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11807] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11807/stat : 11807 (java) S 11799 11802 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923979492392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11808] ppid=11799 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/11802/task/11808/stat : 11808 (java) S 11799 11802 5962 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 3521750 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923978439592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11809] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11809/stat : 11809 (java) S 11799 11802 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923977386280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11810] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11810/stat : 11810 (java) S 11799 11802 5962 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923976333480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11811] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11811/stat : 11811 (java) S 11799 11802 5962 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923975281192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11812] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11812/stat : 11812 (java) S 11799 11802 5962 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3521750 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923974228392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11813] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11813/stat : 11813 (java) S 11799 11802 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3521752 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923961817832 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11814] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11814/stat : 11814 (java) S 11799 11802 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3521752 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923960763896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11815] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11815/stat : 11815 (java) S 11799 11802 5962 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3521752 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923959711496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11816] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11816/stat : 11816 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521754 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923958659984 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11817] ppid=11799 vsize=9824732 CPUtime=1.27 cores=1,3,5,7 /proc/11802/task/11817/stat : 11817 (java) S 11799 11802 5962 0 -1 4202560 14655 0 0 0 124 3 0 0 20 0 19 0 3521754 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923957606584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11818] ppid=11799 vsize=9824732 CPUtime=1.21 cores=1,3,5,7 /proc/11802/task/11818/stat : 11818 (java) S 11799 11802 5962 0 -1 4202560 11758 0 0 0 118 3 0 0 20 0 19 0 3521754 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923956553784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11819] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11819/stat : 11819 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521754 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923955501688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11820] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11820/stat : 11820 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3521754 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923954449096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11824] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11824/stat : 11824 (java) S 11799 11802 5962 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3521813 10060525568 58189 33554432000 1073741824 1073778376 140736210634160 139923950188072 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 4.49 Current children cumulated vsize (KiB) 9824732 heavy processes: ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.23 4.15 4.00 4/219 12747 /proc/meminfo: memFree=20739516/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9824732 CPUtime=1649.7 cores=1,3,5,7 /proc/11802/stat : 11802 (java) S 11799 11802 5962 0 -1 4202496 50083 0 1 0 164146 824 0 0 20 0 22 0 3521748 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 140736210625296 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2456183 1017639 2303 9 0 2446860 0 [pid=11802/tid=11804] ppid=11799 vsize=9824732 CPUtime=2.72 cores=1,3,5,7 /proc/11802/task/11804/stat : 11804 (java) S 11799 11802 5962 0 -1 4202560 2502 0 1 0 266 6 0 0 20 0 22 0 3521749 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139924137644632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11805] ppid=11799 vsize=9824732 CPUtime=2.81 cores=1,3,5,7 /proc/11802/task/11805/stat : 11805 (java) S 11799 11802 5962 0 -1 4202560 1852 0 0 0 223 58 0 0 20 0 22 0 3521750 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923981597480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11806] ppid=11799 vsize=9824732 CPUtime=2.61 cores=1,3,5,7 /proc/11802/task/11806/stat : 11806 (java) S 11799 11802 5962 0 -1 4202560 1511 0 0 0 219 42 0 0 20 0 22 0 3521750 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923980544680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11807] ppid=11799 vsize=9824732 CPUtime=2.97 cores=1,3,5,7 /proc/11802/task/11807/stat : 11807 (java) S 11799 11802 5962 0 -1 4202560 1247 0 0 0 245 52 0 0 20 0 22 0 3521750 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923979492392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11808] ppid=11799 vsize=9824732 CPUtime=2.44 cores=1,3,5,7 /proc/11802/task/11808/stat : 11808 (java) S 11799 11802 5962 0 -1 4202560 1754 0 0 0 198 46 0 0 20 0 22 0 3521750 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923978439592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11809] ppid=11799 vsize=9824732 CPUtime=2.86 cores=1,3,5,7 /proc/11802/task/11809/stat : 11809 (java) S 11799 11802 5962 0 -1 4202560 1651 0 0 0 232 54 0 0 20 0 22 0 3521750 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923977386280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11810] ppid=11799 vsize=9824732 CPUtime=2.76 cores=1,3,5,7 /proc/11802/task/11810/stat : 11810 (java) S 11799 11802 5962 0 -1 4202560 1837 0 0 0 224 52 0 0 20 0 22 0 3521750 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923976333480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11811] ppid=11799 vsize=9824732 CPUtime=2.86 cores=1,3,5,7 /proc/11802/task/11811/stat : 11811 (java) S 11799 11802 5962 0 -1 4202560 2838 0 0 0 229 57 0 0 20 0 22 0 3521750 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923975281192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11812] ppid=11799 vsize=9824732 CPUtime=2.83 cores=1,3,5,7 /proc/11802/task/11812/stat : 11812 (java) S 11799 11802 5962 0 -1 4202560 2679 0 0 0 235 48 0 0 20 0 22 0 3521750 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923974228392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11813] ppid=11799 vsize=9824732 CPUtime=6.73 cores=1,3,5,7 /proc/11802/task/11813/stat : 11813 (java) R 11799 11802 5962 0 -1 4202560 2705 0 0 0 661 12 0 0 20 0 22 0 3521752 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923961816592 139924141805937 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11814] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11814/stat : 11814 (java) S 11799 11802 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3521752 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923960763896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11815] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11815/stat : 11815 (java) S 11799 11802 5962 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 22 0 3521752 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923959711496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11816] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11816/stat : 11816 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3521754 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923958659984 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11817] ppid=11799 vsize=9824732 CPUtime=1.8 cores=1,3,5,7 /proc/11802/task/11817/stat : 11817 (java) S 11799 11802 5962 0 -1 4202560 14679 0 0 0 177 3 0 0 20 0 22 0 3521754 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923957606584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11818] ppid=11799 vsize=9824732 CPUtime=2.5 cores=1,3,5,7 /proc/11802/task/11818/stat : 11818 (java) S 11799 11802 5962 0 -1 4202560 11848 0 0 0 247 3 0 0 20 0 22 0 3521754 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923956553784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11819] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11819/stat : 11819 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3521754 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923955501688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11820] ppid=11799 vsize=9824732 CPUtime=0.22 cores=1,3,5,7 /proc/11802/task/11820/stat : 11820 (java) S 11799 11802 5962 0 -1 4202560 51 0 0 0 8 14 0 0 20 0 22 0 3521754 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923954449096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=12685] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/12685/stat : 12685 (java) S 11799 11802 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3576629 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923953345448 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=12727] ppid=11799 vsize=9824732 CPUtime=241.64 cores=1,3,5,7 /proc/11802/task/12727/stat : 12727 (java) S 11799 11802 5962 0 -1 4202560 9 0 0 0 24161 3 0 0 20 0 22 0 3585314 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923952291224 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=12728] ppid=11799 vsize=9824732 CPUtime=241.68 cores=1,3,5,7 /proc/11802/task/12728/stat : 12728 (java) S 11799 11802 5962 0 -1 4202560 10 0 0 0 24165 3 0 0 20 0 22 0 3585314 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923950184472 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=12729] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/12729/stat : 12729 (java) S 11799 11802 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3585314 10060525568 1017639 33554432000 1073741824 1073778376 140736210634160 139923951240360 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1649.7 Current children cumulated vsize (KiB) 9824732 [startup+942.301 s] /proc/loadavg: 4.27 4.18 4.02 5/219 12748 /proc/meminfo: memFree=20653284/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9824732 CPUtime=1770.23 cores=1,3,5,7 /proc/11802/stat : 11802 (java) S 11799 11802 5962 0 -1 4202496 50850 0 1 0 176191 832 0 0 20 0 22 0 3521748 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 140736210625296 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2456183 1001621 2303 9 0 2446860 0 [pid=11802/tid=11804] ppid=11799 vsize=9824732 CPUtime=2.72 cores=1,3,5,7 /proc/11802/task/11804/stat : 11804 (java) S 11799 11802 5962 0 -1 4202560 2504 0 1 0 266 6 0 0 20 0 22 0 3521749 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139924137644920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11805] ppid=11799 vsize=9824732 CPUtime=3.06 cores=1,3,5,7 /proc/11802/task/11805/stat : 11805 (java) S 11799 11802 5962 0 -1 4202560 1881 0 0 0 247 59 0 0 20 0 22 0 3521750 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923981597480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11806] ppid=11799 vsize=9824732 CPUtime=2.92 cores=1,3,5,7 /proc/11802/task/11806/stat : 11806 (java) S 11799 11802 5962 0 -1 4202560 1533 0 0 0 249 43 0 0 20 0 22 0 3521750 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923980544680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11807] ppid=11799 vsize=9824732 CPUtime=3.24 cores=1,3,5,7 /proc/11802/task/11807/stat : 11807 (java) S 11799 11802 5962 0 -1 4202560 1275 0 0 0 271 53 0 0 20 0 22 0 3521750 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923979492392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11808] ppid=11799 vsize=9824732 CPUtime=2.65 cores=1,3,5,7 /proc/11802/task/11808/stat : 11808 (java) S 11799 11802 5962 0 -1 4202560 1770 0 0 0 219 46 0 0 20 0 22 0 3521750 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923978439592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11809] ppid=11799 vsize=9824732 CPUtime=3.06 cores=1,3,5,7 /proc/11802/task/11809/stat : 11809 (java) S 11799 11802 5962 0 -1 4202560 1664 0 0 0 251 55 0 0 20 0 22 0 3521750 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923977386280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11810] ppid=11799 vsize=9824732 CPUtime=2.99 cores=1,3,5,7 /proc/11802/task/11810/stat : 11810 (java) S 11799 11802 5962 0 -1 4202560 1856 0 0 0 246 53 0 0 20 0 22 0 3521750 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923976333480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11811] ppid=11799 vsize=9824732 CPUtime=3.14 cores=1,3,5,7 /proc/11802/task/11811/stat : 11811 (java) S 11799 11802 5962 0 -1 4202560 2857 0 0 0 256 58 0 0 20 0 22 0 3521750 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923975281192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11812] ppid=11799 vsize=9824732 CPUtime=3.03 cores=1,3,5,7 /proc/11802/task/11812/stat : 11812 (java) S 11799 11802 5962 0 -1 4202560 2706 0 0 0 254 49 0 0 20 0 22 0 3521750 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923974228392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11813] ppid=11799 vsize=9824732 CPUtime=7.11 cores=1,3,5,7 /proc/11802/task/11813/stat : 11813 (java) S 11799 11802 5962 0 -1 4202560 3290 0 0 0 699 12 0 0 20 0 22 0 3521752 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923961817832 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11814] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11814/stat : 11814 (java) S 11799 11802 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3521752 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923960763896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11815] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11815/stat : 11815 (java) S 11799 11802 5962 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 22 0 3521752 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923959711496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11816] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11816/stat : 11816 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3521754 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923958659984 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11817] ppid=11799 vsize=9824732 CPUtime=1.8 cores=1,3,5,7 /proc/11802/task/11817/stat : 11817 (java) S 11799 11802 5962 0 -1 4202560 14679 0 0 0 177 3 0 0 20 0 22 0 3521754 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923957606584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11818] ppid=11799 vsize=9824732 CPUtime=2.5 cores=1,3,5,7 /proc/11802/task/11818/stat : 11818 (java) S 11799 11802 5962 0 -1 4202560 11848 0 0 0 247 3 0 0 20 0 22 0 3521754 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923956553784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11819] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11819/stat : 11819 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3521754 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923955501688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11820] ppid=11799 vsize=9824732 CPUtime=0.23 cores=1,3,5,7 /proc/11802/task/11820/stat : 11820 (java) S 11799 11802 5962 0 -1 4202560 55 0 0 0 8 15 0 0 20 0 22 0 3521754 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923954449096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=12685] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/12685/stat : 12685 (java) S 11799 11802 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3576629 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923953345448 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=12727] ppid=11799 vsize=9824732 CPUtime=300.74 cores=1,3,5,7 /proc/11802/task/12727/stat : 12727 (java) R 11799 11802 5962 0 -1 4202560 10 0 0 0 30070 4 0 0 20 0 22 0 3585314 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923952290240 139924010858363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=12728] ppid=11799 vsize=9824732 CPUtime=300.78 cores=1,3,5,7 /proc/11802/task/12728/stat : 12728 (java) R 11799 11802 5962 0 -1 4202560 12 0 0 0 30074 4 0 0 20 0 22 0 3585314 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923950185232 139924010365914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=12729] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/12729/stat : 12729 (java) S 11799 11802 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3585314 10060525568 1001621 33554432000 1073741824 1073778376 140736210634160 139923951240360 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1770.23 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+957.001 s] /proc/loadavg: 4.21 4.17 4.01 5/219 12748 /proc/meminfo: memFree=20499560/32872528 swapFree=1499084/1695308 [pid=11802] ppid=11799 vsize=9824732 CPUtime=1800 cores=1,3,5,7 /proc/11802/stat : 11802 (java) S 11799 11802 5962 0 -1 4202496 51135 0 1 0 179154 846 0 0 20 0 22 0 3521748 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 140736210625296 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11802/statm: 2456183 1040036 2303 9 0 2446860 0 [pid=11802/tid=11804] ppid=11799 vsize=9824732 CPUtime=2.72 cores=1,3,5,7 /proc/11802/task/11804/stat : 11804 (java) S 11799 11802 5962 0 -1 4202560 2504 0 1 0 266 6 0 0 20 0 22 0 3521749 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139924137644920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11805] ppid=11799 vsize=9824732 CPUtime=3.11 cores=1,3,5,7 /proc/11802/task/11805/stat : 11805 (java) S 11799 11802 5962 0 -1 4202560 1906 0 0 0 252 59 0 0 20 0 22 0 3521750 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923981597480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11806] ppid=11799 vsize=9824732 CPUtime=2.96 cores=1,3,5,7 /proc/11802/task/11806/stat : 11806 (java) S 11799 11802 5962 0 -1 4202560 1549 0 0 0 252 44 0 0 20 0 22 0 3521750 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923980544680 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11807] ppid=11799 vsize=9824732 CPUtime=3.42 cores=1,3,5,7 /proc/11802/task/11807/stat : 11807 (java) S 11799 11802 5962 0 -1 4202560 1340 0 0 0 285 57 0 0 20 0 22 0 3521750 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923979492392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11808] ppid=11799 vsize=9824732 CPUtime=2.75 cores=1,3,5,7 /proc/11802/task/11808/stat : 11808 (java) S 11799 11802 5962 0 -1 4202560 1802 0 0 0 227 48 0 0 20 0 22 0 3521750 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923978439592 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=11809] ppid=11799 vsize=9824732 CPUtime=3.11 cores=1,3,5,7 /proc/11802/task/11809/stat : 11809 (java) S 11799 11802 5962 0 -1 4202560 1678 0 0 0 256 55 0 0 20 0 22 0 3521750 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923977386280 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11810] ppid=11799 vsize=9824732 CPUtime=3.07 cores=1,3,5,7 /proc/11802/task/11810/stat : 11810 (java) S 11799 11802 5962 0 -1 4202560 1892 0 0 0 253 54 0 0 20 0 22 0 3521750 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923976333480 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11811] ppid=11799 vsize=9824732 CPUtime=3.29 cores=1,3,5,7 /proc/11802/task/11811/stat : 11811 (java) S 11799 11802 5962 0 -1 4202560 2915 0 0 0 268 61 0 0 20 0 22 0 3521750 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923975281192 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11812] ppid=11799 vsize=9824732 CPUtime=3.12 cores=1,3,5,7 /proc/11802/task/11812/stat : 11812 (java) S 11799 11802 5962 0 -1 4202560 2734 0 0 0 262 50 0 0 20 0 22 0 3521750 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923974228392 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11813] ppid=11799 vsize=9824732 CPUtime=7.11 cores=1,3,5,7 /proc/11802/task/11813/stat : 11813 (java) S 11799 11802 5962 0 -1 4202560 3300 0 0 0 699 12 0 0 20 0 22 0 3521752 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923961817832 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11814] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11814/stat : 11814 (java) S 11799 11802 5962 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3521752 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923960763896 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11815] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11815/stat : 11815 (java) S 11799 11802 5962 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 22 0 3521752 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923959711496 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11816] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11816/stat : 11816 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3521754 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923958659984 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=11817] ppid=11799 vsize=9824732 CPUtime=1.8 cores=1,3,5,7 /proc/11802/task/11817/stat : 11817 (java) S 11799 11802 5962 0 -1 4202560 14679 0 0 0 177 3 0 0 20 0 22 0 3521754 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923957606584 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11802/tid=11818] ppid=11799 vsize=9824732 CPUtime=2.5 cores=1,3,5,7 /proc/11802/task/11818/stat : 11818 (java) S 11799 11802 5962 0 -1 4202560 11848 0 0 0 247 3 0 0 20 0 22 0 3521754 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923956553784 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11819] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/11819/stat : 11819 (java) S 11799 11802 5962 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3521754 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923955501688 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11802/tid=11820] ppid=11799 vsize=9824732 CPUtime=0.24 cores=1,3,5,7 /proc/11802/task/11820/stat : 11820 (java) S 11799 11802 5962 0 -1 4202560 55 0 0 0 8 16 0 0 20 0 22 0 3521754 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923954449096 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=12685] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/12685/stat : 12685 (java) S 11799 11802 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3576629 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923953345448 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=12727] ppid=11799 vsize=9824732 CPUtime=315.25 cores=1,3,5,7 /proc/11802/task/12727/stat : 12727 (java) R 11799 11802 5962 0 -1 4202560 11 0 0 0 31521 4 0 0 20 0 22 0 3585314 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923952291136 139924010858380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11802/tid=12728] ppid=11799 vsize=9824732 CPUtime=315.29 cores=1,3,5,7 /proc/11802/task/12728/stat : 12728 (java) R 11799 11802 5962 0 -1 4202560 12 0 0 0 31525 4 0 0 20 0 22 0 3585314 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923950184656 139924010365835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11802/tid=12729] ppid=11799 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11802/task/12729/stat : 12729 (java) S 11799 11802 5962 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3585314 10060525568 1040036 33554432000 1073741824 1073778376 140736210634160 139923951240360 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11802 sig 9 ??? kill -11802 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 957.07 CPU time (s): 1800.4 CPU user time (s): 1791.65 CPU system time (s): 8.75167 CPU usage (%): 188.116 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.65 system time used= 8.75167 maximum resident set size= 4160256 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51170 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1048 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 28236 involuntary context switches= 26680 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.25205 second user time and 7.47486 second system time The end
Begin job on node137 at 2016-06-29 20:41:45 IDJOB=4118323 IDBENCH=111481 IDSOLVER=2543 FILE ID=node137/4118323-1467225705 RUNJOBID= node137-1467212962-6647 PBS_JOBID= 19997573 Free space on /tmp= 71692 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-15.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118323-1467225705/watcher-4118323-1467225705 -o /tmp/evaluation-result-4118323-1467225705/solver-4118323-1467225705 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1467212962-6647 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118323-1467225705.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b391a1d34c83557e44dbc3e85562df70 RANDOM SEED=271274775 node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 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 cpu MHz : 2666.265 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 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 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 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 cpu MHz : 2666.265 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.53 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 cpu MHz : 2666.265 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 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 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 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 cpu MHz : 2666.265 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 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 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 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 : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.265 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 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 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 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 cpu MHz : 2666.265 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 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 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 tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 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 cpu MHz : 2666.265 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 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 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 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: 32872528 kB MemFree: 26272336 kB Buffers: 102968 kB Cached: 1790024 kB SwapCached: 0 kB Active: 2472204 kB Inactive: 1686960 kB Active(anon): 2268680 kB Inactive(anon): 180 kB Active(file): 203524 kB Inactive(file): 1686780 kB Unevictable: 1695308 kB Mlocked: 1499084 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1248 kB Writeback: 0 kB AnonPages: 3990280 kB Mapped: 22244 kB Shmem: 204 kB Slab: 608604 kB SReclaimable: 52796 kB SUnreclaim: 555808 kB KernelStack: 1824 kB PageTables: 12324 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4163872 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2441216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71692 MiB End job on node137 at 2016-06-29 20:57:42