Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | SAT (TO) | 1157627901 | 3600.41 | 3599.8 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb |
| MD5SUM | 8990d9f8b403d84c2b7408cf78742133 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1126169600 |
| Best CPU time to get the best result obtained on this benchmark | 2936.48 |
| 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 | 6651 |
| Total number of constraints | 721 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 331 |
| Number of constraints which are nor clauses,nor cardinality constraints | 390 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 6651 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1073741824 |
| Number of bits of the biggest number in a constraint | 31 |
| Biggest sum of numbers in a constraint | 26715880447 |
| Number of bits of the biggest sum of numbers | 35 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.17/0.26 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.17/0.26 c This is free software under the dual EPL/GNU LGPL licenses. 0.17/0.26 c See www.sat4j.org for details. 0.17/0.28 c version CUSTOM.v20240707 0.17/0.30 c java.runtime.name OpenJDK Runtime Environment 0.17/0.30 c java.vm.name OpenJDK 64-Bit Server VM 0.17/0.30 c java.vm.version 22.0.1+8-16 0.17/0.30 c java.vm.vendor Oracle Corporation 0.17/0.30 c sun.arch.data.model 64 0.17/0.30 c java.version 22.0.1 0.17/0.30 c os.name Linux 0.17/0.30 c os.version 4.18.0-301.1.el8.x86_64 0.17/0.30 c os.arch amd64 0.17/0.31 c Free memory 2115194816 0.17/0.31 c Max memory 16282288128 0.17/0.31 c Total memory 2122317824 0.17/0.33 c Number of processors 2 0.48/0.49 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.48/0.49 - never skip resolution steps 0.48/0.49 - Auto-division on coefficients is disabled 0.48/0.49 - No postprocessing 0.48/0.49 - Conflict is considered as is when resolving 0.48/0.49 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.48/0.49 - Weaken first using unassigned literals 0.48/0.49 - Bump strategy: ALWAYS_ONE 0.48/0.49 - Bumper: ASSIGNED 0.48/0.49 --- Begin Solver configuration --- 0.48/0.49 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.48/0.49 Learn all clauses as in MiniSAT 0.48/0.49 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.48/0.49 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.48/0.49 No reason simplification 0.48/0.49 Armin Biere (Picosat) restarts strategy 0.48/0.49 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.48/0.49 timeout=2147483s 0.48/0.49 DB Simplification allowed=false 0.48/0.49 Listener: none 0.48/0.49 --- End Solver configuration --- 0.48/0.50 c Pseudo Boolean Optimization by upper bound 0.48/0.50 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.48/0.50 c - never skip resolution steps 0.48/0.50 c - Auto-division on coefficients is disabled 0.48/0.50 c - No postprocessing 0.48/0.50 c - Conflict is considered as is when resolving 0.48/0.50 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.48/0.50 c - Weaken first using unassigned literals 0.48/0.50 c - Bump strategy: ALWAYS_ONE 0.48/0.50 c - Bumper: ASSIGNED 0.48/0.50 c --- Begin Solver configuration --- 0.48/0.50 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.48/0.50 c Learn all clauses as in MiniSAT 0.48/0.50 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.48/0.50 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.48/0.50 c No reason simplification 0.48/0.50 c Armin Biere (Picosat) restarts strategy 0.48/0.50 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.48/0.51 c timeout=2147483s 0.48/0.51 c DB Simplification allowed=false 0.48/0.51 c Listener: none 0.48/0.51 c --- End Solver configuration --- 0.48/0.51 c solving HOME/instance-4427347-1720994536.opb 0.48/0.51 c reading problem ... 0.48/0.51 c objective function found 2.16/1.39 c ... done. Wall clock time 0.889s. 2.16/1.39 c declared #vars 6651 2.16/1.39 c #constraints 721 2.16/1.39 c constraints type 2.16/1.39 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 2.16/1.39 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 339 2.16/1.39 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 2.33/1.40 c 721 constraints processed. 2.33/1.41 c objective function length is 31 literals 3.91/2.28 c SATISFIABLE 3.91/2.28 c OPTIMIZING... 3.91/2.28 c Got one! Elapsed wall clock time (in seconds):1.774 3.91/2.28 o 2146959360 4.11/2.32 c Got one! Elapsed wall clock time (in seconds):1.827 4.11/2.32 o 2146435072 4.30/2.40 c Got one! Elapsed wall clock time (in seconds):1.905 4.30/2.40 o 2146435071 4.50/2.55 c Got one! Elapsed wall clock time (in seconds):2.05 4.50/2.55 o 2145910784 4.70/2.61 c Got one! Elapsed wall clock time (in seconds):2.11 4.70/2.61 o 2145910783 4.87/2.75 c Got one! Elapsed wall clock time (in seconds):2.256 4.87/2.75 o 2145386496 5.05/2.85 c Got one! Elapsed wall clock time (in seconds):2.354 5.05/2.85 o 2144862208 5.62/3.18 c Got one! Elapsed wall clock time (in seconds):2.689 5.62/3.18 o 2144337920 6.07/3.57 c Got one! Elapsed wall clock time (in seconds):3.073 6.07/3.57 o 2143813632 6.72/4.15 c Got one! Elapsed wall clock time (in seconds):3.659 6.72/4.15 o 2143289344 7.17/4.56 c Got one! Elapsed wall clock time (in seconds):4.061 7.17/4.56 o 2142765056 7.42/4.78 c Got one! Elapsed wall clock time (in seconds):4.28 7.42/4.78 o 2142240768 7.76/5.01 c Got one! Elapsed wall clock time (in seconds):4.511 7.76/5.01 o 2141716480 8.10/5.33 c Got one! Elapsed wall clock time (in seconds):4.834 8.10/5.33 o 2141192192 8.31/5.55 c Got one! Elapsed wall clock time (in seconds):5.05 8.31/5.55 o 2140667904 8.62/5.74 c Got one! Elapsed wall clock time (in seconds):5.248 8.62/5.74 o 2140143616 8.98/5.93 c Got one! Elapsed wall clock time (in seconds):5.435 8.98/5.93 o 2139619328 9.64/6.47 c Got one! Elapsed wall clock time (in seconds):5.969 9.64/6.47 o 2139095040 10.12/6.74 c Got one! Elapsed wall clock time (in seconds):6.247 10.12/6.74 o 2138570752 10.27/6.85 c Got one! Elapsed wall clock time (in seconds):6.354 10.27/6.85 o 2138570751 10.86/7.26 c Got one! Elapsed wall clock time (in seconds):6.768 10.86/7.26 o 2138570750 11.11/7.46 c Got one! Elapsed wall clock time (in seconds):6.964 11.11/7.46 o 2138570749 11.53/7.72 c Got one! Elapsed wall clock time (in seconds):7.224 11.53/7.72 o 2138570748 11.89/8.07 c Got one! Elapsed wall clock time (in seconds):7.569 11.89/8.07 o 2138570747 12.38/8.38 c Got one! Elapsed wall clock time (in seconds):7.879 12.38/8.38 o 2138570745 12.77/8.59 c Got one! Elapsed wall clock time (in seconds):8.091 12.77/8.59 o 2138570744 13.67/9.08 c Got one! Elapsed wall clock time (in seconds):8.582 13.67/9.08 o 2138570743 14.16/9.51 c Got one! Elapsed wall clock time (in seconds):9.01 14.16/9.51 o 2138570742 14.46/9.80 c Got one! Elapsed wall clock time (in seconds):9.309 14.46/9.80 o 2138570741 15.35/10.79 c Got one! Elapsed wall clock time (in seconds):10.29 15.35/10.79 o 2138570740 16.54/11.42 c Got one! Elapsed wall clock time (in seconds):10.923 16.54/11.42 o 2138570738 17.27/11.96 c Got one! Elapsed wall clock time (in seconds):11.468 17.27/11.96 o 2138570736 17.72/12.34 c Got one! Elapsed wall clock time (in seconds):11.847 17.72/12.34 o 2138570735 18.50/12.91 c Got one! Elapsed wall clock time (in seconds):12.417 18.50/12.91 o 2138570734 19.00/13.45 c Got one! Elapsed wall clock time (in seconds):12.952 19.00/13.45 o 2138570732 19.43/13.86 c Got one! Elapsed wall clock time (in seconds):13.364 19.43/13.86 o 2138570731 20.12/14.55 c Got one! Elapsed wall clock time (in seconds):14.053 20.12/14.55 o 2138570730 20.82/15.25 c Got one! Elapsed wall clock time (in seconds):14.755 20.82/15.25 o 2138570724 21.53/15.92 c Got one! Elapsed wall clock time (in seconds):15.421 21.53/15.92 o 2138570720 22.03/16.48 c Got one! Elapsed wall clock time (in seconds):15.986 22.03/16.48 o 2138570716 22.74/17.19 c Got one! Elapsed wall clock time (in seconds):16.692 22.74/17.19 o 2138570714 23.53/17.99 c Got one! Elapsed wall clock time (in seconds):17.493 23.53/17.99 o 2138570712 24.43/18.82 c Got one! Elapsed wall clock time (in seconds):18.329 24.43/18.83 o 2138570704 25.03/19.43 c Got one! Elapsed wall clock time (in seconds):18.931 25.03/19.43 o 2138570696 25.74/20.12 c Got one! Elapsed wall clock time (in seconds):19.626 25.74/20.12 o 2138570688 26.43/20.80 c Got one! Elapsed wall clock time (in seconds):20.305 26.43/20.80 o 2138570672 27.22/21.62 c Got one! Elapsed wall clock time (in seconds):21.122 27.22/21.62 o 2138570656 28.12/22.52 c Got one! Elapsed wall clock time (in seconds):22.027 28.12/22.52 o 2138570655 28.64/23.04 c Got one! Elapsed wall clock time (in seconds):22.546 28.64/23.04 o 2138570654 29.22/23.67 c Got one! Elapsed wall clock time (in seconds):23.172 29.22/23.67 o 2138570653 30.52/24.95 c Got one! Elapsed wall clock time (in seconds):24.452 30.52/24.95 o 2138570652 31.22/25.67 c Got one! Elapsed wall clock time (in seconds):25.178 31.22/25.67 o 2138570651 32.02/26.44 c Got one! Elapsed wall clock time (in seconds):25.945 32.02/26.44 o 2138570650 32.51/27.00 c Got one! Elapsed wall clock time (in seconds):26.5 32.51/27.00 o 2138570649 33.12/27.55 c Got one! Elapsed wall clock time (in seconds):27.051 33.12/27.55 o 2138570648 34.11/28.50 c Got one! Elapsed wall clock time (in seconds):28.005 34.11/28.50 o 2138570647 34.81/29.23 c Got one! Elapsed wall clock time (in seconds):28.734 34.81/29.23 o 2138570646 35.72/30.16 c Got one! Elapsed wall clock time (in seconds):29.664 35.72/30.16 o 2138570645 36.51/30.98 c Got one! Elapsed wall clock time (in seconds):30.484 36.51/30.98 o 2138570643 37.30/31.73 c Got one! Elapsed wall clock time (in seconds):31.229 37.30/31.73 o 2138570642 38.03/32.43 c Got one! Elapsed wall clock time (in seconds):31.933 38.03/32.43 o 2138570641 38.74/33.11 c Got one! Elapsed wall clock time (in seconds):32.618 38.74/33.11 o 2138570640 39.33/33.79 c Got one! Elapsed wall clock time (in seconds):33.294 39.33/33.79 o 2138570639 40.13/34.59 c Got one! Elapsed wall clock time (in seconds):34.091 40.13/34.59 o 2138570638 40.94/35.32 c Got one! Elapsed wall clock time (in seconds):34.825 40.94/35.32 o 2138570637 41.43/35.88 c Got one! Elapsed wall clock time (in seconds):35.382 41.43/35.88 o 2138570636 42.03/36.47 c Got one! Elapsed wall clock time (in seconds):35.971 42.03/36.47 o 2138570635 42.75/37.18 c Got one! Elapsed wall clock time (in seconds):36.68 42.75/37.18 o 2138570634 43.33/37.72 c Got one! Elapsed wall clock time (in seconds):37.227 43.33/37.72 o 2138570633 43.83/38.27 c Got one! Elapsed wall clock time (in seconds):37.772 43.83/38.27 o 2138570632 44.43/38.84 c Got one! Elapsed wall clock time (in seconds):38.34 44.43/38.84 o 2138570631 45.03/39.47 c Got one! Elapsed wall clock time (in seconds):38.972 45.03/39.47 o 2138570629 45.93/40.35 c Got one! Elapsed wall clock time (in seconds):39.855 45.93/40.35 o 2138570627 46.52/40.92 c Got one! Elapsed wall clock time (in seconds):40.424 46.52/40.92 o 2138570623 47.02/41.48 c Got one! Elapsed wall clock time (in seconds):40.985 47.02/41.48 o 2138570621 47.63/42.07 c Got one! Elapsed wall clock time (in seconds):41.579 47.63/42.07 o 2138570620 48.23/42.64 c Got one! Elapsed wall clock time (in seconds):42.143 48.23/42.64 o 2138570607 48.93/43.32 c Got one! Elapsed wall clock time (in seconds):42.828 48.93/43.32 o 2138570605 49.54/44.01 c Got one! Elapsed wall clock time (in seconds):43.513 49.54/44.01 o 2138570604 50.45/44.81 c Got one! Elapsed wall clock time (in seconds):44.309 50.45/44.82 o 2138570603 51.05/45.48 c Got one! Elapsed wall clock time (in seconds):44.979 51.05/45.48 o 2138570602 51.66/46.06 c Got one! Elapsed wall clock time (in seconds):45.563 51.66/46.06 o 2138570591 52.34/46.76 c Got one! Elapsed wall clock time (in seconds):46.265 52.34/46.76 o 2138570587 53.34/47.74 c Got one! Elapsed wall clock time (in seconds):47.248 53.34/47.74 o 2138570554 54.14/48.57 c Got one! Elapsed wall clock time (in seconds):48.077 54.14/48.57 o 2138570495 54.84/49.21 c Got one! Elapsed wall clock time (in seconds):48.718 54.84/49.21 o 2138570494 55.54/49.93 c Got one! Elapsed wall clock time (in seconds):49.436 55.54/49.93 o 2138570431 56.24/50.60 c Got one! Elapsed wall clock time (in seconds):50.101 56.24/50.60 o 2138570430 56.84/51.26 c Got one! Elapsed wall clock time (in seconds):50.767 56.84/51.26 o 2138570429 57.54/51.99 c Got one! Elapsed wall clock time (in seconds):51.493 57.54/51.99 o 2138570428 58.33/52.71 c Got one! Elapsed wall clock time (in seconds):52.219 58.33/52.71 o 2138570367 59.69/54.08 c Got one! Elapsed wall clock time (in seconds):53.584 59.69/54.08 o 2138570303 60.48/54.82 c Got one! Elapsed wall clock time (in seconds):54.321 60.48/54.82 o 2138570302 61.37/55.79 c Got one! Elapsed wall clock time (in seconds):55.298 61.37/55.79 o 2138570295 62.37/56.74 c Got one! Elapsed wall clock time (in seconds):56.246 62.37/56.74 o 2138570294 63.27/57.63 c Got one! Elapsed wall clock time (in seconds):57.137 63.27/57.63 o 2138570292 64.17/58.51 c Got one! Elapsed wall clock time (in seconds):58.013 64.17/58.51 o 2138570287 65.07/59.43 c Got one! Elapsed wall clock time (in seconds):58.939 65.07/59.43 o 2138570286 65.86/60.26 c Got one! Elapsed wall clock time (in seconds):59.761 65.86/60.26 o 2138570239 66.78/61.13 c Got one! Elapsed wall clock time (in seconds):60.632 66.78/61.13 o 2138570238 68.46/62.84 c Got one! Elapsed wall clock time (in seconds):62.344 68.46/62.84 o 2138046464 69.48/63.89 c Got one! Elapsed wall clock time (in seconds):63.392 69.48/63.89 o 2137522176 70.19/64.56 c Got one! Elapsed wall clock time (in seconds):64.062 70.19/64.56 o 2137522175 70.91/65.29 c Got one! Elapsed wall clock time (in seconds):64.796 70.91/65.29 o 2137522169 72.01/66.34 c Got one! Elapsed wall clock time (in seconds):65.847 72.01/66.34 o 2137522159 72.82/67.18 c Got one! Elapsed wall clock time (in seconds):66.68 72.82/67.18 o 2137522153 73.91/68.27 c Got one! Elapsed wall clock time (in seconds):67.771 73.91/68.27 o 2137520127 75.01/69.31 c Got one! Elapsed wall clock time (in seconds):68.809 75.01/69.31 o 2137520111 76.61/70.92 c Got one! Elapsed wall clock time (in seconds):70.427 76.61/70.92 o 2137518079 78.04/72.32 c Got one! Elapsed wall clock time (in seconds):71.825 78.04/72.33 o 2137518078 79.43/73.79 c Got one! Elapsed wall clock time (in seconds):73.294 79.43/73.79 o 2137516031 80.93/75.27 c Got one! Elapsed wall clock time (in seconds):74.776 80.93/75.27 o 2137489407 82.63/76.83 c Got one! Elapsed wall clock time (in seconds):76.33 82.63/76.83 o 2137489406 83.78/77.87 c Got one! Elapsed wall clock time (in seconds):77.376 83.78/77.87 o 2137473023 84.68/78.79 c Got one! Elapsed wall clock time (in seconds):78.298 84.68/78.79 o 2137464831 86.58/80.60 c Got one! Elapsed wall clock time (in seconds):80.103 86.58/80.60 o 2137456639 88.08/82.18 c Got one! Elapsed wall clock time (in seconds):81.686 88.08/82.18 o 2137456511 89.47/83.53 c Got one! Elapsed wall clock time (in seconds):83.032 89.47/83.53 o 2137448447 90.98/85.08 c Got one! Elapsed wall clock time (in seconds):84.583 90.98/85.08 o 2137448319 92.66/86.74 c Got one! Elapsed wall clock time (in seconds):86.245 92.66/86.74 o 2137423871 94.26/88.31 c Got one! Elapsed wall clock time (in seconds):87.819 94.26/88.31 o 2137391103 95.75/89.83 c Got one! Elapsed wall clock time (in seconds):89.337 95.75/89.83 o 2137382911 97.39/91.30 c Got one! Elapsed wall clock time (in seconds):90.807 97.39/91.30 o 2137382910 98.98/92.96 c Got one! Elapsed wall clock time (in seconds):92.466 98.98/92.96 o 2137260031 100.97/95.00 c Got one! Elapsed wall clock time (in seconds):94.508 100.97/95.00 o 2137260023 103.08/97.10 c Got one! Elapsed wall clock time (in seconds):96.601 103.08/97.10 o 2137259775 104.77/98.78 c Got one! Elapsed wall clock time (in seconds):98.286 104.77/98.78 o 2137257983 106.57/100.52 c Got one! Elapsed wall clock time (in seconds):100.024 106.57/100.52 o 2137128959 108.37/102.36 c Got one! Elapsed wall clock time (in seconds):101.864 108.37/102.36 o 2137128958 109.97/103.95 c Got one! Elapsed wall clock time (in seconds):103.45 109.97/103.95 o 2137128957 111.66/105.61 c Got one! Elapsed wall clock time (in seconds):105.116 111.66/105.61 o 2137128956 113.17/107.13 c Got one! Elapsed wall clock time (in seconds):106.636 113.17/107.13 o 2137128951 114.86/108.85 c Got one! Elapsed wall clock time (in seconds):108.354 114.86/108.85 o 2137127935 117.25/111.27 c Got one! Elapsed wall clock time (in seconds):110.774 117.25/111.27 o 2137112575 118.75/112.79 c Got one! Elapsed wall clock time (in seconds):112.296 118.75/112.79 o 2137063423 120.75/114.70 c Got one! Elapsed wall clock time (in seconds):114.205 120.75/114.70 o 2137063421 122.55/116.51 c Got one! Elapsed wall clock time (in seconds):116.017 122.55/116.51 o 2137062911 124.16/118.11 c Got one! Elapsed wall clock time (in seconds):117.618 124.16/118.11 o 2136997887 125.74/119.77 c Got one! Elapsed wall clock time (in seconds):119.278 125.74/119.77 o 2136989695 127.54/121.56 c Got one! Elapsed wall clock time (in seconds):121.063 127.54/121.56 o 2134900735 129.15/123.19 c Got one! Elapsed wall clock time (in seconds):122.696 129.15/123.19 o 2134900734 131.34/125.34 c Got one! Elapsed wall clock time (in seconds):124.846 131.34/125.34 o 2130706431 132.73/126.78 c Got one! Elapsed wall clock time (in seconds):126.288 132.73/126.78 o 2130575359 135.23/129.25 c Got one! Elapsed wall clock time (in seconds):128.753 135.23/129.25 o 2130444287 137.03/131.07 c Got one! Elapsed wall clock time (in seconds):130.571 137.03/131.07 o 2113929215 138.42/132.47 c Got one! Elapsed wall clock time (in seconds):131.97 138.42/132.47 o 2097151999 140.71/134.71 c Got one! Elapsed wall clock time (in seconds):134.211 140.71/134.71 o 2088763391 142.31/136.35 c Got one! Elapsed wall clock time (in seconds):135.855 142.31/136.35 o 2088747007 144.21/138.21 c Got one! Elapsed wall clock time (in seconds):137.711 144.21/138.21 o 2088730623 146.02/140.05 c Got one! Elapsed wall clock time (in seconds):139.555 146.02/140.05 o 2088632319 147.70/141.79 c Got one! Elapsed wall clock time (in seconds):141.29 147.70/141.79 o 2080374783 149.80/143.83 c Got one! Elapsed wall clock time (in seconds):143.334 149.80/143.83 o 2080374781 151.69/145.77 c Got one! Elapsed wall clock time (in seconds):145.272 151.69/145.77 o 2080374780 154.00/148.04 c Got one! Elapsed wall clock time (in seconds):147.543 154.00/148.04 o 2080366591 156.38/150.44 c Got one! Elapsed wall clock time (in seconds):149.944 156.38/150.44 o 2080342015 158.32/152.39 c Got one! Elapsed wall clock time (in seconds):151.892 158.32/152.39 o 2063597567 160.31/154.35 c Got one! Elapsed wall clock time (in seconds):153.856 160.31/154.35 o 2013265919 162.41/156.41 c Got one! Elapsed wall clock time (in seconds):155.915 162.41/156.41 o 1996488703 164.40/158.43 c Got one! Elapsed wall clock time (in seconds):157.937 164.40/158.43 o 1996488671 166.29/160.33 c Got one! Elapsed wall clock time (in seconds):159.839 166.29/160.33 o 1979711487 168.80/162.82 c Got one! Elapsed wall clock time (in seconds):162.32 168.80/162.82 o 1979711486 170.69/164.77 c Got one! Elapsed wall clock time (in seconds):164.27 170.69/164.77 o 1610612735 172.68/166.70 c Got one! Elapsed wall clock time (in seconds):166.202 172.68/166.70 o 1593835519 174.78/168.83 c Got one! Elapsed wall clock time (in seconds):168.33 174.78/168.83 o 1577058303 176.77/170.85 c Got one! Elapsed wall clock time (in seconds):170.352 176.77/170.85 o 1560281087 178.77/172.89 c Got one! Elapsed wall clock time (in seconds):172.393 178.77/172.89 o 1543503871 180.76/174.82 c Got one! Elapsed wall clock time (in seconds):174.328 180.76/174.82 o 1526726655 183.07/177.15 c Got one! Elapsed wall clock time (in seconds):176.658 183.07/177.15 o 1526726654 184.66/178.75 c Got one! Elapsed wall clock time (in seconds):178.256 184.66/178.75 o 1509949439 186.85/180.93 c Got one! Elapsed wall clock time (in seconds):180.433 186.85/180.93 o 1509949438 188.98/183.01 c Got one! Elapsed wall clock time (in seconds):182.519 188.98/183.01 o 1493172223 190.56/184.64 c Got one! Elapsed wall clock time (in seconds):184.142 190.56/184.64 o 1476395007 192.86/186.91 c Got one! Elapsed wall clock time (in seconds):186.412 192.86/186.91 o 1476395006 194.76/188.87 c Got one! Elapsed wall clock time (in seconds):188.372 194.76/188.87 o 1476394751 196.65/190.70 c Got one! Elapsed wall clock time (in seconds):190.205 196.65/190.70 o 1342177279 198.65/192.77 c Got one! Elapsed wall clock time (in seconds):192.265 198.65/192.77 o 1207959551 200.85/194.95 c Got one! Elapsed wall clock time (in seconds):194.453 200.85/194.95 o 1207959550 268.30/262.45 c Got one! Elapsed wall clock time (in seconds):261.951 268.30/262.45 o 1207959549 281.77/275.92 c Got one! Elapsed wall clock time (in seconds):275.419 281.77/275.92 o 1207959547 296.90/291.03 c Got one! Elapsed wall clock time (in seconds):290.533 296.90/291.03 o 1207959546 308.37/302.54 c Got one! Elapsed wall clock time (in seconds):302.041 308.37/302.54 o 1207959545 422.18/416.37 c Got one! Elapsed wall clock time (in seconds):415.872 422.18/416.37 o 1207959535 455.96/450.04 c Got one! Elapsed wall clock time (in seconds):449.543 455.96/450.04 o 1191182335 490.71/484.85 c Got one! Elapsed wall clock time (in seconds):484.355 490.71/484.85 o 1174405119 523.63/517.89 c Got one! Elapsed wall clock time (in seconds):517.39 523.63/517.89 o 1174405117 553.92/548.17 c Got one! Elapsed wall clock time (in seconds):547.674 553.92/548.17 o 1157627903 588.03/582.30 c Got one! Elapsed wall clock time (in seconds):581.803 588.03/582.30 o 1157627901 3600.04/3599.62 c starts : 199 3600.04/3599.66 c conflicts : 3255 3600.04/3599.66 c decisions : 1398899 3600.04/3599.66 c propagations : 2787483 3600.04/3599.66 c inspects : 37495300 3600.04/3599.66 c shortcuts : 0 3600.04/3599.66 c learnt literals : 0 3600.04/3599.66 c learnt binary clauses : 0 3600.04/3599.66 c learnt ternary clauses : 0 3600.04/3599.66 c learnt constraints : 3255 3600.04/3599.66 c ignored constraints : 0 3600.04/3599.66 c root simplifications : 0 3600.04/3599.66 c removed literals (reason simplification) : 0 3600.04/3599.66 c reason swapping (by a shorter reason) : 0 3600.04/3599.66 c Calls to reduceDB : 0 3600.04/3599.66 c Number of update (reduction) of LBD : 0 3600.04/3599.66 c Imported unit clauses : 0 3600.04/3599.66 c No decision after first conflict : false 3600.04/3599.66 c number of reductions to clauses (during analyze) : 0 3600.04/3599.66 c number of learned constraints concerned by reduction : 0 3600.04/3599.67 c number of learning phase by resolution : 0 3600.04/3599.67 c number of learning phase by cutting planes : 0 3600.04/3599.67 c number of rounding to 1 operations : 4346 3600.04/3599.67 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.04/3599.67 c number of reductions of the coefficients by power 2 : 0 3600.04/3599.67 c number of right shift for reduction by power 2 : 0 3600.04/3599.67 c number of reductions of the coefficients by GCD over coefficients : 0 3600.04/3599.67 c number of ending skipping : 0 3600.04/3599.67 c number of internal skipping : 0 3600.04/3599.67 c number of derivation steps : 6305 3600.04/3599.67 c number of skipped derivation steps : 0 3600.04/3599.67 c number of remaining unassigned : 29101 3600.04/3599.67 c number of remaining assigned : 9054561 3600.04/3599.67 c number of falsified literals weakened from reason : 0 3600.04/3599.67 c number of falsified literals weakened from conflict : 0 3600.04/3599.67 c time for arithmetic operations : 365635131 3600.04/3599.69 c minimum degree of deleted constraints : null 3600.04/3599.69 c maximum degree of deleted constraints : null 3600.04/3599.69 c number of deleted constraints : 0 3600.04/3599.69 c speed (assignments/second) : 774.6752597088592 3600.04/3599.69 c non guided choices : 44127 3600.04/3599.70 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 6 3600.04/3599.70 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 3249 3600.04/3599.70 s SATISFIABLE 3600.04/3599.70 c Found 187 solution(s) 3600.25/3599.72 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 3600.25/3599.76 c objective function=1157627901 3600.25/3599.76 c Total wall clock time (in seconds): 3599.262
OK 1157627901
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (62516 MiB free)
memory of node 1: 64510 MiB (63494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427347-1720994536/watcher-4427347-1720994536 -o /tmp/evaluation-result-4427347-1720994536/solver-4427347-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720994548-763753 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427347-1720994536.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=763810, runsolver pid=763806
Current StackSize limit: 8192 KiB
[startup+0.100085 s]*
/proc/loadavg: 0.08 0.08 0.09 4/302 763873
/proc/meminfo: memFree=128941756/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=18974032 memory=50484 CPUtime=0.08 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 6490 0 0 0 4 4 0 0 20 0 18 0 151610250 19429408768 12621 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4743508 12621 4767 1 0 550414 0
[pid=763810/tid=763816] ppid=763806 vsize=18974032 memory=4026531971 CPUtime=0.06 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) D 763806 763810 763743 0 -1 1078198336 5737 0 0 0 3 3 0 0 20 0 18 0 151610250 19429408768 12621 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=18974032 memory=5822 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151610257 19429408768 12621 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=18974032 memory=13849655494580062 CPUtime=0 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151610258 19429408768 12621 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18974032 KiB
Current children cumulated memory: 50484 KiB
[startup+0.223573 s]*
/proc/loadavg: 0.08 0.08 0.09 15/311 763882
/proc/meminfo: memFree=128918052/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=18975048 memory=55872 CPUtime=0.17 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 7031 0 0 0 13 4 0 0 20 0 18 0 151610250 19430449152 13968 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4743762 13968 5585 1 0 550840 0
[pid=763810/tid=763816] ppid=763806 vsize=18975048 memory=8737651120394928259 CPUtime=0.11 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 5963 0 0 0 8 3 0 0 20 0 18 0 151610250 19430449152 13968 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=18975048 memory=5822 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151610257 19430449152 13968 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=18975048 memory=13849655494580062 CPUtime=0 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151610258 19430449152 13968 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55872 KiB
[startup+0.314505 s]*
/proc/loadavg: 0.08 0.08 0.09 13/313 763884
/proc/meminfo: memFree=128899776/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=18975048 memory=60528 CPUtime=0.32 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 7652 0 0 0 27 5 0 0 20 0 18 0 151610250 19430449152 15132 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4743762 15132 5594 1 0 551373 0
[pid=763810/tid=763816] ppid=763806 vsize=18975048 memory=-8672633712293618364 CPUtime=0.21 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 6225 0 0 0 17 4 0 0 20 0 18 0 151610250 19430449152 15132 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151610257 19430449152 15132 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151610258 19430449152 15132 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 60528 KiB
[startup+0.700574 s]
/proc/loadavg: 0.08 0.08 0.09 13/313 763884
/proc/meminfo: memFree=128859852/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=18975048 memory=75664 CPUtime=1 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 8179 0 0 0 94 6 0 0 20 0 18 0 151610250 19430449152 18916 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4743762 18916 5797 1 0 551768 0
[pid=763810/tid=763816] ppid=763806 vsize=18975048 memory=5620 CPUtime=0.53 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 6563 0 0 0 49 4 0 0 20 0 18 0 151610250 19430449152 18916 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=18975048 memory=12724 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 151610257 19430449152 18916 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 151610258 19430449152 18916 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75664 KiB
[startup+1.50027 s]
/proc/loadavg: 1.12 0.30 0.16 11/314 763885
/proc/meminfo: memFree=128507476/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=196488 CPUtime=2.53 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 16670 0 0 0 242 11 0 0 20 0 20 0 151610250 19566772224 49122 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 49122 5899 1 0 555674 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=12724 CPUtime=1.2 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 8501 0 0 0 113 7 0 0 20 0 20 0 151610250 19566772224 49122 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 49122 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 151610258 19566772224 49122 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196488 KiB
[startup+3.11056 s]
/proc/loadavg: 1.12 0.30 0.16 9/321 763892
/proc/meminfo: memFree=127268980/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=209772 CPUtime=5.62 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 21173 0 0 0 550 12 0 0 20 0 20 0 151610250 19566772224 52443 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 52443 5899 1 0 556202 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=0 CPUtime=2.66 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 8958 0 0 0 259 7 0 0 20 0 20 0 151610250 19566772224 52443 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=12724 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 52443 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=198756 CPUtime=0 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 151610258 19566772224 52443 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 52443 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 5.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 209772 KiB
[startup+6.30056 s]
/proc/loadavg: 1.51 0.39 0.19 9/321 763892
/proc/meminfo: memFree=126746008/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=246444 CPUtime=9.54 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 22204 0 0 0 940 14 0 0 20 0 20 0 151610250 19566772224 61611 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 61611 5899 1 0 808963 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=0 CPUtime=5.72 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 8986 0 0 0 564 8 0 0 20 0 20 0 151610250 19566772224 61611 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=12724 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 61611 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 151610258 19566772224 61611 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=-8745254256284967612 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 61611 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 9.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 246444 KiB
[startup+12.7005 s]
/proc/loadavg: 1.71 0.45 0.21 5/321 763894
/proc/meminfo: memFree=126400304/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=466596 CPUtime=18.29 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 32182 0 0 0 1808 21 0 0 20 0 20 0 151610250 19566772224 116649 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 116649 5899 1 0 810482 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=466596 CPUtime=12 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 10334 0 0 0 1189 11 0 0 20 0 20 0 151610250 19566772224 116649 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 116649 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=12724 CPUtime=0 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 151610258 19566772224 116649 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 116649 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 18.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 466596 KiB
[startup+25.5005 s]
/proc/loadavg: 2.14 0.59 0.26 5/321 763895
/proc/meminfo: memFree=125217848/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=906128 CPUtime=31.12 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 34840 0 0 0 3081 31 0 0 20 0 20 0 151610250 19566772224 226532 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 226532 5899 1 0 810482 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=466596 CPUtime=24.76 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 12103 0 0 0 2455 21 0 0 20 0 20 0 151610250 19566772224 226532 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=846736 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 226532 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=742288 CPUtime=0 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 151610258 19566772224 226532 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 226532 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 31.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 906128 KiB
[startup+51.1133 s]
/proc/loadavg: 3.04 0.96 0.39 5/321 763900
/proc/meminfo: memFree=123389872/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=1276996 CPUtime=56.75 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 41489 0 0 0 5633 42 0 0 20 0 20 0 151610250 19566772224 319249 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 319249 5899 1 0 810486 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=1133468 CPUtime=50.01 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 15097 0 0 0 4974 27 0 0 20 0 20 0 151610250 19566772224 319249 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=38840 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 319249 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 32 0 0 0 0 0 0 0 20 0 20 0 151610258 19566772224 319249 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=1231828 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 319249 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/320 766004
/proc/meminfo: memFree=112876596/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=2727116 CPUtime=3283.37 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 199928 0 0 0 328092 245 0 0 20 0 20 0 151610250 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 681779 5914 1 0 810543 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=2727116 CPUtime=3265.9 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 106751 0 0 0 326538 52 0 0 20 0 20 0 151610250 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=2727116 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=38840 CPUtime=0.01 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 6317 0 0 0 0 1 0 0 20 0 20 0 151610258 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=2727116 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 3283.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2727116 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.18 4.10 5/320 766014
/proc/meminfo: memFree=112875992/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=2727116 CPUtime=3343.23 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 202187 0 0 0 334076 247 0 0 20 0 20 0 151610250 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 681779 5914 1 0 810543 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=38840 CPUtime=3325.73 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 108719 0 0 0 332521 52 0 0 20 0 20 0 151610250 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=2727116 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=11408 CPUtime=0.01 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 6459 0 0 0 0 1 0 0 20 0 20 0 151610258 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=2727116 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 3343.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2727116 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.18 4.10 5/323 766197
/proc/meminfo: memFree=112873420/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=2727116 CPUtime=3403.1 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 204326 0 0 0 340060 250 0 0 20 0 20 0 151610250 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 681779 5914 1 0 810543 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=38840 CPUtime=3385.54 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 110542 0 0 0 338502 52 0 0 20 0 20 0 151610250 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=2727116 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=2727116 CPUtime=0.01 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 6599 0 0 0 0 1 0 0 20 0 20 0 151610258 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=38840 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 681779 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 3403.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2727116 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.10 5/323 766207
/proc/meminfo: memFree=112739712/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=2761932 CPUtime=3463.03 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 207727 0 0 0 346049 254 0 0 20 0 20 0 151610250 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 690483 5914 1 0 810543 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=38840 CPUtime=3445.16 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 112132 0 0 0 344464 52 0 0 20 0 20 0 151610250 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=2727116 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=2761932 CPUtime=0.01 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 6695 0 0 0 0 1 0 0 20 0 20 0 151610258 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=11408 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 3463.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/322 766232
/proc/meminfo: memFree=112739360/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=2761932 CPUtime=3522.91 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 209711 0 0 0 352034 257 0 0 20 0 20 0 151610250 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 690483 5914 1 0 810543 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=2761932 CPUtime=3504.98 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 113837 0 0 0 350446 52 0 0 20 0 20 0 151610250 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=38840 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=5620 CPUtime=0.01 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 6835 0 0 0 0 1 0 0 20 0 20 0 151610258 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=2761932 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 3522.91 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.67 4.29 4.14 5/321 766377
/proc/meminfo: memFree=115535940/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=2761932 CPUtime=3582.78 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 211778 0 0 0 358018 260 0 0 20 0 20 0 151610250 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 690483 5914 1 0 810543 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=2761932 CPUtime=3564.81 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 115605 0 0 0 356429 52 0 0 20 0 20 0 151610250 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=5524 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=12724 CPUtime=0.01 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 6975 0 0 0 0 1 0 0 20 0 20 0 151610258 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=5620 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 3582.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3599.6 s]
/proc/loadavg: 4.98 4.37 4.17 6/321 766450
/proc/meminfo: memFree=118183176/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19108176 memory=2761932 CPUtime=3600.04 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 213162 0 0 0 359743 261 0 0 20 0 20 0 151610250 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4777044 690483 5914 1 0 810543 0
[pid=763810/tid=763816] ppid=763806 vsize=19108176 memory=38840 CPUtime=3582.06 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 116797 0 0 0 358153 53 0 0 20 0 20 0 151610250 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 151610257 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19108176 memory=1904 CPUtime=0.01 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 6975 0 0 0 0 1 0 0 20 0 20 0 151610258 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763891] ppid=763806 vsize=19108176 memory=1828 CPUtime=0 cores=0,2
/proc/763810/task/763891/stat : 763891 (Timer-0) S 763806 763810 763743 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 151610392 19566772224 690483 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2761932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3599.8 s]
# the end of solver process 763810 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.78 s, system=2.63185 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3599.71 s]
/proc/loadavg: 4.98 4.37 4.17 6/321 766450
/proc/meminfo: memFree=118183176/131655788 swapFree=131071996/131071996
[pid=763810] ppid=763806 vsize=19307868 memory=2762656 CPUtime=3600.25 cores=0,2
/proc/763810/stat : 763810 (java) S 763806 763810 763743 0 -1 1077936128 216082 0 0 0 359763 262 0 0 20 0 21 0 151610250 19771256832 690664 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
/proc/763810/statm: 4826967 690664 5913 1 0 811494 0
[pid=763810/tid=763816] ppid=763806 vsize=19307868 memory=2761932 CPUtime=3582.16 cores=0,2
/proc/763810/task/763816/stat : 763816 (java) R 763806 763810 763743 0 -1 4194368 116798 0 0 0 358163 53 0 0 20 0 21 0 151610250 19771256832 690664 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763857] ppid=763806 vsize=19307868 memory=0 CPUtime=0 cores=0,2
/proc/763810/task/763857/stat : 763857 (Finalizer) S 763806 763810 763743 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 151610257 19771256832 690664 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
[pid=763810/tid=763871] ppid=763806 vsize=19307868 memory=2761932 CPUtime=0.01 cores=0,2
/proc/763810/task/763871/stat : 763871 (Common-Cleaner) S 763806 763810 763743 0 -1 1077936192 6975 0 0 0 0 1 0 0 20 0 21 0 151610258 19771256832 690664 134679101440 94535008636928 94535008640624 140729624898800 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94535008648440 94535008649232 94535035252736 140729624900592 140729624900705 140729624900705 140729624907720 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2762656 KiB
Child status: 143
Real time (s): 3599.8
CPU time (s): 3600.41
CPU user time (s): 3597.78
CPU system time (s): 2.63185
CPU usage (%): 100.017
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2762656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.78
system time used= 2.63185
maximum resident set size= 2763676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217051
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 105882
involuntary context switches= 26408
# summary of solver processes directly reported to runsolver:
# pid: 763810
# total CPU time (s): 3600.41
# total CPU user time (s): 3597.78
# total CPU system time (s): 2.63185
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.1967 second user time and 36.7981 second system time
The end
Begin job on nodeC007 at 2024-07-15 00:02:28 IDJOB=4427347 IDBENCH=146783 IDSOLVER=3046 FILE ID=nodeC007/4427347-1720994536 RUNJOBID= nodeC007-1720994548-763753 SLURM_JOB_ID= 7505308 Free space on /tmp= 723772 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427347-1720994536/watcher-4427347-1720994536 -o /tmp/evaluation-result-4427347-1720994536/solver-4427347-1720994536 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720994548-763753 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4427347-1720994536.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133 RANDOM SEED=1909944225 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.148 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.154 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.132 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.130 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.176 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.130 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.128 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.146 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 129061328 kB MemAvailable: 129949860 kB Buffers: 340796 kB Cached: 1382980 kB SwapCached: 0 kB Active: 506204 kB Inactive: 1554292 kB Active(anon): 1336 kB Inactive(anon): 373116 kB Active(file): 504868 kB Inactive(file): 1181176 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 10472 kB Writeback: 0 kB AnonPages: 337180 kB Mapped: 102116 kB Shmem: 37704 kB KReclaimable: 85040 kB Slab: 178408 kB SReclaimable: 85040 kB SUnreclaim: 93368 kB KernelStack: 3588 kB PageTables: 8976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 648624 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 48960 kB HardwareCorrupted: 0 kB AnonHugePages: 208896 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 238408 kB DirectMap2M: 18540544 kB DirectMap1G: 117440512 kB Free space on /tmp at the end= 723704 MiB End job on nodeC007 at 2024-07-15 01:02:28