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.42 | 3584.33 |
| Name | PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo |
| MD5SUM | ec2511efc2417fb1e9e041199c221bd7 |
| 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 | 1 |
| Best CPU time to get the best result obtained on this benchmark | 12.4985 |
| 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 | 892 |
| 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 | 45060 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 45059 |
| Biggest number in a constraint | 25 |
| Number of bits of the biggest number in a constraint | 5 |
| Biggest sum of numbers in a constraint | 685 |
| 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.12/0.79 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.12/0.79 c This is free software under the dual EPL/GNU LGPL licenses. 0.12/0.79 c See www.sat4j.org for details. 0.25/0.81 c version CUSTOM.v20240707 0.25/0.83 c java.runtime.name OpenJDK Runtime Environment 0.25/0.83 c java.vm.name OpenJDK 64-Bit Server VM 0.25/0.83 c java.vm.version 22.0.1+8-16 0.25/0.83 c java.vm.vendor Oracle Corporation 0.25/0.83 c sun.arch.data.model 64 0.25/0.83 c java.version 22.0.1 0.25/0.83 c os.name Linux 0.25/0.83 c os.version 4.18.0-301.1.el8.x86_64 0.25/0.83 c os.arch amd64 0.25/0.85 c Free memory 2115194816 0.25/0.85 c Max memory 16282288128 0.25/0.85 c Total memory 2122317824 0.25/0.85 c Number of processors 2 0.60/1.04 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.60/1.04 - never skip resolution steps 0.60/1.04 - Auto-division on coefficients is disabled 0.60/1.04 - No postprocessing 0.60/1.04 - Conflict is considered as is when resolving 0.60/1.04 - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.60/1.04 - Weaken first using unassigned literals 0.60/1.04 - Bump strategy: ALWAYS_ONE 0.60/1.04 - Bumper: ASSIGNED 0.60/1.04 --- Begin Solver configuration --- 0.60/1.04 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.60/1.04 Learn all clauses as in MiniSAT 0.60/1.04 LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.60/1.04 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.60/1.04 No reason simplification 0.60/1.04 Armin Biere (Picosat) restarts strategy 0.60/1.04 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.60/1.04 timeout=2147483s 0.60/1.04 DB Simplification allowed=false 0.60/1.04 Listener: none 0.60/1.04 --- End Solver configuration --- 0.60/1.04 c Pseudo Boolean Optimization by upper bound 0.60/1.04 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.60/1.04 c - never skip resolution steps 0.60/1.04 c - Auto-division on coefficients is disabled 0.60/1.04 c - No postprocessing 0.60/1.04 c - Conflict is considered as is when resolving 0.60/1.04 c - Divide both constraints by the coefficient of the pivot when resolving, and partially weaken non-divisible coefficient. 0.60/1.04 c - Weaken first using unassigned literals 0.60/1.04 c - Bump strategy: ALWAYS_ONE 0.60/1.04 c - Bumper: ASSIGNED 0.60/1.04 c --- Begin Solver configuration --- 0.60/1.04 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@68fb2c38 0.60/1.04 c Learn all clauses as in MiniSAT 0.60/1.04 c LOGGER=java.util.logging.Logger@59690aa4 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.60/1.04 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.60/1.04 c No reason simplification 0.60/1.04 c Armin Biere (Picosat) restarts strategy 0.60/1.04 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.DegreeSizeLBDComputerStrategy@44e81672 0.60/1.04 c timeout=2147483s 0.60/1.04 c DB Simplification allowed=false 0.60/1.04 c Listener: none 0.60/1.04 c --- End Solver configuration --- 0.60/1.04 c solving HOME/instance-4424278-1720874152.wbo 0.60/1.04 c reading problem ... 0.98/1.25 c ... done. Wall clock time 0.208s. 0.98/1.25 c declared #vars 231 0.98/1.25 c internal #vars 1123 0.98/1.25 c #constraints 2708 0.98/1.25 c constraints type 0.98/1.25 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 154 0.98/1.25 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 13 0.98/1.25 c org.sat4j.specs.Constr$1 => 1 0.98/1.25 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 10 0.98/1.25 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2530 0.98/1.25 c 2708 constraints processed. 0.98/1.28 c objective function length is 892 literals 1.56/1.53 c SATISFIABLE 1.56/1.54 c OPTIMIZING... 1.56/1.54 c Got one! Elapsed wall clock time (in seconds):0.501 1.56/1.54 o 4756 2.16/1.87 c Got one! Elapsed wall clock time (in seconds):0.823 2.16/1.87 o 4753 3.14/2.31 c Got one! Elapsed wall clock time (in seconds):1.264 3.14/2.31 o 4750 3.54/2.58 c Got one! Elapsed wall clock time (in seconds):1.543 3.54/2.58 o 4747 4.33/2.94 c Got one! Elapsed wall clock time (in seconds):1.898 4.33/2.94 o 4746 5.67/3.66 c Got one! Elapsed wall clock time (in seconds):2.615 5.67/3.66 o 4745 6.31/4.04 c Got one! Elapsed wall clock time (in seconds):3.008 6.31/4.04 o 4743 7.20/4.84 c Got one! Elapsed wall clock time (in seconds):3.808 7.20/4.84 o 4742 8.21/5.83 c Got one! Elapsed wall clock time (in seconds):4.797 8.21/5.83 o 4741 10.55/7.75 c Got one! Elapsed wall clock time (in seconds):6.712 10.55/7.75 o 4739 11.32/8.44 c Got one! Elapsed wall clock time (in seconds):7.405 11.32/8.44 o 4738 13.12/10.28 c Got one! Elapsed wall clock time (in seconds):9.245 13.12/10.28 o 4737 15.04/12.16 c Got one! Elapsed wall clock time (in seconds):11.125 15.04/12.16 o 4736 18.45/15.52 c Got one! Elapsed wall clock time (in seconds):14.486 18.45/15.52 o 4735 24.44/21.57 c Got one! Elapsed wall clock time (in seconds):20.533 24.44/21.57 o 4734 26.14/23.26 c Got one! Elapsed wall clock time (in seconds):22.221 26.14/23.26 o 4733 28.69/25.73 c Got one! Elapsed wall clock time (in seconds):24.698 28.69/25.73 o 4731 32.14/29.19 c Got one! Elapsed wall clock time (in seconds):28.155 32.14/29.19 o 4730 38.60/35.58 c Got one! Elapsed wall clock time (in seconds):34.544 38.60/35.58 o 4729 49.72/46.66 c Got one! Elapsed wall clock time (in seconds):45.623 49.72/46.66 o 4728 67.91/64.78 c Got one! Elapsed wall clock time (in seconds):63.744 67.91/64.78 o 4727 71.02/67.84 c Got one! Elapsed wall clock time (in seconds):66.806 71.02/67.84 o 4726 74.81/71.61 c Got one! Elapsed wall clock time (in seconds):70.576 74.81/71.61 o 4725 81.40/78.20 c Got one! Elapsed wall clock time (in seconds):77.162 81.40/78.20 o 4724 91.68/88.54 c Got one! Elapsed wall clock time (in seconds):87.509 91.68/88.54 o 4723 110.69/107.53 c Got one! Elapsed wall clock time (in seconds):106.491 110.69/107.53 o 4722 141.68/138.52 c Got one! Elapsed wall clock time (in seconds):137.482 141.68/138.52 o 4721 194.76/191.19 c Got one! Elapsed wall clock time (in seconds):190.159 194.76/191.19 o 4720 200.73/197.17 c Got one! Elapsed wall clock time (in seconds):196.14 200.73/197.17 o 4719 208.43/204.86 c Got one! Elapsed wall clock time (in seconds):203.825 208.43/204.86 o 4718 220.10/216.55 c Got one! Elapsed wall clock time (in seconds):215.518 220.10/216.55 o 4717 240.50/236.91 c Got one! Elapsed wall clock time (in seconds):235.879 240.50/236.91 o 4716 265.31/261.67 c Got one! Elapsed wall clock time (in seconds):260.639 265.31/261.68 o 4715 312.19/308.51 c Got one! Elapsed wall clock time (in seconds):307.478 312.19/308.51 o 4714 390.87/387.23 c Got one! Elapsed wall clock time (in seconds):386.196 390.87/387.23 o 4713 521.75/518.10 c Got one! Elapsed wall clock time (in seconds):517.062 521.75/518.10 o 4712 529.75/526.09 c Got one! Elapsed wall clock time (in seconds):525.055 529.75/526.09 o 4711 540.02/536.38 c Got one! Elapsed wall clock time (in seconds):535.348 540.02/536.38 o 4710 556.82/553.14 c Got one! Elapsed wall clock time (in seconds):552.103 556.82/553.14 o 4709 583.47/579.80 c Got one! Elapsed wall clock time (in seconds):578.764 583.47/579.80 o 4708 624.27/620.62 c Got one! Elapsed wall clock time (in seconds):619.589 624.27/620.62 o 4707 685.06/681.43 c Got one! Elapsed wall clock time (in seconds):680.4 685.06/681.44 o 4706 795.84/792.23 c Got one! Elapsed wall clock time (in seconds):791.194 795.84/792.23 o 4705 901.62/898.44 c cleaning 8709 clauses out of 17433 with flag 0/17433 909.83/906.50 c Got one! Elapsed wall clock time (in seconds):905.461 909.83/906.50 o 4704 956.48/953.01 c Got one! Elapsed wall clock time (in seconds):951.978 956.48/953.01 o 4703 960.16/956.72 c Got one! Elapsed wall clock time (in seconds):955.684 960.16/956.72 o 4702 965.66/962.29 c Got one! Elapsed wall clock time (in seconds):961.251 965.66/962.29 o 4701 973.42/969.91 c Got one! Elapsed wall clock time (in seconds):968.871 973.42/969.91 o 4700 985.23/981.73 c Got one! Elapsed wall clock time (in seconds):980.692 985.23/981.73 o 4699 1004.37/1000.87 c Got one! Elapsed wall clock time (in seconds):999.836 1004.37/1000.87 o 4698 1036.47/1032.98 c Got one! Elapsed wall clock time (in seconds):1031.948 1036.47/1032.98 o 4697 1098.64/1095.09 c Got one! Elapsed wall clock time (in seconds):1094.055 1098.64/1095.09 o 4696 1211.08/1207.57 c Got one! Elapsed wall clock time (in seconds):1206.536 1211.08/1207.57 o 4695 1284.34/1280.75 c cleaning 8960 clauses out of 17933 with flag 0/26642 1297.79/1294.18 c Got one! Elapsed wall clock time (in seconds):1293.148 1297.79/1294.19 o 4648 1400.90/1397.03 c Got one! Elapsed wall clock time (in seconds):1395.99 1400.90/1397.03 o 4573 1405.50/1401.60 c Got one! Elapsed wall clock time (in seconds):1400.562 1405.50/1401.60 o 4572 1412.40/1408.52 c Got one! Elapsed wall clock time (in seconds):1407.49 1412.40/1408.52 o 4571 1424.30/1420.41 c Got one! Elapsed wall clock time (in seconds):1419.378 1424.30/1420.41 o 4570 1442.80/1438.94 c Got one! Elapsed wall clock time (in seconds):1437.903 1442.80/1438.94 o 4569 1472.59/1468.79 c Got one! Elapsed wall clock time (in seconds):1467.758 1472.59/1468.79 o 4568 1520.56/1516.61 c Got one! Elapsed wall clock time (in seconds):1515.58 1520.56/1516.62 o 4567 1594.32/1590.20 c cleaning 8712 clauses out of 17461 with flag 0/35130 1596.12/1592.03 c Got one! Elapsed wall clock time (in seconds):1590.991 1596.12/1592.03 o 4566 1619.31/1615.15 c Got one! Elapsed wall clock time (in seconds):1614.116 1619.31/1615.15 o 4565 1689.14/1684.84 c Got one! Elapsed wall clock time (in seconds):1683.807 1689.14/1684.84 o 4564 1775.89/1771.48 c cleaning 5992 clauses out of 15168 with flag 0/41549 1799.88/1795.37 c Got one! Elapsed wall clock time (in seconds):1794.34 1799.88/1795.38 o 1035 1925.06/1920.29 c cleaning 4805 clauses out of 15030 with flag 0/47403 1946.86/1941.93 c Got one! Elapsed wall clock time (in seconds):1940.891 1946.86/1941.93 o 970 1949.24/1944.29 c Got one! Elapsed wall clock time (in seconds):1943.254 1949.24/1944.29 o 964 1952.76/1947.76 c Got one! Elapsed wall clock time (in seconds):1946.73 1952.76/1947.77 o 963 1959.03/1953.91 c Got one! Elapsed wall clock time (in seconds):1952.879 1959.03/1953.91 o 928 1968.21/1963.11 c Got one! Elapsed wall clock time (in seconds):1962.07 1968.21/1963.11 o 909 1982.94/1977.73 c Got one! Elapsed wall clock time (in seconds):1976.697 1982.94/1977.73 o 908 2008.32/2003.02 c Got one! Elapsed wall clock time (in seconds):2001.985 2008.32/2003.02 o 726 2057.19/2051.70 c Got one! Elapsed wall clock time (in seconds):2050.669 2057.19/2051.71 o 725 2139.05/2133.13 c Got one! Elapsed wall clock time (in seconds):2132.096 2139.05/2133.13 o 724 2274.39/2268.03 c cleaning 6928 clauses out of 18925 with flag 0/56103 2283.35/2276.98 c Got one! Elapsed wall clock time (in seconds):2275.946 2283.35/2276.98 o 715 2384.53/2377.24 c Got one! Elapsed wall clock time (in seconds):2376.209 2384.53/2377.24 o 677 2491.89/2484.30 c cleaning 5322 clauses out of 18399 with flag 0/62505 2577.55/2569.33 c Got one! Elapsed wall clock time (in seconds):2568.295 2577.55/2569.33 o 676 2676.00/2667.20 c cleaning 4734 clauses out of 18838 with flag 0/68266 2824.10/2814.17 c cleaning 5007 clauses out of 20108 with flag 0/74270 2836.48/2826.31 c Got one! Elapsed wall clock time (in seconds):2825.28 2836.48/2826.31 o 669 2839.26/2829.16 c Got one! Elapsed wall clock time (in seconds):2828.129 2839.26/2829.16 o 668 2843.64/2833.46 c Got one! Elapsed wall clock time (in seconds):2832.422 2843.64/2833.46 o 664 2850.20/2839.93 c Got one! Elapsed wall clock time (in seconds):2838.9 2850.20/2839.93 o 655 2861.32/2850.92 c Got one! Elapsed wall clock time (in seconds):2849.886 2861.32/2850.92 o 645 2878.34/2867.89 c Got one! Elapsed wall clock time (in seconds):2866.853 2878.34/2867.89 o 626 2906.02/2895.11 c Got one! Elapsed wall clock time (in seconds):2894.079 2906.02/2895.11 o 625 2960.65/2949.34 c Got one! Elapsed wall clock time (in seconds):2948.308 2960.65/2949.34 o 617 3070.70/3059.01 c Got one! Elapsed wall clock time (in seconds):3057.972 3070.70/3059.01 o 612 3281.04/3268.21 c Got one! Elapsed wall clock time (in seconds):3267.178 3281.04/3268.21 o 611 3383.27/3370.00 c cleaning 7556 clauses out of 24245 with flag 0/83414 3455.08/3440.74 c Got one! Elapsed wall clock time (in seconds):3439.706 3455.08/3440.74 o 577 3599.81/3583.97 c cleaning 4891 clauses out of 22558 with flag 0/89283 3600.03/3584.13 c starts : 177 3600.03/3584.15 c conflicts : 89288 3600.03/3584.17 c decisions : 339727 3600.03/3584.17 c propagations : 3500683 3600.03/3584.17 c inspects : 1635076557 3600.03/3584.17 c shortcuts : 0 3600.03/3584.17 c learnt literals : 0 3600.03/3584.17 c learnt binary clauses : 0 3600.03/3584.17 c learnt ternary clauses : 0 3600.03/3584.17 c learnt constraints : 89288 3600.03/3584.17 c ignored constraints : 0 3600.03/3584.17 c root simplifications : 0 3600.03/3584.17 c removed literals (reason simplification) : 0 3600.03/3584.17 c reason swapping (by a shorter reason) : 0 3600.03/3584.17 c Calls to reduceDB : 11 3600.03/3584.17 c Number of update (reduction) of LBD : 2463 3600.03/3584.17 c Imported unit clauses : 0 3600.03/3584.17 c No decision after first conflict : false 3600.03/3584.17 c number of reductions to clauses (during analyze) : 0 3600.03/3584.17 c number of learned constraints concerned by reduction : 0 3600.03/3584.17 c number of learning phase by resolution : 0 3600.03/3584.17 c number of learning phase by cutting planes : 0 3600.03/3584.17 c number of rounding to 1 operations : 206330 3600.03/3584.17 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.03/3584.17 c number of reductions of the coefficients by power 2 : 0 3600.03/3584.20 c number of right shift for reduction by power 2 : 0 3600.03/3584.20 c number of reductions of the coefficients by GCD over coefficients : 0 3600.03/3584.20 c number of ending skipping : 0 3600.03/3584.20 c number of internal skipping : 0 3600.03/3584.20 c number of derivation steps : 781798 3600.03/3584.20 c number of skipped derivation steps : 0 3600.03/3584.20 c number of remaining unassigned : 131113 3600.03/3584.20 c number of remaining assigned : 9991579 3600.03/3584.20 c number of falsified literals weakened from reason : 0 3600.03/3584.20 c number of falsified literals weakened from conflict : 0 3600.03/3584.20 c time for arithmetic operations : 878640529 3600.03/3584.20 c minimum degree of deleted constraints : 4 3600.03/3584.20 c maximum degree of deleted constraints : 2187745 3600.03/3584.20 c number of deleted constraints : 71616 3600.03/3584.20 c speed (assignments/second) : 977.0556729344189 3600.03/3584.20 c non guided choices : 7771 3600.23/3584.28 c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB : 15678 3600.23/3584.28 c learnt constraints type org.sat4j.pb.constraints.pb.MinWatchCardPB : 169 3600.23/3584.28 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 1825 3600.23/3584.28 s SATISFIABLE 3600.23/3584.28 c Found 88 solution(s) 3600.23/3584.28 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.23/3584.29 c objective function=577 3600.23/3584.29 c Total wall clock time (in seconds): 3583.257
OK 487
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (63488 MiB free)
memory of node 1: 64510 MiB (63628 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424278-1720874152/watcher-4424278-1720874152 -o /tmp/evaluation-result-4424278-1720874152/solver-4424278-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720874164-697526 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424278-1720874152.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Current StackSize limit: 8192 KiB
solver pid=697585, runsolver pid=697580
[startup+0.100082 s]*
/proc/loadavg: 0.47 0.22 0.18 4/244 697592
/proc/meminfo: memFree=130162956/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=37736 memory=2860 CPUtime=0 cores=4,6
/proc/697585/stat : 697585 (java) D 697580 697585 697515 0 -1 4194304 233 0 3 0 0 0 0 0 20 0 1 0 139571902 38641664 715 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 0 0 0 0 17 4 0 0 5 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 9434 715 629 1 0 459 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 2860 KiB
[startup+0.212612 s]*
/proc/loadavg: 0.47 0.22 0.18 2/247 697595
/proc/meminfo: memFree=130152160/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=37736 memory=6840 CPUtime=0 cores=4,6
/proc/697585/stat : 697585 (java) D 697580 697585 697515 0 -1 4194304 550 0 18 0 0 0 0 0 20 0 1 0 139571902 38641664 1710 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 0 0 0 0 17 4 0 0 17 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 9434 1710 1367 1 0 254 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37736 KiB
Current children cumulated memory: 6840 KiB
[startup+0.31291 s]*
/proc/loadavg: 0.47 0.22 0.18 3/252 697600
/proc/meminfo: memFree=130147692/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=104524 memory=8744 CPUtime=0.01 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 603 0 33 0 0 1 0 0 20 0 2 0 139571902 107032576 2186 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 0 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 26131 2186 1801 1 0 583 0
[pid=697585/tid=697598] ppid=697580 vsize=239396 memory=-8599172024676885180 CPUtime=0 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) D 697580 697585 697515 0 -1 4194368 33 0 10 0 0 0 0 0 20 0 2 0 139571927 245141504 2186 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 0 0 0 0 -1 4 0 0 6 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 104524 KiB
Current children cumulated memory: 8744 KiB
[startup+0.701149 s]
/proc/loadavg: 0.47 0.22 0.18 7/252 697600
/proc/meminfo: memFree=130114680/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=18975008 memory=53660 CPUtime=0.12 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 6585 0 102 0 6 6 0 0 20 0 18 0 139571902 19430408192 13415 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4743752 13415 4976 1 0 550514 0
[pid=697585/tid=697598] ppid=697580 vsize=18975008 memory=2560 CPUtime=0.08 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 5701 0 68 0 4 4 0 0 20 0 18 0 139571927 19430408192 13415 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 34 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18975008 KiB
Current children cumulated memory: 53660 KiB
[startup+1.50115 s]
/proc/loadavg: 0.47 0.22 0.18 14/317 697665
/proc/meminfo: memFree=129954744/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19042012 memory=109620 CPUtime=1.56 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 9395 0 106 0 146 10 0 0 20 0 19 0 139571902 19499020288 27405 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4760503 27405 5753 1 0 552813 0
[pid=697585/tid=697598] ppid=697580 vsize=19042012 memory=2560 CPUtime=0.78 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 6672 0 72 0 71 7 0 0 20 0 19 0 139571927 19499020288 27405 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19042012 memory=11408 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 139571969 19499020288 27405 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19042012 memory=35284 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 19 0 139571971 19499020288 27405 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 19042012 KiB
Current children cumulated memory: 109620 KiB
[startup+3.10613 s]
/proc/loadavg: 0.47 0.22 0.18 13/323 697804
/proc/meminfo: memFree=129594792/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=183888 CPUtime=4.74 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 21513 0 106 0 459 15 0 0 20 0 20 0 139571902 19566772224 45972 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 45972 5783 1 0 556871 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=11408 CPUtime=2.32 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 7804 0 72 0 223 9 0 0 20 0 20 0 139571927 19566772224 45972 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 45972 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=26396 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 45972 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=-9175351302003598012 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 45972 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 4.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183888 KiB
[startup+6.30113 s]
/proc/loadavg: 0.83 0.30 0.20 6/324 697805
/proc/meminfo: memFree=126362120/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=452132 CPUtime=8.98 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 22024 0 106 0 876 22 0 0 20 0 20 0 139571902 19566772224 113033 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 113033 5783 1 0 556873 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=-9175351302003598012 CPUtime=5.44 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 8121 0 72 0 529 15 0 0 20 0 20 0 139571927 19566772224 113033 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 36 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 113033 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=-9175351302003598012 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 113033 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=12724 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 113033 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 8.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 452132 KiB
[startup+12.7004 s]
/proc/loadavg: 1.09 0.36 0.22 5/324 697807
/proc/meminfo: memFree=123822240/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=745256 CPUtime=15.64 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 27310 0 106 0 1535 29 0 0 20 0 20 0 139571902 19566772224 186314 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 186314 5783 1 0 556873 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=0 CPUtime=11.71 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 9853 0 72 0 1150 21 0 0 20 0 20 0 139571927 19566772224 186314 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 186314 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=745256 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 186314 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=-9175351302003598012 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 186314 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 15.64 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 745256 KiB
[startup+25.5005 s]
/proc/loadavg: 1.54 0.48 0.26 5/324 697808
/proc/meminfo: memFree=122538220/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=1331048 CPUtime=28.49 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 34031 0 106 0 2806 43 0 0 20 0 20 0 139571902 19566772224 332762 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 332762 5783 1 0 556873 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=745256 CPUtime=24.33 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 13231 0 72 0 2401 32 0 0 20 0 20 0 139571927 19566772224 332762 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=-9175351302003598012 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 332762 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 332762 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=1331048 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 332762 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 28.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1331048 KiB
[startup+51.114 s]
/proc/loadavg: 2.77 0.88 0.40 6/324 697813
/proc/meminfo: memFree=121723884/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=1347496 CPUtime=54.23 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 40974 0 106 0 5377 46 0 0 20 0 20 0 139571902 19566772224 336874 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 336874 5783 1 0 556873 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=-9175351302003598012 CPUtime=49.49 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 16327 0 72 0 4917 32 0 0 20 0 20 0 139571927 19566772224 336874 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=1341340 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 336874 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=1341340 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 336874 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=-9103291508942414524 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 336874 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 54.23 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1347496 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 1.41 0.61 6/325 697823
/proc/meminfo: memFree=121166628/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=1364068 CPUtime=105.49 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 52480 0 106 0 10500 49 0 0 20 0 20 0 139571902 19566772224 341017 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 341017 5784 1 0 556873 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=1353784 CPUtime=99.82 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 20539 0 72 0 9949 33 0 0 20 0 20 0 139571927 19566772224 341017 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 36 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 341017 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 94 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 341017 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 341017 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 105.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1364068 KiB
################
# More data... #
################
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 114613 0 72 0 323042 72 0 0 20 0 20 0 139571927 19566772224 768148 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 75 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=3072584 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 768148 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=19736 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 3048 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 768148 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=3072592 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 768148 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 3295.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3072592 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.21 4.12 5/322 699596
/proc/meminfo: memFree=116119856/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=3072600 CPUtime=3355.56 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 231455 0 106 0 335261 295 0 0 20 0 20 0 139571902 19566772224 768150 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 768150 5802 1 0 791272 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=3072584 CPUtime=3290.55 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 116219 0 72 0 328983 72 0 0 20 0 20 0 139571927 19566772224 768150 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 75 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 768150 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=3072596 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 3140 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 768150 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=3072600 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 768150 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 3355.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3072600 KiB
[startup+3402.3 s]
/proc/loadavg: 4.26 4.23 4.13 5/322 699608
/proc/meminfo: memFree=116119260/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=3072600 CPUtime=3416.05 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 234617 0 106 0 341307 298 0 0 20 0 20 0 139571902 19566772224 768150 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 768150 5802 1 0 791272 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=35284 CPUtime=3349.53 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 117722 0 72 0 334880 73 0 0 20 0 20 0 139571927 19566772224 768150 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 82 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=3072600 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 768150 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=3072600 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 3232 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 768150 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=3072600 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 768150 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 3416.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3072600 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.22 4.13 6/320 699618
/proc/meminfo: memFree=116063560/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=3072656 CPUtime=3476.96 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 238415 0 106 0 347394 302 0 0 20 0 20 0 139571902 19566772224 768164 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 768164 5802 1 0 791288 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=35284 CPUtime=3408.23 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 119704 0 72 0 340750 73 0 0 20 0 20 0 139571927 19566772224 768164 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 91 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=35284 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 768164 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=3072656 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 3308 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 768164 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 768164 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 3476.96 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3072656 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.21 4.13 5/320 699628
/proc/meminfo: memFree=116044700/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=3072688 CPUtime=3537.58 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 241439 0 106 0 353452 306 0 0 20 0 20 0 139571902 19566772224 768172 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 768172 5802 1 0 791288 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=3072656 CPUtime=3467.31 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 121038 0 72 0 346658 73 0 0 20 0 20 0 139571927 19566772224 768172 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 92 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=32072 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 768172 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=2288 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 3308 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 768172 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=3072688 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 768172 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 3537.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3072688 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.20 4.13 5/318 699640
/proc/meminfo: memFree=115999244/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=3072688 CPUtime=3598.15 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 244682 0 106 0 359505 310 0 0 20 0 20 0 139571902 19566772224 768172 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 768172 5802 1 0 791288 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=12724 CPUtime=3526.23 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 122484 0 72 0 352550 73 0 0 20 0 20 0 139571927 19566772224 768172 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 92 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=12724 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 768172 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 3377 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 768172 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=35284 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 768172 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 3598.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3072688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3584.11 s]
/proc/loadavg: 4.16 4.20 4.13 6/318 699640
/proc/meminfo: memFree=115999240/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19108176 memory=3072696 CPUtime=3600.03 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 245607 0 106 0 359693 310 0 0 20 0 20 0 139571902 19566772224 768174 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 4 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4777044 768174 5802 1 0 791288 0
[pid=697585/tid=697598] ppid=697580 vsize=19108176 memory=11408 CPUtime=3528.04 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 122749 0 72 0 352731 73 0 0 20 0 20 0 139571927 19566772224 768174 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 92 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19108176 memory=3072688 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 139571969 19566772224 768174 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 3377 0 0 0 0 0 0 0 20 0 20 0 139571971 19566772224 768174 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697667] ppid=697580 vsize=19108176 memory=3072688 CPUtime=0 cores=4,6
/proc/697585/task/697667/stat : 697667 (Timer-0) S 697580 697585 697515 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139572032 19566772224 768174 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3072696 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3584.33 s]
# the end of solver process 697585 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.29 s, system=3.13127 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584.21 s]
/proc/loadavg: 4.16 4.20 4.13 6/318 699640
/proc/meminfo: memFree=115999240/131655788 swapFree=131071996/131071996
[pid=697585] ppid=697580 vsize=19307868 memory=3073328 CPUtime=3600.23 cores=4,6
/proc/697585/stat : 697585 (java) S 697580 697585 697515 0 -1 1077936128 247405 0 106 0 359712 311 0 0 20 0 21 0 139571902 19771256832 768332 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 0 0 16800975 0 0 0 17 6 0 0 20 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
/proc/697585/statm: 4826967 768332 5801 1 0 792240 0
[pid=697585/tid=697598] ppid=697580 vsize=19307868 memory=-9175351302003598012 CPUtime=3528.14 cores=4,6
/proc/697585/task/697598/stat : 697598 (java) R 697580 697585 697515 0 -1 4194368 122801 0 72 0 352741 73 0 0 20 0 21 0 139571927 19771256832 768332 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 92 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697633] ppid=697580 vsize=19307868 memory=6944656385659391076 CPUtime=0 cores=4,6
/proc/697585/task/697633/stat : 697633 (Finalizer) S 697580 697585 697515 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 139571969 19771256832 768332 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
[pid=697585/tid=697664] ppid=697580 vsize=19307868 memory=6939028221689737258 CPUtime=0 cores=4,6
/proc/697585/task/697664/stat : 697664 (Common-Cleaner) S 697580 697585 697515 0 -1 1077936192 3377 0 0 0 0 0 0 0 20 0 21 0 139571971 19771256832 768332 134679101440 94364010582016 94364010585712 140723158203296 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364010593528 94364010594320 94364015951872 140723158209494 140723158209607 140723158209607 140723158216648 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3073328 KiB
[startup+3584.31 s]*
/proc/loadavg: 4.16 4.20 4.13 5/300 699643
/proc/meminfo: memFree=119048312/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3584.33
CPU time (s): 3600.42
CPU user time (s): 3597.29
CPU system time (s): 3.13127
CPU usage (%): 100.449
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3073328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.29
system time used= 3.13127
maximum resident set size= 3073384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247833
page faults= 106
swaps= 0
block input operations= 13008
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127321
involuntary context switches= 7566
# summary of solver processes directly reported to runsolver:
# pid: 697585
# total CPU time (s): 3600.42
# total CPU user time (s): 3597.29
# total CPU system time (s): 3.13127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2316 second user time and 38.3448 second system time
The end
Begin job on nodeC007 at 2024-07-13 14:36:05 IDJOB=4424278 IDBENCH=143539 IDSOLVER=3035 FILE ID=nodeC007/4424278-1720874152 RUNJOBID= nodeC007-1720874164-697526 SLURM_JOB_ID= 7483755 Free space on /tmp= 723780 MiB SOLVER NAME= Sat4j Partial RoundingSAT 2024 2024-07-12 BENCH NAME= PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar PartialRoundingSatPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4424278-1720874152/watcher-4424278-1720874152 -o /tmp/evaluation-result-4424278-1720874152/solver-4424278-1720874152 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1720874164-697526 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424278-1720874152.wbo TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ec2511efc2417fb1e9e041199c221bd7 RANDOM SEED=450756964 nodeC007.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.130 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.137 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.378 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.135 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.138 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.157 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.137 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.25 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.133 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.30 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 130167164 kB MemAvailable: 129980216 kB Buffers: 314440 kB Cached: 349016 kB SwapCached: 0 kB Active: 442084 kB Inactive: 552372 kB Active(anon): 1396 kB Inactive(anon): 367332 kB Active(file): 440688 kB Inactive(file): 185040 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 3492 kB Writeback: 0 kB AnonPages: 330832 kB Mapped: 101456 kB Shmem: 37704 kB KReclaimable: 54708 kB Slab: 143288 kB SReclaimable: 54708 kB SUnreclaim: 88580 kB KernelStack: 3732 kB PageTables: 9436 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 566080 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 45504 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: 203592 kB DirectMap2M: 11235328 kB DirectMap1G: 124780544 kB Free space on /tmp at the end= 723772 MiB End job on nodeC007 at 2024-07-13 15:35:49