Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j CP 2025-06-06 | SAT (TO) | -16958 | 3600.2 | 3584.91 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/ normalized-knapPI_15_2000_1000_5_-50838.opb |
| MD5SUM | b64c15565e2e2abc4a6ec3aecc6a0814 |
| 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 | -17191 |
| Best CPU time to get the best result obtained on this benchmark | 0.173537 |
| 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 | 10000 |
| Total number of constraints | 1 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 10000 |
| Maximum length of a constraint | 10000 |
| Number of terms in the objective function | 10000 |
| Biggest coefficient in the objective function | 334 |
| Number of bits for the biggest coefficient in the objective function | 9 |
| Sum of the numbers in the objective function | 1678816 |
| Number of bits of the sum of numbers in the objective function | 21 |
| Biggest number in a constraint | 50251 |
| Number of bits of the biggest number in a constraint | 16 |
| Biggest sum of numbers in a constraint | 5076550 |
| Number of bits of the biggest sum of numbers | 23 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.07 c version PB25.v20250606 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 5.14.0-503.14.1.el9_5.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.09 c Number of processors 2 0.13/0.15 c Pseudo Boolean Optimization by upper bound 0.13/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 c - never skip resolution steps 0.13/0.15 c - Auto-division on coefficients is disabled 0.13/0.15 c - No postprocessing 0.13/0.15 c - Conflict is considered as is when resolving 0.13/0.15 c - Use constraints as they come during conflict analysis 0.13/0.15 c - Weaken first using unassigned literals 0.13/0.15 c - Bump strategy: ALWAYS_ONE 0.13/0.15 c - Bumper: ANY 0.13/0.15 c --- Begin Solver configuration --- 0.13/0.15 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@5cbc508c 0.13/0.15 c Learn all clauses as in MiniSAT 0.13/0.15 c LOGGER=java.util.logging.Logger@68fb2c38 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 c No reason simplification 0.13/0.15 c Armin Biere (Picosat) restarts strategy 0.13/0.15 c Activity based learned constraints deletion strategy with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.13/0.15 c timeout=2147483s 0.13/0.15 c DB Simplification allowed=false 0.13/0.15 c Listener: none 0.13/0.15 c --- End Solver configuration --- 0.13/0.15 c solving HOME/instance-4518140-1751546295.opb 0.13/0.15 c reading problem ... 0.13/0.16 c objective function found 0.31/0.26 c ... done. Wall clock time 0.098s. 0.31/0.26 c declared #vars 10000 0.31/0.26 c #constraints 1 0.31/0.26 c constraints type 0.31/0.26 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1 0.31/0.26 c 1 constraints processed. 0.31/0.27 c objective function length is 10000 literals 0.51/0.31 c SATISFIABLE 0.51/0.31 c OPTIMIZING... 0.51/0.31 c Got one! Elapsed wall clock time (in seconds):0.156 0.51/0.31 o -16776 0.68/0.49 c Got one! Elapsed wall clock time (in seconds):0.333 0.68/0.49 o -16777 1.26/0.71 c Got one! Elapsed wall clock time (in seconds):0.557 1.26/0.71 o -16778 1.45/0.84 c Got one! Elapsed wall clock time (in seconds):0.687 1.45/0.84 o -16779 1.64/0.98 c Got one! Elapsed wall clock time (in seconds):0.823 1.64/0.98 o -16780 2.03/1.10 c Got one! Elapsed wall clock time (in seconds):0.949 2.03/1.10 o -16781 2.20/1.20 c Got one! Elapsed wall clock time (in seconds):1.044 2.20/1.20 o -16782 2.20/1.29 c Got one! Elapsed wall clock time (in seconds):1.137 2.20/1.29 o -16783 2.35/1.39 c Got one! Elapsed wall clock time (in seconds):1.232 2.35/1.39 o -16784 2.51/1.49 c Got one! Elapsed wall clock time (in seconds):1.336 2.51/1.49 o -16785 2.82/1.62 c Got one! Elapsed wall clock time (in seconds):1.468 2.82/1.62 o -16786 3.01/1.74 c Got one! Elapsed wall clock time (in seconds):1.581 3.01/1.74 o -16787 3.19/1.87 c Got one! Elapsed wall clock time (in seconds):1.713 3.19/1.87 o -16788 3.52/2.01 c Got one! Elapsed wall clock time (in seconds):1.861 3.52/2.01 o -16789 3.70/2.19 c Got one! Elapsed wall clock time (in seconds):2.033 3.70/2.19 o -16790 3.99/2.33 c Got one! Elapsed wall clock time (in seconds):2.177 3.99/2.33 o -16791 4.18/2.47 c Got one! Elapsed wall clock time (in seconds):2.315 4.18/2.47 o -16792 4.51/2.63 c Got one! Elapsed wall clock time (in seconds):2.473 4.51/2.63 o -16793 4.83/2.80 c Got one! Elapsed wall clock time (in seconds):2.651 4.83/2.80 o -16794 4.99/2.96 c Got one! Elapsed wall clock time (in seconds):2.803 4.99/2.96 o -16795 5.10/3.09 c Got one! Elapsed wall clock time (in seconds):2.941 5.10/3.09 o -16796 5.38/3.25 c Got one! Elapsed wall clock time (in seconds):3.097 5.38/3.25 o -16797 5.75/3.57 c Got one! Elapsed wall clock time (in seconds):3.42 5.75/3.57 o -16798 5.97/3.71 c Got one! Elapsed wall clock time (in seconds):3.557 5.97/3.71 o -16799 6.09/3.88 c Got one! Elapsed wall clock time (in seconds):3.731 6.09/3.89 o -16800 6.31/4.05 c Got one! Elapsed wall clock time (in seconds):3.9 6.31/4.05 o -16801 6.51/4.22 c Got one! Elapsed wall clock time (in seconds):4.062 6.51/4.22 o -16802 6.62/4.39 c Got one! Elapsed wall clock time (in seconds):4.233 6.62/4.39 o -16803 6.87/4.58 c Got one! Elapsed wall clock time (in seconds):4.426 6.87/4.58 o -16804 7.16/4.79 c Got one! Elapsed wall clock time (in seconds):4.64 7.16/4.79 o -16805 7.42/4.98 c Got one! Elapsed wall clock time (in seconds):4.831 7.42/4.98 o -16806 7.62/5.19 c Got one! Elapsed wall clock time (in seconds):5.037 7.62/5.19 o -16807 7.91/5.47 c Got one! Elapsed wall clock time (in seconds):5.313 7.91/5.47 o -16808 8.33/5.82 c Got one! Elapsed wall clock time (in seconds):5.67 8.33/5.82 o -16809 8.69/6.17 c Got one! Elapsed wall clock time (in seconds):6.019 8.69/6.17 o -16810 9.01/6.41 c Got one! Elapsed wall clock time (in seconds):6.257 9.01/6.41 o -16811 9.39/6.72 c Got one! Elapsed wall clock time (in seconds):6.562 9.39/6.72 o -16812 9.76/7.08 c Got one! Elapsed wall clock time (in seconds):6.922 9.76/7.08 o -16813 10.05/7.33 c Got one! Elapsed wall clock time (in seconds):7.177 10.05/7.33 o -16814 10.36/7.68 c Got one! Elapsed wall clock time (in seconds):7.529 10.36/7.68 o -16815 10.78/8.08 c Got one! Elapsed wall clock time (in seconds):7.922 10.78/8.08 o -16816 11.23/8.48 c Got one! Elapsed wall clock time (in seconds):8.328 11.23/8.48 o -16817 11.63/8.85 c Got one! Elapsed wall clock time (in seconds):8.701 11.63/8.85 o -16818 12.03/9.29 c Got one! Elapsed wall clock time (in seconds):9.136 12.03/9.29 o -16819 12.53/9.74 c Got one! Elapsed wall clock time (in seconds):9.589 12.53/9.74 o -16820 12.94/10.19 c Got one! Elapsed wall clock time (in seconds):10.034 12.94/10.19 o -16821 13.42/10.66 c Got one! Elapsed wall clock time (in seconds):10.501 13.42/10.66 o -16822 13.92/11.15 c Got one! Elapsed wall clock time (in seconds):11.0 13.92/11.15 o -16823 14.24/11.49 c Got one! Elapsed wall clock time (in seconds):11.341 14.24/11.50 o -16824 14.74/11.90 c Got one! Elapsed wall clock time (in seconds):11.746 14.74/11.90 o -16825 15.30/12.44 c Got one! Elapsed wall clock time (in seconds):12.285 15.30/12.44 o -16826 15.60/12.77 c Got one! Elapsed wall clock time (in seconds):12.621 15.60/12.77 o -16827 402.93/400.15 c Got one! Elapsed wall clock time (in seconds):399.999 402.93/400.15 o -16828 403.63/400.81 c Got one! Elapsed wall clock time (in seconds):400.66 403.63/400.81 o -16829 404.32/401.55 c Got one! Elapsed wall clock time (in seconds):401.397 404.32/401.55 o -16830 405.02/402.26 c Got one! Elapsed wall clock time (in seconds):402.107 405.02/402.26 o -16831 405.83/403.05 c Got one! Elapsed wall clock time (in seconds):402.9 405.83/403.05 o -16832 406.64/403.83 c Got one! Elapsed wall clock time (in seconds):403.673 406.64/403.83 o -16833 407.51/404.64 c Got one! Elapsed wall clock time (in seconds):404.485 407.51/404.64 o -16834 408.20/405.30 c Got one! Elapsed wall clock time (in seconds):405.15 408.20/405.30 o -16835 408.80/405.97 c Got one! Elapsed wall clock time (in seconds):405.815 408.80/405.97 o -16836 409.50/406.65 c Got one! Elapsed wall clock time (in seconds):406.496 409.50/406.65 o -16837 410.40/407.54 c Got one! Elapsed wall clock time (in seconds):407.384 410.40/407.54 o -16838 411.21/408.36 c Got one! Elapsed wall clock time (in seconds):408.204 411.21/408.36 o -16839 411.70/408.83 c Got one! Elapsed wall clock time (in seconds):408.674 411.70/408.83 o -16843 412.62/409.62 c Got one! Elapsed wall clock time (in seconds):409.471 412.62/409.62 o -16844 413.21/410.28 c Got one! Elapsed wall clock time (in seconds):410.123 413.21/410.28 o -16845 413.91/411.00 c Got one! Elapsed wall clock time (in seconds):410.846 413.91/411.00 o -16846 414.51/411.57 c Got one! Elapsed wall clock time (in seconds):411.414 414.51/411.57 o -16847 415.21/412.22 c Got one! Elapsed wall clock time (in seconds):412.069 415.21/412.22 o -16848 415.96/412.93 c Got one! Elapsed wall clock time (in seconds):412.778 415.96/412.93 o -16849 416.58/413.52 c Got one! Elapsed wall clock time (in seconds):413.369 416.58/413.52 o -16850 417.19/414.11 c Got one! Elapsed wall clock time (in seconds):413.957 417.19/414.11 o -16851 417.78/414.72 c Got one! Elapsed wall clock time (in seconds):414.563 417.78/414.72 o -16852 418.38/415.32 c Got one! Elapsed wall clock time (in seconds):415.17 418.38/415.32 o -16853 418.98/415.94 c Got one! Elapsed wall clock time (in seconds):415.782 418.98/415.94 o -16854 419.74/416.64 c Got one! Elapsed wall clock time (in seconds):416.482 419.74/416.64 o -16855 420.55/417.49 c Got one! Elapsed wall clock time (in seconds):417.333 420.55/417.49 o -16856 421.35/418.28 c Got one! Elapsed wall clock time (in seconds):418.123 421.35/418.28 o -16857 421.74/418.66 c Got one! Elapsed wall clock time (in seconds):418.502 421.74/418.66 o -16861 437.38/434.24 c Got one! Elapsed wall clock time (in seconds):434.086 437.38/434.24 o -16865 438.32/435.11 c Got one! Elapsed wall clock time (in seconds):434.957 438.32/435.11 o -16866 439.02/435.82 c Got one! Elapsed wall clock time (in seconds):435.666 439.02/435.82 o -16867 439.72/436.51 c Got one! Elapsed wall clock time (in seconds):436.359 439.72/436.51 o -16868 440.49/437.28 c Got one! Elapsed wall clock time (in seconds):437.131 440.49/437.28 o -16869 441.19/437.95 c Got one! Elapsed wall clock time (in seconds):437.796 441.19/437.95 o -16870 441.89/438.61 c Got one! Elapsed wall clock time (in seconds):438.456 441.89/438.61 o -16871 442.49/439.27 c Got one! Elapsed wall clock time (in seconds):439.117 442.49/439.27 o -16872 443.19/439.95 c Got one! Elapsed wall clock time (in seconds):439.792 443.19/439.95 o -16873 444.15/440.88 c Got one! Elapsed wall clock time (in seconds):440.725 444.15/440.88 o -16874 444.74/441.43 c Got one! Elapsed wall clock time (in seconds):441.277 444.74/441.43 o -16875 523.24/520.05 c Got one! Elapsed wall clock time (in seconds):519.9 523.24/520.05 o -16876 567.15/564.07 c Got one! Elapsed wall clock time (in seconds):563.917 567.15/564.07 o -16883 575.82/572.73 c Got one! Elapsed wall clock time (in seconds):572.573 575.82/572.73 o -16884 576.58/573.44 c Got one! Elapsed wall clock time (in seconds):573.29 576.58/573.44 o -16885 577.18/574.08 c Got one! Elapsed wall clock time (in seconds):573.929 577.18/574.08 o -16886 577.88/574.71 c Got one! Elapsed wall clock time (in seconds):574.559 577.88/574.71 o -16887 578.47/575.33 c Got one! Elapsed wall clock time (in seconds):575.18 578.47/575.33 o -16888 579.13/576.00 c Got one! Elapsed wall clock time (in seconds):575.841 579.13/576.00 o -16889 579.73/576.58 c Got one! Elapsed wall clock time (in seconds):576.428 579.73/576.58 o -16890 580.38/577.16 c Got one! Elapsed wall clock time (in seconds):577.006 580.38/577.16 o -16891 580.99/577.74 c Got one! Elapsed wall clock time (in seconds):577.587 580.99/577.74 o -16892 581.58/578.33 c Got one! Elapsed wall clock time (in seconds):578.172 581.58/578.33 o -16893 582.35/579.08 c Got one! Elapsed wall clock time (in seconds):578.926 582.35/579.08 o -16894 726.29/723.04 c Got one! Elapsed wall clock time (in seconds):722.888 726.29/723.04 o -16895 1067.33/1062.85 c Got one! Elapsed wall clock time (in seconds):1062.697 1067.33/1062.85 o -16898 1071.15/1066.54 c Got one! Elapsed wall clock time (in seconds):1066.382 1071.15/1066.54 o -16899 1074.16/1069.54 c Got one! Elapsed wall clock time (in seconds):1069.382 1074.16/1069.54 o -16900 1078.31/1073.68 c Got one! Elapsed wall clock time (in seconds):1073.531 1078.31/1073.68 o -16901 1081.57/1076.81 c Got one! Elapsed wall clock time (in seconds):1076.652 1081.57/1076.81 o -16902 1084.56/1079.87 c Got one! Elapsed wall clock time (in seconds):1079.715 1084.56/1079.87 o -16903 1087.62/1082.83 c Got one! Elapsed wall clock time (in seconds):1082.679 1087.62/1082.83 o -16904 1090.59/1085.72 c Got one! Elapsed wall clock time (in seconds):1085.569 1090.59/1085.72 o -16905 1093.28/1088.47 c Got one! Elapsed wall clock time (in seconds):1088.318 1093.28/1088.47 o -16906 1096.16/1091.21 c Got one! Elapsed wall clock time (in seconds):1091.059 1096.16/1091.21 o -16907 1098.66/1093.78 c Got one! Elapsed wall clock time (in seconds):1093.631 1098.66/1093.78 o -16908 1101.63/1096.68 c Got one! Elapsed wall clock time (in seconds):1096.525 1101.63/1096.68 o -16909 1104.03/1099.05 c Got one! Elapsed wall clock time (in seconds):1098.898 1104.03/1099.05 o -16910 1347.18/1342.26 c Got one! Elapsed wall clock time (in seconds):1342.105 1347.18/1342.26 o -16913 1352.57/1347.58 c Got one! Elapsed wall clock time (in seconds):1347.43 1352.57/1347.58 o -16914 1357.12/1352.08 c Got one! Elapsed wall clock time (in seconds):1351.925 1357.12/1352.08 o -16915 1361.65/1356.54 c Got one! Elapsed wall clock time (in seconds):1356.388 1361.65/1356.54 o -16916 1365.89/1360.75 c Got one! Elapsed wall clock time (in seconds):1360.593 1365.89/1360.75 o -16917 1369.88/1364.75 c Got one! Elapsed wall clock time (in seconds):1364.598 1369.88/1364.75 o -16918 1373.82/1368.68 c Got one! Elapsed wall clock time (in seconds):1368.528 1373.82/1368.68 o -16919 1377.67/1372.48 c Got one! Elapsed wall clock time (in seconds):1372.329 1377.67/1372.48 o -16920 1381.37/1376.12 c Got one! Elapsed wall clock time (in seconds):1375.964 1381.37/1376.12 o -16921 1384.91/1379.69 c Got one! Elapsed wall clock time (in seconds):1379.538 1384.91/1379.69 o -16922 1388.47/1383.16 c Got one! Elapsed wall clock time (in seconds):1383.006 1388.47/1383.16 o -16923 1392.25/1386.92 c Got one! Elapsed wall clock time (in seconds):1386.765 1392.25/1386.92 o -16924 1397.30/1391.95 c Got one! Elapsed wall clock time (in seconds):1391.792 1397.30/1391.95 o -16925 1401.95/1396.50 c Got one! Elapsed wall clock time (in seconds):1396.345 1401.95/1396.50 o -16926 1406.80/1401.38 c Got one! Elapsed wall clock time (in seconds):1401.225 1406.80/1401.38 o -16927 1411.25/1405.71 c Got one! Elapsed wall clock time (in seconds):1405.558 1411.25/1405.71 o -16928 1415.81/1410.28 c Got one! Elapsed wall clock time (in seconds):1410.13 1415.81/1410.28 o -16929 1419.90/1414.30 c Got one! Elapsed wall clock time (in seconds):1414.146 1419.90/1414.30 o -16930 1424.15/1418.51 c Got one! Elapsed wall clock time (in seconds):1418.358 1424.15/1418.51 o -16931 1428.02/1422.38 c Got one! Elapsed wall clock time (in seconds):1422.224 1428.02/1422.38 o -16932 1432.06/1426.31 c Got one! Elapsed wall clock time (in seconds):1426.16 1432.06/1426.31 o -16933 1435.76/1430.02 c Got one! Elapsed wall clock time (in seconds):1429.868 1435.76/1430.02 o -16934 1440.09/1434.30 c Got one! Elapsed wall clock time (in seconds):1434.145 1440.09/1434.30 o -16936 1445.33/1439.58 c Got one! Elapsed wall clock time (in seconds):1439.431 1445.33/1439.58 o -16937 1449.77/1443.96 c Got one! Elapsed wall clock time (in seconds):1443.809 1449.77/1443.96 o -16938 1454.11/1448.20 c Got one! Elapsed wall clock time (in seconds):1448.047 1454.11/1448.20 o -16939 1458.24/1452.31 c Got one! Elapsed wall clock time (in seconds):1452.153 1458.24/1452.31 o -16940 1462.14/1456.22 c Got one! Elapsed wall clock time (in seconds):1456.071 1462.14/1456.22 o -16941 1465.99/1460.05 c Got one! Elapsed wall clock time (in seconds):1459.893 1465.99/1460.05 o -16942 1469.72/1463.71 c Got one! Elapsed wall clock time (in seconds):1463.554 1469.72/1463.71 o -16943 1473.76/1467.71 c Got one! Elapsed wall clock time (in seconds):1467.558 1473.76/1467.71 o -16944 1476.95/1470.94 c Got one! Elapsed wall clock time (in seconds):1470.791 1476.95/1470.94 o -16946 1545.46/1539.53 c Got one! Elapsed wall clock time (in seconds):1539.371 1545.46/1539.53 o -16947 1550.29/1544.31 c Got one! Elapsed wall clock time (in seconds):1544.153 1550.29/1544.31 o -16948 1554.93/1548.99 c Got one! Elapsed wall clock time (in seconds):1548.838 1554.93/1548.99 o -16949 1559.18/1553.14 c Got one! Elapsed wall clock time (in seconds):1552.987 1559.18/1553.14 o -16953 2124.40/2114.63 c Got one! Elapsed wall clock time (in seconds):2114.48 2124.40/2114.63 o -16958 3600.02/3584.81 c starts : 163 3600.02/3584.83 c conflicts : 987 3600.02/3584.83 c decisions : 885958 3600.02/3584.83 c propagations : 2602977 3600.02/3584.83 c inspects : 316547124 3600.02/3584.83 c shortcuts : 0 3600.02/3584.83 c learnt literals : 0 3600.02/3584.83 c learnt binary clauses : 0 3600.02/3584.83 c learnt ternary clauses : 0 3600.02/3584.83 c learnt constraints : 986 3600.02/3584.83 c ignored constraints : 0 3600.02/3584.83 c root simplifications : 0 3600.02/3584.83 c removed literals (reason simplification) : 0 3600.02/3584.83 c reason swapping (by a shorter reason) : 0 3600.02/3584.83 c Calls to reduceDB : 0 3600.02/3584.83 c Number of update (reduction) of LBD : 0 3600.02/3584.83 c Imported unit clauses : 0 3600.02/3584.83 c No decision after first conflict : false 3600.02/3584.83 c number of reductions to clauses (during analyze) : 0 3600.02/3584.83 c number of learned constraints concerned by reduction : 0 3600.02/3584.83 c number of learning phase by resolution : 0 3600.02/3584.83 c number of learning phase by cutting planes : 0 3600.02/3584.83 c number of rounding to 1 operations : 0 3600.02/3584.83 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.02/3584.83 c number of reductions of the coefficients by power 2 : 0 3600.02/3584.83 c number of right shift for reduction by power 2 : 0 3600.02/3584.83 c number of reductions of the coefficients by GCD over coefficients : 0 3600.02/3584.83 c number of ending skipping : 0 3600.02/3584.83 c number of internal skipping : 0 3600.02/3584.83 c number of derivation steps : 7398 3600.02/3584.83 c number of skipped derivation steps : 0 3600.02/3584.83 c number of remaining unassigned : 3156 3600.02/3584.83 c number of remaining assigned : 31258746 3600.02/3584.83 c number of falsified literals weakened from reason : 0 3600.02/3584.83 c number of falsified literals weakened from conflict : 0 3600.02/3584.83 c time for arithmetic operations : 2238286358 3600.02/3584.84 c minimum degree of deleted constraints : null 3600.02/3584.84 c maximum degree of deleted constraints : null 3600.02/3584.84 c number of deleted constraints : 0 3600.02/3584.84 c speed (assignments/second) : 726.1640068315256 3600.02/3584.84 c non guided choices : 0 3600.02/3584.84 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 13 3600.02/3584.84 c learnt constraints type org.sat4j.pb.constraints.pb.MaxWatchPb : 973 3600.02/3584.84 s SATISFIABLE 3600.02/3584.84 c Found 155 solution(s) 3600.02/3584.85 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 x736 -x737 x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 x808 x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 x972 -x973 -x974 -x975 x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 x989 -x990 -x991 -x992 x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 x1306 -x1307 -x1308 x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 -x1403 -x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 x1516 -x1517 -x1518 -x1519 x1520 -x1521 -x1522 -x1523 x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 x1539 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 x1641 -x1642 -x1643 x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 x1688 -x1689 -x1690 -x1691 -x1692 -x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 x2075 -x2076 x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 x2335 -x2336 -x2337 -x2338 -x2339 x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 x2434 x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 x2649 -x2650 -x2651 -x2652 -x2653 -x2654 x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 x2747 -x2748 -x2749 -x2750 x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 x3096 -x3097 -x3098 -x3099 -x3100 -x3101 x3102 -x3103 x3104 -x3105 -x3106 x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 -x3118 -x3119 x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 x3265 -x3266 -x3267 x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 x3303 -x3304 -x3305 -x3306 -x3307 -x3308 x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 -x3387 -x3388 -x3389 x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 x3455 -x3456 -x3457 x3458 -x3459 -x3460 -x3461 -x3462 -x3463 x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 x3542 -x3543 -x3544 -x3545 x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 x3851 x3852 -x3853 -x3854 x3855 -x3856 -x3857 x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 x3927 -x3928 -x3929 x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 x3982 -x3983 -x3984 -x3985 x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 x4007 -x4008 -x4009 -x4010 -x4011 x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 x4033 -x4034 x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 x4072 x4073 -x4074 -x4075 -x4076 -x4077 -x4078 x4079 x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 x4266 -x4267 x4268 -x4269 x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 x4293 -x4294 x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 x4336 -x4337 x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 x4396 x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 x4492 -x4493 -x4494 -x4495 -x4496 x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 x4582 x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 x4970 -x4971 -x4972 x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 x5045 -x5046 -x5047 -x5048 -x5049 -x5050 x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 x5119 -x5120 x5121 x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 x5253 x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 x5279 -x5280 -x5281 x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 x5360 -x5361 -x5362 -x5363 -x5364 -x5365 x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 x5394 -x5395 x5396 -x5397 -x5398 -x5399 -x5400 x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 x5606 -x5607 -x5608 x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 x5619 -x5620 -x5621 -x5622 -x5623 -x5624 x5625 -x5626 x5627 -x5628 -x5629 -x5630 x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 x5711 x5712 -x5713 -x5714 x5715 -x5716 -x5717 -x5718 -x5719 x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 x5740 x5741 -x5742 -x5743 -x5744 -x5745 -x5746 x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 x5781 -x5782 -x5783 -x5784 -x5785 x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 x6182 -x6183 -x6184 -x6185 -x6186 x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 x6649 x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 x6976 x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 x7123 -x7124 x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 x7241 -x7242 -x7243 -x7244 x7245 x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 x7398 -x7399 x7400 -x7401 -x7402 -x7403 -x7404 x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 x7428 x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 x7495 -x7496 -x7497 x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 x7511 -x7512 -x7513 -x7514 -x7515 x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 x7611 -x7612 -x7613 x7614 -x7615 -x7616 x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 x7730 x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 x7879 x7880 -x7881 -x7882 -x7883 x7884 -x7885 -x7886 -x7887 -x7888 x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 x7906 x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 x7934 x7935 -x7936 -x7937 -x7938 x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 x7946 -x7947 x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 x8010 x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 x8031 -x8032 -x8033 -x8034 -x8035 x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 x8044 -x8045 x8046 -x8047 -x8048 -x8049 -x8050 x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 x8099 x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 x8143 x8144 -x8145 -x8146 -x8147 -x8148 -x8149 x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 x8357 x8358 x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 x8585 -x8586 -x8587 -x8588 -x8589 -x8590 x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 x8642 -x8643 -x8644 -x8645 -x8646 -x8647 x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 x8969 -x8970 -x8971 x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 x9172 -x9173 -x9174 -x9175 -x9176 -x9177 x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 x9270 -x9271 -x9272 x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 x9396 -x9397 x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 x9426 -x9427 -x9428 -x9429 x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 x9536 -x9537 -x9538 -x9539 -x9540 x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 x9600 -x9601 -x9602 -x9603 x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 x9644 -x9645 -x9646 -x9647 x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 x9822 -x9823 -x9824 -x9825 -x9826 x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 3600.02/3584.88 c objective function=-16958 3600.02/3584.88 c Total wall clock time (in seconds): 3584.726
OK -16958
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: 63665 MiB (60543 MiB free)
memory of node 1: 64507 MiB (58330 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4518140-1751546295/watcher-4518140-1751546295 -o /tmp/evaluation-result-4518140-1751546295/solver-4518140-1751546295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751542700-77237 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4518140-1751546295.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77727, runsolver pid=77724
[startup+0.10006 s]*
/proc/loadavg: 4.17 4.16 4.10 5/338 77745
/proc/meminfo: memFree=121707820/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=18930384 memory=57908 CPUtime=0.13 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 6581 0 0 0 11 2 0 0 20 0 18 0 70309397 19384713216 14477 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4732596 14477 5358 1 0 547619 0
[pid=77727/tid=77729] ppid=77724 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 5075 0 0 0 6 1 0 0 20 0 18 0 70309398 19384713216 14477 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70309400 19384713216 14477 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=18930384 memory=61784027586760 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70309401 19384713216 14477 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57908 KiB
[startup+0.205781 s]*
/proc/loadavg: 4.17 4.16 4.10 6/338 77745
/proc/meminfo: memFree=121697612/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=18930384 memory=68256 CPUtime=0.31 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 7075 0 0 0 29 2 0 0 20 0 18 0 70309397 19384713216 17064 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4732596 17064 5422 1 0 547953 0
[pid=77727/tid=77729] ppid=77724 vsize=18930384 memory=4026728732 CPUtime=0.17 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 5320 0 0 0 16 1 0 0 20 0 18 0 70309398 19384713216 17064 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 70309400 19384713216 17064 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 70309401 19384713216 17064 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68256 KiB
[startup+0.305781 s]*
/proc/loadavg: 4.17 4.16 4.10 6/339 77746
/proc/meminfo: memFree=121681356/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=18996948 memory=84868 CPUtime=0.51 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 9285 0 0 0 48 3 0 0 20 0 19 0 70309397 19452874752 21217 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4749237 21217 5486 1 0 549728 0
[pid=77727/tid=77729] ppid=77724 vsize=18996948 memory=-6000919489936581992 CPUtime=0.26 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 5465 0 0 0 24 2 0 0 20 0 19 0 70309398 19452874752 21217 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70309400 19452874752 21217 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70309401 19452874752 21217 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70309425 19452874752 21217 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 84868 KiB
[startup+0.700228 s]
/proc/loadavg: 4.17 4.16 4.10 6/339 77746
/proc/meminfo: memFree=121656844/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=18996948 memory=123072 CPUtime=1.26 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 12583 0 0 0 122 4 0 0 20 0 19 0 70309397 19452874752 30768 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4749237 30768 5486 1 0 551886 0
[pid=77727/tid=77729] ppid=77724 vsize=18996948 memory=18688 CPUtime=0.63 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 5504 0 0 0 61 2 0 0 20 0 19 0 70309398 19452874752 30768 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 70309400 19452874752 30768 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 70309401 19452874752 30768 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=18996948 memory=4760 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 70309425 19452874752 30768 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 123072 KiB
[startup+1.50024 s]
/proc/loadavg: 4.17 4.16 4.10 6/339 77746
/proc/meminfo: memFree=121611804/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=181328 CPUtime=2.65 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 16691 0 0 0 259 6 0 0 20 0 20 0 70309397 19521036288 45332 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 45332 5550 1 0 552599 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=10880 CPUtime=1.41 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 6030 0 0 0 138 3 0 0 20 0 20 0 70309398 19521036288 45332 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 45332 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 45332 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 45332 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 181328 KiB
[startup+3.10568 s]
/proc/loadavg: 4.24 4.17 4.11 7/340 77747
/proc/meminfo: memFree=121562436/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=208660 CPUtime=5.28 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 19598 0 0 0 521 7 0 0 20 0 20 0 70309397 19521036288 52165 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 52165 5550 1 0 552601 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=10880 CPUtime=2.95 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 6485 0 0 0 292 3 0 0 20 0 20 0 70309398 19521036288 52165 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=-6000919489936581992 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 52165 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 52165 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 52165 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 208660 KiB
[startup+6.30038 s]
/proc/loadavg: 4.24 4.17 4.11 5/340 77747
/proc/meminfo: memFree=121537860/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=231756 CPUtime=8.91 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 21853 0 0 0 883 8 0 0 20 0 20 0 70309397 19521036288 57939 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 57939 5550 1 0 552607 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=0 CPUtime=6.06 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 7160 0 0 0 603 3 0 0 20 0 20 0 70309398 19521036288 57939 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=3328 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 57939 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 57939 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=193692 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 57939 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 8.91 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 231756 KiB
[startup+12.7002 s]
/proc/loadavg: 4.36 4.20 4.12 6/339 77946
/proc/meminfo: memFree=125627868/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=361000 CPUtime=15.6 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 29117 0 0 0 1547 13 0 0 20 0 20 0 70309397 19521036288 90250 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 90250 5550 1 0 552607 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=193692 CPUtime=12.38 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 8609 0 0 0 1232 6 0 0 20 0 20 0 70309398 19521036288 90250 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=10880 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 90250 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 90250 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 90250 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 15.6 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 361000 KiB
[startup+25.5002 s]
/proc/loadavg: 4.45 4.23 4.13 5/339 78013
/proc/meminfo: memFree=125092712/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=362024 CPUtime=28.84 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 30287 0 0 0 2870 14 0 0 20 0 20 0 70309397 19521036288 90506 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 90506 5550 1 0 552607 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=5760 CPUtime=25.14 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 9095 0 0 0 2508 6 0 0 20 0 20 0 70309398 19521036288 90506 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=362024 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 90506 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=361256 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 90506 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 90506 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 28.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 362024 KiB
[startup+51.1053 s]
/proc/loadavg: 4.36 4.23 4.13 5/338 78013
/proc/meminfo: memFree=124764672/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=413420 CPUtime=54.51 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 33237 0 0 0 5436 15 0 0 20 0 20 0 70309397 19521036288 103355 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 103355 5550 1 0 552608 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=413420 CPUtime=50.65 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 10110 0 0 0 5059 6 0 0 20 0 20 0 70309398 19521036288 103355 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=413420 CPUtime=0 cores=0,2
################
# More data... #
################
/proc/meminfo: memFree=114913996/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3236.29 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 106349 0 0 0 323526 103 0 0 20 0 20 0 70309397 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 648771 5550 1 0 660464 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3208 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 45212 0 0 0 320754 46 0 0 20 0 20 0 70309398 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=2595084 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 1544 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 3236.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2595084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.25 4.24 6/338 78236
/proc/meminfo: memFree=114903580/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3296.17 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 106590 0 0 0 329513 104 0 0 20 0 20 0 70309397 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 648771 5550 1 0 660464 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3267.87 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 45405 0 0 0 326740 47 0 0 20 0 20 0 70309398 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=2595084 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 1551 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=2595084 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 3296.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2595084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.23 4.24 5/338 78238
/proc/meminfo: memFree=114890932/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3357.99 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 108097 0 0 0 335694 105 0 0 20 0 20 0 70309397 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 648771 5550 1 0 660464 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3327.66 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 46133 0 0 0 332719 47 0 0 20 0 20 0 70309398 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=2595084 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 1552 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 3357.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2595084 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.22 4.23 4/315 78278
/proc/meminfo: memFree=120563872/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3417.86 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 108605 0 0 0 341680 106 0 0 20 0 20 0 70309397 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 648771 5550 1 0 660464 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3387.53 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 46634 0 0 0 338705 48 0 0 20 0 20 0 70309398 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 1552 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=18688 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 3417.86 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2595084 KiB
[startup+3462.3 s]
/proc/loadavg: 3.45 4.01 4.16 4/315 78284
/proc/meminfo: memFree=120547492/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3477.73 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 108930 0 0 0 347667 106 0 0 20 0 20 0 70309397 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 648771 5550 1 0 660464 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=18688 CPUtime=3447.39 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 46882 0 0 0 344691 48 0 0 20 0 20 0 70309398 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=2595084 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 1602 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=2595084 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 3477.73 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2595084 KiB
[startup+3522.3 s]
/proc/loadavg: 3.27 3.85 4.09 4/315 78286
/proc/meminfo: memFree=120539412/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3537.65 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 110114 0 0 0 353658 107 0 0 20 0 20 0 70309397 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 648771 5550 1 0 660464 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3507.2 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 47588 0 0 0 350672 48 0 0 20 0 20 0 70309398 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=2595084 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 1603 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=2595084 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 3537.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2595084 KiB
[startup+3582.3 s]
/proc/loadavg: 3.16 3.71 4.03 4/315 78288
/proc/meminfo: memFree=120539508/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3597.52 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 111024 0 0 0 359644 108 0 0 20 0 20 0 70309397 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 648771 5550 1 0 660464 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3567.07 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 48493 0 0 0 356658 49 0 0 20 0 20 0 70309398 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=2595084 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 1604 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 3597.52 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2595084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3584.8 s]
/proc/loadavg: 3.14 3.70 4.02 4/315 78288
/proc/meminfo: memFree=120539572/131250000 swapFree=33010416/33010684
[pid=77727] ppid=77724 vsize=19063512 memory=2595084 CPUtime=3600.02 cores=0,2
/proc/77727/stat : 77727 (java) S 77724 77727 76600 0 -1 4194304 111033 0 0 0 359894 108 0 0 20 0 20 0 70309397 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
/proc/77727/statm: 4765878 648771 5550 1 0 660464 0
[pid=77727/tid=77729] ppid=77724 vsize=19063512 memory=-6000919489936581992 CPUtime=3569.57 cores=0,2
/proc/77727/task/77729/stat : 77729 (java) R 77724 77727 76600 0 -1 4194368 48502 0 0 0 356908 49 0 0 20 0 20 0 70309398 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77738] ppid=77724 vsize=19063512 memory=12672 CPUtime=0 cores=0,2
/proc/77727/task/77738/stat : 77738 (Finalizer) S 77724 77727 76600 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 70309400 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77745] ppid=77724 vsize=19063512 memory=10112 CPUtime=0 cores=0,2
/proc/77727/task/77745/stat : 77745 (Common-Cleaner) S 77724 77727 76600 0 -1 4194368 1604 0 0 0 0 0 0 0 20 0 20 0 70309401 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
[pid=77727/tid=77746] ppid=77724 vsize=19063512 memory=-6000919489936581992 CPUtime=0 cores=0,2
/proc/77727/task/77746/stat : 77746 (Timer-0) S 77724 77727 76600 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 70309425 19521036288 648771 18446744073709551615 93884392538112 93884392541808 140725608239808 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 93884392549624 93884392550416 93884403134464 140725608241534 140725608241638 140725608241638 140725608247240 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2595084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3584.91 s]
# the end of solver process 77727 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3599.11 s, system=1.09108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3584.91
CPU time (s): 3600.2
CPU user time (s): 3599.11
CPU system time (s): 1.09108
CPU usage (%): 100.426
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2599360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.11
system time used= 1.09108
maximum resident set size= 2599360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112827
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 119984
involuntary context switches= 10609
# summary of solver processes directly reported to runsolver:
# pid: 77727
# total CPU time (s): 3600.2
# total CPU user time (s): 3599.11
# total CPU system time (s): 1.09108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.98102 second user time and 14.8338 second system time
The end
Begin job on nodeC027 at 2025-07-03 14:38:15 IDJOB=4518140 IDBENCH=176392 IDSOLVER=3361 FILE ID=nodeC027/4518140-1751546295 RUNJOBID= nodeC027-1751542700-77237 SLURM_JOB_ID= 9598693 Free space on /tmp= 431128 MiB SOLVER NAME= Sat4j CP 2025-06-06 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/profit_ceiling/normalized-knapPI_15_2000_1000_5_-50838.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanes BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4518140-1751546295/watcher-4518140-1751546295 -o /tmp/evaluation-result-4518140-1751546295/solver-4518140-1751546295 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751542700-77237 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4518140-1751546295.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= b64c15565e2e2abc4a6ec3aecc6a0814 RANDOM SEED=705399582 nodeC027 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024 /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 : 0xb00002a cpu MHz : 3600.639 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 0xb00002a cpu MHz : 3599.664 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 0xb00002a cpu MHz : 3599.648 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 0xb00002a cpu MHz : 3557.795 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 0xb00002a cpu MHz : 3599.653 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 0xb00002a cpu MHz : 3599.647 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 0xb00002a cpu MHz : 3603.412 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 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 : 0xb00002a cpu MHz : 3700.000 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data bogomips : 6999.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131250000 kB MemFree: 121726468 kB MemAvailable: 121973908 kB Buffers: 2488 kB Cached: 1046864 kB SwapCached: 12 kB Active: 8410416 kB Inactive: 506324 kB Active(anon): 7882652 kB Inactive(anon): 2792 kB Active(file): 527764 kB Inactive(file): 503532 kB Unevictable: 3072 kB Mlocked: 0 kB SwapTotal: 33010684 kB SwapFree: 33010416 kB Zswap: 0 kB Zswapped: 0 kB Dirty: 1032 kB Writeback: 0 kB AnonPages: 7870456 kB Mapped: 123992 kB Shmem: 18056 kB KReclaimable: 110364 kB Slab: 199716 kB SReclaimable: 110364 kB SUnreclaim: 89352 kB KernelStack: 5184 kB PageTables: 19072 kB SecPageTables: 0 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 98635684 kB Committed_AS: 9888636 kB VmallocTotal: 34359738367 kB VmallocUsed: 151464 kB VmallocChunk: 0 kB Percpu: 3776 kB HardwareCorrupted: 0 kB AnonHugePages: 7620608 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB CmaTotal: 0 kB CmaFree: 0 kB Unaccepted: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 203476 kB DirectMap2M: 9005056 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 431128 MiB End job on nodeC027 at 2025-07-03 15:38:00