Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Cutting Planes 2024 2024-07-12 | OPT | -110625 | 258.885 | 255.658 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/ normalized-knapPI_1_2000_1000_1_-110625.opb |
| MD5SUM | 4e250cdab7b4044f2b74367cd304c22b |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | -110625 |
| Best CPU time to get the best result obtained on this benchmark | 0.045906 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2000 |
| Total number of constraints | 1 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2000 |
| Maximum length of a constraint | 2000 |
| Number of terms in the objective function | 2000 |
| Biggest coefficient in the objective function | 1000 |
| Number of bits for the biggest coefficient in the objective function | 10 |
| Sum of the numbers in the objective function | 977737 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 10011 |
| Number of bits of the biggest number in a constraint | 14 |
| Biggest sum of numbers in a constraint | 1021141 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.06 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.00/0.06 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.06 c See www.sat4j.org for details. 0.00/0.07 c version CUSTOM.v20240707 0.00/0.08 c java.runtime.name OpenJDK Runtime Environment 0.00/0.08 c java.vm.name OpenJDK 64-Bit Server VM 0.00/0.08 c java.vm.version 22.0.1+8-16 0.00/0.08 c java.vm.vendor Oracle Corporation 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 22.0.1 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 4.18.0-301.1.el8.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 2104792832 0.00/0.08 c Max memory 16282288128 0.00/0.08 c Total memory 2113929216 0.00/0.08 c Number of processors 2 0.13/0.15 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 - never skip resolution steps 0.13/0.15 - Auto-division on coefficients is disabled 0.13/0.15 - No postprocessing 0.13/0.15 - Conflict is considered as is when resolving 0.13/0.15 - Use constraints as they come during conflict analysis 0.13/0.15 - Weaken first using unassigned literals 0.13/0.15 - Bump strategy: ALWAYS_ONE 0.13/0.15 - Bumper: EFFECTIVE 0.13/0.15 --- Begin Solver configuration --- 0.13/0.15 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.13/0.15 Learn all clauses as in MiniSAT 0.13/0.15 LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 No reason simplification 0.13/0.15 Dynamic restart strategy considering the size of the coefficients 0.13/0.15 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.13/0.15 timeout=2147483s 0.13/0.15 DB Simplification allowed=false 0.13/0.15 Listener: none 0.13/0.15 --- End Solver configuration --- 0.13/0.15 c Pseudo Boolean Optimization by upper bound 0.13/0.15 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.13/0.15 c - never skip resolution steps 0.13/0.15 c - Auto-division on coefficients is disabled 0.13/0.15 c - No postprocessing 0.13/0.15 c - Conflict is considered as is when resolving 0.13/0.15 c - Use constraints as they come during conflict analysis 0.13/0.15 c - Weaken first using unassigned literals 0.13/0.15 c - Bump strategy: ALWAYS_ONE 0.13/0.15 c - Bumper: EFFECTIVE 0.13/0.15 c --- Begin Solver configuration --- 0.13/0.15 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.13/0.15 c Learn all clauses as in MiniSAT 0.13/0.15 c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.13/0.15 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.13/0.15 c No reason simplification 0.13/0.15 c Dynamic restart strategy considering the size of the coefficients 0.13/0.15 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.13/0.15 c timeout=2147483s 0.13/0.15 c DB Simplification allowed=false 0.13/0.15 c Listener: none 0.13/0.15 c --- End Solver configuration --- 0.13/0.15 c solving HOME/instance-4457746-1721865106.opb 0.13/0.15 c reading problem ... 0.13/0.16 c objective function found 0.13/0.20 c ... done. Wall clock time 0.039s. 0.13/0.20 c declared #vars 2000 0.13/0.20 c #constraints 1 0.13/0.20 c constraints type 0.13/0.20 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 1 0.13/0.20 c 1 constraints processed. 0.13/0.20 c objective function length is 2000 literals 0.33/0.22 c SATISFIABLE 0.33/0.22 c OPTIMIZING... 0.33/0.22 c Got one! Elapsed wall clock time (in seconds):0.074 0.33/0.22 o -22513 0.91/0.55 c Got one! Elapsed wall clock time (in seconds):0.395 0.91/0.55 o -22839 0.91/0.56 c Got one! Elapsed wall clock time (in seconds):0.402 0.91/0.56 o -23668 1.10/0.64 c Got one! Elapsed wall clock time (in seconds):0.491 1.10/0.65 o -26890 1.28/0.76 c Got one! Elapsed wall clock time (in seconds):0.608 1.28/0.76 o -28728 1.67/0.90 c Got one! Elapsed wall clock time (in seconds):0.749 1.67/0.90 o -30015 1.88/1.04 c Got one! Elapsed wall clock time (in seconds):0.888 1.88/1.04 o -36876 2.07/1.17 c Got one! Elapsed wall clock time (in seconds):1.025 2.07/1.17 o -45922 2.24/1.26 c Got one! Elapsed wall clock time (in seconds):1.109 2.24/1.26 o -51058 2.61/1.52 c Got one! Elapsed wall clock time (in seconds):1.375 2.61/1.52 o -57468 4.81/3.36 c Got one! Elapsed wall clock time (in seconds):3.216 4.81/3.36 o -68596 6.44/4.90 c Got one! Elapsed wall clock time (in seconds):4.753 6.44/4.90 o -68967 7.54/5.88 c Got one! Elapsed wall clock time (in seconds):5.729 7.54/5.88 o -69014 8.27/6.50 c Got one! Elapsed wall clock time (in seconds):6.353 8.27/6.50 o -69288 8.67/6.91 c Got one! Elapsed wall clock time (in seconds):6.76 8.67/6.91 o -70300 9.07/7.33 c Got one! Elapsed wall clock time (in seconds):7.179 9.07/7.33 o -74587 10.97/9.20 c Got one! Elapsed wall clock time (in seconds):9.055 10.97/9.20 o -74613 11.17/9.44 c Got one! Elapsed wall clock time (in seconds):9.289 11.17/9.44 o -76187 11.27/9.53 c Got one! Elapsed wall clock time (in seconds):9.382 11.27/9.53 o -82449 13.11/11.37 c Got one! Elapsed wall clock time (in seconds):11.22 13.11/11.37 o -82459 13.31/11.59 c Got one! Elapsed wall clock time (in seconds):11.445 13.31/11.59 o -83513 14.12/12.36 c Got one! Elapsed wall clock time (in seconds):12.212 14.12/12.36 o -83759 14.55/12.72 c Got one! Elapsed wall clock time (in seconds):12.573 14.55/12.72 o -83923 14.75/12.91 c Got one! Elapsed wall clock time (in seconds):12.763 14.75/12.91 o -84640 17.76/15.98 c Got one! Elapsed wall clock time (in seconds):15.83 17.76/15.98 o -84641 18.05/16.29 c Got one! Elapsed wall clock time (in seconds):16.14 18.05/16.29 o -85969 20.75/18.94 c Got one! Elapsed wall clock time (in seconds):18.789 20.75/18.94 o -88603 21.04/19.25 c Got one! Elapsed wall clock time (in seconds):19.108 21.04/19.25 o -88610 21.73/19.93 c Got one! Elapsed wall clock time (in seconds):19.782 21.73/19.93 o -88619 21.83/20.04 c Got one! Elapsed wall clock time (in seconds):19.895 21.83/20.04 o -91107 22.43/20.61 c Got one! Elapsed wall clock time (in seconds):20.467 22.43/20.61 o -91113 24.81/22.96 c Got one! Elapsed wall clock time (in seconds):22.816 24.81/22.96 o -91123 25.92/24.07 c Got one! Elapsed wall clock time (in seconds):23.927 25.92/24.07 o -91159 26.71/24.88 c Got one! Elapsed wall clock time (in seconds):24.729 26.71/24.88 o -91206 29.99/28.12 c Got one! Elapsed wall clock time (in seconds):27.976 29.99/28.13 o -91279 31.18/29.32 c Got one! Elapsed wall clock time (in seconds):29.17 31.18/29.32 o -92462 32.92/31.08 c Got one! Elapsed wall clock time (in seconds):30.929 32.92/31.08 o -92478 33.12/31.29 c Got one! Elapsed wall clock time (in seconds):31.144 33.12/31.29 o -92632 34.04/32.17 c Got one! Elapsed wall clock time (in seconds):32.018 34.04/32.17 o -92685 34.73/32.88 c Got one! Elapsed wall clock time (in seconds):32.733 34.73/32.88 o -94015 35.35/33.42 c Got one! Elapsed wall clock time (in seconds):33.278 35.35/33.43 o -95770 38.72/36.83 c Got one! Elapsed wall clock time (in seconds):36.68 38.72/36.83 o -95803 39.05/37.17 c Got one! Elapsed wall clock time (in seconds):37.019 39.05/37.17 o -95813 39.34/37.48 c Got one! Elapsed wall clock time (in seconds):37.334 39.34/37.48 o -95818 39.64/37.76 c Got one! Elapsed wall clock time (in seconds):37.618 39.64/37.76 o -95988 40.43/38.59 c Got one! Elapsed wall clock time (in seconds):38.443 40.43/38.59 o -96027 40.87/38.97 c Got one! Elapsed wall clock time (in seconds):38.82 40.87/38.97 o -96570 45.16/43.24 c Got one! Elapsed wall clock time (in seconds):43.095 45.16/43.24 o -96594 45.75/43.81 c Got one! Elapsed wall clock time (in seconds):43.66 45.75/43.81 o -96831 46.06/44.14 c Got one! Elapsed wall clock time (in seconds):43.995 46.06/44.14 o -100056 46.82/44.83 c Got one! Elapsed wall clock time (in seconds):44.683 46.82/44.83 o -100623 47.14/45.12 c Got one! Elapsed wall clock time (in seconds):44.968 47.14/45.12 o -100863 53.87/51.82 c Got one! Elapsed wall clock time (in seconds):51.671 53.87/51.82 o -102750 59.77/57.74 c Got one! Elapsed wall clock time (in seconds):57.598 59.77/57.75 o -103504 67.20/65.10 c Got one! Elapsed wall clock time (in seconds):64.956 67.20/65.11 o -103595 69.72/67.63 c Got one! Elapsed wall clock time (in seconds):67.485 69.72/67.63 o -103602 70.45/68.33 c Got one! Elapsed wall clock time (in seconds):68.185 70.45/68.33 o -103617 71.25/69.14 c Got one! Elapsed wall clock time (in seconds):68.994 71.25/69.14 o -103668 75.28/73.18 c Got one! Elapsed wall clock time (in seconds):73.033 75.28/73.18 o -103758 75.69/73.57 c Got one! Elapsed wall clock time (in seconds):73.419 75.69/73.57 o -103773 76.19/74.05 c Got one! Elapsed wall clock time (in seconds):73.906 76.19/74.05 o -105257 77.29/75.13 c Got one! Elapsed wall clock time (in seconds):74.984 77.29/75.13 o -105491 78.52/76.38 c Got one! Elapsed wall clock time (in seconds):76.237 78.52/76.38 o -105770 79.92/77.77 c Got one! Elapsed wall clock time (in seconds):77.626 79.92/77.77 o -108564 80.12/77.92 c Got one! Elapsed wall clock time (in seconds):77.773 80.12/77.92 o -108576 80.53/78.32 c Got one! Elapsed wall clock time (in seconds):78.178 80.53/78.32 o -108667 80.84/78.61 c Got one! Elapsed wall clock time (in seconds):78.46 80.84/78.61 o -108775 81.36/79.18 c Got one! Elapsed wall clock time (in seconds):79.029 81.36/79.18 o -108801 81.55/79.33 c Got one! Elapsed wall clock time (in seconds):79.181 81.55/79.33 o -108810 82.05/79.87 c Got one! Elapsed wall clock time (in seconds):79.722 82.05/79.87 o -108863 82.25/80.07 c Got one! Elapsed wall clock time (in seconds):79.919 82.25/80.07 o -108886 82.44/80.27 c Got one! Elapsed wall clock time (in seconds):80.121 82.44/80.27 o -109104 83.34/81.12 c Got one! Elapsed wall clock time (in seconds):80.97 83.34/81.12 o -109106 87.64/85.46 c Got one! Elapsed wall clock time (in seconds):85.311 87.64/85.46 o -109111 93.13/90.61 c Got one! Elapsed wall clock time (in seconds):90.467 93.13/90.61 o -109121 93.23/90.75 c Got one! Elapsed wall clock time (in seconds):90.598 93.23/90.75 o -109748 100.95/98.43 c Got one! Elapsed wall clock time (in seconds):98.288 100.95/98.44 o -109749 101.25/98.71 c Got one! Elapsed wall clock time (in seconds):98.565 101.25/98.71 o -109772 104.21/101.66 c Got one! Elapsed wall clock time (in seconds):101.51 104.21/101.66 o -109897 109.64/107.07 c Got one! Elapsed wall clock time (in seconds):106.928 109.64/107.07 o -109918 110.33/107.72 c Got one! Elapsed wall clock time (in seconds):107.577 110.33/107.72 o -109926 121.70/119.14 c Got one! Elapsed wall clock time (in seconds):118.993 121.70/119.14 o -109937 123.51/120.98 c Got one! Elapsed wall clock time (in seconds):120.833 123.51/120.98 o -109944 126.20/123.67 c Got one! Elapsed wall clock time (in seconds):123.522 126.20/123.67 o -109949 127.00/124.40 c Got one! Elapsed wall clock time (in seconds):124.255 127.00/124.40 o -109961 129.00/126.49 c Got one! Elapsed wall clock time (in seconds):126.346 129.00/126.49 o -109971 130.00/127.46 c Got one! Elapsed wall clock time (in seconds):127.309 130.00/127.46 o -110294 147.09/144.50 c Got one! Elapsed wall clock time (in seconds):144.356 147.09/144.50 o -110295 154.18/151.70 c Got one! Elapsed wall clock time (in seconds):151.549 154.18/151.70 o -110319 155.20/152.64 c Got one! Elapsed wall clock time (in seconds):152.497 155.20/152.64 o -110407 174.34/171.39 c Got one! Elapsed wall clock time (in seconds):171.241 174.34/171.39 o -110418 175.33/172.31 c Got one! Elapsed wall clock time (in seconds):172.167 175.33/172.31 o -110468 179.62/176.62 c Got one! Elapsed wall clock time (in seconds):176.469 179.62/176.62 o -110493 181.07/178.03 c Got one! Elapsed wall clock time (in seconds):177.885 181.07/178.03 o -110514 196.97/193.93 c Got one! Elapsed wall clock time (in seconds):193.78 196.97/193.93 o -110516 198.96/195.90 c Got one! Elapsed wall clock time (in seconds):195.751 198.96/195.90 o -110527 203.95/200.94 c Got one! Elapsed wall clock time (in seconds):200.798 203.95/200.94 o -110551 213.37/210.21 c Got one! Elapsed wall clock time (in seconds):210.06 213.37/210.21 o -110552 219.09/215.95 c Got one! Elapsed wall clock time (in seconds):215.805 219.09/215.95 o -110571 226.07/222.96 c Got one! Elapsed wall clock time (in seconds):222.812 226.07/222.96 o -110610 246.09/242.97 c Got one! Elapsed wall clock time (in seconds):242.82 246.09/242.97 o -110625 258.80/255.62 c starts : 111 258.80/255.63 c conflicts : 1806 258.80/255.63 c decisions : 147125 258.80/255.63 c propagations : 740143 258.80/255.63 c inspects : 6839575 258.80/255.63 c shortcuts : 0 258.80/255.63 c learnt literals : 0 258.80/255.63 c learnt binary clauses : 0 258.80/255.63 c learnt ternary clauses : 0 258.80/255.63 c learnt constraints : 1805 258.80/255.63 c ignored constraints : 0 258.80/255.63 c root simplifications : 0 258.80/255.63 c removed literals (reason simplification) : 0 258.80/255.63 c reason swapping (by a shorter reason) : 0 258.80/255.63 c Calls to reduceDB : 0 258.80/255.63 c Number of update (reduction) of LBD : 2277 258.80/255.63 c Imported unit clauses : 0 258.80/255.63 c No decision after first conflict : false 258.80/255.63 c number of reductions to clauses (during analyze) : 0 258.80/255.63 c number of learned constraints concerned by reduction : 0 258.80/255.63 c number of learning phase by resolution : 0 258.80/255.63 c number of learning phase by cutting planes : 0 258.80/255.63 c number of rounding to 1 operations : 0 258.80/255.63 c number of easy rounding to 1 operations (no literal elimination needed) : 0 258.80/255.63 c number of reductions of the coefficients by power 2 : 0 258.80/255.63 c number of right shift for reduction by power 2 : 0 258.80/255.63 c number of reductions of the coefficients by GCD over coefficients : 0 258.80/255.63 c number of ending skipping : 0 258.80/255.63 c number of internal skipping : 0 258.80/255.63 c number of derivation steps : 5854 258.80/255.63 c number of skipped derivation steps : 0 258.80/255.63 c number of remaining unassigned : 25250 258.80/255.63 c number of remaining assigned : 4399745 258.80/255.63 c number of falsified literals weakened from reason : 0 258.80/255.63 c number of falsified literals weakened from conflict : 0 258.80/255.63 c time for arithmetic operations : 3000009827 258.80/255.63 c minimum degree of deleted constraints : null 258.80/255.63 c maximum degree of deleted constraints : null 258.80/255.63 c number of deleted constraints : 0 258.80/255.64 c speed (assignments/second) : 2897.6920818244103 258.80/255.64 c non guided choices : 0 258.80/255.64 s OPTIMUM FOUND 258.80/255.64 c Found 101 solution(s) 258.80/255.64 v -x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 x380 -x381 -x382 x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 x474 -x475 -x476 x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 x494 x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 -x594 -x595 -x596 -x597 -x598 -x599 x600 -x601 -x602 -x603 x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 x733 -x734 -x735 -x736 x737 x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 x987 x988 -x989 x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 -x1098 -x1099 x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 x1115 -x1116 -x1117 x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 x1138 x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 x1401 -x1402 -x1403 x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 x1473 x1474 -x1475 x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 x1484 -x1485 x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 x1545 x1546 -x1547 -x1548 x1549 x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 x1665 -x1666 x1667 x1668 -x1669 -x1670 -x1671 -x1672 x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 x1693 -x1694 -x1695 -x1696 x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 x1730 -x1731 x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 x1998 -x1999 -x2000 258.80/255.64 c objective function=-110625 258.80/255.64 c Total wall clock time (in seconds): 255.495
OK -110625
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 (56911 MiB free)
memory of node 1: 64473 MiB (57735 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457746-1721865106/watcher-4457746-1721865106 -o /tmp/evaluation-result-4457746-1721865106/solver-4457746-1721865106 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721865105-264737 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4457746-1721865106.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=265135, runsolver pid=265132
[startup+0.100418 s]*
/proc/loadavg: 0.43 0.16 0.11 7/308 265162
/proc/meminfo: memFree=117342240/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=18975048 memory=64996 CPUtime=0.13 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 7235 0 0 0 12 1 0 0 20 0 18 0 23033633 19430449152 16249 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4743762 16249 5616 1 0 549357 0
[pid=265135/tid=265137] ppid=265132 vsize=18975048 memory=4026532157 CPUtime=0.08 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 1077936192 5765 0 0 0 7 1 0 0 20 0 18 0 23033633 19430449152 16249 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=18975048 memory=215671374179 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23033636 19430449152 16249 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=18975048 memory=16098165313749062 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23033636 19430449152 16249 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64996 KiB
[startup+0.207709 s]*
/proc/loadavg: 0.43 0.16 0.11 8/314 265187
/proc/meminfo: memFree=117327104/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=18975048 memory=75056 CPUtime=0.33 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 7967 0 0 0 31 2 0 0 20 0 18 0 23033633 19430449152 18764 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4743762 18764 5867 1 0 549850 0
[pid=265135/tid=265137] ppid=265132 vsize=18975048 memory=8314050057236054147 CPUtime=0.18 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 1077936192 6116 0 0 0 17 1 0 0 20 0 18 0 23033633 19430449152 18764 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=18975048 memory=770575 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 23033636 19430449152 18764 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=18975048 memory=15816698926204594 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 23033636 19430449152 18764 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75056 KiB
[startup+0.306486 s]*
/proc/loadavg: 0.43 0.16 0.11 10/331 265204
/proc/meminfo: memFree=117280280/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19041612 memory=81480 CPUtime=0.52 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 9270 0 0 0 50 2 0 0 20 0 19 0 23033633 19498610688 20370 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4760403 20370 5867 1 0 550646 0
[pid=265135/tid=265137] ppid=265132 vsize=19041612 memory=-9031240520614781628 CPUtime=0.27 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 6153 0 0 0 26 1 0 0 20 0 19 0 23033633 19498610688 20370 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23033636 19498610688 20370 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23033636 19498610688 20370 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23033655 19498610688 20370 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81480 KiB
[startup+0.700489 s]
/proc/loadavg: 0.43 0.16 0.11 7/312 265207
/proc/meminfo: memFree=117298820/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19041612 memory=135424 CPUtime=1.28 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 13623 0 0 0 124 4 0 0 20 0 19 0 23033633 19498610688 33856 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4760403 33856 5867 1 0 553373 0
[pid=265135/tid=265137] ppid=265132 vsize=19041612 memory=73000 CPUtime=0.63 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 6196 0 0 0 61 2 0 0 20 0 19 0 23033633 19498610688 33856 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19041612 memory=12264 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 23033636 19498610688 33856 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19041612 memory=2248 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 23033636 19498610688 33856 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19041612 memory=25948 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 23033655 19498610688 33856 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 135424 KiB
[startup+1.50049 s]
/proc/loadavg: 0.43 0.16 0.11 9/332 265271
/proc/meminfo: memFree=117176356/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=178992 CPUtime=2.61 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 16691 0 0 0 256 5 0 0 20 0 20 0 23033633 19566772224 44748 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 44748 5890 1 0 553915 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=12264 CPUtime=1.39 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 6738 0 0 0 137 2 0 0 20 0 20 0 23033633 19566772224 44748 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 44748 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 44748 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 44748 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 2.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 178992 KiB
[startup+3.10649 s]
/proc/loadavg: 0.43 0.16 0.11 8/333 265406
/proc/meminfo: memFree=116923392/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=202000 CPUtime=4.61 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 19045 0 0 0 456 5 0 0 20 0 20 0 23033633 19566772224 50500 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 50500 5890 1 0 553918 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=-9032647895498334908 CPUtime=2.96 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 7037 0 0 0 293 3 0 0 20 0 20 0 23033633 19566772224 50500 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 50500 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 50500 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=155176 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 50500 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 202000 KiB
[startup+6.30051 s]
/proc/loadavg: 0.79 0.24 0.14 5/334 265407
/proc/meminfo: memFree=115522268/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=378984 CPUtime=8.03 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 21404 0 0 0 793 10 0 0 20 0 20 0 23033633 19566772224 94746 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 94746 5890 1 0 553936 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=0 CPUtime=6.1 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 7254 0 0 0 604 6 0 0 20 0 20 0 23033633 19566772224 94746 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 94746 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 94746 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 94746 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 8.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 378984 KiB
[startup+12.7005 s]
/proc/loadavg: 1.05 0.31 0.16 5/336 265411
/proc/meminfo: memFree=114685016/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=392196 CPUtime=14.55 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 25094 0 0 0 1444 11 0 0 20 0 20 0 23033633 19566772224 98049 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 98049 5890 1 0 553936 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=2273 CPUtime=12.36 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 8443 0 0 0 1230 6 0 0 20 0 20 0 23033633 19566772224 98049 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=391984 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 98049 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=392128 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 98049 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 98049 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 14.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 392196 KiB
[startup+25.5005 s]
/proc/loadavg: 1.79 0.50 0.23 5/336 265412
/proc/meminfo: memFree=113916128/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=765252 CPUtime=27.41 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 31128 0 0 0 2721 20 0 0 20 0 20 0 23033633 19566772224 191313 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 191313 5890 1 0 553952 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=392128 CPUtime=24.91 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 10471 0 0 0 2478 13 0 0 20 0 20 0 23033633 19566772224 191313 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=689460 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 191313 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=47034324 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 191313 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=392120 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 191313 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 27.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 765252 KiB
[startup+51.1065 s]
/proc/loadavg: 2.69 0.82 0.34 5/336 265418
/proc/meminfo: memFree=112830464/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=1278208 CPUtime=53.17 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 41119 0 0 0 5285 32 0 0 20 0 20 0 23033633 19566772224 319552 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 319552 5890 1 0 553968 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=1278208 CPUtime=50.12 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 13967 0 0 0 4991 21 0 0 20 0 20 0 23033633 19566772224 319552 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
################
# More data... #
################
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 410978 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 165.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1643912 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.36 1.02 5/336 265449
/proc/meminfo: memFree=109280684/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=1684448 CPUtime=225.48 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 83173 0 0 0 22493 55 0 0 20 0 20 0 23033633 19566772224 421112 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 421112 5904 1 0 560430 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=73000 CPUtime=219.73 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 24650 0 0 0 21950 23 0 0 20 0 20 0 23033633 19566772224 421112 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=11616 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 421112 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 258 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 421112 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=1684448 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 421112 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 225.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1684448 KiB
[startup+255.658 s]
# the end of solver process 265135 was just reported to runsolver
# Child status: 30
# cumulated CPU time of all completed processes: user=258.288 s, system=0.596531 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 4.22 2.43 1.06 5/336 265450
/proc/meminfo: memFree=109225192/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=1684448 CPUtime=233.57 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 83440 0 0 0 23301 56 0 0 20 0 20 0 23033633 19566772224 421112 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 421112 5904 1 0 560430 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=11616 CPUtime=227.81 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 24910 0 0 0 22758 23 0 0 20 0 20 0 23033633 19566772224 421112 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 421112 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=1684448 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 258 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 421112 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=5592 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 421112 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 233.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1684448 KiB
[startup+243.2 s]
/proc/loadavg: 4.27 2.50 1.10 5/338 265837
/proc/meminfo: memFree=109137036/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=1707120 CPUtime=246.39 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 85258 0 0 0 24582 57 0 0 20 0 20 0 23033633 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 426780 5904 1 0 560430 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=11616 CPUtime=240.52 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 26465 0 0 0 24028 24 0 0 20 0 20 0 23033633 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=-9032647895498334908 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=33072 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 258 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=1706976 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 246.39 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1707120 KiB
[startup+249.6 s]
/proc/loadavg: 4.24 2.53 1.11 5/338 265838
/proc/meminfo: memFree=109094004/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=1707120 CPUtime=252.77 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 85425 0 0 0 25220 57 0 0 20 0 20 0 23033633 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 426780 5904 1 0 560430 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=12264 CPUtime=246.9 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 26632 0 0 0 24666 24 0 0 20 0 20 0 23033633 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=1707120 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=1707120 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 258 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=2248 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 252.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1707120 KiB
[startup+252.8 s]
/proc/loadavg: 4.22 2.55 1.13 5/338 265838
/proc/meminfo: memFree=109067408/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=1707120 CPUtime=255.97 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 85485 0 0 0 25539 58 0 0 20 0 20 0 23033633 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 426780 5904 1 0 560430 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=2248 CPUtime=250.09 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 26692 0 0 0 24985 24 0 0 20 0 20 0 23033633 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=1707120 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=16084 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 258 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=73000 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 255.97 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1707120 KiB
[startup+254.4 s]
/proc/loadavg: 4.22 2.55 1.13 5/338 265838
/proc/meminfo: memFree=109061292/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=1707120 CPUtime=257.56 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 85492 0 0 0 25698 58 0 0 20 0 20 0 23033633 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 426780 5904 1 0 560430 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=11544 CPUtime=251.69 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 26699 0 0 0 25145 24 0 0 20 0 20 0 23033633 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=2676 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=-9032647895498334908 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 258 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=1307132 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 426780 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 257.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1707120 KiB
[startup+255.2 s]
/proc/loadavg: 4.21 2.58 1.15 5/338 265838
/proc/meminfo: memFree=109061292/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=1707148 CPUtime=258.38 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 86714 0 0 0 25780 58 0 0 20 0 20 0 23033633 19566772224 426787 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 426787 5904 1 0 560430 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=73000 CPUtime=252.48 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 26747 0 0 0 25224 24 0 0 20 0 20 0 23033633 19566772224 426787 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=12264 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426787 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=5592 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 258 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426787 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=16084 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 426787 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 258.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1707148 KiB
[startup+255.6 s]
/proc/loadavg: 4.21 2.58 1.15 5/338 265838
/proc/meminfo: memFree=109061292/131524600 swapFree=131071728/131071996
[pid=265135] ppid=265132 vsize=19108176 memory=1707152 CPUtime=258.8 cores=0,2
/proc/265135/stat : 265135 (java) S 265132 265135 264727 0 -1 1077936128 86885 0 0 0 25822 58 0 0 20 0 20 0 23033633 19566772224 426788 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
/proc/265135/statm: 4777044 426788 5904 1 0 560430 0
[pid=265135/tid=265137] ppid=265132 vsize=19108176 memory=21072 CPUtime=252.88 cores=0,2
/proc/265135/task/265137/stat : 265137 (java) R 265132 265135 264727 0 -1 4194368 26763 0 0 0 25264 24 0 0 20 0 20 0 23033633 19566772224 426788 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 6 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265146] ppid=265132 vsize=19108176 memory=2288 CPUtime=0 cores=0,2
/proc/265135/task/265146/stat : 265146 (Finalizer) S 265132 265135 264727 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426788 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265153] ppid=265132 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/265135/task/265153/stat : 265153 (Common-Cleaner) S 265132 265135 264727 0 -1 1077936192 258 0 0 0 0 0 0 0 20 0 20 0 23033636 19566772224 426788 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
[pid=265135/tid=265191] ppid=265132 vsize=19108176 memory=31944 CPUtime=0 cores=0,2
/proc/265135/task/265191/stat : 265191 (Timer-0) S 265132 265135 264727 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 23033655 19566772224 426788 134679101440 94797406433280 94797406436976 140722050292352 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94797406444792 94797406445584 94797438156800 140722050294773 140722050294881 140722050294881 140722050301896 0
Current children cumulated CPU time: 258.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1707152 KiB
Child status: 30
Real time (s): 255.658
CPU time (s): 258.885
CPU user time (s): 258.288
CPU system time (s): 0.596531
CPU usage (%): 101.262
Max. virtual memory (cumulated for all children) (KiB): 19110936
Max. memory (cumulated for all children) (KiB): 1707152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.288
system time used= 0.596531
maximum resident set size= 1708520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89285
page faults= 0
swaps= 0
block input operations= 32
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10425
involuntary context switches= 2693
# summary of solver processes directly reported to runsolver:
# pid: 265135
# total CPU time (s): 258.885
# total CPU user time (s): 258.288
# total CPU system time (s): 0.596531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.50047 second user time and 1.37175 second system time
The end
Begin job on nodeC024 at 2024-07-25 01:51:46 IDJOB=4457746 IDBENCH=176755 IDSOLVER=3052 FILE ID=nodeC024/4457746-1721865106 RUNJOBID= nodeC024-1721865105-264737 SLURM_JOB_ID= 8089174 Free space on /tmp= 890080 MiB SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/uncorrelated/normalized-knapPI_1_2000_1000_1_-110625.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4457746-1721865106/watcher-4457746-1721865106 -o /tmp/evaluation-result-4457746-1721865106/solver-4457746-1721865106 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721865105-264737 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4457746-1721865106.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 4e250cdab7b4044f2b74367cd304c22b RANDOM SEED=544543856 nodeC024.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 : 3616.932 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 : 6999.87 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 : 3606.407 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 : 7005.58 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 : 3608.072 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 : 6999.87 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 : 3641.827 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 : 7005.58 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 : 3615.262 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 : 6999.87 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 : 3635.620 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 : 7005.58 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 : 3608.270 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 : 6999.87 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 : 3626.660 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 : 7005.58 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 117400316 kB MemAvailable: 129413032 kB Buffers: 281800 kB Cached: 12489392 kB SwapCached: 92 kB Active: 2688068 kB Inactive: 10682536 kB Active(anon): 1564 kB Inactive(anon): 651856 kB Active(file): 2686504 kB Inactive(file): 10030680 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071728 kB Dirty: 4708 kB Writeback: 32 kB AnonPages: 598984 kB Mapped: 139320 kB Shmem: 54012 kB KReclaimable: 270708 kB Slab: 393312 kB SReclaimable: 270708 kB SUnreclaim: 122604 kB KernelStack: 4728 kB PageTables: 10916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 5159300 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 20032 kB HardwareCorrupted: 0 kB AnonHugePages: 325632 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: 408276 kB DirectMap2M: 48648192 kB DirectMap1G: 87031808 kB Free space on /tmp at the end= 890080 MiB End job on nodeC024 at 2024-07-25 01:56:02