Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j Partial RoundingSAT 2024 2024-07-12 | MSAT (TO) | 3600.15 | 3602.98 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo |
| MD5SUM | d9ce9dadf7577308886436a03b54d963 |
| Bench Category | PARTIAL-LIN (WBO, both soft and hard constraints, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 2 |
| Best CPU time to get the best result obtained on this benchmark | 16.4119 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 231 |
| Total number of constraints | 2707 |
| Number of soft constraints | 1802 |
| Number of constraints which are clauses | 2684 |
| Number of constraints which are cardinality constraints (but not clauses) | 22 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 110 |
| Top cost | 91108 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 91107 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 671 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.02/0.79 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.02/0.79 c This is free software under the dual EPL/GNU LGPL licenses. 0.02/0.79 c See www.sat4j.org for details. 0.09/0.80 c version CUSTOM.v20240707 0.09/0.81 c java.runtime.name OpenJDK Runtime Environment 0.09/0.81 c java.vm.name OpenJDK 64-Bit Server VM 0.09/0.81 c java.vm.version 22.0.1+8-16 0.09/0.81 c java.vm.vendor Oracle Corporation 0.09/0.81 c sun.arch.data.model 64 0.09/0.81 c java.version 22.0.1 0.09/0.81 c os.name Linux 0.09/0.81 c os.version 4.18.0-301.1.el8.x86_64 0.09/0.81 c os.arch amd64 0.09/0.81 c Free memory 2106806208 0.09/0.81 c Max memory 16282288128 0.09/0.81 c Total memory 2113929216 0.09/0.82 c Number of processors 2 0.09/0.88 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.88 - never skip resolution steps 0.09/0.88 - Auto-division on coefficients is disabled 0.09/0.88 - No postprocessing 0.09/0.88 - Conflict is considered as is when resolving 0.09/0.88 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.09/0.88 - Weaken first using unassigned literals 0.09/0.88 - Bump strategy: ALWAYS_ONE 0.09/0.88 - Bumper: ASSIGNED 0.09/0.88 --- Begin Solver configuration --- 0.09/0.88 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.09/0.88 Learn all clauses as in MiniSAT 0.09/0.88 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.88 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.88 No reason simplification 0.09/0.88 Armin Biere (Picosat) restarts strategy 0.09/0.88 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.09/0.88 timeout=2147483s 0.09/0.88 DB Simplification allowed=false 0.09/0.88 Listener: none 0.09/0.88 --- End Solver configuration --- 0.09/0.88 c Pseudo Boolean Optimization by upper bound 0.09/0.88 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.88 c - never skip resolution steps 0.09/0.88 c - Auto-division on coefficients is disabled 0.09/0.88 c - No postprocessing 0.09/0.88 c - Conflict is considered as is when resolving 0.09/0.88 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.09/0.88 c - Weaken first using unassigned literals 0.09/0.88 c - Bump strategy: ALWAYS_ONE 0.09/0.88 c - Bumper: ASSIGNED 0.09/0.88 c --- Begin Solver configuration --- 0.09/0.88 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.09/0.88 c Learn all clauses as in MiniSAT 0.09/0.88 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.88 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.88 c No reason simplification 0.09/0.88 c Armin Biere (Picosat) restarts strategy 0.09/0.88 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.09/0.88 c timeout=2147483s 0.09/0.88 c DB Simplification allowed=false 0.09/0.88 c Listener: none 0.09/0.88 c --- End Solver configuration --- 0.09/0.88 c solving HOME/instance-4424282-1720874152.wbo 0.09/0.88 c reading problem ... 0.28/0.96 c ... done. Wall clock time 0.084s. 0.28/0.97 c declared #vars 231 0.28/0.97 c internal #vars 2033 0.28/0.97 c #constraints 2708 0.28/0.97 c constraints type 0.28/0.97 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 90 0.28/0.97 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 9 0.28/0.97 c org.sat4j.specs.Constr$1 => 1 0.28/0.97 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 14 0.28/0.97 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2594 0.28/0.97 c 2708 constraints processed. 0.28/0.97 c objective function length is 1802 literals 0.66/1.12 c SATISFIABLE 0.66/1.12 c OPTIMIZING... 0.66/1.12 c Got one! Elapsed wall clock time (in seconds):0.244 0.66/1.12 o 10267 0.85/1.29 c Got one! Elapsed wall clock time (in seconds):0.414 0.85/1.29 o 10266 1.44/1.53 c Got one! Elapsed wall clock time (in seconds):0.646 1.44/1.53 o 10263 1.83/1.71 c Got one! Elapsed wall clock time (in seconds):0.834 1.83/1.71 o 10262 2.42/2.02 c Got one! Elapsed wall clock time (in seconds):1.139 2.42/2.02 o 10261 3.56/2.64 c Got one! Elapsed wall clock time (in seconds):1.762 3.56/2.64 o 10260 4.24/3.06 c Got one! Elapsed wall clock time (in seconds):2.179 4.24/3.07 o 10259 5.05/3.73 c Got one! Elapsed wall clock time (in seconds):2.856 5.05/3.73 o 10226 6.04/4.78 c Got one! Elapsed wall clock time (in seconds):3.9 6.04/4.78 o 10225 8.92/7.53 c Got one! Elapsed wall clock time (in seconds):6.647 8.92/7.53 o 10217 9.76/8.33 c Got one! Elapsed wall clock time (in seconds):7.456 9.76/8.33 o 10216 11.34/10.18 c Got one! Elapsed wall clock time (in seconds):9.299 11.34/10.18 o 10215 13.63/12.49 c Got one! Elapsed wall clock time (in seconds):11.608 13.63/12.49 o 10214 17.65/16.48 c Got one! Elapsed wall clock time (in seconds):15.598 17.65/16.48 o 10213 24.69/23.56 c Got one! Elapsed wall clock time (in seconds):22.68 24.69/23.56 o 10212 26.67/25.53 c Got one! Elapsed wall clock time (in seconds):24.65 26.67/25.53 o 10211 29.73/28.64 c Got one! Elapsed wall clock time (in seconds):27.757 29.73/28.64 o 10210 34.10/33.05 c Got one! Elapsed wall clock time (in seconds):32.173 34.10/33.05 o 10209 40.73/39.74 c Got one! Elapsed wall clock time (in seconds):38.867 40.73/39.75 o 10208 51.82/50.94 c Got one! Elapsed wall clock time (in seconds):50.065 51.82/50.94 o 10207 72.59/71.80 c Got one! Elapsed wall clock time (in seconds):70.926 72.59/71.80 o 10206 75.96/75.21 c Got one! Elapsed wall clock time (in seconds):74.331 75.96/75.21 o 10205 80.53/79.89 c Got one! Elapsed wall clock time (in seconds):79.013 80.53/79.89 o 10162 87.39/86.70 c Got one! Elapsed wall clock time (in seconds):85.819 87.39/86.70 o 10161 97.52/96.98 c Got one! Elapsed wall clock time (in seconds):96.103 97.52/96.98 o 10127 112.33/111.87 c Got one! Elapsed wall clock time (in seconds):110.989 112.33/111.87 o 10126 137.26/136.85 c Got one! Elapsed wall clock time (in seconds):135.972 137.26/136.85 o 10125 185.33/184.84 c Got one! Elapsed wall clock time (in seconds):183.959 185.33/184.84 o 10097 189.52/189.02 c Got one! Elapsed wall clock time (in seconds):188.138 189.52/189.02 o 10096 198.03/197.56 c Got one! Elapsed wall clock time (in seconds):196.677 198.03/197.56 o 10088 209.04/208.51 c Got one! Elapsed wall clock time (in seconds):207.635 209.04/208.51 o 10087 226.73/226.23 c Got one! Elapsed wall clock time (in seconds):225.354 226.73/226.23 o 10086 253.39/252.81 c Got one! Elapsed wall clock time (in seconds):251.932 253.39/252.81 o 10085 295.02/294.49 c Got one! Elapsed wall clock time (in seconds):293.608 295.02/294.49 o 10084 373.43/373.48 c Got one! Elapsed wall clock time (in seconds):372.597 373.43/373.48 o 10083 499.12/499.75 c Got one! Elapsed wall clock time (in seconds):498.87 499.12/499.75 o 10082 508.51/509.14 c Got one! Elapsed wall clock time (in seconds):508.262 508.51/509.14 o 10081 522.28/522.93 c Got one! Elapsed wall clock time (in seconds):522.054 522.28/522.93 o 10078 542.43/543.19 c Got one! Elapsed wall clock time (in seconds):542.313 542.43/543.19 o 10077 569.92/570.67 c Got one! Elapsed wall clock time (in seconds):569.792 569.92/570.67 o 10023 607.55/608.53 c Got one! Elapsed wall clock time (in seconds):607.648 607.55/608.53 o 9998 666.16/667.36 c Got one! Elapsed wall clock time (in seconds):666.486 666.16/667.36 o 9976 781.80/784.24 c Got one! Elapsed wall clock time (in seconds):783.363 781.80/784.24 o 9975 887.99/891.62 c cleaning 8724 clauses out of 17449 with flag 0/17449 895.02/898.64 c Got one! Elapsed wall clock time (in seconds):897.761 895.02/898.64 o 9938 944.29/947.92 c Got one! Elapsed wall clock time (in seconds):947.042 944.29/947.92 o 9925 947.66/951.23 c Got one! Elapsed wall clock time (in seconds):950.355 947.66/951.23 o 9897 953.76/957.36 c Got one! Elapsed wall clock time (in seconds):956.479 953.76/957.36 o 9878 961.64/965.25 c Got one! Elapsed wall clock time (in seconds):964.369 961.64/965.25 o 9877 973.83/977.48 c Got one! Elapsed wall clock time (in seconds):976.605 973.83/977.48 o 9871 991.14/994.75 c Got one! Elapsed wall clock time (in seconds):993.873 991.14/994.75 o 9870 1019.19/1022.71 c Got one! Elapsed wall clock time (in seconds):1021.83 1019.19/1022.71 o 9833 1076.13/1080.05 c Got one! Elapsed wall clock time (in seconds):1079.173 1076.13/1080.05 o 9815 1163.93/1167.92 c Got one! Elapsed wall clock time (in seconds):1167.046 1163.93/1167.92 o 9805 1238.49/1242.49 c cleaning 8959 clauses out of 17923 with flag 0/26647 1251.39/1255.31 c Got one! Elapsed wall clock time (in seconds):1254.436 1251.39/1255.31 o 9804 1351.21/1354.94 c Got one! Elapsed wall clock time (in seconds):1354.058 1351.21/1354.94 o 9786 1355.90/1359.69 c Got one! Elapsed wall clock time (in seconds):1358.813 1355.90/1359.69 o 9779 1362.25/1365.97 c Got one! Elapsed wall clock time (in seconds):1365.093 1362.25/1365.97 o 9769 1372.27/1375.93 c Got one! Elapsed wall clock time (in seconds):1375.047 1372.27/1375.93 o 9746 1389.10/1392.74 c Got one! Elapsed wall clock time (in seconds):1391.866 1389.10/1392.74 o 9745 1415.24/1418.89 c Got one! Elapsed wall clock time (in seconds):1418.016 1415.24/1418.89 o 9744 1458.96/1462.62 c Got one! Elapsed wall clock time (in seconds):1461.746 1458.96/1462.63 o 9740 1524.33/1528.32 c cleaning 8721 clauses out of 17458 with flag 0/35141 1525.76/1529.71 c Got one! Elapsed wall clock time (in seconds):1528.828 1525.76/1529.71 o 9739 1549.15/1553.28 c Got one! Elapsed wall clock time (in seconds):1552.402 1549.15/1553.28 o 9720 1628.00/1632.16 c Got one! Elapsed wall clock time (in seconds):1631.28 1628.00/1632.16 o 9719 1737.64/1742.88 c cleaning 5921 clauses out of 15152 with flag 0/41556 1764.80/1770.15 c Got one! Elapsed wall clock time (in seconds):1769.269 1764.80/1770.15 o 9697 1929.33/1935.52 c cleaning 4864 clauses out of 15077 with flag 0/47402 1955.83/1962.18 c Got one! Elapsed wall clock time (in seconds):1961.304 1955.83/1962.18 o 9696 1959.51/1965.85 c Got one! Elapsed wall clock time (in seconds):1964.974 1959.51/1965.85 o 9692 1964.29/1970.61 c Got one! Elapsed wall clock time (in seconds):1969.73 1964.29/1970.61 o 9691 1971.08/1977.49 c Got one! Elapsed wall clock time (in seconds):1976.617 1971.08/1977.50 o 9687 1982.31/1988.65 c Got one! Elapsed wall clock time (in seconds):1987.775 1982.31/1988.65 o 9622 1999.85/2006.18 c Got one! Elapsed wall clock time (in seconds):2005.304 1999.85/2006.18 o 9621 2028.92/2035.16 c Got one! Elapsed wall clock time (in seconds):2034.287 2028.92/2035.17 o 9592 2087.37/2093.57 c Got one! Elapsed wall clock time (in seconds):2092.689 2087.37/2093.57 o 9590 2188.79/2194.90 c Got one! Elapsed wall clock time (in seconds):2194.024 2188.79/2194.90 o 9560 2353.76/2360.06 c cleaning 7277 clauses out of 18919 with flag 0/56108 2362.79/2369.02 c Got one! Elapsed wall clock time (in seconds):2368.143 2362.79/2369.02 o 9549 2455.14/2461.83 c Got one! Elapsed wall clock time (in seconds):2460.95 2455.14/2461.83 o 9536 2545.40/2552.02 c cleaning 5477 clauses out of 18047 with flag 0/62513 2622.32/2628.69 c Got one! Elapsed wall clock time (in seconds):2627.816 2622.32/2628.69 o 9534 2725.60/2731.05 c cleaning 4905 clauses out of 18337 with flag 0/68280 2901.98/2906.57 c cleaning 5325 clauses out of 19431 with flag 0/74279 2913.71/2918.25 c Got one! Elapsed wall clock time (in seconds):2917.376 2913.71/2918.25 o 9522 2916.65/2921.12 c Got one! Elapsed wall clock time (in seconds):2920.244 2916.65/2921.12 o 9436 2921.66/2926.19 c Got one! Elapsed wall clock time (in seconds):2925.311 2921.66/2926.19 o 9435 2928.51/2932.96 c Got one! Elapsed wall clock time (in seconds):2932.086 2928.51/2932.96 o 9426 2938.45/2942.88 c Got one! Elapsed wall clock time (in seconds):2942.001 2938.45/2942.88 o 9425 2955.74/2960.02 c Got one! Elapsed wall clock time (in seconds):2959.141 2955.74/2960.02 o 9424 2982.45/2986.69 c Got one! Elapsed wall clock time (in seconds):2985.816 2982.45/2986.69 o 9423 3039.86/3043.86 c Got one! Elapsed wall clock time (in seconds):3042.979 3039.86/3043.86 o 9422 3142.97/3147.21 c Got one! Elapsed wall clock time (in seconds):3146.334 3142.97/3147.21 o 9405 3348.35/3351.94 c Got one! Elapsed wall clock time (in seconds):3351.06 3348.35/3351.94 o 9356 3461.46/3465.44 c cleaning 7634 clauses out of 23253 with flag 0/83426 3550.87/3554.67 c Got one! Elapsed wall clock time (in seconds):3553.794 3550.87/3554.67 o 9355 3600.00/3602.93 c starts : 177 3600.00/3602.93 c conflicts : 87165 3600.00/3602.93 c decisions : 479093 3600.00/3602.93 c propagations : 3458837 3600.00/3602.93 c inspects : 1426242531 3600.00/3602.93 c shortcuts : 0 3600.00/3602.93 c learnt literals : 0 3600.00/3602.93 c learnt binary clauses : 0 3600.00/3602.93 c learnt ternary clauses : 0 3600.00/3602.93 c learnt constraints : 87164 3600.00/3602.93 c ignored constraints : 0 3600.00/3602.93 c root simplifications : 0 3600.00/3602.93 c removed literals (reason simplification) : 0 3600.00/3602.93 c reason swapping (by a shorter reason) : 0 3600.00/3602.93 c Calls to reduceDB : 10 3600.00/3602.93 c Number of update (reduction) of LBD : 3556 3600.00/3602.93 c Imported unit clauses : 0 3600.00/3602.93 c No decision after first conflict : false 3600.00/3602.93 c number of reductions to clauses (during analyze) : 0 3600.00/3602.93 c number of learned constraints concerned by reduction : 0 3600.00/3602.93 c number of learning phase by resolution : 0 3600.00/3602.93 c number of learning phase by cutting planes : 0 3600.00/3602.93 c number of rounding to 1 operations : 189276 3600.00/3602.93 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.00/3602.93 c number of reductions of the coefficients by power 2 : 0 3600.00/3602.93 c number of right shift for reduction by power 2 : 0 3600.00/3602.93 c number of reductions of the coefficients by GCD over coefficients : 0 3600.00/3602.93 c number of ending skipping : 0 3600.00/3602.93 c number of internal skipping : 0 3600.00/3602.93 c number of derivation steps : 646526 3600.00/3602.93 c number of skipped derivation steps : 0 3600.00/3602.93 c number of remaining unassigned : 144087 3600.00/3602.93 c number of remaining assigned : 12211462 3600.00/3602.93 c number of falsified literals weakened from reason : 0 3600.00/3602.93 c number of falsified literals weakened from conflict : 0 3600.00/3602.93 c time for arithmetic operations : 1094984884 3600.00/3602.93 c minimum degree of deleted constraints : 4 3600.00/3602.93 c maximum degree of deleted constraints : 3607436 3600.00/3602.93 c number of deleted constraints : 67807 3600.00/3602.95 c speed (assignments/second) : 960.2700432155765 3600.00/3602.95 c non guided choices : 8324 3600.00/3602.96 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 14450 3600.00/3602.96 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 103 3600.00/3602.96 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 4804 3600.00/3602.96 s SATISFIABLE 3600.00/3602.96 c Found 88 solution(s) 3600.00/3602.96 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 3600.00/3602.97 c objective function=9355 3600.00/3602.97 c Total wall clock time (in seconds): 3602.091
OK 1685
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: 63968 MiB (63178 MiB free)
memory of node 1: 64473 MiB (63745 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424282-1720874152/watcher-4424282-1720874152 -o /tmp/evaluation-result-4424282-1720874152/solver-4424282-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1720874164-705586 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424282-1720874152.wbo
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=705652, runsolver pid=705649
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 0.10 0.09 0.09 1/258 705653
/proc/meminfo: memFree=129963524/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=37736 memory=4268 CPUtime=0 cores=0,2
/proc/705652/stat : 705652 (java) D 705649 705652 705576 0 -1 4194304 340 0 3 0 0 0 0 0 20 0 1 0 139581898 38641664 1067 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 0 0 0 0 17 0 0 0 8 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 9434 1067 893 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 4268 KiB
[startup+0.204847 s]*
/proc/loadavg: 0.41 0.16 0.11 1/258 705653
/proc/meminfo: memFree=129958372/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=37736 memory=6336 CPUtime=0 cores=0,2
/proc/705652/stat : 705652 (java) D 705649 705652 705576 0 -1 4194304 494 0 7 0 0 0 0 0 20 0 1 0 139581898 38641664 1584 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 0 0 0 0 17 0 0 0 18 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 9434 1584 1275 1 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 6336 KiB
[startup+0.304706 s]*
/proc/loadavg: 0.41 0.16 0.11 2/259 705654
/proc/meminfo: memFree=129955260/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=37828 memory=7720 CPUtime=0 cores=0,2
/proc/705652/stat : 705652 (java) D 705649 705652 705576 0 -1 4194304 567 0 22 0 0 0 0 0 20 0 1 0 139581898 38735872 1930 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 0 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 9457 1930 1558 1 0 292 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37828 KiB
Current children cumulated memory: 7720 KiB
[startup+0.700252 s]
/proc/loadavg: 0.41 0.16 0.11 1/263 705658
/proc/meminfo: memFree=129923204/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=18175400 memory=36096 CPUtime=0.02 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 4209 0 83 0 0 2 0 0 20 0 7 0 139581898 18611609600 9024 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16784588 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4543850 9024 3644 1 0 542675 0
[pid=705652/tid=705655] ppid=705649 vsize=18175400 memory=1844 CPUtime=0.01 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) D 705649 705652 705576 0 -1 4194368 3635 0 59 0 0 1 0 0 20 0 7 0 139581929 18611609600 9024 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16784588 0 0 0 -1 0 0 0 32 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 36096 KiB
[startup+1.50305 s]
/proc/loadavg: 0.41 0.16 0.11 11/326 705729
/proc/meminfo: memFree=129666876/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=177656 CPUtime=1.44 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 13909 0 123 0 138 6 0 0 20 0 20 0 139581898 19566772224 44414 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 44414 5861 1 0 554313 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=1844 CPUtime=0.71 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 6363 0 85 0 68 3 0 0 20 0 20 0 139581929 19566772224 44414 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=11476 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 44414 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=35068 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 44414 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=12504 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 44414 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 177656 KiB
[startup+3.10617 s]
/proc/loadavg: 0.41 0.16 0.11 8/334 705861
/proc/meminfo: memFree=125147240/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=264228 CPUtime=4.36 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 21119 0 123 0 427 9 0 0 20 0 20 0 139581898 19566772224 66057 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 66057 5863 1 0 554601 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=0 CPUtime=2.27 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 7398 0 85 0 222 5 0 0 20 0 20 0 139581929 19566772224 66057 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=35068 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 66057 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=12504 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 66057 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=5544 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 66057 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 4.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 264228 KiB
[startup+6.30117 s]
/proc/loadavg: 0.78 0.24 0.14 5/334 705861
/proc/meminfo: memFree=122128524/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=617516 CPUtime=7.73 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 22415 0 123 0 756 17 0 0 20 0 20 0 139581898 19566772224 154379 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 154379 5864 1 0 554604 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=179144 CPUtime=5.36 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 7771 0 85 0 524 12 0 0 20 0 20 0 139581929 19566772224 154379 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 154379 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=39072 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 154379 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=208592 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 154379 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 7.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 617516 KiB
[startup+12.7012 s]
/proc/loadavg: 1.12 0.32 0.16 5/335 705864
/proc/meminfo: memFree=120671700/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=849080 CPUtime=13.92 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 25470 0 123 0 1368 24 0 0 20 0 20 0 139581898 19566772224 212270 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 212270 5864 1 0 554604 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=179144 CPUtime=11.33 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 9466 0 85 0 1114 19 0 0 20 0 20 0 139581929 19566772224 212270 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 212270 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=208592 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 212270 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=11476 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 212270 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 13.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 849080 KiB
[startup+25.5062 s]
/proc/loadavg: 1.76 0.50 0.23 7/335 705865
/proc/meminfo: memFree=119226228/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=1283340 CPUtime=26.67 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 30634 0 123 0 2632 35 0 0 20 0 20 0 139581898 19566772224 320835 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 320835 5864 1 0 554604 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=0 CPUtime=23.93 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 11638 0 85 0 2365 28 0 0 20 0 20 0 139581929 19566772224 320835 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=208592 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 320835 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=849076 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 320835 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=1283328 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 320835 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 26.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1283340 KiB
[startup+51.1012 s]
/proc/loadavg: 2.75 0.83 0.34 5/336 705871
/proc/meminfo: memFree=119040768/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=1338708 CPUtime=52.02 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 38192 0 123 0 5165 37 0 0 20 0 20 0 139581898 19566772224 334677 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 334677 5864 1 0 554604 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=849076 CPUtime=49.14 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 15099 0 85 0 4885 29 0 0 20 0 20 0 139581929 19566772224 334677 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 334677 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=281192046444576 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 334677 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=1336608 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 334677 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 52.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1338708 KiB
[startup+102.301 s]
/proc/loadavg: 3.67 1.38 0.56 5/337 705881
/proc/meminfo: memFree=118907456/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=1361424 CPUtime=102.9 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 48169 0 123 0 10249 41 0 0 20 0 20 0 139581898 19566772224 340356 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 340356 5865 1 0 554604 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=0 CPUtime=99.58 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 18471 0 85 0 9928 30 0 0 20 0 20 0 139581929 19566772224 340356 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 37 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=35068 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 340356 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=1347052 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 108 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 340356 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=1359376 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 340356 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 102.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1361424 KiB
################
# More data... #
################
/proc/meminfo: memFree=113487668/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=2181568 CPUtime=3217.99 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 242183 0 123 0 321565 234 0 0 20 0 20 0 139581898 19566772224 545392 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 545392 5891 1 0 556353 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=2181568 CPUtime=3178.48 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 111621 0 85 0 317784 64 0 0 20 0 20 0 139581929 19566772224 545392 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 47 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=2181568 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 545392 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=2181568 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 3434 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 545392 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=2181568 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 545392 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 3217.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181568 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.05 5/338 707710
/proc/meminfo: memFree=113487024/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=2181580 CPUtime=3278 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 245071 0 123 0 327563 237 0 0 20 0 20 0 139581898 19566772224 545395 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 545395 5891 1 0 556353 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=-8527957764798325436 CPUtime=3237.84 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 113713 0 85 0 323720 64 0 0 20 0 20 0 139581929 19566772224 545395 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 47 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=35180 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 545395 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=12504 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 3503 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 545395 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=5544 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 545395 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 3278 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181580 KiB
[startup+3342.3 s]
/proc/loadavg: 4.60 4.26 4.10 5/338 707720
/proc/meminfo: memFree=113486672/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=2181948 CPUtime=3338.83 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 250491 0 123 0 333642 241 0 0 20 0 20 0 139581898 19566772224 545487 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 545487 5891 1 0 556371 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=-8527957764798325436 CPUtime=3296.96 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 116043 0 85 0 329631 65 0 0 20 0 20 0 139581929 19566772224 545487 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 47 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=2181948 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 545487 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=-8527957764798325436 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 3566 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 545487 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=11476 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 545487 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 3338.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181948 KiB
[startup+3402.3 s]
/proc/loadavg: 4.33 4.24 4.10 5/338 707730
/proc/meminfo: memFree=113486236/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=2181948 CPUtime=3398.48 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 253505 0 123 0 339604 244 0 0 20 0 20 0 139581898 19566772224 545487 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 545487 5891 1 0 556371 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=-8527957764798325436 CPUtime=3355.99 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 118366 0 85 0 335533 66 0 0 20 0 20 0 139581929 19566772224 545487 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 47 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=28196 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 545487 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=39072 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 3587 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 545487 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=2332 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 545487 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 3398.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181948 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.24 4.10 5/338 707741
/proc/meminfo: memFree=113485960/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=2181984 CPUtime=3458.37 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 256287 0 123 0 345591 246 0 0 20 0 20 0 139581898 19566772224 545496 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 545496 5891 1 0 556371 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=2181984 CPUtime=3415.25 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 120303 0 85 0 341459 66 0 0 20 0 20 0 139581929 19566772224 545496 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 47 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=1936 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 545496 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=2181984 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 3648 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 545496 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=1844 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 545496 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 3458.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181984 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.21 4.10 5/337 707753
/proc/meminfo: memFree=113485592/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=2181988 CPUtime=3518.57 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 259397 0 123 0 351607 250 0 0 20 0 20 0 139581898 19566772224 545497 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 545497 5891 1 0 556371 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=35180 CPUtime=3474.34 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 122443 0 85 0 347367 67 0 0 20 0 20 0 139581929 19566772224 545497 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 47 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=25896 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 545497 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=39072 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 3691 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 545497 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=2332 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 545497 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 3518.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181988 KiB
[startup+3582.3 s]
/proc/loadavg: 4.17 4.20 4.10 5/333 707763
/proc/meminfo: memFree=113485360/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=2181988 CPUtime=3578.46 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 262618 0 123 0 357593 253 0 0 20 0 20 0 139581898 19566772224 545497 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 545497 5891 1 0 556371 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=1992 CPUtime=3533.14 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 124765 0 85 0 353247 67 0 0 20 0 20 0 139581929 19566772224 545497 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 47 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=25896 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 545497 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=2181988 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 3755 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 545497 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=35180 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 545497 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 3578.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2181988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3602.9 s]
/proc/loadavg: 4.12 4.19 4.09 4/311 707784
/proc/meminfo: memFree=118741460/131524600 swapFree=131071996/131071996
[pid=705652] ppid=705649 vsize=19108176 memory=2182020 CPUtime=3600 cores=0,2
/proc/705652/stat : 705652 (java) S 705649 705652 705576 0 -1 1077936128 264827 0 123 0 359744 256 0 0 20 0 20 0 139581898 19566772224 545505 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 0 0 16800975 0 0 0 17 0 0 0 30 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
/proc/705652/statm: 4777044 545505 5891 1 0 556379 0
[pid=705652/tid=705655] ppid=705649 vsize=19108176 memory=2498 CPUtime=3553.33 cores=0,2
/proc/705652/task/705655/stat : 705655 (java) R 705649 705652 705576 0 -1 4194368 125175 0 85 0 355266 67 0 0 20 0 20 0 139581929 19566772224 545505 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 47 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705691] ppid=705649 vsize=19108176 memory=3565 CPUtime=0 cores=0,2
/proc/705652/task/705691/stat : 705691 (Finalizer) S 705649 705652 705576 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139581972 19566772224 545505 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705720] ppid=705649 vsize=19108176 memory=1927201 CPUtime=0 cores=0,2
/proc/705652/task/705720/stat : 705720 (Common-Cleaner) S 705649 705652 705576 0 -1 1077936192 3776 0 0 0 0 0 0 0 20 0 20 0 139581973 19566772224 545505 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
[pid=705652/tid=705728] ppid=705649 vsize=19108176 memory=32592 CPUtime=0 cores=0,2
/proc/705652/task/705728/stat : 705728 (Timer-0) S 705649 705652 705576 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139581996 19566772224 545505 134679101440 94439564435456 94439564439152 140735221865968 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94439564446968 94439564447760 94439575150592 140735221871574 140735221871687 140735221871687 140735221878728 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2182020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3602.98 s]
# the end of solver process 705652 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.58 s, system=2.57138 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3602.98
CPU time (s): 3600.15
CPU user time (s): 3597.58
CPU system time (s): 2.57138
CPU usage (%): 99.9213
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2182280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.58
system time used= 2.57138
maximum resident set size= 2183608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266153
page faults= 123
swaps= 0
block input operations= 26096
block output operations= 3840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 131739
involuntary context switches= 34318
# summary of solver processes directly reported to runsolver:
# pid: 705652
# total CPU time (s): 3600.15
# total CPU user time (s): 3597.58
# total CPU system time (s): 2.57138
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45523 second user time and 20.532 second system time
The end
Begin job on nodeC027 at 2024-07-13 14:36:05 IDJOB=4424282 IDBENCH=143528 IDSOLVER=3035 FILE ID=nodeC027/4424282-1720874152 RUNJOBID= nodeC027-1720874164-705586 SLURM_JOB_ID= 7483768 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424282-1720874152/watcher-4424282-1720874152 -o /tmp/evaluation-result-4424282-1720874152/solver-4424282-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1720874164-705586 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424282-1720874152.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= d9ce9dadf7577308886436a03b54d963 RANDOM SEED=450756964 nodeC027.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00002a cpu MHz : 3404.448 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 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 : 2908.997 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.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 : 3336.060 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 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 : 3284.593 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.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 : 2541.769 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 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 : 3395.061 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.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 : 3116.438 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7000.36 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 : 2974.176 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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 7006.29 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 129970424 kB MemAvailable: 129796352 kB Buffers: 314992 kB Cached: 360264 kB SwapCached: 0 kB Active: 444324 kB Inactive: 562084 kB Active(anon): 1536 kB Inactive(anon): 367340 kB Active(file): 442788 kB Inactive(file): 194744 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 4144 kB Writeback: 24 kB AnonPages: 329320 kB Mapped: 101560 kB Shmem: 37720 kB KReclaimable: 56436 kB Slab: 152620 kB SReclaimable: 56436 kB SUnreclaim: 96184 kB KernelStack: 4112 kB PageTables: 10152 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 674960 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 53504 kB HardwareCorrupted: 0 kB AnonHugePages: 206848 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 170708 kB DirectMap2M: 7991296 kB DirectMap1G: 127926272 kB Free space on /tmp at the end= 890064 MiB End job on nodeC027 at 2024-07-13 15:36:08